Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.06 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d1.opb |
MD5SUM | e79c956fa387b090702a2dffba5fa8e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 343 |
Best CPU time to get the best result obtained on this benchmark | 1797.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 343 |
Optimality of the best value was proved | NO |
Number of variables | 1060 |
Total number of constraints | 3737 |
Number of constraints which are clauses | 3737 |
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 | 1060 |
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 | 1060 |
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 | 1060 |
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.02 c wbo 1.6 beta - 20110321 0.00/0.02 c Parsing opb file format. File HOME/instance-3460939-1307083260.opb. 0.00/0.02 c Instance file HOME/instance-3460939-1307083260.opb 0.00/0.02 c File size is 102543 bytes. 0.00/0.02 c Highest Coefficient sum: 11 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.01 s | 0.00/0.02 c | Number Variables: 1060 | 0.00/0.02 c | Number Clauses: 3737 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1060 3737 8550 | 5000 0 -nan | 0.000 % | 0.02/0.07 c core #1 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 1 0.02/0.07 c Current CPU time: 0.009998 s 0.02/0.07 c 0.02/0.07 c core #2 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 2 0.02/0.07 c Current CPU time: 0.010998 s 0.02/0.07 c 0.02/0.07 c core #3 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 3 0.02/0.07 c Current CPU time: 0.011998 s 0.02/0.07 c 0.02/0.07 c core #4 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 4 0.02/0.07 c Current CPU time: 0.012998 s 0.02/0.07 c 0.02/0.07 c core #5 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 5 0.02/0.07 c Current CPU time: 0.013997 s 0.02/0.07 c 0.02/0.07 c core #6 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 6 0.02/0.07 c Current CPU time: 0.014997 s 0.02/0.07 c 0.02/0.07 c core #7 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 7 0.02/0.07 c Current CPU time: 0.015997 s 0.02/0.07 c 0.02/0.07 c core #8 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 8 0.02/0.07 c Current CPU time: 0.016997 s 0.02/0.07 c 0.02/0.07 c core #9 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 9 0.02/0.07 c Current CPU time: 0.017997 s 0.02/0.07 c 0.02/0.07 c core #10 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 10 0.02/0.07 c Current CPU time: 0.018997 s 0.02/0.07 c 0.02/0.07 c core #11 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 11 0.02/0.07 c Current CPU time: 0.019996 s 0.02/0.07 c 0.02/0.07 c core #12 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 12 0.02/0.07 c Current CPU time: 0.020996 s 0.02/0.07 c 0.02/0.07 c core #13 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 13 0.02/0.07 c Current CPU time: 0.021996 s 0.02/0.07 c 0.02/0.07 c core #14 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 14 0.02/0.07 c Current CPU time: 0.022996 s 0.02/0.07 c 0.02/0.07 c core #15 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 15 0.02/0.07 c Current CPU time: 0.023996 s 0.02/0.07 c 0.02/0.07 c core #16 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 16 0.02/0.07 c Current CPU time: 0.024996 s 0.02/0.07 c 0.02/0.07 c core #17 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 17 0.02/0.07 c Current CPU time: 0.026995 s 0.02/0.07 c 0.02/0.07 c core #18 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 18 0.02/0.07 c Current CPU time: 0.027995 s 0.02/0.07 c 0.02/0.07 c core #19 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 19 0.02/0.07 c Current CPU time: 0.028995 s 0.02/0.07 c 0.02/0.07 c core #20 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 20 0.02/0.07 c Current CPU time: 0.029995 s 0.02/0.07 c 0.02/0.07 c core #21 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 21 0.02/0.07 c Current CPU time: 0.030995 s 0.02/0.07 c 0.02/0.07 c core #22 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 22 0.02/0.07 c Current CPU time: 0.031995 s 0.02/0.07 c 0.02/0.07 c core #23 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 23 0.02/0.07 c Current CPU time: 0.032994 s 0.02/0.07 c 0.02/0.07 c core #24 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 24 0.02/0.07 c Current CPU time: 0.033994 s 0.02/0.07 c 0.02/0.07 c core #25 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 25 0.02/0.07 c Current CPU time: 0.034994 s 0.02/0.07 c 0.02/0.07 c core #26 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 26 0.02/0.07 c Current CPU time: 0.035994 s 0.02/0.07 c 0.02/0.07 c core #27 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 27 0.02/0.07 c Current CPU time: 0.036994 s 0.02/0.07 c 0.02/0.07 c core #28 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 28 0.02/0.07 c Current CPU time: 0.037994 s 0.02/0.07 c 0.02/0.07 c core #29 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 29 0.02/0.07 c Current CPU time: 0.038994 s 0.02/0.07 c 0.02/0.07 c core #30 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 30 0.02/0.07 c Current CPU time: 0.040993 s 0.02/0.07 c 0.02/0.07 c core #31 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 31 0.02/0.07 c Current CPU time: 0.041993 s 0.02/0.07 c 0.02/0.07 c core #32 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 32 0.02/0.07 c Current CPU time: 0.042993 s 0.02/0.07 c 0.02/0.07 c core #33 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 33 0.02/0.07 c Current CPU time: 0.043993 s 0.02/0.07 c 0.02/0.07 c core #34 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 34 0.02/0.07 c Current CPU time: 0.044993 s 0.02/0.07 c 0.02/0.07 c core #35 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 35 0.02/0.07 c Current CPU time: 0.045993 s 0.02/0.07 c 0.02/0.07 c core #36 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 36 0.02/0.07 c Current CPU time: 0.046992 s 0.02/0.07 c 0.02/0.07 c core #37 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 37 0.02/0.07 c Current CPU time: 0.047992 s 0.02/0.07 c 0.02/0.07 c core #38 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 38 0.02/0.07 c Current CPU time: 0.048992 s 0.02/0.07 c 0.02/0.07 c core #39 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 39 0.02/0.07 c Current CPU time: 0.049992 s 0.02/0.07 c 0.02/0.07 c core #40 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 40 0.02/0.07 c Current CPU time: 0.050992 s 0.02/0.07 c 0.02/0.07 c core #41 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 41 0.02/0.07 c Current CPU time: 0.052991 s 0.02/0.07 c 0.02/0.07 c core #42 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 42 0.02/0.07 c Current CPU time: 0.053991 s 0.02/0.07 c 0.02/0.07 c core #43 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 3 Core Weight: 1 Total Weight: 43 0.07/0.12 c Current CPU time: 0.054991 s 0.07/0.12 c 0.07/0.12 c core #44 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 44 0.07/0.12 c Current CPU time: 0.055991 s 0.07/0.12 c 0.07/0.12 c core #45 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 45 0.07/0.12 c Current CPU time: 0.056991 s 0.07/0.12 c 0.07/0.12 c core #46 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 46 0.07/0.12 c Current CPU time: 0.057991 s 0.07/0.12 c 0.07/0.12 c core #47 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 47 0.07/0.12 c Current CPU time: 0.058991 s 0.07/0.12 c 0.07/0.12 c core #48 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 48 0.07/0.12 c Current CPU time: 0.05999 s 0.07/0.12 c 0.07/0.12 c core #49 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 49 0.07/0.12 c Current CPU time: 0.06099 s 0.07/0.12 c 0.07/0.12 c core #50 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 50 0.07/0.12 c Current CPU time: 0.06199 s 0.07/0.12 c 0.07/0.12 c core #51 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 51 0.07/0.12 c Current CPU time: 0.06399 s 0.07/0.12 c 0.07/0.12 c core #52 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 52 0.07/0.12 c Current CPU time: 0.06499 s 0.07/0.12 c 0.07/0.12 c core #53 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 53 0.07/0.12 c Current CPU time: 0.065989 s 0.07/0.12 c 0.07/0.12 c core #54 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 54 0.07/0.12 c Current CPU time: 0.066989 s 0.07/0.12 c 0.07/0.12 c core #55 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 55 0.07/0.12 c Current CPU time: 0.067989 s 0.07/0.12 c 0.07/0.12 c core #56 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 56 0.07/0.12 c Current CPU time: 0.068989 s 0.07/0.12 c 0.07/0.12 c core #57 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 57 0.07/0.12 c Current CPU time: 0.069989 s 0.07/0.12 c 0.07/0.12 c core #58 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 58 0.07/0.12 c Current CPU time: 0.070989 s 0.07/0.12 c 0.07/0.12 c core #59 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 59 0.07/0.12 c Current CPU time: 0.071989 s 0.07/0.12 c 0.07/0.12 c core #60 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 60 0.07/0.12 c Current CPU time: 0.073988 s 0.07/0.12 c 0.07/0.12 c core #61 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 61 0.07/0.12 c Current CPU time: 0.074988 s 0.07/0.12 c 0.07/0.12 c core #62 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 62 0.07/0.12 c Current CPU time: 0.075988 s 0.07/0.12 c 0.07/0.12 c core #63 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 63 0.07/0.12 c Current CPU time: 0.076988 s 0.07/0.12 c 0.07/0.12 c core #64 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 64 0.07/0.12 c Current CPU time: 0.077988 s 0.07/0.12 c 0.07/0.12 c core #65 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 65 0.07/0.12 c Current CPU time: 0.078987 s 0.07/0.12 c 0.07/0.12 c core #66 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 66 0.07/0.12 c Current CPU time: 0.079987 s 0.07/0.12 c 0.07/0.12 c core #67 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 67 0.07/0.12 c Current CPU time: 0.081987 s 0.07/0.12 c 0.07/0.12 c core #68 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 68 0.07/0.12 c Current CPU time: 0.082987 s 0.07/0.12 c 0.07/0.12 c core #69 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 69 0.07/0.12 c Current CPU time: 0.083987 s 0.07/0.12 c 0.07/0.12 c core #70 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 70 0.07/0.12 c Current CPU time: 0.084987 s 0.07/0.12 c 0.07/0.12 c core #71 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 71 0.07/0.12 c Current CPU time: 0.085986 s 0.07/0.12 c 0.07/0.12 c core #72 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 72 0.07/0.12 c Current CPU time: 0.086986 s 0.07/0.12 c 0.07/0.12 c core #73 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 73 0.07/0.12 c Current CPU time: 0.087986 s 0.07/0.12 c 0.07/0.12 c core #74 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 74 0.07/0.12 c Current CPU time: 0.089986 s 0.07/0.12 c 0.07/0.12 c core #75 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 75 0.07/0.12 c Current CPU time: 0.090986 s 0.07/0.12 c 0.07/0.12 c core #76 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 76 0.07/0.12 c Current CPU time: 0.091986 s 0.07/0.12 c 0.07/0.12 c core #77 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 77 0.07/0.12 c Current CPU time: 0.092985 s 0.07/0.12 c 0.07/0.12 c core #78 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 78 0.07/0.12 c Current CPU time: 0.093985 s 0.07/0.12 c 0.07/0.12 c core #79 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 79 0.07/0.12 c Current CPU time: 0.094985 s 0.07/0.12 c 0.07/0.12 c core #80 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 3 Core Weight: 1 Total Weight: 80 0.07/0.12 c Current CPU time: 0.096985 s 0.07/0.12 c 0.07/0.12 c core #81 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 9 Core Weight: 1 Total Weight: 81 0.07/0.12 c Current CPU time: 0.097985 s 0.07/0.12 c 0.07/0.12 c core #82 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 9 Core Weight: 1 Total Weight: 82 0.07/0.12 c Current CPU time: 0.098984 s 0.07/0.12 c 0.07/0.12 c core #83 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 9 Core Weight: 1 Total Weight: 83 0.07/0.12 c Current CPU time: 0.099984 s 0.07/0.12 c 0.07/0.12 c core #84 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 9 Core Weight: 1 Total Weight: 84 0.07/0.12 c Current CPU time: 0.100984 s 0.07/0.12 c 0.07/0.12 c core #85 0.07/0.12 c 0.07/0.12 c 0.07/0.12 c Core size: 9 Core Weight: 1 Total Weight: 85 0.07/0.12 c Current CPU time: 0.101984 s 0.07/0.17 c 0.07/0.17 c core #86 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 9 Core Weight: 1 Total Weight: 86 0.07/0.17 c Current CPU time: 0.103984 s 0.07/0.17 c 0.07/0.17 c core #87 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 9 Core Weight: 1 Total Weight: 87 0.07/0.17 c Current CPU time: 0.104984 s 0.07/0.17 c 0.07/0.17 c core #88 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 9 Core Weight: 1 Total Weight: 88 0.07/0.17 c Current CPU time: 0.105983 s 0.07/0.17 c 0.07/0.17 c core #89 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 9 Core Weight: 1 Total Weight: 89 0.07/0.17 c Current CPU time: 0.106983 s 0.07/0.17 c 0.07/0.17 c core #90 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 9 Core Weight: 1 Total Weight: 90 0.07/0.17 c Current CPU time: 0.108983 s 0.07/0.17 c 0.07/0.17 c core #91 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 91 0.07/0.17 c Current CPU time: 0.109983 s 0.07/0.17 c 0.07/0.17 c core #92 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 92 0.07/0.17 c Current CPU time: 0.110983 s 0.07/0.17 c 0.07/0.17 c core #93 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 93 0.07/0.17 c Current CPU time: 0.111982 s 0.07/0.17 c 0.07/0.17 c core #94 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 94 0.07/0.17 c Current CPU time: 0.112982 s 0.07/0.17 c 0.07/0.17 c core #95 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 95 0.07/0.17 c Current CPU time: 0.114982 s 0.07/0.17 c 0.07/0.17 c core #96 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 96 0.07/0.17 c Current CPU time: 0.115982 s 0.07/0.17 c 0.07/0.17 c core #97 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 97 0.07/0.17 c Current CPU time: 0.116982 s 0.07/0.17 c 0.07/0.17 c core #98 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 98 0.07/0.17 c Current CPU time: 0.118981 s 0.07/0.17 c 0.07/0.17 c core #99 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 99 0.07/0.17 c Current CPU time: 0.119981 s 0.07/0.17 c 0.07/0.17 c core #100 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 100 0.07/0.17 c Current CPU time: 0.120981 s 0.07/0.17 c 0.07/0.17 c core #101 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 101 0.07/0.17 c Current CPU time: 0.121981 s 0.07/0.17 c 0.07/0.17 c core #102 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 102 0.07/0.17 c Current CPU time: 0.123981 s 0.07/0.17 c 0.07/0.17 c core #103 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 103 0.07/0.17 c Current CPU time: 0.124981 s 0.07/0.17 c 0.07/0.17 c core #104 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 104 0.07/0.17 c Current CPU time: 0.12598 s 0.07/0.17 c 0.07/0.17 c core #105 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 105 0.07/0.17 c Current CPU time: 0.12798 s 0.07/0.17 c 0.07/0.17 c core #106 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 106 0.07/0.17 c Current CPU time: 0.12898 s 0.07/0.17 c 0.07/0.17 c core #107 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 107 0.07/0.17 c Current CPU time: 0.12998 s 0.07/0.17 c 0.07/0.17 c core #108 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 108 0.07/0.17 c Current CPU time: 0.131979 s 0.07/0.17 c 0.07/0.17 c core #109 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 109 0.07/0.17 c Current CPU time: 0.132979 s 0.07/0.17 c 0.07/0.17 c core #110 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 110 0.07/0.17 c Current CPU time: 0.133979 s 0.07/0.17 c 0.07/0.17 c core #111 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 111 0.07/0.17 c Current CPU time: 0.135979 s 0.07/0.17 c 0.07/0.17 c core #112 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 112 0.07/0.17 c Current CPU time: 0.136979 s 0.07/0.17 c 0.07/0.17 c core #113 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 113 0.07/0.17 c Current CPU time: 0.137979 s 0.07/0.17 c 0.07/0.17 c core #114 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 114 0.07/0.17 c Current CPU time: 0.139978 s 0.07/0.17 c 0.07/0.17 c core #115 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 115 0.07/0.17 c Current CPU time: 0.140978 s 0.07/0.17 c 0.07/0.17 c core #116 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 116 0.07/0.17 c Current CPU time: 0.141978 s 0.07/0.17 c 0.07/0.17 c core #117 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 117 0.07/0.17 c Current CPU time: 0.143978 s 0.07/0.17 c 0.07/0.17 c core #118 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 118 0.07/0.17 c Current CPU time: 0.144977 s 0.07/0.17 c 0.07/0.17 c core #119 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 119 0.07/0.17 c Current CPU time: 0.145977 s 0.07/0.17 c 0.07/0.17 c core #120 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 120 0.07/0.17 c Current CPU time: 0.147977 s 0.07/0.17 c 0.07/0.17 c core #121 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 121 0.07/0.17 c Current CPU time: 0.148977 s 0.07/0.17 c 0.07/0.17 c core #122 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 122 0.07/0.17 c Current CPU time: 0.150977 s 0.07/0.17 c 0.07/0.17 c core #123 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 123 0.07/0.17 c Current CPU time: 0.151976 s 0.07/0.17 c 0.07/0.17 c core #124 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 124 0.07/0.17 c Current CPU time: 0.152976 s 0.07/0.17 c 0.07/0.17 c core #125 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 125 0.07/0.17 c Current CPU time: 0.154976 s 0.07/0.17 c 0.07/0.17 c core #126 0.07/0.17 c 0.07/0.17 c 0.07/0.17 c Core size: 11 Core Weight: 1 Total Weight: 126 0.07/0.17 c Current CPU time: 0.155976 s 0.07/0.17 c 0.07/0.17 c core #127 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 11 Core Weight: 1 Total Weight: 127 0.17/0.24 c Current CPU time: 0.157975 s 0.17/0.24 c 0.17/0.24 c core #128 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 12 Core Weight: 1 Total Weight: 128 0.17/0.24 c Current CPU time: 0.158975 s 0.17/0.24 c 0.17/0.24 c core #129 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 129 0.17/0.24 c Current CPU time: 0.159975 s 0.17/0.24 c 0.17/0.24 c core #130 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 130 0.17/0.24 c Current CPU time: 0.161975 s 0.17/0.24 c 0.17/0.24 c core #131 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 131 0.17/0.24 c Current CPU time: 0.162975 s 0.17/0.24 c 0.17/0.24 c core #132 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 132 0.17/0.24 c Current CPU time: 0.164974 s 0.17/0.24 c 0.17/0.24 c core #133 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 133 0.17/0.24 c Current CPU time: 0.165974 s 0.17/0.24 c 0.17/0.24 c core #134 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 134 0.17/0.24 c Current CPU time: 0.167974 s 0.17/0.24 c 0.17/0.24 c core #135 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 135 0.17/0.24 c Current CPU time: 0.168974 s 0.17/0.24 c 0.17/0.24 c core #136 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 136 0.17/0.24 c Current CPU time: 0.170974 s 0.17/0.24 c 0.17/0.24 c core #137 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 12 Core Weight: 1 Total Weight: 137 0.17/0.24 c Current CPU time: 0.171973 s 0.17/0.24 c 0.17/0.24 c core #138 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 138 0.17/0.24 c Current CPU time: 0.173973 s 0.17/0.24 c 0.17/0.24 c core #139 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 139 0.17/0.24 c Current CPU time: 0.174973 s 0.17/0.24 c 0.17/0.24 c core #140 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 140 0.17/0.24 c Current CPU time: 0.176973 s 0.17/0.24 c 0.17/0.24 c core #141 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 141 0.17/0.24 c Current CPU time: 0.177972 s 0.17/0.24 c 0.17/0.24 c core #142 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 142 0.17/0.24 c Current CPU time: 0.179972 s 0.17/0.24 c 0.17/0.24 c core #143 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 143 0.17/0.24 c Current CPU time: 0.180972 s 0.17/0.24 c 0.17/0.24 c core #144 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 144 0.17/0.24 c Current CPU time: 0.182972 s 0.17/0.24 c 0.17/0.24 c core #145 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 145 0.17/0.24 c Current CPU time: 0.184971 s 0.17/0.24 c 0.17/0.24 c core #146 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 12 Core Weight: 1 Total Weight: 146 0.17/0.24 c Current CPU time: 0.185971 s 0.17/0.24 c 0.17/0.24 c core #147 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 147 0.17/0.24 c Current CPU time: 0.187971 s 0.17/0.24 c 0.17/0.24 c core #148 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 148 0.17/0.24 c Current CPU time: 0.188971 s 0.17/0.24 c 0.17/0.24 c core #149 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 149 0.17/0.24 c Current CPU time: 0.19097 s 0.17/0.24 c 0.17/0.24 c core #150 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 150 0.17/0.24 c Current CPU time: 0.19197 s 0.17/0.24 c 0.17/0.24 c core #151 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 151 0.17/0.24 c Current CPU time: 0.19397 s 0.17/0.24 c 0.17/0.24 c core #152 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 152 0.17/0.24 c Current CPU time: 0.19597 s 0.17/0.24 c 0.17/0.24 c core #153 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 153 0.17/0.24 c Current CPU time: 0.19697 s 0.17/0.24 c 0.17/0.24 c core #154 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 154 0.17/0.24 c Current CPU time: 0.198969 s 0.17/0.24 c 0.17/0.24 c core #155 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 12 Core Weight: 1 Total Weight: 155 0.17/0.24 c Current CPU time: 0.199969 s 0.17/0.24 c 0.17/0.24 c core #156 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 156 0.17/0.24 c Current CPU time: 0.201969 s 0.17/0.24 c 0.17/0.24 c core #157 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 157 0.17/0.24 c Current CPU time: 0.203968 s 0.17/0.24 c 0.17/0.24 c core #158 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 158 0.17/0.24 c Current CPU time: 0.204968 s 0.17/0.24 c 0.17/0.24 c core #159 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 159 0.17/0.24 c Current CPU time: 0.206968 s 0.17/0.24 c 0.17/0.24 c core #160 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 160 0.17/0.24 c Current CPU time: 0.208968 s 0.17/0.24 c 0.17/0.24 c core #161 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 161 0.17/0.24 c Current CPU time: 0.209968 s 0.17/0.24 c 0.17/0.24 c core #162 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 162 0.17/0.24 c Current CPU time: 0.211967 s 0.17/0.24 c 0.17/0.24 c core #163 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 163 0.17/0.24 c Current CPU time: 0.213967 s 0.17/0.24 c 0.17/0.24 c core #164 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 12 Core Weight: 1 Total Weight: 164 0.17/0.24 c Current CPU time: 0.215967 s 0.17/0.24 c 0.17/0.24 c core #165 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 22 Core Weight: 1 Total Weight: 165 0.17/0.24 c Current CPU time: 0.216967 s 0.17/0.24 c 0.17/0.24 c core #166 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 20 Core Weight: 1 Total Weight: 166 0.17/0.24 c Current CPU time: 0.218966 s 0.17/0.24 c 0.17/0.24 c core #167 0.17/0.24 c 0.17/0.24 c 0.17/0.24 c Core size: 21 Core Weight: 1 Total Weight: 167 0.17/0.24 c Current CPU time: 0.220966 s 0.17/0.24 c 0.17/0.24 c core #168 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 168 0.27/0.31 c Current CPU time: 0.221966 s 0.27/0.31 c 0.27/0.31 c core #169 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 169 0.27/0.31 c Current CPU time: 0.223965 s 0.27/0.31 c 0.27/0.31 c core #170 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 170 0.27/0.31 c Current CPU time: 0.225965 s 0.27/0.31 c 0.27/0.31 c core #171 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 171 0.27/0.31 c Current CPU time: 0.227965 s 0.27/0.31 c 0.27/0.31 c core #172 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 172 0.27/0.31 c Current CPU time: 0.228965 s 0.27/0.31 c 0.27/0.31 c core #173 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 12 Core Weight: 1 Total Weight: 173 0.27/0.31 c Current CPU time: 0.230964 s 0.27/0.31 c 0.27/0.31 c core #174 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 174 0.27/0.31 c Current CPU time: 0.232964 s 0.27/0.31 c 0.27/0.31 c core #175 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 175 0.27/0.31 c Current CPU time: 0.234964 s 0.27/0.31 c 0.27/0.31 c core #176 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 176 0.27/0.31 c Current CPU time: 0.235964 s 0.27/0.31 c 0.27/0.31 c core #177 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 177 0.27/0.31 c Current CPU time: 0.237963 s 0.27/0.31 c 0.27/0.31 c core #178 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 178 0.27/0.31 c Current CPU time: 0.239963 s 0.27/0.31 c 0.27/0.31 c core #179 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 179 0.27/0.31 c Current CPU time: 0.241963 s 0.27/0.31 c 0.27/0.31 c core #180 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 180 0.27/0.31 c Current CPU time: 0.243962 s 0.27/0.31 c 0.27/0.31 c core #181 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 181 0.27/0.31 c Current CPU time: 0.244962 s 0.27/0.31 c 0.27/0.31 c core #182 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 12 Core Weight: 1 Total Weight: 182 0.27/0.31 c Current CPU time: 0.246962 s 0.27/0.31 c 0.27/0.31 c core #183 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 183 0.27/0.31 c Current CPU time: 0.248962 s 0.27/0.31 c 0.27/0.31 c core #184 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 184 0.27/0.31 c Current CPU time: 0.250961 s 0.27/0.31 c 0.27/0.31 c core #185 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 185 0.27/0.31 c Current CPU time: 0.252961 s 0.27/0.31 c 0.27/0.31 c core #186 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 186 0.27/0.31 c Current CPU time: 0.253961 s 0.27/0.31 c 0.27/0.31 c core #187 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 187 0.27/0.31 c Current CPU time: 0.255961 s 0.27/0.31 c 0.27/0.31 c core #188 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 188 0.27/0.31 c Current CPU time: 0.25796 s 0.27/0.31 c 0.27/0.31 c core #189 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 189 0.27/0.31 c Current CPU time: 0.25996 s 0.27/0.31 c 0.27/0.31 c core #190 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 190 0.27/0.31 c Current CPU time: 0.26196 s 0.27/0.31 c 0.27/0.31 c core #191 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 12 Core Weight: 1 Total Weight: 191 0.27/0.31 c Current CPU time: 0.263959 s 0.27/0.31 c 0.27/0.31 c core #192 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 192 0.27/0.31 c Current CPU time: 0.265959 s 0.27/0.31 c 0.27/0.31 c core #193 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 193 0.27/0.31 c Current CPU time: 0.267959 s 0.27/0.31 c 0.27/0.31 c core #194 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 194 0.27/0.31 c Current CPU time: 0.268959 s 0.27/0.31 c 0.27/0.31 c core #195 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 195 0.27/0.31 c Current CPU time: 0.270958 s 0.27/0.31 c 0.27/0.31 c core #196 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 196 0.27/0.31 c Current CPU time: 0.272958 s 0.27/0.31 c 0.27/0.31 c core #197 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 197 0.27/0.31 c Current CPU time: 0.274958 s 0.27/0.31 c 0.27/0.31 c core #198 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 198 0.27/0.31 c Current CPU time: 0.276957 s 0.27/0.31 c 0.27/0.31 c core #199 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 199 0.27/0.31 c Current CPU time: 0.278957 s 0.27/0.31 c 0.27/0.31 c core #200 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 12 Core Weight: 1 Total Weight: 200 0.27/0.31 c Current CPU time: 0.280957 s 0.27/0.31 c 0.27/0.31 c core #201 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 201 0.27/0.31 c Current CPU time: 0.282956 s 0.27/0.31 c 0.27/0.31 c core #202 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 202 0.27/0.31 c Current CPU time: 0.284956 s 0.27/0.31 c 0.27/0.31 c core #203 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 203 0.27/0.31 c Current CPU time: 0.286956 s 0.27/0.31 c 0.27/0.31 c core #204 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 204 0.27/0.31 c Current CPU time: 0.288956 s 0.27/0.31 c 0.27/0.31 c core #205 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 205 0.27/0.31 c Current CPU time: 0.289955 s 0.27/0.31 c 0.27/0.31 c core #206 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 20 Core Weight: 1 Total Weight: 206 0.27/0.31 c Current CPU time: 0.291955 s 0.27/0.31 c 0.27/0.31 c core #207 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 22 Core Weight: 1 Total Weight: 207 0.27/0.31 c Current CPU time: 0.293955 s 0.27/0.31 c 0.27/0.31 c core #208 0.27/0.31 c 0.27/0.31 c 0.27/0.31 c Core size: 21 Core Weight: 1 Total Weight: 208 0.27/0.31 c Current CPU time: 0.295955 s 0.27/0.31 c 0.27/0.31 c core #209 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 12 Core Weight: 1 Total Weight: 209 0.27/0.35 c Current CPU time: 0.297954 s 0.27/0.35 c 0.27/0.35 c core #210 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 22 Core Weight: 1 Total Weight: 210 0.27/0.35 c Current CPU time: 0.299954 s 0.27/0.35 c 0.27/0.35 c core #211 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 20 Core Weight: 1 Total Weight: 211 0.27/0.35 c Current CPU time: 0.301954 s 0.27/0.35 c 0.27/0.35 c core #212 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 21 Core Weight: 1 Total Weight: 212 0.27/0.35 c Current CPU time: 0.303953 s 0.27/0.35 c 0.27/0.35 c core #213 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 21 Core Weight: 1 Total Weight: 213 0.27/0.35 c Current CPU time: 0.305953 s 0.27/0.35 c 0.27/0.35 c core #214 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 20 Core Weight: 1 Total Weight: 214 0.27/0.35 c Current CPU time: 0.307953 s 0.27/0.35 c 0.27/0.35 c core #215 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 20 Core Weight: 1 Total Weight: 215 0.27/0.35 c Current CPU time: 0.309952 s 0.27/0.35 c 0.27/0.35 c core #216 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 22 Core Weight: 1 Total Weight: 216 0.27/0.35 c Current CPU time: 0.311952 s 0.27/0.35 c 0.27/0.35 c core #217 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 21 Core Weight: 1 Total Weight: 217 0.27/0.35 c Current CPU time: 0.313952 s 0.27/0.35 c 0.27/0.35 c core #218 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 211 Core Weight: 1 Total Weight: 218 0.27/0.35 c Current CPU time: 0.315951 s 0.27/0.35 c 0.27/0.35 c core #219 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 219 0.27/0.35 c Current CPU time: 0.317951 s 0.27/0.35 c 0.27/0.35 c core #220 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 220 0.27/0.35 c Current CPU time: 0.319951 s 0.27/0.35 c 0.27/0.35 c core #221 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 221 0.27/0.35 c Current CPU time: 0.321951 s 0.27/0.35 c 0.27/0.35 c core #222 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 222 0.27/0.35 c Current CPU time: 0.32395 s 0.27/0.35 c 0.27/0.35 c core #223 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 223 0.27/0.35 c Current CPU time: 0.32595 s 0.27/0.35 c 0.27/0.35 c core #224 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 224 0.27/0.35 c Current CPU time: 0.32795 s 0.27/0.35 c 0.27/0.35 c core #225 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 225 0.27/0.35 c Current CPU time: 0.329949 s 0.27/0.35 c 0.27/0.35 c core #226 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 226 0.27/0.35 c Current CPU time: 0.331949 s 0.27/0.35 c 0.27/0.35 c core #227 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 227 0.27/0.35 c Current CPU time: 0.333949 s 0.27/0.35 c 0.27/0.35 c core #228 0.27/0.35 c 0.27/0.35 c 0.27/0.35 c Core size: 7 Core Weight: 1 Total Weight: 228 0.27/0.35 c Current CPU time: 0.335948 s 0.27/0.35 c 0.27/0.35 c ============================[ Search Statistics ]============================== 0.27/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.35 c =============================================================================== 0.27/0.35 c | 0 | 2100 5025 11670 | 5000 0 -nan | 0.000 % | 0.27/0.35 c =============================================================================== 0.27/0.36 c core #229 0.27/0.36 c 0.27/0.36 c 0.27/0.36 c Core size: 15 Core Weight: 1 Total Weight: 229 0.27/0.36 c Current CPU time: 0.337948 s 0.27/0.36 c 0.27/0.36 c ============================[ Search Statistics ]============================== 0.27/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.36 c =============================================================================== 0.27/0.36 c | 0 | 2111 5026 11692 | 5000 0 -nan | 0.000 % | 0.27/0.36 c =============================================================================== 0.27/0.36 c core #230 0.27/0.36 c 0.27/0.36 c 0.27/0.36 c Core size: 28 Core Weight: 1 Total Weight: 230 0.27/0.36 c Current CPU time: 0.339948 s 0.27/0.36 c 0.27/0.36 c ============================[ Search Statistics ]============================== 0.27/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.36 c =============================================================================== 0.27/0.36 c | 0 | 2121 5027 11712 | 5000 0 -nan | 0.000 % | 0.27/0.36 c =============================================================================== 0.27/0.36 c core #231 0.27/0.36 c 0.27/0.36 c 0.27/0.36 c Core size: 10 Core Weight: 1 Total Weight: 231 0.27/0.36 c Current CPU time: 0.341948 s 0.27/0.36 c 0.27/0.36 c ============================[ Search Statistics ]============================== 0.27/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.36 c =============================================================================== 0.27/0.36 c | 0 | 2127 5028 11724 | 5000 0 -nan | 0.000 % | 0.27/0.36 c =============================================================================== 0.27/0.36 c core #232 0.27/0.36 c 0.27/0.36 c 0.27/0.36 c Core size: 16 Core Weight: 1 Total Weight: 232 0.27/0.36 c Current CPU time: 0.343947 s 0.27/0.36 c 0.27/0.36 c ============================[ Search Statistics ]============================== 0.27/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.36 c =============================================================================== 0.27/0.36 c | 0 | 2136 5029 11742 | 5000 0 -nan | 0.000 % | 0.27/0.36 c =============================================================================== 0.27/0.37 c core #233 0.27/0.37 c 0.27/0.37 c 0.27/0.37 c Core size: 30 Core Weight: 1 Total Weight: 233 0.27/0.37 c Current CPU time: 0.345947 s 0.27/0.37 c 0.27/0.37 c ============================[ Search Statistics ]============================== 0.27/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.37 c =============================================================================== 0.27/0.37 c | 0 | 2148 5031 11769 | 5000 0 -nan | 0.000 % | 0.27/0.37 c =============================================================================== 0.27/0.37 c core #234 0.27/0.37 c 0.27/0.37 c 0.27/0.37 c Core size: 41 Core Weight: 1 Total Weight: 234 0.27/0.37 c Current CPU time: 0.348946 s 0.27/0.37 c 0.27/0.37 c ============================[ Search Statistics ]============================== 0.27/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.37 c =============================================================================== 0.27/0.37 c | 0 | 2165 5032 11803 | 5000 0 -nan | 0.000 % | 0.27/0.37 c =============================================================================== 0.27/0.37 c core #235 0.27/0.37 c 0.27/0.37 c 0.27/0.37 c Core size: 12 Core Weight: 1 Total Weight: 235 0.27/0.37 c Current CPU time: 0.350946 s 0.27/0.37 c 0.27/0.37 c ============================[ Search Statistics ]============================== 0.27/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.37 c =============================================================================== 0.27/0.37 c | 0 | 2172 5033 11817 | 5000 0 -nan | 0.000 % | 0.27/0.37 c =============================================================================== 0.27/0.37 c core #236 0.27/0.37 c 0.27/0.37 c 0.27/0.37 c Core size: 15 Core Weight: 1 Total Weight: 236 0.27/0.37 c Current CPU time: 0.352946 s 0.27/0.37 c 0.27/0.37 c ============================[ Search Statistics ]============================== 0.27/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.37 c =============================================================================== 0.27/0.37 c | 0 | 2183 5034 11839 | 5000 0 -nan | 0.000 % | 0.27/0.37 c =============================================================================== 0.27/0.37 c core #237 0.27/0.37 c 0.27/0.37 c 0.27/0.37 c Core size: 10 Core Weight: 1 Total Weight: 237 0.27/0.37 c Current CPU time: 0.355945 s 0.27/0.37 c 0.27/0.37 c ============================[ Search Statistics ]============================== 0.27/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.37 c =============================================================================== 0.27/0.37 c | 0 | 2189 5035 11851 | 5000 0 -nan | 0.000 % | 0.27/0.38 c =============================================================================== 0.27/0.38 c core #238 0.27/0.38 c 0.27/0.38 c 0.27/0.38 c Core size: 12 Core Weight: 1 Total Weight: 238 0.27/0.38 c Current CPU time: 0.357945 s 0.27/0.38 c 0.27/0.38 c ============================[ Search Statistics ]============================== 0.27/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.38 c =============================================================================== 0.27/0.38 c | 0 | 2196 5036 11865 | 5000 0 -nan | 0.000 % | 0.27/0.38 c =============================================================================== 0.27/0.38 c core #239 0.27/0.38 c 0.27/0.38 c 0.27/0.38 c Core size: 12 Core Weight: 1 Total Weight: 239 0.27/0.38 c Current CPU time: 0.360945 s 0.27/0.38 c 0.27/0.38 c ============================[ Search Statistics ]============================== 0.27/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.38 c =============================================================================== 0.27/0.38 c | 0 | 2203 5037 11879 | 5000 0 -nan | 0.000 % | 0.27/0.38 c =============================================================================== 0.27/0.38 c core #240 0.27/0.38 c 0.27/0.38 c 0.27/0.38 c Core size: 10 Core Weight: 1 Total Weight: 240 0.27/0.38 c Current CPU time: 0.362944 s 0.27/0.38 c 0.27/0.38 c ============================[ Search Statistics ]============================== 0.27/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.38 c =============================================================================== 0.27/0.38 c | 0 | 2209 5038 11891 | 5000 0 -nan | 0.000 % | 0.27/0.38 c =============================================================================== 0.27/0.38 c core #241 0.27/0.38 c 0.27/0.38 c 0.27/0.38 c Core size: 12 Core Weight: 1 Total Weight: 241 0.27/0.38 c Current CPU time: 0.364944 s 0.27/0.38 c 0.27/0.38 c ============================[ Search Statistics ]============================== 0.27/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.38 c =============================================================================== 0.27/0.38 c | 0 | 2216 5039 11905 | 5000 0 -nan | 0.000 % | 0.27/0.38 c =============================================================================== 0.27/0.39 c core #242 0.27/0.39 c 0.27/0.39 c 0.27/0.39 c Core size: 10 Core Weight: 1 Total Weight: 242 0.27/0.39 c Current CPU time: 0.367944 s 0.27/0.39 c 0.27/0.39 c ============================[ Search Statistics ]============================== 0.27/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.39 c =============================================================================== 0.27/0.39 c | 0 | 2222 5040 11917 | 5000 0 -nan | 0.000 % | 0.27/0.39 c =============================================================================== 0.27/0.39 c core #243 0.27/0.39 c 0.27/0.39 c 0.27/0.39 c Core size: 10 Core Weight: 1 Total Weight: 243 0.27/0.39 c Current CPU time: 0.369943 s 0.27/0.39 c 0.27/0.39 c ============================[ Search Statistics ]============================== 0.27/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.39 c =============================================================================== 0.27/0.39 c | 0 | 2228 5041 11929 | 5000 0 -nan | 0.000 % | 0.27/0.39 c =============================================================================== 0.27/0.39 c core #244 0.27/0.39 c 0.27/0.39 c 0.27/0.39 c Core size: 12 Core Weight: 1 Total Weight: 244 0.27/0.39 c Current CPU time: 0.372943 s 0.27/0.39 c 0.27/0.39 c ============================[ Search Statistics ]============================== 0.27/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.39 c =============================================================================== 0.27/0.39 c | 0 | 2235 5042 11943 | 5000 0 -nan | 0.000 % | 0.27/0.39 c =============================================================================== 0.27/0.39 c core #245 0.27/0.39 c 0.27/0.39 c 0.27/0.39 c Core size: 12 Core Weight: 1 Total Weight: 245 0.27/0.39 c Current CPU time: 0.374943 s 0.27/0.39 c 0.27/0.39 c ============================[ Search Statistics ]============================== 0.27/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.27/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.27/0.39 c =============================================================================== 0.27/0.39 c | 0 | 2242 5043 11957 | 5000 0 -nan | 0.000 % | 0.27/0.39 c =============================================================================== 0.37/0.40 c core #246 0.37/0.40 c 0.37/0.40 c 0.37/0.40 c Core size: 10 Core Weight: 1 Total Weight: 246 0.37/0.40 c Current CPU time: 0.377942 s 0.37/0.40 c 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 2248 5044 11969 | 5000 0 -nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.40 c core #247 0.37/0.40 c 0.37/0.40 c 0.37/0.40 c Core size: 12 Core Weight: 1 Total Weight: 247 0.37/0.40 c Current CPU time: 0.379942 s 0.37/0.40 c 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 2255 5045 11983 | 5000 0 -nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.40 c core #248 0.37/0.40 c 0.37/0.40 c 0.37/0.40 c Core size: 10 Core Weight: 1 Total Weight: 248 0.37/0.40 c Current CPU time: 0.382941 s 0.37/0.40 c 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 2261 5046 11995 | 5000 0 -nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.40 c core #249 0.37/0.40 c 0.37/0.40 c 0.37/0.40 c Core size: 10 Core Weight: 1 Total Weight: 249 0.37/0.40 c Current CPU time: 0.384941 s 0.37/0.40 c 0.37/0.40 c ============================[ Search Statistics ]============================== 0.37/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.40 c =============================================================================== 0.37/0.40 c | 0 | 2267 5047 12007 | 5000 0 -nan | 0.000 % | 0.37/0.40 c =============================================================================== 0.37/0.41 c core #250 0.37/0.41 c 0.37/0.41 c 0.37/0.41 c Core size: 12 Core Weight: 1 Total Weight: 250 0.37/0.41 c Current CPU time: 0.387941 s 0.37/0.41 c 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 2274 5048 12021 | 5000 0 -nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.41 c core #251 0.37/0.41 c 0.37/0.41 c 0.37/0.41 c Core size: 12 Core Weight: 1 Total Weight: 251 0.37/0.41 c Current CPU time: 0.38994 s 0.37/0.41 c 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 2281 5049 12035 | 5000 0 -nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.41 c core #252 0.37/0.41 c 0.37/0.41 c 0.37/0.41 c Core size: 10 Core Weight: 1 Total Weight: 252 0.37/0.41 c Current CPU time: 0.39294 s 0.37/0.41 c 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 2287 5050 12047 | 5000 0 -nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.41 c core #253 0.37/0.41 c 0.37/0.41 c 0.37/0.41 c Core size: 12 Core Weight: 1 Total Weight: 253 0.37/0.41 c Current CPU time: 0.394939 s 0.37/0.41 c 0.37/0.41 c ============================[ Search Statistics ]============================== 0.37/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.41 c =============================================================================== 0.37/0.41 c | 0 | 2294 5051 12061 | 5000 0 -nan | 0.000 % | 0.37/0.41 c =============================================================================== 0.37/0.42 c core #254 0.37/0.42 c 0.37/0.42 c 0.37/0.42 c Core size: 10 Core Weight: 1 Total Weight: 254 0.37/0.42 c Current CPU time: 0.397939 s 0.37/0.42 c 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 2300 5052 12073 | 5000 0 -nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.42 c core #255 0.37/0.42 c 0.37/0.42 c 0.37/0.42 c Core size: 10 Core Weight: 1 Total Weight: 255 0.37/0.42 c Current CPU time: 0.399939 s 0.37/0.42 c 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 2306 5053 12085 | 5000 0 -nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.42 c core #256 0.37/0.42 c 0.37/0.42 c 0.37/0.42 c Core size: 13 Core Weight: 1 Total Weight: 256 0.37/0.42 c Current CPU time: 0.402938 s 0.37/0.42 c 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 2314 5054 12101 | 5000 0 -nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.42 c core #257 0.37/0.42 c 0.37/0.42 c 0.37/0.42 c Core size: 29 Core Weight: 1 Total Weight: 257 0.37/0.42 c Current CPU time: 0.404938 s 0.37/0.42 c 0.37/0.42 c ============================[ Search Statistics ]============================== 0.37/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.42 c =============================================================================== 0.37/0.42 c | 0 | 2333 5055 12139 | 5000 0 -nan | 0.000 % | 0.37/0.42 c =============================================================================== 0.37/0.43 c core #258 0.37/0.43 c 0.37/0.43 c 0.37/0.43 c Core size: 18 Core Weight: 1 Total Weight: 258 0.37/0.43 c Current CPU time: 0.407937 s 0.37/0.43 c 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 2343 5056 12159 | 5000 0 -nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.43 c core #259 0.37/0.43 c 0.37/0.43 c 0.37/0.43 c Core size: 33 Core Weight: 1 Total Weight: 259 0.37/0.43 c Current CPU time: 0.409937 s 0.37/0.43 c 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 2354 5057 12181 | 5000 0 -nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.43 c core #260 0.37/0.43 c 0.37/0.43 c 0.37/0.43 c Core size: 12 Core Weight: 1 Total Weight: 260 0.37/0.43 c Current CPU time: 0.412937 s 0.37/0.43 c 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 2361 5058 12195 | 5000 0 -nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.43 c core #261 0.37/0.43 c 0.37/0.43 c 0.37/0.43 c Core size: 29 Core Weight: 1 Total Weight: 261 0.37/0.43 c Current CPU time: 0.414936 s 0.37/0.43 c 0.37/0.43 c ============================[ Search Statistics ]============================== 0.37/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.43 c =============================================================================== 0.37/0.43 c | 0 | 2372 5059 12217 | 5000 0 -nan | 0.000 % | 0.37/0.43 c =============================================================================== 0.37/0.44 c core #262 0.37/0.44 c 0.37/0.44 c 0.37/0.44 c Core size: 22 Core Weight: 1 Total Weight: 262 0.37/0.44 c Current CPU time: 0.417936 s 0.37/0.44 c 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 2385 5060 12243 | 5000 0 -nan | 0.000 % | 0.37/0.44 c =============================================================================== 0.37/0.44 c core #263 0.37/0.44 c 0.37/0.44 c 0.37/0.44 c Core size: 10 Core Weight: 1 Total Weight: 263 0.37/0.44 c Current CPU time: 0.419936 s 0.37/0.44 c 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 2391 5061 12255 | 5000 0 -nan | 0.000 % | 0.37/0.44 c =============================================================================== 0.37/0.44 c core #264 0.37/0.44 c 0.37/0.44 c 0.37/0.44 c Core size: 25 Core Weight: 1 Total Weight: 264 0.37/0.44 c Current CPU time: 0.422935 s 0.37/0.44 c 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 2407 5062 12287 | 5000 0 -nan | 0.000 % | 0.37/0.44 c =============================================================================== 0.37/0.44 c core #265 0.37/0.44 c 0.37/0.44 c 0.37/0.44 c Core size: 12 Core Weight: 1 Total Weight: 265 0.37/0.44 c Current CPU time: 0.424935 s 0.37/0.44 c 0.37/0.44 c ============================[ Search Statistics ]============================== 0.37/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.44 c =============================================================================== 0.37/0.44 c | 0 | 2414 5063 12301 | 5000 0 -nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.45 c core #266 0.37/0.45 c 0.37/0.45 c 0.37/0.45 c Core size: 20 Core Weight: 1 Total Weight: 266 0.37/0.45 c Current CPU time: 0.427934 s 0.37/0.45 c 0.37/0.45 c ============================[ Search Statistics ]============================== 0.37/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.45 c =============================================================================== 0.37/0.45 c | 0 | 2431 5064 12335 | 5000 0 -nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.45 c core #267 0.37/0.45 c 0.37/0.45 c 0.37/0.45 c Core size: 13 Core Weight: 1 Total Weight: 267 0.37/0.45 c Current CPU time: 0.430934 s 0.37/0.45 c 0.37/0.45 c ============================[ Search Statistics ]============================== 0.37/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.45 c =============================================================================== 0.37/0.45 c | 0 | 2439 5065 12351 | 5000 0 -nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.45 c core #268 0.37/0.45 c 0.37/0.45 c 0.37/0.45 c Core size: 10 Core Weight: 1 Total Weight: 268 0.37/0.45 c Current CPU time: 0.432934 s 0.37/0.45 c 0.37/0.45 c ============================[ Search Statistics ]============================== 0.37/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.45 c =============================================================================== 0.37/0.45 c | 0 | 2445 5066 12363 | 5000 0 -nan | 0.000 % | 0.37/0.45 c =============================================================================== 0.37/0.46 c core #269 0.37/0.46 c 0.37/0.46 c 0.37/0.46 c Core size: 12 Core Weight: 1 Total Weight: 269 0.37/0.46 c Current CPU time: 0.435933 s 0.37/0.46 c 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 2452 5067 12377 | 5000 0 -nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.46 c core #270 0.37/0.46 c 0.37/0.46 c 0.37/0.46 c Core size: 10 Core Weight: 1 Total Weight: 270 0.37/0.46 c Current CPU time: 0.437933 s 0.37/0.46 c 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 2458 5068 12389 | 5000 0 -nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.46 c core #271 0.37/0.46 c 0.37/0.46 c 0.37/0.46 c Core size: 13 Core Weight: 1 Total Weight: 271 0.37/0.46 c Current CPU time: 0.440932 s 0.37/0.46 c 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 2466 5069 12405 | 5000 0 -nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.46 c core #272 0.37/0.46 c 0.37/0.46 c 0.37/0.46 c Core size: 17 Core Weight: 1 Total Weight: 272 0.37/0.46 c Current CPU time: 0.443932 s 0.37/0.46 c 0.37/0.46 c ============================[ Search Statistics ]============================== 0.37/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.46 c =============================================================================== 0.37/0.46 c | 0 | 2475 5070 12423 | 5000 0 -nan | 0.000 % | 0.37/0.46 c =============================================================================== 0.37/0.47 c core #273 0.37/0.47 c 0.37/0.47 c 0.37/0.47 c Core size: 16 Core Weight: 1 Total Weight: 273 0.37/0.47 c Current CPU time: 0.445932 s 0.37/0.47 c 0.37/0.47 c ============================[ Search Statistics ]============================== 0.37/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.47 c =============================================================================== 0.37/0.47 c | 0 | 2487 5073 12453 | 5000 0 -nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.47 c core #274 0.37/0.47 c 0.37/0.47 c 0.37/0.47 c Core size: 10 Core Weight: 1 Total Weight: 274 0.37/0.47 c Current CPU time: 0.448931 s 0.37/0.47 c 0.37/0.47 c ============================[ Search Statistics ]============================== 0.37/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.47 c =============================================================================== 0.37/0.47 c | 0 | 2493 5074 12465 | 5000 0 -nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.47 c core #275 0.37/0.47 c 0.37/0.47 c 0.37/0.47 c Core size: 12 Core Weight: 1 Total Weight: 275 0.37/0.47 c Current CPU time: 0.450931 s 0.37/0.47 c 0.37/0.47 c ============================[ Search Statistics ]============================== 0.37/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.47 c =============================================================================== 0.37/0.47 c | 0 | 2500 5075 12479 | 5000 0 -nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.47 c core #276 0.37/0.47 c 0.37/0.47 c 0.37/0.47 c Core size: 12 Core Weight: 1 Total Weight: 276 0.37/0.47 c Current CPU time: 0.452931 s 0.37/0.47 c 0.37/0.47 c ============================[ Search Statistics ]============================== 0.37/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.47 c =============================================================================== 0.37/0.47 c | 0 | 2507 5076 12493 | 5000 0 -nan | 0.000 % | 0.37/0.47 c =============================================================================== 0.37/0.48 c core #277 0.37/0.48 c 0.37/0.48 c 0.37/0.48 c Core size: 13 Core Weight: 1 Total Weight: 277 0.37/0.48 c Current CPU time: 0.45593 s 0.37/0.48 c 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 2515 5077 12509 | 5000 0 -nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.48 c core #278 0.37/0.48 c 0.37/0.48 c 0.37/0.48 c Core size: 27 Core Weight: 1 Total Weight: 278 0.37/0.48 c Current CPU time: 0.45793 s 0.37/0.48 c 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 2524 5078 12527 | 5000 0 -nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.48 c core #279 0.37/0.48 c 0.37/0.48 c 0.37/0.48 c Core size: 10 Core Weight: 1 Total Weight: 279 0.37/0.48 c Current CPU time: 0.460929 s 0.37/0.48 c 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 2530 5080 12541 | 5000 0 -nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.48 c core #280 0.37/0.48 c 0.37/0.48 c 0.37/0.48 c Core size: 28 Core Weight: 1 Total Weight: 280 0.37/0.48 c Current CPU time: 0.463929 s 0.37/0.48 c 0.37/0.48 c ============================[ Search Statistics ]============================== 0.37/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.48 c =============================================================================== 0.37/0.48 c | 0 | 2540 5081 12561 | 5000 0 -nan | 0.000 % | 0.37/0.48 c =============================================================================== 0.37/0.49 c core #281 0.37/0.49 c 0.37/0.49 c 0.37/0.49 c Core size: 33 Core Weight: 1 Total Weight: 281 0.37/0.49 c Current CPU time: 0.466929 s 0.37/0.49 c 0.37/0.49 c ============================[ Search Statistics ]============================== 0.37/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.49 c =============================================================================== 0.37/0.49 c | 0 | 2562 5083 12607 | 5000 0 -nan | 0.000 % | 0.37/0.49 c =============================================================================== 0.37/0.49 c core #282 0.37/0.49 c 0.37/0.49 c 0.37/0.49 c Core size: 22 Core Weight: 1 Total Weight: 282 0.37/0.49 c Current CPU time: 0.468928 s 0.37/0.49 c 0.37/0.49 c ============================[ Search Statistics ]============================== 0.37/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.49 c =============================================================================== 0.37/0.49 c | 0 | 2574 5084 12631 | 5000 0 -nan | 0.000 % | 0.37/0.49 c =============================================================================== 0.37/0.49 c core #283 0.37/0.49 c 0.37/0.49 c 0.37/0.49 c Core size: 31 Core Weight: 1 Total Weight: 283 0.37/0.49 c Current CPU time: 0.471928 s 0.37/0.49 c 0.37/0.49 c ============================[ Search Statistics ]============================== 0.37/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.49 c =============================================================================== 0.37/0.49 c | 0 | 2588 5086 12662 | 5000 0 -nan | 0.000 % | 0.37/0.49 c =============================================================================== 0.37/0.50 c core #284 0.37/0.50 c 0.37/0.50 c 0.37/0.50 c Core size: 23 Core Weight: 1 Total Weight: 284 0.37/0.50 c Current CPU time: 0.473927 s 0.37/0.50 c 0.37/0.50 c ============================[ Search Statistics ]============================== 0.37/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.37/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.37/0.50 c =============================================================================== 0.37/0.50 c | 0 | 2606 5087 12698 | 5000 0 -nan | 0.000 % | 0.37/0.50 c =============================================================================== 0.47/0.50 c core #285 0.47/0.50 c 0.47/0.50 c 0.47/0.50 c Core size: 10 Core Weight: 1 Total Weight: 285 0.47/0.50 c Current CPU time: 0.476927 s 0.47/0.50 c 0.47/0.50 c ============================[ Search Statistics ]============================== 0.47/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.50 c =============================================================================== 0.47/0.50 c | 0 | 2612 5088 12710 | 5000 0 -nan | 0.000 % | 0.47/0.50 c =============================================================================== 0.47/0.50 c core #286 0.47/0.50 c 0.47/0.50 c 0.47/0.50 c Core size: 10 Core Weight: 1 Total Weight: 286 0.47/0.50 c Current CPU time: 0.478927 s 0.47/0.50 c 0.47/0.50 c ============================[ Search Statistics ]============================== 0.47/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.50 c =============================================================================== 0.47/0.50 c | 0 | 2618 5089 12722 | 5000 0 -nan | 0.000 % | 0.47/0.50 c =============================================================================== 0.47/0.50 c core #287 0.47/0.50 c 0.47/0.50 c 0.47/0.50 c Core size: 10 Core Weight: 1 Total Weight: 287 0.47/0.50 c Current CPU time: 0.481926 s 0.47/0.50 c 0.47/0.50 c ============================[ Search Statistics ]============================== 0.47/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.50 c =============================================================================== 0.47/0.50 c | 0 | 2624 5090 12734 | 5000 0 -nan | 0.000 % | 0.47/0.50 c =============================================================================== 0.47/0.51 c core #288 0.47/0.51 c 0.47/0.51 c 0.47/0.51 c Core size: 22 Core Weight: 1 Total Weight: 288 0.47/0.51 c Current CPU time: 0.483926 s 0.47/0.51 c 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 2637 5091 12760 | 5000 0 -nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.51 c core #289 0.47/0.51 c 0.47/0.51 c 0.47/0.51 c Core size: 12 Core Weight: 1 Total Weight: 289 0.47/0.51 c Current CPU time: 0.485926 s 0.47/0.51 c 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 2644 5092 12774 | 5000 0 -nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.51 c core #290 0.47/0.51 c 0.47/0.51 c 0.47/0.51 c Core size: 10 Core Weight: 1 Total Weight: 290 0.47/0.51 c Current CPU time: 0.488925 s 0.47/0.51 c 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 2650 5093 12786 | 5000 0 -nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.51 c core #291 0.47/0.51 c 0.47/0.51 c 0.47/0.51 c Core size: 21 Core Weight: 1 Total Weight: 291 0.47/0.51 c Current CPU time: 0.491925 s 0.47/0.51 c 0.47/0.51 c ============================[ Search Statistics ]============================== 0.47/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.51 c =============================================================================== 0.47/0.51 c | 0 | 2663 5094 12812 | 5000 0 -nan | 0.000 % | 0.47/0.51 c =============================================================================== 0.47/0.52 c core #292 0.47/0.52 c 0.47/0.52 c 0.47/0.52 c Core size: 24 Core Weight: 1 Total Weight: 292 0.47/0.52 c Current CPU time: 0.493924 s 0.47/0.52 c 0.47/0.52 c ============================[ Search Statistics ]============================== 0.47/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.52 c =============================================================================== 0.47/0.52 c | 0 | 2680 5096 12849 | 5000 0 -nan | 0.000 % | 0.47/0.52 c =============================================================================== 0.47/0.52 c core #293 0.47/0.52 c 0.47/0.52 c 0.47/0.52 c Core size: 39 Core Weight: 1 Total Weight: 293 0.47/0.52 c Current CPU time: 0.497924 s 0.47/0.52 c 0.47/0.52 c ============================[ Search Statistics ]============================== 0.47/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.52 c =============================================================================== 0.47/0.52 c | 0 | 2713 5097 12915 | 5000 0 -nan | 0.000 % | 0.47/0.52 c =============================================================================== 0.47/0.52 c core #294 0.47/0.52 c 0.47/0.52 c 0.47/0.52 c Core size: 25 Core Weight: 1 Total Weight: 294 0.47/0.52 c Current CPU time: 0.499924 s 0.47/0.52 c 0.47/0.52 c ============================[ Search Statistics ]============================== 0.47/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.52 c =============================================================================== 0.47/0.52 c | 0 | 2732 5098 12953 | 5000 0 -nan | 0.000 % | 0.47/0.52 c =============================================================================== 0.47/0.53 c core #295 0.47/0.53 c 0.47/0.53 c 0.47/0.53 c Core size: 39 Core Weight: 1 Total Weight: 295 0.47/0.53 c Current CPU time: 0.501923 s 0.47/0.53 c 0.47/0.53 c ============================[ Search Statistics ]============================== 0.47/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.53 c =============================================================================== 0.47/0.53 c | 0 | 2764 5101 13021 | 5000 0 -nan | 0.000 % | 0.47/0.53 c =============================================================================== 0.47/0.53 c core #296 0.47/0.53 c 0.47/0.53 c 0.47/0.53 c Core size: 33 Core Weight: 1 Total Weight: 296 0.47/0.53 c Current CPU time: 0.503923 s 0.47/0.53 c 0.47/0.53 c ============================[ Search Statistics ]============================== 0.47/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.53 c =============================================================================== 0.47/0.53 c | 0 | 2786 5102 13065 | 5000 0 -nan | 0.000 % | 0.47/0.53 c =============================================================================== 0.47/0.53 c core #297 0.47/0.53 c 0.47/0.53 c 0.47/0.53 c Core size: 33 Core Weight: 1 Total Weight: 297 0.47/0.53 c Current CPU time: 0.505923 s 0.47/0.53 c 0.47/0.53 c ============================[ Search Statistics ]============================== 0.47/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.53 c =============================================================================== 0.47/0.53 c | 0 | 2808 5103 13109 | 5000 0 -nan | 0.000 % | 0.47/0.53 c =============================================================================== 0.47/0.54 c core #298 0.47/0.54 c 0.47/0.54 c 0.47/0.54 c Core size: 47 Core Weight: 1 Total Weight: 298 0.47/0.54 c Current CPU time: 0.509922 s 0.47/0.54 c 0.47/0.54 c ============================[ Search Statistics ]============================== 0.47/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.54 c =============================================================================== 0.47/0.54 c | 0 | 2839 5104 13171 | 5000 0 -nan | 0.000 % | 0.47/0.54 c =============================================================================== 0.47/0.54 c core #299 0.47/0.54 c 0.47/0.54 c 0.47/0.54 c Core size: 33 Core Weight: 1 Total Weight: 299 0.47/0.54 c Current CPU time: 0.512922 s 0.47/0.54 c 0.47/0.54 c ============================[ Search Statistics ]============================== 0.47/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.54 c =============================================================================== 0.47/0.54 c | 0 | 2858 5106 13212 | 5000 0 -nan | 0.000 % | 0.47/0.54 c =============================================================================== 0.47/0.54 c core #300 0.47/0.54 c 0.47/0.54 c 0.47/0.54 c Core size: 23 Core Weight: 1 Total Weight: 300 0.47/0.54 c Current CPU time: 0.515921 s 0.47/0.54 c 0.47/0.54 c ============================[ Search Statistics ]============================== 0.47/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.54 c =============================================================================== 0.47/0.54 c | 0 | 2874 5107 13244 | 5000 0 -nan | 0.000 % | 0.47/0.54 c | 100 | 2874 5107 13244 | 5500 100 9 | 0.692 % | 0.47/0.55 c =============================================================================== 0.47/0.55 c core #301 0.47/0.55 c 0.47/0.55 c 0.47/0.55 c Core size: 48 Core Weight: 1 Total Weight: 301 0.47/0.55 c Current CPU time: 0.52192 s 0.47/0.55 c 0.47/0.55 c ============================[ Search Statistics ]============================== 0.47/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.55 c =============================================================================== 0.47/0.55 c | 0 | 2917 5109 13333 | 5000 0 -nan | 0.000 % | 0.47/0.55 c | 102 | 2917 5109 13333 | 5500 102 9 | 0.682 % | 0.47/0.55 c =============================================================================== 0.47/0.55 c core #302 0.47/0.55 c 0.47/0.55 c 0.47/0.55 c Core size: 54 Core Weight: 1 Total Weight: 302 0.47/0.55 c Current CPU time: 0.527919 s 0.47/0.55 c 0.47/0.55 c ============================[ Search Statistics ]============================== 0.47/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.55 c =============================================================================== 0.47/0.55 c | 0 | 2965 5110 13429 | 5000 0 -nan | 0.000 % | 0.47/0.56 c =============================================================================== 0.47/0.56 c core #303 0.47/0.56 c 0.47/0.56 c 0.47/0.56 c Core size: 50 Core Weight: 1 Total Weight: 303 0.47/0.56 c Current CPU time: 0.530919 s 0.47/0.56 c 0.47/0.56 c ============================[ Search Statistics ]============================== 0.47/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.56 c =============================================================================== 0.47/0.56 c | 0 | 2996 5111 13491 | 5000 0 -nan | 0.000 % | 0.47/0.56 c | 100 | 2994 5111 13491 | 5500 100 9 | 0.730 % | 0.47/0.56 c | 250 | 2994 5111 13491 | 6050 250 10 | 0.729 % | 0.47/0.56 c =============================================================================== 0.47/0.57 c core #304 0.47/0.57 c 0.47/0.57 c 0.47/0.57 c Core size: 40 Core Weight: 1 Total Weight: 304 0.47/0.57 c Current CPU time: 0.538918 s 0.47/0.57 c 0.47/0.57 c ============================[ Search Statistics ]============================== 0.47/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.57 c =============================================================================== 0.47/0.57 c | 0 | 3035 5113 13571 | 5000 0 -nan | 0.000 % | 0.47/0.57 c | 100 | 3029 5113 13571 | 5500 100 7 | 0.917 % | 0.47/0.57 c =============================================================================== 0.47/0.57 c core #305 0.47/0.57 c 0.47/0.57 c 0.47/0.57 c Core size: 42 Core Weight: 1 Total Weight: 305 0.47/0.57 c Current CPU time: 0.542917 s 0.47/0.57 c 0.47/0.57 c ============================[ Search Statistics ]============================== 0.47/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.57 c =============================================================================== 0.47/0.57 c | 0 | 3062 5114 13625 | 5000 0 -nan | 0.000 % | 0.47/0.57 c | 102 | 3062 5114 13625 | 5500 102 18 | 0.649 % | 0.47/0.58 c | 252 | 3062 5114 13625 | 6050 252 21 | 0.714 % | 0.47/0.58 c =============================================================================== 0.47/0.58 c core #306 0.47/0.58 c 0.47/0.58 c 0.47/0.58 c Core size: 42 Core Weight: 1 Total Weight: 306 0.47/0.58 c Current CPU time: 0.550916 s 0.47/0.58 c 0.47/0.58 c ============================[ Search Statistics ]============================== 0.47/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.58 c =============================================================================== 0.47/0.58 c | 0 | 3102 5115 13705 | 5000 0 -nan | 0.000 % | 0.47/0.59 c | 102 | 3099 5115 13705 | 5500 102 13 | 0.769 % | 0.47/0.59 c | 252 | 3092 5115 13705 | 6050 252 12 | 1.025 % | 0.47/0.59 c =============================================================================== 0.47/0.59 c core #307 0.47/0.59 c 0.47/0.59 c 0.47/0.59 c Core size: 47 Core Weight: 1 Total Weight: 307 0.47/0.59 c Current CPU time: 0.558915 s 0.47/0.59 c 0.47/0.59 c ============================[ Search Statistics ]============================== 0.47/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.47/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.47/0.59 c =============================================================================== 0.47/0.59 c | 0 | 3143 5116 13787 | 5000 0 -nan | 0.000 % | 0.47/0.59 c | 100 | 3143 5116 13787 | 5500 100 21 | 0.633 % | 0.47/0.59 c | 251 | 3143 5116 13787 | 6050 251 19 | 0.632 % | 0.57/0.60 c | 476 | 3143 5116 13787 | 6655 476 20 | 0.632 % | 0.57/0.61 c | 816 | 3143 5116 13787 | 7320 816 23 | 0.633 % | 0.57/0.62 c | 1322 | 3140 5116 13787 | 8052 1322 22 | 0.727 % | 0.57/0.64 c | 2084 | 3137 5116 13787 | 8857 2084 23 | 0.854 % | 0.57/0.65 c =============================================================================== 0.57/0.66 c core #308 0.57/0.66 c 0.57/0.66 c 0.57/0.66 c Core size: 75 Core Weight: 1 Total Weight: 308 0.57/0.66 c Current CPU time: 0.626904 s 0.57/0.66 c 0.57/0.66 c ============================[ Search Statistics ]============================== 0.57/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.57/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.57/0.66 c =============================================================================== 0.57/0.66 c | 0 | 3211 5126 13945 | 5000 0 -nan | 0.000 % | 0.57/0.67 c =============================================================================== 0.57/0.67 c core #309 0.57/0.67 c 0.57/0.67 c 0.57/0.67 c Core size: 33 Core Weight: 1 Total Weight: 309 0.57/0.67 c Current CPU time: 0.630904 s 0.57/0.67 c 0.57/0.67 c ============================[ Search Statistics ]============================== 0.57/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.57/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.57/0.67 c =============================================================================== 0.57/0.67 c | 0 | 3238 5127 13999 | 5000 0 -nan | 0.000 % | 0.57/0.67 c | 101 | 3238 5127 13999 | 5500 101 17 | 0.614 % | 0.57/0.67 c | 251 | 3238 5127 13999 | 6050 251 19 | 0.614 % | 0.57/0.68 c | 478 | 3236 5127 13999 | 6655 478 21 | 0.675 % | 0.57/0.68 c =============================================================================== 0.57/0.68 c core #310 0.57/0.68 c 0.57/0.68 c 0.57/0.68 c Core size: 35 Core Weight: 1 Total Weight: 310 0.57/0.68 c Current CPU time: 0.642902 s 0.57/0.68 c 0.57/0.68 c ============================[ Search Statistics ]============================== 0.57/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.57/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.57/0.68 c =============================================================================== 0.57/0.68 c | 0 | 3265 5128 14053 | 5000 0 -nan | 0.000 % | 0.57/0.68 c | 101 | 3265 5128 14053 | 5500 101 23 | 0.609 % | 0.57/0.69 c | 251 | 3265 5128 14053 | 6050 251 20 | 0.609 % | 0.57/0.69 c | 476 | 3265 5128 14053 | 6655 476 18 | 0.609 % | 0.67/0.70 c | 814 | 3261 5128 14053 | 7320 814 20 | 0.731 % | 0.67/0.71 c =============================================================================== 0.67/0.71 c core #311 0.67/0.71 c 0.67/0.71 c 0.67/0.71 c Core size: 52 Core Weight: 1 Total Weight: 311 0.67/0.71 c Current CPU time: 0.666898 s 0.67/0.71 c 0.67/0.71 c ============================[ Search Statistics ]============================== 0.67/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.67/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.67/0.71 c =============================================================================== 0.67/0.71 c | 0 | 3302 5132 14135 | 5000 0 -nan | 0.000 % | 0.67/0.71 c | 100 | 3302 5132 14135 | 5500 100 21 | 0.602 % | 0.67/0.71 c | 250 | 3302 5132 14135 | 6050 250 22 | 0.602 % | 0.67/0.72 c | 478 | 3302 5132 14135 | 6655 478 25 | 0.602 % | 0.67/0.73 c | 815 | 3302 5132 14135 | 7320 815 27 | 0.602 % | 0.67/0.74 c | 1321 | 3302 5132 14135 | 8052 1321 25 | 0.602 % | 0.67/0.75 c | 2080 | 3272 5132 14135 | 8857 2080 23 | 2.529 % | 0.67/0.77 c =============================================================================== 0.67/0.77 c core #312 0.67/0.77 c 0.67/0.77 c 0.67/0.77 c Core size: 39 Core Weight: 1 Total Weight: 312 0.67/0.77 c Current CPU time: 0.726889 s 0.67/0.77 c 0.67/0.77 c ============================[ Search Statistics ]============================== 0.67/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.67/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.67/0.77 c =============================================================================== 0.67/0.77 c | 0 | 3327 5136 14191 | 5000 0 -nan | 0.000 % | 0.67/0.78 c | 100 | 3327 5136 14191 | 5500 100 12 | 0.598 % | 0.67/0.78 c =============================================================================== 0.67/0.78 c core #313 0.67/0.78 c 0.67/0.78 c 0.67/0.78 c Core size: 20 Core Weight: 1 Total Weight: 313 0.67/0.78 c Current CPU time: 0.731888 s 0.67/0.78 c 0.67/0.78 c ============================[ Search Statistics ]============================== 0.67/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.67/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.67/0.78 c =============================================================================== 0.67/0.78 c | 0 | 3345 5138 14229 | 5000 0 -nan | 0.000 % | 0.67/0.78 c | 100 | 3345 5138 14229 | 5500 100 20 | 0.595 % | 0.67/0.78 c | 251 | 3345 5138 14229 | 6050 251 30 | 0.595 % | 0.67/0.79 c | 476 | 3335 5138 14229 | 6655 476 22 | 0.951 % | 0.67/0.79 c | 814 | 3323 5138 14229 | 7320 814 18 | 1.248 % | 0.67/0.80 c =============================================================================== 0.77/0.80 c core #314 0.77/0.80 c 0.77/0.80 c 0.77/0.80 c Core size: 44 Core Weight: 1 Total Weight: 314 0.77/0.80 c Current CPU time: 0.744886 s 0.77/0.80 c 0.77/0.80 c ============================[ Search Statistics ]============================== 0.77/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.80 c =============================================================================== 0.77/0.80 c | 0 | 3381 5143 14312 | 5000 0 -nan | 0.000 % | 0.77/0.80 c | 101 | 3381 5143 14312 | 5500 101 14 | 0.588 % | 0.77/0.80 c | 253 | 3381 5143 14312 | 6050 253 14 | 0.588 % | 0.77/0.81 c | 478 | 3381 5143 14312 | 6655 478 13 | 0.588 % | 0.77/0.81 c =============================================================================== 0.77/0.82 c core #315 0.77/0.82 c 0.77/0.82 c 0.77/0.82 c Core size: 64 Core Weight: 1 Total Weight: 315 0.77/0.82 c Current CPU time: 0.758884 s 0.77/0.82 c 0.77/0.82 c ============================[ Search Statistics ]============================== 0.77/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.82 c =============================================================================== 0.77/0.82 c | 0 | 3427 5148 14414 | 5000 0 -nan | 0.000 % | 0.77/0.82 c =============================================================================== 0.77/0.82 c core #316 0.77/0.82 c 0.77/0.82 c 0.77/0.82 c Core size: 42 Core Weight: 1 Total Weight: 316 0.77/0.82 c Current CPU time: 0.762884 s 0.77/0.82 c 0.77/0.82 c ============================[ Search Statistics ]============================== 0.77/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.82 c =============================================================================== 0.77/0.82 c | 0 | 3456 5149 14472 | 5000 0 -nan | 0.000 % | 0.77/0.82 c | 100 | 3456 5149 14472 | 5500 100 21 | 0.576 % | 0.77/0.83 c | 252 | 3456 5149 14472 | 6050 252 19 | 0.576 % | 0.77/0.83 c | 477 | 3456 5149 14472 | 6655 477 23 | 0.576 % | 0.77/0.84 c | 817 | 3456 5149 14472 | 7320 817 27 | 0.576 % | 0.77/0.85 c =============================================================================== 0.77/0.85 c core #317 0.77/0.85 c 0.77/0.85 c 0.77/0.85 c Core size: 60 Core Weight: 1 Total Weight: 317 0.77/0.85 c Current CPU time: 0.790879 s 0.77/0.85 c 0.77/0.85 c ============================[ Search Statistics ]============================== 0.77/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.85 c =============================================================================== 0.77/0.85 c | 0 | 3507 5157 14594 | 5000 0 -nan | 0.000 % | 0.77/0.85 c | 100 | 3507 5157 14594 | 5500 100 12 | 0.567 % | 0.77/0.86 c | 250 | 3503 5157 14594 | 6050 250 11 | 0.681 % | 0.77/0.86 c | 477 | 3501 5157 14594 | 6655 477 10 | 0.738 % | 0.77/0.86 c =============================================================================== 0.77/0.86 c core #318 0.77/0.86 c 0.77/0.86 c 0.77/0.86 c Core size: 66 Core Weight: 1 Total Weight: 318 0.77/0.86 c Current CPU time: 0.800878 s 0.77/0.86 c 0.77/0.86 c ============================[ Search Statistics ]============================== 0.77/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.77/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.77/0.86 c =============================================================================== 0.77/0.86 c | 0 | 3551 5160 14687 | 5000 0 -nan | 0.000 % | 0.77/0.86 c | 103 | 3549 5160 14687 | 5500 103 11 | 0.616 % | 0.77/0.87 c | 256 | 3549 5160 14687 | 6050 256 13 | 0.616 % | 0.77/0.87 c | 483 | 3549 5160 14687 | 6655 483 16 | 0.616 % | 0.77/0.88 c | 822 | 3547 5160 14687 | 7320 822 18 | 0.672 % | 0.77/0.89 c | 1328 | 3536 5160 14687 | 8052 1328 18 | 1.064 % | 0.87/0.90 c =============================================================================== 0.87/0.90 c core #319 0.87/0.90 c 0.87/0.90 c 0.87/0.90 c Core size: 25 Core Weight: 1 Total Weight: 319 0.87/0.90 c Current CPU time: 0.829873 s 0.87/0.90 c 0.87/0.90 c ============================[ Search Statistics ]============================== 0.87/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.87/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.87/0.90 c =============================================================================== 0.87/0.90 c | 0 | 3570 5164 14731 | 5000 0 -nan | 0.000 % | 0.87/0.90 c | 100 | 3569 5164 14731 | 5500 100 29 | 0.613 % | 0.87/0.91 c | 250 | 3569 5164 14731 | 6050 250 25 | 0.613 % | 0.87/0.91 c | 475 | 3568 5164 14731 | 6655 475 23 | 0.613 % | 0.87/0.91 c | 813 | 3568 5164 14731 | 7320 813 21 | 0.613 % | 0.87/0.92 c | 1321 | 3568 5164 14731 | 8052 1321 20 | 0.613 % | 0.87/0.94 c | 2080 | 3568 5164 14731 | 8857 2080 22 | 0.613 % | 0.87/0.97 c | 3219 | 3566 5164 14731 | 9743 3219 24 | 0.669 % | 0.99/1.02 c | 4928 | 3510 5164 14731 | 10717 4928 23 | 2.591 % | 0.99/1.02 c =============================================================================== 0.99/1.03 c core #320 0.99/1.03 c 0.99/1.03 c 0.99/1.03 c Core size: 63 Core Weight: 1 Total Weight: 320 0.99/1.03 c Current CPU time: 0.934857 s 0.99/1.03 c 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 3609 5171 14823 | 5000 0 -nan | 0.000 % | 0.99/1.03 c | 102 | 3609 5171 14823 | 5500 102 13 | 0.551 % | 0.99/1.03 c | 254 | 3609 5171 14823 | 6050 254 15 | 0.552 % | 0.99/1.04 c | 479 | 3563 5171 14823 | 6655 479 12 | 1.819 % | 0.99/1.04 c | 816 | 3561 5171 14823 | 7320 816 12 | 1.874 % | 0.99/1.05 c | 1323 | 3553 5171 14823 | 8052 1323 14 | 2.094 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #321 0.99/1.05 c 0.99/1.05 c 0.99/1.05 c Core size: 53 Core Weight: 1 Total Weight: 321 0.99/1.05 c Current CPU time: 0.956854 s 0.99/1.05 c 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 3655 5174 14919 | 5000 0 -nan | 0.000 % | 0.99/1.06 c | 100 | 3655 5174 14919 | 5500 100 15 | 0.545 % | 0.99/1.06 c | 250 | 3643 5174 14919 | 6050 250 14 | 0.898 % | 0.99/1.06 c | 478 | 3635 5174 14919 | 6655 478 16 | 1.116 % | 0.99/1.07 c | 817 | 3634 5174 14919 | 7320 817 17 | 1.116 % | 0.99/1.08 c | 1323 | 3632 5174 14919 | 8052 1323 17 | 1.333 % | 0.99/1.10 c | 2084 | 3610 5174 14919 | 8857 2084 20 | 2.585 % | 0.99/1.10 c =============================================================================== 0.99/1.10 c core #322 0.99/1.10 c 0.99/1.10 c 0.99/1.10 c Core size: 51 Core Weight: 1 Total Weight: 322 0.99/1.10 c Current CPU time: 0.992849 s 0.99/1.10 c 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 3691 5177 14996 | 5000 0 -nan | 0.000 % | 0.99/1.11 c | 101 | 3691 5177 14996 | 5500 101 16 | 0.539 % | 0.99/1.11 c | 254 | 3689 5177 14996 | 6050 254 14 | 0.593 % | 0.99/1.11 c | 482 | 3689 5177 14996 | 6655 482 15 | 0.593 % | 1.09/1.12 c | 819 | 3687 5177 14996 | 7320 819 15 | 0.701 % | 1.09/1.12 c | 1328 | 3678 5177 14996 | 8052 1328 16 | 0.916 % | 1.09/1.14 c | 2087 | 3655 5177 14996 | 8857 2087 16 | 2.129 % | 1.09/1.16 c | 3227 | 3535 5177 14996 | 9743 3227 15 | 4.797 % | 1.17/1.20 c | 4937 | 3483 5177 14996 | 10717 4937 16 | 6.171 % | 1.17/1.20 c =============================================================================== 1.17/1.22 c core #323 1.17/1.22 c 1.17/1.22 c 1.17/1.22 c Core size: 358 Core Weight: 1 Total Weight: 323 1.17/1.22 c Current CPU time: 1.09083 s 1.17/1.22 c 1.17/1.22 c ============================[ Search Statistics ]============================== 1.17/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.22 c =============================================================================== 1.17/1.22 c | 0 | 3955 5183 15535 | 5000 0 -nan | 0.000 % | 1.17/1.22 c | 101 | 3955 5183 15535 | 5500 101 17 | 0.503 % | 1.17/1.22 c =============================================================================== 1.17/1.23 c core #324 1.17/1.23 c 1.17/1.23 c 1.17/1.23 c Core size: 32 Core Weight: 1 Total Weight: 324 1.17/1.23 c Current CPU time: 1.09883 s 1.17/1.23 c 1.17/1.23 c ============================[ Search Statistics ]============================== 1.17/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.17/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.17/1.23 c =============================================================================== 1.17/1.23 c | 0 | 3976 5186 15581 | 5000 0 -nan | 0.000 % | 1.17/1.23 c | 101 | 3976 5186 15581 | 5500 101 19 | 0.501 % | 1.17/1.23 c | 252 | 3976 5186 15581 | 6050 252 18 | 0.501 % | 1.17/1.23 c | 479 | 3976 5186 15581 | 6655 479 16 | 0.501 % | 1.17/1.24 c | 816 | 3976 5186 15581 | 7320 816 21 | 0.501 % | 1.17/1.25 c | 1323 | 3976 5186 15581 | 8052 1323 19 | 0.501 % | 1.17/1.26 c | 2086 | 3976 5186 15581 | 8857 2086 20 | 0.501 % | 1.17/1.29 c | 3228 | 3974 5186 15581 | 9743 3228 20 | 0.551 % | 1.27/1.33 c | 4937 | 3972 5186 15581 | 10717 4937 20 | 0.601 % | 1.37/1.42 c | 7500 | 3950 5186 15581 | 11789 7500 23 | 1.201 % | 1.47/1.53 c =============================================================================== 1.47/1.56 c core #325 1.47/1.56 c 1.47/1.56 c 1.47/1.56 c Core size: 387 Core Weight: 1 Total Weight: 325 1.47/1.56 c Current CPU time: 1.39279 s 1.47/1.56 c 1.47/1.56 c ============================[ Search Statistics ]============================== 1.47/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.47/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.47/1.56 c =============================================================================== 1.47/1.56 c | 0 | 4323 5199 16306 | 5000 0 -nan | 0.000 % | 1.47/1.56 c | 100 | 4322 5199 16306 | 5500 100 30 | 0.507 % | 1.47/1.57 c | 255 | 4322 5199 16306 | 6050 255 30 | 0.507 % | 1.47/1.57 c | 485 | 4321 5199 16306 | 6655 485 32 | 0.507 % | 1.47/1.58 c | 822 | 4321 5199 16306 | 7320 822 30 | 0.507 % | 1.47/1.59 c | 1330 | 4321 5199 16306 | 8052 1330 27 | 0.507 % | 1.56/1.61 c | 2089 | 4321 5199 16306 | 8857 2089 28 | 0.507 % | 1.56/1.64 c | 3228 | 4319 5199 16306 | 9743 3228 28 | 0.553 % | 1.67/1.71 c | 4944 | 4319 5199 16306 | 10717 4944 32 | 0.553 % | 1.77/1.82 c | 7506 | 4319 5199 16306 | 11789 7506 33 | 0.553 % | 1.86/1.94 c | 11350 | 4319 5199 16306 | 12968 11350 33 | 0.553 % | 2.08/2.17 c | 17116 | 4317 5199 16306 | 14265 10578 36 | 0.599 % | 2.67/2.79 c | 25766 | 4286 5199 16306 | 15692 11633 53 | 2.326 % | 4.57/4.63 c | 38742 | 4237 5199 16306 | 17261 8731 117 | 2.579 % | 7.86/7.96 c | 58204 | 4231 5199 16306 | 18987 10532 157 | 2.579 % | 10.17/10.28 c =============================================================================== 10.37/10.49 c core #326 10.37/10.49 c 10.37/10.49 c 10.37/10.49 c Core size: 465 Core Weight: 1 Total Weight: 326 10.37/10.49 c Current CPU time: 10.0125 s 10.37/10.49 c 10.37/10.49 c ============================[ Search Statistics ]============================== 10.37/10.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.37/10.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.37/10.49 c =============================================================================== 10.37/10.49 c | 0 | 4750 5239 17251 | 5000 0 -nan | 0.000 % | 10.37/10.49 c | 101 | 4750 5239 17251 | 5500 101 12 | 0.419 % | 10.37/10.49 c | 252 | 4750 5239 17251 | 6050 252 26 | 0.419 % | 10.47/10.50 c | 477 | 4750 5239 17251 | 6655 477 23 | 0.419 % | 10.47/10.51 c | 814 | 4750 5239 17251 | 7320 814 26 | 0.419 % | 10.47/10.52 c | 1322 | 4750 5239 17251 | 8052 1322 24 | 0.419 % | 10.47/10.54 c | 2082 | 4750 5239 17251 | 8857 2082 26 | 0.419 % | 10.47/10.57 c | 3225 | 4750 5239 17251 | 9743 3225 29 | 0.419 % | 10.57/10.68 c | 4933 | 4750 5239 17251 | 10717 4933 38 | 0.419 % | 10.77/10.82 c | 7501 | 4750 5239 17251 | 11789 7501 41 | 0.419 % | 10.89/10.98 c | 11345 | 4750 5239 17251 | 12968 11345 37 | 0.419 % | 11.17/11.26 c | 17114 | 4750 5239 17251 | 14265 10052 56 | 0.419 % | 12.37/12.48 c | 25764 | 4748 5239 17251 | 15692 11444 112 | 0.461 % | 14.29/14.35 c =============================================================================== 14.37/14.44 c core #327 14.37/14.44 c 14.37/14.44 c 14.37/14.44 c Core size: 371 Core Weight: 1 Total Weight: 327 14.37/14.44 c Current CPU time: 13.8559 s 14.37/14.44 c 14.37/14.44 c ============================[ Search Statistics ]============================== 14.37/14.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.37/14.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.37/14.44 c =============================================================================== 14.37/14.44 c | 0 | 5111 5279 18061 | 5000 0 -nan | 0.000 % | 14.37/14.44 c | 100 | 5111 5279 18061 | 5500 100 29 | 0.390 % | 14.37/14.45 c | 251 | 5111 5279 18061 | 6050 251 24 | 0.390 % | 14.37/14.46 c | 480 | 5111 5279 18061 | 6655 480 25 | 0.390 % | 14.37/14.47 c | 820 | 5111 5279 18061 | 7320 820 22 | 0.390 % | 14.37/14.48 c | 1326 | 5111 5279 18061 | 8052 1326 27 | 0.390 % | 14.47/14.50 c | 2088 | 5111 5279 18061 | 8857 2088 32 | 0.390 % | 14.47/14.53 c | 3228 | 5111 5279 18061 | 9743 3228 31 | 0.390 % | 14.47/14.58 c | 4937 | 5111 5279 18061 | 10717 4937 34 | 0.390 % | 14.57/14.70 c | 7505 | 5111 5279 18061 | 11789 7505 40 | 0.390 % | 14.87/14.99 c | 11350 | 5111 5279 18061 | 12968 11350 52 | 0.390 % | 15.47/15.58 c | 17116 | 5111 5279 18061 | 14265 10501 72 | 0.390 % | 16.27/16.38 c | 25766 | 5111 5279 18061 | 15692 11392 89 | 0.390 % | 16.97/17.07 c | 38740 | 5109 5279 18061 | 17261 16428 65 | 0.429 % | 19.27/19.38 c | 58206 | 5109 5279 18061 | 18987 9312 52 | 0.429 % | 23.17/23.24 c | 87400 | 5105 5279 18061 | 20886 18137 68 | 0.507 % | 28.67/28.78 c | 131193 | 5103 5279 18061 | 22974 18506 144 | 0.546 % | 39.37/39.47 c | 196877 | 5103 5279 18061 | 25272 12658 199 | 0.546 % | 60.07/60.11 c | 295405 | 5101 5279 18061 | 27799 15133 73 | 0.585 % | 83.87/83.90 c | 443200 | 5095 5279 18061 | 30579 17877 113 | 0.702 % | 136.77/136.84 c | 664883 | 5095 5279 18061 | 33637 25503 94 | 0.702 % | 191.98/192.07 c | 997408 | 5087 5279 18061 | 37001 15227 84 | 0.858 % | 301.29/301.32 c | 1496196 | 5083 5279 18061 | 40701 24855 90 | 0.935 % | 491.28/491.31 c | 2244380 | 5073 5279 18061 | 44771 33117 72 | 1.131 % | 623.78/623.82 c =============================================================================== 630.58/630.69 c core #328 630.58/630.69 c 630.58/630.69 c 630.58/630.69 c Core size: 350 Core Weight: 1 Total Weight: 328 630.58/630.69 c Current CPU time: 623.518 s 630.58/630.69 c 630.58/630.69 c ============================[ Search Statistics ]============================== 630.58/630.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 630.58/630.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 630.58/630.69 c =============================================================================== 630.58/630.69 c | 0 | 5415 5453 19015 | 5000 0 -nan | 0.000 % | 630.68/630.70 c | 100 | 5415 5453 19015 | 5500 100 27 | 0.368 % | 630.68/630.71 c | 251 | 5415 5453 19015 | 6050 251 32 | 0.368 % | 630.68/630.72 c | 476 | 5415 5453 19015 | 6655 476 27 | 0.368 % | 630.68/630.73 c | 816 | 5415 5453 19015 | 7320 816 33 | 0.368 % | 630.68/630.74 c | 1324 | 5415 5453 19015 | 8052 1324 30 | 0.368 % | 630.68/630.77 c | 2084 | 5415 5453 19015 | 8857 2084 31 | 0.368 % | 630.78/630.82 c | 3223 | 5415 5453 19015 | 9743 3223 37 | 0.368 % | 630.78/630.86 c | 4931 | 5415 5453 19015 | 10717 4931 36 | 0.368 % | 630.98/631.00 c | 7493 | 5415 5453 19015 | 11789 7493 37 | 0.368 % | 631.18/631.23 c | 11337 | 5415 5453 19015 | 12968 11337 45 | 0.368 % | 631.58/631.62 c | 17104 | 5415 5453 19015 | 14265 9938 80 | 0.368 % | 632.08/632.15 c | 25753 | 5415 5453 19015 | 15692 10651 80 | 0.368 % | 634.60/634.71 c | 38727 | 5415 5453 19015 | 17261 15517 130 | 0.368 % | 637.18/637.21 c | 58190 | 5415 5453 19015 | 18987 16657 192 | 0.368 % | 640.58/640.68 c | 87382 | 5415 5453 19015 | 20886 15502 58 | 0.368 % | 650.00/650.09 c | 131171 | 5415 5453 19015 | 22974 16021 172 | 0.368 % | 660.58/660.63 c | 196855 | 5415 5453 19015 | 25272 22036 289 | 0.368 % | 679.98/680.06 c | 295381 | 5415 5453 19015 | 27799 12218 72 | 0.368 % | 710.68/710.71 c | 443176 | 5415 5453 19015 | 30579 20026 256 | 0.368 % | 769.79/769.85 c | 664860 | 5415 5453 19015 | 33637 17885 355 | 0.368 % | 849.20/849.28 c | 997386 | 5413 5453 19015 | 37001 17819 55 | 0.405 % | 1005.18/1005.26 c | 1496175 | 5412 5453 19015 | 40701 27055 364 | 0.423 % | 1238.09/1238.13 c | 2244359 | 5412 5453 19015 | 44771 33898 118 | 0.423 % | 1535.70/1535.74 c | 3366634 | 5409 5453 19015 | 49248 26493 81 | 0.478 % |
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-3460939-1307083260/watcher-3460939-1307083260 -o /tmp/evaluation-result-3460939-1307083260/solver-3460939-1307083260 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460939-1307083260.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 1.99 2/561 27851 /proc/meminfo: memFree=30207468/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/27851/stat : 27851 (runsolver) R 27849 27851 24081 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 1 0 819924728 12079104 51 33554432000 4194304 5432328 140734459063376 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0 /proc/27851/statm: 2949 51 31 303 0 2643 0 [startup+0.045496 s] /proc/loadavg: 1.92 2.00 1.99 2/561 27851 /proc/meminfo: memFree=30207468/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=3600 CPUtime=0.02 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 707 0 0 0 2 0 0 0 25 0 1 0 819924728 3686400 634 33554432000 4194304 5714214 140735282201664 18446744073709551615 4964962 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 900 634 175 372 0 525 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3600 [startup+0.100487 s] /proc/loadavg: 1.92 2.00 1.99 2/561 27851 /proc/meminfo: memFree=30207468/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=3684 CPUtime=0.07 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 745 0 0 0 7 0 0 0 25 0 1 0 819924728 3772416 672 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319190 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 921 672 175 372 0 546 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3684 [startup+0.300454 s] /proc/loadavg: 1.92 2.00 1.99 2/561 27851 /proc/meminfo: memFree=30207468/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=4908 CPUtime=0.27 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 1290 0 0 0 27 0 0 0 25 0 1 0 819924728 5025792 988 33554432000 4194304 5714214 140735282201664 18446744073709551615 4968901 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 1227 988 175 372 0 852 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 4908 [startup+0.700387 s] /proc/loadavg: 1.92 2.00 1.99 2/561 27851 /proc/meminfo: memFree=30207468/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=7440 CPUtime=0.67 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 2143 0 0 0 65 2 0 0 25 0 1 0 819924728 7618560 1598 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 1860 1598 180 372 0 1485 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 7440 [startup+1.50025 s] /proc/loadavg: 1.92 2.00 1.99 3/562 27852 /proc/meminfo: memFree=30196300/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=9024 CPUtime=1.47 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 2545 0 0 0 133 14 0 0 25 0 1 0 819924728 9240576 2000 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 2256 2000 180 372 0 1881 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 9024 [startup+3.10104 s] /proc/loadavg: 1.92 2.00 1.99 3/562 27852 /proc/meminfo: memFree=30190348/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=15756 CPUtime=3.07 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 4234 0 0 0 283 24 0 0 25 0 1 0 819924728 16134144 3653 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 3939 3653 180 372 0 3564 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 15756 [startup+6.3005 s] /proc/loadavg: 2.01 2.01 2.00 3/562 27852 /proc/meminfo: memFree=30175520/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=24376 CPUtime=6.27 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 6397 0 0 0 595 32 0 0 25 0 1 0 819924728 24961024 5816 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 6094 5816 180 372 0 5719 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 24376 [startup+12.7004 s] /proc/loadavg: 2.01 2.01 2.00 3/562 27852 /proc/meminfo: memFree=30159568/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=31884 CPUtime=12.67 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 8407 0 0 0 1218 49 0 0 25 0 1 0 819924728 32649216 7708 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 7971 7708 180 372 0 7596 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 31884 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.00 3/562 27853 /proc/meminfo: memFree=30146280/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=35200 CPUtime=25.47 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 9341 0 0 0 2468 79 0 0 25 0 1 0 819924728 36044800 8566 33554432000 4194304 5714214 140735282201664 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 8800 8566 180 372 0 8425 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 35200 [startup+51.101 s] /proc/loadavg: 2.00 2.01 2.00 3/562 27854 /proc/meminfo: memFree=30084836/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=71204 CPUtime=51.07 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 18322 0 0 0 4985 122 0 0 25 0 1 0 819924728 72912896 17547 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 17801 17547 180 372 0 17426 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71204 [startup+102.321 s] /proc/loadavg: 2.00 2.00 2.00 3/562 27855 /proc/meminfo: memFree=30019960/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=136032 CPUtime=102.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 34324 0 0 0 10033 196 0 0 25 0 1 0 819924728 139296768 33549 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 34008 33549 180 372 0 33633 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 136032 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/562 27856 /proc/meminfo: memFree=29967992/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=168104 CPUtime=162.27 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 42181 0 0 0 15954 273 0 0 25 0 1 0 819924728 172138496 41406 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 42026 41406 180 372 0 41651 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 168104 [startup+222.3 s] /proc/loadavg: 2.18 2.04 2.01 3/562 27858 /proc/meminfo: memFree=29892832/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=216016 CPUtime=222.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 53959 0 0 0 21895 333 0 0 25 0 1 0 819924728 221200384 53184 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 54004 53184 180 372 0 53629 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 216016 [startup+282.301 s] /proc/loadavg: 2.18 2.07 2.02 3/562 27860 /proc/meminfo: memFree=29836272/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=253228 CPUtime=282.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 63038 0 0 0 27851 377 0 0 25 0 1 0 819924728 259305472 62263 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 63307 62263 180 372 0 62932 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 253228 [startup+342.301 s] /proc/loadavg: 2.06 2.05 2.01 3/562 27861 /proc/meminfo: memFree=29765576/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=302284 CPUtime=342.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 74980 0 0 0 33789 439 0 0 25 0 1 0 819924728 309538816 74205 33554432000 4194304 5714214 140735282201664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 75571 74205 180 372 0 75196 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 302284 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.01 3/562 27863 /proc/meminfo: memFree=29707524/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=337512 CPUtime=402.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 83641 0 0 0 39755 473 0 0 25 0 1 0 819924728 345612288 82866 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 84378 82866 180 372 0 84003 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 337512 [startup+462.301 s] /proc/loadavg: 2.01 2.03 2.00 3/562 27864 /proc/meminfo: memFree=29655064/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=367748 CPUtime=462.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 91150 0 0 0 45723 505 0 0 25 0 1 0 819924728 376573952 90375 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 91937 90375 180 372 0 91562 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 367748 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27866 /proc/meminfo: memFree=29548276/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=400988 CPUtime=522.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 99408 0 0 0 51688 540 0 0 25 0 1 0 819924728 410611712 98633 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 100247 98633 180 372 0 99872 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 400988 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27868 /proc/meminfo: memFree=29516492/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=431220 CPUtime=582.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 106951 0 0 0 57658 570 0 0 25 0 1 0 819924728 441569280 106176 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 107805 106176 180 372 0 107430 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 431220 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.06 2.02 2.00 3/562 27874 /proc/meminfo: memFree=29478836/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=822.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116069 0 0 0 81451 778 0 0 25 0 1 0 819924728 476721152 115204 33554432000 4194304 5714214 140735282201664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115204 180 372 0 116012 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 465548 [startup+882.3 s] /proc/loadavg: 2.15 2.05 2.01 3/562 27876 /proc/meminfo: memFree=29477452/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=882.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116253 0 0 0 87407 822 0 0 25 0 1 0 819924728 476721152 115388 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115388 180 372 0 116012 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 465548 [startup+942.3 s] /proc/loadavg: 2.09 2.06 2.01 3/562 27877 /proc/meminfo: memFree=29477676/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=942.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116300 0 0 0 93353 875 0 0 25 0 1 0 819924728 476721152 115435 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115435 180 372 0 116012 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 465548 [startup+1002.3 s] /proc/loadavg: 2.03 2.04 2.01 3/562 27879 /proc/meminfo: memFree=29476536/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1002.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116520 0 0 0 99319 910 0 0 25 0 1 0 819924728 476721152 115655 33554432000 4194304 5714214 140735282201664 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115655 180 372 0 116012 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 465548 [startup+1062.3 s] /proc/loadavg: 2.01 2.03 2.00 3/562 27880 /proc/meminfo: memFree=29476404/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1062.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116526 0 0 0 105276 953 0 0 25 0 1 0 819924728 476721152 115661 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115661 180 372 0 116012 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 465548 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27882 /proc/meminfo: memFree=29476144/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1122.28 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116589 0 0 0 111235 993 0 0 25 0 1 0 819924728 476721152 115724 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115724 180 372 0 116012 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 465548 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27884 /proc/meminfo: memFree=29475876/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1182.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116609 0 0 0 117203 1026 0 0 25 0 1 0 819924728 476721152 115744 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115744 180 372 0 116012 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 465548 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/562 27894 /proc/meminfo: memFree=29472000/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1242.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116737 0 0 0 123167 1062 0 0 25 0 1 0 819924728 476721152 115872 33554432000 4194304 5714214 140735282201664 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 115872 180 372 0 116012 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 465548 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/562 27896 /proc/meminfo: memFree=29451144/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=465548 CPUtime=1302.31 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 116987 0 0 0 129138 1093 0 0 25 0 1 0 819924728 476721152 116122 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 116387 116122 180 372 0 116012 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 465548 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/562 27897 /proc/meminfo: memFree=29417396/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=476412 CPUtime=1362.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 119657 0 0 0 135110 1119 0 0 25 0 1 0 819924728 487845888 118792 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 119103 118792 180 372 0 118728 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 476412 [startup+1422.32 s] /proc/loadavg: 2.25 2.07 2.02 3/562 27902 /proc/meminfo: memFree=29370692/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=505276 CPUtime=1422.31 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 126764 0 0 0 141083 1148 0 0 25 0 1 0 819924728 517402624 125899 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 126319 125899 180 372 0 125944 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 505276 [startup+1482.3 s] /proc/loadavg: 2.14 2.07 2.02 3/562 27904 /proc/meminfo: memFree=29310388/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=542900 CPUtime=1482.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 136056 0 0 0 147045 1184 0 0 25 0 1 0 819924728 555929600 135191 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 135725 135191 180 372 0 135350 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 542900 [startup+1542.3 s] /proc/loadavg: 2.05 2.06 2.02 3/562 27905 /proc/meminfo: memFree=29250100/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=581208 CPUtime=1542.3 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 145473 0 0 0 153006 1224 0 0 25 0 1 0 819924728 595156992 144608 33554432000 4194304 5714214 140735282201664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 145302 144608 180 372 0 144927 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 581208 [startup+1602.3 s] /proc/loadavg: 2.02 2.04 2.01 3/562 27907 /proc/meminfo: memFree=29194520/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=623932 CPUtime=1602.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 155877 0 0 0 158980 1249 0 0 25 0 1 0 819924728 638906368 155012 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 155983 155012 180 372 0 155608 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 623932 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/562 27908 /proc/meminfo: memFree=29153956/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=645008 CPUtime=1662.29 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 161139 0 0 0 164959 1270 0 0 25 0 1 0 819924728 660488192 160274 33554432000 4194304 5714214 140735282201664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 161252 160274 180 372 0 160877 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 645008 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27910 /proc/meminfo: memFree=29112160/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=668772 CPUtime=1722.3 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 166774 0 0 0 170938 1292 0 0 25 0 1 0 819924728 684822528 165909 33554432000 4194304 5714214 140735282201664 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 167193 165909 180 372 0 166818 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 668772 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/562 27912 /proc/meminfo: memFree=29072344/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=687072 CPUtime=1782.3 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 171322 0 0 0 176918 1312 0 0 25 0 1 0 819924728 703561728 170457 33554432000 4194304 5714214 140735282201664 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 171768 170457 180 372 0 171393 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 687072 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 2/560 27913 /proc/meminfo: memFree=29512680/32950928 swapFree=41528364/67111528 [pid=27851] ppid=27849 vsize=693380 CPUtime=1800.02 cores=1,3,5,7 /proc/27851/stat : 27851 (wbo1.6) R 27849 27851 24081 0 -1 4202496 172852 0 0 0 178685 1317 0 0 25 0 1 0 819924728 710021120 171987 33554432000 4194304 5714214 140735282201664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27851/statm: 173345 171987 180 372 0 172970 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 693380 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.05 CPU time (s): 1800.06 CPU user time (s): 1786.86 CPU system time (s): 13.2 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 693380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.86 system time used= 13.2 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 172852 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= 38 involuntary context switches= 1947 runsolver used 10.0695 second user time and 22.8775 second system time The end
Begin job on node126 at 2011-06-03 08:41:00 IDJOB=3460939 IDBENCH=2065 IDSOLVER=1953 FILE ID=node126/3460939-1307083260 RUNJOBID= node126-1307077852-27211 PBS_JOBID= 13497860 Free space on /tmp= 73788 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460939-1307083260/watcher-3460939-1307083260 -o /tmp/evaluation-result-3460939-1307083260/solver-3460939-1307083260 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460939-1307083260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e79c956fa387b090702a2dffba5fa8e9 RANDOM SEED=1334254369 node126.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.783 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.56 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.783 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.783 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.80 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.783 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.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30207756 kB Buffers: 266816 kB Cached: 399968 kB SwapCached: 15328 kB Active: 2050524 kB Inactive: 375312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30207756 kB SwapTotal: 67111528 kB SwapFree: 41528364 kB Dirty: 8536 kB Writeback: 0 kB AnonPages: 1756608 kB Mapped: 24432 kB Slab: 146488 kB PageTables: 99704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 176400836 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= 73784 MiB End job on node126 at 2011-06-03 09:11:02