Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8c1.opb |
MD5SUM | 455daeae9aaa9768f332064b32a16167 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 302 |
Best CPU time to get the best result obtained on this benchmark | 149.887 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 302 |
Optimality of the best value was proved | NO |
Number of variables | 1020 |
Total number of constraints | 3575 |
Number of constraints which are clauses | 3575 |
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 | 1020 |
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 | 1020 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1020 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460984-1307089575.opb. 0.00/0.00 c Instance file HOME/instance-3460984-1307089575.opb 0.00/0.00 c File size is 99046 bytes. 0.00/0.00 c Highest Coefficient sum: 11 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 1020 | 0.00/0.00 c | Number Clauses: 3575 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 1020 3575 8330 | 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.007998 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.008998 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.009998 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.010998 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.011998 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.012998 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.013997 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.014997 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.015997 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.016997 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.017997 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.018997 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.019996 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.020996 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.021996 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.022996 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.023996 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.024996 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.025996 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.026995 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.027995 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.029995 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.030995 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.031995 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.032994 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.033994 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.034994 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.035994 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.036994 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.037994 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.038994 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.039993 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.040993 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.041993 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.042993 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.043993 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.044993 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.045993 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.046992 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.047992 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.049992 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.050992 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.051992 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.052991 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.053991 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.054991 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.055991 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.056991 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.057991 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.058991 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.05999 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.06099 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.06199 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.06399 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.06499 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.065989 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.066989 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.067989 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.068989 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.069989 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.070989 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.071989 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.072988 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.073988 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.075988 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.076988 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.077988 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.078987 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.079987 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.080987 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.081987 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.082987 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.084987 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.085986 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.086986 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.087986 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.088986 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.089986 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.090986 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.091986 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.093985 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.094985 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.095985 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.096985 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.097985 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.098984 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.100984 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.101984 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.102984 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.103984 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.104984 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.106983 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.107983 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.108983 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.109983 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.111982 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.112982 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.113982 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.114982 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.116982 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.117982 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.118981 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.119981 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.121981 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.122981 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.123981 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.12598 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.12698 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.12798 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.12898 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.13098 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.131979 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.132979 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.134979 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.135979 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.136979 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.138978 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.139978 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.140978 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.142978 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.143978 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.144977 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.146977 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.147977 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.149977 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: 16 Core Weight: 1 Total Weight: 126 0.10/0.15 c Current CPU time: 0.150977 s 0.10/0.15 c 0.10/0.15 c core #127 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 127 0.19/0.21 c Current CPU time: 0.151976 s 0.19/0.21 c 0.19/0.21 c core #128 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 128 0.19/0.21 c Current CPU time: 0.153976 s 0.19/0.21 c 0.19/0.21 c core #129 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 129 0.19/0.21 c Current CPU time: 0.154976 s 0.19/0.21 c 0.19/0.21 c core #130 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 130 0.19/0.21 c Current CPU time: 0.156976 s 0.19/0.21 c 0.19/0.21 c core #131 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 131 0.19/0.21 c Current CPU time: 0.157975 s 0.19/0.21 c 0.19/0.21 c core #132 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 132 0.19/0.21 c Current CPU time: 0.159975 s 0.19/0.21 c 0.19/0.21 c core #133 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 133 0.19/0.21 c Current CPU time: 0.160975 s 0.19/0.21 c 0.19/0.21 c core #134 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 16 Core Weight: 1 Total Weight: 134 0.19/0.21 c Current CPU time: 0.161975 s 0.19/0.21 c 0.19/0.21 c core #135 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 135 0.19/0.21 c Current CPU time: 0.163975 s 0.19/0.21 c 0.19/0.21 c core #136 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 136 0.19/0.21 c Current CPU time: 0.164974 s 0.19/0.21 c 0.19/0.21 c core #137 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 137 0.19/0.21 c Current CPU time: 0.166974 s 0.19/0.21 c 0.19/0.21 c core #138 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 138 0.19/0.21 c Current CPU time: 0.167974 s 0.19/0.21 c 0.19/0.21 c core #139 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 139 0.19/0.21 c Current CPU time: 0.169974 s 0.19/0.21 c 0.19/0.21 c core #140 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 140 0.19/0.21 c Current CPU time: 0.170974 s 0.19/0.21 c 0.19/0.21 c core #141 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 141 0.19/0.21 c Current CPU time: 0.172973 s 0.19/0.21 c 0.19/0.21 c core #142 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 16 Core Weight: 1 Total Weight: 142 0.19/0.21 c Current CPU time: 0.173973 s 0.19/0.21 c 0.19/0.21 c core #143 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 143 0.19/0.21 c Current CPU time: 0.175973 s 0.19/0.21 c 0.19/0.21 c core #144 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 144 0.19/0.21 c Current CPU time: 0.176973 s 0.19/0.21 c 0.19/0.21 c core #145 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 145 0.19/0.21 c Current CPU time: 0.178972 s 0.19/0.21 c 0.19/0.21 c core #146 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 146 0.19/0.21 c Current CPU time: 0.179972 s 0.19/0.21 c 0.19/0.21 c core #147 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 147 0.19/0.21 c Current CPU time: 0.181972 s 0.19/0.21 c 0.19/0.21 c core #148 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 148 0.19/0.21 c Current CPU time: 0.183972 s 0.19/0.21 c 0.19/0.21 c core #149 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 149 0.19/0.21 c Current CPU time: 0.184971 s 0.19/0.21 c 0.19/0.21 c core #150 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 16 Core Weight: 1 Total Weight: 150 0.19/0.21 c Current CPU time: 0.186971 s 0.19/0.21 c 0.19/0.21 c core #151 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 151 0.19/0.21 c Current CPU time: 0.187971 s 0.19/0.21 c 0.19/0.21 c core #152 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 152 0.19/0.21 c Current CPU time: 0.189971 s 0.19/0.21 c 0.19/0.21 c core #153 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 153 0.19/0.21 c Current CPU time: 0.19097 s 0.19/0.21 c 0.19/0.21 c core #154 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 154 0.19/0.21 c Current CPU time: 0.19297 s 0.19/0.21 c 0.19/0.21 c core #155 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 155 0.19/0.21 c Current CPU time: 0.19497 s 0.19/0.21 c 0.19/0.21 c core #156 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 156 0.19/0.21 c Current CPU time: 0.19597 s 0.19/0.21 c 0.19/0.21 c core #157 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 157 0.19/0.21 c Current CPU time: 0.197969 s 0.19/0.21 c 0.19/0.21 c core #158 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 16 Core Weight: 1 Total Weight: 158 0.19/0.21 c Current CPU time: 0.198969 s 0.19/0.21 c 0.19/0.21 c core #159 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 159 0.19/0.21 c Current CPU time: 0.200969 s 0.19/0.21 c 0.19/0.21 c core #160 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 160 0.19/0.21 c Current CPU time: 0.202969 s 0.19/0.21 c 0.19/0.21 c core #161 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 161 0.19/0.21 c Current CPU time: 0.203968 s 0.19/0.21 c 0.19/0.21 c core #162 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 162 0.19/0.21 c Current CPU time: 0.205968 s 0.19/0.21 c 0.19/0.21 c core #163 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 163 0.19/0.21 c Current CPU time: 0.207968 s 0.19/0.21 c 0.19/0.21 c core #164 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 164 0.19/0.21 c Current CPU time: 0.208968 s 0.19/0.21 c 0.19/0.21 c core #165 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 22 Core Weight: 1 Total Weight: 165 0.19/0.21 c Current CPU time: 0.210967 s 0.19/0.21 c 0.19/0.21 c core #166 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 16 Core Weight: 1 Total Weight: 166 0.19/0.21 c Current CPU time: 0.212967 s 0.19/0.21 c 0.19/0.21 c core #167 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 20 Core Weight: 1 Total Weight: 167 0.19/0.21 c Current CPU time: 0.213967 s 0.19/0.21 c 0.19/0.21 c core #168 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 168 0.19/0.29 c Current CPU time: 0.215967 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: 19 Core Weight: 1 Total Weight: 169 0.19/0.29 c Current CPU time: 0.217966 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: 22 Core Weight: 1 Total Weight: 170 0.19/0.29 c Current CPU time: 0.219966 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: 22 Core Weight: 1 Total Weight: 171 0.19/0.29 c Current CPU time: 0.220966 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: 19 Core Weight: 1 Total Weight: 172 0.19/0.29 c Current CPU time: 0.222966 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: 22 Core Weight: 1 Total Weight: 173 0.19/0.29 c Current CPU time: 0.224965 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: 16 Core Weight: 1 Total Weight: 174 0.19/0.29 c Current CPU time: 0.226965 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: 20 Core Weight: 1 Total Weight: 175 0.19/0.29 c Current CPU time: 0.227965 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: 22 Core Weight: 1 Total Weight: 176 0.19/0.29 c Current CPU time: 0.229965 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: 19 Core Weight: 1 Total Weight: 177 0.19/0.29 c Current CPU time: 0.231964 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.233964 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: 22 Core Weight: 1 Total Weight: 179 0.19/0.29 c Current CPU time: 0.234964 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: 19 Core Weight: 1 Total Weight: 180 0.19/0.29 c Current CPU time: 0.236963 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: 22 Core Weight: 1 Total Weight: 181 0.19/0.29 c Current CPU time: 0.238963 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.240963 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.241963 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: 22 Core Weight: 1 Total Weight: 184 0.19/0.29 c Current CPU time: 0.243962 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: 19 Core Weight: 1 Total Weight: 185 0.19/0.29 c Current CPU time: 0.245962 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: 22 Core Weight: 1 Total Weight: 186 0.19/0.29 c Current CPU time: 0.247962 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.249962 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: 19 Core Weight: 1 Total Weight: 188 0.19/0.29 c Current CPU time: 0.250961 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: 22 Core Weight: 1 Total Weight: 189 0.19/0.29 c Current CPU time: 0.252961 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: 16 Core Weight: 1 Total Weight: 190 0.19/0.29 c Current CPU time: 0.254961 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: 20 Core Weight: 1 Total Weight: 191 0.19/0.29 c Current CPU time: 0.25696 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: 22 Core Weight: 1 Total Weight: 192 0.19/0.29 c Current CPU time: 0.25896 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: 19 Core Weight: 1 Total Weight: 193 0.19/0.29 c Current CPU time: 0.26096 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: 22 Core Weight: 1 Total Weight: 194 0.19/0.29 c Current CPU time: 0.26196 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: 22 Core Weight: 1 Total Weight: 195 0.19/0.29 c Current CPU time: 0.263959 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: 19 Core Weight: 1 Total Weight: 196 0.19/0.29 c Current CPU time: 0.265959 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: 22 Core Weight: 1 Total Weight: 197 0.19/0.29 c Current CPU time: 0.267959 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: 16 Core Weight: 1 Total Weight: 198 0.19/0.29 c Current CPU time: 0.269958 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: 20 Core Weight: 1 Total Weight: 199 0.19/0.29 c Current CPU time: 0.271958 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: 22 Core Weight: 1 Total Weight: 200 0.19/0.29 c Current CPU time: 0.273958 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: 19 Core Weight: 1 Total Weight: 201 0.19/0.29 c Current CPU time: 0.275958 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: 22 Core Weight: 1 Total Weight: 202 0.19/0.29 c Current CPU time: 0.277957 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: 22 Core Weight: 1 Total Weight: 203 0.19/0.29 c Current CPU time: 0.278957 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: 19 Core Weight: 1 Total Weight: 204 0.19/0.29 c Current CPU time: 0.280957 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.281957 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: 201 Core Weight: 1 Total Weight: 206 0.19/0.29 c Current CPU time: 0.284956 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: 7 Core Weight: 1 Total Weight: 207 0.19/0.29 c Current CPU time: 0.285956 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: 7 Core Weight: 1 Total Weight: 208 0.19/0.29 c Current CPU time: 0.287956 s 0.19/0.29 c 0.19/0.29 c core #209 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 209 0.29/0.30 c Current CPU time: 0.288956 s 0.29/0.30 c 0.29/0.30 c core #210 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 210 0.29/0.30 c Current CPU time: 0.290955 s 0.29/0.30 c 0.29/0.30 c core #211 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 211 0.29/0.30 c Current CPU time: 0.292955 s 0.29/0.30 c 0.29/0.30 c core #212 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 212 0.29/0.30 c Current CPU time: 0.294955 s 0.29/0.30 c 0.29/0.30 c core #213 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 213 0.29/0.30 c Current CPU time: 0.296954 s 0.29/0.30 c 0.29/0.30 c core #214 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 214 0.29/0.30 c Current CPU time: 0.298954 s 0.29/0.30 c 0.29/0.30 c core #215 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 215 0.29/0.30 c Current CPU time: 0.300954 s 0.29/0.30 c 0.29/0.30 c core #216 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 7 Core Weight: 1 Total Weight: 216 0.29/0.30 c Current CPU time: 0.301954 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 2000 4811 11280 | 5000 0 -nan | 0.000 % | 0.29/0.30 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: 12 Core Weight: 1 Total Weight: 217 0.29/0.31 c Current CPU time: 0.304953 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 | 2007 4812 11294 | 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: 26 Core Weight: 1 Total Weight: 218 0.29/0.31 c Current CPU time: 0.306953 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 | 2016 4813 11312 | 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: 12 Core Weight: 1 Total Weight: 219 0.29/0.31 c Current CPU time: 0.308953 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 | 2023 4814 11326 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #220 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 26 Core Weight: 1 Total Weight: 220 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 | 2032 4815 11344 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #221 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 10 Core Weight: 1 Total Weight: 221 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 | 2038 4816 11356 | 5000 0 -nan | 0.000 % | 0.29/0.31 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: 25 Core Weight: 1 Total Weight: 222 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 | 2049 4817 11379 | 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: 10 Core Weight: 1 Total Weight: 223 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 | 2055 4818 11391 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #224 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 10 Core Weight: 1 Total Weight: 224 0.29/0.32 c Current CPU time: 0.319951 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 | 2061 4819 11403 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #225 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 10 Core Weight: 1 Total Weight: 225 0.29/0.32 c Current CPU time: 0.321951 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 | 2067 4820 11415 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #226 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 10 Core Weight: 1 Total Weight: 226 0.29/0.32 c Current CPU time: 0.32395 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 | 2073 4821 11427 | 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: 10 Core Weight: 1 Total Weight: 227 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 | 2079 4822 11439 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #228 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 228 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 | 2085 4823 11451 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #229 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 229 0.29/0.33 c Current CPU time: 0.330949 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 | 2091 4824 11463 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #230 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 230 0.29/0.33 c Current CPU time: 0.332949 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 | 2097 4825 11475 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #231 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 10 Core Weight: 1 Total Weight: 231 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 | 2103 4826 11487 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #232 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 10 Core Weight: 1 Total Weight: 232 0.29/0.34 c Current CPU time: 0.337948 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 | 2109 4827 11499 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #233 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 10 Core Weight: 1 Total Weight: 233 0.29/0.34 c Current CPU time: 0.339948 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 | 2115 4828 11511 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #234 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 10 Core Weight: 1 Total Weight: 234 0.29/0.34 c Current CPU time: 0.341948 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 | 2121 4829 11523 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.35 c core #235 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 235 0.29/0.35 c Current CPU time: 0.343947 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 | 2127 4830 11535 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #236 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 236 0.29/0.35 c Current CPU time: 0.346947 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 | 2133 4831 11547 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #237 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 237 0.29/0.35 c Current CPU time: 0.348946 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 | 2139 4832 11559 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #238 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 238 0.29/0.35 c Current CPU time: 0.350946 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 | 2145 4833 11571 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #239 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 10 Core Weight: 1 Total Weight: 239 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 | 2151 4834 11583 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #240 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 240 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 | 2157 4835 11595 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #241 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 241 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 | 2163 4836 11607 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #242 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 242 0.29/0.36 c Current CPU time: 0.358945 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 | 2169 4837 11619 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #243 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 243 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 | 2175 4838 11631 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #244 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 10 Core Weight: 1 Total Weight: 244 0.29/0.37 c Current CPU time: 0.363944 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 | 2181 4839 11643 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #245 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 10 Core Weight: 1 Total Weight: 245 0.29/0.37 c Current CPU time: 0.365944 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 | 2187 4840 11655 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #246 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 10 Core Weight: 1 Total Weight: 246 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 | 2193 4841 11667 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #247 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 10 Core Weight: 1 Total Weight: 247 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 | 2199 4842 11679 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #248 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: 248 0.29/0.38 c Current CPU time: 0.372943 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 | 2205 4843 11691 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #249 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: 249 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 | 2211 4844 11703 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #250 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 53 Core Weight: 1 Total Weight: 250 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 | 2239 4845 11759 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #251 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 12 Core Weight: 1 Total Weight: 251 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 | 2246 4846 11773 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #252 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 10 Core Weight: 1 Total Weight: 252 0.29/0.38 c Current CPU time: 0.382941 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 | 2252 4847 11785 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #253 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 10 Core Weight: 1 Total Weight: 253 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 | 2258 4848 11797 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #254 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 11 Core Weight: 1 Total Weight: 254 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 | 2265 4849 11811 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #255 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 54 Core Weight: 1 Total Weight: 255 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 | 2292 4850 11866 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.40 c core #256 0.29/0.40 c 0.29/0.40 c 0.29/0.40 c Core size: 14 Core Weight: 1 Total Weight: 256 0.29/0.40 c Current CPU time: 0.39294 s 0.29/0.40 c 0.29/0.40 c ============================[ Search Statistics ]============================== 0.29/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 | 2300 4851 11882 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #257 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 12 Core Weight: 1 Total Weight: 257 0.39/0.40 c Current CPU time: 0.395939 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 | 2307 4852 11896 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #258 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 14 Core Weight: 1 Total Weight: 258 0.39/0.40 c Current CPU time: 0.398939 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 | 2315 4853 11912 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #259 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 28 Core Weight: 1 Total Weight: 259 0.39/0.40 c Current CPU time: 0.401938 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 | 2328 4854 11939 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #260 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 14 Core Weight: 1 Total Weight: 260 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 | 2336 4855 11955 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #261 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 14 Core Weight: 1 Total Weight: 261 0.39/0.41 c Current CPU time: 0.406938 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 | 2344 4856 11971 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #262 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 12 Core Weight: 1 Total Weight: 262 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 | 2351 4857 11985 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #263 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 12 Core Weight: 1 Total Weight: 263 0.39/0.41 c Current CPU time: 0.411937 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 | 2358 4858 11999 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #264 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 10 Core Weight: 1 Total Weight: 264 0.39/0.42 c Current CPU time: 0.413937 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 | 2364 4859 12011 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #265 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 11 Core Weight: 1 Total Weight: 265 0.39/0.42 c Current CPU time: 0.415936 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 | 2371 4860 12025 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #266 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 17 Core Weight: 1 Total Weight: 266 0.39/0.42 c Current CPU time: 0.418936 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 | 2380 4861 12043 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #267 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 26 Core Weight: 1 Total Weight: 267 0.39/0.43 c Current CPU time: 0.421935 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 | 2389 4862 12061 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #268 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 10 Core Weight: 1 Total Weight: 268 0.39/0.43 c Current CPU time: 0.423935 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 | 2395 4863 12073 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #269 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 12 Core Weight: 1 Total Weight: 269 0.39/0.43 c Current CPU time: 0.425935 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 | 2402 4864 12087 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #270 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 23 Core Weight: 1 Total Weight: 270 0.39/0.43 c Current CPU time: 0.428934 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 | 2417 4865 12117 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #271 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 10 Core Weight: 1 Total Weight: 271 0.39/0.44 c Current CPU time: 0.430934 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 | 2423 4866 12129 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #272 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 20 Core Weight: 1 Total Weight: 272 0.39/0.44 c Current CPU time: 0.433934 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 | 2439 4868 12165 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #273 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 18 Core Weight: 1 Total Weight: 273 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 | 2448 4869 12183 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #274 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 37 Core Weight: 1 Total Weight: 274 0.39/0.44 c Current CPU time: 0.439933 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 | 2467 4870 12221 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #275 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 10 Core Weight: 1 Total Weight: 275 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 | 2473 4871 12233 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #276 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 10 Core Weight: 1 Total Weight: 276 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 | 2479 4872 12245 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #277 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 15 Core Weight: 1 Total Weight: 277 0.39/0.45 c Current CPU time: 0.447931 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 | 2490 4874 12271 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #278 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 14 Core Weight: 1 Total Weight: 278 0.39/0.46 c Current CPU time: 0.449931 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 | 2498 4875 12287 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #279 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 14 Core Weight: 1 Total Weight: 279 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 | 2506 4876 12303 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #280 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 12 Core Weight: 1 Total Weight: 280 0.39/0.46 c Current CPU time: 0.45393 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 | 2514 4877 12319 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #281 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 23 Core Weight: 1 Total Weight: 281 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 | 2525 4878 12341 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #282 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 33 Core Weight: 1 Total Weight: 282 0.39/0.47 c Current CPU time: 0.45893 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 | 2549 4879 12390 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #283 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 10 Core Weight: 1 Total Weight: 283 0.39/0.47 c Current CPU time: 0.461929 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 | 2555 4880 12402 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #284 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 22 Core Weight: 1 Total Weight: 284 0.39/0.47 c Current CPU time: 0.464929 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 | 2567 4881 12426 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #285 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 20 Core Weight: 1 Total Weight: 285 0.39/0.47 c Current CPU time: 0.466929 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 | 2580 4882 12452 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.48 c core #286 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 36 Core Weight: 1 Total Weight: 286 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 | 2600 4884 12496 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #287 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 28 Core Weight: 1 Total Weight: 287 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 | 2623 4885 12543 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #288 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 21 Core Weight: 1 Total Weight: 288 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 | 2638 4887 12575 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #289 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 38 Core Weight: 1 Total Weight: 289 0.39/0.49 c Current CPU time: 0.477927 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 | 2667 4888 12633 | 5000 0 -nan | 0.000 % | 0.39/0.49 c | 105 | 2661 4888 12633 | 5500 105 6 | 1.116 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #290 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 32 Core Weight: 1 Total Weight: 290 0.39/0.49 c Current CPU time: 0.482926 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 | 2686 4891 12678 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.49/0.50 c core #291 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 51 Core Weight: 1 Total Weight: 291 0.49/0.50 c Current CPU time: 0.487925 s 0.49/0.50 c 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 2723 4892 12753 | 5000 0 -nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #292 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 27 Core Weight: 1 Total Weight: 292 0.49/0.50 c Current CPU time: 0.491925 s 0.49/0.50 c 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 2746 4893 12799 | 5000 0 -nan | 0.000 % | 0.49/0.50 c | 100 | 2734 4893 12799 | 5500 100 5 | 1.699 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #293 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 154 Core Weight: 1 Total Weight: 293 0.49/0.51 c Current CPU time: 0.497924 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 2858 4901 13041 | 5000 0 -nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #294 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 49 Core Weight: 1 Total Weight: 294 0.49/0.51 c Current CPU time: 0.500923 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 2883 4902 13091 | 5000 0 -nan | 0.000 % | 0.49/0.52 c | 100 | 2879 4902 13091 | 5500 100 6 | 0.827 % | 0.49/0.52 c | 250 | 2871 4902 13091 | 6050 250 6 | 1.240 % | 0.49/0.53 c | 480 | 2842 4902 13091 | 6655 480 7 | 2.205 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #295 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 248 Core Weight: 1 Total Weight: 295 0.49/0.54 c Current CPU time: 0.51992 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 3074 4913 13496 | 5000 0 -nan | 0.000 % | 0.49/0.54 c | 100 | 3074 4913 13496 | 5500 100 11 | 0.647 % | 0.49/0.54 c | 250 | 3072 4913 13496 | 6050 250 12 | 0.712 % | 0.49/0.55 c | 475 | 3047 4913 13496 | 6655 475 10 | 1.519 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #296 0.49/0.55 c 0.49/0.55 c 0.49/0.55 c Core size: 54 Core Weight: 1 Total Weight: 296 0.49/0.55 c Current CPU time: 0.530919 s 0.49/0.55 c 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 3120 4914 13588 | 5000 0 -nan | 0.000 % | 0.49/0.55 c | 100 | 3119 4914 13588 | 5500 100 11 | 0.701 % | 0.49/0.55 c | 253 | 3115 4914 13588 | 6050 253 9 | 0.796 % | 0.49/0.56 c | 478 | 3107 4914 13588 | 6655 478 10 | 1.083 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #297 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 211 Core Weight: 1 Total Weight: 297 0.49/0.57 c Current CPU time: 0.547916 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3294 4924 13959 | 5000 0 -nan | 0.000 % | 0.49/0.57 c | 100 | 3294 4924 13959 | 5500 100 14 | 0.604 % | 0.49/0.57 c | 253 | 3294 4924 13959 | 6050 253 11 | 0.604 % | 0.49/0.58 c | 478 | 3292 4924 13959 | 6655 478 12 | 0.664 % | 0.49/0.58 c | 816 | 3292 4924 13959 | 7320 816 13 | 0.664 % | 0.59/0.60 c | 1322 | 3289 4924 13959 | 8052 1322 14 | 0.754 % | 0.59/0.62 c | 2081 | 3282 4924 13959 | 8857 2081 16 | 0.996 % | 0.59/0.66 c | 3220 | 3241 4924 13959 | 9743 3220 17 | 2.294 % | 0.69/0.73 c | 4928 | 3216 4924 13959 | 10717 4928 22 | 3.048 % | 0.69/0.74 c =============================================================================== 0.69/0.76 c core #298 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 464 Core Weight: 1 Total Weight: 298 0.69/0.76 c Current CPU time: 0.71989 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 | 3693 4944 14806 | 5000 0 -nan | 0.000 % | 0.69/0.76 c | 102 | 3693 4944 14806 | 5500 102 21 | 0.539 % | 0.69/0.77 c | 254 | 3693 4944 14806 | 6050 254 24 | 0.539 % | 0.69/0.77 c | 480 | 3693 4944 14806 | 6655 480 24 | 0.539 % | 0.69/0.78 c | 821 | 3693 4944 14806 | 7320 821 25 | 0.539 % | 0.79/0.80 c | 1327 | 3693 4944 14806 | 8052 1327 26 | 0.539 % | 0.79/0.83 c | 2088 | 3693 4944 14806 | 8857 2088 25 | 0.539 % | 0.79/0.87 c | 3228 | 3693 4944 14806 | 9743 3228 27 | 0.539 % | 0.89/0.95 c | 4936 | 3693 4944 14806 | 10717 4936 42 | 0.539 % | 0.99/1.11 c | 7500 | 3691 4944 14806 | 11789 7500 60 | 0.593 % | 1.39/1.47 c | 11347 | 3691 4944 14806 | 12968 11347 93 | 0.593 % | 2.09/2.12 c | 17115 | 3691 4944 14806 | 14265 10462 122 | 0.593 % | 3.30/3.33 c | 25765 | 3690 4944 14806 | 15692 11688 96 | 0.619 % | 3.59/3.64 c =============================================================================== 3.69/3.71 c core #299 3.69/3.71 c 3.69/3.71 c 3.69/3.71 c Core size: 481 Core Weight: 1 Total Weight: 299 3.69/3.71 c Current CPU time: 3.58146 s 3.69/3.71 c 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 4124 4976 15741 | 5000 0 -nan | 0.000 % | 3.69/3.72 c | 101 | 4122 4976 15741 | 5500 101 12 | 0.531 % | 3.69/3.72 c | 256 | 4122 4976 15741 | 6050 256 21 | 0.531 % | 3.69/3.73 c | 483 | 4122 4976 15741 | 6655 483 22 | 0.531 % | 3.69/3.74 c | 821 | 4122 4976 15741 | 7320 821 22 | 0.531 % | 3.69/3.76 c | 1327 | 4122 4976 15741 | 8052 1327 25 | 0.531 % | 3.69/3.79 c | 2087 | 4122 4976 15741 | 8857 2087 25 | 0.531 % | 3.79/3.85 c | 3228 | 4122 4976 15741 | 9743 3228 30 | 0.531 % | 3.89/3.92 c | 4936 | 4122 4976 15741 | 10717 4936 33 | 0.531 % | 3.99/4.06 c | 7502 | 4122 4976 15741 | 11789 7502 36 | 0.531 % | 4.29/4.31 c | 11346 | 4112 4976 15741 | 12968 11346 44 | 0.772 % | 4.79/4.90 c | 17114 | 4102 4976 15741 | 14265 10129 97 | 1.014 % | 6.09/6.14 c | 25763 | 4102 4976 15741 | 15692 11441 156 | 1.014 % | 8.70/8.72 c | 38738 | 4100 4976 15741 | 17261 8189 202 | 1.062 % | 12.29/12.36 c | 58200 | 4100 4976 15741 | 18987 9868 119 | 1.062 % | 16.89/16.92 c =============================================================================== 17.19/17.28 c core #300 17.19/17.28 c 17.19/17.28 c 17.19/17.28 c Core size: 436 Core Weight: 1 Total Weight: 300 17.19/17.28 c Current CPU time: 16.9044 s 17.19/17.28 c 17.19/17.28 c ============================[ Search Statistics ]============================== 17.19/17.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.19/17.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.19/17.28 c =============================================================================== 17.19/17.28 c | 0 | 4533 4988 16584 | 5000 0 -nan | 0.000 % | 17.19/17.29 c | 101 | 4533 4988 16584 | 5500 101 35 | 0.439 % | 17.19/17.30 c | 252 | 4533 4988 16584 | 6050 252 26 | 0.439 % | 17.30/17.30 c | 477 | 4533 4988 16584 | 6655 477 25 | 0.439 % | 17.30/17.32 c | 814 | 4533 4988 16584 | 7320 814 29 | 0.439 % | 17.30/17.34 c | 1327 | 4533 4988 16584 | 8052 1327 35 | 0.439 % | 17.30/17.38 c | 2088 | 4533 4988 16584 | 8857 2088 32 | 0.439 % | 17.39/17.43 c | 3227 | 4533 4988 16584 | 9743 3227 37 | 0.439 % | 17.50/17.54 c | 4936 | 4533 4988 16584 | 10717 4936 42 | 0.439 % | 17.71/17.78 c | 7499 | 4533 4988 16584 | 11789 7499 52 | 0.439 % | 17.99/18.04 c | 11346 | 4533 4988 16584 | 12968 11346 48 | 0.439 % | 18.59/18.63 c | 17112 | 4533 4988 16584 | 14265 10382 65 | 0.439 % | 19.39/19.44 c | 25761 | 4533 4988 16584 | 15692 11052 85 | 0.439 % | 20.90/20.95 c | 38735 | 4533 4988 16584 | 17261 15393 135 | 0.439 % | 24.90/24.96 c | 58196 | 4531 4988 16584 | 18987 16595 292 | 0.483 % | 29.70/29.78 c | 87388 | 4531 4988 16584 | 20886 16060 93 | 0.483 % | 37.60/37.66 c | 131179 | 4531 4988 16584 | 22974 16167 224 | 0.483 % | 48.60/48.66 c | 196867 | 4531 4988 16584 | 25272 20440 80 | 0.483 % | 66.90/66.98 c | 295393 | 4528 4988 16584 | 27799 24057 251 | 0.549 % | 108.29/108.30 c | 443183 | 4527 4988 16584 | 30579 20569 225 | 0.593 % | 185.60/185.60 c | 664869 | 4526 4988 16584 | 33637 31030 249 | 0.593 % | 312.20/312.23 c | 997394 | 4526 4988 16584 | 37001 24678 330 | 0.593 % | 478.41/478.41 c | 1496182 | 4524 4988 16584 | 40701 15934 175 | 0.637 % | 745.72/745.72 c | 2244365 | 4522 4988 16584 | 44771 26254 238 | 0.681 % | 1157.04/1157.03 c | 3366640 | 4522 4988 16584 | 49248 28772 314 | 0.681 % |
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-3460984-1307089575/watcher-3460984-1307089575 -o /tmp/evaluation-result-3460984-1307089575/solver-3460984-1307089575 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460984-1307089575.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.01 1/476 6807 /proc/meminfo: memFree=27458756/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=3480 CPUtime=0 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 679 0 0 0 0 0 0 0 25 0 1 0 820557133 3563520 607 33554432000 4194304 5714214 140737267733200 18446744073709551615 5013640 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 870 607 175 372 0 495 0 [startup+0.110355 s] /proc/loadavg: 2.04 2.03 2.01 1/476 6807 /proc/meminfo: memFree=27458756/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=3928 CPUtime=0.1 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 825 0 0 0 10 0 0 0 25 0 1 0 820557133 4022272 708 33554432000 4194304 5714214 140737267733200 18446744073709551615 4973125 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 982 708 175 372 0 607 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3928 [startup+0.200357 s] /proc/loadavg: 2.04 2.03 2.01 1/476 6807 /proc/meminfo: memFree=27458756/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=4348 CPUtime=0.19 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 992 0 0 0 19 0 0 0 25 0 1 0 820557133 4452352 830 33554432000 4194304 5714214 140737267733200 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 1087 830 175 372 0 712 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4348 [startup+0.300339 s] /proc/loadavg: 2.04 2.03 2.01 1/476 6807 /proc/meminfo: memFree=27458756/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=4972 CPUtime=0.29 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 1353 0 0 0 29 0 0 0 25 0 1 0 820557133 5091328 1002 33554432000 4194304 5714214 140737267733200 18446744073709551615 4342291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 1243 1002 176 372 0 868 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4972 [startup+0.700261 s] /proc/loadavg: 2.04 2.03 2.01 1/476 6807 /proc/meminfo: memFree=27458756/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=6672 CPUtime=0.69 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 2073 0 0 0 66 3 0 0 25 0 1 0 820557133 6832128 1415 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 1668 1415 180 372 0 1293 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6672 [startup+1.50111 s] /proc/loadavg: 2.04 2.03 2.01 3/482 6820 /proc/meminfo: memFree=27444564/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=12424 CPUtime=1.49 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 3509 0 0 0 143 6 0 0 25 0 1 0 820557133 12722176 2851 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 3106 2851 180 372 0 2731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12424 [startup+3.10074 s] /proc/loadavg: 2.04 2.03 2.01 3/482 6820 /proc/meminfo: memFree=27431172/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=17596 CPUtime=3.09 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 4791 0 0 0 299 10 0 0 25 0 1 0 820557133 18018304 4133 33554432000 4194304 5714214 140737267733200 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 4399 4133 180 372 0 4024 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17596 [startup+6.3012 s] /proc/loadavg: 2.03 2.02 2.00 3/482 6820 /proc/meminfo: memFree=27407088/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=19252 CPUtime=6.29 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 5226 0 0 0 609 20 0 0 22 0 1 0 820557133 19714048 4538 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 4813 4538 180 372 0 4438 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19252 [startup+12.701 s] /proc/loadavg: 2.03 2.02 2.00 3/482 6820 /proc/meminfo: memFree=27379080/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=30152 CPUtime=12.69 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 7940 0 0 0 1241 28 0 0 25 0 1 0 820557133 30875648 7252 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 7538 7252 180 372 0 7163 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30152 [startup+25.5005 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6821 /proc/meminfo: memFree=27369764/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=39584 CPUtime=25.49 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 10381 0 0 0 2499 50 0 0 25 0 1 0 820557133 40534016 9627 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 9896 9627 180 372 0 9521 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39584 [startup+51.1006 s] /proc/loadavg: 2.08 2.04 2.01 3/482 6821 /proc/meminfo: memFree=27345748/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=57804 CPUtime=51.09 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 14905 0 0 0 5027 82 0 0 25 0 1 0 820557133 59191296 14151 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 14451 14151 180 372 0 14076 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 57804 [startup+102.301 s] /proc/loadavg: 2.11 2.04 2.01 3/482 6823 /proc/meminfo: memFree=27255092/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=128740 CPUtime=102.3 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 32448 0 0 0 10091 139 0 0 25 0 1 0 820557133 131829760 31694 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 32185 31694 180 372 0 31810 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 128740 [startup+162.3 s] /proc/loadavg: 2.04 2.03 2.00 3/482 6824 /proc/meminfo: memFree=27229744/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=152588 CPUtime=162.29 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 38325 0 0 0 16041 188 0 0 25 0 1 0 820557133 156250112 37571 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 38147 37571 180 372 0 37772 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 152588 [startup+222.319 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6826 /proc/meminfo: memFree=27178504/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=191052 CPUtime=222.32 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 47884 0 0 0 21993 239 0 0 25 0 1 0 820557133 195637248 47130 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 47763 47130 180 372 0 47388 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 191052 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6827 /proc/meminfo: memFree=27129480/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=219360 CPUtime=282.3 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 54843 0 0 0 27956 274 0 0 25 0 1 0 820557133 224624640 54089 33554432000 4194304 5714214 140737267733200 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 54840 54089 180 372 0 54465 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 219360 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6829 /proc/meminfo: memFree=27077476/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=249700 CPUtime=342.31 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 62328 0 0 0 33910 321 0 0 25 0 1 0 820557133 255692800 61574 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 62425 61574 180 372 0 62050 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 249700 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6831 /proc/meminfo: memFree=27028824/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=278900 CPUtime=402.31 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 69565 0 0 0 39872 359 0 0 25 0 1 0 820557133 285593600 68811 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 69725 68811 180 372 0 69350 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 278900 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6832 /proc/meminfo: memFree=26976312/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=308528 CPUtime=462.3 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 76901 0 0 0 45837 393 0 0 25 0 1 0 820557133 315932672 76147 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 77132 76147 180 372 0 76757 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 308528 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6834 /proc/meminfo: memFree=26917728/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=347732 CPUtime=522.31 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 86603 0 0 0 51779 452 0 0 25 0 1 0 820557133 356077568 85849 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 86933 85849 180 372 0 86558 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 347732 [startup+582.3 s] /proc/loadavg: 2.09 2.03 2.01 3/482 6835 /proc/meminfo: memFree=26874652/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=370168 CPUtime=582.31 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 92135 0 0 0 57741 490 0 0 25 0 1 0 820557133 379052032 91381 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 92542 91381 180 372 0 92167 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 370168 [startup+642.301 s] ################ # More data... # ################ [startup+882.319 s] /proc/loadavg: 2.00 2.03 2.00 3/482 6844 /proc/meminfo: memFree=26616776/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=524288 CPUtime=882.34 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 130328 0 0 0 87555 679 0 0 25 0 1 0 820557133 536870912 129461 33554432000 4194304 5714214 140737267733200 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 131072 129461 180 372 0 130697 0 Current children cumulated CPU time (s) 882.34 Current children cumulated vsize (KiB) 524288 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6845 /proc/meminfo: memFree=26567624/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=557132 CPUtime=942.33 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 138397 0 0 0 93525 708 0 0 25 0 1 0 820557133 570503168 137530 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 139283 137530 180 372 0 138908 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 557132 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6847 /proc/meminfo: memFree=26529888/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=573540 CPUtime=1002.33 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 142304 0 0 0 99492 741 0 0 25 0 1 0 820557133 587304960 141437 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 143385 141437 180 372 0 143010 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 573540 [startup+1062.3 s] /proc/loadavg: 2.07 2.03 2.00 3/482 6848 /proc/meminfo: memFree=26481500/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=601792 CPUtime=1062.33 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 149328 0 0 0 105435 798 0 0 25 0 1 0 820557133 616235008 148461 33554432000 4194304 5714214 140737267733200 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 150448 148461 180 372 0 150073 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 601792 [startup+1122.3 s] /proc/loadavg: 2.21 2.07 2.01 3/482 6850 /proc/meminfo: memFree=26424540/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=637096 CPUtime=1122.33 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 158132 0 0 0 111390 843 0 0 25 0 1 0 820557133 652386304 157265 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 159274 157265 180 372 0 158899 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 637096 [startup+1182.3 s] /proc/loadavg: 2.13 2.07 2.01 3/482 6851 /proc/meminfo: memFree=26383460/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=660184 CPUtime=1182.34 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 163874 0 0 0 117351 883 0 0 25 0 1 0 820557133 676028416 163007 33554432000 4194304 5714214 140737267733200 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 165046 163007 180 372 0 164671 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 660184 [startup+1242.3 s] /proc/loadavg: 2.05 2.05 2.01 3/482 6853 /proc/meminfo: memFree=26327128/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=692800 CPUtime=1242.34 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 171970 0 0 0 123310 924 0 0 25 0 1 0 820557133 709427200 171103 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 173200 171103 180 372 0 172825 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 692800 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/482 6855 /proc/meminfo: memFree=26280092/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=718524 CPUtime=1302.34 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 178409 0 0 0 129269 965 0 0 25 0 1 0 820557133 735768576 177542 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 179631 177542 180 372 0 179256 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 718524 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/482 6856 /proc/meminfo: memFree=26224892/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=750560 CPUtime=1362.35 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 186402 0 0 0 135232 1003 0 0 25 0 1 0 820557133 768573440 185535 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 187640 185535 180 372 0 187265 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 750560 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6858 /proc/meminfo: memFree=26187404/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=771332 CPUtime=1422.36 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 191577 0 0 0 141200 1036 0 0 25 0 1 0 820557133 789843968 190710 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 192833 190710 180 372 0 192458 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 771332 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6859 /proc/meminfo: memFree=26146436/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=790600 CPUtime=1482.35 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 197217 0 0 0 147174 1061 0 0 25 0 1 0 820557133 809574400 195541 33554432000 4194304 5714214 140737267733200 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 197650 195541 180 372 0 197275 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 790600 [startup+1542.32 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6861 /proc/meminfo: memFree=26109448/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=807652 CPUtime=1542.37 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 201414 0 0 0 153152 1085 0 0 25 0 1 0 820557133 827035648 199738 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 201913 199738 180 372 0 201538 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 807652 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6863 /proc/meminfo: memFree=26069724/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=823220 CPUtime=1602.35 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 205614 0 0 0 159108 1127 0 0 25 0 1 0 820557133 842977280 203665 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 205805 203665 180 372 0 205430 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 823220 [startup+1662.3 s] /proc/loadavg: 2.03 2.02 2.00 3/482 6864 /proc/meminfo: memFree=26026172/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=842940 CPUtime=1662.36 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 210553 0 0 0 165034 1202 0 0 25 0 1 0 820557133 863170560 208604 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 210735 208604 180 372 0 210360 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 842940 [startup+1722.3 s] /proc/loadavg: 2.07 2.04 2.01 3/482 6866 /proc/meminfo: memFree=25971700/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=873108 CPUtime=1722.36 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 218036 0 0 0 170963 1273 0 0 25 0 1 0 820557133 894062592 216087 33554432000 4194304 5714214 140737267733200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 218277 216087 180 372 0 217902 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 873108 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6868 /proc/meminfo: memFree=25904216/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=911772 CPUtime=1782.36 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 227672 0 0 0 176909 1327 0 0 25 0 1 0 820557133 933654528 225723 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 227943 225723 180 372 0 227568 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 911772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6868 /proc/meminfo: memFree=25891312/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=917664 CPUtime=1800.07 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 229118 0 0 0 178660 1347 0 0 25 0 1 0 820557133 939687936 227169 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 229416 227169 180 372 0 229041 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 917664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6868 /proc/meminfo: memFree=25891312/32950928 swapFree=39617324/67111528 [pid=6807] ppid=6805 vsize=917664 CPUtime=1800.07 cores=1,3,5,7 /proc/6807/stat : 6807 (wbo1.6) R 6805 6807 4028 0 -1 4202496 229118 0 0 0 178660 1347 0 0 25 0 1 0 820557133 939687936 227169 33554432000 4194304 5714214 140737267733200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/6807/statm: 229416 227169 180 372 0 229041 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 917664 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.06 CPU time (s): 1800.13 CPU user time (s): 1786.61 CPU system time (s): 13.5159 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 917664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.61 system time used= 13.5159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 229118 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= 21 involuntary context switches= 21103 runsolver used 8.72567 second user time and 20.4229 second system time The end
Begin job on node127 at 2011-06-03 10:26:15 IDJOB=3460984 IDBENCH=2174 IDSOLVER=1953 FILE ID=node127/3460984-1307089575 RUNJOBID= node127-1307084168-6464 PBS_JOBID= 13497859 Free space on /tmp= 73936 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460984-1307089575/watcher-3460984-1307089575 -o /tmp/evaluation-result-3460984-1307089575/solver-3460984-1307089575 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460984-1307089575.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 455daeae9aaa9768f332064b32a16167 RANDOM SEED=451702085 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: 27459036 kB Buffers: 314188 kB Cached: 883520 kB SwapCached: 59160 kB Active: 3203960 kB Inactive: 2000844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27459036 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 4296 kB Writeback: 0 kB AnonPages: 3954832 kB Mapped: 21708 kB Slab: 122164 kB PageTables: 95132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119723736 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 10:56:17