| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.6 | ? (TO) | 1800.1 | 1800.14 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb |
| MD5SUM | 8cf8fb760748f7e5d9e3b99aa5c9f720 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 200 |
| Best CPU time to get the best result obtained on this benchmark | 0.007998 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 200 |
| Optimality of the best value was proved | YES |
| Number of variables | 400 |
| Total number of constraints | 1400 |
| Number of constraints which are clauses | 1393 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 400 |
| 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 | 400 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| 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-3461384-1307083625.opb. 0.00/0.00 c Instance file HOME/instance-3461384-1307083625.opb 0.00/0.00 c File size is 44162 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: 400 | 0.00/0.00 c | Number Clauses: 1400 | 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 | 400 1400 3993 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.02 c Current CPU time: 0.003999 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.004999 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.005999 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #29 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #30 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #31 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #32 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #33 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #35 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #36 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #37 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #38 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #39 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #40 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #41 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #42 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #43 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: 43 0.03/0.04 c Current CPU time: 0.023996 s 0.03/0.04 c 0.03/0.04 c core #44 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 44 0.03/0.04 c Current CPU time: 0.023996 s 0.03/0.04 c 0.03/0.04 c core #45 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 45 0.03/0.04 c Current CPU time: 0.024996 s 0.03/0.04 c 0.03/0.04 c core #46 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 46 0.03/0.04 c Current CPU time: 0.024996 s 0.03/0.04 c 0.03/0.04 c core #47 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 47 0.03/0.04 c Current CPU time: 0.025996 s 0.03/0.04 c 0.03/0.04 c core #48 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 48 0.03/0.04 c Current CPU time: 0.025996 s 0.03/0.04 c 0.03/0.04 c core #49 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 49 0.03/0.04 c Current CPU time: 0.026995 s 0.03/0.04 c 0.03/0.04 c core #50 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 50 0.03/0.04 c Current CPU time: 0.027995 s 0.03/0.04 c 0.03/0.04 c core #51 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 51 0.03/0.04 c Current CPU time: 0.027995 s 0.03/0.04 c 0.03/0.04 c core #52 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.03/0.04 c Current CPU time: 0.028995 s 0.03/0.04 c 0.03/0.04 c core #53 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 53 0.03/0.04 c Current CPU time: 0.028995 s 0.03/0.04 c 0.03/0.04 c core #54 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.03/0.04 c Current CPU time: 0.029995 s 0.03/0.04 c 0.03/0.04 c core #55 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 55 0.03/0.04 c Current CPU time: 0.029995 s 0.03/0.04 c 0.03/0.04 c core #56 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.03/0.04 c Current CPU time: 0.030995 s 0.03/0.04 c 0.03/0.04 c core #57 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 57 0.03/0.04 c Current CPU time: 0.030995 s 0.03/0.04 c 0.03/0.04 c core #58 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 58 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #59 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 59 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #60 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 60 0.03/0.04 c Current CPU time: 0.032994 s 0.03/0.04 c 0.03/0.04 c core #61 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 61 0.03/0.04 c Current CPU time: 0.033994 s 0.03/0.04 c 0.03/0.04 c core #62 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 62 0.03/0.04 c Current CPU time: 0.033994 s 0.03/0.04 c 0.03/0.04 c core #63 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 63 0.03/0.04 c Current CPU time: 0.034994 s 0.03/0.04 c 0.03/0.04 c core #64 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 64 0.03/0.04 c Current CPU time: 0.034994 s 0.03/0.04 c 0.03/0.04 c core #65 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 65 0.03/0.04 c Current CPU time: 0.035994 s 0.03/0.04 c 0.03/0.04 c core #66 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 66 0.03/0.04 c Current CPU time: 0.035994 s 0.03/0.04 c 0.03/0.04 c core #67 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 67 0.03/0.04 c Current CPU time: 0.036994 s 0.03/0.04 c 0.03/0.04 c core #68 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 68 0.03/0.04 c Current CPU time: 0.037994 s 0.03/0.04 c 0.03/0.04 c core #69 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 69 0.03/0.04 c Current CPU time: 0.037994 s 0.03/0.04 c 0.03/0.04 c core #70 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 70 0.03/0.04 c Current CPU time: 0.038994 s 0.03/0.04 c 0.03/0.04 c core #71 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 71 0.03/0.04 c Current CPU time: 0.038994 s 0.03/0.04 c 0.03/0.04 c core #72 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 72 0.03/0.04 c Current CPU time: 0.039993 s 0.03/0.04 c 0.03/0.04 c core #73 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 73 0.03/0.04 c Current CPU time: 0.040993 s 0.03/0.04 c 0.03/0.04 c core #74 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 74 0.03/0.04 c Current CPU time: 0.040993 s 0.03/0.04 c 0.03/0.04 c core #75 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 75 0.03/0.04 c Current CPU time: 0.041993 s 0.03/0.04 c 0.03/0.04 c core #76 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 76 0.03/0.04 c Current CPU time: 0.041993 s 0.03/0.04 c 0.03/0.04 c core #77 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 77 0.03/0.04 c Current CPU time: 0.042993 s 0.03/0.04 c 0.03/0.04 c core #78 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 78 0.03/0.04 c Current CPU time: 0.043993 s 0.03/0.04 c 0.03/0.04 c core #79 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 79 0.03/0.04 c Current CPU time: 0.043993 s 0.03/0.04 c 0.03/0.04 c core #80 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 80 0.03/0.04 c Current CPU time: 0.044993 s 0.03/0.04 c 0.03/0.04 c core #81 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 81 0.03/0.04 c Current CPU time: 0.044993 s 0.03/0.04 c 0.03/0.04 c core #82 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 82 0.03/0.04 c Current CPU time: 0.045993 s 0.03/0.04 c 0.03/0.04 c core #83 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 83 0.03/0.04 c Current CPU time: 0.046992 s 0.03/0.04 c 0.03/0.04 c core #84 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 84 0.03/0.04 c Current CPU time: 0.046992 s 0.03/0.04 c 0.03/0.04 c core #85 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: 85 0.03/0.07 c Current CPU time: 0.047992 s 0.03/0.07 c 0.03/0.07 c core #86 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 86 0.03/0.07 c Current CPU time: 0.048992 s 0.03/0.07 c 0.03/0.07 c core #87 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 3 Core Weight: 1 Total Weight: 87 0.03/0.07 c Current CPU time: 0.048992 s 0.03/0.07 c 0.03/0.07 c core #88 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 88 0.03/0.07 c Current CPU time: 0.049992 s 0.03/0.07 c 0.03/0.07 c core #89 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 89 0.03/0.07 c Current CPU time: 0.049992 s 0.03/0.07 c 0.03/0.07 c core #90 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 90 0.03/0.07 c Current CPU time: 0.050992 s 0.03/0.07 c 0.03/0.07 c core #91 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 91 0.03/0.07 c Current CPU time: 0.051992 s 0.03/0.07 c 0.03/0.07 c core #92 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 92 0.03/0.07 c Current CPU time: 0.051992 s 0.03/0.07 c 0.03/0.07 c core #93 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 93 0.03/0.07 c Current CPU time: 0.052991 s 0.03/0.07 c 0.03/0.07 c core #94 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 94 0.03/0.07 c Current CPU time: 0.053991 s 0.03/0.07 c 0.03/0.07 c core #95 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 95 0.03/0.07 c Current CPU time: 0.053991 s 0.03/0.07 c 0.03/0.07 c core #96 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 96 0.03/0.07 c Current CPU time: 0.054991 s 0.03/0.07 c 0.03/0.07 c core #97 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 97 0.03/0.07 c Current CPU time: 0.055991 s 0.03/0.07 c 0.03/0.07 c core #98 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 98 0.03/0.07 c Current CPU time: 0.055991 s 0.03/0.07 c 0.03/0.07 c core #99 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 99 0.03/0.07 c Current CPU time: 0.056991 s 0.03/0.07 c 0.03/0.07 c core #100 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 100 0.03/0.07 c Current CPU time: 0.057991 s 0.03/0.07 c 0.03/0.07 c core #101 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 101 0.03/0.07 c Current CPU time: 0.057991 s 0.03/0.07 c 0.03/0.07 c core #102 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 102 0.03/0.07 c Current CPU time: 0.058991 s 0.03/0.07 c 0.03/0.07 c core #103 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 103 0.03/0.07 c Current CPU time: 0.05999 s 0.03/0.07 c 0.03/0.07 c core #104 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 104 0.03/0.07 c Current CPU time: 0.05999 s 0.03/0.07 c 0.03/0.07 c core #105 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 105 0.03/0.07 c Current CPU time: 0.06099 s 0.03/0.07 c 0.03/0.07 c core #106 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 106 0.03/0.07 c Current CPU time: 0.06199 s 0.03/0.07 c 0.03/0.07 c core #107 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 107 0.03/0.07 c Current CPU time: 0.06299 s 0.03/0.07 c 0.03/0.07 c core #108 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 108 0.03/0.07 c Current CPU time: 0.06299 s 0.03/0.07 c 0.03/0.07 c core #109 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: 109 0.03/0.07 c Current CPU time: 0.06399 s 0.03/0.07 c 0.03/0.07 c core #110 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 7 Core Weight: 1 Total Weight: 110 0.03/0.07 c Current CPU time: 0.06499 s 0.03/0.07 c 0.03/0.07 c core #111 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 10 Core Weight: 1 Total Weight: 111 0.03/0.07 c Current CPU time: 0.06499 s 0.03/0.07 c 0.03/0.07 c core #112 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 5 Core Weight: 1 Total Weight: 112 0.03/0.07 c Current CPU time: 0.065989 s 0.03/0.07 c 0.03/0.07 c core #113 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 10 Core Weight: 1 Total Weight: 113 0.03/0.07 c Current CPU time: 0.066989 s 0.03/0.07 c 0.03/0.07 c core #114 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 23 Core Weight: 1 Total Weight: 114 0.03/0.07 c Current CPU time: 0.067989 s 0.03/0.07 c 0.03/0.07 c core #115 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 20 Core Weight: 1 Total Weight: 115 0.03/0.07 c Current CPU time: 0.067989 s 0.03/0.07 c 0.03/0.07 c core #116 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 57 Core Weight: 1 Total Weight: 116 0.03/0.07 c Current CPU time: 0.068989 s 0.03/0.07 c 0.03/0.07 c core #117 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 7 Core Weight: 1 Total Weight: 117 0.03/0.07 c Current CPU time: 0.069989 s 0.03/0.07 c 0.03/0.07 c core #118 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 8 Core Weight: 1 Total Weight: 118 0.03/0.07 c Current CPU time: 0.070989 s 0.03/0.07 c 0.03/0.07 c core #119 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 41 Core Weight: 1 Total Weight: 119 0.03/0.07 c Current CPU time: 0.070989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 766 1919 5129 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #120 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 29 Core Weight: 1 Total Weight: 120 0.03/0.07 c Current CPU time: 0.071989 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 801 1920 5190 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #121 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 68 Core Weight: 1 Total Weight: 121 0.03/0.07 c Current CPU time: 0.072988 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 849 1921 5291 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #122 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 51 Core Weight: 1 Total Weight: 122 0.03/0.07 c Current CPU time: 0.074988 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 883 1923 5361 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #123 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 106 Core Weight: 1 Total Weight: 123 0.03/0.07 c Current CPU time: 0.076988 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 972 1924 5539 | 5000 0 -nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #124 0.03/0.07 c 0.03/0.07 c 0.03/0.07 c Core size: 68 Core Weight: 1 Total Weight: 124 0.03/0.07 c Current CPU time: 0.077988 s 0.03/0.07 c 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 1001 1926 5599 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #125 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 97 Core Weight: 1 Total Weight: 125 0.03/0.08 c Current CPU time: 0.079987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 1076 1928 5752 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #126 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 36 Core Weight: 1 Total Weight: 126 0.03/0.08 c Current CPU time: 0.081987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 1098 1934 5807 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #127 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 96 Core Weight: 1 Total Weight: 127 0.03/0.08 c Current CPU time: 0.083987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 1176 1937 5969 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #128 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 11 Core Weight: 1 Total Weight: 128 0.03/0.08 c Current CPU time: 0.084987 s 0.03/0.08 c 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 1176 1942 5984 | 5000 0 -nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.09 c core #129 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 49 Core Weight: 1 Total Weight: 129 0.03/0.09 c Current CPU time: 0.086986 s 0.03/0.09 c 0.03/0.09 c core #130 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 87 Core Weight: 1 Total Weight: 130 0.03/0.09 c Current CPU time: 0.087986 s 0.03/0.09 c 0.03/0.09 c core #131 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 65 Core Weight: 1 Total Weight: 131 0.03/0.09 c Current CPU time: 0.088986 s 0.03/0.09 c 0.03/0.09 c core #132 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 104 Core Weight: 1 Total Weight: 132 0.03/0.09 c Current CPU time: 0.089986 s 0.03/0.09 c 0.03/0.09 c core #133 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 118 Core Weight: 1 Total Weight: 133 0.03/0.09 c Current CPU time: 0.090986 s 0.03/0.09 c 0.03/0.09 c core #134 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 119 Core Weight: 1 Total Weight: 134 0.03/0.09 c Current CPU time: 0.091986 s 0.03/0.09 c 0.03/0.09 c core #135 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 140 Core Weight: 1 Total Weight: 135 0.03/0.09 c Current CPU time: 0.092985 s 0.03/0.09 c 0.03/0.09 c core #136 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 119 Core Weight: 1 Total Weight: 136 0.03/0.09 c Current CPU time: 0.093985 s 0.03/0.09 c 0.03/0.09 c core #137 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 156 Core Weight: 1 Total Weight: 137 0.03/0.09 c Current CPU time: 0.095985 s 0.03/0.09 c 0.03/0.09 c core #138 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 124 Core Weight: 1 Total Weight: 138 0.03/0.09 c Current CPU time: 0.096985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 729 1955 6056 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #139 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 121 Core Weight: 1 Total Weight: 139 0.03/0.09 c Current CPU time: 0.097985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.10 c =============================================================================== 0.03/0.10 c | 0 | 775 1956 6074 | 5000 0 -nan | 0.000 % | 0.03/0.10 c =============================================================================== 0.09/0.10 c core #140 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 132 Core Weight: 1 Total Weight: 140 0.09/0.10 c Current CPU time: 0.098984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 780 1957 6084 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #141 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 162 Core Weight: 1 Total Weight: 141 0.09/0.10 c Current CPU time: 0.100984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 792 1958 6102 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #142 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 140 Core Weight: 1 Total Weight: 142 0.09/0.10 c Current CPU time: 0.101984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 798 1959 6114 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #143 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 204 Core Weight: 1 Total Weight: 143 0.09/0.10 c Current CPU time: 0.103984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 816 1960 6140 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #144 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 216 Core Weight: 1 Total Weight: 144 0.09/0.10 c Current CPU time: 0.105983 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 828 1961 6164 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #145 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 89 Core Weight: 1 Total Weight: 145 0.09/0.10 c Current CPU time: 0.106983 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 833 1962 6174 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.11 c core #146 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 148 Core Weight: 1 Total Weight: 146 0.09/0.11 c Current CPU time: 0.108983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 841 1963 6190 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #147 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 95 Core Weight: 1 Total Weight: 147 0.09/0.11 c Current CPU time: 0.109983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 845 1964 6198 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #148 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 230 Core Weight: 1 Total Weight: 148 0.09/0.11 c Current CPU time: 0.112982 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 862 1965 6232 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #149 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 169 Core Weight: 1 Total Weight: 149 0.09/0.11 c Current CPU time: 0.114982 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 872 1966 6252 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 100 | 871 1966 6252 | 5500 100 16 | 33.790 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #150 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 180 Core Weight: 1 Total Weight: 150 0.09/0.12 c Current CPU time: 0.117982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 884 1967 6276 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #151 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 171 Core Weight: 1 Total Weight: 151 0.09/0.12 c Current CPU time: 0.119981 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 892 1968 6292 | 5000 0 -nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #152 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 149 Core Weight: 1 Total Weight: 152 0.09/0.12 c Current CPU time: 0.121981 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 900 1969 6308 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 101 | 900 1969 6308 | 5500 101 15 | 33.010 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #153 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 196 Core Weight: 1 Total Weight: 153 0.09/0.12 c Current CPU time: 0.12598 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 916 1970 6340 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 101 | 915 1970 6340 | 5500 101 18 | 32.622 % | 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: 201 Core Weight: 1 Total Weight: 154 0.09/0.13 c Current CPU time: 0.12998 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 934 1971 6370 | 5000 0 -nan | 0.000 % | 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: 196 Core Weight: 1 Total Weight: 155 0.09/0.13 c Current CPU time: 0.13098 s 0.09/0.13 c 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 950 1972 6390 | 5000 0 -nan | 0.000 % | 0.09/0.13 c | 102 | 950 1972 6390 | 5500 102 23 | 31.309 % | 0.09/0.13 c | 252 | 950 1972 6390 | 6050 252 26 | 31.309 % | 0.09/0.14 c | 482 | 934 1972 6390 | 6655 482 28 | 32.468 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #156 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 198 Core Weight: 1 Total Weight: 156 0.09/0.14 c Current CPU time: 0.140978 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 966 1973 6422 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 102 | 966 1973 6422 | 5500 102 30 | 30.951 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #157 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 223 Core Weight: 1 Total Weight: 157 0.09/0.14 c Current CPU time: 0.144977 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 981 1974 6452 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 101 | 981 1974 6452 | 5500 101 23 | 30.622 % | 0.09/0.14 c =============================================================================== 0.09/0.15 c core #158 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 123 Core Weight: 1 Total Weight: 158 0.09/0.15 c Current CPU time: 0.147977 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 985 1975 6460 | 5000 0 -nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #159 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 149 Core Weight: 1 Total Weight: 159 0.09/0.15 c Current CPU time: 0.149977 s 0.09/0.15 c 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 993 1976 6476 | 5000 0 -nan | 0.000 % | 0.09/0.15 c | 101 | 993 1976 6476 | 5500 101 30 | 30.365 % | 0.09/0.15 c | 252 | 987 1976 6476 | 6050 252 24 | 30.785 % | 0.09/0.15 c =============================================================================== 0.09/0.16 c core #160 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 263 Core Weight: 1 Total Weight: 160 0.09/0.16 c Current CPU time: 0.156976 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1022 1977 6534 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #161 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 179 Core Weight: 1 Total Weight: 161 0.09/0.16 c Current CPU time: 0.158975 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1035 1978 6560 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 102 | 1035 1978 6560 | 5500 102 30 | 29.496 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #162 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 118 Core Weight: 1 Total Weight: 162 0.09/0.16 c Current CPU time: 0.162975 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1044 1979 6578 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #163 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 177 Core Weight: 1 Total Weight: 163 0.09/0.16 c Current CPU time: 0.164974 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1055 1980 6600 | 5000 0 -nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #164 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 119 Core Weight: 1 Total Weight: 164 0.09/0.16 c Current CPU time: 0.166974 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1063 1981 6616 | 5000 0 -nan | 0.000 % | 0.09/0.17 c | 100 | 1063 1981 6616 | 5500 100 24 | 28.944 % | 0.09/0.17 c | 251 | 1063 1981 6616 | 6050 251 26 | 28.944 % | 0.09/0.17 c | 476 | 1054 1981 6616 | 6655 476 26 | 37.299 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #165 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 200 Core Weight: 1 Total Weight: 165 0.09/0.17 c Current CPU time: 0.175973 s 0.09/0.17 c 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 1084 1982 6658 | 5000 0 -nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #166 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 191 Core Weight: 1 Total Weight: 166 0.09/0.18 c Current CPU time: 0.178972 s 0.09/0.18 c 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 1093 1983 6676 | 5000 0 -nan | 0.000 % | 0.09/0.18 c | 101 | 1093 1983 6676 | 5500 101 30 | 28.375 % | 0.09/0.18 c | 252 | 1093 1983 6676 | 6050 252 26 | 28.375 % | 0.09/0.19 c | 478 | 1093 1983 6676 | 6655 478 32 | 28.375 % | 0.09/0.19 c | 817 | 1093 1983 6676 | 7320 817 35 | 28.375 % | 0.19/0.21 c | 1324 | 1093 1983 6676 | 8052 1324 37 | 28.375 % | 0.19/0.22 c =============================================================================== 0.19/0.23 c core #167 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 223 Core Weight: 1 Total Weight: 167 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 | 1121 1984 6732 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #168 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 212 Core Weight: 1 Total Weight: 168 0.19/0.23 c Current CPU time: 0.230964 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1134 1985 6758 | 5000 0 -nan | 0.000 % | 0.19/0.23 c | 102 | 1134 1985 6758 | 5500 102 22 | 27.632 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #169 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 150 Core Weight: 1 Total Weight: 169 0.19/0.23 c Current CPU time: 0.233964 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 1143 1986 6776 | 5000 0 -nan | 0.000 % | 0.19/0.24 c | 101 | 1143 1986 6776 | 5500 101 27 | 27.475 % | 0.19/0.24 c | 252 | 1143 1986 6776 | 6050 252 21 | 27.475 % | 0.19/0.24 c | 479 | 1143 1986 6776 | 6655 479 26 | 27.475 % | 0.19/0.25 c | 816 | 1141 1986 6776 | 7320 816 31 | 27.602 % | 0.19/0.26 c | 1322 | 1141 1986 6776 | 8052 1322 35 | 27.602 % | 0.19/0.29 c | 2087 | 1141 1986 6776 | 8857 2087 39 | 27.602 % | 0.29/0.36 c | 3229 | 1141 1986 6776 | 9743 3229 44 | 27.606 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #170 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 288 Core Weight: 1 Total Weight: 170 0.29/0.39 c Current CPU time: 0.384941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1178 1987 6846 | 5000 0 -nan | 0.000 % | 0.29/0.39 c | 102 | 1178 1987 6846 | 5500 102 23 | 26.878 % | 0.29/0.39 c | 252 | 1177 1987 6846 | 6050 252 21 | 26.940 % | 0.39/0.40 c | 478 | 1162 1987 6846 | 6655 478 27 | 30.478 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #171 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 192 Core Weight: 1 Total Weight: 171 0.39/0.40 c Current CPU time: 0.397939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1200 1988 6890 | 5000 0 -nan | 0.000 % | 0.39/0.40 c | 100 | 1200 1988 6890 | 5500 100 30 | 26.516 % | 0.39/0.41 c | 252 | 1200 1988 6890 | 6050 252 35 | 26.516 % | 0.39/0.41 c | 478 | 1200 1988 6890 | 6655 478 38 | 26.516 % | 0.39/0.42 c | 816 | 1200 1988 6890 | 7320 816 43 | 26.516 % | 0.39/0.44 c | 1325 | 1200 1988 6890 | 8052 1325 51 | 26.516 % | 0.39/0.49 c | 2087 | 1200 1988 6890 | 8857 2087 56 | 26.516 % | 0.49/0.57 c | 3228 | 1200 1988 6890 | 9743 3228 60 | 26.516 % | 0.79/0.80 c | 4936 | 1200 1988 6890 | 10717 4936 63 | 26.516 % | 1.11/1.19 c | 7499 | 1200 1988 6890 | 11789 7499 65 | 26.516 % | 1.69/1.76 c | 11343 | 1200 1988 6890 | 12968 11343 65 | 26.516 % | 2.79/2.87 c | 17110 | 1200 1988 6890 | 14265 10345 64 | 26.516 % | 4.49/4.58 c | 25763 | 1200 1988 6890 | 15692 11601 68 | 26.516 % | 6.69/6.73 c =============================================================================== 6.89/6.96 c core #172 6.89/6.96 c 6.89/6.96 c 6.89/6.96 c Core size: 271 Core Weight: 1 Total Weight: 172 6.89/6.96 c Current CPU time: 6.90095 s 6.89/6.96 c 6.89/6.96 c ============================[ Search Statistics ]============================== 6.89/6.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.96 c =============================================================================== 6.89/6.96 c | 0 | 1232 1989 6954 | 5000 0 -nan | 0.000 % | 6.89/6.96 c | 100 | 1232 1989 6954 | 5500 100 31 | 26.006 % | 6.89/6.97 c | 251 | 1232 1989 6954 | 6050 251 35 | 26.006 % | 6.89/6.97 c | 477 | 1232 1989 6954 | 6655 477 42 | 26.006 % | 6.89/6.98 c | 816 | 1232 1989 6954 | 7320 816 49 | 26.006 % | 6.99/7.01 c | 1323 | 1232 1989 6954 | 8052 1323 51 | 26.006 % | 6.99/7.05 c | 2087 | 1232 1989 6954 | 8857 2087 52 | 26.006 % | 7.09/7.15 c | 3230 | 1232 1989 6954 | 9743 3230 54 | 26.006 % | 7.19/7.27 c | 4939 | 1232 1989 6954 | 10717 4939 55 | 26.006 % | 7.60/7.63 c | 7502 | 1232 1989 6954 | 11789 7502 55 | 26.006 % | 8.29/8.31 c | 11347 | 1232 1989 6954 | 12968 11347 57 | 26.006 % | 9.19/9.27 c | 17113 | 1232 1989 6954 | 14265 10378 57 | 26.006 % | 9.91/9.93 c =============================================================================== 9.99/10.03 c core #173 9.99/10.03 c 9.99/10.03 c 9.99/10.03 c Core size: 212 Core Weight: 1 Total Weight: 173 9.99/10.03 c Current CPU time: 9.95649 s 9.99/10.03 c 9.99/10.03 c ============================[ Search Statistics ]============================== 9.99/10.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.03 c =============================================================================== 9.99/10.03 c | 0 | 1256 1990 7002 | 5000 0 -nan | 0.000 % | 9.99/10.04 c | 100 | 1256 1990 7002 | 5500 100 38 | 25.637 % | 9.99/10.04 c =============================================================================== 9.99/10.04 c core #174 9.99/10.04 c 9.99/10.04 c 9.99/10.04 c Core size: 153 Core Weight: 1 Total Weight: 174 9.99/10.04 c Current CPU time: 9.96848 s 9.99/10.04 c 9.99/10.04 c ============================[ Search Statistics ]============================== 9.99/10.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.04 c =============================================================================== 9.99/10.04 c | 0 | 1265 1991 7020 | 5000 0 -nan | 0.000 % | 9.99/10.04 c | 101 | 1265 1991 7020 | 5500 101 26 | 25.501 % | 9.99/10.04 c | 251 | 1265 1991 7020 | 6050 251 33 | 25.501 % | 9.99/10.05 c | 476 | 1265 1991 7020 | 6655 476 31 | 25.501 % | 9.99/10.06 c | 819 | 1265 1991 7020 | 7320 819 46 | 25.501 % | 9.99/10.07 c | 1325 | 1265 1991 7020 | 8052 1325 41 | 25.501 % | 10.09/10.10 c | 2084 | 1265 1991 7020 | 8857 2084 52 | 25.501 % | 10.09/10.15 c | 3225 | 1265 1991 7020 | 9743 3225 49 | 25.501 % | 10.19/10.24 c | 4934 | 1265 1991 7020 | 10717 4934 57 | 25.501 % | 10.49/10.52 c | 7496 | 1265 1991 7020 | 11789 7496 61 | 25.501 % | 10.90/10.99 c | 11340 | 1265 1991 7020 | 12968 11340 65 | 25.501 % | 11.89/12.01 c | 17107 | 1265 1991 7020 | 14265 10377 70 | 25.504 % | 12.60/12.68 c =============================================================================== 12.70/12.78 c core #175 12.70/12.78 c 12.70/12.78 c 12.70/12.78 c Core size: 267 Core Weight: 1 Total Weight: 175 12.70/12.78 c Current CPU time: 12.6721 s 12.70/12.78 c 12.70/12.78 c ============================[ Search Statistics ]============================== 12.70/12.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.70/12.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.70/12.78 c =============================================================================== 12.70/12.78 c | 0 | 1300 1992 7090 | 5000 0 -nan | 0.000 % | 12.70/12.78 c | 102 | 1300 1992 7090 | 5500 102 32 | 24.986 % | 12.70/12.78 c | 252 | 1300 1992 7090 | 6050 252 40 | 24.986 % | 12.70/12.78 c | 478 | 1300 1992 7090 | 6655 478 41 | 24.986 % | 12.70/12.79 c | 817 | 1300 1992 7090 | 7320 817 48 | 24.986 % | 12.79/12.81 c | 1333 | 1300 1992 7090 | 8052 1333 58 | 24.986 % | 12.79/12.84 c | 2092 | 1300 1992 7090 | 8857 2092 71 | 24.986 % | 12.89/12.92 c | 3231 | 1300 1992 7090 | 9743 3231 83 | 24.986 % | 12.99/13.08 c | 4939 | 1300 1992 7090 | 10717 4939 83 | 24.986 % | 13.29/13.34 c | 7502 | 1300 1992 7090 | 11789 7502 86 | 24.986 % | 13.89/13.93 c | 11347 | 1300 1992 7090 | 12968 11347 90 | 24.986 % | 14.69/14.78 c | 17116 | 1300 1992 7090 | 14265 10324 91 | 24.986 % | 16.69/16.75 c | 25765 | 1300 1992 7090 | 15692 11559 90 | 24.986 % | 19.49/19.57 c | 38739 | 1300 1992 7090 | 17261 8235 99 | 24.986 % | 24.80/24.82 c | 58201 | 1300 1992 7090 | 18987 9869 100 | 24.986 % | 28.89/28.90 c =============================================================================== 28.89/28.93 c core #176 28.89/28.93 c 28.89/28.93 c 28.89/28.93 c Core size: 179 Core Weight: 1 Total Weight: 176 28.89/28.93 c Current CPU time: 28.7346 s 28.89/28.93 c 28.89/28.93 c ============================[ Search Statistics ]============================== 28.89/28.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.89/28.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.89/28.93 c =============================================================================== 28.89/28.93 c | 0 | 1312 1993 7114 | 5000 0 -nan | 0.000 % | 28.89/28.93 c | 102 | 1312 1993 7114 | 5500 102 47 | 24.814 % | 28.89/28.93 c | 252 | 1311 1993 7114 | 6050 252 33 | 24.871 % | 28.89/28.94 c | 477 | 1311 1993 7114 | 6655 477 28 | 24.871 % | 28.89/28.94 c =============================================================================== 28.89/28.94 c core #177 28.89/28.94 c 28.89/28.94 c 28.89/28.94 c Core size: 151 Core Weight: 1 Total Weight: 177 28.89/28.94 c Current CPU time: 28.7726 s 28.89/28.94 c 28.89/28.94 c ============================[ Search Statistics ]============================== 28.89/28.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.89/28.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.89/28.94 c =============================================================================== 28.89/28.94 c | 0 | 1321 1994 7132 | 5000 0 -nan | 0.000 % | 28.89/28.95 c | 101 | 1321 1994 7132 | 5500 101 49 | 24.686 % | 28.89/28.95 c | 251 | 1321 1994 7132 | 6050 251 37 | 24.686 % | 28.89/28.95 c | 476 | 1321 1994 7132 | 6655 476 50 | 24.686 % | 28.89/28.96 c | 816 | 1321 1994 7132 | 7320 816 69 | 24.686 % | 28.89/28.99 c | 1325 | 1321 1994 7132 | 8052 1325 84 | 24.686 % | 28.99/29.07 c | 2084 | 1321 1994 7132 | 8857 2084 95 | 24.686 % | 29.19/29.20 c | 3223 | 1321 1994 7132 | 9743 3223 102 | 24.686 % | 29.39/29.45 c | 4932 | 1321 1994 7132 | 10717 4932 104 | 24.686 % | 29.90/29.99 c | 7498 | 1321 1994 7132 | 11789 7498 103 | 24.686 % | 30.81/30.84 c | 11343 | 1321 1994 7132 | 12968 11343 101 | 24.686 % | 32.19/32.21 c | 17111 | 1321 1994 7132 | 14265 10341 98 | 24.686 % | 34.19/34.26 c | 25763 | 1321 1994 7132 | 15692 11545 93 | 24.686 % | 36.20/36.23 c | 38738 | 1321 1994 7132 | 17261 8195 67 | 24.686 % | 37.79/37.80 c =============================================================================== 37.89/37.91 c core #178 37.89/37.91 c 37.89/37.91 c 37.89/37.91 c Core size: 271 Core Weight: 1 Total Weight: 178 37.89/37.91 c Current CPU time: 37.6753 s 37.89/37.91 c 37.89/37.91 c ============================[ Search Statistics ]============================== 37.89/37.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.89/37.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.89/37.91 c =============================================================================== 37.89/37.91 c | 0 | 1352 1995 7194 | 5000 0 -nan | 0.000 % | 37.89/37.92 c | 100 | 1352 1995 7194 | 5500 100 46 | 24.258 % | 37.89/37.92 c | 250 | 1352 1995 7194 | 6050 250 34 | 24.258 % | 37.89/37.92 c | 476 | 1352 1995 7194 | 6655 476 55 | 24.258 % | 37.89/37.93 c | 813 | 1352 1995 7194 | 7320 813 63 | 24.258 % | 37.89/37.95 c | 1321 | 1352 1995 7194 | 8052 1321 84 | 24.258 % | 37.89/37.99 c | 2081 | 1352 1995 7194 | 8857 2081 89 | 24.258 % | 37.99/38.06 c | 3222 | 1352 1995 7194 | 9743 3222 99 | 24.258 % | 38.19/38.23 c | 4930 | 1352 1995 7194 | 10717 4930 104 | 24.258 % | 38.51/38.57 c | 7493 | 1352 1995 7194 | 11789 7493 107 | 24.258 % | 39.00/39.09 c | 11338 | 1352 1995 7194 | 12968 11338 109 | 24.258 % | 39.69/39.75 c | 17104 | 1352 1995 7194 | 14265 10308 100 | 24.258 % | 41.29/41.36 c | 25753 | 1352 1995 7194 | 15692 11552 102 | 24.258 % | 43.59/43.60 c | 38728 | 1352 1995 7194 | 17261 8262 94 | 24.258 % | 47.99/48.05 c | 58191 | 1352 1995 7194 | 18987 9893 99 | 24.258 % | 55.09/55.14 c | 87386 | 1352 1995 7194 | 20886 9781 104 | 24.258 % | 66.79/66.80 c | 131175 | 1352 1995 7194 | 22974 10719 98 | 24.258 % | 83.61/83.65 c | 196861 | 1352 1995 7194 | 25272 17453 104 | 24.258 % | 123.49/123.55 c | 295388 | 1348 1995 7194 | 27799 23874 144 | 24.482 % | 172.50/172.54 c | 443178 | 1348 1995 7194 | 30579 16711 99 | 24.482 % | 242.50/242.54 c | 664865 | 1348 1995 7194 | 33637 22109 102 | 24.482 % | 342.60/342.62 c | 997390 | 1348 1995 7194 | 37001 21603 92 | 24.482 % | 368.00/368.04 c =============================================================================== 378.20/378.31 c core #179 378.20/378.31 c 378.20/378.31 c 378.20/378.31 c Core size: 341 Core Weight: 1 Total Weight: 179 378.20/378.31 c Current CPU time: 376.451 s 378.20/378.31 c 378.20/378.31 c ============================[ Search Statistics ]============================== 378.20/378.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 378.20/378.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 378.20/378.31 c =============================================================================== 378.20/378.31 c | 0 | 1412 1996 7314 | 5000 0 -nan | 0.000 % | 378.32/378.32 c | 100 | 1412 1996 7314 | 5500 100 29 | 23.469 % | 378.32/378.32 c | 250 | 1411 1996 7314 | 6050 250 40 | 23.523 % | 378.32/378.32 c | 478 | 1404 1996 7314 | 6655 478 40 | 23.902 % | 378.32/378.33 c | 816 | 1403 1996 7314 | 7320 816 41 | 23.957 % | 378.32/378.34 c =============================================================================== 378.32/378.35 c core #180 378.32/378.35 c 378.32/378.35 c 378.32/378.35 c Core size: 214 Core Weight: 1 Total Weight: 180 378.32/378.35 c Current CPU time: 377.059 s 378.32/378.35 c 378.32/378.35 c ============================[ Search Statistics ]============================== 378.32/378.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 378.32/378.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 378.32/378.35 c =============================================================================== 378.32/378.35 c | 0 | 1432 1997 7354 | 5000 0 -nan | 0.000 % | 378.32/378.35 c | 100 | 1432 1997 7354 | 5500 100 40 | 23.217 % | 378.32/378.35 c | 250 | 1432 1997 7354 | 6050 250 52 | 23.217 % | 378.32/378.36 c | 478 | 1432 1997 7354 | 6655 478 47 | 23.217 % | 378.32/378.36 c | 817 | 1432 1997 7354 | 7320 817 43 | 23.217 % | 378.32/378.38 c | 1326 | 1432 1997 7354 | 8052 1326 58 | 23.217 % | 378.42/378.43 c | 2087 | 1432 1997 7354 | 8857 2087 86 | 23.217 % | 378.60/378.61 c | 3234 | 1432 1997 7354 | 9743 3234 108 | 23.217 % | 378.90/378.96 c | 4943 | 1432 1997 7354 | 10717 4943 124 | 23.217 % | 379.52/379.55 c | 7509 | 1432 1997 7354 | 11789 7509 136 | 23.217 % | 380.30/380.37 c | 11353 | 1432 1997 7354 | 12968 11353 136 | 23.217 % | 381.30/381.34 c | 17119 | 1432 1997 7354 | 14265 10354 134 | 23.217 % | 383.00/383.07 c | 25772 | 1432 1997 7354 | 15692 11595 144 | 23.217 % | 386.30/386.33 c | 38746 | 1432 1997 7354 | 17261 8300 129 | 23.217 % | 389.80/389.86 c | 58209 | 1431 1997 7354 | 18987 9757 114 | 23.271 % | 397.02/397.08 c | 87403 | 1431 1997 7354 | 20886 19230 135 | 23.271 % | 408.11/408.15 c | 131194 | 1431 1997 7354 | 22974 19990 138 | 23.271 % | 426.20/426.24 c | 196881 | 1431 1997 7354 | 25272 15016 144 | 23.271 % | 450.60/450.63 c | 295409 | 1431 1997 7354 | 27799 21332 116 | 23.271 % | 494.01/494.04 c | 443200 | 1431 1997 7354 | 30579 15484 122 | 23.271 % | 568.41/568.48 c | 664883 | 1431 1997 7354 | 33637 21902 165 | 23.271 % | 697.21/697.21 c | 997408 | 1431 1997 7354 | 37001 26644 139 | 23.271 % | 864.22/864.39 c | 1496196 | 1431 1997 7354 | 40701 25028 123 | 23.271 % | 1194.24/1194.31 c | 2244378 | 1430 1997 7354 | 44771 34975 127 | 23.324 % | 1546.04/1546.13 c =============================================================================== 1548.94/1549.05 c core #181 1548.94/1549.05 c 1548.94/1549.05 c 1548.94/1549.05 c Core size: 372 Core Weight: 1 Total Weight: 181 1548.94/1549.05 c Current CPU time: 1543.07 s 1548.94/1549.05 c 1548.94/1549.05 c ============================[ Search Statistics ]============================== 1548.94/1549.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1548.94/1549.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1548.94/1549.05 c =============================================================================== 1548.94/1549.05 c | 0 | 1507 1998 7504 | 5000 0 -nan | 0.000 % | 1548.94/1549.05 c | 101 | 1507 1998 7504 | 5500 101 59 | 22.320 % | 1548.94/1549.05 c | 252 | 1507 1998 7504 | 6050 252 44 | 22.320 % | 1548.94/1549.06 c | 477 | 1507 1998 7504 | 6655 477 42 | 22.320 % | 1548.94/1549.06 c | 819 | 1507 1998 7504 | 7320 819 56 | 22.320 % | 1548.94/1549.08 c | 1326 | 1507 1998 7504 | 8052 1326 60 | 22.320 % | 1549.04/1549.11 c | 2085 | 1507 1998 7504 | 8857 2085 78 | 22.320 % | 1549.04/1549.17 c | 3224 | 1507 1998 7504 | 9743 3224 96 | 22.320 % | 1549.25/1549.34 c | 4933 | 1507 1998 7504 | 10717 4933 115 | 22.320 % | 1549.64/1549.75 c | 7495 | 1507 1998 7504 | 11789 7495 138 | 22.320 % | 1550.44/1550.55 c | 11341 | 1507 1998 7504 | 12968 11341 153 | 22.320 % | 1551.54/1551.63 c | 17109 | 1507 1998 7504 | 14265 10320 163 | 22.320 % | 1553.94/1554.04 c | 25758 | 1507 1998 7504 | 15692 11531 171 | 22.320 % | 1557.24/1557.38 c | 38732 | 1507 1998 7504 | 17261 16384 172 | 22.320 % | 1561.04/1561.19 c | 58197 | 1507 1998 7504 | 18987 17888 167 | 22.320 % | 1569.67/1569.75 c | 87391 | 1507 1998 7504 | 20886 17707 172 | 22.320 % | 1582.25/1582.31 c | 131183 | 1507 1998 7504 | 22974 18390 173 | 22.320 % | 1616.04/1616.16 c | 196870 | 1507 1998 7504 | 25272 13341 189 | 22.320 % | 1677.24/1677.37 c | 295402 | 1507 1998 7504 | 27799 18540 177 | 22.320 % | 1750.35/1750.43 c | 443191 | 1507 1998 7504 | 30579 24239 206 | 22.320 % |
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-3461384-1307083625/watcher-3461384-1307083625 -o /tmp/evaluation-result-3461384-1307083625/solver-3461384-1307083625 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461384-1307083625.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.62 1.85 2/468 24019 /proc/meminfo: memFree=20430624/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=2368 CPUtime=0.01 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 400 0 0 0 1 0 0 0 22 0 1 0 819962180 2424832 342 33554432000 4194304 5714214 140735984830688 18446744073709551615 4977340 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 592 343 175 372 0 217 0 [startup+0.033315 s] /proc/loadavg: 1.02 1.62 1.85 2/468 24019 /proc/meminfo: memFree=20430624/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=2572 CPUtime=0.03 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 442 0 0 0 3 0 0 0 22 0 1 0 819962180 2633728 384 33554432000 4194304 5714214 140735984830688 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 643 384 175 372 0 268 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2572 [startup+0.100365 s] /proc/loadavg: 1.02 1.62 1.85 2/468 24019 /proc/meminfo: memFree=20430624/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=3360 CPUtime=0.09 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 644 0 0 0 9 0 0 0 18 0 1 0 819962180 3440640 573 33554432000 4194304 5714214 140735984830688 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 840 573 179 372 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3360 [startup+0.300333 s] /proc/loadavg: 1.02 1.62 1.85 2/468 24019 /proc/meminfo: memFree=20430624/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=4136 CPUtime=0.29 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 878 0 0 0 29 0 0 0 18 0 1 0 819962180 4235264 791 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 1034 791 180 372 0 659 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4136 [startup+0.700263 s] /proc/loadavg: 1.02 1.62 1.85 2/468 24019 /proc/meminfo: memFree=20430624/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=5100 CPUtime=0.69 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 1120 0 0 0 69 0 0 0 18 0 1 0 819962180 5222400 1033 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 1275 1033 180 372 0 900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5100 [startup+1.50108 s] /proc/loadavg: 1.02 1.62 1.85 3/474 24052 /proc/meminfo: memFree=20422456/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=7700 CPUtime=1.49 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 1766 0 0 0 148 1 0 0 19 0 1 0 819962180 7884800 1679 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 1925 1679 180 372 0 1550 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7700 [startup+3.10084 s] /proc/loadavg: 1.02 1.62 1.85 3/474 24052 /proc/meminfo: memFree=20412444/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=10724 CPUtime=3.1 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 2480 0 0 0 307 3 0 0 24 0 1 0 819962180 10981376 2393 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 2681 2393 180 372 0 2306 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10724 [startup+6.30027 s] /proc/loadavg: 1.10 1.63 1.85 3/474 24052 /proc/meminfo: memFree=20399760/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=14876 CPUtime=6.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 3517 0 0 0 625 5 0 0 25 0 1 0 819962180 15233024 3430 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 3719 3430 180 372 0 3344 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 14876 [startup+12.7011 s] /proc/loadavg: 1.17 1.63 1.85 3/474 24052 /proc/meminfo: memFree=20389448/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=14468 CPUtime=12.7 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 3830 0 0 0 1260 10 0 0 25 0 1 0 819962180 14815232 3372 33554432000 4194304 5714214 140735984830688 18446744073709551615 4198464 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 3617 3372 180 372 0 3242 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 14468 [startup+25.5008 s] /proc/loadavg: 1.35 1.65 1.85 3/474 24053 /proc/meminfo: memFree=20368748/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=22408 CPUtime=25.49 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 5734 0 0 0 2533 16 0 0 25 0 1 0 819962180 22945792 5276 33554432000 4194304 5714214 140735984830688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 5602 5276 180 372 0 5227 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22408 [startup+51.1003 s] /proc/loadavg: 1.57 1.68 1.86 3/474 24053 /proc/meminfo: memFree=20336600/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=25876 CPUtime=51.09 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 7399 0 0 0 5081 28 0 0 25 0 1 0 819962180 26497024 6172 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 6469 6172 180 372 0 6094 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 25876 [startup+102.317 s] /proc/loadavg: 1.81 1.72 1.86 3/474 24055 /proc/meminfo: memFree=20264280/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=61124 CPUtime=102.31 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 16043 0 0 0 10185 46 0 0 25 0 1 0 819962180 62590976 14816 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 15281 14816 180 372 0 14906 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 61124 [startup+162.301 s] /proc/loadavg: 1.93 1.77 1.87 3/474 24056 /proc/meminfo: memFree=20242792/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=83196 CPUtime=162.29 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 21439 0 0 0 16169 60 0 0 25 0 1 0 819962180 85192704 20212 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 20799 20212 180 372 0 20424 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 83196 [startup+222.3 s] /proc/loadavg: 1.97 1.81 1.87 3/474 24058 /proc/meminfo: memFree=20211748/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=112884 CPUtime=222.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 28829 0 0 0 22151 79 0 0 25 0 1 0 819962180 115593216 27602 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 28221 27602 180 372 0 27846 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 112884 [startup+282.301 s] /proc/loadavg: 1.99 1.84 1.88 3/474 24059 /proc/meminfo: memFree=20154676/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=145252 CPUtime=282.29 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 36865 0 0 0 28131 98 0 0 25 0 1 0 819962180 148738048 35638 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 36313 35638 180 372 0 35938 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 145252 [startup+342.301 s] /proc/loadavg: 1.99 1.87 1.88 3/474 24061 /proc/meminfo: memFree=20099208/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=170644 CPUtime=342.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 43134 0 0 0 34112 118 0 0 25 0 1 0 819962180 174739456 41907 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 42661 41907 180 372 0 42286 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 170644 [startup+402.301 s] /proc/loadavg: 2.08 1.92 1.90 3/474 24063 /proc/meminfo: memFree=20005800/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=232856 CPUtime=402.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 58734 0 0 0 40091 139 0 0 25 0 1 0 819962180 238444544 57433 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319893 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 58214 57433 180 372 0 57839 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 232856 [startup+462.301 s] /proc/loadavg: 2.17 1.97 1.92 3/474 24064 /proc/meminfo: memFree=19976396/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=232856 CPUtime=462.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 58858 0 0 0 46071 159 0 0 25 0 1 0 819962180 238444544 57557 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 58214 57557 180 372 0 57839 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 232856 [startup+522.3 s] /proc/loadavg: 2.11 1.99 1.93 3/474 24066 /proc/meminfo: memFree=19947724/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=232856 CPUtime=522.3 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 58947 0 0 0 52051 179 0 0 25 0 1 0 819962180 238444544 57646 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 58214 57646 180 372 0 57839 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 232856 [startup+582.301 s] /proc/loadavg: 2.04 1.99 1.93 3/474 24067 /proc/meminfo: memFree=19920664/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=232856 CPUtime=582.31 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 58995 0 0 0 58037 194 0 0 25 0 1 0 819962180 238444544 57694 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 58214 57694 180 372 0 57839 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 232856 [startup+642.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.93 3/474 24085 /proc/meminfo: memFree=19745672/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=273856 CPUtime=882.22 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 69366 0 0 0 87948 274 0 0 25 0 1 0 819962180 280428544 68065 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 68464 68065 180 372 0 68089 0 Current children cumulated CPU time (s) 882.22 Current children cumulated vsize (KiB) 273856 [startup+942.301 s] /proc/loadavg: 2.11 2.03 1.94 3/474 24088 /proc/meminfo: memFree=19702888/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=291752 CPUtime=942.23 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 73811 0 0 0 93930 293 0 0 25 0 1 0 819962180 298754048 72510 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 72938 72510 180 372 0 72563 0 Current children cumulated CPU time (s) 942.23 Current children cumulated vsize (KiB) 291752 [startup+1002.3 s] /proc/loadavg: 2.09 2.04 1.95 3/474 24090 /proc/meminfo: memFree=19652128/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=318048 CPUtime=1002.23 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 80274 0 0 0 99914 309 0 0 25 0 1 0 819962180 325681152 78973 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 79512 78973 180 372 0 79137 0 Current children cumulated CPU time (s) 1002.23 Current children cumulated vsize (KiB) 318048 [startup+1062.3 s] /proc/loadavg: 2.17 2.06 1.96 3/474 24095 /proc/meminfo: memFree=19600644/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=345516 CPUtime=1062.23 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 87181 0 0 0 105900 323 0 0 25 0 1 0 819962180 353808384 85880 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 86379 85880 180 372 0 86004 0 Current children cumulated CPU time (s) 1062.23 Current children cumulated vsize (KiB) 345516 [startup+1122.3 s] /proc/loadavg: 2.06 2.05 1.96 3/474 24097 /proc/meminfo: memFree=19566284/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=354028 CPUtime=1122.23 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 89266 0 0 0 111890 333 0 0 25 0 1 0 819962180 362524672 87965 33554432000 4194304 5714214 140735984830688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 88507 87965 180 372 0 88132 0 Current children cumulated CPU time (s) 1122.23 Current children cumulated vsize (KiB) 354028 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 1.96 3/474 24098 /proc/meminfo: memFree=19530540/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=368580 CPUtime=1182.23 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 92774 0 0 0 117875 348 0 0 25 0 1 0 819962180 377425920 91473 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 92145 91473 180 372 0 91770 0 Current children cumulated CPU time (s) 1182.23 Current children cumulated vsize (KiB) 368580 [startup+1242.3 s] /proc/loadavg: 2.01 2.03 1.96 3/474 24100 /proc/meminfo: memFree=19481388/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=392892 CPUtime=1242.24 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 98768 0 0 0 123858 366 0 0 25 0 1 0 819962180 402321408 97467 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 98223 97467 180 372 0 97848 0 Current children cumulated CPU time (s) 1242.24 Current children cumulated vsize (KiB) 392892 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 1.96 3/474 24102 /proc/meminfo: memFree=19435488/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=412644 CPUtime=1302.25 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 103625 0 0 0 129844 381 0 0 25 0 1 0 819962180 422547456 102324 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 103161 102324 180 372 0 102786 0 Current children cumulated CPU time (s) 1302.25 Current children cumulated vsize (KiB) 412644 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.96 3/474 24103 /proc/meminfo: memFree=19392404/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=431664 CPUtime=1362.24 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 108364 0 0 0 135828 396 0 0 25 0 1 0 819962180 442023936 107063 33554432000 4194304 5714214 140735984830688 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 107916 107063 180 372 0 107541 0 Current children cumulated CPU time (s) 1362.24 Current children cumulated vsize (KiB) 431664 [startup+1422.32 s] /proc/loadavg: 2.00 2.01 1.96 3/474 24105 /proc/meminfo: memFree=19342652/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=457248 CPUtime=1422.26 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 114707 0 0 0 141809 417 0 0 25 0 1 0 819962180 468221952 113406 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 114312 113406 180 372 0 113937 0 Current children cumulated CPU time (s) 1422.26 Current children cumulated vsize (KiB) 457248 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/474 24106 /proc/meminfo: memFree=19292876/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=484308 CPUtime=1482.24 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 121332 0 0 0 147788 436 0 0 25 0 1 0 819962180 495931392 120031 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 121077 120031 180 372 0 120702 0 Current children cumulated CPU time (s) 1482.24 Current children cumulated vsize (KiB) 484308 [startup+1542.3 s] /proc/loadavg: 2.15 2.03 1.97 3/474 24108 /proc/meminfo: memFree=19250664/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=504996 CPUtime=1542.25 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 126317 0 0 0 153773 452 0 0 25 0 1 0 819962180 517115904 125016 33554432000 4194304 5714214 140735984830688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 126249 125016 180 372 0 125874 0 Current children cumulated CPU time (s) 1542.25 Current children cumulated vsize (KiB) 504996 [startup+1602.3 s] /proc/loadavg: 2.05 2.02 1.97 3/474 24110 /proc/meminfo: memFree=19220612/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1602.25 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 127792 0 0 0 159754 471 0 0 25 0 1 0 819962180 522493952 126401 33554432000 4194304 5714214 140735984830688 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126401 180 372 0 127187 0 Current children cumulated CPU time (s) 1602.25 Current children cumulated vsize (KiB) 510248 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 1.97 3/474 24111 /proc/meminfo: memFree=19196644/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1662.25 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 127873 0 0 0 165744 481 0 0 25 0 1 0 819962180 522493952 126482 33554432000 4194304 5714214 140735984830688 18446744073709551615 4300080 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126482 180 372 0 127187 0 Current children cumulated CPU time (s) 1662.25 Current children cumulated vsize (KiB) 510248 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 1.97 3/474 24113 /proc/meminfo: memFree=19171940/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1722.24 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 127973 0 0 0 171730 494 0 0 25 0 1 0 819962180 522493952 126582 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126582 180 372 0 127187 0 Current children cumulated CPU time (s) 1722.24 Current children cumulated vsize (KiB) 510248 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.97 3/474 24114 /proc/meminfo: memFree=19145604/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1782.25 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 128026 0 0 0 177719 506 0 0 25 0 1 0 819962180 522493952 126635 33554432000 4194304 5714214 140735984830688 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126635 180 372 0 127187 0 Current children cumulated CPU time (s) 1782.25 Current children cumulated vsize (KiB) 510248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.02 1.97 3/474 24115 /proc/meminfo: memFree=19139500/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1800.06 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 128026 0 0 0 179496 510 0 0 25 0 1 0 819962180 522493952 126635 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126635 180 372 0 127187 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 510248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.02 1.97 3/474 24115 /proc/meminfo: memFree=19139500/32950928 swapFree=61858088/67111528 [pid=24019] ppid=24017 vsize=510248 CPUtime=1800.06 cores=0,2,4,6 /proc/24019/stat : 24019 (wbo1.6) R 24017 24019 21173 0 -1 4202496 128026 0 0 0 179496 510 0 0 25 0 1 0 819962180 522493952 126635 33554432000 4194304 5714214 140735984830688 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/24019/statm: 127562 126635 180 372 0 127187 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 510248 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.1 CPU user time (s): 1794.97 CPU system time (s): 5.12722 CPU usage (%): 99.9976 Max. virtual memory (cumulated for all children) (KiB): 510732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.97 system time used= 5.12722 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 128026 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= 22 involuntary context switches= 2176 runsolver used 8.79566 second user time and 18.9541 second system time The end
Begin job on node125 at 2011-06-03 08:47:05 IDJOB=3461384 IDBENCH=2072 IDSOLVER=1953 FILE ID=node125/3461384-1307083625 RUNJOBID= node125-1307083625-24004 PBS_JOBID= 13497861 Free space on /tmp= 73760 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461384-1307083625/watcher-3461384-1307083625 -o /tmp/evaluation-result-3461384-1307083625/solver-3461384-1307083625 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461384-1307083625.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8cf8fb760748f7e5d9e3b99aa5c9f720 RANDOM SEED=2126414952 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.828 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.828 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: 32950928 kB MemFree: 20430672 kB Buffers: 339672 kB Cached: 3466740 kB SwapCached: 3616 kB Active: 8801640 kB Inactive: 3373520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20430672 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 8544 kB Writeback: 0 kB AnonPages: 8366632 kB Mapped: 33724 kB Slab: 214164 kB PageTables: 61452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130003604 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= 73752 MiB End job on node125 at 2011-06-03 09:17:07