Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-prom2.r.opb |
MD5SUM | fe2fc6a37df33476d3a38f976836359f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 278 |
Best CPU time to get the best result obtained on this benchmark | 1.78873 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 278 |
Optimality of the best value was proved | YES |
Number of variables | 2611 |
Total number of constraints | 1924 |
Number of constraints which are clauses | 1924 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 2611 |
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 | 2611 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2611 |
Number of bits of the biggest sum of numbers | 12 |
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-3461529-1307103409.opb. 0.00/0.00 c Instance file HOME/instance-3461529-1307103409.opb 0.00/0.00 c File size is 167972 bytes. 0.00/0.01 c Highest Coefficient sum: 31 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 2611 | 0.00/0.01 c | Number Clauses: 1924 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 2611 1924 15507 | 5000 0 -nan | 0.000 % | 0.05/0.09 c core #1 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 18 Core Weight: 1 Total Weight: 1 0.05/0.09 c Current CPU time: 0.013997 s 0.05/0.09 c 0.05/0.09 c core #2 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 2 0.05/0.09 c Current CPU time: 0.015997 s 0.05/0.09 c 0.05/0.09 c core #3 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 3 0.05/0.09 c Current CPU time: 0.016997 s 0.05/0.09 c 0.05/0.09 c core #4 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 16 Core Weight: 1 Total Weight: 4 0.05/0.09 c Current CPU time: 0.018997 s 0.05/0.09 c 0.05/0.09 c core #5 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 13 Core Weight: 1 Total Weight: 5 0.05/0.09 c Current CPU time: 0.019996 s 0.05/0.09 c 0.05/0.09 c core #6 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 6 0.05/0.09 c Current CPU time: 0.021996 s 0.05/0.09 c 0.05/0.09 c core #7 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 18 Core Weight: 1 Total Weight: 7 0.05/0.09 c Current CPU time: 0.023996 s 0.05/0.09 c 0.05/0.09 c core #8 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 8 0.05/0.09 c Current CPU time: 0.024996 s 0.05/0.09 c 0.05/0.09 c core #9 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 18 Core Weight: 1 Total Weight: 9 0.05/0.09 c Current CPU time: 0.026995 s 0.05/0.09 c 0.05/0.09 c core #10 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 8 Core Weight: 1 Total Weight: 10 0.05/0.09 c Current CPU time: 0.028995 s 0.05/0.09 c 0.05/0.09 c core #11 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 11 0.05/0.09 c Current CPU time: 0.030995 s 0.05/0.09 c 0.05/0.09 c core #12 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 13 Core Weight: 1 Total Weight: 12 0.05/0.09 c Current CPU time: 0.031995 s 0.05/0.09 c 0.05/0.09 c core #13 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 13 0.05/0.09 c Current CPU time: 0.033994 s 0.05/0.09 c 0.05/0.09 c core #14 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 11 Core Weight: 1 Total Weight: 14 0.05/0.09 c Current CPU time: 0.035994 s 0.05/0.09 c 0.05/0.09 c core #15 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 15 0.05/0.09 c Current CPU time: 0.037994 s 0.05/0.09 c 0.05/0.09 c core #16 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 14 Core Weight: 1 Total Weight: 16 0.05/0.09 c Current CPU time: 0.038994 s 0.05/0.09 c 0.05/0.09 c core #17 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 18 Core Weight: 1 Total Weight: 17 0.05/0.09 c Current CPU time: 0.040993 s 0.05/0.09 c 0.05/0.09 c core #18 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 18 0.05/0.09 c Current CPU time: 0.042993 s 0.05/0.09 c 0.05/0.09 c core #19 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 19 0.05/0.09 c Current CPU time: 0.044993 s 0.05/0.09 c 0.05/0.09 c core #20 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 20 0.05/0.09 c Current CPU time: 0.045993 s 0.05/0.09 c 0.05/0.09 c core #21 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 12 Core Weight: 1 Total Weight: 21 0.05/0.09 c Current CPU time: 0.047992 s 0.05/0.09 c 0.05/0.09 c core #22 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 22 0.05/0.09 c Current CPU time: 0.049992 s 0.05/0.09 c 0.05/0.09 c core #23 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 12 Core Weight: 1 Total Weight: 23 0.05/0.09 c Current CPU time: 0.051992 s 0.05/0.09 c 0.05/0.09 c core #24 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 24 0.05/0.09 c Current CPU time: 0.053991 s 0.05/0.09 c 0.05/0.09 c core #25 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 25 0.05/0.09 c Current CPU time: 0.054991 s 0.05/0.09 c 0.05/0.09 c core #26 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 14 Core Weight: 1 Total Weight: 26 0.05/0.09 c Current CPU time: 0.056991 s 0.05/0.09 c 0.05/0.09 c core #27 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 27 0.05/0.09 c Current CPU time: 0.058991 s 0.05/0.09 c 0.05/0.09 c core #28 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 28 0.05/0.09 c Current CPU time: 0.06099 s 0.05/0.09 c 0.05/0.09 c core #29 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 29 0.05/0.09 c Current CPU time: 0.06299 s 0.05/0.09 c 0.05/0.09 c core #30 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 30 0.05/0.09 c Current CPU time: 0.06399 s 0.05/0.09 c 0.05/0.09 c core #31 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 31 0.05/0.09 c Current CPU time: 0.065989 s 0.05/0.09 c 0.05/0.09 c core #32 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 8 Core Weight: 1 Total Weight: 32 0.05/0.09 c Current CPU time: 0.067989 s 0.05/0.09 c 0.05/0.09 c core #33 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 33 0.05/0.09 c Current CPU time: 0.069989 s 0.05/0.09 c 0.05/0.09 c core #34 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 34 0.05/0.09 c Current CPU time: 0.071989 s 0.05/0.09 c 0.05/0.09 c core #35 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 35 0.05/0.09 c Current CPU time: 0.073988 s 0.05/0.09 c 0.05/0.09 c core #36 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 36 0.05/0.09 c Current CPU time: 0.075988 s 0.05/0.09 c 0.05/0.09 c core #37 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 37 0.05/0.09 c Current CPU time: 0.076988 s 0.05/0.09 c 0.05/0.09 c core #38 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 38 0.05/0.09 c Current CPU time: 0.078987 s 0.05/0.09 c 0.05/0.09 c core #39 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 13 Core Weight: 1 Total Weight: 39 0.05/0.09 c Current CPU time: 0.080987 s 0.05/0.09 c 0.05/0.09 c core #40 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 40 0.05/0.09 c Current CPU time: 0.082987 s 0.05/0.09 c 0.05/0.09 c core #41 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 14 Core Weight: 1 Total Weight: 41 0.05/0.09 c Current CPU time: 0.084987 s 0.05/0.09 c 0.05/0.09 c core #42 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 8 Core Weight: 1 Total Weight: 42 0.05/0.09 c Current CPU time: 0.086986 s 0.05/0.09 c 0.05/0.09 c core #43 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 12 Core Weight: 1 Total Weight: 43 0.09/0.17 c Current CPU time: 0.088986 s 0.09/0.17 c 0.09/0.17 c core #44 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 9 Core Weight: 1 Total Weight: 44 0.09/0.17 c Current CPU time: 0.090986 s 0.09/0.17 c 0.09/0.17 c core #45 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 45 0.09/0.17 c Current CPU time: 0.091986 s 0.09/0.17 c 0.09/0.17 c core #46 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 13 Core Weight: 1 Total Weight: 46 0.09/0.17 c Current CPU time: 0.093985 s 0.09/0.17 c 0.09/0.17 c core #47 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 47 0.09/0.17 c Current CPU time: 0.095985 s 0.09/0.17 c 0.09/0.17 c core #48 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 11 Core Weight: 1 Total Weight: 48 0.09/0.17 c Current CPU time: 0.097985 s 0.09/0.17 c 0.09/0.17 c core #49 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 49 0.09/0.17 c Current CPU time: 0.099984 s 0.09/0.17 c 0.09/0.17 c core #50 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 50 0.09/0.17 c Current CPU time: 0.101984 s 0.09/0.17 c 0.09/0.17 c core #51 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 51 0.09/0.17 c Current CPU time: 0.103984 s 0.09/0.17 c 0.09/0.17 c core #52 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 52 0.09/0.17 c Current CPU time: 0.105983 s 0.09/0.17 c 0.09/0.17 c core #53 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 53 0.09/0.17 c Current CPU time: 0.107983 s 0.09/0.17 c 0.09/0.17 c core #54 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 54 0.09/0.17 c Current CPU time: 0.109983 s 0.09/0.17 c 0.09/0.17 c core #55 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 55 0.09/0.17 c Current CPU time: 0.111982 s 0.09/0.17 c 0.09/0.17 c core #56 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 56 0.09/0.17 c Current CPU time: 0.113982 s 0.09/0.17 c 0.09/0.17 c core #57 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 57 0.09/0.17 c Current CPU time: 0.114982 s 0.09/0.17 c 0.09/0.17 c core #58 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 58 0.09/0.17 c Current CPU time: 0.116982 s 0.09/0.17 c 0.09/0.17 c core #59 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 59 0.09/0.17 c Current CPU time: 0.118981 s 0.09/0.17 c 0.09/0.17 c core #60 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 13 Core Weight: 1 Total Weight: 60 0.09/0.17 c Current CPU time: 0.120981 s 0.09/0.17 c 0.09/0.17 c core #61 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 61 0.09/0.17 c Current CPU time: 0.122981 s 0.09/0.17 c 0.09/0.17 c core #62 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 10 Core Weight: 1 Total Weight: 62 0.09/0.17 c Current CPU time: 0.124981 s 0.09/0.17 c 0.09/0.17 c core #63 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 63 0.09/0.17 c Current CPU time: 0.12698 s 0.09/0.17 c 0.09/0.17 c core #64 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 64 0.09/0.17 c Current CPU time: 0.12898 s 0.09/0.17 c 0.09/0.17 c core #65 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 65 0.09/0.17 c Current CPU time: 0.13098 s 0.09/0.17 c 0.09/0.17 c core #66 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 66 0.09/0.17 c Current CPU time: 0.132979 s 0.09/0.17 c 0.09/0.17 c core #67 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 67 0.09/0.17 c Current CPU time: 0.134979 s 0.09/0.17 c 0.09/0.17 c core #68 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 11 Core Weight: 1 Total Weight: 68 0.09/0.17 c Current CPU time: 0.136979 s 0.09/0.17 c 0.09/0.17 c core #69 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 69 0.09/0.17 c Current CPU time: 0.138978 s 0.09/0.17 c 0.09/0.17 c core #70 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 70 0.09/0.17 c Current CPU time: 0.140978 s 0.09/0.17 c 0.09/0.17 c core #71 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 71 0.09/0.17 c Current CPU time: 0.142978 s 0.09/0.17 c 0.09/0.17 c core #72 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 72 0.09/0.17 c Current CPU time: 0.143978 s 0.09/0.17 c 0.09/0.17 c core #73 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 3 Core Weight: 1 Total Weight: 73 0.09/0.17 c Current CPU time: 0.145977 s 0.09/0.17 c 0.09/0.17 c core #74 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 74 0.09/0.17 c Current CPU time: 0.147977 s 0.09/0.17 c 0.09/0.17 c core #75 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 75 0.09/0.17 c Current CPU time: 0.149977 s 0.09/0.17 c 0.09/0.17 c core #76 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 7 Core Weight: 1 Total Weight: 76 0.09/0.17 c Current CPU time: 0.151976 s 0.09/0.17 c 0.09/0.17 c core #77 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 26 Core Weight: 1 Total Weight: 77 0.09/0.17 c Current CPU time: 0.153976 s 0.09/0.17 c 0.09/0.17 c core #78 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 78 0.09/0.17 c Current CPU time: 0.156976 s 0.09/0.17 c 0.09/0.17 c core #79 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 8 Core Weight: 1 Total Weight: 79 0.09/0.17 c Current CPU time: 0.158975 s 0.09/0.17 c 0.09/0.17 c core #80 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 80 0.09/0.17 c Current CPU time: 0.160975 s 0.09/0.17 c 0.09/0.17 c core #81 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: 81 0.09/0.17 c Current CPU time: 0.162975 s 0.09/0.17 c 0.09/0.17 c core #82 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 6 Core Weight: 1 Total Weight: 82 0.09/0.17 c Current CPU time: 0.164974 s 0.09/0.17 c 0.09/0.17 c core #83 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 16 Core Weight: 1 Total Weight: 83 0.09/0.17 c Current CPU time: 0.166974 s 0.09/0.17 c 0.09/0.17 c core #84 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 10 Core Weight: 1 Total Weight: 84 0.09/0.17 c Current CPU time: 0.168974 s 0.09/0.17 c 0.09/0.17 c core #85 0.09/0.17 c 0.09/0.17 c 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: 85 0.19/0.26 c Current CPU time: 0.170974 s 0.19/0.26 c 0.19/0.26 c core #86 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 11 Core Weight: 1 Total Weight: 86 0.19/0.26 c Current CPU time: 0.172973 s 0.19/0.26 c 0.19/0.26 c core #87 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 12 Core Weight: 1 Total Weight: 87 0.19/0.26 c Current CPU time: 0.174973 s 0.19/0.26 c 0.19/0.26 c core #88 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 88 0.19/0.26 c Current CPU time: 0.176973 s 0.19/0.26 c 0.19/0.26 c core #89 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 89 0.19/0.26 c Current CPU time: 0.178972 s 0.19/0.26 c 0.19/0.26 c core #90 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 90 0.19/0.26 c Current CPU time: 0.181972 s 0.19/0.26 c 0.19/0.26 c core #91 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 91 0.19/0.26 c Current CPU time: 0.183972 s 0.19/0.26 c 0.19/0.26 c core #92 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 92 0.19/0.26 c Current CPU time: 0.185971 s 0.19/0.26 c 0.19/0.26 c core #93 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 10 Core Weight: 1 Total Weight: 93 0.19/0.26 c Current CPU time: 0.187971 s 0.19/0.26 c 0.19/0.26 c core #94 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 94 0.19/0.26 c Current CPU time: 0.189971 s 0.19/0.26 c 0.19/0.26 c core #95 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 95 0.19/0.26 c Current CPU time: 0.19197 s 0.19/0.26 c 0.19/0.26 c core #96 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 96 0.19/0.26 c Current CPU time: 0.19397 s 0.19/0.26 c 0.19/0.26 c core #97 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 97 0.19/0.26 c Current CPU time: 0.19697 s 0.19/0.26 c 0.19/0.26 c core #98 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 98 0.19/0.26 c Current CPU time: 0.198969 s 0.19/0.26 c 0.19/0.26 c core #99 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 99 0.19/0.26 c Current CPU time: 0.200969 s 0.19/0.26 c 0.19/0.26 c core #100 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 100 0.19/0.26 c Current CPU time: 0.202969 s 0.19/0.26 c 0.19/0.26 c core #101 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 101 0.19/0.26 c Current CPU time: 0.204968 s 0.19/0.26 c 0.19/0.26 c core #102 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 102 0.19/0.26 c Current CPU time: 0.207968 s 0.19/0.26 c 0.19/0.26 c core #103 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 103 0.19/0.26 c Current CPU time: 0.209968 s 0.19/0.26 c 0.19/0.26 c core #104 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 104 0.19/0.26 c Current CPU time: 0.211967 s 0.19/0.26 c 0.19/0.26 c core #105 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 105 0.19/0.26 c Current CPU time: 0.213967 s 0.19/0.26 c 0.19/0.26 c core #106 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 12 Core Weight: 1 Total Weight: 106 0.19/0.26 c Current CPU time: 0.215967 s 0.19/0.26 c 0.19/0.26 c core #107 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 107 0.19/0.26 c Current CPU time: 0.218966 s 0.19/0.26 c 0.19/0.26 c core #108 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 14 Core Weight: 1 Total Weight: 108 0.19/0.26 c Current CPU time: 0.220966 s 0.19/0.26 c 0.19/0.26 c core #109 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 109 0.19/0.26 c Current CPU time: 0.222966 s 0.19/0.26 c 0.19/0.26 c core #110 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 110 0.19/0.26 c Current CPU time: 0.224965 s 0.19/0.26 c 0.19/0.26 c core #111 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 111 0.19/0.26 c Current CPU time: 0.226965 s 0.19/0.26 c 0.19/0.26 c core #112 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 112 0.19/0.26 c Current CPU time: 0.229965 s 0.19/0.26 c 0.19/0.26 c core #113 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 113 0.19/0.26 c Current CPU time: 0.231964 s 0.19/0.26 c 0.19/0.26 c core #114 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 114 0.19/0.26 c Current CPU time: 0.233964 s 0.19/0.26 c 0.19/0.26 c core #115 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 115 0.19/0.26 c Current CPU time: 0.235964 s 0.19/0.26 c 0.19/0.26 c core #116 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 116 0.19/0.26 c Current CPU time: 0.238963 s 0.19/0.26 c 0.19/0.26 c core #117 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 117 0.19/0.26 c Current CPU time: 0.240963 s 0.19/0.26 c 0.19/0.26 c core #118 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: 118 0.19/0.26 c Current CPU time: 0.242963 s 0.19/0.26 c 0.19/0.26 c core #119 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 119 0.19/0.26 c Current CPU time: 0.245962 s 0.19/0.26 c 0.19/0.26 c core #120 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 120 0.19/0.26 c Current CPU time: 0.247962 s 0.19/0.26 c 0.19/0.26 c core #121 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: 121 0.19/0.26 c Current CPU time: 0.249962 s 0.19/0.26 c 0.19/0.26 c core #122 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: 122 0.19/0.26 c Current CPU time: 0.251961 s 0.19/0.26 c 0.19/0.26 c core #123 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: 123 0.19/0.26 c Current CPU time: 0.254961 s 0.19/0.26 c 0.19/0.26 c core #124 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 8 Core Weight: 1 Total Weight: 124 0.19/0.26 c Current CPU time: 0.25696 s 0.19/0.26 c 0.19/0.26 c core #125 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 9 Core Weight: 1 Total Weight: 125 0.19/0.26 c Current CPU time: 0.25896 s 0.19/0.26 c 0.19/0.26 c core #126 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: 126 0.19/0.26 c Current CPU time: 0.26196 s 0.19/0.26 c 0.19/0.26 c core #127 0.19/0.26 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 127 0.29/0.36 c Current CPU time: 0.263959 s 0.29/0.36 c 0.29/0.36 c core #128 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 8 Core Weight: 1 Total Weight: 128 0.29/0.36 c Current CPU time: 0.265959 s 0.29/0.36 c 0.29/0.36 c core #129 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 129 0.29/0.36 c Current CPU time: 0.268959 s 0.29/0.36 c 0.29/0.36 c core #130 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 130 0.29/0.36 c Current CPU time: 0.270958 s 0.29/0.36 c 0.29/0.36 c core #131 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 131 0.29/0.36 c Current CPU time: 0.272958 s 0.29/0.36 c 0.29/0.36 c core #132 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 132 0.29/0.36 c Current CPU time: 0.275958 s 0.29/0.36 c 0.29/0.36 c core #133 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 133 0.29/0.36 c Current CPU time: 0.277957 s 0.29/0.36 c 0.29/0.36 c core #134 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 134 0.29/0.36 c Current CPU time: 0.279957 s 0.29/0.36 c 0.29/0.36 c core #135 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 7 Core Weight: 1 Total Weight: 135 0.29/0.36 c Current CPU time: 0.282956 s 0.29/0.36 c 0.29/0.36 c core #136 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 136 0.29/0.36 c Current CPU time: 0.284956 s 0.29/0.36 c 0.29/0.36 c core #137 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 137 0.29/0.36 c Current CPU time: 0.286956 s 0.29/0.36 c 0.29/0.36 c core #138 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 8 Core Weight: 1 Total Weight: 138 0.29/0.36 c Current CPU time: 0.289955 s 0.29/0.36 c 0.29/0.36 c core #139 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 7 Core Weight: 1 Total Weight: 139 0.29/0.36 c Current CPU time: 0.291955 s 0.29/0.36 c 0.29/0.36 c core #140 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 140 0.29/0.36 c Current CPU time: 0.294955 s 0.29/0.36 c 0.29/0.36 c core #141 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 141 0.29/0.36 c Current CPU time: 0.296954 s 0.29/0.36 c 0.29/0.36 c core #142 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 142 0.29/0.36 c Current CPU time: 0.298954 s 0.29/0.36 c 0.29/0.36 c core #143 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 143 0.29/0.36 c Current CPU time: 0.301954 s 0.29/0.36 c 0.29/0.36 c core #144 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 144 0.29/0.36 c Current CPU time: 0.303953 s 0.29/0.36 c 0.29/0.36 c core #145 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 8 Core Weight: 1 Total Weight: 145 0.29/0.36 c Current CPU time: 0.306953 s 0.29/0.36 c 0.29/0.36 c core #146 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 18 Core Weight: 1 Total Weight: 146 0.29/0.36 c Current CPU time: 0.308953 s 0.29/0.36 c 0.29/0.36 c core #147 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 147 0.29/0.36 c Current CPU time: 0.310952 s 0.29/0.36 c 0.29/0.36 c core #148 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 148 0.29/0.36 c Current CPU time: 0.313952 s 0.29/0.36 c 0.29/0.36 c core #149 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 149 0.29/0.36 c Current CPU time: 0.315951 s 0.29/0.36 c 0.29/0.36 c core #150 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 150 0.29/0.36 c Current CPU time: 0.318951 s 0.29/0.36 c 0.29/0.36 c core #151 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 151 0.29/0.36 c Current CPU time: 0.320951 s 0.29/0.36 c 0.29/0.36 c core #152 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 152 0.29/0.36 c Current CPU time: 0.32295 s 0.29/0.36 c 0.29/0.36 c core #153 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 153 0.29/0.36 c Current CPU time: 0.32595 s 0.29/0.36 c 0.29/0.36 c core #154 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 154 0.29/0.36 c Current CPU time: 0.32795 s 0.29/0.36 c 0.29/0.36 c core #155 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 15 Core Weight: 1 Total Weight: 155 0.29/0.36 c Current CPU time: 0.330949 s 0.29/0.36 c 0.29/0.36 c core #156 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 156 0.29/0.36 c Current CPU time: 0.332949 s 0.29/0.36 c 0.29/0.36 c core #157 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: 157 0.29/0.36 c Current CPU time: 0.334949 s 0.29/0.36 c 0.29/0.36 c core #158 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 158 0.29/0.36 c Current CPU time: 0.337948 s 0.29/0.36 c 0.29/0.36 c core #159 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 159 0.29/0.36 c Current CPU time: 0.339948 s 0.29/0.36 c 0.29/0.36 c core #160 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 160 0.29/0.36 c Current CPU time: 0.342947 s 0.29/0.36 c 0.29/0.36 c core #161 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 9 Core Weight: 1 Total Weight: 161 0.29/0.36 c Current CPU time: 0.344947 s 0.29/0.36 c 0.29/0.36 c core #162 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 7 Core Weight: 1 Total Weight: 162 0.29/0.36 c Current CPU time: 0.347947 s 0.29/0.36 c 0.29/0.36 c core #163 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 10 Core Weight: 1 Total Weight: 163 0.29/0.36 c Current CPU time: 0.349946 s 0.29/0.36 c 0.29/0.36 c core #164 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 5 Core Weight: 1 Total Weight: 164 0.29/0.36 c Current CPU time: 0.352946 s 0.29/0.36 c 0.29/0.36 c core #165 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 165 0.29/0.36 c Current CPU time: 0.354946 s 0.29/0.36 c 0.29/0.36 c core #166 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 12 Core Weight: 1 Total Weight: 166 0.29/0.36 c Current CPU time: 0.357945 s 0.29/0.36 c 0.29/0.36 c core #167 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: 167 0.29/0.36 c Current CPU time: 0.359945 s 0.29/0.36 c 0.29/0.36 c core #168 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 168 0.39/0.47 c Current CPU time: 0.362944 s 0.39/0.47 c 0.39/0.47 c core #169 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 16 Core Weight: 1 Total Weight: 169 0.39/0.47 c Current CPU time: 0.364944 s 0.39/0.47 c 0.39/0.47 c core #170 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 14 Core Weight: 1 Total Weight: 170 0.39/0.47 c Current CPU time: 0.367944 s 0.39/0.47 c 0.39/0.47 c core #171 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 6 Core Weight: 1 Total Weight: 171 0.39/0.47 c Current CPU time: 0.369943 s 0.39/0.47 c 0.39/0.47 c core #172 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 172 0.39/0.47 c Current CPU time: 0.372943 s 0.39/0.47 c 0.39/0.47 c core #173 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 173 0.39/0.47 c Current CPU time: 0.374943 s 0.39/0.47 c 0.39/0.47 c core #174 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 174 0.39/0.47 c Current CPU time: 0.377942 s 0.39/0.47 c 0.39/0.47 c core #175 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 9 Core Weight: 1 Total Weight: 175 0.39/0.47 c Current CPU time: 0.379942 s 0.39/0.47 c 0.39/0.47 c core #176 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 176 0.39/0.47 c Current CPU time: 0.382941 s 0.39/0.47 c 0.39/0.47 c core #177 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 177 0.39/0.47 c Current CPU time: 0.384941 s 0.39/0.47 c 0.39/0.47 c core #178 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 178 0.39/0.47 c Current CPU time: 0.387941 s 0.39/0.47 c 0.39/0.47 c core #179 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 179 0.39/0.47 c Current CPU time: 0.38994 s 0.39/0.47 c 0.39/0.47 c core #180 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 180 0.39/0.47 c Current CPU time: 0.39294 s 0.39/0.47 c 0.39/0.47 c core #181 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 6 Core Weight: 1 Total Weight: 181 0.39/0.47 c Current CPU time: 0.394939 s 0.39/0.47 c 0.39/0.47 c core #182 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 182 0.39/0.47 c Current CPU time: 0.397939 s 0.39/0.47 c 0.39/0.47 c core #183 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 183 0.39/0.47 c Current CPU time: 0.399939 s 0.39/0.47 c 0.39/0.47 c core #184 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 184 0.39/0.47 c Current CPU time: 0.401938 s 0.39/0.47 c 0.39/0.47 c core #185 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 185 0.39/0.47 c Current CPU time: 0.404938 s 0.39/0.47 c 0.39/0.47 c core #186 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 186 0.39/0.47 c Current CPU time: 0.406938 s 0.39/0.47 c 0.39/0.47 c core #187 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 10 Core Weight: 1 Total Weight: 187 0.39/0.47 c Current CPU time: 0.409937 s 0.39/0.47 c 0.39/0.47 c core #188 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 188 0.39/0.47 c Current CPU time: 0.411937 s 0.39/0.47 c 0.39/0.47 c core #189 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 189 0.39/0.47 c Current CPU time: 0.414936 s 0.39/0.47 c 0.39/0.47 c core #190 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 9 Core Weight: 1 Total Weight: 190 0.39/0.47 c Current CPU time: 0.417936 s 0.39/0.47 c 0.39/0.47 c core #191 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: 191 0.39/0.47 c Current CPU time: 0.419936 s 0.39/0.47 c 0.39/0.47 c core #192 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 192 0.39/0.47 c Current CPU time: 0.422935 s 0.39/0.47 c 0.39/0.47 c core #193 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 11 Core Weight: 1 Total Weight: 193 0.39/0.47 c Current CPU time: 0.424935 s 0.39/0.47 c 0.39/0.47 c core #194 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 194 0.39/0.47 c Current CPU time: 0.427934 s 0.39/0.47 c 0.39/0.47 c core #195 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 7 Core Weight: 1 Total Weight: 195 0.39/0.47 c Current CPU time: 0.429934 s 0.39/0.47 c 0.39/0.47 c core #196 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 196 0.39/0.47 c Current CPU time: 0.432934 s 0.39/0.47 c 0.39/0.47 c core #197 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: 197 0.39/0.47 c Current CPU time: 0.435933 s 0.39/0.47 c 0.39/0.47 c core #198 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 9 Core Weight: 1 Total Weight: 198 0.39/0.47 c Current CPU time: 0.437933 s 0.39/0.47 c 0.39/0.47 c core #199 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 6 Core Weight: 1 Total Weight: 199 0.39/0.47 c Current CPU time: 0.440932 s 0.39/0.47 c 0.39/0.47 c core #200 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: 200 0.39/0.47 c Current CPU time: 0.442932 s 0.39/0.47 c 0.39/0.47 c core #201 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 10 Core Weight: 1 Total Weight: 201 0.39/0.47 c Current CPU time: 0.445932 s 0.39/0.47 c 0.39/0.47 c core #202 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 202 0.39/0.47 c Current CPU time: 0.448931 s 0.39/0.47 c 0.39/0.47 c core #203 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 10 Core Weight: 1 Total Weight: 203 0.39/0.47 c Current CPU time: 0.450931 s 0.39/0.47 c 0.39/0.47 c core #204 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 6 Core Weight: 1 Total Weight: 204 0.39/0.47 c Current CPU time: 0.45393 s 0.39/0.47 c 0.39/0.47 c core #205 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 205 0.39/0.47 c Current CPU time: 0.45693 s 0.39/0.47 c 0.39/0.47 c core #206 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: 206 0.39/0.47 c Current CPU time: 0.45893 s 0.39/0.47 c 0.39/0.47 c core #207 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 207 0.39/0.47 c Current CPU time: 0.461929 s 0.39/0.47 c 0.39/0.47 c core #208 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 12 Core Weight: 1 Total Weight: 208 0.39/0.47 c Current CPU time: 0.464929 s 0.39/0.47 c 0.39/0.47 c core #209 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 8 Core Weight: 1 Total Weight: 209 0.39/0.47 c Current CPU time: 0.466929 s 0.49/0.57 c 0.49/0.57 c core #210 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 210 0.49/0.57 c Current CPU time: 0.469928 s 0.49/0.57 c 0.49/0.57 c core #211 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 12 Core Weight: 1 Total Weight: 211 0.49/0.57 c Current CPU time: 0.472928 s 0.49/0.57 c 0.49/0.57 c core #212 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 9 Core Weight: 1 Total Weight: 212 0.49/0.57 c Current CPU time: 0.474927 s 0.49/0.57 c 0.49/0.57 c core #213 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 5 Core Weight: 1 Total Weight: 213 0.49/0.57 c Current CPU time: 0.477927 s 0.49/0.57 c 0.49/0.57 c core #214 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: 214 0.49/0.57 c Current CPU time: 0.480926 s 0.49/0.57 c 0.49/0.57 c core #215 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 12 Core Weight: 1 Total Weight: 215 0.49/0.57 c Current CPU time: 0.482926 s 0.49/0.57 c 0.49/0.57 c core #216 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 18 Core Weight: 1 Total Weight: 216 0.49/0.57 c Current CPU time: 0.485926 s 0.49/0.57 c 0.49/0.57 c core #217 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 13 Core Weight: 1 Total Weight: 217 0.49/0.57 c Current CPU time: 0.488925 s 0.49/0.57 c 0.49/0.57 c core #218 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 21 Core Weight: 1 Total Weight: 218 0.49/0.57 c Current CPU time: 0.490925 s 0.49/0.57 c 0.49/0.57 c core #219 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: 219 0.49/0.57 c Current CPU time: 0.493924 s 0.49/0.57 c 0.49/0.57 c core #220 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: 220 0.49/0.57 c Current CPU time: 0.495924 s 0.49/0.57 c 0.49/0.57 c core #221 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 11 Core Weight: 1 Total Weight: 221 0.49/0.57 c Current CPU time: 0.498924 s 0.49/0.57 c 0.49/0.57 c core #222 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 9 Core Weight: 1 Total Weight: 222 0.49/0.57 c Current CPU time: 0.500923 s 0.49/0.57 c 0.49/0.57 c core #223 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 29 Core Weight: 1 Total Weight: 223 0.49/0.57 c Current CPU time: 0.503923 s 0.49/0.57 c 0.49/0.57 c core #224 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 19 Core Weight: 1 Total Weight: 224 0.49/0.57 c Current CPU time: 0.506922 s 0.49/0.57 c 0.49/0.57 c core #225 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 13 Core Weight: 1 Total Weight: 225 0.49/0.57 c Current CPU time: 0.509922 s 0.49/0.57 c 0.49/0.57 c core #226 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 36 Core Weight: 1 Total Weight: 226 0.49/0.57 c Current CPU time: 0.512922 s 0.49/0.57 c 0.49/0.57 c core #227 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 12 Core Weight: 1 Total Weight: 227 0.49/0.57 c Current CPU time: 0.515921 s 0.49/0.57 c 0.49/0.57 c core #228 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 10 Core Weight: 1 Total Weight: 228 0.49/0.57 c Current CPU time: 0.518921 s 0.49/0.57 c 0.49/0.57 c core #229 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 15 Core Weight: 1 Total Weight: 229 0.49/0.57 c Current CPU time: 0.52192 s 0.49/0.57 c 0.49/0.57 c core #230 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 10 Core Weight: 1 Total Weight: 230 0.49/0.57 c Current CPU time: 0.52492 s 0.49/0.57 c 0.49/0.57 c core #231 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 17 Core Weight: 1 Total Weight: 231 0.49/0.57 c Current CPU time: 0.527919 s 0.49/0.57 c 0.49/0.57 c core #232 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 67 Core Weight: 1 Total Weight: 232 0.49/0.57 c Current CPU time: 0.530919 s 0.49/0.57 c 0.49/0.57 c core #233 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 44 Core Weight: 1 Total Weight: 233 0.49/0.57 c Current CPU time: 0.532918 s 0.49/0.57 c 0.49/0.57 c core #234 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 14 Core Weight: 1 Total Weight: 234 0.49/0.57 c Current CPU time: 0.536918 s 0.49/0.57 c 0.49/0.57 c core #235 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 21 Core Weight: 1 Total Weight: 235 0.49/0.57 c Current CPU time: 0.538918 s 0.49/0.57 c 0.49/0.57 c core #236 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 13 Core Weight: 1 Total Weight: 236 0.49/0.57 c Current CPU time: 0.541917 s 0.49/0.57 c 0.49/0.57 c core #237 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 31 Core Weight: 1 Total Weight: 237 0.49/0.57 c Current CPU time: 0.544917 s 0.49/0.57 c 0.49/0.57 c core #238 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 27 Core Weight: 1 Total Weight: 238 0.49/0.57 c Current CPU time: 0.547916 s 0.49/0.57 c 0.49/0.57 c core #239 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 13 Core Weight: 1 Total Weight: 239 0.49/0.57 c Current CPU time: 0.550916 s 0.49/0.57 c 0.49/0.57 c core #240 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 40 Core Weight: 1 Total Weight: 240 0.49/0.57 c Current CPU time: 0.554915 s 0.49/0.57 c 0.49/0.57 c core #241 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 8 Core Weight: 1 Total Weight: 241 0.49/0.57 c Current CPU time: 0.557915 s 0.49/0.57 c 0.49/0.57 c core #242 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 42 Core Weight: 1 Total Weight: 242 0.49/0.57 c Current CPU time: 0.560914 s 0.49/0.57 c 0.49/0.57 c core #243 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 30 Core Weight: 1 Total Weight: 243 0.49/0.57 c Current CPU time: 0.563914 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3150 4778 20309 | 5000 0 -nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #244 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 75 Core Weight: 1 Total Weight: 244 0.49/0.57 c Current CPU time: 0.567913 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3250 4779 20488 | 5000 0 -nan | 0.000 % | 0.49/0.57 c | 101 | 3250 4779 20488 | 5500 101 20 | 27.081 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #245 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 28 Core Weight: 1 Total Weight: 245 0.49/0.58 c Current CPU time: 0.573912 s 0.49/0.58 c 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 3276 4780 20538 | 5000 0 -nan | 0.000 % | 0.49/0.58 c | 100 | 3275 4780 20538 | 5500 100 15 | 27.025 % | 0.49/0.58 c | 250 | 3270 4780 20538 | 6050 250 14 | 27.114 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #246 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 28 Core Weight: 1 Total Weight: 246 0.49/0.59 c Current CPU time: 0.582911 s 0.49/0.59 c 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 3334 4781 20595 | 5000 0 -nan | 0.000 % | 0.49/0.59 c | 103 | 3334 4781 20595 | 5500 103 14 | 25.956 % | 0.49/0.59 c =============================================================================== 0.49/0.60 c core #247 0.49/0.60 c 0.49/0.60 c 0.49/0.60 c Core size: 79 Core Weight: 1 Total Weight: 247 0.49/0.60 c Current CPU time: 0.58791 s 0.49/0.60 c 0.49/0.60 c ============================[ Search Statistics ]============================== 0.49/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.60 c =============================================================================== 0.49/0.60 c | 0 | 3444 4782 20771 | 5000 0 -nan | 0.000 % | 0.59/0.60 c | 100 | 3444 4782 20771 | 5500 100 17 | 24.551 % | 0.59/0.60 c | 250 | 3443 4782 20771 | 6050 250 18 | 24.594 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #248 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 53 Core Weight: 1 Total Weight: 248 0.59/0.61 c Current CPU time: 0.599908 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 3503 4783 20872 | 5000 0 -nan | 0.000 % | 0.59/0.61 c | 102 | 3502 4783 20872 | 5500 102 20 | 24.001 % | 0.59/0.61 c | 252 | 3452 4783 20872 | 6050 252 17 | 25.022 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #249 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 122 Core Weight: 1 Total Weight: 249 0.59/0.62 c Current CPU time: 0.608907 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 3668 4784 21170 | 5000 0 -nan | 0.000 % | 0.59/0.62 c | 103 | 3668 4784 21170 | 5500 103 18 | 22.326 % | 0.59/0.62 c | 253 | 3668 4784 21170 | 6050 253 22 | 22.326 % | 0.59/0.63 c | 481 | 3667 4784 21170 | 6655 481 25 | 22.326 % | 0.59/0.64 c | 818 | 3667 4784 21170 | 7320 818 27 | 22.326 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #250 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 225 Core Weight: 1 Total Weight: 250 0.59/0.65 c Current CPU time: 0.639902 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3939 4785 21657 | 5000 0 -nan | 0.000 % | 0.59/0.65 c | 101 | 3939 4785 21657 | 5500 101 29 | 20.215 % | 0.59/0.66 c | 251 | 3939 4785 21657 | 6050 251 24 | 20.215 % | 0.59/0.66 c | 476 | 3935 4785 21657 | 6655 476 29 | 20.296 % | 0.59/0.67 c | 815 | 3932 4785 21657 | 7320 815 32 | 20.883 % | 0.59/0.69 c | 1321 | 3905 4785 21657 | 8052 1321 35 | 20.924 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #251 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 56 Core Weight: 1 Total Weight: 251 0.69/0.72 c Current CPU time: 0.707892 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 4005 4786 21775 | 5000 0 -nan | 0.000 % | 0.69/0.73 c | 100 | 4005 4786 21775 | 5500 100 14 | 19.723 % | 0.69/0.74 c | 252 | 4003 4786 21775 | 6050 252 19 | 19.763 % | 0.69/0.75 c | 477 | 4003 4786 21775 | 6655 477 28 | 19.763 % | 0.69/0.76 c | 814 | 3988 4786 21775 | 7320 814 31 | 20.305 % | 0.69/0.79 c | 1320 | 3974 4786 21775 | 8052 1320 38 | 20.345 % | 0.79/0.84 c | 2080 | 3973 4786 21775 | 8857 2080 42 | 20.605 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #252 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 343 Core Weight: 1 Total Weight: 252 0.79/0.86 c Current CPU time: 0.842871 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 4407 4787 22546 | 5000 0 -nan | 0.000 % | 0.79/0.86 c | 100 | 4394 4787 22546 | 5500 100 15 | 17.736 % | 0.79/0.87 c | 250 | 4382 4787 22546 | 6050 250 20 | 17.774 % | 0.79/0.88 c | 477 | 4381 4787 22546 | 6655 477 23 | 17.774 % | 0.79/0.89 c | 816 | 4381 4787 22546 | 7320 816 28 | 17.774 % | 0.89/0.91 c | 1328 | 4381 4787 22546 | 8052 1328 28 | 17.774 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #253 0.89/0.94 c 0.89/0.94 c 0.89/0.94 c Core size: 268 Core Weight: 1 Total Weight: 253 0.89/0.94 c Current CPU time: 0.925859 s 0.89/0.94 c 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 4742 4788 23173 | 5000 0 -nan | 0.000 % | 0.89/0.95 c | 102 | 4728 4788 23173 | 5500 102 17 | 15.741 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #254 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 87 Core Weight: 1 Total Weight: 254 0.89/0.95 c Current CPU time: 0.933858 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 4862 4789 23383 | 5000 0 -nan | 0.000 % | 0.89/0.96 c | 100 | 4824 4789 23383 | 5500 100 8 | 14.891 % | 0.89/0.96 c | 254 | 4824 4789 23383 | 6050 254 18 | 14.996 % | 0.89/0.97 c =============================================================================== 0.89/0.97 c core #255 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 207 Core Weight: 1 Total Weight: 255 0.89/0.97 c Current CPU time: 0.954854 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 5106 4790 23833 | 5000 0 -nan | 0.000 % | 0.89/0.98 c | 100 | 5105 4790 23833 | 5500 100 29 | 12.990 % | 0.89/0.98 c | 250 | 5105 4790 23833 | 6050 250 25 | 12.990 % | 0.89/0.99 c | 475 | 5104 4790 23833 | 6655 475 35 | 12.990 % | 1.01/1.01 c | 812 | 5104 4790 23833 | 7320 812 48 | 12.990 % | 1.01/1.05 c | 1318 | 5104 4790 23833 | 8052 1318 66 | 12.990 % | 1.01/1.09 c | 2081 | 5098 4790 23833 | 8857 2081 71 | 13.092 % | 1.10/1.17 c | 3222 | 5098 4790 23833 | 9743 3222 71 | 13.092 % | 1.29/1.30 c | 4931 | 5098 4790 23833 | 10717 4931 90 | 13.092 % | 1.49/1.57 c | 7494 | 5096 4790 23833 | 11789 7494 106 | 13.126 % | 1.99/2.06 c | 11338 | 5077 4790 23833 | 12968 11338 116 | 14.115 % | 2.79/2.86 c | 17104 | 5038 4790 23833 | 14265 10138 149 | 14.627 % | 4.30/4.37 c | 25755 | 5003 4790 23833 | 15692 11162 179 | 14.951 % | 6.39/6.48 c | 38729 | 4996 4790 23833 | 17261 15771 175 | 14.951 % | 7.89/7.98 c =============================================================================== 8.09/8.19 c core #256 8.09/8.19 c 8.09/8.19 c 8.09/8.19 c Core size: 629 Core Weight: 1 Total Weight: 256 8.09/8.19 c Current CPU time: 8.05678 s 8.09/8.19 c 8.09/8.19 c ============================[ Search Statistics ]============================== 8.09/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.19 c =============================================================================== 8.09/8.19 c | 0 | 5857 4791 25209 | 5000 0 -nan | 0.000 % | 8.09/8.19 c | 104 | 5857 4791 25209 | 5500 104 14 | 9.558 % | 8.19/8.20 c | 255 | 5849 4791 25209 | 6050 255 15 | 9.682 % | 8.19/8.21 c | 480 | 5849 4791 25209 | 6655 480 23 | 9.682 % | 8.19/8.22 c | 819 | 5849 4791 25209 | 7320 819 32 | 9.682 % | 8.19/8.25 c | 1325 | 5849 4791 25209 | 8052 1325 43 | 9.682 % | 8.29/8.30 c | 2084 | 5737 4791 25209 | 8857 2084 45 | 11.427 % | 8.29/8.36 c | 3226 | 5720 4791 25209 | 9743 3226 47 | 11.674 % | 8.29/8.38 c =============================================================================== 8.29/8.39 c core #257 8.29/8.39 c 8.29/8.39 c 8.29/8.39 c Core size: 272 Core Weight: 1 Total Weight: 257 8.29/8.39 c Current CPU time: 8.26474 s 8.29/8.39 c 8.29/8.39 c ============================[ Search Statistics ]============================== 8.29/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.39 c =============================================================================== 8.29/8.39 c | 0 | 6138 4792 25751 | 5000 0 -nan | 0.000 % | 8.29/8.39 c | 100 | 6138 4792 25751 | 5500 100 37 | 8.891 % | 8.39/8.40 c | 250 | 6138 4792 25751 | 6050 250 39 | 8.891 % | 8.39/8.41 c | 475 | 6138 4792 25751 | 6655 475 56 | 8.891 % | 8.39/8.43 c | 812 | 6138 4792 25751 | 7320 812 58 | 8.891 % | 8.39/8.47 c | 1320 | 6138 4792 25751 | 8052 1320 63 | 8.891 % | 8.49/8.52 c | 2079 | 6138 4792 25751 | 8857 2079 75 | 8.891 % | 8.49/8.59 c | 3218 | 6138 4792 25751 | 9743 3218 92 | 8.891 % | 8.71/8.72 c | 4926 | 6138 4792 25751 | 10717 4926 110 | 8.891 % | 8.99/9.00 c | 7488 | 6138 4792 25751 | 11789 7488 136 | 8.891 % | 9.29/9.31 c | 11332 | 6138 4792 25751 | 12968 11332 115 | 8.891 % | 9.90/9.95 c | 17098 | 6138 4792 25751 | 14265 9945 87 | 8.891 % | 10.79/10.89 c | 25747 | 6122 4792 25751 | 15692 10988 100 | 9.129 % | 12.89/12.95 c | 38724 | 6122 4792 25751 | 17261 15313 175 | 9.129 % | 16.50/16.56 c | 58187 | 6122 4792 25751 | 18987 16419 192 | 9.129 % | 21.28/21.38 c | 87379 | 6122 4792 25751 | 20886 15554 120 | 9.129 % | 30.49/30.50 c | 131170 | 6122 4792 25751 | 22974 15497 217 | 9.129 % | 53.48/53.59 c =============================================================================== 54.49/54.58 c core #258 54.49/54.58 c 54.49/54.58 c 54.49/54.58 c Core size: 744 Core Weight: 1 Total Weight: 258 54.49/54.58 c Current CPU time: 54.0248 s 54.49/54.58 c 54.49/54.58 c ============================[ Search Statistics ]============================== 54.49/54.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 54.49/54.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 54.49/54.58 c =============================================================================== 54.49/54.58 c | 0 | 6924 4793 27256 | 5000 0 -nan | 0.000 % | 54.49/54.59 c | 100 | 6924 4793 27256 | 5500 100 102 | 7.185 % | 54.59/54.60 c | 251 | 6924 4793 27256 | 6050 251 77 | 7.185 % | 54.59/54.62 c | 477 | 6922 4793 27256 | 6655 477 96 | 7.212 % | 54.59/54.64 c | 814 | 6922 4793 27256 | 7320 814 85 | 7.212 % | 54.59/54.68 c | 1320 | 6922 4793 27256 | 8052 1320 127 | 7.212 % | 54.69/54.76 c | 2080 | 6922 4793 27256 | 8857 2080 128 | 7.212 % | 54.79/54.87 c | 3219 | 6922 4793 27256 | 9743 3219 124 | 7.212 % | 55.00/55.05 c | 4927 | 6922 4793 27256 | 10717 4927 152 | 7.212 % | 55.39/55.45 c | 7491 | 6922 4793 27256 | 11789 7491 169 | 7.212 % | 55.89/55.95 c | 11335 | 6922 4793 27256 | 12968 11335 164 | 7.212 % | 56.79/56.81 c | 17104 | 6922 4793 27256 | 14265 9710 200 | 7.212 % | 58.08/58.20 c | 25753 | 6919 4793 27256 | 15692 10666 193 | 7.252 % | 60.28/60.38 c | 38727 | 6917 4793 27256 | 17261 15472 244 | 7.279 % | 64.79/64.88 c | 58191 | 6917 4793 27256 | 18987 16471 306 | 7.279 % | 70.30/70.32 c | 87384 | 6914 4793 27256 | 20886 15821 156 | 7.319 % | 81.30/81.35 c | 131173 | 6911 4793 27256 | 22974 15502 262 | 7.359 % | 97.99/98.02 c | 196857 | 6911 4793 27256 | 25272 21120 219 | 7.359 % | 126.59/126.62 c | 295383 | 6079 4793 27256 | 27799 13581 215 | 18.512 % | 126.69/126.72 c =============================================================================== 127.09/127.19 c core #259 127.09/127.19 c 127.09/127.19 c 127.09/127.19 c Core size: 553 Core Weight: 1 Total Weight: 259 127.09/127.19 c Current CPU time: 126.147 s 127.09/127.19 c 127.09/127.19 c ============================[ Search Statistics ]============================== 127.09/127.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.09/127.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.09/127.19 c =============================================================================== 127.09/127.19 c | 0 | 7500 4794 28380 | 5000 0 -nan | 0.000 % | 127.19/127.20 c | 102 | 7500 4794 28380 | 5500 102 20 | 6.344 % | 127.19/127.21 c | 252 | 7500 4794 28380 | 6050 252 20 | 6.344 % | 127.19/127.23 c | 477 | 7500 4794 28380 | 6655 477 31 | 6.344 % | 127.19/127.25 c | 815 | 7500 4794 28380 | 7320 815 48 | 6.344 % | 127.28/127.30 c | 1322 | 7500 4794 28380 | 8052 1322 52 | 6.344 % | 127.28/127.36 c | 2084 | 7500 4794 28380 | 8857 2084 76 | 6.344 % | 127.38/127.45 c | 3223 | 7500 4794 28380 | 9743 3223 81 | 6.344 % | 127.49/127.57 c | 4931 | 7500 4794 28380 | 10717 4931 82 | 6.344 % | 127.78/127.83 c | 7494 | 7500 4794 28380 | 11789 7494 88 | 6.344 % | 128.18/128.29 c | 11340 | 7500 4794 28380 | 12968 11340 106 | 6.344 % | 129.28/129.30 c | 17106 | 7500 4794 28380 | 14265 10196 131 | 6.344 % | 130.89/130.93 c | 25760 | 7500 4794 28380 | 15692 11409 158 | 6.344 % | 133.29/133.30 c | 38734 | 7498 4794 28380 | 17261 15933 163 | 6.369 % | 137.29/137.41 c | 58204 | 7498 4794 28380 | 18987 17431 132 | 6.369 % | 142.58/142.65 c =============================================================================== 143.00/143.06 c core #260 143.00/143.06 c 143.00/143.06 c 143.00/143.06 c Core size: 417 Core Weight: 1 Total Weight: 260 143.00/143.06 c Current CPU time: 141.984 s 143.00/143.06 c 143.00/143.06 c ============================[ Search Statistics ]============================== 143.00/143.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 143.00/143.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 143.00/143.06 c =============================================================================== 143.00/143.06 c | 0 | 7931 4795 29224 | 5000 0 -nan | 0.000 % | 143.00/143.07 c | 100 | 7931 4795 29224 | 5500 100 30 | 5.819 % | 143.00/143.08 c | 253 | 7931 4795 29224 | 6050 253 28 | 5.819 % | 143.00/143.09 c | 478 | 7931 4795 29224 | 6655 478 26 | 5.819 % | 143.09/143.11 c | 815 | 7931 4795 29224 | 7320 815 31 | 5.819 % | 143.09/143.13 c | 1321 | 7931 4795 29224 | 8052 1321 31 | 5.819 % | 143.19/143.22 c | 2080 | 7931 4795 29224 | 8857 2080 70 | 5.819 % | 143.28/143.32 c | 3222 | 7931 4795 29224 | 9743 3222 97 | 5.819 % | 143.38/143.47 c | 4933 | 7931 4795 29224 | 10717 4933 132 | 5.819 % | 143.78/143.81 c | 7495 | 7931 4795 29224 | 11789 7495 145 | 5.819 % | 144.10/144.19 c | 11341 | 7931 4795 29224 | 12968 11341 142 | 5.819 % | 144.79/144.87 c | 17112 | 7931 4795 29224 | 14265 10006 166 | 5.819 % | 145.98/146.00 c | 25761 | 7931 4795 29224 | 15692 11053 149 | 5.819 % | 147.89/147.91 c | 38736 | 7931 4795 29224 | 17261 15718 147 | 5.819 % | 150.60/150.71 c | 58198 | 7931 4795 29224 | 18987 16196 194 | 5.819 % | 156.39/156.42 c | 87391 | 7931 4795 29224 | 20886 15121 296 | 5.819 % | 168.20/168.29 c | 131180 | 7931 4795 29224 | 22974 14973 277 | 5.819 % | 185.28/185.35 c | 196864 | 7931 4795 29224 | 25272 20526 272 | 5.819 % | 208.68/208.76 c | 295395 | 7931 4795 29224 | 27799 13793 213 | 5.819 % | 256.09/256.19 c | 443185 | 7931 4795 29224 | 30579 16154 493 | 5.819 % | 387.78/387.88 c | 664868 | 7931 4795 29224 | 33637 23059 551 | 5.819 % | 571.28/571.39 c | 997393 | 7931 4795 29224 | 37001 31493 368 | 5.819 % | 772.58/772.63 c | 1496184 | 7931 4795 29224 | 40701 24625 636 | 5.819 % | 1129.48/1129.53 c | 2244366 | 7931 4795 29224 | 44771 33246 450 | 5.819 % | 1720.28/1720.35 c | 3366640 | 7931 4795 29224 | 49248 31703 435 | 5.819 % |
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-3461529-1307103409/watcher-3461529-1307103409 -o /tmp/evaluation-result-3461529-1307103409/solver-3461529-1307103409 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461529-1307103409.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.00 2/386 28151 /proc/meminfo: memFree=23806796/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=3244 CPUtime=0.01 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 653 0 0 0 1 0 0 0 25 0 1 0 821943625 3321856 564 33554432000 4194304 5714214 140733609027360 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 811 565 170 372 0 436 0 [startup+0.0573441 s] /proc/loadavg: 2.01 2.03 2.00 2/386 28151 /proc/meminfo: memFree=23806796/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=4712 CPUtime=0.05 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 1166 0 0 0 5 0 0 0 25 0 1 0 821943625 4825088 882 33554432000 4194304 5714214 140733609027360 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 1178 882 175 372 0 803 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4712 [startup+0.100342 s] /proc/loadavg: 2.01 2.03 2.00 2/386 28151 /proc/meminfo: memFree=23806796/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=4880 CPUtime=0.09 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 1816 0 0 0 9 0 0 0 25 0 1 0 821943625 4997120 942 33554432000 4194304 5714214 140733609027360 18446744073709551615 4323200 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 1220 942 175 372 0 845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.300273 s] /proc/loadavg: 2.01 2.03 2.00 2/386 28151 /proc/meminfo: memFree=23806796/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=5204 CPUtime=0.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 2699 0 0 0 29 0 0 0 25 0 1 0 821943625 5328896 1054 33554432000 4194304 5714214 140733609027360 18446744073709551615 4355582 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 1301 1054 175 372 0 926 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5204 [startup+0.700234 s] /proc/loadavg: 2.01 2.03 2.00 2/386 28151 /proc/meminfo: memFree=23806796/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=7072 CPUtime=0.69 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 4281 0 0 0 68 1 0 0 25 0 1 0 821943625 7241728 1515 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 1768 1515 180 372 0 1393 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7072 [startup+1.50108 s] /proc/loadavg: 2.01 2.03 2.00 3/387 28152 /proc/meminfo: memFree=23799968/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=10304 CPUtime=1.49 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 5158 0 0 0 146 3 0 0 18 0 1 0 821943625 10551296 2328 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 2576 2328 180 372 0 2201 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10304 [startup+3.10081 s] /proc/loadavg: 2.01 2.02 2.00 3/387 28152 /proc/meminfo: memFree=23791784/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=17632 CPUtime=3.09 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 6988 0 0 0 304 5 0 0 21 0 1 0 821943625 18055168 4158 33554432000 4194304 5714214 140733609027360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 4408 4158 180 372 0 4033 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17632 [startup+6.30023 s] /proc/loadavg: 2.01 2.02 2.00 3/387 28152 /proc/meminfo: memFree=23778424/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=25076 CPUtime=6.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 8839 0 0 0 620 9 0 0 25 0 1 0 821943625 25677824 6009 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 6269 6009 180 372 0 5894 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25076 [startup+12.7011 s] /proc/loadavg: 2.01 2.02 2.00 3/387 28152 /proc/meminfo: memFree=23767712/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=25644 CPUtime=12.69 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 9945 0 0 0 1251 18 0 0 25 0 1 0 821943625 26259456 6146 33554432000 4194304 5714214 140733609027360 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/28151/statm: 6411 6146 180 372 0 6036 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25644 [startup+25.5008 s] /proc/loadavg: 2.09 2.04 2.01 3/387 28153 /proc/meminfo: memFree=23731004/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=47240 CPUtime=25.48 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 15319 0 0 0 2520 28 0 0 25 0 1 0 821943625 48373760 11520 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 11810 11520 180 372 0 11435 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47240 [startup+51.1003 s] /proc/loadavg: 2.06 2.03 2.00 3/387 28153 /proc/meminfo: memFree=23677100/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=75240 CPUtime=51.09 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 22256 0 0 0 5064 45 0 0 25 0 1 0 821943625 77045760 18457 33554432000 4194304 5714214 140733609027360 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 18810 18457 180 372 0 18435 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75240 [startup+102.314 s] /proc/loadavg: 2.02 2.03 2.00 3/387 28155 /proc/meminfo: memFree=23630932/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=79940 CPUtime=102.3 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 23478 0 0 0 10150 80 0 0 25 0 1 0 821943625 81858560 19679 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 19985 19679 180 372 0 19610 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 79940 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/387 28156 /proc/meminfo: memFree=23591324/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=88716 CPUtime=162.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 27034 0 0 0 16110 118 0 0 25 0 1 0 821943625 90845184 21880 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 22179 21880 180 372 0 21804 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 88716 [startup+222.301 s] /proc/loadavg: 2.09 2.04 2.01 3/387 28158 /proc/meminfo: memFree=23563728/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=116572 CPUtime=222.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 34002 0 0 0 22073 156 0 0 25 0 1 0 821943625 119369728 28848 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 29143 28848 180 372 0 28768 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 116572 [startup+282.3 s] /proc/loadavg: 2.08 2.05 2.01 3/387 28160 /proc/meminfo: memFree=23518052/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=166268 CPUtime=282.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 46386 0 0 0 28044 184 0 0 25 0 1 0 821943625 170258432 41232 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 41567 41232 180 372 0 41192 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 166268 [startup+342.301 s] /proc/loadavg: 2.02 2.04 2.00 3/387 28161 /proc/meminfo: memFree=23478560/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=192928 CPUtime=342.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 52973 0 0 0 34027 202 0 0 25 0 1 0 821943625 197558272 47819 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 48232 47819 180 372 0 47857 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 192928 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/387 28163 /proc/meminfo: memFree=23422952/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=218500 CPUtime=402.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 59142 0 0 0 40012 216 0 0 25 0 1 0 821943625 223744000 53988 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 54625 53988 180 372 0 54250 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 218500 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28164 /proc/meminfo: memFree=23375648/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=243460 CPUtime=462.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 65354 0 0 0 45996 232 0 0 25 0 1 0 821943625 249303040 60200 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 60865 60200 180 372 0 60490 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 243460 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28166 /proc/meminfo: memFree=23330312/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=257956 CPUtime=522.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 68968 0 0 0 51981 248 0 0 25 0 1 0 821943625 264146944 63814 33554432000 4194304 5714214 140733609027360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 64489 63814 180 372 0 64114 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 257956 [startup+582.301 s] /proc/loadavg: 2.07 2.04 2.01 3/387 28168 /proc/meminfo: memFree=23272452/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=288940 CPUtime=582.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 76737 0 0 0 57953 275 0 0 25 0 1 0 821943625 295874560 71583 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 72235 71583 180 372 0 71860 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 288940 [startup+642.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.04 2.05 2.00 3/387 28176 /proc/meminfo: memFree=22948764/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=440048 CPUtime=882.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 115053 0 0 0 87829 399 0 0 25 0 1 0 821943625 450609152 109260 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 110012 109260 180 372 0 109637 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 440048 [startup+942.3 s] /proc/loadavg: 2.01 2.04 2.00 3/387 28177 /proc/meminfo: memFree=22946248/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=440048 CPUtime=942.27 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 115070 0 0 0 93809 418 0 0 25 0 1 0 821943625 450609152 109277 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 110012 109277 180 372 0 109637 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 440048 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.00 3/387 28179 /proc/meminfo: memFree=22867584/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=468784 CPUtime=1002.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 122209 0 0 0 99788 440 0 0 25 0 1 0 821943625 480034816 116416 33554432000 4194304 5714214 140733609027360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 117196 116416 180 372 0 116821 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 468784 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28180 /proc/meminfo: memFree=22810868/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=495156 CPUtime=1062.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 128780 0 0 0 105769 460 0 0 25 0 1 0 821943625 507039744 122987 33554432000 4194304 5714214 140733609027360 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 123789 122987 180 372 0 123414 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 495156 [startup+1122.3 s] /proc/loadavg: 2.09 2.04 2.01 3/387 28182 /proc/meminfo: memFree=22783304/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=514832 CPUtime=1122.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 133664 0 0 0 111746 482 0 0 25 0 1 0 821943625 527187968 127871 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 128708 127871 180 372 0 128333 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 514832 [startup+1182.3 s] /proc/loadavg: 2.08 2.05 2.01 3/387 28184 /proc/meminfo: memFree=22746524/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=545680 CPUtime=1182.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 141369 0 0 0 117720 508 0 0 25 0 1 0 821943625 558776320 135576 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 136420 135576 180 372 0 136045 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 545680 [startup+1242.3 s] /proc/loadavg: 2.02 2.04 2.00 3/387 28185 /proc/meminfo: memFree=22723140/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=562400 CPUtime=1242.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 145520 0 0 0 123704 524 0 0 25 0 1 0 821943625 575897600 139727 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 140600 139727 180 372 0 140225 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 562400 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/387 28187 /proc/meminfo: memFree=22650812/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=584208 CPUtime=1302.29 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 150801 0 0 0 129687 542 0 0 25 0 1 0 821943625 598228992 145008 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 146052 145008 180 372 0 145677 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 584208 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.01 3/387 28188 /proc/meminfo: memFree=22619892/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=594756 CPUtime=1362.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 153316 0 0 0 135670 558 0 0 25 0 1 0 821943625 609030144 147523 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 148689 147523 180 372 0 148314 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 594756 [startup+1422.31 s] /proc/loadavg: 2.05 2.05 2.00 3/387 28190 /proc/meminfo: memFree=22572812/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=622404 CPUtime=1422.3 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 160076 0 0 0 141651 579 0 0 25 0 1 0 821943625 637341696 154283 33554432000 4194304 5714214 140733609027360 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 155601 154283 180 372 0 155226 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 622404 [startup+1482.3 s] /proc/loadavg: 2.02 2.04 2.00 3/387 28192 /proc/meminfo: memFree=22542852/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=651744 CPUtime=1482.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 168071 0 0 0 147623 605 0 0 25 0 1 0 821943625 667385856 161620 33554432000 4194304 5714214 140733609027360 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 162936 161620 180 372 0 162561 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 651744 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/387 28193 /proc/meminfo: memFree=22501252/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=677780 CPUtime=1542.27 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 174567 0 0 0 153602 625 0 0 25 0 1 0 821943625 694046720 168116 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 169445 168116 180 372 0 169070 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 677780 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28195 /proc/meminfo: memFree=22456328/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=698428 CPUtime=1602.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 179731 0 0 0 159586 642 0 0 25 0 1 0 821943625 715190272 173280 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 174607 173280 180 372 0 174232 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 698428 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/387 28196 /proc/meminfo: memFree=22399976/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=717528 CPUtime=1662.28 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 184511 0 0 0 165568 660 0 0 25 0 1 0 821943625 734748672 178060 33554432000 4194304 5714214 140733609027360 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 179382 178060 180 372 0 179007 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 717528 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.00 3/387 28198 /proc/meminfo: memFree=22375744/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=726168 CPUtime=1722.27 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 186658 0 0 0 171551 676 0 0 25 0 1 0 821943625 743596032 180207 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 181542 180207 180 372 0 181167 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 726168 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.00 3/387 28200 /proc/meminfo: memFree=22339980/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=740536 CPUtime=1782.27 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 190263 0 0 0 177533 694 0 0 25 0 1 0 821943625 758308864 183812 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 185134 183812 180 372 0 184759 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 740536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.01 2.02 2.00 3/387 28228 /proc/meminfo: memFree=23070096/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=740536 CPUtime=1800.09 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 190273 0 0 0 179308 701 0 0 25 0 1 0 821943625 758308864 183822 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 185134 183822 180 372 0 184759 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 740536 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.01 2.02 2.00 3/387 28228 /proc/meminfo: memFree=23070096/32951124 swapFree=49244120/67111528 [pid=28151] ppid=28149 vsize=740536 CPUtime=1800.09 cores=0,2,4,6 /proc/28151/stat : 28151 (wbo1.6) R 28149 28151 27315 0 -1 4202496 190273 0 0 0 179308 701 0 0 25 0 1 0 821943625 758308864 183822 33554432000 4194304 5714214 140733609027360 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/28151/statm: 185134 183822 180 372 0 184759 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 740536 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.15 CPU time (s): 1800.13 CPU user time (s): 1793.08 CPU system time (s): 7.04293 CPU usage (%): 99.9989 Max. virtual memory (cumulated for all children) (KiB): 740536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.08 system time used= 7.04293 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 190273 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= 4 involuntary context switches= 3236 runsolver used 7.57385 second user time and 14.7268 second system time The end
Begin job on node101 at 2011-06-03 14:16:49 IDJOB=3461529 IDBENCH=2872 IDSOLVER=1953 FILE ID=node101/3461529-1307103409 RUNJOBID= node101-1307092509-27333 PBS_JOBID= 13497974 Free space on /tmp= 73952 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461529-1307103409/watcher-3461529-1307103409 -o /tmp/evaluation-result-3461529-1307103409/solver-3461529-1307103409 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461529-1307103409.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f RANDOM SEED=1380838648 node101.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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.841 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.77 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.841 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.83 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.841 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.74 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.841 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.83 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.841 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.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23806828 kB Buffers: 235628 kB Cached: 462628 kB SwapCached: 27120 kB Active: 8447040 kB Inactive: 420860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23806828 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 8856 kB Writeback: 0 kB AnonPages: 8164632 kB Mapped: 18640 kB Slab: 134628 kB PageTables: 74688 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78634540 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= 73944 MiB End job on node101 at 2011-06-03 14:46:51