Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.06 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb |
MD5SUM | 995cbcff162892786ed2539630dc8f6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 334 |
Best CPU time to get the best result obtained on this benchmark | 0.291955 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 334 |
Optimality of the best value was proved | YES |
Number of variables | 668 |
Total number of constraints | 1666 |
Number of constraints which are clauses | 1666 |
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 | 668 |
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 | 668 |
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 | 668 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461406-1307085852.opb. 0.00/0.00 c Instance file HOME/instance-3461406-1307085852.opb 0.00/0.00 c File size is 53118 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 668 | 0.00/0.00 c | Number Clauses: 1666 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 668 1666 4542 | 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.004999 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.005999 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.008998 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.009998 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.010998 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.011998 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.012998 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.013997 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.014997 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.015997 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.015997 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.016997 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.016997 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.017997 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.018997 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.018997 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.019996 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.019996 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.020996 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.021996 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.021996 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.022996 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.022996 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.023996 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.024996 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.024996 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.025996 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.025996 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.026995 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.027995 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.027995 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.028995 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.029995 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.029995 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.030995 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.030995 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.031995 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.032994 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.032994 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.033994 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.034994 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.034994 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.035994 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.035994 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.036994 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.037994 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.037994 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.038994 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.039993 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.039993 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.040993 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.041993 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.041993 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.042993 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.043993 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.043993 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.044993 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.045993 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.045993 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.046992 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.047992 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.047992 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.048992 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.049992 s 0.00/0.05 c 0.00/0.05 c core #75 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 75 0.00/0.06 c Current CPU time: 0.049992 s 0.00/0.06 c 0.00/0.06 c core #76 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 76 0.00/0.06 c Current CPU time: 0.050992 s 0.00/0.06 c 0.00/0.06 c core #77 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 77 0.00/0.06 c Current CPU time: 0.051992 s 0.00/0.06 c 0.00/0.06 c core #78 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 78 0.00/0.06 c Current CPU time: 0.051992 s 0.00/0.06 c 0.00/0.06 c core #79 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 79 0.00/0.06 c Current CPU time: 0.052991 s 0.00/0.06 c 0.00/0.06 c core #80 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 80 0.00/0.06 c Current CPU time: 0.053991 s 0.00/0.06 c 0.00/0.06 c core #81 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 81 0.00/0.06 c Current CPU time: 0.054991 s 0.00/0.06 c 0.00/0.06 c core #82 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 82 0.00/0.06 c Current CPU time: 0.054991 s 0.00/0.06 c 0.00/0.06 c core #83 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.06 c Current CPU time: 0.055991 s 0.00/0.06 c 0.00/0.06 c core #84 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 84 0.00/0.06 c Current CPU time: 0.056991 s 0.00/0.06 c 0.00/0.06 c core #85 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 85 0.06/0.09 c Current CPU time: 0.056991 s 0.06/0.09 c 0.06/0.09 c core #86 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 86 0.06/0.09 c Current CPU time: 0.057991 s 0.06/0.09 c 0.06/0.09 c core #87 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 87 0.06/0.09 c Current CPU time: 0.058991 s 0.06/0.09 c 0.06/0.09 c core #88 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 88 0.06/0.09 c Current CPU time: 0.058991 s 0.06/0.09 c 0.06/0.09 c core #89 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 89 0.06/0.09 c Current CPU time: 0.05999 s 0.06/0.09 c 0.06/0.09 c core #90 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 3 Core Weight: 1 Total Weight: 90 0.06/0.09 c Current CPU time: 0.06099 s 0.06/0.09 c 0.06/0.09 c core #91 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 91 0.06/0.09 c Current CPU time: 0.06199 s 0.06/0.09 c 0.06/0.09 c core #92 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 92 0.06/0.09 c Current CPU time: 0.06199 s 0.06/0.09 c 0.06/0.09 c core #93 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 93 0.06/0.09 c Current CPU time: 0.06299 s 0.06/0.09 c 0.06/0.09 c core #94 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 94 0.06/0.09 c Current CPU time: 0.06399 s 0.06/0.09 c 0.06/0.09 c core #95 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 95 0.06/0.09 c Current CPU time: 0.06399 s 0.06/0.09 c 0.06/0.09 c core #96 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 96 0.06/0.09 c Current CPU time: 0.06499 s 0.06/0.09 c 0.06/0.09 c core #97 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 97 0.06/0.09 c Current CPU time: 0.065989 s 0.06/0.09 c 0.06/0.09 c core #98 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 98 0.06/0.09 c Current CPU time: 0.066989 s 0.06/0.09 c 0.06/0.09 c core #99 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 99 0.06/0.09 c Current CPU time: 0.066989 s 0.06/0.09 c 0.06/0.09 c core #100 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 100 0.06/0.09 c Current CPU time: 0.067989 s 0.06/0.09 c 0.06/0.09 c core #101 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 101 0.06/0.09 c Current CPU time: 0.068989 s 0.06/0.09 c 0.06/0.09 c core #102 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 102 0.06/0.09 c Current CPU time: 0.069989 s 0.06/0.09 c 0.06/0.09 c core #103 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 103 0.06/0.09 c Current CPU time: 0.069989 s 0.06/0.09 c 0.06/0.09 c core #104 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 104 0.06/0.09 c Current CPU time: 0.070989 s 0.06/0.09 c 0.06/0.09 c core #105 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 105 0.06/0.09 c Current CPU time: 0.071989 s 0.06/0.09 c 0.06/0.09 c core #106 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 106 0.06/0.09 c Current CPU time: 0.072988 s 0.06/0.09 c 0.06/0.09 c core #107 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 107 0.06/0.09 c Current CPU time: 0.072988 s 0.06/0.09 c 0.06/0.09 c core #108 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 108 0.06/0.09 c Current CPU time: 0.073988 s 0.06/0.09 c 0.06/0.09 c core #109 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 109 0.06/0.09 c Current CPU time: 0.074988 s 0.06/0.09 c 0.06/0.09 c core #110 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 110 0.06/0.09 c Current CPU time: 0.075988 s 0.06/0.09 c 0.06/0.09 c core #111 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 111 0.06/0.09 c Current CPU time: 0.075988 s 0.06/0.09 c 0.06/0.09 c core #112 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 112 0.06/0.09 c Current CPU time: 0.076988 s 0.06/0.09 c 0.06/0.09 c core #113 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 113 0.06/0.09 c Current CPU time: 0.077988 s 0.06/0.09 c 0.06/0.09 c core #114 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 114 0.06/0.09 c Current CPU time: 0.078987 s 0.06/0.09 c 0.06/0.09 c core #115 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 115 0.06/0.09 c Current CPU time: 0.079987 s 0.06/0.09 c 0.06/0.09 c core #116 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 116 0.06/0.09 c Current CPU time: 0.079987 s 0.06/0.09 c 0.06/0.09 c core #117 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 117 0.06/0.09 c Current CPU time: 0.080987 s 0.06/0.09 c 0.06/0.09 c core #118 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 118 0.06/0.09 c Current CPU time: 0.081987 s 0.06/0.09 c 0.06/0.09 c core #119 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: 119 0.06/0.09 c Current CPU time: 0.082987 s 0.06/0.09 c 0.06/0.09 c core #120 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 120 0.06/0.09 c Current CPU time: 0.083987 s 0.06/0.09 c 0.06/0.09 c core #121 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 121 0.06/0.09 c Current CPU time: 0.083987 s 0.06/0.09 c 0.06/0.09 c core #122 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 122 0.06/0.09 c Current CPU time: 0.084987 s 0.06/0.09 c 0.06/0.09 c core #123 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 123 0.06/0.09 c Current CPU time: 0.085986 s 0.06/0.09 c 0.06/0.09 c core #124 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 124 0.06/0.09 c Current CPU time: 0.086986 s 0.06/0.09 c 0.06/0.09 c core #125 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 125 0.06/0.09 c Current CPU time: 0.087986 s 0.06/0.09 c 0.06/0.09 c core #126 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 126 0.06/0.09 c Current CPU time: 0.088986 s 0.06/0.09 c 0.06/0.09 c core #127 0.06/0.09 c 0.06/0.09 c 0.06/0.09 c Core size: 6 Core Weight: 1 Total Weight: 127 0.09/0.12 c Current CPU time: 0.088986 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.089986 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.090986 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.091986 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.092985 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.093985 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: 7 Core Weight: 1 Total Weight: 133 0.09/0.12 c Current CPU time: 0.094985 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: 7 Core Weight: 1 Total Weight: 134 0.09/0.12 c Current CPU time: 0.094985 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: 7 Core Weight: 1 Total Weight: 135 0.09/0.12 c Current CPU time: 0.095985 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: 7 Core Weight: 1 Total Weight: 136 0.09/0.12 c Current CPU time: 0.096985 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: 7 Core Weight: 1 Total Weight: 137 0.09/0.12 c Current CPU time: 0.097985 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: 7 Core Weight: 1 Total Weight: 138 0.09/0.12 c Current CPU time: 0.098984 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: 7 Core Weight: 1 Total Weight: 139 0.09/0.12 c Current CPU time: 0.099984 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: 7 Core Weight: 1 Total Weight: 140 0.09/0.12 c Current CPU time: 0.100984 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: 7 Core Weight: 1 Total Weight: 141 0.09/0.12 c Current CPU time: 0.101984 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: 7 Core Weight: 1 Total Weight: 142 0.09/0.12 c Current CPU time: 0.101984 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: 7 Core Weight: 1 Total Weight: 143 0.09/0.12 c Current CPU time: 0.102984 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: 7 Core Weight: 1 Total Weight: 144 0.09/0.12 c Current CPU time: 0.103984 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: 7 Core Weight: 1 Total Weight: 145 0.09/0.12 c Current CPU time: 0.104984 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: 7 Core Weight: 1 Total Weight: 146 0.09/0.12 c Current CPU time: 0.105983 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: 7 Core Weight: 1 Total Weight: 147 0.09/0.12 c Current CPU time: 0.106983 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: 7 Core Weight: 1 Total Weight: 148 0.09/0.12 c Current CPU time: 0.107983 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: 7 Core Weight: 1 Total Weight: 149 0.09/0.12 c Current CPU time: 0.108983 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: 7 Core Weight: 1 Total Weight: 150 0.09/0.12 c Current CPU time: 0.109983 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.110983 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.110983 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.111982 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.112982 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.113982 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.114982 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.115982 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: 6 Core Weight: 1 Total Weight: 158 0.09/0.12 c Current CPU time: 0.116982 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.117982 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.118981 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.119981 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.120981 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.121981 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.122981 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.123981 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.124981 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: 6 Core Weight: 1 Total Weight: 167 0.09/0.12 c Current CPU time: 0.12598 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: 6 Core Weight: 1 Total Weight: 168 0.09/0.12 c Current CPU time: 0.12698 s 0.09/0.17 c 0.09/0.17 c core #169 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 169 0.09/0.17 c Current CPU time: 0.12798 s 0.09/0.17 c 0.09/0.17 c core #170 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 170 0.09/0.17 c Current CPU time: 0.12898 s 0.09/0.17 c 0.09/0.17 c core #171 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 171 0.09/0.17 c Current CPU time: 0.12998 s 0.09/0.17 c 0.09/0.17 c core #172 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 172 0.09/0.17 c Current CPU time: 0.13098 s 0.09/0.17 c 0.09/0.17 c core #173 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 173 0.09/0.17 c Current CPU time: 0.131979 s 0.09/0.17 c 0.09/0.17 c core #174 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 174 0.09/0.17 c Current CPU time: 0.131979 s 0.09/0.17 c 0.09/0.17 c core #175 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 175 0.09/0.17 c Current CPU time: 0.132979 s 0.09/0.17 c 0.09/0.17 c core #176 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 176 0.09/0.17 c Current CPU time: 0.133979 s 0.09/0.17 c 0.09/0.17 c core #177 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 177 0.09/0.17 c Current CPU time: 0.134979 s 0.09/0.17 c 0.09/0.17 c core #178 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 178 0.09/0.17 c Current CPU time: 0.135979 s 0.09/0.17 c 0.09/0.17 c core #179 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 179 0.09/0.17 c Current CPU time: 0.136979 s 0.09/0.17 c 0.09/0.17 c core #180 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 180 0.09/0.17 c Current CPU time: 0.137979 s 0.09/0.17 c 0.09/0.17 c core #181 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 181 0.09/0.17 c Current CPU time: 0.138978 s 0.09/0.17 c 0.09/0.17 c core #182 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 182 0.09/0.17 c Current CPU time: 0.139978 s 0.09/0.17 c 0.09/0.17 c core #183 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 183 0.09/0.17 c Current CPU time: 0.140978 s 0.09/0.17 c 0.09/0.17 c core #184 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 184 0.09/0.17 c Current CPU time: 0.141978 s 0.09/0.17 c 0.09/0.17 c core #185 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 185 0.09/0.17 c Current CPU time: 0.142978 s 0.09/0.17 c 0.09/0.17 c core #186 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 186 0.09/0.17 c Current CPU time: 0.143978 s 0.09/0.17 c 0.09/0.17 c core #187 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 187 0.09/0.17 c Current CPU time: 0.144977 s 0.09/0.17 c 0.09/0.17 c core #188 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 188 0.09/0.17 c Current CPU time: 0.145977 s 0.09/0.17 c 0.09/0.17 c core #189 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 189 0.09/0.17 c Current CPU time: 0.146977 s 0.09/0.17 c 0.09/0.17 c core #190 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 190 0.09/0.17 c Current CPU time: 0.146977 s 0.09/0.17 c 0.09/0.17 c core #191 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 191 0.09/0.17 c Current CPU time: 0.147977 s 0.09/0.17 c 0.09/0.17 c core #192 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 192 0.09/0.17 c Current CPU time: 0.148977 s 0.09/0.17 c 0.09/0.17 c core #193 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 193 0.09/0.17 c Current CPU time: 0.149977 s 0.09/0.17 c 0.09/0.17 c core #194 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 194 0.09/0.17 c Current CPU time: 0.150977 s 0.09/0.17 c 0.09/0.17 c core #195 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 195 0.09/0.17 c Current CPU time: 0.151976 s 0.09/0.17 c 0.09/0.17 c core #196 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 196 0.09/0.17 c Current CPU time: 0.153976 s 0.09/0.17 c 0.09/0.17 c core #197 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 197 0.09/0.17 c Current CPU time: 0.154976 s 0.09/0.17 c 0.09/0.17 c core #198 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 198 0.09/0.17 c Current CPU time: 0.155976 s 0.09/0.17 c 0.09/0.17 c core #199 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 199 0.09/0.17 c Current CPU time: 0.156976 s 0.09/0.17 c 0.09/0.17 c core #200 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 200 0.09/0.17 c Current CPU time: 0.157975 s 0.09/0.17 c 0.09/0.17 c core #201 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 201 0.09/0.17 c Current CPU time: 0.158975 s 0.09/0.17 c 0.09/0.17 c core #202 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 202 0.09/0.17 c Current CPU time: 0.159975 s 0.09/0.17 c 0.09/0.17 c core #203 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 203 0.09/0.17 c Current CPU time: 0.160975 s 0.09/0.17 c 0.09/0.17 c core #204 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 204 0.09/0.17 c Current CPU time: 0.161975 s 0.09/0.17 c 0.09/0.17 c core #205 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 205 0.09/0.17 c Current CPU time: 0.162975 s 0.09/0.17 c 0.09/0.17 c core #206 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 206 0.09/0.17 c Current CPU time: 0.163975 s 0.09/0.17 c 0.09/0.17 c core #207 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 207 0.09/0.17 c Current CPU time: 0.164974 s 0.09/0.17 c 0.09/0.17 c core #208 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 208 0.09/0.17 c Current CPU time: 0.165974 s 0.09/0.17 c 0.09/0.17 c core #209 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 209 0.09/0.17 c Current CPU time: 0.166974 s 0.09/0.17 c 0.09/0.17 c core #210 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 210 0.09/0.17 c Current CPU time: 0.167974 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: 6 Core Weight: 1 Total Weight: 211 0.09/0.17 c Current CPU time: 0.168974 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: 6 Core Weight: 1 Total Weight: 212 0.09/0.17 c Current CPU time: 0.169974 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: 6 Core Weight: 1 Total Weight: 213 0.09/0.17 c Current CPU time: 0.170974 s 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: 7 Core Weight: 1 Total Weight: 214 0.09/0.17 c Current CPU time: 0.171973 s 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: 21 Core Weight: 1 Total Weight: 215 0.09/0.17 c Current CPU time: 0.172973 s 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: 13 Core Weight: 1 Total Weight: 216 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 | 1242 2550 6325 | 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: 29 Core Weight: 1 Total Weight: 217 0.09/0.17 c Current CPU time: 0.175973 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 | 1256 2552 6356 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #218 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 13 Core Weight: 1 Total Weight: 218 0.09/0.18 c Current CPU time: 0.176973 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 | 1265 2553 6375 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #219 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 19 Core Weight: 1 Total Weight: 219 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 | 1277 2554 6402 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #220 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 34 Core Weight: 1 Total Weight: 220 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 | 1306 2555 6462 | 5000 0 -nan | 0.000 % | 0.09/0.18 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: 23 Core Weight: 1 Total Weight: 221 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 | 1316 2556 6482 | 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: 23 Core Weight: 1 Total Weight: 222 0.09/0.18 c Current CPU time: 0.181972 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 | 1326 2557 6502 | 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: 31 Core Weight: 1 Total Weight: 223 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 | 1338 2558 6526 | 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: 23 Core Weight: 1 Total Weight: 224 0.09/0.18 c Current CPU time: 0.184971 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 | 1348 2559 6546 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.19 c core #225 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 23 Core Weight: 1 Total Weight: 225 0.09/0.19 c Current CPU time: 0.185971 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 | 1358 2560 6566 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #226 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 23 Core Weight: 1 Total Weight: 226 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 | 1368 2561 6586 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #227 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 23 Core Weight: 1 Total Weight: 227 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 | 1378 2562 6606 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #228 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 31 Core Weight: 1 Total Weight: 228 0.09/0.19 c Current CPU time: 0.189971 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 | 1390 2563 6630 | 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: 23 Core Weight: 1 Total Weight: 229 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 | 1400 2564 6650 | 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.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 | 1410 2565 6670 | 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: 23 Core Weight: 1 Total Weight: 231 0.09/0.19 c Current CPU time: 0.19397 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 | 1420 2566 6690 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.20 c core #232 0.09/0.20 c 0.09/0.20 c 0.09/0.20 c Core size: 23 Core Weight: 1 Total Weight: 232 0.09/0.20 c Current CPU time: 0.19597 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 | 1430 2567 6710 | 5000 0 -nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.19/0.20 c core #233 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 1 Total Weight: 233 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 | 1438 2568 6728 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #234 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 1 Total Weight: 234 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 | 1442 2570 6739 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #235 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 30 Core Weight: 1 Total Weight: 235 0.19/0.20 c Current CPU time: 0.199969 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 | 1458 2572 6774 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #236 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 15 Core Weight: 1 Total Weight: 236 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 | 1469 2573 6797 | 5000 0 -nan | 0.000 % | 0.19/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: 74 Core Weight: 1 Total Weight: 237 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 | 1481 2574 6821 | 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: 16 Core Weight: 1 Total Weight: 238 0.19/0.20 c Current CPU time: 0.204968 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 | 1489 2575 6839 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #239 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 18 Core Weight: 1 Total Weight: 239 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 | 1502 2576 6866 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #240 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 6 Core Weight: 1 Total Weight: 240 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 | 1506 2578 6877 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #241 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 9 Core Weight: 1 Total Weight: 241 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 | 1514 2582 6901 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #242 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 14 Core Weight: 1 Total Weight: 242 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 | 1525 2585 6927 | 5000 0 -nan | 0.000 % | 0.19/0.21 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: 5 Core Weight: 1 Total Weight: 243 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 | 1530 2590 6948 | 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: 6 Core Weight: 1 Total Weight: 244 0.19/0.21 c Current CPU time: 0.212967 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 | 1534 2592 6959 | 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: 12 Core Weight: 1 Total Weight: 245 0.19/0.21 c Current CPU time: 0.214967 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 | 1544 2594 6984 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #246 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 246 0.19/0.22 c Current CPU time: 0.215967 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 | 1549 2595 6995 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #247 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 247 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 | 1554 2596 7006 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #248 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 248 0.19/0.22 c Current CPU time: 0.218966 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 | 1559 2597 7017 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #249 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 249 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 | 1564 2598 7028 | 5000 0 -nan | 0.000 % | 0.19/0.22 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: 6 Core Weight: 1 Total Weight: 250 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 | 1568 2600 7039 | 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: 6 Core Weight: 1 Total Weight: 251 0.19/0.22 c Current CPU time: 0.222966 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 | 1572 2603 7052 | 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: 6 Core Weight: 1 Total Weight: 252 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 | 1576 2606 7065 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.23 c core #253 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 6 Core Weight: 1 Total Weight: 253 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 | 1580 2609 7078 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #254 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 9 Core Weight: 1 Total Weight: 254 0.19/0.23 c Current CPU time: 0.226965 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 | 1585 2611 7091 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #255 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 9 Core Weight: 1 Total Weight: 255 0.19/0.23 c Current CPU time: 0.228965 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 | 1590 2612 7102 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #256 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 28 Core Weight: 1 Total Weight: 256 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 | 1613 2613 7150 | 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: 9 Core Weight: 1 Total Weight: 257 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 | 1618 2614 7161 | 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: 9 Core Weight: 1 Total Weight: 258 0.19/0.23 c Current CPU time: 0.233964 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 | 1623 2615 7172 | 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: 9 Core Weight: 1 Total Weight: 259 0.19/0.23 c Current CPU time: 0.234964 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 | 1628 2616 7183 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #260 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 8 Core Weight: 1 Total Weight: 260 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 | 1633 2618 7197 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #261 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 15 Core Weight: 1 Total Weight: 261 0.19/0.24 c Current CPU time: 0.238963 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 | 1644 2620 7222 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #262 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 262 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 | 1649 2621 7233 | 5000 0 -nan | 0.000 % | 0.19/0.24 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: 24 Core Weight: 1 Total Weight: 263 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 | 1670 2624 7281 | 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: 43 Core Weight: 1 Total Weight: 264 0.19/0.24 c Current CPU time: 0.243962 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 | 1704 2626 7352 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #265 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 265 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 | 1709 2627 7363 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #266 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 25 Core Weight: 1 Total Weight: 266 0.19/0.25 c Current CPU time: 0.246962 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 | 1720 2628 7385 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #267 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 267 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 | 1725 2629 7396 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #268 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 37 Core Weight: 1 Total Weight: 268 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 | 1749 2630 7444 | 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: 47 Core Weight: 1 Total Weight: 269 0.19/0.25 c Current CPU time: 0.252961 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 | 1783 2632 7515 | 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: 29 Core Weight: 1 Total Weight: 270 0.19/0.25 c Current CPU time: 0.254961 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 | 1803 2636 7563 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #271 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 17 Core Weight: 1 Total Weight: 271 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 | 1813 2637 7583 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #272 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 29 Core Weight: 1 Total Weight: 272 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 | 1828 2640 7618 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #273 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 45 Core Weight: 1 Total Weight: 273 0.19/0.26 c Current CPU time: 0.26096 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 | 1850 2641 7662 | 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: 11 Core Weight: 1 Total Weight: 274 0.19/0.26 c Current CPU time: 0.26296 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 | 1856 2642 7674 | 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: 33 Core Weight: 1 Total Weight: 275 0.19/0.26 c Current CPU time: 0.264959 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 | 1880 2643 7722 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #276 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 14 Core Weight: 1 Total Weight: 276 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 | 1888 2644 7738 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #277 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 14 Core Weight: 1 Total Weight: 277 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 | 1899 2645 7760 | 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: 18 Core Weight: 1 Total Weight: 278 0.19/0.27 c Current CPU time: 0.270958 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 | 1911 2646 7784 | 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: 12 Core Weight: 1 Total Weight: 279 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 | 1919 2648 7803 | 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: 83 Core Weight: 1 Total Weight: 280 0.19/0.27 c Current CPU time: 0.273958 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 | 1939 2651 7848 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #281 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 14 Core Weight: 1 Total Weight: 281 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 | 1947 2652 7864 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 100 | 1939 2652 7864 | 5500 100 8 | 0.822 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #282 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 35 Core Weight: 1 Total Weight: 282 0.19/0.28 c Current CPU time: 0.278957 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 | 1972 2653 7914 | 5000 0 -nan | 0.000 % | 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: 22 Core Weight: 1 Total Weight: 283 0.19/0.28 c Current CPU time: 0.280957 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 | 1985 2654 7940 | 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: 14 Core Weight: 1 Total Weight: 284 0.19/0.28 c Current CPU time: 0.281957 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 | 1994 2655 7958 | 5000 0 -nan | 0.000 % | 0.19/0.28 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: 11 Core Weight: 1 Total Weight: 285 0.19/0.29 c Current CPU time: 0.283956 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 | 2000 2656 7970 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #286 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 14 Core Weight: 1 Total Weight: 286 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 | 2008 2657 7986 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #287 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 84 Core Weight: 1 Total Weight: 287 0.19/0.29 c Current CPU time: 0.288956 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 | 2032 2658 8034 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #288 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 22 Core Weight: 1 Total Weight: 288 0.19/0.29 c Current CPU time: 0.289955 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 | 2046 2665 8077 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #289 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 98 Core Weight: 1 Total Weight: 289 0.29/0.30 c Current CPU time: 0.293955 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 2096 2667 8180 | 5000 0 -nan | 0.000 % | 0.29/0.30 c | 100 | 2095 2667 8180 | 5500 100 12 | 5.058 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #290 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 31 Core Weight: 1 Total Weight: 290 0.29/0.30 c Current CPU time: 0.296954 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 2118 2669 8226 | 5000 0 -nan | 0.000 % | 0.29/0.30 c | 100 | 2118 2669 8226 | 5500 100 16 | 0.003 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #291 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 106 Core Weight: 1 Total Weight: 291 0.29/0.31 c Current CPU time: 0.303953 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2209 2672 8414 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 100 | 2209 2672 8414 | 5500 100 6 | 0.091 % | 0.29/0.31 c | 252 | 2207 2672 8414 | 6050 252 8 | 0.091 % | 0.29/0.31 c | 478 | 2207 2672 8414 | 6655 478 8 | 0.091 % | 0.29/0.32 c | 818 | 2205 2672 8414 | 7320 818 9 | 0.181 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #292 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 109 Core Weight: 1 Total Weight: 292 0.29/0.33 c Current CPU time: 0.320951 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2309 2683 8639 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 100 | 2309 2683 8639 | 5500 100 20 | 0.005 % | 0.29/0.34 c | 250 | 2309 2683 8639 | 6050 250 15 | 0.000 % | 0.29/0.35 c | 476 | 2309 2683 8639 | 6655 476 16 | 0.000 % | 0.29/0.37 c | 813 | 2308 2683 8639 | 7320 813 16 | 0.043 % | 0.39/0.40 c | 1319 | 2308 2683 8639 | 8052 1319 16 | 0.043 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #293 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 209 Core Weight: 1 Total Weight: 293 0.39/0.47 c Current CPU time: 0.460929 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2404 2691 8848 | 5000 0 -nan | 0.000 % | 0.39/0.47 c | 100 | 2398 2691 8848 | 5500 100 10 | 2.413 % | 0.39/0.48 c | 250 | 2346 2691 8848 | 6050 250 15 | 2.413 % | 0.39/0.49 c | 476 | 2346 2691 8848 | 6655 476 18 | 2.413 % | 0.49/0.50 c | 814 | 2346 2691 8848 | 7320 814 19 | 2.413 % | 0.49/0.53 c | 1321 | 2346 2691 8848 | 8052 1321 20 | 2.413 % | 0.49/0.57 c | 2080 | 2338 2691 8848 | 8857 2080 21 | 2.829 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #294 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 235 Core Weight: 1 Total Weight: 294 0.49/0.58 c Current CPU time: 0.571913 s 0.49/0.58 c 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 2439 2700 8939 | 5000 0 -nan | 0.000 % | 0.49/0.58 c | 100 | 2436 2700 8939 | 5500 100 7 | 0.164 % | 0.49/0.59 c | 251 | 2435 2700 8939 | 6050 251 7 | 0.164 % | 0.49/0.59 c | 476 | 2435 2700 8939 | 6655 476 8 | 0.164 % | 0.59/0.60 c | 813 | 2435 2700 8939 | 7320 813 10 | 0.164 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #295 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 195 Core Weight: 1 Total Weight: 295 0.59/0.61 c Current CPU time: 0.601908 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 2563 2710 9209 | 5000 0 -nan | 0.000 % | 0.59/0.61 c | 100 | 2563 2710 9209 | 5500 100 13 | 0.002 % | 0.59/0.62 c | 250 | 2563 2710 9209 | 6050 250 13 | 0.000 % | 0.59/0.62 c | 475 | 2563 2710 9209 | 6655 475 13 | 0.000 % | 0.59/0.63 c | 814 | 2563 2710 9209 | 7320 814 13 | 0.000 % | 0.59/0.64 c | 1320 | 2563 2710 9209 | 8052 1320 13 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #296 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 115 Core Weight: 1 Total Weight: 296 0.59/0.66 c Current CPU time: 0.6539 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 | 2655 2730 9443 | 5000 0 -nan | 0.000 % | 0.59/0.67 c | 100 | 2655 2730 9443 | 5500 100 16 | 0.002 % | 0.59/0.67 c | 250 | 2655 2730 9443 | 6050 250 15 | 0.000 % | 0.59/0.68 c | 477 | 2655 2730 9443 | 6655 477 15 | 0.000 % | 0.68/0.70 c | 814 | 2655 2730 9443 | 7320 814 16 | 0.000 % | 0.68/0.72 c | 1320 | 2655 2730 9443 | 8052 1320 16 | 0.000 % | 0.68/0.76 c | 2080 | 2655 2730 9443 | 8857 2080 16 | 0.000 % | 0.78/0.83 c | 3220 | 2653 2730 9443 | 9743 3220 16 | 0.075 % | 0.78/0.87 c =============================================================================== 0.78/0.88 c core #297 0.78/0.88 c 0.78/0.88 c 0.78/0.88 c Core size: 140 Core Weight: 1 Total Weight: 297 0.78/0.88 c Current CPU time: 0.867868 s 0.78/0.88 c 0.78/0.88 c ============================[ Search Statistics ]============================== 0.78/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.88 c =============================================================================== 0.78/0.88 c | 0 | 2665 2749 9513 | 5000 0 -nan | 0.000 % | 0.78/0.88 c | 100 | 2665 2749 9513 | 5500 100 8 | 0.002 % | 0.78/0.89 c | 253 | 2665 2749 9513 | 6050 253 10 | 0.000 % | 0.78/0.90 c | 480 | 2665 2749 9513 | 6655 480 12 | 0.000 % | 0.89/0.91 c | 817 | 2665 2749 9513 | 7320 817 13 | 0.000 % | 0.89/0.94 c | 1324 | 2665 2749 9513 | 8052 1324 14 | 0.000 % | 0.89/0.98 c | 2083 | 2665 2749 9513 | 8857 2083 14 | 0.000 % | 1.01/1.05 c | 3222 | 2663 2749 9513 | 9743 3222 14 | 0.075 % | 1.01/1.08 c =============================================================================== 1.01/1.09 c core #298 1.01/1.09 c 1.01/1.09 c 1.01/1.09 c Core size: 247 Core Weight: 1 Total Weight: 298 1.01/1.09 c Current CPU time: 1.07484 s 1.01/1.09 c 1.01/1.09 c ============================[ Search Statistics ]============================== 1.01/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.09 c =============================================================================== 1.01/1.09 c | 0 | 2695 2775 9645 | 5000 0 -nan | 0.000 % | 1.01/1.09 c | 101 | 2695 2775 9645 | 5500 101 19 | 0.002 % | 1.01/1.10 c | 251 | 2695 2775 9645 | 6050 251 15 | 0.000 % | 1.01/1.11 c | 476 | 2695 2775 9645 | 6655 476 13 | 0.000 % | 1.11/1.13 c | 814 | 2695 2775 9645 | 7320 814 12 | 0.000 % | 1.11/1.15 c | 1321 | 2695 2775 9645 | 8052 1321 12 | 0.000 % | 1.11/1.19 c | 2080 | 2695 2775 9645 | 8857 2080 11 | 0.000 % | 1.18/1.26 c | 3221 | 2695 2775 9645 | 9743 3221 12 | 0.000 % | 1.29/1.38 c | 4930 | 2691 2775 9645 | 10717 4930 12 | 0.149 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #299 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 142 Core Weight: 1 Total Weight: 299 1.39/1.42 c Current CPU time: 1.39579 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 | 2709 2796 9728 | 5000 0 -nan | 0.000 % | 1.39/1.42 c | 101 | 2709 2796 9728 | 5500 101 13 | 0.003 % | 1.39/1.42 c | 252 | 2709 2796 9728 | 6050 252 20 | 0.000 % | 1.39/1.43 c | 479 | 2709 2796 9728 | 6655 479 19 | 0.000 % | 1.39/1.44 c | 817 | 2709 2796 9728 | 7320 817 19 | 0.000 % | 1.39/1.46 c | 1324 | 2709 2796 9728 | 8052 1324 19 | 0.000 % | 1.39/1.48 c | 2083 | 2709 2796 9728 | 8857 2083 20 | 0.000 % | 1.49/1.54 c | 3224 | 2709 2796 9728 | 9743 3224 18 | 0.000 % | 1.59/1.65 c | 4933 | 2697 2796 9728 | 10717 4933 17 | 0.443 % | 1.68/1.71 c =============================================================================== 1.68/1.72 c core #300 1.68/1.72 c 1.68/1.72 c 1.68/1.72 c Core size: 75 Core Weight: 1 Total Weight: 300 1.68/1.72 c Current CPU time: 1.68874 s 1.68/1.72 c 1.68/1.72 c ============================[ Search Statistics ]============================== 1.68/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.72 c =============================================================================== 1.68/1.72 c | 0 | 2763 2839 9951 | 5000 0 -nan | 0.000 % | 1.68/1.72 c | 100 | 2763 2839 9951 | 5500 100 22 | 0.002 % | 1.68/1.73 c | 250 | 2763 2839 9951 | 6050 250 16 | 0.000 % | 1.68/1.74 c | 475 | 2763 2839 9951 | 6655 475 13 | 0.000 % | 1.68/1.75 c | 813 | 2763 2839 9951 | 7320 813 12 | 0.000 % | 1.68/1.77 c | 1319 | 2763 2839 9951 | 8052 1319 11 | 0.000 % | 1.78/1.81 c | 2079 | 2763 2839 9951 | 8857 2079 10 | 0.000 % | 1.78/1.87 c | 3221 | 2763 2839 9951 | 9743 3221 9 | 0.000 % | 1.88/1.97 c | 4930 | 2763 2839 9951 | 10717 4930 10 | 0.000 % | 1.99/2.01 c =============================================================================== 1.99/2.01 c core #301 1.99/2.01 c 1.99/2.01 c 1.99/2.01 c Core size: 189 Core Weight: 1 Total Weight: 301 1.99/2.01 c Current CPU time: 1.9817 s 1.99/2.01 c 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 2783 2890 10136 | 5000 0 -nan | 0.000 % | 1.99/2.02 c | 100 | 2783 2890 10136 | 5500 100 17 | 0.002 % | 1.99/2.02 c | 250 | 2783 2890 10136 | 6050 250 18 | 0.000 % | 1.99/2.02 c | 476 | 2783 2890 10136 | 6655 476 18 | 0.000 % | 1.99/2.03 c | 813 | 2781 2890 10136 | 7320 813 19 | 0.072 % | 1.99/2.04 c | 1319 | 2781 2890 10136 | 8052 1319 20 | 0.072 % | 1.99/2.06 c | 2079 | 2781 2890 10136 | 8857 2079 24 | 0.072 % | 1.99/2.10 c | 3218 | 2781 2890 10136 | 9743 3218 26 | 0.072 % | 2.11/2.20 c | 4926 | 2779 2890 10136 | 10717 4926 22 | 0.144 % | 2.21/2.23 c =============================================================================== 2.21/2.24 c core #302 2.21/2.24 c 2.21/2.24 c 2.21/2.24 c Core size: 154 Core Weight: 1 Total Weight: 302 2.21/2.24 c Current CPU time: 2.20466 s 2.21/2.24 c 2.21/2.24 c ============================[ Search Statistics ]============================== 2.21/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.24 c =============================================================================== 2.21/2.24 c | 0 | 2815 2900 10226 | 5000 0 -nan | 0.000 % | 2.21/2.24 c | 100 | 2815 2900 10226 | 5500 100 16 | 0.073 % | 2.21/2.25 c | 250 | 2815 2900 10226 | 6050 250 15 | 0.071 % | 2.21/2.25 c | 477 | 2815 2900 10226 | 6655 477 17 | 0.071 % | 2.21/2.26 c | 817 | 2815 2900 10226 | 7320 817 18 | 0.071 % | 2.21/2.28 c | 1326 | 2815 2900 10226 | 8052 1326 17 | 0.071 % | 2.29/2.30 c | 2088 | 2815 2900 10226 | 8857 2088 17 | 0.071 % | 2.29/2.34 c | 3228 | 2815 2900 10226 | 9743 3228 18 | 0.071 % | 2.39/2.43 c =============================================================================== 2.39/2.44 c core #303 2.39/2.44 c 2.39/2.44 c 2.39/2.44 c Core size: 239 Core Weight: 1 Total Weight: 303 2.39/2.44 c Current CPU time: 2.39563 s 2.39/2.44 c 2.39/2.44 c ============================[ Search Statistics ]============================== 2.39/2.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.44 c =============================================================================== 2.39/2.44 c | 0 | 2950 2933 10586 | 5000 0 -nan | 0.000 % | 2.39/2.44 c | 100 | 2950 2933 10586 | 5500 100 23 | 0.069 % | 2.39/2.45 c | 250 | 2950 2933 10586 | 6050 250 19 | 0.068 % | 2.39/2.46 c | 475 | 2950 2933 10586 | 6655 475 15 | 0.068 % | 2.39/2.47 c | 814 | 2950 2933 10586 | 7320 814 13 | 0.068 % | 2.39/2.49 c | 1321 | 2950 2933 10586 | 8052 1321 13 | 0.068 % | 2.49/2.53 c | 2081 | 2936 2933 10586 | 8857 2081 11 | 0.542 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c core #304 2.49/2.54 c 2.49/2.54 c 2.49/2.54 c Core size: 124 Core Weight: 1 Total Weight: 304 2.49/2.54 c Current CPU time: 2.49862 s 2.49/2.54 c 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 2976 2997 10816 | 5000 0 -nan | 0.000 % | 2.49/2.55 c | 102 | 2976 2997 10816 | 5500 102 13 | 0.069 % | 2.49/2.55 c | 253 | 2976 2997 10816 | 6050 253 17 | 0.067 % | 2.49/2.56 c | 478 | 2976 2997 10816 | 6655 478 14 | 0.067 % | 2.49/2.57 c | 816 | 2976 2997 10816 | 7320 816 14 | 0.067 % | 2.49/2.58 c =============================================================================== 2.49/2.59 c core #305 2.49/2.59 c 2.49/2.59 c 2.49/2.59 c Core size: 131 Core Weight: 1 Total Weight: 305 2.49/2.59 c Current CPU time: 2.54161 s 2.49/2.59 c 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 3000 3016 10915 | 5000 0 -nan | 0.000 % | 2.49/2.59 c | 101 | 3000 3016 10915 | 5500 101 16 | 0.068 % | 2.49/2.60 c | 251 | 3000 3016 10915 | 6050 251 16 | 0.067 % | 2.59/2.61 c | 480 | 2998 3016 10915 | 6655 480 12 | 0.133 % | 2.59/2.61 c | 818 | 2998 3016 10915 | 7320 818 20 | 0.133 % | 2.59/2.63 c | 1328 | 2990 3016 10915 | 8052 1328 29 | 0.400 % | 2.59/2.64 c =============================================================================== 2.59/2.65 c core #306 2.59/2.65 c 2.59/2.65 c 2.59/2.65 c Core size: 104 Core Weight: 1 Total Weight: 306 2.59/2.65 c Current CPU time: 2.6016 s 2.59/2.65 c 2.59/2.65 c ============================[ Search Statistics ]============================== 2.59/2.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.65 c =============================================================================== 2.59/2.65 c | 0 | 2964 3068 11094 | 5000 0 -nan | 0.000 % | 2.59/2.65 c | 103 | 2962 3068 11094 | 5500 103 25 | 4.561 % | 2.59/2.65 c | 254 | 2312 3068 11094 | 6050 254 39 | 23.696 % | 2.59/2.66 c | 481 | 2309 3068 11094 | 6655 481 44 | 23.795 % | 2.59/2.67 c | 822 | 2303 3068 11094 | 7320 822 54 | 23.993 % | 2.59/2.69 c | 1330 | 2303 3068 11094 | 8052 1330 60 | 23.993 % | 2.69/2.72 c | 2089 | 2303 3068 11094 | 8857 2089 61 | 23.993 % | 2.69/2.77 c | 3229 | 2300 3068 11094 | 9743 3229 61 | 24.092 % | 2.79/2.86 c | 4937 | 2295 3068 11094 | 10717 4937 61 | 24.356 % | 2.89/2.99 c =============================================================================== 2.99/3.01 c core #307 2.99/3.01 c 2.99/3.01 c 2.99/3.01 c Core size: 527 Core Weight: 1 Total Weight: 307 2.99/3.01 c Current CPU time: 2.95755 s 2.99/3.01 c 2.99/3.01 c ============================[ Search Statistics ]============================== 2.99/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.01 c =============================================================================== 2.99/3.01 c | 0 | 2349 3078 11173 | 5000 0 -nan | 0.000 % | 2.99/3.01 c | 100 | 2349 3078 11173 | 5500 100 24 | 23.411 % | 2.99/3.01 c =============================================================================== 2.99/3.02 c core #308 2.99/3.02 c 2.99/3.02 c 2.99/3.02 c Core size: 239 Core Weight: 1 Total Weight: 308 2.99/3.02 c Current CPU time: 2.96455 s 2.99/3.02 c 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 2357 3079 11189 | 5000 0 -nan | 0.000 % | 2.99/3.02 c | 100 | 2350 3079 11189 | 5500 100 22 | 23.577 % | 2.99/3.02 c | 250 | 2348 3079 11189 | 6050 250 23 | 23.642 % | 2.99/3.03 c | 476 | 2345 3079 11189 | 6655 476 25 | 23.740 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c core #309 2.99/3.03 c 2.99/3.03 c 2.99/3.03 c Core size: 376 Core Weight: 1 Total Weight: 309 2.99/3.03 c Current CPU time: 2.97755 s 2.99/3.03 c 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.03 c =============================================================================== 2.99/3.03 c | 0 | 2382 3080 11239 | 5000 0 -nan | 0.000 % | 2.99/3.03 c | 100 | 2377 3080 11239 | 5500 100 23 | 23.323 % | 2.99/3.04 c | 250 | 2377 3080 11239 | 6050 250 35 | 23.323 % | 2.99/3.04 c | 475 | 2377 3080 11239 | 6655 475 47 | 23.323 % | 2.99/3.05 c | 813 | 2377 3080 11239 | 7320 813 57 | 23.323 % | 2.99/3.07 c | 1319 | 2377 3080 11239 | 8052 1319 66 | 23.323 % | 3.09/3.10 c | 2079 | 2377 3080 11239 | 8857 2079 71 | 23.323 % | 3.09/3.15 c | 3219 | 2377 3080 11239 | 9743 3219 73 | 23.323 % | 3.21/3.27 c | 4927 | 2377 3080 11239 | 10717 4927 76 | 23.323 % | 3.49/3.58 c | 7490 | 2373 3080 11239 | 11789 7490 79 | 23.677 % | 3.99/4.04 c | 11334 | 2373 3080 11239 | 12968 11334 80 | 23.677 % | 4.89/4.97 c =============================================================================== 4.99/5.04 c core #310 4.99/5.04 c 4.99/5.04 c 4.99/5.04 c Core size: 540 Core Weight: 1 Total Weight: 310 4.99/5.04 c Current CPU time: 4.96525 s 4.99/5.04 c 4.99/5.04 c ============================[ Search Statistics ]============================== 4.99/5.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.04 c =============================================================================== 4.99/5.04 c | 0 | 2417 3081 11309 | 5000 0 -nan | 0.000 % | 4.99/5.04 c | 100 | 2417 3081 11309 | 5500 100 31 | 22.903 % | 4.99/5.04 c | 252 | 2414 3081 11309 | 6050 252 36 | 22.998 % | 4.99/5.05 c | 478 | 2411 3081 11309 | 6655 478 41 | 23.094 % | 4.99/5.06 c | 817 | 2411 3081 11309 | 7320 817 59 | 23.094 % | 4.99/5.08 c | 1323 | 2407 3081 11309 | 8052 1323 77 | 23.222 % | 5.09/5.12 c | 2082 | 2407 3081 11309 | 8857 2082 89 | 23.222 % | 5.19/5.23 c | 3222 | 2406 3081 11309 | 9743 3222 100 | 23.477 % | 5.29/5.36 c | 4937 | 2396 3081 11309 | 10717 4937 106 | 23.573 % | 5.69/5.74 c | 7503 | 2396 3081 11309 | 11789 7503 113 | 23.668 % | 6.38/6.46 c | 11348 | 2396 3081 11309 | 12968 11348 116 | 23.764 % | 7.99/8.06 c | 17114 | 2391 3081 11309 | 14265 10222 117 | 24.051 % | 10.09/10.19 c | 25764 | 2378 3081 11309 | 15692 11317 117 | 24.147 % | 13.21/13.22 c | 38739 | 2378 3081 11309 | 17261 15997 114 | 24.242 % | 17.39/17.51 c | 58200 | 2378 3081 11309 | 18987 17354 114 | 24.466 % | 24.49/24.50 c | 87397 | 2364 3081 11309 | 20886 16827 107 | 24.593 % | 29.99/30.07 c =============================================================================== 30.09/30.12 c core #311 30.09/30.12 c 30.09/30.12 c 30.09/30.12 c Core size: 228 Core Weight: 1 Total Weight: 311 30.09/30.12 c Current CPU time: 29.8955 s 30.09/30.12 c 30.09/30.12 c ============================[ Search Statistics ]============================== 30.09/30.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.09/30.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.09/30.12 c =============================================================================== 30.09/30.12 c | 0 | 2423 3082 11321 | 5000 0 -nan | 0.000 % | 30.09/30.12 c | 101 | 2416 3082 11321 | 5500 101 19 | 23.082 % | 30.09/30.13 c | 252 | 2416 3082 11321 | 6050 252 27 | 23.082 % | 30.09/30.13 c | 478 | 2413 3082 11321 | 6655 478 29 | 23.177 % | 30.09/30.14 c | 816 | 2413 3082 11321 | 7320 816 32 | 23.177 % | 30.09/30.16 c | 1323 | 2412 3082 11321 | 8052 1323 35 | 23.209 % | 30.09/30.19 c | 2082 | 2412 3082 11321 | 8857 2082 38 | 23.209 % | 30.19/30.26 c | 3221 | 2412 3082 11321 | 9743 3221 40 | 23.209 % | 30.39/30.41 c | 4929 | 2412 3082 11321 | 10717 4929 42 | 23.209 % | 30.59/30.63 c | 7495 | 2412 3082 11321 | 11789 7495 43 | 23.209 % | 31.19/31.24 c | 11339 | 2412 3082 11321 | 12968 11339 44 | 23.209 % | 31.49/31.50 c =============================================================================== 31.49/31.56 c core #312 31.49/31.56 c 31.49/31.56 c 31.49/31.56 c Core size: 246 Core Weight: 1 Total Weight: 312 31.49/31.56 c Current CPU time: 31.3652 s 31.49/31.56 c 31.49/31.56 c ============================[ Search Statistics ]============================== 31.49/31.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.49/31.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.49/31.56 c =============================================================================== 31.49/31.56 c | 0 | 2439 3083 11353 | 5000 0 -nan | 0.000 % | 31.49/31.56 c | 103 | 2439 3083 11353 | 5500 103 26 | 22.743 % | 31.49/31.56 c | 253 | 2436 3083 11353 | 6050 253 33 | 22.838 % | 31.49/31.57 c | 479 | 2436 3083 11353 | 6655 479 38 | 22.838 % | 31.49/31.58 c | 818 | 2436 3083 11353 | 7320 818 43 | 22.838 % | 31.49/31.60 c | 1324 | 2436 3083 11353 | 8052 1324 50 | 22.838 % | 31.59/31.62 c | 2083 | 2436 3083 11353 | 8857 2083 50 | 22.838 % | 31.59/31.69 c | 3222 | 2436 3083 11353 | 9743 3222 51 | 22.838 % | 31.81/31.89 c | 4930 | 2432 3083 11353 | 10717 4930 54 | 22.965 % | 32.09/32.16 c | 7496 | 2432 3083 11353 | 11789 7496 56 | 22.965 % | 32.91/33.00 c | 11342 | 2429 3083 11353 | 12968 11342 57 | 23.155 % | 34.11/34.19 c | 17112 | 2416 3083 11353 | 14265 10195 58 | 23.472 % | 35.79/35.82 c | 25762 | 2416 3083 11353 | 15692 11270 58 | 23.472 % | 38.09/38.18 c | 38739 | 2413 3083 11353 | 17261 15986 56 | 23.567 % | 41.89/41.94 c | 58201 | 2410 3083 11353 | 18987 17332 55 | 23.788 % | 48.08/48.17 c | 87397 | 2403 3083 11353 | 20886 16842 54 | 24.010 % | 49.29/49.35 c =============================================================================== 49.79/49.87 c core #313 49.79/49.87 c 49.79/49.87 c 49.79/49.87 c Core size: 246 Core Weight: 1 Total Weight: 313 49.79/49.87 c Current CPU time: 49.5635 s 49.79/49.87 c 49.79/49.87 c ============================[ Search Statistics ]============================== 49.79/49.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.79/49.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.79/49.87 c =============================================================================== 49.79/49.87 c | 0 | 2455 3084 11385 | 5000 0 -nan | 0.000 % | 49.79/49.87 c | 100 | 2449 3084 11385 | 5500 100 31 | 22.849 % | 49.79/49.87 c | 250 | 2448 3084 11385 | 6050 250 44 | 22.849 % | 49.79/49.88 c | 475 | 2448 3084 11385 | 6655 475 66 | 22.849 % | 49.79/49.89 c | 813 | 2448 3084 11385 | 7320 813 83 | 22.849 % | 49.89/49.91 c | 1319 | 2448 3084 11385 | 8052 1319 88 | 22.849 % | 49.89/49.96 c | 2082 | 2444 3084 11385 | 8857 2082 91 | 22.975 % | 49.99/50.02 c | 3223 | 2443 3084 11385 | 9743 3223 99 | 23.070 % | 50.09/50.19 c | 4932 | 2443 3084 11385 | 10717 4932 108 | 23.164 % | 50.51/50.53 c | 7495 | 2438 3084 11385 | 11789 7495 113 | 23.385 % | 51.39/51.44 c | 11340 | 2438 3084 11385 | 12968 11340 120 | 23.385 % | 53.19/53.28 c | 17113 | 2436 3084 11385 | 14265 10167 129 | 23.385 % | 55.69/55.79 c | 25763 | 2429 3084 11385 | 15692 11273 124 | 23.605 % | 58.89/58.97 c | 38738 | 2429 3084 11385 | 17261 15976 123 | 23.605 % | 63.81/63.83 c | 58201 | 2415 3084 11385 | 18987 17297 132 | 23.984 % | 71.19/71.21 c | 87395 | 2415 3084 11385 | 20886 16673 122 | 24.078 % | 80.99/81.01 c | 131185 | 2408 3084 11385 | 22974 16838 110 | 24.267 % | 97.39/97.47 c | 196869 | 2398 3084 11385 | 25272 22957 124 | 24.425 % | 124.59/124.63 c | 295397 | 2394 3084 11385 | 27799 15603 115 | 24.551 % | 163.81/163.87 c =============================================================================== 166.89/166.97 c core #314 166.89/166.97 c 166.89/166.97 c 166.89/166.97 c Core size: 556 Core Weight: 1 Total Weight: 314 166.89/166.97 c Current CPU time: 166.105 s 166.89/166.97 c 166.89/166.97 c ============================[ Search Statistics ]============================== 166.89/166.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 166.89/166.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 166.89/166.97 c =============================================================================== 166.89/166.97 c | 0 | 2500 3085 11475 | 5000 0 -nan | 0.000 % | 166.89/166.98 c | 100 | 2500 3085 11475 | 5500 100 30 | 22.312 % | 166.89/166.98 c | 252 | 2500 3085 11475 | 6050 252 55 | 22.312 % | 166.89/166.99 c | 480 | 2500 3085 11475 | 6655 480 76 | 22.312 % | 166.99/167.01 c | 823 | 2500 3085 11475 | 7320 823 111 | 22.312 % | 166.99/167.05 c | 1329 | 2500 3085 11475 | 8052 1329 138 | 22.312 % | 167.11/167.13 c | 2088 | 2500 3085 11475 | 8857 2088 142 | 22.312 % | 167.21/167.28 c | 3229 | 2500 3085 11475 | 9743 3229 147 | 22.312 % | 167.40/167.45 c | 4937 | 2500 3085 11475 | 10717 4937 139 | 22.312 % | 167.69/167.76 c | 7503 | 2500 3085 11475 | 11789 7503 148 | 22.312 % | 168.49/168.57 c | 11347 | 2500 3085 11475 | 12968 11347 151 | 22.312 % | 170.29/170.32 c | 17113 | 2497 3085 11475 | 14265 10202 162 | 22.592 % | 173.60/173.60 c | 25764 | 2496 3085 11475 | 15692 11295 163 | 22.809 % | 177.99/178.08 c | 38740 | 2493 3085 11475 | 17261 15995 172 | 23.151 % | 183.19/183.21 c | 58201 | 2469 3085 11475 | 18987 17294 167 | 23.369 % | 190.21/190.31 c | 87395 | 2466 3085 11475 | 20886 16597 168 | 23.462 % | 203.99/204.08 c | 131184 | 2465 3085 11475 | 22974 16732 172 | 23.710 % | 228.09/228.15 c | 196878 | 2452 3085 11475 | 25272 22674 169 | 23.928 % | 256.31/256.35 c =============================================================================== 256.39/256.46 c core #315 256.39/256.46 c 256.39/256.46 c 256.39/256.46 c Core size: 260 Core Weight: 1 Total Weight: 315 256.39/256.46 c Current CPU time: 255.378 s 256.39/256.46 c 256.39/256.46 c ============================[ Search Statistics ]============================== 256.39/256.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.39/256.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.39/256.46 c =============================================================================== 256.39/256.46 c | 0 | 2520 3086 11515 | 5000 0 -nan | 0.000 % | 256.39/256.47 c | 100 | 2520 3086 11515 | 5500 100 43 | 22.174 % | 256.39/256.47 c | 250 | 2515 3086 11515 | 6050 250 30 | 22.390 % | 256.39/256.48 c | 477 | 2515 3086 11515 | 6655 477 30 | 22.390 % | 256.39/256.48 c | 816 | 2513 3086 11515 | 7320 816 31 | 22.390 % | 256.39/256.49 c =============================================================================== 256.49/256.50 c core #316 256.49/256.50 c 256.49/256.50 c 256.49/256.50 c Core size: 261 Core Weight: 1 Total Weight: 316 256.49/256.50 c Current CPU time: 255.525 s 256.49/256.50 c 256.49/256.50 c ============================[ Search Statistics ]============================== 256.49/256.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 256.49/256.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 256.49/256.50 c =============================================================================== 256.49/256.50 c | 0 | 2540 3087 11555 | 5000 0 -nan | 0.000 % | 256.49/256.50 c | 103 | 2540 3087 11555 | 5500 103 47 | 22.038 % | 256.49/256.51 c | 255 | 2540 3087 11555 | 6050 255 54 | 22.038 % | 256.49/256.51 c | 482 | 2540 3087 11555 | 6655 482 53 | 22.038 % | 256.49/256.52 c | 820 | 2540 3087 11555 | 7320 820 66 | 22.038 % | 256.49/256.54 c | 1327 | 2540 3087 11555 | 8052 1327 73 | 22.038 % | 256.59/256.60 c | 2089 | 2540 3087 11555 | 8857 2089 77 | 22.038 % | 256.59/256.68 c | 3230 | 2540 3087 11555 | 9743 3230 78 | 22.038 % | 256.80/256.81 c | 4942 | 2540 3087 11555 | 10717 4942 78 | 22.038 % | 256.99/257.09 c | 7505 | 2540 3087 11555 | 11789 7505 77 | 22.038 % | 257.79/257.80 c | 11350 | 2540 3087 11555 | 12968 11350 78 | 22.038 % | 258.90/258.94 c | 17117 | 2536 3087 11555 | 14265 10225 77 | 22.253 % | 260.39/260.40 c | 25770 | 2531 3087 11555 | 15692 11338 76 | 22.437 % | 261.99/262.07 c | 38744 | 2523 3087 11555 | 17261 15992 56 | 22.652 % | 262.91/262.99 c =============================================================================== 263.09/263.10 c core #317 263.09/263.10 c 263.09/263.10 c 263.09/263.10 c Core size: 293 Core Weight: 1 Total Weight: 317 263.09/263.10 c Current CPU time: 262.076 s 263.09/263.10 c 263.09/263.10 c ============================[ Search Statistics ]============================== 263.09/263.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.09/263.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.09/263.10 c =============================================================================== 263.09/263.10 c | 0 | 2564 3088 11603 | 5000 0 -nan | 0.000 % | 263.09/263.10 c | 102 | 2564 3088 11603 | 5500 102 27 | 21.877 % | 263.09/263.10 c | 253 | 2564 3088 11603 | 6050 253 34 | 21.877 % | 263.09/263.11 c | 482 | 2564 3088 11603 | 6655 482 47 | 21.877 % | 263.09/263.12 c | 819 | 2564 3088 11603 | 7320 819 55 | 21.877 % | 263.09/263.14 c | 1325 | 2561 3088 11603 | 8052 1325 55 | 22.060 % | 263.09/263.18 c | 2084 | 2561 3088 11603 | 8857 2084 56 | 22.060 % | 263.20/263.26 c | 3228 | 2558 3088 11603 | 9743 3228 57 | 22.060 % | 263.40/263.41 c | 4937 | 2558 3088 11603 | 10717 4937 58 | 22.060 % | 263.70/263.74 c | 7501 | 2558 3088 11603 | 11789 7501 60 | 22.060 % | 264.29/264.31 c | 11346 | 2555 3088 11603 | 12968 11346 61 | 22.243 % | 265.79/265.81 c | 17114 | 2555 3088 11603 | 14265 10200 61 | 22.243 % | 267.49/267.52 c | 25765 | 2548 3088 11603 | 15692 11315 61 | 22.425 % | 267.89/267.99 c =============================================================================== 268.09/268.12 c core #318 268.09/268.12 c 268.09/268.12 c 268.09/268.12 c Core size: 288 Core Weight: 1 Total Weight: 318 268.09/268.12 c Current CPU time: 267.09 s 268.09/268.12 c 268.09/268.12 c ============================[ Search Statistics ]============================== 268.09/268.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 268.09/268.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 268.09/268.12 c =============================================================================== 268.09/268.12 c | 0 | 2588 3089 11651 | 5000 0 -nan | 0.000 % | 268.09/268.13 c | 100 | 2588 3089 11651 | 5500 100 29 | 21.718 % | 268.09/268.13 c | 251 | 2588 3089 11651 | 6050 251 38 | 21.718 % | 268.09/268.14 c | 476 | 2588 3089 11651 | 6655 476 42 | 21.718 % | 268.09/268.15 c | 814 | 2588 3089 11651 | 7320 814 53 | 21.718 % | 268.09/268.16 c | 1320 | 2588 3089 11651 | 8052 1320 59 | 21.718 % | 268.19/268.22 c | 2080 | 2585 3089 11651 | 8857 2080 64 | 21.900 % | 268.31/268.33 c | 3221 | 2585 3089 11651 | 9743 3221 69 | 21.900 % | 268.42/268.49 c | 4929 | 2582 3089 11651 | 10717 4929 72 | 21.900 % | 268.80/268.85 c | 7491 | 2582 3089 11651 | 11789 7491 74 | 21.900 % | 269.52/269.56 c | 11335 | 2579 3089 11651 | 12968 11335 75 | 22.081 % | 270.69/270.73 c | 17103 | 2579 3089 11651 | 14265 10160 72 | 22.293 % | 272.50/272.51 c | 25752 | 2579 3089 11651 | 15692 11256 74 | 22.293 % | 274.91/275.00 c | 38729 | 2569 3089 11651 | 17261 15952 72 | 22.384 % | 279.00/279.06 c | 58191 | 2569 3089 11651 | 18987 17279 72 | 22.474 % | 285.79/285.82 c | 87385 | 2563 3089 11651 | 20886 16722 73 | 22.777 % | 296.80/296.86 c | 131174 | 2553 3089 11651 | 22974 16967 74 | 22.777 % | 314.70/314.72 c | 196858 | 2549 3089 11651 | 25272 22950 76 | 22.898 % | 343.89/343.97 c | 295386 | 2548 3089 11651 | 27799 15997 77 | 22.928 % | 356.89/356.98 c =============================================================================== 357.09/357.11 c core #319 357.09/357.11 c 357.09/357.11 c 357.09/357.11 c Core size: 219 Core Weight: 1 Total Weight: 319 357.09/357.11 c Current CPU time: 355.691 s 357.09/357.11 c 357.09/357.11 c ============================[ Search Statistics ]============================== 357.09/357.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 357.09/357.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 357.09/357.11 c =============================================================================== 357.09/357.11 c | 0 | 2595 3090 11665 | 5000 0 -nan | 0.000 % | 357.09/357.11 c | 105 | 2595 3090 11665 | 5500 105 26 | 21.672 % | 357.09/357.11 c | 256 | 2595 3090 11665 | 6050 256 28 | 21.672 % | 357.09/357.12 c | 482 | 2595 3090 11665 | 6655 482 41 | 21.672 % | 357.09/357.13 c | 819 | 2592 3090 11665 | 7320 819 55 | 21.763 % | 357.09/357.15 c | 1326 | 2592 3090 11665 | 8052 1326 61 | 21.763 % | 357.19/357.21 c | 2090 | 2592 3090 11665 | 8857 2090 68 | 21.763 % | 357.29/357.34 c | 3229 | 2592 3090 11665 | 9743 3229 73 | 21.763 % | 357.51/357.53 c | 4940 | 2592 3090 11665 | 10717 4940 76 | 21.763 % | 357.79/357.83 c | 7503 | 2592 3090 11665 | 11789 7503 76 | 21.763 % | 358.70/358.78 c | 11350 | 2592 3090 11665 | 12968 11350 78 | 21.763 % | 359.99/360.07 c | 17118 | 2592 3090 11665 | 14265 10171 79 | 21.763 % | 362.00/362.09 c | 25770 | 2588 3090 11665 | 15692 11230 79 | 21.883 % | 365.22/365.26 c | 38745 | 2582 3090 11665 | 17261 15963 76 | 22.065 % | 369.69/369.70 c | 58206 | 2582 3090 11665 | 18987 17289 74 | 22.185 % | 376.49/376.56 c | 87401 | 2578 3090 11665 | 20886 16750 74 | 22.366 % | 388.09/388.18 c | 131190 | 2565 3090 11665 | 22974 17026 76 | 22.759 % | 406.79/406.81 c | 196879 | 2558 3090 11665 | 25272 23221 85 | 22.880 % | 436.20/436.29 c | 295407 | 2548 3090 11665 | 27799 13869 81 | 23.121 % | 481.30/481.38 c | 443198 | 2547 3090 11665 | 30579 21916 85 | 23.121 % | 549.00/549.05 c | 664881 | 2546 3090 11665 | 33637 23602 86 | 23.151 % | 655.00/655.02 c | 997414 | 2546 3090 11665 | 37001 17380 83 | 23.151 % | 674.22/674.29 c =============================================================================== 677.52/677.55 c core #320 677.52/677.55 c 677.52/677.55 c 677.52/677.55 c Core size: 293 Core Weight: 1 Total Weight: 320 677.52/677.55 c Current CPU time: 674.893 s 677.52/677.55 c 677.52/677.55 c ============================[ Search Statistics ]============================== 677.52/677.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 677.52/677.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 677.52/677.55 c =============================================================================== 677.52/677.55 c | 0 | 2619 3091 11713 | 5000 0 -nan | 0.000 % | 677.52/677.55 c | 100 | 2619 3091 11713 | 5500 100 31 | 21.517 % | 677.52/677.56 c | 252 | 2610 3091 11713 | 6050 252 28 | 21.786 % | 677.52/677.56 c | 483 | 2610 3091 11713 | 6655 483 45 | 21.786 % | 677.52/677.57 c | 823 | 2610 3091 11713 | 7320 823 54 | 21.786 % | 677.52/677.59 c | 1332 | 2607 3091 11713 | 8052 1332 67 | 21.876 % | 677.62/677.63 c | 2091 | 2607 3091 11713 | 8857 2091 78 | 21.876 % | 677.62/677.69 c | 3230 | 2607 3091 11713 | 9743 3230 89 | 21.876 % | 677.80/677.82 c | 4939 | 2607 3091 11713 | 10717 4939 100 | 21.876 % | 678.10/678.18 c | 7503 | 2603 3091 11713 | 11789 7503 105 | 21.996 % | 678.72/678.75 c | 11350 | 2603 3091 11713 | 12968 11350 116 | 22.086 % | 679.82/679.82 c | 17117 | 2602 3091 11713 | 14265 10205 121 | 22.266 % | 681.70/681.73 c | 25769 | 2594 3091 11713 | 15692 11265 132 | 22.355 % | 684.12/684.12 c | 38743 | 2593 3091 11713 | 17261 15970 140 | 22.445 % | 689.00/689.04 c | 58204 | 2587 3091 11713 | 18987 17277 156 | 22.475 % | 697.20/697.27 c | 87404 | 2584 3091 11713 | 20886 16613 155 | 22.655 % | 710.80/710.89 c | 131194 | 2584 3091 11713 | 22974 16863 176 | 22.745 % | 731.80/731.85 c | 196878 | 2575 3091 11713 | 25272 22846 168 | 22.925 % | 759.90/759.94 c | 295404 | 2569 3091 11713 | 27799 13634 166 | 23.015 % | 808.70/808.74 c | 443196 | 2569 3091 11713 | 30579 18581 156 | 23.045 % | 874.70/874.72 c | 664881 | 2566 3091 11713 | 33637 22600 169 | 23.105 % | 1034.31/1034.30 c | 997406 | 2566 3091 11713 | 37001 33129 193 | 23.105 % | 1183.41/1183.42 c =============================================================================== 1187.41/1187.49 c core #321 1187.41/1187.49 c 1187.41/1187.49 c 1187.41/1187.49 c Core size: 381 Core Weight: 1 Total Weight: 321 1187.41/1187.49 c Current CPU time: 1183.24 s 1187.41/1187.49 c 1187.41/1187.49 c ============================[ Search Statistics ]============================== 1187.41/1187.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1187.41/1187.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1187.41/1187.49 c =============================================================================== 1187.41/1187.49 c | 0 | 2648 3092 11771 | 5000 0 -nan | 0.000 % | 1187.51/1187.50 c | 101 | 2640 3092 11771 | 5500 101 28 | 21.628 % | 1187.51/1187.50 c | 251 | 2640 3092 11771 | 6050 251 53 | 21.628 % | 1187.51/1187.51 c | 476 | 2640 3092 11771 | 6655 476 58 | 21.628 % | 1187.51/1187.52 c | 814 | 2638 3092 11771 | 7320 814 80 | 21.717 % | 1187.51/1187.54 c | 1323 | 2637 3092 11771 | 8052 1323 84 | 21.717 % | 1187.51/1187.59 c | 2083 | 2635 3092 11771 | 8857 2083 106 | 21.717 % | 1187.71/1187.71 c | 3223 | 2635 3092 11771 | 9743 3223 118 | 21.717 % | 1187.92/1187.99 c | 4933 | 2635 3092 11771 | 10717 4933 129 | 21.717 % | 1188.50/1188.52 c | 7506 | 2632 3092 11771 | 11789 7506 138 | 21.806 % | 1189.51/1189.58 c | 11350 | 2632 3092 11771 | 12968 11350 142 | 21.895 % | 1191.50/1191.55 c | 17117 | 2632 3092 11771 | 14265 10134 146 | 21.895 % | 1193.53/1193.59 c | 25767 | 2632 3092 11771 | 15692 11144 149 | 21.895 % | 1197.83/1197.83 c | 38742 | 2627 3092 11771 | 17261 15830 150 | 22.252 % | 1203.11/1203.17 c | 58204 | 2622 3092 11771 | 18987 17187 160 | 22.311 % | 1209.10/1209.13 c | 87396 | 2614 3092 11771 | 20886 16560 145 | 22.341 % | 1220.71/1220.72 c | 131185 | 2614 3092 11771 | 22974 16685 144 | 22.460 % | 1241.83/1241.82 c | 196869 | 2604 3092 11771 | 25272 22233 171 | 22.787 % | 1274.93/1274.92 c | 295395 | 2594 3092 11771 | 27799 25198 137 | 22.935 % | 1317.11/1317.17 c | 443184 | 2593 3092 11771 | 30579 24917 90 | 22.995 % | 1375.71/1375.76 c | 664867 | 2593 3092 11771 | 33637 19524 108 | 22.995 % | 1470.21/1470.24 c | 997393 | 2555 3092 11771 | 37001 28087 148 | 24.094 % | 1557.63/1557.65 c =============================================================================== 1560.83/1560.91 c core #322 1560.83/1560.91 c 1560.83/1560.91 c 1560.83/1560.91 c Core size: 595 Core Weight: 1 Total Weight: 322 1560.83/1560.91 c Current CPU time: 1555.55 s 1560.83/1560.91 c 1560.83/1560.91 c ============================[ Search Statistics ]============================== 1560.83/1560.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1560.83/1560.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1560.83/1560.91 c =============================================================================== 1560.83/1560.91 c | 0 | 2714 3093 11903 | 5000 0 -nan | 0.000 % | 1560.83/1560.92 c | 100 | 2712 3093 11903 | 5500 100 38 | 21.008 % | 1560.94/1560.92 c | 250 | 2710 3093 11903 | 6050 250 35 | 21.037 % | 1560.94/1560.93 c | 475 | 2709 3093 11903 | 6655 475 44 | 21.066 % | 1560.94/1560.94 c | 813 | 2703 3093 11903 | 7320 813 60 | 21.445 % | 1560.94/1560.96 c | 1319 | 2689 3093 11903 | 8052 1319 68 | 21.737 % | 1561.02/1561.00 c | 2081 | 2689 3093 11903 | 8857 2081 76 | 21.737 % | 1561.02/1561.08 c | 3224 | 2686 3093 11903 | 9743 3224 79 | 21.824 % | 1561.22/1561.24 c | 4933 | 2683 3093 11903 | 10717 4933 87 | 21.824 % | 1561.61/1561.64 c | 7498 | 2683 3093 11903 | 11789 7498 97 | 21.911 % | 1562.21/1562.28 c | 11342 | 2683 3093 11903 | 12968 11342 99 | 21.911 % | 1564.13/1564.14 c | 17108 | 2680 3093 11903 | 14265 10226 105 | 21.941 % | 1566.12/1566.10 c | 25757 | 2680 3093 11903 | 15692 11308 106 | 21.941 % | 1570.41/1570.48 c | 38733 | 2679 3093 11903 | 17261 16062 101 | 22.115 % | 1575.51/1575.58 c | 58195 | 2673 3093 11903 | 18987 17416 105 | 22.115 % | 1583.51/1583.59 c | 87388 | 2673 3093 11903 | 20886 16907 101 | 22.115 % | 1595.11/1595.17 c | 131177 | 2666 3093 11903 | 22974 17281 114 | 22.348 % | 1616.72/1616.73 c | 196862 | 2666 3093 11903 | 25272 23429 113 | 22.523 % | 1649.71/1649.76 c | 295388 | 2650 3093 11903 | 27799 12562 114 | 22.786 % | 1697.81/1697.83 c | 443178 | 2646 3093 11903 | 30579 17097 105 | 22.902 % | 1705.41/1705.44 c =============================================================================== 1708.91/1708.96 c core #323 1708.91/1708.96 c 1708.91/1708.96 c 1708.91/1708.96 c Core size: 320 Core Weight: 1 Total Weight: 323 1708.91/1708.96 c Current CPU time: 1703.56 s 1708.91/1708.96 c 1708.91/1708.96 c ============================[ Search Statistics ]============================== 1708.91/1708.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1708.91/1708.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1708.91/1708.96 c =============================================================================== 1708.91/1708.96 c | 0 | 2748 3094 11971 | 5000 0 -nan | 0.000 % | 1708.91/1708.97 c | 102 | 2743 3094 11971 | 5500 102 34 | 20.917 % | 1708.91/1708.97 c | 255 | 2741 3094 11971 | 6050 255 42 | 20.917 % | 1708.91/1708.98 c | 480 | 2741 3094 11971 | 6655 480 44 | 20.917 % | 1708.91/1708.99 c | 819 | 2741 3094 11971 | 7320 819 49 | 20.917 % | 1709.01/1709.00 c | 1326 | 2741 3094 11971 | 8052 1326 60 | 20.917 % | 1709.01/1709.05 c | 2085 | 2741 3094 11971 | 8857 2085 79 | 20.917 % | 1709.11/1709.14 c | 3225 | 2741 3094 11971 | 9743 3225 87 | 20.917 % | 1709.22/1709.30 c | 4935 | 2741 3094 11971 | 10717 4935 89 | 20.917 % | 1709.72/1709.73 c | 7497 | 2741 3094 11971 | 11789 7497 92 | 20.917 % | 1710.61/1710.60 c | 11341 | 2741 3094 11971 | 12968 11341 93 | 20.917 % | 1711.72/1711.76 c | 17107 | 2738 3094 11971 | 14265 10174 90 | 21.004 % | 1715.11/1715.11 c | 25758 | 2738 3094 11971 | 15692 11268 95 | 21.004 % | 1718.23/1718.25 c | 38733 | 2738 3094 11971 | 17261 15957 93 | 21.004 % | 1724.12/1724.18 c | 58197 | 2731 3094 11971 | 18987 17382 95 | 21.552 % | 1734.64/1734.67 c | 87389 | 2711 3094 11971 | 20886 16812 95 | 21.783 % | 1745.42/1745.48 c | 131179 | 2706 3094 11971 | 22974 17129 92 | 21.985 % | 1761.51/1761.51 c | 196863 | 2704 3094 11971 | 25272 23162 93 | 21.985 % | 1789.32/1789.30 c | 295390 | 2701 3094 11971 | 27799 12346 99 | 22.072 % |
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-3461406-1307085852/watcher-3461406-1307085852 -o /tmp/evaluation-result-3461406-1307085852/solver-3461406-1307085852 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461406-1307085852.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/558 30773 /proc/meminfo: memFree=28783680/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=2644 CPUtime=0.01 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 467 0 0 0 1 0 0 0 25 0 1 0 898815837 2707456 407 33554432000 4194304 5714214 140737341241360 18446744073709551615 4315202 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 661 407 175 372 0 286 0 [startup+0.0696229 s] /proc/loadavg: 2.00 2.00 2.00 3/558 30773 /proc/meminfo: memFree=28783680/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=3000 CPUtime=0.06 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 553 0 0 0 6 0 0 0 25 0 1 0 898815837 3072000 493 33554432000 4194304 5714214 140737341241360 18446744073709551615 4317953 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 750 493 175 372 0 375 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3000 [startup+0.100589 s] /proc/loadavg: 2.00 2.00 2.00 3/558 30773 /proc/meminfo: memFree=28783680/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=3180 CPUtime=0.09 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 602 0 0 0 9 0 0 0 25 0 1 0 898815837 3256320 542 33554432000 4194304 5714214 140737341241360 18446744073709551615 4976445 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 795 542 175 372 0 420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3180 [startup+0.300578 s] /proc/loadavg: 2.00 2.00 2.00 3/558 30773 /proc/meminfo: memFree=28783680/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=5124 CPUtime=0.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 1141 0 0 0 29 0 0 0 18 0 1 0 898815837 5246976 1013 33554432000 4194304 5714214 140737341241360 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 1281 1013 180 372 0 906 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5124 [startup+0.700516 s] /proc/loadavg: 2.00 2.00 2.00 3/558 30773 /proc/meminfo: memFree=28783680/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=5768 CPUtime=0.68 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 1329 0 0 0 68 0 0 0 18 0 1 0 898815837 5906432 1201 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 1442 1201 180 372 0 1067 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5768 [startup+1.50036 s] /proc/loadavg: 2.00 2.00 2.00 3/559 30774 /proc/meminfo: memFree=28774620/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=6512 CPUtime=1.49 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 1492 0 0 0 147 2 0 0 19 0 1 0 898815837 6668288 1364 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 1628 1364 180 372 0 1253 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6512 [startup+3.10112 s] /proc/loadavg: 2.00 2.00 2.00 3/559 30774 /proc/meminfo: memFree=28769088/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=9104 CPUtime=3.09 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 2141 0 0 0 304 5 0 0 23 0 1 0 898815837 9322496 2013 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 2276 2013 180 372 0 1901 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9104 [startup+6.30055 s] /proc/loadavg: 2.00 2.00 2.00 3/559 30774 /proc/meminfo: memFree=28754868/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=14036 CPUtime=6.28 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 3408 0 0 0 621 7 0 0 25 0 1 0 898815837 14372864 3253 33554432000 4194304 5714214 140737341241360 18446744073709551615 4329291 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 3509 3253 180 372 0 3134 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14036 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/559 30803 /proc/meminfo: memFree=28755752/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=20308 CPUtime=12.69 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 4922 0 0 0 1259 10 0 0 25 0 1 0 898815837 20795392 4767 33554432000 4194304 5714214 140737341241360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 5077 4767 180 372 0 4702 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20308 [startup+25.5003 s] /proc/loadavg: 2.13 2.03 2.01 3/559 30803 /proc/meminfo: memFree=28736160/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=33224 CPUtime=25.49 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 8075 0 0 0 2533 16 0 0 25 0 1 0 898815837 34021376 7920 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 8306 7920 180 372 0 7931 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33224 [startup+51.1011 s] /proc/loadavg: 2.14 2.04 2.01 3/559 30803 /proc/meminfo: memFree=28714160/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=38100 CPUtime=51.09 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 9434 0 0 0 5082 27 0 0 19 0 1 0 898815837 39014400 9236 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 9525 9236 180 372 0 9150 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 38100 [startup+102.322 s] /proc/loadavg: 2.16 2.06 2.02 3/559 30805 /proc/meminfo: memFree=28661568/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=55548 CPUtime=102.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 13704 0 0 0 10185 46 0 0 25 0 1 0 898815837 56881152 13506 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 13887 13506 180 372 0 13512 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 55548 [startup+162.301 s] /proc/loadavg: 2.10 2.06 2.02 3/559 30805 /proc/meminfo: memFree=28598164/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=90184 CPUtime=162.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 22085 0 0 0 16164 65 0 0 25 0 1 0 898815837 92348416 21887 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 22546 21887 180 372 0 22171 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 90184 [startup+222.3 s] /proc/loadavg: 2.04 2.05 2.01 3/559 30807 /proc/meminfo: memFree=28548280/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=222.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25264 0 0 0 22143 86 0 0 25 0 1 0 898815837 104980480 25009 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25009 180 372 0 25255 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 102520 [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.01 3/559 30809 /proc/meminfo: memFree=28534860/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=282.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25481 0 0 0 28121 108 0 0 25 0 1 0 898815837 104980480 25226 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25226 180 372 0 25255 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 102520 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30811 /proc/meminfo: memFree=28513128/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=342.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25501 0 0 0 34103 127 0 0 25 0 1 0 898815837 104980480 25246 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25246 180 372 0 25255 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 102520 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30813 /proc/meminfo: memFree=28491640/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=402.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25501 0 0 0 40085 145 0 0 25 0 1 0 898815837 104980480 25246 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25246 180 372 0 25255 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 102520 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30815 /proc/meminfo: memFree=28463200/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=462.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25510 0 0 0 46070 160 0 0 25 0 1 0 898815837 104980480 25255 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25255 180 372 0 25255 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 102520 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 30815 /proc/meminfo: memFree=28440336/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=102520 CPUtime=522.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 25615 0 0 0 52056 173 0 0 25 0 1 0 898815837 104980480 25360 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 25630 25360 180 372 0 25255 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 102520 [startup+582.3 s] /proc/loadavg: 2.07 2.03 2.01 3/559 30817 /proc/meminfo: memFree=28374688/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=136536 CPUtime=582.29 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 33866 0 0 0 58039 190 0 0 25 0 1 0 898815837 139812864 33611 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 34134 33611 180 372 0 33759 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 136536 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.05 2.01 3/559 30823 /proc/meminfo: memFree=28216564/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=190024 CPUtime=822.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 47277 0 0 0 81968 262 0 0 25 0 1 0 898815837 194584576 47022 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 47506 47022 180 372 0 47131 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 190024 [startup+882.3 s] /proc/loadavg: 2.01 2.04 2.00 3/559 30827 /proc/meminfo: memFree=28196188/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=190024 CPUtime=882.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 47373 0 0 0 87945 286 0 0 25 0 1 0 898815837 194584576 47118 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 47506 47118 180 372 0 47131 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 190024 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30830 /proc/meminfo: memFree=28177492/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=196176 CPUtime=942.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 48905 0 0 0 93930 301 0 0 25 0 1 0 898815837 200884224 48650 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 49044 48650 180 372 0 48669 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 196176 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30832 /proc/meminfo: memFree=28150920/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=204576 CPUtime=1002.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 50989 0 0 0 99921 309 0 0 25 0 1 0 898815837 209485824 50734 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 51144 50734 180 372 0 50769 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 204576 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30832 /proc/meminfo: memFree=28126200/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=210012 CPUtime=1062.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 52318 0 0 0 105908 322 0 0 25 0 1 0 898815837 215052288 52063 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 52503 52063 180 372 0 52128 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 210012 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 30834 /proc/meminfo: memFree=28082612/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=226444 CPUtime=1122.3 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 56366 0 0 0 111891 339 0 0 25 0 1 0 898815837 231878656 56111 33554432000 4194304 5714214 140737341241360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 56611 56111 180 372 0 56236 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 226444 [startup+1182.3 s] /proc/loadavg: 2.10 2.04 2.01 3/559 30836 /proc/meminfo: memFree=28051424/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=252388 CPUtime=1182.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 62698 0 0 0 117874 357 0 0 25 0 1 0 898815837 258445312 62443 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 63097 62443 180 372 0 62722 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 252388 [startup+1242.3 s] /proc/loadavg: 2.08 2.04 2.01 3/559 30838 /proc/meminfo: memFree=28013436/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1242.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66417 0 0 0 123852 379 0 0 25 0 1 0 898815837 273711104 66162 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66162 180 372 0 66449 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 267296 [startup+1302.3 s] /proc/loadavg: 2.14 2.06 2.01 3/559 30840 /proc/meminfo: memFree=27992176/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1302.32 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66459 0 0 0 129835 397 0 0 25 0 1 0 898815837 273711104 66204 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66204 180 372 0 66449 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 267296 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.01 3/559 30840 /proc/meminfo: memFree=27969708/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1362.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66563 0 0 0 135815 416 0 0 25 0 1 0 898815837 273711104 66308 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66308 180 372 0 66449 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 267296 [startup+1422.32 s] /proc/loadavg: 2.02 2.04 2.00 3/559 30842 /proc/meminfo: memFree=27947852/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1422.34 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66652 0 0 0 141797 437 0 0 25 0 1 0 898815837 273711104 66397 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66397 180 372 0 66449 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 267296 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/559 30844 /proc/meminfo: memFree=27924120/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1482.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66763 0 0 0 147778 453 0 0 25 0 1 0 898815837 273711104 66508 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66508 180 372 0 66449 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 267296 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30846 /proc/meminfo: memFree=27911068/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1542.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66774 0 0 0 153758 473 0 0 25 0 1 0 898815837 273711104 66519 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66519 180 372 0 66449 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 267296 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/559 30848 /proc/meminfo: memFree=27893532/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1602.32 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66818 0 0 0 159740 492 0 0 25 0 1 0 898815837 273711104 66563 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66563 180 372 0 66449 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 267296 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/559 30850 /proc/meminfo: memFree=27872560/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1662.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66818 0 0 0 165724 507 0 0 25 0 1 0 898815837 273711104 66563 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66563 180 372 0 66449 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 267296 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/559 30850 /proc/meminfo: memFree=27853324/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1722.32 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66818 0 0 0 171709 523 0 0 25 0 1 0 898815837 273711104 66563 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66563 180 372 0 66449 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 267296 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/559 30852 /proc/meminfo: memFree=27830236/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1782.31 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66818 0 0 0 177691 540 0 0 25 0 1 0 898815837 273711104 66563 33554432000 4194304 5714214 140737341241360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66563 180 372 0 66449 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 267296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/559 30852 /proc/meminfo: memFree=27827372/32951124 swapFree=34426104/67111528 [pid=30773] ppid=30771 vsize=267296 CPUtime=1800.03 cores=0,2,4,6 /proc/30773/stat : 30773 (wbo1.6) R 30771 30773 27313 0 -1 4202496 66818 0 0 0 179458 545 0 0 25 0 1 0 898815837 273711104 66563 33554432000 4194304 5714214 140737341241360 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30773/statm: 66824 66563 180 372 0 66449 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 267296 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.06 CPU user time (s): 1794.59 CPU system time (s): 5.46817 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 267296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.59 system time used= 5.46817 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66818 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= 26 involuntary context switches= 2381 runsolver used 10.9323 second user time and 22.9475 second system time The end
Begin job on node118 at 2011-06-03 09:24:12 IDJOB=3461406 IDBENCH=2115 IDSOLVER=1953 FILE ID=node118/3461406-1307085852 RUNJOBID= node118-1307082245-30505 PBS_JOBID= 13497868 Free space on /tmp= 73748 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461406-1307085852/watcher-3461406-1307085852 -o /tmp/evaluation-result-3461406-1307085852/solver-3461406-1307085852 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461406-1307085852.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 995cbcff162892786ed2539630dc8f6e RANDOM SEED=1369406576 node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28784092 kB Buffers: 308936 kB Cached: 1951056 kB SwapCached: 56168 kB Active: 844684 kB Inactive: 2986004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28784092 kB SwapTotal: 67111528 kB SwapFree: 34426104 kB Dirty: 8784 kB Writeback: 0 kB AnonPages: 1527516 kB Mapped: 15436 kB Slab: 150280 kB PageTables: 115452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 183806216 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= 73744 MiB End job on node118 at 2011-06-03 09:54:14