| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300 | 1300.01 |
| Name | CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf |
| MD5SUM | 791cdb75c1a209efd7f7547f06e0fed9 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1235.8 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 760 |
| Number of clauses | 43649 |
| Sum of the clauses size | 87978 |
| Maximum clause length | 19 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43609 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 40 |
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 | 43649 87978 | 13094 0 0 nan | 0.000 % | 0.00/0.08 c | 0 | 42889 140895 | -- 0 -- -- | -- | -760/52917 0.00/0.08 c ============================================================================== 0.00/0.08 c Result : #vars: 720 #clauses: 42889 #literals: 140895 0.00/0.08 c CPU time: 0.077988 s 0.00/0.08 c ============================================================================== 0.00/0.10 c 0.00/0.10 c Starting glucose 0.00/0.10 c 251.78/251.82 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 251.78/251.82 c WARNING: for repeatability, setting FPU to use double precision 251.78/251.82 c ============================[ Problem Statistics ]============================= 251.78/251.82 c | | 251.78/251.82 c | Number of variables: 720 | 251.78/251.82 c | Number of clauses: 42889 | 251.78/251.82 c | Parse time: 0.01 s | 251.78/251.82 c | | 251.78/251.82 c ============================[ Search Statistics ]============================== 251.78/251.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.78/251.82 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 251.78/251.82 c =============================================================================== 251.78/251.82 c | 53444 | 720 42889 140895 | 1 19305 54 | 0.000 % | 251.78/251.82 c | 202030 | 720 42889 140895 | 1 42471 42 | 0.000 % | 251.78/251.82 c | 238602 | 720 42889 140895 | 1 49041 39 | 0.000 % | 251.78/251.82 c | 457909 | 720 42889 140895 | 1 79339 36 | 0.000 % | 251.78/251.82 c | 661992 | 720 42889 140895 | 1 85414 31 | 0.000 % | 251.78/251.82 c | 669028 | 720 42889 140895 | 1 92450 32 | 0.000 % | 251.78/251.82 c | 691338 | 720 42889 140895 | 1 58757 27 | 0.000 % | 251.78/251.82 c | 811853 | 720 42889 140895 | 1 120679 36 | 0.000 % | 251.78/251.82 c | 859322 | 720 42889 140895 | 1 106949 37 | 0.000 % | 251.78/251.82 c | 866978 | 720 42889 140895 | 1 114605 38 | 0.000 % | 251.78/251.82 c | 871026 | 720 42889 140895 | 1 118653 38 | 0.000 % | 251.78/251.82 c | 872512 | 720 42889 140895 | 1 120139 38 | 0.000 % | 251.78/251.82 c | 959402 | 720 42889 140895 | 1 76823 30 | 0.000 % | 251.78/251.82 c | 960181 | 720 42889 140895 | 1 77602 30 | 0.000 % | 251.78/251.82 c | 989598 | 720 42889 140895 | 1 107019 33 | 0.000 % | 251.78/251.82 c | 1002799 | 720 42889 140895 | 1 120220 34 | 0.000 % | 251.78/251.82 c | 1129857 | 720 42889 140895 | 1 106669 32 | 0.000 % | 251.78/251.82 c | 1192198 | 720 42889 140895 | 1 94825 31 | 0.000 % | 251.78/251.82 c | 1218077 | 720 42889 140895 | 1 120704 33 | 0.000 % | 251.78/251.82 c | 1247051 | 720 42889 140895 | 1 149678 36 | 0.000 % | 251.78/251.82 c | 1262572 | 720 42889 140895 | 1 88397 29 | 0.000 % | 251.78/251.82 c | 1367572 | 720 42889 140895 | 1 114010 34 | 0.000 % | 251.78/251.82 c | 1399790 | 720 42889 140895 | 1 146228 36 | 0.000 % | 251.78/251.82 c | 1400442 | 720 42889 140895 | 1 146880 36 | 0.000 % | 251.78/251.82 c | 1524504 | 720 42889 140895 | 1 104325 29 | 0.000 % | 251.78/251.82 c | 1526936 | 720 42889 140895 | 1 106757 29 | 0.000 % | 251.78/251.82 c | 1533719 | 720 42889 140895 | 1 113540 30 | 0.000 % | 251.78/251.82 c | 1537537 | 720 42889 140895 | 1 117358 30 | 0.000 % | 251.78/251.82 c | 1576147 | 720 42889 140895 | 1 155968 34 | 0.000 % | 251.78/251.82 c | 1599168 | 720 42889 140895 | 1 91786 26 | 0.000 % | 251.78/251.82 c | 1603773 | 720 42889 140895 | 1 96391 27 | 0.000 % | 251.78/251.82 c | 1636097 | 720 42889 140895 | 1 128715 33 | 0.000 % | 251.78/251.82 c | 1670760 | 720 42889 140895 | 1 163378 37 | 0.000 % | 251.78/251.82 c | 1775100 | 720 42889 140895 | 1 177915 33 | 0.000 % | 251.78/251.82 c | 1796626 | 720 42889 140895 | 1 107044 28 | 0.000 % | 251.78/251.82 c | 1796819 | 720 42889 140895 | 1 107237 28 | 0.000 % | 251.78/251.82 c | 1803214 | 720 42889 140895 | 1 113632 29 | 0.000 % | 251.78/251.82 c | 1803314 | 720 42889 140895 | 1 113732 29 | 0.000 % | 251.78/251.82 c | 1837671 | 720 42889 140895 | 1 148089 33 | 0.000 % | 364.48/364.55 c | 1852848 | 720 42889 140895 | 1 163266 34 | 0.000 % | 364.48/364.55 c | 1852948 | 720 42889 140895 | 1 163366 34 | 0.000 % | 364.48/364.55 c | 1853992 | 720 42889 140895 | 1 164410 34 | 0.000 % | 364.48/364.55 c | 1876096 | 720 42889 140895 | 1 186514 35 | 0.000 % | 364.48/364.55 c | 1906724 | 720 42889 140895 | 1 122138 29 | 0.000 % | 364.48/364.55 c | 1932000 | 720 42889 140895 | 1 147414 31 | 0.000 % | 364.48/364.55 c | 1962671 | 720 42889 140895 | 1 178085 33 | 0.000 % | 364.48/364.55 c | 1971747 | 720 42889 140895 | 1 187161 34 | 0.000 % | 364.48/364.55 c | 1982710 | 720 42889 140895 | 1 100527 25 | 0.000 % | 364.48/364.55 c | 1986210 | 720 42889 140895 | 1 104027 26 | 0.000 % | 364.48/364.55 c | 1997929 | 720 42889 140895 | 1 115746 29 | 0.000 % | 364.48/364.55 c | 1999428 | 720 42889 140895 | 1 117245 29 | 0.000 % | 364.48/364.55 c | 2005073 | 720 42889 140895 | 1 122890 30 | 0.000 % | 364.48/364.55 c | 2024186 | 720 42889 140895 | 1 142003 31 | 0.000 % | 364.48/364.55 c | 2037363 | 720 42889 140895 | 1 155180 33 | 0.000 % | 364.48/364.55 c | 2037465 | 720 42889 140895 | 1 155282 33 | 0.000 % | 364.48/364.55 c | 2037602 | 720 42889 140895 | 1 155419 33 | 0.000 % | 364.48/364.55 c | 2038614 | 720 42889 140895 | 1 156431 33 | 0.000 % | 364.48/364.55 c | 2041983 | 720 42889 140895 | 1 159800 33 | 0.000 % | 364.48/364.55 c | 2042083 | 720 42889 140895 | 1 159900 33 | 0.000 % | 364.48/364.55 c | 2042243 | 720 42889 140895 | 1 160060 33 | 0.000 % | 364.48/364.55 c | 2042345 | 720 42889 140895 | 1 160162 33 | 0.000 % | 364.48/364.55 c | 2109920 | 720 42889 140895 | 1 127536 29 | 0.000 % | 364.48/364.55 c | 2122882 | 720 42889 140895 | 1 140498 30 | 0.000 % | 364.48/364.55 c | 2124916 | 720 42889 140895 | 1 142532 30 | 0.000 % | 364.48/364.55 c | 2166842 | 720 42889 140895 | 1 184458 33 | 0.000 % | 364.48/364.55 c | 2167578 | 720 42889 140895 | 1 185194 33 | 0.000 % | 364.48/364.55 c | 2168902 | 720 42889 140895 | 1 186518 33 | 0.000 % | 364.48/364.55 c | 2183414 | 720 42889 140895 | 1 201030 33 | 0.000 % | 364.48/364.55 c | 2189447 | 720 42889 140895 | 1 104264 25 | 0.000 % | 364.48/364.55 c | 2194835 | 720 42889 140895 | 1 109652 26 | 0.000 % | 364.48/364.55 c | 2195128 | 720 42889 140895 | 1 109945 26 | 0.000 % | 364.48/364.55 c | 2197955 | 720 42889 140895 | 1 112772 26 | 0.000 % | 364.48/364.55 c | 2215101 | 720 42889 140895 | 1 129918 29 | 0.000 % | 364.48/364.55 c | 2235376 | 720 42889 140895 | 1 150193 31 | 0.000 % | 364.48/364.55 c | 2239750 | 720 42889 140895 | 1 154567 32 | 0.000 % | 364.48/364.55 c | 2240967 | 720 42889 140895 | 1 155784 32 | 0.000 % | 364.48/364.55 c | 2241068 | 720 42889 140895 | 1 155885 32 | 0.000 % | 364.48/364.55 c | 2284771 | 720 42889 140895 | 1 199588 34 | 0.000 % | 364.48/364.55 c | 2284872 | 720 42889 140895 | 1 199689 34 | 0.000 % | 364.48/364.55 c | 2285399 | 720 42889 140895 | 1 200216 34 | 0.000 % | 364.48/364.55 c | 2300800 | 720 42889 140895 | 1 110222 26 | 0.000 % | 364.48/364.55 c | 2301488 | 720 42889 140895 | 1 110910 26 | 0.000 % | 364.48/364.55 c | 2305074 | 720 42889 140895 | 1 114496 27 | 0.000 % | 364.48/364.55 c | 2314372 | 720 42889 140895 | 1 123794 28 | 0.000 % | 364.48/364.55 c | 2333160 | 720 42889 140895 | 1 142582 30 | 0.000 % | 364.48/364.55 c | 2358792 | 720 42889 140895 | 1 168214 33 | 0.000 % | 364.48/364.55 c | 2359149 | 720 42889 140895 | 1 168571 33 | 0.000 % | 364.48/364.55 c | 2372159 | 720 42889 140895 | 1 181581 34 | 0.000 % | 364.48/364.55 c | 2394127 | 720 42889 140895 | 1 203549 35 | 0.000 % | 477.69/477.76 c | 2394228 | 720 42889 140895 | 1 203650 35 | 0.000 % | 477.69/477.76 c | 2395974 | 720 42889 140895 | 1 205396 36 | 0.000 % | 477.69/477.76 c | 2396621 | 720 42889 140895 | 1 206043 36 | 0.000 % | 477.69/477.76 c | 2396998 | 720 42889 140895 | 1 206420 36 | 0.000 % | 477.69/477.76 c | 2437120 | 720 42889 140895 | 1 138536 28 | 0.000 % | 477.69/477.76 c | 2461998 | 720 42889 140895 | 1 163414 31 | 0.000 % | 477.69/477.76 c | 2494475 | 720 42889 140895 | 1 195891 33 | 0.000 % | 477.69/477.76 c | 2495676 | 720 42889 140895 | 1 197092 33 | 0.000 % | 477.69/477.76 c | 2532607 | 720 42889 140895 | 1 123422 27 | 0.000 % | 477.69/477.76 c | 2561502 | 720 42889 140895 | 1 152317 31 | 0.000 % | 477.69/477.76 c | 2561602 | 720 42889 140895 | 1 152417 31 | 0.000 % | 477.69/477.76 c | 2575394 | 720 42889 140895 | 1 166209 32 | 0.000 % | 477.69/477.76 c | 2583219 | 720 42889 140895 | 1 174034 33 | 0.000 % | 477.69/477.76 c | 2583621 | 720 42889 140895 | 1 174436 33 | 0.000 % | 477.69/477.76 c | 2583721 | 720 42889 140895 | 1 174536 33 | 0.000 % | 477.69/477.76 c | 2585116 | 720 42889 140895 | 1 175931 33 | 0.000 % | 477.69/477.76 c | 2588336 | 720 42889 140895 | 1 179151 33 | 0.000 % | 477.69/477.76 c | 2622269 | 720 42889 140895 | 1 213084 36 | 0.000 % | 477.69/477.76 c | 2647223 | 720 42889 140895 | 1 124833 27 | 0.000 % | 477.69/477.76 c | 2658680 | 720 42889 140895 | 1 136290 28 | 0.000 % | 477.69/477.76 c | 2661340 | 720 42889 140895 | 1 138950 28 | 0.000 % | 477.69/477.76 c | 2682517 | 720 42889 140895 | 1 160127 31 | 0.000 % | 477.69/477.76 c | 2682619 | 720 42889 140895 | 1 160229 31 | 0.000 % | 477.69/477.76 c | 2695338 | 720 42889 140895 | 1 172948 33 | 0.000 % | 477.69/477.76 c | 2727978 | 720 42889 140895 | 1 205588 35 | 0.000 % | 477.69/477.76 c | 2729417 | 720 42889 140895 | 1 207027 35 | 0.000 % | 477.69/477.76 c | 2731068 | 720 42889 140895 | 1 208678 35 | 0.000 % | 477.69/477.76 c | 2733720 | 720 42889 140895 | 1 211330 35 | 0.000 % | 477.69/477.76 c | 2734000 | 720 42889 140895 | 1 211610 35 | 0.000 % | 477.69/477.76 c | 2748877 | 720 42889 140895 | 1 226487 36 | 0.000 % | 477.69/477.76 c | 2761304 | 720 42889 140895 | 1 123117 26 | 0.000 % | 477.69/477.76 c | 2805651 | 720 42889 140895 | 1 167464 30 | 0.000 % | 477.69/477.76 c | 2806804 | 720 42889 140895 | 1 168617 31 | 0.000 % | 477.69/477.76 c | 2806959 | 720 42889 140895 | 1 168772 31 | 0.000 % | 477.69/477.76 c | 2847996 | 720 42889 140895 | 1 209809 34 | 0.000 % | 477.69/477.76 c | 2882734 | 720 42889 140895 | 1 126141 25 | 0.000 % | 477.69/477.76 c | 2882897 | 720 42889 140895 | 1 126304 25 | 0.000 % | 477.69/477.76 c | 2890933 | 720 42889 140895 | 1 134340 27 | 0.000 % | 477.69/477.76 c | 2891288 | 720 42889 140895 | 1 134695 27 | 0.000 % | 477.69/477.76 c | 2898355 | 720 42889 140895 | 1 141762 28 | 0.000 % | 477.69/477.76 c | 2904813 | 720 42889 140895 | 1 148220 28 | 0.000 % | 477.69/477.76 c | 2921869 | 720 42889 140895 | 1 165276 31 | 0.000 % | 477.69/477.76 c | 2935993 | 720 42889 140895 | 1 179400 32 | 0.000 % | 477.69/477.76 c | 2947735 | 720 42889 140895 | 1 191142 33 | 0.000 % | 477.69/477.76 c | 2974316 | 720 42889 140895 | 1 217723 34 | 0.000 % | 477.69/477.76 c | 2994118 | 720 42889 140895 | 1 237525 36 | 0.000 % | 477.69/477.76 c | 3022985 | 720 42889 140895 | 1 145389 27 | 0.000 % | 477.69/477.76 c | 3058975 | 720 42889 140895 | 1 181379 30 | 0.000 % | 477.69/477.76 c | 3063928 | 720 42889 140895 | 1 186332 30 | 0.000 % | 477.69/477.76 c | 3064029 | 720 42889 140895 | 1 186433 30 | 0.000 % | 620.18/620.27 c | 3064129 | 720 42889 140895 | 1 186533 30 | 0.000 % | 620.18/620.27 c | 3067953 | 720 42889 140895 | 1 190357 30 | 0.000 % | 620.18/620.27 c | 3124461 | 720 42889 140895 | 1 246865 32 | 0.000 % | 620.18/620.27 c | 3136257 | 720 42889 140895 | 1 135065 25 | 0.000 % | 620.18/620.27 c | 3206003 | 720 42889 140895 | 1 204811 30 | 0.000 % | 620.18/620.27 c | 3212002 | 720 42889 140895 | 1 210810 30 | 0.000 % | 620.18/620.27 c | 3213042 | 720 42889 140895 | 1 211850 30 | 0.000 % | 620.18/620.27 c | 3236372 | 720 42889 140895 | 1 235180 32 | 0.000 % | 620.18/620.27 c | 3246271 | 720 42889 140895 | 1 245079 32 | 0.000 % | 620.18/620.27 c | 3286472 | 720 42889 140895 | 1 159088 28 | 0.000 % | 620.18/620.27 c | 3317359 | 720 42889 140895 | 1 189975 31 | 0.000 % | 620.18/620.27 c | 3317600 | 720 42889 140895 | 1 190216 31 | 0.000 % | 620.18/620.27 c | 3342776 | 720 42889 140895 | 1 215392 32 | 0.000 % | 620.18/620.27 c | 3348936 | 720 42889 140895 | 1 221552 33 | 0.000 % | 620.18/620.27 c | 3351885 | 720 42889 140895 | 1 224501 33 | 0.000 % | 620.18/620.27 c | 3372978 | 720 42889 140895 | 1 245594 34 | 0.000 % | 620.18/620.27 c | 3387810 | 720 42889 140895 | 1 131625 25 | 0.000 % | 620.18/620.27 c | 3398466 | 720 42889 140895 | 1 142281 27 | 0.000 % | 620.18/620.27 c | 3413716 | 720 42889 140895 | 1 157531 29 | 0.000 % | 620.18/620.27 c | 3482887 | 720 42889 140895 | 1 226702 33 | 0.000 % | 620.18/620.27 c | 3482988 | 720 42889 140895 | 1 226803 33 | 0.000 % | 620.18/620.27 c | 3494189 | 720 42889 140895 | 1 238004 34 | 0.000 % | 620.18/620.27 c | 3539757 | 720 42889 140895 | 1 152176 27 | 0.000 % | 620.18/620.27 c | 3541736 | 720 42889 140895 | 1 154155 27 | 0.000 % | 620.18/620.27 c | 3542605 | 720 42889 140895 | 1 155024 27 | 0.000 % | 620.18/620.27 c | 3552085 | 720 42889 140895 | 1 164504 28 | 0.000 % | 620.18/620.27 c | 3558975 | 720 42889 140895 | 1 171394 29 | 0.000 % | 620.18/620.27 c | 3561470 | 720 42889 140895 | 1 173889 29 | 0.000 % | 620.18/620.27 c | 3574473 | 720 42889 140895 | 1 186892 30 | 0.000 % | 620.18/620.27 c | 3574573 | 720 42889 140895 | 1 186992 30 | 0.000 % | 620.18/620.27 c | 3607959 | 720 42889 140895 | 1 220378 32 | 0.000 % | 620.18/620.27 c | 3614063 | 720 42889 140895 | 1 226482 33 | 0.000 % | 620.18/620.27 c | 3614211 | 720 42889 140895 | 1 226630 33 | 0.000 % | 620.18/620.27 c | 3614565 | 720 42889 140895 | 1 226984 33 | 0.000 % | 620.18/620.27 c | 3640631 | 720 42889 140895 | 1 253050 34 | 0.000 % | 620.18/620.27 c | 3695193 | 720 42889 140895 | 1 173617 28 | 0.000 % | 620.18/620.27 c | 3698348 | 720 42889 140895 | 1 176772 28 | 0.000 % | 620.18/620.27 c | 3709048 | 720 42889 140895 | 1 187472 29 | 0.000 % | 620.18/620.27 c | 3727079 | 720 42889 140895 | 1 205503 30 | 0.000 % | 620.18/620.27 c | 3733543 | 720 42889 140895 | 1 211967 31 | 0.000 % | 620.18/620.27 c | 3746898 | 720 42889 140895 | 1 225322 31 | 0.000 % | 620.18/620.27 c | 3756123 | 720 42889 140895 | 1 234547 32 | 0.000 % | 620.18/620.27 c | 3758970 | 720 42889 140895 | 1 237394 32 | 0.000 % | 620.18/620.27 c | 3777527 | 720 42889 140895 | 1 255951 32 | 0.000 % | 620.18/620.27 c | 3800499 | 720 42889 140895 | 1 142321 24 | 0.000 % | 620.18/620.27 c | 3811125 | 720 42889 140895 | 1 152947 25 | 0.000 % | 620.18/620.27 c | 3814907 | 720 42889 140895 | 1 156729 26 | 0.000 % | 620.18/620.27 c | 3819905 | 720 42889 140895 | 1 161727 26 | 0.000 % | 620.18/620.27 c | 3820005 | 720 42889 140895 | 1 161827 26 | 0.000 % | 620.18/620.27 c | 3826158 | 720 42889 140895 | 1 167980 26 | 0.000 % | 738.89/738.95 c | 3847698 | 720 42889 140895 | 1 189520 27 | 0.000 % | 738.89/738.95 c | 3854335 | 720 42889 140895 | 1 196157 28 | 0.000 % | 738.89/738.95 c | 3874810 | 720 42889 140895 | 1 216632 30 | 0.000 % | 738.89/738.95 c | 3895871 | 720 42889 140895 | 1 237693 31 | 0.000 % | 738.89/738.95 c | 3922297 | 720 42889 140895 | 1 264119 32 | 0.000 % | 738.89/738.95 c | 3934697 | 720 42889 140895 | 1 276519 32 | 0.000 % | 738.89/738.95 c | 3934800 | 720 42889 140895 | 1 276622 32 | 0.000 % | 738.89/738.95 c | 3955395 | 720 42889 140895 | 1 158014 25 | 0.000 % | 738.89/738.95 c | 3963762 | 720 42889 140895 | 1 166381 26 | 0.000 % | 738.89/738.95 c | 3965841 | 720 42889 140895 | 1 168460 26 | 0.000 % | 738.89/738.95 c | 3969196 | 720 42889 140895 | 1 171815 26 | 0.000 % | 738.89/738.95 c | 3982870 | 720 42889 140895 | 1 185489 28 | 0.000 % | 738.89/738.95 c | 3985735 | 720 42889 140895 | 1 188354 28 | 0.000 % | 738.89/738.95 c | 3985837 | 720 42889 140895 | 1 188456 28 | 0.000 % | 738.89/738.95 c | 3997500 | 720 42889 140895 | 1 200119 29 | 0.000 % | 738.89/738.95 c | 4002830 | 720 42889 140895 | 1 205449 29 | 0.000 % | 738.89/738.95 c | 4009559 | 720 42889 140895 | 1 212178 30 | 0.000 % | 738.89/738.95 c | 4021721 | 720 42889 140895 | 1 224340 30 | 0.000 % | 738.89/738.95 c | 4036455 | 720 42889 140895 | 1 239074 31 | 0.000 % | 738.89/738.95 c | 4065944 | 720 42889 140895 | 1 268563 32 | 0.000 % | 738.89/738.95 c | 4096031 | 720 42889 140895 | 1 156849 26 | 0.000 % | 738.89/738.95 c | 4099864 | 720 42889 140895 | 1 160682 26 | 0.000 % | 738.89/738.95 c | 4118048 | 720 42889 140895 | 1 178866 28 | 0.000 % | 738.89/738.95 c | 4125017 | 720 42889 140895 | 1 185835 28 | 0.000 % | 738.89/738.95 c | 4126189 | 720 42889 140895 | 1 187007 28 | 0.000 % | 738.89/738.95 c | 4127419 | 720 42889 140895 | 1 188237 29 | 0.000 % | 738.89/738.95 c | 4127519 | 720 42889 140895 | 1 188337 29 | 0.000 % | 738.89/738.95 c | 4137714 | 720 42889 140895 | 1 198532 30 | 0.000 % | 738.89/738.95 c | 4172124 | 720 42889 140895 | 1 232942 31 | 0.000 % | 738.89/738.95 c | 4176437 | 720 42889 140895 | 1 237255 31 | 0.000 % | 738.89/738.95 c | 4176537 | 720 42889 140895 | 1 237355 31 | 0.000 % | 738.89/738.95 c | 4177432 | 720 42889 140895 | 1 238250 31 | 0.000 % | 738.89/738.95 c | 4181035 | 720 42889 140895 | 1 241853 31 | 0.000 % | 738.89/738.95 c | 4193535 | 720 42889 140895 | 1 254353 32 | 0.000 % | 738.89/738.95 c | 4204581 | 720 42889 140895 | 1 265399 32 | 0.000 % | 738.89/738.95 c | 4207859 | 720 42889 140895 | 1 268677 32 | 0.000 % | 738.89/738.95 c | 4208952 | 720 42889 140895 | 1 269770 32 | 0.000 % | 738.89/738.95 c | 4210280 | 720 42889 140895 | 1 271098 32 | 0.000 % | 738.89/738.95 c | 4225536 | 720 42889 140895 | 1 286354 33 | 0.000 % | 738.89/738.95 c | 4234058 | 720 42889 140895 | 1 150474 24 | 0.000 % | 738.89/738.95 c | 4282384 | 720 42889 140895 | 1 198800 29 | 0.000 % | 738.89/738.95 c | 4283902 | 720 42889 140895 | 1 200318 29 | 0.000 % | 738.89/738.95 c | 4291686 | 720 42889 140895 | 1 208102 29 | 0.000 % | 738.89/738.95 c | 4322104 | 720 42889 140895 | 1 238520 30 | 0.000 % | 738.89/738.95 c | 4336840 | 720 42889 140895 | 1 253256 31 | 0.000 % | 738.89/738.95 c | 4338744 | 720 42889 140895 | 1 255160 31 | 0.000 % | 738.89/738.95 c | 4341594 | 720 42889 140895 | 1 258010 31 | 0.000 % | 738.89/738.95 c | 4355749 | 720 42889 140895 | 1 272165 32 | 0.000 % | 738.89/738.95 c | 4360918 | 720 42889 140895 | 1 277334 32 | 0.000 % | 738.89/738.95 c | 4391314 | 720 42889 140895 | 1 160732 25 | 0.000 % | 819.19/819.27 c | 4393455 | 720 42889 140895 | 1 162873 25 | 0.000 % | 819.19/819.27 c | 4406350 | 720 42889 140895 | 1 175768 27 | 0.000 % | 819.19/819.27 c | 4419011 | 720 42889 140895 | 1 188429 27 | 0.000 % | 819.19/819.27 c | 4431905 | 720 42889 140895 | 1 201323 28 | 0.000 % | 819.19/819.27 c | 4454187 | 720 42889 140895 | 1 223605 29 | 0.000 % | 819.19/819.27 c | 4457320 | 720 42889 140895 | 1 226738 29 | 0.000 % | 819.19/819.27 c | 4472046 | 720 42889 140895 | 1 241464 30 | 0.000 % | 819.19/819.27 c | 4472217 | 720 42889 140895 | 1 241635 30 | 0.000 % | 819.19/819.27 c | 4474525 | 720 42889 140895 | 1 243943 30 | 0.000 % | 819.19/819.27 c | 4480491 | 720 42889 140895 | 1 249909 30 | 0.000 % | 819.19/819.27 c | 4480591 | 720 42889 140895 | 1 250009 30 | 0.000 % | 819.19/819.27 c | 4480925 | 720 42889 140895 | 1 250343 30 | 0.000 % | 819.19/819.27 c | 4481996 | 720 42889 140895 | 1 251414 30 | 0.000 % | 819.19/819.27 c | 4482098 | 720 42889 140895 | 1 251516 30 | 0.000 % | 819.19/819.27 c | 4515257 | 720 42889 140895 | 1 284675 31 | 0.000 % | 819.19/819.27 c | 4515549 | 720 42889 140895 | 1 284967 31 | 0.000 % | 819.19/819.27 c | 4520843 | 720 42889 140895 | 1 290261 31 | 0.000 % | 819.19/819.27 c | 4520945 | 720 42889 140895 | 1 290363 31 | 0.000 % | 819.19/819.27 c | 4537745 | 720 42889 140895 | 1 157568 24 | 0.000 % | 819.19/819.27 c | 4540914 | 720 42889 140895 | 1 160737 24 | 0.000 % | 819.19/819.27 c | 4549271 | 720 42889 140895 | 1 169094 25 | 0.000 % | 819.19/819.27 c | 4566478 | 720 42889 140895 | 1 186301 27 | 0.000 % | 819.19/819.27 c | 4568463 | 720 42889 140895 | 1 188286 27 | 0.000 % | 819.19/819.27 c | 4573056 | 720 42889 140895 | 1 192879 27 | 0.000 % | 819.19/819.27 c | 4576664 | 720 42889 140895 | 1 196487 27 | 0.000 % | 819.19/819.27 c | 4578511 | 720 42889 140895 | 1 198334 28 | 0.000 % | 819.19/819.27 c | 4584565 | 720 42889 140895 | 1 204388 28 | 0.000 % | 819.19/819.27 c | 4584809 | 720 42889 140895 | 1 204632 28 | 0.000 % | 819.19/819.27 c | 4585439 | 720 42889 140895 | 1 205262 28 | 0.000 % | 819.19/819.27 c | 4586566 | 720 42889 140895 | 1 206389 28 | 0.000 % | 819.19/819.27 c | 4587803 | 720 42889 140895 | 1 207626 28 | 0.000 % | 819.19/819.27 c | 4596710 | 720 42889 140895 | 1 216533 29 | 0.000 % | 819.19/819.27 c | 4596810 | 720 42889 140895 | 1 216633 29 | 0.000 % | 819.19/819.27 c | 4597178 | 720 42889 140895 | 1 217001 29 | 0.000 % | 819.19/819.27 c | 4602557 | 720 42889 140895 | 1 222380 29 | 0.000 % | 819.19/819.27 c | 4621423 | 720 42889 140895 | 1 241246 30 | 0.000 % | 819.19/819.27 c | 4621523 | 720 42889 140895 | 1 241346 30 | 0.000 % | 819.19/819.27 c | 4626289 | 720 42889 140895 | 1 246112 30 | 0.000 % | 819.19/819.27 c | 4626547 | 720 42889 140895 | 1 246370 30 | 0.000 % | 819.19/819.27 c | 4628422 | 720 42889 140895 | 1 248245 30 | 0.000 % | 819.19/819.27 c | 4631296 | 720 42889 140895 | 1 251119 30 | 0.000 % | 819.19/819.27 c | 4632759 | 720 42889 140895 | 1 252582 30 | 0.000 % | 819.19/819.27 c | 4634327 | 720 42889 140895 | 1 254150 30 | 0.000 % | 819.19/819.27 c | 4634427 | 720 42889 140895 | 1 254250 30 | 0.000 % | 819.19/819.27 c | 4644715 | 720 42889 140895 | 1 264538 31 | 0.000 % | 819.19/819.27 c | 4648462 | 720 42889 140895 | 1 268285 31 | 0.000 % | 819.19/819.27 c | 4649020 | 720 42889 140895 | 1 268843 31 | 0.000 % | 819.19/819.27 c | 4649294 | 720 42889 140895 | 1 269117 31 | 0.000 % | 819.19/819.27 c | 4660390 | 720 42889 140895 | 1 280213 31 | 0.000 % | 819.19/819.27 c | 4667779 | 720 42889 140895 | 1 287602 31 | 0.000 % | 911.20/911.22 c | 4716281 | 720 42889 140895 | 1 183900 26 | 0.000 % | 911.20/911.22 c | 4731691 | 720 42889 140895 | 1 199310 27 | 0.000 % | 911.20/911.22 c | 4733263 | 720 42889 140895 | 1 200882 27 | 0.000 % | 911.20/911.22 c | 4733363 | 720 42889 140895 | 1 200982 27 | 0.000 % | 911.20/911.22 c | 4792308 | 720 42889 140895 | 1 259927 30 | 0.000 % | 911.20/911.22 c | 4797419 | 720 42889 140895 | 1 265038 30 | 0.000 % | 911.20/911.22 c | 4797519 | 720 42889 140895 | 1 265138 30 | 0.000 % | 911.20/911.22 c | 4801429 | 720 42889 140895 | 1 269048 30 | 0.000 % | 911.20/911.22 c | 4801530 | 720 42889 140895 | 1 269149 30 | 0.000 % | 911.20/911.22 c | 4829334 | 720 42889 140895 | 1 296953 31 | 0.000 % | 911.20/911.22 c | 4843879 | 720 42889 140895 | 1 156699 24 | 0.000 % | 911.20/911.22 c | 4843981 | 720 42889 140895 | 1 156801 24 | 0.000 % | 911.20/911.22 c | 4844081 | 720 42889 140895 | 1 156901 24 | 0.000 % | 911.20/911.22 c | 4866934 | 720 42889 140895 | 1 179754 26 | 0.000 % | 911.20/911.22 c | 4870795 | 720 42889 140895 | 1 183615 26 | 0.000 % | 911.20/911.22 c | 4883417 | 720 42889 140895 | 1 196237 28 | 0.000 % | 911.20/911.22 c | 4888457 | 720 42889 140895 | 1 201277 28 | 0.000 % | 911.20/911.22 c | 4903710 | 720 42889 140895 | 1 216530 29 | 0.000 % | 911.20/911.22 c | 4904078 | 720 42889 140895 | 1 216898 29 | 0.000 % | 911.20/911.22 c | 4904179 | 720 42889 140895 | 1 216999 29 | 0.000 % | 911.20/911.22 c | 4920557 | 720 42889 140895 | 1 233377 30 | 0.000 % | 911.20/911.22 c | 4920917 | 720 42889 140895 | 1 233737 30 | 0.000 % | 911.20/911.22 c | 4922309 | 720 42889 140895 | 1 235129 30 | 0.000 % | 911.20/911.22 c | 4926335 | 720 42889 140895 | 1 239155 31 | 0.000 % | 911.20/911.22 c | 4928633 | 720 42889 140895 | 1 241453 31 | 0.000 % | 911.20/911.22 c | 4935913 | 720 42889 140895 | 1 248733 31 | 0.000 % | 911.20/911.22 c | 4947490 | 720 42889 140895 | 1 260310 31 | 0.000 % | 911.20/911.22 c | 4948772 | 720 42889 140895 | 1 261592 31 | 0.000 % | 911.20/911.22 c | 4958771 | 720 42889 140895 | 1 271591 32 | 0.000 % | 911.20/911.22 c | 4958915 | 720 42889 140895 | 1 271735 32 | 0.000 % | 911.20/911.22 c | 4970108 | 720 42889 140895 | 1 282928 32 | 0.000 % | 911.20/911.22 c | 4980043 | 720 42889 140895 | 1 292863 32 | 0.000 % | 911.20/911.22 c | 4980143 | 720 42889 140895 | 1 292963 32 | 0.000 % | 911.20/911.22 c | 4987565 | 720 42889 140895 | 1 300385 33 | 0.000 % | 911.20/911.22 c | 4998625 | 720 42889 140895 | 1 311445 33 | 0.000 % | 911.20/911.22 c | 5013682 | 720 42889 140895 | 1 169106 24 | 0.000 % | 911.20/911.22 c | 5021699 | 720 42889 140895 | 1 177123 25 | 0.000 % | 911.20/911.22 c | 5031971 | 720 42889 140895 | 1 187395 26 | 0.000 % | 911.20/911.22 c | 5049042 | 720 42889 140895 | 1 204466 27 | 0.000 % | 911.20/911.22 c | 5065346 | 720 42889 140895 | 1 220770 28 | 0.000 % | 911.20/911.22 c | 5067711 | 720 42889 140895 | 1 223135 28 | 0.000 % | 911.20/911.22 c | 5069747 | 720 42889 140895 | 1 225171 28 | 0.000 % | 911.20/911.22 c | 5082678 | 720 42889 140895 | 1 238102 29 | 0.000 % | 911.20/911.22 c | 5094192 | 720 42889 140895 | 1 249616 29 | 0.000 % | 911.20/911.22 c | 5097901 | 720 42889 140895 | 1 253325 30 | 0.000 % | 911.20/911.22 c | 5115688 | 720 42889 140895 | 1 271112 30 | 0.000 % | 911.20/911.22 c | 5115791 | 720 42889 140895 | 1 271215 30 | 0.000 % | 911.20/911.22 c | 5124049 | 720 42889 140895 | 1 279473 31 | 0.000 % | 911.20/911.22 c | 5125324 | 720 42889 140895 | 1 280748 31 | 0.000 % | 985.79/985.84 c | 5127686 | 720 42889 140895 | 1 283110 31 | 0.000 % | 985.79/985.84 c | 5144290 | 720 42889 140895 | 1 299714 31 | 0.000 % | 985.79/985.84 c | 5144490 | 720 42889 140895 | 1 299914 31 | 0.000 % | 985.79/985.84 c | 5144779 | 720 42889 140895 | 1 300203 31 | 0.000 % | 985.79/985.84 c | 5144885 | 720 42889 140895 | 1 300309 31 | 0.000 % | 985.79/985.84 c | 5144985 | 720 42889 140895 | 1 300409 31 | 0.000 % | 985.79/985.84 c | 5145125 | 720 42889 140895 | 1 300549 31 | 0.000 % | 985.79/985.84 c | 5147229 | 720 42889 140895 | 1 302653 31 | 0.000 % | 985.79/985.84 c | 5149778 | 720 42889 140895 | 1 305202 31 | 0.000 % | 985.79/985.84 c | 5163089 | 720 42889 140895 | 1 318513 32 | 0.000 % | 985.79/985.84 c | 5163191 | 720 42889 140895 | 1 318615 32 | 0.000 % | 985.79/985.84 c | 5165024 | 720 42889 140895 | 1 160443 23 | 0.000 % | 985.79/985.84 c | 5165312 | 720 42889 140895 | 1 160731 23 | 0.000 % | 985.79/985.84 c | 5173730 | 720 42889 140895 | 1 169149 24 | 0.000 % | 985.79/985.84 c | 5174516 | 720 42889 140895 | 1 169935 24 | 0.000 % | 985.79/985.84 c | 5180688 | 720 42889 140895 | 1 176107 25 | 0.000 % | 985.79/985.84 c | 5181153 | 720 42889 140895 | 1 176572 25 | 0.000 % | 985.79/985.84 c | 5199353 | 720 42889 140895 | 1 194772 27 | 0.000 % | 985.79/985.84 c | 5200764 | 720 42889 140895 | 1 196183 27 | 0.000 % | 985.79/985.84 c | 5201751 | 720 42889 140895 | 1 197170 28 | 0.000 % | 985.79/985.84 c | 5205255 | 720 42889 140895 | 1 200674 28 | 0.000 % | 985.79/985.84 c | 5214344 | 720 42889 140895 | 1 209763 28 | 0.000 % | 985.79/985.84 c | 5214445 | 720 42889 140895 | 1 209864 28 | 0.000 % | 985.79/985.84 c | 5214545 | 720 42889 140895 | 1 209964 28 | 0.000 % | 985.79/985.84 c | 5233196 | 720 42889 140895 | 1 228615 30 | 0.000 % | 985.79/985.84 c | 5271305 | 720 42889 140895 | 1 266724 32 | 0.000 % | 985.79/985.84 c | 5292631 | 720 42889 140895 | 1 288050 33 | 0.000 % | 985.79/985.84 c | 5293511 | 720 42889 140895 | 1 288930 33 | 0.000 % | 985.79/985.84 c | 5294684 | 720 42889 140895 | 1 290103 33 | 0.000 % | 985.79/985.84 c | 5298785 | 720 42889 140895 | 1 294204 34 | 0.000 % | 985.79/985.84 c | 5299437 | 720 42889 140895 | 1 294856 34 | 0.000 % | 985.79/985.84 c | 5299538 | 720 42889 140895 | 1 294957 34 | 0.000 % | 985.79/985.84 c | 5303173 | 720 42889 140895 | 1 298592 34 | 0.000 % | 985.79/985.84 c | 5311667 | 720 42889 140895 | 1 307086 34 | 0.000 % | 985.79/985.84 c | 5320309 | 720 42889 140895 | 1 315728 34 | 0.000 % | 985.79/985.84 c | 5349168 | 720 42889 140895 | 1 181988 26 | 0.000 % | 985.79/985.84 c | 5355862 | 720 42889 140895 | 1 188682 27 | 0.000 % | 985.79/985.84 c | 5362265 | 720 42889 140895 | 1 195085 27 | 0.000 % | 985.79/985.84 c | 5379098 | 720 42889 140895 | 1 211918 28 | 0.000 % | 985.79/985.84 c | 5397837 | 720 42889 140895 | 1 230657 29 | 0.000 % | 985.79/985.84 c | 5400974 | 720 42889 140895 | 1 233794 29 | 0.000 % | 985.79/985.84 c | 5418949 | 720 42889 140895 | 1 251769 30 | 0.000 % | 985.79/985.84 c | 5419240 | 720 42889 140895 | 1 252060 30 | 0.000 % | 985.79/985.84 c | 5437420 | 720 42889 140895 | 1 270240 31 | 0.000 % | 985.79/985.84 c | 5441709 | 720 42889 140895 | 1 274529 31 | 0.000 % | 985.79/985.84 c | 5450376 | 720 42889 140895 | 1 283196 32 | 0.000 % | 985.79/985.84 c | 5451439 | 720 42889 140895 | 1 284259 32 | 0.000 % | 985.79/985.84 c | 5466909 | 720 42889 140895 | 1 299729 32 | 0.000 % | 985.79/985.84 c | 5481574 | 720 42889 140895 | 1 314394 33 | 0.000 % | 985.79/985.84 c | 5483788 | 720 42889 140895 | 1 316608 33 | 0.000 % | 1104.10/1104.12 c | 5486896 | 720 42889 140895 | 1 319716 33 | 0.000 % | 1104.10/1104.12 c | 5517407 | 720 42889 140895 | 1 185023 25 | 0.000 % | 1104.10/1104.12 c | 5536967 | 720 42889 140895 | 1 204583 27 | 0.000 % | 1104.10/1104.12 c | 5546459 | 720 42889 140895 | 1 214075 27 | 0.000 % | 1104.10/1104.12 c | 5572362 | 720 42889 140895 | 1 239978 29 | 0.000 % | 1104.10/1104.12 c | 5589192 | 720 42889 140895 | 1 256808 30 | 0.000 % | 1104.10/1104.12 c | 5589292 | 720 42889 140895 | 1 256908 30 | 0.000 % | 1104.10/1104.12 c | 5600560 | 720 42889 140895 | 1 268176 31 | 0.000 % | 1104.10/1104.12 c | 5608195 | 720 42889 140895 | 1 275811 31 | 0.000 % | 1104.10/1104.12 c | 5610787 | 720 42889 140895 | 1 278403 31 | 0.000 % | 1104.10/1104.12 c | 5612743 | 720 42889 140895 | 1 280359 31 | 0.000 % | 1104.10/1104.12 c | 5631135 | 720 42889 140895 | 1 298751 32 | 0.000 % | 1104.10/1104.12 c | 5639879 | 720 42889 140895 | 1 307495 33 | 0.000 % | 1104.10/1104.12 c | 5661964 | 720 42889 140895 | 1 329580 33 | 0.000 % | 1104.10/1104.12 c | 5671471 | 720 42889 140895 | 1 171289 24 | 0.000 % | 1104.10/1104.12 c | 5673128 | 720 42889 140895 | 1 172946 24 | 0.000 % | 1104.10/1104.12 c | 5728155 | 720 42889 140895 | 1 227973 28 | 0.000 % | 1104.10/1104.12 c | 5772221 | 720 42889 140895 | 1 272039 30 | 0.000 % | 1104.10/1104.12 c | 5784622 | 720 42889 140895 | 1 284440 31 | 0.000 % | 1104.10/1104.12 c | 5784844 | 720 42889 140895 | 1 284662 31 | 0.000 % | 1104.10/1104.12 c | 5788050 | 720 42889 140895 | 1 287868 31 | 0.000 % | 1104.10/1104.12 c | 5788366 | 720 42889 140895 | 1 288184 31 | 0.000 % | 1104.10/1104.12 c | 5815368 | 720 42889 140895 | 1 315186 32 | 0.000 % | 1104.10/1104.12 c | 5836811 | 720 42889 140895 | 1 336629 33 | 0.000 % | 1104.10/1104.12 c | 5838172 | 720 42889 140895 | 1 337990 33 | 0.000 % | 1104.10/1104.12 c | 5847305 | 720 42889 140895 | 1 176729 24 | 0.000 % | 1104.10/1104.12 c | 5848070 | 720 42889 140895 | 1 177494 25 | 0.000 % | 1104.10/1104.12 c | 5848576 | 720 42889 140895 | 1 178000 25 | 0.000 % | 1104.10/1104.12 c | 5853257 | 720 42889 140895 | 1 182681 25 | 0.000 % | 1104.10/1104.12 c | 5866009 | 720 42889 140895 | 1 195433 26 | 0.000 % | 1104.10/1104.12 c | 5879718 | 720 42889 140895 | 1 209142 27 | 0.000 % | 1104.10/1104.12 c | 5886224 | 720 42889 140895 | 1 215648 27 | 0.000 % | 1104.10/1104.12 c | 5888057 | 720 42889 140895 | 1 217481 28 | 0.000 % | 1104.10/1104.12 c | 5888284 | 720 42889 140895 | 1 217708 28 | 0.000 % | 1104.10/1104.12 c | 5889905 | 720 42889 140895 | 1 219329 28 | 0.000 % | 1104.10/1104.12 c | 5890580 | 720 42889 140895 | 1 220004 28 | 0.000 % | 1104.10/1104.12 c | 5890994 | 720 42889 140895 | 1 220418 28 | 0.000 % | 1104.10/1104.12 c | 5891625 | 720 42889 140895 | 1 221049 28 | 0.000 % | 1104.10/1104.12 c | 5915643 | 720 42889 140895 | 1 245067 30 | 0.000 % | 1104.10/1104.12 c | 5929804 | 720 42889 140895 | 1 259228 30 | 0.000 % | 1104.10/1104.12 c | 5930512 | 720 42889 140895 | 1 259936 30 | 0.000 % | 1104.10/1104.12 c | 5940196 | 720 42889 140895 | 1 269620 31 | 0.000 % | 1104.10/1104.12 c | 5946886 | 720 42889 140895 | 1 276310 31 | 0.000 % | 1104.10/1104.12 c | 5981766 | 720 42889 140895 | 1 311190 32 | 0.000 % | 1104.10/1104.12 c | 5981868 | 720 42889 140895 | 1 311292 32 | 0.000 % | 1104.10/1104.12 c | 5982082 | 720 42889 140895 | 1 311506 32 | 0.000 % | 1104.10/1104.12 c | 6012750 | 720 42889 140895 | 1 342174 33 | 0.000 % | 1104.10/1104.12 c | 6035302 | 720 42889 140895 | 1 191723 26 | 0.000 % | 1104.10/1104.12 c | 6040404 | 720 42889 140895 | 1 196825 26 | 0.000 % | 1104.10/1104.12 c | 6041279 | 720 42889 140895 | 1 197700 26 | 0.000 % | 1196.00/1196.03 c | 6044858 | 720 42889 140895 | 1 201279 26 | 0.000 % | 1196.00/1196.03 c | 6046075 | 720 42889 140895 | 1 202496 27 | 0.000 % | 1196.00/1196.03 c | 6055256 | 720 42889 140895 | 1 211677 27 | 0.000 % | 1196.00/1196.03 c | 6063812 | 720 42889 140895 | 1 220233 28 | 0.000 % | 1196.00/1196.03 c | 6075885 | 720 42889 140895 | 1 232306 29 | 0.000 % | 1196.00/1196.03 c | 6107289 | 720 42889 140895 | 1 263710 30 | 0.000 % | 1196.00/1196.03 c | 6123653 | 720 42889 140895 | 1 280074 31 | 0.000 % | 1196.00/1196.03 c | 6132249 | 720 42889 140895 | 1 288670 31 | 0.000 % | 1196.00/1196.03 c | 6161391 | 720 42889 140895 | 1 317812 32 | 0.000 % | 1196.00/1196.03 c | 6171757 | 720 42889 140895 | 1 328178 32 | 0.000 % | 1196.00/1196.03 c | 6181286 | 720 42889 140895 | 1 337707 32 | 0.000 % | 1196.00/1196.03 c | 6197054 | 720 42889 140895 | 1 177873 23 | 0.000 % | 1196.00/1196.03 c | 6201338 | 720 42889 140895 | 1 182157 24 | 0.000 % | 1196.00/1196.03 c | 6222144 | 720 42889 140895 | 1 202963 25 | 0.000 % | 1196.00/1196.03 c | 6227931 | 720 42889 140895 | 1 208750 25 | 0.000 % | 1196.00/1196.03 c | 6228057 | 720 42889 140895 | 1 208876 25 | 0.000 % | 1196.00/1196.03 c | 6238730 | 720 42889 140895 | 1 219549 26 | 0.000 % | 1196.00/1196.03 c | 6253022 | 720 42889 140895 | 1 233841 26 | 0.000 % | 1196.00/1196.03 c | 6253206 | 720 42889 140895 | 1 234025 26 | 0.000 % | 1196.00/1196.03 c | 6253695 | 720 42889 140895 | 1 234514 26 | 0.000 % | 1196.00/1196.03 c | 6256695 | 720 42889 140895 | 1 237514 27 | 0.000 % | 1196.00/1196.03 c | 6258001 | 720 42889 140895 | 1 238820 27 | 0.000 % | 1196.00/1196.03 c | 6261824 | 720 42889 140895 | 1 242643 27 | 0.000 % | 1196.00/1196.03 c | 6261925 | 720 42889 140895 | 1 242744 27 | 0.000 % | 1196.00/1196.03 c | 6287844 | 720 42889 140895 | 1 268663 28 | 0.000 % | 1196.00/1196.03 c | 6293863 | 720 42889 140895 | 1 274682 29 | 0.000 % | 1196.00/1196.03 c | 6294288 | 720 42889 140895 | 1 275107 29 | 0.000 % | 1196.00/1196.03 c | 6296586 | 720 42889 140895 | 1 277405 29 | 0.000 % | 1196.00/1196.03 c | 6297049 | 720 42889 140895 | 1 277868 29 | 0.000 % | 1196.00/1196.03 c | 6297198 | 720 42889 140895 | 1 278017 29 | 0.000 % | 1196.00/1196.03 c | 6297884 | 720 42889 140895 | 1 278703 29 | 0.000 % | 1196.00/1196.03 c | 6305389 | 720 42889 140895 | 1 286208 29 | 0.000 % | 1196.00/1196.03 c | 6307898 | 720 42889 140895 | 1 288717 29 | 0.000 % | 1196.00/1196.03 c | 6308569 | 720 42889 140895 | 1 289388 29 | 0.000 % | 1196.00/1196.03 c | 6310023 | 720 42889 140895 | 1 290842 29 | 0.000 % | 1196.00/1196.03 c | 6311457 | 720 42889 140895 | 1 292276 29 | 0.000 % | 1196.00/1196.03 c | 6312037 | 720 42889 140895 | 1 292856 29 | 0.000 % | 1196.00/1196.03 c | 6315940 | 720 42889 140895 | 1 296759 29 | 0.000 % | 1196.00/1196.03 c | 6329167 | 720 42889 140895 | 1 309986 29 | 0.000 % | 1196.00/1196.03 c | 6329269 | 720 42889 140895 | 1 310088 29 | 0.000 % | 1196.00/1196.03 c | 6334788 | 720 42889 140895 | 1 315607 30 | 0.000 % | 1196.00/1196.03 c | 6334888 | 720 42889 140895 | 1 315707 30 | 0.000 % | 1196.00/1196.03 c | 6348083 | 720 42889 140895 | 1 328902 30 | 0.000 % | 1196.00/1196.03 c | 6351403 | 720 42889 140895 | 1 332222 30 | 0.000 % | 1196.00/1196.03 c | 6351503 | 720 42889 140895 | 1 332322 30 | 0.000 % | 1196.00/1196.03 c | 6352919 | 720 42889 140895 | 1 333738 30 | 0.000 % | 1196.00/1196.03 c | 6363887 | 720 42889 140895 | 1 344706 30 | 0.000 % | 1196.00/1196.03 c | 6364136 | 720 42889 140895 | 1 344955 30 | 0.000 % | 1196.00/1196.03 c | 6377471 | 720 42889 140895 | 1 180083 22 | 0.000 % | 1196.00/1196.03 c | 6384660 | 720 42889 140895 | 1 187272 23 | 0.000 % | 1255.80/1255.85 c | 6388147 | 720 42889 140895 | 1 190759 23 | 0.000 % | 1255.80/1255.85 c | 6389535 | 720 42889 140895 | 1 192147 24 | 0.000 % | 1255.80/1255.85 c | 6389731 | 720 42889 140895 | 1 192343 24 | 0.000 % | 1255.80/1255.85 c | 6395950 | 720 42889 140895 | 1 198562 24 | 0.000 % | 1255.80/1255.85 c | 6397340 | 720 42889 140895 | 1 199952 24 | 0.000 % | 1255.80/1255.85 c | 6400004 | 720 42889 140895 | 1 202616 24 | 0.000 % | 1255.80/1255.85 c | 6403562 | 720 42889 140895 | 1 206174 24 | 0.000 % | 1255.80/1255.85 c | 6403861 | 720 42889 140895 | 1 206473 24 | 0.000 % | 1255.80/1255.85 c | 6426248 | 720 42889 140895 | 1 228860 26 | 0.000 % | 1255.80/1255.85 c | 6429935 | 720 42889 140895 | 1 232547 26 | 0.000 % | 1255.80/1255.85 c | 6431631 | 720 42889 140895 | 1 234243 26 | 0.000 % | 1255.80/1255.85 c | 6433162 | 720 42889 140895 | 1 235774 27 | 0.000 % | 1255.80/1255.85 c | 6434318 | 720 42889 140895 | 1 236930 27 | 0.000 % | 1255.80/1255.85 c | 6438244 | 720 42889 140895 | 1 240856 27 | 0.000 % | 1255.80/1255.85 c | 6468252 | 720 42889 140895 | 1 270864 28 | 0.000 % | 1255.80/1255.85 c | 6477075 | 720 42889 140895 | 1 279687 28 | 0.000 % | 1255.80/1255.85 c | 6482763 | 720 42889 140895 | 1 285375 28 | 0.000 % | 1255.80/1255.85 c | 6511146 | 720 42889 140895 | 1 313758 30 | 0.000 % | 1255.80/1255.85 c | 6522674 | 720 42889 140895 | 1 325286 30 | 0.000 % | 1255.80/1255.85 c | 6528866 | 720 42889 140895 | 1 331478 30 | 0.000 % | 1255.80/1255.85 c | 6529565 | 720 42889 140895 | 1 332177 30 | 0.000 % | 1255.80/1255.85 c | 6529820 | 720 42889 140895 | 1 332432 30 | 0.000 % | 1255.80/1255.85 c | 6530053 | 720 42889 140895 | 1 332665 30 | 0.000 % | 1255.80/1255.85 c | 6543037 | 720 42889 140895 | 1 345649 31 | 0.000 % | 1255.80/1255.85 c | 6547365 | 720 42889 140895 | 1 349977 31 | 0.000 % | 1255.80/1255.85 c | 6548501 | 720 42889 140895 | 1 351113 31 | 0.000 % | 1255.80/1255.85 c | 6552474 | 720 42889 140895 | 1 355086 32 | 0.000 % | 1255.80/1255.85 c | 6552947 | 720 42889 140895 | 1 355559 32 | 0.000 % | 1255.80/1255.85 c | 6556987 | 720 42889 140895 | 1 359599 32 | 0.000 % | 1255.80/1255.85 c | 6557088 | 720 42889 140895 | 1 359700 32 | 0.000 % | 1255.80/1255.85 c | 6558676 | 720 42889 140895 | 1 361288 32 | 0.000 % | 1255.80/1255.85 c | 6560067 | 720 42889 140895 | 1 181878 23 | 0.000 % | 1255.80/1255.85 c | 6565347 | 720 42889 140895 | 1 187158 23 | 0.000 % | 1255.80/1255.85 c | 6590002 | 720 42889 140895 | 1 211813 27 | 0.000 % | 1255.80/1255.85 c | 6590104 | 720 42889 140895 | 1 211915 27 | 0.000 % | 1255.80/1255.85 c | 6594671 | 720 42889 140895 | 1 216482 27 | 0.000 % | 1255.80/1255.85 c | 6599003 | 720 42889 140895 | 1 220814 28 | 0.000 % | 1255.80/1255.85 c | 6615352 | 720 42889 140895 | 1 237163 29 | 0.000 % | 1255.80/1255.85 c | 6621275 | 720 42889 140895 | 1 243086 29 | 0.000 % | 1255.80/1255.85 c | 6624025 | 720 42889 140895 | 1 245836 29 | 0.000 % | 1255.80/1255.85 c | 6624127 | 720 42889 140895 | 1 245938 29 | 0.000 % | 1255.80/1255.85 c | 6628867 | 720 42889 140895 | 1 250678 30 | 0.000 % | 1255.80/1255.85 c | 6633654 | 720 42889 140895 | 1 255465 30 | 0.000 % | 1255.80/1255.85 c | 6635444 | 720 42889 140895 | 1 257255 30 | 0.000 % | 1255.80/1255.85 c | 6635545 | 720 42889 140895 | 1 257356 30 | 0.000 % | 1255.80/1255.85 c | 6651959 | 720 42889 140895 | 1 273770 31 | 0.000 % | 1255.80/1255.85 c | 6654752 | 720 42889 140895 | 1 276563 31 | 0.000 % | 1255.80/1255.85 c | 6654857 | 720 42889 140895 | 1 276668 31 | 0.000 % | 1255.80/1255.85 c | 6660165 | 720 42889 140895 | 1 281976 32 | 0.000 % | 1255.80/1255.85 c | 6660266 | 720 42889 140895 | 1 282077
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-3259184-1303503341/watcher-3259184-1303503341 -o /tmp/evaluation-result-3259184-1303503341/solver-3259184-1303503341 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259184-1303503341.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.35 2.43 1.26 3/182 972 /proc/meminfo: memFree=13233988/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 461932913 8912896 252 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 252 211 178 0 69 0 [startup+0.026476 s] /proc/loadavg: 3.35 2.43 1.26 3/182 972 /proc/meminfo: memFree=13233988/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 461932913 8912896 252 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100462 s] /proc/loadavg: 3.35 2.43 1.26 3/182 972 /proc/meminfo: memFree=13233988/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 461932913 8912896 252 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300427 s] /proc/loadavg: 3.35 2.43 1.26 3/182 972 /proc/meminfo: memFree=13233988/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+0.700355 s] /proc/loadavg: 3.35 2.43 1.26 3/182 972 /proc/meminfo: memFree=13233988/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8704 [startup+1.50021 s] /proc/loadavg: 3.35 2.43 1.26 6/194 995 /proc/meminfo: memFree=13182188/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=23740 CPUtime=1.38 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 5434 0 0 0 138 0 0 0 25 0 1 0 461932923 24309760 2687 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 5935 2687 240 17 0 2576 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 32444 [startup+3.10093 s] /proc/loadavg: 3.40 2.46 1.27 5/194 996 /proc/meminfo: memFree=13160000/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=30816 CPUtime=2.99 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 7184 0 0 0 298 1 0 0 25 0 1 0 461932923 31555584 4376 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 7704 4376 240 17 0 4345 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 39520 [startup+6.30035 s] /proc/loadavg: 3.40 2.46 1.27 5/194 996 /proc/meminfo: memFree=13114912/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=35236 CPUtime=6.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 8419 0 0 0 618 1 0 0 25 0 1 0 461932923 36081664 5552 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 8809 5552 247 17 0 5450 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 43940 [startup+12.7002 s] /proc/loadavg: 3.49 2.51 1.30 5/194 996 /proc/meminfo: memFree=13087780/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=47156 CPUtime=12.58 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 10838 0 0 0 1257 1 0 0 25 0 1 0 461932923 48287744 7966 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 11789 7966 247 17 0 8430 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 55860 [startup+25.5009 s] /proc/loadavg: 3.57 2.56 1.33 5/194 997 /proc/meminfo: memFree=13061236/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=61476 CPUtime=25.39 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 17873 0 0 0 2537 2 0 0 25 0 1 0 461932923 62951424 8991 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 15369 8991 247 17 0 12010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70180 [startup+51.1004 s] /proc/loadavg: 3.72 2.67 1.40 5/194 997 /proc/meminfo: memFree=13040504/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=57076 CPUtime=50.98 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 23122 0 0 0 5095 3 0 0 25 0 1 0 461932923 58445824 9892 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 14269 9892 248 17 0 10910 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 65780 [startup+102.307 s] /proc/loadavg: 3.96 2.91 1.55 5/194 999 /proc/meminfo: memFree=12955064/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=102.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 32387 0 0 0 10214 5 0 0 25 0 1 0 461932923 101863424 14132 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 14132 248 17 0 21510 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 108180 [startup+162.301 s] /proc/loadavg: 3.98 3.10 1.70 5/194 1000 /proc/meminfo: memFree=12951932/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=162.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 33692 0 0 0 16213 6 0 0 25 0 1 0 461932923 101863424 15410 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 15410 249 17 0 21510 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 108180 [startup+222.301 s] /proc/loadavg: 3.99 3.26 1.84 5/194 1002 /proc/meminfo: memFree=12883568/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=222.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 39248 0 0 0 22212 7 0 0 25 0 1 0 461932923 101863424 20797 33554432000 4194304 4260849 140736333879024 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 20797 249 17 0 21510 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 108180 [startup+282.301 s] /proc/loadavg: 4.03 3.41 1.98 5/194 1004 /proc/meminfo: memFree=12858484/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=282.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 39886 0 0 0 28212 7 0 0 25 0 1 0 461932923 101863424 21410 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21410 249 17 0 21510 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 108180 [startup+342.3 s] /proc/loadavg: 4.01 3.52 2.10 5/194 1005 /proc/meminfo: memFree=12843440/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=342.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 47908 0 0 0 34211 8 0 0 25 0 1 0 461932923 101863424 21630 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21630 249 17 0 21510 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 108180 [startup+402.301 s] /proc/loadavg: 4.00 3.59 2.21 5/194 1007 /proc/meminfo: memFree=12807444/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 ################ # More data... # ################ /proc/994/statm: 37199 30392 249 17 0 33840 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 157500 [startup+642.301 s] /proc/loadavg: 4.01 3.83 2.62 5/194 1013 /proc/meminfo: memFree=12764892/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=642.2 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 175555 0 0 0 64190 30 0 0 25 0 1 0 461932923 101863424 21653 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21653 249 17 0 21510 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 108180 [startup+702.3 s] /proc/loadavg: 4.04 3.87 2.71 5/194 1015 /proc/meminfo: memFree=12729520/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=702.19 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 196106 0 0 0 70185 34 0 0 25 0 1 0 461932923 101863424 21653 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21653 249 17 0 21510 0 Current children cumulated CPU time (s) 702.28 Current children cumulated vsize (KiB) 108180 [startup+762.307 s] /proc/loadavg: 4.01 3.89 2.79 5/194 1016 /proc/meminfo: memFree=12706544/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=762.2 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 215007 0 0 0 76182 38 0 0 25 0 1 0 461932923 152367104 30042 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 30042 249 17 0 33840 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 157500 [startup+822.301 s] /proc/loadavg: 4.06 3.93 2.87 5/194 1018 /proc/meminfo: memFree=12694248/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=822.2 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 227402 0 0 0 82179 41 0 0 25 0 1 0 461932923 152367104 32051 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 32051 249 17 0 33840 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 157500 [startup+882.301 s] /proc/loadavg: 4.02 3.94 2.94 5/194 1020 /proc/meminfo: memFree=12751492/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=882.2 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 248927 0 0 0 88175 45 0 0 25 0 1 0 461932923 152367104 32094 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 32094 249 17 0 33840 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 157500 [startup+942.3 s] /proc/loadavg: 4.00 3.95 3.00 5/194 1021 /proc/meminfo: memFree=12712044/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=942.2 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 270789 0 0 0 94170 50 0 0 25 0 1 0 461932923 152367104 31338 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 31338 249 17 0 33840 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 157500 [startup+1002.3 s] /proc/loadavg: 4.00 3.95 3.06 5/194 1023 /proc/meminfo: memFree=12753300/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=1002.21 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 285261 0 0 0 100166 55 0 0 25 0 1 0 461932923 101863424 21653 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21653 249 17 0 21510 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 108180 [startup+1062.3 s] /proc/loadavg: 4.04 3.97 3.12 5/194 1024 /proc/meminfo: memFree=12753040/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=1062.21 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 309954 0 0 0 106159 62 0 0 25 0 1 0 461932923 101863424 21653 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21653 249 17 0 21510 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 108180 [startup+1122.3 s] /proc/loadavg: 4.05 3.99 3.18 5/194 1026 /proc/meminfo: memFree=12662724/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=1122.21 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 332231 0 0 0 112154 67 0 0 25 0 1 0 461932923 152367104 31376 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 31376 249 17 0 33840 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 157500 [startup+1182.3 s] /proc/loadavg: 4.02 3.99 3.23 5/194 1059 /proc/meminfo: memFree=12765792/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=1182.21 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 345760 0 0 0 118149 72 0 0 25 0 1 0 461932923 152367104 32393 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 32393 249 17 0 33840 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 157500 [startup+1242.3 s] /proc/loadavg: 4.00 3.99 3.27 5/194 1060 /proc/meminfo: memFree=12853812/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=99476 CPUtime=1242.22 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 359603 0 0 0 124146 76 0 0 25 0 1 0 461932923 101863424 21653 33554432000 4194304 4260849 140736333879024 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 24869 21653 249 17 0 21510 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 108180 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.99 3.31 5/194 1062 /proc/meminfo: memFree=12755180/32950928 swapFree=67111528/67111528 [pid=972] ppid=970 vsize=8704 CPUtime=0.09 cores=5,7 /proc/972/stat : 972 (glucose.sh) S 970 972 925 0 -1 4202496 361 1046 0 0 0 0 9 0 24 0 1 0 461932913 8912896 254 33554432000 4194304 4922060 140733861944192 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/972/statm: 2176 254 211 178 0 69 0 [pid=994] ppid=972 vsize=148796 CPUtime=1299.91 cores=5,7 /proc/994/stat : 994 (glucose_static) R 972 972 925 0 -1 4202496 383279 0 0 0 129911 80 0 0 25 0 1 0 461932923 152367104 31699 33554432000 4194304 4260849 140736333879024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/994/statm: 37199 31699 249 17 0 33840 0 Current children cumulated CPU time (s) 1300 Current children cumulated vsize (KiB) 157500 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 972 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=96985 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=4999 # CPU time returned by wait4() is 0.101984 # while last known CPU time is 1300 # # 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 CPU user time (s): 1299.2 CPU system time (s): 0.8 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 188320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.096985 system time used= 0.004999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1407 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 21 runsolver used 2.16267 second user time and 4.94225 second system time The end
Begin job on node122 at 2011-04-22 22:15:41 IDJOB=3259184 IDBENCH=71514 IDSOLVER=1651 FILE ID=node122/3259184-1303503341 RUNJOBID= node122-1303503341-947 PBS_JOBID= 13134241 Free space on /tmp= 71012 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259184-1303503341/watcher-3259184-1303503341 -o /tmp/evaluation-result-3259184-1303503341/solver-3259184-1303503341 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3259184-1303503341.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 791cdb75c1a209efd7f7547f06e0fed9 RANDOM SEED=736713396 node122.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.820 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.64 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.820 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.75 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.83 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13234260 kB Buffers: 1622620 kB Cached: 17468068 kB SwapCached: 0 kB Active: 9164288 kB Inactive: 10000584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13234260 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5968 kB Writeback: 0 kB AnonPages: 74220 kB Mapped: 15364 kB Slab: 486620 kB PageTables: 5636 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 220888 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= 71000 MiB End job on node122 at 2011-04-22 22:37:23