Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex6.b.opb |
MD5SUM | 06ffce7cc6d5515cfd76def90ae69d59 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 136 |
Best CPU time to get the best result obtained on this benchmark | 55.7105 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 136 |
Optimality of the best value was proved | NO |
Number of variables | 3098 |
Total number of constraints | 6012 |
Number of constraints which are clauses | 6012 |
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 | 1 |
Maximum length of a constraint | 386 |
Number of terms in the objective function | 3098 |
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 | 3098 |
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 | 3098 |
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-3460792-1307102260.opb. 0.00/0.00 c Instance file HOME/instance-3460792-1307102260.opb 0.00/0.00 c File size is 2387751 bytes. 0.10/0.15 c Highest Coefficient sum: 387 0.10/0.15 c ============================[ Problem Statistics ]============================= 0.10/0.15 c | | 0.10/0.15 c | Parsing time: 0.15 s | 0.10/0.15 c | Number Variables: 3098 | 0.10/0.15 c | Number Clauses: 6012 | 0.10/0.15 c | Number Cardinality: 0 | 0.10/0.15 c | Number PB Constraints: 0 | 0.10/0.15 c ============================[ Search Statistics ]============================== 0.10/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.15 c =============================================================================== 0.10/0.15 c | 0 | 3072 6012 270370 | 5000 0 -nan | 0.000 % | 0.59/0.69 c core #1 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 91 Core Weight: 1 Total Weight: 27 0.59/0.69 c Current CPU time: 0.169974 s 0.59/0.69 c 0.59/0.69 c core #2 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 28 0.59/0.69 c Current CPU time: 0.181972 s 0.59/0.69 c 0.59/0.69 c core #3 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 15 Core Weight: 1 Total Weight: 29 0.59/0.69 c Current CPU time: 0.19297 s 0.59/0.69 c 0.59/0.69 c core #4 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 9 Core Weight: 1 Total Weight: 30 0.59/0.69 c Current CPU time: 0.204968 s 0.59/0.69 c 0.59/0.69 c core #5 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 31 0.59/0.69 c Current CPU time: 0.216967 s 0.59/0.69 c 0.59/0.69 c core #6 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 62 Core Weight: 1 Total Weight: 32 0.59/0.69 c Current CPU time: 0.228965 s 0.59/0.69 c 0.59/0.69 c core #7 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 33 0.59/0.69 c Current CPU time: 0.240963 s 0.59/0.69 c 0.59/0.69 c core #8 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 142 Core Weight: 1 Total Weight: 34 0.59/0.69 c Current CPU time: 0.252961 s 0.59/0.69 c 0.59/0.69 c core #9 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 35 0.59/0.69 c Current CPU time: 0.264959 s 0.59/0.69 c 0.59/0.69 c core #10 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 36 0.59/0.69 c Current CPU time: 0.276957 s 0.59/0.69 c 0.59/0.69 c core #11 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 37 0.59/0.69 c Current CPU time: 0.288956 s 0.59/0.69 c 0.59/0.69 c core #12 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 38 0.59/0.69 c Current CPU time: 0.300954 s 0.59/0.69 c 0.59/0.69 c core #13 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 39 0.59/0.69 c Current CPU time: 0.312952 s 0.59/0.69 c 0.59/0.69 c core #14 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 40 0.59/0.69 c Current CPU time: 0.32495 s 0.59/0.69 c 0.59/0.69 c core #15 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 10 Core Weight: 1 Total Weight: 41 0.59/0.69 c Current CPU time: 0.336948 s 0.59/0.69 c 0.59/0.69 c core #16 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 6 Core Weight: 1 Total Weight: 42 0.59/0.69 c Current CPU time: 0.348946 s 0.59/0.69 c 0.59/0.69 c core #17 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 24 Core Weight: 1 Total Weight: 43 0.59/0.69 c Current CPU time: 0.360945 s 0.59/0.69 c 0.59/0.69 c core #18 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 44 0.59/0.69 c Current CPU time: 0.373943 s 0.59/0.69 c 0.59/0.69 c core #19 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 45 0.59/0.69 c Current CPU time: 0.385941 s 0.59/0.69 c 0.59/0.69 c core #20 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 46 0.59/0.69 c Current CPU time: 0.397939 s 0.59/0.69 c 0.59/0.69 c core #21 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 24 Core Weight: 1 Total Weight: 47 0.59/0.69 c Current CPU time: 0.410937 s 0.59/0.69 c 0.59/0.69 c core #22 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 48 0.59/0.69 c Current CPU time: 0.422935 s 0.59/0.69 c 0.59/0.69 c core #23 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 22 Core Weight: 1 Total Weight: 49 0.59/0.69 c Current CPU time: 0.434933 s 0.59/0.69 c 0.59/0.69 c core #24 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 50 0.59/0.69 c Current CPU time: 0.447931 s 0.59/0.69 c 0.59/0.69 c core #25 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: 51 0.59/0.69 c Current CPU time: 0.45993 s 0.59/0.69 c 0.59/0.69 c core #26 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 52 0.59/0.69 c Current CPU time: 0.472928 s 0.59/0.69 c 0.59/0.69 c core #27 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 24 Core Weight: 1 Total Weight: 53 0.59/0.69 c Current CPU time: 0.484926 s 0.59/0.69 c 0.59/0.69 c core #28 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 54 0.59/0.69 c Current CPU time: 0.497924 s 0.59/0.69 c 0.59/0.69 c core #29 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 55 0.59/0.69 c Current CPU time: 0.509922 s 0.59/0.69 c 0.59/0.69 c core #30 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 23 Core Weight: 1 Total Weight: 56 0.59/0.69 c Current CPU time: 0.52292 s 0.59/0.69 c 0.59/0.69 c core #31 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 57 0.59/0.69 c Current CPU time: 0.534918 s 0.59/0.69 c 0.59/0.69 c core #32 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 58 0.59/0.69 c Current CPU time: 0.547916 s 0.59/0.69 c 0.59/0.69 c core #33 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 59 0.59/0.69 c Current CPU time: 0.560914 s 0.59/0.69 c 0.59/0.69 c core #34 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 60 0.59/0.69 c Current CPU time: 0.572912 s 0.59/0.69 c 0.59/0.69 c core #35 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 38 Core Weight: 1 Total Weight: 61 0.59/0.69 c Current CPU time: 0.58591 s 0.59/0.69 c 0.59/0.69 c core #36 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 62 0.59/0.69 c Current CPU time: 0.598908 s 0.59/0.69 c 0.59/0.69 c core #37 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 24 Core Weight: 1 Total Weight: 63 0.59/0.69 c Current CPU time: 0.611906 s 0.59/0.69 c 0.59/0.69 c core #38 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 5 Core Weight: 1 Total Weight: 64 0.59/0.69 c Current CPU time: 0.624905 s 0.59/0.69 c 0.59/0.69 c core #39 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: 65 0.59/0.69 c Current CPU time: 0.636903 s 0.59/0.69 c 0.59/0.69 c core #40 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 66 0.59/0.69 c Current CPU time: 0.649901 s 0.59/0.69 c 0.59/0.69 c core #41 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 67 0.59/0.69 c Current CPU time: 0.662899 s 0.59/0.69 c 0.59/0.69 c core #42 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 20 Core Weight: 1 Total Weight: 68 0.59/0.69 c Current CPU time: 0.675897 s 0.59/0.69 c 0.59/0.69 c core #43 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 69 1.01/1.06 c Current CPU time: 0.688895 s 1.01/1.06 c 1.01/1.06 c core #44 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 70 1.01/1.06 c Current CPU time: 0.701893 s 1.01/1.06 c 1.01/1.06 c core #45 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 71 1.01/1.06 c Current CPU time: 0.714891 s 1.01/1.06 c 1.01/1.06 c core #46 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 72 1.01/1.06 c Current CPU time: 0.727889 s 1.01/1.06 c 1.01/1.06 c core #47 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 22 Core Weight: 1 Total Weight: 73 1.01/1.06 c Current CPU time: 0.740887 s 1.01/1.06 c 1.01/1.06 c core #48 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 24 Core Weight: 1 Total Weight: 74 1.01/1.06 c Current CPU time: 0.753885 s 1.01/1.06 c 1.01/1.06 c core #49 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 11 Core Weight: 1 Total Weight: 75 1.01/1.06 c Current CPU time: 0.767883 s 1.01/1.06 c 1.01/1.06 c core #50 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 76 1.01/1.06 c Current CPU time: 0.780881 s 1.01/1.06 c 1.01/1.06 c core #51 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 77 1.01/1.06 c Current CPU time: 0.793879 s 1.01/1.06 c 1.01/1.06 c core #52 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 78 1.01/1.06 c Current CPU time: 0.806877 s 1.01/1.06 c 1.01/1.06 c core #53 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 79 1.01/1.06 c Current CPU time: 0.819875 s 1.01/1.06 c 1.01/1.06 c core #54 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 80 1.01/1.06 c Current CPU time: 0.832873 s 1.01/1.06 c 1.01/1.06 c core #55 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 14 Core Weight: 1 Total Weight: 81 1.01/1.06 c Current CPU time: 0.846871 s 1.01/1.06 c 1.01/1.06 c core #56 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 82 1.01/1.06 c Current CPU time: 0.859869 s 1.01/1.06 c 1.01/1.06 c core #57 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 83 1.01/1.06 c Current CPU time: 0.872867 s 1.01/1.06 c 1.01/1.06 c core #58 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 84 1.01/1.06 c Current CPU time: 0.885865 s 1.01/1.06 c 1.01/1.06 c core #59 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 85 1.01/1.06 c Current CPU time: 0.898863 s 1.01/1.06 c 1.01/1.06 c core #60 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 86 1.01/1.06 c Current CPU time: 0.912861 s 1.01/1.06 c 1.01/1.06 c core #61 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 87 1.01/1.06 c Current CPU time: 0.925859 s 1.01/1.06 c 1.01/1.06 c core #62 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 88 1.01/1.06 c Current CPU time: 0.938857 s 1.01/1.06 c 1.01/1.06 c core #63 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 89 1.01/1.06 c Current CPU time: 0.951855 s 1.01/1.06 c 1.01/1.06 c core #64 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 3 Core Weight: 1 Total Weight: 90 1.01/1.06 c Current CPU time: 0.965853 s 1.01/1.06 c 1.01/1.06 c core #65 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 20 Core Weight: 1 Total Weight: 91 1.01/1.06 c Current CPU time: 0.978851 s 1.01/1.06 c 1.01/1.06 c core #66 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 99 Core Weight: 1 Total Weight: 92 1.01/1.06 c Current CPU time: 0.991849 s 1.01/1.06 c 1.01/1.06 c core #67 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 156 Core Weight: 1 Total Weight: 93 1.01/1.06 c Current CPU time: 1.00585 s 1.01/1.06 c 1.01/1.06 c core #68 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 69 Core Weight: 1 Total Weight: 94 1.01/1.06 c Current CPU time: 1.01984 s 1.01/1.06 c 1.01/1.06 c core #69 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 120 Core Weight: 1 Total Weight: 95 1.01/1.06 c Current CPU time: 1.03384 s 1.01/1.06 c 1.01/1.06 c core #70 1.01/1.06 c 1.01/1.06 c 1.01/1.06 c Core size: 28 Core Weight: 1 Total Weight: 96 1.01/1.06 c Current CPU time: 1.04784 s 1.01/1.06 c 1.01/1.06 c ============================[ Search Statistics ]============================== 1.01/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.06 c =============================================================================== 1.01/1.06 c | 0 | 3194 8889 157962 | 5000 0 -nan | 0.000 % | 1.01/1.06 c =============================================================================== 1.01/1.07 c core #71 1.01/1.07 c 1.01/1.07 c 1.01/1.07 c Core size: 247 Core Weight: 1 Total Weight: 97 1.01/1.07 c Current CPU time: 1.06284 s 1.01/1.07 c 1.01/1.07 c ============================[ Search Statistics ]============================== 1.01/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.07 c =============================================================================== 1.01/1.07 c | 0 | 3530 8890 169058 | 5000 0 -nan | 0.000 % | 1.01/1.08 c =============================================================================== 1.01/1.09 c core #72 1.01/1.09 c 1.01/1.09 c 1.01/1.09 c Core size: 32 Core Weight: 1 Total Weight: 98 1.01/1.09 c Current CPU time: 1.08283 s 1.01/1.09 c 1.01/1.09 c ============================[ Search Statistics ]============================== 1.01/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.09 c =============================================================================== 1.01/1.09 c | 0 | 3584 8891 171789 | 5000 0 -nan | 0.000 % | 1.01/1.10 c =============================================================================== 1.01/1.11 c core #73 1.01/1.11 c 1.01/1.11 c 1.01/1.11 c Core size: 215 Core Weight: 1 Total Weight: 99 1.01/1.11 c Current CPU time: 1.09983 s 1.01/1.11 c 1.01/1.11 c ============================[ Search Statistics ]============================== 1.01/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.11 c =============================================================================== 1.01/1.11 c | 0 | 3894 8892 181280 | 5000 0 -nan | 0.000 % | 1.11/1.12 c | 100 | 3894 8892 181280 | 5500 100 79 | 25.459 % | 1.11/1.13 c =============================================================================== 1.11/1.14 c core #74 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 47 Core Weight: 1 Total Weight: 100 1.11/1.14 c Current CPU time: 1.12883 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 3978 8893 186596 | 5000 0 -nan | 0.000 % | 1.11/1.15 c | 100 | 3978 8893 186596 | 5500 100 90 | 24.487 % | 1.11/1.16 c | 251 | 3978 8893 186596 | 6050 251 126 | 24.487 % | 1.11/1.18 c | 481 | 3977 8893 186596 | 6655 481 114 | 24.525 % | 1.19/1.22 c | 822 | 3960 8893 186596 | 7320 822 130 | 24.829 % | 1.19/1.27 c | 1328 | 3960 8893 186596 | 8052 1328 119 | 24.829 % | 1.29/1.33 c =============================================================================== 1.29/1.35 c core #75 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 522 Core Weight: 1 Total Weight: 101 1.29/1.35 c Current CPU time: 1.3188 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 4597 8894 192574 | 5000 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.37 c core #76 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 66 Core Weight: 1 Total Weight: 102 1.29/1.37 c Current CPU time: 1.3368 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 4695 8895 193359 | 5000 0 -nan | 0.000 % | 1.29/1.38 c | 101 | 4695 8895 193359 | 5500 101 173 | 19.740 % | 1.29/1.39 c | 251 | 4694 8895 193359 | 6050 251 150 | 19.774 % | 1.39/1.42 c | 476 | 4694 8895 193359 | 6655 476 179 | 19.774 % | 1.39/1.45 c | 813 | 4694 8895 193359 | 7320 813 159 | 19.774 % | 1.39/1.46 c =============================================================================== 1.39/1.48 c core #77 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 36 Core Weight: 1 Total Weight: 103 1.39/1.48 c Current CPU time: 1.44378 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 4743 8896 193902 | 5000 0 -nan | 0.000 % | 1.39/1.48 c | 100 | 4743 8896 193902 | 5500 100 75 | 19.323 % | 1.49/1.50 c | 250 | 4743 8896 193902 | 6050 250 139 | 19.323 % | 1.49/1.53 c | 484 | 4743 8896 193902 | 6655 484 114 | 19.323 % | 1.49/1.57 c | 822 | 4743 8896 193902 | 7320 822 120 | 19.323 % | 1.59/1.62 c | 1332 | 4743 8896 193902 | 8052 1332 135 | 19.323 % | 1.69/1.71 c | 2091 | 4743 8896 193902 | 8857 2091 147 | 19.323 % | 1.79/1.84 c =============================================================================== 1.79/1.86 c core #78 1.79/1.86 c 1.79/1.86 c 1.79/1.86 c Core size: 24 Core Weight: 1 Total Weight: 104 1.79/1.86 c Current CPU time: 1.78373 s 1.79/1.86 c 1.79/1.86 c ============================[ Search Statistics ]============================== 1.79/1.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.86 c =============================================================================== 1.79/1.86 c | 0 | 4781 8897 194178 | 5000 0 -nan | 0.000 % | 1.79/1.86 c | 100 | 4781 8897 194178 | 5500 100 92 | 18.966 % | 1.79/1.88 c | 250 | 4781 8897 194178 | 6050 250 123 | 18.966 % | 1.89/1.90 c | 475 | 4781 8897 194178 | 6655 475 173 | 18.966 % | 1.89/1.96 c | 816 | 4781 8897 194178 | 7320 816 208 | 18.966 % | 1.99/2.03 c =============================================================================== 1.99/2.04 c core #79 1.99/2.04 c 1.99/2.04 c 1.99/2.04 c Core size: 11 Core Weight: 1 Total Weight: 105 1.99/2.04 c Current CPU time: 1.9577 s 1.99/2.04 c 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 4788 8898 194195 | 5000 0 -nan | 0.000 % | 1.99/2.05 c | 102 | 4788 8898 194195 | 5500 102 92 | 18.930 % | 1.99/2.07 c | 252 | 4788 8898 194195 | 6050 252 131 | 18.930 % | 1.99/2.09 c | 479 | 4788 8898 194195 | 6655 479 110 | 18.930 % | 2.11/2.13 c | 817 | 4788 8898 194195 | 7320 817 110 | 18.930 % | 2.21/2.22 c | 1323 | 4788 8898 194195 | 8052 1323 156 | 18.930 % | 2.21/2.27 c =============================================================================== 2.21/2.29 c core #80 2.21/2.29 c 2.21/2.29 c 2.21/2.29 c Core size: 15 Core Weight: 1 Total Weight: 106 2.21/2.29 c Current CPU time: 2.18567 s 2.21/2.29 c 2.21/2.29 c ============================[ Search Statistics ]============================== 2.21/2.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.29 c =============================================================================== 2.21/2.29 c | 0 | 4798 8899 194215 | 5000 0 -nan | 0.000 % | 2.21/2.29 c =============================================================================== 2.29/2.30 c core #81 2.29/2.30 c 2.29/2.30 c 2.29/2.30 c Core size: 86 Core Weight: 1 Total Weight: 107 2.29/2.30 c Current CPU time: 2.20167 s 2.29/2.30 c 2.29/2.30 c ============================[ Search Statistics ]============================== 2.29/2.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.30 c =============================================================================== 2.29/2.30 c | 0 | 4862 8900 194343 | 5000 0 -nan | 0.000 % | 2.29/2.31 c | 100 | 4862 8900 194343 | 5500 100 109 | 18.696 % | 2.29/2.32 c | 250 | 4862 8900 194343 | 6050 250 109 | 18.696 % | 2.29/2.35 c | 475 | 4862 8900 194343 | 6655 475 131 | 18.696 % | 2.29/2.38 c | 813 | 4862 8900 194343 | 7320 813 156 | 18.696 % | 2.39/2.43 c | 1319 | 4862 8900 194343 | 8052 1319 167 | 18.696 % | 2.49/2.57 c | 2078 | 4862 8900 194343 | 8857 2078 185 | 18.696 % | 2.69/2.70 c | 3220 | 4862 8900 194343 | 9743 3220 163 | 18.696 % | 2.89/2.91 c | 4930 | 4862 8900 194343 | 10717 4930 152 | 18.696 % | 3.40/3.42 c | 7494 | 4862 8900 194343 | 11789 7494 148 | 18.696 % | 4.19/4.24 c | 11341 | 4862 8900 194343 | 12968 11341 147 | 18.696 % | 5.69/5.70 c | 17109 | 4846 8900 194343 | 14265 9969 178 | 18.963 % | 7.61/7.70 c | 25759 | 4846 8900 194343 | 15692 10729 171 | 18.963 % | 10.09/10.19 c | 38733 | 4846 8900 194343 | 17261 15055 172 | 18.963 % | 15.19/15.23 c | 58195 | 4844 8900 194343 | 18987 16030 207 | 18.997 % | 22.89/22.94 c | 87387 | 4843 8900 194343 | 20886 14651 329 | 19.013 % | 36.89/36.97 c | 131176 | 4843 8900 194343 | 22974 13716 313 | 19.013 % | 54.79/54.83 c =============================================================================== 56.11/56.14 c core #82 56.11/56.14 c 56.11/56.14 c 56.11/56.14 c Core size: 732 Core Weight: 1 Total Weight: 108 56.11/56.14 c Current CPU time: 54.9077 s 56.11/56.14 c 56.11/56.14 c ============================[ Search Statistics ]============================== 56.11/56.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.11/56.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.11/56.14 c =============================================================================== 56.11/56.14 c | 0 | 5750 8901 203601 | 5000 0 -nan | 0.000 % | 56.11/56.15 c | 101 | 5750 8901 203601 | 5500 101 124 | 14.307 % | 56.11/56.16 c | 251 | 5750 8901 203601 | 6050 251 113 | 14.307 % | 56.19/56.21 c | 476 | 5750 8901 203601 | 6655 476 145 | 14.307 % | 56.19/56.24 c | 814 | 5750 8901 203601 | 7320 814 211 | 14.307 % | 56.29/56.31 c | 1323 | 5750 8901 203601 | 8052 1323 223 | 14.307 % | 56.38/56.43 c | 2084 | 5750 8901 203601 | 8857 2084 270 | 14.307 % | 56.69/56.75 c | 3224 | 5750 8901 203601 | 9743 3224 313 | 14.307 % | 57.10/57.18 c | 4933 | 5750 8901 203601 | 10717 4933 315 | 14.307 % | 57.79/57.84 c | 7496 | 5750 8901 203601 | 11789 7496 307 | 14.307 % | 58.79/58.87 c | 11343 | 5750 8901 203601 | 12968 11343 339 | 14.307 % | 60.99/61.06 c | 17110 | 5750 8901 203601 | 14265 9661 469 | 14.307 % | 63.29/63.33 c | 25759 | 5750 8901 203601 | 15692 10628 396 | 14.307 % | 67.49/67.53 c | 38733 | 5750 8901 203601 | 17261 15226 336 | 14.307 % | 74.29/74.38 c | 58194 | 5750 8901 203601 | 18987 15787 352 | 14.307 % | 87.90/88.01 c | 87388 | 5734 8901 203601 | 20886 14100 485 | 14.545 % | 108.09/108.13 c | 131178 | 5734 8901 203601 | 22974 12253 389 | 14.545 % | 128.79/128.85 c =============================================================================== 128.89/128.93 c core #83 128.89/128.93 c 128.89/128.93 c 128.89/128.93 c Core size: 320 Core Weight: 1 Total Weight: 109 128.89/128.93 c Current CPU time: 126.766 s 128.89/128.93 c 128.89/128.93 c ============================[ Search Statistics ]============================== 128.89/128.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 128.89/128.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 128.89/128.93 c =============================================================================== 128.89/128.93 c | 0 | 6249 8902 211689 | 5000 0 -nan | 0.000 % | 128.89/128.94 c | 101 | 6249 8902 211689 | 5500 101 190 | 11.084 % | 128.89/128.96 c | 254 | 6249 8902 211689 | 6050 254 166 | 11.084 % | 128.89/128.99 c | 482 | 6249 8902 211689 | 6655 482 174 | 11.084 % | 129.00/129.02 c | 821 | 6249 8902 211689 | 7320 821 177 | 11.084 % | 129.09/129.11 c | 1327 | 6233 8902 211689 | 8052 1327 189 | 11.312 % | 129.19/129.23 c | 2086 | 6233 8902 211689 | 8857 2086 194 | 11.312 % | 129.39/129.46 c | 3225 | 6233 8902 211689 | 9743 3225 225 | 11.312 % | 129.70/129.80 c | 4933 | 6233 8902 211689 | 10717 4933 254 | 11.312 % | 130.39/130.49 c | 7496 | 6233 8902 211689 | 11789 7496 267 | 11.312 % | 131.29/131.34 c | 11342 | 6233 8902 211689 | 12968 11342 262 | 11.312 % | 132.79/132.84 c | 17110 | 6233 8902 211689 | 14265 10082 266 | 11.312 % | 135.20/135.31 c | 25766 | 6233 8902 211689 | 15692 11059 284 | 11.312 % | 139.90/139.90 c | 38746 | 6233 8902 211689 | 17261 15602 279 | 11.312 % | 145.99/146.02 c =============================================================================== 145.99/146.06 c core #84 145.99/146.06 c 145.99/146.06 c 145.99/146.06 c Core size: 71 Core Weight: 1 Total Weight: 110 145.99/146.06 c Current CPU time: 143.658 s 145.99/146.06 c 145.99/146.06 c ============================[ Search Statistics ]============================== 145.99/146.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 145.99/146.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 145.99/146.06 c =============================================================================== 145.99/146.06 c | 0 | 6332 8904 212093 | 5000 0 -nan | 0.000 % | 145.99/146.07 c | 100 | 6332 8904 212093 | 5500 100 219 | 10.792 % | 145.99/146.09 c | 250 | 6332 8904 212093 | 6050 250 209 | 11.017 % | 146.09/146.13 c | 478 | 6332 8904 212093 | 6655 478 197 | 11.017 % | 146.09/146.21 c | 817 | 6316 8904 212093 | 7320 817 206 | 11.017 % | 146.21/146.27 c | 1324 | 6316 8904 212093 | 8052 1324 163 | 11.017 % | 146.31/146.36 c | 2085 | 6316 8904 212093 | 8857 2085 208 | 11.017 % | 146.49/146.54 c | 3224 | 6316 8904 212093 | 9743 3224 216 | 11.017 % | 146.80/146.88 c | 4932 | 6316 8904 212093 | 10717 4932 225 | 11.017 % | 147.31/147.35 c | 7494 | 6316 8904 212093 | 11789 7494 222 | 11.017 % | 148.19/148.22 c | 11350 | 6316 8904 212093 | 12968 11350 249 | 11.017 % | 149.80/149.80 c | 17117 | 6316 8904 212093 | 14265 10188 331 | 11.017 % | 153.00/153.01 c | 25766 | 6316 8904 212093 | 15692 11218 397 | 11.017 % | 158.31/158.40 c | 38740 | 6316 8904 212093 | 17261 15927 369 | 11.017 % | 166.90/166.99 c | 58202 | 6316 8904 212093 | 18987 17062 373 | 11.017 % | 179.00/179.09 c | 87394 | 6316 8904 212093 | 20886 16408 293 | 11.017 % | 191.09/191.12 c | 131183 | 6314 8904 212093 | 22974 16316 303 | 11.045 % | 210.50/210.56 c | 196867 | 6314 8904 212093 | 25272 21775 353 | 11.045 % | 239.89/239.96 c | 295393 | 6314 8904 212093 | 27799 24198 326 | 11.045 % | 298.20/298.24 c | 443183 | 6314 8904 212093 | 30579 26634 436 | 11.045 % | 396.41/396.45 c | 664868 | 6314 8904 212093 | 33637 19645 543 | 11.045 % | 544.91/544.93 c | 997393 | 6314 8904 212093 | 37001 21619 469 | 11.045 % | 790.52/790.57 c | 1496181 | 6314 8904 212093 | 40701 20446 410 | 11.045 % | 1148.03/1148.03 c =============================================================================== 1149.03/1149.00 c core #85 1149.03/1149.00 c 1149.03/1149.00 c 1149.03/1149.00 c Core size: 34 Core Weight: 1 Total Weight: 111 1149.03/1149.00 c Current CPU time: 1133.23 s 1149.03/1149.00 c 1149.03/1149.00 c ============================[ Search Statistics ]============================== 1149.03/1149.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 1149.03/1149.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1149.03/1149.00 c =============================================================================== 1149.03/1149.00 c | 0 | 6363 8905 212155 | 5000 0 -nan | 0.000 % | 1149.03/1149.01 c | 100 | 6363 8905 212155 | 5500 100 238 | 10.745 % | 1149.03/1149.04 c | 251 | 6363 8905 212155 | 6050 251 167 | 10.745 % | 1149.03/1149.06 c | 478 | 6363 8905 212155 | 6655 478 166 | 10.745 % | 1149.13/1149.14 c | 816 | 6363 8905 212155 | 7320 816 204 | 10.745 % | 1149.33/1149.30 c | 1322 | 6363 8905 212155 | 8052 1322 258 | 10.745 % | 1149.45/1149.42 c | 2082 | 6363 8905 212155 | 8857 2082 232 | 10.745 % | 1149.63/1149.65 c | 3221 | 6363 8905 212155 | 9743 3221 262 | 10.745 % | 1149.93/1149.98 c | 4929 | 6363 8905 212155 | 10717 4929 281 | 10.745 % | 1150.54/1150.59 c | 7491 | 6363 8905 212155 | 11789 7491 269 | 10.745 % | 1151.43/1151.40 c | 11338 | 6363 8905 212155 | 12968 11338 260 | 10.745 % | 1152.74/1152.72 c | 17110 | 6363 8905 212155 | 14265 9894 263 | 10.745 % | 1156.53/1156.56 c | 25764 | 6347 8905 212155 | 15692 10887 322 | 10.969 % | 1163.33/1163.39 c | 38739 | 6347 8905 212155 | 17261 15500 371 | 10.969 % | 1170.45/1170.47 c | 58201 | 6347 8905 212155 | 18987 16636 317 | 10.969 % | 1181.13/1181.13 c | 87393 | 6347 8905 212155 | 20886 15860 341 | 10.969 % | 1197.03/1197.00 c | 131182 | 6347 8905 212155 | 22974 15580 262 | 10.969 % | 1215.23/1215.27 c | 196869 | 6345 8905 212155 | 25272 19521 381 | 10.997 % | 1252.63/1252.67 c | 295398 | 6345 8905 212155 | 27799 23677 459 | 10.997 % | 1318.44/1318.46 c | 443187 | 6345 8905 212155 | 30579 14268 337 | 10.997 % | 1403.24/1403.29 c | 664870 | 6345 8905 212155 | 33637 23941 351 | 10.997 % | 1542.44/1542.43 c | 997395 | 6343 8905 212155 | 37001 31943 367 | 11.025 % | 1754.75/1754.71 c | 1496184 | 6341 8905 212155 | 40701 35747 347 | 11.053 % |
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-3460792-1307102260/watcher-3460792-1307102260 -o /tmp/evaluation-result-3460792-1307102260/solver-3460792-1307102260 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460792-1307102260.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/514 18549 /proc/meminfo: memFree=21816416/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=5156 CPUtime=0.01 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 506 0 0 0 1 0 0 0 25 0 1 0 802641639 5279744 459 33554432000 4194304 5714214 140737397485648 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 1289 459 208 372 0 331 0 [startup+0.024806 s] /proc/loadavg: 2.00 2.02 2.00 2/514 18549 /proc/meminfo: memFree=21816416/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=5156 CPUtime=0.02 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 573 0 0 0 2 0 0 0 25 0 1 0 802641639 5279744 526 33554432000 4194304 5714214 140737397485648 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 1289 526 251 372 0 331 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5156 [startup+0.100789 s] /proc/loadavg: 2.00 2.02 2.00 2/514 18549 /proc/meminfo: memFree=21816416/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=5964 CPUtime=0.1 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 1050 0 0 0 10 0 0 0 25 0 1 0 802641639 6107136 1003 33554432000 4194304 5714214 140737397485648 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 1491 1003 541 372 0 533 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5964 [startup+0.300749 s] /proc/loadavg: 2.00 2.02 2.00 2/514 18549 /proc/meminfo: memFree=21816416/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=7244 CPUtime=0.29 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 2259 0 0 0 29 0 0 0 25 0 1 0 802641639 7417856 1559 33554432000 4194304 5714214 140737397485648 18446744073709551615 4346051 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 1811 1559 175 372 0 1436 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7244 [startup+0.700678 s] /proc/loadavg: 2.00 2.02 2.00 2/514 18549 /proc/meminfo: memFree=21816416/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=7460 CPUtime=0.69 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 2377 0 0 0 69 0 0 0 25 0 1 0 802641639 7639040 1624 33554432000 4194304 5714214 140737397485648 18446744073709551615 4345899 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 1865 1624 175 372 0 1490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7460 [startup+1.50052 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21806164/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=10488 CPUtime=1.49 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 3622 0 0 0 147 2 0 0 25 0 1 0 802641639 10739712 2357 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 2622 2357 180 372 0 2247 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10488 [startup+3.10022 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21799840/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=11752 CPUtime=3.09 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 3967 0 0 0 298 11 0 0 25 0 1 0 802641639 12034048 2702 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 2938 2702 180 372 0 2563 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11752 [startup+6.30062 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18550 /proc/meminfo: memFree=21790688/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=23040 CPUtime=6.29 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 6745 0 0 0 613 16 0 0 18 0 1 0 802641639 23592960 5480 33554432000 4194304 5714214 140737397485648 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 5760 5480 180 372 0 5385 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23040 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18550 /proc/meminfo: memFree=21757688/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=33416 CPUtime=12.69 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 9291 0 0 0 1240 29 0 0 25 0 1 0 802641639 34217984 8026 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 8354 8026 180 372 0 7979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33416 [startup+25.501 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18551 /proc/meminfo: memFree=21690248/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=65220 CPUtime=25.49 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 17219 0 0 0 2493 56 0 0 22 0 1 0 802641639 66785280 15954 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 16305 15954 180 372 0 15930 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65220 [startup+51.1012 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18551 /proc/meminfo: memFree=21612632/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=87960 CPUtime=51.09 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 22877 0 0 0 5004 105 0 0 25 0 1 0 802641639 90071040 21612 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 21990 21612 180 372 0 21615 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87960 [startup+102.319 s] /proc/loadavg: 2.05 2.02 2.00 3/515 18553 /proc/meminfo: memFree=21567824/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=87748 CPUtime=102.31 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 24051 0 0 0 10050 181 0 0 25 0 1 0 802641639 89853952 21673 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 21937 21673 180 372 0 21562 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 87748 [startup+162.3 s] /proc/loadavg: 2.18 2.05 2.01 3/515 18554 /proc/meminfo: memFree=21558084/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=94960 CPUtime=162.29 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 25942 0 0 0 15960 269 0 0 25 0 1 0 802641639 97239040 23454 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 23740 23454 180 372 0 23365 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 94960 [startup+222.301 s] /proc/loadavg: 2.14 2.05 2.01 3/515 18565 /proc/meminfo: memFree=21535104/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=100484 CPUtime=222.29 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 27358 0 0 0 21859 370 0 0 25 0 1 0 802641639 102895616 24870 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 25121 24870 180 372 0 24746 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 100484 [startup+282.3 s] /proc/loadavg: 2.05 2.04 2.00 3/515 18567 /proc/meminfo: memFree=21425816/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=148620 CPUtime=282.3 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 39270 0 0 0 27761 469 0 0 25 0 1 0 802641639 152186880 36782 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 37155 36782 180 372 0 36780 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 148620 [startup+342.3 s] /proc/loadavg: 2.02 2.03 2.00 3/515 18568 /proc/meminfo: memFree=21385956/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=186324 CPUtime=342.3 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 48565 0 0 0 33681 549 0 0 25 0 1 0 802641639 190795776 46077 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 46581 46077 180 372 0 46206 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 186324 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18570 /proc/meminfo: memFree=21285084/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=242664 CPUtime=402.3 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 62616 0 0 0 39600 630 0 0 25 0 1 0 802641639 248487936 60128 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 60666 60128 180 372 0 60291 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 242664 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18571 /proc/meminfo: memFree=21259492/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=265172 CPUtime=462.3 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 68198 0 0 0 45525 705 0 0 25 0 1 0 802641639 271536128 65710 33554432000 4194304 5714214 140737397485648 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 66293 65710 180 372 0 65918 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 265172 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18573 /proc/meminfo: memFree=21175508/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=303904 CPUtime=522.31 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 77844 0 0 0 51458 773 0 0 25 0 1 0 802641639 311197696 75356 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 75976 75356 180 372 0 75601 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 303904 [startup+582.301 s] /proc/loadavg: 2.15 2.04 2.01 3/515 18575 /proc/meminfo: memFree=21105660/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=334288 CPUtime=582.31 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 85372 0 0 0 57392 839 0 0 25 0 1 0 802641639 342310912 82884 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 83572 82884 180 372 0 83197 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 334288 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.07 2.05 2.01 3/515 18581 /proc/meminfo: memFree=20980884/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=456840 CPUtime=822.32 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 115795 0 0 0 81100 1132 0 0 25 0 1 0 802641639 467804160 113307 33554432000 4194304 5714214 140737397485648 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 114210 113307 180 372 0 113835 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 456840 [startup+882.3 s] /proc/loadavg: 2.02 2.04 2.00 3/515 18583 /proc/meminfo: memFree=20942160/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=495768 CPUtime=882.32 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 125512 0 0 0 87023 1209 0 0 25 0 1 0 802641639 507666432 123024 33554432000 4194304 5714214 140737397485648 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 123942 123024 180 372 0 123567 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 495768 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18584 /proc/meminfo: memFree=20908764/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=529572 CPUtime=942.33 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 133937 0 0 0 92965 1268 0 0 25 0 1 0 802641639 542281728 131449 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 132393 131449 180 372 0 132018 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 529572 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18586 /proc/meminfo: memFree=20898936/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=540140 CPUtime=1002.32 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 136599 0 0 0 98908 1324 0 0 25 0 1 0 802641639 553103360 134111 33554432000 4194304 5714214 140737397485648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 135035 134111 180 372 0 134660 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 540140 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18587 /proc/meminfo: memFree=20875956/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=563508 CPUtime=1062.32 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 142362 0 0 0 104844 1388 0 0 25 0 1 0 802641639 577032192 139874 33554432000 4194304 5714214 140737397485648 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 140877 139874 180 372 0 140502 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 563508 [startup+1122.3 s] /proc/loadavg: 2.08 2.04 2.01 3/515 18589 /proc/meminfo: memFree=20832752/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=606840 CPUtime=1122.33 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 153154 0 0 0 110774 1459 0 0 25 0 1 0 802641639 621404160 150666 33554432000 4194304 5714214 140737397485648 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 151710 150666 180 372 0 151335 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 606840 [startup+1182.3 s] /proc/loadavg: 2.10 2.06 2.01 3/515 18591 /proc/meminfo: memFree=20810752/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1182.33 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154007 0 0 0 116693 1540 0 0 19 0 1 0 802641639 624492544 151434 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151434 180 372 0 152089 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 609856 [startup+1242.3 s] /proc/loadavg: 2.16 2.08 2.02 3/515 18592 /proc/meminfo: memFree=20810216/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1242.34 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154035 0 0 0 122593 1641 0 0 25 0 1 0 802641639 624492544 151462 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151462 180 372 0 152089 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 609856 [startup+1302.3 s] /proc/loadavg: 2.11 2.08 2.02 3/515 18594 /proc/meminfo: memFree=20810300/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1302.35 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154059 0 0 0 128530 1705 0 0 25 0 1 0 802641639 624492544 151486 33554432000 4194304 5714214 140737397485648 18446744073709551615 4322649 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151486 180 372 0 152089 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 609856 [startup+1362.3 s] /proc/loadavg: 2.04 2.06 2.01 3/515 18595 /proc/meminfo: memFree=20810488/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1362.33 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154091 0 0 0 134439 1794 0 0 25 0 1 0 802641639 624492544 151518 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151518 180 372 0 152089 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 609856 [startup+1422.32 s] /proc/loadavg: 2.01 2.05 2.00 3/515 18597 /proc/meminfo: memFree=20745236/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1422.36 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154210 0 0 0 140359 1877 0 0 25 0 1 0 802641639 624492544 151637 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151637 180 372 0 152089 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 609856 [startup+1482.3 s] /proc/loadavg: 2.00 2.04 2.00 3/515 18599 /proc/meminfo: memFree=20744936/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1482.34 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154276 0 0 0 146282 1952 0 0 25 0 1 0 802641639 624492544 151703 33554432000 4194304 5714214 140737397485648 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151703 180 372 0 152089 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 609856 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/515 18600 /proc/meminfo: memFree=20709560/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1542.34 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154299 0 0 0 152200 2034 0 0 25 0 1 0 802641639 624492544 151726 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151726 180 372 0 152089 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 609856 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18602 /proc/meminfo: memFree=20609704/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1602.34 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154324 0 0 0 158135 2099 0 0 25 0 1 0 802641639 624492544 151751 33554432000 4194304 5714214 140737397485648 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151751 180 372 0 152089 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 609856 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 2.01 3/515 18606 /proc/meminfo: memFree=20610256/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1662.35 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154393 0 0 0 164046 2189 0 0 25 0 1 0 802641639 624492544 151820 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151820 180 372 0 152089 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 609856 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/515 18608 /proc/meminfo: memFree=20610492/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1722.35 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154396 0 0 0 169977 2258 0 0 25 0 1 0 802641639 624492544 151823 33554432000 4194304 5714214 140737397485648 18446744073709551615 4310917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151823 180 372 0 152089 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 609856 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/515 18610 /proc/meminfo: memFree=20609580/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1782.35 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154501 0 0 0 175899 2336 0 0 25 0 1 0 802641639 624492544 151928 33554432000 4194304 5714214 140737397485648 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151928 180 372 0 152089 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 609856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.09 2.05 2.01 2/513 18611 /proc/meminfo: memFree=21221388/32951124 swapFree=62999000/67111528 [pid=18549] ppid=18547 vsize=609856 CPUtime=1800.07 cores=1,3,5,7 /proc/18549/stat : 18549 (wbo1.6) R 18547 18549 17882 0 -1 4202496 154529 0 0 0 177647 2360 0 0 25 0 1 0 802641639 624492544 151956 33554432000 4194304 5714214 140737397485648 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18549/statm: 152464 151956 180 372 0 152089 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 609856 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.11 CPU user time (s): 1776.48 CPU system time (s): 23.6304 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 610340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.48 system time used= 23.6304 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154529 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= 24 involuntary context switches= 2551 runsolver used 8.68668 second user time and 21.2718 second system time The end
Begin job on node141 at 2011-06-03 13:57:40 IDJOB=3460792 IDBENCH=2848 IDSOLVER=1953 FILE ID=node141/3460792-1307102260 RUNJOBID= node141-1307093248-17901 PBS_JOBID= 13497991 Free space on /tmp= 73876 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460792-1307102260/watcher-3460792-1307102260 -o /tmp/evaluation-result-3460792-1307102260/solver-3460792-1307102260 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460792-1307102260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59 RANDOM SEED=2101858395 node141.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.806 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.61 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.806 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 : 5362.96 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.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21816572 kB Buffers: 243912 kB Cached: 618376 kB SwapCached: 8848 kB Active: 10322732 kB Inactive: 547796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21816572 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 15180 kB Writeback: 0 kB AnonPages: 10005948 kB Mapped: 26340 kB Slab: 124692 kB PageTables: 69884 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150692920 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= 73876 MiB End job on node141 at 2011-06-03 14:27:42