| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.04 | 4999.92 |
| Name | crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf |
| MD5SUM | 1144bbd60c180aa5e72d35b74e9676cb |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 312 |
| Number of clauses | 26889 |
| Sum of the clauses size | 121302 |
| Maximum clause length | 18 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 24180 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 2709 |
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 | 26889 121302 | 8066 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 312 #clauses: 26889 #literals: 121302 0.00/0.01 c CPU time: 0.009998 s 0.00/0.01 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 24.58/24.62 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 24.58/24.62 c WARNING: for repeatability, setting FPU to use double precision 24.58/24.62 c ============================[ Problem Statistics ]============================= 24.58/24.62 c | | 24.58/24.62 c | Number of variables: 312 | 24.58/24.62 c | Number of clauses: 26889 | 24.58/24.62 c | Parse time: 0.01 s | 24.58/24.62 c | | 24.58/24.62 c ============================[ Search Statistics ]============================== 24.58/24.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.58/24.62 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 24.58/24.62 c =============================================================================== 24.58/24.62 c | 19879 | 312 26889 121302 | 1 6837 34 | 0.000 % | 24.58/24.62 c | 19979 | 312 26889 121302 | 1 6937 34 | 0.000 % | 24.58/24.62 c | 20079 | 312 26889 121302 | 1 7037 35 | 0.000 % | 24.58/24.62 c | 20180 | 312 26889 121302 | 1 7138 35 | 0.000 % | 24.58/24.62 c | 20280 | 312 26889 121302 | 1 7238 35 | 0.000 % | 24.58/24.62 c | 20380 | 312 26889 121302 | 1 7338 35 | 0.000 % | 24.58/24.62 c | 20497 | 312 26889 121302 | 1 7455 35 | 0.000 % | 24.58/24.62 c | 20694 | 312 26889 121302 | 1 7652 35 | 0.000 % | 24.58/24.62 c | 20794 | 312 26889 121302 | 1 7752 36 | 0.000 % | 24.58/24.62 c | 21236 | 312 26889 121302 | 1 8194 36 | 0.000 % | 24.58/24.62 c | 21339 | 312 26889 121302 | 1 8297 36 | 0.000 % | 24.58/24.62 c | 22456 | 312 26889 121302 | 1 9414 36 | 0.000 % | 24.58/24.62 c | 22558 | 312 26889 121302 | 1 9516 36 | 0.000 % | 24.58/24.62 c | 22810 | 312 26889 121302 | 1 9768 36 | 0.000 % | 24.58/24.62 c | 22913 | 312 26889 121302 | 1 9871 37 | 0.000 % | 24.58/24.62 c | 23013 | 312 26889 121302 | 1 9971 37 | 0.000 % | 24.58/24.62 c | 23113 | 312 26889 121302 | 1 10071 37 | 0.000 % | 24.58/24.62 c | 23213 | 312 26889 121302 | 1 10171 37 | 0.000 % | 24.58/24.62 c | 23410 | 312 26889 121302 | 1 10368 37 | 0.000 % | 24.58/24.62 c | 23817 | 312 26889 121302 | 1 10775 37 | 0.000 % | 24.58/24.62 c | 23918 | 312 26889 121302 | 1 10876 37 | 0.000 % | 24.58/24.62 c | 24018 | 312 26889 121302 | 1 10976 37 | 0.000 % | 24.58/24.62 c | 24119 | 312 26889 121302 | 1 11077 37 | 0.000 % | 24.58/24.62 c | 33256 | 312 26889 121302 | 1 10946 34 | 0.000 % | 24.58/24.62 c | 33356 | 312 26889 121302 | 1 11046 34 | 0.000 % | 24.58/24.62 c | 33714 | 312 26889 121302 | 1 11404 34 | 0.000 % | 24.58/24.62 c | 33815 | 312 26889 121302 | 1 11505 34 | 0.000 % | 24.58/24.62 c | 60006 | 312 26889 121302 | 1 25854 36 | 0.000 % | 24.58/24.62 c | 65899 | 312 26889 121302 | 1 17329 33 | 0.000 % | 24.58/24.62 c | 305356 | 312 26889 121302 | 1 47969 28 | 0.000 % | 24.58/24.62 c | 305458 | 312 26889 121302 | 1 48071 28 | 0.000 % | 24.58/24.62 c | 305559 | 312 26889 121302 | 1 48172 28 | 0.000 % | 24.58/24.62 c | 305791 | 312 26889 121302 | 1 48404 28 | 0.000 % | 24.58/24.62 c | 305891 | 312 26889 121302 | 1 48504 28 | 0.000 % | 24.58/24.62 c | 305994 | 312 26889 121302 | 1 48607 28 | 0.000 % | 24.58/24.62 c | 306096 | 312 26889 121302 | 1 48709 28 | 0.000 % | 24.58/24.62 c | 306197 | 312 26889 121302 | 1 48810 28 | 0.000 % | 24.58/24.62 c | 306387 | 312 26889 121302 | 1 49000 28 | 0.000 % | 24.58/24.62 c | 306487 | 312 26889 121302 | 1 49100 28 | 0.000 % | 31.17/31.21 c | 307412 | 312 26889 121302 | 1 50025 28 | 0.000 % | 31.17/31.21 c | 327214 | 312 26889 121302 | 1 69827 31 | 0.000 % | 31.17/31.21 c | 327314 | 312 26889 121302 | 1 69927 31 | 0.000 % | 31.17/31.21 c | 327414 | 312 26889 121302 | 1 70027 31 | 0.000 % | 31.17/31.21 c | 327760 | 312 26889 121302 | 1 70373 31 | 0.000 % | 31.17/31.21 c | 328161 | 312 26889 121302 | 1 70774 31 | 0.000 % | 31.17/31.21 c | 328262 | 312 26889 121302 | 1 70875 31 | 0.000 % | 31.17/31.21 c | 328362 | 312 26889 121302 | 1 70975 31 | 0.000 % | 31.17/31.21 c | 328465 | 312 26889 121302 | 1 71078 31 | 0.000 % | 31.17/31.21 c | 328565 | 312 26889 121302 | 1 71178 31 | 0.000 % | 31.17/31.21 c | 328666 | 312 26889 121302 | 1 71279 31 | 0.000 % | 31.17/31.21 c | 328766 | 312 26889 121302 | 1 71379 31 | 0.000 % | 31.17/31.21 c | 328867 | 312 26889 121302 | 1 71480 31 | 0.000 % | 31.17/31.21 c | 328967 | 312 26889 121302 | 1 71580 32 | 0.000 % | 31.17/31.21 c | 329067 | 312 26889 121302 | 1 71680 32 | 0.000 % | 31.17/31.21 c | 329168 | 312 26889 121302 | 1 71781 32 | 0.000 % | 31.17/31.21 c | 329269 | 312 26889 121302 | 1 71882 32 | 0.000 % | 31.17/31.21 c | 329371 | 312 26889 121302 | 1 71984 32 | 0.000 % | 31.17/31.21 c | 329472 | 312 26889 121302 | 1 72085 32 | 0.000 % | 31.17/31.21 c | 329779 | 312 26889 121302 | 1 72392 32 | 0.000 % | 31.17/31.21 c | 329879 | 312 26889 121302 | 1 72492 32 | 0.000 % | 31.17/31.21 c | 329980 | 312 26889 121302 | 1 72593 32 | 0.000 % | 31.17/31.21 c | 330083 | 312 26889 121302 | 1 72696 32 | 0.000 % | 31.17/31.21 c | 330184 | 312 26889 121302 | 1 72797 32 | 0.000 % | 31.17/31.21 c | 330285 | 312 26889 121302 | 1 72898 32 | 0.000 % | 31.17/31.21 c | 330387 | 312 26889 121302 | 1 73000 32 | 0.000 % | 31.17/31.21 c | 330487 | 312 26889 121302 | 1 73100 32 | 0.000 % | 31.17/31.21 c | 330651 | 312 26889 121302 | 1 73264 32 | 0.000 % | 31.17/31.21 c | 330751 | 312 26889 121302 | 1 73364 32 | 0.000 % | 31.17/31.21 c | 330891 | 312 26889 121302 | 1 73504 32 | 0.000 % | 31.17/31.21 c | 330991 | 312 26889 121302 | 1 73604 32 | 0.000 % | 31.17/31.21 c | 331091 | 312 26889 121302 | 1 73704 32 | 0.000 % | 31.17/31.21 c | 331265 | 312 26889 121302 | 1 73878 32 | 0.000 % | 31.17/31.21 c | 331365 | 312 26889 121302 | 1 73978 32 | 0.000 % | 31.17/31.21 c | 331471 | 312 26889 121302 | 1 74084 32 | 0.000 % | 31.17/31.21 c | 331610 | 312 26889 121302 | 1 74223 32 | 0.000 % | 31.17/31.21 c | 337931 | 312 26889 121302 | 1 42743 28 | 0.000 % | 31.17/31.21 c | 338158 | 312 26889 121302 | 1 42970 28 | 0.000 % | 31.17/31.21 c | 354890 | 312 26889 121302 | 1 59702 31 | 0.000 % | 31.17/31.21 c | 377690 | 312 26889 121302 | 1 42104 27 | 0.000 % | 31.17/31.21 c | 377792 | 312 26889 121302 | 1 42206 27 | 0.000 % | 31.17/31.21 c | 377892 | 312 26889 121302 | 1 42306 27 | 0.000 % | 31.17/31.21 c | 378345 | 312 26889 121302 | 1 42759 27 | 0.000 % | 31.17/31.21 c | 379605 | 312 26889 121302 | 1 44019 28 | 0.000 % | 31.17/31.21 c | 383409 | 312 26889 121302 | 1 47823 29 | 0.000 % | 31.17/31.21 c | 383509 | 312 26889 121302 | 1 47923 29 | 0.000 % | 31.17/31.21 c | 383609 | 312 26889 121302 | 1 48023 29 | 0.000 % | 31.17/31.21 c | 383709 | 312 26889 121302 | 1 48123 29 | 0.000 % | 31.17/31.21 c | 383810 | 312 26889 121302 | 1 48224 29 | 0.000 % | 31.17/31.21 c | 384392 | 312 26889 121302 | 1 48806 29 | 0.000 % | 1307.02/1307.07 c | 385068 | 312 26889 121302 | 1 49482 29 | 0.000 % | 1307.02/1307.07 c | 385170 | 312 26889 121302 | 1 49584 29 | 0.000 % | 1307.02/1307.07 c | 388704 | 312 26889 121302 | 1 53118 30 | 0.000 % | 1307.02/1307.07 c | 398622 | 312 26889 121302 | 1 63036 32 | 0.000 % | 1307.02/1307.07 c | 398864 | 312 26889 121302 | 1 63278 32 | 0.000 % | 1307.02/1307.07 c | 555270 | 312 26889 121302 | 1 82886 30 | 0.000 % | 1307.02/1307.07 c | 556792 | 312 26889 121302 | 1 84408 31 | 0.000 % | 1307.02/1307.07 c | 562569 | 312 26889 121302 | 1 90185 31 | 0.000 % | 1307.02/1307.07 c | 562909 | 312 26889 121302 | 1 90525 31 | 0.000 % | 1307.02/1307.07 c | 566469 | 312 26889 121302 | 1 94085 32 | 0.000 % | 1307.02/1307.07 c | 580914 | 312 26889 121302 | 1 57731 27 | 0.000 % | 1307.02/1307.07 c | 587546 | 312 26889 121302 | 1 64363 28 | 0.000 % | 1307.02/1307.07 c | 587694 | 312 26889 121302 | 1 64511 28 | 0.000 % | 1307.02/1307.07 c | 600141 | 312 26889 121302 | 1 76958 30 | 0.000 % | 1307.02/1307.07 c | 611869 | 312 26889 121302 | 1 88686 31 | 0.000 % | 1307.02/1307.07 c | 611970 | 312 26889 121302 | 1 88787 31 | 0.000 % | 1307.02/1307.07 c | 612591 | 312 26889 121302 | 1 89408 31 | 0.000 % | 1307.02/1307.07 c | 612692 | 312 26889 121302 | 1 89509 31 | 0.000 % | 1307.02/1307.07 c | 612792 | 312 26889 121302 | 1 89609 31 | 0.000 % | 1307.02/1307.07 c | 612894 | 312 26889 121302 | 1 89711 31 | 0.000 % | 1307.02/1307.07 c | 612994 | 312 26889 121302 | 1 89811 32 | 0.000 % | 1307.02/1307.07 c | 613096 | 312 26889 121302 | 1 89913 32 | 0.000 % | 1307.02/1307.07 c | 613196 | 312 26889 121302 | 1 90013 32 | 0.000 % | 1307.02/1307.07 c | 613296 | 312 26889 121302 | 1 90113 32 | 0.000 % | 1307.02/1307.07 c | 613396 | 312 26889 121302 | 1 90213 32 | 0.000 % | 1307.02/1307.07 c | 613496 | 312 26889 121302 | 1 90313 32 | 0.000 % | 1307.02/1307.07 c | 615537 | 312 26889 121302 | 1 92354 32 | 0.000 % | 1307.02/1307.07 c | 615637 | 312 26889 121302 | 1 92454 32 | 0.000 % | 1307.02/1307.07 c | 615737 | 312 26889 121302 | 1 92554 32 | 0.000 % | 1307.02/1307.07 c | 615837 | 312 26889 121302 | 1 92654 32 | 0.000 % | 1307.02/1307.07 c | 854540 | 312 26889 121302 | 1 102156 30 | 0.000 % | 1307.02/1307.07 c | 858803 | 312 26889 121302 | 1 106419 31 | 0.000 % | 1307.02/1307.07 c | 870968 | 312 26889 121302 | 1 118584 32 | 0.000 % | 1307.02/1307.07 c | 1025854 | 312 26889 121302 | 1 74280 25 | 0.000 % | 1307.02/1307.07 c | 1026017 | 312 26889 121302 | 1 74443 25 | 0.000 % | 1307.02/1307.07 c | 1348268 | 312 26889 121302 | 1 94688 26 | 0.000 % | 1307.02/1307.07 c | 1364221 | 312 26889 121302 | 1 110641 28 | 0.000 % | 1307.02/1307.07 c | 1372913 | 312 26889 121302 | 1 119333 29 | 0.000 % | 1307.02/1307.07 c | 2949593 | 312 26889 121302 | 1 193014 29 | 0.000 % | 1307.02/1307.07 c | 2975584 | 312 26889 121302 | 1 219005 29 | 0.000 % | 1307.02/1307.07 c | 7653568 | 312 26889 121302 | 1 332391 25 | 0.000 % | 1307.02/1307.07 c | 7685924 | 312 26889 121302 | 1 364747 26 | 0.000 % | 1307.02/1307.07 c | 7686935 | 312 26889 121302 | 1 365758 26 | 0.000 % | 1307.02/1307.07 c | 7687035 | 312 26889 121302 | 1 365858 26 | 0.000 % | 1307.02/1307.07 c | 7694268 | 312 26889 121302 | 1 373091 26 | 0.000 % | 1307.02/1307.07 c | 7694369 | 312 26889 121302 | 1 373192 26 | 0.000 % | 1307.02/1307.07 c | 7694518 | 312 26889 121302 | 1 373341 26 | 0.000 % | 1307.02/1307.07 c | 7696770 | 312 26889 121302 | 1 375593 27 | 0.000 % | 1307.02/1307.07 c | 7696870 | 312 26889 121302 | 1 375693 27 | 0.000 % | 1307.02/1307.07 c | 7765851 | 312 26889 121302 | 1 248271 25 | 0.000 % | 1524.82/1524.82 c | 8282096 | 312 26889 121302 | 1 363925 27 | 0.000 % | 1524.82/1524.82 c | 8282196 | 312 26889 121302 | 1 364025 27 | 0.000 % | 1524.82/1524.82 c | 8282296 | 312 26889 121302 | 1 364125 27 | 0.000 % | 1524.82/1524.82 c | 8292170 | 312 26889 121302 | 1 373999 27 | 0.000 % | 1524.82/1524.82 c | 8306114 | 312 26889 121302 | 1 387943 27 | 0.000 % | 1524.82/1524.82 c | 8306214 | 312 26889 121302 | 1 388043 27 | 0.000 % | 1524.82/1524.82 c | 8306909 | 312 26889 121302 | 1 388738 27 | 0.000 % | 1524.82/1524.82 c | 8307035 | 312 26889 121302 | 1 388864 27 | 0.000 % | 1524.82/1524.82 c | 8307669 | 312 26889 121302 | 1 389498 27 | 0.000 % | 1524.82/1524.82 c | 8307770 | 312 26889 121302 | 1 389599 27 | 0.000 % | 1524.82/1524.82 c | 8458105 | 312 26889 121302 | 1 335731 27 | 0.000 % | 1524.82/1524.82 c | 8461752 | 312 26889 121302 | 1 339378 27 | 0.000 % | 1524.82/1524.82 c | 8522924 | 312 26889 121302 | 1 400550 28 | 0.000 % | 1524.82/1524.82 c | 8538733 | 312 26889 121302 | 1 209554 23 | 0.000 % | 1524.82/1524.82 c | 8638838 | 312 26889 121302 | 1 309659 26 | 0.000 % | 1524.82/1524.82 c | 8644072 | 312 26889 121302 | 1 314893 26 | 0.000 % | 1524.82/1524.82 c | 8693292 | 312 26889 121302 | 1 364113 27 | 0.000 % | 1524.82/1524.82 c | 8738067 | 312 26889 121302 | 1 408888 28 | 0.000 % | 1524.82/1524.82 c | 8857965 | 312 26889 121302 | 1 319385 27 | 0.000 % | 1524.82/1524.82 c | 8860962 | 312 26889 121302 | 1 322382 27 | 0.000 % | 1524.82/1524.82 c | 8878841 | 312 26889 121302 | 1 340261 28 | 0.000 % | 1524.82/1524.82 c | 8880049 | 312 26889 121302 | 1 341469 28 | 0.000 % | 1524.82/1524.82 c | 8880371 | 312 26889 121302 | 1 341791 28 | 0.000 % | 1524.82/1524.82 c | 8881292 | 312 26889 121302 | 1 342712 28 | 0.000 % | 1524.82/1524.82 c | 8882692 | 312 26889 121302 | 1 344112 28 | 0.000 % | 1524.82/1524.82 c | 8882794 | 312 26889 121302 | 1 344214 28 | 0.000 % | 1524.82/1524.82 c | 8882894 | 312 26889 121302 | 1 344314 28 | 0.000 % | 1524.82/1524.82 c | 8882997 | 312 26889 121302 | 1 344417 28 | 0.000 % | 1524.82/1524.82 c | 8883097 | 312 26889 121302 | 1 344517 28 | 0.000 % | 1524.82/1524.82 c | 8883197 | 312 26889 121302 | 1 344617 28 | 0.000 % | 1524.82/1524.82 c | 8883297 | 312 26889 121302 | 1 344717 28 | 0.000 % | 1524.82/1524.82 c | 8883397 | 312 26889 121302 | 1 344817 28 | 0.000 % | 1524.82/1524.82 c | 8883497 | 312 26889 121302 | 1 344917 28 | 0.000 % | 1524.82/1524.82 c | 8883597 | 312 26889 121302 | 1 345017 28 | 0.000 % | 1524.82/1524.82 c | 8883734 | 312 26889 121302 | 1 345154 28 | 0.000 % | 1524.82/1524.82 c | 8884250 | 312 26889 121302 | 1 345670 28 | 0.000 % | 1524.82/1524.82 c | 8884352 | 312 26889 121302 | 1 345772 28 | 0.000 % | 1524.82/1524.82 c | 8884491 | 312 26889 121302 | 1 345911 28 | 0.000 % | 1524.82/1524.82 c | 8884951 | 312 26889 121302 | 1 346371 28 | 0.000 % | 1524.82/1524.82 c | 8885051 | 312 26889 121302 | 1 346471 28 | 0.000 % | 1524.82/1524.82 c | 8885151 | 312 26889 121302 | 1 346571 28 | 0.000 % | 1524.82/1524.82 c | 8885278 | 312 26889 121302 | 1 346698 28 | 0.000 % | 1524.82/1524.82 c | 8885380 | 312 26889 121302 | 1 346800 28 | 0.000 % | 1524.82/1524.82 c | 8886017 | 312 26889 121302 | 1 347437 28 | 0.000 % | 1524.82/1524.82 c | 8886120 | 312 26889 121302 | 1 347540 28 | 0.000 % | 1524.82/1524.82 c | 8888257 | 312 26889 121302 | 1 349677 28 | 0.000 % | 1524.82/1524.82 c | 8901681 | 312 26889 121302 | 1 363101 28 | 0.000 % | 1524.82/1524.82 c | 8954074 | 312 26889 121302 | 1 415494 29 | 0.000 % | 1524.82/1524.82 c | 8954461 | 312 26889 121302 | 1 415881 29 | 0.000 % | 1524.82/1524.82 c | 8954562 | 312 26889 121302 | 1 415982 29 | 0.000 % | 1579.03/1579.05 c | 8954662 | 312 26889 121302 | 1 416082 29 | 0.000 % | 1579.03/1579.05 c | 8983304 | 312 26889 121302 | 1 232719 24 | 0.000 % | 1579.03/1579.05 c | 8983486 | 312 26889 121302 | 1 232901 24 | 0.000 % | 1579.03/1579.05 c | 8997024 | 312 26889 121302 | 1 246439 25 | 0.000 % | 1579.03/1579.05 c | 9026304 | 312 26889 121302 | 1 275719 26 | 0.000 % | 1579.03/1579.05 c | 9026457 | 312 26889 121302 | 1 275872 26 | 0.000 % | 1579.03/1579.05 c | 9026558 | 312 26889 121302 | 1 275973 26 | 0.000 % | 1579.03/1579.05 c | 9026658 | 312 26889 121302 | 1 276073 26 | 0.000 % | 1579.03/1579.05 c | 9027469 | 312 26889 121302 | 1 276884 26 | 0.000 % | 1579.03/1579.05 c | 9027569 | 312 26889 121302 | 1 276984 26 | 0.000 % | 1579.03/1579.05 c | 9027670 | 312 26889 121302 | 1 277085 26 | 0.000 % | 1579.03/1579.05 c | 9027771 | 312 26889 121302 | 1 277186 26 | 0.000 % | 1579.03/1579.05 c | 9027871 | 312 26889 121302 | 1 277286 26 | 0.000 % | 1579.03/1579.05 c | 9028328 | 312 26889 121302 | 1 277743 26 | 0.000 % | 1579.03/1579.05 c | 9028428 | 312 26889 121302 | 1 277843 26 | 0.000 % | 1579.03/1579.05 c | 9028613 | 312 26889 121302 | 1 278028 26 | 0.000 % | 1579.03/1579.05 c | 9028819 | 312 26889 121302 | 1 278234 26 | 0.000 % | 1579.03/1579.05 c | 9028920 | 312 26889 121302 | 1 278335 26 | 0.000 % | 1579.03/1579.05 c | 9029020 | 312 26889 121302 | 1 278435 26 | 0.000 % | 1579.03/1579.05 c | 9029122 | 312 26889 121302 | 1 278537 26 | 0.000 % | 1579.03/1579.05 c | 9029680 | 312 26889 121302 | 1 279095 26 | 0.000 % | 1579.03/1579.05 c | 9029780 | 312 26889 121302 | 1 279195 26 | 0.000 % | 1579.03/1579.05 c | 9039140 | 312 26889 121302 | 1 288555 27 | 0.000 % | 1579.03/1579.05 c | 9039373 | 312 26889 121302 | 1 288788 27 | 0.000 % | 1579.03/1579.05 c | 9040169 | 312 26889 121302 | 1 289584 27 | 0.000 % | 1579.03/1579.05 c | 9040270 | 312 26889 121302 | 1 289685 27 | 0.000 % | 1579.03/1579.05 c | 9049831 | 312 26889 121302 | 1 299246 27 | 0.000 % | 1579.03/1579.05 c | 9049931 | 312 26889 121302 | 1 299346 27 | 0.000 % | 1579.03/1579.05 c | 9059913 | 312 26889 121302 | 1 309328 28 | 0.000 % | 1579.03/1579.05 c | 9060013 | 312 26889 121302 | 1 309428 28 | 0.000 % | 1579.03/1579.05 c | 9065889 | 312 26889 121302 | 1 315304 28 | 0.000 % | 1579.03/1579.05 c | 9069831 | 312 26889 121302 | 1 319246 28 | 0.000 % | 1579.03/1579.05 c | 9145761 | 312 26889 121302 | 1 395176 30 | 0.000 % | 1579.03/1579.05 c | 9145862 | 312 26889 121302 | 1 395277 30 | 0.000 % | 1579.03/1579.05 c | 9145964 | 312 26889 121302 | 1 395379 30 | 0.000 % | 1579.03/1579.05 c | 9146900 | 312 26889 121302 | 1 396315 30 | 0.000 % | 1579.03/1579.05 c | 9147002 | 312 26889 121302 | 1 396417 30 | 0.000 % | 1579.03/1579.05 c | 9147103 | 312 26889 121302 | 1 396518 30 | 0.000 % | 1579.03/1579.05 c | 9172133 | 312 26889 121302 | 1 421548 30 | 0.000 % | 1579.03/1579.05 c | 9172235 | 312 26889 121302 | 1 421650 30 | 0.000 % | 1579.03/1579.05 c | 9173235 | 312 26889 121302 | 1 422650 30 | 0.000 % | 1579.03/1579.05 c | 9173335 | 312 26889 121302 | 1 422750 30 | 0.000 % | 1579.03/1579.05 c | 9189692 | 312 26889 121302 | 1 224504 24 | 0.000 % | 1579.03/1579.05 c | 9249102 | 312 26889 121302 | 1 283914 26 | 0.000 % | 1579.03/1579.05 c | 9249202 | 312 26889 121302 | 1 284014 26 | 0.000 % | 1579.03/1579.05 c | 9262745 | 312 26889 121302 | 1 297557 27 | 0.000 % | 1579.03/1579.05 c | 9262846 | 312 26889 121302 | 1 297658 27 | 0.000 % | 1579.03/1579.05 c | 9267653 | 312 26889 121302 | 1 302465 27 | 0.000 % | 1579.03/1579.05 c | 9267753 | 312 26889 121302 | 1 302565 27 | 0.000 % | 1579.03/1579.05 c | 9283811 | 312 26889 121302 | 1 318623 28 | 0.000 % | 1696.43/1696.49 c | 9301938 | 312 26889 121302 | 1 336750 28 | 0.000 % | 1696.43/1696.49 c | 9303600 | 312 26889 121302 | 1 338412 28 | 0.000 % | 1696.43/1696.49 c | 9303701 | 312 26889 121302 | 1 338513 28 | 0.000 % | 1696.43/1696.49 c | 9305530 | 312 26889 121302 | 1 340342 28 | 0.000 % | 1696.43/1696.49 c | 9311683 | 312 26889 121302 | 1 346495 28 | 0.000 % | 1696.43/1696.49 c | 9311886 | 312 26889 121302 | 1 346698 28 | 0.000 % | 1696.43/1696.49 c | 9311987 | 312 26889 121302 | 1 346799 28 | 0.000 % | 1696.43/1696.49 c | 9312088 | 312 26889 121302 | 1 346900 28 | 0.000 % | 1696.43/1696.49 c | 9312189 | 312 26889 121302 | 1 347001 28 | 0.000 % | 1696.43/1696.49 c | 9312290 | 312 26889 121302 | 1 347102 28 | 0.000 % | 1696.43/1696.49 c | 9312393 | 312 26889 121302 | 1 347205 28 | 0.000 % | 1696.43/1696.49 c | 9312628 | 312 26889 121302 | 1 347440 28 | 0.000 % | 1696.43/1696.49 c | 9312728 | 312 26889 121302 | 1 347540 28 | 0.000 % | 1696.43/1696.49 c | 9347084 | 312 26889 121302 | 1 381896 29 | 0.000 % | 1696.43/1696.49 c | 9348191 | 312 26889 121302 | 1 383003 29 | 0.000 % | 1696.43/1696.49 c | 9348427 | 312 26889 121302 | 1 383239 29 | 0.000 % | 1696.43/1696.49 c | 9348527 | 312 26889 121302 | 1 383339 29 | 0.000 % | 1696.43/1696.49 c | 9348627 | 312 26889 121302 | 1 383439 29 | 0.000 % | 1696.43/1696.49 c | 9349266 | 312 26889 121302 | 1 384078 29 | 0.000 % | 1696.43/1696.49 c | 9349366 | 312 26889 121302 | 1 384178 29 | 0.000 % | 1696.43/1696.49 c | 9349788 | 312 26889 121302 | 1 384600 29 | 0.000 % | 1696.43/1696.49 c | 9349888 | 312 26889 121302 | 1 384700 29 | 0.000 % | 1696.43/1696.49 c | 9349989 | 312 26889 121302 | 1 384801 29 | 0.000 % | 1696.43/1696.49 c | 9350097 | 312 26889 121302 | 1 384909 29 | 0.000 % | 1696.43/1696.49 c | 9350198 | 312 26889 121302 | 1 385010 29 | 0.000 % | 1696.43/1696.49 c | 9350299 | 312 26889 121302 | 1 385111 29 | 0.000 % | 1696.43/1696.49 c | 9350494 | 312 26889 121302 | 1 385306 29 | 0.000 % | 1696.43/1696.49 c | 9350717 | 312 26889 121302 | 1 385529 29 | 0.000 % | 1696.43/1696.49 c | 9350819 | 312 26889 121302 | 1 385631 29 | 0.000 % | 1696.43/1696.49 c | 9354035 | 312 26889 121302 | 1 388847 29 | 0.000 % | 1696.43/1696.49 c | 9354203 | 312 26889 121302 | 1 389015 29 | 0.000 % | 1696.43/1696.49 c | 9354303 | 312 26889 121302 | 1 389115 29 | 0.000 % | 1696.43/1696.49 c | 9354404 | 312 26889 121302 | 1 389216 29 | 0.000 % | 1696.43/1696.49 c | 9354504 | 312 26889 121302 | 1 389316 29 | 0.000 % | 1696.43/1696.49 c | 9354605 | 312 26889 121302 | 1 389417 29 | 0.000 % | 1696.43/1696.49 c | 9354706 | 312 26889 121302 | 1 389518 29 | 0.000 % | 1696.43/1696.49 c | 9354807 | 312 26889 121302 | 1 389619 29 | 0.000 % | 1696.43/1696.49 c | 9354907 | 312 26889 121302 | 1 389719 29 | 0.000 % | 1696.43/1696.49 c | 9368851 | 312 26889 121302 | 1 403663 29 | 0.000 % | 1696.43/1696.49 c | 9792079 | 312 26889 121302 | 1 389897 28 | 0.000 % | 1696.43/1696.49 c | 9806756 | 312 26889 121302 | 1 404574 28 | 0.000 % | 1696.43/1696.49 c | 9806856 | 312 26889 121302 | 1 404674 28 | 0.000 % | 1696.43/1696.49 c | 9807699 | 312 26889 121302 | 1 405517 28 | 0.000 % | 1696.43/1696.49 c | 9808087 | 312 26889 121302 | 1 405905 28 | 0.000 % | 1696.43/1696.49 c | 9808188 | 312 26889 121302 | 1 406006 28 | 0.000 % | 1696.43/1696.49 c | 9811780 | 312 26889 121302 | 1 409598 28 | 0.000 % | 1696.43/1696.49 c | 9813714 | 312 26889 121302 | 1 411532 28 | 0.000 % | 1696.43/1696.49 c | 9813816 | 312 26889 121302 | 1 411634 28 | 0.000 % | 1696.43/1696.49 c | 9834893 | 312 26889 121302 | 1 432711 29 | 0.000 % | 1696.43/1696.49 c | 9834993 | 312 26889 121302 | 1 432811 29 | 0.000 % | 1895.44/1895.41 c | 9975640 | 312 26889 121302 | 1 351055 27 | 0.000 % | 1895.44/1895.41 c | 10379316 | 312 26889 121302 | 1 302141 25 | 0.000 % | 1895.44/1895.41 c | 10457718 | 312 26889 121302 | 1 380543 27 | 0.000 % | 1895.44/1895.41 c | 10505429 | 312 26889 121302 | 1 428254 28 | 0.000 % | 1895.44/1895.41 c | 10516710 | 312 26889 121302 | 1 439535 28 | 0.000 % | 1895.44/1895.41 c | 10516811 | 312 26889 121302 | 1 439636 28 | 0.000 % | 1895.44/1895.41 c | 10520007 | 312 26889 121302 | 1 442832 28 | 0.000 % | 1895.44/1895.41 c | 10520506 | 312 26889 121302 | 1 443331 28 | 0.000 % | 1895.44/1895.41 c | 10520608 | 312 26889 121302 | 1 443433 28 | 0.000 % | 1895.44/1895.41 c | 10628835 | 312 26889 121302 | 1 321461 26 | 0.000 % | 1895.44/1895.41 c | 10629125 | 312 26889 121302 | 1 321751 26 | 0.000 % | 1895.44/1895.41 c | 10652325 | 312 26889 121302 | 1 344951 27 | 0.000 % | 1895.44/1895.41 c | 10657260 | 312 26889 121302 | 1 349886 27 | 0.000 % | 1895.44/1895.41 c | 10657362 | 312 26889 121302 | 1 349988 27 | 0.000 % | 1895.44/1895.41 c | 10657462 | 312 26889 121302 | 1 350088 27 | 0.000 % | 1895.44/1895.41 c | 10657615 | 312 26889 121302 | 1 350241 27 | 0.000 % | 1895.44/1895.41 c | 10661255 | 312 26889 121302 | 1 353881 27 | 0.000 % | 1895.44/1895.41 c | 10661357 | 312 26889 121302 | 1 353983 27 | 0.000 % | 1895.44/1895.41 c | 10661468 | 312 26889 121302 | 1 354094 27 | 0.000 % | 1895.44/1895.41 c | 10661568 | 312 26889 121302 | 1 354194 27 | 0.000 % | 1895.44/1895.41 c | 10719378 | 312 26889 121302 | 1 412004 28 | 0.000 % | 1895.44/1895.41 c | 10719977 | 312 26889 121302 | 1 412603 28 | 0.000 % | 1895.44/1895.41 c | 10720077 | 312 26889 121302 | 1 412703 28 | 0.000 % | 1895.44/1895.41 c | 10720177 | 312 26889 121302 | 1 412803 28 | 0.000 % | 1895.44/1895.41 c | 10721127 | 312 26889 121302 | 1 413753 28 | 0.000 % | 1895.44/1895.41 c | 10725599 | 312 26889 121302 | 1 418225 28 | 0.000 % | 1895.44/1895.41 c | 10725700 | 312 26889 121302 | 1 418326 28 | 0.000 % | 1895.44/1895.41 c | 10725801 | 312 26889 121302 | 1 418427 28 | 0.000 % | 1895.44/1895.41 c | 10725902 | 312 26889 121302 | 1 418528 28 | 0.000 % | 1895.44/1895.41 c | 10726002 | 312 26889 121302 | 1 418628 28 | 0.000 % | 1895.44/1895.41 c | 10726103 | 312 26889 121302 | 1 418729 28 | 0.000 % | 1895.44/1895.41 c | 10726203 | 312 26889 121302 | 1 418829 28 | 0.000 % | 1895.44/1895.41 c | 10764264 | 312 26889 121302 | 1 456890 29 | 0.000 % | 1895.44/1895.41 c | 10764844 | 312 26889 121302 | 1 457470 29 | 0.000 % | 1895.44/1895.41 c | 10772638 | 312 26889 121302 | 1 465264 29 | 0.000 % | 1895.44/1895.41 c | 10774622 | 312 26889 121302 | 1 234440 23 | 0.000 % | 1895.44/1895.41 c | 10774880 | 312 26889 121302 | 1 234698 23 | 0.000 % | 1895.44/1895.41 c | 10774981 | 312 26889 121302 | 1 234799 23 | 0.000 % | 1895.44/1895.41 c | 10776433 | 312 26889 121302 | 1 236251 23 | 0.000 % | 1895.44/1895.41 c | 10776601 | 312 26889 121302 | 1 236419 23 | 0.000 % | 1895.44/1895.41 c | 10776807 | 312 26889 121302 | 1 236625 23 | 0.000 % | 1895.44/1895.41 c | 10776909 | 312 26889 121302 | 1 236727 23 | 0.000 % | 1895.44/1895.41 c | 10777011 | 312 26889 121302 | 1 236829 23 | 0.000 % | 1895.44/1895.41 c | 10780900 | 312 26889 121302 | 1 240718 24 | 0.000 % | 1895.44/1895.41 c | 10783264 | 312 26889 121302 | 1 243082 24 | 0.000 % | 1895.44/1895.41 c | 10783364 | 312 26889 121302 | 1 243182 24 | 0.000 % | 1895.44/1895.41 c | 10783464 | 312 26889 121302 | 1 243282 24 | 0.000 % | 1895.44/1895.41 c | 10783565 | 312 26889 121302 | 1 243383 24 | 0.000 % | 1895.44/1895.41 c | 10783665 | 312 26889 121302 | 1 243483 24 | 0.000 % | 2119.54/2119.58 c | 10783765 | 312 26889 121302 | 1 243583 24 | 0.000 % | 2119.54/2119.58 c | 10865153 | 312 26889 121302 | 1 324971 27 | 0.000 % | 2119.54/2119.58 c | 10865254 | 312 26889 121302 | 1 325072 27 | 0.000 % | 2119.54/2119.58 c | 10866494 | 312 26889 121302 | 1 326312 27 | 0.000 % | 2119.54/2119.58 c | 10866644 | 312 26889 121302 | 1 326462 27 | 0.000 % | 2119.54/2119.58 c | 10868843 | 312 26889 121302 | 1 328661 27 | 0.000 % | 2119.54/2119.58 c | 10868943 | 312 26889 121302 | 1 328761 27 | 0.000 % | 2119.54/2119.58 c | 10869151 | 312 26889 121302 | 1 328969 27 | 0.000 % | 2119.54/2119.58 c | 10869252 | 312 26889 121302 | 1 329070 27 | 0.000 % | 2119.54/2119.58 c | 10869353 | 312 26889 121302 | 1 329171 27 | 0.000 % | 2119.54/2119.58 c | 10869470 | 312 26889 121302 | 1 329288 27 | 0.000 % | 2119.54/2119.58 c | 10869570 | 312 26889 121302 | 1 329388 27 | 0.000 % | 2119.54/2119.58 c | 10869672 | 312 26889 121302 | 1 329490 27 | 0.000 % | 2119.54/2119.58 c | 10869772 | 312 26889 121302 | 1 329590 27 | 0.000 % | 2119.54/2119.58 c | 10869872 | 312 26889 121302 | 1 329690 27 | 0.000 % | 2119.54/2119.58 c | 10869975 | 312 26889 121302 | 1 329793 27 | 0.000 % | 2119.54/2119.58 c | 10870076 | 312 26889 121302 | 1 329894 27 | 0.000 % | 2119.54/2119.58 c | 10878670 | 312 26889 121302 | 1 338488 27 | 0.000 % | 2119.54/2119.58 c | 10901223 | 312 26889 121302 | 1 361041 28 | 0.000 % | 2119.54/2119.58 c | 10907592 | 312 26889 121302 | 1 367410 28 | 0.000 % | 2119.54/2119.58 c | 11044261 | 312 26889 121302 | 1 268684 24 | 0.000 % | 2119.54/2119.58 c | 11054052 | 312 26889 121302 | 1 278475 25 | 0.000 % | 2119.54/2119.58 c | 11054279 | 312 26889 121302 | 1 278702 25 | 0.000 % | 2119.54/2119.58 c | 11054777 | 312 26889 121302 | 1 279200 25 | 0.000 % | 2119.54/2119.58 c | 11054951 | 312 26889 121302 | 1 279374 25 | 0.000 % | 2119.54/2119.58 c | 11055051 | 312 26889 121302 | 1 279474 25 | 0.000 % | 2119.54/2119.58 c | 11055151 | 312 26889 121302 | 1 279574 25 | 0.000 % | 2119.54/2119.58 c | 11055398 | 312 26889 121302 | 1 279821 25 | 0.000 % | 2119.54/2119.58 c | 11055500 | 312 26889 121302 | 1 279923 25 | 0.000 % | 2119.54/2119.58 c | 11055601 | 312 26889 121302 | 1 280024 25 | 0.000 % | 2119.54/2119.58 c | 11055704 | 312 26889 121302 | 1 280127 25 | 0.000 % | 2119.54/2119.58 c | 11055804 | 312 26889 121302 | 1 280227 25 | 0.000 % | 2119.54/2119.58 c | 11055905 | 312 26889 121302 | 1 280328 25 | 0.000 % | 2119.54/2119.58 c | 11056006 | 312 26889 121302 | 1 280429 25 | 0.000 % | 2119.54/2119.58 c | 11056108 | 312 26889 121302 | 1 280531 25 | 0.000 % | 2119.54/2119.58 c | 11056208 | 312 26889 121302 | 1 280631 25 | 0.000 % | 2119.54/2119.58 c | 11056309 | 312 26889 121302 | 1 280732 25 | 0.000 % | 2119.54/2119.58 c | 11056410 | 312 26889 121302 | 1 280833 25 | 0.000 % | 2119.54/2119.58 c | 11067036 | 312 26889 121302 | 1 291459 25 | 0.000 % | 2119.54/2119.58 c | 11069538 | 312 26889 121302 | 1 293961 25 | 0.000 % | 2119.54/2119.58 c | 11075603 | 312 26889 121302 | 1 300026 26 | 0.000 % | 2119.54/2119.58 c | 11077525 | 312 26889 121302 | 1 301948 26 | 0.000 % | 2119.54/2119.58 c | 11085649 | 312 26889 121302 | 1 310072 26 | 0.000 % | 2119.54/2119.58 c | 11112133 | 312 26889 121302 | 1 336556 27 | 0.000 % | 2119.54/2119.58 c | 11169143 | 312 26889 121302 | 1 393566 28 | 0.000 % | 2119.54/2119.58 c | 11820588 | 312 26889 121302 | 1 323219 25 | 0.000 % | 2119.54/2119.58 c | 11820702 | 312 26889 121302 | 1 323333 25 | 0.000 % | 2119.54/2119.58 c | 11820806 | 312 26889 121302 | 1 323437 25 | 0.000 % | 2119.54/2119.58 c | 11820911 | 312 26889 121302 | 1 323542 25 | 0.000 % | 2119.54/2119.58 c | 11821013 | 312 26889 121302 | 1 323644 25 | 0.000 % | 2157.94/2157.97 c | 11821155 | 312 26889 121302 | 1 323786 25 | 0.000 % | 2157.94/2157.97 c | 11821255 | 312 26889 121302 | 1 323886 25 | 0.000 % | 2157.94/2157.97 c | 11821357 | 312 26889 121302 | 1 323988 25 | 0.000 % | 2157.94/2157.97 c | 11822213 | 312 26889 121302 | 1 324844 25 | 0.000 % | 2157.94/2157.97 c | 11822313 | 312 26889 121302 | 1 324944 25 | 0.000 % | 2157.94/2157.97 c | 11921007 | 312 26889 121302 | 1 423638 28 | 0.000 % | 2157.94/2157.97 c | 11928495 | 312 26889 121302 | 1 431126 28 | 0.000 % | 2157.94/2157.97 c | 11928596 | 312 26889 121302 | 1 431227 28 | 0.000 % | 2157.94/2157.97 c | 11930375 | 312 26889 121302 | 1 433006 28 | 0.000 % | 2157.94/2157.97 c | 11930541 | 312 26889 121302 | 1 433172 28 | 0.000 % | 2157.94/2157.97 c | 11931178 | 312 26889 121302 | 1 433809 28 | 0.000 % | 2157.94/2157.97 c | 11931433 | 312 26889 121302 | 1 434064 28 | 0.000 % | 2157.94/2157.97 c | 11935356 | 312 26889 121302 | 1 437987 28 | 0.000 % | 2157.94/2157.97 c | 11936457 | 312 26889 121302 | 1 439088 28 | 0.000 % | 2157.94/2157.97 c | 11936557 | 312 26889 121302 | 1 439188 28 | 0.000 % | 2157.94/2157.97 c | 11936657 | 312 26889 121302 | 1 439288 28 | 0.000 % | 2157.94/2157.97 c | 11936757 | 312 26889 121302 | 1 439388 28 | 0.000 % | 2157.94/2157.97 c | 11936858 | 312 26889 121302 | 1 439489 28 | 0.000 % | 2157.94/2157.97 c | 11937629 | 312 26889 121302 | 1 440260 28 | 0.000 % | 2157.94/2157.97 c | 11937730 | 312 26889 121302 | 1 440361 28 | 0.000 % | 2157.94/2157.97 c | 11937830 | 312 26889 121302 | 1 440461 28 | 0.000 % | 2157.94/2157.97 c | 11937930 | 312 26889 121302 | 1 440561 28 | 0.000 % | 2157.94/2157.97 c | 11938030 | 312 26889 121302 | 1 440661 28 | 0.000 % | 2157.94/2157.97 c | 11938130 | 312 26889 121302 | 1 440761 28 | 0.000 % | 2157.94/2157.97 c | 11938295 | 312 26889 121302 | 1 440926 28 | 0.000 % | 2157.94/2157.97 c | 11938395 | 312 26889 121302 | 1 441026 28 | 0.000 % | 2157.94/2157.97 c | 11942946 | 312 26889 121302 | 1 445577 28 | 0.000 % | 2157.94/2157.97 c | 11943268 | 312 26889 121302 | 1 445899 28 | 0.000 % | 2157.94/2157.97 c | 11944312 | 312 26889 121302 | 1 446943 28 | 0.000 % | 2157.94/2157.97 c | 11990837 | 312 26889 121302 | 1 247661 23 | 0.000 % | 2157.94/2157.97 c | 11990937 | 312 26889 121302 | 1 247761 23 | 0.000 % | 2157.94/2157.97 c | 11991037 | 312 26889 121302 | 1 247861 23 | 0.000 % | 2157.94/2157.97 c | 11991801 | 312 26889 121302 | 1 248625 23 | 0.000 % | 2157.94/2157.97 c | 11993786 | 312 26889 121302 | 1 250610 23 | 0.000 % | 2157.94/2157.97 c | 11993934 | 312 26889 121302 | 1 250758 23 | 0.000 % | 2157.94/2157.97 c | 11994036 | 312 26889 121302 | 1 250860 23 | 0.000 % | 2157.94/2157.97 c | 11994138 | 312 26889 121302 | 1 250962 23 | 0.000 % | 2157.94/2157.97 c | 11994238 | 312 26889 121302 | 1 251062 23 | 0.000 % | 2157.94/2157.98 c | 11994339 | 312 26889 121302 | 1 251163 23 | 0.000 % | 2157.94/2157.98 c | 11994440 | 312 26889 121302 | 1 251264 23 | 0.000 % | 2157.94/2157.98 c | 11994541 | 312 26889 121302 | 1 251365 23 | 0.000 % | 2157.94/2157.98 c | 11994641 | 312 26889 121302 | 1 251465 23 | 0.000 % | 2157.94/2157.98 c | 11995385 | 312 26889 121302 | 1 252209 23 | 0.000 % | 2157.94/2157.98 c | 11995564 | 312 26889 121302 | 1 252388 23 | 0.000 % | 2157.94/2157.98 c | 12002621 | 312 26889 121302 | 1 259445 23 | 0.000 % | 2157.94/2157.98 c | 12002721 | 312 26889 121302 | 1 259545 23 | 0.000 % | 2157.94/2157.98 c | 12003020 | 312 26889 121302 | 1 259844 24 | 0.000 % | 2157.94/2157.98 c | 12003131 | 312 26889 121302 | 1 259955 24 | 0.000 % | 2157.94/2157.98 c | 12003236 | 312 26889 121302 | 1 260060 24 | 0.000 % | 2157.94/2157.98 c | 12003914 | 312 26889 121302 | 1 260738 24 | 0.000 % | 2584.97/2584.94 c | 12004015 | 312 26889 121302 | 1 260839 24 | 0.000 % | 2584.97/2584.94 c | 12004115 | 312 26889 121302 | 1 260939 24 | 0.000 % | 2584.97/2584.94 c | 12007003 | 312 26889 121302 | 1 263827 24 | 0.000 % | 2584.97/2584.94 c | 12007104 | 312 26889 121302 | 1 263928 24 | 0.000 % | 2584.97/2584.94 c | 12015410 | 312 26889 121302 | 1 272234 24 | 0.000 % | 2584.97/2584.94 c | 12081274 | 312 26889 121302 | 1 338098 26 | 0.000 % | 2584.97/2584.94 c | 12087773 | 312 26889 121302 | 1 344597 27 | 0.000 % | 2584.97/2584.94 c | 12087999 | 312 26889 121302 | 1 344823 27 | 0.000 % | 2584.97/2584.94 c | 12088099 | 312 26889 121302 | 1 344923 27 | 0.000 % | 2584.97/2584.94 c | 12388931 | 312 26889 121302 | 1 397353 27 | 0.000 % | 2584.97/2584.94 c | 12389358 | 312 26889 121302 | 1 397780 27 | 0.000 % | 2584.97/2584.94 c | 12389547 | 312 26889 121302 | 1 397969 27 | 0.000 % | 2584.97/2584.94 c | 12389950 | 312 26889 121302 | 1 398372 27 | 0.000 % | 2584.97/2584.94 c | 12390050 | 312 26889 121302 | 1 398472 27 | 0.000 % | 2584.97/2584.94 c | 12390150 | 312 26889 121302 | 1 398572 27 | 0.000 % | 2584.97/2584.94 c | 12390250 | 312 26889 121302 | 1 398672 27 | 0.000 % | 2584.97/2584.94 c | 12390879 | 312 26889 121302 | 1 399301 27 | 0.000 % | 2584.97/2584.94 c | 12390979 | 312 26889 121302 | 1 399401 27 | 0.000 % | 2584.97/2584.94 c | 12391209 | 312 26889 121302 | 1 399631 27 | 0.000 % | 2584.97/2584.94 c | 12411078 | 312 26889 121302 | 1 419500 28 | 0.000 % | 2584.97/2584.94 c | 13313868 | 312 26889 121302 | 1 302692 24 | 0.000 % | 2584.97/2584.94 c | 13344844 | 312 26889 121302 | 1 333668 25 | 0.000 % | 2584.97/2584.94 c | 13347214 | 312 26889 121302 | 1 336038 25 | 0.000 % | 2584.97/2584.94 c | 13347314 | 312 26889 121302 | 1 336138 25 | 0.000 % | 2584.97/2584.94 c | 13347421 | 312 26889 121302 | 1 336245 25 | 0.000 % | 2584.97/2584.94 c | 13347523 | 312 26889 121302 | 1 336347 25 | 0.000 % | 2584.97/2584.94 c | 13455565 | 312 26889 121302 | 1 444389 27 | 0.000 % | 2584.97/2584.94 c | 13455665 | 312 26889 121302 | 1 444489 27 | 0.000 % | 2584.97/2584.94 c | 13685903 | 312 26889 121302 | 1 413326 27 | 0.000 % | 2584.97/2584.94 c | 13695027 | 312 26889 121302 | 1 422450 27 | 0.000 % | 2584.97/2584.94 c | 13784588 | 312 26889 121302 | 1 512011 28 | 0.000 % | 2584.97/2584.94 c | 13784688 | 312 26889 121302 | 1 512111 28 | 0.000 % | 2584.97/2584.94 c | 13784789 | 312 26889 121302 | 1 512212 28 | 0.000 % | 2584.97/2584.94 c | 13784889 | 312 26889 121302 | 1 512312 28 | 0.000 % | 2584.97/2584.94 c | 13785056 | 312 26889 121302 | 1 512479 28 | 0.000 % | 2584.97/2584.94 c | 13785158 | 312 26889 121302 | 1 512581 28 | 0.000 % | 2584.97/2584.94 c | 13785258 | 312 26889 121302 | 1 512681 28 | 0.000 % | 2584.97/2584.94 c | 13785358 | 312 26889 121302 | 1 512781 28 | 0.000 % | 2584.97/2584.94 c | 13785458 | 312 26889 121302 | 1 512881 28 | 0.000 % | 2584.97/2584.94 c | 14061466 | 312 26889 121302 | 1 524886 29 | 0.000 % | 2584.97/2584.94 c | 14063964 | 312 26889 121302 | 1 527384 29 | 0.000 % | 2584.97/2584.94 c | 14064436 | 312 26889 121302 | 1 527856 29 | 0.000 % | 2584.97/2584.94 c | 14064536 | 312 26889 121302 | 1 527956 29 | 0.000 % | 2584.97/2584.94 c | 14064769 | 312 26889 121302 | 1 528189 29 | 0.000 % | 2584.97/2584.94 c | 14064869 | 312 26889 121302 | 1 528289 29 | 0.000 % | 2584.97/2584.94 c | 14064971 | 312 26889 121302 | 1 528391 29 | 0.000 % | 2584.97/2584.94 c | 14065841 | 312 26889 121302 | 1 529261 29 | 0.000 % | 2584.97/2584.94 c | 14065941 | 312 26889 121302 | 1 529361 29 | 0.000 % | 2584.97/2584.94 c | 14066058 | 312 26889 121302 | 1 529478 29 | 0.000 % | 2584.97/2584.94 c | 14066158 | 312 26889 121302 | 1 529578 29 | 0.000 % | 3483.08/3483.06 c | 14066258 | 312 26889 121302 | 1 529678 29 | 0.000 % | 3483.08/3483.06 c | 14066362 | 312 26889 121302 | 1 529782 29 | 0.000 % | 3483.08/3483.06 c | 14069600 | 312 26889 121302 | 1 533020 29 | 0.000 % | 3483.08/3483.06 c | 14069997 | 312 26889 121302 | 1 266814 23 | 0.000 % | 3483.08/3483.06 c | 14070097 | 312 26889 121302 | 1 266914 23 | 0.000 % | 3483.08/3483.06 c | 14070197 | 312 26889 121302 | 1 267014 23 | 0.000 % | 3483.08/3483.06 c | 14070297 | 312 26889 121302 | 1 267114 23 | 0.000 % | 3483.08/3483.06 c | 14070397 | 312 26889 121302 | 1 267214 23 | 0.000 % | 3483.08/3483.06 c | 14070498 | 312 26889 121302 | 1 267315 23 | 0.000 % | 3483.08/3483.06 c | 14073766 | 312 26889 121302 | 1 270583 23 | 0.000 % | 3483.08/3483.06 c | 14086608 | 312 26889 121302 | 1 283425 24 | 0.000 % | 3483.08/3483.06 c | 14093760 | 312 26889 121302 | 1 290577 24 | 0.000 % | 3483.08/3483.06 c | 14093861 | 312 26889 121302 | 1 290678 24 | 0.000 % | 3483.08/3483.06 c | 14093965 | 312 26889 121302 | 1 290782 24 | 0.000 % | 3483.08/3483.06 c | 14094065 | 312 26889 121302 | 1 290882 24 | 0.000 % | 3483.08/3483.06 c | 14094165 | 312 26889 121302 | 1 290982 24 | 0.000 % | 3483.08/3483.06 c | 14098503 | 312 26889 121302 | 1 295320 24 | 0.000 % | 3483.08/3483.06 c | 14123672 | 312 26889 121302 | 1 320489 25 | 0.000 % | 3483.08/3483.06 c | 15539390 | 312 26889 121302 | 1 364216 25 | 0.000 % | 3483.08/3483.06 c | 15621812 | 312 26889 121302 | 1 446638 26 | 0.000 % | 3483.08/3483.06 c | 15621913 | 312 26889 121302 | 1 446739 26 | 0.000 % | 3483.08/3483.06 c | 15671850 | 312 26889 121302 | 1 496676 27 | 0.000 % | 3483.08/3483.06 c | 15671950 | 312 26889 121302 | 1 496776 27 | 0.000 % | 3483.08/3483.06 c | 16369819 | 312 26889 121302 | 1 340241 24 | 0.000 % | 3483.08/3483.06 c | 16558697 | 312 26889 121302 | 1 529119 28 | 0.000 % | 3483.08/3483.06 c | 17253721 | 312 26889 121302 | 1 346343 24 | 0.000 % | 3483.08/3483.06 c | 17257547 | 312 26889 121302 | 1 350169 24 | 0.000 % | 3483.08/3483.06 c | 17258704 | 312 26889 121302 | 1 351326 24 | 0.000 % | 3483.08/3483.06 c | 17274160 | 312 26889 121302 | 1 366782 25 | 0.000 % | 3483.08/3483.06 c | 17284928 | 312 26889 121302 | 1 377550 25 | 0.000 % | 3483.08/3483.06 c | 17286682 | 312 26889 121302 | 1 379304 25 | 0.000 % | 3483.08/3483.06 c | 17287397 | 312 26889 121302 | 1 380019 25 | 0.000 % | 3483.08/3483.06 c | 17298902 | 312 26889 121302 | 1 391524 26 | 0.000 % | 3483.08/3483.06 c | 17341144 | 312 26889 121302 | 1 433766 26 | 0.000 % | 3483.08/3483.06 c | 17751014 | 312 26889 121302 | 1 545839 27 | 0.000 % | 3483.08/3483.06 c | 17755902 | 312 26889 121302 | 1 550727 28 | 0.000 % | 3483.08/3483.06 c | 17844905 | 312 26889 121302 | 1 339329 25 | 0.000 % | 3483.08/3483.06 c | 17845007 | 312 26889 121302 | 1 339431 25 | 0.000 % | 3483.08/3483.06 c | 17845247 | 312 26889 121302 | 1 339671 25 | 0.000 % | 3483.08/3483.06 c | 17845398 | 312 26889 121302 | 1 339822 25 | 0.000 % | 3483.08/3483.06 c | 17848667 | 312 26889 121302 | 1 343091 25 | 0.000 % | 3483.08/3483.06 c | 17853719 | 312 26889 121302 | 1 348143 25 | 0.000 % | 3483.08/3483.06 c | 17855830 | 312 26889 121302 | 1 350254 25 | 0.000 % | 3483.08/3483.06 c | 17855955 | 312 26889 121302 | 1 350379 25 | 0.000 % | 3483.08/3483.06 c | 17856175 | 312 26889 121302 | 1 350599 25 | 0.000 % | 3483.08/3483.06 c | 17856278 | 312 26889 121302 | 1 350702 25 | 0.000 % | 3483.08/3483.06 c | 17856389 | 312 26889 121302 | 1 350813 25 | 0.000 % | 3483.08/3483.06 c | 17857690 | 312 26889 121302 | 1 352114 25 | 0.000 % | 3483.08/3483.06 c | 17857791 | 312 26889 121302 | 1 352215 25 | 0.000 % | 3483.08/3483.06 c | 17859378 | 312 26889 121302 | 1 353802
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: 977) 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-3303499-1306936057/watcher-3303499-1306936057 -o /tmp/evaluation-result-3303499-1306936057/solver-3303499-1306936057 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303499-1306936057.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.04 2.00 2/430 8875 /proc/meminfo: memFree=29524664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 805206119 8912896 253 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/8875/statm: 2176 253 211 178 0 69 0 [startup+0.027994 s] /proc/loadavg: 2.05 2.04 2.00 2/430 8875 /proc/meminfo: memFree=29524664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 805206119 8912896 253 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/8875/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.10696 s] /proc/loadavg: 2.05 2.04 2.00 2/430 8875 /proc/meminfo: memFree=29524664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.300967 s] /proc/loadavg: 2.05 2.04 2.00 2/430 8875 /proc/meminfo: memFree=29524664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.700906 s] /proc/loadavg: 2.05 2.04 2.00 2/430 8875 /proc/meminfo: memFree=29524664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+1.50075 s] /proc/loadavg: 2.05 2.04 2.00 3/432 8879 /proc/meminfo: memFree=29516224/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=25032 CPUtime=1.46 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 3730 0 0 0 146 0 0 0 25 0 1 0 805206122 25632768 2654 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 6258 2654 250 17 0 2899 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33736 [startup+3.10045 s] /proc/loadavg: 2.04 2.03 2.00 3/432 8879 /proc/meminfo: memFree=29511016/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=25032 CPUtime=3.06 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 4059 0 0 0 306 0 0 0 25 0 1 0 805206122 25632768 2976 33554432000 4194304 4260849 140736871414096 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 6258 2976 250 17 0 2899 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33736 [startup+6.30083 s] /proc/loadavg: 2.04 2.03 2.00 3/432 8879 /proc/meminfo: memFree=29501776/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=33508 CPUtime=6.26 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 7201 0 0 0 626 0 0 0 25 0 1 0 805206122 34312192 4750 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 8377 4750 250 17 0 5018 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 42212 [startup+12.7006 s] /proc/loadavg: 2.04 2.03 2.00 3/432 8879 /proc/meminfo: memFree=29491624/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=37924 CPUtime=12.66 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 8710 0 0 0 1266 0 0 0 25 0 1 0 805206122 38834176 6195 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 9481 6195 250 17 0 6122 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46628 [startup+25.5003 s] /proc/loadavg: 2.03 2.03 2.00 3/432 8879 /proc/meminfo: memFree=29473996/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=52596 CPUtime=25.45 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 11642 0 0 0 2545 0 0 0 25 0 1 0 805206122 53858304 9098 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 13149 9098 250 17 0 9790 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 61300 [startup+51.1005 s] /proc/loadavg: 2.02 2.03 2.00 3/432 8880 /proc/meminfo: memFree=29491076/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=64196 CPUtime=51.06 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 20304 0 0 0 5104 2 0 0 25 0 1 0 805206122 65736704 11766 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 16049 11766 250 17 0 12690 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 72900 [startup+102.316 s] /proc/loadavg: 2.01 2.02 2.00 3/432 8881 /proc/meminfo: memFree=29502192/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=64196 CPUtime=102.28 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 26045 0 0 0 10225 3 0 0 25 0 1 0 805206122 65736704 12777 33554432000 4194304 4260849 140736871414096 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 16049 12777 250 17 0 12690 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 72900 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/432 8883 /proc/meminfo: memFree=29453392/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=85092 CPUtime=162.26 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 38897 0 0 0 16221 5 0 0 25 0 1 0 805206122 87134208 15917 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 21273 15917 250 17 0 17914 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 93796 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/432 8884 /proc/meminfo: memFree=29445928/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=96584 CPUtime=222.26 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 42728 0 0 0 22221 5 0 0 25 0 1 0 805206122 98902016 19609 33554432000 4194304 4260849 140736871414096 18446744073709551615 4220044 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 24146 19609 250 17 0 20787 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 105288 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/432 8886 /proc/meminfo: memFree=29454288/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=96584 CPUtime=282.26 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 42903 0 0 0 28221 5 0 0 25 0 1 0 805206122 98902016 19783 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 24146 19783 250 17 0 20787 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 105288 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/432 8887 /proc/meminfo: memFree=29454488/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=103768 CPUtime=342.27 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 45829 0 0 0 34221 6 0 0 25 0 1 0 805206122 106258432 22636 33554432000 4194304 4260849 140736871414096 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 25942 22636 250 17 0 22583 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 112472 [startup+402.3 s] /proc/loadavg: 2.12 2.03 2.01 3/432 8889 /proc/meminfo: memFree=29419464/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 ################ # More data... # ################ /proc/8878/statm: 59506 51353 250 17 0 56147 0 Current children cumulated CPU time (s) 4362.4 Current children cumulated vsize (KiB) 246728 [startup+4422.3 s] /proc/loadavg: 2.01 2.02 2.00 3/432 9047 /proc/meminfo: memFree=29330880/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=207204 CPUtime=4422.39 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1187844 0 0 0 441986 253 0 0 25 0 1 0 805206122 212176896 48287 33554432000 4194304 4260849 140736871414096 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 51801 48287 250 17 0 48442 0 Current children cumulated CPU time (s) 4422.41 Current children cumulated vsize (KiB) 215908 [startup+4482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/432 9049 /proc/meminfo: memFree=29336516/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=238024 CPUtime=4482.38 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1195503 0 0 0 447983 255 0 0 25 0 1 0 805206122 243736576 55750 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 59506 55750 250 17 0 56147 0 Current children cumulated CPU time (s) 4482.4 Current children cumulated vsize (KiB) 246728 [startup+4542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/432 9050 /proc/meminfo: memFree=29292020/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=238024 CPUtime=4542.39 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1213137 0 0 0 453979 260 0 0 25 0 1 0 805206122 243736576 52402 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 59506 52402 250 17 0 56147 0 Current children cumulated CPU time (s) 4542.41 Current children cumulated vsize (KiB) 246728 [startup+4602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/432 9055 /proc/meminfo: memFree=29314648/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=207204 CPUtime=4602.4 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1229744 0 0 0 459975 265 0 0 25 0 1 0 805206122 212176896 47721 33554432000 4194304 4260849 140736871414096 18446744073709551615 4226503 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 51801 47721 250 17 0 48442 0 Current children cumulated CPU time (s) 4602.42 Current children cumulated vsize (KiB) 215908 [startup+4662.3 s] /proc/loadavg: 2.02 2.02 2.00 3/432 9057 /proc/meminfo: memFree=29297044/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=238024 CPUtime=4662.39 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1236406 0 0 0 465971 268 0 0 25 0 1 0 805206122 243736576 54221 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 59506 54221 250 17 0 56147 0 Current children cumulated CPU time (s) 4662.41 Current children cumulated vsize (KiB) 246728 [startup+4722.32 s] /proc/loadavg: 2.06 2.03 2.00 3/432 9058 /proc/meminfo: memFree=29317456/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=238576 CPUtime=4722.41 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1253430 0 0 0 471968 273 0 0 25 0 1 0 805206122 244301824 50282 33554432000 4194304 4260849 140736871414096 18446744073709551615 4226868 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 59644 50282 250 17 0 56285 0 Current children cumulated CPU time (s) 4722.43 Current children cumulated vsize (KiB) 247280 [startup+4782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/432 9060 /proc/meminfo: memFree=29266664/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=288664 CPUtime=4782.39 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1260368 0 0 0 477964 275 0 0 25 0 1 0 805206122 295591936 57034 33554432000 4194304 4260849 140736871414096 18446744073709551615 4246989 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 72166 57034 250 17 0 68807 0 Current children cumulated CPU time (s) 4782.41 Current children cumulated vsize (KiB) 297368 [startup+4842.3 s] /proc/loadavg: 2.10 2.05 2.01 3/432 9061 /proc/meminfo: memFree=29288572/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=239536 CPUtime=4842.4 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1277441 0 0 0 483960 280 0 0 25 0 1 0 805206122 245284864 52845 33554432000 4194304 4260849 140736871414096 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 59884 52845 250 17 0 56525 0 Current children cumulated CPU time (s) 4842.42 Current children cumulated vsize (KiB) 248240 [startup+4902.3 s] /proc/loadavg: 2.07 2.05 2.01 3/432 9063 /proc/meminfo: memFree=29314644/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=211596 CPUtime=4902.4 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1294116 0 0 0 489956 284 0 0 25 0 1 0 805206122 216674304 48212 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 52899 48212 250 17 0 49540 0 Current children cumulated CPU time (s) 4902.42 Current children cumulated vsize (KiB) 220300 [startup+4962.3 s] /proc/loadavg: 2.02 2.04 2.00 3/432 9065 /proc/meminfo: memFree=29293876/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=243484 CPUtime=4962.4 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1301741 0 0 0 495953 287 0 0 25 0 1 0 805206122 249327616 55624 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 60871 55624 250 17 0 57512 0 Current children cumulated CPU time (s) 4962.42 Current children cumulated vsize (KiB) 252188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.01 2.03 2.00 3/432 9066 /proc/meminfo: memFree=29308100/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=215276 CPUtime=5000.02 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1315084 0 0 0 499712 290 0 0 25 0 1 0 805206122 220442624 47671 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 53819 47671 250 17 0 50460 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 223980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.01 2.03 2.00 3/432 9066 /proc/meminfo: memFree=29308100/32951124 swapFree=43324008/67111528 [pid=8875] ppid=8873 vsize=8704 CPUtime=0.02 cores=0,2,4,6 /proc/8875/stat : 8875 (glucose.sh) S 8873 8875 8295 0 -1 4202496 359 598 0 0 0 0 2 0 25 0 1 0 805206119 8912896 255 33554432000 4194304 4922060 140735430649392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/8875/statm: 2176 255 211 178 0 69 0 [pid=8878] ppid=8875 vsize=215276 CPUtime=5000.02 cores=0,2,4,6 /proc/8878/stat : 8878 (glucose_static) R 8875 8875 8295 0 -1 4202496 1315084 0 0 0 499712 290 0 0 25 0 1 0 805206122 220442624 47671 33554432000 4194304 4260849 140736871414096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/8878/statm: 53819 47671 250 17 0 50460 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 223980 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8875 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=28995 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.031994 # while last known CPU time is 5000.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.92 CPU time (s): 5000.04 CPU user time (s): 4997.14 CPU system time (s): 2.9 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 354208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.028995 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 957 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 5 runsolver used 22.4276 second user time and 46.24 second system time The end
Begin job on node105 at 2011-06-01 15:47:37 IDJOB=3303499 IDBENCH=83335 IDSOLVER=1687 FILE ID=node105/3303499-1306936057 RUNJOBID= node105-1306925741-8313 PBS_JOBID= 13488558 Free space on /tmp= 73692 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303499-1306936057/watcher-3303499-1306936057 -o /tmp/evaluation-result-3303499-1306936057/solver-3303499-1306936057 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303499-1306936057.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1144bbd60c180aa5e72d35b74e9676cb RANDOM SEED=2005375607 node105.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.825 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.65 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 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 : 5410.70 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.825 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.74 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.825 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.825 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: 29524952 kB Buffers: 196672 kB Cached: 321700 kB SwapCached: 20984 kB Active: 2826200 kB Inactive: 297920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29524952 kB SwapTotal: 67111528 kB SwapFree: 43324008 kB Dirty: 1592 kB Writeback: 0 kB AnonPages: 2603264 kB Mapped: 19464 kB Slab: 153428 kB PageTables: 81880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 115088972 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= 73688 MiB End job on node105 at 2011-06-01 17:10:59