Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.14 | 1800.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8e1.opb |
MD5SUM | 9711add7b63200e6cedabbc5764a3737 |
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.11 |
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 | 1040 |
Total number of constraints | 3656 |
Number of constraints which are clauses | 3656 |
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 | 1040 |
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 | 1040 |
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 | 1040 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3460940-1307085970.opb. 0.00/0.01 c Instance file HOME/instance-3460940-1307085970.opb 0.00/0.01 c File size is 100790 bytes. 0.00/0.01 c Highest Coefficient sum: 11 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1040 | 0.00/0.01 c | Number Clauses: 3656 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1040 3656 8440 | 5000 0 -nan | 0.000 % | 0.00/0.05 c core #1 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.05 c Current CPU time: 0.008998 s 0.00/0.05 c 0.00/0.05 c core #2 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.05 c Current CPU time: 0.009998 s 0.00/0.05 c 0.00/0.05 c core #3 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.05 c Current CPU time: 0.010998 s 0.00/0.05 c 0.00/0.05 c core #4 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.05 c Current CPU time: 0.011998 s 0.00/0.05 c 0.00/0.05 c core #5 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.05 c Current CPU time: 0.012998 s 0.00/0.05 c 0.00/0.05 c core #6 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.05 c Current CPU time: 0.013997 s 0.00/0.05 c 0.00/0.05 c core #7 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.05 c Current CPU time: 0.014997 s 0.00/0.05 c 0.00/0.05 c core #8 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.05 c Current CPU time: 0.015997 s 0.00/0.05 c 0.00/0.05 c core #9 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.05 c Current CPU time: 0.017997 s 0.00/0.05 c 0.00/0.05 c core #10 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.05 c Current CPU time: 0.018997 s 0.00/0.05 c 0.00/0.05 c core #11 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.05 c Current CPU time: 0.019996 s 0.00/0.05 c 0.00/0.05 c core #12 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.05 c Current CPU time: 0.020996 s 0.00/0.05 c 0.00/0.05 c core #13 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.05 c Current CPU time: 0.021996 s 0.00/0.05 c 0.00/0.05 c core #14 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.05 c Current CPU time: 0.022996 s 0.00/0.05 c 0.00/0.05 c core #15 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.05 c Current CPU time: 0.023996 s 0.00/0.05 c 0.00/0.05 c core #16 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.05 c Current CPU time: 0.024996 s 0.00/0.05 c 0.00/0.05 c core #17 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.05 c Current CPU time: 0.025996 s 0.00/0.05 c 0.00/0.05 c core #18 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.05 c Current CPU time: 0.026995 s 0.00/0.05 c 0.00/0.05 c core #19 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.05 c Current CPU time: 0.027995 s 0.00/0.05 c 0.00/0.05 c core #20 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.05 c Current CPU time: 0.028995 s 0.00/0.05 c 0.00/0.05 c core #21 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.05 c Current CPU time: 0.029995 s 0.00/0.05 c 0.00/0.05 c core #22 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.05 c Current CPU time: 0.030995 s 0.00/0.05 c 0.00/0.05 c core #23 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.05 c Current CPU time: 0.031995 s 0.00/0.05 c 0.00/0.05 c core #24 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.05 c Current CPU time: 0.032994 s 0.00/0.05 c 0.00/0.05 c core #25 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.05 c Current CPU time: 0.033994 s 0.00/0.05 c 0.00/0.05 c core #26 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.05 c Current CPU time: 0.034994 s 0.00/0.05 c 0.00/0.05 c core #27 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.05 c Current CPU time: 0.035994 s 0.00/0.05 c 0.00/0.05 c core #28 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.05 c Current CPU time: 0.037994 s 0.00/0.05 c 0.00/0.05 c core #29 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.05 c Current CPU time: 0.038994 s 0.00/0.05 c 0.00/0.05 c core #30 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.05 c Current CPU time: 0.039993 s 0.00/0.05 c 0.00/0.05 c core #31 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.05 c Current CPU time: 0.040993 s 0.00/0.05 c 0.00/0.05 c core #32 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.05 c Current CPU time: 0.041993 s 0.00/0.05 c 0.00/0.05 c core #33 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.05 c Current CPU time: 0.042993 s 0.00/0.05 c 0.00/0.05 c core #34 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.05 c Current CPU time: 0.043993 s 0.00/0.05 c 0.00/0.05 c core #35 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.05 c Current CPU time: 0.044993 s 0.00/0.05 c 0.00/0.05 c core #36 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.05 c Current CPU time: 0.045993 s 0.00/0.05 c 0.00/0.05 c core #37 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.05 c Current CPU time: 0.046992 s 0.00/0.05 c 0.00/0.05 c core #38 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.05 c Current CPU time: 0.047992 s 0.00/0.05 c 0.00/0.05 c core #39 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.05 c Current CPU time: 0.048992 s 0.00/0.05 c 0.00/0.05 c core #40 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.05 c Current CPU time: 0.049992 s 0.00/0.05 c 0.00/0.05 c core #41 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c core #42 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.05 c Current CPU time: 0.052991 s 0.00/0.05 c 0.00/0.05 c core #43 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.10 c Current CPU time: 0.053991 s 0.00/0.10 c 0.00/0.10 c core #44 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 44 0.00/0.10 c Current CPU time: 0.054991 s 0.00/0.10 c 0.00/0.10 c core #45 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.10 c Current CPU time: 0.055991 s 0.00/0.10 c 0.00/0.10 c core #46 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.10 c Current CPU time: 0.056991 s 0.00/0.10 c 0.00/0.10 c core #47 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.10 c Current CPU time: 0.057991 s 0.00/0.10 c 0.00/0.10 c core #48 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.10 c Current CPU time: 0.058991 s 0.00/0.10 c 0.00/0.10 c core #49 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.10 c Current CPU time: 0.05999 s 0.00/0.10 c 0.00/0.10 c core #50 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 50 0.00/0.10 c Current CPU time: 0.06099 s 0.00/0.10 c 0.00/0.10 c core #51 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.10 c Current CPU time: 0.06199 s 0.00/0.10 c 0.00/0.10 c core #52 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.10 c Current CPU time: 0.06299 s 0.00/0.10 c 0.00/0.10 c core #53 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 53 0.00/0.10 c Current CPU time: 0.06499 s 0.00/0.10 c 0.00/0.10 c core #54 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.10 c Current CPU time: 0.065989 s 0.00/0.10 c 0.00/0.10 c core #55 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.10 c Current CPU time: 0.066989 s 0.00/0.10 c 0.00/0.10 c core #56 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 56 0.00/0.10 c Current CPU time: 0.067989 s 0.00/0.10 c 0.00/0.10 c core #57 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 57 0.00/0.10 c Current CPU time: 0.068989 s 0.00/0.10 c 0.00/0.10 c core #58 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 58 0.00/0.10 c Current CPU time: 0.069989 s 0.00/0.10 c 0.00/0.10 c core #59 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 59 0.00/0.10 c Current CPU time: 0.070989 s 0.00/0.10 c 0.00/0.10 c core #60 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.10 c Current CPU time: 0.071989 s 0.00/0.10 c 0.00/0.10 c core #61 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 61 0.00/0.10 c Current CPU time: 0.072988 s 0.00/0.10 c 0.00/0.10 c core #62 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 62 0.00/0.10 c Current CPU time: 0.073988 s 0.00/0.10 c 0.00/0.10 c core #63 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 63 0.00/0.10 c Current CPU time: 0.075988 s 0.00/0.10 c 0.00/0.10 c core #64 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 64 0.00/0.10 c Current CPU time: 0.076988 s 0.00/0.10 c 0.00/0.10 c core #65 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 65 0.00/0.10 c Current CPU time: 0.077988 s 0.00/0.10 c 0.00/0.10 c core #66 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 66 0.00/0.10 c Current CPU time: 0.078987 s 0.00/0.10 c 0.00/0.10 c core #67 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 67 0.00/0.10 c Current CPU time: 0.079987 s 0.00/0.10 c 0.00/0.10 c core #68 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 68 0.00/0.10 c Current CPU time: 0.080987 s 0.00/0.10 c 0.00/0.10 c core #69 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 69 0.00/0.10 c Current CPU time: 0.081987 s 0.00/0.10 c 0.00/0.10 c core #70 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 70 0.00/0.10 c Current CPU time: 0.082987 s 0.00/0.10 c 0.00/0.10 c core #71 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 71 0.00/0.10 c Current CPU time: 0.084987 s 0.00/0.10 c 0.00/0.10 c core #72 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 72 0.00/0.10 c Current CPU time: 0.085986 s 0.00/0.10 c 0.00/0.10 c core #73 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 73 0.00/0.10 c Current CPU time: 0.086986 s 0.00/0.10 c 0.00/0.10 c core #74 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 74 0.00/0.10 c Current CPU time: 0.087986 s 0.00/0.10 c 0.00/0.10 c core #75 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 75 0.00/0.10 c Current CPU time: 0.088986 s 0.00/0.10 c 0.00/0.10 c core #76 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 76 0.00/0.10 c Current CPU time: 0.089986 s 0.00/0.10 c 0.00/0.10 c core #77 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 77 0.00/0.10 c Current CPU time: 0.090986 s 0.00/0.10 c 0.00/0.10 c core #78 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 78 0.00/0.10 c Current CPU time: 0.091986 s 0.00/0.10 c 0.00/0.10 c core #79 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 79 0.00/0.10 c Current CPU time: 0.093985 s 0.00/0.10 c 0.00/0.10 c core #80 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: 80 0.00/0.10 c Current CPU time: 0.094985 s 0.00/0.10 c 0.00/0.10 c core #81 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 9 Core Weight: 1 Total Weight: 81 0.00/0.10 c Current CPU time: 0.095985 s 0.00/0.10 c 0.00/0.10 c core #82 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 9 Core Weight: 1 Total Weight: 82 0.00/0.10 c Current CPU time: 0.096985 s 0.00/0.10 c 0.00/0.10 c core #83 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 9 Core Weight: 1 Total Weight: 83 0.00/0.10 c Current CPU time: 0.097985 s 0.00/0.10 c 0.00/0.10 c core #84 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 9 Core Weight: 1 Total Weight: 84 0.00/0.10 c Current CPU time: 0.098984 s 0.00/0.10 c 0.00/0.10 c core #85 0.00/0.10 c 0.00/0.10 c 0.00/0.10 c Core size: 9 Core Weight: 1 Total Weight: 85 0.00/0.10 c Current CPU time: 0.100984 s 0.10/0.15 c 0.10/0.15 c core #86 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 86 0.10/0.15 c Current CPU time: 0.101984 s 0.10/0.15 c 0.10/0.15 c core #87 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 87 0.10/0.15 c Current CPU time: 0.102984 s 0.10/0.15 c 0.10/0.15 c core #88 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 88 0.10/0.15 c Current CPU time: 0.103984 s 0.10/0.15 c 0.10/0.15 c core #89 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 89 0.10/0.15 c Current CPU time: 0.104984 s 0.10/0.15 c 0.10/0.15 c core #90 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 9 Core Weight: 1 Total Weight: 90 0.10/0.15 c Current CPU time: 0.105983 s 0.10/0.15 c 0.10/0.15 c core #91 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 91 0.10/0.15 c Current CPU time: 0.107983 s 0.10/0.15 c 0.10/0.15 c core #92 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 92 0.10/0.15 c Current CPU time: 0.108983 s 0.10/0.15 c 0.10/0.15 c core #93 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 93 0.10/0.15 c Current CPU time: 0.109983 s 0.10/0.15 c 0.10/0.15 c core #94 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 94 0.10/0.15 c Current CPU time: 0.110983 s 0.10/0.15 c 0.10/0.15 c core #95 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 95 0.10/0.15 c Current CPU time: 0.112982 s 0.10/0.15 c 0.10/0.15 c core #96 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 96 0.10/0.15 c Current CPU time: 0.113982 s 0.10/0.15 c 0.10/0.15 c core #97 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 97 0.10/0.15 c Current CPU time: 0.114982 s 0.10/0.15 c 0.10/0.15 c core #98 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 98 0.10/0.15 c Current CPU time: 0.115982 s 0.10/0.15 c 0.10/0.15 c core #99 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 99 0.10/0.15 c Current CPU time: 0.117982 s 0.10/0.15 c 0.10/0.15 c core #100 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 100 0.10/0.15 c Current CPU time: 0.118981 s 0.10/0.15 c 0.10/0.15 c core #101 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 101 0.10/0.15 c Current CPU time: 0.119981 s 0.10/0.15 c 0.10/0.15 c core #102 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 102 0.10/0.15 c Current CPU time: 0.121981 s 0.10/0.15 c 0.10/0.15 c core #103 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 103 0.10/0.15 c Current CPU time: 0.122981 s 0.10/0.15 c 0.10/0.15 c core #104 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 104 0.10/0.15 c Current CPU time: 0.123981 s 0.10/0.15 c 0.10/0.15 c core #105 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 105 0.10/0.15 c Current CPU time: 0.124981 s 0.10/0.15 c 0.10/0.15 c core #106 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 106 0.10/0.15 c Current CPU time: 0.12698 s 0.10/0.15 c 0.10/0.15 c core #107 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 107 0.10/0.15 c Current CPU time: 0.12798 s 0.10/0.15 c 0.10/0.15 c core #108 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 108 0.10/0.15 c Current CPU time: 0.12898 s 0.10/0.15 c 0.10/0.15 c core #109 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 109 0.10/0.15 c Current CPU time: 0.13098 s 0.10/0.15 c 0.10/0.15 c core #110 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 110 0.10/0.15 c Current CPU time: 0.131979 s 0.10/0.15 c 0.10/0.15 c core #111 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 111 0.10/0.15 c Current CPU time: 0.132979 s 0.10/0.15 c 0.10/0.15 c core #112 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 112 0.10/0.15 c Current CPU time: 0.133979 s 0.10/0.15 c 0.10/0.15 c core #113 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 113 0.10/0.15 c Current CPU time: 0.135979 s 0.10/0.15 c 0.10/0.15 c core #114 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 114 0.10/0.15 c Current CPU time: 0.136979 s 0.10/0.15 c 0.10/0.15 c core #115 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 115 0.10/0.15 c Current CPU time: 0.138978 s 0.10/0.15 c 0.10/0.15 c core #116 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 116 0.10/0.15 c Current CPU time: 0.139978 s 0.10/0.15 c 0.10/0.15 c core #117 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 117 0.10/0.15 c Current CPU time: 0.140978 s 0.10/0.15 c 0.10/0.15 c core #118 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 118 0.10/0.15 c Current CPU time: 0.142978 s 0.10/0.15 c 0.10/0.15 c core #119 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 119 0.10/0.15 c Current CPU time: 0.143978 s 0.10/0.15 c 0.10/0.15 c core #120 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 120 0.10/0.15 c Current CPU time: 0.144977 s 0.10/0.15 c 0.10/0.15 c core #121 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 121 0.10/0.15 c Current CPU time: 0.146977 s 0.10/0.15 c 0.10/0.15 c core #122 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 122 0.10/0.15 c Current CPU time: 0.147977 s 0.10/0.15 c 0.10/0.15 c core #123 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 123 0.10/0.15 c Current CPU time: 0.149977 s 0.10/0.15 c 0.10/0.15 c core #124 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 124 0.10/0.15 c Current CPU time: 0.150977 s 0.10/0.15 c 0.10/0.15 c core #125 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 125 0.10/0.15 c Current CPU time: 0.151976 s 0.10/0.15 c 0.10/0.15 c core #126 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c Core size: 11 Core Weight: 1 Total Weight: 126 0.10/0.15 c Current CPU time: 0.153976 s 0.10/0.15 c 0.10/0.15 c core #127 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 127 0.19/0.22 c Current CPU time: 0.154976 s 0.19/0.22 c 0.19/0.22 c core #128 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 128 0.19/0.22 c Current CPU time: 0.156976 s 0.19/0.22 c 0.19/0.22 c core #129 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 129 0.19/0.22 c Current CPU time: 0.157975 s 0.19/0.22 c 0.19/0.22 c core #130 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 130 0.19/0.22 c Current CPU time: 0.158975 s 0.19/0.22 c 0.19/0.22 c core #131 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 131 0.19/0.22 c Current CPU time: 0.160975 s 0.19/0.22 c 0.19/0.22 c core #132 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 132 0.19/0.22 c Current CPU time: 0.161975 s 0.19/0.22 c 0.19/0.22 c core #133 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 22 Core Weight: 1 Total Weight: 133 0.19/0.22 c Current CPU time: 0.163975 s 0.19/0.22 c 0.19/0.22 c core #134 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 134 0.19/0.22 c Current CPU time: 0.164974 s 0.19/0.22 c 0.19/0.22 c core #135 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 135 0.19/0.22 c Current CPU time: 0.166974 s 0.19/0.22 c 0.19/0.22 c core #136 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 136 0.19/0.22 c Current CPU time: 0.167974 s 0.19/0.22 c 0.19/0.22 c core #137 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 137 0.19/0.22 c Current CPU time: 0.169974 s 0.19/0.22 c 0.19/0.22 c core #138 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 138 0.19/0.22 c Current CPU time: 0.170974 s 0.19/0.22 c 0.19/0.22 c core #139 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 139 0.19/0.22 c Current CPU time: 0.172973 s 0.19/0.22 c 0.19/0.22 c core #140 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 140 0.19/0.22 c Current CPU time: 0.173973 s 0.19/0.22 c 0.19/0.22 c core #141 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 141 0.19/0.22 c Current CPU time: 0.175973 s 0.19/0.22 c 0.19/0.22 c core #142 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 22 Core Weight: 1 Total Weight: 142 0.19/0.22 c Current CPU time: 0.176973 s 0.19/0.22 c 0.19/0.22 c core #143 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 143 0.19/0.22 c Current CPU time: 0.178972 s 0.19/0.22 c 0.19/0.22 c core #144 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 144 0.19/0.22 c Current CPU time: 0.179972 s 0.19/0.22 c 0.19/0.22 c core #145 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 145 0.19/0.22 c Current CPU time: 0.181972 s 0.19/0.22 c 0.19/0.22 c core #146 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 146 0.19/0.22 c Current CPU time: 0.183972 s 0.19/0.22 c 0.19/0.22 c core #147 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 147 0.19/0.22 c Current CPU time: 0.184971 s 0.19/0.22 c 0.19/0.22 c core #148 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 148 0.19/0.22 c Current CPU time: 0.186971 s 0.19/0.22 c 0.19/0.22 c core #149 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 149 0.19/0.22 c Current CPU time: 0.187971 s 0.19/0.22 c 0.19/0.22 c core #150 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 150 0.19/0.22 c Current CPU time: 0.189971 s 0.19/0.22 c 0.19/0.22 c core #151 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 22 Core Weight: 1 Total Weight: 151 0.19/0.22 c Current CPU time: 0.19097 s 0.19/0.22 c 0.19/0.22 c core #152 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 152 0.19/0.22 c Current CPU time: 0.19297 s 0.19/0.22 c 0.19/0.22 c core #153 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 153 0.19/0.22 c Current CPU time: 0.19497 s 0.19/0.22 c 0.19/0.22 c core #154 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 154 0.19/0.22 c Current CPU time: 0.19597 s 0.19/0.22 c 0.19/0.22 c core #155 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 155 0.19/0.22 c Current CPU time: 0.197969 s 0.19/0.22 c 0.19/0.22 c core #156 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 156 0.19/0.22 c Current CPU time: 0.199969 s 0.19/0.22 c 0.19/0.22 c core #157 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 157 0.19/0.22 c Current CPU time: 0.200969 s 0.19/0.22 c 0.19/0.22 c core #158 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 158 0.19/0.22 c Current CPU time: 0.202969 s 0.19/0.22 c 0.19/0.22 c core #159 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 159 0.19/0.22 c Current CPU time: 0.203968 s 0.19/0.22 c 0.19/0.22 c core #160 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 22 Core Weight: 1 Total Weight: 160 0.19/0.22 c Current CPU time: 0.205968 s 0.19/0.22 c 0.19/0.22 c core #161 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 161 0.19/0.22 c Current CPU time: 0.207968 s 0.19/0.22 c 0.19/0.22 c core #162 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 162 0.19/0.22 c Current CPU time: 0.208968 s 0.19/0.22 c 0.19/0.22 c core #163 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: 163 0.19/0.22 c Current CPU time: 0.210967 s 0.19/0.22 c 0.19/0.22 c core #164 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 16 Core Weight: 1 Total Weight: 164 0.19/0.22 c Current CPU time: 0.212967 s 0.19/0.22 c 0.19/0.22 c core #165 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 165 0.19/0.22 c Current CPU time: 0.214967 s 0.19/0.22 c 0.19/0.22 c core #166 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 166 0.19/0.22 c Current CPU time: 0.215967 s 0.19/0.22 c 0.19/0.22 c core #167 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 21 Core Weight: 1 Total Weight: 167 0.19/0.22 c Current CPU time: 0.217966 s 0.19/0.22 c 0.19/0.22 c core #168 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 168 0.19/0.29 c Current CPU time: 0.219966 s 0.19/0.29 c 0.19/0.29 c core #169 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 169 0.19/0.29 c Current CPU time: 0.220966 s 0.19/0.29 c 0.19/0.29 c core #170 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 170 0.19/0.29 c Current CPU time: 0.222966 s 0.19/0.29 c 0.19/0.29 c core #171 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 171 0.19/0.29 c Current CPU time: 0.224965 s 0.19/0.29 c 0.19/0.29 c core #172 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: 172 0.19/0.29 c Current CPU time: 0.226965 s 0.19/0.29 c 0.19/0.29 c core #173 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 16 Core Weight: 1 Total Weight: 173 0.19/0.29 c Current CPU time: 0.227965 s 0.19/0.29 c 0.19/0.29 c core #174 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 20 Core Weight: 1 Total Weight: 174 0.19/0.29 c Current CPU time: 0.229965 s 0.19/0.29 c 0.19/0.29 c core #175 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 175 0.19/0.29 c Current CPU time: 0.231964 s 0.19/0.29 c 0.19/0.29 c core #176 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 176 0.19/0.29 c Current CPU time: 0.233964 s 0.19/0.29 c 0.19/0.29 c core #177 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 177 0.19/0.29 c Current CPU time: 0.234964 s 0.19/0.29 c 0.19/0.29 c core #178 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 178 0.19/0.29 c Current CPU time: 0.236963 s 0.19/0.29 c 0.19/0.29 c core #179 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 179 0.19/0.29 c Current CPU time: 0.238963 s 0.19/0.29 c 0.19/0.29 c core #180 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 180 0.19/0.29 c Current CPU time: 0.240963 s 0.19/0.29 c 0.19/0.29 c core #181 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: 181 0.19/0.29 c Current CPU time: 0.241963 s 0.19/0.29 c 0.19/0.29 c core #182 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 16 Core Weight: 1 Total Weight: 182 0.19/0.29 c Current CPU time: 0.243962 s 0.19/0.29 c 0.19/0.29 c core #183 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 20 Core Weight: 1 Total Weight: 183 0.19/0.29 c Current CPU time: 0.245962 s 0.19/0.29 c 0.19/0.29 c core #184 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 184 0.19/0.29 c Current CPU time: 0.247962 s 0.19/0.29 c 0.19/0.29 c core #185 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 185 0.19/0.29 c Current CPU time: 0.249962 s 0.19/0.29 c 0.19/0.29 c core #186 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 186 0.19/0.29 c Current CPU time: 0.250961 s 0.19/0.29 c 0.19/0.29 c core #187 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 187 0.19/0.29 c Current CPU time: 0.252961 s 0.19/0.29 c 0.19/0.29 c core #188 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 188 0.19/0.29 c Current CPU time: 0.254961 s 0.19/0.29 c 0.19/0.29 c core #189 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 189 0.19/0.29 c Current CPU time: 0.25696 s 0.19/0.29 c 0.19/0.29 c core #190 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: 190 0.19/0.29 c Current CPU time: 0.25896 s 0.19/0.29 c 0.19/0.29 c core #191 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 16 Core Weight: 1 Total Weight: 191 0.19/0.29 c Current CPU time: 0.26096 s 0.19/0.29 c 0.19/0.29 c core #192 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 20 Core Weight: 1 Total Weight: 192 0.19/0.29 c Current CPU time: 0.26196 s 0.19/0.29 c 0.19/0.29 c core #193 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 193 0.19/0.29 c Current CPU time: 0.263959 s 0.19/0.29 c 0.19/0.29 c core #194 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 194 0.19/0.29 c Current CPU time: 0.265959 s 0.19/0.29 c 0.19/0.29 c core #195 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 195 0.19/0.29 c Current CPU time: 0.267959 s 0.19/0.29 c 0.19/0.29 c core #196 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 196 0.19/0.29 c Current CPU time: 0.269958 s 0.19/0.29 c 0.19/0.29 c core #197 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 197 0.19/0.29 c Current CPU time: 0.271958 s 0.19/0.29 c 0.19/0.29 c core #198 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 198 0.19/0.29 c Current CPU time: 0.273958 s 0.19/0.29 c 0.19/0.29 c core #199 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: 199 0.19/0.29 c Current CPU time: 0.275958 s 0.19/0.29 c 0.19/0.29 c core #200 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 16 Core Weight: 1 Total Weight: 200 0.19/0.29 c Current CPU time: 0.276957 s 0.19/0.29 c 0.19/0.29 c core #201 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 20 Core Weight: 1 Total Weight: 201 0.19/0.29 c Current CPU time: 0.278957 s 0.19/0.29 c 0.19/0.29 c core #202 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 202 0.19/0.29 c Current CPU time: 0.280957 s 0.19/0.29 c 0.19/0.29 c core #203 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 203 0.19/0.29 c Current CPU time: 0.282956 s 0.19/0.29 c 0.19/0.29 c core #204 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 204 0.19/0.29 c Current CPU time: 0.284956 s 0.19/0.29 c 0.19/0.29 c core #205 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 205 0.19/0.29 c Current CPU time: 0.286956 s 0.19/0.29 c 0.19/0.29 c core #206 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 206 0.19/0.29 c Current CPU time: 0.288956 s 0.19/0.29 c 0.19/0.29 c core #207 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 21 Core Weight: 1 Total Weight: 207 0.19/0.29 c Current CPU time: 0.290955 s 0.19/0.29 c 0.19/0.29 c core #208 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 17 Core Weight: 1 Total Weight: 208 0.19/0.29 c Current CPU time: 0.292955 s 0.19/0.29 c 0.19/0.29 c core #209 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 16 Core Weight: 1 Total Weight: 209 0.29/0.31 c Current CPU time: 0.294955 s 0.29/0.31 c 0.29/0.31 c core #210 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 20 Core Weight: 1 Total Weight: 210 0.29/0.31 c Current CPU time: 0.295955 s 0.29/0.31 c 0.29/0.31 c core #211 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 21 Core Weight: 1 Total Weight: 211 0.29/0.31 c Current CPU time: 0.296954 s 0.29/0.31 c 0.29/0.31 c core #212 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 21 Core Weight: 1 Total Weight: 212 0.29/0.31 c Current CPU time: 0.298954 s 0.29/0.31 c 0.29/0.31 c core #213 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 21 Core Weight: 1 Total Weight: 213 0.29/0.31 c Current CPU time: 0.300954 s 0.29/0.31 c 0.29/0.31 c core #214 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 22 Core Weight: 1 Total Weight: 214 0.29/0.31 c Current CPU time: 0.302953 s 0.29/0.31 c 0.29/0.31 c core #215 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 21 Core Weight: 1 Total Weight: 215 0.29/0.31 c Current CPU time: 0.304953 s 0.29/0.31 c 0.29/0.31 c core #216 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 21 Core Weight: 1 Total Weight: 216 0.29/0.31 c Current CPU time: 0.306953 s 0.29/0.31 c 0.29/0.31 c core #217 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 201 Core Weight: 1 Total Weight: 217 0.29/0.31 c Current CPU time: 0.307953 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2060 4913 11510 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #218 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 10 Core Weight: 1 Total Weight: 218 0.29/0.31 c Current CPU time: 0.310952 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2066 4914 11522 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #219 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 29 Core Weight: 1 Total Weight: 219 0.29/0.31 c Current CPU time: 0.312952 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2077 4915 11544 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #220 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 10 Core Weight: 1 Total Weight: 220 0.29/0.32 c Current CPU time: 0.314952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 2083 4916 11556 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #221 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 27 Core Weight: 1 Total Weight: 221 0.29/0.32 c Current CPU time: 0.316951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 2093 4917 11576 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #222 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 10 Core Weight: 1 Total Weight: 222 0.29/0.32 c Current CPU time: 0.318951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 2099 4918 11588 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #223 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 12 Core Weight: 1 Total Weight: 223 0.29/0.32 c Current CPU time: 0.320951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 2106 4919 11602 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #224 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 28 Core Weight: 1 Total Weight: 224 0.29/0.33 c Current CPU time: 0.32395 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2129 4920 11648 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #225 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 15 Core Weight: 1 Total Weight: 225 0.29/0.33 c Current CPU time: 0.32595 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2140 4921 11670 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #226 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 35 Core Weight: 1 Total Weight: 226 0.29/0.33 c Current CPU time: 0.328949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2167 4922 11724 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #227 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 15 Core Weight: 1 Total Weight: 227 0.29/0.33 c Current CPU time: 0.331949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2178 4924 11749 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #228 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 13 Core Weight: 1 Total Weight: 228 0.29/0.34 c Current CPU time: 0.334949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2187 4925 11767 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 2187 4925 11767 | 5500 100 13 | 0.546 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #229 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 63 Core Weight: 1 Total Weight: 229 0.29/0.34 c Current CPU time: 0.338948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2232 4926 11857 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #230 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 35 Core Weight: 1 Total Weight: 230 0.29/0.34 c Current CPU time: 0.340948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2244 4927 11881 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 2244 4927 11881 | 5500 100 23 | 0.444 % | 0.29/0.34 c =============================================================================== 0.29/0.35 c core #231 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 12 Core Weight: 1 Total Weight: 231 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2251 4928 11895 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #232 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 12 Core Weight: 1 Total Weight: 232 0.29/0.35 c Current CPU time: 0.347947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2258 4929 11909 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #233 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 19 Core Weight: 1 Total Weight: 233 0.29/0.35 c Current CPU time: 0.349946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2272 4930 11937 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #234 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 35 Core Weight: 1 Total Weight: 234 0.29/0.35 c Current CPU time: 0.352946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2289 4931 11971 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #235 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 19 Core Weight: 1 Total Weight: 235 0.29/0.36 c Current CPU time: 0.354946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2303 4932 11999 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #236 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 12 Core Weight: 1 Total Weight: 236 0.29/0.36 c Current CPU time: 0.356945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2310 4933 12013 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #237 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 31 Core Weight: 1 Total Weight: 237 0.29/0.36 c Current CPU time: 0.359945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2323 4934 12039 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #238 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 13 Core Weight: 1 Total Weight: 238 0.29/0.36 c Current CPU time: 0.361944 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2333 4935 12059 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #239 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 26 Core Weight: 1 Total Weight: 239 0.29/0.37 c Current CPU time: 0.364944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2349 4936 12091 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #240 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 24 Core Weight: 1 Total Weight: 240 0.29/0.37 c Current CPU time: 0.366944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2363 4937 12119 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #241 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 24 Core Weight: 1 Total Weight: 241 0.29/0.37 c Current CPU time: 0.368943 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2376 4938 12145 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #242 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 14 Core Weight: 1 Total Weight: 242 0.29/0.37 c Current CPU time: 0.370943 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2384 4939 12161 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #243 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 14 Core Weight: 1 Total Weight: 243 0.29/0.38 c Current CPU time: 0.373943 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2392 4940 12177 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #244 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 25 Core Weight: 1 Total Weight: 244 0.29/0.38 c Current CPU time: 0.375942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2403 4941 12199 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #245 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 26 Core Weight: 1 Total Weight: 245 0.29/0.38 c Current CPU time: 0.377942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2411 4942 12215 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #246 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 16 Core Weight: 1 Total Weight: 246 0.29/0.38 c Current CPU time: 0.380942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2419 4943 12231 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #247 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 28 Core Weight: 1 Total Weight: 247 0.29/0.39 c Current CPU time: 0.382941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2428 4945 12252 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #248 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 248 0.29/0.39 c Current CPU time: 0.385941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2434 4946 12264 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #249 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 28 Core Weight: 1 Total Weight: 249 0.29/0.39 c Current CPU time: 0.387941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2444 4947 12284 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #250 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 10 Core Weight: 1 Total Weight: 250 0.29/0.39 c Current CPU time: 0.39094 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 2450 4948 12296 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #251 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 13 Core Weight: 1 Total Weight: 251 0.39/0.40 c Current CPU time: 0.39294 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2459 4949 12314 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #252 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 16 Core Weight: 1 Total Weight: 252 0.39/0.40 c Current CPU time: 0.394939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2467 4950 12330 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #253 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 13 Core Weight: 1 Total Weight: 253 0.39/0.40 c Current CPU time: 0.396939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2475 4951 12346 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #254 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 24 Core Weight: 1 Total Weight: 254 0.39/0.40 c Current CPU time: 0.399939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 2488 4952 12372 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #255 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 34 Core Weight: 1 Total Weight: 255 0.39/0.41 c Current CPU time: 0.402938 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2511 4953 12418 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #256 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 25 Core Weight: 1 Total Weight: 256 0.39/0.41 c Current CPU time: 0.404938 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2518 4954 12432 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #257 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 19 Core Weight: 1 Total Weight: 257 0.39/0.41 c Current CPU time: 0.407937 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2529 4955 12454 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #258 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 19 Core Weight: 1 Total Weight: 258 0.39/0.41 c Current CPU time: 0.409937 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2540 4956 12476 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #259 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 37 Core Weight: 1 Total Weight: 259 0.39/0.42 c Current CPU time: 0.412937 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2565 4958 12529 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #260 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 16 Core Weight: 1 Total Weight: 260 0.39/0.42 c Current CPU time: 0.414936 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2573 4959 12545 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #261 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 18 Core Weight: 1 Total Weight: 261 0.39/0.42 c Current CPU time: 0.417936 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2582 4960 12563 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #262 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 32 Core Weight: 1 Total Weight: 262 0.39/0.43 c Current CPU time: 0.419936 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2593 4961 12585 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #263 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 34 Core Weight: 1 Total Weight: 263 0.39/0.43 c Current CPU time: 0.422935 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2609 4962 12617 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #264 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 10 Core Weight: 1 Total Weight: 264 0.39/0.43 c Current CPU time: 0.424935 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2615 4963 12629 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #265 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 14 Core Weight: 1 Total Weight: 265 0.39/0.43 c Current CPU time: 0.426935 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2623 4964 12645 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #266 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 16 Core Weight: 1 Total Weight: 266 0.39/0.44 c Current CPU time: 0.428934 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2632 4965 12663 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #267 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 24 Core Weight: 1 Total Weight: 267 0.39/0.44 c Current CPU time: 0.431934 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2647 4966 12693 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #268 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 25 Core Weight: 1 Total Weight: 268 0.39/0.44 c Current CPU time: 0.434933 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2658 4967 12715 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #269 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 26 Core Weight: 1 Total Weight: 269 0.39/0.44 c Current CPU time: 0.436933 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2666 4968 12731 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.45 c core #270 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 16 Core Weight: 1 Total Weight: 270 0.39/0.45 c Current CPU time: 0.439933 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2674 4969 12747 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #271 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 14 Core Weight: 1 Total Weight: 271 0.39/0.45 c Current CPU time: 0.441932 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2683 4970 12765 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #272 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 14 Core Weight: 1 Total Weight: 272 0.39/0.45 c Current CPU time: 0.444932 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2691 4971 12781 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #273 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 42 Core Weight: 1 Total Weight: 273 0.39/0.45 c Current CPU time: 0.446932 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2714 4973 12830 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #274 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 32 Core Weight: 1 Total Weight: 274 0.39/0.46 c Current CPU time: 0.448931 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 2729 4974 12860 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #275 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 26 Core Weight: 1 Total Weight: 275 0.39/0.46 c Current CPU time: 0.451931 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 2747 4975 12896 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #276 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 23 Core Weight: 1 Total Weight: 276 0.39/0.46 c Current CPU time: 0.45493 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 2765 4976 12932 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #277 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 12 Core Weight: 1 Total Weight: 277 0.39/0.46 c Current CPU time: 0.45693 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 2772 4977 12946 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #278 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 16 Core Weight: 1 Total Weight: 278 0.39/0.47 c Current CPU time: 0.45993 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2782 4978 12966 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #279 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 26 Core Weight: 1 Total Weight: 279 0.39/0.47 c Current CPU time: 0.462929 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2791 4979 12984 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #280 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 37 Core Weight: 1 Total Weight: 280 0.39/0.47 c Current CPU time: 0.465929 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2805 4980 13012 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.48 c core #281 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 30 Core Weight: 1 Total Weight: 281 0.39/0.48 c Current CPU time: 0.468928 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 2828 4981 13058 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #282 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 35 Core Weight: 1 Total Weight: 282 0.39/0.48 c Current CPU time: 0.471928 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 2852 4982 13106 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #283 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 39 Core Weight: 1 Total Weight: 283 0.39/0.48 c Current CPU time: 0.474927 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 2884 4983 13170 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #284 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 22 Core Weight: 1 Total Weight: 284 0.39/0.48 c Current CPU time: 0.477927 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 2897 4984 13196 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #285 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 30 Core Weight: 1 Total Weight: 285 0.39/0.49 c Current CPU time: 0.480926 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2912 4985 13226 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #286 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 30 Core Weight: 1 Total Weight: 286 0.39/0.49 c Current CPU time: 0.483926 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2928 4986 13258 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #287 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 23 Core Weight: 1 Total Weight: 287 0.39/0.49 c Current CPU time: 0.485926 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2942 4987 13286 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.48/0.50 c core #288 0.48/0.50 c 0.48/0.50 c 0.48/0.50 c Core size: 48 Core Weight: 1 Total Weight: 288 0.48/0.50 c Current CPU time: 0.488925 s 0.48/0.50 c 0.48/0.50 c ============================[ Search Statistics ]============================== 0.48/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.50 c =============================================================================== 0.48/0.50 c | 0 | 2962 4988 13326 | 5000 0 -nan | 0.000 % | 0.48/0.50 c =============================================================================== 0.48/0.50 c core #289 0.48/0.50 c 0.48/0.50 c 0.48/0.50 c Core size: 48 Core Weight: 1 Total Weight: 289 0.48/0.50 c Current CPU time: 0.491925 s 0.48/0.50 c 0.48/0.50 c ============================[ Search Statistics ]============================== 0.48/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.50 c =============================================================================== 0.48/0.50 c | 0 | 2982 4989 13366 | 5000 0 -nan | 0.000 % | 0.48/0.50 c | 101 | 2982 4989 13366 | 5500 101 13 | 0.335 % | 0.48/0.50 c | 251 | 2982 4989 13366 | 6050 251 14 | 0.334 % | 0.48/0.51 c | 476 | 2979 4989 13366 | 6655 476 14 | 0.468 % | 0.48/0.51 c =============================================================================== 0.48/0.51 c core #290 0.48/0.51 c 0.48/0.51 c 0.48/0.51 c Core size: 68 Core Weight: 1 Total Weight: 290 0.48/0.51 c Current CPU time: 0.506922 s 0.48/0.51 c 0.48/0.51 c ============================[ Search Statistics ]============================== 0.48/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.51 c =============================================================================== 0.48/0.51 c | 0 | 3023 4992 13453 | 5000 0 -nan | 0.000 % | 0.48/0.52 c | 101 | 3023 4992 13453 | 5500 101 25 | 0.330 % | 0.48/0.52 c | 251 | 3023 4992 13453 | 6050 251 25 | 0.330 % | 0.48/0.52 c | 476 | 3022 4992 13453 | 6655 476 23 | 0.363 % | 0.48/0.52 c =============================================================================== 0.48/0.53 c core #291 0.48/0.53 c 0.48/0.53 c 0.48/0.53 c Core size: 27 Core Weight: 1 Total Weight: 291 0.48/0.53 c Current CPU time: 0.515921 s 0.48/0.53 c 0.48/0.53 c ============================[ Search Statistics ]============================== 0.48/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.53 c =============================================================================== 0.48/0.53 c | 0 | 3037 4995 13486 | 5000 0 -nan | 0.000 % | 0.48/0.53 c | 101 | 3035 4995 13486 | 5500 101 6 | 0.394 % | 0.48/0.53 c =============================================================================== 0.48/0.53 c core #292 0.48/0.53 c 0.48/0.53 c 0.48/0.53 c Core size: 66 Core Weight: 1 Total Weight: 292 0.48/0.53 c Current CPU time: 0.52092 s 0.48/0.53 c 0.48/0.53 c ============================[ Search Statistics ]============================== 0.48/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.53 c =============================================================================== 0.48/0.53 c | 0 | 3094 4999 13608 | 5000 0 -nan | 0.000 % | 0.48/0.53 c =============================================================================== 0.48/0.54 c core #293 0.48/0.54 c 0.48/0.54 c 0.48/0.54 c Core size: 36 Core Weight: 1 Total Weight: 293 0.48/0.54 c Current CPU time: 0.52392 s 0.48/0.54 c 0.48/0.54 c ============================[ Search Statistics ]============================== 0.48/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.54 c =============================================================================== 0.48/0.54 c | 0 | 3126 5000 13672 | 5000 0 -nan | 0.000 % | 0.48/0.54 c | 100 | 3126 5000 13672 | 5500 100 10 | 0.383 % | 0.48/0.54 c | 252 | 3119 5000 13672 | 6050 252 10 | 0.574 % | 0.48/0.54 c | 477 | 3117 5000 13672 | 6655 477 13 | 0.638 % | 0.48/0.55 c =============================================================================== 0.48/0.55 c core #294 0.48/0.55 c 0.48/0.55 c 0.48/0.55 c Core size: 89 Core Weight: 1 Total Weight: 294 0.48/0.55 c Current CPU time: 0.537918 s 0.48/0.55 c 0.48/0.55 c ============================[ Search Statistics ]============================== 0.48/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.55 c =============================================================================== 0.48/0.55 c | 0 | 3204 5002 13830 | 5000 0 -nan | 0.000 % | 0.48/0.55 c =============================================================================== 0.48/0.55 c core #295 0.48/0.55 c 0.48/0.55 c 0.48/0.55 c Core size: 13 Core Weight: 1 Total Weight: 295 0.48/0.55 c Current CPU time: 0.541917 s 0.48/0.55 c 0.48/0.55 c ============================[ Search Statistics ]============================== 0.48/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.55 c =============================================================================== 0.48/0.55 c | 0 | 3212 5004 13848 | 5000 0 -nan | 0.000 % | 0.48/0.56 c | 102 | 3211 5004 13848 | 5500 102 13 | 0.372 % | 0.48/0.56 c =============================================================================== 0.48/0.56 c core #296 0.48/0.56 c 0.48/0.56 c 0.48/0.56 c Core size: 64 Core Weight: 1 Total Weight: 296 0.48/0.56 c Current CPU time: 0.547916 s 0.48/0.56 c 0.48/0.56 c ============================[ Search Statistics ]============================== 0.48/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.56 c =============================================================================== 0.48/0.56 c | 0 | 3268 5006 13963 | 5000 0 -nan | 0.000 % | 0.48/0.56 c | 100 | 3268 5006 13963 | 5500 100 15 | 0.305 % | 0.48/0.57 c | 250 | 3266 5006 13963 | 6050 250 13 | 0.367 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c core #297 0.48/0.57 c 0.48/0.57 c 0.48/0.57 c Core size: 30 Core Weight: 1 Total Weight: 297 0.48/0.57 c Current CPU time: 0.554915 s 0.48/0.57 c 0.48/0.57 c ============================[ Search Statistics ]============================== 0.48/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.57 c =============================================================================== 0.48/0.57 c | 0 | 3292 5007 14011 | 5000 0 -nan | 0.000 % | 0.48/0.57 c =============================================================================== 0.48/0.57 c core #298 0.48/0.57 c 0.48/0.57 c 0.48/0.57 c Core size: 46 Core Weight: 1 Total Weight: 298 0.48/0.57 c Current CPU time: 0.557915 s 0.48/0.57 c 0.48/0.57 c ============================[ Search Statistics ]============================== 0.48/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.48/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.48/0.57 c =============================================================================== 0.48/0.57 c | 0 | 3316 5008 14059 | 5000 0 -nan | 0.000 % | 0.48/0.57 c | 100 | 3316 5008 14059 | 5500 100 14 | 0.301 % | 0.48/0.58 c | 250 | 3316 5008 14059 | 6050 250 14 | 0.302 % | 0.48/0.58 c | 477 | 3312 5008 14059 | 6655 477 14 | 0.481 % | 0.48/0.59 c | 814 | 3309 5008 14059 | 7320 814 19 | 0.541 % | 0.59/0.60 c | 1321 | 3306 5008 14059 | 8052 1321 20 | 0.601 % | 0.59/0.61 c | 2081 | 3304 5008 14059 | 8857 2081 21 | 0.722 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #299 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 61 Core Weight: 1 Total Weight: 299 0.59/0.62 c Current CPU time: 0.604908 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 3373 5015 14186 | 5000 0 -nan | 0.000 % | 0.59/0.62 c | 101 | 3373 5015 14186 | 5500 101 12 | 0.296 % | 0.59/0.63 c | 252 | 3293 5015 14186 | 6050 252 14 | 4.316 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #300 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 47 Core Weight: 1 Total Weight: 300 0.59/0.63 c Current CPU time: 0.612906 s 0.59/0.63 c 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 3401 5016 14242 | 5000 0 -nan | 0.000 % | 0.59/0.63 c | 100 | 3401 5016 14242 | 5500 100 31 | 0.293 % | 0.59/0.63 c | 251 | 3401 5016 14242 | 6050 251 39 | 0.294 % | 0.59/0.64 c | 476 | 3401 5016 14242 | 6655 476 37 | 0.293 % | 0.59/0.65 c | 815 | 3401 5016 14242 | 7320 815 35 | 0.293 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #301 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 30 Core Weight: 1 Total Weight: 301 0.59/0.65 c Current CPU time: 0.635903 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3415 5018 14272 | 5000 0 -nan | 0.000 % | 0.59/0.66 c | 100 | 3415 5018 14272 | 5500 100 38 | 0.292 % | 0.59/0.66 c | 250 | 3415 5018 14272 | 6050 250 28 | 0.292 % | 0.59/0.66 c | 476 | 3413 5018 14272 | 6655 476 20 | 0.380 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #302 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 25 Core Weight: 1 Total Weight: 302 0.59/0.67 c Current CPU time: 0.646901 s 0.59/0.67 c 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 3433 5022 14316 | 5000 0 -nan | 0.000 % | 0.59/0.67 c | 101 | 3433 5022 14316 | 5500 101 9 | 0.291 % | 0.59/0.67 c | 251 | 3431 5022 14316 | 6050 251 9 | 0.349 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #303 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 50 Core Weight: 1 Total Weight: 303 0.59/0.68 c Current CPU time: 0.6549 s 0.59/0.68 c 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 3466 5024 14384 | 5000 0 -nan | 0.000 % | 0.59/0.68 c | 100 | 3466 5024 14384 | 5500 100 21 | 0.288 % | 0.59/0.68 c | 251 | 3466 5024 14384 | 6050 251 16 | 0.288 % | 0.59/0.69 c | 476 | 3465 5024 14384 | 6655 476 15 | 0.345 % | 0.59/0.69 c | 814 | 3462 5024 14384 | 7320 814 16 | 0.403 % | 0.69/0.71 c | 1322 | 3461 5024 14384 | 8052 1322 17 | 0.460 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #304 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 91 Core Weight: 1 Total Weight: 304 0.69/0.72 c Current CPU time: 0.691894 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 3538 5028 14534 | 5000 0 -nan | 0.000 % | 0.69/0.72 c | 100 | 3538 5028 14534 | 5500 100 21 | 0.282 % | 0.69/0.72 c | 251 | 3538 5028 14534 | 6050 251 18 | 0.282 % | 0.69/0.72 c | 476 | 3535 5028 14534 | 6655 476 18 | 0.366 % | 0.69/0.73 c | 818 | 3534 5028 14534 | 7320 818 21 | 0.423 % | 0.69/0.74 c | 1326 | 3533 5028 14534 | 8052 1326 24 | 0.423 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #305 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 34 Core Weight: 1 Total Weight: 305 0.69/0.75 c Current CPU time: 0.727889 s 0.69/0.75 c 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 3563 5031 14589 | 5000 0 -nan | 0.000 % | 0.69/0.75 c | 100 | 3563 5031 14589 | 5500 100 7 | 0.280 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #306 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 28 Core Weight: 1 Total Weight: 306 0.69/0.76 c Current CPU time: 0.731888 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 3581 5033 14628 | 5000 0 -nan | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #307 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 14 Core Weight: 1 Total Weight: 307 0.69/0.76 c Current CPU time: 0.733888 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 3589 5034 14644 | 5000 0 -nan | 0.000 % | 0.69/0.76 c | 102 | 3589 5034 14644 | 5500 102 20 | 0.278 % | 0.69/0.77 c | 254 | 3589 5034 14644 | 6050 254 21 | 0.278 % | 0.69/0.77 c | 479 | 3589 5034 14644 | 6655 479 20 | 0.278 % | 0.69/0.78 c | 816 | 3589 5034 14644 | 7320 816 21 | 0.278 % | 0.69/0.79 c | 1324 | 3589 5034 14644 | 8052 1324 22 | 0.278 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #308 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 48 Core Weight: 1 Total Weight: 308 0.69/0.79 c Current CPU time: 0.764883 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 3627 5038 14727 | 5000 0 -nan | 0.000 % | 0.78/0.80 c | 101 | 3627 5038 14727 | 5500 101 24 | 0.275 % | 0.78/0.80 c | 251 | 3626 5038 14727 | 6050 251 20 | 0.330 % | 0.78/0.80 c =============================================================================== 0.78/0.81 c core #309 0.78/0.81 c 0.78/0.81 c 0.78/0.81 c Core size: 32 Core Weight: 1 Total Weight: 309 0.78/0.81 c Current CPU time: 0.775882 s 0.78/0.81 c 0.78/0.81 c ============================[ Search Statistics ]============================== 0.78/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.81 c =============================================================================== 0.78/0.81 c | 0 | 3648 5043 14779 | 5000 0 -nan | 0.000 % | 0.78/0.81 c | 100 | 3648 5043 14779 | 5500 100 30 | 0.274 % | 0.78/0.81 c | 250 | 3648 5043 14779 | 6050 250 20 | 0.273 % | 0.78/0.82 c | 479 | 3646 5043 14779 | 6655 479 21 | 0.328 % | 0.78/0.82 c | 819 | 3646 5043 14779 | 7320 819 26 | 0.328 % | 0.78/0.83 c | 1325 | 3646 5043 14779 | 8052 1325 28 | 0.328 % | 0.78/0.85 c | 2084 | 3646 5043 14779 | 8857 2084 28 | 0.328 % | 0.78/0.89 c | 3223 | 3646 5043 14779 | 9743 3223 29 | 0.328 % | 0.89/0.97 c | 4932 | 3643 5043 14779 | 10717 4932 29 | 0.437 % | 0.99/1.04 c | 7494 | 3641 5043 14779 | 11789 7494 28 | 0.492 % | 0.99/1.06 c =============================================================================== 0.99/1.07 c core #310 0.99/1.07 c 0.99/1.07 c 0.99/1.07 c Core size: 116 Core Weight: 1 Total Weight: 310 0.99/1.07 c Current CPU time: 1.03284 s 0.99/1.07 c 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 3749 5056 15008 | 5000 0 -nan | 0.000 % | 0.99/1.07 c =============================================================================== 0.99/1.08 c core #311 0.99/1.08 c 0.99/1.08 c 0.99/1.08 c Core size: 39 Core Weight: 1 Total Weight: 311 0.99/1.08 c Current CPU time: 1.04084 s 0.99/1.08 c 0.99/1.08 c ============================[ Search Statistics ]============================== 0.99/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 3767 5057 15044 | 5000 0 -nan | 0.000 % | 0.99/1.08 c | 101 | 3765 5057 15044 | 5500 101 28 | 0.318 % | 0.99/1.08 c | 251 | 3765 5057 15044 | 6050 251 28 | 0.318 % | 0.99/1.09 c | 476 | 3765 5057 15044 | 6655 476 34 | 0.318 % | 0.99/1.09 c | 813 | 3764 5057 15044 | 7320 813 25 | 0.371 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c core #312 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 12 Core Weight: 1 Total Weight: 312 1.10/1.11 c Current CPU time: 1.06384 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 3776 5060 15067 | 5000 0 -nan | 0.000 % | 1.10/1.11 c | 104 | 3776 5060 15067 | 5500 104 26 | 0.264 % | 1.10/1.11 c | 254 | 3776 5060 15067 | 6050 254 22 | 0.264 % | 1.10/1.11 c | 480 | 3776 5060 15067 | 6655 480 19 | 0.264 % | 1.10/1.12 c | 818 | 3776 5060 15067 | 7320 818 20 | 0.264 % | 1.10/1.13 c | 1324 | 3776 5060 15067 | 8052 1324 27 | 0.264 % | 1.10/1.16 c | 2084 | 3776 5060 15067 | 8857 2084 29 | 0.264 % | 1.10/1.20 c | 3224 | 3776 5060 15067 | 9743 3224 32 | 0.264 % | 1.20/1.28 c | 4932 | 3776 5060 15067 | 10717 4932 31 | 0.264 % | 1.28/1.36 c =============================================================================== 1.28/1.38 c core #313 1.28/1.38 c 1.28/1.38 c 1.28/1.38 c Core size: 133 Core Weight: 1 Total Weight: 313 1.28/1.38 c Current CPU time: 1.3398 s 1.28/1.38 c 1.28/1.38 c ============================[ Search Statistics ]============================== 1.28/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.38 c =============================================================================== 1.28/1.38 c | 0 | 3892 5070 15320 | 5000 0 -nan | 0.000 % | 1.28/1.38 c =============================================================================== 1.28/1.39 c core #314 1.28/1.39 c 1.28/1.39 c 1.28/1.39 c Core size: 25 Core Weight: 1 Total Weight: 314 1.28/1.39 c Current CPU time: 1.34679 s 1.28/1.39 c 1.28/1.39 c ============================[ Search Statistics ]============================== 1.28/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.28/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.28/1.39 c =============================================================================== 1.28/1.39 c | 0 | 3910 5072 15359 | 5000 0 -nan | 0.000 % | 1.28/1.39 c | 100 | 3910 5072 15359 | 5500 100 23 | 0.255 % | 1.28/1.39 c | 253 | 3906 5072 15359 | 6050 253 18 | 0.357 % | 1.28/1.39 c | 482 | 3903 5072 15359 | 6655 482 15 | 0.460 % | 1.38/1.40 c =============================================================================== 1.38/1.40 c core #315 1.38/1.40 c 1.38/1.40 c 1.38/1.40 c Core size: 27 Core Weight: 1 Total Weight: 315 1.38/1.40 c Current CPU time: 1.36179 s 1.38/1.40 c 1.38/1.40 c ============================[ Search Statistics ]============================== 1.38/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.38/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.38/1.40 c =============================================================================== 1.38/1.40 c | 0 | 3932 5075 15408 | 5000 0 -nan | 0.000 % | 1.38/1.41 c | 100 | 3932 5075 15408 | 5500 100 27 | 0.254 % | 1.38/1.41 c | 250 | 3932 5075 15408 | 6050 250 21 | 0.254 % | 1.38/1.41 c | 477 | 3932 5075 15408 | 6655 477 26 | 0.254 % | 1.38/1.42 c | 815 | 3930 5075 15408 | 7320 815 22 | 0.305 % | 1.38/1.43 c | 1323 | 3930 5075 15408 | 8052 1323 25 | 0.304 % | 1.38/1.45 c | 2082 | 3928 5075 15408 | 8857 2082 29 | 0.355 % | 1.38/1.49 c | 3224 | 3926 5075 15408 | 9743 3224 33 | 0.406 % | 1.49/1.57 c | 4941 | 3924 5075 15408 | 10717 4941 39 | 0.457 % | 1.59/1.68 c | 7504 | 3921 5075 15408 | 11789 7504 40 | 0.558 % | 1.59/1.69 c =============================================================================== 1.69/1.70 c core #316 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 87 Core Weight: 1 Total Weight: 316 1.69/1.70 c Current CPU time: 1.65375 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 4000 5085 15564 | 5000 0 -nan | 0.000 % | 1.69/1.70 c | 101 | 4000 5085 15564 | 5500 101 30 | 0.250 % | 1.69/1.70 c | 252 | 4000 5085 15564 | 6050 252 24 | 0.249 % | 1.69/1.71 c | 479 | 3997 5085 15564 | 6655 479 18 | 0.349 % | 1.69/1.71 c =============================================================================== 1.69/1.72 c core #317 1.69/1.72 c 1.69/1.72 c 1.69/1.72 c Core size: 34 Core Weight: 1 Total Weight: 317 1.69/1.72 c Current CPU time: 1.67274 s 1.69/1.72 c 1.69/1.72 c ============================[ Search Statistics ]============================== 1.69/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.72 c =============================================================================== 1.69/1.72 c | 0 | 4030 5087 15626 | 5000 0 -nan | 0.000 % | 1.69/1.72 c | 100 | 4030 5087 15626 | 5500 100 21 | 0.248 % | 1.69/1.72 c | 250 | 4030 5087 15626 | 6050 250 28 | 0.248 % | 1.69/1.73 c | 475 | 4030 5087 15626 | 6655 475 28 | 0.248 % | 1.69/1.73 c | 812 | 4030 5087 15626 | 7320 812 27 | 0.248 % | 1.69/1.75 c | 1319 | 4030 5087 15626 | 8052 1319 31 | 0.248 % | 1.69/1.77 c | 2078 | 4030 5087 15626 | 8857 2078 36 | 0.248 % | 1.79/1.82 c | 3218 | 4030 5087 15626 | 9743 3218 37 | 0.248 % | 1.79/1.87 c | 4929 | 4030 5087 15626 | 10717 4929 36 | 0.248 % | 1.99/2.00 c | 7491 | 4030 5087 15626 | 11789 7491 41 | 0.248 % | 2.20/2.23 c | 11337 | 4030 5087 15626 | 12968 11337 43 | 0.248 % | 2.59/2.64 c | 17103 | 4030 5087 15626 | 14265 10494 50 | 0.248 % | 3.40/3.43 c | 25752 | 4030 5087 15626 | 15692 11928 47 | 0.248 % | 4.58/4.66 c | 38730 | 4018 5087 15626 | 17261 9022 35 | 0.644 % | 5.88/5.94 c =============================================================================== 5.98/6.08 c core #318 5.98/6.08 c 5.98/6.08 c 5.98/6.08 c Core size: 132 Core Weight: 1 Total Weight: 318 5.98/6.08 c Current CPU time: 5.98009 s 5.98/6.08 c 5.98/6.08 c ============================[ Search Statistics ]============================== 5.98/6.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.08 c =============================================================================== 5.98/6.08 c | 0 | 4155 5095 15893 | 5000 0 -nan | 0.000 % | 5.98/6.08 c | 100 | 4155 5095 15893 | 5500 100 16 | 0.240 % | 5.98/6.09 c | 250 | 4155 5095 15893 | 6050 250 20 | 0.240 % | 5.98/6.09 c | 475 | 4155 5095 15893 | 6655 475 19 | 0.240 % | 6.09/6.10 c | 812 | 4155 5095 15893 | 7320 812 19 | 0.240 % | 6.09/6.11 c | 1319 | 4155 5095 15893 | 8052 1319 23 | 0.240 % | 6.09/6.13 c | 2078 | 4155 5095 15893 | 8857 2078 25 | 0.240 % | 6.09/6.16 c | 3217 | 4155 5095 15893 | 9743 3217 25 | 0.240 % | 6.19/6.21 c | 4925 | 4155 5095 15893 | 10717 4925 28 | 0.240 % | 6.29/6.30 c | 7487 | 4153 5095 15893 | 11789 7487 30 | 0.288 % | 6.39/6.48 c | 11332 | 4153 5095 15893 | 12968 11332 39 | 0.288 % | 6.79/6.80 c | 17098 | 4151 5095 15893 | 14265 10285 49 | 0.336 % | 7.59/7.69 c | 25748 | 4147 5095 15893 | 15692 11672 69 | 0.432 % | 8.29/8.35 c =============================================================================== 8.39/8.47 c core #319 8.39/8.47 c 8.39/8.47 c 8.39/8.47 c Core size: 195 Core Weight: 1 Total Weight: 319 8.39/8.47 c Current CPU time: 8.34873 s 8.39/8.47 c 8.39/8.47 c ============================[ Search Statistics ]============================== 8.39/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.39/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.39/8.47 c =============================================================================== 8.39/8.47 c | 0 | 4331 5111 16282 | 5000 0 -nan | 0.000 % | 8.39/8.48 c | 100 | 4331 5111 16282 | 5500 100 31 | 0.231 % | 8.39/8.48 c | 252 | 4331 5111 16282 | 6050 252 31 | 0.230 % | 8.39/8.49 c | 477 | 4331 5111 16282 | 6655 477 35 | 0.230 % | 8.39/8.49 c | 815 | 4331 5111 16282 | 7320 815 35 | 0.230 % | 8.49/8.51 c | 1321 | 4331 5111 16282 | 8052 1321 33 | 0.231 % | 8.49/8.53 c | 2080 | 4330 5111 16282 | 8857 2080 36 | 0.253 % | 8.49/8.57 c | 3219 | 4330 5111 16282 | 9743 3219 37 | 0.253 % | 8.59/8.65 c | 4927 | 4330 5111 16282 | 10717 4927 44 | 0.253 % | 8.69/8.74 c | 7490 | 4330 5111 16282 | 11789 7490 46 | 0.253 % | 8.79/8.90 c | 11336 | 4328 5111 16282 | 12968 11336 43 | 0.299 % | 9.19/9.28 c | 17108 | 4328 5111 16282 | 14265 10503 37 | 0.299 % | 9.90/9.94 c | 25757 | 4326 5111 16282 | 15692 11427 44 | 0.346 % | 10.19/10.28 c =============================================================================== 10.19/10.29 c core #320 10.19/10.29 c 10.19/10.29 c 10.19/10.29 c Core size: 47 Core Weight: 1 Total Weight: 320 10.19/10.29 c Current CPU time: 10.1425 s 10.19/10.29 c 10.19/10.29 c ============================[ Search Statistics ]============================== 10.19/10.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.29 c =============================================================================== 10.19/10.29 c | 0 | 4373 5120 16387 | 5000 0 -nan | 0.000 % | 10.19/10.29 c | 101 | 4373 5120 16387 | 5500 101 19 | 0.228 % | 10.28/10.30 c | 251 | 4373 5120 16387 | 6050 251 17 | 0.228 % | 10.28/10.30 c | 476 | 4373 5120 16387 | 6655 476 16 | 0.228 % | 10.28/10.31 c | 813 | 4373 5120 16387 | 7320 813 19 | 0.228 % | 10.28/10.32 c | 1319 | 4371 5120 16387 | 8052 1319 19 | 0.274 % | 10.28/10.34 c | 2080 | 4369 5120 16387 | 8857 2080 20 | 0.319 % | 10.28/10.38 c | 3224 | 4368 5120 16387 | 9743 3224 33 | 0.365 % | 10.39/10.44 c | 4937 | 4367 5120 16387 | 10717 4937 35 | 0.365 % | 10.49/10.55 c | 7500 | 4366 5120 16387 | 11789 7500 35 | 0.388 % | 10.68/10.78 c | 11344 | 4355 5120 16387 | 12968 11344 36 | 0.958 % | 11.19/11.20 c | 17110 | 4321 5120 16387 | 14265 10258 68 | 1.803 % | 12.21/12.23 c | 25759 | 4278 5120 16387 | 15692 11551 92 | 2.396 % | 13.98/14.03 c | 38734 | 4256 5120 16387 | 17261 8556 124 | 2.898 % | 15.19/15.27 c =============================================================================== 15.39/15.49 c core #321 15.39/15.49 c 15.39/15.49 c 15.39/15.49 c Core size: 268 Core Weight: 1 Total Weight: 321 15.39/15.49 c Current CPU time: 15.2767 s 15.39/15.49 c 15.39/15.49 c ============================[ Search Statistics ]============================== 15.39/15.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.39/15.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.39/15.49 c =============================================================================== 15.39/15.49 c | 0 | 4608 5138 16895 | 5000 0 -nan | 0.000 % | 15.39/15.49 c | 100 | 4608 5138 16895 | 5500 100 23 | 0.217 % | 15.39/15.50 c | 250 | 4608 5138 16895 | 6050 250 28 | 0.217 % | 15.39/15.50 c | 479 | 4606 5138 16895 | 6655 479 26 | 0.260 % | 15.39/15.51 c | 816 | 4601 5138 16895 | 7320 816 28 | 0.390 % | 15.51/15.52 c | 1322 | 4601 5138 16895 | 8052 1322 33 | 0.390 % | 15.51/15.54 c | 2081 | 4600 5138 16895 | 8857 2081 29 | 0.390 % | 15.51/15.57 c | 3220 | 4600 5138 16895 | 9743 3220 30 | 0.390 % | 15.59/15.64 c | 4928 | 4600 5138 16895 | 10717 4928 30 | 0.390 % | 15.69/15.75 c | 7493 | 4592 5138 16895 | 11789 7493 34 | 0.563 % | 15.88/15.97 c | 11337 | 4562 5138 16895 | 12968 11337 36 | 1.862 % | 16.19/16.23 c | 17105 | 4553 5138 16895 | 14265 10413 36 | 1.862 % | 16.89/16.99 c | 25755 | 4531 5138 16895 | 15692 11482 71 | 1.906 % | 17.39/17.43 c =============================================================================== 17.49/17.54 c core #322 17.49/17.54 c 17.49/17.54 c 17.49/17.54 c Core size: 158 Core Weight: 1 Total Weight: 322 17.49/17.54 c Current CPU time: 17.3104 s 17.49/17.54 c 17.49/17.54 c ============================[ Search Statistics ]============================== 17.49/17.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.49/17.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.49/17.54 c =============================================================================== 17.49/17.54 c | 0 | 4716 5159 17158 | 5000 0 -nan | 0.000 % | 17.49/17.55 c | 100 | 4716 5159 17158 | 5500 100 19 | 0.212 % | 17.49/17.55 c | 250 | 4714 5159 17158 | 6050 250 17 | 0.296 % | 17.49/17.56 c | 476 | 4714 5159 17158 | 6655 476 22 | 0.296 % | 17.49/17.56 c | 815 | 4712 5159 17158 | 7320 815 22 | 0.296 % | 17.49/17.58 c | 1323 | 4712 5159 17158 | 8052 1323 27 | 0.296 % | 17.60/17.61 c | 2082 | 4710 5159 17158 | 8857 2082 28 | 0.339 % | 17.60/17.63 c | 3222 | 4708 5159 17158 | 9743 3222 25 | 0.381 % | 17.60/17.68 c | 4930 | 4704 5159 17158 | 10717 4930 29 | 0.508 % | 17.79/17.81 c | 7493 | 4702 5159 17158 | 11789 7493 33 | 0.508 % | 17.99/18.00 c | 11339 | 4702 5159 17158 | 12968 11339 39 | 0.508 % | 18.38/18.45 c | 17106 | 4699 5159 17158 | 14265 10245 47 | 0.593 % | 18.70/18.81 c | 25756 | 4690 5159 17158 | 15692 11552 38 | 0.762 % | 19.39/19.47 c | 38732 | 4683 5159 17158 | 17261 8497 36 | 0.931 % | 21.09/21.10 c | 58199 | 4683 5159 17158 | 18987 10000 54 | 0.931 % | 23.39/23.44 c | 87391 | 4676 5159 17158 | 20886 9883 32 | 1.100 % | 26.48/26.56 c | 131180 | 4666 5159 17158 | 22974 21053 51 | 1.270 % | 39.27/39.33 c | 196864 | 4666 5159 17158 | 25272 14427 91 | 1.270 % | 57.87/57.91 c | 295391 | 4666 5159 17158 | 27799 18317 75 | 1.270 % | 89.48/89.51 c | 443182 | 4664 5159 17158 | 30579 23695 74 | 1.312 % | 129.97/130.01 c | 664865 | 4630 5159 17158 | 33637 20136 57 | 2.031 % | 226.17/226.20 c | 997394 | 4609 5159 17158 | 37001 25222 103 | 2.476 % | 368.07/368.17 c | 1496182 | 4587 5159 17158 | 40701 29379 61 | 2.941 % | 561.36/561.43 c | 2244366 | 4580 5159 17158 | 44771 34268 87 | 3.110 % | 932.56/932.63 c | 3366643 | 4561 5159 17158 | 49248 22204 116 | 3.597 % | 1496.96/1497.07 c | 5050056 | 4502 5159 17158 | 54173 38338 130 | 4.740 % |
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-3460940-1307085970/watcher-3460940-1307085970 -o /tmp/evaluation-result-3460940-1307085970/solver-3460940-1307085970 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460940-1307085970.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.85 1.99 1.99 3/481 6599 /proc/meminfo: memFree=27457876/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=3056 CPUtime=0 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 1 0 820196703 3129344 513 33554432000 4194304 5714214 140733534001232 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 764 513 169 372 0 389 0 [startup+0.110223 s] /proc/loadavg: 1.85 1.99 1.99 3/481 6599 /proc/meminfo: memFree=27457876/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=3828 CPUtime=0.1 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 787 0 0 0 10 0 0 0 25 0 1 0 820196703 3919872 714 33554432000 4194304 5714214 140733534001232 18446744073709551615 4336684 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 957 714 175 372 0 582 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3828 [startup+0.200205 s] /proc/loadavg: 1.85 1.99 1.99 3/481 6599 /proc/meminfo: memFree=27457876/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=4308 CPUtime=0.19 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 914 0 0 0 19 0 0 0 25 0 1 0 820196703 4411392 834 33554432000 4194304 5714214 140733534001232 18446744073709551615 4968084 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 1077 834 175 372 0 702 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4308 [startup+0.300186 s] /proc/loadavg: 1.85 1.99 1.99 3/481 6599 /proc/meminfo: memFree=27457876/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=5096 CPUtime=0.29 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 1280 0 0 0 29 0 0 0 25 0 1 0 820196703 5218304 1018 33554432000 4194304 5714214 140733534001232 18446744073709551615 4964954 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 1274 1018 175 372 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.70011 s] /proc/loadavg: 1.85 1.99 1.99 3/481 6599 /proc/meminfo: memFree=27457876/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=7216 CPUtime=0.69 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 2327 0 0 0 67 2 0 0 25 0 1 0 820196703 7389184 1567 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 1804 1567 180 372 0 1429 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7216 [startup+1.50101 s] /proc/loadavg: 1.85 1.99 1.99 3/482 6600 /proc/meminfo: memFree=27442368/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=9688 CPUtime=1.49 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 2930 0 0 0 145 4 0 0 25 0 1 0 820196703 9920512 2170 33554432000 4194304 5714214 140733534001232 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 2422 2170 180 372 0 2047 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9688 [startup+3.10065 s] /proc/loadavg: 1.85 1.99 1.99 3/482 6600 /proc/meminfo: memFree=27438064/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=13400 CPUtime=3.09 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 3846 0 0 0 304 5 0 0 25 0 1 0 820196703 13721600 3086 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 3350 3086 180 372 0 2975 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13400 [startup+6.30117 s] /proc/loadavg: 1.86 1.99 1.99 3/482 6600 /proc/meminfo: memFree=27428580/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=20832 CPUtime=6.29 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 5699 0 0 0 621 8 0 0 25 0 1 0 820196703 21331968 4904 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 5208 4904 180 372 0 4833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20832 [startup+12.7009 s] /proc/loadavg: 1.87 1.99 1.99 3/482 6600 /proc/meminfo: memFree=27417664/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=20448 CPUtime=12.68 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 5716 0 0 0 1252 16 0 0 25 0 1 0 820196703 20938752 4855 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 5112 4855 180 372 0 4737 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20448 [startup+25.5004 s] /proc/loadavg: 1.90 1.99 1.99 3/482 6601 /proc/meminfo: memFree=27395172/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=32388 CPUtime=25.47 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 8697 0 0 0 2515 32 0 0 25 0 1 0 820196703 33165312 7836 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 8097 7836 180 372 0 7722 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 32388 [startup+51.1006 s] /proc/loadavg: 2.00 2.01 1.99 3/482 6601 /proc/meminfo: memFree=27348148/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=63992 CPUtime=51.07 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 16432 0 0 0 5062 45 0 0 25 0 1 0 820196703 65527808 15571 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 15998 15571 180 372 0 15623 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63992 [startup+102.301 s] /proc/loadavg: 2.00 2.00 1.99 3/482 6603 /proc/meminfo: memFree=27299124/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=103088 CPUtime=102.28 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 25889 0 0 0 10165 63 0 0 25 0 1 0 820196703 105562112 25028 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 25772 25028 180 372 0 25397 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 103088 [startup+162.3 s] /proc/loadavg: 2.06 2.02 2.00 3/482 6604 /proc/meminfo: memFree=27213664/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=163724 CPUtime=162.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 40853 0 0 0 16133 94 0 0 25 0 1 0 820196703 167653376 39992 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 40931 39992 180 372 0 40556 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 163724 [startup+222.319 s] /proc/loadavg: 2.02 2.01 2.00 3/482 6606 /proc/meminfo: memFree=27150268/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=194260 CPUtime=222.29 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 48214 0 0 0 22120 109 0 0 25 0 1 0 820196703 198922240 47353 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 48565 47353 180 372 0 48190 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 194260 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6607 /proc/meminfo: memFree=27085500/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=234004 CPUtime=282.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 58008 0 0 0 28098 129 0 0 25 0 1 0 820196703 239620096 57147 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 58501 57147 180 372 0 58126 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 234004 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6609 /proc/meminfo: memFree=27023696/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=263340 CPUtime=342.28 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 65180 0 0 0 34082 146 0 0 25 0 1 0 820196703 269660160 64319 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 65835 64319 180 372 0 65460 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 263340 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6611 /proc/meminfo: memFree=26957448/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=305124 CPUtime=402.28 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 75370 0 0 0 40062 166 0 0 25 0 1 0 820196703 312446976 74509 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 76281 74509 180 372 0 75906 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 305124 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6612 /proc/meminfo: memFree=26892792/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=344488 CPUtime=462.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 85193 0 0 0 46042 185 0 0 25 0 1 0 820196703 352755712 84332 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 86122 84332 180 372 0 85747 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 344488 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6614 /proc/meminfo: memFree=26832480/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=379628 CPUtime=522.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 93781 0 0 0 52019 207 0 0 25 0 1 0 820196703 388739072 92920 33554432000 4194304 5714214 140733534001232 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 94907 92920 180 372 0 94532 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 379628 [startup+582.3 s] /proc/loadavg: 2.09 2.03 2.01 3/482 6615 /proc/meminfo: memFree=26771192/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=413688 CPUtime=582.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 102174 0 0 0 57998 229 0 0 25 0 1 0 820196703 423616512 101242 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 103422 101242 180 372 0 103047 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 413688 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.04 2.01 3/482 6622 /proc/meminfo: memFree=26490800/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=537692 CPUtime=822.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 132769 0 0 0 81935 292 0 0 25 0 1 0 820196703 550596608 131837 33554432000 4194304 5714214 140733534001232 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 134423 131837 180 372 0 134048 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 537692 [startup+882.318 s] /proc/loadavg: 2.01 2.03 2.00 3/482 6623 /proc/meminfo: memFree=26466924/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=560152 CPUtime=882.28 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 138353 0 0 0 87914 314 0 0 25 0 1 0 820196703 573595648 137421 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319796 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 140038 137421 180 372 0 139663 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 560152 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6625 /proc/meminfo: memFree=26450772/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=579116 CPUtime=942.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 142929 0 0 0 93897 329 0 0 25 0 1 0 820196703 593014784 141997 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 144779 141997 180 372 0 144404 0 Current children cumulated CPU time (s) 942.26 Current children cumulated vsize (KiB) 579116 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6627 /proc/meminfo: memFree=26381292/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=648744 CPUtime=1002.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 160173 0 0 0 99868 359 0 0 25 0 1 0 820196703 664313856 159241 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 162186 159241 180 372 0 161811 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 648744 [startup+1062.3 s] /proc/loadavg: 2.13 2.04 2.01 3/482 6628 /proc/meminfo: memFree=26354084/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=676716 CPUtime=1062.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 167132 0 0 0 105848 378 0 0 25 0 1 0 820196703 692957184 166200 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 169179 166200 180 372 0 168804 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 676716 [startup+1122.3 s] /proc/loadavg: 2.11 2.05 2.01 3/482 6630 /proc/meminfo: memFree=26333100/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=698100 CPUtime=1122.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 172354 0 0 0 111826 400 0 0 25 0 1 0 820196703 714854400 171422 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 174525 171422 180 372 0 174150 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 698100 [startup+1182.3 s] /proc/loadavg: 2.14 2.07 2.01 3/482 6631 /proc/meminfo: memFree=26319552/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=711456 CPUtime=1182.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 175643 0 0 0 117811 415 0 0 25 0 1 0 820196703 728530944 174711 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 177864 174711 180 372 0 177489 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 711456 [startup+1242.3 s] /proc/loadavg: 2.09 2.07 2.01 3/482 6633 /proc/meminfo: memFree=26295956/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=732764 CPUtime=1242.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 180964 0 0 0 123795 431 0 0 25 0 1 0 820196703 750350336 180032 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 183191 180032 180 372 0 182816 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 732764 [startup+1302.3 s] /proc/loadavg: 2.03 2.05 2.01 3/482 6635 /proc/meminfo: memFree=26272484/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=757516 CPUtime=1302.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 187075 0 0 0 129779 447 0 0 25 0 1 0 820196703 775696384 186143 33554432000 4194304 5714214 140733534001232 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 189379 186143 180 372 0 189004 0 Current children cumulated CPU time (s) 1302.26 Current children cumulated vsize (KiB) 757516 [startup+1362.3 s] /proc/loadavg: 2.01 2.04 2.00 3/482 6636 /proc/meminfo: memFree=26251880/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=778444 CPUtime=1362.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 192240 0 0 0 135763 463 0 0 25 0 1 0 820196703 797126656 191308 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 194611 191308 180 372 0 194236 0 Current children cumulated CPU time (s) 1362.26 Current children cumulated vsize (KiB) 778444 [startup+1422.3 s] /proc/loadavg: 2.00 2.03 2.00 3/482 6638 /proc/meminfo: memFree=26234364/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=795832 CPUtime=1422.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 196483 0 0 0 141754 473 0 0 25 0 1 0 820196703 814931968 195551 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 198958 195551 180 372 0 198583 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 795832 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6639 /proc/meminfo: memFree=26212504/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=817056 CPUtime=1482.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 201674 0 0 0 147738 488 0 0 25 0 1 0 820196703 836665344 200742 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 204264 200742 180 372 0 203889 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 817056 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6641 /proc/meminfo: memFree=26197596/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=832180 CPUtime=1542.28 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 205430 0 0 0 153726 502 0 0 25 0 1 0 820196703 852152320 204498 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 208045 204498 180 372 0 207670 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 832180 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6643 /proc/meminfo: memFree=26171780/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=857736 CPUtime=1602.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 211749 0 0 0 159708 518 0 0 25 0 1 0 820196703 878321664 210817 33554432000 4194304 5714214 140733534001232 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 214434 210817 180 372 0 214059 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 857736 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/482 6644 /proc/meminfo: memFree=26130964/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=899764 CPUtime=1662.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 222042 0 0 0 165689 537 0 0 25 0 1 0 820196703 921358336 221110 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 224941 221110 180 372 0 224566 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 899764 [startup+1722.3 s] /proc/loadavg: 2.08 2.03 2.00 3/482 6646 /proc/meminfo: memFree=26105028/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=920068 CPUtime=1722.27 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 227000 0 0 0 171678 549 0 0 25 0 1 0 820196703 942149632 226068 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 230017 226068 180 372 0 229642 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 920068 [startup+1782.3 s] /proc/loadavg: 2.03 2.02 2.00 3/482 6647 /proc/meminfo: memFree=26056132/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=945720 CPUtime=1782.26 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 233245 0 0 0 177661 565 0 0 25 0 1 0 820196703 968417280 232313 33554432000 4194304 5714214 140733534001232 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 236430 232313 180 372 0 236055 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 945720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.02 2.02 2.00 2/480 6649 /proc/meminfo: memFree=26509972/32950928 swapFree=39617324/67111528 [pid=6599] ppid=6597 vsize=957696 CPUtime=1800.07 cores=0,2,4,6 /proc/6599/stat : 6599 (wbo1.6) R 6597 6599 4028 0 -1 4202496 236196 0 0 0 179439 568 0 0 25 0 1 0 820196703 980680704 235264 33554432000 4194304 5714214 140733534001232 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/6599/statm: 239424 235264 180 372 0 239049 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 957696 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.17 CPU time (s): 1800.14 CPU user time (s): 1794.4 CPU system time (s): 5.73813 CPU usage (%): 99.9983 Max. virtual memory (cumulated for all children) (KiB): 957696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.4 system time used= 5.73813 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236196 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= 43 involuntary context switches= 4045 runsolver used 8.5637 second user time and 19.2981 second system time The end
Begin job on node127 at 2011-06-03 09:26:10 IDJOB=3460940 IDBENCH=2119 IDSOLVER=1953 FILE ID=node127/3460940-1307085970 RUNJOBID= node127-1307084168-6463 PBS_JOBID= 13497859 Free space on /tmp= 73940 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8e1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460940-1307085970/watcher-3460940-1307085970 -o /tmp/evaluation-result-3460940-1307085970/solver-3460940-1307085970 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460940-1307085970.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9711add7b63200e6cedabbc5764a3737 RANDOM SEED=458631815 node127.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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.83 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.823 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.823 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.86 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.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 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.823 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.60 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.823 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 27458156 kB Buffers: 313812 kB Cached: 882980 kB SwapCached: 59160 kB Active: 3203956 kB Inactive: 2001860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27458156 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 3956536 kB Mapped: 22852 kB Slab: 122188 kB PageTables: 95136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119744520 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= 73932 MiB End job on node127 at 2011-06-03 09:56:13