| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf |
| MD5SUM | 59fa4424111aa94c942a4bbd786cbd51 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1234.33 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2969 |
| Number of clauses | 18767 |
| Sum of the clauses size | 134137 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 42 |
| Number of clauses of size 2 | 442 |
| Number of clauses of size 3 | 2384 |
| Number of clauses of size 4 | 505 |
| Number of clauses of size 5 | 684 |
| Number of clauses of size over 5 | 14710 |
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.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 18500 132671 | 5549 0 0 nan | 0.000 % | 0.00/0.04 c | 0 | 16577 120419 | -- 0 -- -- | -- | -505/-5851 0.00/0.04 c ============================================================================== 0.00/0.04 c Result : #vars: 2868 #clauses: 16577 #literals: 120419 0.00/0.04 c CPU time: 0.040993 s 0.00/0.04 c ============================================================================== 0.00/0.06 c 0.00/0.06 c Starting glucose 0.00/0.06 c 0.05/0.44 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 0.05/0.44 c WARNING: for repeatability, setting FPU to use double precision 0.05/0.44 c ============================[ Problem Statistics ]============================= 0.05/0.44 c | | 0.05/0.44 c | Number of variables: 2868 | 0.05/0.44 c | Number of clauses: 16577 | 0.05/0.44 c | Parse time: 0.01 s | 0.05/0.44 c | | 0.05/0.44 c ============================[ Search Statistics ]============================== 0.05/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 0.05/0.44 c =============================================================================== 0.05/0.44 c | 433 | 2868 16577 120419 | 1 433 18 | 0.000 % | 0.05/0.44 c | 670 | 2868 16577 120419 | 1 670 19 | 0.000 % | 0.05/0.44 c | 952 | 2868 16577 120419 | 1 952 20 | 0.000 % | 0.05/0.44 c | 1421 | 2868 16577 120419 | 1 1421 19 | 0.000 % | 0.05/0.44 c | 2119 | 2868 16577 120419 | 1 2119 18 | 0.000 % | 0.05/0.44 c | 2690 | 2868 16577 120419 | 1 2690 19 | 0.000 % | 0.05/0.44 c | 3144 | 2868 16577 120419 | 1 3144 20 | 0.000 % | 0.05/0.44 c | 3404 | 2868 16577 120419 | 1 3404 20 | 0.000 % | 0.05/0.44 c | 3643 | 2868 16577 120419 | 1 3643 21 | 0.000 % | 0.05/0.44 c | 3746 | 2868 16577 120419 | 1 3746 21 | 0.000 % | 0.05/0.44 c | 5024 | 2868 16577 120419 | 1 3036 16 | 0.000 % | 0.05/0.44 c | 5529 | 2868 16577 120419 | 1 3541 17 | 0.000 % | 0.05/0.44 c | 6109 | 2868 16577 120419 | 1 4121 18 | 0.000 % | 0.05/0.44 c | 6379 | 2868 16577 120419 | 1 4391 18 | 0.000 % | 0.05/0.44 c | 6735 | 2868 16577 120419 | 1 4747 19 | 0.000 % | 0.05/0.44 c | 7054 | 2868 16577 120419 | 1 5066 19 | 0.000 % | 0.05/0.44 c | 7260 | 2868 16577 120419 | 1 5272 19 | 0.000 % | 0.05/0.44 c | 7643 | 2868 16577 120419 | 1 5655 20 | 0.000 % | 0.05/0.44 c | 7828 | 2868 16577 120419 | 1 5840 20 | 0.000 % | 0.05/0.44 c | 8361 | 2868 16577 120419 | 1 6373 20 | 0.000 % | 0.05/0.44 c | 9039 | 2868 16577 120419 | 1 7051 21 | 0.000 % | 0.05/0.44 c | 9469 | 2868 16577 120419 | 1 7481 21 | 0.000 % | 0.05/0.44 c | 9569 | 2868 16577 120419 | 1 7581 21 | 0.000 % | 0.05/0.44 c | 10749 | 2868 16577 120419 | 1 4468 15 | 0.000 % | 0.05/0.44 c | 11422 | 2868 16577 120419 | 1 5141 16 | 0.000 % | 0.05/0.44 c | 12090 | 2868 16577 120419 | 1 5809 17 | 0.000 % | 0.05/0.44 c | 12190 | 2868 16577 120419 | 1 5909 17 | 0.000 % | 0.05/0.44 c | 12432 | 2868 16577 120419 | 1 6151 18 | 0.000 % | 0.05/0.44 c | 12954 | 2868 16577 120419 | 1 6673 18 | 0.000 % | 0.05/0.44 c | 13605 | 2868 16577 120419 | 1 7324 18 | 0.000 % | 0.05/0.44 c | 13803 | 2868 16577 120419 | 1 7522 19 | 0.000 % | 0.05/0.44 c | 14442 | 2868 16577 120419 | 1 8161 19 | 0.000 % | 0.05/0.44 c | 15651 | 2868 16577 120419 | 1 9370 20 | 0.000 % | 0.05/0.44 c | 16902 | 2868 16577 120419 | 1 10621 20 | 0.000 % | 0.05/0.44 c | 17240 | 2868 16577 120419 | 1 10959 20 | 0.000 % | 0.05/0.44 c | 17981 | 2868 16577 120419 | 1 11700 20 | 0.000 % | 0.05/0.44 c | 19029 | 2868 16577 120419 | 1 12748 21 | 0.000 % | 0.05/0.44 c | 19732 | 2868 16577 120419 | 1 13451 21 | 0.000 % | 0.05/0.44 c | 21091 | 2868 16577 120419 | 1 8061 15 | 0.000 % | 1.37/1.48 c | 22491 | 2868 16577 120419 | 1 9461 17 | 0.000 % | 1.37/1.48 c | 22856 | 2868 16577 120419 | 1 9826 17 | 0.000 % | 1.37/1.48 c | 23036 | 2868 16577 120419 | 1 10006 17 | 0.000 % | 1.37/1.48 c | 24042 | 2868 16577 120419 | 1 11012 18 | 0.000 % | 1.37/1.48 c | 25047 | 2868 16577 120419 | 1 12017 18 | 0.000 % | 1.37/1.48 c | 25148 | 2868 16577 120419 | 1 12118 19 | 0.000 % | 1.37/1.48 c | 25285 | 2868 16577 120419 | 1 12255 19 | 0.000 % | 1.37/1.48 c | 25543 | 2868 16577 120419 | 1 12513 19 | 0.000 % | 1.37/1.48 c | 25757 | 2868 16577 120419 | 1 12727 19 | 0.000 % | 1.37/1.48 c | 25859 | 2868 16577 120419 | 1 12829 19 | 0.000 % | 1.37/1.48 c | 26309 | 2868 16577 120419 | 1 13279 19 | 0.000 % | 1.37/1.48 c | 26832 | 2868 16577 120419 | 1 13802 20 | 0.000 % | 1.37/1.48 c | 27083 | 2868 16577 120419 | 1 14053 20 | 0.000 % | 1.37/1.48 c | 27924 | 2868 16577 120419 | 1 14894 20 | 0.000 % | 1.37/1.48 c | 28968 | 2868 16577 120419 | 1 15938 21 | 0.000 % | 1.37/1.48 c | 29267 | 2868 16577 120419 | 1 16237 21 | 0.000 % | 1.37/1.48 c | 31004 | 2868 16577 120419 | 1 17974 21 | 0.000 % | 1.37/1.48 c | 31299 | 2868 16577 120419 | 1 18269 21 | 0.000 % | 1.37/1.48 c | 33336 | 2868 16577 120419 | 1 11033 16 | 0.000 % | 1.37/1.48 c | 35586 | 2868 16577 120419 | 1 13283 18 | 0.000 % | 1.37/1.48 c | 40330 | 2868 16577 120419 | 1 18027 20 | 0.000 % | 1.37/1.48 c | 41180 | 2868 16577 120419 | 1 18877 21 | 0.000 % | 1.37/1.48 c | 42101 | 2868 16577 120419 | 1 19798 21 | 0.000 % | 1.37/1.48 c | 44611 | 2868 16577 120419 | 1 22308 22 | 0.000 % | 1.37/1.48 c | 44818 | 2868 16577 120419 | 1 22515 22 | 0.000 % | 1.37/1.48 c | 45371 | 2868 16577 120419 | 1 23068 22 | 0.000 % | 1.37/1.48 c | 45472 | 2868 16577 120419 | 1 23169 22 | 0.000 % | 1.37/1.48 c | 45631 | 2868 16577 120419 | 1 23328 22 | 0.000 % | 1.37/1.48 c | 46490 | 2868 16577 120419 | 1 12352 15 | 0.000 % | 1.37/1.48 c | 46901 | 2868 16577 120419 | 1 12763 15 | 0.000 % | 1.37/1.48 c | 47734 | 2868 16577 120419 | 1 13596 16 | 0.000 % | 1.37/1.48 c | 49278 | 2868 16577 120419 | 1 15140 17 | 0.000 % | 1.37/1.48 c | 49508 | 2868 16577 120419 | 1 15370 17 | 0.000 % | 1.37/1.48 c | 49986 | 2868 16577 120419 | 1 15848 17 | 0.000 % | 1.37/1.48 c | 50087 | 2868 16577 120419 | 1 15949 18 | 0.000 % | 1.37/1.48 c | 50949 | 2868 16577 120419 | 1 16811 18 | 0.000 % | 1.37/1.48 c | 51147 | 2868 16577 120419 | 1 17009 18 | 0.000 % | 1.37/1.48 c | 51680 | 2868 16577 120419 | 1 17542 19 | 0.000 % | 1.37/1.48 c | 53781 | 2868 16577 120419 | 1 19643 20 | 0.000 % | 1.37/1.48 c | 53923 | 2868 16577 120419 | 1 19785 20 | 0.000 % | 1.37/1.48 c | 54559 | 2868 16577 120419 | 1 20421 20 | 0.000 % | 1.37/1.48 c | 54966 | 2868 16577 120419 | 1 20828 20 | 0.000 % | 1.37/1.48 c | 55136 | 2868 16577 120419 | 1 20998 20 | 0.000 % | 1.37/1.48 c | 56244 | 2868 16577 120419 | 1 22106 20 | 0.000 % | 1.37/1.48 c | 56503 | 2868 16577 120419 | 1 22365 20 | 0.000 % | 1.37/1.48 c | 56631 | 2868 16577 120419 | 1 22493 20 | 0.000 % | 1.37/1.48 c | 57134 | 2868 16577 120419 | 1 22996 20 | 0.000 % | 1.37/1.48 c | 57292 | 2868 16577 120419 | 1 23154 20 | 0.000 % | 1.37/1.48 c | 58124 | 2868 16577 120419 | 1 23986 20 | 0.000 % | 1.37/1.48 c | 58367 | 2868 16577 120419 | 1 24229 21 | 0.000 % | 2.87/2.94 c | 59108 | 2868 16577 120419 | 1 24970 21 | 0.000 % | 2.87/2.94 c | 59226 | 2868 16577 120419 | 1 25088 21 | 0.000 % | 2.87/2.94 c | 59424 | 2868 16577 120419 | 1 25286 21 | 0.000 % | 2.87/2.94 c | 59606 | 2868 16577 120419 | 1 25468 21 | 0.000 % | 2.87/2.94 c | 59756 | 2868 16577 120419 | 1 25618 21 | 0.000 % | 2.87/2.94 c | 59856 | 2868 16577 120419 | 1 25718 21 | 0.000 % | 2.87/2.94 c | 60000 | 2868 16577 120419 | 1 25862 21 | 0.000 % | 2.87/2.94 c | 60102 | 2868 16577 120419 | 1 25964 21 | 0.000 % | 2.87/2.94 c | 60511 | 2868 16577 120419 | 1 26373 21 | 0.000 % | 2.87/2.94 c | 60636 | 2868 16577 120419 | 1 26498 22 | 0.000 % | 2.87/2.94 c | 61075 | 2868 16577 120419 | 1 26937 22 | 0.000 % | 2.87/2.94 c | 61958 | 2868 16577 120419 | 1 27820 22 | 0.000 % | 2.87/2.94 c | 64240 | 2868 16577 120419 | 1 15685 15 | 0.000 % | 2.87/2.94 c | 64382 | 2868 16577 120419 | 1 15827 15 | 0.000 % | 2.87/2.94 c | 64959 | 2868 16577 120419 | 1 16404 15 | 0.000 % | 2.87/2.94 c | 65171 | 2868 16577 120419 | 1 16616 16 | 0.000 % | 2.87/2.94 c | 66023 | 2868 16577 120419 | 1 17468 16 | 0.000 % | 2.87/2.94 c | 68559 | 2868 16577 120419 | 1 20004 18 | 0.000 % | 2.87/2.94 c | 70520 | 2868 16577 120419 | 1 21965 19 | 0.000 % | 2.87/2.94 c | 73646 | 2868 16577 120419 | 1 25091 21 | 0.000 % | 2.87/2.94 c | 73812 | 2868 16577 120419 | 1 25257 21 | 0.000 % | 2.87/2.94 c | 74215 | 2868 16577 120419 | 1 25660 21 | 0.000 % | 2.87/2.94 c | 74546 | 2868 16577 120419 | 1 25991 21 | 0.000 % | 2.87/2.94 c | 77522 | 2868 16577 120419 | 1 28967 22 | 0.000 % | 2.87/2.94 c | 79190 | 2868 16577 120419 | 1 30635 22 | 0.000 % | 2.87/2.94 c | 79380 | 2868 16577 120419 | 1 30825 22 | 0.000 % | 2.87/2.94 c | 79633 | 2868 16577 120419 | 1 31078 22 | 0.000 % | 2.87/2.94 c | 79736 | 2868 16577 120419 | 1 31181 22 | 0.000 % | 2.87/2.94 c | 80725 | 2868 16577 120419 | 1 32170 22 | 0.000 % | 2.87/2.94 c | 80913 | 2868 16577 120419 | 1 32358 23 | 0.000 % | 2.87/2.94 c | 81281 | 2868 16577 120419 | 1 32726 23 | 0.000 % | 2.87/2.94 c | 81638 | 2868 16577 120419 | 1 33083 23 | 0.000 % | 2.87/2.94 c | 81829 | 2868 16577 120419 | 1 33274 23 | 0.000 % | 2.87/2.94 c | 82294 | 2868 16577 120419 | 1 33739 23 | 0.000 % | 2.87/2.94 c | 82394 | 2868 16577 120419 | 1 33839 23 | 0.000 % | 2.87/2.94 c | 84170 | 2868 16577 120419 | 1 18595 15 | 0.000 % | 2.87/2.94 c | 85477 | 2868 16577 120419 | 1 19902 16 | 0.000 % | 2.87/2.94 c | 87069 | 2868 16577 120419 | 1 21494 17 | 0.000 % | 2.87/2.94 c | 87263 | 2868 16577 120419 | 1 21688 17 | 0.000 % | 2.87/2.94 c | 88094 | 2868 16577 120419 | 1 22519 17 | 0.000 % | 2.87/2.94 c | 88267 | 2868 16577 120419 | 1 22692 18 | 0.000 % | 2.87/2.94 c | 88487 | 2868 16577 120419 | 1 22912 18 | 0.000 % | 2.87/2.94 c | 89307 | 2868 16577 120419 | 1 23732 18 | 0.000 % | 2.87/2.94 c | 89730 | 2868 16577 120419 | 1 24155 18 | 0.000 % | 2.87/2.94 c | 91000 | 2868 16577 120419 | 1 25425 19 | 0.000 % | 2.87/2.94 c | 91900 | 2868 16577 120419 | 1 26325 19 | 0.000 % | 2.87/2.94 c | 92132 | 2868 16577 120419 | 1 26557 19 | 0.000 % | 2.87/2.94 c | 94304 | 2868 16577 120419 | 1 28729 20 | 0.000 % | 2.87/2.94 c | 94625 | 2868 16577 120419 | 1 29050 20 | 0.000 % | 2.87/2.94 c | 94944 | 2868 16577 120419 | 1 29369 21 | 0.000 % | 8.87/8.92 c | 95329 | 2868 16577 120419 | 1 29754 21 | 0.000 % | 8.87/8.92 c | 95446 | 2868 16577 120419 | 1 29871 21 | 0.000 % | 8.87/8.92 c | 95546 | 2868 16577 120419 | 1 29971 21 | 0.000 % | 8.87/8.92 c | 95827 | 2868 16577 120419 | 1 30252 21 | 0.000 % | 8.87/8.92 c | 97754 | 2868 16577 120419 | 1 32179 21 | 0.000 % | 8.87/8.92 c | 98011 | 2868 16577 120419 | 1 32436 21 | 0.000 % | 8.87/8.92 c | 98386 | 2868 16577 120419 | 1 32811 21 | 0.000 % | 8.87/8.92 c | 98845 | 2868 16577 120419 | 1 33270 22 | 0.000 % | 8.87/8.92 c | 101856 | 2868 16577 120419 | 1 36281 22 | 0.000 % | 8.87/8.92 c | 102106 | 2868 16577 120419 | 1 36531 22 | 0.000 % | 8.87/8.92 c | 102209 | 2868 16577 120419 | 1 36634 22 | 0.000 % | 8.87/8.92 c | 110544 | 2868 16577 120419 | 1 25381 19 | 0.000 % | 8.87/8.92 c | 112247 | 2868 16577 120419 | 1 27084 19 | 0.000 % | 8.87/8.92 c | 113569 | 2868 16577 120419 | 1 28406 20 | 0.000 % | 8.87/8.92 c | 113904 | 2868 16577 120419 | 1 28741 20 | 0.000 % | 8.87/8.92 c | 117118 | 2868 16577 120419 | 1 31955 22 | 0.000 % | 8.87/8.92 c | 132559 | 2868 16577 120419 | 1 25205 18 | 0.000 % | 8.87/8.92 c | 133403 | 2868 16577 120419 | 1 26049 19 | 0.000 % | 8.87/8.92 c | 133997 | 2868 16577 120419 | 1 26643 19 | 0.000 % | 8.87/8.92 c | 134359 | 2868 16577 120419 | 1 27005 19 | 0.000 % | 8.87/8.92 c | 146638 | 2868 16577 120419 | 1 39284 23 | 0.000 % | 8.87/8.92 c | 147258 | 2868 16577 120419 | 1 39904 23 | 0.000 % | 8.87/8.92 c | 147763 | 2868 16577 120419 | 1 40409 24 | 0.000 % | 8.87/8.92 c | 148058 | 2868 16577 120419 | 1 40704 24 | 0.000 % | 8.87/8.92 c | 148188 | 2868 16577 120419 | 1 40834 24 | 0.000 % | 8.87/8.92 c | 155766 | 2868 16577 120419 | 1 48412 25 | 0.000 % | 8.87/8.92 c | 156527 | 2868 16577 120419 | 1 49173 25 | 0.000 % | 8.87/8.92 c | 158242 | 2868 16577 120419 | 1 26064 17 | 0.000 % | 8.87/8.92 c | 164370 | 2868 16577 120419 | 1 32192 19 | 0.000 % | 8.87/8.92 c | 164785 | 2868 16577 120419 | 1 32607 19 | 0.000 % | 8.87/8.92 c | 165502 | 2868 16577 120419 | 1 33324 19 | 0.000 % | 8.87/8.92 c | 166996 | 2868 16577 120419 | 1 34818 20 | 0.000 % | 8.87/8.92 c | 167618 | 2868 16577 120419 | 1 35440 20 | 0.000 % | 8.87/8.92 c | 168195 | 2868 16577 120419 | 1 36017 20 | 0.000 % | 8.87/8.92 c | 168859 | 2868 16577 120419 | 1 36681 20 | 0.000 % | 8.87/8.92 c | 169207 | 2868 16577 120419 | 1 37029 21 | 0.000 % | 8.87/8.92 c | 169550 | 2868 16577 120419 | 1 37372 21 | 0.000 % | 8.87/8.92 c | 169994 | 2868 16577 120419 | 1 37816 21 | 0.000 % | 8.87/8.92 c | 173194 | 2868 16577 120419 | 1 41016 22 | 0.000 % | 8.87/8.92 c | 173294 | 2868 16577 120419 | 1 41116 22 | 0.000 % | 8.87/8.92 c | 173829 | 2868 16577 120419 | 1 41651 22 | 0.000 % | 8.87/8.92 c | 173973 | 2868 16577 120419 | 1 41795 22 | 0.000 % | 8.87/8.92 c | 188044 | 2868 16577 120419 | 1 28472 16 | 0.000 % | 8.87/8.92 c | 188230 | 2868 16577 120419 | 1 28658 16 | 0.000 % | 8.87/8.92 c | 188710 | 2868 16577 120419 | 1 29138 16 | 0.000 % | 8.87/8.92 c | 189607 | 2868 16577 120419 | 1 30035 16 | 0.000 % | 8.87/8.92 c | 189826 | 2868 16577 120419 | 1 30254 16 | 0.000 % | 8.87/8.92 c | 190336 | 2868 16577 120419 | 1 30764 17 | 0.000 % | 8.87/8.92 c | 190436 | 2868 16577 120419 | 1 30864 17 | 0.000 % | 8.87/8.92 c | 198254 | 2868 16577 120419 | 1 38682 20 | 0.000 % | 28.87/28.90 c | 198566 | 2868 16577 120419 | 1 38994 20 | 0.000 % | 28.87/28.90 c | 212795 | 2868 16577 120419 | 1 53223 24 | 0.000 % | 28.87/28.90 c | 222762 | 2868 16577 120419 | 1 33189 17 | 0.000 % | 28.87/28.90 c | 222975 | 2868 16577 120419 | 1 33402 17 | 0.000 % | 28.87/28.90 c | 224834 | 2868 16577 120419 | 1 35261 18 | 0.000 % | 28.87/28.90 c | 224946 | 2868 16577 120419 | 1 35373 18 | 0.000 % | 28.87/28.90 c | 265572 | 2868 16577 120419 | 1 43392 21 | 0.000 % | 28.87/28.90 c | 281728 | 2868 16577 120419 | 1 59548 25 | 0.000 % | 28.87/28.90 c | 284449 | 2868 16577 120419 | 1 62269 25 | 0.000 % | 28.87/28.90 c | 285840 | 2868 16577 120419 | 1 63660 26 | 0.000 % | 28.87/28.90 c | 287530 | 2868 16577 120419 | 1 65350 26 | 0.000 % | 28.87/28.90 c | 287638 | 2868 16577 120419 | 1 65458 26 | 0.000 % | 28.87/28.90 c | 288114 | 2868 16577 120419 | 1 65934 26 | 0.000 % | 28.87/28.90 c | 291780 | 2868 16577 120419 | 1 69600 26 | 0.000 % | 28.87/28.90 c | 292358 | 2868 16577 120419 | 1 70178 26 | 0.000 % | 28.87/28.90 c | 292459 | 2868 16577 120419 | 1 70279 26 | 0.000 % | 28.87/28.90 c | 293335 | 2868 16577 120419 | 1 35960 16 | 0.000 % | 28.87/28.90 c | 294384 | 2868 16577 120419 | 1 37009 17 | 0.000 % | 28.87/28.90 c | 294484 | 2868 16577 120419 | 1 37109 17 | 0.000 % | 28.87/28.90 c | 314106 | 2868 16577 120419 | 1 56731 23 | 0.000 % | 28.87/28.90 c | 316372 | 2868 16577 120419 | 1 58997 23 | 0.000 % | 28.87/28.90 c | 316626 | 2868 16577 120419 | 1 59251 23 | 0.000 % | 28.87/28.90 c | 319661 | 2868 16577 120419 | 1 62286 24 | 0.000 % | 28.87/28.90 c | 319765 | 2868 16577 120419 | 1 62390 24 | 0.000 % | 28.87/28.90 c | 352314 | 2868 16577 120419 | 1 57144 24 | 0.000 % | 28.87/28.90 c | 355620 | 2868 16577 120419 | 1 60450 24 | 0.000 % | 28.87/28.90 c | 356203 | 2868 16577 120419 | 1 61033 24 | 0.000 % | 28.87/28.90 c | 356439 | 2868 16577 120419 | 1 61269 24 | 0.000 % | 28.87/28.90 c | 358667 | 2868 16577 120419 | 1 63497 25 | 0.000 % | 28.87/28.90 c | 359352 | 2868 16577 120419 | 1 64182 25 | 0.000 % | 28.87/28.90 c | 379477 | 2868 16577 120419 | 1 43897 17 | 0.000 % | 28.87/28.90 c | 379577 | 2868 16577 120419 | 1 43997 17 | 0.000 % | 28.87/28.90 c | 381087 | 2868 16577 120419 | 1 45507 18 | 0.000 % | 28.87/28.90 c | 381189 | 2868 16577 120419 | 1 45609 18 | 0.000 % | 28.87/28.90 c | 381289 | 2868 16577 120419 | 1 45709 18 | 0.000 % | 28.87/28.90 c | 395869 | 2868 16577 120419 | 1 60289 22 | 0.000 % | 28.87/28.90 c | 397877 | 2868 16577 120419 | 1 62297 22 | 0.000 % | 28.87/28.90 c | 404979 | 2868 16577 120419 | 1 69399 24 | 0.000 % | 28.87/28.90 c | 405095 | 2868 16577 120419 | 1 69515 24 | 0.000 % | 28.87/28.90 c | 406163 | 2868 16577 120419 | 1 70583 24 | 0.000 % | 28.87/28.90 c | 406713 | 2868 16577 120419 | 1 71133 24 | 0.000 % | 28.87/28.90 c | 408905 | 2868 16577 120419 | 1 73325 24 | 0.000 % | 28.87/28.90 c | 409045 | 2868 16577 120419 | 1 73465 25 | 0.000 % | 28.87/28.90 c | 409984 | 2868 16577 120419 | 1 74404 25 | 0.000 % | 28.87/28.90 c | 410152 | 2868 16577 120419 | 1 74572 25 | 0.000 % | 28.87/28.90 c | 420770 | 2868 16577 120419 | 1 85190 26 | 0.000 % | 28.87/28.90 c | 428197 | 2868 16577 120419 | 1 49617 18 | 0.000 % | 28.87/28.90 c | 428668 | 2868 16577 120419 | 1 50088 18 | 0.000 % | 28.87/28.90 c | 434906 | 2868 16577 120419 | 1 56326 20 | 0.000 % | 28.87/28.90 c | 435010 | 2868 16577 120419 | 1 56430 20 | 0.000 % | 154.08/154.12 c | 436104 | 2868 16577 120419 | 1 57524 20 | 0.000 % | 154.08/154.12 c | 468452 | 2868 16577 120419 | 1 89872 26 | 0.000 % | 154.08/154.12 c | 477497 | 2868 16577 120419 | 1 53320 19 | 0.000 % | 154.08/154.12 c | 479555 | 2868 16577 120419 | 1 55378 19 | 0.000 % | 154.08/154.12 c | 479764 | 2868 16577 120419 | 1 55587 19 | 0.000 % | 154.08/154.12 c | 480123 | 2868 16577 120419 | 1 55946 19 | 0.000 % | 154.08/154.12 c | 481572 | 2868 16577 120419 | 1 57395 20 | 0.000 % | 154.08/154.12 c | 481959 | 2868 16577 120419 | 1 57782 20 | 0.000 % | 154.08/154.12 c | 482084 | 2868 16577 120419 | 1 57907 20 | 0.000 % | 154.08/154.12 c | 495150 | 2868 16577 120419 | 1 70973 23 | 0.000 % | 154.08/154.12 c | 496474 | 2868 16577 120419 | 1 72297 23 | 0.000 % | 154.08/154.12 c | 538961 | 2868 16577 120419 | 1 66601 21 | 0.000 % | 154.08/154.12 c | 539065 | 2868 16577 120419 | 1 66705 21 | 0.000 % | 154.08/154.12 c | 539520 | 2868 16577 120419 | 1 67160 21 | 0.000 % | 154.08/154.12 c | 540244 | 2868 16577 120419 | 1 67884 21 | 0.000 % | 154.08/154.12 c | 541186 | 2868 16577 120419 | 1 68826 21 | 0.000 % | 154.08/154.12 c | 541287 | 2868 16577 120419 | 1 68927 21 | 0.000 % | 154.08/154.12 c | 541387 | 2868 16577 120419 | 1 69027 22 | 0.000 % | 154.08/154.12 c | 542425 | 2868 16577 120419 | 1 70065 22 | 0.000 % | 154.08/154.12 c | 547550 | 2868 16577 120419 | 1 75190 23 | 0.000 % | 154.08/154.12 c | 558676 | 2868 16577 120419 | 1 86316 25 | 0.000 % | 154.08/154.12 c | 600427 | 2868 16577 120419 | 1 77262 23 | 0.000 % | 154.08/154.12 c | 601855 | 2868 16577 120419 | 1 78690 23 | 0.000 % | 154.08/154.12 c | 606320 | 2868 16577 120419 | 1 83155 24 | 0.000 % | 154.08/154.12 c | 610161 | 2868 16577 120419 | 1 86996 25 | 0.000 % | 154.08/154.12 c | 610996 | 2868 16577 120419 | 1 87831 25 | 0.000 % | 154.08/154.12 c | 611321 | 2868 16577 120419 | 1 88156 25 | 0.000 % | 154.08/154.12 c | 613058 | 2868 16577 120419 | 1 89893 25 | 0.000 % | 154.08/154.12 c | 613160 | 2868 16577 120419 | 1 89995 25 | 0.000 % | 154.08/154.12 c | 613383 | 2868 16577 120419 | 1 90218 25 | 0.000 % | 154.08/154.12 c | 613790 | 2868 16577 120419 | 1 90625 25 | 0.000 % | 154.08/154.12 c | 614480 | 2868 16577 120419 | 1 91315 25 | 0.000 % | 154.08/154.12 c | 614580 | 2868 16577 120419 | 1 91415 25 | 0.000 % | 154.08/154.12 c | 624593 | 2868 16577 120419 | 1 101428 27 | 0.000 % | 154.08/154.12 c | 651456 | 2868 16577 120419 | 1 74887 22 | 0.000 % | 154.08/154.12 c | 1004836 | 2868 16577 120419 | 1 122254 24 | 0.000 % | 154.08/154.12 c | 1009963 | 2868 16577 120419 | 1 127381 24 | 0.000 % | 154.08/154.12 c | 1016893 | 2868 16577 120419 | 1 134311 25 | 0.000 % | 154.08/154.12 c | 1051206 | 2868 16577 120419 | 1 99628 23 | 0.000 % | 154.08/154.12 c | 1051316 | 2868 16577 120419 | 1 99738 23 | 0.000 % | 154.08/154.12 c | 1057517 | 2868 16577 120419 | 1 105939 24 | 0.000 % | 154.08/154.12 c | 1059834 | 2868 16577 120419 | 1 108256 24 | 0.000 % | 154.08/154.12 c | 1138622 | 2868 16577 120419 | 1 115438 24 | 0.000 % | 154.08/154.12 c | 1139764 | 2868 16577 120419 | 1 116580 25 | 0.000 % | 154.08/154.12 c | 1140162 | 2868 16577 120419 | 1 116978 25 | 0.000 % | 154.08/154.12 c | 1148720 | 2868 16577 120419 | 1 125536 25 | 0.000 % | 154.08/154.12 c | 1158816 | 2868 16577 120419 | 1 135632 27 | 0.000 % | 154.08/154.12 c | 1189536 | 2868 16577 120419 | 1 92156 20 | 0.000 % | 154.08/154.12 c | 1195446 | 2868 16577 120419 | 1 98066 21 | 0.000 % | 154.08/154.12 c | 1195911 | 2868 16577 120419 | 1 98531 21 | 0.000 % | 254.58/254.62 c | 1206087 | 2868 16577 120419 | 1 108707 23 | 0.000 % | 254.58/254.62 c | 1210267 | 2868 16577 120419 | 1 112887 23 | 0.000 % | 254.58/254.62 c | 1210367 | 2868 16577 120419 | 1 112987 23 | 0.000 % | 254.58/254.62 c | 1240086 | 2868 16577 120419 | 1 142706 26 | 0.000 % | 254.58/254.62 c | 1241416 | 2868 16577 120419 | 1 144036 26 | 0.000 % | 254.58/254.62 c | 1246513 | 2868 16577 120419 | 1 149133 27 | 0.000 % | 254.58/254.62 c | 1253152 | 2868 16577 120419 | 1 78969 16 | 0.000 % | 254.58/254.62 c | 1253720 | 2868 16577 120419 | 1 79537 16 | 0.000 % | 254.58/254.62 c | 1253856 | 2868 16577 120419 | 1 79673 16 | 0.000 % | 254.58/254.62 c | 1268113 | 2868 16577 120419 | 1 93930 20 | 0.000 % | 254.58/254.62 c | 1269346 | 2868 16577 120419 | 1 95163 20 | 0.000 % | 254.58/254.62 c | 1288327 | 2868 16577 120419 | 1 114144 23 | 0.000 % | 254.58/254.62 c | 1289238 | 2868 16577 120419 | 1 115055 23 | 0.000 % | 254.58/254.62 c | 1289338 | 2868 16577 120419 | 1 115155 23 | 0.000 % | 254.58/254.62 c | 1289439 | 2868 16577 120419 | 1 115256 23 | 0.000 % | 254.58/254.62 c | 1353796 | 2868 16577 120419 | 1 100209 19 | 0.000 % | 254.58/254.62 c | 1353896 | 2868 16577 120419 | 1 100309 19 | 0.000 % | 254.58/254.62 c | 1372336 | 2868 16577 120419 | 1 118749 22 | 0.000 % | 254.58/254.62 c | 1400549 | 2868 16577 120419 | 1 146962 25 | 0.000 % | 254.58/254.62 c | 1401904 | 2868 16577 120419 | 1 148317 25 | 0.000 % | 254.58/254.62 c | 1402530 | 2868 16577 120419 | 1 148943 25 | 0.000 % | 254.58/254.62 c | 1405049 | 2868 16577 120419 | 1 151462 26 | 0.000 % | 254.58/254.62 c | 1405173 | 2868 16577 120419 | 1 151586 26 | 0.000 % | 254.58/254.62 c | 1434422 | 2868 16577 120419 | 1 98847 19 | 0.000 % | 254.58/254.62 c | 1437523 | 2868 16577 120419 | 1 101948 20 | 0.000 % | 254.58/254.62 c | 1437662 | 2868 16577 120419 | 1 102087 20 | 0.000 % | 254.58/254.62 c | 1445896 | 2868 16577 120419 | 1 110321 22 | 0.000 % | 254.58/254.62 c | 1447155 | 2868 16577 120419 | 1 111580 22 | 0.000 % | 254.58/254.62 c | 1488831 | 2868 16577 120419 | 1 153256 25 | 0.000 % | 254.58/254.62 c | 1495009 | 2868 16577 120419 | 1 159434 26 | 0.000 % | 254.58/254.62 c | 1498914 | 2868 16577 120419 | 1 163339 26 | 0.000 % | 254.58/254.62 c | 1504500 | 2868 16577 120419 | 1 168925 27 | 0.000 % | 254.58/254.62 c | 1505467 | 2868 16577 120419 | 1 85283 15 | 0.000 % | 254.58/254.62 c | 1507957 | 2868 16577 120419 | 1 87773 16 | 0.000 % | 254.58/254.62 c | 1508057 | 2868 16577 120419 | 1 87873 16 | 0.000 % | 254.58/254.62 c | 1508180 | 2868 16577 120419 | 1 87996 16 | 0.000 % | 254.58/254.62 c | 1508347 | 2868 16577 120419 | 1 88163 16 | 0.000 % | 254.58/254.62 c | 1508447 | 2868 16577 120419 | 1 88263 16 | 0.000 % | 254.58/254.62 c | 1508703 | 2868 16577 120419 | 1 88519 16 | 0.000 % | 254.58/254.62 c | 1516463 | 2868 16577 120419 | 1 96279 18 | 0.000 % | 254.58/254.62 c | 1516680 | 2868 16577 120419 | 1 96496 18 | 0.000 % | 254.58/254.62 c | 1571481 | 2868 16577 120419 | 1 151297 25 | 0.000 % | 254.58/254.62 c | 1581563 | 2868 16577 120419 | 1 161379 26 | 0.000 % | 254.58/254.62 c | 1581663 | 2868 16577 120419 | 1 161479 26 | 0.000 % | 254.58/254.62 c | 1581764 | 2868 16577 120419 | 1 161580 26 | 0.000 % | 254.58/254.62 c | 1581868 | 2868 16577 120419 | 1 161684 26 | 0.000 % | 254.58/254.62 c | 1668954 | 2868 16577 120419 | 1 161572 25 | 0.000 % | 254.58/254.62 c | 1679763 | 2868 16577 120419 | 1 172381 26 | 0.000 % | 254.58/254.62 c | 1683471 | 2868 16577 120419 | 1 176089 26 | 0.000 % | 472.48/472.57 c | 1740028 | 2868 16577 120419 | 1 142843 24 | 0.000 % | 472.48/472.57 c | 1740140 | 2868 16577 120419 | 1 142955 24 | 0.000 % | 472.48/472.57 c | 1750021 | 2868 16577 120419 | 1 152836 25 | 0.000 % | 472.48/472.57 c | 1757983 | 2868 16577 120419 | 1 160798 26 | 0.000 % | 472.48/472.57 c | 1758561 | 2868 16577 120419 | 1 161376 26 | 0.000 % | 472.48/472.57 c | 1758661 | 2868 16577 120419 | 1 161476 26 | 0.000 % | 472.48/472.57 c | 1759118 | 2868 16577 120419 | 1 161933 26 | 0.000 % | 472.48/472.57 c | 1781291 | 2868 16577 120419 | 1 184106 28 | 0.000 % | 472.48/472.57 c | 1786134 | 2868 16577 120419 | 1 96544 16 | 0.000 % | 472.48/472.57 c | 1788574 | 2868 16577 120419 | 1 98984 17 | 0.000 % | 472.48/472.57 c | 1788703 | 2868 16577 120419 | 1 99113 17 | 0.000 % | 472.48/472.57 c | 1909562 | 2868 16577 120419 | 1 124983 20 | 0.000 % | 472.48/472.57 c | 1974339 | 2868 16577 120419 | 1 189760 26 | 0.000 % | 472.48/472.57 c | 1974788 | 2868 16577 120419 | 1 190209 26 | 0.000 % | 472.48/472.57 c | 1974897 | 2868 16577 120419 | 1 190318 26 | 0.000 % | 472.48/472.57 c | 1977599 | 2868 16577 120419 | 1 193020 26 | 0.000 % | 472.48/472.57 c | 1978276 | 2868 16577 120419 | 1 193697 26 | 0.000 % | 472.48/472.57 c | 2006850 | 2868 16577 120419 | 1 124666 19 | 0.000 % | 472.48/472.57 c | 2007969 | 2868 16577 120419 | 1 125785 20 | 0.000 % | 472.48/472.57 c | 2019530 | 2868 16577 120419 | 1 137346 22 | 0.000 % | 472.48/472.57 c | 2044948 | 2868 16577 120419 | 1 162764 24 | 0.000 % | 472.48/472.57 c | 2050811 | 2868 16577 120419 | 1 168627 25 | 0.000 % | 472.48/472.57 c | 2052676 | 2868 16577 120419 | 1 170492 25 | 0.000 % | 472.48/472.57 c | 2094168 | 2868 16577 120419 | 1 111784 17 | 0.000 % | 472.48/472.57 c | 2094806 | 2868 16577 120419 | 1 112422 18 | 0.000 % | 472.48/472.57 c | 2095611 | 2868 16577 120419 | 1 113227 18 | 0.000 % | 472.48/472.57 c | 2095711 | 2868 16577 120419 | 1 113327 18 | 0.000 % | 472.48/472.57 c | 2119411 | 2868 16577 120419 | 1 137027 22 | 0.000 % | 472.48/472.57 c | 2119597 | 2868 16577 120419 | 1 137213 22 | 0.000 % | 472.48/472.57 c | 2120595 | 2868 16577 120419 | 1 138211 22 | 0.000 % | 472.48/472.57 c | 2120696 | 2868 16577 120419 | 1 138312 22 | 0.000 % | 472.48/472.57 c | 2136029 | 2868 16577 120419 | 1 153645 23 | 0.000 % | 472.48/472.57 c | 2136130 | 2868 16577 120419 | 1 153746 23 | 0.000 % | 472.48/472.57 c | 2142044 | 2868 16577 120419 | 1 159660 24 | 0.000 % | 472.48/472.57 c | 2180900 | 2868 16577 120419 | 1 198516 26 | 0.000 % | 472.48/472.57 c | 2198531 | 2868 16577 120419 | 1 113351 16 | 0.000 % | 472.48/472.57 c | 2198828 | 2868 16577 120419 | 1 113648 16 | 0.000 % | 472.48/472.57 c | 2232477 | 2868 16577 120419 | 1 147297 21 | 0.000 % | 472.48/472.57 c | 2245323 | 2868 16577 120419 | 1 160143 23 | 0.000 % | 472.48/472.57 c | 2245771 | 2868 16577 120419 | 1 160591 23 | 0.000 % | 472.48/472.57 c | 2245873 | 2868 16577 120419 | 1 160693 23 | 0.000 % | 472.48/472.57 c | 2345056 | 2868 16577 120419 | 1 154480 21 | 0.000 % | 472.48/472.57 c | 2351684 | 2868 16577 120419 | 1 161108 22 | 0.000 % | 472.48/472.57 c | 2353689 | 2868 16577 120419 | 1 163113 22 | 0.000 % | 472.48/472.57 c | 2357630 | 2868 16577 120419 | 1 167054 22 | 0.000 % | 472.48/472.57 c | 2364670 | 2868 16577 120419 | 1 174094 23 | 0.000 % | 472.48/472.57 c | 2364773 | 2868 16577 120419 | 1 174197 23 | 0.000 % | 472.48/472.57 c | 2385759 | 2868 16577 120419 | 1 195183 25 | 0.000 % | 472.48/472.57 c | 2509535 | 2868 16577 120419 | 1 210954 26 | 0.000 % | 472.48/472.57 c | 2509658 | 2868 16577 120419 | 1 211077 26 | 0.000 % | 833.39/833.47 c | 2509807 | 2868 16577 120419 | 1 211226 26 | 0.000 % | 833.39/833.47 c | 2509907 | 2868 16577 120419 | 1 211326 26 | 0.000 % | 833.39/833.47 c | 2510009 | 2868 16577 120419 | 1 211428 26 | 0.000 % | 833.39/833.47 c | 2510110 | 2868 16577 120419 | 1 211529 26 | 0.000 % | 833.39/833.47 c | 2513419 | 2868 16577 120419 | 1 214838 26 | 0.000 % | 833.39/833.47 c | 2593521 | 2868 16577 120419 | 1 184340 25 | 0.000 % | 833.39/833.47 c | 2729609 | 2868 16577 120419 | 1 207229 25 | 0.000 % | 833.39/833.47 c | 2734683 | 2868 16577 120419 | 1 212303 25 | 0.000 % | 833.39/833.47 c | 2734827 | 2868 16577 120419 | 1 212447 25 | 0.000 % | 833.39/833.47 c | 2773372 | 2868 16577 120419 | 1 135191 18 | 0.000 % | 833.39/833.47 c | 2773993 | 2868 16577 120419 | 1 135812 18 | 0.000 % | 833.39/833.47 c | 2794069 | 2868 16577 120419 | 1 155888 21 | 0.000 % | 833.39/833.47 c | 2798292 | 2868 16577 120419 | 1 160111 22 | 0.000 % | 833.39/833.47 c | 2856450 | 2868 16577 120419 | 1 218269 27 | 0.000 % | 833.39/833.47 c | 2856551 | 2868 16577 120419 | 1 218370 27 | 0.000 % | 833.39/833.47 c | 2856703 | 2868 16577 120419 | 1 218522 27 | 0.000 % | 833.39/833.47 c | 2857920 | 2868 16577 120419 | 1 219739 27 | 0.000 % | 833.39/833.47 c | 2912920 | 2868 16577 120419 | 1 156333 21 | 0.000 % | 833.39/833.47 c | 2913020 | 2868 16577 120419 | 1 156433 21 | 0.000 % | 833.39/833.47 c | 2915754 | 2868 16577 120419 | 1 159167 22 | 0.000 % | 833.39/833.47 c | 2934762 | 2868 16577 120419 | 1 178175 23 | 0.000 % | 833.39/833.47 c | 2943247 | 2868 16577 120419 | 1 186660 24 | 0.000 % | 833.39/833.47 c | 2946433 | 2868 16577 120419 | 1 189846 25 | 0.000 % | 833.39/833.47 c | 2977969 | 2868 16577 120419 | 1 221382 27 | 0.000 % | 833.39/833.47 c | 2981236 | 2868 16577 120419 | 1 224649 27 | 0.000 % | 833.39/833.47 c | 2981345 | 2868 16577 120419 | 1 224758 27 | 0.000 % | 833.39/833.47 c | 3068941 | 2868 16577 120419 | 1 191356 23 | 0.000 % | 833.39/833.47 c | 3070253 | 2868 16577 120419 | 1 192668 23 | 0.000 % | 833.39/833.47 c | 3072414 | 2868 16577 120419 | 1 194829 23 | 0.000 % | 833.39/833.47 c | 3072514 | 2868 16577 120419 | 1 194929 23 | 0.000 % | 833.39/833.47 c | 3119916 | 2868 16577 120419 | 1 242331 26 | 0.000 % | 833.39/833.47 c | 3123010 | 2868 16577 120419 | 1 245425 26 | 0.000 % | 833.39/833.47 c | 3127985 | 2868 16577 120419 | 1 126801 15 | 0.000 % | 833.39/833.47 c | 3128561 | 2868 16577 120419 | 1 127377 15 | 0.000 % | 833.39/833.47 c | 3273747 | 2868 16577 120419 | 1 146360 17 | 0.000 % | 833.39/833.47 c | 3277243 | 2868 16577 120419 | 1 149856 18 | 0.000 % | 833.39/833.47 c | 3278192 | 2868 16577 120419 | 1 150805 18 | 0.000 % | 833.39/833.47 c | 3278374 | 2868 16577 120419 | 1 150987 18 | 0.000 % | 833.39/833.47 c | 3278531 | 2868 16577 120419 | 1 151144 18 | 0.000 % | 833.39/833.47 c | 3278632 | 2868 16577 120419 | 1 151245 18 | 0.000 % | 833.39/833.47 c | 3301449 | 2868 16577 120419 | 1 174062 20 | 0.000 % | 833.39/833.47 c | 3302601 | 2868 16577 120419 | 1 175214 21 | 0.000 % | 833.39/833.47 c | 3302730 | 2868 16577 120419 | 1 175343 21 | 0.000 % | 833.39/833.47 c | 3302904 | 2868 16577 120419 | 1 175517 21 | 0.000 % | 833.39/833.47 c | 3303005 | 2868 16577 120419 | 1 175618 21 | 0.000 % | 833.39/833.47 c | 3323098 | 2868 16577 120419 | 1 195711 23 | 0.000 % | 833.39/833.47 c | 3323198 | 2868 16577 120419 | 1 195811 23 | 0.000 % | 833.39/833.47 c | 3332838 | 2868 16577 120419 | 1 205451 24 | 0.000 % | 833.39/833.47 c | 3602190 | 2868 16577 120419 | 1 214607 22 | 0.000 % | 833.39/833.47 c | 3627298 | 2868 16577 120419 | 1 239715 24 | 0.000 % | 1010.00/1010.07 c | 3629532 | 2868 16577 120419 | 1 241949 24 | 0.000 % | 1010.00/1010.07 c | 3629766 | 2868 16577 120419 | 1 242183 24 | 0.000 % | 1010.00/1010.07 c | 3629866 | 2868 16577 120419 | 1 242283 24 | 0.000 % | 1010.00/1010.07 c | 3647018 | 2868 16577 120419 | 1 259435 25 | 0.000 % | 1010.00/1010.07 c | 3647118 | 2868 16577 120419 | 1 259535 25 | 0.000 % | 1010.00/1010.07 c | 3649280 | 2868 16577 120419 | 1 261697 25 | 0.000 % | 1010.00/1010.07 c | 3650134 | 2868 16577 120419 | 1 262551 26 | 0.000 % | 1010.00/1010.07 c | 3652103 | 2868 16577 120419 | 1 264520 26 | 0.000 % | 1010.00/1010.07 c | 3652203 | 2868 16577 120419 | 1 264620 26 | 0.000 % | 1010.00/1010.07 c | 3678464 | 2868 16577 120419 | 1 156875 18 | 0.000 % | 1010.00/1010.07 c | 3784223 | 2868 16577 120419 | 1 262634 25 | 0.000 % | 1010.00/1010.07 c | 3840391 | 2868 16577 120419 | 1 182205 20 | 0.000 % | 1010.00/1010.07 c | 3841248 | 2868 16577 120419 | 1 183062 21 | 0.000 % | 1010.00/1010.07 c | 3878027 | 2868 16577 120419 | 1 219841 24 | 0.000 % | 1010.00/1010.07 c | 3878438 | 2868 16577 120419 | 1 220252 24 | 0.000 % | 1010.00/1010.07 c | 3878760 | 2868 16577 120419 | 1 220574 24 | 0.000 % | 1010.00/1010.07 c | 3893087 | 2868 16577 120419 | 1 234901 25 | 0.000 % | 1010.00/1010.07 c | 3893364 | 2868 16577 120419 | 1 235178 25 | 0.000 % | 1010.00/1010.07 c | 3893636 | 2868 16577 120419 | 1 235450 25 | 0.000 % | 1010.00/1010.07 c | 3894699 | 2868 16577 120419 | 1 236513 25 | 0.000 % | 1010.00/1010.07 c | 3894818 | 2868 16577 120419 | 1 236632 25 | 0.000 % | 1010.00/1010.07 c | 3945124 | 2868 16577 120419 | 1 147733 16 | 0.000 % | 1010.00/1010.07 c | 4002702 | 2868 16577 120419 | 1 205311 22 | 0.000 % | 1010.00/1010.07 c | 4002802 | 2868 16577 120419 | 1 205411 22 | 0.000 % | 1010.00/1010.07 c | 4008354 | 2868 16577 120419 | 1 210963 23 | 0.000 % | 1010.00/1010.07 c | 4008516 | 2868 16577 120419 | 1 211125 23 | 0.000 % | 1010.00/1010.07 c | 4012373 | 2868 16577 120419 | 1 214982 23 | 0.000 % | 1010.00/1010.07 c | 4013753 | 2868 16577 120419 | 1 216362 23 | 0.000 % | 1010.00/1010.07 c | 4033553 | 2868 16577 120419 | 1 236162 24 | 0.000 % | 1010.00/1010.07 c | 4036406 | 2868 16577 120419 | 1 239015 25 | 0.000 % | 1010.00/1010.07 c | 4040469 | 2868 16577 120419 | 1 243078 25 | 0.000 % | 1010.00/1010.07 c | 4040569 | 2868 16577 120419 | 1 243178 25 | 0.000 % | 1010.00/1010.07 c | 4044381 | 2868 16577 120419 | 1 246990 25 | 0.000 % | 1010.00/1010.07 c | 4044482 | 2868 16577 120419 | 1 247091 25 | 0.000 % | 1010.00/1010.07 c | 4045409 | 2868 16577 120419 | 1 248018 25 | 0.000 % | 1010.00/1010.07 c | 4045509 | 2868 16577 120419 | 1 248118 25 | 0.000 % | 1010.00/1010.07 c | 4045730 | 2868 16577 120419 | 1 248339 25 | 0.000 % | 1010.00/1010.07 c | 4045831 | 2868 16577 120419 | 1 248440 25 | 0.000 % | 1010.00/1010.07 c | 4045931 | 2868 16577 120419 | 1 248540 25 | 0.000 % | 1010.00/1010.07 c | 4063878 | 2868 16577 120419 | 1 266487 26 | 0.000 % | 1010.00/1010.07 c | 4063987 | 2868 16577 120419 | 1 266596 26 | 0.000 % | 1010.00/1010.07 c | 4064091 | 2868 16577 120419 | 1 266700 26 | 0.000 % | 1010.00/1010.07 c | 4064598 | 2868 16577 120419 | 1 267207 26 | 0.000 % | 1010.00/1010.07 c | 4102036 | 2868 16577 120419 | 1 162848 17 | 0.000 % | 1010.00/1010.07 c | 4102137 | 2868 16577 120419 | 1 162949 17 | 0.000 % | 1010.00/1010.07 c | 4109598 | 2868 16577 120419 | 1 170410 19 | 0.000 % | 1010.00/1010.07 c | 4109700 | 2868 16577 120419 | 1 170512 19 | 0.000 % | 1010.00/1010.07 c | 4110632 | 2868 16577 120419 | 1 171444 19 | 0.000 % | 1010.00/1010.07 c | 4110736 | 2868 16577 120419 | 1 171548 19 | 0.000 % | 1010.00/1010.07 c | 4112585 | 2868 16577 120419 | 1 173397 19 | 0.000 % | 1188.21/1188.27 c | 4114811 | 2868 16577 120419 | 1 175623 19 | 0.000 % | 1188.21/1188.27 c | 4124022 | 2868 16577 120419 | 1 184834 20 | 0.000 % | 1188.21/1188.27 c | 4124639 | 2868 16577 120419 | 1 185451 20 | 0.000 % | 1188.21/1188.27 c | 4136090 | 2868 16577 120419 | 1 196902 22 | 0.000 % | 1188.21/1188.27 c | 4180522 | 2868 16577 120419 | 1 241334 25 | 0.000 % | 1188.21/1188.27 c | 4192313 | 2868 16577 120419 | 1 253125 26 | 0.000 % | 1188.21/1188.27 c | 4197685 | 2868 16577 120419 | 1 258497 26 | 0.000 % | 1188.21/1188.27 c | 4197827 | 2868 16577 120419 | 1 258639 26 | 0.000 % | 1188.21/1188.27 c | 4243107 | 2868 16577 120419 | 1 159521 17 | 0.000 % | 1188.21/1188.27 c | 4251842 | 2868 16577 120419 | 1 168256 18 | 0.000 % | 1188.21/1188.27 c | 4260334 | 2868 16577 120419 | 1 176748 19 | 0.000 % | 1188.21/1188.27 c | 4294710 | 2868 16577 120419 | 1 211124 22 | 0.000 % | 1188.21/1188.27 c | 4295167 | 2868 16577 120419 | 1 211581 22 | 0.000 % | 1188.21/1188.27 c | 4302693 | 2868 16577 120419 | 1 219107 23 | 0.000 % | 1188.21/1188.27 c | 4303815 | 2868 16577 120419 | 1 220229 23 | 0.000 % | 1188.21/1188.27 c | 4304066 | 2868 16577 120419 | 1 220480 23 | 0.000 % | 1188.21/1188.27 c | 4304166 | 2868 16577 120419 | 1 220580 23 | 0.000 % | 1188.21/1188.27 c | 4304266 | 2868 16577 120419 | 1 220680 23 | 0.000 % | 1188.21/1188.27 c | 4308565 | 2868 16577 120419 | 1 224979 23 | 0.000 % | 1188.21/1188.27 c | 4308666 | 2868 16577 120419 | 1 225080 23 | 0.000 % | 1188.21/1188.27 c | 4314855 | 2868 16577 120419 | 1 231269 24 | 0.000 % | 1188.21/1188.27 c | 4314956 | 2868 16577 120419 | 1 231370 24 | 0.000 % | 1188.21/1188.27 c | 4324707 | 2868 16577 120419 | 1 241121 24 | 0.000 % | 1188.21/1188.27 c | 4444570 | 2868 16577 120419 | 1 213984 22 | 0.000 % | 1188.21/1188.27 c | 4444671 | 2868 16577 120419 | 1 214085 22 | 0.000 % | 1188.21/1188.27 c | 4454414 | 2868 16577 120419 | 1 223828 22 | 0.000 % | 1188.21/1188.27 c | 4454514 | 2868 16577 120419 | 1 223928 22 | 0.000 % | 1188.21/1188.27 c | 4454614 | 2868 16577 120419 | 1 224028 22 | 0.000 % | 1188.21/1188.27 c | 4457553 | 2868 16577 120419 | 1 226967 23 | 0.000 % | 1188.21/1188.27 c | 4457653 | 2868 16577 120419 | 1 227067 23 | 0.000 % | 1188.21/1188.27 c | 4461278 | 2868 16577 120419 | 1 230692 23 | 0.000 % | 1188.21/1188.27 c | 4461378 | 2868 16577 120419 | 1 230792 23 | 0.000 % | 1188.21/1188.27 c | 4461805 | 2868 16577 120419 | 1 231219 23 | 0.000 % | 1188.21/1188.27 c | 4471200 | 2868 16577 120419 | 1 240614 24 | 0.000 % | 1188.21/1188.27 c | 4471753 | 2868 16577 120419 | 1 241167 24 | 0.000 % | 1188.21/1188.27 c | 4471912 | 2868 16577 120419 | 1 241326 24 | 0.000 % | 1188.21/1188.27 c | 4472012 | 2868 16577 120419 | 1 241426 24 | 0.000 % | 1188.21/1188.27 c | 4476677 | 2868 16577 120419 | 1 246091 24 | 0.000 % | 1188.21/1188.27 c | 4476779 | 2868 16577 120419 | 1 246193 24 | 0.000 % | 1188.21/1188.27 c | 4529563 | 2868 16577 120419 | 1 298977 26 | 0.000 % | 1188.21/1188.27 c | 4543288 | 2868 16577 120419 | 1 163100 16 | 0.000 % | 1188.21/1188.27 c | 4552211 | 2868 16577 120419 | 1 172023 17 | 0.000 % | 1188.21/1188.27 c | 4557365 | 2868 16577 120419 | 1 177177 18 | 0.000 % | 1188.21/1188.27 c | 4557465 | 2868 16577 120419 | 1 177277 18 | 0.000 % | 1188.21/1188.27 c | 4561502 | 2868 16577 120419 | 1 181314 18 | 0.000 % | 1188.21/1188.27 c | 4564025 | 2868 16577 120419 | 1 183837 19 | 0.000 % | 1188.21/1188.27 c | 4572260 | 2868 16577 120419 | 1 192072 20 | 0.000 % | 1188.21/1188.27 c | 4572583 | 2868 16577 120419 | 1 192395 20 | 0.000 % | 1188.21/1188.27 c | 4574648 | 2868 16577 120419 | 1 194460 20 | 0.000 % | 1188.21/1188.27 c | 4574749 | 2868 16577 120419 | 1 194561
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-3265828-1303563791/watcher-3265828-1303563791 -o /tmp/evaluation-result-3265828-1303563791/solver-3265828-1303563791 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265828-1303563791.cnf running on 2 cores: 1,3 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: 4.00 4.00 4.02 1/180 14924 /proc/meminfo: memFree=13953476/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 546609804 8912896 252 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 252 211 178 0 69 0 [startup+0.059069 s] /proc/loadavg: 4.00 4.00 4.02 1/180 14924 /proc/meminfo: memFree=13953476/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 546609804 8912896 252 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.105087 s] /proc/loadavg: 4.00 4.00 4.02 1/180 14924 /proc/meminfo: memFree=13953476/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.301027 s] /proc/loadavg: 4.00 4.00 4.02 1/180 14924 /proc/meminfo: memFree=13953476/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+0.700964 s] /proc/loadavg: 4.00 4.00 4.02 1/180 14924 /proc/meminfo: memFree=13953476/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 8704 [startup+1.5008 s] /proc/loadavg: 3.84 3.97 4.01 3/182 15004 /proc/meminfo: memFree=13945692/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=24344 CPUtime=1.42 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 3250 0 0 0 142 0 0 0 19 0 1 0 546609811 24928256 2478 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 6086 2478 251 17 0 2727 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33048 [startup+3.10051 s] /proc/loadavg: 3.84 3.97 4.01 4/188 15016 /proc/meminfo: memFree=13934052/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=27024 CPUtime=3.02 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 4257 0 0 0 302 0 0 0 25 0 1 0 546609811 27672576 3432 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 6756 3432 251 17 0 3397 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 35728 [startup+6.30091 s] /proc/loadavg: 3.84 3.97 4.01 4/187 15016 /proc/meminfo: memFree=13918120/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=29744 CPUtime=6.22 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 5038 0 0 0 622 0 0 0 25 0 1 0 546609811 30457856 4175 33554432000 4194304 4260849 140737236802528 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 7436 4175 251 17 0 4077 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 38448 [startup+12.7007 s] /proc/loadavg: 3.71 3.93 4.00 4/187 15016 /proc/meminfo: memFree=13910296/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=34644 CPUtime=12.62 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 7959 0 0 0 1261 1 0 0 25 0 1 0 546609811 35475456 5305 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 8661 5305 251 17 0 5302 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 43348 [startup+25.5004 s] /proc/loadavg: 3.60 3.90 3.99 4/187 15017 /proc/meminfo: memFree=13894584/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=46136 CPUtime=25.42 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 8843 0 0 0 2541 1 0 0 25 0 1 0 546609811 47243264 6166 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 11534 6166 251 17 0 8175 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 54840 [startup+51.1006 s] /proc/loadavg: 3.47 3.85 3.97 4/187 15017 /proc/meminfo: memFree=13865912/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=50600 CPUtime=51.02 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 12216 0 0 0 5100 2 0 0 25 0 1 0 546609811 51814400 9371 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 12650 9371 251 17 0 9291 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59304 [startup+102.307 s] /proc/loadavg: 3.24 3.72 3.91 4/187 15019 /proc/meminfo: memFree=13850660/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=53320 CPUtime=102.23 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 16679 0 0 0 10220 3 0 0 25 0 1 0 546609811 54599680 10078 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 13330 10078 251 17 0 9971 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 62024 [startup+162.301 s] /proc/loadavg: 3.09 3.58 3.85 4/187 15020 /proc/meminfo: memFree=13830920/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=69536 CPUtime=162.23 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 17773 0 0 0 16220 3 0 0 25 0 1 0 546609811 71204864 11139 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 17384 11139 251 17 0 14025 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 78240 [startup+222.301 s] /proc/loadavg: 3.03 3.47 3.80 4/187 15022 /proc/meminfo: memFree=13810320/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=88392 CPUtime=222.23 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 27782 0 0 0 22219 4 0 0 25 0 1 0 546609811 90513408 16306 33554432000 4194304 4260849 140737236802528 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 22098 16306 251 17 0 18739 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 97096 [startup+282.301 s] /proc/loadavg: 3.07 3.40 3.75 4/187 15023 /proc/meminfo: memFree=13796656/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=88392 CPUtime=282.23 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 28429 0 0 0 28219 4 0 0 25 0 1 0 546609811 90513408 16941 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 22098 16941 251 17 0 18739 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 97096 [startup+342.301 s] /proc/loadavg: 3.02 3.33 3.70 4/187 15025 /proc/meminfo: memFree=13787204/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=88392 CPUtime=342.23 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 28466 0 0 0 34219 4 0 0 25 0 1 0 546609811 90513408 16974 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 22098 16974 251 17 0 18739 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 97096 [startup+402.301 s] /proc/loadavg: 3.01 3.26 3.65 4/187 15027 /proc/meminfo: memFree=13783092/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 ################ # More data... # ################ /proc/14928/statm: 25079 20049 251 17 0 21720 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 109020 [startup+642.3 s] /proc/loadavg: 3.12 3.14 3.51 4/187 15033 /proc/meminfo: memFree=13759924/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=642.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 31780 0 0 0 64220 5 0 0 25 0 1 0 546609811 102723584 20221 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 20221 251 17 0 21720 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 109020 [startup+702.3 s] /proc/loadavg: 3.04 3.11 3.47 4/187 15035 /proc/meminfo: memFree=13735952/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=702.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 31780 0 0 0 70220 5 0 0 25 0 1 0 546609811 102723584 20221 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 20221 251 17 0 21720 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 109020 [startup+762.306 s] /proc/loadavg: 2.95 3.07 3.43 4/187 15127 /proc/meminfo: memFree=13784428/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=762.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 31939 0 0 0 76220 5 0 0 25 0 1 0 546609811 102723584 20377 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224751 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 20377 251 17 0 21720 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 109020 [startup+822.3 s] /proc/loadavg: 2.98 3.06 3.40 4/187 15129 /proc/meminfo: memFree=13763904/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=822.24 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 33226 0 0 0 82219 5 0 0 25 0 1 0 546609811 102723584 21664 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21664 251 17 0 21720 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 109020 [startup+882.301 s] /proc/loadavg: 2.95 3.03 3.37 4/187 15251 /proc/meminfo: memFree=13771212/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=882.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 40920 0 0 0 88219 6 0 0 25 0 1 0 546609811 102723584 21664 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21664 251 17 0 21720 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 109020 [startup+942.301 s] /proc/loadavg: 2.98 3.02 3.34 4/187 15283 /proc/meminfo: memFree=13764900/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=149636 CPUtime=942.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 56750 0 0 0 94217 8 0 0 25 0 1 0 546609811 153227264 29654 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 37409 29654 251 17 0 34050 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 158340 [startup+1002.3 s] /proc/loadavg: 2.99 3.02 3.32 4/187 15285 /proc/meminfo: memFree=13790920/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=1002.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 65537 0 0 0 100215 10 0 0 25 0 1 0 546609811 102723584 21682 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21682 251 17 0 21720 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 109020 [startup+1062.3 s] /proc/loadavg: 2.99 3.01 3.30 4/187 15286 /proc/meminfo: memFree=13765712/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=1062.25 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 74176 0 0 0 106213 12 0 0 25 0 1 0 546609811 102723584 21682 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21682 251 17 0 21720 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 109020 [startup+1122.3 s] /proc/loadavg: 2.99 3.01 3.27 4/187 15288 /proc/meminfo: memFree=13761968/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=1122.26 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 82767 0 0 0 112212 14 0 0 25 0 1 0 546609811 102723584 21682 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21682 251 17 0 21720 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 109020 [startup+1182.3 s] /proc/loadavg: 3.05 3.02 3.26 4/187 15289 /proc/meminfo: memFree=13740372/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=1182.26 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 91456 0 0 0 118211 15 0 0 25 0 1 0 546609811 102723584 21682 33554432000 4194304 4260849 140737236802528 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21682 251 17 0 21720 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 109020 [startup+1242.3 s] /proc/loadavg: 3.02 3.01 3.24 4/187 15291 /proc/meminfo: memFree=13736260/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=100316 CPUtime=1242.26 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 100240 0 0 0 124209 17 0 0 25 0 1 0 546609811 102723584 21682 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 25079 21682 251 17 0 21720 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 109020 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.00 3.00 3.23 4/187 15293 /proc/meminfo: memFree=13699792/32950928 swapFree=67111528/67111528 [pid=14924] ppid=14922 vsize=8704 CPUtime=0.05 cores=1,3 /proc/14924/stat : 14924 (glucose.sh) S 14922 14924 14396 0 -1 4202496 359 775 0 0 0 0 5 0 24 0 1 0 546609804 8912896 254 33554432000 4194304 4922060 140733688757024 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/14924/statm: 2176 254 211 178 0 69 0 [pid=14928] ppid=14924 vsize=149636 CPUtime=1299.96 cores=1,3 /proc/14928/stat : 14928 (glucose_static) R 14924 14924 14396 0 -1 4202496 108965 0 0 0 129978 18 0 0 25 0 1 0 546609811 153227264 30377 33554432000 4194304 4260849 140737236802528 18446744073709551615 4225100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14928/statm: 37409 30377 251 17 0 34050 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 158340 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 14924 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=58991 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=8998 # CPU time returned by wait4() is 0.067989 # 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.83 CPU system time (s): 0.18 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 158340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.058991 system time used= 0.008998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1134 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= 15 runsolver used 2.07468 second user time and 5.03024 second system time The end
Begin job on node113 at 2011-04-23 15:03:11 IDJOB=3265828 IDBENCH=85808 IDSOLVER=1651 FILE ID=node113/3265828-1303563791 RUNJOBID= node113-1303562489-14753 PBS_JOBID= 13150282 Free space on /tmp= 70792 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265828-1303563791/watcher-3265828-1303563791 -o /tmp/evaluation-result-3265828-1303563791/solver-3265828-1303563791 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3265828-1303563791.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51 RANDOM SEED=251350226 node113.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 : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.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.74 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.83 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13953508 kB Buffers: 1839260 kB Cached: 16504220 kB SwapCached: 0 kB Active: 10549044 kB Inactive: 7862064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13953508 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2012 kB Writeback: 0 kB AnonPages: 67224 kB Mapped: 15156 kB Slab: 521972 kB PageTables: 5004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 254588 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= 70792 MiB End job on node113 at 2011-04-23 15:24:53