Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-1-c.opb |
MD5SUM | e64a428c112076ceda9ede530f0c6582 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 317 |
Best CPU time to get the best result obtained on this benchmark | 0.198969 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 317 |
Optimality of the best value was proved | YES |
Number of variables | 634 |
Total number of constraints | 1581 |
Number of constraints which are clauses | 1581 |
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 | 3 |
Number of terms in the objective function | 634 |
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 | 634 |
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 | 634 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3461445-1307090123.opb. 0.00/0.01 c Instance file HOME/instance-3461445-1307090123.opb 0.00/0.01 c File size is 50330 bytes. 0.00/0.01 c Highest Coefficient sum: 4 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 634 | 0.00/0.01 c | Number Clauses: 1581 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 634 1581 4304 | 5000 0 -nan | 0.000 % | 0.00/0.03 c core #1 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.03 c Current CPU time: 0.003999 s 0.00/0.03 c 0.00/0.03 c core #2 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #3 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.03 c Current CPU time: 0.004999 s 0.00/0.03 c 0.00/0.03 c core #4 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #5 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #6 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #7 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #8 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #9 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #10 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #11 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #12 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #13 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #14 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #15 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #16 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #17 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #18 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #19 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #20 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #21 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #22 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #23 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #24 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #25 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #26 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #27 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #28 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #29 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #30 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #31 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.03 c Current CPU time: 0.020996 s 0.00/0.03 c 0.00/0.03 c core #32 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #33 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #34 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #35 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #36 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #37 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #38 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #39 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #40 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #41 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #42 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #43 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.05 c Current CPU time: 0.027995 s 0.00/0.05 c 0.00/0.05 c core #44 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.05 c Current CPU time: 0.028995 s 0.00/0.05 c 0.00/0.05 c core #45 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.05 c Current CPU time: 0.028995 s 0.00/0.05 c 0.00/0.05 c core #46 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.05 c Current CPU time: 0.029995 s 0.00/0.05 c 0.00/0.05 c core #47 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.05 c Current CPU time: 0.030995 s 0.00/0.05 c 0.00/0.05 c core #48 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.05 c Current CPU time: 0.030995 s 0.00/0.05 c 0.00/0.05 c core #49 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.05 c Current CPU time: 0.031995 s 0.00/0.05 c 0.00/0.05 c core #50 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.05 c Current CPU time: 0.031995 s 0.00/0.05 c 0.00/0.05 c core #51 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.05 c Current CPU time: 0.032994 s 0.00/0.05 c 0.00/0.05 c core #52 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.05 c Current CPU time: 0.033994 s 0.00/0.05 c 0.00/0.05 c core #53 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.05 c Current CPU time: 0.033994 s 0.00/0.05 c 0.00/0.05 c core #54 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.05 c Current CPU time: 0.034994 s 0.00/0.05 c 0.00/0.05 c core #55 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.05 c Current CPU time: 0.034994 s 0.00/0.05 c 0.00/0.05 c core #56 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.05 c Current CPU time: 0.035994 s 0.00/0.05 c 0.00/0.05 c core #57 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 57 0.00/0.05 c Current CPU time: 0.036994 s 0.00/0.05 c 0.00/0.05 c core #58 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 58 0.00/0.05 c Current CPU time: 0.036994 s 0.00/0.05 c 0.00/0.05 c core #59 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.05 c Current CPU time: 0.037994 s 0.00/0.05 c 0.00/0.05 c core #60 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.05 c Current CPU time: 0.037994 s 0.00/0.05 c 0.00/0.05 c core #61 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 61 0.00/0.05 c Current CPU time: 0.038994 s 0.00/0.05 c 0.00/0.05 c core #62 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.05 c Current CPU time: 0.039993 s 0.00/0.05 c 0.00/0.05 c core #63 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 63 0.00/0.05 c Current CPU time: 0.039993 s 0.00/0.05 c 0.00/0.05 c core #64 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 64 0.00/0.05 c Current CPU time: 0.040993 s 0.00/0.05 c 0.00/0.05 c core #65 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.05 c Current CPU time: 0.041993 s 0.00/0.05 c 0.00/0.05 c core #66 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 66 0.00/0.05 c Current CPU time: 0.041993 s 0.00/0.05 c 0.00/0.05 c core #67 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 67 0.00/0.05 c Current CPU time: 0.042993 s 0.00/0.05 c 0.00/0.05 c core #68 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.05 c Current CPU time: 0.043993 s 0.00/0.05 c 0.00/0.05 c core #69 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 69 0.00/0.05 c Current CPU time: 0.043993 s 0.00/0.05 c 0.00/0.05 c core #70 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 70 0.00/0.05 c Current CPU time: 0.044993 s 0.00/0.05 c 0.00/0.05 c core #71 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.05 c Current CPU time: 0.044993 s 0.00/0.05 c 0.00/0.05 c core #72 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 72 0.00/0.05 c Current CPU time: 0.045993 s 0.00/0.05 c 0.00/0.05 c core #73 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 73 0.00/0.05 c Current CPU time: 0.046992 s 0.00/0.05 c 0.00/0.05 c core #74 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.05 c Current CPU time: 0.046992 s 0.00/0.05 c 0.00/0.05 c core #75 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 75 0.00/0.05 c Current CPU time: 0.047992 s 0.00/0.05 c 0.00/0.05 c core #76 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 76 0.00/0.05 c Current CPU time: 0.048992 s 0.00/0.05 c 0.00/0.05 c core #77 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.05 c Current CPU time: 0.048992 s 0.00/0.05 c 0.00/0.05 c core #78 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 78 0.00/0.05 c Current CPU time: 0.049992 s 0.00/0.05 c 0.00/0.05 c core #79 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 79 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c core #80 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.05 c Current CPU time: 0.050992 s 0.00/0.05 c 0.00/0.05 c core #81 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 81 0.00/0.05 c Current CPU time: 0.051992 s 0.00/0.05 c 0.00/0.05 c core #82 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 82 0.00/0.05 c Current CPU time: 0.052991 s 0.00/0.05 c 0.00/0.05 c core #83 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.05 c Current CPU time: 0.052991 s 0.00/0.05 c 0.00/0.05 c core #84 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 84 0.00/0.05 c Current CPU time: 0.053991 s 0.00/0.05 c 0.00/0.05 c core #85 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: 85 0.07/0.08 c Current CPU time: 0.054991 s 0.07/0.08 c 0.07/0.08 c core #86 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 86 0.07/0.08 c Current CPU time: 0.054991 s 0.07/0.08 c 0.07/0.08 c core #87 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 87 0.07/0.08 c Current CPU time: 0.055991 s 0.07/0.08 c 0.07/0.08 c core #88 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 88 0.07/0.08 c Current CPU time: 0.056991 s 0.07/0.08 c 0.07/0.08 c core #89 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 89 0.07/0.08 c Current CPU time: 0.057991 s 0.07/0.08 c 0.07/0.08 c core #90 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: 90 0.07/0.08 c Current CPU time: 0.057991 s 0.07/0.08 c 0.07/0.08 c core #91 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 91 0.07/0.08 c Current CPU time: 0.058991 s 0.07/0.08 c 0.07/0.08 c core #92 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 92 0.07/0.08 c Current CPU time: 0.05999 s 0.07/0.08 c 0.07/0.08 c core #93 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 93 0.07/0.08 c Current CPU time: 0.05999 s 0.07/0.08 c 0.07/0.08 c core #94 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 94 0.07/0.08 c Current CPU time: 0.06099 s 0.07/0.08 c 0.07/0.08 c core #95 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 95 0.07/0.08 c Current CPU time: 0.06199 s 0.07/0.08 c 0.07/0.08 c core #96 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 96 0.07/0.08 c Current CPU time: 0.06199 s 0.07/0.08 c 0.07/0.08 c core #97 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 97 0.07/0.08 c Current CPU time: 0.06299 s 0.07/0.08 c 0.07/0.08 c core #98 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 98 0.07/0.08 c Current CPU time: 0.06399 s 0.07/0.08 c 0.07/0.08 c core #99 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 99 0.07/0.08 c Current CPU time: 0.06499 s 0.07/0.08 c 0.07/0.08 c core #100 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 100 0.07/0.08 c Current CPU time: 0.06499 s 0.07/0.08 c 0.07/0.08 c core #101 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 101 0.07/0.08 c Current CPU time: 0.065989 s 0.07/0.08 c 0.07/0.08 c core #102 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 102 0.07/0.08 c Current CPU time: 0.066989 s 0.07/0.08 c 0.07/0.08 c core #103 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 103 0.07/0.08 c Current CPU time: 0.066989 s 0.07/0.08 c 0.07/0.08 c core #104 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 104 0.07/0.08 c Current CPU time: 0.067989 s 0.07/0.08 c 0.07/0.08 c core #105 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 105 0.07/0.08 c Current CPU time: 0.068989 s 0.07/0.08 c 0.07/0.08 c core #106 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 106 0.07/0.08 c Current CPU time: 0.069989 s 0.07/0.08 c 0.07/0.08 c core #107 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 107 0.07/0.08 c Current CPU time: 0.069989 s 0.07/0.08 c 0.07/0.08 c core #108 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 108 0.07/0.08 c Current CPU time: 0.070989 s 0.07/0.08 c 0.07/0.08 c core #109 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 109 0.07/0.08 c Current CPU time: 0.071989 s 0.07/0.08 c 0.07/0.08 c core #110 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 110 0.07/0.08 c Current CPU time: 0.072988 s 0.07/0.08 c 0.07/0.08 c core #111 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 111 0.07/0.08 c Current CPU time: 0.072988 s 0.07/0.08 c 0.07/0.08 c core #112 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 112 0.07/0.08 c Current CPU time: 0.073988 s 0.07/0.08 c 0.07/0.08 c core #113 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 113 0.07/0.08 c Current CPU time: 0.074988 s 0.07/0.08 c 0.07/0.08 c core #114 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 114 0.07/0.08 c Current CPU time: 0.074988 s 0.07/0.08 c 0.07/0.08 c core #115 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 115 0.07/0.08 c Current CPU time: 0.075988 s 0.07/0.08 c 0.07/0.08 c core #116 0.07/0.08 c 0.07/0.08 c 0.07/0.08 c Core size: 4 Core Weight: 1 Total Weight: 116 0.07/0.08 c Current CPU time: 0.076988 s 0.07/0.08 c 0.07/0.08 c core #117 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 117 0.07/0.09 c Current CPU time: 0.077988 s 0.07/0.09 c 0.07/0.09 c core #118 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 118 0.07/0.09 c Current CPU time: 0.077988 s 0.07/0.09 c 0.07/0.09 c core #119 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 4 Core Weight: 1 Total Weight: 119 0.07/0.09 c Current CPU time: 0.078987 s 0.07/0.09 c 0.07/0.09 c core #120 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 120 0.07/0.09 c Current CPU time: 0.079987 s 0.07/0.09 c 0.07/0.09 c core #121 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 121 0.07/0.09 c Current CPU time: 0.080987 s 0.07/0.09 c 0.07/0.09 c core #122 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 122 0.07/0.09 c Current CPU time: 0.081987 s 0.07/0.09 c 0.07/0.09 c core #123 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 123 0.07/0.09 c Current CPU time: 0.081987 s 0.07/0.09 c 0.07/0.09 c core #124 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 124 0.07/0.09 c Current CPU time: 0.082987 s 0.07/0.09 c 0.07/0.09 c core #125 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 125 0.07/0.09 c Current CPU time: 0.083987 s 0.07/0.09 c 0.07/0.09 c core #126 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 126 0.07/0.09 c Current CPU time: 0.084987 s 0.07/0.09 c 0.07/0.09 c core #127 0.07/0.09 c 0.07/0.09 c 0.07/0.09 c Core size: 6 Core Weight: 1 Total Weight: 127 0.09/0.12 c Current CPU time: 0.085986 s 0.09/0.12 c 0.09/0.12 c core #128 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 128 0.09/0.12 c Current CPU time: 0.086986 s 0.09/0.12 c 0.09/0.12 c core #129 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 129 0.09/0.12 c Current CPU time: 0.086986 s 0.09/0.12 c 0.09/0.12 c core #130 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 130 0.09/0.12 c Current CPU time: 0.087986 s 0.09/0.12 c 0.09/0.12 c core #131 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 131 0.09/0.12 c Current CPU time: 0.088986 s 0.09/0.12 c 0.09/0.12 c core #132 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 132 0.09/0.12 c Current CPU time: 0.089986 s 0.09/0.12 c 0.09/0.12 c core #133 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 133 0.09/0.12 c Current CPU time: 0.090986 s 0.09/0.12 c 0.09/0.12 c core #134 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 134 0.09/0.12 c Current CPU time: 0.091986 s 0.09/0.12 c 0.09/0.12 c core #135 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 135 0.09/0.12 c Current CPU time: 0.091986 s 0.09/0.12 c 0.09/0.12 c core #136 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 136 0.09/0.12 c Current CPU time: 0.092985 s 0.09/0.12 c 0.09/0.12 c core #137 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 137 0.09/0.12 c Current CPU time: 0.093985 s 0.09/0.12 c 0.09/0.12 c core #138 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 138 0.09/0.12 c Current CPU time: 0.094985 s 0.09/0.12 c 0.09/0.12 c core #139 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 139 0.09/0.12 c Current CPU time: 0.095985 s 0.09/0.12 c 0.09/0.12 c core #140 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 140 0.09/0.12 c Current CPU time: 0.096985 s 0.09/0.12 c 0.09/0.12 c core #141 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 141 0.09/0.12 c Current CPU time: 0.096985 s 0.09/0.12 c 0.09/0.12 c core #142 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 142 0.09/0.12 c Current CPU time: 0.097985 s 0.09/0.12 c 0.09/0.12 c core #143 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 143 0.09/0.12 c Current CPU time: 0.098984 s 0.09/0.12 c 0.09/0.12 c core #144 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 144 0.09/0.12 c Current CPU time: 0.099984 s 0.09/0.12 c 0.09/0.12 c core #145 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 145 0.09/0.12 c Current CPU time: 0.100984 s 0.09/0.12 c 0.09/0.12 c core #146 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 146 0.09/0.12 c Current CPU time: 0.101984 s 0.09/0.12 c 0.09/0.12 c core #147 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 147 0.09/0.12 c Current CPU time: 0.102984 s 0.09/0.12 c 0.09/0.12 c core #148 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 148 0.09/0.12 c Current CPU time: 0.102984 s 0.09/0.12 c 0.09/0.12 c core #149 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 149 0.09/0.12 c Current CPU time: 0.103984 s 0.09/0.12 c 0.09/0.12 c core #150 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 150 0.09/0.12 c Current CPU time: 0.104984 s 0.09/0.12 c 0.09/0.12 c core #151 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 151 0.09/0.12 c Current CPU time: 0.105983 s 0.09/0.12 c 0.09/0.12 c core #152 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 152 0.09/0.12 c Current CPU time: 0.106983 s 0.09/0.12 c 0.09/0.12 c core #153 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 153 0.09/0.12 c Current CPU time: 0.107983 s 0.09/0.12 c 0.09/0.12 c core #154 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 154 0.09/0.12 c Current CPU time: 0.108983 s 0.09/0.12 c 0.09/0.12 c core #155 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 155 0.09/0.12 c Current CPU time: 0.109983 s 0.09/0.12 c 0.09/0.12 c core #156 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 156 0.09/0.12 c Current CPU time: 0.110983 s 0.09/0.12 c 0.09/0.12 c core #157 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 157 0.09/0.12 c Current CPU time: 0.110983 s 0.09/0.12 c 0.09/0.12 c core #158 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 158 0.09/0.12 c Current CPU time: 0.111982 s 0.09/0.12 c 0.09/0.12 c core #159 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 159 0.09/0.12 c Current CPU time: 0.112982 s 0.09/0.12 c 0.09/0.12 c core #160 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 160 0.09/0.12 c Current CPU time: 0.113982 s 0.09/0.12 c 0.09/0.12 c core #161 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 161 0.09/0.12 c Current CPU time: 0.114982 s 0.09/0.12 c 0.09/0.12 c core #162 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 162 0.09/0.12 c Current CPU time: 0.115982 s 0.09/0.12 c 0.09/0.12 c core #163 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 163 0.09/0.12 c Current CPU time: 0.116982 s 0.09/0.12 c 0.09/0.12 c core #164 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 164 0.09/0.12 c Current CPU time: 0.117982 s 0.09/0.12 c 0.09/0.12 c core #165 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 165 0.09/0.12 c Current CPU time: 0.118981 s 0.09/0.12 c 0.09/0.12 c core #166 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 6 Core Weight: 1 Total Weight: 166 0.09/0.12 c Current CPU time: 0.119981 s 0.09/0.12 c 0.09/0.12 c core #167 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 167 0.09/0.12 c Current CPU time: 0.120981 s 0.09/0.12 c 0.09/0.12 c core #168 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 7 Core Weight: 1 Total Weight: 168 0.09/0.12 c Current CPU time: 0.120981 s 0.09/0.16 c 0.09/0.16 c core #169 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 169 0.09/0.16 c Current CPU time: 0.121981 s 0.09/0.16 c 0.09/0.16 c core #170 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 170 0.09/0.16 c Current CPU time: 0.122981 s 0.09/0.16 c 0.09/0.16 c core #171 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 171 0.09/0.16 c Current CPU time: 0.123981 s 0.09/0.16 c 0.09/0.16 c core #172 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 9 Core Weight: 1 Total Weight: 172 0.09/0.16 c Current CPU time: 0.124981 s 0.09/0.16 c 0.09/0.16 c core #173 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 173 0.09/0.16 c Current CPU time: 0.12598 s 0.09/0.16 c 0.09/0.16 c core #174 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 174 0.09/0.16 c Current CPU time: 0.12698 s 0.09/0.16 c 0.09/0.16 c core #175 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 175 0.09/0.16 c Current CPU time: 0.12798 s 0.09/0.16 c 0.09/0.16 c core #176 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 176 0.09/0.16 c Current CPU time: 0.12898 s 0.09/0.16 c 0.09/0.16 c core #177 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 177 0.09/0.16 c Current CPU time: 0.12998 s 0.09/0.16 c 0.09/0.16 c core #178 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 178 0.09/0.16 c Current CPU time: 0.13098 s 0.09/0.16 c 0.09/0.16 c core #179 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 179 0.09/0.16 c Current CPU time: 0.131979 s 0.09/0.16 c 0.09/0.16 c core #180 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 180 0.09/0.16 c Current CPU time: 0.132979 s 0.09/0.16 c 0.09/0.16 c core #181 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 181 0.09/0.16 c Current CPU time: 0.133979 s 0.09/0.16 c 0.09/0.16 c core #182 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 182 0.09/0.16 c Current CPU time: 0.134979 s 0.09/0.16 c 0.09/0.16 c core #183 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 183 0.09/0.16 c Current CPU time: 0.135979 s 0.09/0.16 c 0.09/0.16 c core #184 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 184 0.09/0.16 c Current CPU time: 0.136979 s 0.09/0.16 c 0.09/0.16 c core #185 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 185 0.09/0.16 c Current CPU time: 0.137979 s 0.09/0.16 c 0.09/0.16 c core #186 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 186 0.09/0.16 c Current CPU time: 0.138978 s 0.09/0.16 c 0.09/0.16 c core #187 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 187 0.09/0.16 c Current CPU time: 0.139978 s 0.09/0.16 c 0.09/0.16 c core #188 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 188 0.09/0.16 c Current CPU time: 0.140978 s 0.09/0.16 c 0.09/0.16 c core #189 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 189 0.09/0.16 c Current CPU time: 0.140978 s 0.09/0.16 c 0.09/0.16 c core #190 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 190 0.09/0.16 c Current CPU time: 0.141978 s 0.09/0.16 c 0.09/0.16 c core #191 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 191 0.09/0.16 c Current CPU time: 0.142978 s 0.09/0.16 c 0.09/0.16 c core #192 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 192 0.09/0.16 c Current CPU time: 0.143978 s 0.09/0.16 c 0.09/0.16 c core #193 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 193 0.09/0.16 c Current CPU time: 0.144977 s 0.09/0.16 c 0.09/0.16 c core #194 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 194 0.09/0.16 c Current CPU time: 0.145977 s 0.09/0.16 c 0.09/0.16 c core #195 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 195 0.09/0.16 c Current CPU time: 0.146977 s 0.09/0.16 c 0.09/0.16 c core #196 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 196 0.09/0.16 c Current CPU time: 0.147977 s 0.09/0.16 c 0.09/0.16 c core #197 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 197 0.09/0.16 c Current CPU time: 0.148977 s 0.09/0.16 c 0.09/0.16 c core #198 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 6 Core Weight: 1 Total Weight: 198 0.09/0.16 c Current CPU time: 0.148977 s 0.09/0.16 c 0.09/0.16 c core #199 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 7 Core Weight: 1 Total Weight: 199 0.09/0.16 c Current CPU time: 0.149977 s 0.09/0.16 c 0.09/0.16 c core #200 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 200 0.09/0.16 c Current CPU time: 0.150977 s 0.09/0.16 c 0.09/0.16 c core #201 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 201 0.09/0.16 c Current CPU time: 0.151976 s 0.09/0.16 c 0.09/0.16 c core #202 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 202 0.09/0.16 c Current CPU time: 0.152976 s 0.09/0.16 c 0.09/0.16 c core #203 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 203 0.09/0.16 c Current CPU time: 0.153976 s 0.09/0.16 c 0.09/0.16 c core #204 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 204 0.09/0.16 c Current CPU time: 0.154976 s 0.09/0.16 c 0.09/0.16 c core #205 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 205 0.09/0.16 c Current CPU time: 0.156976 s 0.09/0.16 c 0.09/0.16 c core #206 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 206 0.09/0.16 c Current CPU time: 0.157975 s 0.09/0.16 c 0.09/0.16 c core #207 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 207 0.09/0.16 c Current CPU time: 0.158975 s 0.09/0.16 c 0.09/0.16 c core #208 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 208 0.09/0.16 c Current CPU time: 0.159975 s 0.09/0.16 c 0.09/0.16 c core #209 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: 209 0.09/0.16 c Current CPU time: 0.160975 s 0.09/0.16 c 0.09/0.16 c core #210 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 210 0.09/0.17 c Current CPU time: 0.161975 s 0.09/0.17 c 0.09/0.17 c core #211 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 211 0.09/0.17 c Current CPU time: 0.162975 s 0.09/0.17 c 0.09/0.17 c core #212 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 212 0.09/0.17 c Current CPU time: 0.163975 s 0.09/0.17 c 0.09/0.17 c core #213 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 39 Core Weight: 1 Total Weight: 213 0.09/0.17 c Current CPU time: 0.164974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1248 2428 6138 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #214 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 29 Core Weight: 1 Total Weight: 214 0.09/0.17 c Current CPU time: 0.165974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1262 2430 6169 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #215 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 17 Core Weight: 1 Total Weight: 215 0.09/0.17 c Current CPU time: 0.166974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1272 2431 6191 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #216 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 216 0.09/0.17 c Current CPU time: 0.168974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1276 2433 6202 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #217 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 14 Core Weight: 1 Total Weight: 217 0.09/0.17 c Current CPU time: 0.169974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1286 2434 6224 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #218 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 218 0.09/0.17 c Current CPU time: 0.170974 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1290 2436 6235 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #219 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 20 Core Weight: 1 Total Weight: 219 0.09/0.17 c Current CPU time: 0.172973 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1303 2439 6267 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #220 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 18 Core Weight: 1 Total Weight: 220 0.09/0.17 c Current CPU time: 0.173973 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1316 2440 6293 | 5000 0 -nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.18 c core #221 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 15 Core Weight: 1 Total Weight: 221 0.09/0.18 c Current CPU time: 0.174973 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1323 2441 6307 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #222 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 22 Core Weight: 1 Total Weight: 222 0.09/0.18 c Current CPU time: 0.175973 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1333 2442 6327 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #223 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 23 Core Weight: 1 Total Weight: 223 0.09/0.18 c Current CPU time: 0.177972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1343 2443 6347 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #224 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 17 Core Weight: 1 Total Weight: 224 0.09/0.18 c Current CPU time: 0.178972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1354 2444 6370 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #225 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 23 Core Weight: 1 Total Weight: 225 0.09/0.18 c Current CPU time: 0.179972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1364 2445 6390 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #226 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 226 0.09/0.18 c Current CPU time: 0.180972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1368 2447 6401 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #227 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 227 0.09/0.18 c Current CPU time: 0.182972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1372 2449 6412 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #228 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 228 0.09/0.18 c Current CPU time: 0.183972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1376 2451 6423 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #229 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 18 Core Weight: 1 Total Weight: 229 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1387 2452 6445 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #230 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 23 Core Weight: 1 Total Weight: 230 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1401 2453 6473 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #231 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 231 0.09/0.19 c Current CPU time: 0.187971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1405 2455 6484 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #232 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 232 0.09/0.19 c Current CPU time: 0.188971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1409 2458 6497 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #233 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 233 0.09/0.19 c Current CPU time: 0.19097 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1414 2460 6510 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #234 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 15 Core Weight: 1 Total Weight: 234 0.09/0.19 c Current CPU time: 0.19197 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1425 2462 6536 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #235 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 235 0.09/0.19 c Current CPU time: 0.19297 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1429 2464 6547 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.20 c core #236 0.09/0.20 c 0.09/0.20 c 0.09/0.20 c Core size: 9 Core Weight: 1 Total Weight: 236 0.09/0.20 c Current CPU time: 0.19497 s 0.09/0.20 c 0.09/0.20 c ============================[ Search Statistics ]============================== 0.09/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.20 c =============================================================================== 0.09/0.20 c | 0 | 1434 2465 6558 | 5000 0 -nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.19/0.20 c core #237 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 28 Core Weight: 1 Total Weight: 237 0.19/0.20 c Current CPU time: 0.19597 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1451 2466 6593 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #238 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 1 Total Weight: 238 0.19/0.20 c Current CPU time: 0.19697 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1455 2469 6606 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #239 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 9 Core Weight: 1 Total Weight: 239 0.19/0.20 c Current CPU time: 0.198969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1460 2471 6619 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #240 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 18 Core Weight: 1 Total Weight: 240 0.19/0.20 c Current CPU time: 0.200969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1470 2472 6641 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #241 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 1 Total Weight: 241 0.19/0.20 c Current CPU time: 0.201969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1474 2475 6654 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #242 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 18 Core Weight: 1 Total Weight: 242 0.19/0.20 c Current CPU time: 0.202969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1484 2476 6676 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #243 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 24 Core Weight: 1 Total Weight: 243 0.19/0.21 c Current CPU time: 0.204968 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1499 2478 6709 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #244 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 7 Core Weight: 1 Total Weight: 244 0.19/0.21 c Current CPU time: 0.205968 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1505 2481 6726 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #245 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 9 Core Weight: 1 Total Weight: 245 0.19/0.21 c Current CPU time: 0.207968 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1510 2482 6737 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #246 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 19 Core Weight: 1 Total Weight: 246 0.19/0.21 c Current CPU time: 0.208968 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1526 2484 6774 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #247 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 17 Core Weight: 1 Total Weight: 247 0.19/0.21 c Current CPU time: 0.210967 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1537 2485 6797 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #248 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 8 Core Weight: 1 Total Weight: 248 0.19/0.21 c Current CPU time: 0.211967 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1542 2487 6811 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #249 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 9 Core Weight: 1 Total Weight: 249 0.19/0.21 c Current CPU time: 0.213967 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 1549 2491 6833 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #250 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 250 0.19/0.22 c Current CPU time: 0.214967 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1557 2495 6857 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #251 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 95 Core Weight: 1 Total Weight: 251 0.19/0.22 c Current CPU time: 0.216967 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1582 2497 6909 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #252 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 252 0.19/0.22 c Current CPU time: 0.217966 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1587 2498 6920 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #253 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 253 0.19/0.22 c Current CPU time: 0.219966 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1592 2499 6931 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #254 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 13 Core Weight: 1 Total Weight: 254 0.19/0.22 c Current CPU time: 0.220966 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1602 2504 6962 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #255 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 20 Core Weight: 1 Total Weight: 255 0.19/0.22 c Current CPU time: 0.221966 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1612 2505 6982 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #256 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 28 Core Weight: 1 Total Weight: 256 0.19/0.22 c Current CPU time: 0.223965 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1629 2507 7018 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #257 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 14 Core Weight: 1 Total Weight: 257 0.19/0.23 c Current CPU time: 0.224965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1637 2508 7034 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #258 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 39 Core Weight: 1 Total Weight: 258 0.19/0.23 c Current CPU time: 0.225965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1661 2509 7082 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #259 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 27 Core Weight: 1 Total Weight: 259 0.19/0.23 c Current CPU time: 0.227965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1672 2510 7104 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #260 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 9 Core Weight: 1 Total Weight: 260 0.19/0.23 c Current CPU time: 0.229965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1677 2511 7115 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #261 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 15 Core Weight: 1 Total Weight: 261 0.19/0.23 c Current CPU time: 0.230964 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1683 2512 7127 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #262 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 11 Core Weight: 1 Total Weight: 262 0.19/0.23 c Current CPU time: 0.231964 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1689 2513 7139 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #263 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 25 Core Weight: 1 Total Weight: 263 0.19/0.24 c Current CPU time: 0.232964 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1700 2514 7161 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #264 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 264 0.19/0.24 c Current CPU time: 0.234964 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1706 2517 7178 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #265 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 35 Core Weight: 1 Total Weight: 265 0.19/0.24 c Current CPU time: 0.236963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1729 2522 7235 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #266 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 266 0.19/0.24 c Current CPU time: 0.237963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1735 2523 7247 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #267 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 57 Core Weight: 1 Total Weight: 267 0.19/0.24 c Current CPU time: 0.239963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1771 2524 7319 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #268 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 268 0.19/0.24 c Current CPU time: 0.241963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1777 2531 7346 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #269 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 57 Core Weight: 1 Total Weight: 269 0.19/0.25 c Current CPU time: 0.243962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1813 2536 7429 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #270 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 19 Core Weight: 1 Total Weight: 270 0.19/0.25 c Current CPU time: 0.245962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1824 2540 7459 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #271 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 28 Core Weight: 1 Total Weight: 271 0.19/0.25 c Current CPU time: 0.247962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1840 2541 7491 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #272 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 18 Core Weight: 1 Total Weight: 272 0.19/0.25 c Current CPU time: 0.248962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1851 2544 7518 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #273 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 22 Core Weight: 1 Total Weight: 273 0.19/0.25 c Current CPU time: 0.250961 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1864 2548 7552 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #274 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 13 Core Weight: 1 Total Weight: 274 0.19/0.26 c Current CPU time: 0.253961 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1872 2551 7573 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #275 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 58 Core Weight: 1 Total Weight: 275 0.19/0.26 c Current CPU time: 0.25696 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1924 2552 7677 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #276 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 12 Core Weight: 1 Total Weight: 276 0.19/0.26 c Current CPU time: 0.25896 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1932 2557 7703 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #277 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 26 Core Weight: 1 Total Weight: 277 0.19/0.26 c Current CPU time: 0.26196 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1954 2562 7757 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #278 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 19 Core Weight: 1 Total Weight: 278 0.19/0.27 c Current CPU time: 0.26296 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1965 2563 7779 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #279 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 15 Core Weight: 1 Total Weight: 279 0.19/0.27 c Current CPU time: 0.265959 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1976 2571 7819 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #280 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 26 Core Weight: 1 Total Weight: 280 0.19/0.27 c Current CPU time: 0.266959 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 1991 2572 7849 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #281 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 21 Core Weight: 1 Total Weight: 281 0.19/0.27 c Current CPU time: 0.268959 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 2002 2575 7876 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #282 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 47 Core Weight: 1 Total Weight: 282 0.19/0.27 c Current CPU time: 0.271958 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 2034 2576 7940 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 101 | 2032 2576 7940 | 5500 101 12 | 0.098 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #283 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 19 Core Weight: 1 Total Weight: 283 0.19/0.28 c Current CPU time: 0.275958 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 2045 2579 7967 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #284 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 35 Core Weight: 1 Total Weight: 284 0.19/0.28 c Current CPU time: 0.279957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 2077 2582 8036 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 100 | 2075 2582 8036 | 5500 100 12 | 0.096 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #285 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 61 Core Weight: 1 Total Weight: 285 0.19/0.29 c Current CPU time: 0.285956 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 2124 2593 8155 | 5000 0 -nan | 0.000 % | 0.19/0.29 c | 101 | 2121 2593 8155 | 5500 101 13 | 0.188 % | 0.29/0.30 c | 252 | 2120 2593 8155 | 6050 252 13 | 0.188 % | 0.29/0.31 c | 477 | 2118 2593 8155 | 6655 477 12 | 0.283 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #286 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 260 Core Weight: 1 Total Weight: 286 0.29/0.32 c Current CPU time: 0.315951 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 | 2160 2601 8247 | 5000 0 -nan | 0.000 % | 0.29/0.32 c | 100 | 2158 2601 8247 | 5500 100 11 | 0.093 % | 0.29/0.33 c | 250 | 2148 2601 8247 | 6050 250 11 | 0.556 % | 0.29/0.34 c | 475 | 2141 2601 8247 | 6655 475 13 | 0.926 % | 0.29/0.35 c | 812 | 2138 2601 8247 | 7320 812 14 | 1.019 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #287 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 95 Core Weight: 1 Total Weight: 287 0.29/0.37 c Current CPU time: 0.366944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 2225 2621 8434 | 5000 0 -nan | 0.000 % | 0.29/0.37 c | 100 | 2223 2621 8434 | 5500 100 7 | 0.090 % | 0.29/0.38 c | 251 | 2223 2621 8434 | 6050 251 12 | 0.090 % | 0.29/0.39 c | 479 | 2223 2621 8434 | 6655 479 12 | 0.090 % | 0.39/0.41 c | 817 | 2223 2621 8434 | 7320 817 13 | 0.090 % | 0.39/0.43 c | 1324 | 2223 2621 8434 | 8052 1324 13 | 0.090 % | 0.39/0.47 c | 2084 | 2223 2621 8434 | 8857 2084 13 | 0.090 % | 0.49/0.53 c | 3223 | 2223 2621 8434 | 9743 3223 13 | 0.090 % | 0.59/0.63 c | 4931 | 2223 2621 8434 | 10717 4931 13 | 0.090 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #288 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 206 Core Weight: 1 Total Weight: 288 0.59/0.66 c Current CPU time: 0.6549 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 2263 2651 8596 | 5000 0 -nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #289 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 31 Core Weight: 1 Total Weight: 289 0.59/0.67 c Current CPU time: 0.6569 s 0.59/0.67 c 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 2285 2652 8640 | 5000 0 -nan | 0.000 % | 0.59/0.67 c | 101 | 2285 2652 8640 | 5500 101 11 | 0.005 % | 0.59/0.67 c | 252 | 2285 2652 8640 | 6050 252 11 | 0.000 % | 0.59/0.68 c | 479 | 2285 2652 8640 | 6655 479 11 | 0.000 % | 0.69/0.70 c | 818 | 2285 2652 8640 | 7320 818 12 | 0.000 % | 0.69/0.72 c | 1324 | 2285 2652 8640 | 8052 1324 12 | 0.000 % | 0.69/0.76 c | 2083 | 2285 2652 8640 | 8857 2083 12 | 0.000 % | 0.79/0.83 c | 3223 | 2283 2652 8640 | 9743 3223 13 | 0.088 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #290 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 232 Core Weight: 1 Total Weight: 290 0.89/0.94 c Current CPU time: 0.923859 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 2302 2678 8745 | 5000 0 -nan | 0.000 % | 0.89/0.94 c | 101 | 2302 2678 8745 | 5500 101 12 | 0.004 % | 0.89/0.95 c | 252 | 2302 2678 8745 | 6050 252 13 | 0.000 % | 0.89/0.96 c | 478 | 2302 2678 8745 | 6655 478 11 | 0.000 % | 0.89/0.98 c | 815 | 2302 2678 8745 | 7320 815 10 | 0.000 % | 0.89/1.00 c | 1322 | 2302 2678 8745 | 8052 1322 10 | 0.000 % | 0.99/1.03 c | 2083 | 2302 2678 8745 | 8857 2083 9 | 0.000 % | 0.99/1.09 c | 3223 | 2302 2678 8745 | 9743 3223 9 | 0.000 % | 1.10/1.19 c | 4932 | 2294 2678 8745 | 10717 4932 9 | 0.348 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c core #291 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 169 Core Weight: 1 Total Weight: 291 1.19/1.20 c Current CPU time: 1.18082 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 2311 2762 8999 | 5000 0 -nan | 0.000 % | 1.19/1.21 c | 100 | 2311 2762 8999 | 5500 100 11 | 0.087 % | 1.19/1.21 c | 250 | 2309 2762 8999 | 6050 250 10 | 0.087 % | 1.19/1.23 c | 476 | 2309 2762 8999 | 6655 476 10 | 0.087 % | 1.19/1.24 c | 814 | 2309 2762 8999 | 7320 814 10 | 0.087 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c core #292 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 13 Core Weight: 1 Total Weight: 292 1.19/1.26 c Current CPU time: 1.23181 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 2319 2769 9033 | 5000 0 -nan | 0.000 % | 1.19/1.26 c | 101 | 2319 2769 9033 | 5500 101 11 | 0.086 % | 1.19/1.27 c | 251 | 2317 2769 9033 | 6050 251 11 | 0.086 % | 1.19/1.28 c | 476 | 2317 2769 9033 | 6655 476 9 | 0.086 % | 1.19/1.29 c | 814 | 2311 2769 9033 | 7320 814 9 | 0.345 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #293 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 15 Core Weight: 1 Total Weight: 293 1.29/1.31 c Current CPU time: 1.2808 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 2316 2799 9118 | 5000 0 -nan | 0.000 % | 1.29/1.31 c | 101 | 2314 2799 9118 | 5500 101 9 | 0.345 % | 1.29/1.31 c =============================================================================== 1.29/1.32 c core #294 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 164 Core Weight: 1 Total Weight: 294 1.29/1.32 c Current CPU time: 1.2908 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 2319 2807 9144 | 5000 0 -nan | 0.000 % | 1.29/1.32 c | 100 | 2315 2807 9144 | 5500 100 9 | 0.430 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #295 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 20 Core Weight: 1 Total Weight: 295 1.29/1.32 c Current CPU time: 1.2978 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 2322 2814 9167 | 5000 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c core #296 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 133 Core Weight: 1 Total Weight: 296 1.29/1.33 c Current CPU time: 1.3038 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 2333 2822 9210 | 5000 0 -nan | 0.000 % | 1.29/1.33 c | 100 | 2327 2822 9210 | 5500 100 8 | 0.683 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #297 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 138 Core Weight: 1 Total Weight: 297 1.29/1.34 c Current CPU time: 1.3078 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 2344 2830 9253 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #298 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 183 Core Weight: 1 Total Weight: 298 1.29/1.34 c Current CPU time: 1.3118 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 2359 2834 9291 | 5000 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.35 c core #299 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 168 Core Weight: 1 Total Weight: 299 1.29/1.35 c Current CPU time: 1.3158 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 2362 2838 9310 | 5000 0 -nan | 0.000 % | 1.29/1.35 c | 100 | 2361 2838 9310 | 5500 100 10 | 0.757 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #300 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 143 Core Weight: 1 Total Weight: 300 1.29/1.35 c Current CPU time: 1.3218 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 2364 2851 9352 | 5000 0 -nan | 0.000 % | 1.29/1.35 c | 101 | 2340 2851 9352 | 5500 101 11 | 2.848 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #301 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 220 Core Weight: 1 Total Weight: 301 1.29/1.36 c Current CPU time: 1.3258 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 1694 2863 9389 | 5000 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #302 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 119 Core Weight: 1 Total Weight: 302 1.29/1.36 c Current CPU time: 1.3288 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 1701 2864 9403 | 5000 0 -nan | 0.000 % | 1.29/1.36 c | 100 | 1700 2864 9403 | 5500 100 19 | 29.402 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #303 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 341 Core Weight: 1 Total Weight: 303 1.29/1.36 c Current CPU time: 1.3338 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 1718 2865 9437 | 5000 0 -nan | 0.000 % | 1.29/1.37 c | 100 | 1712 2865 9437 | 5500 100 18 | 29.485 % | 1.29/1.37 c =============================================================================== 1.29/1.37 c core #304 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 232 Core Weight: 1 Total Weight: 304 1.29/1.37 c Current CPU time: 1.3378 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 1744 2866 9489 | 5000 0 -nan | 0.000 % | 1.29/1.37 c | 100 | 1723 2866 9489 | 5500 100 15 | 29.743 % | 1.29/1.37 c | 256 | 1721 2866 9489 | 6050 256 30 | 29.784 % | 1.29/1.38 c | 481 | 1721 2866 9489 | 6655 481 35 | 29.784 % | 1.29/1.39 c | 819 | 1721 2866 9489 | 7320 819 39 | 29.784 % | 1.39/1.40 c | 1325 | 1709 2866 9489 | 8052 1325 39 | 32.517 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #305 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 358 Core Weight: 1 Total Weight: 305 1.39/1.41 c Current CPU time: 1.37379 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 1776 2867 9553 | 5000 0 -nan | 0.000 % | 1.39/1.41 c | 100 | 1769 2867 9553 | 5500 100 14 | 29.078 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #306 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 100 Core Weight: 1 Total Weight: 306 1.39/1.41 c Current CPU time: 1.37879 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 1783 2868 9567 | 5000 0 -nan | 0.000 % | 1.39/1.42 c | 100 | 1781 2868 9567 | 5500 100 11 | 28.515 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c core #307 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 123 Core Weight: 1 Total Weight: 307 1.39/1.42 c Current CPU time: 1.38179 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 1795 2869 9591 | 5000 0 -nan | 0.000 % | 1.39/1.42 c | 102 | 1795 2869 9591 | 5500 102 41 | 28.257 % | 1.39/1.43 c | 254 | 1777 2869 9591 | 6050 254 34 | 29.017 % | 1.39/1.43 c | 480 | 1770 2869 9591 | 6655 480 28 | 29.297 % | 1.39/1.44 c | 817 | 1766 2869 9591 | 7320 817 26 | 29.656 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #308 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 247 Core Weight: 1 Total Weight: 308 1.39/1.44 c Current CPU time: 1.39879 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 1818 2870 9637 | 5000 0 -nan | 0.000 % | 1.39/1.44 c | 100 | 1810 2870 9637 | 5500 100 22 | 28.357 % | 1.39/1.44 c | 250 | 1804 2870 9637 | 6050 250 23 | 28.634 % | 1.39/1.45 c | 475 | 1802 2870 9637 | 6655 475 26 | 28.713 % | 1.39/1.46 c | 813 | 1793 2870 9637 | 7320 813 30 | 29.149 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #309 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 158 Core Weight: 1 Total Weight: 309 1.39/1.46 c Current CPU time: 1.41578 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 1847 2871 9695 | 5000 0 -nan | 0.000 % | 1.39/1.46 c | 100 | 1847 2871 9695 | 5500 100 30 | 27.682 % | 1.39/1.46 c | 250 | 1837 2871 9695 | 6050 250 32 | 28.074 % | 1.39/1.47 c | 475 | 1837 2871 9695 | 6655 475 37 | 28.074 % | 1.39/1.48 c | 813 | 1837 2871 9695 | 7320 813 44 | 28.074 % | 1.39/1.49 c | 1320 | 1837 2871 9695 | 8052 1320 43 | 28.074 % | 1.49/1.51 c | 2079 | 1837 2871 9695 | 8857 2079 48 | 28.074 % | 1.49/1.55 c | 3219 | 1836 2871 9695 | 9743 3219 47 | 28.113 % | 1.59/1.62 c | 4930 | 1834 2871 9695 | 10717 4930 49 | 28.309 % | 1.69/1.72 c =============================================================================== 1.69/1.75 c core #310 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 278 Core Weight: 1 Total Weight: 310 1.69/1.75 c Current CPU time: 1.68574 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 1891 2872 9783 | 5000 0 -nan | 0.000 % | 1.69/1.75 c | 100 | 1887 2872 9783 | 5500 100 17 | 27.406 % | 1.69/1.75 c | 250 | 1885 2872 9783 | 6050 250 37 | 27.444 % | 1.69/1.76 c | 475 | 1885 2872 9783 | 6655 475 32 | 27.444 % | 1.69/1.76 c | 813 | 1885 2872 9783 | 7320 813 31 | 27.444 % | 1.69/1.77 c | 1322 | 1885 2872 9783 | 8052 1322 30 | 27.444 % | 1.69/1.79 c | 2083 | 1885 2872 9783 | 8857 2083 30 | 27.444 % | 1.79/1.80 c =============================================================================== 1.79/1.81 c core #311 1.79/1.81 c 1.79/1.81 c 1.79/1.81 c Core size: 111 Core Weight: 1 Total Weight: 311 1.79/1.81 c Current CPU time: 1.74473 s 1.79/1.81 c 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 1907 2873 9815 | 5000 0 -nan | 0.000 % | 1.79/1.81 c | 103 | 1893 2873 9815 | 5500 103 24 | 27.735 % | 1.79/1.81 c | 253 | 1888 2873 9815 | 6050 253 30 | 27.774 % | 1.79/1.82 c | 478 | 1885 2873 9815 | 6655 478 37 | 27.888 % | 1.79/1.82 c | 816 | 1885 2873 9815 | 7320 816 47 | 27.888 % | 1.79/1.84 c | 1322 | 1881 2873 9815 | 8052 1322 58 | 28.041 % | 1.79/1.87 c | 2083 | 1881 2873 9815 | 8857 2083 59 | 28.041 % | 1.88/1.91 c | 3223 | 1881 2873 9815 | 9743 3223 62 | 28.041 % | 1.99/2.01 c | 4932 | 1881 2873 9815 | 10717 4932 61 | 28.041 % | 2.20/2.26 c | 7495 | 1881 2873 9815 | 11789 7495 65 | 28.041 % | 2.69/2.77 c | 11343 | 1881 2873 9815 | 12968 11343 65 | 28.041 % | 3.69/3.75 c | 17111 | 1878 2873 9815 | 14265 10137 61 | 28.156 % | 4.89/4.97 c | 25760 | 1878 2873 9815 | 15692 11215 60 | 28.156 % | 6.08/6.17 c | 38734 | 1852 2873 9815 | 17261 15937 53 | 29.151 % | 6.19/6.20 c =============================================================================== 6.19/6.26 c core #312 6.19/6.26 c 6.19/6.26 c 6.19/6.26 c Core size: 123 Core Weight: 1 Total Weight: 312 6.19/6.26 c Current CPU time: 6.11507 s 6.19/6.26 c 6.19/6.26 c ============================[ Search Statistics ]============================== 6.19/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.26 c =============================================================================== 6.19/6.26 c | 0 | 1930 2874 9861 | 5000 0 -nan | 0.000 % | 6.19/6.26 c | 100 | 1929 2874 9861 | 5500 100 32 | 26.849 % | 6.19/6.27 c | 250 | 1918 2874 9861 | 6050 250 39 | 27.266 % | 6.19/6.27 c | 476 | 1911 2874 9861 | 6655 476 37 | 27.569 % | 6.19/6.28 c | 813 | 1911 2874 9861 | 7320 813 53 | 27.569 % | 6.19/6.29 c | 1320 | 1910 2874 9861 | 8052 1320 52 | 27.569 % | 6.29/6.32 c | 2080 | 1910 2874 9861 | 8857 2080 57 | 27.569 % | 6.29/6.37 c | 3222 | 1910 2874 9861 | 9743 3222 54 | 27.569 % | 6.39/6.45 c | 4931 | 1906 2874 9861 | 10717 4931 57 | 27.721 % | 6.60/6.62 c | 7493 | 1906 2874 9861 | 11789 7493 68 | 27.721 % | 6.99/7.08 c | 11338 | 1906 2874 9861 | 12968 11338 77 | 27.721 % | 8.19/8.27 c | 17104 | 1903 2874 9861 | 14265 10221 84 | 27.835 % | 8.88/8.95 c =============================================================================== 8.98/9.01 c core #313 8.98/9.01 c 8.98/9.01 c 8.98/9.01 c Core size: 410 Core Weight: 1 Total Weight: 313 8.98/9.01 c Current CPU time: 8.83966 s 8.98/9.01 c 8.98/9.01 c ============================[ Search Statistics ]============================== 8.98/9.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.01 c =============================================================================== 8.98/9.01 c | 0 | 1983 2875 9967 | 5000 0 -nan | 0.000 % | 8.98/9.02 c | 101 | 1979 2875 9967 | 5500 101 24 | 26.431 % | 8.98/9.02 c | 254 | 1978 2875 9967 | 6050 254 33 | 26.468 % | 8.98/9.02 c | 479 | 1978 2875 9967 | 6655 479 59 | 26.468 % | 8.98/9.04 c | 818 | 1978 2875 9967 | 7320 818 81 | 26.468 % | 8.98/9.07 c | 1324 | 1978 2875 9967 | 8052 1324 107 | 26.468 % | 9.09/9.14 c | 2087 | 1978 2875 9967 | 8857 2087 128 | 26.468 % | 9.19/9.24 c | 3227 | 1974 2875 9967 | 9743 3227 131 | 26.617 % | 9.29/9.35 c | 4936 | 1973 2875 9967 | 10717 4936 116 | 26.729 % | 9.59/9.64 c | 7501 | 1973 2875 9967 | 11789 7501 116 | 26.729 % | 9.99/10.01 c | 11345 | 1973 2875 9967 | 12968 11345 110 | 26.729 % | 10.58/10.65 c | 17111 | 1960 2875 9967 | 14265 10069 109 | 27.138 % | 11.39/11.49 c | 25766 | 1955 2875 9967 | 15692 11104 110 | 27.361 % | 13.10/13.15 c | 38748 | 1954 2875 9967 | 17261 15772 110 | 27.472 % | 17.38/17.45 c | 58211 | 1952 2875 9967 | 18987 17104 132 | 27.732 % | 25.31/25.36 c | 87405 | 1939 2875 9967 | 20886 16529 125 | 28.141 % | 37.41/37.44 c | 131195 | 1931 2875 9967 | 22974 16540 118 | 28.402 % | 47.78/47.83 c =============================================================================== 48.58/48.66 c core #314 48.58/48.66 c 48.58/48.66 c 48.58/48.66 c Core size: 411 Core Weight: 1 Total Weight: 314 48.58/48.66 c Current CPU time: 48.0767 s 48.58/48.66 c 48.58/48.66 c ============================[ Search Statistics ]============================== 48.58/48.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.58/48.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.58/48.66 c =============================================================================== 48.58/48.66 c | 0 | 2036 2876 10073 | 5000 0 -nan | 0.000 % | 48.58/48.66 c | 100 | 2033 2876 10073 | 5500 100 46 | 25.921 % | 48.58/48.66 c | 250 | 2024 2876 10073 | 6050 250 40 | 26.285 % | 48.58/48.67 c | 475 | 2024 2876 10073 | 6655 475 39 | 26.285 % | 48.58/48.68 c | 813 | 2020 2876 10073 | 7320 813 54 | 26.431 % | 48.58/48.69 c | 1319 | 2020 2876 10073 | 8052 1319 56 | 26.431 % | 48.69/48.71 c | 2080 | 2018 2876 10073 | 8857 2080 70 | 26.431 % | 48.69/48.76 c | 3221 | 2018 2876 10073 | 9743 3221 78 | 26.431 % | 48.78/48.83 c | 4931 | 2017 2876 10073 | 10717 4931 83 | 26.467 % | 48.89/48.98 c | 7493 | 2017 2876 10073 | 11789 7493 75 | 26.467 % | 49.29/49.34 c | 11342 | 2017 2876 10073 | 12968 11342 98 | 26.467 % | 49.89/49.95 c | 17111 | 2017 2876 10073 | 14265 10034 91 | 26.467 % | 50.99/51.04 c | 25766 | 2010 2876 10073 | 15692 11115 110 | 27.014 % | 54.29/54.31 c | 38740 | 2010 2876 10073 | 17261 15723 178 | 27.014 % | 57.89/57.94 c | 58203 | 2005 2876 10073 | 18987 17031 100 | 27.124 % | 62.49/62.61 c | 87395 | 1995 2876 10073 | 20886 15984 87 | 27.525 % | 70.30/70.32 c | 131185 | 1983 2876 10073 | 22974 15863 82 | 27.707 % | 82.99/83.09 c | 196872 | 1966 2876 10073 | 25272 19453 76 | 28.509 % | 107.99/108.07 c | 295399 | 1947 2876 10073 | 27799 20839 155 | 29.165 % | 153.39/153.46 c | 443191 | 1939 2876 10073 | 30579 15864 137 | 29.311 % | 221.49/221.58 c | 664874 | 1910 2876 10073 | 33637 27872 174 | 30.405 % | 343.11/343.14 c | 997401 | 1879 2876 10073 | 37001 15157 175 | 31.826 % | 529.31/529.36 c | 1496189 | 1852 2876 10073 | 40701 17913 218 | 32.629 % | 750.61/750.60 c =============================================================================== 759.72/759.76 c core #315 759.72/759.76 c 759.72/759.76 c 759.72/759.76 c Core size: 442 Core Weight: 1 Total Weight: 315 759.72/759.76 c Current CPU time: 755.017 s 759.72/759.76 c 759.72/759.76 c ============================[ Search Statistics ]============================== 759.72/759.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 759.72/759.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 759.72/759.76 c =============================================================================== 759.72/759.76 c | 0 | 2112 2877 10225 | 5000 0 -nan | 0.000 % | 759.72/759.77 c | 103 | 2112 2877 10225 | 5500 103 58 | 25.080 % | 759.72/759.78 c | 253 | 2082 2877 10225 | 6050 253 43 | 26.144 % | 759.72/759.78 c | 478 | 2081 2877 10225 | 6655 478 66 | 26.180 % | 759.72/759.79 c | 817 | 2074 2877 10225 | 7320 817 54 | 26.428 % | 759.82/759.80 c | 1324 | 2072 2877 10225 | 8052 1324 56 | 26.605 % | 759.82/759.83 c | 2084 | 2068 2877 10225 | 8857 2084 78 | 26.641 % | 759.92/759.91 c | 3224 | 2068 2877 10225 | 9743 3224 102 | 26.641 % | 759.92/760.00 c | 4936 | 2065 2877 10225 | 10717 4936 100 | 26.747 % | 760.13/760.15 c | 7503 | 2064 2877 10225 | 11789 7503 94 | 27.066 % | 760.51/760.58 c | 11352 | 2063 2877 10225 | 12968 11352 96 | 27.066 % | 761.12/761.18 c | 17119 | 2062 2877 10225 | 14265 9967 123 | 27.208 % | 762.52/762.55 c | 25770 | 2060 2877 10225 | 15692 10844 75 | 27.350 % | 764.21/764.27 c | 38746 | 2047 2877 10225 | 17261 15243 117 | 27.457 % | 767.22/767.22 c | 58207 | 2046 2877 10225 | 18987 16345 192 | 27.563 % | 772.23/772.26 c | 87401 | 2026 2877 10225 | 20886 15255 227 | 28.202 % | 782.51/782.53 c | 131190 | 2016 2877 10225 | 22974 15001 133 | 28.592 % | 798.32/798.30 c | 196877 | 1995 2877 10225 | 25272 19820 146 | 29.514 % | 823.71/823.78 c | 295403 | 1985 2877 10225 | 27799 22025 74 | 29.762 % | 871.62/871.65 c | 443193 | 1970 2877 10225 | 30579 20002 276 | 30.117 % | 947.82/947.82 c | 664880 | 1968 2877 10225 | 33637 19451 203 | 30.188 % | 1070.35/1070.33 c | 997405 | 1956 2877 10225 | 37001 20828 267 | 30.614 % | 1265.64/1265.63 c | 1496198 | 1947 2877 10225 | 40701 27683 144 | 30.933 % | 1522.14/1522.17 c | 2244381 | 1927 2877 10225 | 44771 13794 197 | 31.642 % |
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-3461445-1307090123/watcher-3461445-1307090123 -o /tmp/evaluation-result-3461445-1307090123/solver-3461445-1307090123 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461445-1307090123.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.00 2.03 2.00 2/513 8078 /proc/meminfo: memFree=23242216/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=2516 CPUtime=0 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 445 0 0 0 0 0 0 0 23 0 1 0 899242963 2576384 385 33554432000 4194304 5714214 140734035054032 18446744073709551615 4964926 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 629 385 175 372 0 254 0 [startup+0.078255 s] /proc/loadavg: 2.00 2.03 2.00 2/513 8078 /proc/meminfo: memFree=23242216/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=2964 CPUtime=0.07 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 552 0 0 0 7 0 0 0 23 0 1 0 899242963 3035136 492 33554432000 4194304 5714214 140734035054032 18446744073709551615 4964956 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 741 492 175 372 0 366 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2964 [startup+0.101222 s] /proc/loadavg: 2.00 2.03 2.00 2/513 8078 /proc/meminfo: memFree=23242216/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=3188 CPUtime=0.09 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 597 0 0 0 9 0 0 0 23 0 1 0 899242963 3264512 537 33554432000 4194304 5714214 140734035054032 18446744073709551615 4969686 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 797 537 175 372 0 422 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3188 [startup+0.300167 s] /proc/loadavg: 2.00 2.03 2.00 2/513 8078 /proc/meminfo: memFree=23242216/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=4976 CPUtime=0.29 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 1117 0 0 0 29 0 0 0 18 0 1 0 899242963 5095424 977 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 1244 977 180 372 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4976 [startup+0.701096 s] /proc/loadavg: 2.00 2.03 2.00 2/513 8078 /proc/meminfo: memFree=23242216/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=6168 CPUtime=0.69 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 1435 0 0 0 68 1 0 0 18 0 1 0 899242963 6316032 1295 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 1542 1295 180 372 0 1167 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6168 [startup+1.50094 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8106 /proc/meminfo: memFree=23235084/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=6168 CPUtime=1.49 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 1447 0 0 0 145 4 0 0 18 0 1 0 899242963 6316032 1307 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 1542 1307 180 372 0 1167 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6168 [startup+3.10064 s] /proc/loadavg: 2.00 2.03 2.00 2/513 8127 /proc/meminfo: memFree=23241300/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=11520 CPUtime=3.09 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 2766 0 0 0 301 8 0 0 20 0 1 0 899242963 11796480 2626 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 2880 2626 180 372 0 2505 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11520 [startup+6.30103 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8134 /proc/meminfo: memFree=23215244/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=18112 CPUtime=6.29 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 4409 0 0 0 616 13 0 0 25 0 1 0 899242963 18546688 4236 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 4528 4236 180 372 0 4153 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18112 [startup+12.7008 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8134 /proc/meminfo: memFree=23199660/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=19596 CPUtime=12.69 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 4798 0 0 0 1245 24 0 0 25 0 1 0 899242963 20066304 4625 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 4899 4625 180 372 0 4524 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19596 [startup+25.5004 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8134 /proc/meminfo: memFree=23166760/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=32988 CPUtime=25.49 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 8079 0 0 0 2515 34 0 0 25 0 1 0 899242963 33779712 7906 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 8247 7906 180 372 0 7872 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32988 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.00 3/516 8135 /proc/meminfo: memFree=23145528/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=51164 CPUtime=51.09 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 12570 0 0 0 5055 54 0 0 25 0 1 0 899242963 52391936 12350 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 12791 12350 180 372 0 12416 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51164 [startup+102.32 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8136 /proc/meminfo: memFree=23108280/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=72028 CPUtime=102.31 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 17870 0 0 0 10137 94 0 0 25 0 1 0 899242963 73756672 17650 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 18007 17650 180 372 0 17632 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 72028 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8138 /proc/meminfo: memFree=23063600/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=105828 CPUtime=162.29 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 26154 0 0 0 16106 123 0 0 25 0 1 0 899242963 108367872 25934 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 26457 25934 180 372 0 26082 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 105828 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/516 8142 /proc/meminfo: memFree=23002288/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=137964 CPUtime=222.3 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 34049 0 0 0 22075 155 0 0 25 0 1 0 899242963 141275136 33829 33554432000 4194304 5714214 140734035054032 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 34491 33829 180 372 0 34116 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 137964 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/516 8144 /proc/meminfo: memFree=22972976/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=167132 CPUtime=282.29 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 41309 0 0 0 28044 185 0 0 25 0 1 0 899242963 171143168 41089 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 41783 41089 180 372 0 41408 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 167132 [startup+342.3 s] /proc/loadavg: 2.03 2.01 2.00 3/516 8146 /proc/meminfo: memFree=22945500/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=196904 CPUtime=342.29 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 48584 0 0 0 34014 215 0 0 25 0 1 0 899242963 201629696 48364 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 49226 48364 180 372 0 48851 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 196904 [startup+402.301 s] /proc/loadavg: 2.01 2.01 2.00 3/516 8147 /proc/meminfo: memFree=22916320/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=225904 CPUtime=402.3 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 55738 0 0 0 39979 251 0 0 25 0 1 0 899242963 231325696 55518 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 56476 55518 180 372 0 56101 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 225904 [startup+462.3 s] /proc/loadavg: 2.15 2.04 2.01 3/516 8149 /proc/meminfo: memFree=22889104/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=252320 CPUtime=462.31 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 62274 0 0 0 45957 274 0 0 25 0 1 0 899242963 258375680 62054 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 63080 62054 180 372 0 62705 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 252320 [startup+522.301 s] /proc/loadavg: 2.12 2.04 2.01 3/516 8150 /proc/meminfo: memFree=22872804/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=269268 CPUtime=522.31 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 66665 0 0 0 51936 295 0 0 25 0 1 0 899242963 275730432 66277 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 67317 66277 180 372 0 66942 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 269268 [startup+582.301 s] /proc/loadavg: 2.04 2.03 2.00 3/516 8152 /proc/meminfo: memFree=22854764/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=287992 CPUtime=582.3 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 71227 0 0 0 57907 323 0 0 25 0 1 0 899242963 294903808 70839 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 71998 70839 180 372 0 71623 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 287992 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.05 2.02 2.00 3/516 8158 /proc/meminfo: memFree=22775944/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=822.32 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 89911 0 0 0 81804 428 0 0 25 0 1 0 899242963 371666944 89441 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 89441 180 372 0 90364 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 362956 [startup+882.301 s] /proc/loadavg: 2.06 2.03 2.00 3/516 8160 /proc/meminfo: memFree=22753188/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=882.32 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90108 0 0 0 87766 466 0 0 25 0 1 0 899242963 371666944 89638 33554432000 4194304 5714214 140734035054032 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 89638 180 372 0 90364 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 362956 [startup+942.3 s] /proc/loadavg: 2.02 2.02 2.00 3/516 8162 /proc/meminfo: memFree=22733548/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=942.32 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90227 0 0 0 93736 496 0 0 25 0 1 0 899242963 371666944 89757 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 89757 180 372 0 90364 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 362956 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/516 8163 /proc/meminfo: memFree=22711012/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1002.32 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90424 0 0 0 99711 521 0 0 25 0 1 0 899242963 371666944 89954 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 89954 180 372 0 90364 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 362956 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 2.00 3/516 8165 /proc/meminfo: memFree=22694820/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1062.33 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90603 0 0 0 105688 545 0 0 25 0 1 0 899242963 371666944 90133 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90133 180 372 0 90364 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 362956 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/516 8166 /proc/meminfo: memFree=22694516/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1122.33 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90623 0 0 0 111665 568 0 0 25 0 1 0 899242963 371666944 90153 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90153 180 372 0 90364 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 362956 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8168 /proc/meminfo: memFree=22693972/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1182.33 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90644 0 0 0 117645 588 0 0 25 0 1 0 899242963 371666944 90174 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90174 180 372 0 90364 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 362956 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/516 8170 /proc/meminfo: memFree=22692436/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1242.33 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90667 0 0 0 123626 607 0 0 25 0 1 0 899242963 371666944 90197 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90197 180 372 0 90364 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 362956 [startup+1302.3 s] /proc/loadavg: 2.15 2.04 2.01 3/516 8171 /proc/meminfo: memFree=22691752/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1302.35 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90870 0 0 0 129601 634 0 0 25 0 1 0 899242963 371666944 90400 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90400 180 372 0 90364 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 362956 [startup+1362.3 s] /proc/loadavg: 2.13 2.04 2.01 3/516 8173 /proc/meminfo: memFree=22691556/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1362.33 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90913 0 0 0 135563 670 0 0 25 0 1 0 899242963 371666944 90443 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90443 180 372 0 90364 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 362956 [startup+1422.32 s] /proc/loadavg: 2.04 2.03 2.00 3/516 8174 /proc/meminfo: memFree=22691388/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=362956 CPUtime=1422.36 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 90937 0 0 0 141549 687 0 0 25 0 1 0 899242963 371666944 90467 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 90739 90467 180 372 0 90364 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 362956 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/516 8176 /proc/meminfo: memFree=22673220/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=381288 CPUtime=1482.34 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 95500 0 0 0 147517 717 0 0 25 0 1 0 899242963 390438912 95030 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 95322 95030 180 372 0 94947 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 381288 [startup+1542.3 s] /proc/loadavg: 2.11 2.05 2.01 3/516 8187 /proc/meminfo: memFree=22650208/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=405500 CPUtime=1542.34 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 101468 0 0 0 153481 753 0 0 25 0 1 0 899242963 415232000 100998 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 101375 100998 180 372 0 101000 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 405500 [startup+1602.3 s] /proc/loadavg: 2.09 2.05 2.01 3/516 8188 /proc/meminfo: memFree=22634760/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=421784 CPUtime=1602.35 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 105457 0 0 0 159453 782 0 0 25 0 1 0 899242963 431906816 104987 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 105446 104987 180 372 0 105071 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 421784 [startup+1662.3 s] /proc/loadavg: 2.03 2.04 2.00 3/516 8190 /proc/meminfo: memFree=22606192/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=450336 CPUtime=1662.35 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 112590 0 0 0 165421 814 0 0 25 0 1 0 899242963 461144064 112120 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 112584 112120 180 372 0 112209 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 450336 [startup+1722.3 s] /proc/loadavg: 2.01 2.03 2.00 3/516 8191 /proc/meminfo: memFree=22586396/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=469796 CPUtime=1722.35 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 117335 0 0 0 171395 840 0 0 25 0 1 0 899242963 481071104 116865 33554432000 4194304 5714214 140734035054032 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 117449 116865 180 372 0 117074 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 469796 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8193 /proc/meminfo: memFree=22569468/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=485092 CPUtime=1782.36 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 121018 0 0 0 177372 864 0 0 25 0 1 0 899242963 496734208 120548 33554432000 4194304 5714214 140734035054032 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 121273 120548 180 372 0 120898 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 485092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.02 2.00 3/516 8193 /proc/meminfo: memFree=22555316/32950928 swapFree=58671692/67111528 [pid=8078] ppid=8076 vsize=500360 CPUtime=1800.06 cores=1,3,5,7 /proc/8078/stat : 8078 (wbo1.6) R 8076 8078 1417 0 -1 4202496 124827 0 0 0 179131 875 0 0 25 0 1 0 899242963 512368640 124357 33554432000 4194304 5714214 140734035054032 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/8078/statm: 125090 124357 180 372 0 124715 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 500360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.1 CPU user time (s): 1791.33 CPU system time (s): 8.77367 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 500360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.33 system time used= 8.77367 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 124829 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= 34 involuntary context switches= 2680 runsolver used 9.24959 second user time and 20.5569 second system time The end
Begin job on node115 at 2011-06-03 10:35:23 IDJOB=3461445 IDBENCH=2179 IDSOLVER=1953 FILE ID=node115/3461445-1307090123 RUNJOBID= node115-1307082914-7619 PBS_JOBID= 13497873 Free space on /tmp= 73828 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-1-c.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461445-1307090123/watcher-3461445-1307090123 -o /tmp/evaluation-result-3461445-1307090123/solver-3461445-1307090123 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461445-1307090123.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e64a428c112076ceda9ede530f0c6582 RANDOM SEED=1029768770 node115.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.811 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.62 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.811 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 : 5226.15 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.811 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.75 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.77 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 23242372 kB Buffers: 124236 kB Cached: 248732 kB SwapCached: 65796 kB Active: 1050772 kB Inactive: 8417264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 23242372 kB SwapTotal: 67111528 kB SwapFree: 58671692 kB Dirty: 4296 kB Writeback: 0 kB AnonPages: 9033008 kB Mapped: 27524 kB Slab: 95936 kB PageTables: 75620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 151845160 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= 73820 MiB End job on node115 at 2011-06-03 11:05:25