Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.15 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e2.opb |
MD5SUM | 6af59dd0656451189b30414ce106135b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 494 |
Best CPU time to get the best result obtained on this benchmark | 1797.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 494 |
Optimality of the best value was proved | NO |
Number of variables | 1740 |
Total number of constraints | 6991 |
Number of constraints which are clauses | 6991 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1740 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1740 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1740 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460814-1307092688.opb. 0.00/0.00 c Instance file HOME/instance-3460814-1307092688.opb 0.00/0.00 c File size is 196075 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1740 | 0.00/0.01 c | Number Clauses: 6991 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1740 6991 16290 | 5000 0 -nan | 0.000 % | 0.00/0.10 c core #1 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.10 c Current CPU time: 0.019996 s 0.00/0.10 c 0.00/0.10 c core #2 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.10 c Current CPU time: 0.021996 s 0.00/0.10 c 0.00/0.10 c core #3 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.10 c Current CPU time: 0.023996 s 0.00/0.10 c 0.00/0.10 c core #4 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.10 c Current CPU time: 0.025996 s 0.00/0.10 c 0.00/0.10 c core #5 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.10 c Current CPU time: 0.027995 s 0.00/0.10 c 0.00/0.10 c core #6 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.10 c Current CPU time: 0.029995 s 0.00/0.10 c 0.00/0.10 c core #7 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.10 c Current CPU time: 0.031995 s 0.00/0.10 c 0.00/0.10 c core #8 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.10 c Current CPU time: 0.033994 s 0.00/0.10 c 0.00/0.10 c core #9 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.10 c Current CPU time: 0.036994 s 0.00/0.10 c 0.00/0.10 c core #10 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.10 c Current CPU time: 0.038994 s 0.00/0.10 c 0.00/0.10 c core #11 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.10 c Current CPU time: 0.040993 s 0.00/0.10 c 0.00/0.10 c core #12 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.10 c Current CPU time: 0.042993 s 0.00/0.10 c 0.00/0.10 c core #13 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.10 c Current CPU time: 0.044993 s 0.00/0.10 c 0.00/0.10 c core #14 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.10 c Current CPU time: 0.046992 s 0.00/0.10 c 0.00/0.10 c core #15 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.10 c Current CPU time: 0.048992 s 0.00/0.10 c 0.00/0.10 c core #16 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.10 c Current CPU time: 0.050992 s 0.00/0.10 c 0.00/0.10 c core #17 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.10 c Current CPU time: 0.053991 s 0.00/0.10 c 0.00/0.10 c core #18 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.10 c Current CPU time: 0.055991 s 0.00/0.10 c 0.00/0.10 c core #19 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.10 c Current CPU time: 0.057991 s 0.00/0.10 c 0.00/0.10 c core #20 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.10 c Current CPU time: 0.05999 s 0.00/0.10 c 0.00/0.10 c core #21 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.10 c Current CPU time: 0.06199 s 0.00/0.10 c 0.00/0.10 c core #22 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.10 c Current CPU time: 0.06399 s 0.00/0.10 c 0.00/0.10 c core #23 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.10 c Current CPU time: 0.065989 s 0.00/0.10 c 0.00/0.10 c core #24 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.10 c Current CPU time: 0.067989 s 0.00/0.10 c 0.00/0.10 c core #25 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.10 c Current CPU time: 0.069989 s 0.00/0.10 c 0.00/0.10 c core #26 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.10 c Current CPU time: 0.072988 s 0.00/0.10 c 0.00/0.10 c core #27 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.10 c Current CPU time: 0.074988 s 0.00/0.10 c 0.00/0.10 c core #28 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.10 c Current CPU time: 0.076988 s 0.00/0.10 c 0.00/0.10 c core #29 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.10 c Current CPU time: 0.078987 s 0.00/0.10 c 0.00/0.10 c core #30 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.10 c Current CPU time: 0.080987 s 0.00/0.10 c 0.00/0.10 c core #31 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.10 c Current CPU time: 0.082987 s 0.00/0.10 c 0.00/0.10 c core #32 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.10 c Current CPU time: 0.085986 s 0.00/0.11 c 0.00/0.11 c core #33 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.11 c Current CPU time: 0.087986 s 0.00/0.11 c 0.00/0.11 c core #34 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.11 c Current CPU time: 0.089986 s 0.00/0.11 c 0.00/0.11 c core #35 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.11 c Current CPU time: 0.091986 s 0.00/0.11 c 0.00/0.11 c core #36 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.11 c Current CPU time: 0.093985 s 0.00/0.11 c 0.00/0.11 c core #37 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.11 c Current CPU time: 0.095985 s 0.00/0.11 c 0.00/0.11 c core #38 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.11 c Current CPU time: 0.098984 s 0.00/0.11 c 0.00/0.11 c core #39 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.11 c Current CPU time: 0.100984 s 0.00/0.11 c 0.00/0.11 c core #40 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.11 c Current CPU time: 0.102984 s 0.00/0.11 c 0.00/0.11 c core #41 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.11 c Current CPU time: 0.104984 s 0.00/0.11 c 0.00/0.11 c core #42 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.11 c Current CPU time: 0.106983 s 0.00/0.11 c 0.00/0.11 c core #43 0.00/0.11 c 0.00/0.11 c 0.00/0.11 c Core size: 3 Core Weight: 1 Total Weight: 43 0.20/0.20 c Current CPU time: 0.108983 s 0.20/0.20 c 0.20/0.20 c core #44 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 44 0.20/0.20 c Current CPU time: 0.111982 s 0.20/0.20 c 0.20/0.20 c core #45 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 45 0.20/0.20 c Current CPU time: 0.113982 s 0.20/0.20 c 0.20/0.20 c core #46 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 46 0.20/0.20 c Current CPU time: 0.115982 s 0.20/0.20 c 0.20/0.20 c core #47 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 47 0.20/0.20 c Current CPU time: 0.117982 s 0.20/0.20 c 0.20/0.20 c core #48 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 48 0.20/0.20 c Current CPU time: 0.119981 s 0.20/0.20 c 0.20/0.20 c core #49 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 49 0.20/0.20 c Current CPU time: 0.121981 s 0.20/0.20 c 0.20/0.20 c core #50 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 50 0.20/0.20 c Current CPU time: 0.124981 s 0.20/0.20 c 0.20/0.20 c core #51 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 51 0.20/0.20 c Current CPU time: 0.12698 s 0.20/0.20 c 0.20/0.20 c core #52 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 52 0.20/0.20 c Current CPU time: 0.12898 s 0.20/0.20 c 0.20/0.20 c core #53 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 53 0.20/0.20 c Current CPU time: 0.13098 s 0.20/0.20 c 0.20/0.20 c core #54 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 54 0.20/0.20 c Current CPU time: 0.132979 s 0.20/0.20 c 0.20/0.20 c core #55 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 55 0.20/0.20 c Current CPU time: 0.134979 s 0.20/0.20 c 0.20/0.20 c core #56 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 56 0.20/0.20 c Current CPU time: 0.137979 s 0.20/0.20 c 0.20/0.20 c core #57 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 57 0.20/0.20 c Current CPU time: 0.139978 s 0.20/0.20 c 0.20/0.20 c core #58 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 58 0.20/0.20 c Current CPU time: 0.141978 s 0.20/0.20 c 0.20/0.20 c core #59 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 59 0.20/0.20 c Current CPU time: 0.143978 s 0.20/0.20 c 0.20/0.20 c core #60 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 60 0.20/0.20 c Current CPU time: 0.145977 s 0.20/0.20 c 0.20/0.20 c core #61 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 61 0.20/0.20 c Current CPU time: 0.148977 s 0.20/0.20 c 0.20/0.20 c core #62 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 62 0.20/0.20 c Current CPU time: 0.150977 s 0.20/0.20 c 0.20/0.20 c core #63 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 63 0.20/0.20 c Current CPU time: 0.152976 s 0.20/0.20 c 0.20/0.20 c core #64 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 64 0.20/0.20 c Current CPU time: 0.154976 s 0.20/0.20 c 0.20/0.20 c core #65 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 65 0.20/0.20 c Current CPU time: 0.156976 s 0.20/0.20 c 0.20/0.20 c core #66 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 66 0.20/0.20 c Current CPU time: 0.158975 s 0.20/0.20 c 0.20/0.20 c core #67 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 67 0.20/0.20 c Current CPU time: 0.161975 s 0.20/0.20 c 0.20/0.20 c core #68 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 68 0.20/0.20 c Current CPU time: 0.163975 s 0.20/0.20 c 0.20/0.20 c core #69 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 69 0.20/0.20 c Current CPU time: 0.165974 s 0.20/0.20 c 0.20/0.20 c core #70 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 70 0.20/0.20 c Current CPU time: 0.167974 s 0.20/0.20 c 0.20/0.20 c core #71 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 71 0.20/0.20 c Current CPU time: 0.170974 s 0.20/0.20 c 0.20/0.20 c core #72 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 72 0.20/0.20 c Current CPU time: 0.172973 s 0.20/0.20 c 0.20/0.20 c core #73 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 73 0.20/0.20 c Current CPU time: 0.174973 s 0.20/0.20 c 0.20/0.20 c core #74 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 74 0.20/0.20 c Current CPU time: 0.176973 s 0.20/0.20 c 0.20/0.20 c core #75 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 75 0.20/0.20 c Current CPU time: 0.178972 s 0.20/0.20 c 0.20/0.20 c core #76 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 76 0.20/0.20 c Current CPU time: 0.181972 s 0.20/0.20 c 0.20/0.20 c core #77 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 77 0.20/0.20 c Current CPU time: 0.183972 s 0.20/0.20 c 0.20/0.20 c core #78 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 78 0.20/0.20 c Current CPU time: 0.185971 s 0.20/0.20 c 0.20/0.20 c core #79 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 79 0.20/0.20 c Current CPU time: 0.187971 s 0.20/0.20 c 0.20/0.20 c core #80 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: 80 0.20/0.20 c Current CPU time: 0.19097 s 0.20/0.20 c 0.20/0.20 c core #81 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 9 Core Weight: 1 Total Weight: 81 0.20/0.20 c Current CPU time: 0.19297 s 0.20/0.20 c 0.20/0.20 c core #82 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 9 Core Weight: 1 Total Weight: 82 0.20/0.20 c Current CPU time: 0.19497 s 0.20/0.20 c 0.20/0.20 c core #83 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 9 Core Weight: 1 Total Weight: 83 0.20/0.20 c Current CPU time: 0.19697 s 0.20/0.20 c 0.20/0.20 c core #84 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 9 Core Weight: 1 Total Weight: 84 0.20/0.20 c Current CPU time: 0.199969 s 0.20/0.20 c 0.20/0.20 c core #85 0.20/0.20 c 0.20/0.20 c 0.20/0.20 c Core size: 9 Core Weight: 1 Total Weight: 85 0.20/0.20 c Current CPU time: 0.201969 s 0.29/0.30 c 0.29/0.30 c core #86 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 86 0.29/0.30 c Current CPU time: 0.203968 s 0.29/0.30 c 0.29/0.30 c core #87 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 87 0.29/0.30 c Current CPU time: 0.205968 s 0.29/0.30 c 0.29/0.30 c core #88 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 88 0.29/0.30 c Current CPU time: 0.208968 s 0.29/0.30 c 0.29/0.30 c core #89 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 89 0.29/0.30 c Current CPU time: 0.210967 s 0.29/0.30 c 0.29/0.30 c core #90 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 90 0.29/0.30 c Current CPU time: 0.212967 s 0.29/0.30 c 0.29/0.30 c core #91 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 91 0.29/0.30 c Current CPU time: 0.215967 s 0.29/0.30 c 0.29/0.30 c core #92 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 92 0.29/0.30 c Current CPU time: 0.217966 s 0.29/0.30 c 0.29/0.30 c core #93 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 93 0.29/0.30 c Current CPU time: 0.219966 s 0.29/0.30 c 0.29/0.30 c core #94 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 94 0.29/0.30 c Current CPU time: 0.222966 s 0.29/0.30 c 0.29/0.30 c core #95 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 95 0.29/0.30 c Current CPU time: 0.224965 s 0.29/0.30 c 0.29/0.30 c core #96 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 96 0.29/0.30 c Current CPU time: 0.226965 s 0.29/0.30 c 0.29/0.30 c core #97 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 97 0.29/0.30 c Current CPU time: 0.228965 s 0.29/0.30 c 0.29/0.30 c core #98 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 98 0.29/0.30 c Current CPU time: 0.230964 s 0.29/0.30 c 0.29/0.30 c core #99 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 99 0.29/0.30 c Current CPU time: 0.233964 s 0.29/0.30 c 0.29/0.30 c core #100 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 100 0.29/0.30 c Current CPU time: 0.235964 s 0.29/0.30 c 0.29/0.30 c core #101 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 101 0.29/0.30 c Current CPU time: 0.238963 s 0.29/0.30 c 0.29/0.30 c core #102 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 102 0.29/0.30 c Current CPU time: 0.240963 s 0.29/0.30 c 0.29/0.30 c core #103 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 103 0.29/0.30 c Current CPU time: 0.242963 s 0.29/0.30 c 0.29/0.30 c core #104 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 104 0.29/0.30 c Current CPU time: 0.245962 s 0.29/0.30 c 0.29/0.30 c core #105 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 105 0.29/0.30 c Current CPU time: 0.247962 s 0.29/0.30 c 0.29/0.30 c core #106 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 106 0.29/0.30 c Current CPU time: 0.250961 s 0.29/0.30 c 0.29/0.30 c core #107 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 107 0.29/0.30 c Current CPU time: 0.252961 s 0.29/0.30 c 0.29/0.30 c core #108 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 108 0.29/0.30 c Current CPU time: 0.255961 s 0.29/0.30 c 0.29/0.30 c core #109 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 109 0.29/0.30 c Current CPU time: 0.25796 s 0.29/0.30 c 0.29/0.30 c core #110 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 110 0.29/0.30 c Current CPU time: 0.25996 s 0.29/0.30 c 0.29/0.30 c core #111 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 111 0.29/0.30 c Current CPU time: 0.26296 s 0.29/0.30 c 0.29/0.30 c core #112 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 112 0.29/0.30 c Current CPU time: 0.264959 s 0.29/0.30 c 0.29/0.30 c core #113 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 113 0.29/0.30 c Current CPU time: 0.267959 s 0.29/0.30 c 0.29/0.30 c core #114 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 114 0.29/0.30 c Current CPU time: 0.269958 s 0.29/0.30 c 0.29/0.30 c core #115 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 115 0.29/0.30 c Current CPU time: 0.272958 s 0.29/0.30 c 0.29/0.30 c core #116 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 116 0.29/0.30 c Current CPU time: 0.274958 s 0.29/0.30 c 0.29/0.30 c core #117 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 117 0.29/0.30 c Current CPU time: 0.277957 s 0.29/0.30 c 0.29/0.30 c core #118 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 118 0.29/0.30 c Current CPU time: 0.279957 s 0.29/0.30 c 0.29/0.30 c core #119 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 119 0.29/0.30 c Current CPU time: 0.282956 s 0.29/0.30 c 0.29/0.30 c core #120 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 120 0.29/0.30 c Current CPU time: 0.284956 s 0.29/0.30 c 0.29/0.30 c core #121 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 121 0.29/0.30 c Current CPU time: 0.287956 s 0.29/0.30 c 0.29/0.30 c core #122 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 122 0.29/0.30 c Current CPU time: 0.289955 s 0.29/0.30 c 0.29/0.30 c core #123 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 123 0.29/0.30 c Current CPU time: 0.292955 s 0.29/0.30 c 0.29/0.30 c core #124 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 124 0.29/0.30 c Current CPU time: 0.294955 s 0.29/0.30 c 0.29/0.30 c core #125 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 125 0.29/0.30 c Current CPU time: 0.297954 s 0.29/0.30 c 0.29/0.30 c core #126 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: 126 0.29/0.30 c Current CPU time: 0.299954 s 0.29/0.30 c 0.29/0.30 c core #127 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 127 0.39/0.41 c Current CPU time: 0.302953 s 0.39/0.41 c 0.39/0.41 c core #128 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 128 0.39/0.41 c Current CPU time: 0.304953 s 0.39/0.41 c 0.39/0.41 c core #129 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 129 0.39/0.41 c Current CPU time: 0.307953 s 0.39/0.41 c 0.39/0.41 c core #130 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 130 0.39/0.41 c Current CPU time: 0.309952 s 0.39/0.41 c 0.39/0.41 c core #131 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 131 0.39/0.41 c Current CPU time: 0.312952 s 0.39/0.41 c 0.39/0.41 c core #132 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 132 0.39/0.41 c Current CPU time: 0.315951 s 0.39/0.41 c 0.39/0.41 c core #133 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 133 0.39/0.41 c Current CPU time: 0.317951 s 0.39/0.41 c 0.39/0.41 c core #134 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 134 0.39/0.41 c Current CPU time: 0.320951 s 0.39/0.41 c 0.39/0.41 c core #135 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 135 0.39/0.41 c Current CPU time: 0.32295 s 0.39/0.41 c 0.39/0.41 c core #136 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 136 0.39/0.41 c Current CPU time: 0.32595 s 0.39/0.41 c 0.39/0.41 c core #137 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 137 0.39/0.41 c Current CPU time: 0.32795 s 0.39/0.41 c 0.39/0.41 c core #138 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 138 0.39/0.41 c Current CPU time: 0.330949 s 0.39/0.41 c 0.39/0.41 c core #139 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 139 0.39/0.41 c Current CPU time: 0.333949 s 0.39/0.41 c 0.39/0.41 c core #140 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 140 0.39/0.41 c Current CPU time: 0.335948 s 0.39/0.41 c 0.39/0.41 c core #141 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 141 0.39/0.41 c Current CPU time: 0.338948 s 0.39/0.41 c 0.39/0.41 c core #142 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 142 0.39/0.41 c Current CPU time: 0.340948 s 0.39/0.41 c 0.39/0.41 c core #143 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 143 0.39/0.41 c Current CPU time: 0.343947 s 0.39/0.41 c 0.39/0.41 c core #144 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 144 0.39/0.41 c Current CPU time: 0.346947 s 0.39/0.41 c 0.39/0.41 c core #145 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 145 0.39/0.41 c Current CPU time: 0.348946 s 0.39/0.41 c 0.39/0.41 c core #146 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 146 0.39/0.41 c Current CPU time: 0.351946 s 0.39/0.41 c 0.39/0.41 c core #147 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 147 0.39/0.41 c Current CPU time: 0.354946 s 0.39/0.41 c 0.39/0.41 c core #148 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 148 0.39/0.41 c Current CPU time: 0.356945 s 0.39/0.41 c 0.39/0.41 c core #149 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 149 0.39/0.41 c Current CPU time: 0.359945 s 0.39/0.41 c 0.39/0.41 c core #150 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 150 0.39/0.41 c Current CPU time: 0.362944 s 0.39/0.41 c 0.39/0.41 c core #151 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 151 0.39/0.41 c Current CPU time: 0.364944 s 0.39/0.41 c 0.39/0.41 c core #152 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 152 0.39/0.41 c Current CPU time: 0.367944 s 0.39/0.41 c 0.39/0.41 c core #153 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 153 0.39/0.41 c Current CPU time: 0.370943 s 0.39/0.41 c 0.39/0.41 c core #154 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 154 0.39/0.41 c Current CPU time: 0.372943 s 0.39/0.41 c 0.39/0.41 c core #155 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 155 0.39/0.41 c Current CPU time: 0.375942 s 0.39/0.41 c 0.39/0.41 c core #156 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 156 0.39/0.41 c Current CPU time: 0.378942 s 0.39/0.41 c 0.39/0.41 c core #157 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 157 0.39/0.41 c Current CPU time: 0.381941 s 0.39/0.41 c 0.39/0.41 c core #158 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 158 0.39/0.41 c Current CPU time: 0.383941 s 0.39/0.41 c 0.39/0.41 c core #159 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 159 0.39/0.41 c Current CPU time: 0.386941 s 0.39/0.41 c 0.39/0.41 c core #160 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 160 0.39/0.41 c Current CPU time: 0.38994 s 0.39/0.41 c 0.39/0.41 c core #161 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 11 Core Weight: 1 Total Weight: 161 0.39/0.41 c Current CPU time: 0.39294 s 0.39/0.41 c 0.39/0.41 c core #162 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 13 Core Weight: 1 Total Weight: 162 0.39/0.41 c Current CPU time: 0.394939 s 0.39/0.41 c 0.39/0.41 c core #163 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 21 Core Weight: 1 Total Weight: 163 0.39/0.41 c Current CPU time: 0.397939 s 0.39/0.41 c 0.39/0.41 c core #164 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 20 Core Weight: 1 Total Weight: 164 0.39/0.41 c Current CPU time: 0.400939 s 0.39/0.41 c 0.39/0.41 c core #165 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 21 Core Weight: 1 Total Weight: 165 0.39/0.41 c Current CPU time: 0.403938 s 0.39/0.41 c 0.39/0.41 c core #166 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 21 Core Weight: 1 Total Weight: 166 0.39/0.41 c Current CPU time: 0.406938 s 0.39/0.41 c 0.39/0.41 c core #167 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 21 Core Weight: 1 Total Weight: 167 0.39/0.41 c Current CPU time: 0.409937 s 0.39/0.41 c 0.39/0.41 c core #168 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 168 0.49/0.53 c Current CPU time: 0.411937 s 0.49/0.53 c 0.49/0.53 c core #169 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 21 Core Weight: 1 Total Weight: 169 0.49/0.53 c Current CPU time: 0.414936 s 0.49/0.53 c 0.49/0.53 c core #170 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 170 0.49/0.53 c Current CPU time: 0.417936 s 0.49/0.53 c 0.49/0.53 c core #171 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 23 Core Weight: 1 Total Weight: 171 0.49/0.53 c Current CPU time: 0.420936 s 0.49/0.53 c 0.49/0.53 c core #172 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 23 Core Weight: 1 Total Weight: 172 0.49/0.53 c Current CPU time: 0.423935 s 0.49/0.53 c 0.49/0.53 c core #173 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 173 0.49/0.53 c Current CPU time: 0.426935 s 0.49/0.53 c 0.49/0.53 c core #174 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 20 Core Weight: 1 Total Weight: 174 0.49/0.53 c Current CPU time: 0.429934 s 0.49/0.53 c 0.49/0.53 c core #175 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 21 Core Weight: 1 Total Weight: 175 0.49/0.53 c Current CPU time: 0.432934 s 0.49/0.53 c 0.49/0.53 c core #176 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 20 Core Weight: 1 Total Weight: 176 0.49/0.53 c Current CPU time: 0.435933 s 0.49/0.53 c 0.49/0.53 c core #177 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 22 Core Weight: 1 Total Weight: 177 0.49/0.53 c Current CPU time: 0.438933 s 0.49/0.53 c 0.49/0.53 c core #178 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 13 Core Weight: 1 Total Weight: 178 0.49/0.54 c Current CPU time: 0.441932 s 0.49/0.54 c 0.49/0.54 c core #179 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 179 0.49/0.54 c Current CPU time: 0.444932 s 0.49/0.54 c 0.49/0.54 c core #180 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 180 0.49/0.54 c Current CPU time: 0.447931 s 0.49/0.54 c 0.49/0.54 c core #181 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 181 0.49/0.54 c Current CPU time: 0.450931 s 0.49/0.54 c 0.49/0.54 c core #182 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 182 0.49/0.54 c Current CPU time: 0.45393 s 0.49/0.54 c 0.49/0.54 c core #183 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 183 0.49/0.54 c Current CPU time: 0.45693 s 0.49/0.54 c 0.49/0.54 c core #184 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 184 0.49/0.54 c Current CPU time: 0.45993 s 0.49/0.54 c 0.49/0.54 c core #185 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 185 0.49/0.54 c Current CPU time: 0.462929 s 0.49/0.54 c 0.49/0.54 c core #186 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 186 0.49/0.54 c Current CPU time: 0.465929 s 0.49/0.54 c 0.49/0.54 c core #187 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 23 Core Weight: 1 Total Weight: 187 0.49/0.54 c Current CPU time: 0.468928 s 0.49/0.54 c 0.49/0.54 c core #188 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 23 Core Weight: 1 Total Weight: 188 0.49/0.54 c Current CPU time: 0.471928 s 0.49/0.54 c 0.49/0.54 c core #189 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 189 0.49/0.54 c Current CPU time: 0.474927 s 0.49/0.54 c 0.49/0.54 c core #190 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 190 0.49/0.54 c Current CPU time: 0.477927 s 0.49/0.54 c 0.49/0.54 c core #191 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 191 0.49/0.54 c Current CPU time: 0.480926 s 0.49/0.54 c 0.49/0.54 c core #192 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 192 0.49/0.54 c Current CPU time: 0.483926 s 0.49/0.54 c 0.49/0.54 c core #193 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 193 0.49/0.54 c Current CPU time: 0.486925 s 0.49/0.54 c 0.49/0.54 c core #194 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 13 Core Weight: 1 Total Weight: 194 0.49/0.54 c Current CPU time: 0.489925 s 0.49/0.54 c 0.49/0.54 c core #195 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 195 0.49/0.54 c Current CPU time: 0.493924 s 0.49/0.54 c 0.49/0.54 c core #196 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 196 0.49/0.54 c Current CPU time: 0.496924 s 0.49/0.54 c 0.49/0.54 c core #197 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 197 0.49/0.54 c Current CPU time: 0.499924 s 0.49/0.54 c 0.49/0.54 c core #198 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 198 0.49/0.54 c Current CPU time: 0.502923 s 0.49/0.54 c 0.49/0.54 c core #199 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 199 0.49/0.54 c Current CPU time: 0.505923 s 0.49/0.54 c 0.49/0.54 c core #200 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 200 0.49/0.54 c Current CPU time: 0.508922 s 0.49/0.54 c 0.49/0.54 c core #201 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 201 0.49/0.54 c Current CPU time: 0.512922 s 0.49/0.54 c 0.49/0.54 c core #202 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 202 0.49/0.54 c Current CPU time: 0.515921 s 0.49/0.54 c 0.49/0.54 c core #203 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 23 Core Weight: 1 Total Weight: 203 0.49/0.54 c Current CPU time: 0.518921 s 0.49/0.54 c 0.49/0.54 c core #204 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 23 Core Weight: 1 Total Weight: 204 0.49/0.54 c Current CPU time: 0.52192 s 0.49/0.54 c 0.49/0.54 c core #205 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 22 Core Weight: 1 Total Weight: 205 0.49/0.54 c Current CPU time: 0.52592 s 0.49/0.54 c 0.49/0.54 c core #206 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 206 0.49/0.54 c Current CPU time: 0.528919 s 0.49/0.54 c 0.49/0.54 c core #207 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 21 Core Weight: 1 Total Weight: 207 0.49/0.54 c Current CPU time: 0.531919 s 0.49/0.54 c 0.49/0.54 c core #208 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 20 Core Weight: 1 Total Weight: 208 0.49/0.54 c Current CPU time: 0.534918 s 0.49/0.54 c 0.49/0.54 c core #209 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 209 0.59/0.68 c Current CPU time: 0.538918 s 0.59/0.68 c 0.59/0.68 c core #210 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 13 Core Weight: 1 Total Weight: 210 0.59/0.68 c Current CPU time: 0.541917 s 0.59/0.68 c 0.59/0.68 c core #211 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 211 0.59/0.68 c Current CPU time: 0.544917 s 0.59/0.68 c 0.59/0.68 c core #212 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 212 0.59/0.68 c Current CPU time: 0.547916 s 0.59/0.68 c 0.59/0.68 c core #213 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 213 0.59/0.68 c Current CPU time: 0.551916 s 0.59/0.68 c 0.59/0.68 c core #214 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 214 0.59/0.68 c Current CPU time: 0.554915 s 0.59/0.68 c 0.59/0.68 c core #215 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 215 0.59/0.68 c Current CPU time: 0.557915 s 0.59/0.68 c 0.59/0.68 c core #216 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 216 0.59/0.68 c Current CPU time: 0.561914 s 0.59/0.68 c 0.59/0.68 c core #217 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 217 0.59/0.68 c Current CPU time: 0.564914 s 0.59/0.68 c 0.59/0.68 c core #218 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 218 0.59/0.68 c Current CPU time: 0.567913 s 0.59/0.68 c 0.59/0.68 c core #219 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 23 Core Weight: 1 Total Weight: 219 0.59/0.68 c Current CPU time: 0.571913 s 0.59/0.68 c 0.59/0.68 c core #220 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 23 Core Weight: 1 Total Weight: 220 0.59/0.68 c Current CPU time: 0.574912 s 0.59/0.68 c 0.59/0.68 c core #221 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 221 0.59/0.68 c Current CPU time: 0.577912 s 0.59/0.68 c 0.59/0.68 c core #222 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 222 0.59/0.68 c Current CPU time: 0.581911 s 0.59/0.68 c 0.59/0.68 c core #223 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 223 0.59/0.68 c Current CPU time: 0.584911 s 0.59/0.68 c 0.59/0.68 c core #224 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 224 0.59/0.68 c Current CPU time: 0.58891 s 0.59/0.68 c 0.59/0.68 c core #225 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 225 0.59/0.68 c Current CPU time: 0.59191 s 0.59/0.68 c 0.59/0.68 c core #226 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 13 Core Weight: 1 Total Weight: 226 0.59/0.68 c Current CPU time: 0.594909 s 0.59/0.68 c 0.59/0.68 c core #227 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 227 0.59/0.68 c Current CPU time: 0.598908 s 0.59/0.68 c 0.59/0.68 c core #228 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 228 0.59/0.68 c Current CPU time: 0.601908 s 0.59/0.68 c 0.59/0.68 c core #229 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 229 0.59/0.68 c Current CPU time: 0.605907 s 0.59/0.68 c 0.59/0.68 c core #230 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 230 0.59/0.68 c Current CPU time: 0.608907 s 0.59/0.68 c 0.59/0.68 c core #231 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 231 0.59/0.68 c Current CPU time: 0.612906 s 0.59/0.68 c 0.59/0.68 c core #232 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 232 0.59/0.68 c Current CPU time: 0.615906 s 0.59/0.68 c 0.59/0.68 c core #233 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 233 0.59/0.68 c Current CPU time: 0.619905 s 0.59/0.68 c 0.59/0.68 c core #234 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 234 0.59/0.68 c Current CPU time: 0.622905 s 0.59/0.68 c 0.59/0.68 c core #235 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 23 Core Weight: 1 Total Weight: 235 0.59/0.68 c Current CPU time: 0.626904 s 0.59/0.68 c 0.59/0.68 c core #236 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 23 Core Weight: 1 Total Weight: 236 0.59/0.68 c Current CPU time: 0.629904 s 0.59/0.68 c 0.59/0.68 c core #237 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 237 0.59/0.68 c Current CPU time: 0.633903 s 0.59/0.68 c 0.59/0.68 c core #238 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 238 0.59/0.68 c Current CPU time: 0.636903 s 0.59/0.68 c 0.59/0.68 c core #239 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 239 0.59/0.68 c Current CPU time: 0.640902 s 0.59/0.68 c 0.59/0.68 c core #240 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 240 0.59/0.68 c Current CPU time: 0.643902 s 0.59/0.68 c 0.59/0.68 c core #241 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 241 0.59/0.68 c Current CPU time: 0.647901 s 0.59/0.68 c 0.59/0.68 c core #242 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 13 Core Weight: 1 Total Weight: 242 0.59/0.68 c Current CPU time: 0.650901 s 0.59/0.68 c 0.59/0.68 c core #243 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 243 0.59/0.68 c Current CPU time: 0.6549 s 0.59/0.68 c 0.59/0.68 c core #244 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 20 Core Weight: 1 Total Weight: 244 0.59/0.68 c Current CPU time: 0.657899 s 0.59/0.68 c 0.59/0.68 c core #245 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 245 0.59/0.68 c Current CPU time: 0.661899 s 0.59/0.68 c 0.59/0.68 c core #246 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 246 0.59/0.68 c Current CPU time: 0.665898 s 0.59/0.68 c 0.59/0.68 c core #247 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 247 0.59/0.68 c Current CPU time: 0.668898 s 0.59/0.68 c 0.59/0.68 c core #248 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 22 Core Weight: 1 Total Weight: 248 0.59/0.68 c Current CPU time: 0.672897 s 0.59/0.68 c 0.59/0.68 c core #249 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 21 Core Weight: 1 Total Weight: 249 0.59/0.68 c Current CPU time: 0.675897 s 0.59/0.68 c 0.59/0.68 c core #250 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 250 0.79/0.83 c Current CPU time: 0.679896 s 0.79/0.83 c 0.79/0.83 c core #251 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 251 0.79/0.83 c Current CPU time: 0.683896 s 0.79/0.83 c 0.79/0.83 c core #252 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 252 0.79/0.83 c Current CPU time: 0.686895 s 0.79/0.83 c 0.79/0.83 c core #253 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 253 0.79/0.83 c Current CPU time: 0.690894 s 0.79/0.83 c 0.79/0.83 c core #254 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 254 0.79/0.83 c Current CPU time: 0.694894 s 0.79/0.83 c 0.79/0.83 c core #255 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 255 0.79/0.83 c Current CPU time: 0.697893 s 0.79/0.83 c 0.79/0.83 c core #256 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 256 0.79/0.83 c Current CPU time: 0.701893 s 0.79/0.83 c 0.79/0.83 c core #257 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 257 0.79/0.83 c Current CPU time: 0.705892 s 0.79/0.83 c 0.79/0.83 c core #258 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 13 Core Weight: 1 Total Weight: 258 0.79/0.83 c Current CPU time: 0.708892 s 0.79/0.83 c 0.79/0.83 c core #259 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 259 0.79/0.83 c Current CPU time: 0.712891 s 0.79/0.83 c 0.79/0.83 c core #260 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 260 0.79/0.83 c Current CPU time: 0.716891 s 0.79/0.83 c 0.79/0.83 c core #261 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 261 0.79/0.83 c Current CPU time: 0.71989 s 0.79/0.83 c 0.79/0.83 c core #262 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 262 0.79/0.83 c Current CPU time: 0.723889 s 0.79/0.83 c 0.79/0.83 c core #263 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 263 0.79/0.83 c Current CPU time: 0.727889 s 0.79/0.83 c 0.79/0.83 c core #264 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 264 0.79/0.83 c Current CPU time: 0.731888 s 0.79/0.83 c 0.79/0.83 c core #265 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 265 0.79/0.83 c Current CPU time: 0.734888 s 0.79/0.83 c 0.79/0.83 c core #266 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 266 0.79/0.83 c Current CPU time: 0.738887 s 0.79/0.83 c 0.79/0.83 c core #267 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 267 0.79/0.83 c Current CPU time: 0.742887 s 0.79/0.83 c 0.79/0.83 c core #268 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 268 0.79/0.83 c Current CPU time: 0.745886 s 0.79/0.83 c 0.79/0.83 c core #269 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 269 0.79/0.83 c Current CPU time: 0.749886 s 0.79/0.83 c 0.79/0.83 c core #270 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 270 0.79/0.83 c Current CPU time: 0.753885 s 0.79/0.83 c 0.79/0.83 c core #271 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 271 0.79/0.83 c Current CPU time: 0.757884 s 0.79/0.83 c 0.79/0.83 c core #272 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 272 0.79/0.83 c Current CPU time: 0.761884 s 0.79/0.83 c 0.79/0.83 c core #273 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 273 0.79/0.83 c Current CPU time: 0.764883 s 0.79/0.83 c 0.79/0.83 c core #274 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 13 Core Weight: 1 Total Weight: 274 0.79/0.83 c Current CPU time: 0.768883 s 0.79/0.83 c 0.79/0.83 c core #275 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 275 0.79/0.83 c Current CPU time: 0.772882 s 0.79/0.83 c 0.79/0.83 c core #276 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 276 0.79/0.83 c Current CPU time: 0.776881 s 0.79/0.83 c 0.79/0.83 c core #277 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 277 0.79/0.83 c Current CPU time: 0.780881 s 0.79/0.83 c 0.79/0.83 c core #278 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 278 0.79/0.83 c Current CPU time: 0.78488 s 0.79/0.83 c 0.79/0.83 c core #279 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 279 0.79/0.83 c Current CPU time: 0.78788 s 0.79/0.83 c 0.79/0.83 c core #280 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 280 0.79/0.83 c Current CPU time: 0.791879 s 0.79/0.83 c 0.79/0.83 c core #281 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 281 0.79/0.83 c Current CPU time: 0.795879 s 0.79/0.83 c 0.79/0.83 c core #282 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 282 0.79/0.83 c Current CPU time: 0.799878 s 0.79/0.83 c 0.79/0.83 c core #283 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 283 0.79/0.83 c Current CPU time: 0.803877 s 0.79/0.83 c 0.79/0.83 c core #284 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 23 Core Weight: 1 Total Weight: 284 0.79/0.83 c Current CPU time: 0.807877 s 0.79/0.83 c 0.79/0.83 c core #285 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 285 0.79/0.83 c Current CPU time: 0.811876 s 0.79/0.83 c 0.79/0.83 c core #286 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 286 0.79/0.83 c Current CPU time: 0.815875 s 0.79/0.83 c 0.79/0.83 c core #287 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 21 Core Weight: 1 Total Weight: 287 0.79/0.83 c Current CPU time: 0.819875 s 0.79/0.83 c 0.79/0.83 c core #288 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 20 Core Weight: 1 Total Weight: 288 0.79/0.83 c Current CPU time: 0.823874 s 0.79/0.83 c 0.79/0.83 c core #289 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 22 Core Weight: 1 Total Weight: 289 0.79/0.83 c Current CPU time: 0.826874 s 0.79/0.83 c 0.79/0.83 c core #290 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 13 Core Weight: 1 Total Weight: 290 0.79/0.83 c Current CPU time: 0.830873 s 0.79/0.83 c 0.79/0.83 c core #291 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 291 0.89/0.97 c Current CPU time: 0.834873 s 0.89/0.97 c 0.89/0.97 c core #292 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 292 0.89/0.97 c Current CPU time: 0.838872 s 0.89/0.97 c 0.89/0.97 c core #293 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 293 0.89/0.97 c Current CPU time: 0.842871 s 0.89/0.97 c 0.89/0.97 c core #294 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 294 0.89/0.97 c Current CPU time: 0.846871 s 0.89/0.97 c 0.89/0.97 c core #295 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 295 0.89/0.97 c Current CPU time: 0.85087 s 0.89/0.97 c 0.89/0.97 c core #296 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 296 0.89/0.97 c Current CPU time: 0.85487 s 0.89/0.97 c 0.89/0.97 c core #297 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 297 0.89/0.97 c Current CPU time: 0.858869 s 0.89/0.97 c 0.89/0.97 c core #298 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 298 0.89/0.97 c Current CPU time: 0.863868 s 0.89/0.97 c 0.89/0.97 c core #299 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 23 Core Weight: 1 Total Weight: 299 0.89/0.97 c Current CPU time: 0.867868 s 0.89/0.97 c 0.89/0.97 c core #300 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 23 Core Weight: 1 Total Weight: 300 0.89/0.97 c Current CPU time: 0.871867 s 0.89/0.97 c 0.89/0.97 c core #301 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 301 0.89/0.97 c Current CPU time: 0.875866 s 0.89/0.97 c 0.89/0.97 c core #302 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 302 0.89/0.97 c Current CPU time: 0.879866 s 0.89/0.97 c 0.89/0.97 c core #303 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 303 0.89/0.97 c Current CPU time: 0.883865 s 0.89/0.97 c 0.89/0.97 c core #304 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 304 0.89/0.97 c Current CPU time: 0.887865 s 0.89/0.97 c 0.89/0.97 c core #305 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 305 0.89/0.97 c Current CPU time: 0.891864 s 0.89/0.97 c 0.89/0.97 c core #306 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 13 Core Weight: 1 Total Weight: 306 0.89/0.97 c Current CPU time: 0.895863 s 0.89/0.97 c 0.89/0.97 c core #307 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 307 0.89/0.97 c Current CPU time: 0.899863 s 0.89/0.97 c 0.89/0.97 c core #308 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 308 0.89/0.97 c Current CPU time: 0.903862 s 0.89/0.97 c 0.89/0.97 c core #309 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 309 0.89/0.97 c Current CPU time: 0.906862 s 0.89/0.97 c 0.89/0.97 c core #310 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 310 0.89/0.97 c Current CPU time: 0.910861 s 0.89/0.97 c 0.89/0.97 c core #311 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 311 0.89/0.97 c Current CPU time: 0.91486 s 0.89/0.97 c 0.89/0.97 c core #312 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 312 0.89/0.97 c Current CPU time: 0.91886 s 0.89/0.97 c 0.89/0.97 c core #313 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 313 0.89/0.97 c Current CPU time: 0.923859 s 0.89/0.97 c 0.89/0.97 c core #314 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 314 0.89/0.97 c Current CPU time: 0.927858 s 0.89/0.97 c 0.89/0.97 c core #315 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 23 Core Weight: 1 Total Weight: 315 0.89/0.97 c Current CPU time: 0.931858 s 0.89/0.97 c 0.89/0.97 c core #316 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 23 Core Weight: 1 Total Weight: 316 0.89/0.97 c Current CPU time: 0.935857 s 0.89/0.97 c 0.89/0.97 c core #317 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 317 0.89/0.97 c Current CPU time: 0.939857 s 0.89/0.97 c 0.89/0.97 c core #318 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 318 0.89/0.97 c Current CPU time: 0.943856 s 0.89/0.97 c 0.89/0.97 c core #319 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 21 Core Weight: 1 Total Weight: 319 0.89/0.97 c Current CPU time: 0.947855 s 0.89/0.97 c 0.89/0.97 c core #320 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 20 Core Weight: 1 Total Weight: 320 0.89/0.97 c Current CPU time: 0.951855 s 0.89/0.97 c 0.89/0.97 c core #321 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 22 Core Weight: 1 Total Weight: 321 0.89/0.97 c Current CPU time: 0.955854 s 0.89/0.97 c 0.89/0.97 c core #322 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 211 Core Weight: 1 Total Weight: 322 0.89/0.97 c Current CPU time: 0.959854 s 0.89/0.97 c 0.89/0.97 c core #323 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 123 Core Weight: 1 Total Weight: 323 0.89/0.97 c Current CPU time: 0.964853 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 3458 9054 21446 | 5000 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #324 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 10 Core Weight: 1 Total Weight: 324 0.89/0.97 c Current CPU time: 0.969852 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 3464 9055 21458 | 5000 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #325 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 10 Core Weight: 1 Total Weight: 325 0.89/0.98 c Current CPU time: 0.973851 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 3470 9056 21470 | 5000 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #326 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 27 Core Weight: 1 Total Weight: 326 0.89/0.98 c Current CPU time: 0.978851 s 0.89/0.98 c 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 3480 9057 21490 | 5000 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #327 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 12 Core Weight: 1 Total Weight: 327 0.89/0.99 c Current CPU time: 0.98285 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 3487 9058 21504 | 5000 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #328 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 10 Core Weight: 1 Total Weight: 328 0.89/0.99 c Current CPU time: 0.987849 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 3493 9059 21516 | 5000 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #329 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 10 Core Weight: 1 Total Weight: 329 0.89/0.99 c Current CPU time: 0.991849 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 3499 9060 21528 | 5000 0 -nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.99/1.00 c core #330 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 20 Core Weight: 1 Total Weight: 330 0.99/1.00 c Current CPU time: 0.996848 s 0.99/1.00 c 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 3506 9061 21543 | 5000 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c core #331 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 23 Core Weight: 1 Total Weight: 331 0.99/1.00 c Current CPU time: 1.00185 s 0.99/1.00 c 0.99/1.00 c ============================[ Search Statistics ]============================== 0.99/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.00 c =============================================================================== 0.99/1.00 c | 0 | 3513 9062 21557 | 5000 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.01 c core #332 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 25 Core Weight: 1 Total Weight: 332 0.99/1.01 c Current CPU time: 1.00585 s 0.99/1.01 c 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 3522 9063 21575 | 5000 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #333 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 27 Core Weight: 1 Total Weight: 333 0.99/1.01 c Current CPU time: 1.01085 s 0.99/1.01 c 0.99/1.01 c ============================[ Search Statistics ]============================== 0.99/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.01 c =============================================================================== 0.99/1.01 c | 0 | 3532 9064 21595 | 5000 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.02 c core #334 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 25 Core Weight: 1 Total Weight: 334 0.99/1.02 c Current CPU time: 1.01585 s 0.99/1.02 c 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 3540 9065 21611 | 5000 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #335 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 12 Core Weight: 1 Total Weight: 335 0.99/1.02 c Current CPU time: 1.02084 s 0.99/1.02 c 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 3547 9066 21625 | 5000 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #336 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 35 Core Weight: 1 Total Weight: 336 0.99/1.03 c Current CPU time: 1.02484 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 3565 9067 21661 | 5000 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #337 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 10 Core Weight: 1 Total Weight: 337 0.99/1.03 c Current CPU time: 1.02984 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 3571 9068 21673 | 5000 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.04 c core #338 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 15 Core Weight: 1 Total Weight: 338 0.99/1.04 c Current CPU time: 1.03484 s 0.99/1.04 c 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 3582 9069 21695 | 5000 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #339 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 12 Core Weight: 1 Total Weight: 339 0.99/1.04 c Current CPU time: 1.03884 s 0.99/1.04 c 0.99/1.04 c ============================[ Search Statistics ]============================== 0.99/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.04 c =============================================================================== 0.99/1.04 c | 0 | 3589 9070 21709 | 5000 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.05 c core #340 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 14 Core Weight: 1 Total Weight: 340 0.99/1.05 c Current CPU time: 1.04384 s 0.99/1.05 c 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 3597 9071 21725 | 5000 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #341 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 15 Core Weight: 1 Total Weight: 341 0.99/1.05 c Current CPU time: 1.04884 s 0.99/1.05 c 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 3608 9072 21747 | 5000 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.06 c core #342 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 12 Core Weight: 1 Total Weight: 342 0.99/1.06 c Current CPU time: 1.05384 s 0.99/1.06 c 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 3615 9073 21761 | 5000 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #343 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 10 Core Weight: 1 Total Weight: 343 0.99/1.06 c Current CPU time: 1.05884 s 0.99/1.06 c 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 3621 9074 21773 | 5000 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.07 c core #344 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 10 Core Weight: 1 Total Weight: 344 0.99/1.07 c Current CPU time: 1.06384 s 0.99/1.07 c 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 3627 9075 21785 | 5000 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #345 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 12 Core Weight: 1 Total Weight: 345 0.99/1.07 c Current CPU time: 1.06884 s 0.99/1.07 c 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 3634 9076 21799 | 5000 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #346 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 14 Core Weight: 1 Total Weight: 346 0.99/1.08 c Current CPU time: 1.07384 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 3642 9077 21815 | 5000 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c core #347 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 15 Core Weight: 1 Total Weight: 347 0.99/1.08 c Current CPU time: 1.07883 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 3653 9078 21837 | 5000 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #348 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 12 Core Weight: 1 Total Weight: 348 0.99/1.09 c Current CPU time: 1.08384 s 0.99/1.09 c 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 3660 9079 21851 | 5000 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #349 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 10 Core Weight: 1 Total Weight: 349 0.99/1.09 c Current CPU time: 1.08883 s 0.99/1.09 c 0.99/1.09 c ============================[ Search Statistics ]============================== 0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.09 c =============================================================================== 0.99/1.09 c | 0 | 3666 9080 21863 | 5000 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #350 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 10 Core Weight: 1 Total Weight: 350 0.99/1.10 c Current CPU time: 1.09383 s 0.99/1.10 c 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 3672 9081 21875 | 5000 0 -nan | 0.000 % | 0.99/1.10 c =============================================================================== 0.99/1.10 c core #351 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 12 Core Weight: 1 Total Weight: 351 0.99/1.10 c Current CPU time: 1.09883 s 0.99/1.10 c 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 3679 9082 21889 | 5000 0 -nan | 0.000 % | 0.99/1.10 c =============================================================================== 0.99/1.11 c core #352 0.99/1.11 c 0.99/1.11 c 0.99/1.11 c Core size: 10 Core Weight: 1 Total Weight: 352 0.99/1.11 c Current CPU time: 1.10383 s 0.99/1.11 c 0.99/1.11 c ============================[ Search Statistics ]============================== 0.99/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.11 c =============================================================================== 0.99/1.11 c | 0 | 3685 9083 21901 | 5000 0 -nan | 0.000 % | 0.99/1.11 c =============================================================================== 0.99/1.11 c core #353 0.99/1.11 c 0.99/1.11 c 0.99/1.11 c Core size: 10 Core Weight: 1 Total Weight: 353 0.99/1.11 c Current CPU time: 1.10883 s 0.99/1.11 c 0.99/1.11 c ============================[ Search Statistics ]============================== 0.99/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.11 c =============================================================================== 0.99/1.11 c | 0 | 3691 9084 21913 | 5000 0 -nan | 0.000 % | 0.99/1.11 c =============================================================================== 1.10/1.12 c core #354 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 12 Core Weight: 1 Total Weight: 354 1.10/1.12 c Current CPU time: 1.11383 s 1.10/1.12 c 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 3698 9085 21927 | 5000 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c core #355 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 12 Core Weight: 1 Total Weight: 355 1.10/1.12 c Current CPU time: 1.11983 s 1.10/1.12 c 1.10/1.12 c ============================[ Search Statistics ]============================== 1.10/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.12 c =============================================================================== 1.10/1.12 c | 0 | 3705 9086 21941 | 5000 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.13 c core #356 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 12 Core Weight: 1 Total Weight: 356 1.10/1.13 c Current CPU time: 1.12483 s 1.10/1.13 c 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 3712 9087 21955 | 5000 0 -nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #357 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 12 Core Weight: 1 Total Weight: 357 1.10/1.13 c Current CPU time: 1.12983 s 1.10/1.13 c 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 3719 9088 21969 | 5000 0 -nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.14 c core #358 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 13 Core Weight: 1 Total Weight: 358 1.10/1.14 c Current CPU time: 1.13483 s 1.10/1.14 c 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 3728 9089 21987 | 5000 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c core #359 1.10/1.14 c 1.10/1.14 c 1.10/1.14 c Core size: 10 Core Weight: 1 Total Weight: 359 1.10/1.14 c Current CPU time: 1.13983 s 1.10/1.14 c 1.10/1.14 c ============================[ Search Statistics ]============================== 1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.14 c =============================================================================== 1.10/1.14 c | 0 | 3734 9090 21999 | 5000 0 -nan | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.15 c core #360 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 10 Core Weight: 1 Total Weight: 360 1.10/1.15 c Current CPU time: 1.14482 s 1.10/1.15 c 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 3740 9091 22011 | 5000 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c core #361 1.10/1.15 c 1.10/1.15 c 1.10/1.15 c Core size: 14 Core Weight: 1 Total Weight: 361 1.10/1.15 c Current CPU time: 1.14983 s 1.10/1.15 c 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 3748 9092 22027 | 5000 0 -nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #362 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 32 Core Weight: 1 Total Weight: 362 1.10/1.16 c Current CPU time: 1.15482 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 3763 9093 22058 | 5000 0 -nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c core #363 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 16 Core Weight: 1 Total Weight: 363 1.10/1.16 c Current CPU time: 1.15982 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 3771 9094 22074 | 5000 0 -nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.17 c core #364 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 10 Core Weight: 1 Total Weight: 364 1.10/1.17 c Current CPU time: 1.16482 s 1.10/1.17 c 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 3777 9095 22086 | 5000 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c core #365 1.10/1.17 c 1.10/1.17 c 1.10/1.17 c Core size: 28 Core Weight: 1 Total Weight: 365 1.10/1.17 c Current CPU time: 1.16982 s 1.10/1.17 c 1.10/1.17 c ============================[ Search Statistics ]============================== 1.10/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.17 c =============================================================================== 1.10/1.17 c | 0 | 3789 9097 22114 | 5000 0 -nan | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.18 c core #366 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 29 Core Weight: 1 Total Weight: 366 1.10/1.18 c Current CPU time: 1.17482 s 1.10/1.18 c 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 3802 9098 22140 | 5000 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c core #367 1.10/1.18 c 1.10/1.18 c 1.10/1.18 c Core size: 22 Core Weight: 1 Total Weight: 367 1.10/1.18 c Current CPU time: 1.18082 s 1.10/1.18 c 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 3812 9099 22160 | 5000 0 -nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.19 c core #368 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 39 Core Weight: 1 Total Weight: 368 1.10/1.19 c Current CPU time: 1.18482 s 1.10/1.19 c 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 3832 9100 22200 | 5000 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c core #369 1.10/1.19 c 1.10/1.19 c 1.10/1.19 c Core size: 12 Core Weight: 1 Total Weight: 369 1.10/1.19 c Current CPU time: 1.18982 s 1.10/1.19 c 1.10/1.19 c ============================[ Search Statistics ]============================== 1.10/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.19 c =============================================================================== 1.10/1.19 c | 0 | 3839 9101 22214 | 5000 0 -nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.20 c core #370 1.10/1.20 c 1.10/1.20 c 1.10/1.20 c Core size: 23 Core Weight: 1 Total Weight: 370 1.10/1.20 c Current CPU time: 1.19582 s 1.10/1.20 c 1.10/1.20 c ============================[ Search Statistics ]============================== 1.10/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.20 c =============================================================================== 1.10/1.20 c | 0 | 3849 9102 22234 | 5000 0 -nan | 0.000 % | 1.10/1.20 c =============================================================================== 1.10/1.20 c core #371 1.10/1.20 c 1.10/1.20 c 1.10/1.20 c Core size: 16 Core Weight: 1 Total Weight: 371 1.10/1.20 c Current CPU time: 1.20082 s 1.10/1.20 c 1.10/1.20 c ============================[ Search Statistics ]============================== 1.10/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.20 c =============================================================================== 1.10/1.20 c | 0 | 3858 9103 22252 | 5000 0 -nan | 0.000 % | 1.10/1.20 c =============================================================================== 1.10/1.21 c core #372 1.10/1.21 c 1.10/1.21 c 1.10/1.21 c Core size: 10 Core Weight: 1 Total Weight: 372 1.10/1.21 c Current CPU time: 1.20582 s 1.10/1.21 c 1.10/1.21 c ============================[ Search Statistics ]============================== 1.10/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.21 c =============================================================================== 1.10/1.21 c | 0 | 3864 9104 22264 | 5000 0 -nan | 0.000 % | 1.10/1.21 c =============================================================================== 1.10/1.21 c core #373 1.10/1.21 c 1.10/1.21 c 1.10/1.21 c Core size: 10 Core Weight: 1 Total Weight: 373 1.10/1.21 c Current CPU time: 1.21081 s 1.10/1.21 c 1.10/1.21 c ============================[ Search Statistics ]============================== 1.10/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.21 c =============================================================================== 1.10/1.21 c | 0 | 3870 9105 22276 | 5000 0 -nan | 0.000 % | 1.10/1.22 c =============================================================================== 1.21/1.22 c core #374 1.21/1.22 c 1.21/1.22 c 1.21/1.22 c Core size: 10 Core Weight: 1 Total Weight: 374 1.21/1.22 c Current CPU time: 1.21582 s 1.21/1.22 c 1.21/1.22 c ============================[ Search Statistics ]============================== 1.21/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.22 c =============================================================================== 1.21/1.22 c | 0 | 3876 9106 22288 | 5000 0 -nan | 0.000 % | 1.21/1.22 c =============================================================================== 1.21/1.22 c core #375 1.21/1.22 c 1.21/1.22 c 1.21/1.22 c Core size: 13 Core Weight: 1 Total Weight: 375 1.21/1.22 c Current CPU time: 1.22081 s 1.21/1.22 c 1.21/1.22 c ============================[ Search Statistics ]============================== 1.21/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.22 c =============================================================================== 1.21/1.22 c | 0 | 3884 9107 22304 | 5000 0 -nan | 0.000 % | 1.21/1.22 c =============================================================================== 1.21/1.23 c core #376 1.21/1.23 c 1.21/1.23 c 1.21/1.23 c Core size: 15 Core Weight: 1 Total Weight: 376 1.21/1.23 c Current CPU time: 1.22581 s 1.21/1.23 c 1.21/1.23 c ============================[ Search Statistics ]============================== 1.21/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.23 c =============================================================================== 1.21/1.23 c | 0 | 3893 9108 22322 | 5000 0 -nan | 0.000 % | 1.21/1.23 c =============================================================================== 1.21/1.23 c core #377 1.21/1.23 c 1.21/1.23 c 1.21/1.23 c Core size: 22 Core Weight: 1 Total Weight: 377 1.21/1.23 c Current CPU time: 1.23081 s 1.21/1.23 c 1.21/1.23 c ============================[ Search Statistics ]============================== 1.21/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.23 c =============================================================================== 1.21/1.23 c | 0 | 3909 9109 22354 | 5000 0 -nan | 0.000 % | 1.21/1.24 c =============================================================================== 1.21/1.24 c core #378 1.21/1.24 c 1.21/1.24 c 1.21/1.24 c Core size: 21 Core Weight: 1 Total Weight: 378 1.21/1.24 c Current CPU time: 1.23581 s 1.21/1.24 c 1.21/1.24 c ============================[ Search Statistics ]============================== 1.21/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.24 c =============================================================================== 1.21/1.24 c | 0 | 3917 9111 22373 | 5000 0 -nan | 0.000 % | 1.21/1.24 c =============================================================================== 1.21/1.25 c core #379 1.21/1.25 c 1.21/1.25 c 1.21/1.25 c Core size: 28 Core Weight: 1 Total Weight: 379 1.21/1.25 c Current CPU time: 1.24181 s 1.21/1.25 c 1.21/1.25 c ============================[ Search Statistics ]============================== 1.21/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.25 c =============================================================================== 1.21/1.25 c | 0 | 3930 9112 22400 | 5000 0 -nan | 0.000 % | 1.21/1.25 c =============================================================================== 1.21/1.25 c core #380 1.21/1.25 c 1.21/1.25 c 1.21/1.25 c Core size: 30 Core Weight: 1 Total Weight: 380 1.21/1.25 c Current CPU time: 1.24581 s 1.21/1.25 c 1.21/1.25 c ============================[ Search Statistics ]============================== 1.21/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.25 c =============================================================================== 1.21/1.25 c | 0 | 3938 9113 22417 | 5000 0 -nan | 0.000 % | 1.21/1.25 c =============================================================================== 1.21/1.26 c core #381 1.21/1.26 c 1.21/1.26 c 1.21/1.26 c Core size: 25 Core Weight: 1 Total Weight: 381 1.21/1.26 c Current CPU time: 1.25081 s 1.21/1.26 c 1.21/1.26 c ============================[ Search Statistics ]============================== 1.21/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.26 c =============================================================================== 1.21/1.26 c | 0 | 3947 9114 22435 | 5000 0 -nan | 0.000 % | 1.21/1.26 c =============================================================================== 1.21/1.26 c core #382 1.21/1.26 c 1.21/1.26 c 1.21/1.26 c Core size: 12 Core Weight: 1 Total Weight: 382 1.21/1.26 c Current CPU time: 1.25581 s 1.21/1.26 c 1.21/1.26 c ============================[ Search Statistics ]============================== 1.21/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.26 c =============================================================================== 1.21/1.26 c | 0 | 3954 9115 22449 | 5000 0 -nan | 0.000 % | 1.21/1.26 c =============================================================================== 1.21/1.27 c core #383 1.21/1.27 c 1.21/1.27 c 1.21/1.27 c Core size: 14 Core Weight: 1 Total Weight: 383 1.21/1.27 c Current CPU time: 1.26181 s 1.21/1.27 c 1.21/1.27 c ============================[ Search Statistics ]============================== 1.21/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.27 c =============================================================================== 1.21/1.27 c | 0 | 3963 9116 22467 | 5000 0 -nan | 0.000 % | 1.21/1.27 c =============================================================================== 1.21/1.27 c core #384 1.21/1.27 c 1.21/1.27 c 1.21/1.27 c Core size: 30 Core Weight: 1 Total Weight: 384 1.21/1.27 c Current CPU time: 1.26681 s 1.21/1.27 c 1.21/1.27 c ============================[ Search Statistics ]============================== 1.21/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.27 c =============================================================================== 1.21/1.27 c | 0 | 3974 9117 22489 | 5000 0 -nan | 0.000 % | 1.21/1.27 c =============================================================================== 1.21/1.28 c core #385 1.21/1.28 c 1.21/1.28 c 1.21/1.28 c Core size: 12 Core Weight: 1 Total Weight: 385 1.21/1.28 c Current CPU time: 1.27281 s 1.21/1.28 c 1.21/1.28 c ============================[ Search Statistics ]============================== 1.21/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.28 c =============================================================================== 1.21/1.28 c | 0 | 3981 9118 22503 | 5000 0 -nan | 0.000 % | 1.21/1.28 c =============================================================================== 1.21/1.28 c core #386 1.21/1.28 c 1.21/1.28 c 1.21/1.28 c Core size: 30 Core Weight: 1 Total Weight: 386 1.21/1.28 c Current CPU time: 1.2768 s 1.21/1.28 c 1.21/1.28 c ============================[ Search Statistics ]============================== 1.21/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.28 c =============================================================================== 1.21/1.28 c | 0 | 3991 9119 22523 | 5000 0 -nan | 0.000 % | 1.21/1.28 c =============================================================================== 1.21/1.29 c core #387 1.21/1.29 c 1.21/1.29 c 1.21/1.29 c Core size: 15 Core Weight: 1 Total Weight: 387 1.21/1.29 c Current CPU time: 1.28181 s 1.21/1.29 c 1.21/1.29 c ============================[ Search Statistics ]============================== 1.21/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.29 c =============================================================================== 1.21/1.29 c | 0 | 4001 9120 22544 | 5000 0 -nan | 0.000 % | 1.21/1.29 c =============================================================================== 1.21/1.29 c core #388 1.21/1.29 c 1.21/1.29 c 1.21/1.29 c Core size: 27 Core Weight: 1 Total Weight: 388 1.21/1.29 c Current CPU time: 1.2868 s 1.21/1.29 c 1.21/1.29 c ============================[ Search Statistics ]============================== 1.21/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.29 c =============================================================================== 1.21/1.29 c | 0 | 4009 9121 22560 | 5000 0 -nan | 0.000 % | 1.21/1.29 c =============================================================================== 1.29/1.30 c core #389 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 12 Core Weight: 1 Total Weight: 389 1.29/1.30 c Current CPU time: 1.2918 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 4016 9122 22574 | 5000 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c core #390 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 27 Core Weight: 1 Total Weight: 390 1.29/1.30 c Current CPU time: 1.2968 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 4028 9123 22599 | 5000 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #391 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 27 Core Weight: 1 Total Weight: 391 1.29/1.31 c Current CPU time: 1.3018 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 4036 9124 22615 | 5000 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c core #392 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 28 Core Weight: 1 Total Weight: 392 1.29/1.31 c Current CPU time: 1.3078 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 4046 9125 22635 | 5000 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.32 c core #393 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 32 Core Weight: 1 Total Weight: 393 1.29/1.32 c Current CPU time: 1.3128 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 4062 9126 22667 | 5000 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #394 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 38 Core Weight: 1 Total Weight: 394 1.29/1.32 c Current CPU time: 1.3188 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 4085 9127 22713 | 5000 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c core #395 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 28 Core Weight: 1 Total Weight: 395 1.29/1.33 c Current CPU time: 1.3238 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 4105 9128 22753 | 5000 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #396 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 26 Core Weight: 1 Total Weight: 396 1.29/1.34 c Current CPU time: 1.3298 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 4122 9129 22787 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #397 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 31 Core Weight: 1 Total Weight: 397 1.29/1.34 c Current CPU time: 1.3348 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 4142 9130 22827 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #398 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 12 Core Weight: 1 Total Weight: 398 1.29/1.35 c Current CPU time: 1.3398 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 4149 9131 22841 | 5000 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #399 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 29 Core Weight: 1 Total Weight: 399 1.29/1.35 c Current CPU time: 1.34479 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 4161 9132 22865 | 5000 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #400 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 10 Core Weight: 1 Total Weight: 400 1.29/1.36 c Current CPU time: 1.35079 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 4167 9133 22877 | 5000 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #401 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 21 Core Weight: 1 Total Weight: 401 1.29/1.36 c Current CPU time: 1.35579 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 4182 9134 22907 | 5000 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #402 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 22 Core Weight: 1 Total Weight: 402 1.29/1.37 c Current CPU time: 1.36079 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4190 9135 22923 | 5000 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c core #403 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 23 Core Weight: 1 Total Weight: 403 1.29/1.37 c Current CPU time: 1.36679 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4197 9136 22937 | 5000 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.38 c core #404 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 30 Core Weight: 1 Total Weight: 404 1.29/1.38 c Current CPU time: 1.37179 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4211 9137 22965 | 5000 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #405 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 20 Core Weight: 1 Total Weight: 405 1.29/1.38 c Current CPU time: 1.37779 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4225 9139 22996 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #406 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 22 Core Weight: 1 Total Weight: 406 1.29/1.39 c Current CPU time: 1.38379 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 4239 9140 23024 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #407 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 31 Core Weight: 1 Total Weight: 407 1.39/1.40 c Current CPU time: 1.38879 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 4254 9142 23056 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c core #408 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 15 Core Weight: 1 Total Weight: 408 1.39/1.40 c Current CPU time: 1.39479 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 4263 9143 23074 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #409 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 34 Core Weight: 1 Total Weight: 409 1.39/1.41 c Current CPU time: 1.39979 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 4279 9144 23106 | 5000 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #410 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 32 Core Weight: 1 Total Weight: 410 1.39/1.41 c Current CPU time: 1.40479 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 4291 9145 23131 | 5000 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #411 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 19 Core Weight: 1 Total Weight: 411 1.39/1.42 c Current CPU time: 1.40979 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 4302 9147 23155 | 5000 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c core #412 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 36 Core Weight: 1 Total Weight: 412 1.39/1.42 c Current CPU time: 1.41478 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 4315 9148 23181 | 5000 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #413 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 14 Core Weight: 1 Total Weight: 413 1.39/1.43 c Current CPU time: 1.41978 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 4323 9150 23200 | 5000 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #414 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 37 Core Weight: 1 Total Weight: 414 1.39/1.44 c Current CPU time: 1.42578 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 4349 9151 23252 | 5000 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #415 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 25 Core Weight: 1 Total Weight: 415 1.39/1.44 c Current CPU time: 1.43178 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 4368 9152 23291 | 5000 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #416 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 22 Core Weight: 1 Total Weight: 416 1.39/1.45 c Current CPU time: 1.43678 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 4374 9154 23306 | 5000 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c core #417 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 26 Core Weight: 1 Total Weight: 417 1.39/1.45 c Current CPU time: 1.44278 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 4379 9155 23316 | 5000 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.46 c core #418 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 22 Core Weight: 1 Total Weight: 418 1.39/1.46 c Current CPU time: 1.44778 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 4387 9157 23334 | 5000 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #419 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 38 Core Weight: 1 Total Weight: 419 1.39/1.46 c Current CPU time: 1.45378 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 4409 9158 23378 | 5000 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #420 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 24 Core Weight: 1 Total Weight: 420 1.39/1.47 c Current CPU time: 1.46078 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 4415 9160 23393 | 5000 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #421 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 19 Core Weight: 1 Total Weight: 421 1.39/1.48 c Current CPU time: 1.46578 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 4430 9161 23423 | 5000 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c core #422 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 44 Core Weight: 1 Total Weight: 422 1.39/1.48 c Current CPU time: 1.47078 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 4458 9163 23481 | 5000 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #423 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 53 Core Weight: 1 Total Weight: 423 1.39/1.49 c Current CPU time: 1.47778 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 4490 9164 23545 | 5000 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #424 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 18 Core Weight: 1 Total Weight: 424 1.39/1.49 c Current CPU time: 1.48377 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 4501 9166 23570 | 5000 0 -nan | 0.000 % | 1.39/1.50 c =============================================================================== 1.49/1.50 c core #425 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 22 Core Weight: 1 Total Weight: 425 1.49/1.50 c Current CPU time: 1.48977 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 4507 9168 23585 | 5000 0 -nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.51 c core #426 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 23 Core Weight: 1 Total Weight: 426 1.49/1.51 c Current CPU time: 1.49677 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 4514 9169 23599 | 5000 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c core #427 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 20 Core Weight: 1 Total Weight: 427 1.49/1.51 c Current CPU time: 1.50277 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 4525 9170 23621 | 5000 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #428 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 16 Core Weight: 1 Total Weight: 428 1.49/1.52 c Current CPU time: 1.50977 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 4538 9171 23647 | 5000 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.53 c core #429 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 49 Core Weight: 1 Total Weight: 429 1.49/1.53 c Current CPU time: 1.51677 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 4574 9172 23719 | 5000 0 -nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.54 c core #430 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 26 Core Weight: 1 Total Weight: 430 1.49/1.54 c Current CPU time: 1.52477 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 4583 9174 23739 | 5000 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #431 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 40 Core Weight: 1 Total Weight: 431 1.49/1.54 c Current CPU time: 1.53177 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 4610 9175 23793 | 5000 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.55 c core #432 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 53 Core Weight: 1 Total Weight: 432 1.49/1.55 c Current CPU time: 1.53877 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 4646 9177 23867 | 5000 0 -nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.56 c core #433 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 29 Core Weight: 1 Total Weight: 433 1.49/1.56 c Current CPU time: 1.54576 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 4663 9178 23901 | 5000 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #434 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 33 Core Weight: 1 Total Weight: 434 1.49/1.56 c Current CPU time: 1.55376 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 4690 9180 23958 | 5000 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #435 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 31 Core Weight: 1 Total Weight: 435 1.49/1.57 c Current CPU time: 1.55876 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 4706 9182 23993 | 5000 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #436 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 46 Core Weight: 1 Total Weight: 436 1.49/1.58 c Current CPU time: 1.56776 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 4736 9185 24058 | 5000 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.59 c core #437 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 39 Core Weight: 1 Total Weight: 437 1.49/1.59 c Current CPU time: 1.57576 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 4765 9187 24118 | 5000 0 -nan | 0.000 % | 1.49/1.59 c | 100 | 4714 9187 24118 | 5500 100 5 | 2.241 % | 1.49/1.59 c | 251 | 4640 9187 24118 | 6050 251 6 | 4.922 % | 1.49/1.59 c =============================================================================== 1.59/1.60 c core #438 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 76 Core Weight: 1 Total Weight: 438 1.59/1.60 c Current CPU time: 1.58776 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 4821 9189 24232 | 5000 0 -nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c core #439 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 12 Core Weight: 1 Total Weight: 439 1.59/1.60 c Current CPU time: 1.59276 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 4830 9190 24250 | 5000 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 4764 9190 24250 | 5500 100 5 | 2.211 % | 1.59/1.61 c =============================================================================== 1.59/1.62 c core #440 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 142 Core Weight: 1 Total Weight: 440 1.59/1.62 c Current CPU time: 1.60376 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 4943 9195 24484 | 5000 0 -nan | 0.000 % | 1.59/1.62 c | 100 | 4943 9195 24484 | 5500 100 9 | 0.323 % | 1.59/1.62 c =============================================================================== 1.59/1.63 c core #441 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 39 Core Weight: 1 Total Weight: 441 1.59/1.63 c Current CPU time: 1.61375 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 4964 9198 24531 | 5000 0 -nan | 0.000 % | 1.59/1.63 c | 100 | 4959 9198 24531 | 5500 100 9 | 0.322 % | 1.59/1.64 c | 250 | 4905 9198 24531 | 6050 250 7 | 3.699 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #442 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 103 Core Weight: 1 Total Weight: 442 1.59/1.64 c Current CPU time: 1.62675 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 5047 9202 24704 | 5000 0 -nan | 0.000 % | 1.59/1.65 c | 100 | 5039 9202 24704 | 5500 100 7 | 0.395 % | 1.59/1.65 c =============================================================================== 1.59/1.66 c core #443 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 53 Core Weight: 1 Total Weight: 443 1.59/1.66 c Current CPU time: 1.64075 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 5082 9204 24776 | 5000 0 -nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #444 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 26 Core Weight: 1 Total Weight: 444 1.59/1.66 c Current CPU time: 1.64775 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 5101 9205 24814 | 5000 0 -nan | 0.000 % | 1.59/1.67 c | 101 | 5096 9205 24814 | 5500 101 6 | 0.352 % | 1.59/1.67 c | 253 | 4961 9205 24814 | 6050 253 6 | 2.954 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c core #445 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 65 Core Weight: 1 Total Weight: 445 1.59/1.68 c Current CPU time: 1.66675 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 5144 9209 24908 | 5000 0 -nan | 0.000 % | 1.59/1.69 c | 100 | 5142 9209 24908 | 5500 100 5 | 0.446 % | 1.59/1.69 c | 250 | 5115 9209 24908 | 6050 250 7 | 1.630 % | 1.69/1.70 c | 476 | 5047 9209 24908 | 6655 476 9 | 2.949 % | 1.69/1.70 c =============================================================================== 1.69/1.71 c core #446 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 207 Core Weight: 1 Total Weight: 446 1.69/1.71 c Current CPU time: 1.69374 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 5318 9217 25273 | 5000 0 -nan | 0.000 % | 1.69/1.71 c | 100 | 5316 9217 25273 | 5500 100 9 | 0.225 % | 1.69/1.72 c | 252 | 5316 9217 25273 | 6050 252 9 | 0.263 % | 1.69/1.72 c | 478 | 5272 9217 25273 | 6655 478 9 | 1.840 % | 1.69/1.74 c | 815 | 5066 9217 25273 | 7320 815 10 | 5.837 % | 1.69/1.74 c =============================================================================== 1.69/1.75 c core #447 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 323 Core Weight: 1 Total Weight: 447 1.69/1.75 c Current CPU time: 1.72974 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 5558 9229 25782 | 5000 0 -nan | 0.000 % | 1.69/1.75 c | 100 | 5538 9229 25782 | 5500 100 8 | 1.239 % | 1.69/1.76 c | 250 | 5537 9229 25782 | 6050 250 10 | 1.239 % | 1.69/1.77 c | 476 | 5498 9229 25782 | 6655 476 16 | 1.257 % | 1.69/1.78 c | 813 | 5495 9229 25782 | 7320 813 21 | 1.329 % | 1.79/1.81 c | 1319 | 5494 9229 25782 | 8052 1319 28 | 1.329 % | 1.79/1.84 c | 2081 | 5494 9229 25782 | 8857 2081 31 | 1.329 % | 1.89/1.91 c | 3220 | 5494 9229 25782 | 9743 3220 38 | 1.329 % | 1.99/2.03 c | 4928 | 5490 9229 25782 | 10717 4928 39 | 1.437 % | 2.31/2.33 c | 7490 | 5488 9229 25782 | 11789 7490 49 | 1.437 % | 2.79/2.83 c | 11338 | 5483 9229 25782 | 12968 11338 51 | 1.706 % | 3.20/3.31 c =============================================================================== 3.30/3.38 c core #448 3.30/3.38 c 3.30/3.38 c 3.30/3.38 c Core size: 402 Core Weight: 1 Total Weight: 448 3.30/3.38 c Current CPU time: 3.34549 s 3.30/3.38 c 3.30/3.38 c ============================[ Search Statistics ]============================== 3.30/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.38 c =============================================================================== 3.30/3.38 c | 0 | 5894 9242 26483 | 5000 0 -nan | 0.000 % | 3.30/3.39 c | 103 | 5894 9242 26483 | 5500 103 11 | 0.170 % | 3.30/3.40 c | 254 | 5894 9242 26483 | 6050 254 18 | 0.169 % | 3.30/3.40 c | 479 | 5894 9242 26483 | 6655 479 26 | 0.169 % | 3.41/3.42 c | 824 | 5894 9242 26483 | 7320 824 37 | 0.169 % | 3.41/3.45 c | 1331 | 5892 9242 26483 | 8052 1331 39 | 0.203 % | 3.41/3.49 c | 2093 | 5886 9242 26483 | 8857 2093 35 | 0.305 % | 3.49/3.57 c | 3236 | 5852 9242 26483 | 9743 3236 48 | 1.457 % | 3.69/3.71 c | 4944 | 5810 9242 26483 | 10717 4944 48 | 1.626 % | 3.89/3.92 c | 7507 | 5778 9242 26483 | 11789 7507 50 | 2.778 % | 4.30/4.31 c | 11354 | 5720 9242 26483 | 12968 11354 51 | 3.438 % | 4.89/4.97 c | 17122 | 5700 9242 26483 | 14265 10483 54 | 3.455 % | 5.61/5.69 c =============================================================================== 5.69/5.78 c core #449 5.69/5.78 c 5.69/5.78 c 5.69/5.78 c Core size: 451 Core Weight: 1 Total Weight: 449 5.69/5.78 c Current CPU time: 5.71813 s 5.69/5.78 c 5.69/5.78 c ============================[ Search Statistics ]============================== 5.69/5.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.78 c =============================================================================== 5.69/5.78 c | 0 | 6253 9270 27263 | 5000 0 -nan | 0.000 % | 5.69/5.79 c | 102 | 6253 9270 27263 | 5500 102 24 | 0.160 % | 5.79/5.80 c | 254 | 6253 9270 27263 | 6050 254 22 | 0.160 % | 5.79/5.80 c | 479 | 6253 9270 27263 | 6655 479 19 | 0.160 % | 5.79/5.82 c | 816 | 6253 9270 27263 | 7320 816 22 | 0.160 % | 5.79/5.85 c | 1325 | 6253 9270 27263 | 8052 1325 35 | 0.160 % | 5.79/5.89 c | 2085 | 6253 9270 27263 | 8857 2085 35 | 0.160 % | 5.89/5.95 c | 3224 | 6253 9270 27263 | 9743 3224 41 | 0.160 % | 5.99/6.01 c | 4932 | 6253 9270 27263 | 10717 4932 35 | 0.160 % | 6.19/6.23 c | 7495 | 6253 9270 27263 | 11789 7495 41 | 0.160 % | 6.49/6.58 c | 11343 | 6253 9270 27263 | 12968 11343 58 | 0.160 % | 6.99/7.01 c | 17111 | 6251 9270 27263 | 14265 10499 59 | 0.192 % | 8.29/8.38 c | 25761 | 6251 9270 27263 | 15692 11786 90 | 0.192 % | 11.29/11.38 c | 38735 | 6249 9270 27263 | 17261 16473 135 | 0.224 % | 13.79/13.84 c | 58196 | 6247 9270 27263 | 18987 9247 60 | 0.256 % | 17.99/18.02 c | 87393 | 6229 9270 27263 | 20886 18999 77 | 0.543 % | 28.49/28.60 c | 131182 | 6225 9270 27263 | 22974 20143 79 | 0.607 % | 33.11/33.12 c =============================================================================== 33.89/33.91 c core #450 33.89/33.91 c 33.89/33.91 c 33.89/33.91 c Core size: 543 Core Weight: 1 Total Weight: 450 33.89/33.91 c Current CPU time: 33.6309 s 33.89/33.91 c 33.89/33.91 c ============================[ Search Statistics ]============================== 33.89/33.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.89/33.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.89/33.91 c =============================================================================== 33.89/33.91 c | 0 | 6742 9308 28323 | 5000 0 -nan | 0.000 % | 33.89/33.92 c | 102 | 6742 9308 28323 | 5500 102 16 | 0.148 % | 33.89/33.92 c | 254 | 6742 9308 28323 | 6050 254 16 | 0.148 % | 33.89/33.93 c | 479 | 6740 9308 28323 | 6655 479 16 | 0.178 % | 33.89/33.95 c | 816 | 6740 9308 28323 | 7320 816 33 | 0.178 % | 33.89/33.97 c | 1322 | 6740 9308 28323 | 8052 1322 30 | 0.178 % | 33.99/34.01 c | 2083 | 6740 9308 28323 | 8857 2083 34 | 0.178 % | 33.99/34.07 c | 3222 | 6738 9308 28323 | 9743 3222 34 | 0.207 % | 34.09/34.17 c | 4931 | 6738 9308 28323 | 10717 4931 35 | 0.207 % | 34.30/34.34 c | 7493 | 6734 9308 28323 | 11789 7493 35 | 0.267 % | 34.59/34.60 c | 11338 | 6726 9308 28323 | 12968 11338 38 | 0.385 % | 34.99/35.00 c | 17110 | 6708 9308 28323 | 14265 10330 41 | 0.711 % | 35.57/35.63 c =============================================================================== 35.57/35.69 c core #451 35.57/35.69 c 35.57/35.69 c 35.57/35.69 c Core size: 425 Core Weight: 1 Total Weight: 451 35.57/35.69 c Current CPU time: 35.4396 s 35.57/35.69 c 35.57/35.69 c ============================[ Search Statistics ]============================== 35.57/35.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.57/35.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.57/35.69 c =============================================================================== 35.57/35.69 c | 0 | 7142 9325 29162 | 5000 0 -nan | 0.000 % | 35.67/35.70 c | 101 | 7142 9325 29162 | 5500 101 20 | 0.140 % | 35.67/35.70 c | 252 | 7142 9325 29162 | 6050 252 25 | 0.140 % | 35.67/35.71 c | 478 | 7142 9325 29162 | 6655 478 24 | 0.140 % | 35.67/35.72 c | 815 | 7142 9325 29162 | 7320 815 24 | 0.140 % | 35.67/35.74 c | 1326 | 7142 9325 29162 | 8052 1326 26 | 0.140 % | 35.67/35.77 c | 2085 | 7134 9325 29162 | 8857 2085 24 | 0.252 % | 35.77/35.82 c | 3225 | 7134 9325 29162 | 9743 3225 27 | 0.252 % | 35.87/35.91 c | 4933 | 7134 9325 29162 | 10717 4933 27 | 0.252 % | 35.97/36.09 c | 7496 | 7134 9325 29162 | 11789 7496 31 | 0.252 % | 36.17/36.29 c | 11343 | 7132 9325 29162 | 12968 11343 33 | 0.280 % | 36.65/36.78 c | 17112 | 7130 9325 29162 | 14265 10495 45 | 0.308 % | 37.62/37.71 c | 25761 | 7130 9325 29162 | 15692 11822 61 | 0.308 % | 38.63/38.79 c | 38736 | 7103 9325 29162 | 17261 8786 54 | 0.699 % | 40.75/40.83 c | 58200 | 7089 9325 29162 | 18987 10780 66 | 0.909 % | 41.43/41.58 c =============================================================================== 41.63/41.76 c core #452 41.63/41.76 c 41.63/41.76 c 41.63/41.76 c Core size: 459 Core Weight: 1 Total Weight: 452 41.63/41.76 c Current CPU time: 41.3757 s 41.63/41.76 c 41.63/41.76 c ============================[ Search Statistics ]============================== 41.63/41.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.63/41.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.63/41.76 c =============================================================================== 41.63/41.76 c | 0 | 7536 9351 30005 | 5000 0 -nan | 0.000 % | 41.63/41.77 c | 101 | 7536 9351 30005 | 5500 101 28 | 0.133 % | 41.63/41.77 c | 252 | 7536 9351 30005 | 6050 252 17 | 0.133 % | 41.63/41.78 c | 478 | 7533 9351 30005 | 6655 478 20 | 0.172 % | 41.63/41.79 c | 817 | 7533 9351 30005 | 7320 817 34 | 0.172 % | 41.73/41.82 c | 1324 | 7533 9351 30005 | 8052 1324 46 | 0.172 % | 41.73/41.87 c | 2083 | 7533 9351 30005 | 8857 2083 48 | 0.172 % | 41.73/41.91 c | 3222 | 7533 9351 30005 | 9743 3222 47 | 0.172 % | 41.93/42.02 c | 4930 | 7533 9351 30005 | 10717 4930 49 | 0.172 % | 42.03/42.18 c | 7492 | 7531 9351 30005 | 11789 7492 51 | 0.199 % | 42.33/42.48 c | 11338 | 7529 9351 30005 | 12968 11338 71 | 0.225 % | 42.83/42.97 c | 17105 | 7527 9351 30005 | 14265 9764 81 | 0.252 % | 43.32/43.44 c | 25754 | 7520 9351 30005 | 15692 11126 38 | 0.358 % | 44.93/45.08 c | 38728 | 7520 9351 30005 | 17261 16190 84 | 0.358 % | 48.62/48.75 c | 58190 | 7519 9351 30005 | 18987 17367 75 | 0.358 % | 52.62/52.70 c | 87383 | 7519 9351 30005 | 20886 17038 64 | 0.358 % | 59.22/59.37 c | 131174 | 7516 9351 30005 | 22974 17396 57 | 0.411 % | 72.32/72.47 c | 196858 | 7515 9351 30005 | 25272 21375 69 | 0.411 % | 89.42/89.50 c | 295386 | 7513 9351 30005 | 27799 21269 179 | 0.437 % | 113.42/113.58 c | 443176 | 7495 9351 30005 | 30579 26146 95 | 0.676 % | 158.52/158.66 c | 664860 | 7432 9351 30005 | 33637 22830 111 | 1.511 % | 244.82/244.91 c | 997390 | 7430 9351 30005 | 37001 23848 162 | 1.537 % | 368.33/368.51 c | 1496178 | 7424 9351 30005 | 40701 26703 82 | 1.617 % | 378.03/378.19 c =============================================================================== 379.83/379.94 c core #453 379.83/379.94 c 379.83/379.94 c 379.83/379.94 c Core size: 614 Core Weight: 1 Total Weight: 453 379.83/379.94 c Current CPU time: 377.494 s 379.83/379.94 c 379.83/379.94 c ============================[ Search Statistics ]============================== 379.83/379.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 379.83/379.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 379.83/379.94 c =============================================================================== 379.83/379.94 c | 0 | 8048 9453 31231 | 5000 0 -nan | 0.000 % | 379.83/379.94 c | 100 | 8048 9453 31231 | 5500 100 33 | 0.124 % | 379.83/379.95 c | 250 | 8048 9453 31231 | 6050 250 31 | 0.124 % | 379.83/379.96 c | 475 | 8048 9453 31231 | 6655 475 27 | 0.124 % | 379.83/379.97 c | 812 | 8048 9453 31231 | 7320 812 28 | 0.124 % | 379.83/379.99 c | 1319 | 8048 9453 31231 | 8052 1319 29 | 0.124 % | 379.94/380.03 c | 2081 | 8048 9453 31231 | 8857 2081 29 | 0.124 % | 380.04/380.10 c | 3221 | 8048 9453 31231 | 9743 3221 34 | 0.124 % | 380.13/380.20 c | 4929 | 8048 9453 31231 | 10717 4929 35 | 0.124 % | 380.23/380.38 c | 7497 | 8048 9453 31231 | 11789 7497 53 | 0.124 % | 380.54/380.68 c | 11346 | 8048 9453 31231 | 12968 11346 48 | 0.124 % | 381.03/381.14 c | 17115 | 8048 9453 31231 | 14265 10537 47 | 0.124 % | 382.13/382.22 c | 25766 | 8048 9453 31231 | 15692 10692 159 | 0.124 % | 384.43/384.52 c | 38742 | 8048 9453 31231 | 17261 15342 209 | 0.124 % | 387.33/387.41 c | 58205 | 8048 9453 31231 | 18987 16684 99 | 0.124 % | 393.04/393.16 c | 87402 | 8048 9453 31231 | 20886 16211 101 | 0.124 % | 398.03/398.19 c | 131192 | 7989 9453 31231 | 22974 15077 53 | 0.856 % | 419.63/419.77 c | 196877 | 7989 9453 31231 | 25272 17485 140 | 0.856 % | 437.34/437.47 c | 295406 | 7987 9453 31231 | 27799 18328 113 | 0.881 % | 471.74/471.85 c | 443202 | 7987 9453 31231 | 30579 17779 93 | 0.881 % | 537.14/537.24 c | 664886 | 7987 9453 31231 | 33637 15146 207 | 0.881 % | 619.25/619.36 c | 997412 | 7982 9453 31231 | 37001 27128 80 | 0.956 % | 770.55/770.65 c | 1496200 | 7977 9453 31231 | 40701 29433 190 | 1.005 % | 968.96/969.08 c | 2244384 | 7967 9453 31231 | 44771 26786 144 | 1.129 % | 1271.97/1272.04 c | 3366659 | 7957 9453 31231 | 49248 40341 91 | 1.253 % | 1554.18/1554.30 c =============================================================================== 1557.98/1558.06 c core #454 1557.98/1558.06 c 1557.98/1558.06 c 1557.98/1558.06 c Core size: 475 Core Weight: 1 Total Weight: 454 1557.98/1558.06 c Current CPU time: 1550.38 s 1557.98/1558.06 c 1557.98/1558.06 c ============================[ Search Statistics ]============================== 1557.98/1558.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1557.98/1558.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1557.98/1558.06 c =============================================================================== 1557.98/1558.06 c | 0 | 8453 9640 32415 | 5000 0 -nan | 0.000 % | 1557.98/1558.07 c | 102 | 8453 9640 32415 | 5500 102 37 | 0.118 % | 1557.98/1558.08 c | 252 | 8453 9640 32415 | 6050 252 30 | 0.118 % | 1557.98/1558.09 c | 477 | 8453 9640 32415 | 6655 477 34 | 0.118 % | 1558.08/1558.10 c | 816 | 8453 9640 32415 | 7320 816 33 | 0.118 % | 1558.08/1558.12 c | 1322 | 8453 9640 32415 | 8052 1322 32 | 0.118 % | 1558.08/1558.14 c | 2084 | 8453 9640 32415 | 8857 2084 32 | 0.118 % | 1558.18/1558.20 c | 3227 | 8453 9640 32415 | 9743 3227 33 | 0.118 % | 1558.18/1558.28 c | 4936 | 8453 9640 32415 | 10717 4936 39 | 0.118 % | 1558.38/1558.46 c | 7498 | 8453 9640 32415 | 11789 7498 40 | 0.118 % | 1558.69/1558.74 c | 11343 | 8453 9640 32415 | 12968 11343 45 | 0.118 % | 1559.28/1559.37 c | 17113 | 8453 9640 32415 | 14265 9719 59 | 0.118 % | 1560.08/1560.16 c | 25764 | 8453 9640 32415 | 15692 11024 51 | 0.118 % | 1561.78/1561.87 c | 38740 | 8453 9640 32415 | 17261 15134 67 | 0.118 % | 1564.88/1564.92 c | 58202 | 8453 9640 32415 | 18987 15123 67 | 0.118 % | 1568.70/1568.72 c | 87394 | 8453 9640 32415 | 20886 12837 60 | 0.118 % | 1576.58/1576.62 c | 131184 | 8453 9640 32415 | 22974 13270 83 | 0.118 % | 1590.29/1590.38 c | 196869 | 8453 9640 32415 | 25272 18957 85 | 0.118 % | 1607.28/1607.38 c | 295395 | 8453 9640 32415 | 27799 17279 191 | 0.118 % | 1631.68/1631.72 c | 443185 | 8451 9640 32415 | 30579 25766 224 | 0.142 % | 1676.08/1676.15 c | 664872 | 8449 9640 32415 | 33637 17474 230 | 0.165 % | 1747.89/1747.99 c | 997399 | 8449 9640 32415 | 37001 22349 167 | 0.165 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460814-1307092688/watcher-3460814-1307092688 -o /tmp/evaluation-result-3460814-1307092688/solver-3460814-1307092688 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460814-1307092688.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.02 1.99 4/552 3535 /proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=2712 CPUtime=0 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 1 0 820865881 2777088 366 33554432000 4194304 5714214 140734118675328 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 678 366 180 372 0 255 0 [startup+0.114775 s] /proc/loadavg: 1.93 2.02 1.99 4/552 3535 /proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=5168 CPUtime=0.11 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 1119 0 0 0 11 0 0 0 23 0 1 0 820865881 5292032 1024 33554432000 4194304 5714214 140734118675328 18446744073709551615 4336624 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 1292 1024 175 372 0 917 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 5168 [startup+0.200761 s] /proc/loadavg: 1.93 2.02 1.99 4/552 3535 /proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=5260 CPUtime=0.2 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 1176 0 0 0 20 0 0 0 23 0 1 0 820865881 5386240 1065 33554432000 4194304 5714214 140734118675328 18446744073709551615 4973112 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 1315 1065 175 372 0 940 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 5260 [startup+0.300737 s] /proc/loadavg: 1.93 2.02 1.99 4/552 3535 /proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=5588 CPUtime=0.29 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 1359 0 0 0 29 0 0 0 23 0 1 0 820865881 5722112 1112 33554432000 4194304 5714214 140734118675328 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 1397 1112 175 372 0 1022 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5588 [startup+0.70067 s] /proc/loadavg: 1.93 2.02 1.99 4/552 3535 /proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=7040 CPUtime=0.69 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 2584 0 0 0 69 0 0 0 25 0 1 0 820865881 7208960 1513 33554432000 4194304 5714214 140734118675328 18446744073709551615 4345829 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 1760 1513 175 372 0 1385 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7040 [startup+1.50052 s] /proc/loadavg: 1.93 2.02 1.99 4/555 3537 /proc/meminfo: memFree=25052372/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=10652 CPUtime=1.49 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 5069 0 0 0 149 0 0 0 25 0 1 0 820865881 10907648 2371 33554432000 4194304 5714214 140734118675328 18446744073709551615 4977520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 2663 2371 179 372 0 2288 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10652 [startup+3.10021 s] /proc/loadavg: 1.93 2.02 1.99 4/555 3537 /proc/meminfo: memFree=25043932/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=15148 CPUtime=3.09 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 6386 0 0 0 306 3 0 0 19 0 1 0 820865881 15511552 3499 33554432000 4194304 5714214 140734118675328 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 3787 3499 180 372 0 3412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15148 [startup+6.30061 s] /proc/loadavg: 1.94 2.02 1.99 4/555 3537 /proc/meminfo: memFree=25036060/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=18940 CPUtime=6.29 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 7310 0 0 0 624 5 0 0 25 0 1 0 820865881 19394560 4423 33554432000 4194304 5714214 140734118675328 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 4735 4423 180 372 0 4360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18940 [startup+12.7004 s] /proc/loadavg: 1.94 2.02 1.99 4/555 3537 /proc/meminfo: memFree=25014304/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=27324 CPUtime=12.69 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 9412 0 0 0 1260 9 0 0 25 0 1 0 820865881 27979776 6525 33554432000 4194304 5714214 140734118675328 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 6831 6525 180 372 0 6456 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27324 [startup+25.5009 s] /proc/loadavg: 1.95 2.02 1.99 4/555 3538 /proc/meminfo: memFree=24986460/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=40412 CPUtime=25.49 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 12649 0 0 0 2534 15 0 0 25 0 1 0 820865881 41381888 9762 33554432000 4194304 5714214 140734118675328 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/3533/statm: 10103 9762 180 372 0 9728 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40412 [startup+51.101 s] /proc/loadavg: 2.09 2.05 2.00 4/555 3538 /proc/meminfo: memFree=24973500/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=49948 CPUtime=51.02 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 15284 0 0 0 5066 36 0 0 25 0 1 0 820865881 51146752 12200 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 12487 12200 180 372 0 12112 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 49948 [startup+102.301 s] /proc/loadavg: 2.04 2.04 2.00 4/555 3540 /proc/meminfo: memFree=24894112/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=94028 CPUtime=102.23 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 26121 0 0 0 10162 61 0 0 25 0 1 0 820865881 96284672 23037 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 23507 23037 180 372 0 23132 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 94028 [startup+162.301 s] /proc/loadavg: 2.01 2.03 2.00 4/555 3541 /proc/meminfo: memFree=24799860/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=152212 CPUtime=162.22 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 40511 0 0 0 16131 91 0 0 25 0 1 0 820865881 155865088 37427 33554432000 4194304 5714214 140734118675328 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 38053 37427 180 372 0 37678 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 152212 [startup+222.322 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3543 /proc/meminfo: memFree=24711548/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=200036 CPUtime=222.25 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 52214 0 0 0 22113 112 0 0 25 0 1 0 820865881 204836864 49130 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 50009 49130 180 372 0 49634 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 200036 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 4/555 3544 /proc/meminfo: memFree=24643560/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=235184 CPUtime=282.23 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 60998 0 0 0 28090 133 0 0 25 0 1 0 820865881 240828416 57914 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 58796 57914 180 372 0 58421 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 235184 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3546 /proc/meminfo: memFree=24562432/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=270148 CPUtime=342.23 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 69449 0 0 0 34073 150 0 0 25 0 1 0 820865881 276631552 66365 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 67537 66365 180 372 0 67162 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 270148 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 4/555 3548 /proc/meminfo: memFree=24532248/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=300900 CPUtime=402.23 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 77121 0 0 0 40045 178 0 0 25 0 1 0 820865881 308121600 73953 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 75225 73953 180 372 0 74850 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 300900 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/555 3549 /proc/meminfo: memFree=24529232/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=300900 CPUtime=462.24 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 77527 0 0 0 46024 200 0 0 25 0 1 0 820865881 308121600 74359 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 75225 74359 180 372 0 74850 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 300900 [startup+522.301 s] /proc/loadavg: 2.13 2.04 2.01 4/555 3554 /proc/meminfo: memFree=24528088/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=300900 CPUtime=522.24 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 77635 0 0 0 52003 221 0 0 25 0 1 0 820865881 308121600 74467 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 75225 74467 180 372 0 74850 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 300900 [startup+582.301 s] /proc/loadavg: 2.13 2.06 2.02 3/555 3555 /proc/meminfo: memFree=24527060/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=300900 CPUtime=582.24 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 77671 0 0 0 57982 242 0 0 25 0 1 0 820865881 308121600 74503 33554432000 4194304 5714214 140734118675328 18446744073709551615 4322922 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 75225 74503 180 372 0 74850 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 300900 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/555 3562 /proc/meminfo: memFree=24405912/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=348908 CPUtime=822.25 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 89838 0 0 0 81890 335 0 0 25 0 1 0 820865881 357281792 86670 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 87227 86670 180 372 0 86852 0 Current children cumulated CPU time (s) 822.25 Current children cumulated vsize (KiB) 348908 [startup+882.322 s] /proc/loadavg: 2.00 2.02 2.00 4/555 3563 /proc/meminfo: memFree=24346124/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=386912 CPUtime=882.28 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 98978 0 0 0 87875 353 0 0 25 0 1 0 820865881 396197888 95810 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 96728 95810 180 372 0 96353 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 386912 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3565 /proc/meminfo: memFree=24298728/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=415784 CPUtime=942.25 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 105910 0 0 0 93856 369 0 0 25 0 1 0 820865881 425762816 102742 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 103946 102742 180 372 0 103571 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 415784 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 4/555 3567 /proc/meminfo: memFree=24224168/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=463832 CPUtime=1002.26 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 117639 0 0 0 99830 396 0 0 25 0 1 0 820865881 474963968 114471 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 115958 114471 180 372 0 115583 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 463832 [startup+1062.3 s] /proc/loadavg: 2.25 2.06 2.02 4/555 3568 /proc/meminfo: memFree=24159660/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=513216 CPUtime=1062.26 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 129663 0 0 0 105805 421 0 0 25 0 1 0 820865881 525533184 126495 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 128304 126495 180 372 0 127929 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 513216 [startup+1122.3 s] /proc/loadavg: 2.20 2.08 2.02 4/555 3570 /proc/meminfo: memFree=24092296/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=550504 CPUtime=1122.26 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 138905 0 0 0 111788 438 0 0 25 0 1 0 820865881 563716096 135737 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 137626 135737 180 372 0 137251 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 550504 [startup+1182.3 s] /proc/loadavg: 2.07 2.06 2.02 4/555 3571 /proc/meminfo: memFree=24036596/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=583504 CPUtime=1182.26 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 147019 0 0 0 117769 457 0 0 25 0 1 0 820865881 597508096 143851 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 145876 143851 180 372 0 145501 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 583504 [startup+1242.3 s] /proc/loadavg: 2.02 2.05 2.01 4/555 3573 /proc/meminfo: memFree=23983356/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=613480 CPUtime=1242.27 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 154470 0 0 0 123750 477 0 0 25 0 1 0 820865881 628203520 151302 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 153370 151302 180 372 0 152995 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 613480 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 2.01 4/555 3575 /proc/meminfo: memFree=23935584/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=634532 CPUtime=1302.27 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 159585 0 0 0 129732 495 0 0 25 0 1 0 820865881 649760768 156417 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 158633 156417 180 372 0 158258 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 634532 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 4/555 3576 /proc/meminfo: memFree=23881608/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=669020 CPUtime=1362.27 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 167978 0 0 0 135714 513 0 0 25 0 1 0 820865881 685076480 164810 33554432000 4194304 5714214 140734118675328 18446744073709551615 4322761 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 167255 164810 180 372 0 166880 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 669020 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 4/555 3578 /proc/meminfo: memFree=23816596/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=703148 CPUtime=1422.28 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 176397 0 0 0 141695 533 0 0 25 0 1 0 820865881 720023552 173229 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 175787 173229 180 372 0 175412 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 703148 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 4/555 3579 /proc/meminfo: memFree=23765720/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=726044 CPUtime=1482.28 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 182044 0 0 0 147679 549 0 0 25 0 1 0 820865881 743469056 178876 33554432000 4194304 5714214 140734118675328 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 181511 178876 180 372 0 181136 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 726044 [startup+1542.32 s] /proc/loadavg: 2.00 2.01 2.00 3/555 3581 /proc/meminfo: memFree=23719808/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=747268 CPUtime=1542.3 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 187209 0 0 0 153668 562 0 0 25 0 1 0 820865881 765202432 184041 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 186817 184041 180 372 0 186442 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 747268 [startup+1602.3 s] /proc/loadavg: 2.14 2.06 2.02 4/555 3583 /proc/meminfo: memFree=23679064/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=768532 CPUtime=1602.28 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 192473 0 0 0 159639 589 0 0 25 0 1 0 820865881 786976768 189305 33554432000 4194304 5714214 140734118675328 18446744073709551615 4322676 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 192133 189305 180 372 0 191758 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 768532 [startup+1662.3 s] /proc/loadavg: 2.11 2.07 2.02 3/555 3584 /proc/meminfo: memFree=23657952/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=768532 CPUtime=1662.29 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 192474 0 0 0 165607 622 0 0 25 0 1 0 820865881 786976768 189306 33554432000 4194304 5714214 140734118675328 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 192133 189306 180 372 0 191758 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 768532 [startup+1722.3 s] /proc/loadavg: 2.04 2.06 2.02 4/555 3586 /proc/meminfo: memFree=23638820/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=768532 CPUtime=1722.29 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 192474 0 0 0 171584 645 0 0 25 0 1 0 820865881 786976768 189306 33554432000 4194304 5714214 140734118675328 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 192133 189306 180 372 0 191758 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 768532 [startup+1782.3 s] /proc/loadavg: 2.01 2.05 2.01 3/555 3587 /proc/meminfo: memFree=23615840/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=768532 CPUtime=1782.29 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 192479 0 0 0 177562 667 0 0 25 0 1 0 820865881 786976768 189311 33554432000 4194304 5714214 140734118675328 18446744073709551615 4322922 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 192133 189311 180 372 0 191758 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 768532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.01 2.04 2.01 2/554 3589 /proc/meminfo: memFree=24302800/32950928 swapFree=67056580/67111528 [pid=3533] ppid=3530 vsize=768532 CPUtime=1800.09 cores=0,2,4,6 /proc/3533/stat : 3533 (wbo1.6) R 3530 3533 3492 0 -1 4202496 192479 0 0 0 179336 673 0 0 25 0 1 0 820865881 786976768 189311 33554432000 4194304 5714214 140734118675328 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/3533/statm: 192133 189311 180 372 0 191758 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 768532 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) Real time (s): 1800.16 CPU time (s): 1800.15 CPU user time (s): 1793.38 CPU system time (s): 6.76997 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 768532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.38 system time used= 6.76997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 192479 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= 15 involuntary context switches= 1975 runsolver used 10.4264 second user time and 23.8474 second system time The end
Begin job on node148 at 2011-06-03 11:18:08 IDJOB=3460814 IDBENCH=2209 IDSOLVER=1953 FILE ID=node148/3460814-1307092688 RUNJOBID= node148-1307092688-3516 PBS_JOBID= 13497980 Free space on /tmp= 73868 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e2.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460814-1307092688/watcher-3460814-1307092688 -o /tmp/evaluation-result-3460814-1307092688/solver-3460814-1307092688 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460814-1307092688.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6af59dd0656451189b30414ce106135b RANDOM SEED=2118138162 node148.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.854 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.70 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.854 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.854 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.83 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.854 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.854 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.82 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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: 25068448 kB Buffers: 221208 kB Cached: 524312 kB SwapCached: 7908 kB Active: 7140888 kB Inactive: 432016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 25068448 kB SwapTotal: 67111528 kB SwapFree: 67056580 kB Dirty: 8956 kB Writeback: 0 kB AnonPages: 6825856 kB Mapped: 43232 kB Slab: 180328 kB PageTables: 57980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 170362232 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= 73864 MiB End job on node148 at 2011-06-03 11:48:10