Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 971.326 | 971.581 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 259 |
Best CPU time to get the best result obtained on this benchmark | 3.59845 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | YES |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
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 | 18 |
Number of terms in the objective function | 1278 |
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 | 1278 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1278 |
Number of bits of the biggest sum of numbers | 11 |
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.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656010-1276408706.opb. 0.00/0.00 c Instance file HOME/instance-2656010-1276408706.opb 0.00/0.00 c File size is 74860 bytes. 0.00/0.01 c Highest Coefficient sum: 19 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: 1278 | 0.00/0.01 c | Number Clauses: 1087 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1264 1087 6958 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 303 0.00/0.01 o 303 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1264 1088 8236 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1264 1088 8236 | 5500 100 307 | 1.096 % | 0.00/0.06 c | 250 | 1264 1088 8236 | 6050 250 310 | 1.096 % | 0.09/0.10 c | 476 | 1264 1088 8236 | 6655 476 310 | 1.096 % | 0.09/0.16 c | 813 | 1264 1088 8236 | 7320 813 311 | 1.096 % | 0.19/0.25 c | 1319 | 1264 1088 8236 | 8052 1319 312 | 1.096 % | 0.39/0.40 c | 2079 | 1264 1088 8236 | 8857 2079 314 | 1.096 % | 0.59/0.60 c | 3218 | 1264 1088 8236 | 9743 3218 313 | 1.096 % | 0.89/0.95 c | 4927 | 1264 1088 8236 | 10717 4927 312 | 1.096 % | 1.39/1.42 c | 7489 | 1264 1088 8236 | 11789 7489 312 | 1.096 % | 2.29/2.31 c | 11333 | 1264 1088 8236 | 12968 11333 312 | 1.096 % | 3.59/3.60 c | 17100 | 1264 1088 8236 | 14265 10062 312 | 1.096 % | 5.79/5.81 c | 25750 | 1264 1088 8236 | 15692 11039 313 | 1.096 % | 9.09/9.17 c | 38724 | 1264 1088 8236 | 17261 15618 311 | 1.096 % | 14.09/14.14 c | 58185 | 1264 1088 8236 | 18987 16679 312 | 1.096 % | 21.18/21.26 c | 87378 | 1264 1088 8236 | 20886 15659 310 | 1.096 % | 33.28/33.36 c | 131167 | 1264 1088 8236 | 22974 14196 309 | 1.096 % | 55.18/55.21 c | 196852 | 1264 1088 8236 | 25272 13277 308 | 1.096 % | 81.17/81.27 c | 295378 | 1264 1088 8236 | 27799 18774 309 | 1.096 % | 129.45/129.59 c | 443167 | 1264 1088 8236 | 30579 22889 311 | 1.096 % | 182.45/182.56 c There are 14 assigned variables. 14 in cost function. 184.54/184.65 c core #1 184.54/184.65 c core #2 184.54/184.65 c core #3 184.54/184.65 c core #4 184.54/184.65 c core #5 184.54/184.65 c core #6 184.54/184.65 c core #7 184.54/184.65 c core #8 184.54/184.65 c core #9 184.54/184.65 c core #10 184.54/184.65 c core #11 184.54/184.65 c core #12 184.54/184.65 c core #13 184.54/184.65 c core #14 184.54/184.65 c core #15 184.54/184.65 c core #16 184.54/184.65 c core #17 184.54/184.65 c core #18 184.54/184.65 c core #19 184.54/184.65 c core #20 184.54/184.65 c core #21 184.54/184.65 c core #22 184.54/184.65 c core #23 184.54/184.65 c core #24 184.54/184.65 c core #25 184.54/184.65 c core #26 184.54/184.65 c core #27 184.54/184.65 c core #28 184.54/184.65 c core #29 184.54/184.65 c core #30 184.54/184.65 c core #31 184.54/184.65 c core #32 184.54/184.65 c core #33 184.54/184.65 c core #34 184.54/184.65 c core #35 184.54/184.65 c core #36 184.54/184.65 c core #37 184.54/184.65 c core #38 184.54/184.65 c core #39 184.54/184.65 c core #40 184.54/184.65 c core #41 184.54/184.65 c core #42 184.54/184.65 c core #43 184.54/184.65 c core #44 184.54/184.65 c core #45 184.54/184.65 c core #46 184.54/184.65 c core #47 184.54/184.65 c core #48 184.54/184.65 c core #49 184.54/184.65 c core #50 184.54/184.65 c core #51 184.54/184.65 c core #52 184.54/184.65 c core #53 184.54/184.65 c core #54 184.54/184.65 c core #55 184.54/184.65 c core #56 184.54/184.65 c core #57 184.54/184.65 c core #58 184.54/184.65 c core #59 184.54/184.65 c core #60 184.54/184.65 c core #61 184.54/184.65 c core #62 184.54/184.65 c core #63 184.54/184.65 c core #64 184.54/184.65 c core #65 184.54/184.65 c core #66 184.54/184.65 c core #67 184.54/184.65 c core #68 184.54/184.65 c core #69 184.54/184.65 c core #70 184.54/184.65 c core #71 184.54/184.65 c core #72 184.54/184.65 c core #73 184.54/184.65 c core #74 184.54/184.65 c core #75 184.54/184.65 c core #76 184.54/184.65 c core #77 184.54/184.65 c core #78 184.54/184.65 c core #79 184.54/184.65 c core #80 184.54/184.65 c core #81 184.54/184.65 c core #82 184.54/184.65 c core #83 184.54/184.65 c core #84 184.54/184.65 c core #85 184.54/184.65 c core #86 184.54/184.65 c core #87 184.54/184.65 c core #88 184.54/184.65 c core #89 184.54/184.65 c core #90 184.54/184.65 c core #91 184.54/184.65 c core #92 184.54/184.65 c core #93 184.54/184.65 c core #94 184.54/184.65 c core #95 184.54/184.65 c core #96 184.54/184.65 c core #97 184.54/184.65 c core #98 184.54/184.65 c core #99 184.54/184.65 c core #100 184.54/184.65 c core #101 184.54/184.65 c core #102 184.54/184.65 c core #103 184.54/184.65 c core #104 184.54/184.65 c core #105 184.54/184.65 c core #106 184.54/184.65 c core #107 184.54/184.65 c core #108 184.54/184.65 c core #109 184.54/184.65 c core #110 184.54/184.65 c core #111 184.54/184.65 c core #112 184.54/184.65 c core #113 184.54/184.65 c core #114 184.54/184.65 c core #115 184.54/184.65 c core #116 184.54/184.65 c core #117 184.54/184.65 c core #118 184.54/184.65 c core #119 184.54/184.65 c core #120 184.54/184.65 c core #121 184.54/184.65 c core #122 184.54/184.65 c core #123 184.54/184.65 c core #124 184.54/184.65 c core #125 184.54/184.65 c core #126 184.54/184.65 c core #127 184.54/184.65 c core #128 184.54/184.65 c core #129 184.54/184.65 c core #130 184.54/184.65 c core #131 184.54/184.65 c core #132 184.54/184.65 c core #133 184.54/184.65 c core #134 184.54/184.65 c core #135 184.54/184.65 c core #136 184.54/184.65 c core #137 184.54/184.65 c core #138 184.54/184.65 c core #139 184.54/184.65 c core #140 184.54/184.65 c core #141 184.54/184.65 c core #142 184.54/184.65 c core #143 184.54/184.65 c core #144 184.54/184.65 c core #145 184.54/184.65 c core #146 184.54/184.65 c core #147 184.54/184.65 c core #148 184.54/184.65 c core #149 184.54/184.65 c core #150 184.54/184.65 c core #151 184.54/184.65 c core #152 184.54/184.65 c core #153 184.54/184.65 c core #154 184.54/184.65 c core #155 184.54/184.65 c core #156 184.54/184.65 c core #157 184.54/184.65 c core #158 184.54/184.65 c core #159 184.54/184.65 c core #160 184.54/184.65 c core #161 184.54/184.65 c core #162 184.54/184.65 c core #163 184.54/184.65 c core #164 184.54/184.65 c core #165 184.54/184.65 c core #166 184.54/184.65 c core #167 184.54/184.65 c core #168 184.54/184.65 c core #169 184.54/184.65 c core #170 184.54/184.65 c core #171 184.54/184.65 c core #172 184.54/184.65 c core #173 184.54/184.65 c core #174 184.54/184.65 c core #175 184.54/184.65 c core #176 184.54/184.65 c core #177 184.54/184.65 c core #178 184.54/184.65 c core #179 184.54/184.65 c core #180 184.54/184.65 c core #181 184.54/184.65 c core #182 184.54/184.65 c core #183 184.54/184.65 c core #184 184.54/184.65 c core #185 184.54/184.65 c core #186 184.54/184.65 c core #187 184.54/184.65 c core #188 184.54/184.65 c core #189 184.54/184.65 c core #190 184.54/184.65 c core #191 184.54/184.65 c core #192 184.54/184.65 c core #193 184.54/184.65 c core #194 184.54/184.65 c core #195 184.54/184.65 c core #196 184.54/184.65 c core #197 184.54/184.65 c core #198 184.54/184.65 c core #199 184.54/184.65 c core #200 184.54/184.65 c core #201 184.54/184.65 c core #202 184.54/184.65 c core #203 184.54/184.65 c core #204 184.54/184.65 c core #205 184.54/184.65 c core #206 184.54/184.65 c core #207 184.54/184.65 c core #208 184.54/184.65 c core #209 184.54/184.65 c core #210 184.54/184.65 c core #211 184.54/184.65 c core #212 184.54/184.65 c core #213 184.54/184.65 c core #214 184.54/184.65 c core #215 184.54/184.65 c core #216 184.54/184.65 c core #217 184.54/184.65 c core #218 184.54/184.65 c ============================[ Search Statistics ]============================== 184.54/184.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.65 c =============================================================================== 184.54/184.65 c | 0 | 2124 2568 12772 | 5000 0 nan | 0.000 % | 184.54/184.66 c =============================================================================== 184.54/184.67 c core #219 184.54/184.67 c ============================[ Search Statistics ]============================== 184.54/184.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.67 c =============================================================================== 184.54/184.67 c | 0 | 2304 2569 13087 | 5000 0 nan | 0.000 % | 184.54/184.68 c | 100 | 2304 2569 13087 | 5500 100 12 | 10.319 % | 184.54/184.69 c | 250 | 2298 2569 13087 | 6050 246 12 | 10.592 % | 184.54/184.69 c =============================================================================== 184.64/184.70 c core #220 184.64/184.70 c ============================[ Search Statistics ]============================== 184.64/184.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.70 c =============================================================================== 184.64/184.70 c | 0 | 2326 2570 13124 | 5000 0 nan | 0.000 % | 184.64/184.71 c =============================================================================== 184.64/184.71 c core #221 184.64/184.71 c ============================[ Search Statistics ]============================== 184.64/184.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.71 c =============================================================================== 184.64/184.71 c | 0 | 2377 2571 13194 | 5000 0 nan | 0.000 % | 184.64/184.72 c =============================================================================== 184.64/184.73 c core #222 184.64/184.73 c ============================[ Search Statistics ]============================== 184.64/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.73 c =============================================================================== 184.64/184.73 c | 0 | 2419 2572 13270 | 5000 0 nan | 0.000 % | 184.64/184.74 c | 100 | 2419 2572 13270 | 5500 100 7 | 8.510 % | 184.64/184.75 c | 250 | 2419 2572 13270 | 6050 250 10 | 8.510 % | 184.64/184.77 c | 477 | 2408 2572 13270 | 6655 456 13 | 8.964 % | 184.64/184.78 c =============================================================================== 184.64/184.79 c core #223 184.64/184.79 c ============================[ Search Statistics ]============================== 184.64/184.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.79 c =============================================================================== 184.64/184.79 c | 0 | 2612 2573 13643 | 5000 0 nan | 0.000 % | 184.74/184.81 c | 101 | 2610 2573 13643 | 5500 101 17 | 8.074 % | 184.74/184.82 c | 251 | 2589 2573 13643 | 6050 250 18 | 8.569 % | 184.74/184.85 c | 478 | 2582 2573 13643 | 6655 476 21 | 8.569 % | 184.74/184.89 c | 817 | 2582 2573 13643 | 7320 815 26 | 8.569 % | 184.84/184.94 c | 1325 | 2579 2573 13643 | 8052 755 23 | 8.676 % | 184.84/184.99 c =============================================================================== 184.94/185.02 c core #224 184.94/185.02 c ============================[ Search Statistics ]============================== 184.94/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.02 c =============================================================================== 184.94/185.02 c | 0 | 2852 2574 14099 | 5000 0 nan | 0.000 % | 184.94/185.03 c | 101 | 2852 2574 14099 | 5500 101 40 | 6.184 % | 184.94/185.05 c | 253 | 2852 2574 14099 | 6050 253 45 | 6.184 % | 184.94/185.07 c | 478 | 2852 2574 14099 | 6655 478 41 | 6.184 % | 185.03/185.11 c | 815 | 2852 2574 14099 | 7320 815 46 | 6.184 % | 185.13/185.20 c | 1323 | 2852 2574 14099 | 8052 1323 59 | 6.184 % | 185.24/185.32 c | 2085 | 2846 2574 14099 | 8857 2082 58 | 6.382 % | 185.44/185.52 c | 3224 | 2844 2574 14099 | 9743 3220 63 | 6.447 % | 185.54/185.61 c =============================================================================== 185.54/185.63 c core #225 185.54/185.63 c ============================[ Search Statistics ]============================== 185.54/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.63 c =============================================================================== 185.54/185.63 c | 0 | 2864 2575 14119 | 5000 0 nan | 0.000 % | 185.54/185.64 c | 100 | 2864 2575 14119 | 5500 100 10 | 6.037 % | 185.54/185.65 c | 250 | 2864 2575 14119 | 6050 250 12 | 6.037 % | 185.54/185.65 c =============================================================================== 185.54/185.66 c core #226 185.54/185.66 c ============================[ Search Statistics ]============================== 185.54/185.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.54/185.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.54/185.66 c =============================================================================== 185.54/185.66 c | 0 | 2927 2576 14234 | 5000 0 nan | 0.000 % | 185.54/185.67 c | 100 | 2927 2576 14234 | 5500 100 25 | 5.581 % | 185.54/185.69 c | 250 | 2927 2576 14234 | 6050 250 34 | 5.581 % | 185.63/185.72 c | 477 | 2927 2576 14234 | 6655 477 47 | 5.581 % | 185.63/185.76 c | 814 | 2927 2576 14234 | 7320 814 55 | 5.581 % | 185.74/185.86 c | 1320 | 2927 2576 14234 | 8052 1320 61 | 5.581 % | 185.94/186.06 c | 2080 | 2927 2576 14234 | 8857 2080 62 | 5.581 % | 186.23/186.32 c | 3219 | 2926 2576 14234 | 9743 3215 62 | 5.613 % | 186.53/186.65 c | 4927 | 2926 2576 14234 | 10717 4923 67 | 5.613 % | 187.33/187.48 c | 7491 | 2926 2576 14234 | 11789 7487 69 | 5.613 % | 187.43/187.57 c =============================================================================== 187.53/187.67 c core #227 187.53/187.67 c ============================[ Search Statistics ]============================== 187.53/187.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.67 c =============================================================================== 187.53/187.67 c | 0 | 3155 2577 14687 | 5000 0 nan | 0.000 % | 187.53/187.69 c | 100 | 3155 2577 14687 | 5500 100 27 | 5.113 % | 187.64/187.72 c | 250 | 3155 2577 14687 | 6050 250 50 | 5.113 % | 187.64/187.75 c | 475 | 3155 2577 14687 | 6655 475 66 | 5.113 % | 187.64/187.79 c | 812 | 3155 2577 14687 | 7320 812 59 | 5.113 % | 187.73/187.86 c | 1319 | 3155 2577 14687 | 8052 1319 57 | 5.113 % | 187.83/187.98 c | 2080 | 3155 2577 14687 | 8857 2080 68 | 5.113 % | 188.13/188.20 c | 3219 | 3155 2577 14687 | 9743 3219 82 | 5.113 % | 188.43/188.55 c | 4927 | 3155 2577 14687 | 10717 4927 75 | 5.113 % | 188.93/189.06 c | 7489 | 3155 2577 14687 | 11789 7489 74 | 5.113 % | 190.03/190.15 c | 11335 | 3152 2577 14687 | 12968 11333 81 | 5.323 % | 190.14/190.26 c =============================================================================== 190.14/190.29 c core #228 190.14/190.29 c ============================[ Search Statistics ]============================== 190.14/190.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.14/190.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.14/190.29 c =============================================================================== 190.14/190.29 c | 0 | 3190 2578 14753 | 5000 0 nan | 0.000 % | 190.24/190.31 c | 100 | 3190 2578 14753 | 5500 100 27 | 4.946 % | 190.24/190.33 c | 250 | 3190 2578 14753 | 6050 250 36 | 4.946 % | 190.24/190.36 c | 476 | 3190 2578 14753 | 6655 476 42 | 4.946 % | 190.33/190.40 c | 813 | 3190 2578 14753 | 7320 813 43 | 4.946 % | 190.33/190.45 c | 1319 | 3190 2578 14753 | 8052 1319 44 | 4.946 % | 190.43/190.55 c | 2079 | 3190 2578 14753 | 8857 2079 45 | 4.946 % | 190.63/190.77 c | 3218 | 3190 2578 14753 | 9743 3218 59 | 4.946 % | 191.03/191.15 c | 4927 | 3190 2578 14753 | 10717 4927 87 | 4.946 % | 191.73/191.84 c | 7489 | 3190 2578 14753 | 11789 7489 100 | 4.946 % | 193.03/193.11 c | 11333 | 3190 2578 14753 | 12968 11333 114 | 4.946 % | 195.04/195.11 c | 17102 | 3190 2578 14753 | 14265 10407 142 | 4.946 % | 198.53/198.60 c | 25754 | 3190 2578 14753 | 15692 11692 122 | 4.946 % | 205.53/205.66 c | 38730 | 3190 2578 14753 | 17261 8558 139 | 4.946 % | 212.33/212.46 c | 58193 | 3190 2578 14753 | 18987 10285 155 | 4.946 % | 225.02/225.13 c | 87389 | 3190 2578 14753 | 20886 10384 138 | 4.946 % | 245.61/245.71 c | 131179 | 3190 2578 14753 | 22974 11458 145 | 4.946 % | 282.52/282.65 c | 196865 | 3184 2578 14753 | 25272 18758 153 | 5.125 % | 320.50/320.61 c =============================================================================== 325.20/325.39 c core #229 325.20/325.39 c ============================[ Search Statistics ]============================== 325.20/325.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 325.20/325.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 325.20/325.39 c =============================================================================== 325.20/325.39 c | 0 | 3530 2579 15425 | 5000 0 nan | 0.000 % | 325.30/325.44 c | 100 | 3530 2579 15425 | 5500 100 36 | 4.284 % | 325.41/325.51 c | 250 | 3528 2579 15425 | 6050 249 48 | 4.338 % | 325.41/325.55 c | 475 | 3512 2579 15425 | 6655 470 52 | 5.531 % | 325.41/325.60 c | 815 | 3484 2579 15425 | 7320 798 70 | 5.531 % | 325.51/325.67 c | 1323 | 3484 2579 15425 | 8052 1306 66 | 5.531 % | 325.60/325.77 c | 2083 | 3484 2579 15425 | 8857 2066 65 | 5.531 % | 325.90/326.00 c | 3225 | 3484 2579 15425 | 9743 3208 78 | 5.531 % | 326.20/326.38 c | 4934 | 3484 2579 15425 | 10717 4917 89 | 5.531 % | 326.79/326.94 c | 7496 | 3484 2579 15425 | 11789 7479 105 | 5.531 % | 328.10/328.27 c | 11344 | 3484 2579 15425 | 12968 11327 132 | 5.531 % | 330.20/330.39 c | 17112 | 3483 2579 15425 | 14265 10414 159 | 5.586 % | 332.90/333.08 c | 25763 | 3482 2579 15425 | 15692 11568 151 | 5.586 % | 339.09/339.22 c | 38739 | 3482 2579 15425 | 17261 8575 222 | 5.586 % | 351.10/351.26 c | 58200 | 3482 2579 15425 | 18987 10165 198 | 5.586 % | 369.79/369.96 c | 87393 | 3482 2579 15425 | 20886 10034 219 | 5.586 % | 397.19/397.31 c | 131182 | 3480 2579 15425 | 22974 11009 196 | 5.640 % | 444.07/444.25 c | 196869 | 3480 2579 15425 | 25272 17641 210 | 5.640 % | 507.96/508.12 c | 295399 | 3475 2579 15425 | 27799 22210 161 | 6.074 % | 610.23/610.40 c | 443188 | 3461 2579 15425 | 30579 20428 219 | 6.535 % | 789.08/789.30 c | 664873 | 3414 2579 15425 | 33637 27159 150 | 7.674 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656010-1276408706/watcher-2656010-1276408706 -o /tmp/evaluation-result-2656010-1276408706/solver-2656010-1276408706 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656010-1276408706.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21258 /proc/meminfo: memFree=1749100/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=2824 CPUtime=0 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 16457013 2891776 243 1992294400 134512640 135751879 4294100368 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 706 243 145 303 0 382 0 [startup+0.0837441 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21258 /proc/meminfo: memFree=1749100/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=3412 CPUtime=0.07 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 503 0 0 0 7 0 0 0 20 0 1 0 16457013 3493888 403 1992294400 134512640 135751879 4294100368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 853 403 147 303 0 548 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3412 [startup+0.100745 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21258 /proc/meminfo: memFree=1749100/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=3540 CPUtime=0.09 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 537 0 0 0 9 0 0 0 20 0 1 0 16457013 3624960 437 1992294400 134512640 135751879 4294100368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 885 437 147 303 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3540 [startup+0.300766 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21258 /proc/meminfo: memFree=1749100/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=4956 CPUtime=0.29 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 910 0 0 0 28 1 0 0 20 0 1 0 16457013 5074944 810 1992294400 134512640 135751879 4294100368 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 1239 810 147 303 0 934 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4956 [startup+0.700806 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21258 /proc/meminfo: memFree=1749100/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=7912 CPUtime=0.69 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 1630 0 0 0 67 2 0 0 21 0 1 0 16457013 8101888 1530 1992294400 134512640 135751879 4294100368 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 1978 1530 147 303 0 1673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7912 [startup+1.50089 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1741280/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=13432 CPUtime=1.49 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 3008 0 0 0 145 4 0 0 23 0 1 0 16457013 13754368 2908 1992294400 134512640 135751879 4294100368 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 3358 2908 147 303 0 3053 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13432 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1734088/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=22996 CPUtime=3.09 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 5419 0 0 0 302 7 0 0 25 0 1 0 16457013 23547904 5319 1992294400 134512640 135751879 4294100368 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 5749 5320 148 303 0 5444 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22996 [startup+6.30037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1715364/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=40712 CPUtime=6.29 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 9852 0 0 0 616 13 0 0 25 0 1 0 16457013 41689088 9752 1992294400 134512640 135751879 4294100368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 10178 9753 148 303 0 9873 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40712 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1680644/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=73008 CPUtime=12.69 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 17914 0 0 0 1246 23 0 0 25 0 1 0 16457013 74760192 17814 1992294400 134512640 135751879 4294100368 18446744073709551615 134611233 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 18252 17814 148 303 0 17947 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73008 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1609344/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=142380 CPUtime=25.48 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 35250 0 0 0 2505 43 0 0 25 0 1 0 16457013 145797120 35150 1992294400 134512640 135751879 4294100368 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 35595 35150 148 303 0 35290 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 142380 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21259 /proc/meminfo: memFree=1502952/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=249960 CPUtime=51.08 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 62115 0 0 0 5034 74 0 0 25 0 1 0 16457013 255959040 62015 1992294400 134512640 135751879 4294100368 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 62490 62015 148 303 0 62185 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 249960 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21261 /proc/meminfo: memFree=1271196/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=479296 CPUtime=102.27 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 119414 0 0 0 10078 149 0 0 25 0 1 0 16457013 490799104 119314 1992294400 134512640 135751879 4294100368 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 119824 119314 148 303 0 119519 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 479296 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21272 /proc/meminfo: memFree=1016996/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=734548 CPUtime=162.24 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 183206 0 0 0 16000 224 0 0 25 0 1 0 16457013 752177152 183106 1992294400 134512640 135751879 4294100368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 183637 183106 148 303 0 183332 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 734548 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21272 /proc/meminfo: memFree=898824/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=850028 CPUtime=222.23 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 212192 0 0 0 21907 316 0 0 25 0 1 0 16457013 870428672 212061 1992294400 134512640 135751879 4294100368 18446744073709551615 134611013 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 212507 212061 151 303 0 212202 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 850028 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21274 /proc/meminfo: memFree=815496/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=933772 CPUtime=282.21 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 233130 0 0 0 27839 382 0 0 25 0 1 0 16457013 956182528 232999 1992294400 134512640 135751879 4294100368 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 233443 232999 151 303 0 233138 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 933772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21276 /proc/meminfo: memFree=749776/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=998760 CPUtime=342.19 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 249398 0 0 0 33775 444 0 0 25 0 1 0 16457013 1022730240 249267 1992294400 134512640 135751879 4294100368 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 249690 249267 151 303 0 249385 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 998760 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21278 /proc/meminfo: memFree=662480/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1086568 CPUtime=402.18 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 271310 0 0 0 39713 505 0 0 25 0 1 0 16457013 1112645632 271179 1992294400 134512640 135751879 4294100368 18446744073709551615 134607664 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 271642 271179 151 303 0 271337 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1086568 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21280 /proc/meminfo: memFree=573324/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1175192 CPUtime=462.16 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 293450 0 0 0 45660 556 0 0 25 0 1 0 16457013 1203396608 293319 1992294400 134512640 135751879 4294100368 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 293798 293319 151 303 0 293493 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1175192 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21280 /proc/meminfo: memFree=488508/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1260532 CPUtime=522.15 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 314785 0 0 0 51604 611 0 0 25 0 1 0 16457013 1290784768 314654 1992294400 134512640 135751879 4294100368 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 315133 314654 151 303 0 314828 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1260532 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21282 /proc/meminfo: memFree=400840/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1347856 CPUtime=582.13 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 336587 0 0 0 57548 665 0 0 25 0 1 0 16457013 1380204544 336456 1992294400 134512640 135751879 4294100368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 336964 336456 151 303 0 336659 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1347856 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21284 /proc/meminfo: memFree=312552/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1434968 CPUtime=642.13 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 358362 0 0 0 63490 723 0 0 25 0 1 0 16457013 1469407232 358231 1992294400 134512640 135751879 4294100368 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 358742 358231 151 303 0 358437 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1434968 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21286 /proc/meminfo: memFree=247700/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1500644 CPUtime=702.11 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 374763 0 0 0 69452 759 0 0 25 0 1 0 16457013 1536659456 374632 1992294400 134512640 135751879 4294100368 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 375161 374632 151 303 0 374856 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1500644 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21288 /proc/meminfo: memFree=185576/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1561940 CPUtime=762.09 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 390064 0 0 0 75400 809 0 0 25 0 1 0 16457013 1599426560 389933 1992294400 134512640 135751879 4294100368 18446744073709551615 134641969 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 390485 389933 151 303 0 390180 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1561940 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21288 /proc/meminfo: memFree=90344/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1657604 CPUtime=822.07 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 413949 0 0 0 81337 870 0 0 25 0 1 0 16457013 1697386496 413818 1992294400 134512640 135751879 4294100368 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 414401 413818 151 303 0 414096 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1657604 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21290 /proc/meminfo: memFree=9620/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1737860 CPUtime=882.06 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 433993 0 0 0 87292 914 0 0 25 0 1 0 16457013 1779568640 433862 1992294400 134512640 135751879 4294100368 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 434465 433862 151 303 0 434160 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1737860 [startup+942.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 21292 /proc/meminfo: memFree=9872/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1808856 CPUtime=942.05 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 451748 0 0 0 93249 956 0 0 25 0 1 0 16457013 1852268544 451617 1992294400 134512640 135751879 4294100368 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 452214 451617 151 303 0 451909 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1808856 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+971.401 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21292 /proc/meminfo: memFree=10656/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=1843284 CPUtime=971.14 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4202496 460319 0 0 0 96137 977 0 0 25 0 1 0 16457013 1887522816 460188 1992294400 134512640 135751879 4294100368 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21258/statm: 460821 460188 151 303 0 460516 0 Current children cumulated CPU time (s) 971.14 Current children cumulated vsize (KiB) 1843284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+971.508 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21292 /proc/meminfo: memFree=10656/2059040 swapFree=4134484/4192956 [pid=21258] ppid=21256 vsize=0 CPUtime=971.24 /proc/21258/stat : 21258 (wbo1.4b) R 21256 21258 20564 0 -1 4203524 460319 0 0 0 96137 987 0 0 25 0 1 0 16457013 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21258/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 971.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 971.581 CPU time (s): 971.326 CPU user time (s): 961.378 CPU system time (s): 9.94849 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1843284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 961.378 system time used= 9.94849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460319 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= 8 involuntary context switches= 12962 runsolver used 1.74773 second user time and 4.45932 second system time The end
Begin job on node017 at 2010-06-13 07:58:26 IDJOB=2656010 IDBENCH=2043 IDSOLVER=1161 FILE ID=node017/2656010-1276408706 PBS_JOBID= 11173270 Free space on /tmp= 62368 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656010-1276408706/watcher-2656010-1276408706 -o /tmp/evaluation-result-2656010-1276408706/solver-2656010-1276408706 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656010-1276408706.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED=960026240 node017.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749504 kB Buffers: 86240 kB Cached: 144884 kB SwapCached: 11760 kB Active: 128424 kB Inactive: 116756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749504 kB SwapTotal: 4192956 kB SwapFree: 4134484 kB Dirty: 2652 kB Writeback: 0 kB AnonPages: 12408 kB Mapped: 9220 kB Slab: 42644 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182768 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62368 MiB End job on node017 at 2010-06-13 08:14:39