Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-2-c.opb |
MD5SUM | b0d7a6a03ca37d030da671f9238e17bb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 349 |
Best CPU time to get the best result obtained on this benchmark | 0.305953 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 349 |
Optimality of the best value was proved | YES |
Number of variables | 698 |
Total number of constraints | 1741 |
Number of constraints which are clauses | 1741 |
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 | 698 |
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 | 698 |
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 | 698 |
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-3461455-1307091571.opb. 0.00/0.00 c Instance file HOME/instance-3461455-1307091571.opb 0.00/0.00 c File size is 55578 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: 698 | 0.00/0.00 c | Number Clauses: 1741 | 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 | 698 1741 4752 | 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.005999 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.006998 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.006998 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.007998 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.007998 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.008998 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.009998 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.009998 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.010998 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.010998 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.011998 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.012998 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.012998 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.013997 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.013997 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.014997 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.015997 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.015997 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.016997 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.016997 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.017997 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.018997 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.018997 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.019996 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.020996 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.020996 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.021996 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.021996 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.022996 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.023996 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.023996 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.024996 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.025996 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.025996 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.026995 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.026995 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.027995 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.028995 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.028995 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.029995 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.030995 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.06 c Current CPU time: 0.030995 s 0.00/0.06 c 0.00/0.06 c core #44 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.06 c Current CPU time: 0.031995 s 0.00/0.06 c 0.00/0.06 c core #45 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 45 0.00/0.06 c Current CPU time: 0.032994 s 0.00/0.06 c 0.00/0.06 c core #46 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 46 0.00/0.06 c Current CPU time: 0.032994 s 0.00/0.06 c 0.00/0.06 c core #47 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.06 c Current CPU time: 0.033994 s 0.00/0.06 c 0.00/0.06 c core #48 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.06 c Current CPU time: 0.034994 s 0.00/0.06 c 0.00/0.06 c core #49 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 49 0.00/0.06 c Current CPU time: 0.034994 s 0.00/0.06 c 0.00/0.06 c core #50 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.06 c Current CPU time: 0.035994 s 0.00/0.06 c 0.00/0.06 c core #51 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 51 0.00/0.06 c Current CPU time: 0.036994 s 0.00/0.06 c 0.00/0.06 c core #52 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 52 0.00/0.06 c Current CPU time: 0.036994 s 0.00/0.06 c 0.00/0.06 c core #53 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.06 c Current CPU time: 0.037994 s 0.00/0.06 c 0.00/0.06 c core #54 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 54 0.00/0.06 c Current CPU time: 0.038994 s 0.00/0.06 c 0.00/0.06 c core #55 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 55 0.00/0.06 c Current CPU time: 0.038994 s 0.00/0.06 c 0.00/0.06 c core #56 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.06 c Current CPU time: 0.039993 s 0.00/0.06 c 0.00/0.06 c core #57 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 57 0.00/0.06 c Current CPU time: 0.040993 s 0.00/0.06 c 0.00/0.06 c core #58 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 58 0.00/0.06 c Current CPU time: 0.040993 s 0.00/0.06 c 0.00/0.06 c core #59 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 59 0.00/0.06 c Current CPU time: 0.041993 s 0.00/0.06 c 0.00/0.06 c core #60 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 60 0.00/0.06 c Current CPU time: 0.042993 s 0.00/0.06 c 0.00/0.06 c core #61 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 61 0.00/0.06 c Current CPU time: 0.042993 s 0.00/0.06 c 0.00/0.06 c core #62 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 62 0.00/0.06 c Current CPU time: 0.043993 s 0.00/0.06 c 0.00/0.06 c core #63 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 63 0.00/0.06 c Current CPU time: 0.044993 s 0.00/0.06 c 0.00/0.06 c core #64 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 64 0.00/0.06 c Current CPU time: 0.044993 s 0.00/0.06 c 0.00/0.06 c core #65 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 65 0.00/0.06 c Current CPU time: 0.045993 s 0.00/0.06 c 0.00/0.06 c core #66 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 66 0.00/0.06 c Current CPU time: 0.046992 s 0.00/0.06 c 0.00/0.06 c core #67 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 67 0.00/0.06 c Current CPU time: 0.046992 s 0.00/0.06 c 0.00/0.06 c core #68 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 68 0.00/0.06 c Current CPU time: 0.047992 s 0.00/0.06 c 0.00/0.06 c core #69 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 69 0.00/0.06 c Current CPU time: 0.048992 s 0.00/0.06 c 0.00/0.06 c core #70 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 70 0.00/0.06 c Current CPU time: 0.049992 s 0.00/0.06 c 0.00/0.06 c core #71 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 71 0.00/0.06 c Current CPU time: 0.049992 s 0.00/0.06 c 0.00/0.06 c core #72 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 72 0.00/0.06 c Current CPU time: 0.050992 s 0.00/0.06 c 0.00/0.06 c core #73 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: 73 0.00/0.06 c Current CPU time: 0.051992 s 0.00/0.06 c 0.00/0.06 c core #74 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: 74 0.00/0.06 c Current CPU time: 0.051992 s 0.00/0.06 c 0.00/0.06 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.052991 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.053991 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.053991 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.054991 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.055991 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.056991 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.056991 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.057991 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.058991 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.058991 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.08/0.09 c Current CPU time: 0.05999 s 0.08/0.09 c 0.08/0.09 c core #86 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 86 0.08/0.09 c Current CPU time: 0.06099 s 0.08/0.09 c 0.08/0.09 c core #87 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 87 0.08/0.09 c Current CPU time: 0.06199 s 0.08/0.09 c 0.08/0.09 c core #88 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 88 0.08/0.09 c Current CPU time: 0.06199 s 0.08/0.09 c 0.08/0.09 c core #89 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 89 0.08/0.09 c Current CPU time: 0.06299 s 0.08/0.09 c 0.08/0.09 c core #90 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: 90 0.08/0.09 c Current CPU time: 0.06399 s 0.08/0.09 c 0.08/0.09 c core #91 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 91 0.08/0.09 c Current CPU time: 0.06499 s 0.08/0.09 c 0.08/0.09 c core #92 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 92 0.08/0.09 c Current CPU time: 0.06499 s 0.08/0.09 c 0.08/0.09 c core #93 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 93 0.08/0.09 c Current CPU time: 0.065989 s 0.08/0.09 c 0.08/0.09 c core #94 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 94 0.08/0.09 c Current CPU time: 0.066989 s 0.08/0.09 c 0.08/0.09 c core #95 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 95 0.08/0.09 c Current CPU time: 0.067989 s 0.08/0.09 c 0.08/0.09 c core #96 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 96 0.08/0.09 c Current CPU time: 0.067989 s 0.08/0.09 c 0.08/0.09 c core #97 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 97 0.08/0.09 c Current CPU time: 0.068989 s 0.08/0.09 c 0.08/0.09 c core #98 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 98 0.08/0.09 c Current CPU time: 0.069989 s 0.08/0.09 c 0.08/0.09 c core #99 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 99 0.08/0.09 c Current CPU time: 0.070989 s 0.08/0.09 c 0.08/0.09 c core #100 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 100 0.08/0.09 c Current CPU time: 0.070989 s 0.08/0.09 c 0.08/0.09 c core #101 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 101 0.08/0.09 c Current CPU time: 0.070989 s 0.08/0.09 c 0.08/0.09 c core #102 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 102 0.08/0.09 c Current CPU time: 0.071989 s 0.08/0.09 c 0.08/0.09 c core #103 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 103 0.08/0.09 c Current CPU time: 0.072988 s 0.08/0.09 c 0.08/0.09 c core #104 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 104 0.08/0.09 c Current CPU time: 0.072988 s 0.08/0.09 c 0.08/0.09 c core #105 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 105 0.08/0.09 c Current CPU time: 0.073988 s 0.08/0.09 c 0.08/0.09 c core #106 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 106 0.08/0.09 c Current CPU time: 0.074988 s 0.08/0.09 c 0.08/0.09 c core #107 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 107 0.08/0.09 c Current CPU time: 0.075988 s 0.08/0.09 c 0.08/0.09 c core #108 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 108 0.08/0.09 c Current CPU time: 0.076988 s 0.08/0.09 c 0.08/0.09 c core #109 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 109 0.08/0.09 c Current CPU time: 0.076988 s 0.08/0.09 c 0.08/0.09 c core #110 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 110 0.08/0.09 c Current CPU time: 0.077988 s 0.08/0.09 c 0.08/0.09 c core #111 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 111 0.08/0.09 c Current CPU time: 0.078987 s 0.08/0.09 c 0.08/0.09 c core #112 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 112 0.08/0.09 c Current CPU time: 0.079987 s 0.08/0.09 c 0.08/0.09 c core #113 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 113 0.08/0.09 c Current CPU time: 0.080987 s 0.08/0.09 c 0.08/0.09 c core #114 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 114 0.08/0.09 c Current CPU time: 0.080987 s 0.08/0.09 c 0.08/0.09 c core #115 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 115 0.08/0.09 c Current CPU time: 0.081987 s 0.08/0.09 c 0.08/0.09 c core #116 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 116 0.08/0.09 c Current CPU time: 0.082987 s 0.08/0.09 c 0.08/0.09 c core #117 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 117 0.08/0.09 c Current CPU time: 0.083987 s 0.08/0.09 c 0.08/0.09 c core #118 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 118 0.08/0.09 c Current CPU time: 0.084987 s 0.08/0.09 c 0.08/0.09 c core #119 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 119 0.08/0.09 c Current CPU time: 0.085986 s 0.08/0.09 c 0.08/0.09 c core #120 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 4 Core Weight: 1 Total Weight: 120 0.08/0.09 c Current CPU time: 0.085986 s 0.08/0.09 c 0.08/0.09 c core #121 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 121 0.08/0.09 c Current CPU time: 0.086986 s 0.08/0.09 c 0.08/0.09 c core #122 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 122 0.08/0.09 c Current CPU time: 0.087986 s 0.08/0.09 c 0.08/0.09 c core #123 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 123 0.08/0.09 c Current CPU time: 0.088986 s 0.08/0.09 c 0.08/0.09 c core #124 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 124 0.08/0.09 c Current CPU time: 0.089986 s 0.08/0.09 c 0.08/0.09 c core #125 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 125 0.08/0.09 c Current CPU time: 0.090986 s 0.08/0.09 c 0.08/0.09 c core #126 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 126 0.08/0.09 c Current CPU time: 0.091986 s 0.08/0.09 c 0.08/0.09 c core #127 0.08/0.09 c 0.08/0.09 c 0.08/0.09 c Core size: 6 Core Weight: 1 Total Weight: 127 0.09/0.13 c Current CPU time: 0.091986 s 0.09/0.13 c 0.09/0.13 c core #128 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 128 0.09/0.13 c Current CPU time: 0.092985 s 0.09/0.13 c 0.09/0.13 c core #129 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 129 0.09/0.13 c Current CPU time: 0.093985 s 0.09/0.13 c 0.09/0.13 c core #130 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 130 0.09/0.13 c Current CPU time: 0.094985 s 0.09/0.13 c 0.09/0.13 c core #131 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 131 0.09/0.13 c Current CPU time: 0.095985 s 0.09/0.13 c 0.09/0.13 c core #132 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 132 0.09/0.13 c Current CPU time: 0.096985 s 0.09/0.13 c 0.09/0.13 c core #133 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 133 0.09/0.13 c Current CPU time: 0.097985 s 0.09/0.13 c 0.09/0.13 c core #134 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 134 0.09/0.13 c Current CPU time: 0.098984 s 0.09/0.13 c 0.09/0.13 c core #135 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 135 0.09/0.13 c Current CPU time: 0.099984 s 0.09/0.13 c 0.09/0.13 c core #136 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 136 0.09/0.13 c Current CPU time: 0.099984 s 0.09/0.13 c 0.09/0.13 c core #137 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 137 0.09/0.13 c Current CPU time: 0.099984 s 0.09/0.13 c 0.09/0.13 c core #138 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 138 0.09/0.13 c Current CPU time: 0.100984 s 0.09/0.13 c 0.09/0.13 c core #139 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 139 0.09/0.13 c Current CPU time: 0.101984 s 0.09/0.13 c 0.09/0.13 c core #140 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 140 0.09/0.13 c Current CPU time: 0.102984 s 0.09/0.13 c 0.09/0.13 c core #141 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 141 0.09/0.13 c Current CPU time: 0.103984 s 0.09/0.13 c 0.09/0.13 c core #142 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 142 0.09/0.13 c Current CPU time: 0.104984 s 0.09/0.13 c 0.09/0.13 c core #143 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 143 0.09/0.13 c Current CPU time: 0.105983 s 0.09/0.13 c 0.09/0.13 c core #144 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 144 0.09/0.13 c Current CPU time: 0.106983 s 0.09/0.13 c 0.09/0.13 c core #145 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 145 0.09/0.13 c Current CPU time: 0.107983 s 0.09/0.13 c 0.09/0.13 c core #146 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 146 0.09/0.13 c Current CPU time: 0.107983 s 0.09/0.13 c 0.09/0.13 c core #147 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 147 0.09/0.13 c Current CPU time: 0.108983 s 0.09/0.13 c 0.09/0.13 c core #148 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 148 0.09/0.13 c Current CPU time: 0.109983 s 0.09/0.13 c 0.09/0.13 c core #149 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 149 0.09/0.13 c Current CPU time: 0.110983 s 0.09/0.13 c 0.09/0.13 c core #150 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 150 0.09/0.13 c Current CPU time: 0.111982 s 0.09/0.13 c 0.09/0.13 c core #151 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 151 0.09/0.13 c Current CPU time: 0.112982 s 0.09/0.13 c 0.09/0.13 c core #152 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 152 0.09/0.13 c Current CPU time: 0.113982 s 0.09/0.13 c 0.09/0.13 c core #153 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 153 0.09/0.13 c Current CPU time: 0.114982 s 0.09/0.13 c 0.09/0.13 c core #154 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 154 0.09/0.13 c Current CPU time: 0.115982 s 0.09/0.13 c 0.09/0.13 c core #155 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 155 0.09/0.13 c Current CPU time: 0.116982 s 0.09/0.13 c 0.09/0.13 c core #156 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 156 0.09/0.13 c Current CPU time: 0.117982 s 0.09/0.13 c 0.09/0.13 c core #157 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 157 0.09/0.13 c Current CPU time: 0.118981 s 0.09/0.13 c 0.09/0.13 c core #158 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 158 0.09/0.13 c Current CPU time: 0.119981 s 0.09/0.13 c 0.09/0.13 c core #159 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 159 0.09/0.13 c Current CPU time: 0.120981 s 0.09/0.13 c 0.09/0.13 c core #160 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 160 0.09/0.13 c Current CPU time: 0.121981 s 0.09/0.13 c 0.09/0.13 c core #161 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 161 0.09/0.13 c Current CPU time: 0.122981 s 0.09/0.13 c 0.09/0.13 c core #162 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 162 0.09/0.13 c Current CPU time: 0.123981 s 0.09/0.13 c 0.09/0.13 c core #163 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 163 0.09/0.13 c Current CPU time: 0.124981 s 0.09/0.13 c 0.09/0.13 c core #164 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 164 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c core #165 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 165 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c core #166 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 166 0.09/0.13 c Current CPU time: 0.12698 s 0.09/0.13 c 0.09/0.13 c core #167 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 167 0.09/0.13 c Current CPU time: 0.12798 s 0.09/0.13 c 0.09/0.13 c core #168 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 168 0.09/0.13 c Current CPU time: 0.12898 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.12998 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.13098 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.131979 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: 6 Core Weight: 1 Total Weight: 172 0.09/0.17 c Current CPU time: 0.132979 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: 6 Core Weight: 1 Total Weight: 173 0.09/0.17 c Current CPU time: 0.133979 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: 6 Core Weight: 1 Total Weight: 174 0.09/0.17 c Current CPU time: 0.134979 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: 6 Core Weight: 1 Total Weight: 175 0.09/0.17 c Current CPU time: 0.135979 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: 6 Core Weight: 1 Total Weight: 176 0.09/0.17 c Current CPU time: 0.136979 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.137979 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: 6 Core Weight: 1 Total Weight: 178 0.09/0.17 c Current CPU time: 0.138978 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: 6 Core Weight: 1 Total Weight: 179 0.09/0.17 c Current CPU time: 0.139978 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: 6 Core Weight: 1 Total Weight: 180 0.09/0.17 c Current CPU time: 0.140978 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: 6 Core Weight: 1 Total Weight: 181 0.09/0.17 c Current CPU time: 0.141978 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.142978 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.143978 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.144977 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.145977 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.146977 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.147977 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.149977 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.150977 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.151976 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.152976 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.153976 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: 6 Core Weight: 1 Total Weight: 193 0.09/0.17 c Current CPU time: 0.154976 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: 7 Core Weight: 1 Total Weight: 194 0.09/0.17 c Current CPU time: 0.155976 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: 7 Core Weight: 1 Total Weight: 195 0.09/0.17 c Current CPU time: 0.156976 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: 7 Core Weight: 1 Total Weight: 196 0.09/0.17 c Current CPU time: 0.157975 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: 7 Core Weight: 1 Total Weight: 197 0.09/0.17 c Current CPU time: 0.158975 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: 7 Core Weight: 1 Total Weight: 198 0.09/0.17 c Current CPU time: 0.159975 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.160975 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.161975 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.162975 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.163975 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.164974 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: 6 Core Weight: 1 Total Weight: 204 0.09/0.17 c Current CPU time: 0.165974 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: 6 Core Weight: 1 Total Weight: 205 0.09/0.17 c Current CPU time: 0.166974 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.167974 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.168974 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.170974 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: 9 Core Weight: 1 Total Weight: 209 0.09/0.17 c Current CPU time: 0.171973 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.19 c Current CPU time: 0.172973 s 0.09/0.19 c 0.09/0.19 c core #211 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 211 0.09/0.19 c Current CPU time: 0.173973 s 0.09/0.19 c 0.09/0.19 c core #212 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 212 0.09/0.19 c Current CPU time: 0.174973 s 0.09/0.19 c 0.09/0.19 c core #213 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 213 0.09/0.19 c Current CPU time: 0.175973 s 0.09/0.19 c 0.09/0.19 c core #214 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 214 0.09/0.19 c Current CPU time: 0.176973 s 0.09/0.19 c 0.09/0.19 c core #215 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 215 0.09/0.19 c Current CPU time: 0.177972 s 0.09/0.19 c 0.09/0.19 c core #216 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 216 0.09/0.19 c Current CPU time: 0.178972 s 0.09/0.19 c 0.09/0.19 c core #217 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 217 0.09/0.19 c Current CPU time: 0.179972 s 0.09/0.19 c 0.09/0.19 c core #218 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 218 0.09/0.19 c Current CPU time: 0.180972 s 0.09/0.19 c 0.09/0.19 c core #219 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 219 0.09/0.19 c Current CPU time: 0.181972 s 0.09/0.19 c 0.09/0.19 c core #220 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 220 0.09/0.19 c Current CPU time: 0.183972 s 0.09/0.19 c 0.09/0.19 c core #221 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 221 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c core #222 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 222 0.09/0.19 c Current CPU time: 0.185971 s 0.09/0.19 c 0.09/0.19 c core #223 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 223 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c core #224 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 224 0.09/0.19 c Current CPU time: 0.187971 s 0.09/0.19 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: 7 Core Weight: 1 Total Weight: 225 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 | 1248 2664 6509 | 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: 29 Core Weight: 1 Total Weight: 226 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 | 1262 2666 6540 | 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: 22 Core Weight: 1 Total Weight: 227 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 | 1276 2667 6569 | 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: 23 Core Weight: 1 Total Weight: 228 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 | 1286 2668 6589 | 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: 9 Core Weight: 1 Total Weight: 229 0.09/0.19 c Current CPU time: 0.19497 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 | 1291 2669 6600 | 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: 9 Core Weight: 1 Total Weight: 230 0.09/0.19 c Current CPU time: 0.19597 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 | 1296 2670 6611 | 5000 0 -nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.20 c core #231 0.09/0.20 c 0.09/0.20 c 0.09/0.20 c Core size: 9 Core Weight: 1 Total Weight: 231 0.09/0.20 c Current CPU time: 0.19697 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 | 1301 2671 6622 | 5000 0 -nan | 0.000 % | 0.09/0.20 c =============================================================================== 0.19/0.20 c core #232 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 9 Core Weight: 1 Total Weight: 232 0.19/0.20 c Current CPU time: 0.197969 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 | 1306 2672 6633 | 5000 0 -nan | 0.000 % | 0.19/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: 9 Core Weight: 1 Total Weight: 233 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 | 1311 2673 6644 | 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: 15 Core Weight: 1 Total Weight: 234 0.19/0.20 c Current CPU time: 0.200969 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1320 2674 6665 | 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: 8 Core Weight: 1 Total Weight: 235 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 | 1325 2677 6681 | 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: 6 Core Weight: 1 Total Weight: 236 0.19/0.20 c Current CPU time: 0.203968 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 | 1329 2679 6692 | 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: 9 Core Weight: 1 Total Weight: 237 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 | 1334 2680 6703 | 5000 0 -nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #238 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 8 Core Weight: 1 Total Weight: 238 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 | 1339 2683 6719 | 5000 0 -nan | 0.000 % | 0.19/0.21 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: 8 Core Weight: 1 Total Weight: 239 0.19/0.21 c Current CPU time: 0.206968 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 | 1344 2686 6735 | 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: 9 Core Weight: 1 Total Weight: 240 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 | 1349 2687 6746 | 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: 8 Core Weight: 1 Total Weight: 241 0.19/0.21 c Current CPU time: 0.209968 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 | 1354 2690 6762 | 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: 8 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 | 1359 2692 6776 | 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: 8 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 | 1364 2694 6790 | 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: 9 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 | 1369 2695 6801 | 5000 0 -nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.22 c core #245 0.19/0.22 c 0.19/0.22 c 0.19/0.22 c Core size: 9 Core Weight: 1 Total Weight: 245 0.19/0.22 c Current CPU time: 0.214967 s 0.19/0.22 c 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1374 2696 6812 | 5000 0 -nan | 0.000 % | 0.19/0.22 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 | 1379 2697 6823 | 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 | 1384 2698 6834 | 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: 11 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 | 1390 2699 6846 | 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 | 1395 2700 6857 | 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 | 1399 2702 6868 | 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 | 1403 2704 6879 | 5000 0 -nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.23 c core #252 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 32 Core Weight: 1 Total Weight: 252 0.19/0.23 c Current CPU time: 0.224965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1426 2705 6925 | 5000 0 -nan | 0.000 % | 0.19/0.23 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: 23 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 | 1436 2706 6945 | 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: 23 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 | 1446 2707 6965 | 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: 23 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 | 1456 2708 6985 | 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: 23 Core Weight: 1 Total Weight: 256 0.19/0.23 c Current CPU time: 0.229965 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1466 2709 7005 | 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: 23 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 | 1476 2710 7025 | 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: 23 Core Weight: 1 Total Weight: 258 0.19/0.23 c Current CPU time: 0.232964 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 | 1486 2711 7045 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #259 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 23 Core Weight: 1 Total Weight: 259 0.19/0.24 c Current CPU time: 0.233964 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 | 1496 2712 7065 | 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: 23 Core Weight: 1 Total Weight: 260 0.19/0.24 c Current CPU time: 0.235964 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 | 1506 2713 7085 | 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: 23 Core Weight: 1 Total Weight: 261 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 | 1516 2714 7105 | 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: 23 Core Weight: 1 Total Weight: 262 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 | 1526 2715 7125 | 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: 23 Core Weight: 1 Total Weight: 263 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 | 1536 2716 7145 | 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: 23 Core Weight: 1 Total Weight: 264 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 | 1546 2717 7165 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #265 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 16 Core Weight: 1 Total Weight: 265 0.19/0.24 c Current CPU time: 0.242963 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 | 1555 2718 7183 | 5000 0 -nan | 0.000 % | 0.19/0.24 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.244962 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 | 1569 2719 7212 | 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: 17 Core Weight: 1 Total Weight: 267 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 | 1579 2720 7234 | 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: 6 Core Weight: 1 Total Weight: 268 0.19/0.25 c Current CPU time: 0.247962 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 1583 2722 7245 | 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: 6 Core Weight: 1 Total Weight: 269 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 | 1587 2724 7256 | 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: 8 Core Weight: 1 Total Weight: 270 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 | 1592 2728 7275 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #271 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 21 Core Weight: 1 Total Weight: 271 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 | 1605 2729 7301 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #272 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 18 Core Weight: 1 Total Weight: 272 0.19/0.25 c Current CPU time: 0.253961 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 | 1617 2731 7327 | 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: 6 Core Weight: 1 Total Weight: 273 0.19/0.26 c Current CPU time: 0.255961 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 | 1621 2734 7340 | 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: 6 Core Weight: 1 Total Weight: 274 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 | 1625 2737 7353 | 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: 18 Core Weight: 1 Total Weight: 275 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 | 1637 2739 7379 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #276 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 26 Core Weight: 1 Total Weight: 276 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 | 1654 2740 7413 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #277 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 277 0.19/0.26 c Current CPU time: 0.26196 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 1659 2742 7426 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #278 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 278 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 | 1664 2744 7439 | 5000 0 -nan | 0.000 % | 0.19/0.26 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: 24 Core Weight: 1 Total Weight: 279 0.19/0.27 c Current CPU time: 0.264959 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 | 1685 2745 7481 | 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: 6 Core Weight: 1 Total Weight: 280 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 | 1689 2748 7494 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #281 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 6 Core Weight: 1 Total Weight: 281 0.19/0.27 c Current CPU time: 0.267959 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 | 1693 2750 7505 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #282 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 9 Core Weight: 1 Total Weight: 282 0.19/0.27 c Current CPU time: 0.269958 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 | 1698 2752 7519 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #283 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 11 Core Weight: 1 Total Weight: 283 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 | 1704 2754 7533 | 5000 0 -nan | 0.000 % | 0.19/0.27 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: 11 Core Weight: 1 Total Weight: 284 0.19/0.28 c Current CPU time: 0.272958 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 | 1710 2755 7545 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #285 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 285 0.19/0.28 c Current CPU time: 0.274958 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 | 1714 2757 7556 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #286 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 286 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 | 1718 2759 7567 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #287 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 287 0.19/0.28 c Current CPU time: 0.276957 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 | 1722 2761 7578 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #288 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 288 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 | 1726 2763 7589 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #289 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 54 Core Weight: 1 Total Weight: 289 0.19/0.28 c Current CPU time: 0.279957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1766 2764 7669 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.29 c core #290 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 290 0.19/0.29 c Current CPU time: 0.281957 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 | 1770 2767 7682 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #291 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 6 Core Weight: 1 Total Weight: 291 0.19/0.29 c Current CPU time: 0.282956 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 | 1774 2770 7695 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #292 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 7 Core Weight: 1 Total Weight: 292 0.19/0.29 c Current CPU time: 0.284956 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 | 1780 2773 7712 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #293 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: 293 0.19/0.29 c Current CPU time: 0.286956 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 | 1788 2777 7737 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #294 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 15 Core Weight: 1 Total Weight: 294 0.19/0.29 c Current CPU time: 0.287956 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 | 1797 2779 7758 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #295 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 9 Core Weight: 1 Total Weight: 295 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 | 1802 2781 7771 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.30 c core #296 0.19/0.30 c 0.19/0.30 c 0.19/0.30 c Core size: 14 Core Weight: 1 Total Weight: 296 0.19/0.30 c Current CPU time: 0.291955 s 0.19/0.30 c 0.19/0.30 c ============================[ Search Statistics ]============================== 0.19/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.30 c =============================================================================== 0.19/0.30 c | 0 | 1812 2782 7793 | 5000 0 -nan | 0.000 % | 0.19/0.30 c =============================================================================== 0.29/0.30 c core #297 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 297 0.29/0.30 c Current CPU time: 0.292955 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 | 1817 2784 7806 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #298 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 6 Core Weight: 1 Total Weight: 298 0.29/0.30 c Current CPU time: 0.294955 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 | 1821 2787 7819 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #299 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 299 0.29/0.30 c Current CPU time: 0.295955 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 | 1826 2790 7835 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #300 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 28 Core Weight: 1 Total Weight: 300 0.29/0.30 c Current CPU time: 0.297954 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 | 1842 2791 7867 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #301 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 9 Core Weight: 1 Total Weight: 301 0.29/0.30 c Current CPU time: 0.299954 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 | 1847 2794 7883 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #302 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 32 Core Weight: 1 Total Weight: 302 0.29/0.31 c Current CPU time: 0.302953 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 | 1870 2797 7934 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #303 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 9 Core Weight: 1 Total Weight: 303 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 | 1875 2799 7947 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #304 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 31 Core Weight: 1 Total Weight: 304 0.29/0.31 c Current CPU time: 0.305953 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 | 1893 2802 7988 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #305 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 25 Core Weight: 1 Total Weight: 305 0.29/0.31 c Current CPU time: 0.307953 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1908 2803 8018 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #306 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 11 Core Weight: 1 Total Weight: 306 0.29/0.31 c Current CPU time: 0.309952 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 | 1914 2804 8030 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #307 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 9 Core Weight: 1 Total Weight: 307 0.29/0.32 c Current CPU time: 0.311952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1919 2805 8041 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #308 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 27 Core Weight: 1 Total Weight: 308 0.29/0.32 c Current CPU time: 0.313952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1941 2809 8093 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #309 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 29 Core Weight: 1 Total Weight: 309 0.29/0.32 c Current CPU time: 0.315951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1956 2810 8123 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #310 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 34 Core Weight: 1 Total Weight: 310 0.29/0.32 c Current CPU time: 0.317951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1971 2811 8153 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #311 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 34 Core Weight: 1 Total Weight: 311 0.29/0.32 c Current CPU time: 0.320951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1998 2812 8207 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #312 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 49 Core Weight: 1 Total Weight: 312 0.29/0.33 c Current CPU time: 0.32395 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2046 2813 8303 | 5000 0 -nan | 0.000 % | 0.29/0.33 c | 100 | 2044 2813 8303 | 5500 100 9 | 0.098 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #313 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 313 0.29/0.33 c Current CPU time: 0.32695 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 | 2052 2818 8326 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #314 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 48 Core Weight: 1 Total Weight: 314 0.29/0.33 c Current CPU time: 0.328949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 2089 2819 8400 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 2087 2819 8400 | 5500 100 11 | 0.096 % | 0.29/0.34 c | 250 | 2085 2819 8400 | 6050 250 9 | 0.192 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #315 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 29 Core Weight: 1 Total Weight: 315 0.29/0.34 c Current CPU time: 0.333949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2103 2834 8466 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #316 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 27 Core Weight: 1 Total Weight: 316 0.29/0.34 c Current CPU time: 0.335948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 2121 2836 8504 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 2119 2836 8504 | 5500 100 12 | 0.094 % | 0.29/0.35 c | 251 | 2118 2836 8504 | 6050 251 9 | 0.141 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #317 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 61 Core Weight: 1 Total Weight: 317 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 2174 2858 8662 | 5000 0 -nan | 0.000 % | 0.29/0.35 c | 100 | 2172 2858 8662 | 5500 100 10 | 0.092 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #318 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 195 Core Weight: 1 Total Weight: 318 0.29/0.36 c Current CPU time: 0.353946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 2269 2865 8868 | 5000 0 -nan | 0.000 % | 0.29/0.37 c | 100 | 2267 2865 8868 | 5500 100 9 | 0.088 % | 0.29/0.37 c | 250 | 2267 2865 8868 | 6050 250 8 | 0.088 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #319 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 103 Core Weight: 1 Total Weight: 319 0.29/0.38 c Current CPU time: 0.366944 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 2359 2886 9102 | 5000 0 -nan | 0.000 % | 0.29/0.38 c | 100 | 2357 2886 9102 | 5500 100 16 | 0.085 % | 0.29/0.39 c | 250 | 2357 2886 9102 | 6050 250 14 | 0.085 % | 0.39/0.40 c | 475 | 2357 2886 9102 | 6655 475 15 | 0.085 % | 0.39/0.42 c | 813 | 2357 2886 9102 | 7320 813 14 | 0.085 % | 0.39/0.45 c | 1320 | 2357 2886 9102 | 8052 1320 15 | 0.086 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #320 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 169 Core Weight: 1 Total Weight: 320 0.39/0.49 c Current CPU time: 0.472928 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2443 2902 9311 | 5000 0 -nan | 0.000 % | 0.39/0.49 c | 101 | 2441 2902 9311 | 5500 101 20 | 0.082 % | 0.50/0.50 c | 252 | 2441 2902 9311 | 6050 252 18 | 0.082 % | 0.50/0.51 c | 478 | 2441 2902 9311 | 6655 478 16 | 0.082 % | 0.50/0.53 c | 815 | 2441 2902 9311 | 7320 815 14 | 0.082 % | 0.50/0.55 c | 1321 | 2441 2902 9311 | 8052 1321 13 | 0.082 % | 0.50/0.59 c | 2081 | 2441 2902 9311 | 8857 2081 12 | 0.082 % | 0.59/0.66 c | 3221 | 2441 2902 9311 | 9743 3221 11 | 0.082 % | 0.69/0.76 c | 4929 | 2439 2902 9311 | 10717 4929 11 | 0.164 % | 0.89/0.91 c =============================================================================== 0.89/0.92 c core #321 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 142 Core Weight: 1 Total Weight: 321 0.89/0.92 c Current CPU time: 0.883865 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2474 2958 9534 | 5000 0 -nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #322 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 64 Core Weight: 1 Total Weight: 322 0.89/0.92 c Current CPU time: 0.887865 s 0.89/0.92 c 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 2490 2959 9566 | 5000 0 -nan | 0.000 % | 0.89/0.92 c | 100 | 2490 2959 9566 | 5500 100 21 | 0.002 % | 0.89/0.93 c | 251 | 2490 2959 9566 | 6050 251 16 | 0.000 % | 0.89/0.94 c | 477 | 2490 2959 9566 | 6655 477 14 | 0.000 % | 0.89/0.96 c | 814 | 2490 2959 9566 | 7320 814 12 | 0.000 % | 0.89/0.99 c | 1320 | 2490 2959 9566 | 8052 1320 11 | 0.000 % | 1.00/1.03 c | 2080 | 2490 2959 9566 | 8857 2080 11 | 0.000 % | 1.00/1.10 c | 3219 | 2490 2959 9566 | 9743 3219 11 | 0.000 % | 1.19/1.20 c | 4927 | 2490 2959 9566 | 10717 4927 10 | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #323 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 110 Core Weight: 1 Total Weight: 323 1.19/1.25 c Current CPU time: 1.20082 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 2510 2982 9672 | 5000 0 -nan | 0.000 % | 1.19/1.25 c | 101 | 2508 2982 9672 | 5500 101 9 | 0.080 % | 1.19/1.26 c | 252 | 2504 2982 9672 | 6050 252 11 | 1.753 % | 1.19/1.26 c | 477 | 2466 2982 9672 | 6655 477 12 | 1.753 % | 1.19/1.28 c | 817 | 2464 2982 9672 | 7320 817 14 | 1.833 % | 1.29/1.30 c | 1323 | 2464 2982 9672 | 8052 1323 14 | 1.834 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #324 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 272 Core Weight: 1 Total Weight: 324 1.29/1.34 c Current CPU time: 1.2858 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 2567 2997 9822 | 5000 0 -nan | 0.000 % | 1.29/1.34 c | 102 | 2545 2997 9822 | 5500 102 11 | 1.169 % | 1.29/1.34 c | 253 | 2537 2997 9822 | 6050 253 15 | 1.169 % | 1.29/1.35 c | 478 | 2492 2997 9822 | 6655 478 15 | 2.961 % | 1.29/1.36 c | 818 | 2491 2997 9822 | 7320 818 15 | 2.961 % | 1.29/1.37 c | 1326 | 2491 2997 9822 | 8052 1326 19 | 2.961 % | 1.29/1.40 c | 2086 | 2491 2997 9822 | 8857 2086 22 | 2.961 % | 1.39/1.44 c | 3225 | 2472 2997 9822 | 9743 3225 24 | 6.661 % | 1.39/1.44 c =============================================================================== 1.39/1.46 c core #325 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 177 Core Weight: 1 Total Weight: 325 1.39/1.46 c Current CPU time: 1.39279 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 2668 3004 10037 | 5000 0 -nan | 0.000 % | 1.39/1.46 c | 101 | 2668 3004 10037 | 5500 101 16 | 0.002 % | 1.39/1.46 c | 251 | 2668 3004 10037 | 6050 251 13 | 0.000 % | 1.39/1.47 c | 476 | 2668 3004 10037 | 6655 476 14 | 0.000 % | 1.39/1.48 c | 813 | 2668 3004 10037 | 7320 813 13 | 0.000 % | 1.49/1.50 c | 1319 | 2668 3004 10037 | 8052 1319 12 | 0.000 % | 1.49/1.54 c | 2078 | 2668 3004 10037 | 8857 2078 11 | 0.000 % | 1.59/1.61 c | 3217 | 2668 3004 10037 | 9743 3217 11 | 0.000 % | 1.69/1.70 c | 4925 | 2664 3004 10037 | 10717 4925 11 | 0.150 % | 1.69/1.77 c =============================================================================== 1.69/1.77 c core #326 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 72 Core Weight: 1 Total Weight: 326 1.69/1.77 c Current CPU time: 1.69774 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 2691 3034 10168 | 5000 0 -nan | 0.000 % | 1.69/1.77 c | 100 | 2691 3034 10168 | 5500 100 22 | 0.002 % | 1.69/1.78 c | 250 | 2691 3034 10168 | 6050 250 16 | 0.000 % | 1.69/1.79 c | 475 | 2691 3034 10168 | 6655 475 14 | 0.000 % | 1.79/1.81 c | 812 | 2691 3034 10168 | 7320 812 12 | 0.000 % | 1.79/1.84 c | 1319 | 2691 3034 10168 | 8052 1319 10 | 0.000 % | 1.79/1.88 c | 2079 | 2689 3034 10168 | 8857 2079 9 | 0.074 % | 1.89/1.94 c | 3218 | 2687 3034 10168 | 9743 3218 9 | 0.149 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c core #327 1.99/2.00 c 1.99/2.00 c 1.99/2.00 c Core size: 230 Core Weight: 1 Total Weight: 327 1.99/2.00 c Current CPU time: 1.92371 s 1.99/2.00 c 1.99/2.00 c ============================[ Search Statistics ]============================== 1.99/2.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.00 c =============================================================================== 1.99/2.00 c | 0 | 2692 3163 10530 | 5000 0 -nan | 0.000 % | 1.99/2.01 c | 102 | 2692 3163 10530 | 5500 102 16 | 0.223 % | 1.99/2.01 c | 252 | 2688 3163 10530 | 6050 252 13 | 0.297 % | 1.99/2.02 c | 478 | 2688 3163 10530 | 6655 478 11 | 0.297 % | 1.99/2.03 c =============================================================================== 1.99/2.04 c core #328 1.99/2.04 c 1.99/2.04 c 1.99/2.04 c Core size: 183 Core Weight: 1 Total Weight: 328 1.99/2.04 c Current CPU time: 1.9547 s 1.99/2.04 c 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 2702 3192 10628 | 5000 0 -nan | 0.000 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c core #329 1.99/2.04 c 1.99/2.04 c 1.99/2.04 c Core size: 475 Core Weight: 1 Total Weight: 329 1.99/2.04 c Current CPU time: 1.9587 s 1.99/2.04 c 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 2660 3199 10645 | 5000 0 -nan | 0.000 % | 1.99/2.04 c | 101 | 2634 3199 10645 | 5500 101 13 | 4.020 % | 1.99/2.04 c =============================================================================== 1.99/2.05 c core #330 1.99/2.05 c 1.99/2.05 c 1.99/2.05 c Core size: 162 Core Weight: 1 Total Weight: 330 1.99/2.05 c Current CPU time: 1.9637 s 1.99/2.05 c 1.99/2.05 c ============================[ Search Statistics ]============================== 1.99/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.05 c =============================================================================== 1.99/2.05 c | 0 | 1896 3213 10694 | 5000 0 -nan | 0.000 % | 1.99/2.05 c | 100 | 1896 3213 10694 | 5500 100 21 | 30.550 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c core #331 1.99/2.05 c 1.99/2.05 c 1.99/2.05 c Core size: 48 Core Weight: 1 Total Weight: 331 1.99/2.05 c Current CPU time: 1.9667 s 1.99/2.05 c 1.99/2.05 c ============================[ Search Statistics ]============================== 1.99/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.05 c =============================================================================== 1.99/2.05 c | 0 | 1899 3214 10700 | 5000 0 -nan | 0.000 % | 1.99/2.05 c | 101 | 1899 3214 10700 | 5500 101 22 | 30.662 % | 1.99/2.05 c =============================================================================== 1.99/2.06 c core #332 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 322 Core Weight: 1 Total Weight: 332 1.99/2.06 c Current CPU time: 1.9707 s 1.99/2.06 c 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 1919 3215 10740 | 5000 0 -nan | 0.000 % | 1.99/2.06 c | 101 | 1919 3215 10740 | 5500 101 26 | 30.295 % | 1.99/2.06 c | 252 | 1919 3215 10740 | 6050 252 29 | 30.294 % | 1.99/2.06 c | 483 | 1919 3215 10740 | 6655 483 33 | 30.294 % | 1.99/2.07 c | 824 | 1915 3215 10740 | 7320 824 35 | 30.440 % | 1.99/2.08 c =============================================================================== 1.99/2.09 c core #333 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 346 Core Weight: 1 Total Weight: 333 1.99/2.09 c Current CPU time: 1.9977 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 1941 3216 10784 | 5000 0 -nan | 0.000 % | 1.99/2.09 c | 100 | 1941 3216 10784 | 5500 100 33 | 30.054 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c core #334 1.99/2.09 c 1.99/2.09 c 1.99/2.09 c Core size: 310 Core Weight: 1 Total Weight: 334 1.99/2.09 c Current CPU time: 2.0037 s 1.99/2.09 c 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 1954 3217 10810 | 5000 0 -nan | 0.000 % | 1.99/2.10 c | 100 | 1954 3217 10810 | 5500 100 33 | 29.914 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c core #335 1.99/2.10 c 1.99/2.10 c 1.99/2.10 c Core size: 95 Core Weight: 1 Total Weight: 335 1.99/2.10 c Current CPU time: 2.00769 s 1.99/2.10 c 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 1960 3218 10822 | 5000 0 -nan | 0.000 % | 1.99/2.10 c | 100 | 1960 3218 10822 | 5500 100 33 | 29.850 % | 1.99/2.10 c | 250 | 1953 3218 10822 | 6050 250 27 | 30.136 % | 1.99/2.11 c | 475 | 1953 3218 10822 | 6655 475 40 | 30.136 % | 2.10/2.12 c | 812 | 1952 3218 10822 | 7320 812 47 | 30.136 % | 2.10/2.13 c =============================================================================== 2.10/2.13 c core #336 2.10/2.13 c 2.10/2.13 c 2.10/2.13 c Core size: 69 Core Weight: 1 Total Weight: 336 2.10/2.13 c Current CPU time: 2.03769 s 2.10/2.13 c 2.10/2.13 c ============================[ Search Statistics ]============================== 2.10/2.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.13 c =============================================================================== 2.10/2.13 c | 0 | 1964 3219 10830 | 5000 0 -nan | 0.000 % | 2.10/2.13 c | 100 | 1964 3219 10830 | 5500 100 33 | 29.807 % | 2.10/2.14 c | 251 | 1960 3219 10830 | 6050 251 36 | 29.986 % | 2.10/2.14 c =============================================================================== 2.10/2.14 c core #337 2.10/2.14 c 2.10/2.14 c 2.10/2.14 c Core size: 199 Core Weight: 1 Total Weight: 337 2.10/2.14 c Current CPU time: 2.04769 s 2.10/2.14 c 2.10/2.14 c ============================[ Search Statistics ]============================== 2.10/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.14 c =============================================================================== 2.10/2.14 c | 0 | 1974 3220 10850 | 5000 0 -nan | 0.000 % | 2.10/2.15 c | 100 | 1974 3220 10850 | 5500 100 33 | 29.701 % | 2.10/2.15 c | 251 | 1963 3220 10850 | 6050 251 26 | 30.093 % | 2.10/2.15 c | 479 | 1963 3220 10850 | 6655 479 26 | 30.093 % | 2.10/2.16 c | 818 | 1963 3220 10850 | 7320 818 29 | 30.093 % | 2.10/2.16 c =============================================================================== 2.10/2.17 c core #338 2.10/2.17 c 2.10/2.17 c 2.10/2.17 c Core size: 215 Core Weight: 1 Total Weight: 338 2.10/2.17 c Current CPU time: 2.06768 s 2.10/2.17 c 2.10/2.17 c ============================[ Search Statistics ]============================== 2.10/2.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.17 c =============================================================================== 2.10/2.17 c | 0 | 1998 3221 10898 | 5000 0 -nan | 0.000 % | 2.10/2.17 c | 100 | 1998 3221 10898 | 5500 100 33 | 29.449 % | 2.10/2.17 c | 252 | 1997 3221 10898 | 6050 252 29 | 29.520 % | 2.10/2.18 c | 477 | 1995 3221 10898 | 6655 477 36 | 29.555 % | 2.10/2.19 c | 820 | 1995 3221 10898 | 7320 820 39 | 29.555 % | 2.10/2.20 c | 1327 | 1992 3221 10898 | 8052 1327 42 | 29.661 % | 2.21/2.23 c | 2086 | 1992 3221 10898 | 8857 2086 46 | 29.661 % | 2.21/2.29 c | 3226 | 1991 3221 10898 | 9743 3226 48 | 29.802 % | 2.29/2.32 c =============================================================================== 2.29/2.33 c core #339 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 354 Core Weight: 1 Total Weight: 339 2.29/2.33 c Current CPU time: 2.22566 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 2024 3222 10950 | 5000 0 -nan | 0.000 % | 2.29/2.34 c | 100 | 2024 3222 10950 | 5500 100 39 | 29.182 % | 2.29/2.34 c | 253 | 2018 3222 10950 | 6050 253 42 | 29.426 % | 2.29/2.35 c | 480 | 2018 3222 10950 | 6655 480 52 | 29.426 % | 2.29/2.36 c | 817 | 2017 3222 10950 | 7320 817 57 | 29.426 % | 2.29/2.37 c | 1324 | 2017 3222 10950 | 8052 1324 55 | 29.426 % | 2.29/2.39 c | 2084 | 2017 3222 10950 | 8857 2084 57 | 29.426 % | 2.39/2.44 c | 3223 | 2017 3222 10950 | 9743 3223 62 | 29.426 % | 2.49/2.57 c | 4933 | 2017 3222 10950 | 10717 4933 66 | 29.426 % | 2.79/2.85 c | 7495 | 2017 3222 10950 | 11789 7495 68 | 29.426 % | 2.89/2.95 c =============================================================================== 2.89/2.98 c core #340 2.89/2.98 c 2.89/2.98 c 2.89/2.98 c Core size: 358 Core Weight: 1 Total Weight: 340 2.89/2.98 c Current CPU time: 2.85057 s 2.89/2.98 c 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 2054 3223 11010 | 5000 0 -nan | 0.000 % | 2.89/2.98 c | 100 | 2054 3223 11010 | 5500 100 46 | 28.878 % | 2.89/2.99 c | 250 | 2041 3223 11010 | 6050 250 28 | 29.328 % | 2.89/2.99 c | 477 | 2037 3223 11010 | 6655 477 24 | 29.467 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c core #341 2.89/2.99 c 2.89/2.99 c 2.89/2.99 c Core size: 208 Core Weight: 1 Total Weight: 341 2.89/2.99 c Current CPU time: 2.86456 s 2.89/2.99 c 2.89/2.99 c ============================[ Search Statistics ]============================== 2.89/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.99 c =============================================================================== 2.89/2.99 c | 0 | 2071 3224 11044 | 5000 0 -nan | 0.000 % | 2.89/2.99 c | 100 | 2071 3224 11044 | 5500 100 46 | 28.709 % | 3.00/3.00 c | 251 | 2064 3224 11044 | 6050 251 41 | 29.053 % | 3.00/3.00 c | 476 | 2053 3224 11044 | 6655 476 31 | 29.329 % | 3.00/3.01 c | 813 | 2053 3224 11044 | 7320 813 29 | 29.329 % | 3.00/3.01 c =============================================================================== 3.00/3.02 c core #342 3.00/3.02 c 3.00/3.02 c 3.00/3.02 c Core size: 322 Core Weight: 1 Total Weight: 342 3.00/3.02 c Current CPU time: 2.88856 s 3.00/3.02 c 3.00/3.02 c ============================[ Search Statistics ]============================== 3.00/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.00/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.00/3.02 c =============================================================================== 3.00/3.02 c | 0 | 2092 3225 11086 | 5000 0 -nan | 0.000 % | 3.00/3.02 c | 102 | 2092 3225 11086 | 5500 102 51 | 28.503 % | 3.00/3.02 c | 252 | 2086 3225 11086 | 6050 252 37 | 28.742 % | 3.00/3.03 c | 477 | 2086 3225 11086 | 6655 477 32 | 28.742 % | 3.00/3.03 c | 818 | 2085 3225 11086 | 7320 818 33 | 28.742 % | 3.00/3.05 c | 1326 | 2085 3225 11086 | 8052 1326 37 | 28.742 % | 3.00/3.08 c | 2085 | 2085 3225 11086 | 8857 2085 42 | 28.742 % | 3.09/3.15 c | 3225 | 2085 3225 11086 | 9743 3225 44 | 28.742 % | 3.20/3.30 c | 4934 | 2085 3225 11086 | 10717 4934 46 | 28.743 % | 3.31/3.31 c =============================================================================== 3.31/3.33 c core #343 3.31/3.33 c 3.31/3.33 c 3.31/3.33 c Core size: 200 Core Weight: 1 Total Weight: 343 3.31/3.33 c Current CPU time: 3.19351 s 3.31/3.33 c 3.31/3.33 c ============================[ Search Statistics ]============================== 3.31/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.31/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.31/3.33 c =============================================================================== 3.31/3.33 c | 0 | 2118 3226 11138 | 5000 0 -nan | 0.000 % | 3.31/3.34 c | 101 | 2103 3226 11138 | 5500 101 36 | 28.760 % | 3.31/3.34 c | 252 | 2102 3226 11138 | 6050 252 50 | 28.896 % | 3.31/3.34 c | 478 | 2097 3226 11138 | 6655 478 47 | 28.963 % | 3.31/3.35 c | 819 | 2097 3226 11138 | 7320 819 54 | 29.065 % | 3.31/3.37 c | 1326 | 2094 3226 11138 | 8052 1326 55 | 29.099 % | 3.39/3.40 c | 2086 | 2093 3226 11138 | 8857 2086 55 | 29.234 % | 3.39/3.45 c | 3225 | 2089 3226 11138 | 9743 3225 62 | 29.234 % | 3.49/3.58 c | 4933 | 2089 3226 11138 | 10717 4933 68 | 29.234 % | 3.79/3.89 c | 7499 | 2089 3226 11138 | 11789 7499 69 | 29.234 % | 4.41/4.45 c | 11346 | 2089 3226 11138 | 12968 11346 71 | 29.234 % | 4.49/4.59 c =============================================================================== 4.59/4.64 c core #344 4.59/4.64 c 4.59/4.64 c 4.59/4.64 c Core size: 249 Core Weight: 1 Total Weight: 344 4.59/4.64 c Current CPU time: 4.46732 s 4.59/4.64 c 4.59/4.64 c ============================[ Search Statistics ]============================== 4.59/4.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.64 c =============================================================================== 4.59/4.64 c | 0 | 2154 3227 11210 | 5000 0 -nan | 0.000 % | 4.59/4.64 c | 100 | 2151 3227 11210 | 5500 100 38 | 28.146 % | 4.59/4.64 c | 250 | 2145 3227 11210 | 6050 250 36 | 28.280 % | 4.59/4.65 c | 478 | 2143 3227 11210 | 6655 478 43 | 28.280 % | 4.59/4.65 c | 815 | 2143 3227 11210 | 7320 815 46 | 28.280 % | 4.59/4.67 c | 1324 | 2142 3227 11210 | 8052 1324 58 | 28.313 % | 4.69/4.70 c | 2083 | 2142 3227 11210 | 8857 2083 66 | 28.447 % | 4.69/4.76 c | 3222 | 2142 3227 11210 | 9743 3222 75 | 28.447 % | 4.79/4.89 c | 4930 | 2138 3227 11210 | 10717 4930 81 | 28.447 % | 5.09/5.11 c | 7497 | 2138 3227 11210 | 11789 7497 84 | 28.581 % | 5.51/5.59 c | 11341 | 2130 3227 11210 | 12968 11341 89 | 28.715 % | 6.29/6.35 c | 17113 | 2128 3227 11210 | 14265 10164 91 | 28.949 % | 7.39/7.47 c | 25774 | 2128 3227 11210 | 15692 11218 91 | 28.949 % | 9.81/9.82 c | 38748 | 2124 3227 11210 | 17261 15879 87 | 29.116 % | 13.89/13.93 c | 58210 | 2124 3227 11210 | 18987 17100 105 | 29.116 % | 19.20/19.23 c | 87404 | 2118 3227 11210 | 20886 16368 100 | 29.116 % | 27.40/27.49 c =============================================================================== 27.99/28.00 c core #345 27.99/28.00 c 27.99/28.00 c 27.99/28.00 c Core size: 258 Core Weight: 1 Total Weight: 345 27.99/28.00 c Current CPU time: 27.5408 s 27.99/28.00 c 27.99/28.00 c ============================[ Search Statistics ]============================== 27.99/28.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.99/28.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.99/28.00 c =============================================================================== 27.99/28.00 c | 0 | 2194 3228 11290 | 5000 0 -nan | 0.000 % | 27.99/28.00 c | 101 | 2194 3228 11290 | 5500 101 48 | 27.543 % | 27.99/28.00 c | 252 | 2190 3228 11290 | 6050 252 43 | 27.708 % | 27.99/28.01 c | 477 | 2190 3228 11290 | 6655 477 47 | 27.708 % | 27.99/28.02 c | 814 | 2189 3228 11290 | 7320 814 57 | 27.708 % | 27.99/28.04 c | 1321 | 2189 3228 11290 | 8052 1321 68 | 27.708 % | 27.99/28.06 c | 2080 | 2189 3228 11290 | 8857 2080 75 | 27.708 % | 28.09/28.13 c | 3220 | 2189 3228 11290 | 9743 3220 85 | 27.708 % | 28.19/28.20 c | 4928 | 2189 3228 11290 | 10717 4928 86 | 27.708 % | 28.29/28.36 c | 7490 | 2185 3228 11290 | 11789 7490 85 | 27.939 % | 28.50/28.60 c | 11335 | 2182 3228 11290 | 12968 11335 86 | 28.303 % | 29.19/29.22 c | 17101 | 2180 3228 11290 | 14265 9821 99 | 28.567 % | 29.89/29.97 c | 25751 | 2180 3228 11290 | 15692 10688 87 | 28.567 % | 31.49/31.58 c | 38727 | 2163 3228 11290 | 17261 15173 118 | 28.567 % | 34.29/34.39 c | 58190 | 2162 3228 11290 | 18987 16191 93 | 28.699 % | 39.19/39.25 c | 87383 | 2158 3228 11290 | 20886 15502 89 | 28.930 % | 44.79/44.80 c | 131175 | 2140 3228 11290 | 22974 14787 104 | 29.326 % | 55.69/55.73 c | 196859 | 2134 3228 11290 | 25272 18091 97 | 29.855 % | 75.50/75.50 c | 295385 | 2099 3228 11290 | 27799 15413 105 | 33.620 % | 86.09/86.11 c =============================================================================== 86.49/86.54 c core #346 86.49/86.54 c 86.49/86.54 c 86.49/86.54 c Core size: 526 Core Weight: 1 Total Weight: 346 86.49/86.54 c Current CPU time: 85.491 s 86.49/86.54 c 86.49/86.54 c ============================[ Search Statistics ]============================== 86.49/86.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 86.49/86.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 86.49/86.54 c =============================================================================== 86.49/86.54 c | 0 | 2247 3229 11396 | 5000 0 -nan | 0.000 % | 86.49/86.55 c | 101 | 2247 3229 11396 | 5500 101 57 | 27.069 % | 86.49/86.55 c | 253 | 2247 3229 11396 | 6050 253 43 | 27.069 % | 86.49/86.55 c | 479 | 2247 3229 11396 | 6655 479 41 | 27.069 % | 86.49/86.56 c | 819 | 2246 3229 11396 | 7320 819 52 | 27.102 % | 86.49/86.57 c | 1330 | 2246 3229 11396 | 8052 1330 56 | 27.102 % | 86.59/86.60 c | 2090 | 2238 3229 11396 | 8857 2090 60 | 27.361 % | 86.59/86.65 c | 3229 | 2237 3229 11396 | 9743 3229 60 | 27.491 % | 86.70/86.73 c | 4939 | 2236 3229 11396 | 10717 4939 63 | 27.621 % | 86.81/86.86 c | 7501 | 2228 3229 11396 | 11789 7501 73 | 27.881 % | 87.09/87.16 c | 11345 | 2226 3229 11396 | 12968 11345 81 | 28.140 % | 87.91/87.92 c | 17111 | 2206 3229 11396 | 14265 10096 107 | 28.400 % | 88.79/88.87 c | 25760 | 2204 3229 11396 | 15692 11003 108 | 28.562 % | 90.69/90.70 c | 38735 | 2202 3229 11396 | 17261 15573 117 | 28.789 % | 94.39/94.42 c | 58198 | 2200 3229 11396 | 18987 16447 122 | 28.919 % | 99.79/99.86 c | 87398 | 2185 3229 11396 | 20886 15421 113 | 29.114 % | 106.60/106.71 c | 131187 | 2172 3229 11396 | 22974 14971 118 | 29.503 % | 121.69/121.71 c | 196873 | 2169 3229 11396 | 25272 19417 114 | 29.601 % | 143.69/143.71 c | 295400 | 2169 3229 11396 | 27799 17125 115 | 29.601 % | 185.19/185.29 c | 443189 | 2159 3229 11396 | 30579 17405 128 | 29.925 % | 240.91/240.93 c | 664875 | 2155 3229 11396 | 33637 28479 146 | 30.055 % | 346.80/346.85 c | 997400 | 2148 3229 11396 | 37001 34372 149 | 30.315 % | 518.50/518.55 c | 1496193 | 2144 3229 11396 | 40701 32843 186 | 30.445 % | 816.31/816.33 c | 2244378 | 2135 3229 11396 | 44771 37228 126 | 30.704 % | 1272.42/1272.42 c | 3366652 | 2128 3229 11396 | 49248 15482 99 | 30.932 % |
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-3461455-1307091571/watcher-3461455-1307091571 -o /tmp/evaluation-result-3461455-1307091571/solver-3461455-1307091571 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461455-1307091571.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.01 2.00 4/476 20893 /proc/meminfo: memFree=21470500/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=2776 CPUtime=0.02 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 486 0 0 0 2 0 0 0 18 0 1 0 801572456 2842624 425 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 694 425 175 372 0 319 0 [startup+0.0880299 s] /proc/loadavg: 1.99 2.01 2.00 4/476 20893 /proc/meminfo: memFree=21470500/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=3088 CPUtime=0.08 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 587 0 0 0 8 0 0 0 18 0 1 0 801572456 3162112 526 33554432000 4194304 5714214 140735835053376 18446744073709551615 4355851 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 772 526 175 372 0 397 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3088 [startup+0.101017 s] /proc/loadavg: 1.99 2.01 2.00 4/476 20893 /proc/meminfo: memFree=21470500/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=3192 CPUtime=0.09 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 611 0 0 0 9 0 0 0 18 0 1 0 801572456 3268608 550 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 798 550 175 372 0 423 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3192 [startup+0.300944 s] /proc/loadavg: 1.99 2.01 2.00 4/476 20893 /proc/meminfo: memFree=21470500/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=5200 CPUtime=0.29 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 1152 0 0 0 29 0 0 0 18 0 1 0 801572456 5324800 1027 33554432000 4194304 5714214 140735835053376 18446744073709551615 4356241 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 1300 1027 179 372 0 925 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5200 [startup+0.700908 s] /proc/loadavg: 1.99 2.01 2.00 4/476 20893 /proc/meminfo: memFree=21470500/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=5820 CPUtime=0.69 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 1344 0 0 0 67 2 0 0 18 0 1 0 801572456 5959680 1214 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 1455 1214 180 372 0 1080 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5820 [startup+1.50077 s] /proc/loadavg: 1.99 2.01 2.00 3/478 20895 /proc/meminfo: memFree=21459932/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=6944 CPUtime=1.49 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 1634 0 0 0 143 6 0 0 19 0 1 0 801572456 7110656 1504 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 1736 1504 180 372 0 1361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6944 [startup+3.10049 s] /proc/loadavg: 1.99 2.01 2.00 3/478 20895 /proc/meminfo: memFree=21451624/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=10720 CPUtime=3.09 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 2633 0 0 0 296 13 0 0 18 0 1 0 801572456 10977280 2393 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 2680 2393 180 372 0 2305 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10720 [startup+6.30092 s] /proc/loadavg: 1.99 2.01 2.00 3/478 20895 /proc/meminfo: memFree=21425492/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=14208 CPUtime=6.29 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 3565 0 0 0 609 20 0 0 25 0 1 0 801572456 14548992 3301 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 3552 3301 180 372 0 3177 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14208 [startup+12.7008 s] /proc/loadavg: 1.99 2.01 2.00 3/478 20895 /proc/meminfo: memFree=21399404/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=23388 CPUtime=12.69 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 5769 0 0 0 1242 27 0 0 25 0 1 0 801572456 23949312 5505 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 5847 5505 180 372 0 5472 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23388 [startup+25.5005 s] /proc/loadavg: 1.99 2.01 2.00 3/478 20896 /proc/meminfo: memFree=21383324/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=35504 CPUtime=25.49 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 8715 0 0 0 2510 39 0 0 25 0 1 0 801572456 36356096 8451 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 8876 8451 180 372 0 8501 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35504 [startup+51.101 s] /proc/loadavg: 1.99 2.01 2.00 4/478 20896 /proc/meminfo: memFree=21366132/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=46804 CPUtime=51.09 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 11728 0 0 0 5043 66 0 0 25 0 1 0 801572456 47927296 11421 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 11701 11421 180 372 0 11326 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 46804 [startup+102.319 s] /proc/loadavg: 1.99 2.00 2.00 4/478 20907 /proc/meminfo: memFree=21312136/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=75896 CPUtime=102.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 19730 0 0 0 10122 109 0 0 22 0 1 0 801572456 77717504 18553 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 18974 18553 180 372 0 18599 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 75896 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.00 4/478 20908 /proc/meminfo: memFree=21266252/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=97784 CPUtime=162.29 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 25310 0 0 0 16080 149 0 0 25 0 1 0 801572456 100130816 24133 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 24446 24133 180 372 0 24071 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 97784 [startup+222.301 s] /proc/loadavg: 1.99 2.00 2.00 3/478 20910 /proc/meminfo: memFree=21215256/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=127240 CPUtime=222.3 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 32461 0 0 0 22048 182 0 0 25 0 1 0 801572456 130293760 31284 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 31810 31284 180 372 0 31435 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 127240 [startup+282.3 s] /proc/loadavg: 2.08 2.03 2.01 3/478 20912 /proc/meminfo: memFree=21163148/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=157756 CPUtime=282.29 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 39906 0 0 0 28014 215 0 0 25 0 1 0 801572456 161542144 38729 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 39439 38729 180 372 0 39064 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 157756 [startup+342.301 s] /proc/loadavg: 2.10 2.05 2.01 3/478 20913 /proc/meminfo: memFree=21114896/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=184516 CPUtime=342.29 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 46531 0 0 0 33986 243 0 0 25 0 1 0 801572456 188944384 45354 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 46129 45354 180 372 0 45754 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 184516 [startup+402.301 s] /proc/loadavg: 2.04 2.04 2.01 4/478 20915 /proc/meminfo: memFree=21068976/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=209176 CPUtime=402.3 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 52738 0 0 0 39959 271 0 0 25 0 1 0 801572456 214196224 51456 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 52294 51456 180 372 0 51919 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 209176 [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.00 3/478 20916 /proc/meminfo: memFree=21023460/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=235152 CPUtime=462.3 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 59204 0 0 0 45933 297 0 0 25 0 1 0 801572456 240795648 57922 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 58788 57922 180 372 0 58413 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 235152 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/478 20918 /proc/meminfo: memFree=20968504/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=271020 CPUtime=522.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 68049 0 0 0 51907 324 0 0 25 0 1 0 801572456 277524480 66767 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 67755 66767 180 372 0 67380 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 271020 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 4/478 20920 /proc/meminfo: memFree=20926808/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=292656 CPUtime=582.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 73370 0 0 0 57877 354 0 0 25 0 1 0 801572456 299679744 72088 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 73164 72088 180 372 0 72789 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 292656 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.11 2.03 2.01 3/478 20926 /proc/meminfo: memFree=20791892/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=380828 CPUtime=822.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 95299 0 0 0 81793 438 0 0 25 0 1 0 801572456 389967872 94017 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 95207 94017 180 372 0 94832 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 380828 [startup+882.3 s] /proc/loadavg: 2.14 2.05 2.01 3/478 20928 /proc/meminfo: memFree=20776620/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=395636 CPUtime=882.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 98930 0 0 0 87763 468 0 0 25 0 1 0 801572456 405131264 97648 33554432000 4194304 5714214 140735835053376 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 98909 97648 180 372 0 98534 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 395636 [startup+942.301 s] /proc/loadavg: 2.05 2.04 2.01 3/478 20929 /proc/meminfo: memFree=20740008/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=433508 CPUtime=942.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 108316 0 0 0 93742 489 0 0 25 0 1 0 801572456 443912192 107034 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 108377 107034 180 372 0 108002 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 433508 [startup+1002.3 s] /proc/loadavg: 2.02 2.03 2.00 4/478 20931 /proc/meminfo: memFree=20725604/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=447452 CPUtime=1002.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 111813 0 0 0 99720 511 0 0 25 0 1 0 801572456 458190848 110531 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 111863 110531 180 372 0 111488 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 447452 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 4/478 20932 /proc/meminfo: memFree=20702388/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=471100 CPUtime=1062.32 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 117682 0 0 0 105696 536 0 0 25 0 1 0 801572456 482406400 116400 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 117775 116400 180 372 0 117400 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 471100 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/478 20934 /proc/meminfo: memFree=20687372/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=485776 CPUtime=1122.31 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 121367 0 0 0 111675 556 0 0 25 0 1 0 801572456 497434624 120085 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 121444 120085 180 372 0 121069 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 485776 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/478 20936 /proc/meminfo: memFree=20648544/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=524628 CPUtime=1182.32 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 131022 0 0 0 117651 581 0 0 25 0 1 0 801572456 537219072 129740 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 131157 129740 180 372 0 130782 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 524628 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 4/478 20937 /proc/meminfo: memFree=20639952/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=532548 CPUtime=1242.32 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 133025 0 0 0 123632 600 0 0 25 0 1 0 801572456 545329152 131743 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 133137 131743 180 372 0 132762 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 532548 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/478 20939 /proc/meminfo: memFree=20622328/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=548948 CPUtime=1302.34 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 137083 0 0 0 129601 633 0 0 25 0 1 0 801572456 562122752 135801 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 137237 135801 180 372 0 136862 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 548948 [startup+1362.3 s] /proc/loadavg: 2.24 2.05 2.02 3/478 20940 /proc/meminfo: memFree=20597888/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=575440 CPUtime=1362.32 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 143638 0 0 0 135573 659 0 0 25 0 1 0 801572456 589250560 142356 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 143860 142356 180 372 0 143485 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 575440 [startup+1422.32 s] /proc/loadavg: 2.23 2.07 2.02 5/478 20942 /proc/meminfo: memFree=20582120/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=591316 CPUtime=1422.34 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 147594 0 0 0 141562 672 0 0 25 0 1 0 801572456 605507584 146312 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 147829 146312 180 372 0 147454 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 591316 [startup+1482.3 s] /proc/loadavg: 2.08 2.05 2.02 3/478 20944 /proc/meminfo: memFree=20569204/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=604148 CPUtime=1482.32 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 150811 0 0 0 147542 690 0 0 25 0 1 0 801572456 618647552 149529 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 151037 149529 180 372 0 150662 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 604148 [startup+1542.3 s] /proc/loadavg: 2.03 2.04 2.01 3/478 20948 /proc/meminfo: memFree=20552084/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=620636 CPUtime=1542.33 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 154880 0 0 0 153523 710 0 0 25 0 1 0 801572456 635531264 153598 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 155159 153598 180 372 0 154784 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 620636 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 4/478 20950 /proc/meminfo: memFree=20509168/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=647080 CPUtime=1602.33 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 161530 0 0 0 159499 734 0 0 25 0 1 0 801572456 662609920 160248 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 161770 160248 180 372 0 161395 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 647080 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 4/478 20951 /proc/meminfo: memFree=20480876/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=658388 CPUtime=1662.33 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 164331 0 0 0 165483 750 0 0 25 0 1 0 801572456 674189312 163049 33554432000 4194304 5714214 140735835053376 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 164597 163049 180 372 0 164222 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 658388 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 4/478 20953 /proc/meminfo: memFree=20443660/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=678464 CPUtime=1722.33 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 169360 0 0 0 171461 772 0 0 25 0 1 0 801572456 694747136 168078 33554432000 4194304 5714214 140735835053376 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 169616 168078 180 372 0 169241 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 678464 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 4/478 20955 /proc/meminfo: memFree=20404572/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=697172 CPUtime=1782.34 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 173900 0 0 0 177440 794 0 0 25 0 1 0 801572456 713904128 172618 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 174293 172618 180 372 0 173918 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 697172 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 4/478 20955 /proc/meminfo: memFree=20399112/32951124 swapFree=67057928/67111528 [pid=20893] ppid=20888 vsize=700076 CPUtime=1800.05 cores=1,3,5,7 /proc/20893/stat : 20893 (wbo1.6) R 20888 20893 17530 0 -1 4202496 174631 0 0 0 179204 801 0 0 25 0 1 0 801572456 716877824 173349 33554432000 4194304 5714214 140735835053376 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/20893/statm: 175019 173349 180 372 0 174644 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 700076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1792.05 CPU system time (s): 8.04378 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 700076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.05 system time used= 8.04378 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 174631 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= 29 involuntary context switches= 1780 runsolver used 8.62469 second user time and 20.6569 second system time The end
Begin job on node140 at 2011-06-03 10:59:31 IDJOB=3461455 IDBENCH=2199 IDSOLVER=1953 FILE ID=node140/3461455-1307091571 RUNJOBID= node140-1307091571-20875 PBS_JOBID= 13497846 Free space on /tmp= 73612 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-2-c.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461455-1307091571/watcher-3461455-1307091571 -o /tmp/evaluation-result-3461455-1307091571/solver-3461455-1307091571 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461455-1307091571.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0d7a6a03ca37d030da671f9238e17bb RANDOM SEED=1455890386 node140.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.833 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.66 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.77 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21472300 kB Buffers: 286888 kB Cached: 3941348 kB SwapCached: 6932 kB Active: 7348236 kB Inactive: 3794376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21472300 kB SwapTotal: 67111528 kB SwapFree: 67057928 kB Dirty: 8688 kB Writeback: 0 kB AnonPages: 6912340 kB Mapped: 37240 kB Slab: 214740 kB PageTables: 51872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 141379348 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= 73600 MiB End job on node140 at 2011-06-03 11:29:33