Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb |
MD5SUM | 8c328e3092b759791eb187200eaaa71f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 444 |
Best CPU time to get the best result obtained on this benchmark | 3.2835 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 444 |
Optimality of the best value was proved | YES |
Number of variables | 918 |
Total number of constraints | 9671 |
Number of constraints which are clauses | 9671 |
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 | 32 |
Number of terms in the objective function | 918 |
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 | 918 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 918 |
Number of bits of the biggest sum of numbers | 10 |
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-3461436-1307089033.opb. 0.00/0.00 c Instance file HOME/instance-3461436-1307089033.opb 0.00/0.00 c File size is 340093 bytes. 0.00/0.02 c Highest Coefficient sum: 33 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 918 | 0.00/0.02 c | Number Clauses: 9671 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 918 9671 33921 | 5000 0 -nan | 0.000 % | 0.11/0.14 c core #1 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 1 0.11/0.14 c Current CPU time: 0.027995 s 0.11/0.14 c 0.11/0.14 c core #2 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 2 0.11/0.14 c Current CPU time: 0.029995 s 0.11/0.14 c 0.11/0.14 c core #3 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 3 0.11/0.14 c Current CPU time: 0.031995 s 0.11/0.14 c 0.11/0.14 c core #4 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 4 0.11/0.14 c Current CPU time: 0.034994 s 0.11/0.14 c 0.11/0.14 c core #5 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 5 0.11/0.14 c Current CPU time: 0.036994 s 0.11/0.14 c 0.11/0.14 c core #6 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 6 0.11/0.14 c Current CPU time: 0.039993 s 0.11/0.14 c 0.11/0.14 c core #7 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 7 0.11/0.14 c Current CPU time: 0.042993 s 0.11/0.14 c 0.11/0.14 c core #8 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 8 0.11/0.14 c Current CPU time: 0.044993 s 0.11/0.14 c 0.11/0.14 c core #9 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 9 0.11/0.14 c Current CPU time: 0.047992 s 0.11/0.14 c 0.11/0.14 c core #10 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 10 0.11/0.14 c Current CPU time: 0.050992 s 0.11/0.14 c 0.11/0.14 c core #11 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 11 0.11/0.14 c Current CPU time: 0.052991 s 0.11/0.14 c 0.11/0.14 c core #12 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 12 0.11/0.14 c Current CPU time: 0.055991 s 0.11/0.14 c 0.11/0.14 c core #13 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 13 0.11/0.14 c Current CPU time: 0.058991 s 0.11/0.14 c 0.11/0.14 c core #14 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 14 0.11/0.14 c Current CPU time: 0.06099 s 0.11/0.14 c 0.11/0.14 c core #15 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 15 0.11/0.14 c Current CPU time: 0.06399 s 0.11/0.14 c 0.11/0.14 c core #16 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 16 0.11/0.14 c Current CPU time: 0.066989 s 0.11/0.14 c 0.11/0.14 c core #17 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 17 0.11/0.14 c Current CPU time: 0.069989 s 0.11/0.14 c 0.11/0.14 c core #18 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 18 0.11/0.14 c Current CPU time: 0.071989 s 0.11/0.14 c 0.11/0.14 c core #19 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 19 0.11/0.14 c Current CPU time: 0.074988 s 0.11/0.14 c 0.11/0.14 c core #20 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 20 0.11/0.14 c Current CPU time: 0.077988 s 0.11/0.14 c 0.11/0.14 c core #21 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 21 0.11/0.14 c Current CPU time: 0.079987 s 0.11/0.14 c 0.11/0.14 c core #22 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 22 0.11/0.14 c Current CPU time: 0.082987 s 0.11/0.14 c 0.11/0.14 c core #23 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 23 0.11/0.14 c Current CPU time: 0.085986 s 0.11/0.14 c 0.11/0.14 c core #24 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 24 0.11/0.14 c Current CPU time: 0.087986 s 0.11/0.14 c 0.11/0.14 c core #25 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 25 0.11/0.14 c Current CPU time: 0.090986 s 0.11/0.14 c 0.11/0.14 c core #26 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 26 0.11/0.14 c Current CPU time: 0.093985 s 0.11/0.14 c 0.11/0.14 c core #27 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 27 0.11/0.14 c Current CPU time: 0.096985 s 0.11/0.14 c 0.11/0.14 c core #28 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 28 0.11/0.14 c Current CPU time: 0.098984 s 0.11/0.14 c 0.11/0.14 c core #29 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 29 0.11/0.14 c Current CPU time: 0.101984 s 0.11/0.14 c 0.11/0.14 c core #30 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 30 0.11/0.14 c Current CPU time: 0.104984 s 0.11/0.14 c 0.11/0.14 c core #31 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 31 0.11/0.14 c Current CPU time: 0.106983 s 0.11/0.14 c 0.11/0.14 c core #32 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 32 0.11/0.14 c Current CPU time: 0.109983 s 0.11/0.14 c 0.11/0.14 c core #33 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 33 0.11/0.14 c Current CPU time: 0.112982 s 0.11/0.14 c 0.11/0.14 c core #34 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 34 0.11/0.14 c Current CPU time: 0.114982 s 0.11/0.14 c 0.11/0.14 c core #35 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 35 0.11/0.14 c Current CPU time: 0.117982 s 0.11/0.14 c 0.11/0.14 c core #36 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 36 0.11/0.14 c Current CPU time: 0.120981 s 0.11/0.14 c 0.11/0.14 c core #37 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 37 0.11/0.14 c Current CPU time: 0.122981 s 0.11/0.14 c 0.11/0.14 c core #38 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 38 0.11/0.14 c Current CPU time: 0.12598 s 0.11/0.14 c 0.11/0.14 c core #39 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 39 0.11/0.14 c Current CPU time: 0.12898 s 0.11/0.14 c 0.11/0.14 c core #40 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 40 0.11/0.14 c Current CPU time: 0.13098 s 0.11/0.14 c 0.11/0.14 c core #41 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 41 0.11/0.14 c Current CPU time: 0.133979 s 0.11/0.14 c 0.11/0.14 c core #42 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 42 0.11/0.14 c Current CPU time: 0.136979 s 0.11/0.14 c 0.11/0.14 c core #43 0.11/0.14 c 0.11/0.14 c 0.11/0.14 c Core size: 3 Core Weight: 1 Total Weight: 43 0.19/0.25 c Current CPU time: 0.138978 s 0.19/0.25 c 0.19/0.25 c core #44 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 44 0.19/0.25 c Current CPU time: 0.141978 s 0.19/0.25 c 0.19/0.25 c core #45 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 45 0.19/0.25 c Current CPU time: 0.144977 s 0.19/0.25 c 0.19/0.25 c core #46 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 46 0.19/0.25 c Current CPU time: 0.146977 s 0.19/0.25 c 0.19/0.25 c core #47 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 47 0.19/0.25 c Current CPU time: 0.149977 s 0.19/0.25 c 0.19/0.25 c core #48 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 48 0.19/0.25 c Current CPU time: 0.152976 s 0.19/0.25 c 0.19/0.25 c core #49 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 49 0.19/0.25 c Current CPU time: 0.155976 s 0.19/0.25 c 0.19/0.25 c core #50 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 50 0.19/0.25 c Current CPU time: 0.157975 s 0.19/0.25 c 0.19/0.25 c core #51 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 51 0.19/0.25 c Current CPU time: 0.160975 s 0.19/0.25 c 0.19/0.25 c core #52 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 52 0.19/0.25 c Current CPU time: 0.163975 s 0.19/0.25 c 0.19/0.25 c core #53 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 53 0.19/0.25 c Current CPU time: 0.165974 s 0.19/0.25 c 0.19/0.25 c core #54 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 54 0.19/0.25 c Current CPU time: 0.168974 s 0.19/0.25 c 0.19/0.25 c core #55 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 55 0.19/0.25 c Current CPU time: 0.171973 s 0.19/0.25 c 0.19/0.25 c core #56 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 56 0.19/0.25 c Current CPU time: 0.173973 s 0.19/0.25 c 0.19/0.25 c core #57 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 57 0.19/0.25 c Current CPU time: 0.176973 s 0.19/0.25 c 0.19/0.25 c core #58 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 58 0.19/0.25 c Current CPU time: 0.179972 s 0.19/0.25 c 0.19/0.25 c core #59 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 59 0.19/0.25 c Current CPU time: 0.181972 s 0.19/0.25 c 0.19/0.25 c core #60 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 60 0.19/0.25 c Current CPU time: 0.184971 s 0.19/0.25 c 0.19/0.25 c core #61 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 61 0.19/0.25 c Current CPU time: 0.187971 s 0.19/0.25 c 0.19/0.25 c core #62 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 62 0.19/0.25 c Current CPU time: 0.19097 s 0.19/0.25 c 0.19/0.25 c core #63 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 63 0.19/0.25 c Current CPU time: 0.19297 s 0.19/0.25 c 0.19/0.25 c core #64 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 64 0.19/0.25 c Current CPU time: 0.19597 s 0.19/0.25 c 0.19/0.25 c core #65 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 65 0.19/0.25 c Current CPU time: 0.198969 s 0.19/0.25 c 0.19/0.25 c core #66 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 66 0.19/0.25 c Current CPU time: 0.200969 s 0.19/0.25 c 0.19/0.25 c core #67 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 67 0.19/0.25 c Current CPU time: 0.203968 s 0.19/0.25 c 0.19/0.25 c core #68 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 68 0.19/0.25 c Current CPU time: 0.206968 s 0.19/0.25 c 0.19/0.25 c core #69 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 69 0.19/0.25 c Current CPU time: 0.208968 s 0.19/0.25 c 0.19/0.25 c core #70 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 70 0.19/0.25 c Current CPU time: 0.211967 s 0.19/0.25 c 0.19/0.25 c core #71 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 71 0.19/0.25 c Current CPU time: 0.214967 s 0.19/0.25 c 0.19/0.25 c core #72 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 72 0.19/0.25 c Current CPU time: 0.217966 s 0.19/0.25 c 0.19/0.25 c core #73 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 73 0.19/0.25 c Current CPU time: 0.219966 s 0.19/0.25 c 0.19/0.25 c core #74 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 74 0.19/0.25 c Current CPU time: 0.222966 s 0.19/0.25 c 0.19/0.25 c core #75 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 75 0.19/0.25 c Current CPU time: 0.225965 s 0.19/0.25 c 0.19/0.25 c core #76 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 76 0.19/0.25 c Current CPU time: 0.227965 s 0.19/0.25 c 0.19/0.25 c core #77 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 77 0.19/0.25 c Current CPU time: 0.230964 s 0.19/0.25 c 0.19/0.25 c core #78 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 78 0.19/0.25 c Current CPU time: 0.233964 s 0.19/0.25 c 0.19/0.25 c core #79 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 79 0.19/0.25 c Current CPU time: 0.236963 s 0.19/0.25 c 0.19/0.25 c core #80 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 80 0.19/0.25 c Current CPU time: 0.238963 s 0.19/0.25 c 0.19/0.25 c core #81 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 81 0.19/0.25 c Current CPU time: 0.241963 s 0.19/0.25 c 0.19/0.25 c core #82 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 82 0.19/0.25 c Current CPU time: 0.244962 s 0.19/0.25 c 0.19/0.25 c core #83 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 83 0.19/0.25 c Current CPU time: 0.247962 s 0.19/0.25 c 0.19/0.25 c core #84 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 84 0.19/0.25 c Current CPU time: 0.249962 s 0.19/0.25 c 0.19/0.25 c core #85 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 85 0.19/0.25 c Current CPU time: 0.252961 s 0.29/0.37 c 0.29/0.37 c core #86 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 86 0.29/0.37 c Current CPU time: 0.255961 s 0.29/0.37 c 0.29/0.37 c core #87 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 87 0.29/0.37 c Current CPU time: 0.25896 s 0.29/0.37 c 0.29/0.37 c core #88 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 88 0.29/0.37 c Current CPU time: 0.26096 s 0.29/0.37 c 0.29/0.37 c core #89 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 89 0.29/0.37 c Current CPU time: 0.263959 s 0.29/0.37 c 0.29/0.37 c core #90 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 90 0.29/0.37 c Current CPU time: 0.266959 s 0.29/0.37 c 0.29/0.37 c core #91 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 91 0.29/0.37 c Current CPU time: 0.269958 s 0.29/0.37 c 0.29/0.37 c core #92 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 92 0.29/0.37 c Current CPU time: 0.271958 s 0.29/0.37 c 0.29/0.37 c core #93 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 93 0.29/0.37 c Current CPU time: 0.274958 s 0.29/0.37 c 0.29/0.37 c core #94 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 94 0.29/0.37 c Current CPU time: 0.277957 s 0.29/0.37 c 0.29/0.37 c core #95 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 95 0.29/0.37 c Current CPU time: 0.280957 s 0.29/0.37 c 0.29/0.37 c core #96 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: 96 0.29/0.37 c Current CPU time: 0.282956 s 0.29/0.37 c 0.29/0.37 c core #97 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 33 Core Weight: 1 Total Weight: 97 0.29/0.37 c Current CPU time: 0.285956 s 0.29/0.37 c 0.29/0.37 c core #98 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 33 Core Weight: 1 Total Weight: 98 0.29/0.37 c Current CPU time: 0.288956 s 0.29/0.37 c 0.29/0.37 c core #99 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 33 Core Weight: 1 Total Weight: 99 0.29/0.37 c Current CPU time: 0.291955 s 0.29/0.37 c 0.29/0.37 c core #100 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 100 0.29/0.37 c Current CPU time: 0.294955 s 0.29/0.37 c 0.29/0.37 c core #101 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 101 0.29/0.37 c Current CPU time: 0.297954 s 0.29/0.37 c 0.29/0.37 c core #102 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 102 0.29/0.37 c Current CPU time: 0.300954 s 0.29/0.37 c 0.29/0.37 c core #103 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 103 0.29/0.37 c Current CPU time: 0.303953 s 0.29/0.37 c 0.29/0.37 c core #104 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 104 0.29/0.37 c Current CPU time: 0.306953 s 0.29/0.37 c 0.29/0.37 c core #105 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 105 0.29/0.37 c Current CPU time: 0.309952 s 0.29/0.37 c 0.29/0.37 c core #106 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 106 0.29/0.37 c Current CPU time: 0.312952 s 0.29/0.37 c 0.29/0.37 c core #107 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 107 0.29/0.37 c Current CPU time: 0.315951 s 0.29/0.37 c 0.29/0.37 c core #108 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 108 0.29/0.37 c Current CPU time: 0.318951 s 0.29/0.37 c 0.29/0.37 c core #109 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 109 0.29/0.37 c Current CPU time: 0.321951 s 0.29/0.37 c 0.29/0.37 c core #110 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 110 0.29/0.37 c Current CPU time: 0.32495 s 0.29/0.37 c 0.29/0.37 c core #111 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 111 0.29/0.37 c Current CPU time: 0.32795 s 0.29/0.37 c 0.29/0.37 c core #112 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 112 0.29/0.37 c Current CPU time: 0.330949 s 0.29/0.37 c 0.29/0.37 c core #113 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 113 0.29/0.37 c Current CPU time: 0.333949 s 0.29/0.37 c 0.29/0.37 c core #114 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 114 0.29/0.37 c Current CPU time: 0.335948 s 0.29/0.37 c 0.29/0.37 c core #115 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 115 0.29/0.37 c Current CPU time: 0.338948 s 0.29/0.37 c 0.29/0.37 c core #116 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 116 0.29/0.37 c Current CPU time: 0.341948 s 0.29/0.37 c 0.29/0.37 c core #117 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 117 0.29/0.37 c Current CPU time: 0.344947 s 0.29/0.37 c 0.29/0.37 c core #118 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 118 0.29/0.37 c Current CPU time: 0.347947 s 0.29/0.37 c 0.29/0.37 c core #119 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 119 0.29/0.37 c Current CPU time: 0.350946 s 0.29/0.37 c 0.29/0.37 c core #120 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 120 0.29/0.37 c Current CPU time: 0.353946 s 0.29/0.37 c 0.29/0.37 c core #121 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 121 0.29/0.37 c Current CPU time: 0.356945 s 0.29/0.37 c 0.29/0.37 c core #122 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 122 0.29/0.37 c Current CPU time: 0.359945 s 0.29/0.37 c 0.29/0.37 c core #123 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 123 0.29/0.37 c Current CPU time: 0.362944 s 0.29/0.37 c 0.29/0.37 c core #124 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 124 0.29/0.37 c Current CPU time: 0.365944 s 0.29/0.37 c 0.29/0.37 c core #125 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 125 0.29/0.37 c Current CPU time: 0.368943 s 0.29/0.37 c 0.29/0.37 c core #126 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 126 0.29/0.37 c Current CPU time: 0.371943 s 0.29/0.37 c 0.29/0.37 c core #127 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: 127 0.49/0.50 c Current CPU time: 0.374943 s 0.49/0.50 c 0.49/0.50 c core #128 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 128 0.49/0.50 c Current CPU time: 0.377942 s 0.49/0.50 c 0.49/0.50 c core #129 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 129 0.49/0.50 c Current CPU time: 0.380942 s 0.49/0.50 c 0.49/0.50 c core #130 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 130 0.49/0.50 c Current CPU time: 0.383941 s 0.49/0.50 c 0.49/0.50 c core #131 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 131 0.49/0.50 c Current CPU time: 0.387941 s 0.49/0.50 c 0.49/0.50 c core #132 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 132 0.49/0.50 c Current CPU time: 0.39094 s 0.49/0.50 c 0.49/0.50 c core #133 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 133 0.49/0.50 c Current CPU time: 0.39394 s 0.49/0.50 c 0.49/0.50 c core #134 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 134 0.49/0.50 c Current CPU time: 0.396939 s 0.49/0.50 c 0.49/0.50 c core #135 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 135 0.49/0.50 c Current CPU time: 0.399939 s 0.49/0.50 c 0.49/0.50 c core #136 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 136 0.49/0.50 c Current CPU time: 0.402938 s 0.49/0.50 c 0.49/0.50 c core #137 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 137 0.49/0.50 c Current CPU time: 0.405938 s 0.49/0.50 c 0.49/0.50 c core #138 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 138 0.49/0.50 c Current CPU time: 0.408937 s 0.49/0.50 c 0.49/0.50 c core #139 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 139 0.49/0.50 c Current CPU time: 0.411937 s 0.49/0.50 c 0.49/0.50 c core #140 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 140 0.49/0.50 c Current CPU time: 0.414936 s 0.49/0.50 c 0.49/0.50 c core #141 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 141 0.49/0.50 c Current CPU time: 0.417936 s 0.49/0.50 c 0.49/0.50 c core #142 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 142 0.49/0.50 c Current CPU time: 0.420936 s 0.49/0.50 c 0.49/0.50 c core #143 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 143 0.49/0.50 c Current CPU time: 0.423935 s 0.49/0.50 c 0.49/0.50 c core #144 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 144 0.49/0.50 c Current CPU time: 0.426935 s 0.49/0.50 c 0.49/0.50 c core #145 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 145 0.49/0.50 c Current CPU time: 0.429934 s 0.49/0.50 c 0.49/0.50 c core #146 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 146 0.49/0.50 c Current CPU time: 0.432934 s 0.49/0.50 c 0.49/0.50 c core #147 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 147 0.49/0.50 c Current CPU time: 0.435933 s 0.49/0.50 c 0.49/0.50 c core #148 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 148 0.49/0.50 c Current CPU time: 0.439933 s 0.49/0.50 c 0.49/0.50 c core #149 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 149 0.49/0.50 c Current CPU time: 0.442932 s 0.49/0.50 c 0.49/0.50 c core #150 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 150 0.49/0.50 c Current CPU time: 0.445932 s 0.49/0.50 c 0.49/0.50 c core #151 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 151 0.49/0.50 c Current CPU time: 0.448931 s 0.49/0.50 c 0.49/0.50 c core #152 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 152 0.49/0.50 c Current CPU time: 0.451931 s 0.49/0.50 c 0.49/0.50 c core #153 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 153 0.49/0.50 c Current CPU time: 0.45493 s 0.49/0.50 c 0.49/0.50 c core #154 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 154 0.49/0.50 c Current CPU time: 0.45793 s 0.49/0.50 c 0.49/0.50 c core #155 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 155 0.49/0.50 c Current CPU time: 0.460929 s 0.49/0.50 c 0.49/0.50 c core #156 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 156 0.49/0.50 c Current CPU time: 0.463929 s 0.49/0.50 c 0.49/0.50 c core #157 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 157 0.49/0.50 c Current CPU time: 0.467928 s 0.49/0.50 c 0.49/0.50 c core #158 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 158 0.49/0.50 c Current CPU time: 0.470928 s 0.49/0.50 c 0.49/0.50 c core #159 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 159 0.49/0.50 c Current CPU time: 0.473927 s 0.49/0.50 c 0.49/0.50 c core #160 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 160 0.49/0.50 c Current CPU time: 0.476927 s 0.49/0.50 c 0.49/0.50 c core #161 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 161 0.49/0.50 c Current CPU time: 0.479927 s 0.49/0.50 c 0.49/0.50 c core #162 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 162 0.49/0.50 c Current CPU time: 0.482926 s 0.49/0.50 c 0.49/0.50 c core #163 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 163 0.49/0.50 c Current CPU time: 0.485926 s 0.49/0.50 c 0.49/0.50 c core #164 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 164 0.49/0.50 c Current CPU time: 0.489925 s 0.49/0.50 c 0.49/0.50 c core #165 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 165 0.49/0.50 c Current CPU time: 0.492925 s 0.49/0.50 c 0.49/0.50 c core #166 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 166 0.49/0.50 c Current CPU time: 0.495924 s 0.49/0.50 c 0.49/0.50 c core #167 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 167 0.49/0.50 c Current CPU time: 0.498924 s 0.49/0.50 c 0.49/0.50 c core #168 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: 168 0.49/0.50 c Current CPU time: 0.501923 s 0.59/0.65 c 0.59/0.65 c core #169 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 169 0.59/0.65 c Current CPU time: 0.504923 s 0.59/0.65 c 0.59/0.65 c core #170 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 170 0.59/0.65 c Current CPU time: 0.508922 s 0.59/0.65 c 0.59/0.65 c core #171 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 171 0.59/0.65 c Current CPU time: 0.511922 s 0.59/0.65 c 0.59/0.65 c core #172 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 172 0.59/0.65 c Current CPU time: 0.514921 s 0.59/0.65 c 0.59/0.65 c core #173 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 173 0.59/0.65 c Current CPU time: 0.517921 s 0.59/0.65 c 0.59/0.65 c core #174 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 174 0.59/0.65 c Current CPU time: 0.52092 s 0.59/0.65 c 0.59/0.65 c core #175 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 175 0.59/0.65 c Current CPU time: 0.52392 s 0.59/0.65 c 0.59/0.65 c core #176 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 176 0.59/0.65 c Current CPU time: 0.527919 s 0.59/0.65 c 0.59/0.65 c core #177 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 177 0.59/0.65 c Current CPU time: 0.530919 s 0.59/0.65 c 0.59/0.65 c core #178 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 178 0.59/0.65 c Current CPU time: 0.533918 s 0.59/0.65 c 0.59/0.65 c core #179 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 179 0.59/0.65 c Current CPU time: 0.536918 s 0.59/0.65 c 0.59/0.65 c core #180 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 180 0.59/0.65 c Current CPU time: 0.539917 s 0.59/0.65 c 0.59/0.65 c core #181 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 181 0.59/0.65 c Current CPU time: 0.543917 s 0.59/0.65 c 0.59/0.65 c core #182 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 182 0.59/0.65 c Current CPU time: 0.546916 s 0.59/0.65 c 0.59/0.65 c core #183 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 183 0.59/0.65 c Current CPU time: 0.549916 s 0.59/0.65 c 0.59/0.65 c core #184 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 184 0.59/0.65 c Current CPU time: 0.552915 s 0.59/0.65 c 0.59/0.65 c core #185 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 185 0.59/0.65 c Current CPU time: 0.556915 s 0.59/0.65 c 0.59/0.65 c core #186 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 186 0.59/0.65 c Current CPU time: 0.559914 s 0.59/0.65 c 0.59/0.65 c core #187 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 187 0.59/0.65 c Current CPU time: 0.562914 s 0.59/0.65 c 0.59/0.65 c core #188 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: 188 0.59/0.65 c Current CPU time: 0.565913 s 0.59/0.65 c 0.59/0.65 c core #189 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 46 Core Weight: 1 Total Weight: 189 0.59/0.65 c Current CPU time: 0.569913 s 0.59/0.65 c 0.59/0.65 c core #190 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 63 Core Weight: 1 Total Weight: 190 0.59/0.65 c Current CPU time: 0.572912 s 0.59/0.65 c 0.59/0.65 c core #191 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 68 Core Weight: 1 Total Weight: 191 0.59/0.65 c Current CPU time: 0.576912 s 0.59/0.65 c 0.59/0.65 c core #192 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 192 0.59/0.65 c Current CPU time: 0.580911 s 0.59/0.65 c 0.59/0.65 c core #193 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 193 0.59/0.65 c Current CPU time: 0.583911 s 0.59/0.65 c 0.59/0.65 c core #194 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 72 Core Weight: 1 Total Weight: 194 0.59/0.65 c Current CPU time: 0.58791 s 0.59/0.65 c 0.59/0.65 c core #195 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 70 Core Weight: 1 Total Weight: 195 0.59/0.65 c Current CPU time: 0.59191 s 0.59/0.65 c 0.59/0.65 c core #196 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 196 0.59/0.65 c Current CPU time: 0.595909 s 0.59/0.65 c 0.59/0.65 c core #197 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 70 Core Weight: 1 Total Weight: 197 0.59/0.65 c Current CPU time: 0.599908 s 0.59/0.65 c 0.59/0.65 c core #198 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 198 0.59/0.65 c Current CPU time: 0.603908 s 0.59/0.65 c 0.59/0.65 c core #199 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 70 Core Weight: 1 Total Weight: 199 0.59/0.65 c Current CPU time: 0.608907 s 0.59/0.65 c 0.59/0.65 c core #200 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 70 Core Weight: 1 Total Weight: 200 0.59/0.65 c Current CPU time: 0.612906 s 0.59/0.65 c 0.59/0.65 c core #201 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 201 0.59/0.65 c Current CPU time: 0.616906 s 0.59/0.65 c 0.59/0.65 c core #202 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 69 Core Weight: 1 Total Weight: 202 0.59/0.65 c Current CPU time: 0.620905 s 0.59/0.65 c 0.59/0.65 c core #203 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 69 Core Weight: 1 Total Weight: 203 0.59/0.65 c Current CPU time: 0.625904 s 0.59/0.65 c 0.59/0.65 c core #204 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 69 Core Weight: 1 Total Weight: 204 0.59/0.65 c Current CPU time: 0.629904 s 0.59/0.65 c 0.59/0.65 c core #205 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 70 Core Weight: 1 Total Weight: 205 0.59/0.65 c Current CPU time: 0.633903 s 0.59/0.65 c 0.59/0.65 c core #206 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 46 Core Weight: 1 Total Weight: 206 0.59/0.65 c Current CPU time: 0.637903 s 0.59/0.65 c 0.59/0.65 c core #207 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 63 Core Weight: 1 Total Weight: 207 0.59/0.65 c Current CPU time: 0.640902 s 0.59/0.65 c 0.59/0.65 c core #208 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 68 Core Weight: 1 Total Weight: 208 0.59/0.65 c Current CPU time: 0.645901 s 0.59/0.65 c 0.59/0.65 c core #209 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 71 Core Weight: 1 Total Weight: 209 0.59/0.65 c Current CPU time: 0.649901 s 0.59/0.65 c 0.59/0.65 c core #210 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 210 0.69/0.79 c Current CPU time: 0.6549 s 0.69/0.79 c 0.69/0.79 c core #211 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 72 Core Weight: 1 Total Weight: 211 0.69/0.79 c Current CPU time: 0.658899 s 0.69/0.79 c 0.69/0.79 c core #212 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 212 0.69/0.79 c Current CPU time: 0.662899 s 0.69/0.79 c 0.69/0.79 c core #213 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 213 0.69/0.79 c Current CPU time: 0.667898 s 0.69/0.79 c 0.69/0.79 c core #214 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 214 0.69/0.79 c Current CPU time: 0.671897 s 0.69/0.79 c 0.69/0.79 c core #215 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 215 0.69/0.79 c Current CPU time: 0.676897 s 0.69/0.79 c 0.69/0.79 c core #216 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 216 0.69/0.79 c Current CPU time: 0.680896 s 0.69/0.79 c 0.69/0.79 c core #217 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 217 0.69/0.79 c Current CPU time: 0.684895 s 0.69/0.79 c 0.69/0.79 c core #218 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 218 0.69/0.79 c Current CPU time: 0.689895 s 0.69/0.79 c 0.69/0.79 c core #219 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 219 0.69/0.79 c Current CPU time: 0.693894 s 0.69/0.79 c 0.69/0.79 c core #220 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 220 0.69/0.79 c Current CPU time: 0.698893 s 0.69/0.79 c 0.69/0.79 c core #221 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 221 0.69/0.79 c Current CPU time: 0.702893 s 0.69/0.79 c 0.69/0.79 c core #222 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 222 0.69/0.79 c Current CPU time: 0.707892 s 0.69/0.79 c 0.69/0.79 c core #223 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 46 Core Weight: 1 Total Weight: 223 0.69/0.79 c Current CPU time: 0.711891 s 0.69/0.79 c 0.69/0.79 c core #224 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 63 Core Weight: 1 Total Weight: 224 0.69/0.79 c Current CPU time: 0.715891 s 0.69/0.79 c 0.69/0.79 c core #225 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 68 Core Weight: 1 Total Weight: 225 0.69/0.79 c Current CPU time: 0.71989 s 0.69/0.79 c 0.69/0.79 c core #226 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 226 0.69/0.79 c Current CPU time: 0.724889 s 0.69/0.79 c 0.69/0.79 c core #227 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 227 0.69/0.79 c Current CPU time: 0.728889 s 0.69/0.79 c 0.69/0.79 c core #228 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 72 Core Weight: 1 Total Weight: 228 0.69/0.79 c Current CPU time: 0.733888 s 0.69/0.79 c 0.69/0.79 c core #229 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 229 0.69/0.79 c Current CPU time: 0.738887 s 0.69/0.79 c 0.69/0.79 c core #230 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 230 0.69/0.79 c Current CPU time: 0.742887 s 0.69/0.79 c 0.69/0.79 c core #231 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 231 0.69/0.79 c Current CPU time: 0.747886 s 0.69/0.79 c 0.69/0.79 c core #232 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 232 0.69/0.79 c Current CPU time: 0.752885 s 0.69/0.79 c 0.69/0.79 c core #233 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 233 0.69/0.79 c Current CPU time: 0.756884 s 0.69/0.79 c 0.69/0.79 c core #234 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 234 0.69/0.79 c Current CPU time: 0.761884 s 0.69/0.79 c 0.69/0.79 c core #235 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 71 Core Weight: 1 Total Weight: 235 0.69/0.79 c Current CPU time: 0.766883 s 0.69/0.79 c 0.69/0.79 c core #236 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 236 0.69/0.79 c Current CPU time: 0.770882 s 0.69/0.79 c 0.69/0.79 c core #237 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 237 0.69/0.79 c Current CPU time: 0.775882 s 0.69/0.79 c 0.69/0.79 c core #238 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 69 Core Weight: 1 Total Weight: 238 0.69/0.79 c Current CPU time: 0.780881 s 0.69/0.79 c 0.69/0.79 c core #239 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 70 Core Weight: 1 Total Weight: 239 0.69/0.79 c Current CPU time: 0.78488 s 0.69/0.79 c 0.69/0.79 c core #240 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 106 Core Weight: 1 Total Weight: 240 0.69/0.79 c Current CPU time: 0.789879 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 1840 10829 36683 | 5000 0 -nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.79/0.80 c core #241 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 12 Core Weight: 1 Total Weight: 241 0.79/0.80 c Current CPU time: 0.793879 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 1847 10830 36697 | 5000 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #242 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 78 Core Weight: 1 Total Weight: 242 0.79/0.80 c Current CPU time: 0.798878 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 1859 10831 36721 | 5000 0 -nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #243 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 76 Core Weight: 1 Total Weight: 243 0.79/0.80 c Current CPU time: 0.802877 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 1870 10832 36743 | 5000 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #244 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 77 Core Weight: 1 Total Weight: 244 0.79/0.81 c Current CPU time: 0.806877 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 1881 10833 36765 | 5000 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #245 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 10 Core Weight: 1 Total Weight: 245 0.79/0.81 c Current CPU time: 0.811876 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 1887 10834 36777 | 5000 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #246 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 10 Core Weight: 1 Total Weight: 246 0.79/0.82 c Current CPU time: 0.815875 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 1893 10835 36789 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #247 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 12 Core Weight: 1 Total Weight: 247 0.79/0.82 c Current CPU time: 0.819875 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 1900 10836 36803 | 5000 0 -nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.83 c core #248 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 12 Core Weight: 1 Total Weight: 248 0.79/0.83 c Current CPU time: 0.824874 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 1907 10837 36817 | 5000 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #249 0.79/0.83 c 0.79/0.83 c 0.79/0.83 c Core size: 77 Core Weight: 1 Total Weight: 249 0.79/0.83 c Current CPU time: 0.828873 s 0.79/0.83 c 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 1918 10838 36839 | 5000 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #250 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 76 Core Weight: 1 Total Weight: 250 0.79/0.84 c Current CPU time: 0.832873 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 1928 10839 36859 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #251 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 15 Core Weight: 1 Total Weight: 251 0.79/0.84 c Current CPU time: 0.837872 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 1939 10840 36881 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #252 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 13 Core Weight: 1 Total Weight: 252 0.79/0.84 c Current CPU time: 0.841872 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 1948 10841 36899 | 5000 0 -nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.85 c core #253 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 12 Core Weight: 1 Total Weight: 253 0.79/0.85 c Current CPU time: 0.846871 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 1955 10842 36913 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #254 0.79/0.85 c 0.79/0.85 c 0.79/0.85 c Core size: 12 Core Weight: 1 Total Weight: 254 0.79/0.85 c Current CPU time: 0.85087 s 0.79/0.85 c 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 1962 10843 36927 | 5000 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #255 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 18 Core Weight: 1 Total Weight: 255 0.79/0.86 c Current CPU time: 0.85487 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 1973 10844 36949 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #256 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 13 Core Weight: 1 Total Weight: 256 0.79/0.86 c Current CPU time: 0.858869 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 1980 10845 36963 | 5000 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.87 c core #257 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 34 Core Weight: 1 Total Weight: 257 0.79/0.87 c Current CPU time: 0.862868 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2001 10846 37005 | 5000 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #258 0.79/0.87 c 0.79/0.87 c 0.79/0.87 c Core size: 17 Core Weight: 1 Total Weight: 258 0.79/0.87 c Current CPU time: 0.867868 s 0.79/0.87 c 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 2012 10847 37027 | 5000 0 -nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.88 c core #259 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 122 Core Weight: 1 Total Weight: 259 0.79/0.88 c Current CPU time: 0.873867 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2064 10848 37131 | 5000 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #260 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 14 Core Weight: 1 Total Weight: 260 0.79/0.88 c Current CPU time: 0.877866 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 2072 10849 37147 | 5000 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #261 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 10 Core Weight: 1 Total Weight: 261 0.79/0.89 c Current CPU time: 0.882865 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2078 10850 37159 | 5000 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #262 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 12 Core Weight: 1 Total Weight: 262 0.79/0.89 c Current CPU time: 0.886865 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 2085 10851 37173 | 5000 0 -nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.89/0.90 c core #263 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 12 Core Weight: 1 Total Weight: 263 0.89/0.90 c Current CPU time: 0.891864 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2092 10852 37187 | 5000 0 -nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #264 0.89/0.90 c 0.89/0.90 c 0.89/0.90 c Core size: 12 Core Weight: 1 Total Weight: 264 0.89/0.90 c Current CPU time: 0.898863 s 0.89/0.90 c 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 2099 10853 37201 | 5000 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #265 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 10 Core Weight: 1 Total Weight: 265 0.89/0.91 c Current CPU time: 0.904862 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 2105 10854 37213 | 5000 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #266 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 12 Core Weight: 1 Total Weight: 266 0.89/0.92 c Current CPU time: 0.911861 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2112 10855 37227 | 5000 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #267 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 10 Core Weight: 1 Total Weight: 267 0.89/0.92 c Current CPU time: 0.91686 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2118 10856 37239 | 5000 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.93 c core #268 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 21 Core Weight: 1 Total Weight: 268 0.89/0.93 c Current CPU time: 0.921859 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2133 10857 37269 | 5000 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c core #269 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 76 Core Weight: 1 Total Weight: 269 0.89/0.93 c Current CPU time: 0.926859 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 2144 10858 37291 | 5000 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.94 c core #270 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 12 Core Weight: 1 Total Weight: 270 0.89/0.94 c Current CPU time: 0.931858 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2151 10859 37305 | 5000 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #271 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 34 Core Weight: 1 Total Weight: 271 0.89/0.94 c Current CPU time: 0.936857 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2170 10860 37343 | 5000 0 -nan | 0.000 % | 0.89/0.94 c =============================================================================== 0.89/0.95 c core #272 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 12 Core Weight: 1 Total Weight: 272 0.89/0.95 c Current CPU time: 0.941856 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2177 10861 37357 | 5000 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #273 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 10 Core Weight: 1 Total Weight: 273 0.89/0.95 c Current CPU time: 0.945856 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 2183 10862 37369 | 5000 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #274 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 75 Core Weight: 1 Total Weight: 274 0.89/0.96 c Current CPU time: 0.950855 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 2193 10863 37389 | 5000 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c core #275 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 10 Core Weight: 1 Total Weight: 275 0.89/0.96 c Current CPU time: 0.955854 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 2199 10864 37401 | 5000 0 -nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.97 c core #276 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 10 Core Weight: 1 Total Weight: 276 0.89/0.97 c Current CPU time: 0.960853 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 | 2205 10865 37413 | 5000 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #277 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 16 Core Weight: 1 Total Weight: 277 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 | 2215 10866 37433 | 5000 0 -nan | 0.000 % | 0.89/0.97 c =============================================================================== 0.89/0.98 c core #278 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 75 Core Weight: 1 Total Weight: 278 0.89/0.98 c Current CPU time: 0.969852 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 | 2225 10867 37453 | 5000 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #279 0.89/0.98 c 0.89/0.98 c 0.89/0.98 c Core size: 10 Core Weight: 1 Total Weight: 279 0.89/0.98 c Current CPU time: 0.974851 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 | 2231 10868 37465 | 5000 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #280 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 12 Core Weight: 1 Total Weight: 280 0.89/0.99 c Current CPU time: 0.979851 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 | 2238 10869 37479 | 5000 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #281 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 24 Core Weight: 1 Total Weight: 281 0.89/0.99 c Current CPU time: 0.98385 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 | 2250 10870 37503 | 5000 0 -nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.99/1.00 c core #282 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 14 Core Weight: 1 Total Weight: 282 0.99/1.00 c Current CPU time: 0.988849 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 | 2258 10871 37519 | 5000 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.00 c core #283 0.99/1.00 c 0.99/1.00 c 0.99/1.00 c Core size: 76 Core Weight: 1 Total Weight: 283 0.99/1.00 c Current CPU time: 0.993848 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 | 2268 10872 37539 | 5000 0 -nan | 0.000 % | 0.99/1.00 c =============================================================================== 0.99/1.01 c core #284 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 10 Core Weight: 1 Total Weight: 284 0.99/1.01 c Current CPU time: 0.998848 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 | 2274 10873 37551 | 5000 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #285 0.99/1.01 c 0.99/1.01 c 0.99/1.01 c Core size: 10 Core Weight: 1 Total Weight: 285 0.99/1.01 c Current CPU time: 1.00385 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 | 2280 10874 37563 | 5000 0 -nan | 0.000 % | 0.99/1.01 c =============================================================================== 0.99/1.02 c core #286 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 10 Core Weight: 1 Total Weight: 286 0.99/1.02 c Current CPU time: 1.00885 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 | 2286 10875 37575 | 5000 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #287 0.99/1.02 c 0.99/1.02 c 0.99/1.02 c Core size: 21 Core Weight: 1 Total Weight: 287 0.99/1.02 c Current CPU time: 1.01385 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 | 2302 10876 37607 | 5000 0 -nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #288 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 10 Core Weight: 1 Total Weight: 288 0.99/1.03 c Current CPU time: 1.01885 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 | 2308 10877 37619 | 5000 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c core #289 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 12 Core Weight: 1 Total Weight: 289 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 | 2315 10878 37633 | 5000 0 -nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.04 c core #290 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 75 Core Weight: 1 Total Weight: 290 0.99/1.04 c Current CPU time: 1.02984 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 | 2325 10879 37653 | 5000 0 -nan | 0.000 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #291 0.99/1.04 c 0.99/1.04 c 0.99/1.04 c Core size: 10 Core Weight: 1 Total Weight: 291 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 | 2331 10880 37665 | 5000 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #292 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 17 Core Weight: 1 Total Weight: 292 0.99/1.05 c Current CPU time: 1.03884 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 | 2341 10881 37685 | 5000 0 -nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #293 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 10 Core Weight: 1 Total Weight: 293 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 | 2347 10882 37697 | 5000 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #294 0.99/1.06 c 0.99/1.06 c 0.99/1.06 c Core size: 20 Core Weight: 1 Total Weight: 294 0.99/1.06 c Current CPU time: 1.04884 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 | 2362 10883 37727 | 5000 0 -nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.07 c core #295 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 18 Core Weight: 1 Total Weight: 295 0.99/1.07 c Current CPU time: 1.05384 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 | 2375 10884 37753 | 5000 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.07 c core #296 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 18 Core Weight: 1 Total Weight: 296 0.99/1.07 c Current CPU time: 1.05984 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 | 2388 10885 37779 | 5000 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #297 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 78 Core Weight: 1 Total Weight: 297 0.99/1.08 c Current CPU time: 1.06484 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 | 2398 10886 37799 | 5000 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c core #298 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 19 Core Weight: 1 Total Weight: 298 0.99/1.08 c Current CPU time: 1.06984 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 | 2409 10887 37821 | 5000 0 -nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.09 c core #299 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 14 Core Weight: 1 Total Weight: 299 0.99/1.09 c Current CPU time: 1.07484 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 | 2417 10888 37837 | 5000 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #300 0.99/1.09 c 0.99/1.09 c 0.99/1.09 c Core size: 21 Core Weight: 1 Total Weight: 300 0.99/1.09 c Current CPU time: 1.08083 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 | 2430 10889 37863 | 5000 0 -nan | 0.000 % | 0.99/1.09 c =============================================================================== 0.99/1.10 c core #301 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 40 Core Weight: 1 Total Weight: 301 0.99/1.10 c Current CPU time: 1.08583 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 | 2458 10890 37919 | 5000 0 -nan | 0.000 % | 0.99/1.10 c | 100 | 2448 10890 37919 | 5500 100 27 | 0.407 % | 0.99/1.10 c =============================================================================== 0.99/1.11 c core #302 0.99/1.11 c 0.99/1.11 c 0.99/1.11 c Core size: 85 Core Weight: 1 Total Weight: 302 0.99/1.11 c Current CPU time: 1.09283 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 | 2538 10891 38079 | 5000 0 -nan | 0.000 % | 0.99/1.11 c =============================================================================== 1.10/1.11 c core #303 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 15 Core Weight: 1 Total Weight: 303 1.10/1.11 c Current CPU time: 1.09883 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 2549 10892 38101 | 5000 0 -nan | 0.000 % | 1.10/1.12 c =============================================================================== 1.10/1.12 c core #304 1.10/1.12 c 1.10/1.12 c 1.10/1.12 c Core size: 31 Core Weight: 1 Total Weight: 304 1.10/1.12 c Current CPU time: 1.10383 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 | 2573 10893 38149 | 5000 0 -nan | 0.000 % | 1.10/1.12 c | 100 | 2560 10893 38149 | 5500 100 26 | 0.505 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #305 1.10/1.13 c 1.10/1.13 c 1.10/1.13 c Core size: 143 Core Weight: 1 Total Weight: 305 1.10/1.13 c Current CPU time: 1.11183 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 | 2651 10894 38305 | 5000 0 -nan | 0.000 % | 1.10/1.14 c | 103 | 2650 10894 38305 | 5500 103 34 | 0.075 % | 1.10/1.14 c | 255 | 2649 10894 38305 | 6050 255 39 | 0.113 % | 1.10/1.16 c | 480 | 2648 10894 38305 | 6655 480 49 | 0.113 % | 1.10/1.18 c | 820 | 2644 10894 38305 | 7320 820 49 | 0.264 % | 1.10/1.21 c =============================================================================== 1.20/1.21 c core #306 1.20/1.21 c 1.20/1.21 c 1.20/1.21 c Core size: 110 Core Weight: 1 Total Weight: 306 1.20/1.21 c Current CPU time: 1.19582 s 1.20/1.21 c 1.20/1.21 c ============================[ Search Statistics ]============================== 1.20/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.21 c =============================================================================== 1.20/1.21 c | 0 | 2741 10896 38488 | 5000 0 -nan | 0.000 % | 1.20/1.22 c | 100 | 2741 10896 38488 | 5500 100 24 | 0.073 % | 1.20/1.23 c | 251 | 2741 10896 38488 | 6050 251 33 | 0.073 % | 1.20/1.24 c | 476 | 2739 10896 38488 | 6655 476 37 | 0.073 % | 1.20/1.26 c | 815 | 2739 10896 38488 | 7320 815 43 | 0.073 % | 1.20/1.29 c | 1326 | 2737 10896 38488 | 8052 1326 43 | 0.146 % | 1.29/1.31 c =============================================================================== 1.29/1.32 c core #307 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 145 Core Weight: 1 Total Weight: 307 1.29/1.32 c Current CPU time: 1.2878 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 | 2772 10897 38550 | 5000 0 -nan | 0.000 % | 1.29/1.32 c | 100 | 2772 10897 38550 | 5500 100 34 | 0.072 % | 1.29/1.33 c | 252 | 2770 10897 38550 | 6050 252 36 | 0.072 % | 1.29/1.34 c | 477 | 2770 10897 38550 | 6655 477 37 | 0.072 % | 1.29/1.36 c | 814 | 2770 10897 38550 | 7320 814 36 | 0.072 % | 1.29/1.39 c | 1320 | 2768 10897 38550 | 8052 1320 43 | 0.144 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #308 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 87 Core Weight: 1 Total Weight: 308 1.39/1.44 c Current CPU time: 1.40279 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 | 2825 10902 38665 | 5000 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #309 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 35 Core Weight: 1 Total Weight: 309 1.39/1.44 c Current CPU time: 1.40878 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 | 2849 10903 38713 | 5000 0 -nan | 0.000 % | 1.39/1.45 c | 102 | 2849 10903 38713 | 5500 102 31 | 0.001 % | 1.39/1.46 c | 255 | 2846 10903 38713 | 6050 255 36 | 0.140 % | 1.39/1.47 c | 482 | 2838 10903 38713 | 6655 482 44 | 0.421 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #310 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 13 Core Weight: 1 Total Weight: 310 1.39/1.49 c Current CPU time: 1.45478 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 | 2858 10906 38736 | 5000 0 -nan | 0.000 % | 1.49/1.50 c | 100 | 2858 10906 38736 | 5500 100 32 | 0.070 % | 1.49/1.51 c | 251 | 2857 10906 38736 | 6050 251 46 | 0.070 % | 1.49/1.52 c | 476 | 2856 10906 38736 | 6655 476 47 | 0.070 % | 1.49/1.54 c | 815 | 2856 10906 38736 | 7320 815 47 | 0.070 % | 1.49/1.58 c | 1324 | 2856 10906 38736 | 8052 1324 50 | 0.070 % | 1.59/1.63 c | 2084 | 2854 10906 38736 | 8857 2084 46 | 0.140 % | 1.59/1.66 c =============================================================================== 1.59/1.67 c core #311 1.59/1.67 c 1.59/1.67 c 1.59/1.67 c Core size: 62 Core Weight: 1 Total Weight: 311 1.59/1.67 c Current CPU time: 1.62775 s 1.59/1.67 c 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 2880 10908 38783 | 5000 0 -nan | 0.000 % | 1.59/1.67 c | 100 | 2880 10908 38783 | 5500 100 26 | 0.069 % | 1.59/1.67 c =============================================================================== 1.59/1.68 c core #312 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 53 Core Weight: 1 Total Weight: 312 1.59/1.68 c Current CPU time: 1.63775 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 | 2925 10909 38873 | 5000 0 -nan | 0.000 % | 1.59/1.68 c | 100 | 2925 10909 38873 | 5500 100 38 | 0.001 % | 1.59/1.69 c | 251 | 2925 10909 38873 | 6050 251 44 | 0.000 % | 1.69/1.71 c | 476 | 2925 10909 38873 | 6655 476 54 | 0.000 % | 1.69/1.73 c | 814 | 2922 10909 38873 | 7320 814 55 | 0.137 % | 1.69/1.76 c | 1322 | 2921 10909 38873 | 8052 1322 54 | 0.137 % | 1.79/1.82 c | 2081 | 2921 10909 38873 | 8857 2081 54 | 0.137 % | 1.89/1.91 c | 3220 | 2921 10909 38873 | 9743 3220 54 | 0.137 % | 1.89/1.95 c =============================================================================== 1.89/1.96 c core #313 1.89/1.96 c 1.89/1.96 c 1.89/1.96 c Core size: 68 Core Weight: 1 Total Weight: 313 1.89/1.96 c Current CPU time: 1.90271 s 1.89/1.96 c 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 2945 10913 38922 | 5000 0 -nan | 0.000 % | 1.89/1.96 c | 104 | 2945 10913 38922 | 5500 104 20 | 0.068 % | 1.89/1.97 c | 255 | 2943 10913 38922 | 6050 255 39 | 0.068 % | 1.89/1.98 c | 481 | 2943 10913 38922 | 6655 481 46 | 0.068 % | 1.99/2.00 c | 818 | 2943 10913 38922 | 7320 818 47 | 0.069 % | 1.99/2.03 c | 1324 | 2939 10913 38922 | 8052 1324 53 | 0.272 % | 1.99/2.09 c | 2086 | 2928 10913 38922 | 8857 2086 50 | 0.645 % | 1.99/2.09 c =============================================================================== 2.09/2.10 c core #314 2.09/2.10 c 2.09/2.10 c 2.09/2.10 c Core size: 109 Core Weight: 1 Total Weight: 314 2.09/2.10 c Current CPU time: 2.04369 s 2.09/2.10 c 2.09/2.10 c ============================[ Search Statistics ]============================== 2.09/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.10 c =============================================================================== 2.09/2.10 c | 0 | 2958 10921 38963 | 5000 0 -nan | 0.000 % | 2.09/2.10 c | 102 | 2958 10921 38963 | 5500 102 42 | 0.001 % | 2.09/2.11 c | 254 | 2958 10921 38963 | 6050 254 44 | 0.000 % | 2.09/2.12 c | 479 | 2958 10921 38963 | 6655 479 48 | 0.000 % | 2.09/2.14 c | 818 | 2958 10921 38963 | 7320 818 47 | 0.000 % | 2.09/2.18 c | 1328 | 2958 10921 38963 | 8052 1328 44 | 0.000 % | 2.20/2.24 c | 2088 | 2958 10921 38963 | 8857 2088 42 | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.30 c core #315 2.20/2.30 c 2.20/2.30 c 2.20/2.30 c Core size: 118 Core Weight: 1 Total Weight: 315 2.20/2.30 c Current CPU time: 2.23466 s 2.20/2.30 c 2.20/2.30 c ============================[ Search Statistics ]============================== 2.20/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.30 c =============================================================================== 2.20/2.30 c | 0 | 2971 10926 38998 | 5000 0 -nan | 0.000 % | 2.20/2.30 c | 101 | 2959 10926 38998 | 5500 101 9 | 0.572 % | 2.20/2.30 c =============================================================================== 2.20/2.30 c core #316 2.20/2.30 c 2.20/2.30 c 2.20/2.30 c Core size: 15 Core Weight: 1 Total Weight: 316 2.20/2.30 c Current CPU time: 2.24466 s 2.20/2.30 c 2.20/2.30 c ============================[ Search Statistics ]============================== 2.20/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.30 c =============================================================================== 2.20/2.30 c | 0 | 2981 10928 39021 | 5000 0 -nan | 0.000 % | 2.20/2.31 c | 100 | 2980 10928 39021 | 5500 100 30 | 0.067 % | 2.31/2.32 c | 250 | 2980 10928 39021 | 6050 250 42 | 0.067 % | 2.31/2.33 c | 475 | 2979 10928 39021 | 6655 475 47 | 0.067 % | 2.31/2.35 c | 812 | 2979 10928 39021 | 7320 812 49 | 0.067 % | 2.31/2.39 c | 1319 | 2979 10928 39021 | 8052 1319 45 | 0.067 % | 2.39/2.43 c =============================================================================== 2.39/2.44 c core #317 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 64 Core Weight: 1 Total Weight: 317 2.39/2.44 c Current CPU time: 2.37164 s 2.39/2.44 c 2.39/2.44 c ============================[ Search Statistics ]============================== 2.39/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.44 c =============================================================================== 2.39/2.44 c | 0 | 3011 10945 39119 | 5000 0 -nan | 0.000 % | 2.39/2.44 c | 100 | 3010 10945 39119 | 5500 100 37 | 0.133 % | 2.39/2.45 c | 250 | 3009 10945 39119 | 6050 250 40 | 0.133 % | 2.39/2.46 c | 475 | 3007 10945 39119 | 6655 475 43 | 0.133 % | 2.39/2.48 c | 812 | 3007 10945 39119 | 7320 812 45 | 0.133 % | 2.49/2.52 c | 1318 | 3007 10945 39119 | 8052 1318 47 | 0.133 % | 2.49/2.57 c | 2078 | 3003 10945 39119 | 8857 2078 45 | 0.266 % | 2.59/2.60 c =============================================================================== 2.59/2.61 c core #318 2.59/2.61 c 2.59/2.61 c 2.59/2.61 c Core size: 176 Core Weight: 1 Total Weight: 318 2.59/2.61 c Current CPU time: 2.53661 s 2.59/2.61 c 2.59/2.61 c ============================[ Search Statistics ]============================== 2.59/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.61 c =============================================================================== 2.59/2.61 c | 0 | 3029 10952 39173 | 5000 0 -nan | 0.000 % | 2.59/2.61 c | 103 | 3029 10952 39173 | 5500 103 28 | 0.001 % | 2.59/2.62 c | 253 | 3029 10952 39173 | 6050 253 44 | 0.000 % | 2.59/2.64 c | 481 | 3029 10952 39173 | 6655 481 47 | 0.000 % | 2.59/2.66 c | 818 | 3029 10952 39173 | 7320 818 47 | 0.000 % | 2.59/2.69 c | 1324 | 3029 10952 39173 | 8052 1324 48 | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.74 c core #319 2.69/2.74 c 2.69/2.74 c 2.69/2.74 c Core size: 39 Core Weight: 1 Total Weight: 319 2.69/2.74 c Current CPU time: 2.66659 s 2.69/2.74 c 2.69/2.74 c ============================[ Search Statistics ]============================== 2.69/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.74 c =============================================================================== 2.69/2.74 c | 0 | 3049 10962 39235 | 5000 0 -nan | 0.000 % | 2.69/2.75 c | 100 | 3048 10962 39235 | 5500 100 28 | 0.131 % | 2.69/2.76 c | 253 | 3047 10962 39235 | 6050 253 36 | 0.131 % | 2.69/2.77 c | 479 | 3045 10962 39235 | 6655 479 42 | 0.131 % | 2.69/2.79 c | 818 | 3042 10962 39235 | 7320 818 46 | 0.262 % | 2.79/2.82 c | 1325 | 3035 10962 39235 | 8052 1325 48 | 0.459 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c core #320 2.79/2.85 c 2.79/2.85 c 2.79/2.85 c Core size: 90 Core Weight: 1 Total Weight: 320 2.79/2.85 c Current CPU time: 2.77458 s 2.79/2.85 c 2.79/2.85 c ============================[ Search Statistics ]============================== 2.79/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.85 c =============================================================================== 2.79/2.85 c | 0 | 3071 10967 39290 | 5000 0 -nan | 0.000 % | 2.79/2.86 c | 101 | 3071 10967 39290 | 5500 101 35 | 0.001 % | 2.79/2.86 c | 251 | 3071 10967 39290 | 6050 251 39 | 0.000 % | 2.79/2.88 c | 478 | 3071 10967 39290 | 6655 478 44 | 0.000 % | 2.79/2.90 c | 820 | 3071 10967 39290 | 7320 820 48 | 0.000 % | 2.89/2.94 c | 1326 | 3071 10967 39290 | 8052 1326 50 | 0.000 % | 2.99/3.00 c | 2085 | 3071 10967 39290 | 8857 2085 49 | 0.000 % | 3.09/3.10 c | 3224 | 3067 10967 39290 | 9743 3224 46 | 0.130 % | 3.09/3.11 c =============================================================================== 3.09/3.12 c core #321 3.09/3.12 c 3.09/3.12 c 3.09/3.12 c Core size: 160 Core Weight: 1 Total Weight: 321 3.09/3.12 c Current CPU time: 3.03454 s 3.09/3.12 c 3.09/3.12 c ============================[ Search Statistics ]============================== 3.09/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.12 c =============================================================================== 3.09/3.12 c | 0 | 3088 10984 39361 | 5000 0 -nan | 0.000 % | 3.09/3.13 c | 100 | 3088 10984 39361 | 5500 100 31 | 0.001 % | 3.09/3.13 c | 251 | 3088 10984 39361 | 6050 251 38 | 0.000 % | 3.09/3.14 c | 476 | 3088 10984 39361 | 6655 476 45 | 0.000 % | 3.09/3.16 c | 814 | 3088 10984 39361 | 7320 814 45 | 0.000 % | 3.09/3.19 c | 1323 | 3088 10984 39361 | 8052 1323 48 | 0.000 % | 3.19/3.25 c | 2085 | 3088 10984 39361 | 8857 2085 51 | 0.000 % | 3.30/3.35 c | 3225 | 3088 10984 39361 | 9743 3225 50 | 0.000 % | 3.49/3.53 c | 4933 | 3088 10984 39361 | 10717 4933 50 | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.58 c core #322 3.49/3.58 c 3.49/3.58 c 3.49/3.58 c Core size: 87 Core Weight: 1 Total Weight: 322 3.49/3.58 c Current CPU time: 3.47247 s 3.49/3.58 c 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 3100 11000 39424 | 5000 0 -nan | 0.000 % | 3.49/3.58 c | 100 | 3099 11000 39424 | 5500 100 23 | 0.130 % | 3.49/3.59 c | 254 | 3098 11000 39424 | 6050 254 30 | 0.129 % | 3.59/3.60 c | 481 | 3096 11000 39424 | 6655 481 39 | 0.129 % | 3.59/3.62 c | 819 | 3096 11000 39424 | 7320 819 44 | 0.129 % | 3.59/3.66 c | 1325 | 3096 11000 39424 | 8052 1325 45 | 0.129 % | 3.69/3.72 c | 2084 | 3096 11000 39424 | 8857 2084 45 | 0.129 % | 3.79/3.82 c | 3225 | 3096 11000 39424 | 9743 3225 43 | 0.129 % | 3.89/3.92 c =============================================================================== 3.89/3.93 c core #323 3.89/3.93 c 3.89/3.93 c 3.89/3.93 c Core size: 196 Core Weight: 1 Total Weight: 323 3.89/3.93 c Current CPU time: 3.82042 s 3.89/3.93 c 3.89/3.93 c ============================[ Search Statistics ]============================== 3.89/3.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.93 c =============================================================================== 3.89/3.93 c | 0 | 3116 11012 39482 | 5000 0 -nan | 0.000 % | 3.89/3.93 c | 102 | 3113 11012 39482 | 5500 102 27 | 0.193 % | 3.89/3.94 c | 252 | 3113 11012 39482 | 6050 252 40 | 0.193 % | 3.89/3.95 c | 477 | 3110 11012 39482 | 6655 477 50 | 0.193 % | 3.89/3.97 c | 814 | 3110 11012 39482 | 7320 814 48 | 0.193 % | 3.99/4.01 c | 1320 | 3110 11012 39482 | 8052 1320 49 | 0.193 % | 3.99/4.07 c | 2080 | 3110 11012 39482 | 8857 2080 48 | 0.193 % | 4.09/4.17 c | 3219 | 3110 11012 39482 | 9743 3219 48 | 0.193 % | 4.19/4.22 c =============================================================================== 4.19/4.23 c core #324 4.19/4.23 c 4.19/4.23 c 4.19/4.23 c Core size: 118 Core Weight: 1 Total Weight: 324 4.19/4.23 c Current CPU time: 4.12137 s 4.19/4.23 c 4.19/4.23 c ============================[ Search Statistics ]============================== 4.19/4.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.23 c =============================================================================== 4.19/4.23 c | 0 | 3135 11023 39547 | 5000 0 -nan | 0.000 % | 4.19/4.24 c | 101 | 3135 11023 39547 | 5500 101 30 | 0.001 % | 4.19/4.25 c | 253 | 3135 11023 39547 | 6050 253 33 | 0.000 % | 4.19/4.26 c | 480 | 3135 11023 39547 | 6655 480 41 | 0.000 % | 4.19/4.28 c | 819 | 3135 11023 39547 | 7320 819 47 | 0.000 % | 4.29/4.31 c | 1327 | 3135 11023 39547 | 8052 1327 45 | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.37 c core #325 4.29/4.37 c 4.29/4.37 c 4.29/4.37 c Core size: 136 Core Weight: 1 Total Weight: 325 4.29/4.37 c Current CPU time: 4.25535 s 4.29/4.37 c 4.29/4.37 c ============================[ Search Statistics ]============================== 4.29/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.37 c =============================================================================== 4.29/4.37 c | 0 | 3166 11037 39641 | 5000 0 -nan | 0.000 % | 4.29/4.37 c | 100 | 3166 11037 39641 | 5500 100 15 | 0.001 % | 4.29/4.37 c | 253 | 3166 11037 39641 | 6050 253 15 | 0.064 % | 4.29/4.38 c | 478 | 3164 11037 39641 | 6655 478 18 | 0.064 % | 4.29/4.39 c | 817 | 3162 11037 39641 | 7320 817 19 | 0.190 % | 4.29/4.40 c | 1326 | 3155 11037 39641 | 8052 1326 19 | 0.570 % | 4.29/4.40 c =============================================================================== 4.29/4.41 c core #326 4.29/4.41 c 4.29/4.41 c 4.29/4.41 c Core size: 41 Core Weight: 1 Total Weight: 326 4.29/4.41 c Current CPU time: 4.29435 s 4.29/4.41 c 4.29/4.41 c ============================[ Search Statistics ]============================== 4.29/4.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.41 c =============================================================================== 4.29/4.41 c | 0 | 3200 11039 39711 | 5000 0 -nan | 0.000 % | 4.29/4.41 c | 101 | 3200 11039 39711 | 5500 101 15 | 0.001 % | 4.41/4.42 c | 252 | 3200 11039 39711 | 6050 252 25 | 0.001 % | 4.41/4.43 c | 482 | 3200 11039 39711 | 6655 482 32 | 0.000 % | 4.41/4.45 c | 822 | 3200 11039 39711 | 7320 822 34 | 0.000 % | 4.41/4.48 c | 1329 | 3200 11039 39711 | 8052 1329 34 | 0.000 % | 4.50/4.54 c | 2088 | 3200 11039 39711 | 8857 2088 36 | 0.000 % | 4.59/4.64 c | 3228 | 3200 11039 39711 | 9743 3228 37 | 0.000 % | 4.59/4.69 c =============================================================================== 4.59/4.69 c core #327 4.59/4.69 c 4.59/4.69 c 4.59/4.69 c Core size: 134 Core Weight: 1 Total Weight: 327 4.59/4.69 c Current CPU time: 4.5663 s 4.59/4.69 c 4.59/4.69 c ============================[ Search Statistics ]============================== 4.59/4.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.69 c =============================================================================== 4.59/4.69 c | 0 | 3212 11074 39826 | 5000 0 -nan | 0.000 % | 4.69/4.70 c | 100 | 3212 11074 39826 | 5500 100 26 | 0.001 % | 4.69/4.70 c | 252 | 3212 11074 39826 | 6050 252 35 | 0.000 % | 4.69/4.70 c | 478 | 3212 11074 39826 | 6655 478 32 | 0.000 % | 4.69/4.72 c | 815 | 3208 11074 39826 | 7320 815 32 | 0.125 % | 4.69/4.75 c | 1322 | 3203 11074 39826 | 8052 1322 40 | 0.374 % | 4.79/4.81 c | 2081 | 3200 11074 39826 | 8857 2081 46 | 0.374 % | 4.89/4.90 c | 3223 | 3200 11074 39826 | 9743 3223 47 | 0.374 % | 4.99/5.03 c =============================================================================== 4.99/5.04 c core #328 4.99/5.04 c 4.99/5.04 c 4.99/5.04 c Core size: 263 Core Weight: 1 Total Weight: 328 4.99/5.04 c Current CPU time: 4.89926 s 4.99/5.04 c 4.99/5.04 c ============================[ Search Statistics ]============================== 4.99/5.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.04 c =============================================================================== 4.99/5.04 c | 0 | 3263 11084 39950 | 5000 0 -nan | 0.000 % | 4.99/5.05 c | 100 | 3262 11084 39950 | 5500 100 25 | 0.245 % | 4.99/5.05 c | 250 | 3260 11084 39950 | 6050 250 34 | 0.245 % | 4.99/5.07 c | 476 | 3255 11084 39950 | 6655 476 39 | 0.245 % | 4.99/5.08 c | 813 | 3255 11084 39950 | 7320 813 41 | 0.245 % | 5.09/5.12 c | 1322 | 3255 11084 39950 | 8052 1322 42 | 0.245 % | 5.09/5.18 c | 2081 | 3255 11084 39950 | 8857 2081 43 | 0.245 % | 5.19/5.29 c | 3221 | 3255 11084 39950 | 9743 3221 40 | 0.245 % | 5.29/5.30 c =============================================================================== 5.29/5.31 c core #329 5.29/5.31 c 5.29/5.31 c 5.29/5.31 c Core size: 97 Core Weight: 1 Total Weight: 329 5.29/5.31 c Current CPU time: 5.14822 s 5.29/5.31 c 5.29/5.31 c ============================[ Search Statistics ]============================== 5.29/5.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.31 c =============================================================================== 5.29/5.31 c | 0 | 3291 11097 40038 | 5000 0 -nan | 0.000 % | 5.29/5.31 c | 100 | 3286 11097 40038 | 5500 100 24 | 0.365 % | 5.29/5.32 c | 250 | 3285 11097 40038 | 6050 250 41 | 0.365 % | 5.29/5.33 c | 477 | 3278 11097 40038 | 6655 477 43 | 0.425 % | 5.29/5.35 c | 814 | 3276 11097 40038 | 7320 814 50 | 0.486 % | 5.29/5.39 c | 1320 | 3266 11097 40038 | 8052 1320 52 | 0.790 % | 5.39/5.46 c | 2080 | 3259 11097 40038 | 8857 2080 52 | 1.033 % | 5.39/5.47 c =============================================================================== 5.39/5.47 c core #330 5.39/5.47 c 5.39/5.47 c 5.39/5.47 c Core size: 150 Core Weight: 1 Total Weight: 330 5.39/5.47 c Current CPU time: 5.31219 s 5.39/5.47 c 5.39/5.47 c ============================[ Search Statistics ]============================== 5.39/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.47 c =============================================================================== 5.39/5.47 c | 0 | 3303 11111 40091 | 5000 0 -nan | 0.000 % | 5.39/5.48 c | 101 | 3303 11111 40091 | 5500 101 33 | 0.061 % | 5.39/5.49 c | 251 | 3302 11111 40091 | 6050 251 43 | 0.061 % | 5.39/5.50 c | 476 | 3299 11111 40091 | 6655 476 49 | 0.182 % | 5.51/5.52 c | 815 | 3295 11111 40091 | 7320 815 46 | 0.242 % | 5.51/5.56 c | 1322 | 3287 11111 40091 | 8052 1322 45 | 0.545 % | 5.60/5.62 c | 2083 | 3275 11111 40091 | 8857 2083 44 | 0.969 % | 5.60/5.63 c =============================================================================== 5.60/5.64 c core #331 5.60/5.64 c 5.60/5.64 c 5.60/5.64 c Core size: 98 Core Weight: 1 Total Weight: 331 5.60/5.64 c Current CPU time: 5.46917 s 5.60/5.64 c 5.60/5.64 c ============================[ Search Statistics ]============================== 5.60/5.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.60/5.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.60/5.64 c =============================================================================== 5.60/5.64 c | 0 | 3325 11118 40152 | 5000 0 -nan | 0.000 % | 5.60/5.64 c | 101 | 3325 11118 40152 | 5500 101 32 | 0.001 % | 5.60/5.65 c | 251 | 3325 11118 40152 | 6050 251 35 | 0.001 % | 5.60/5.67 c | 476 | 3325 11118 40152 | 6655 476 40 | 0.000 % | 5.60/5.69 c | 815 | 3325 11118 40152 | 7320 815 41 | 0.000 % | 5.69/5.72 c | 1323 | 3319 11118 40152 | 8052 1323 38 | 0.180 % | 5.69/5.78 c =============================================================================== 5.69/5.78 c core #332 5.69/5.78 c 5.69/5.78 c 5.69/5.78 c Core size: 186 Core Weight: 1 Total Weight: 332 5.69/5.78 c Current CPU time: 5.61015 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 | 3334 11132 40216 | 5000 0 -nan | 0.000 % | 5.69/5.79 c | 100 | 3334 11132 40216 | 5500 100 11 | 0.240 % | 5.79/5.80 c | 250 | 3331 11132 40216 | 6050 250 24 | 0.299 % | 5.79/5.80 c =============================================================================== 5.79/5.81 c core #333 5.79/5.81 c 5.79/5.81 c 5.79/5.81 c Core size: 254 Core Weight: 1 Total Weight: 333 5.79/5.81 c Current CPU time: 5.63114 s 5.79/5.81 c 5.79/5.81 c ============================[ Search Statistics ]============================== 5.79/5.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.81 c =============================================================================== 5.79/5.81 c | 0 | 3347 11141 40263 | 5000 0 -nan | 0.000 % | 5.79/5.81 c | 100 | 3347 11141 40263 | 5500 100 10 | 0.358 % | 5.79/5.82 c | 250 | 3343 11141 40263 | 6050 250 17 | 0.358 % | 5.79/5.82 c | 475 | 3343 11141 40263 | 6655 475 16 | 0.359 % | 5.79/5.82 c | 813 | 3343 11141 40263 | 7320 813 19 | 0.359 % | 5.79/5.83 c | 1323 | 3343 11141 40263 | 8052 1323 18 | 0.358 % | 5.79/5.85 c | 2085 | 3340 11141 40263 | 8857 2085 19 | 0.477 % | 5.79/5.88 c =============================================================================== 5.89/5.90 c core #334 5.89/5.90 c 5.89/5.90 c 5.89/5.90 c Core size: 46 Core Weight: 1 Total Weight: 334 5.89/5.90 c Current CPU time: 5.70913 s 5.89/5.90 c 5.89/5.90 c ============================[ Search Statistics ]============================== 5.89/5.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.90 c =============================================================================== 5.89/5.90 c | 0 | 3382 11149 40352 | 5000 0 -nan | 0.000 % | 5.89/5.90 c | 102 | 3381 11149 40352 | 5500 102 23 | 0.295 % | 5.89/5.91 c | 256 | 3378 11149 40352 | 6050 256 25 | 0.354 % | 5.89/5.92 c | 481 | 3378 11149 40352 | 6655 481 24 | 0.354 % | 5.89/5.92 c =============================================================================== 5.89/5.93 c core #335 5.89/5.93 c 5.89/5.93 c 5.89/5.93 c Core size: 149 Core Weight: 1 Total Weight: 335 5.89/5.93 c Current CPU time: 5.74113 s 5.89/5.93 c 5.89/5.93 c ============================[ Search Statistics ]============================== 5.89/5.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.93 c =============================================================================== 5.89/5.93 c | 0 | 3408 11162 40437 | 5000 0 -nan | 0.000 % | 5.89/5.93 c | 100 | 3406 11162 40437 | 5500 100 15 | 0.351 % | 5.89/5.93 c | 250 | 3405 11162 40437 | 6050 250 15 | 0.410 % | 5.89/5.94 c =============================================================================== 5.89/5.95 c core #336 5.89/5.95 c 5.89/5.95 c 5.89/5.95 c Core size: 184 Core Weight: 1 Total Weight: 336 5.89/5.95 c Current CPU time: 5.75812 s 5.89/5.95 c 5.89/5.95 c ============================[ Search Statistics ]============================== 5.89/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.89/5.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.89/5.95 c =============================================================================== 5.89/5.95 c | 0 | 3420 11177 40502 | 5000 0 -nan | 0.000 % | 5.89/5.95 c | 102 | 3420 11177 40502 | 5500 102 20 | 0.235 % | 5.89/5.96 c | 255 | 3420 11177 40502 | 6050 255 30 | 0.233 % | 5.89/5.97 c | 480 | 3420 11177 40502 | 6655 480 32 | 0.233 % | 5.89/5.98 c | 824 | 3414 11177 40502 | 7320 824 28 | 0.408 % | 5.89/5.99 c | 1330 | 3414 11177 40502 | 8052 1330 25 | 0.409 % | 5.99/6.01 c | 2095 | 3414 11177 40502 | 8857 2095 23 | 0.408 % | 5.99/6.05 c | 3236 | 3414 11177 40502 | 9743 3236 25 | 0.408 % | 6.09/6.11 c | 4947 | 3414 11177 40502 | 10717 4947 26 | 0.408 % | 6.19/6.26 c | 7510 | 3414 11177 40502 | 11789 7510 30 | 0.408 % | 6.49/6.55 c | 11356 | 3411 11177 40502 | 12968 11356 30 | 0.526 % | 6.49/6.57 c =============================================================================== 6.49/6.60 c core #337 6.49/6.60 c 6.49/6.60 c 6.49/6.60 c Core size: 264 Core Weight: 1 Total Weight: 337 6.49/6.60 c Current CPU time: 6.37603 s 6.49/6.60 c 6.49/6.60 c ============================[ Search Statistics ]============================== 6.49/6.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.60 c =============================================================================== 6.49/6.60 c | 0 | 3448 11205 40634 | 5000 0 -nan | 0.000 % | 6.49/6.60 c | 100 | 3447 11205 40634 | 5500 100 23 | 0.520 % | 6.49/6.61 c | 250 | 3447 11205 40634 | 6050 250 27 | 0.520 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c core #338 6.60/6.62 c 6.60/6.62 c 6.60/6.62 c Core size: 60 Core Weight: 1 Total Weight: 338 6.60/6.62 c Current CPU time: 6.40503 s 6.60/6.62 c 6.60/6.62 c ============================[ Search Statistics ]============================== 6.60/6.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.62 c =============================================================================== 6.60/6.62 c | 0 | 3470 11219 40715 | 5000 0 -nan | 0.000 % | 6.60/6.63 c | 100 | 3470 11219 40715 | 5500 100 13 | 0.461 % | 6.60/6.63 c | 250 | 3468 11219 40715 | 6050 250 21 | 0.516 % | 6.60/6.64 c | 475 | 3468 11219 40715 | 6655 475 26 | 0.516 % | 6.60/6.65 c =============================================================================== 6.60/6.66 c core #339 6.60/6.66 c 6.60/6.66 c 6.60/6.66 c Core size: 234 Core Weight: 1 Total Weight: 339 6.60/6.66 c Current CPU time: 6.44002 s 6.60/6.66 c 6.60/6.66 c ============================[ Search Statistics ]============================== 6.60/6.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.66 c =============================================================================== 6.60/6.66 c | 0 | 3505 11262 40897 | 5000 0 -nan | 0.000 % | 6.60/6.67 c | 101 | 3496 11262 40897 | 5500 101 17 | 0.795 % | 6.60/6.67 c | 253 | 3496 11262 40897 | 6050 253 24 | 0.795 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c core #340 6.60/6.68 c 6.60/6.68 c 6.60/6.68 c Core size: 63 Core Weight: 1 Total Weight: 340 6.60/6.68 c Current CPU time: 6.46102 s 6.60/6.68 c 6.60/6.68 c ============================[ Search Statistics ]============================== 6.60/6.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.68 c =============================================================================== 6.60/6.68 c | 0 | 3524 11288 41003 | 5000 0 -nan | 0.000 % | 6.60/6.69 c | 100 | 3517 11288 41003 | 5500 100 21 | 1.016 % | 6.60/6.69 c =============================================================================== 6.60/6.70 c core #341 6.60/6.70 c 6.60/6.70 c 6.60/6.70 c Core size: 185 Core Weight: 1 Total Weight: 341 6.60/6.70 c Current CPU time: 6.47701 s 6.60/6.70 c 6.60/6.70 c ============================[ Search Statistics ]============================== 6.60/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.70 c =============================================================================== 6.60/6.70 c | 0 | 3533 11310 41073 | 5000 0 -nan | 0.000 % | 6.60/6.70 c | 101 | 3533 11310 41073 | 5500 101 17 | 0.515 % | 6.60/6.71 c | 251 | 3529 11310 41073 | 6050 251 16 | 0.620 % | 6.71/6.71 c | 476 | 3529 11310 41073 | 6655 476 18 | 0.620 % | 6.71/6.72 c =============================================================================== 6.71/6.73 c core #342 6.71/6.73 c 6.71/6.73 c 6.71/6.73 c Core size: 143 Core Weight: 1 Total Weight: 342 6.71/6.73 c Current CPU time: 6.50501 s 6.71/6.73 c 6.71/6.73 c ============================[ Search Statistics ]============================== 6.71/6.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.71/6.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.71/6.73 c =============================================================================== 6.71/6.73 c | 0 | 3565 11322 41167 | 5000 0 -nan | 0.000 % | 6.71/6.74 c | 100 | 3557 11322 41167 | 5500 100 22 | 1.060 % | 6.71/6.74 c =============================================================================== 6.71/6.74 c core #343 6.71/6.74 c 6.71/6.74 c 6.71/6.74 c Core size: 39 Core Weight: 1 Total Weight: 343 6.71/6.74 c Current CPU time: 6.51701 s 6.71/6.74 c 6.71/6.74 c ============================[ Search Statistics ]============================== 6.71/6.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.71/6.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.71/6.74 c =============================================================================== 6.71/6.74 c | 0 | 3578 11331 41217 | 5000 0 -nan | 0.000 % | 6.71/6.74 c | 100 | 3578 11331 41217 | 5500 100 20 | 0.558 % | 6.71/6.75 c | 253 | 3578 11331 41217 | 6050 253 20 | 0.556 % | 6.71/6.76 c =============================================================================== 6.71/6.76 c core #344 6.71/6.76 c 6.71/6.76 c 6.71/6.76 c Core size: 194 Core Weight: 1 Total Weight: 344 6.71/6.76 c Current CPU time: 6.53801 s 6.71/6.76 c 6.71/6.76 c ============================[ Search Statistics ]============================== 6.71/6.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.71/6.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.71/6.76 c =============================================================================== 6.71/6.76 c | 0 | 3596 11358 41321 | 5000 0 -nan | 0.000 % | 6.71/6.77 c | 100 | 3596 11358 41321 | 5500 100 17 | 0.610 % | 6.71/6.78 c =============================================================================== 6.71/6.78 c core #345 6.71/6.78 c 6.71/6.78 c 6.71/6.78 c Core size: 53 Core Weight: 1 Total Weight: 345 6.71/6.78 c Current CPU time: 6.552 s 6.71/6.78 c 6.71/6.78 c ============================[ Search Statistics ]============================== 6.71/6.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.71/6.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.71/6.78 c =============================================================================== 6.71/6.78 c | 0 | 3607 11376 41390 | 5000 0 -nan | 0.000 % | 6.71/6.78 c | 104 | 3607 11376 41390 | 5500 104 15 | 0.718 % | 6.71/6.79 c | 254 | 3606 11376 41390 | 6050 254 20 | 0.778 % | 6.79/6.80 c =============================================================================== 6.79/6.80 c core #346 6.79/6.80 c 6.79/6.80 c 6.79/6.80 c Core size: 124 Core Weight: 1 Total Weight: 346 6.79/6.80 c Current CPU time: 6.571 s 6.79/6.80 c 6.79/6.80 c ============================[ Search Statistics ]============================== 6.79/6.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.80 c =============================================================================== 6.79/6.80 c | 0 | 3626 11389 41461 | 5000 0 -nan | 0.000 % | 6.79/6.81 c | 100 | 3626 11389 41461 | 5500 100 16 | 0.774 % | 6.79/6.81 c | 250 | 3626 11389 41461 | 6050 250 19 | 0.766 % | 6.79/6.81 c | 475 | 3626 11389 41461 | 6655 475 18 | 0.766 % | 6.79/6.82 c | 812 | 3625 11389 41461 | 7320 812 18 | 0.822 % | 6.79/6.83 c | 1319 | 3619 11389 41461 | 8052 1319 20 | 1.095 % | 6.79/6.84 c =============================================================================== 6.79/6.85 c core #347 6.79/6.85 c 6.79/6.85 c 6.79/6.85 c Core size: 21 Core Weight: 1 Total Weight: 347 6.79/6.85 c Current CPU time: 6.61199 s 6.79/6.85 c 6.79/6.85 c ============================[ Search Statistics ]============================== 6.79/6.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.85 c =============================================================================== 6.79/6.85 c | 0 | 3641 11391 41493 | 5000 0 -nan | 0.000 % | 6.79/6.85 c | 101 | 3641 11391 41493 | 5500 101 14 | 0.765 % | 6.79/6.86 c | 252 | 3637 11391 41493 | 6050 252 18 | 0.872 % | 6.79/6.86 c =============================================================================== 6.79/6.86 c core #348 6.79/6.86 c 6.79/6.86 c 6.79/6.86 c Core size: 74 Core Weight: 1 Total Weight: 348 6.79/6.86 c Current CPU time: 6.62899 s 6.79/6.86 c 6.79/6.86 c ============================[ Search Statistics ]============================== 6.79/6.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.86 c =============================================================================== 6.79/6.86 c | 0 | 3657 11415 41583 | 5000 0 -nan | 0.000 % | 6.79/6.87 c | 102 | 3657 11415 41583 | 5500 102 16 | 0.816 % | 6.79/6.87 c | 255 | 3657 11415 41583 | 6050 255 15 | 0.868 % | 6.79/6.87 c | 480 | 3655 11415 41583 | 6655 480 17 | 0.868 % | 6.79/6.88 c =============================================================================== 6.79/6.89 c core #349 6.79/6.89 c 6.79/6.89 c 6.79/6.89 c Core size: 316 Core Weight: 1 Total Weight: 349 6.79/6.89 c Current CPU time: 6.64999 s 6.79/6.89 c 6.79/6.89 c ============================[ Search Statistics ]============================== 6.79/6.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.89 c =============================================================================== 6.79/6.89 c | 0 | 3681 11421 41645 | 5000 0 -nan | 0.000 % | 6.79/6.89 c | 101 | 3676 11421 41645 | 5500 101 16 | 1.509 % | 6.89/6.90 c =============================================================================== 6.89/6.91 c core #350 6.89/6.91 c 6.89/6.91 c 6.89/6.91 c Core size: 207 Core Weight: 1 Total Weight: 350 6.89/6.91 c Current CPU time: 6.66499 s 6.89/6.91 c 6.89/6.91 c ============================[ Search Statistics ]============================== 6.89/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.91 c =============================================================================== 6.89/6.91 c | 0 | 3693 11442 41723 | 5000 0 -nan | 0.000 % | 6.89/6.91 c | 101 | 3693 11442 41723 | 5500 101 18 | 0.861 % | 6.89/6.91 c | 251 | 3692 11442 41723 | 6050 251 18 | 0.913 % | 6.89/6.92 c =============================================================================== 6.89/6.93 c core #351 6.89/6.93 c 6.89/6.93 c 6.89/6.93 c Core size: 271 Core Weight: 1 Total Weight: 351 6.89/6.93 c Current CPU time: 6.68398 s 6.89/6.93 c 6.89/6.93 c ============================[ Search Statistics ]============================== 6.89/6.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.93 c =============================================================================== 6.89/6.93 c | 0 | 3706 11453 41777 | 5000 0 -nan | 0.000 % | 6.89/6.93 c | 100 | 3705 11453 41777 | 5500 100 13 | 1.765 % | 6.89/6.93 c | 252 | 3703 11453 41777 | 6050 252 16 | 1.818 % | 6.89/6.94 c =============================================================================== 6.89/6.95 c core #352 6.89/6.95 c 6.89/6.95 c 6.89/6.95 c Core size: 180 Core Weight: 1 Total Weight: 352 6.89/6.95 c Current CPU time: 6.70098 s 6.89/6.95 c 6.89/6.95 c ============================[ Search Statistics ]============================== 6.89/6.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.95 c =============================================================================== 6.89/6.95 c | 0 | 3731 11462 41847 | 5000 0 -nan | 0.000 % | 6.89/6.95 c | 100 | 3731 11462 41847 | 5500 100 20 | 0.958 % | 6.89/6.95 c | 250 | 3731 11462 41847 | 6050 250 17 | 0.956 % | 6.89/6.96 c | 475 | 3731 11462 41847 | 6655 475 20 | 0.956 % | 6.89/6.96 c =============================================================================== 6.89/6.97 c core #353 6.89/6.97 c 6.89/6.97 c 6.89/6.97 c Core size: 284 Core Weight: 1 Total Weight: 353 6.89/6.97 c Current CPU time: 6.72098 s 6.89/6.97 c 6.89/6.97 c ============================[ Search Statistics ]============================== 6.89/6.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.97 c =============================================================================== 6.89/6.97 c | 0 | 3765 11468 41929 | 5000 0 -nan | 0.000 % | 6.89/6.97 c | 102 | 3765 11468 41929 | 5500 102 15 | 1.001 % | 6.89/6.98 c | 253 | 3765 11468 41929 | 6050 253 17 | 1.000 % | 6.89/6.98 c | 481 | 3765 11468 41929 | 6655 481 20 | 1.006 % | 6.89/6.98 c =============================================================================== 6.89/6.99 c core #354 6.89/6.99 c 6.89/6.99 c 6.89/6.99 c Core size: 47 Core Weight: 1 Total Weight: 354 6.89/6.99 c Current CPU time: 6.73698 s 6.89/6.99 c 6.89/6.99 c ============================[ Search Statistics ]============================== 6.89/6.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.99 c =============================================================================== 6.89/6.99 c | 0 | 3769 11475 41952 | 5000 0 -nan | 0.000 % | 6.89/6.99 c | 101 | 3769 11475 41952 | 5500 101 13 | 1.052 % | 6.99/7.00 c | 252 | 3767 11475 41952 | 6050 252 14 | 1.103 % | 6.99/7.00 c =============================================================================== 6.99/7.01 c core #355 6.99/7.01 c 6.99/7.01 c 6.99/7.01 c Core size: 328 Core Weight: 1 Total Weight: 355 6.99/7.01 c Current CPU time: 6.75097 s 6.99/7.01 c 6.99/7.01 c ============================[ Search Statistics ]============================== 6.99/7.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.01 c =============================================================================== 6.99/7.01 c | 0 | 3814 11481 42056 | 5000 0 -nan | 0.000 % | 6.99/7.01 c | 102 | 3814 11481 42056 | 5500 102 18 | 1.091 % | 6.99/7.01 c | 253 | 3814 11481 42056 | 6050 253 16 | 1.089 % | 6.99/7.02 c | 484 | 3812 11481 42056 | 6655 484 23 | 1.142 % | 6.99/7.03 c | 823 | 3810 11481 42056 | 7320 823 26 | 1.193 % | 6.99/7.04 c | 1331 | 3808 11481 42056 | 8052 1331 25 | 1.245 % | 6.99/7.06 c | 2090 | 3800 11481 42056 | 8857 2090 26 | 1.452 % | 7.09/7.10 c | 3230 | 3800 11481 42056 | 9743 3230 31 | 1.453 % | 7.09/7.17 c =============================================================================== 7.09/7.19 c core #356 7.09/7.19 c 7.09/7.19 c 7.09/7.19 c Core size: 271 Core Weight: 1 Total Weight: 356 7.09/7.19 c Current CPU time: 6.92195 s 7.09/7.19 c 7.09/7.19 c ============================[ Search Statistics ]============================== 7.09/7.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.09/7.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.09/7.19 c =============================================================================== 7.09/7.19 c | 0 | 3860 11503 42209 | 5000 0 -nan | 0.000 % | 7.09/7.20 c | 101 | 3860 11503 42209 | 5500 101 18 | 1.230 % | 7.19/7.20 c | 251 | 3860 11503 42209 | 6050 251 19 | 1.228 % | 7.19/7.21 c | 476 | 3858 11503 42209 | 6655 476 20 | 1.280 % | 7.19/7.21 c =============================================================================== 7.19/7.22 c core #357 7.19/7.22 c 7.19/7.22 c 7.19/7.22 c Core size: 231 Core Weight: 1 Total Weight: 357 7.19/7.22 c Current CPU time: 6.94694 s 7.19/7.22 c 7.19/7.22 c ============================[ Search Statistics ]============================== 7.19/7.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.22 c =============================================================================== 7.19/7.22 c | 0 | 3879 11523 42300 | 5000 0 -nan | 0.000 % | 7.19/7.22 c | 100 | 3879 11523 42300 | 5500 100 23 | 1.275 % | 7.19/7.23 c | 251 | 3873 11523 42300 | 6050 251 17 | 1.425 % | 7.19/7.23 c | 476 | 3865 11523 42300 | 6655 476 17 | 1.680 % | 7.19/7.24 c | 813 | 3865 11523 42300 | 7320 813 20 | 1.680 % | 7.19/7.25 c | 1322 | 3857 11523 42300 | 8052 1322 23 | 1.833 % | 7.19/7.26 c =============================================================================== 7.19/7.27 c core #358 7.19/7.27 c 7.19/7.27 c 7.19/7.27 c Core size: 309 Core Weight: 1 Total Weight: 358 7.19/7.27 c Current CPU time: 6.99294 s 7.19/7.27 c 7.19/7.27 c ============================[ Search Statistics ]============================== 7.19/7.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.27 c =============================================================================== 7.19/7.27 c | 0 | 3897 11542 42398 | 5000 0 -nan | 0.000 % | 7.19/7.27 c | 102 | 3897 11542 42398 | 5500 102 14 | 1.717 % | 7.19/7.27 c | 253 | 3897 11542 42398 | 6050 253 15 | 1.715 % | 7.19/7.28 c =============================================================================== 7.19/7.28 c core #359 7.19/7.28 c 7.19/7.28 c 7.19/7.28 c Core size: 186 Core Weight: 1 Total Weight: 359 7.19/7.28 c Current CPU time: 7.00593 s 7.19/7.28 c 7.19/7.28 c ============================[ Search Statistics ]============================== 7.19/7.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.28 c =============================================================================== 7.19/7.28 c | 0 | 3913 11544 42432 | 5000 0 -nan | 0.000 % | 7.19/7.29 c | 101 | 3913 11544 42432 | 5500 101 18 | 1.710 % | 7.19/7.29 c | 252 | 3911 11544 42432 | 6050 252 18 | 1.759 % | 7.28/7.30 c | 479 | 3907 11544 42432 | 6655 479 20 | 1.859 % | 7.28/7.30 c | 816 | 3907 11544 42432 | 7320 816 22 | 1.859 % | 7.28/7.31 c =============================================================================== 7.28/7.32 c core #360 7.28/7.32 c 7.28/7.32 c 7.28/7.32 c Core size: 112 Core Weight: 1 Total Weight: 360 7.28/7.32 c Current CPU time: 7.03393 s 7.28/7.32 c 7.28/7.32 c ============================[ Search Statistics ]============================== 7.28/7.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.28/7.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.28/7.32 c =============================================================================== 7.28/7.32 c | 0 | 3942 11560 42528 | 5000 0 -nan | 0.000 % | 7.28/7.32 c | 101 | 3942 11560 42528 | 5500 101 44 | 1.796 % | 7.28/7.33 c | 252 | 3942 11560 42528 | 6050 252 30 | 1.794 % | 7.28/7.33 c | 478 | 3941 11560 42528 | 6655 478 26 | 1.845 % | 7.28/7.34 c | 816 | 3940 11560 42528 | 7320 816 26 | 1.844 % | 7.28/7.35 c | 1323 | 3940 11560 42528 | 8052 1323 25 | 1.844 % | 7.28/7.36 c | 2084 | 3940 11560 42528 | 8857 2084 26 | 1.844 % | 7.28/7.39 c | 3223 | 3894 11560 42528 | 9743 3223 27 | 3.239 % | 7.39/7.41 c =============================================================================== 7.39/7.42 c core #361 7.39/7.42 c 7.39/7.42 c 7.39/7.42 c Core size: 223 Core Weight: 1 Total Weight: 361 7.39/7.42 c Current CPU time: 7.12692 s 7.39/7.42 c 7.39/7.42 c ============================[ Search Statistics ]============================== 7.39/7.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.42 c =============================================================================== 7.39/7.42 c | 0 | 3989 11573 42656 | 5000 0 -nan | 0.000 % | 7.39/7.43 c | 100 | 3989 11573 42656 | 5500 100 17 | 1.872 % | 7.39/7.43 c | 250 | 3981 11573 42656 | 6050 250 21 | 2.066 % | 7.39/7.43 c | 475 | 3977 11573 42656 | 6655 475 20 | 2.165 % | 7.39/7.44 c | 812 | 3977 11573 42656 | 7320 812 19 | 2.165 % | 7.39/7.45 c =============================================================================== 7.39/7.46 c core #362 7.39/7.46 c 7.39/7.46 c 7.39/7.46 c Core size: 306 Core Weight: 1 Total Weight: 362 7.39/7.46 c Current CPU time: 7.15991 s 7.39/7.46 c 7.39/7.46 c ============================[ Search Statistics ]============================== 7.39/7.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.46 c =============================================================================== 7.39/7.46 c | 0 | 4010 11595 42761 | 5000 0 -nan | 0.000 % | 7.39/7.46 c | 101 | 4010 11595 42761 | 5500 101 16 | 3.559 % | 7.39/7.47 c =============================================================================== 7.39/7.47 c core #363 7.39/7.47 c 7.39/7.47 c 7.39/7.47 c Core size: 238 Core Weight: 1 Total Weight: 363 7.39/7.47 c Current CPU time: 7.17191 s 7.39/7.47 c 7.39/7.47 c ============================[ Search Statistics ]============================== 7.39/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.39/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.39/7.47 c =============================================================================== 7.39/7.47 c | 0 | 4036 11601 42824 | 5000 0 -nan | 0.000 % | 7.39/7.48 c | 100 | 4036 11601 42824 | 5500 100 32 | 2.231 % | 7.39/7.48 c | 252 | 4034 11601 42824 | 6050 252 25 | 2.277 % | 7.39/7.49 c | 479 | 4022 11601 42824 | 6655 479 29 | 2.568 % | 7.39/7.49 c | 821 | 4022 11601 42824 | 7320 821 34 | 2.568 % | 7.49/7.51 c | 1329 | 4022 11601 42824 | 8052 1329 38 | 2.568 % | 7.49/7.53 c | 2095 | 4022 11601 42824 | 8857 2095 36 | 2.568 % | 7.49/7.58 c | 3234 | 4022 11601 42824 | 9743 3234 37 | 2.568 % | 7.59/7.66 c | 4943 | 3582 11601 42824 | 10717 4943 40 | 24.952 % | 7.81/7.85 c | 7507 | 3580 11601 42824 | 11789 7507 42 | 26.211 % | 7.89/7.92 c =============================================================================== 7.89/7.95 c core #364 7.89/7.95 c 7.89/7.95 c 7.89/7.95 c Core size: 252 Core Weight: 1 Total Weight: 364 7.89/7.95 c Current CPU time: 7.62584 s 7.89/7.95 c 7.89/7.95 c ============================[ Search Statistics ]============================== 7.89/7.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.95 c =============================================================================== 7.89/7.95 c | 0 | 4082 11622 42977 | 5000 0 -nan | 0.000 % | 7.89/7.95 c | 101 | 4082 11622 42977 | 5500 101 20 | 2.579 % | 7.89/7.96 c | 253 | 4082 11622 42977 | 6050 253 21 | 2.578 % | 7.89/7.96 c | 478 | 4082 11622 42977 | 6655 478 20 | 2.578 % | 7.89/7.97 c | 815 | 4080 11622 42977 | 7320 815 22 | 2.625 % | 7.89/7.98 c | 1322 | 4078 11622 42977 | 8052 1322 24 | 2.675 % | 7.89/7.99 c =============================================================================== 7.99/8.00 c core #365 7.99/8.00 c 7.99/8.00 c 7.99/8.00 c Core size: 222 Core Weight: 1 Total Weight: 365 7.99/8.00 c Current CPU time: 7.67183 s 7.99/8.00 c 7.99/8.00 c ============================[ Search Statistics ]============================== 7.99/8.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.00 c =============================================================================== 7.99/8.00 c | 0 | 4122 11639 43102 | 5000 0 -nan | 0.000 % | 7.99/8.00 c | 101 | 4122 11639 43102 | 5500 101 22 | 2.739 % | 7.99/8.00 c | 251 | 4122 11639 43102 | 6050 251 19 | 2.738 % | 7.99/8.01 c | 476 | 4120 11639 43102 | 6655 476 29 | 2.789 % | 7.99/8.02 c | 813 | 4120 11639 43102 | 7320 813 31 | 2.784 % | 7.99/8.03 c | 1325 | 3206 11639 43102 | 8052 1325 35 | 24.351 % | 7.99/8.04 c =============================================================================== 7.99/8.05 c core #366 7.99/8.05 c 7.99/8.05 c 7.99/8.05 c Core size: 432 Core Weight: 1 Total Weight: 366 7.99/8.05 c Current CPU time: 7.71883 s 7.99/8.05 c 7.99/8.05 c ============================[ Search Statistics ]============================== 7.99/8.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.05 c =============================================================================== 7.99/8.05 c | 0 | 4174 11648 43226 | 5000 0 -nan | 0.000 % | 7.99/8.05 c | 103 | 4174 11648 43226 | 5500 103 25 | 2.751 % | 7.99/8.06 c | 254 | 4163 11648 43226 | 6050 254 19 | 3.029 % | 7.99/8.06 c | 479 | 4160 11648 43226 | 6655 479 16 | 3.122 % | 7.99/8.07 c =============================================================================== 7.99/8.07 c core #367 7.99/8.07 c 7.99/8.07 c 7.99/8.07 c Core size: 130 Core Weight: 1 Total Weight: 367 7.99/8.07 c Current CPU time: 7.73982 s 7.99/8.07 c 7.99/8.07 c ============================[ Search Statistics ]============================== 7.99/8.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.07 c =============================================================================== 7.99/8.07 c | 0 | 4197 11666 43326 | 5000 0 -nan | 0.000 % | 7.99/8.08 c | 100 | 4197 11666 43326 | 5500 100 28 | 3.051 % | 7.99/8.08 c | 250 | 4197 11666 43326 | 6050 250 23 | 3.049 % | 7.99/8.08 c | 476 | 4197 11666 43326 | 6655 476 23 | 3.049 % | 7.99/8.09 c | 814 | 4195 11666 43326 | 7320 814 24 | 3.095 % | 8.09/8.10 c | 1326 | 4192 11666 43326 | 8052 1326 25 | 3.188 % | 8.09/8.12 c | 2087 | 4183 11666 43326 | 8857 2087 27 | 3.377 % | 8.09/8.14 c =============================================================================== 8.09/8.15 c core #368 8.09/8.15 c 8.09/8.15 c 8.09/8.15 c Core size: 255 Core Weight: 1 Total Weight: 368 8.09/8.15 c Current CPU time: 7.80981 s 8.09/8.15 c 8.09/8.15 c ============================[ Search Statistics ]============================== 8.09/8.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.15 c =============================================================================== 8.09/8.15 c | 0 | 4224 11678 43414 | 5000 0 -nan | 0.000 % | 8.09/8.16 c | 100 | 4224 11678 43414 | 5500 100 21 | 3.254 % | 8.09/8.16 c | 250 | 4224 11678 43414 | 6050 250 22 | 3.252 % | 8.09/8.16 c | 476 | 4224 11678 43414 | 6655 476 27 | 3.253 % | 8.09/8.17 c | 814 | 4224 11678 43414 | 7320 814 24 | 3.252 % | 8.09/8.18 c | 1323 | 4224 11678 43414 | 8052 1323 26 | 3.252 % | 8.09/8.20 c | 2084 | 4224 11678 43414 | 8857 2084 30 | 3.252 % | 8.19/8.23 c | 3225 | 4222 11678 43414 | 9743 3225 29 | 3.299 % | 8.29/8.31 c | 4933 | 4133 11678 43414 | 10717 4933 32 | 6.230 % | 8.29/8.32 c =============================================================================== 8.29/8.34 c core #369 8.29/8.34 c 8.29/8.34 c 8.29/8.34 c Core size: 411 Core Weight: 1 Total Weight: 369 8.29/8.34 c Current CPU time: 7.97579 s 8.29/8.34 c 8.29/8.34 c ============================[ Search Statistics ]============================== 8.29/8.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.34 c =============================================================================== 8.29/8.34 c | 0 | 4275 11694 43551 | 5000 0 -nan | 0.000 % | 8.29/8.34 c | 103 | 4275 11694 43551 | 5500 103 30 | 3.260 % | 8.29/8.34 c | 255 | 4275 11694 43551 | 6050 255 24 | 3.259 % | 8.29/8.35 c | 482 | 4273 11694 43551 | 6655 482 27 | 3.304 % | 8.29/8.35 c | 819 | 4223 11694 43551 | 7320 819 30 | 4.571 % | 8.29/8.36 c | 1326 | 4217 11694 43551 | 8052 1326 36 | 4.571 % | 8.29/8.39 c | 2085 | 4217 11694 43551 | 8857 2085 44 | 4.572 % | 8.39/8.43 c | 3224 | 4213 11694 43551 | 9743 3224 44 | 4.666 % | 8.39/8.49 c | 4935 | 4213 11694 43551 | 10717 4935 45 | 4.662 % | 8.59/8.64 c | 7498 | 4212 11694 43551 | 11789 7498 45 | 4.711 % | 8.69/8.81 c =============================================================================== 8.80/8.85 c core #370 8.80/8.85 c 8.80/8.85 c 8.80/8.85 c Core size: 428 Core Weight: 1 Total Weight: 370 8.80/8.85 c Current CPU time: 8.46471 s 8.80/8.85 c 8.80/8.85 c ============================[ Search Statistics ]============================== 8.80/8.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.80/8.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.80/8.85 c =============================================================================== 8.80/8.85 c | 0 | 4323 11707 43678 | 5000 0 -nan | 0.000 % | 8.80/8.85 c | 102 | 4323 11707 43678 | 5500 102 15 | 3.268 % | 8.80/8.86 c | 252 | 4323 11707 43678 | 6050 252 26 | 3.267 % | 8.80/8.86 c | 477 | 4323 11707 43678 | 6655 477 28 | 3.267 % | 8.80/8.87 c | 814 | 4321 11707 43678 | 7320 814 36 | 3.358 % | 8.80/8.88 c | 1329 | 4317 11707 43678 | 8052 1329 37 | 3.402 % | 8.80/8.90 c | 2090 | 4317 11707 43678 | 8857 2090 40 | 3.401 % | 8.91/8.95 c | 3231 | 4317 11707 43678 | 9743 3231 43 | 3.401 % | 8.99/9.03 c | 4940 | 4316 11707 43678 | 10717 4940 44 | 3.447 % | 9.19/9.20 c | 7502 | 4313 11707 43678 | 11789 7502 44 | 3.492 % | 9.39/9.42 c =============================================================================== 9.39/9.47 c core #371 9.39/9.47 c 9.39/9.47 c 9.39/9.47 c Core size: 194 Core Weight: 1 Total Weight: 371 9.39/9.47 c Current CPU time: 9.05862 s 9.39/9.47 c 9.39/9.47 c ============================[ Search Statistics ]============================== 9.39/9.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.47 c =============================================================================== 9.39/9.47 c | 0 | 4356 11721 43784 | 5000 0 -nan | 0.000 % | 9.39/9.47 c | 103 | 4356 11721 43784 | 5500 103 17 | 3.502 % | 9.39/9.48 c | 253 | 4356 11721 43784 | 6050 253 24 | 3.500 % | 9.39/9.48 c | 478 | 4356 11721 43784 | 6655 478 26 | 3.500 % | 9.39/9.49 c | 817 | 4356 11721 43784 | 7320 817 29 | 3.500 % | 9.49/9.50 c | 1323 | 4356 11721 43784 | 8052 1323 35 | 3.500 % | 9.49/9.51 c | 2082 | 4356 11721 43784 | 8857 2082 31 | 3.500 % | 9.49/9.54 c | 3221 | 4356 11721 43784 | 9743 3221 35 | 3.500 % | 9.59/9.61 c | 4930 | 4354 11721 43784 | 10717 4930 37 | 3.545 % | 9.69/9.73 c | 7493 | 4344 11721 43784 | 11789 7493 45 | 3.766 % | 10.09/10.11 c | 11338 | 4343 11721 43784 | 12968 11338 47 | 3.810 % | 11.19/11.25 c | 17106 | 4342 11721 43784 | 14265 10439 69 | 3.855 % | 12.99/13.02 c | 25755 | 4329 11721 43784 | 15692 11816 81 | 4.254 % | 13.89/13.95 c =============================================================================== 13.99/14.08 c core #372 13.99/14.08 c 13.99/14.08 c 13.99/14.08 c Core size: 311 Core Weight: 1 Total Weight: 372 13.99/14.08 c Current CPU time: 13.5969 s 13.99/14.08 c 13.99/14.08 c ============================[ Search Statistics ]============================== 13.99/14.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.99/14.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.99/14.08 c =============================================================================== 13.99/14.08 c | 0 | 4419 11759 44004 | 5000 0 -nan | 0.000 % | 13.99/14.08 c | 100 | 4419 11759 44004 | 5500 100 24 | 3.580 % | 13.99/14.08 c | 252 | 4419 11759 44004 | 6050 252 19 | 3.578 % | 13.99/14.09 c | 478 | 4417 11759 44004 | 6655 478 27 | 3.622 % | 13.99/14.09 c | 815 | 4417 11759 44004 | 7320 815 24 | 3.622 % | 14.09/14.10 c | 1323 | 4417 11759 44004 | 8052 1323 24 | 3.622 % | 14.09/14.12 c | 2082 | 4413 11759 44004 | 8857 2082 30 | 3.709 % | 14.09/14.17 c | 3223 | 4411 11759 44004 | 9743 3223 43 | 3.753 % | 14.19/14.24 c | 4932 | 4411 11759 44004 | 10717 4932 49 | 3.753 % | 14.30/14.38 c | 7496 | 4405 11759 44004 | 11789 7496 57 | 3.884 % | 14.59/14.68 c | 11346 | 4363 11759 44004 | 12968 11346 60 | 5.891 % | 15.29/15.30 c | 17113 | 4303 11759 44004 | 14265 10075 67 | 6.113 % | 15.69/15.73 c =============================================================================== 15.79/15.82 c core #373 15.79/15.82 c 15.79/15.82 c 15.79/15.82 c Core size: 292 Core Weight: 1 Total Weight: 373 15.79/15.82 c Current CPU time: 15.2917 s 15.79/15.82 c 15.79/15.82 c ============================[ Search Statistics ]============================== 15.79/15.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.79/15.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.79/15.82 c =============================================================================== 15.79/15.82 c | 0 | 4477 11774 44157 | 5000 0 -nan | 0.000 % | 15.79/15.82 c | 100 | 4477 11774 44157 | 5500 100 23 | 3.577 % | 15.79/15.83 c | 250 | 4477 11774 44157 | 6050 250 29 | 3.575 % | 15.79/15.83 c | 475 | 4477 11774 44157 | 6655 475 33 | 3.575 % | 15.79/15.84 c | 812 | 4477 11774 44157 | 7320 812 29 | 3.575 % | 15.79/15.85 c | 1318 | 4477 11774 44157 | 8052 1318 41 | 3.575 % | 15.79/15.87 c | 2077 | 4477 11774 44157 | 8857 2077 49 | 3.575 % | 15.89/15.91 c | 3216 | 4477 11774 44157 | 9743 3216 52 | 3.575 % | 15.89/16.00 c | 4924 | 4477 11774 44157 | 10717 4924 62 | 3.575 % | 16.09/16.10 c | 7487 | 4477 11774 44157 | 11789 7487 60 | 3.576 % | 16.29/16.36 c | 11333 | 4477 11774 44157 | 12968 11333 65 | 3.575 % | 16.89/16.97 c | 17099 | 4477 11774 44157 | 14265 10385 65 | 3.575 % | 17.79/17.85 c | 25752 | 4473 11774 44157 | 15692 11191 70 | 3.662 % | 19.39/19.42 c | 38726 | 4473 11774 44157 | 17261 15750 64 | 3.665 % | 21.79/21.88 c | 58190 | 4438 11774 44157 | 18987 17426 74 | 5.040 % | 26.79/26.84 c | 87383 | 4407 11774 44157 | 20886 17047 65 | 5.084 % | 34.88/34.94 c | 131172 | 4352 11774 44157 | 22974 16782 92 | 22.378 % | 36.69/36.76 c =============================================================================== 37.29/37.34 c core #374 37.29/37.34 c 37.29/37.34 c 37.29/37.34 c Core size: 380 Core Weight: 1 Total Weight: 374 37.29/37.34 c Current CPU time: 36.4335 s 37.29/37.34 c 37.29/37.34 c ============================[ Search Statistics ]============================== 37.29/37.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.29/37.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.29/37.34 c =============================================================================== 37.29/37.34 c | 0 | 4576 11794 44393 | 5000 0 -nan | 0.000 % | 37.29/37.35 c | 102 | 4576 11794 44393 | 5500 102 22 | 3.583 % | 37.29/37.35 c | 252 | 4576 11794 44393 | 6050 252 19 | 3.582 % | 37.29/37.36 c | 478 | 4572 11794 44393 | 6655 478 25 | 3.666 % | 37.29/37.37 c | 815 | 4562 11794 44393 | 7320 815 24 | 3.877 % | 37.29/37.38 c | 1324 | 4559 11794 44393 | 8052 1324 31 | 3.965 % | 37.29/37.40 c | 2085 | 4555 11794 44393 | 8857 2085 39 | 4.046 % | 37.40/37.42 c | 3224 | 4338 11794 44393 | 9743 3224 41 | 21.702 % | 37.50/37.52 c | 4932 | 4329 11794 44393 | 10717 4932 57 | 21.702 % | 37.59/37.62 c | 7495 | 3716 11794 44393 | 11789 7495 62 | 21.702 % | 37.79/37.85 c | 11344 | 3716 11794 44393 | 12968 11344 70 | 21.702 % | 38.29/38.35 c | 17119 | 3716 11794 44393 | 14265 10060 94 | 21.702 % | 39.60/39.67 c | 25768 | 3715 11794 44393 | 15692 10804 115 | 21.724 % | 39.79/39.85 c =============================================================================== 39.89/39.97 c core #375 39.89/39.97 c 39.89/39.97 c 39.89/39.97 c Core size: 529 Core Weight: 1 Total Weight: 375 39.89/39.97 c Current CPU time: 39.0541 s 39.89/39.97 c 39.89/39.97 c ============================[ Search Statistics ]============================== 39.89/39.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 39.89/39.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 39.89/39.97 c =============================================================================== 39.89/39.97 c | 0 | 4673 11805 44618 | 5000 0 -nan | 0.000 % | 39.89/39.98 c | 100 | 4673 11805 44618 | 5500 100 22 | 3.671 % | 39.89/39.98 c | 252 | 4672 11805 44618 | 6050 252 22 | 3.711 % | 39.89/39.99 c | 478 | 4672 11805 44618 | 6655 478 22 | 3.711 % | 39.89/39.99 c | 815 | 4672 11805 44618 | 7320 815 23 | 3.711 % | 39.98/40.00 c | 1322 | 4671 11805 44618 | 8052 1322 30 | 3.711 % | 39.98/40.02 c | 2081 | 4667 11805 44618 | 8857 2081 30 | 3.793 % | 39.98/40.04 c | 3221 | 4665 11805 44618 | 9743 3221 29 | 3.834 % | 40.09/40.11 c | 4931 | 4665 11805 44618 | 10717 4931 41 | 3.834 % | 40.19/40.22 c | 7494 | 4663 11805 44618 | 11789 7494 43 | 3.876 % | 40.39/40.41 c | 11338 | 4659 11805 44618 | 12968 11338 43 | 3.958 % | 40.59/40.60 c =============================================================================== 40.59/40.65 c core #376 40.59/40.65 c 40.59/40.65 c 40.59/40.65 c Core size: 347 Core Weight: 1 Total Weight: 376 40.59/40.65 c Current CPU time: 39.7 s 40.59/40.65 c 40.59/40.65 c ============================[ Search Statistics ]============================== 40.59/40.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.59/40.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.59/40.65 c =============================================================================== 40.59/40.65 c | 0 | 4760 11823 44842 | 5000 0 -nan | 0.000 % | 40.59/40.66 c | 102 | 4760 11823 44842 | 5500 102 36 | 3.917 % | 40.59/40.66 c | 252 | 4758 11823 44842 | 6050 252 30 | 3.957 % | 40.59/40.67 c | 480 | 4758 11823 44842 | 6655 480 36 | 3.956 % | 40.59/40.67 c | 818 | 4758 11823 44842 | 7320 818 41 | 3.956 % | 40.59/40.69 c | 1324 | 4758 11823 44842 | 8052 1324 53 | 3.956 % | 40.70/40.71 c | 2084 | 4758 11823 44842 | 8857 2084 54 | 3.956 % | 40.70/40.74 c | 3223 | 4758 11823 44842 | 9743 3223 47 | 3.956 % | 40.70/40.79 c | 4931 | 4758 11823 44842 | 10717 4931 43 | 3.956 % | 40.80/40.89 c | 7493 | 4755 11823 44842 | 11789 7493 57 | 4.037 % | 41.09/41.13 c | 11338 | 4755 11823 44842 | 12968 11338 65 | 4.037 % | 41.48/41.50 c | 17106 | 4754 11823 44842 | 14265 9631 86 | 4.037 % | 42.19/42.24 c | 25758 | 4754 11823 44842 | 15692 10248 88 | 4.037 % | 43.39/43.40 c | 38733 | 4754 11823 44842 | 17261 14478 63 | 4.037 % | 45.68/45.73 c | 58194 | 4754 11823 44842 | 18987 16198 59 | 4.037 % | 48.89/48.92 c | 87390 | 4754 11823 44842 | 20886 14280 46 | 4.041 % | 52.91/52.95 c | 131179 | 4754 11823 44842 | 22974 12201 60 | 4.038 % | 61.60/61.63 c | 196867 | 4748 11823 44842 | 25272 13877 67 | 4.159 % | 86.59/86.67 c | 295394 | 4708 11823 44842 | 27799 13246 92 | 5.330 % | 100.69/100.71 c =============================================================================== 101.09/101.17 c core #377 101.09/101.17 c 101.09/101.17 c 101.09/101.17 c Core size: 421 Core Weight: 1 Total Weight: 377 101.09/101.17 c Current CPU time: 99.3089 s 101.09/101.17 c 101.09/101.17 c ============================[ Search Statistics ]============================== 101.09/101.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 101.09/101.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 101.09/101.17 c =============================================================================== 101.09/101.17 c | 0 | 4848 11843 45066 | 5000 0 -nan | 0.000 % | 101.09/101.18 c | 100 | 4848 11843 45066 | 5500 100 32 | 4.039 % | 101.09/101.18 c | 252 | 4847 11843 45066 | 6050 252 30 | 4.078 % | 101.09/101.19 c | 478 | 4846 11843 45066 | 6655 478 29 | 4.078 % | 101.09/101.19 c | 815 | 4846 11843 45066 | 7320 815 32 | 4.078 % | 101.09/101.20 c | 1321 | 4846 11843 45066 | 8052 1321 32 | 4.078 % | 101.20/101.22 c | 2081 | 4846 11843 45066 | 8857 2081 31 | 4.078 % | 101.20/101.26 c | 3222 | 4846 11843 45066 | 9743 3222 31 | 4.078 % | 101.31/101.34 c | 4930 | 4846 11843 45066 | 10717 4930 32 | 4.078 % | 101.39/101.43 c | 7498 | 4846 11843 45066 | 11789 7498 37 | 4.078 % | 101.59/101.68 c | 11344 | 4841 11843 45066 | 12968 11344 38 | 4.196 % | 102.19/102.20 c | 17112 | 4827 11843 45066 | 14265 10021 38 | 4.513 % | 103.09/103.16 c | 25763 | 4778 11843 45066 | 15692 10947 68 | 7.049 % | 104.99/105.02 c | 38743 | 4691 11843 45066 | 17261 15823 73 | 8.294 % | 106.09/106.15 c =============================================================================== 106.29/106.37 c core #378 106.29/106.37 c 106.29/106.37 c 106.29/106.37 c Core size: 188 Core Weight: 1 Total Weight: 378 106.29/106.37 c Current CPU time: 104.551 s 106.29/106.37 c 106.29/106.37 c ============================[ Search Statistics ]============================== 106.29/106.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 106.29/106.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 106.29/106.37 c =============================================================================== 106.29/106.37 c | 0 | 4891 11866 45209 | 5000 0 -nan | 0.000 % | 106.29/106.38 c | 100 | 4891 11866 45209 | 5500 100 44 | 4.156 % | 106.29/106.38 c | 252 | 4891 11866 45209 | 6050 252 39 | 4.154 % | 106.29/106.38 c | 479 | 4891 11866 45209 | 6655 479 34 | 4.154 % | 106.29/106.39 c | 816 | 4891 11866 45209 | 7320 816 39 | 4.154 % | 106.39/106.40 c | 1322 | 4891 11866 45209 | 8052 1322 39 | 4.154 % | 106.39/106.43 c | 2084 | 4891 11866 45209 | 8857 2084 52 | 4.154 % | 106.39/106.46 c | 3223 | 4891 11866 45209 | 9743 3223 54 | 4.154 % | 106.49/106.51 c | 4932 | 4891 11866 45209 | 10717 4932 60 | 4.154 % | 106.59/106.61 c | 7494 | 4891 11866 45209 | 11789 7494 67 | 4.154 % | 106.81/106.82 c | 11338 | 4891 11866 45209 | 12968 11338 63 | 4.154 % | 107.09/107.11 c | 17104 | 4891 11866 45209 | 14265 9510 52 | 4.154 % | 107.99/108.03 c | 25757 | 4891 11866 45209 | 15692 10038 44 | 4.154 % | 108.90/108.99 c | 38732 | 4891 11866 45209 | 17261 14496 75 | 4.154 % | 110.49/110.58 c | 58195 | 4891 11866 45209 | 18987 14880 56 | 4.155 % | 115.19/115.28 c | 87387 | 4891 11866 45209 | 20886 13472 90 | 4.154 % | 120.39/120.45 c | 131177 | 4891 11866 45209 | 22974 11603 73 | 4.154 % | 128.99/129.05 c | 196861 | 4891 11866 45209 | 25272 14672 85 | 4.154 % | 149.29/149.30 c | 295389 | 4891 11866 45209 | 27799 14758 120 | 4.154 % | 190.99/191.09 c | 443178 | 4891 11866 45209 | 30579 16201 131 | 4.154 % | 252.79/252.90 c | 664862 | 4891 11866 45209 | 33637 26451 154 | 4.154 % | 313.00/313.07 c | 997389 | 4849 11866 45209 | 37001 25056 131 | 5.291 % | 449.80/449.89 c | 1496177 | 4827 11866 45209 | 40701 36441 176 | 5.409 % | 752.71/752.71 c | 2244362 | 4750 11866 45209 | 44771 41482 205 | 8.054 % | 1144.21/1144.24 c | 3366642 | 4059 11866 45209 | 49248 18275 117 | 20.459 % |
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-3461436-1307089033/watcher-3461436-1307089033 -o /tmp/evaluation-result-3461436-1307089033/solver-3461436-1307089033 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461436-1307089033.opb running on 4 cores: 1,3,5,7 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: 2.04 2.01 2.00 2/473 24420 /proc/meminfo: memFree=20425768/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=2872 CPUtime=0.01 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 446 0 0 0 1 0 0 0 25 0 1 0 820502928 2940928 399 33554432000 4194304 5714214 140736328134960 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 718 399 211 372 0 259 0 [startup+0.113548 s] /proc/loadavg: 2.04 2.01 2.00 2/473 24420 /proc/meminfo: memFree=20425768/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=4924 CPUtime=0.11 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 1248 0 0 0 11 0 0 0 25 0 1 0 820502928 5042176 980 33554432000 4194304 5714214 140736328134960 18446744073709551615 4356076 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 1231 980 175 372 0 856 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 4924 [startup+0.200532 s] /proc/loadavg: 2.04 2.01 2.00 2/473 24420 /proc/meminfo: memFree=20425768/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=5056 CPUtime=0.19 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 1269 0 0 0 19 0 0 0 25 0 1 0 820502928 5177344 1001 33554432000 4194304 5714214 140736328134960 18446744073709551615 4964948 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 1264 1001 175 372 0 889 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5056 [startup+0.300517 s] /proc/loadavg: 2.04 2.01 2.00 2/473 24420 /proc/meminfo: memFree=20425768/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=5476 CPUtime=0.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 1362 0 0 0 29 0 0 0 25 0 1 0 820502928 5607424 1094 33554432000 4194304 5714214 140736328134960 18446744073709551615 4968172 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 1369 1094 175 372 0 994 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5476 [startup+0.700446 s] /proc/loadavg: 2.04 2.01 2.00 2/473 24420 /proc/meminfo: memFree=20425768/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=6620 CPUtime=0.69 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 1912 0 0 0 69 0 0 0 25 0 1 0 820502928 6778880 1382 33554432000 4194304 5714214 140736328134960 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 1655 1382 175 372 0 1280 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6620 [startup+1.5003 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20415468/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=9072 CPUtime=1.49 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 3174 0 0 0 146 3 0 0 25 0 1 0 820502928 9289728 2027 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 2268 2027 180 372 0 1893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9072 [startup+3.10096 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20408772/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=9940 CPUtime=3.09 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 3438 0 0 0 301 8 0 0 25 0 1 0 820502928 10178560 2245 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 2485 2245 180 372 0 2110 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9940 [startup+6.3004 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20407636/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=10772 CPUtime=6.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 3621 0 0 0 608 21 0 0 25 0 1 0 820502928 11030528 2428 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 2693 2428 180 372 0 2318 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10772 [startup+12.7003 s] /proc/loadavg: 2.03 2.01 2.00 3/474 24421 /proc/meminfo: memFree=20395312/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=18092 CPUtime=12.69 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 5472 0 0 0 1224 45 0 0 25 0 1 0 820502928 18526208 4245 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 4523 4245 180 372 0 4148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18092 [startup+25.501 s] /proc/loadavg: 2.03 2.01 2.00 3/474 24422 /proc/meminfo: memFree=20374512/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=28160 CPUtime=25.49 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 7962 0 0 0 2480 69 0 0 25 0 1 0 820502928 28835840 6735 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 7040 6735 180 372 0 6665 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28160 [startup+51.1005 s] /proc/loadavg: 2.02 2.01 2.00 3/474 24422 /proc/meminfo: memFree=20341452/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=44884 CPUtime=51.09 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 12241 0 0 0 4993 116 0 0 25 0 1 0 820502928 45961216 10966 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 11221 10966 180 372 0 10846 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 44884 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24424 /proc/meminfo: memFree=20265148/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=94132 CPUtime=102.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 24310 0 0 0 10056 174 0 0 25 0 1 0 820502928 96391168 22977 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 23533 22977 180 372 0 23158 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 94132 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24425 /proc/meminfo: memFree=20265596/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=91712 CPUtime=162.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 24605 0 0 0 15978 251 0 0 25 0 1 0 820502928 93913088 22692 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 22928 22692 180 372 0 22553 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 91712 [startup+222.318 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24427 /proc/meminfo: memFree=20205428/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=139048 CPUtime=222.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 36193 0 0 0 21931 300 0 0 25 0 1 0 820502928 142385152 34280 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 34762 34280 180 372 0 34387 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 139048 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24429 /proc/meminfo: memFree=20132112/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=181668 CPUtime=282.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 46572 0 0 0 27865 364 0 0 25 0 1 0 820502928 186028032 44659 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 45417 44659 180 372 0 45042 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 181668 [startup+342.3 s] /proc/loadavg: 2.11 2.03 2.01 3/474 24430 /proc/meminfo: memFree=20051592/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=240260 CPUtime=342.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 60980 0 0 0 33792 438 0 0 25 0 1 0 820502928 246026240 59067 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 60065 59067 180 372 0 59690 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 240260 [startup+402.301 s] /proc/loadavg: 2.04 2.02 2.00 3/474 24432 /proc/meminfo: memFree=20007160/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=284724 CPUtime=402.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 71952 0 0 0 39756 474 0 0 25 0 1 0 820502928 291557376 70039 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 71181 70039 180 372 0 70806 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 284724 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 24433 /proc/meminfo: memFree=19990752/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=300984 CPUtime=462.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 75932 0 0 0 45716 514 0 0 25 0 1 0 820502928 308207616 74019 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 75246 74019 180 372 0 74871 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 300984 [startup+522.301 s] /proc/loadavg: 2.11 2.04 2.01 3/474 24435 /proc/meminfo: memFree=19971492/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=325852 CPUtime=522.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 81969 0 0 0 51683 547 0 0 25 0 1 0 820502928 333672448 80056 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 81463 80056 180 372 0 81088 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 325852 [startup+582.301 s] /proc/loadavg: 2.04 2.03 2.00 3/474 24437 /proc/meminfo: memFree=19935264/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=360228 CPUtime=582.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 90515 0 0 0 57649 581 0 0 25 0 1 0 820502928 368873472 88602 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 90057 88602 180 372 0 89682 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 360228 [startup+642.3 s] ################ # More data... # ################ [startup+882.318 s] /proc/loadavg: 2.09 2.03 2.01 3/474 24445 /proc/meminfo: memFree=19755932/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=462028 CPUtime=882.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 116007 0 0 0 87502 730 0 0 25 0 1 0 820502928 473116672 113934 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 115507 113934 180 372 0 115132 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 462028 [startup+942.301 s] /proc/loadavg: 2.07 2.04 2.01 3/474 24446 /proc/meminfo: memFree=19693032/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=495364 CPUtime=942.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 124455 0 0 0 93467 764 0 0 25 0 1 0 820502928 507252736 122254 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 123841 122254 180 372 0 123466 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 495364 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 3/474 24448 /proc/meminfo: memFree=19690388/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=495544 CPUtime=1002.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 124460 0 0 0 99440 791 0 0 25 0 1 0 820502928 507437056 122259 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 123886 122259 180 372 0 123511 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 495544 [startup+1062.3 s] /proc/loadavg: 2.10 2.05 2.01 3/474 24449 /proc/meminfo: memFree=19659100/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=528336 CPUtime=1062.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 132431 0 0 0 105394 837 0 0 25 0 1 0 820502928 541016064 130230 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 132084 130230 180 372 0 131709 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 528336 [startup+1122.3 s] /proc/loadavg: 2.12 2.07 2.01 3/474 24451 /proc/meminfo: memFree=19632152/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=555780 CPUtime=1122.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 139176 0 0 0 111354 877 0 0 25 0 1 0 820502928 569118720 136975 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 138945 136975 180 372 0 138570 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 555780 [startup+1182.3 s] /proc/loadavg: 2.04 2.05 2.01 3/474 24453 /proc/meminfo: memFree=19599252/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=588344 CPUtime=1182.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 147287 0 0 0 117318 913 0 0 25 0 1 0 820502928 602464256 145086 33554432000 4194304 5714214 140736328134960 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 147086 145086 180 372 0 146711 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 588344 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.00 3/474 24454 /proc/meminfo: memFree=19580244/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=606672 CPUtime=1242.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 151799 0 0 0 123287 945 0 0 25 0 1 0 820502928 621232128 149598 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 151668 149598 180 372 0 151293 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 606672 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 24456 /proc/meminfo: memFree=19560000/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=627420 CPUtime=1302.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 156950 0 0 0 129263 969 0 0 25 0 1 0 820502928 642478080 154749 33554432000 4194304 5714214 140736328134960 18446744073709551615 4300112 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 156855 154749 180 372 0 156480 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 627420 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24457 /proc/meminfo: memFree=19541616/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=645956 CPUtime=1362.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 161555 0 0 0 135233 999 0 0 25 0 1 0 820502928 661458944 159354 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 161489 159354 180 372 0 161114 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 645956 [startup+1422.3 s] /proc/loadavg: 2.06 2.03 2.00 3/474 24459 /proc/meminfo: memFree=19510204/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=669388 CPUtime=1422.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 167438 0 0 0 141210 1023 0 0 25 0 1 0 820502928 685453312 165237 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 167347 165237 180 372 0 166972 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 669388 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 2.00 3/474 24461 /proc/meminfo: memFree=19468772/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=682984 CPUtime=1482.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 170826 0 0 0 147182 1050 0 0 25 0 1 0 820502928 699375616 168625 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 170746 168625 180 372 0 170371 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 682984 [startup+1542.32 s] /proc/loadavg: 2.03 2.03 2.00 3/474 24462 /proc/meminfo: memFree=19426092/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=700072 CPUtime=1542.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 175070 0 0 0 153155 1079 0 0 25 0 1 0 820502928 716873728 172869 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 175018 172869 180 372 0 174643 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 700072 [startup+1602.3 s] /proc/loadavg: 2.13 2.05 2.01 3/474 24464 /proc/meminfo: memFree=19395792/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=716228 CPUtime=1602.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 179019 0 0 0 159129 1103 0 0 25 0 1 0 820502928 733417472 176818 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 179057 176818 180 372 0 178682 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 716228 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 2.01 3/474 24465 /proc/meminfo: memFree=19354584/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=734888 CPUtime=1662.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 183644 0 0 0 165099 1134 0 0 25 0 1 0 820502928 752525312 181443 33554432000 4194304 5714214 140736328134960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 183722 181443 180 372 0 183347 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 734888 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 2.00 3/474 24467 /proc/meminfo: memFree=19318708/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=757304 CPUtime=1722.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 189230 0 0 0 171072 1161 0 0 25 0 1 0 820502928 775479296 187029 33554432000 4194304 5714214 140736328134960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 189326 187029 180 372 0 188951 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 757304 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 24469 /proc/meminfo: memFree=19264616/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=772092 CPUtime=1782.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 192907 0 0 0 177049 1184 0 0 25 0 1 0 820502928 790622208 190706 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 193023 190706 180 372 0 192648 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 772092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 2/472 24470 /proc/meminfo: memFree=19653488/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=776956 CPUtime=1800.05 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 194092 0 0 0 178817 1188 0 0 25 0 1 0 820502928 795602944 191891 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 194239 191891 180 372 0 193864 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 776956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 2/472 24470 /proc/meminfo: memFree=19653488/32950928 swapFree=61858088/67111528 [pid=24420] ppid=24418 vsize=776956 CPUtime=1800.05 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 21173 0 -1 4202496 194092 0 0 0 178817 1188 0 0 25 0 1 0 820502928 795602944 191891 33554432000 4194304 5714214 140736328134960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24420/statm: 194239 191891 180 372 0 193864 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 776956 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1788.18 CPU system time (s): 11.9172 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 776956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.18 system time used= 11.9172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194092 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= 49 involuntary context switches= 23695 runsolver used 7.85181 second user time and 19.984 second system time The end
Begin job on node125 at 2011-06-03 10:17:13 IDJOB=3461436 IDBENCH=2165 IDSOLVER=1953 FILE ID=node125/3461436-1307089033 RUNJOBID= node125-1307083625-24005 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461436-1307089033/watcher-3461436-1307089033 -o /tmp/evaluation-result-3461436-1307089033/solver-3461436-1307089033 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461436-1307089033.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c328e3092b759791eb187200eaaa71f RANDOM SEED=144542883 node125.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20426048 kB Buffers: 340368 kB Cached: 3467492 kB SwapCached: 3616 kB Active: 8810356 kB Inactive: 3370696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20426048 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 8956 kB Writeback: 0 kB AnonPages: 8371356 kB Mapped: 34888 kB Slab: 214264 kB PageTables: 62080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130027420 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= 73756 MiB End job on node125 at 2011-06-03 10:47:15