Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d2.opb |
MD5SUM | ccbbad891f18298525c42c78a48134ce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 540 |
Best CPU time to get the best result obtained on this benchmark | 1797.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540 |
Optimality of the best value was proved | NO |
Number of variables | 1860 |
Total number of constraints | 7477 |
Number of constraints which are clauses | 7477 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1860 |
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 | 1860 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1860 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460938-1307082245.opb. 0.00/0.00 c Instance file HOME/instance-3460938-1307082245.opb 0.00/0.00 c File size is 206551 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1860 | 0.00/0.01 c | Number Clauses: 7477 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1860 7477 16950 | 5000 0 -nan | 0.000 % | 0.09/0.10 c core #1 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 1 0.09/0.10 c Current CPU time: 0.016997 s 0.09/0.10 c 0.09/0.10 c core #2 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 2 0.09/0.10 c Current CPU time: 0.018997 s 0.09/0.10 c 0.09/0.10 c core #3 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 3 0.09/0.10 c Current CPU time: 0.020996 s 0.09/0.10 c 0.09/0.10 c core #4 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 4 0.09/0.10 c Current CPU time: 0.022996 s 0.09/0.10 c 0.09/0.10 c core #5 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 5 0.09/0.10 c Current CPU time: 0.024996 s 0.09/0.10 c 0.09/0.10 c core #6 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 6 0.09/0.10 c Current CPU time: 0.026995 s 0.09/0.10 c 0.09/0.10 c core #7 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 7 0.09/0.10 c Current CPU time: 0.028995 s 0.09/0.10 c 0.09/0.10 c core #8 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 8 0.09/0.10 c Current CPU time: 0.030995 s 0.09/0.10 c 0.09/0.10 c core #9 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 9 0.09/0.10 c Current CPU time: 0.032994 s 0.09/0.10 c 0.09/0.10 c core #10 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 10 0.09/0.10 c Current CPU time: 0.034994 s 0.09/0.10 c 0.09/0.10 c core #11 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 11 0.09/0.10 c Current CPU time: 0.036994 s 0.09/0.10 c 0.09/0.10 c core #12 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 12 0.09/0.10 c Current CPU time: 0.038994 s 0.09/0.10 c 0.09/0.10 c core #13 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 13 0.09/0.10 c Current CPU time: 0.040993 s 0.09/0.10 c 0.09/0.10 c core #14 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 14 0.09/0.10 c Current CPU time: 0.042993 s 0.09/0.10 c 0.09/0.10 c core #15 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 15 0.09/0.10 c Current CPU time: 0.044993 s 0.09/0.10 c 0.09/0.10 c core #16 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 16 0.09/0.10 c Current CPU time: 0.046992 s 0.09/0.10 c 0.09/0.10 c core #17 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 17 0.09/0.10 c Current CPU time: 0.048992 s 0.09/0.10 c 0.09/0.10 c core #18 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 18 0.09/0.10 c Current CPU time: 0.050992 s 0.09/0.10 c 0.09/0.10 c core #19 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 19 0.09/0.10 c Current CPU time: 0.052991 s 0.09/0.10 c 0.09/0.10 c core #20 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 20 0.09/0.10 c Current CPU time: 0.054991 s 0.09/0.10 c 0.09/0.10 c core #21 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 21 0.09/0.10 c Current CPU time: 0.056991 s 0.09/0.10 c 0.09/0.10 c core #22 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 22 0.09/0.10 c Current CPU time: 0.058991 s 0.09/0.10 c 0.09/0.10 c core #23 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 23 0.09/0.10 c Current CPU time: 0.06099 s 0.09/0.10 c 0.09/0.10 c core #24 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 24 0.09/0.10 c Current CPU time: 0.06299 s 0.09/0.10 c 0.09/0.10 c core #25 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 25 0.09/0.10 c Current CPU time: 0.06499 s 0.09/0.10 c 0.09/0.10 c core #26 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 26 0.09/0.10 c Current CPU time: 0.066989 s 0.09/0.10 c 0.09/0.10 c core #27 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 27 0.09/0.10 c Current CPU time: 0.068989 s 0.09/0.10 c 0.09/0.10 c core #28 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 28 0.09/0.10 c Current CPU time: 0.071989 s 0.09/0.10 c 0.09/0.10 c core #29 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 29 0.09/0.10 c Current CPU time: 0.073988 s 0.09/0.10 c 0.09/0.10 c core #30 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 30 0.09/0.10 c Current CPU time: 0.075988 s 0.09/0.10 c 0.09/0.10 c core #31 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 31 0.09/0.10 c Current CPU time: 0.077988 s 0.09/0.10 c 0.09/0.10 c core #32 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 32 0.09/0.10 c Current CPU time: 0.079987 s 0.09/0.10 c 0.09/0.10 c core #33 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 33 0.09/0.10 c Current CPU time: 0.081987 s 0.09/0.10 c 0.09/0.10 c core #34 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 34 0.09/0.10 c Current CPU time: 0.083987 s 0.09/0.10 c 0.09/0.10 c core #35 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 35 0.09/0.10 c Current CPU time: 0.085986 s 0.09/0.10 c 0.09/0.10 c core #36 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 36 0.09/0.10 c Current CPU time: 0.087986 s 0.09/0.10 c 0.09/0.10 c core #37 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 37 0.09/0.10 c Current CPU time: 0.089986 s 0.09/0.10 c 0.09/0.10 c core #38 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 38 0.09/0.10 c Current CPU time: 0.091986 s 0.09/0.10 c 0.09/0.10 c core #39 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 39 0.09/0.10 c Current CPU time: 0.093985 s 0.09/0.10 c 0.09/0.10 c core #40 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 40 0.09/0.10 c Current CPU time: 0.095985 s 0.09/0.10 c 0.09/0.10 c core #41 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 41 0.09/0.10 c Current CPU time: 0.097985 s 0.09/0.10 c 0.09/0.10 c core #42 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 42 0.09/0.10 c Current CPU time: 0.099984 s 0.09/0.10 c 0.09/0.10 c core #43 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 3 Core Weight: 1 Total Weight: 43 0.09/0.19 c Current CPU time: 0.101984 s 0.09/0.19 c 0.09/0.19 c core #44 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 44 0.09/0.19 c Current CPU time: 0.103984 s 0.09/0.19 c 0.09/0.19 c core #45 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 45 0.09/0.19 c Current CPU time: 0.105983 s 0.09/0.19 c 0.09/0.19 c core #46 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 46 0.09/0.19 c Current CPU time: 0.107983 s 0.09/0.19 c 0.09/0.19 c core #47 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 47 0.09/0.19 c Current CPU time: 0.109983 s 0.09/0.19 c 0.09/0.19 c core #48 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 48 0.09/0.19 c Current CPU time: 0.111982 s 0.09/0.19 c 0.09/0.19 c core #49 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 49 0.09/0.19 c Current CPU time: 0.113982 s 0.09/0.19 c 0.09/0.19 c core #50 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 50 0.09/0.19 c Current CPU time: 0.115982 s 0.09/0.19 c 0.09/0.19 c core #51 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 51 0.09/0.19 c Current CPU time: 0.117982 s 0.09/0.19 c 0.09/0.19 c core #52 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 52 0.09/0.19 c Current CPU time: 0.119981 s 0.09/0.19 c 0.09/0.19 c core #53 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 53 0.09/0.19 c Current CPU time: 0.122981 s 0.09/0.19 c 0.09/0.19 c core #54 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 54 0.09/0.19 c Current CPU time: 0.124981 s 0.09/0.19 c 0.09/0.19 c core #55 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 55 0.09/0.19 c Current CPU time: 0.12698 s 0.09/0.19 c 0.09/0.19 c core #56 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 56 0.09/0.19 c Current CPU time: 0.12898 s 0.09/0.19 c 0.09/0.19 c core #57 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.19 c Current CPU time: 0.13098 s 0.09/0.19 c 0.09/0.19 c core #58 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 58 0.09/0.19 c Current CPU time: 0.132979 s 0.09/0.19 c 0.09/0.19 c core #59 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 59 0.09/0.19 c Current CPU time: 0.134979 s 0.09/0.19 c 0.09/0.19 c core #60 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 60 0.09/0.19 c Current CPU time: 0.136979 s 0.09/0.19 c 0.09/0.19 c core #61 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 61 0.09/0.19 c Current CPU time: 0.138978 s 0.09/0.19 c 0.09/0.19 c core #62 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 62 0.09/0.19 c Current CPU time: 0.140978 s 0.09/0.19 c 0.09/0.19 c core #63 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 63 0.09/0.19 c Current CPU time: 0.142978 s 0.09/0.19 c 0.09/0.19 c core #64 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 64 0.09/0.19 c Current CPU time: 0.144977 s 0.09/0.19 c 0.09/0.19 c core #65 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 65 0.09/0.19 c Current CPU time: 0.146977 s 0.09/0.19 c 0.09/0.19 c core #66 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 66 0.09/0.19 c Current CPU time: 0.148977 s 0.09/0.19 c 0.09/0.19 c core #67 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 67 0.09/0.19 c Current CPU time: 0.150977 s 0.09/0.19 c 0.09/0.19 c core #68 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 68 0.09/0.19 c Current CPU time: 0.152976 s 0.09/0.19 c 0.09/0.19 c core #69 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 69 0.09/0.19 c Current CPU time: 0.155976 s 0.09/0.19 c 0.09/0.19 c core #70 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 70 0.09/0.19 c Current CPU time: 0.157975 s 0.09/0.19 c 0.09/0.19 c core #71 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.19 c Current CPU time: 0.159975 s 0.09/0.19 c 0.09/0.19 c core #72 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 72 0.09/0.19 c Current CPU time: 0.161975 s 0.09/0.19 c 0.09/0.19 c core #73 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.19 c Current CPU time: 0.163975 s 0.09/0.19 c 0.09/0.19 c core #74 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 74 0.09/0.19 c Current CPU time: 0.165974 s 0.09/0.19 c 0.09/0.19 c core #75 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 75 0.09/0.19 c Current CPU time: 0.167974 s 0.09/0.19 c 0.09/0.19 c core #76 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 76 0.09/0.19 c Current CPU time: 0.169974 s 0.09/0.19 c 0.09/0.19 c core #77 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 77 0.09/0.19 c Current CPU time: 0.171973 s 0.09/0.19 c 0.09/0.19 c core #78 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 78 0.09/0.19 c Current CPU time: 0.173973 s 0.09/0.19 c 0.09/0.19 c core #79 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 79 0.09/0.19 c Current CPU time: 0.175973 s 0.09/0.19 c 0.09/0.19 c core #80 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 80 0.09/0.19 c Current CPU time: 0.178972 s 0.09/0.19 c 0.09/0.19 c core #81 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 81 0.09/0.19 c Current CPU time: 0.180972 s 0.09/0.19 c 0.09/0.19 c core #82 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 82 0.09/0.19 c Current CPU time: 0.182972 s 0.09/0.19 c 0.09/0.19 c core #83 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 83 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c core #84 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 84 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c core #85 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 85 0.09/0.19 c Current CPU time: 0.188971 s 0.19/0.28 c 0.19/0.28 c core #86 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 86 0.19/0.28 c Current CPU time: 0.19097 s 0.19/0.28 c 0.19/0.28 c core #87 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 87 0.19/0.28 c Current CPU time: 0.19297 s 0.19/0.28 c 0.19/0.28 c core #88 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 88 0.19/0.28 c Current CPU time: 0.19497 s 0.19/0.28 c 0.19/0.28 c core #89 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 89 0.19/0.28 c Current CPU time: 0.197969 s 0.19/0.28 c 0.19/0.28 c core #90 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 9 Core Weight: 1 Total Weight: 90 0.19/0.28 c Current CPU time: 0.199969 s 0.19/0.28 c 0.19/0.28 c core #91 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 91 0.19/0.28 c Current CPU time: 0.201969 s 0.19/0.28 c 0.19/0.28 c core #92 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 92 0.19/0.28 c Current CPU time: 0.203968 s 0.19/0.28 c 0.19/0.28 c core #93 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 93 0.19/0.28 c Current CPU time: 0.205968 s 0.19/0.28 c 0.19/0.28 c core #94 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 94 0.19/0.28 c Current CPU time: 0.208968 s 0.19/0.28 c 0.19/0.28 c core #95 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 95 0.19/0.28 c Current CPU time: 0.210967 s 0.19/0.28 c 0.19/0.28 c core #96 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 96 0.19/0.28 c Current CPU time: 0.212967 s 0.19/0.28 c 0.19/0.28 c core #97 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 97 0.19/0.28 c Current CPU time: 0.214967 s 0.19/0.28 c 0.19/0.28 c core #98 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 98 0.19/0.28 c Current CPU time: 0.216967 s 0.19/0.28 c 0.19/0.28 c core #99 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 99 0.19/0.28 c Current CPU time: 0.219966 s 0.19/0.28 c 0.19/0.28 c core #100 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 100 0.19/0.28 c Current CPU time: 0.221966 s 0.19/0.28 c 0.19/0.28 c core #101 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 101 0.19/0.28 c Current CPU time: 0.223965 s 0.19/0.28 c 0.19/0.28 c core #102 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 102 0.19/0.28 c Current CPU time: 0.226965 s 0.19/0.28 c 0.19/0.28 c core #103 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 103 0.19/0.28 c Current CPU time: 0.228965 s 0.19/0.28 c 0.19/0.28 c core #104 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 104 0.19/0.28 c Current CPU time: 0.230964 s 0.19/0.28 c 0.19/0.28 c core #105 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 105 0.19/0.28 c Current CPU time: 0.232964 s 0.19/0.28 c 0.19/0.28 c core #106 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 106 0.19/0.28 c Current CPU time: 0.235964 s 0.19/0.28 c 0.19/0.28 c core #107 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 107 0.19/0.28 c Current CPU time: 0.237963 s 0.19/0.28 c 0.19/0.28 c core #108 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 108 0.19/0.28 c Current CPU time: 0.239963 s 0.19/0.28 c 0.19/0.28 c core #109 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 109 0.19/0.28 c Current CPU time: 0.241963 s 0.19/0.28 c 0.19/0.28 c core #110 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 110 0.19/0.28 c Current CPU time: 0.244962 s 0.19/0.28 c 0.19/0.28 c core #111 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 111 0.19/0.28 c Current CPU time: 0.246962 s 0.19/0.28 c 0.19/0.28 c core #112 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 112 0.19/0.28 c Current CPU time: 0.248962 s 0.19/0.28 c 0.19/0.28 c core #113 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 113 0.19/0.28 c Current CPU time: 0.251961 s 0.19/0.28 c 0.19/0.28 c core #114 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 114 0.19/0.28 c Current CPU time: 0.253961 s 0.19/0.28 c 0.19/0.28 c core #115 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 115 0.19/0.28 c Current CPU time: 0.255961 s 0.19/0.28 c 0.19/0.28 c core #116 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 116 0.19/0.28 c Current CPU time: 0.25896 s 0.19/0.28 c 0.19/0.28 c core #117 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 117 0.19/0.28 c Current CPU time: 0.26096 s 0.19/0.28 c 0.19/0.28 c core #118 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 118 0.19/0.28 c Current CPU time: 0.26296 s 0.19/0.28 c 0.19/0.28 c core #119 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 119 0.19/0.28 c Current CPU time: 0.265959 s 0.19/0.28 c 0.19/0.28 c core #120 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 120 0.19/0.28 c Current CPU time: 0.267959 s 0.19/0.28 c 0.19/0.28 c core #121 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 121 0.19/0.28 c Current CPU time: 0.269958 s 0.19/0.28 c 0.19/0.28 c core #122 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 122 0.19/0.28 c Current CPU time: 0.272958 s 0.19/0.28 c 0.19/0.28 c core #123 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 123 0.19/0.28 c Current CPU time: 0.274958 s 0.19/0.28 c 0.19/0.28 c core #124 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 124 0.19/0.28 c Current CPU time: 0.276957 s 0.19/0.28 c 0.19/0.28 c core #125 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 125 0.19/0.28 c Current CPU time: 0.279957 s 0.19/0.28 c 0.19/0.28 c core #126 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: 126 0.19/0.28 c Current CPU time: 0.281957 s 0.19/0.28 c 0.19/0.28 c core #127 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 127 0.29/0.38 c Current CPU time: 0.283956 s 0.29/0.38 c 0.29/0.38 c core #128 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 128 0.29/0.38 c Current CPU time: 0.286956 s 0.29/0.38 c 0.29/0.38 c core #129 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 129 0.29/0.38 c Current CPU time: 0.288956 s 0.29/0.38 c 0.29/0.38 c core #130 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 130 0.29/0.38 c Current CPU time: 0.291955 s 0.29/0.38 c 0.29/0.38 c core #131 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 131 0.29/0.38 c Current CPU time: 0.293955 s 0.29/0.38 c 0.29/0.38 c core #132 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 132 0.29/0.38 c Current CPU time: 0.295955 s 0.29/0.38 c 0.29/0.38 c core #133 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 133 0.29/0.38 c Current CPU time: 0.298954 s 0.29/0.38 c 0.29/0.38 c core #134 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 134 0.29/0.38 c Current CPU time: 0.300954 s 0.29/0.38 c 0.29/0.38 c core #135 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 135 0.29/0.38 c Current CPU time: 0.303953 s 0.29/0.38 c 0.29/0.38 c core #136 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 136 0.29/0.38 c Current CPU time: 0.305953 s 0.29/0.38 c 0.29/0.38 c core #137 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 137 0.29/0.38 c Current CPU time: 0.308953 s 0.29/0.38 c 0.29/0.38 c core #138 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 138 0.29/0.38 c Current CPU time: 0.310952 s 0.29/0.38 c 0.29/0.38 c core #139 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 139 0.29/0.38 c Current CPU time: 0.312952 s 0.29/0.38 c 0.29/0.38 c core #140 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 140 0.29/0.38 c Current CPU time: 0.315951 s 0.29/0.38 c 0.29/0.38 c core #141 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 141 0.29/0.38 c Current CPU time: 0.317951 s 0.29/0.38 c 0.29/0.38 c core #142 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 142 0.29/0.38 c Current CPU time: 0.320951 s 0.29/0.38 c 0.29/0.38 c core #143 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 143 0.29/0.38 c Current CPU time: 0.32295 s 0.29/0.38 c 0.29/0.38 c core #144 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 144 0.29/0.38 c Current CPU time: 0.32595 s 0.29/0.38 c 0.29/0.38 c core #145 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 145 0.29/0.38 c Current CPU time: 0.32795 s 0.29/0.38 c 0.29/0.38 c core #146 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 146 0.29/0.38 c Current CPU time: 0.330949 s 0.29/0.38 c 0.29/0.38 c core #147 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 147 0.29/0.38 c Current CPU time: 0.332949 s 0.29/0.38 c 0.29/0.38 c core #148 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 148 0.29/0.38 c Current CPU time: 0.335948 s 0.29/0.38 c 0.29/0.38 c core #149 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 149 0.29/0.38 c Current CPU time: 0.337948 s 0.29/0.38 c 0.29/0.38 c core #150 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 150 0.29/0.38 c Current CPU time: 0.339948 s 0.29/0.38 c 0.29/0.38 c core #151 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 151 0.29/0.38 c Current CPU time: 0.342947 s 0.29/0.38 c 0.29/0.38 c core #152 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 152 0.29/0.38 c Current CPU time: 0.345947 s 0.29/0.38 c 0.29/0.38 c core #153 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 153 0.29/0.38 c Current CPU time: 0.347947 s 0.29/0.38 c 0.29/0.38 c core #154 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 154 0.29/0.38 c Current CPU time: 0.350946 s 0.29/0.38 c 0.29/0.38 c core #155 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 155 0.29/0.38 c Current CPU time: 0.352946 s 0.29/0.38 c 0.29/0.38 c core #156 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 156 0.29/0.38 c Current CPU time: 0.355945 s 0.29/0.38 c 0.29/0.38 c core #157 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 157 0.29/0.38 c Current CPU time: 0.357945 s 0.29/0.38 c 0.29/0.38 c core #158 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 158 0.29/0.38 c Current CPU time: 0.360945 s 0.29/0.38 c 0.29/0.38 c core #159 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 159 0.29/0.38 c Current CPU time: 0.362944 s 0.29/0.38 c 0.29/0.38 c core #160 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 160 0.29/0.38 c Current CPU time: 0.365944 s 0.29/0.38 c 0.29/0.38 c core #161 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 161 0.29/0.38 c Current CPU time: 0.368943 s 0.29/0.38 c 0.29/0.38 c core #162 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 162 0.29/0.38 c Current CPU time: 0.370943 s 0.29/0.38 c 0.29/0.38 c core #163 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 163 0.29/0.38 c Current CPU time: 0.373943 s 0.29/0.38 c 0.29/0.38 c core #164 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 164 0.29/0.38 c Current CPU time: 0.375942 s 0.29/0.38 c 0.29/0.38 c core #165 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 165 0.29/0.38 c Current CPU time: 0.378942 s 0.29/0.38 c 0.29/0.38 c core #166 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 166 0.29/0.38 c Current CPU time: 0.381941 s 0.29/0.38 c 0.29/0.38 c core #167 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 11 Core Weight: 1 Total Weight: 167 0.29/0.38 c Current CPU time: 0.383941 s 0.29/0.38 c 0.29/0.38 c core #168 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 12 Core Weight: 1 Total Weight: 168 0.49/0.50 c Current CPU time: 0.386941 s 0.49/0.50 c 0.49/0.50 c core #169 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 169 0.49/0.50 c Current CPU time: 0.38994 s 0.49/0.50 c 0.49/0.50 c core #170 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 170 0.49/0.50 c Current CPU time: 0.39194 s 0.49/0.50 c 0.49/0.50 c core #171 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 171 0.49/0.50 c Current CPU time: 0.394939 s 0.49/0.50 c 0.49/0.50 c core #172 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 19 Core Weight: 1 Total Weight: 172 0.49/0.50 c Current CPU time: 0.397939 s 0.49/0.50 c 0.49/0.50 c core #173 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 173 0.49/0.50 c Current CPU time: 0.399939 s 0.49/0.50 c 0.49/0.50 c core #174 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 174 0.49/0.50 c Current CPU time: 0.402938 s 0.49/0.50 c 0.49/0.50 c core #175 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 175 0.49/0.50 c Current CPU time: 0.405938 s 0.49/0.50 c 0.49/0.50 c core #176 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 176 0.49/0.50 c Current CPU time: 0.407937 s 0.49/0.50 c 0.49/0.50 c core #177 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 177 0.49/0.50 c Current CPU time: 0.410937 s 0.49/0.50 c 0.49/0.50 c core #178 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 178 0.49/0.50 c Current CPU time: 0.413937 s 0.49/0.50 c 0.49/0.50 c core #179 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 179 0.49/0.50 c Current CPU time: 0.415936 s 0.49/0.50 c 0.49/0.50 c core #180 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 180 0.49/0.50 c Current CPU time: 0.418936 s 0.49/0.50 c 0.49/0.50 c core #181 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 181 0.49/0.50 c Current CPU time: 0.421935 s 0.49/0.50 c 0.49/0.50 c core #182 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 182 0.49/0.50 c Current CPU time: 0.424935 s 0.49/0.50 c 0.49/0.50 c core #183 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 183 0.49/0.50 c Current CPU time: 0.426935 s 0.49/0.50 c 0.49/0.50 c core #184 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 23 Core Weight: 1 Total Weight: 184 0.49/0.50 c Current CPU time: 0.429934 s 0.49/0.50 c 0.49/0.50 c core #185 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 185 0.49/0.50 c Current CPU time: 0.432934 s 0.49/0.50 c 0.49/0.50 c core #186 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 186 0.49/0.50 c Current CPU time: 0.435933 s 0.49/0.50 c 0.49/0.50 c core #187 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 187 0.49/0.50 c Current CPU time: 0.437933 s 0.49/0.50 c 0.49/0.50 c core #188 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 12 Core Weight: 1 Total Weight: 188 0.49/0.50 c Current CPU time: 0.440932 s 0.49/0.50 c 0.49/0.50 c core #189 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 189 0.49/0.50 c Current CPU time: 0.443932 s 0.49/0.50 c 0.49/0.50 c core #190 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 190 0.49/0.50 c Current CPU time: 0.446932 s 0.49/0.50 c 0.49/0.50 c core #191 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 191 0.49/0.50 c Current CPU time: 0.449931 s 0.49/0.50 c 0.49/0.50 c core #192 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 19 Core Weight: 1 Total Weight: 192 0.49/0.50 c Current CPU time: 0.452931 s 0.49/0.50 c 0.49/0.50 c core #193 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 193 0.49/0.50 c Current CPU time: 0.45493 s 0.49/0.50 c 0.49/0.50 c core #194 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 194 0.49/0.50 c Current CPU time: 0.45793 s 0.49/0.50 c 0.49/0.50 c core #195 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 195 0.49/0.50 c Current CPU time: 0.460929 s 0.49/0.50 c 0.49/0.50 c core #196 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 196 0.49/0.50 c Current CPU time: 0.463929 s 0.49/0.50 c 0.49/0.50 c core #197 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 197 0.49/0.50 c Current CPU time: 0.466929 s 0.49/0.50 c 0.49/0.50 c core #198 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 198 0.49/0.50 c Current CPU time: 0.469928 s 0.49/0.50 c 0.49/0.50 c core #199 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 199 0.49/0.50 c Current CPU time: 0.472928 s 0.49/0.50 c 0.49/0.50 c core #200 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 200 0.49/0.50 c Current CPU time: 0.475927 s 0.49/0.50 c 0.49/0.50 c core #201 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 201 0.49/0.50 c Current CPU time: 0.477927 s 0.49/0.50 c 0.49/0.50 c core #202 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 21 Core Weight: 1 Total Weight: 202 0.49/0.50 c Current CPU time: 0.480926 s 0.49/0.50 c 0.49/0.50 c core #203 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 203 0.49/0.50 c Current CPU time: 0.483926 s 0.49/0.50 c 0.49/0.50 c core #204 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 23 Core Weight: 1 Total Weight: 204 0.49/0.50 c Current CPU time: 0.486925 s 0.49/0.50 c 0.49/0.50 c core #205 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 22 Core Weight: 1 Total Weight: 205 0.49/0.50 c Current CPU time: 0.489925 s 0.49/0.50 c 0.49/0.50 c core #206 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 206 0.49/0.50 c Current CPU time: 0.492925 s 0.49/0.50 c 0.49/0.50 c core #207 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 20 Core Weight: 1 Total Weight: 207 0.49/0.50 c Current CPU time: 0.495924 s 0.49/0.50 c 0.49/0.50 c core #208 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 12 Core Weight: 1 Total Weight: 208 0.49/0.50 c Current CPU time: 0.498924 s 0.49/0.50 c 0.49/0.50 c core #209 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 209 0.59/0.63 c Current CPU time: 0.501923 s 0.59/0.63 c 0.59/0.63 c core #210 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 210 0.59/0.63 c Current CPU time: 0.504923 s 0.59/0.63 c 0.59/0.63 c core #211 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 211 0.59/0.63 c Current CPU time: 0.507922 s 0.59/0.63 c 0.59/0.63 c core #212 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 19 Core Weight: 1 Total Weight: 212 0.59/0.63 c Current CPU time: 0.510922 s 0.59/0.63 c 0.59/0.63 c core #213 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 213 0.59/0.63 c Current CPU time: 0.513921 s 0.59/0.63 c 0.59/0.63 c core #214 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 214 0.59/0.63 c Current CPU time: 0.516921 s 0.59/0.63 c 0.59/0.63 c core #215 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 215 0.59/0.63 c Current CPU time: 0.51992 s 0.59/0.63 c 0.59/0.63 c core #216 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 216 0.59/0.63 c Current CPU time: 0.52292 s 0.59/0.63 c 0.59/0.63 c core #217 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 217 0.59/0.63 c Current CPU time: 0.52592 s 0.59/0.63 c 0.59/0.63 c core #218 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 218 0.59/0.63 c Current CPU time: 0.528919 s 0.59/0.63 c 0.59/0.63 c core #219 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 219 0.59/0.63 c Current CPU time: 0.531919 s 0.59/0.63 c 0.59/0.63 c core #220 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 220 0.59/0.63 c Current CPU time: 0.534918 s 0.59/0.63 c 0.59/0.63 c core #221 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 221 0.59/0.63 c Current CPU time: 0.537918 s 0.59/0.63 c 0.59/0.63 c core #222 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 222 0.59/0.63 c Current CPU time: 0.540917 s 0.59/0.63 c 0.59/0.63 c core #223 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 223 0.59/0.63 c Current CPU time: 0.543917 s 0.59/0.63 c 0.59/0.63 c core #224 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 23 Core Weight: 1 Total Weight: 224 0.59/0.63 c Current CPU time: 0.546916 s 0.59/0.63 c 0.59/0.63 c core #225 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 225 0.59/0.63 c Current CPU time: 0.550916 s 0.59/0.63 c 0.59/0.63 c core #226 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 226 0.59/0.63 c Current CPU time: 0.553915 s 0.59/0.63 c 0.59/0.63 c core #227 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 227 0.59/0.63 c Current CPU time: 0.556915 s 0.59/0.63 c 0.59/0.63 c core #228 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 12 Core Weight: 1 Total Weight: 228 0.59/0.63 c Current CPU time: 0.559914 s 0.59/0.63 c 0.59/0.63 c core #229 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 229 0.59/0.63 c Current CPU time: 0.562914 s 0.59/0.63 c 0.59/0.63 c core #230 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 230 0.59/0.63 c Current CPU time: 0.565913 s 0.59/0.63 c 0.59/0.63 c core #231 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 231 0.59/0.63 c Current CPU time: 0.568913 s 0.59/0.63 c 0.59/0.63 c core #232 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 19 Core Weight: 1 Total Weight: 232 0.59/0.63 c Current CPU time: 0.572912 s 0.59/0.63 c 0.59/0.63 c core #233 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 233 0.59/0.63 c Current CPU time: 0.575912 s 0.59/0.63 c 0.59/0.63 c core #234 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 234 0.59/0.63 c Current CPU time: 0.578911 s 0.59/0.63 c 0.59/0.63 c core #235 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 235 0.59/0.63 c Current CPU time: 0.581911 s 0.59/0.63 c 0.59/0.63 c core #236 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 236 0.59/0.63 c Current CPU time: 0.584911 s 0.59/0.63 c 0.59/0.63 c core #237 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 237 0.59/0.63 c Current CPU time: 0.58891 s 0.59/0.63 c 0.59/0.63 c core #238 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 238 0.59/0.63 c Current CPU time: 0.59191 s 0.59/0.63 c 0.59/0.63 c core #239 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 239 0.59/0.63 c Current CPU time: 0.594909 s 0.59/0.63 c 0.59/0.63 c core #240 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 240 0.59/0.63 c Current CPU time: 0.597909 s 0.59/0.63 c 0.59/0.63 c core #241 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 241 0.59/0.63 c Current CPU time: 0.600908 s 0.59/0.63 c 0.59/0.63 c core #242 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 21 Core Weight: 1 Total Weight: 242 0.59/0.63 c Current CPU time: 0.604908 s 0.59/0.63 c 0.59/0.63 c core #243 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 243 0.59/0.63 c Current CPU time: 0.607907 s 0.59/0.63 c 0.59/0.63 c core #244 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 23 Core Weight: 1 Total Weight: 244 0.59/0.63 c Current CPU time: 0.610907 s 0.59/0.63 c 0.59/0.63 c core #245 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 22 Core Weight: 1 Total Weight: 245 0.59/0.63 c Current CPU time: 0.613906 s 0.59/0.63 c 0.59/0.63 c core #246 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 246 0.59/0.63 c Current CPU time: 0.617906 s 0.59/0.63 c 0.59/0.63 c core #247 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 247 0.59/0.63 c Current CPU time: 0.620905 s 0.59/0.63 c 0.59/0.63 c core #248 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 12 Core Weight: 1 Total Weight: 248 0.59/0.63 c Current CPU time: 0.623905 s 0.59/0.63 c 0.59/0.63 c core #249 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 20 Core Weight: 1 Total Weight: 249 0.59/0.63 c Current CPU time: 0.626904 s 0.59/0.63 c 0.59/0.63 c core #250 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 250 0.69/0.77 c Current CPU time: 0.630904 s 0.69/0.77 c 0.69/0.77 c core #251 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 251 0.69/0.77 c Current CPU time: 0.633903 s 0.69/0.77 c 0.69/0.77 c core #252 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 19 Core Weight: 1 Total Weight: 252 0.69/0.77 c Current CPU time: 0.636903 s 0.69/0.77 c 0.69/0.77 c core #253 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 253 0.69/0.77 c Current CPU time: 0.639902 s 0.69/0.77 c 0.69/0.77 c core #254 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 254 0.69/0.77 c Current CPU time: 0.642902 s 0.69/0.77 c 0.69/0.77 c core #255 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 255 0.69/0.77 c Current CPU time: 0.645901 s 0.69/0.77 c 0.69/0.77 c core #256 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 256 0.69/0.77 c Current CPU time: 0.649901 s 0.69/0.77 c 0.69/0.77 c core #257 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 257 0.69/0.77 c Current CPU time: 0.6529 s 0.69/0.77 c 0.69/0.77 c core #258 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 258 0.69/0.77 c Current CPU time: 0.6559 s 0.69/0.77 c 0.69/0.77 c core #259 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 259 0.69/0.77 c Current CPU time: 0.658899 s 0.69/0.77 c 0.69/0.77 c core #260 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 260 0.69/0.77 c Current CPU time: 0.662899 s 0.69/0.77 c 0.69/0.77 c core #261 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 261 0.69/0.77 c Current CPU time: 0.665898 s 0.69/0.77 c 0.69/0.77 c core #262 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 262 0.69/0.77 c Current CPU time: 0.669898 s 0.69/0.77 c 0.69/0.77 c core #263 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 263 0.69/0.77 c Current CPU time: 0.672897 s 0.69/0.77 c 0.69/0.77 c core #264 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 23 Core Weight: 1 Total Weight: 264 0.69/0.77 c Current CPU time: 0.675897 s 0.69/0.77 c 0.69/0.77 c core #265 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 265 0.69/0.77 c Current CPU time: 0.679896 s 0.69/0.77 c 0.69/0.77 c core #266 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 266 0.69/0.77 c Current CPU time: 0.682896 s 0.69/0.77 c 0.69/0.77 c core #267 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 267 0.69/0.77 c Current CPU time: 0.686895 s 0.69/0.77 c 0.69/0.77 c core #268 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: 268 0.69/0.77 c Current CPU time: 0.689895 s 0.69/0.77 c 0.69/0.77 c core #269 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 269 0.69/0.77 c Current CPU time: 0.692894 s 0.69/0.77 c 0.69/0.77 c core #270 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 270 0.69/0.77 c Current CPU time: 0.696894 s 0.69/0.77 c 0.69/0.77 c core #271 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 271 0.69/0.77 c Current CPU time: 0.699893 s 0.69/0.77 c 0.69/0.77 c core #272 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 19 Core Weight: 1 Total Weight: 272 0.69/0.77 c Current CPU time: 0.703892 s 0.69/0.77 c 0.69/0.77 c core #273 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 273 0.69/0.77 c Current CPU time: 0.706892 s 0.69/0.77 c 0.69/0.77 c core #274 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 274 0.69/0.77 c Current CPU time: 0.710891 s 0.69/0.77 c 0.69/0.77 c core #275 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 275 0.69/0.77 c Current CPU time: 0.713891 s 0.69/0.77 c 0.69/0.77 c core #276 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 276 0.69/0.77 c Current CPU time: 0.716891 s 0.69/0.77 c 0.69/0.77 c core #277 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 277 0.69/0.77 c Current CPU time: 0.72089 s 0.69/0.77 c 0.69/0.77 c core #278 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 278 0.69/0.77 c Current CPU time: 0.723889 s 0.69/0.77 c 0.69/0.77 c core #279 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 279 0.69/0.77 c Current CPU time: 0.727889 s 0.69/0.77 c 0.69/0.77 c core #280 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 280 0.69/0.77 c Current CPU time: 0.730888 s 0.69/0.77 c 0.69/0.77 c core #281 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 281 0.69/0.77 c Current CPU time: 0.734888 s 0.69/0.77 c 0.69/0.77 c core #282 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: 282 0.69/0.77 c Current CPU time: 0.737887 s 0.69/0.77 c 0.69/0.77 c core #283 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 283 0.69/0.77 c Current CPU time: 0.741887 s 0.69/0.77 c 0.69/0.77 c core #284 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 23 Core Weight: 1 Total Weight: 284 0.69/0.77 c Current CPU time: 0.744886 s 0.69/0.77 c 0.69/0.77 c core #285 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 22 Core Weight: 1 Total Weight: 285 0.69/0.77 c Current CPU time: 0.748886 s 0.69/0.77 c 0.69/0.77 c core #286 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 286 0.69/0.77 c Current CPU time: 0.752885 s 0.69/0.77 c 0.69/0.77 c core #287 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 287 0.69/0.77 c Current CPU time: 0.755885 s 0.69/0.77 c 0.69/0.77 c core #288 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 12 Core Weight: 1 Total Weight: 288 0.69/0.77 c Current CPU time: 0.759884 s 0.69/0.77 c 0.69/0.77 c core #289 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 289 0.69/0.77 c Current CPU time: 0.762884 s 0.69/0.77 c 0.69/0.77 c core #290 0.69/0.77 c 0.69/0.77 c 0.69/0.77 c Core size: 20 Core Weight: 1 Total Weight: 290 0.69/0.77 c Current CPU time: 0.766883 s 0.69/0.77 c 0.69/0.77 c core #291 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 291 0.89/0.92 c Current CPU time: 0.769882 s 0.89/0.92 c 0.89/0.92 c core #292 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 19 Core Weight: 1 Total Weight: 292 0.89/0.92 c Current CPU time: 0.773882 s 0.89/0.92 c 0.89/0.92 c core #293 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 293 0.89/0.92 c Current CPU time: 0.776881 s 0.89/0.92 c 0.89/0.92 c core #294 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 294 0.89/0.92 c Current CPU time: 0.780881 s 0.89/0.92 c 0.89/0.92 c core #295 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 295 0.89/0.92 c Current CPU time: 0.78488 s 0.89/0.92 c 0.89/0.92 c core #296 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 296 0.89/0.92 c Current CPU time: 0.78788 s 0.89/0.92 c 0.89/0.92 c core #297 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 297 0.89/0.92 c Current CPU time: 0.791879 s 0.89/0.92 c 0.89/0.92 c core #298 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 298 0.89/0.92 c Current CPU time: 0.794879 s 0.89/0.92 c 0.89/0.92 c core #299 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 299 0.89/0.92 c Current CPU time: 0.798878 s 0.89/0.92 c 0.89/0.92 c core #300 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 300 0.89/0.92 c Current CPU time: 0.802877 s 0.89/0.92 c 0.89/0.92 c core #301 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 301 0.89/0.92 c Current CPU time: 0.805877 s 0.89/0.92 c 0.89/0.92 c core #302 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 302 0.89/0.92 c Current CPU time: 0.809876 s 0.89/0.92 c 0.89/0.92 c core #303 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 303 0.89/0.92 c Current CPU time: 0.813876 s 0.89/0.92 c 0.89/0.92 c core #304 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 23 Core Weight: 1 Total Weight: 304 0.89/0.92 c Current CPU time: 0.816875 s 0.89/0.92 c 0.89/0.92 c core #305 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 305 0.89/0.92 c Current CPU time: 0.820875 s 0.89/0.92 c 0.89/0.92 c core #306 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 306 0.89/0.92 c Current CPU time: 0.824874 s 0.89/0.92 c 0.89/0.92 c core #307 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 307 0.89/0.92 c Current CPU time: 0.827874 s 0.89/0.92 c 0.89/0.92 c core #308 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 12 Core Weight: 1 Total Weight: 308 0.89/0.92 c Current CPU time: 0.831873 s 0.89/0.92 c 0.89/0.92 c core #309 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 309 0.89/0.92 c Current CPU time: 0.835872 s 0.89/0.92 c 0.89/0.92 c core #310 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 310 0.89/0.92 c Current CPU time: 0.838872 s 0.89/0.92 c 0.89/0.92 c core #311 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 311 0.89/0.92 c Current CPU time: 0.842871 s 0.89/0.92 c 0.89/0.92 c core #312 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 19 Core Weight: 1 Total Weight: 312 0.89/0.92 c Current CPU time: 0.846871 s 0.89/0.92 c 0.89/0.92 c core #313 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 313 0.89/0.92 c Current CPU time: 0.85087 s 0.89/0.92 c 0.89/0.92 c core #314 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 314 0.89/0.92 c Current CPU time: 0.85387 s 0.89/0.92 c 0.89/0.92 c core #315 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 315 0.89/0.92 c Current CPU time: 0.857869 s 0.89/0.92 c 0.89/0.92 c core #316 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 316 0.89/0.92 c Current CPU time: 0.861868 s 0.89/0.92 c 0.89/0.92 c core #317 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 317 0.89/0.92 c Current CPU time: 0.865868 s 0.89/0.92 c 0.89/0.92 c core #318 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 318 0.89/0.92 c Current CPU time: 0.868867 s 0.89/0.92 c 0.89/0.92 c core #319 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 319 0.89/0.92 c Current CPU time: 0.872867 s 0.89/0.92 c 0.89/0.92 c core #320 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 320 0.89/0.92 c Current CPU time: 0.876866 s 0.89/0.92 c 0.89/0.92 c core #321 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 321 0.89/0.92 c Current CPU time: 0.880866 s 0.89/0.92 c 0.89/0.92 c core #322 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 322 0.89/0.92 c Current CPU time: 0.884865 s 0.89/0.92 c 0.89/0.92 c core #323 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 323 0.89/0.92 c Current CPU time: 0.887865 s 0.89/0.92 c 0.89/0.92 c core #324 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 23 Core Weight: 1 Total Weight: 324 0.89/0.92 c Current CPU time: 0.891864 s 0.89/0.92 c 0.89/0.92 c core #325 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 22 Core Weight: 1 Total Weight: 325 0.89/0.92 c Current CPU time: 0.895863 s 0.89/0.92 c 0.89/0.92 c core #326 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 326 0.89/0.92 c Current CPU time: 0.899863 s 0.89/0.92 c 0.89/0.92 c core #327 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 327 0.89/0.92 c Current CPU time: 0.903862 s 0.89/0.92 c 0.89/0.92 c core #328 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 12 Core Weight: 1 Total Weight: 328 0.89/0.92 c Current CPU time: 0.907861 s 0.89/0.92 c 0.89/0.92 c core #329 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 329 0.89/0.92 c Current CPU time: 0.910861 s 0.89/0.92 c 0.89/0.92 c core #330 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 20 Core Weight: 1 Total Weight: 330 0.89/0.92 c Current CPU time: 0.91486 s 0.89/0.92 c 0.89/0.92 c core #331 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 21 Core Weight: 1 Total Weight: 331 0.89/0.92 c Current CPU time: 0.91886 s 0.89/0.92 c 0.89/0.92 c core #332 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 19 Core Weight: 1 Total Weight: 332 1.01/1.07 c Current CPU time: 0.922859 s 1.01/1.07 c 1.01/1.07 c core #333 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 333 1.01/1.07 c Current CPU time: 0.926859 s 1.01/1.07 c 1.01/1.07 c core #334 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 334 1.01/1.07 c Current CPU time: 0.930858 s 1.01/1.07 c 1.01/1.07 c core #335 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 335 1.01/1.07 c Current CPU time: 0.934857 s 1.01/1.07 c 1.01/1.07 c core #336 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 336 1.01/1.07 c Current CPU time: 0.938857 s 1.01/1.07 c 1.01/1.07 c core #337 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 337 1.01/1.07 c Current CPU time: 0.941856 s 1.01/1.07 c 1.01/1.07 c core #338 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 338 1.01/1.07 c Current CPU time: 0.944856 s 1.01/1.07 c 1.01/1.07 c core #339 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 339 1.01/1.07 c Current CPU time: 0.948855 s 1.01/1.07 c 1.01/1.07 c core #340 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 340 1.01/1.07 c Current CPU time: 0.952855 s 1.01/1.07 c 1.01/1.07 c core #341 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 341 1.01/1.07 c Current CPU time: 0.956854 s 1.01/1.07 c 1.01/1.07 c core #342 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 342 1.01/1.07 c Current CPU time: 0.960853 s 1.01/1.07 c 1.01/1.07 c core #343 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 343 1.01/1.07 c Current CPU time: 0.964853 s 1.01/1.07 c 1.01/1.07 c core #344 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 23 Core Weight: 1 Total Weight: 344 1.01/1.07 c Current CPU time: 0.968852 s 1.01/1.07 c 1.01/1.07 c core #345 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 345 1.01/1.07 c Current CPU time: 0.972852 s 1.01/1.07 c 1.01/1.07 c core #346 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 346 1.01/1.07 c Current CPU time: 0.976851 s 1.01/1.07 c 1.01/1.07 c core #347 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 347 1.01/1.07 c Current CPU time: 0.98085 s 1.01/1.07 c 1.01/1.07 c core #348 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 12 Core Weight: 1 Total Weight: 348 1.01/1.07 c Current CPU time: 0.98485 s 1.01/1.07 c 1.01/1.07 c core #349 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 349 1.01/1.07 c Current CPU time: 0.988849 s 1.01/1.07 c 1.01/1.07 c core #350 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 350 1.01/1.07 c Current CPU time: 0.992849 s 1.01/1.07 c 1.01/1.07 c core #351 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 351 1.01/1.07 c Current CPU time: 0.996848 s 1.01/1.07 c 1.01/1.07 c core #352 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 19 Core Weight: 1 Total Weight: 352 1.01/1.07 c Current CPU time: 1.00085 s 1.01/1.07 c 1.01/1.07 c core #353 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 353 1.01/1.07 c Current CPU time: 1.00485 s 1.01/1.07 c 1.01/1.07 c core #354 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 354 1.01/1.07 c Current CPU time: 1.00885 s 1.01/1.07 c 1.01/1.07 c core #355 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 355 1.01/1.07 c Current CPU time: 1.01285 s 1.01/1.07 c 1.01/1.07 c core #356 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 356 1.01/1.07 c Current CPU time: 1.01784 s 1.01/1.07 c 1.01/1.07 c core #357 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 357 1.01/1.07 c Current CPU time: 1.02184 s 1.01/1.07 c 1.01/1.07 c core #358 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 358 1.01/1.07 c Current CPU time: 1.02584 s 1.01/1.07 c 1.01/1.07 c core #359 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 359 1.01/1.07 c Current CPU time: 1.02984 s 1.01/1.07 c 1.01/1.07 c core #360 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 360 1.01/1.07 c Current CPU time: 1.03384 s 1.01/1.07 c 1.01/1.07 c core #361 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 361 1.01/1.07 c Current CPU time: 1.03784 s 1.01/1.07 c 1.01/1.07 c core #362 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 21 Core Weight: 1 Total Weight: 362 1.01/1.07 c Current CPU time: 1.04184 s 1.01/1.07 c 1.01/1.07 c core #363 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 363 1.01/1.07 c Current CPU time: 1.04584 s 1.01/1.07 c 1.01/1.07 c core #364 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 23 Core Weight: 1 Total Weight: 364 1.01/1.07 c Current CPU time: 1.04984 s 1.01/1.07 c 1.01/1.07 c core #365 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 22 Core Weight: 1 Total Weight: 365 1.01/1.07 c Current CPU time: 1.05384 s 1.01/1.07 c 1.01/1.07 c core #366 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 366 1.01/1.07 c Current CPU time: 1.05784 s 1.01/1.07 c 1.01/1.07 c core #367 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 20 Core Weight: 1 Total Weight: 367 1.01/1.07 c Current CPU time: 1.06184 s 1.01/1.07 c 1.01/1.07 c core #368 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 211 Core Weight: 1 Total Weight: 368 1.01/1.07 c Current CPU time: 1.06584 s 1.01/1.07 c 1.01/1.07 c ============================[ Search Statistics ]============================== 1.01/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.07 c =============================================================================== 1.01/1.07 c | 0 | 3680 9705 22430 | 5000 0 -nan | 0.000 % | 1.01/1.07 c =============================================================================== 1.01/1.07 c core #369 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 12 Core Weight: 1 Total Weight: 369 1.01/1.07 c Current CPU time: 1.07084 s 1.01/1.07 c 1.01/1.07 c ============================[ Search Statistics ]============================== 1.01/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.07 c =============================================================================== 1.01/1.07 c | 0 | 3687 9706 22444 | 5000 0 -nan | 0.000 % | 1.01/1.07 c =============================================================================== 1.01/1.08 c core #370 1.01/1.08 c 1.01/1.08 c 1.01/1.08 c Core size: 27 Core Weight: 1 Total Weight: 370 1.01/1.08 c Current CPU time: 1.07484 s 1.01/1.08 c 1.01/1.08 c ============================[ Search Statistics ]============================== 1.01/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.08 c =============================================================================== 1.01/1.08 c | 0 | 3696 9707 22462 | 5000 0 -nan | 0.000 % | 1.01/1.08 c =============================================================================== 1.01/1.08 c core #371 1.01/1.08 c 1.01/1.08 c 1.01/1.08 c Core size: 10 Core Weight: 1 Total Weight: 371 1.01/1.08 c Current CPU time: 1.07883 s 1.01/1.08 c 1.01/1.08 c ============================[ Search Statistics ]============================== 1.01/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.08 c =============================================================================== 1.01/1.08 c | 0 | 3702 9708 22474 | 5000 0 -nan | 0.000 % | 1.01/1.08 c =============================================================================== 1.01/1.09 c core #372 1.01/1.09 c 1.01/1.09 c 1.01/1.09 c Core size: 10 Core Weight: 1 Total Weight: 372 1.01/1.09 c Current CPU time: 1.08283 s 1.01/1.09 c 1.01/1.09 c ============================[ Search Statistics ]============================== 1.01/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.09 c =============================================================================== 1.01/1.09 c | 0 | 3708 9709 22486 | 5000 0 -nan | 0.000 % | 1.01/1.09 c =============================================================================== 1.01/1.09 c core #373 1.01/1.09 c 1.01/1.09 c 1.01/1.09 c Core size: 18 Core Weight: 1 Total Weight: 373 1.01/1.09 c Current CPU time: 1.08783 s 1.01/1.09 c 1.01/1.09 c ============================[ Search Statistics ]============================== 1.01/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.09 c =============================================================================== 1.01/1.09 c | 0 | 3717 9710 22504 | 5000 0 -nan | 0.000 % | 1.01/1.09 c =============================================================================== 1.01/1.10 c core #374 1.01/1.10 c 1.01/1.10 c 1.01/1.10 c Core size: 10 Core Weight: 1 Total Weight: 374 1.01/1.10 c Current CPU time: 1.09183 s 1.01/1.10 c 1.01/1.10 c ============================[ Search Statistics ]============================== 1.01/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.10 c =============================================================================== 1.01/1.10 c | 0 | 3723 9711 22516 | 5000 0 -nan | 0.000 % | 1.01/1.10 c =============================================================================== 1.01/1.10 c core #375 1.01/1.10 c 1.01/1.10 c 1.01/1.10 c Core size: 22 Core Weight: 1 Total Weight: 375 1.01/1.10 c Current CPU time: 1.09683 s 1.01/1.10 c 1.01/1.10 c ============================[ Search Statistics ]============================== 1.01/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.10 c =============================================================================== 1.01/1.10 c | 0 | 3733 9712 22536 | 5000 0 -nan | 0.000 % | 1.01/1.10 c =============================================================================== 1.01/1.11 c core #376 1.01/1.11 c 1.01/1.11 c 1.01/1.11 c Core size: 29 Core Weight: 1 Total Weight: 376 1.01/1.11 c Current CPU time: 1.10083 s 1.01/1.11 c 1.01/1.11 c ============================[ Search Statistics ]============================== 1.01/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.11 c =============================================================================== 1.01/1.11 c | 0 | 3742 9714 22557 | 5000 0 -nan | 0.000 % | 1.01/1.11 c =============================================================================== 1.01/1.11 c core #377 1.01/1.11 c 1.01/1.11 c 1.01/1.11 c Core size: 24 Core Weight: 1 Total Weight: 377 1.01/1.11 c Current CPU time: 1.10583 s 1.01/1.11 c 1.01/1.11 c ============================[ Search Statistics ]============================== 1.01/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.11 c =============================================================================== 1.01/1.11 c | 0 | 3752 9715 22577 | 5000 0 -nan | 0.000 % | 1.01/1.11 c =============================================================================== 1.01/1.12 c core #378 1.01/1.12 c 1.01/1.12 c 1.01/1.12 c Core size: 37 Core Weight: 1 Total Weight: 378 1.01/1.12 c Current CPU time: 1.11083 s 1.01/1.12 c 1.01/1.12 c ============================[ Search Statistics ]============================== 1.01/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.12 c =============================================================================== 1.01/1.12 c | 0 | 3765 9716 22603 | 5000 0 -nan | 0.000 % | 1.01/1.12 c =============================================================================== 1.11/1.12 c core #379 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 22 Core Weight: 1 Total Weight: 379 1.11/1.12 c Current CPU time: 1.11483 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 3778 9717 22629 | 5000 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.12 c core #380 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 12 Core Weight: 1 Total Weight: 380 1.11/1.12 c Current CPU time: 1.11983 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 3785 9718 22643 | 5000 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.13 c core #381 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 10 Core Weight: 1 Total Weight: 381 1.11/1.13 c Current CPU time: 1.12483 s 1.11/1.13 c 1.11/1.13 c ============================[ Search Statistics ]============================== 1.11/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.13 c =============================================================================== 1.11/1.13 c | 0 | 3791 9719 22655 | 5000 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.13 c core #382 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 10 Core Weight: 1 Total Weight: 382 1.11/1.13 c Current CPU time: 1.12883 s 1.11/1.13 c 1.11/1.13 c ============================[ Search Statistics ]============================== 1.11/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.13 c =============================================================================== 1.11/1.13 c | 0 | 3797 9720 22667 | 5000 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.14 c core #383 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 10 Core Weight: 1 Total Weight: 383 1.11/1.14 c Current CPU time: 1.13383 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 3803 9721 22679 | 5000 0 -nan | 0.000 % | 1.11/1.14 c =============================================================================== 1.11/1.14 c core #384 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 10 Core Weight: 1 Total Weight: 384 1.11/1.14 c Current CPU time: 1.13883 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 3809 9722 22691 | 5000 0 -nan | 0.000 % | 1.11/1.14 c =============================================================================== 1.11/1.15 c core #385 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 10 Core Weight: 1 Total Weight: 385 1.11/1.15 c Current CPU time: 1.14383 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 3815 9723 22703 | 5000 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.15 c core #386 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 12 Core Weight: 1 Total Weight: 386 1.11/1.15 c Current CPU time: 1.14882 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 3822 9724 22717 | 5000 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.16 c core #387 1.11/1.16 c 1.11/1.16 c 1.11/1.16 c Core size: 10 Core Weight: 1 Total Weight: 387 1.11/1.16 c Current CPU time: 1.15382 s 1.11/1.16 c 1.11/1.16 c ============================[ Search Statistics ]============================== 1.11/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.16 c =============================================================================== 1.11/1.16 c | 0 | 3828 9725 22729 | 5000 0 -nan | 0.000 % | 1.11/1.16 c =============================================================================== 1.11/1.16 c core #388 1.11/1.16 c 1.11/1.16 c 1.11/1.16 c Core size: 30 Core Weight: 1 Total Weight: 388 1.11/1.16 c Current CPU time: 1.15882 s 1.11/1.16 c 1.11/1.16 c ============================[ Search Statistics ]============================== 1.11/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.16 c =============================================================================== 1.11/1.16 c | 0 | 3841 9726 22755 | 5000 0 -nan | 0.000 % | 1.11/1.16 c =============================================================================== 1.11/1.17 c core #389 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 12 Core Weight: 1 Total Weight: 389 1.11/1.17 c Current CPU time: 1.16382 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 3848 9727 22769 | 5000 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.17 c core #390 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 13 Core Weight: 1 Total Weight: 390 1.11/1.17 c Current CPU time: 1.16882 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 3857 9728 22787 | 5000 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.18 c core #391 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 19 Core Weight: 1 Total Weight: 391 1.11/1.18 c Current CPU time: 1.17382 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 3868 9729 22809 | 5000 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.18 c core #392 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 24 Core Weight: 1 Total Weight: 392 1.11/1.18 c Current CPU time: 1.17882 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 3879 9730 22831 | 5000 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.19 c core #393 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 30 Core Weight: 1 Total Weight: 393 1.11/1.19 c Current CPU time: 1.18382 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 3892 9731 22857 | 5000 0 -nan | 0.000 % | 1.11/1.19 c =============================================================================== 1.11/1.19 c core #394 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 26 Core Weight: 1 Total Weight: 394 1.11/1.19 c Current CPU time: 1.18882 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 3901 9732 22875 | 5000 0 -nan | 0.000 % | 1.11/1.19 c =============================================================================== 1.19/1.20 c core #395 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 34 Core Weight: 1 Total Weight: 395 1.19/1.20 c Current CPU time: 1.19382 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 3913 9733 22899 | 5000 0 -nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c core #396 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 10 Core Weight: 1 Total Weight: 396 1.19/1.20 c Current CPU time: 1.19882 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 3919 9734 22911 | 5000 0 -nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.21 c core #397 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 26 Core Weight: 1 Total Weight: 397 1.19/1.21 c Current CPU time: 1.20382 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 3926 9735 22925 | 5000 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c core #398 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 22 Core Weight: 1 Total Weight: 398 1.19/1.21 c Current CPU time: 1.20882 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 3934 9737 22944 | 5000 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #399 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 22 Core Weight: 1 Total Weight: 399 1.19/1.22 c Current CPU time: 1.21481 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 3950 9739 22978 | 5000 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c core #400 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 40 Core Weight: 1 Total Weight: 400 1.19/1.22 c Current CPU time: 1.21981 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 3979 9740 23036 | 5000 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #401 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 30 Core Weight: 1 Total Weight: 401 1.19/1.23 c Current CPU time: 1.22481 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 3994 9742 23069 | 5000 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #402 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 30 Core Weight: 1 Total Weight: 402 1.19/1.23 c Current CPU time: 1.22981 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 4009 9743 23099 | 5000 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #403 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 12 Core Weight: 1 Total Weight: 403 1.19/1.24 c Current CPU time: 1.23381 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 4016 9744 23113 | 5000 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #404 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 25 Core Weight: 1 Total Weight: 404 1.19/1.24 c Current CPU time: 1.23881 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 4023 9745 23127 | 5000 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #405 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 12 Core Weight: 1 Total Weight: 405 1.19/1.25 c Current CPU time: 1.24381 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 4030 9746 23141 | 5000 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.26 c core #406 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 10 Core Weight: 1 Total Weight: 406 1.19/1.26 c Current CPU time: 1.24981 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 4036 9747 23153 | 5000 0 -nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c core #407 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 12 Core Weight: 1 Total Weight: 407 1.19/1.26 c Current CPU time: 1.25481 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 4043 9748 23167 | 5000 0 -nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.27 c core #408 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 10 Core Weight: 1 Total Weight: 408 1.19/1.27 c Current CPU time: 1.25981 s 1.19/1.27 c 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 4049 9749 23179 | 5000 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c core #409 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 21 Core Weight: 1 Total Weight: 409 1.19/1.27 c Current CPU time: 1.26481 s 1.19/1.27 c 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 4061 9750 23203 | 5000 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #410 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 18 Core Weight: 1 Total Weight: 410 1.19/1.28 c Current CPU time: 1.26981 s 1.19/1.28 c 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 4070 9751 23221 | 5000 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c core #411 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 29 Core Weight: 1 Total Weight: 411 1.19/1.28 c Current CPU time: 1.27381 s 1.19/1.28 c 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 4090 9752 23261 | 5000 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #412 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 25 Core Weight: 1 Total Weight: 412 1.19/1.29 c Current CPU time: 1.2788 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 4100 9753 23281 | 5000 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c core #413 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 15 Core Weight: 1 Total Weight: 413 1.19/1.29 c Current CPU time: 1.2838 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 4111 9754 23303 | 5000 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.30 c core #414 1.19/1.30 c 1.19/1.30 c 1.19/1.30 c Core size: 12 Core Weight: 1 Total Weight: 414 1.19/1.30 c Current CPU time: 1.2888 s 1.19/1.30 c 1.19/1.30 c ============================[ Search Statistics ]============================== 1.19/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.30 c =============================================================================== 1.19/1.30 c | 0 | 4118 9755 23317 | 5000 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c core #415 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 28 Core Weight: 1 Total Weight: 415 1.29/1.30 c Current CPU time: 1.2938 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 4128 9756 23337 | 5000 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #416 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 24 Core Weight: 1 Total Weight: 416 1.29/1.31 c Current CPU time: 1.2988 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 4141 9757 23363 | 5000 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c core #417 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 27 Core Weight: 1 Total Weight: 417 1.29/1.31 c Current CPU time: 1.3038 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 4151 9758 23383 | 5000 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.32 c core #418 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 15 Core Weight: 1 Total Weight: 418 1.29/1.32 c Current CPU time: 1.3088 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 | 4162 9759 23405 | 5000 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #419 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 22 Core Weight: 1 Total Weight: 419 1.29/1.32 c Current CPU time: 1.3138 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 | 4169 9760 23419 | 5000 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #420 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 27 Core Weight: 1 Total Weight: 420 1.29/1.33 c Current CPU time: 1.3188 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 4178 9761 23437 | 5000 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c core #421 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 24 Core Weight: 1 Total Weight: 421 1.29/1.33 c Current CPU time: 1.3238 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 4187 9762 23455 | 5000 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #422 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 38 Core Weight: 1 Total Weight: 422 1.29/1.34 c Current CPU time: 1.3288 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 4200 9763 23481 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #423 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 29 Core Weight: 1 Total Weight: 423 1.29/1.34 c Current CPU time: 1.3338 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 4215 9764 23511 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #424 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 10 Core Weight: 1 Total Weight: 424 1.29/1.35 c Current CPU time: 1.3388 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 4221 9765 23523 | 5000 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #425 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 10 Core Weight: 1 Total Weight: 425 1.29/1.35 c Current CPU time: 1.34479 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 4227 9766 23535 | 5000 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #426 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 26 Core Weight: 1 Total Weight: 426 1.29/1.36 c Current CPU time: 1.34979 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 4237 9767 23555 | 5000 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #427 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 16 Core Weight: 1 Total Weight: 427 1.29/1.36 c Current CPU time: 1.35479 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 4244 9768 23569 | 5000 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #428 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 23 Core Weight: 1 Total Weight: 428 1.29/1.37 c Current CPU time: 1.35979 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4252 9769 23585 | 5000 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c core #429 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 15 Core Weight: 1 Total Weight: 429 1.29/1.37 c Current CPU time: 1.36479 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4263 9770 23607 | 5000 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.38 c core #430 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 30 Core Weight: 1 Total Weight: 430 1.29/1.38 c Current CPU time: 1.36979 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4281 9771 23643 | 5000 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #431 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 42 Core Weight: 1 Total Weight: 431 1.29/1.38 c Current CPU time: 1.37579 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 4305 9772 23691 | 5000 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #432 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 10 Core Weight: 1 Total Weight: 432 1.29/1.39 c Current CPU time: 1.38079 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 4311 9773 23703 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #433 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 15 Core Weight: 1 Total Weight: 433 1.29/1.39 c Current CPU time: 1.38579 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 4321 9774 23723 | 5000 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #434 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 31 Core Weight: 1 Total Weight: 434 1.39/1.40 c Current CPU time: 1.39079 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 4330 9775 23741 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c core #435 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 27 Core Weight: 1 Total Weight: 435 1.39/1.40 c Current CPU time: 1.39579 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 4340 9776 23761 | 5000 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #436 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 10 Core Weight: 1 Total Weight: 436 1.39/1.41 c Current CPU time: 1.40079 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 4346 9777 23773 | 5000 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #437 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 25 Core Weight: 1 Total Weight: 437 1.39/1.41 c Current CPU time: 1.40579 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 4356 9778 23793 | 5000 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #438 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 22 Core Weight: 1 Total Weight: 438 1.39/1.42 c Current CPU time: 1.41179 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 4368 9780 23820 | 5000 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c core #439 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 22 Core Weight: 1 Total Weight: 439 1.39/1.42 c Current CPU time: 1.41678 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 4383 9782 23853 | 5000 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #440 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 24 Core Weight: 1 Total Weight: 440 1.39/1.43 c Current CPU time: 1.42178 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 4393 9784 23876 | 5000 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c core #441 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 29 Core Weight: 1 Total Weight: 441 1.39/1.43 c Current CPU time: 1.42678 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 4407 9785 23904 | 5000 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #442 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 39 Core Weight: 1 Total Weight: 442 1.39/1.44 c Current CPU time: 1.43278 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 | 4427 9786 23944 | 5000 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #443 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 27 Core Weight: 1 Total Weight: 443 1.39/1.44 c Current CPU time: 1.43778 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 | 4436 9787 23962 | 5000 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c core #444 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 10 Core Weight: 1 Total Weight: 444 1.39/1.45 c Current CPU time: 1.44278 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 4442 9788 23974 | 5000 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.46 c core #445 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 18 Core Weight: 1 Total Weight: 445 1.39/1.46 c Current CPU time: 1.44778 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 4452 9789 23994 | 5000 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #446 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 10 Core Weight: 1 Total Weight: 446 1.39/1.46 c Current CPU time: 1.45378 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 4458 9790 24006 | 5000 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #447 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 27 Core Weight: 1 Total Weight: 447 1.39/1.47 c Current CPU time: 1.45878 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 4468 9791 24026 | 5000 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c core #448 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 10 Core Weight: 1 Total Weight: 448 1.39/1.47 c Current CPU time: 1.46378 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 4474 9792 24038 | 5000 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #449 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 10 Core Weight: 1 Total Weight: 449 1.39/1.48 c Current CPU time: 1.46878 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 4480 9793 24050 | 5000 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c core #450 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 26 Core Weight: 1 Total Weight: 450 1.39/1.48 c Current CPU time: 1.47378 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 4491 9794 24072 | 5000 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #451 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 23 Core Weight: 1 Total Weight: 451 1.39/1.49 c Current CPU time: 1.47877 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 | 4499 9796 24091 | 5000 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #452 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 32 Core Weight: 1 Total Weight: 452 1.39/1.49 c Current CPU time: 1.48277 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 | 4517 9797 24127 | 5000 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.50 c core #453 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 22 Core Weight: 1 Total Weight: 453 1.49/1.50 c Current CPU time: 1.48877 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 4525 9798 24143 | 5000 0 -nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.50 c core #454 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 28 Core Weight: 1 Total Weight: 454 1.49/1.50 c Current CPU time: 1.49377 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 4535 9799 24163 | 5000 0 -nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.51 c core #455 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 25 Core Weight: 1 Total Weight: 455 1.49/1.51 c Current CPU time: 1.49877 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 4549 9800 24191 | 5000 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c core #456 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 23 Core Weight: 1 Total Weight: 456 1.49/1.51 c Current CPU time: 1.50477 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 4557 9801 24207 | 5000 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.52 c core #457 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 24 Core Weight: 1 Total Weight: 457 1.49/1.52 c Current CPU time: 1.50977 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 4566 9803 24228 | 5000 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #458 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 31 Core Weight: 1 Total Weight: 458 1.49/1.52 c Current CPU time: 1.51477 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 4577 9804 24250 | 5000 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.53 c core #459 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 22 Core Weight: 1 Total Weight: 459 1.49/1.53 c Current CPU time: 1.51877 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 4587 9805 24270 | 5000 0 -nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.53 c core #460 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 27 Core Weight: 1 Total Weight: 460 1.49/1.53 c Current CPU time: 1.52477 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 4604 9806 24304 | 5000 0 -nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.54 c core #461 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 10 Core Weight: 1 Total Weight: 461 1.49/1.54 c Current CPU time: 1.52977 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 4610 9807 24316 | 5000 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #462 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 15 Core Weight: 1 Total Weight: 462 1.49/1.54 c Current CPU time: 1.53377 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 4621 9808 24338 | 5000 0 -nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c core #463 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 25 Core Weight: 1 Total Weight: 463 1.49/1.55 c Current CPU time: 1.53877 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 4629 9809 24354 | 5000 0 -nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.55 c core #464 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 13 Core Weight: 1 Total Weight: 464 1.49/1.55 c Current CPU time: 1.54377 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 4638 9810 24372 | 5000 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #465 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 24 Core Weight: 1 Total Weight: 465 1.49/1.56 c Current CPU time: 1.54976 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 4645 9812 24388 | 5000 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #466 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 28 Core Weight: 1 Total Weight: 466 1.49/1.57 c Current CPU time: 1.55476 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 4654 9813 24406 | 5000 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.57 c core #467 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 24 Core Weight: 1 Total Weight: 467 1.49/1.57 c Current CPU time: 1.55976 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 4665 9814 24428 | 5000 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #468 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 26 Core Weight: 1 Total Weight: 468 1.49/1.58 c Current CPU time: 1.56476 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 4675 9815 24448 | 5000 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #469 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 21 Core Weight: 1 Total Weight: 469 1.49/1.58 c Current CPU time: 1.57076 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 4689 9816 24476 | 5000 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.59 c core #470 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 31 Core Weight: 1 Total Weight: 470 1.49/1.59 c Current CPU time: 1.57576 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 4705 9817 24508 | 5000 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #471 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 29 Core Weight: 1 Total Weight: 471 1.49/1.59 c Current CPU time: 1.58176 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 4722 9818 24542 | 5000 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.59/1.60 c core #472 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 29 Core Weight: 1 Total Weight: 472 1.59/1.60 c Current CPU time: 1.58676 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 4738 9819 24574 | 5000 0 -nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c core #473 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 31 Core Weight: 1 Total Weight: 473 1.59/1.60 c Current CPU time: 1.59276 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 4750 9820 24598 | 5000 0 -nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c core #474 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 42 Core Weight: 1 Total Weight: 474 1.59/1.61 c Current CPU time: 1.59876 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 4774 9821 24646 | 5000 0 -nan | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.62 c core #475 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 22 Core Weight: 1 Total Weight: 475 1.59/1.62 c Current CPU time: 1.60476 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 4791 9822 24680 | 5000 0 -nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.62 c core #476 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 34 Core Weight: 1 Total Weight: 476 1.59/1.62 c Current CPU time: 1.61076 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 4812 9823 24722 | 5000 0 -nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.63 c core #477 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 34 Core Weight: 1 Total Weight: 477 1.59/1.63 c Current CPU time: 1.61675 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 4829 9826 24762 | 5000 0 -nan | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #478 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 42 Core Weight: 1 Total Weight: 478 1.59/1.64 c Current CPU time: 1.62375 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 4855 9827 24814 | 5000 0 -nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #479 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 31 Core Weight: 1 Total Weight: 479 1.59/1.64 c Current CPU time: 1.62975 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 4878 9828 24860 | 5000 0 -nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.65 c core #480 1.59/1.65 c 1.59/1.65 c 1.59/1.65 c Core size: 27 Core Weight: 1 Total Weight: 480 1.59/1.65 c Current CPU time: 1.63475 s 1.59/1.65 c 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 4890 9829 24884 | 5000 0 -nan | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.66 c core #481 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 34 Core Weight: 1 Total Weight: 481 1.59/1.66 c Current CPU time: 1.64175 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 4908 9830 24920 | 5000 0 -nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #482 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 36 Core Weight: 1 Total Weight: 482 1.59/1.66 c Current CPU time: 1.64875 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 4925 9831 24954 | 5000 0 -nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.67 c core #483 1.59/1.67 c 1.59/1.67 c 1.59/1.67 c Core size: 31 Core Weight: 1 Total Weight: 483 1.59/1.67 c Current CPU time: 1.65575 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 | 4941 9832 24986 | 5000 0 -nan | 0.000 % | 1.59/1.67 c =============================================================================== 1.59/1.68 c core #484 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 28 Core Weight: 1 Total Weight: 484 1.59/1.68 c Current CPU time: 1.66175 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 | 4951 9833 25006 | 5000 0 -nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c core #485 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 28 Core Weight: 1 Total Weight: 485 1.59/1.68 c Current CPU time: 1.66875 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 | 4963 9834 25030 | 5000 0 -nan | 0.000 % | 1.59/1.68 c | 101 | 4960 9834 25030 | 5500 101 7 | 0.462 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #486 1.59/1.69 c 1.59/1.69 c 1.59/1.69 c Core size: 43 Core Weight: 1 Total Weight: 486 1.59/1.69 c Current CPU time: 1.67674 s 1.59/1.69 c 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 4997 9835 25098 | 5000 0 -nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.69/1.70 c core #487 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 41 Core Weight: 1 Total Weight: 487 1.69/1.70 c Current CPU time: 1.68274 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 5022 9836 25148 | 5000 0 -nan | 0.000 % | 1.69/1.70 c | 102 | 5017 9836 25148 | 5500 102 6 | 0.575 % | 1.69/1.70 c =============================================================================== 1.69/1.71 c core #488 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 41 Core Weight: 1 Total Weight: 488 1.69/1.71 c Current CPU time: 1.68974 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 5053 9838 25213 | 5000 0 -nan | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c core #489 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 21 Core Weight: 1 Total Weight: 489 1.69/1.71 c Current CPU time: 1.69674 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 5069 9840 25247 | 5000 0 -nan | 0.000 % | 1.69/1.72 c =============================================================================== 1.69/1.72 c core #490 1.69/1.72 c 1.69/1.72 c 1.69/1.72 c Core size: 23 Core Weight: 1 Total Weight: 490 1.69/1.72 c Current CPU time: 1.70374 s 1.69/1.72 c 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 5086 9841 25281 | 5000 0 -nan | 0.000 % | 1.69/1.72 c | 100 | 5082 9841 25281 | 5500 100 7 | 0.588 % | 1.69/1.73 c | 250 | 5069 9841 25281 | 6050 250 10 | 0.842 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c core #491 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 33 Core Weight: 1 Total Weight: 491 1.69/1.73 c Current CPU time: 1.71774 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 5113 9842 25335 | 5000 0 -nan | 0.000 % | 1.69/1.74 c | 100 | 5102 9842 25335 | 5500 100 7 | 0.643 % | 1.69/1.74 c =============================================================================== 1.69/1.75 c core #492 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 188 Core Weight: 1 Total Weight: 492 1.69/1.75 c Current CPU time: 1.72974 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 5247 9844 25606 | 5000 0 -nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c core #493 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 29 Core Weight: 1 Total Weight: 493 1.69/1.75 c Current CPU time: 1.73673 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 5267 9845 25646 | 5000 0 -nan | 0.000 % | 1.69/1.76 c | 102 | 5249 9845 25646 | 5500 102 5 | 0.851 % | 1.69/1.76 c =============================================================================== 1.69/1.76 c core #494 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 25 Core Weight: 1 Total Weight: 494 1.69/1.76 c Current CPU time: 1.74373 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 5284 9846 25680 | 5000 0 -nan | 0.000 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c core #495 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 21 Core Weight: 1 Total Weight: 495 1.69/1.77 c Current CPU time: 1.75073 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 5298 9848 25710 | 5000 0 -nan | 0.000 % | 1.69/1.77 c | 100 | 5289 9848 25710 | 5500 100 5 | 0.640 % | 1.69/1.78 c =============================================================================== 1.69/1.78 c core #496 1.69/1.78 c 1.69/1.78 c 1.69/1.78 c Core size: 61 Core Weight: 1 Total Weight: 496 1.69/1.78 c Current CPU time: 1.76073 s 1.69/1.78 c 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 5348 9851 25814 | 5000 0 -nan | 0.000 % | 1.69/1.79 c | 100 | 5327 9851 25814 | 5500 100 5 | 0.801 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #497 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 64 Core Weight: 1 Total Weight: 497 1.69/1.79 c Current CPU time: 1.76873 s 1.69/1.79 c 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 5389 9852 25896 | 5000 0 -nan | 0.000 % | 1.69/1.79 c | 100 | 5385 9852 25896 | 5500 100 7 | 0.444 % | 1.79/1.80 c | 250 | 5357 9852 25896 | 6050 250 6 | 2.256 % | 1.79/1.81 c | 478 | 5267 9852 25896 | 6655 478 7 | 2.700 % | 1.79/1.81 c =============================================================================== 1.79/1.82 c core #498 1.79/1.82 c 1.79/1.82 c 1.79/1.82 c Core size: 199 Core Weight: 1 Total Weight: 498 1.79/1.82 c Current CPU time: 1.79473 s 1.79/1.82 c 1.79/1.82 c ============================[ Search Statistics ]============================== 1.79/1.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.82 c =============================================================================== 1.79/1.82 c | 0 | 5556 9858 26243 | 5000 0 -nan | 0.000 % | 1.79/1.82 c | 100 | 5554 9858 26243 | 5500 100 7 | 0.430 % | 1.79/1.82 c | 250 | 5551 9858 26243 | 6050 250 8 | 0.502 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c core #499 1.79/1.83 c 1.79/1.83 c 1.79/1.83 c Core size: 18 Core Weight: 1 Total Weight: 499 1.79/1.83 c Current CPU time: 1.80773 s 1.79/1.83 c 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 5572 9861 26280 | 5000 0 -nan | 0.000 % | 1.79/1.84 c | 101 | 5570 9861 26280 | 5500 101 14 | 0.393 % | 1.79/1.84 c | 251 | 5569 9861 26280 | 6050 251 14 | 0.429 % | 1.79/1.84 c | 477 | 5565 9861 26280 | 6655 477 12 | 0.501 % | 1.79/1.86 c | 816 | 5368 9861 26280 | 7320 816 11 | 4.006 % | 1.79/1.87 c | 1325 | 5359 9861 26280 | 8052 1325 12 | 4.202 % | 1.79/1.87 c =============================================================================== 1.79/1.88 c core #500 1.79/1.88 c 1.79/1.88 c 1.79/1.88 c Core size: 97 Core Weight: 1 Total Weight: 500 1.79/1.88 c Current CPU time: 1.85072 s 1.79/1.88 c 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 5664 9873 26492 | 5000 0 -nan | 0.000 % | 1.79/1.88 c | 101 | 5655 9873 26492 | 5500 101 7 | 0.510 % | 1.79/1.89 c | 251 | 5644 9873 26492 | 6050 251 8 | 0.827 % | 1.79/1.89 c | 477 | 5633 9873 26492 | 6655 477 9 | 0.897 % | 1.89/1.90 c | 814 | 5524 9873 26492 | 7320 814 9 | 5.911 % | 1.89/1.90 c =============================================================================== 1.89/1.91 c core #501 1.89/1.91 c 1.89/1.91 c 1.89/1.91 c Core size: 55 Core Weight: 1 Total Weight: 501 1.89/1.91 c Current CPU time: 1.87971 s 1.89/1.91 c 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 5704 9882 26593 | 5000 0 -nan | 0.000 % | 1.89/1.91 c | 100 | 5704 9882 26593 | 5500 100 20 | 0.350 % | 1.89/1.91 c | 255 | 5704 9882 26593 | 6050 255 17 | 0.349 % | 1.89/1.92 c | 482 | 5704 9882 26593 | 6655 482 19 | 0.349 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c core #502 1.89/1.93 c 1.89/1.93 c 1.89/1.93 c Core size: 60 Core Weight: 1 Total Weight: 502 1.89/1.93 c Current CPU time: 1.90171 s 1.89/1.93 c 1.89/1.93 c ============================[ Search Statistics ]============================== 1.89/1.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.93 c =============================================================================== 1.89/1.93 c | 0 | 5742 9886 26676 | 5000 0 -nan | 0.000 % | 1.89/1.94 c | 101 | 5740 9886 26676 | 5500 101 10 | 0.382 % | 1.89/1.94 c | 251 | 5729 9886 26676 | 6050 251 9 | 0.642 % | 1.89/1.95 c | 478 | 5678 9886 26676 | 6655 478 9 | 2.395 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c core #503 1.89/1.96 c 1.89/1.96 c 1.89/1.96 c Core size: 319 Core Weight: 1 Total Weight: 503 1.89/1.96 c Current CPU time: 1.93071 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 | 5967 9896 27151 | 5000 0 -nan | 0.000 % | 1.89/1.97 c | 103 | 5967 9896 27151 | 5500 103 16 | 0.334 % | 1.89/1.97 c | 256 | 5964 9896 27151 | 6050 256 12 | 0.401 % | 1.89/1.98 c | 481 | 5963 9896 27151 | 6655 481 11 | 0.401 % | 1.89/1.99 c | 819 | 5938 9896 27151 | 7320 819 11 | 1.637 % | 1.99/2.00 c | 1325 | 5801 9896 27151 | 8052 1325 12 | 3.123 % | 1.99/2.02 c =============================================================================== 1.99/2.03 c core #504 1.99/2.03 c 1.99/2.03 c 1.99/2.03 c Core size: 295 Core Weight: 1 Total Weight: 504 1.99/2.03 c Current CPU time: 1.9917 s 1.99/2.03 c 1.99/2.03 c ============================[ Search Statistics ]============================== 1.99/2.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.03 c =============================================================================== 1.99/2.03 c | 0 | 6209 9910 27668 | 5000 0 -nan | 0.000 % | 1.99/2.03 c | 102 | 6209 9910 27668 | 5500 102 19 | 0.321 % | 1.99/2.04 c | 254 | 6188 9910 27668 | 6050 254 12 | 1.589 % | 1.99/2.04 c | 480 | 6178 9910 27668 | 6655 480 13 | 1.589 % | 1.99/2.05 c | 818 | 6124 9910 27668 | 7320 818 20 | 1.686 % | 1.99/2.07 c | 1325 | 6124 9910 27668 | 8052 1325 22 | 1.686 % | 1.99/2.09 c | 2086 | 6124 9910 27668 | 8857 2086 23 | 1.686 % | 2.11/2.13 c | 3227 | 6107 9910 27668 | 9743 3227 21 | 2.023 % | 2.11/2.15 c =============================================================================== 2.11/2.16 c core #505 2.11/2.16 c 2.11/2.16 c 2.11/2.16 c Core size: 54 Core Weight: 1 Total Weight: 505 2.11/2.16 c Current CPU time: 2.11868 s 2.11/2.16 c 2.11/2.16 c ============================[ Search Statistics ]============================== 2.11/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.16 c =============================================================================== 2.11/2.16 c | 0 | 6245 9929 27787 | 5000 0 -nan | 0.000 % | 2.11/2.16 c | 101 | 6245 9929 27787 | 5500 101 19 | 0.319 % | 2.11/2.16 c | 254 | 6245 9929 27787 | 6050 254 17 | 0.319 % | 2.11/2.17 c | 479 | 6245 9929 27787 | 6655 479 21 | 0.319 % | 2.11/2.18 c | 818 | 6245 9929 27787 | 7320 818 18 | 0.319 % | 2.11/2.19 c | 1324 | 6243 9929 27787 | 8052 1324 20 | 0.351 % | 2.21/2.22 c | 2085 | 6239 9929 27787 | 8857 2085 21 | 0.415 % | 2.21/2.26 c | 3224 | 6233 9929 27787 | 9743 3224 23 | 0.511 % | 2.29/2.35 c | 4933 | 6224 9929 27787 | 10717 4933 31 | 0.654 % | 2.29/2.37 c =============================================================================== 2.29/2.38 c core #506 2.29/2.38 c 2.29/2.38 c 2.29/2.38 c Core size: 303 Core Weight: 1 Total Weight: 506 2.29/2.38 c Current CPU time: 2.33465 s 2.29/2.38 c 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 6525 9951 28403 | 5000 0 -nan | 0.000 % | 2.29/2.39 c | 102 | 6525 9951 28403 | 5500 102 19 | 0.306 % | 2.29/2.39 c | 252 | 6525 9951 28403 | 6050 252 19 | 0.306 % | 2.39/2.40 c | 477 | 6525 9951 28403 | 6655 477 18 | 0.306 % | 2.39/2.41 c | 814 | 6525 9951 28403 | 7320 814 22 | 0.306 % | 2.39/2.43 c | 1320 | 6525 9951 28403 | 8052 1320 22 | 0.306 % | 2.39/2.43 c =============================================================================== 2.39/2.44 c core #507 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 44 Core Weight: 1 Total Weight: 507 2.39/2.44 c Current CPU time: 2.38764 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 | 6559 9953 28473 | 5000 0 -nan | 0.000 % | 2.39/2.44 c | 100 | 6559 9953 28473 | 5500 100 15 | 0.304 % | 2.39/2.44 c | 251 | 6557 9953 28473 | 6050 251 16 | 0.334 % | 2.39/2.45 c | 476 | 6552 9953 28473 | 6655 476 16 | 0.456 % | 2.39/2.46 c | 813 | 6539 9953 28473 | 7320 813 16 | 0.608 % | 2.39/2.48 c | 1320 | 6539 9953 28473 | 8052 1320 22 | 0.608 % | 2.49/2.52 c | 2081 | 6526 9953 28473 | 8857 2081 25 | 1.778 % | 2.49/2.57 c | 3222 | 6460 9953 28473 | 9743 3222 30 | 1.809 % | 2.59/2.66 c | 4931 | 6450 9953 28473 | 10717 4931 34 | 1.976 % | 2.69/2.74 c =============================================================================== 2.69/2.76 c core #508 2.69/2.76 c 2.69/2.76 c 2.69/2.76 c Core size: 320 Core Weight: 1 Total Weight: 508 2.69/2.76 c Current CPU time: 2.70159 s 2.69/2.76 c 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 6844 9977 29102 | 5000 0 -nan | 0.000 % | 2.69/2.77 c | 100 | 6844 9977 29102 | 5500 100 13 | 0.292 % | 2.69/2.77 c | 252 | 6844 9977 29102 | 6050 252 17 | 0.291 % | 2.69/2.78 c | 477 | 6844 9977 29102 | 6655 477 21 | 0.291 % | 2.69/2.79 c | 814 | 6844 9977 29102 | 7320 814 18 | 0.291 % | 2.79/2.80 c | 1321 | 6844 9977 29102 | 8052 1321 20 | 0.291 % | 2.79/2.82 c =============================================================================== 2.79/2.83 c core #509 2.79/2.83 c 2.79/2.83 c 2.79/2.83 c Core size: 46 Core Weight: 1 Total Weight: 509 2.79/2.83 c Current CPU time: 2.76758 s 2.79/2.83 c 2.79/2.83 c ============================[ Search Statistics ]============================== 2.79/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.83 c =============================================================================== 2.79/2.83 c | 0 | 6885 9980 29189 | 5000 0 -nan | 0.000 % | 2.79/2.83 c | 100 | 6885 9980 29189 | 5500 100 23 | 0.290 % | 2.79/2.84 c | 252 | 6885 9980 29189 | 6050 252 23 | 0.290 % | 2.79/2.84 c | 477 | 6885 9980 29189 | 6655 477 18 | 0.290 % | 2.79/2.85 c | 814 | 6873 9980 29189 | 7320 814 16 | 0.492 % | 2.79/2.87 c | 1324 | 6871 9980 29189 | 8052 1324 20 | 0.492 % | 2.89/2.90 c | 2084 | 6862 9980 29189 | 8857 2084 26 | 0.623 % | 2.89/2.95 c | 3223 | 6853 9980 29189 | 9743 3223 34 | 0.840 % | 2.99/3.02 c | 4931 | 6839 9980 29189 | 10717 4931 35 | 0.956 % | 3.09/3.20 c | 7497 | 6831 9980 29189 | 11789 7497 43 | 1.072 % | 3.39/3.48 c | 11342 | 6783 9980 29189 | 12968 11342 46 | 1.781 % | 3.89/3.90 c =============================================================================== 3.89/3.93 c core #510 3.89/3.93 c 3.89/3.93 c 3.89/3.93 c Core size: 354 Core Weight: 1 Total Weight: 510 3.89/3.93 c Current CPU time: 3.84241 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 | 7183 10014 29864 | 5000 0 -nan | 0.000 % | 3.89/3.94 c | 103 | 7182 10014 29864 | 5500 103 12 | 0.305 % | 3.89/3.94 c | 253 | 7178 10014 29864 | 6050 253 15 | 0.361 % | 3.89/3.95 c | 479 | 7175 10014 29864 | 6655 479 14 | 0.389 % | 3.89/3.96 c | 817 | 7174 10014 29864 | 7320 817 18 | 0.417 % | 3.89/3.98 c | 1323 | 7168 10014 29864 | 8052 1323 17 | 0.500 % | 3.99/4.00 c | 2082 | 7147 10014 29864 | 8857 2082 18 | 0.778 % | 3.99/4.05 c | 3222 | 7136 10014 29864 | 9743 3222 22 | 1.027 % | 4.09/4.11 c | 4931 | 7119 10014 29864 | 10717 4931 30 | 1.791 % | 4.19/4.24 c | 7493 | 7067 10014 29864 | 11789 7493 40 | 1.902 % | 4.50/4.51 c | 11338 | 7064 10014 29864 | 12968 11338 54 | 1.958 % | 4.99/5.08 c | 17104 | 7039 10014 29864 | 14265 10469 73 | 2.291 % | 6.19/6.21 c | 25755 | 6998 10014 29864 | 15692 11779 84 | 4.040 % | 6.29/6.36 c =============================================================================== 6.39/6.44 c core #511 6.39/6.44 c 6.39/6.44 c 6.39/6.44 c Core size: 402 Core Weight: 1 Total Weight: 511 6.39/6.44 c Current CPU time: 6.31404 s 6.39/6.44 c 6.39/6.44 c ============================[ Search Statistics ]============================== 6.39/6.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.44 c =============================================================================== 6.39/6.44 c | 0 | 7509 10033 30553 | 5000 0 -nan | 0.000 % | 6.39/6.45 c | 101 | 7509 10033 30553 | 5500 101 22 | 0.266 % | 6.39/6.45 c | 252 | 7509 10033 30553 | 6050 252 23 | 0.266 % | 6.39/6.46 c | 477 | 7509 10033 30553 | 6655 477 27 | 0.266 % | 6.39/6.47 c | 814 | 7509 10033 30553 | 7320 814 24 | 0.266 % | 6.39/6.48 c | 1322 | 7509 10033 30553 | 8052 1322 30 | 0.266 % | 6.39/6.52 c | 2082 | 7509 10033 30553 | 8857 2082 36 | 0.266 % | 6.51/6.57 c | 3225 | 7509 10033 30553 | 9743 3225 47 | 0.266 % | 6.61/6.69 c | 4933 | 7509 10033 30553 | 10717 4933 55 | 0.266 % | 6.69/6.79 c | 7495 | 7509 10033 30553 | 11789 7495 51 | 0.266 % | 6.99/7.07 c | 11341 | 7507 10033 30553 | 12968 11341 68 | 0.292 % | 7.39/7.42 c | 17107 | 7507 10033 30553 | 14265 10371 60 | 0.292 % | 7.99/8.06 c | 25757 | 7505 10033 30553 | 15692 11434 50 | 0.319 % | 9.39/9.41 c | 38731 | 7503 10033 30553 | 17261 16066 84 | 0.345 % | 12.29/12.31 c | 58192 | 7503 10033 30553 | 18987 17703 69 | 0.345 % | 17.09/17.14 c | 87385 | 7503 10033 30553 | 20886 17480 65 | 0.345 % | 20.49/20.58 c | 131174 | 7499 10033 30553 | 22974 17858 49 | 0.399 % | 27.41/27.42 c =============================================================================== 27.69/27.77 c core #512 27.69/27.77 c 27.69/27.77 c 27.69/27.77 c Core size: 431 Core Weight: 1 Total Weight: 512 27.69/27.77 c Current CPU time: 27.3838 s 27.69/27.77 c 27.69/27.77 c ============================[ Search Statistics ]============================== 27.69/27.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.69/27.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.69/27.77 c =============================================================================== 27.69/27.77 c | 0 | 7888 10080 31405 | 5000 0 -nan | 0.000 % | 27.69/27.78 c | 105 | 7888 10080 31405 | 5500 105 22 | 0.253 % | 27.69/27.78 c | 259 | 7888 10080 31405 | 6050 259 25 | 0.253 % | 27.69/27.79 c | 484 | 7888 10080 31405 | 6655 484 27 | 0.253 % | 27.79/27.80 c | 822 | 7888 10080 31405 | 7320 822 28 | 0.253 % | 27.79/27.82 c | 1328 | 7888 10080 31405 | 8052 1328 37 | 0.253 % | 27.79/27.85 c | 2087 | 7888 10080 31405 | 8857 2087 36 | 0.253 % | 27.89/27.91 c | 3226 | 7888 10080 31405 | 9743 3226 48 | 0.253 % | 27.99/28.01 c | 4939 | 7888 10080 31405 | 10717 4939 58 | 0.253 % | 28.09/28.15 c | 7503 | 7888 10080 31405 | 11789 7503 54 | 0.253 % | 28.39/28.41 c | 11348 | 7888 10080 31405 | 12968 11348 54 | 0.253 % | 28.79/28.87 c | 17114 | 7888 10080 31405 | 14265 9844 83 | 0.253 % | 29.71/29.72 c | 25766 | 7888 10080 31405 | 15692 11139 57 | 0.253 % | 30.99/31.08 c | 38740 | 7888 10080 31405 | 17261 15485 115 | 0.253 % | 32.69/32.73 c | 58202 | 7886 10080 31405 | 18987 17066 65 | 0.278 % | 35.89/35.98 c | 87394 | 7886 10080 31405 | 20886 16083 63 | 0.278 % | 41.49/41.58 c | 131186 | 7880 10080 31405 | 22974 14476 117 | 0.354 % | 55.09/55.18 c | 196871 | 7878 10080 31405 | 25272 19089 94 | 0.379 % | 67.89/67.99 c | 295397 | 7866 10080 31405 | 27799 18730 101 | 0.531 % | 88.40/88.45 c | 443188 | 7857 10080 31405 | 30579 13363 66 | 0.645 % | 137.19/137.20 c | 664872 | 7839 10080 31405 | 33637 27111 64 | 0.873 % | 213.50/213.51 c | 997398 | 7836 10080 31405 | 37001 26856 79 | 0.923 % | 333.79/333.83 c | 1496186 | 7831 10080 31405 | 40701 18256 61 | 0.974 % | 384.60/384.63 c =============================================================================== 387.49/387.56 c core #513 387.49/387.56 c 387.49/387.56 c 387.49/387.56 c Core size: 429 Core Weight: 1 Total Weight: 513 387.49/387.56 c Current CPU time: 384.79 s 387.49/387.56 c 387.49/387.56 c ============================[ Search Statistics ]============================== 387.49/387.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 387.49/387.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 387.49/387.56 c =============================================================================== 387.49/387.56 c | 0 | 8257 10158 32299 | 5000 0 -nan | 0.000 % | 387.49/387.56 c | 100 | 8257 10158 32299 | 5500 100 27 | 0.242 % | 387.49/387.57 c | 251 | 8257 10158 32299 | 6050 251 26 | 0.242 % | 387.49/387.58 c | 477 | 8257 10158 32299 | 6655 477 38 | 0.242 % | 387.49/387.59 c | 815 | 8257 10158 32299 | 7320 815 35 | 0.242 % | 387.60/387.61 c | 1322 | 8257 10158 32299 | 8052 1322 34 | 0.242 % | 387.60/387.65 c | 2081 | 8257 10158 32299 | 8857 2081 49 | 0.242 % | 387.69/387.73 c | 3221 | 8257 10158 32299 | 9743 3221 55 | 0.242 % | 387.69/387.79 c | 4929 | 8257 10158 32299 | 10717 4929 48 | 0.242 % | 387.89/387.98 c | 7493 | 8257 10158 32299 | 11789 7493 51 | 0.242 % | 388.21/388.22 c | 11339 | 8257 10158 32299 | 12968 11339 57 | 0.242 % | 388.70/388.70 c | 17109 | 8257 10158 32299 | 14265 10415 58 | 0.242 % | 389.79/389.85 c | 25758 | 8257 10158 32299 | 15692 11626 64 | 0.242 % | 392.00/392.02 c | 38733 | 8257 10158 32299 | 17261 8446 65 | 0.242 % | 394.39/394.41 c | 58195 | 8257 10158 32299 | 18987 18740 159 | 0.242 % | 399.89/399.95 c | 87389 | 8257 10158 32299 | 20886 18021 89 | 0.242 % | 409.79/409.88 c | 131178 | 8257 10158 32299 | 22974 18083 87 | 0.242 % | 417.59/417.67 c | 196862 | 8256 10158 32299 | 25272 19754 82 | 0.254 % | 434.30/434.40 c | 295392 | 8256 10158 32299 | 27799 22195 101 | 0.254 % | 473.89/473.91 c | 443182 | 8256 10158 32299 | 30579 25348 213 | 0.254 % | 530.22/530.26 c | 664870 | 8256 10158 32299 | 33637 25782 179 | 0.254 % | 606.69/606.70 c | 997398 | 8256 10158 32299 | 37001 15190 94 | 0.254 % | 757.20/757.26 c | 1496190 | 8256 10158 32299 | 40701 18878 132 | 0.254 % | 975.11/975.19 c | 2244373 | 8254 10158 32299 | 44771 31473 203 | 0.278 % | 1286.40/1286.41 c | 3366647 | 8252 10158 32299 | 49248 41711 196 | 0.302 % |
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-3460938-1307082245/watcher-3460938-1307082245 -o /tmp/evaluation-result-3460938-1307082245/solver-3460938-1307082245 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460938-1307082245.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 1.19 1.56 2/555 30523 /proc/meminfo: memFree=28794596/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=5188 CPUtime=0.01 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 1118 0 0 0 1 0 0 0 23 0 1 0 898455199 5312512 1020 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 1297 1020 175 372 0 922 0 [startup+0.0908731 s] /proc/loadavg: 1.01 1.19 1.56 2/555 30523 /proc/meminfo: memFree=28794596/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=5252 CPUtime=0.08 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 1157 0 0 0 8 0 0 0 23 0 1 0 898455199 5378048 1059 33554432000 4194304 5714214 140736633077488 18446744073709551615 4336746 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 1313 1059 175 372 0 938 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5252 [startup+0.100868 s] /proc/loadavg: 1.01 1.19 1.56 2/555 30523 /proc/meminfo: memFree=28794596/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=5252 CPUtime=0.09 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 1157 0 0 0 9 0 0 0 23 0 1 0 898455199 5378048 1059 33554432000 4194304 5714214 140736633077488 18446744073709551615 4337003 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 1313 1059 175 372 0 938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5252 [startup+0.300836 s] /proc/loadavg: 1.01 1.19 1.56 2/555 30523 /proc/meminfo: memFree=28794596/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=5884 CPUtime=0.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 1389 0 0 0 29 0 0 0 25 0 1 0 898455199 6025216 1188 33554432000 4194304 5714214 140736633077488 18446744073709551615 4967681 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 1471 1188 175 372 0 1096 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5884 [startup+0.700768 s] /proc/loadavg: 1.01 1.19 1.56 2/555 30523 /proc/meminfo: memFree=28794596/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=7584 CPUtime=0.69 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 2777 0 0 0 69 0 0 0 25 0 1 0 898455199 7766016 1614 33554432000 4194304 5714214 140736633077488 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 1896 1614 175 372 0 1521 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7584 [startup+1.50066 s] /proc/loadavg: 1.09 1.20 1.56 3/559 30527 /proc/meminfo: memFree=28778996/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=11292 CPUtime=1.49 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 5562 0 0 0 149 0 0 0 18 0 1 0 898455199 11563008 2532 33554432000 4194304 5714214 140736633077488 18446744073709551615 4977551 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 2823 2532 179 372 0 2448 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11292 [startup+3.10034 s] /proc/loadavg: 1.09 1.20 1.56 3/559 30527 /proc/meminfo: memFree=28765852/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=15680 CPUtime=3.09 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 7679 0 0 0 303 6 0 0 18 0 1 0 898455199 16056320 3606 33554432000 4194304 5714214 140736633077488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 3920 3606 180 372 0 3545 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15680 [startup+6.30084 s] /proc/loadavg: 1.09 1.20 1.56 3/559 30527 /proc/meminfo: memFree=28739096/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=21464 CPUtime=6.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 9161 0 0 0 618 11 0 0 22 0 1 0 898455199 21979136 5088 33554432000 4194304 5714214 140736633077488 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 5366 5088 180 372 0 4991 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21464 [startup+12.7008 s] /proc/loadavg: 1.23 1.23 1.57 3/559 30527 /proc/meminfo: memFree=28721796/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=28972 CPUtime=12.69 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 10990 0 0 0 1253 16 0 0 25 0 1 0 898455199 29667328 6917 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 7243 6917 180 372 0 6868 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28972 [startup+25.5006 s] /proc/loadavg: 1.34 1.25 1.57 3/559 30529 /proc/meminfo: memFree=28698616/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=48304 CPUtime=25.49 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 15728 0 0 0 2521 28 0 0 25 0 1 0 898455199 49463296 11655 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 12076 11655 180 372 0 11701 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48304 [startup+51.1004 s] /proc/loadavg: 1.60 1.32 1.58 3/559 30529 /proc/meminfo: memFree=28682528/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=55836 CPUtime=51.09 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 17753 0 0 0 5064 45 0 0 25 0 1 0 898455199 57176064 13680 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 13959 13680 180 372 0 13584 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 55836 [startup+102.322 s] /proc/loadavg: 1.83 1.43 1.60 3/559 30531 /proc/meminfo: memFree=28597080/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=122892 CPUtime=102.32 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 34216 0 0 0 10153 79 0 0 25 0 1 0 898455199 125841408 30143 33554432000 4194304 5714214 140736633077488 18446744073709551615 4329470 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 30723 30143 180 372 0 30348 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 122892 [startup+162.301 s] /proc/loadavg: 1.93 1.53 1.63 4/559 30531 /proc/meminfo: memFree=28519432/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=166108 CPUtime=162.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 44857 0 0 0 16127 102 0 0 25 0 1 0 898455199 170094592 40784 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 41527 40784 180 372 0 41152 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 166108 [startup+222.301 s] /proc/loadavg: 1.97 1.61 1.65 3/559 30533 /proc/meminfo: memFree=28450956/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=213716 CPUtime=222.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 56588 0 0 0 22097 132 0 0 25 0 1 0 898455199 218845184 52515 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 53429 52515 180 372 0 53054 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 213716 [startup+282.301 s] /proc/loadavg: 1.99 1.68 1.66 4/559 30535 /proc/meminfo: memFree=28384716/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=252840 CPUtime=282.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 66200 0 0 0 28068 161 0 0 25 0 1 0 898455199 258908160 62127 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 63210 62127 180 372 0 62835 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 252840 [startup+342.301 s] /proc/loadavg: 1.99 1.74 1.68 3/559 30537 /proc/meminfo: memFree=28345880/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=284244 CPUtime=342.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 73927 0 0 0 34049 181 0 0 25 0 1 0 898455199 291065856 69854 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 71061 69854 180 372 0 70686 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 284244 [startup+402.301 s] /proc/loadavg: 1.99 1.78 1.70 3/559 30539 /proc/meminfo: memFree=28307404/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=322660 CPUtime=402.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 83579 0 0 0 40023 207 0 0 25 0 1 0 898455199 330403840 79422 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 80665 79422 180 372 0 80290 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 322660 [startup+462.301 s] /proc/loadavg: 2.24 1.88 1.74 3/559 30539 /proc/meminfo: memFree=28306132/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=322660 CPUtime=462.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 83949 0 0 0 45995 235 0 0 25 0 1 0 898455199 330403840 79792 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 80665 79792 180 372 0 80290 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 322660 [startup+522.301 s] /proc/loadavg: 2.20 1.93 1.76 4/559 30541 /proc/meminfo: memFree=28306352/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=322660 CPUtime=522.29 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 84059 0 0 0 51974 255 0 0 25 0 1 0 898455199 330403840 79902 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 80665 79902 180 372 0 80290 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 322660 [startup+582.301 s] /proc/loadavg: 2.07 1.94 1.77 3/559 30543 /proc/meminfo: memFree=28279784/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=322660 CPUtime=582.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 84182 0 0 0 57948 282 0 0 25 0 1 0 898455199 330403840 80025 33554432000 4194304 5714214 140736633077488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 80665 80025 180 372 0 80290 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 322660 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 1.97 1.82 3/559 30549 /proc/meminfo: memFree=28132948/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=357960 CPUtime=822.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 93305 0 0 0 81857 373 0 0 25 0 1 0 898455199 366551040 89148 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 89490 89148 180 372 0 89115 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 357960 [startup+882.301 s] /proc/loadavg: 2.00 1.97 1.82 3/559 30551 /proc/meminfo: memFree=28063480/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=401680 CPUtime=882.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 104116 0 0 0 87834 396 0 0 25 0 1 0 898455199 411320320 99959 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 100420 99959 180 372 0 100045 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 401680 [startup+942.301 s] /proc/loadavg: 2.00 1.97 1.83 3/559 30556 /proc/meminfo: memFree=28005224/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=431956 CPUtime=942.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 111628 0 0 0 93813 417 0 0 25 0 1 0 898455199 442322944 107471 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 107989 107471 180 372 0 107614 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 431956 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.84 3/559 30558 /proc/meminfo: memFree=27946416/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=465856 CPUtime=1002.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 120030 0 0 0 99785 445 0 0 25 0 1 0 898455199 477036544 115873 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 116464 115873 180 372 0 116089 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 465856 [startup+1062.3 s] /proc/loadavg: 2.30 2.05 1.87 3/559 30558 /proc/meminfo: memFree=27882020/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=504372 CPUtime=1062.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 129650 0 0 0 105761 469 0 0 25 0 1 0 898455199 516476928 125493 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 126093 125493 180 372 0 125718 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 504372 [startup+1122.3 s] /proc/loadavg: 2.26 2.07 1.89 3/559 30560 /proc/meminfo: memFree=27832008/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=530328 CPUtime=1122.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 136084 0 0 0 111740 490 0 0 25 0 1 0 898455199 543055872 131927 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 132582 131927 180 372 0 132207 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 530328 [startup+1182.3 s] /proc/loadavg: 2.09 2.05 1.89 3/559 30562 /proc/meminfo: memFree=27777040/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=561384 CPUtime=1182.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 143774 0 0 0 117719 511 0 0 25 0 1 0 898455199 574857216 139617 33554432000 4194304 5714214 140736633077488 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 140346 139617 180 372 0 139971 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 561384 [startup+1242.3 s] /proc/loadavg: 2.03 2.04 1.90 3/559 30564 /proc/meminfo: memFree=27724920/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=586040 CPUtime=1242.31 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 149917 0 0 0 123690 541 0 0 25 0 1 0 898455199 600104960 145760 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 146510 145760 180 372 0 146135 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 586040 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 1.90 3/559 30566 /proc/meminfo: memFree=27644412/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=643132 CPUtime=1302.32 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 164063 0 0 0 129665 567 0 0 25 0 1 0 898455199 658567168 159906 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 160783 159906 180 372 0 160408 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 643132 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 1.91 3/559 30566 /proc/meminfo: memFree=27598752/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=663920 CPUtime=1362.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 169184 0 0 0 135643 587 0 0 25 0 1 0 898455199 679854080 165027 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 165980 165027 180 372 0 165605 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 663920 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 1.91 3/559 30568 /proc/meminfo: memFree=27529772/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=709916 CPUtime=1422.33 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 180475 0 0 0 141621 612 0 0 25 0 1 0 898455199 726953984 176318 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 177479 176318 180 372 0 177104 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 709916 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 1.91 3/559 30570 /proc/meminfo: memFree=27481868/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=730700 CPUtime=1482.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 185620 0 0 0 147599 631 0 0 25 0 1 0 898455199 748236800 181463 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 182675 181463 180 372 0 182300 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 730700 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 1.91 3/559 30572 /proc/meminfo: memFree=27424056/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=765812 CPUtime=1542.31 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 194334 0 0 0 153581 650 0 0 25 0 1 0 898455199 784191488 190177 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 191453 190177 180 372 0 191078 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 765812 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/559 30574 /proc/meminfo: memFree=27395876/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=768620 CPUtime=1602.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 194968 0 0 0 159566 664 0 0 25 0 1 0 898455199 787066880 190811 33554432000 4194304 5714214 140736633077488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 192155 190811 180 372 0 191780 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 768620 [startup+1662.3 s] /proc/loadavg: 2.12 2.04 1.93 3/559 30574 /proc/meminfo: memFree=27348216/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=792512 CPUtime=1662.3 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 200806 0 0 0 165552 678 0 0 25 0 1 0 898455199 811532288 196649 33554432000 4194304 5714214 140736633077488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 198128 196649 180 372 0 197753 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 792512 [startup+1722.3 s] /proc/loadavg: 2.12 2.06 1.94 3/559 30576 /proc/meminfo: memFree=27298588/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=818484 CPUtime=1722.31 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 207045 0 0 0 171536 695 0 0 25 0 1 0 898455199 838127616 202888 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 204621 202888 180 372 0 204246 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 818484 [startup+1782.3 s] /proc/loadavg: 2.08 2.06 1.94 3/559 30578 /proc/meminfo: memFree=27231592/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=858808 CPUtime=1782.31 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 217069 0 0 0 177522 709 0 0 25 0 1 0 898455199 879419392 212912 33554432000 4194304 5714214 140736633077488 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 214702 212912 180 372 0 214327 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 858808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.06 1.94 3/559 30578 /proc/meminfo: memFree=27214096/32951124 swapFree=34426104/67111528 [pid=30522] ppid=30520 vsize=867324 CPUtime=1800.03 cores=0,2,4,6 /proc/30522/stat : 30522 (wbo1.6) R 30520 30522 27313 0 -1 4202496 219200 0 0 0 179290 713 0 0 25 0 1 0 898455199 888139776 215043 33554432000 4194304 5714214 140736633077488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/30522/statm: 216831 215043 180 372 0 216456 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 867324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.08 CPU user time (s): 1792.9 CPU system time (s): 7.17691 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 867324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.9 system time used= 7.17691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219200 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= 47 involuntary context switches= 2163 runsolver used 10.4974 second user time and 23.9934 second system time The end
Begin job on node118 at 2011-06-03 08:24:05 IDJOB=3460938 IDBENCH=2056 IDSOLVER=1953 FILE ID=node118/3460938-1307082245 RUNJOBID= node118-1307082245-30505 PBS_JOBID= 13497868 Free space on /tmp= 73752 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460938-1307082245/watcher-3460938-1307082245 -o /tmp/evaluation-result-3460938-1307082245/solver-3460938-1307082245 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460938-1307082245.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ccbbad891f18298525c42c78a48134ce RANDOM SEED=1990453400 node118.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.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28794900 kB Buffers: 308360 kB Cached: 1950856 kB SwapCached: 56168 kB Active: 832516 kB Inactive: 2987312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28794900 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 8548 kB Writeback: 0 kB AnonPages: 1518116 kB Mapped: 14384 kB Slab: 149488 kB PageTables: 115172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183776680 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= 73740 MiB End job on node118 at 2011-06-03 08:54:07