Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.04 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.77673 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3460784-1307074472.opb. 0.00/0.01 c Instance file HOME/instance-3460784-1307074472.opb 0.00/0.01 c File size is 111983 bytes. 0.00/0.01 c Highest Coefficient sum: 21763 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: 2756 | 0.00/0.01 c | Number Clauses: 132 | 0.00/0.01 c | Number Cardinality: 220 | 0.00/0.01 c | Number PB Constraints: 397 | 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 | 2741 749 8802 | 5000 0 -nan | 0.000 % | 0.19/0.20 c core #1 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 9 Core Weight: 1 Total Weight: 1 0.19/0.20 c Current CPU time: 0.009998 s 0.19/0.20 c 0.19/0.20 c core #2 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 8 Core Weight: 2 Total Weight: 3 0.19/0.20 c Current CPU time: 0.010998 s 0.19/0.20 c 0.19/0.20 c core #3 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 10 Core Weight: 4 Total Weight: 7 0.19/0.20 c Current CPU time: 0.011998 s 0.19/0.20 c 0.19/0.20 c core #4 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 9 Core Weight: 8 Total Weight: 15 0.19/0.20 c Current CPU time: 0.013997 s 0.19/0.20 c 0.19/0.20 c core #5 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 150 Core Weight: 13 Total Weight: 28 0.19/0.20 c Current CPU time: 0.015997 s 0.19/0.20 c 0.19/0.20 c core #6 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 145 Core Weight: 3 Total Weight: 31 0.19/0.20 c Current CPU time: 0.017997 s 0.19/0.20 c 0.19/0.20 c core #7 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 139 Core Weight: 2 Total Weight: 33 0.19/0.20 c Current CPU time: 0.019996 s 0.19/0.20 c 0.19/0.20 c core #8 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 138 Core Weight: 3 Total Weight: 36 0.19/0.20 c Current CPU time: 0.021996 s 0.19/0.20 c 0.19/0.20 c core #9 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 133 Core Weight: 2 Total Weight: 38 0.19/0.20 c Current CPU time: 0.023996 s 0.19/0.20 c 0.19/0.20 c core #10 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 129 Core Weight: 3 Total Weight: 41 0.19/0.20 c Current CPU time: 0.025996 s 0.19/0.20 c 0.19/0.20 c core #11 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 126 Core Weight: 3 Total Weight: 44 0.19/0.20 c Current CPU time: 0.027995 s 0.19/0.20 c 0.19/0.20 c core #12 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 123 Core Weight: 2 Total Weight: 46 0.19/0.20 c Current CPU time: 0.029995 s 0.19/0.20 c 0.19/0.20 c core #13 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 120 Core Weight: 3 Total Weight: 49 0.19/0.20 c Current CPU time: 0.031995 s 0.19/0.20 c 0.19/0.20 c core #14 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 119 Core Weight: 2 Total Weight: 51 0.19/0.20 c Current CPU time: 0.033994 s 0.19/0.20 c 0.19/0.20 c core #15 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 115 Core Weight: 3 Total Weight: 54 0.19/0.20 c Current CPU time: 0.035994 s 0.19/0.20 c 0.19/0.20 c core #16 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 114 Core Weight: 3 Total Weight: 57 0.19/0.20 c Current CPU time: 0.038994 s 0.19/0.20 c 0.19/0.20 c core #17 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 113 Core Weight: 2 Total Weight: 59 0.19/0.20 c Current CPU time: 0.040993 s 0.19/0.20 c 0.19/0.20 c core #18 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 112 Core Weight: 3 Total Weight: 62 0.19/0.20 c Current CPU time: 0.043993 s 0.19/0.20 c 0.19/0.20 c core #19 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 111 Core Weight: 2 Total Weight: 64 0.19/0.20 c Current CPU time: 0.046992 s 0.19/0.20 c 0.19/0.20 c core #20 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 110 Core Weight: 3 Total Weight: 67 0.19/0.20 c Current CPU time: 0.048992 s 0.19/0.20 c 0.19/0.20 c core #21 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 106 Core Weight: 3 Total Weight: 70 0.19/0.20 c Current CPU time: 0.050992 s 0.19/0.20 c 0.19/0.20 c core #22 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 105 Core Weight: 2 Total Weight: 72 0.19/0.20 c Current CPU time: 0.053991 s 0.19/0.20 c 0.19/0.20 c core #23 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 104 Core Weight: 3 Total Weight: 75 0.19/0.20 c Current CPU time: 0.055991 s 0.19/0.20 c 0.19/0.20 c core #24 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 101 Core Weight: 2 Total Weight: 77 0.19/0.20 c Current CPU time: 0.058991 s 0.19/0.20 c 0.19/0.20 c core #25 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 99 Core Weight: 3 Total Weight: 80 0.19/0.20 c Current CPU time: 0.06199 s 0.19/0.20 c 0.19/0.20 c core #26 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 97 Core Weight: 3 Total Weight: 83 0.19/0.20 c Current CPU time: 0.06499 s 0.19/0.20 c 0.19/0.20 c core #27 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 93 Core Weight: 2 Total Weight: 85 0.19/0.20 c Current CPU time: 0.067989 s 0.19/0.20 c 0.19/0.20 c core #28 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 91 Core Weight: 3 Total Weight: 88 0.19/0.20 c Current CPU time: 0.070989 s 0.19/0.20 c 0.19/0.20 c core #29 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 87 Core Weight: 2 Total Weight: 90 0.19/0.20 c Current CPU time: 0.073988 s 0.19/0.20 c 0.19/0.20 c core #30 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 86 Core Weight: 6 Total Weight: 96 0.19/0.20 c Current CPU time: 0.076988 s 0.19/0.20 c 0.19/0.20 c core #31 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 85 Core Weight: 5 Total Weight: 101 0.19/0.20 c Current CPU time: 0.079987 s 0.19/0.20 c 0.19/0.20 c core #32 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 82 Core Weight: 2 Total Weight: 103 0.19/0.20 c Current CPU time: 0.082987 s 0.19/0.20 c 0.19/0.20 c core #33 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1477 Core Weight: 1 Total Weight: 104 0.19/0.20 c Current CPU time: 0.092985 s 0.19/0.20 c 0.19/0.20 c core #34 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1425 Core Weight: 1 Total Weight: 105 0.19/0.20 c Current CPU time: 0.103984 s 0.19/0.20 c 0.19/0.20 c core #35 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1398 Core Weight: 1 Total Weight: 106 0.19/0.20 c Current CPU time: 0.114982 s 0.19/0.20 c 0.19/0.20 c core #36 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1359 Core Weight: 1 Total Weight: 107 0.19/0.20 c Current CPU time: 0.12598 s 0.19/0.20 c 0.19/0.20 c core #37 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1265 Core Weight: 1 Total Weight: 108 0.19/0.20 c Current CPU time: 0.135979 s 0.19/0.20 c 0.19/0.20 c core #38 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1223 Core Weight: 1 Total Weight: 109 0.19/0.20 c Current CPU time: 0.146977 s 0.19/0.20 c 0.19/0.20 c core #39 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1228 Core Weight: 1 Total Weight: 110 0.19/0.20 c Current CPU time: 0.158975 s 0.19/0.20 c 0.19/0.20 c core #40 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1201 Core Weight: 1 Total Weight: 111 0.19/0.20 c Current CPU time: 0.170974 s 0.19/0.20 c 0.19/0.20 c core #41 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1147 Core Weight: 1 Total Weight: 112 0.19/0.20 c Current CPU time: 0.181972 s 0.19/0.20 c 0.19/0.20 c core #42 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 1127 Core Weight: 1 Total Weight: 113 0.19/0.25 c Current CPU time: 0.19397 s 0.19/0.25 c 0.19/0.25 c core #43 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 1182 Core Weight: 1 Total Weight: 114 0.19/0.25 c Current CPU time: 0.205968 s 0.19/0.25 c 0.19/0.25 c core #44 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 1157 Core Weight: 1 Total Weight: 115 0.19/0.25 c Current CPU time: 0.218966 s 0.19/0.25 c 0.19/0.25 c core #45 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 1134 Core Weight: 1 Total Weight: 116 0.19/0.25 c Current CPU time: 0.231964 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 18741 20460 29718 | 6820 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #46 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 1137 Core Weight: 1 Total Weight: 117 0.19/0.27 c Current CPU time: 0.252961 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 19777 21464 31026 | 7154 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.28/0.30 c core #47 0.28/0.30 c 0.28/0.30 c 0.28/0.30 c Core size: 1312 Core Weight: 1 Total Weight: 118 0.28/0.30 c Current CPU time: 0.278957 s 0.28/0.30 c 0.28/0.30 c ============================[ Search Statistics ]============================== 0.28/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.30 c =============================================================================== 0.28/0.30 c | 0 | 20991 22557 33033 | 7519 0 -nan | 0.000 % | 0.28/0.31 c =============================================================================== 0.28/0.33 c core #48 0.28/0.33 c 0.28/0.33 c 0.28/0.33 c Core size: 1100 Core Weight: 1 Total Weight: 119 0.28/0.33 c Current CPU time: 0.301954 s 0.28/0.33 c 0.28/0.33 c ============================[ Search Statistics ]============================== 0.28/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.33 c =============================================================================== 0.28/0.33 c | 0 | 21986 23538 34218 | 7846 0 -nan | 0.000 % | 0.28/0.36 c =============================================================================== 0.28/0.37 c core #49 0.28/0.37 c 0.28/0.37 c 0.28/0.37 c Core size: 1520 Core Weight: 1 Total Weight: 120 0.28/0.37 c Current CPU time: 0.341948 s 0.28/0.37 c 0.28/0.37 c ============================[ Search Statistics ]============================== 0.28/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.28/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.28/0.37 c =============================================================================== 0.28/0.37 c | 0 | 23399 24596 36531 | 8198 0 -nan | 0.000 % | 0.28/0.39 c =============================================================================== 0.39/0.41 c core #50 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 1090 Core Weight: 1 Total Weight: 121 0.39/0.41 c Current CPU time: 0.370943 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 24393 25555 37948 | 8518 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.43 c core #51 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 266 Core Weight: 2 Total Weight: 123 0.39/0.43 c Current CPU time: 0.38894 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 24656 25804 38742 | 8601 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.45 c core #52 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 217 Core Weight: 1 Total Weight: 124 0.39/0.45 c Current CPU time: 0.406938 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 24872 26019 39474 | 8673 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.47 c core #53 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 265 Core Weight: 1 Total Weight: 125 0.39/0.47 c Current CPU time: 0.425935 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 25135 26252 40239 | 8750 0 -nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.52 c core #54 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 1420 Core Weight: 1 Total Weight: 126 0.49/0.52 c Current CPU time: 0.469928 s 0.49/0.52 c 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 26435 27278 42175 | 9092 0 -nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #55 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 161 Core Weight: 1 Total Weight: 127 0.49/0.54 c Current CPU time: 0.492925 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 26595 27437 42688 | 9145 0 -nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.57 c core #56 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 276 Core Weight: 2 Total Weight: 129 0.49/0.57 c Current CPU time: 0.515921 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 | 26869 27676 43490 | 9225 0 -nan | 0.000 % | 0.58/0.61 c =============================================================================== 0.58/0.62 c core #57 0.58/0.62 c 0.58/0.62 c 0.58/0.62 c Core size: 1477 Core Weight: 1 Total Weight: 130 0.58/0.62 c Current CPU time: 0.567913 s 0.58/0.62 c 0.58/0.62 c ============================[ Search Statistics ]============================== 0.58/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.62 c =============================================================================== 0.58/0.62 c | 0 | 28239 28754 46109 | 9584 0 -nan | 0.000 % | 0.58/0.64 c =============================================================================== 0.58/0.65 c core #58 0.58/0.65 c 0.58/0.65 c 0.58/0.65 c Core size: 201 Core Weight: 1 Total Weight: 131 0.58/0.65 c Current CPU time: 0.594909 s 0.58/0.65 c 0.58/0.65 c ============================[ Search Statistics ]============================== 0.58/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.58/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.58/0.65 c =============================================================================== 0.58/0.65 c | 0 | 28437 28916 46605 | 9638 0 -nan | 0.000 % | 0.58/0.70 c =============================================================================== 0.69/0.71 c core #59 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 220 Core Weight: 1 Total Weight: 132 0.69/0.71 c Current CPU time: 0.631903 s 0.69/0.71 c 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 28659 29041 47520 | 9680 0 -nan | 0.000 % | 0.69/0.76 c | 102 | 28659 29041 47520 | 10648 102 126 | 6.147 % | 0.78/0.83 c =============================================================================== 0.78/0.85 c core #60 0.78/0.85 c 0.78/0.85 c 0.78/0.85 c Core size: 521 Core Weight: 1 Total Weight: 133 0.78/0.85 c Current CPU time: 0.764883 s 0.78/0.85 c 0.78/0.85 c ============================[ Search Statistics ]============================== 0.78/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.78/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.78/0.85 c =============================================================================== 0.78/0.85 c | 0 | 29175 29289 48836 | 9763 0 -nan | 0.000 % | 0.89/0.92 c | 107 | 29175 29289 48836 | 10739 107 223 | 6.045 % | 1.00/1.01 c =============================================================================== 1.00/1.03 c core #61 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 333 Core Weight: 1 Total Weight: 134 1.00/1.03 c Current CPU time: 0.941856 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 29505 29533 49772 | 9844 0 -nan | 0.000 % | 1.00/1.09 c | 103 | 29505 29533 49772 | 10828 103 214 | 5.981 % | 1.00/1.10 c =============================================================================== 1.10/1.11 c core #62 1.10/1.11 c 1.10/1.11 c 1.10/1.11 c Core size: 255 Core Weight: 1 Total Weight: 135 1.10/1.11 c Current CPU time: 1.01784 s 1.10/1.11 c 1.10/1.11 c ============================[ Search Statistics ]============================== 1.10/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.11 c =============================================================================== 1.10/1.11 c | 0 | 29756 29663 50322 | 9887 0 -nan | 0.000 % | 1.10/1.18 c | 105 | 29756 29663 50322 | 10876 105 246 | 5.934 % | 1.10/1.19 c =============================================================================== 1.19/1.21 c core #63 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 284 Core Weight: 1 Total Weight: 136 1.19/1.21 c Current CPU time: 1.11083 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 30036 29873 51136 | 9957 0 -nan | 0.000 % | 1.19/1.28 c | 101 | 30036 29873 51136 | 10953 101 226 | 5.882 % | 1.19/1.29 c =============================================================================== 1.29/1.31 c core #64 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 217 Core Weight: 1 Total Weight: 137 1.29/1.31 c Current CPU time: 1.20982 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 30249 29955 51520 | 9985 0 -nan | 0.000 % | 1.29/1.36 c | 102 | 30249 29955 51520 | 10983 102 217 | 5.843 % | 1.29/1.37 c =============================================================================== 1.29/1.39 c core #65 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 307 Core Weight: 1 Total Weight: 138 1.29/1.39 c Current CPU time: 1.2848 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 30550 30098 52196 | 10032 0 -nan | 0.000 % | 1.39/1.45 c | 106 | 30550 30098 52196 | 11035 106 244 | 5.788 % | 1.39/1.47 c =============================================================================== 1.39/1.49 c core #66 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 370 Core Weight: 1 Total Weight: 139 1.39/1.49 c Current CPU time: 1.37979 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 30917 30264 53075 | 10088 0 -nan | 0.000 % | 1.49/1.56 c | 100 | 30917 30264 53075 | 11096 100 273 | 5.724 % | 1.49/1.57 c =============================================================================== 1.49/1.59 c core #67 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 216 Core Weight: 1 Total Weight: 140 1.49/1.59 c Current CPU time: 1.47378 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 31126 30412 53589 | 10137 0 -nan | 0.000 % | 1.59/1.66 c | 100 | 31120 30412 53589 | 11151 100 215 | 5.706 % | 1.59/1.66 c =============================================================================== 1.59/1.68 c core #68 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 254 Core Weight: 1 Total Weight: 141 1.59/1.68 c Current CPU time: 1.55676 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 31375 30533 54117 | 10177 0 -nan | 0.000 % | 1.69/1.75 c | 100 | 31372 30533 54117 | 11195 100 219 | 5.654 % | 1.69/1.76 c =============================================================================== 1.69/1.78 c core #69 1.69/1.78 c 1.69/1.78 c 1.69/1.78 c Core size: 177 Core Weight: 1 Total Weight: 142 1.69/1.78 c Current CPU time: 1.64675 s 1.69/1.78 c 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 31551 30659 54905 | 10219 0 -nan | 0.000 % | 1.79/1.86 c | 104 | 31548 30659 54905 | 11241 104 251 | 5.616 % | 1.79/1.88 c =============================================================================== 1.89/1.90 c core #70 1.89/1.90 c 1.89/1.90 c 1.89/1.90 c Core size: 219 Core Weight: 1 Total Weight: 143 1.89/1.90 c Current CPU time: 1.75473 s 1.89/1.90 c 1.89/1.90 c ============================[ Search Statistics ]============================== 1.89/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 31766 30765 55347 | 10255 0 -nan | 0.000 % | 1.98/2.01 c | 107 | 31766 30765 55347 | 11280 107 185 | 5.571 % | 1.98/2.02 c =============================================================================== 1.98/2.04 c core #71 1.98/2.04 c 1.98/2.04 c 1.98/2.04 c Core size: 195 Core Weight: 1 Total Weight: 144 1.98/2.04 c Current CPU time: 1.89771 s 1.98/2.04 c 1.98/2.04 c ============================[ Search Statistics ]============================== 1.98/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.98/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.98/2.04 c =============================================================================== 1.98/2.04 c | 0 | 31959 30854 55710 | 10284 0 -nan | 0.000 % | 2.10/2.12 c | 101 | 31959 30854 55710 | 11313 101 284 | 5.539 % | 2.10/2.13 c =============================================================================== 2.10/2.15 c core #72 2.10/2.15 c 2.10/2.15 c 2.10/2.15 c Core size: 183 Core Weight: 1 Total Weight: 145 2.10/2.15 c Current CPU time: 2.00169 s 2.10/2.15 c 2.10/2.15 c ============================[ Search Statistics ]============================== 2.10/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.15 c =============================================================================== 2.10/2.15 c | 0 | 32140 30945 56052 | 10315 0 -nan | 0.000 % | 2.21/2.23 c | 100 | 32137 30945 56052 | 11346 100 341 | 5.518 % | 2.21/2.24 c =============================================================================== 2.21/2.26 c core #73 2.21/2.26 c 2.21/2.26 c 2.21/2.26 c Core size: 209 Core Weight: 1 Total Weight: 146 2.21/2.26 c Current CPU time: 2.09768 s 2.21/2.26 c 2.21/2.26 c ============================[ Search Statistics ]============================== 2.21/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.26 c =============================================================================== 2.21/2.26 c | 0 | 32343 31089 56549 | 10363 0 -nan | 0.000 % | 2.28/2.33 c | 100 | 32343 31089 56549 | 11399 100 304 | 5.477 % | 2.28/2.35 c =============================================================================== 2.28/2.37 c core #74 2.28/2.37 c 2.28/2.37 c 2.28/2.37 c Core size: 192 Core Weight: 1 Total Weight: 147 2.28/2.37 c Current CPU time: 2.20366 s 2.28/2.37 c 2.28/2.37 c ============================[ Search Statistics ]============================== 2.28/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.37 c =============================================================================== 2.28/2.37 c | 0 | 32532 31171 56888 | 10390 0 -nan | 0.000 % | 2.39/2.43 c | 100 | 32532 31171 56888 | 11429 100 282 | 5.447 % | 2.39/2.46 c =============================================================================== 2.39/2.48 c core #75 2.39/2.48 c 2.39/2.48 c 2.39/2.48 c Core size: 242 Core Weight: 1 Total Weight: 148 2.39/2.48 c Current CPU time: 2.30965 s 2.39/2.48 c 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 32772 31294 57557 | 10431 0 -nan | 0.000 % | 2.48/2.54 c | 105 | 32772 31294 57557 | 11474 105 284 | 5.406 % | 2.48/2.59 c =============================================================================== 2.59/2.61 c core #76 2.59/2.61 c 2.59/2.61 c 2.59/2.61 c Core size: 330 Core Weight: 1 Total Weight: 149 2.59/2.61 c Current CPU time: 2.43663 s 2.59/2.61 c 2.59/2.61 c ============================[ Search Statistics ]============================== 2.59/2.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.61 c =============================================================================== 2.59/2.61 c | 0 | 33099 31416 58246 | 10472 0 -nan | 0.000 % | 2.59/2.68 c | 102 | 33099 31416 58246 | 11519 102 348 | 5.356 % | 2.69/2.73 c =============================================================================== 2.69/2.76 c core #77 2.69/2.76 c 2.69/2.76 c 2.69/2.76 c Core size: 1806 Core Weight: 1 Total Weight: 150 2.69/2.76 c Current CPU time: 2.57361 s 2.69/2.76 c 2.69/2.76 c ============================[ Search Statistics ]============================== 2.69/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.76 c =============================================================================== 2.69/2.76 c | 0 | 34797 32482 61063 | 10827 0 -nan | 0.000 % | 2.79/2.83 c | 103 | 34797 32482 61063 | 11910 103 397 | 5.079 % | 2.89/2.93 c =============================================================================== 2.89/2.95 c core #78 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 1964 Core Weight: 1 Total Weight: 151 2.89/2.95 c Current CPU time: 2.76358 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 36652 33545 64434 | 11181 0 -nan | 0.000 % | 2.99/3.06 c | 121 | 36652 33545 64434 | 12299 121 366 | 4.798 % | 3.09/3.13 c | 275 | 36637 33545 64434 | 13529 275 292 | 4.836 % | 3.20/3.23 c =============================================================================== 3.20/3.25 c core #79 3.20/3.25 c 3.20/3.25 c 3.20/3.25 c Core size: 1854 Core Weight: 1 Total Weight: 152 3.20/3.25 c Current CPU time: 3.05553 s 3.20/3.25 c 3.20/3.25 c ============================[ Search Statistics ]============================== 3.20/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.25 c =============================================================================== 3.20/3.25 c | 0 | 38404 34522 67631 | 11507 0 -nan | 0.000 % | 3.38/3.40 c | 101 | 38404 34522 67631 | 12658 101 222 | 4.556 % | 3.38/3.44 c | 254 | 38393 34522 67631 | 13923 254 245 | 4.593 % | 3.48/3.51 c | 482 | 38393 34522 67631 | 15316 482 279 | 4.593 % | 3.48/3.57 c =============================================================================== 3.58/3.60 c core #80 3.58/3.60 c 3.58/3.60 c 3.58/3.60 c Core size: 1424 Core Weight: 1 Total Weight: 153 3.58/3.60 c Current CPU time: 3.39548 s 3.58/3.60 c 3.58/3.60 c ============================[ Search Statistics ]============================== 3.58/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.58/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.58/3.60 c =============================================================================== 3.58/3.60 c | 0 | 39725 35470 69687 | 11823 0 -nan | 0.000 % | 3.69/3.70 c | 101 | 39725 35470 69687 | 13005 101 224 | 4.376 % | 3.69/3.72 c | 257 | 39715 35470 69687 | 14306 257 249 | 4.415 % | 3.69/3.76 c | 483 | 39705 35470 69687 | 15736 483 273 | 4.424 % | 3.79/3.88 c | 825 | 39703 35470 69687 | 17310 825 281 | 4.429 % | 3.89/3.94 c | 1331 | 39703 35470 69687 | 19041 1331 300 | 4.429 % | 3.99/4.10 c | 2090 | 39703 35470 69687 | 20945 2090 303 | 4.429 % | 4.09/4.19 c =============================================================================== 4.19/4.22 c core #81 4.19/4.22 c 4.19/4.22 c 4.19/4.22 c Core size: 1991 Core Weight: 1 Total Weight: 154 4.19/4.22 c Current CPU time: 4.00539 s 4.19/4.22 c 4.19/4.22 c ============================[ Search Statistics ]============================== 4.19/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.22 c =============================================================================== 4.19/4.22 c | 0 | 41625 36474 73240 | 12158 0 -nan | 0.000 % | 4.19/4.27 c | 101 | 41625 36474 73240 | 13373 101 304 | 4.152 % | 4.19/4.30 c | 268 | 41625 36474 73240 | 14711 268 235 | 4.152 % | 4.30/4.32 c | 494 | 41622 36474 73240 | 16182 494 183 | 4.166 % | 4.30/4.34 c =============================================================================== 4.30/4.37 c core #82 4.30/4.37 c 4.30/4.37 c 4.30/4.37 c Core size: 1114 Core Weight: 1 Total Weight: 155 4.30/4.37 c Current CPU time: 4.14637 s 4.30/4.37 c 4.30/4.37 c ============================[ Search Statistics ]============================== 4.30/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.30/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.30/4.37 c =============================================================================== 4.30/4.37 c | 0 | 42642 37381 75260 | 12460 0 -nan | 0.000 % | 4.40/4.47 c | 110 | 42642 37381 75260 | 13706 110 387 | 4.039 % | 4.40/4.49 c | 261 | 42642 37381 75260 | 15077 261 206 | 4.039 % | 4.49/4.52 c | 486 | 42642 37381 75260 | 16584 486 138 | 4.039 % | 4.49/4.54 c =============================================================================== 4.49/4.57 c core #83 4.49/4.57 c 4.49/4.57 c 4.49/4.57 c Core size: 581 Core Weight: 1 Total Weight: 156 4.49/4.57 c Current CPU time: 4.33834 s 4.49/4.57 c 4.49/4.57 c ============================[ Search Statistics ]============================== 4.49/4.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.57 c =============================================================================== 4.49/4.57 c | 0 | 43222 37493 76465 | 12497 0 -nan | 0.000 % | 4.59/4.63 c | 102 | 43222 37493 76465 | 13747 102 356 | 3.987 % | 4.59/4.65 c | 253 | 43222 37493 76465 | 15122 253 191 | 3.987 % | 4.59/4.67 c | 478 | 43222 37493 76465 | 16634 478 130 | 3.987 % | 4.69/4.73 c | 815 | 43214 37493 76465 | 18297 815 149 | 4.018 % | 4.79/4.84 c | 1324 | 43213 37493 76465 | 20127 1324 216 | 4.021 % | 4.89/4.98 c | 2083 | 43213 37493 76465 | 22140 2083 258 | 4.021 % | 5.09/5.14 c | 3222 | 43206 37493 76465 | 24354 3222 286 | 4.023 % | 5.50/5.51 c | 4930 | 43204 37493 76465 | 26789 4930 290 | 4.032 % | 6.18/6.22 c =============================================================================== 6.18/6.25 c core #84 6.18/6.25 c 6.18/6.25 c 6.18/6.25 c Core size: 2103 Core Weight: 1 Total Weight: 157 6.18/6.25 c Current CPU time: 6.00709 s 6.18/6.25 c 6.18/6.25 c ============================[ Search Statistics ]============================== 6.18/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.18/6.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.18/6.25 c =============================================================================== 6.18/6.25 c | 0 | 45202 38420 80035 | 12806 0 -nan | 0.000 % | 6.29/6.34 c | 102 | 45202 38420 80035 | 14087 102 282 | 3.805 % | 6.29/6.36 c | 252 | 45202 38420 80035 | 15496 252 158 | 3.805 % | 6.29/6.38 c | 477 | 45202 38420 80035 | 17045 477 116 | 3.805 % | 6.29/6.39 c | 815 | 45202 38420 80035 | 18750 815 98 | 3.805 % | 6.39/6.41 c | 1322 | 45202 38420 80035 | 20625 1322 90 | 3.805 % | 6.39/6.46 c | 2081 | 45202 38420 80035 | 22687 2081 84 | 3.805 % | 6.50/6.54 c | 3220 | 45202 38420 80035 | 24956 3220 81 | 3.805 % | 6.61/6.66 c =============================================================================== 6.69/6.70 c core #85 6.69/6.70 c 6.69/6.70 c 6.69/6.70 c Core size: 649 Core Weight: 1 Total Weight: 158 6.69/6.70 c Current CPU time: 6.43502 s 6.69/6.70 c 6.69/6.70 c ============================[ Search Statistics ]============================== 6.69/6.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.69/6.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.69/6.70 c =============================================================================== 6.69/6.70 c | 0 | 45847 38530 81551 | 12843 0 -nan | 0.000 % | 6.79/6.81 c | 100 | 45847 38530 81551 | 14127 100 262 | 3.752 % | 6.79/6.83 c | 250 | 45847 38530 81551 | 15540 250 138 | 3.752 % | 6.79/6.84 c | 476 | 45847 38530 81551 | 17094 476 100 | 3.752 % | 6.79/6.89 c | 814 | 45847 38530 81551 | 18803 814 82 | 3.752 % | 6.89/6.97 c | 1320 | 45837 38530 81551 | 20684 1320 163 | 3.789 % | 6.99/7.10 c | 2093 | 45837 38530 81551 | 22752 2093 222 | 3.789 % | 7.19/7.26 c | 3233 | 45829 38530 81551 | 25028 3233 257 | 3.789 % | 7.71/7.74 c | 4941 | 45829 38530 81551 | 27530 4941 281 | 3.789 % | 8.29/8.34 c | 7503 | 45829 38530 81551 | 30283 7503 287 | 3.789 % | 9.19/9.27 c | 11347 | 45829 38530 81551 | 33312 11347 294 | 3.789 % | 11.69/11.75 c | 17114 | 45827 38530 81551 | 36643 17114 283 | 3.796 % | 12.00/12.08 c =============================================================================== 12.11/12.14 c core #86 12.11/12.14 c 12.11/12.14 c 12.11/12.14 c Core size: 2437 Core Weight: 1 Total Weight: 159 12.11/12.14 c Current CPU time: 11.8342 s 12.11/12.14 c 12.11/12.14 c ============================[ Search Statistics ]============================== 12.11/12.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.11/12.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.11/12.14 c =============================================================================== 12.11/12.14 c | 0 | 48180 39478 85717 | 13159 0 -nan | 0.000 % | 12.11/12.19 c | 102 | 48180 39478 85717 | 14475 102 250 | 3.565 % | 12.19/12.21 c | 252 | 48180 39478 85717 | 15922 252 141 | 3.565 % | 12.19/12.23 c | 477 | 48180 39478 85717 | 17515 477 102 | 3.565 % | 12.19/12.28 c | 815 | 48180 39478 85717 | 19266 815 85 | 3.565 % | 12.29/12.35 c | 1321 | 48180 39478 85717 | 21193 1321 77 | 3.565 % | 12.39/12.47 c | 2080 | 48168 39478 85717 | 23312 2080 118 | 3.601 % | 12.59/12.66 c | 3220 | 48162 39478 85717 | 25643 3220 176 | 3.601 % | 12.78/12.89 c | 4932 | 48162 39478 85717 | 28208 4932 223 | 3.601 % | 13.29/13.36 c | 7494 | 48161 39478 85717 | 31029 7494 257 | 3.603 % | 14.39/14.48 c | 11342 | 48161 39478 85717 | 34131 11342 280 | 3.603 % | 15.78/15.89 c | 17111 | 48160 39478 85717 | 37545 17111 297 | 3.605 % | 17.98/18.06 c | 25761 | 48160 39478 85717 | 41299 25761 306 | 3.605 % | 22.00/22.02 c | 38742 | 48160 39478 85717 | 45429 38742 315 | 3.605 % | 31.19/31.29 c | 58204 | 48160 39478 85717 | 49972 22441 330 | 3.605 % | 45.10/45.13 c | 87396 | 48160 39478 85717 | 54969 51633 330 | 3.605 % | 71.89/71.97 c | 131185 | 48160 39478 85717 | 60466 50577 325 | 3.605 % | 117.49/117.58 c =============================================================================== 117.79/117.83 c core #87 117.79/117.83 c 117.79/117.83 c 117.79/117.83 c Core size: 3479 Core Weight: 1 Total Weight: 160 117.79/117.83 c Current CPU time: 117.181 s 117.79/117.83 c 117.79/117.83 c ============================[ Search Statistics ]============================== 117.79/117.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.79/117.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.79/117.83 c =============================================================================== 117.79/117.83 c | 0 | 51557 40485 91870 | 13495 0 -nan | 0.000 % | 117.89/117.91 c | 103 | 51557 40485 91870 | 14844 103 313 | 3.325 % | 117.89/117.93 c | 256 | 51548 40485 91870 | 16328 256 271 | 3.353 % | 117.89/117.96 c | 484 | 51548 40485 91870 | 17961 484 310 | 3.353 % | 117.99/118.01 c | 827 | 51547 40485 91870 | 19758 827 322 | 3.355 % | 118.09/118.11 c | 1333 | 51547 40485 91870 | 21733 1333 332 | 3.355 % | 118.19/118.24 c | 2092 | 51541 40485 91870 | 23907 2092 338 | 3.355 % | 118.30/118.39 c | 3231 | 51541 40485 91870 | 26297 3231 338 | 3.355 % | 118.59/118.71 c | 4939 | 51541 40485 91870 | 28927 4939 340 | 3.355 % | 119.59/119.64 c | 7508 | 51541 40485 91870 | 31820 7508 333 | 3.355 % | 120.49/120.58 c | 11353 | 51540 40485 91870 | 35002 11353 335 | 3.356 % | 122.00/122.04 c | 17122 | 51540 40485 91870 | 38502 17122 334 | 3.356 % | 125.89/125.97 c | 25771 | 51540 40485 91870 | 42353 25771 329 | 3.356 % | 129.81/129.85 c | 38747 | 51540 40485 91870 | 46588 38747 329 | 3.356 % | 137.79/137.88 c | 58208 | 51540 40485 91870 | 51247 21344 330 | 3.356 % | 147.90/147.91 c | 87400 | 51540 40485 91870 | 56371 50536 329 | 3.356 % | 170.00/170.00 c | 131191 | 51540 40485 91870 | 62009 47939 320 | 3.356 % | 201.31/201.38 c | 196879 | 51539 40485 91870 | 68210 61734 330 | 3.358 % | 244.69/244.76 c | 295410 | 51539 40485 91870 | 75031 44020 327 | 3.358 % | 313.20/313.25 c =============================================================================== 313.60/313.69 c core #88 313.60/313.69 c 313.60/313.69 c 313.60/313.69 c Core size: 1715 Core Weight: 1 Total Weight: 161 313.60/313.69 c Current CPU time: 312.296 s 313.60/313.69 c 313.60/313.69 c ============================[ Search Statistics ]============================== 313.60/313.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 313.60/313.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 313.60/313.69 c =============================================================================== 313.60/313.69 c | 0 | 53173 41323 94615 | 13774 0 -nan | 0.000 % | 313.80/313.82 c | 103 | 53173 41323 94615 | 15151 103 280 | 3.213 % | 313.80/313.84 c | 255 | 53173 41323 94615 | 16666 255 154 | 3.213 % | 313.80/313.86 c | 480 | 53173 41323 94615 | 18333 480 109 | 3.213 % | 313.90/313.90 c | 821 | 53173 41323 94615 | 20167 821 92 | 3.213 % | 313.90/313.94 c | 1327 | 53173 41323 94615 | 22183 1327 82 | 3.213 % | 314.00/314.05 c | 2086 | 53173 41323 94615 | 24402 2086 79 | 3.213 % | 314.20/314.21 c | 3226 | 53173 41323 94615 | 26842 3226 80 | 3.213 % | 314.40/314.45 c | 4935 | 53173 41323 94615 | 29526 4935 79 | 3.213 % | 314.70/314.75 c | 7498 | 53173 41323 94615 | 32479 7498 80 | 3.213 % | 315.30/315.35 c | 11343 | 53173 41323 94615 | 35727 11343 81 | 3.213 % | 316.30/316.30 c | 17109 | 53173 41323 94615 | 39299 17109 82 | 3.213 % | 318.50/318.53 c | 25758 | 53173 41323 94615 | 43229 25758 82 | 3.213 % | 322.80/322.85 c | 38732 | 53173 41323 94615 | 47552 38732 82 | 3.213 % | 329.50/329.53 c | 58195 | 53173 41323 94615 | 52308 21876 75 | 3.213 % | 331.60/331.66 c =============================================================================== 332.00/332.05 c core #89 332.00/332.05 c 332.00/332.05 c 332.00/332.05 c Core size: 1569 Core Weight: 1 Total Weight: 162 332.00/332.05 c Current CPU time: 330.637 s 332.00/332.05 c 332.00/332.05 c ============================[ Search Statistics ]============================== 332.00/332.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 332.00/332.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 332.00/332.05 c =============================================================================== 332.00/332.05 c | 0 | 54739 41411 97724 | 13803 0 -nan | 0.000 % | 332.11/332.16 c | 100 | 54739 41411 97724 | 15184 100 312 | 3.124 % | 332.11/332.18 c | 251 | 54739 41411 97724 | 16702 251 151 | 3.124 % | 332.22/332.23 c | 476 | 54739 41411 97724 | 18372 476 101 | 3.124 % | 332.22/332.26 c | 813 | 54739 41411 97724 | 20209 813 78 | 3.124 % | 332.30/332.31 c | 1319 | 54739 41411 97724 | 22230 1319 78 | 3.124 % | 332.40/332.40 c | 2078 | 54739 41411 97724 | 24454 2078 75 | 3.124 % | 332.50/332.50 c | 3217 | 54739 41411 97724 | 26899 3217 75 | 3.124 % | 332.60/332.67 c | 4926 | 54739 41411 97724 | 29589 4926 78 | 3.124 % | 332.90/332.97 c | 7488 | 54739 41411 97724 | 32548 7488 79 | 3.124 % | 333.40/333.44 c | 11332 | 54739 41411 97724 | 35803 11332 81 | 3.124 % | 334.10/334.18 c | 17099 | 54739 41411 97724 | 39383 17099 82 | 3.124 % | 335.70/335.72 c | 25748 | 54739 41411 97724 | 43321 25748 84 | 3.124 % | 338.60/338.64 c | 38723 | 54739 41411 97724 | 47654 38723 85 | 3.124 % | 342.60/342.65 c | 58185 | 54739 41411 97724 | 52419 20669 84 | 3.124 % | 349.90/349.98 c | 87377 | 54739 41411 97724 | 57661 49861 84 | 3.124 % | 361.10/361.10 c | 131168 | 54739 41411 97724 | 63427 46692 82 | 3.124 % | 379.10/379.16 c | 196855 | 54739 41411 97724 | 69770 59479 84 | 3.124 % | 404.90/404.95 c | 295381 | 54739 41411 97724 | 76747 40776 81 | 3.124 % | 449.40/449.48 c | 443170 | 54739 41411 97724 | 84421 58649 80 | 3.124 % | 522.11/522.15 c | 664853 | 54738 41411 97724 | 92864 64577 76 | 3.125 % | 526.21/526.26 c =============================================================================== 531.11/531.13 c core #90 531.11/531.13 c 531.11/531.13 c 531.11/531.13 c Core size: 2054 Core Weight: 1 Total Weight: 163 531.11/531.13 c Current CPU time: 528.138 s 531.11/531.13 c 531.11/531.13 c ============================[ Search Statistics ]============================== 531.11/531.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 531.11/531.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 531.11/531.13 c =============================================================================== 531.11/531.13 c | 0 | 56793 41487 101790 | 13829 0 -nan | 0.000 % | 531.21/531.22 c | 101 | 56793 41487 101790 | 15211 101 374 | 3.014 % | 531.21/531.24 c | 252 | 56793 41487 101790 | 16733 252 163 | 3.014 % | 531.21/531.28 c | 478 | 56793 41487 101790 | 18406 478 97 | 3.014 % | 531.40/531.41 c | 815 | 56793 41487 101790 | 20247 815 78 | 3.014 % | 531.40/531.48 c | 1322 | 56793 41487 101790 | 22271 1322 76 | 3.014 % | 531.50/531.59 c | 2081 | 56793 41487 101790 | 24498 2081 66 | 3.014 % | 531.71/531.73 c | 3220 | 56793 41487 101790 | 26948 3220 72 | 3.014 % | 531.91/531.91 c | 4928 | 56793 41487 101790 | 29643 4928 78 | 3.014 % | 532.20/532.23 c | 7490 | 56793 41487 101790 | 32608 7490 79 | 3.014 % | 532.71/532.77 c | 11334 | 56793 41487 101790 | 35868 11334 82 | 3.014 % | 533.42/533.43 c | 17100 | 56793 41487 101790 | 39455 17100 84 | 3.014 % | 534.71/534.72 c | 25749 | 56793 41487 101790 | 43401 25749 87 | 3.014 % | 536.82/536.89 c | 38723 | 56793 41487 101790 | 47741 38723 88 | 3.014 % | 540.61/540.69 c | 58187 | 56793 41487 101790 | 52515 21033 86 | 3.014 % | 545.91/545.99 c | 87379 | 56793 41487 101790 | 57767 50225 87 | 3.014 % | 554.71/554.76 c | 131168 | 56793 41487 101790 | 63543 47127 86 | 3.014 % | 570.01/570.03 c | 196852 | 56793 41487 101790 | 69898 59943 87 | 3.014 % | 597.10/597.20 c | 295378 | 56793 41487 101790 | 76888 41339 83 | 3.014 % | 633.81/633.89 c | 443167 | 56793 41487 101790 | 84576 58828 86 | 3.014 % | 698.31/698.33 c | 664850 | 56793 41487 101790 | 93034 61321 84 | 3.014 % | 808.61/808.67 c | 997376 | 56793 41487 101790 | 102338 71928 82 | 3.014 % | 1067.33/1067.38 c | 1496165 | 56771 41487 101790 | 112571 27545 315 | 3.052 % | 1631.65/1631.63 c | 2244347 | 56770 41487 101790 | 123829 60557 347 | 3.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-3460784-1307074472/watcher-3460784-1307074472 -o /tmp/evaluation-result-3460784-1307074472/solver-3460784-1307074472 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460784-1307074472.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 3/443 12222 /proc/meminfo: memFree=29986384/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=3248 CPUtime=0 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 556 0 0 0 0 0 0 0 25 0 1 0 897677931 3325952 509 33554432000 4194304 5714214 140734490483504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 812 510 187 372 0 409 0 [startup+0.061733 s] /proc/loadavg: 2.00 2.02 2.00 3/443 12222 /proc/meminfo: memFree=29986384/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=6716 CPUtime=0.05 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 1598 0 0 0 5 0 0 0 25 0 1 0 897677931 6877184 1398 33554432000 4194304 5714214 140734490483504 18446744073709551615 4973065 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 1679 1398 176 372 0 1304 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6716 [startup+0.100716 s] /proc/loadavg: 2.00 2.02 2.00 3/443 12222 /proc/meminfo: memFree=29986384/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=7580 CPUtime=0.09 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 1872 0 0 0 9 0 0 0 25 0 1 0 897677931 7761920 1625 33554432000 4194304 5714214 140734490483504 18446744073709551615 5013510 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 1895 1625 176 372 0 1520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7580 [startup+0.300687 s] /proc/loadavg: 2.00 2.02 2.00 3/443 12222 /proc/meminfo: memFree=29986384/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=18828 CPUtime=0.28 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 6089 0 0 0 28 0 0 0 25 0 1 0 897677931 19279872 4145 33554432000 4194304 5714214 140734490483504 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 4707 4145 179 372 0 4332 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 18828 [startup+0.700614 s] /proc/loadavg: 2.00 2.02 2.00 3/443 12222 /proc/meminfo: memFree=29986384/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=23996 CPUtime=0.69 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 9187 0 0 0 63 6 0 0 25 0 1 0 897677931 24571904 5719 33554432000 4194304 5714214 140734490483504 18446744073709551615 4315147 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 5999 5719 179 372 0 5624 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23996 [startup+1.50046 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12223 /proc/meminfo: memFree=29959596/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=30472 CPUtime=1.49 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 11648 0 0 0 140 9 0 0 25 0 1 0 897677931 31203328 7244 33554432000 4194304 5714214 140734490483504 18446744073709551615 4310636 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 7618 7244 180 372 0 7243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30472 [startup+3.10117 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12223 /proc/meminfo: memFree=29952652/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=32296 CPUtime=3.09 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 12113 0 0 0 292 17 0 0 19 0 1 0 897677931 33071104 7709 33554432000 4194304 5714214 140734490483504 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 8074 7709 180 372 0 7699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32296 [startup+6.30057 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12223 /proc/meminfo: memFree=29941164/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=46044 CPUtime=6.29 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 15294 0 0 0 607 22 0 0 22 0 1 0 897677931 47149056 10890 33554432000 4194304 5714214 140734490483504 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 11511 10890 180 372 0 11136 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46044 [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12223 /proc/meminfo: memFree=29928016/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=58392 CPUtime=12.68 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 19912 0 0 0 1240 28 0 0 25 0 1 0 897677931 59793408 14026 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 14598 14026 180 372 0 14223 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58392 [startup+25.5009 s] /proc/loadavg: 2.08 2.04 2.01 3/444 12224 /proc/meminfo: memFree=29870288/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=92164 CPUtime=25.49 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 28321 0 0 0 2514 35 0 0 25 0 1 0 897677931 94375936 22435 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 23041 22435 180 372 0 22666 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92164 [startup+51.1011 s] /proc/loadavg: 2.05 2.03 2.00 3/444 12224 /proc/meminfo: memFree=29845200/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=116628 CPUtime=51.09 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 34356 0 0 0 5067 42 0 0 25 0 1 0 897677931 119427072 28470 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 29157 28470 180 372 0 28782 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 116628 [startup+102.316 s] /proc/loadavg: 2.02 2.02 2.00 3/444 12226 /proc/meminfo: memFree=29810932/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=132920 CPUtime=102.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 38195 0 0 0 10177 53 0 0 25 0 1 0 897677931 136110080 32309 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 33230 32309 180 372 0 32855 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 132920 [startup+162.301 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12227 /proc/meminfo: memFree=29777164/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=144696 CPUtime=162.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 40894 0 0 0 16159 71 0 0 25 0 1 0 897677931 148168704 35008 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 36174 35008 180 372 0 35799 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 144696 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12229 /proc/meminfo: memFree=29732124/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=150360 CPUtime=222.29 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 42859 0 0 0 22141 88 0 0 25 0 1 0 897677931 153968640 36973 33554432000 4194304 5714214 140734490483504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 37590 36973 180 372 0 37215 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 150360 [startup+282.301 s] /proc/loadavg: 2.08 2.02 2.01 3/444 12231 /proc/meminfo: memFree=29683596/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=174376 CPUtime=282.29 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 48746 0 0 0 28117 112 0 0 25 0 1 0 897677931 178561024 42860 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 43594 42860 180 372 0 43219 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 174376 [startup+342.3 s] /proc/loadavg: 2.02 2.02 2.00 3/444 12232 /proc/meminfo: memFree=29635824/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=188484 CPUtime=342.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 53930 0 0 0 34084 146 0 0 25 0 1 0 897677931 193007616 46536 33554432000 4194304 5714214 140734490483504 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 47121 46536 180 372 0 46746 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 188484 [startup+402.301 s] /proc/loadavg: 2.01 2.01 2.00 3/444 12234 /proc/meminfo: memFree=29608508/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=188484 CPUtime=402.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 53930 0 0 0 40045 185 0 0 25 0 1 0 897677931 193007616 46536 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 47121 46536 180 372 0 46746 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 188484 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12235 /proc/meminfo: memFree=29580068/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=188484 CPUtime=462.31 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 53935 0 0 0 46009 222 0 0 25 0 1 0 897677931 193007616 46541 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 47121 46541 180 372 0 46746 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 188484 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/444 12237 /proc/meminfo: memFree=29561424/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=188484 CPUtime=522.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 53959 0 0 0 51972 258 0 0 25 0 1 0 897677931 193007616 46565 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 47121 46565 180 372 0 46746 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 188484 [startup+582.301 s] /proc/loadavg: 2.03 2.01 2.00 3/444 12239 /proc/meminfo: memFree=29522436/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=193968 CPUtime=582.3 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 55516 0 0 0 57925 305 0 0 25 0 1 0 897677931 198623232 48122 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 48492 48122 180 372 0 48117 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 193968 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.09 2.03 2.01 3/444 12245 /proc/meminfo: memFree=29407440/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=207380 CPUtime=822.32 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 58770 0 0 0 81784 448 0 0 25 0 1 0 897677931 212357120 51376 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 51845 51376 180 372 0 51470 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 207380 [startup+882.301 s] /proc/loadavg: 2.07 2.03 2.01 3/444 12247 /proc/meminfo: memFree=29302864/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=284492 CPUtime=882.32 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 78034 0 0 0 87755 477 0 0 25 0 1 0 897677931 291319808 70640 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 71123 70640 180 372 0 70748 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 284492 [startup+942.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12248 /proc/meminfo: memFree=29280256/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=284624 CPUtime=942.32 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 78061 0 0 0 93730 502 0 0 25 0 1 0 897677931 291454976 70667 33554432000 4194304 5714214 140734490483504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 71156 70667 180 372 0 70781 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 284624 [startup+1002.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12250 /proc/meminfo: memFree=29259760/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=285116 CPUtime=1002.33 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 78180 0 0 0 99702 531 0 0 25 0 1 0 897677931 291958784 70786 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 71279 70786 180 372 0 70904 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 285116 [startup+1062.3 s] /proc/loadavg: 2.05 2.03 2.00 3/444 12251 /proc/meminfo: memFree=29205788/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=324008 CPUtime=1062.33 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 87868 0 0 0 105667 566 0 0 25 0 1 0 897677931 331784192 80474 33554432000 4194304 5714214 140734490483504 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 81002 80474 180 372 0 80627 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 324008 [startup+1122.3 s] /proc/loadavg: 2.06 2.04 2.00 3/444 12253 /proc/meminfo: memFree=29111144/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=400012 CPUtime=1122.32 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 106772 0 0 0 111640 592 0 0 25 0 1 0 897677931 409612288 99378 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 100003 99378 180 372 0 99628 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 400012 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/444 12255 /proc/meminfo: memFree=29082452/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=405104 CPUtime=1182.33 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 108073 0 0 0 117625 608 0 0 25 0 1 0 897677931 414826496 100679 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 101276 100679 180 372 0 100901 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 405104 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12256 /proc/meminfo: memFree=29057988/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=419356 CPUtime=1242.34 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 111635 0 0 0 123612 622 0 0 25 0 1 0 897677931 429420544 104241 33554432000 4194304 5714214 140734490483504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 104839 104241 180 372 0 104464 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 419356 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 12258 /proc/meminfo: memFree=29014296/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=426436 CPUtime=1302.34 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 113317 0 0 0 129598 636 0 0 25 0 1 0 897677931 436670464 105923 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 106609 105923 180 372 0 106234 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 426436 [startup+1362.3 s] /proc/loadavg: 2.11 2.04 2.01 3/444 12259 /proc/meminfo: memFree=28973964/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=439640 CPUtime=1362.34 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 116616 0 0 0 135584 650 0 0 25 0 1 0 897677931 450191360 109222 33554432000 4194304 5714214 140734490483504 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 109910 109222 180 372 0 109535 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 439640 [startup+1422.32 s] /proc/loadavg: 2.04 2.03 2.00 3/444 12261 /proc/meminfo: memFree=28953108/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=439640 CPUtime=1422.36 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 116625 0 0 0 141571 665 0 0 25 0 1 0 897677931 450191360 109231 33554432000 4194304 5714214 140734490483504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 109910 109231 180 372 0 109535 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 439640 [startup+1482.3 s] /proc/loadavg: 2.08 2.04 2.00 3/444 12266 /proc/meminfo: memFree=28915792/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=449936 CPUtime=1482.34 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 119214 0 0 0 147553 681 0 0 25 0 1 0 897677931 460734464 111820 33554432000 4194304 5714214 140734490483504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 112484 111820 180 372 0 112109 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 449936 [startup+1542.3 s] /proc/loadavg: 2.03 2.03 2.00 3/444 12267 /proc/meminfo: memFree=28815060/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=464628 CPUtime=1542.35 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 122827 0 0 0 153541 694 0 0 25 0 1 0 897677931 475779072 115433 33554432000 4194304 5714214 140734490483504 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 116157 115433 180 372 0 115782 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 464628 [startup+1602.3 s] /proc/loadavg: 2.08 2.04 2.00 3/444 12269 /proc/meminfo: memFree=28814772/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=464628 CPUtime=1602.35 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 122832 0 0 0 159529 706 0 0 25 0 1 0 897677931 475779072 115438 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 116157 115438 180 372 0 115782 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 464628 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/444 12270 /proc/meminfo: memFree=28804948/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=474268 CPUtime=1662.35 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 125240 0 0 0 165511 724 0 0 25 0 1 0 897677931 485650432 117846 33554432000 4194304 5714214 140734490483504 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 118567 117846 180 372 0 118192 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 474268 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 12272 /proc/meminfo: memFree=28772916/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=505772 CPUtime=1722.35 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 132948 0 0 0 171491 744 0 0 25 0 1 0 897677931 517910528 125554 33554432000 4194304 5714214 140734490483504 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 126443 125554 180 372 0 126068 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 505772 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 12274 /proc/meminfo: memFree=28753540/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=524444 CPUtime=1782.35 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 137605 0 0 0 177470 765 0 0 25 0 1 0 897677931 537030656 130211 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 131111 130211 180 372 0 130736 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 524444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.93 2.00 1.99 3/444 12302 /proc/meminfo: memFree=29458496/32950928 swapFree=52246700/67111528 [pid=12222] ppid=12220 vsize=524444 CPUtime=1800.07 cores=1,3,5,7 /proc/12222/stat : 12222 (wbo1.6) R 12220 12222 9824 0 -1 4202496 137605 0 0 0 179237 770 0 0 25 0 1 0 897677931 537030656 130211 33554432000 4194304 5714214 140734490483504 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12222/statm: 131111 130211 180 372 0 130736 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 524444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.04 CPU time (s): 1800.1 CPU user time (s): 1792.38 CPU system time (s): 7.72583 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 524444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.38 system time used= 7.72583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 137605 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= 5 involuntary context switches= 4062 runsolver used 7.32789 second user time and 18.8891 second system time The end
Begin job on node114 at 2011-06-03 06:14:33 IDJOB=3460784 IDBENCH=1871 IDSOLVER=1953 FILE ID=node114/3460784-1307074472 RUNJOBID= node114-1307068244-11008 PBS_JOBID= 13497874 Free space on /tmp= 73924 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460784-1307074472/watcher-3460784-1307074472 -o /tmp/evaluation-result-3460784-1307074472/solver-3460784-1307074472 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460784-1307074472.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=1339348670 node114.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.848 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.69 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.848 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.15 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.73 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.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 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.848 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.74 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.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29986664 kB Buffers: 253936 kB Cached: 384948 kB SwapCached: 10660 kB Active: 2305740 kB Inactive: 388640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29986664 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 8964 kB Writeback: 0 kB AnonPages: 2052768 kB Mapped: 21956 kB Slab: 140200 kB PageTables: 62304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108197540 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= 73920 MiB End job on node114 at 2011-06-03 06:44:35