Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1234.88 | 1235.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-duke2.b.opb |
MD5SUM | ad998dfe89909927555ae6165c9e8c9e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 70 |
Best CPU time to get the best result obtained on this benchmark | 6.12407 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 70 |
Optimality of the best value was proved | NO |
Number of variables | 1821 |
Total number of constraints | 4706 |
Number of constraints which are clauses | 4706 |
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 | 382 |
Number of terms in the objective function | 1821 |
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 | 1821 |
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 | 1821 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680516-1277457545.opb. 0.00/0.00 c Instance file HOME/instance-2680516-1277457545.opb 0.00/0.00 c File size is 1231942 bytes. 0.09/0.19 c Highest Coefficient sum: 383 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.20 s | 0.09/0.19 c | Number Variables: 1821 | 0.09/0.19 c | Number Clauses: 4706 | 0.09/0.19 c | Number Cardinality: 0 | 0.09/0.19 c | Number PB Constraints: 0 | 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1801 4706 142959 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 102 0.19/0.20 o 102 0.19/0.20 c Elapsed CPU time: 0.203968 s Remaining CPU time: 179.796 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1801 4707 144780 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 100 | 1801 4707 144780 | 5500 100 204 | 1.098 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 89 0.19/0.23 o 89 0.19/0.23 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 101 | 1801 4708 146601 | 5000 101 203 | 1.098 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 86 0.19/0.24 o 86 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 101 | 1801 4709 148422 | 5000 101 203 | 1.098 % | 0.19/0.26 c | 201 | 1801 4709 148422 | 5500 201 207 | 1.098 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 84 0.19/0.27 o 84 0.19/0.27 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 201 | 1801 4710 150243 | 5000 201 207 | 1.098 % | 0.30/0.30 c | 302 | 1801 4710 150243 | 5500 302 222 | 1.098 % | 0.30/0.34 c | 452 | 1801 4710 150243 | 6050 452 197 | 1.098 % | 0.39/0.44 c | 677 | 1801 4710 150243 | 6655 677 177 | 1.098 % | 0.59/0.67 c | 1015 | 1801 4710 150243 | 7320 1015 170 | 1.098 % | 0.89/0.96 c | 1522 | 1801 4710 150243 | 8052 1522 164 | 1.098 % | 1.19/1.29 c | 2282 | 1801 4710 150243 | 8857 2282 179 | 1.098 % | 1.59/1.64 c | 3421 | 1801 4710 150243 | 9743 3421 159 | 1.098 % | 2.39/2.41 c | 5129 | 1801 4710 150243 | 10717 5129 153 | 1.098 % | 3.69/3.79 c | 7692 | 1801 4710 150243 | 11789 7692 148 | 1.098 % | 5.19/5.24 c | 11538 | 1801 4710 150243 | 12968 11538 164 | 1.098 % | 7.89/7.97 c | 17304 | 1801 4710 150243 | 14265 10018 177 | 1.098 % | 11.89/11.91 c | 25954 | 1801 4710 150243 | 15692 10779 161 | 1.098 % | 16.58/16.69 c | 38928 | 1801 4710 150243 | 17261 15091 163 | 1.098 % | 25.38/25.43 c | 58390 | 1801 4710 150243 | 18987 15617 186 | 1.098 % | 37.98/38.08 c | 87582 | 1801 4710 150243 | 20886 13745 214 | 1.098 % | 60.38/60.47 c | 131371 | 1801 4710 150243 | 22974 22240 185 | 1.098 % | 90.36/90.49 c | 197057 | 1801 4710 150243 | 25272 19197 182 | 1.098 % | 130.05/130.19 c | 295584 | 1801 4710 150243 | 27799 24240 180 | 1.098 % | 181.63/181.76 c There are 20 assigned variables. 20 in cost function. 183.03/183.11 c core #1 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 60 Core Weight: 1 Total Weight: 21 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #2 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 149 Core Weight: 1 Total Weight: 22 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #3 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 28 Core Weight: 1 Total Weight: 23 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #4 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 15 Core Weight: 1 Total Weight: 24 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #5 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 28 Core Weight: 1 Total Weight: 25 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #6 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 23 Core Weight: 1 Total Weight: 26 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #7 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 4 Core Weight: 1 Total Weight: 27 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #8 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 13 Core Weight: 1 Total Weight: 28 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #9 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 25 Core Weight: 1 Total Weight: 29 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #10 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 5 Core Weight: 1 Total Weight: 30 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #11 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 19 Core Weight: 1 Total Weight: 31 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #12 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 33 Core Weight: 1 Total Weight: 32 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #13 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 23 Core Weight: 1 Total Weight: 33 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #14 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 35 Core Weight: 1 Total Weight: 34 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #15 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 5 Core Weight: 1 Total Weight: 35 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #16 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 39 Core Weight: 1 Total Weight: 36 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #17 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 5 Core Weight: 1 Total Weight: 37 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #18 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 3 Core Weight: 1 Total Weight: 38 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #19 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 8 Core Weight: 1 Total Weight: 39 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #20 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 11 Core Weight: 1 Total Weight: 40 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #21 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 40 Core Weight: 1 Total Weight: 41 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #22 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 6 Core Weight: 1 Total Weight: 42 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #23 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 4 Core Weight: 1 Total Weight: 43 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #24 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 40 Core Weight: 1 Total Weight: 44 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #25 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 187 Core Weight: 1 Total Weight: 45 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #26 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 22 Core Weight: 1 Total Weight: 46 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #27 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 17 Core Weight: 1 Total Weight: 47 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c core #28 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c Core size: 48 Core Weight: 1 Total Weight: 48 183.03/183.11 c 183.03/183.11 c 183.03/183.11 c ============================[ Search Statistics ]============================== 183.03/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.11 c =============================================================================== 183.03/183.11 c | 0 | 1508 6317 82048 | 5000 0 nan | 0.000 % | 183.03/183.11 c =============================================================================== 183.03/183.14 c core #29 183.03/183.14 c 183.03/183.14 c 183.03/183.14 c Core size: 22 Core Weight: 1 Total Weight: 49 183.03/183.14 c 183.03/183.14 c 183.03/183.14 c ============================[ Search Statistics ]============================== 183.03/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.14 c =============================================================================== 183.03/183.14 c | 0 | 1535 6318 82617 | 5000 0 nan | 0.000 % | 183.03/183.15 c =============================================================================== 183.03/183.18 c core #30 183.03/183.18 c 183.03/183.18 c 183.03/183.18 c Core size: 120 Core Weight: 1 Total Weight: 50 183.03/183.18 c 183.03/183.18 c 183.03/183.18 c ============================[ Search Statistics ]============================== 183.03/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.18 c =============================================================================== 183.03/183.18 c | 0 | 1669 6319 83461 | 5000 0 nan | 0.000 % | 183.03/183.19 c | 101 | 1669 6319 83461 | 5500 101 18 | 40.520 % | 183.03/183.19 c =============================================================================== 183.13/183.23 c core #31 183.13/183.23 c 183.13/183.23 c 183.13/183.23 c Core size: 184 Core Weight: 1 Total Weight: 51 183.13/183.23 c 183.13/183.23 c 183.13/183.23 c ============================[ Search Statistics ]============================== 183.13/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.23 c =============================================================================== 183.13/183.23 c | 0 | 1949 6320 88114 | 5000 0 nan | 0.000 % | 183.13/183.25 c | 100 | 1949 6320 88114 | 5500 100 37 | 34.751 % | 183.13/183.28 c | 253 | 1949 6320 88114 | 6050 253 66 | 34.751 % | 183.23/183.30 c | 479 | 1949 6320 88114 | 6655 479 63 | 34.751 % | 183.23/183.33 c =============================================================================== 183.23/183.36 c core #32 183.23/183.36 c 183.23/183.36 c 183.23/183.36 c Core size: 161 Core Weight: 1 Total Weight: 52 183.23/183.36 c 183.23/183.36 c 183.23/183.36 c ============================[ Search Statistics ]============================== 183.23/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.36 c =============================================================================== 183.23/183.36 c | 0 | 2128 6321 90253 | 5000 0 nan | 0.000 % | 183.23/183.38 c | 100 | 2128 6321 90253 | 5500 100 53 | 32.359 % | 183.33/183.42 c | 253 | 2128 6321 90253 | 6050 253 67 | 32.359 % | 183.33/183.44 c | 481 | 2128 6321 90253 | 6655 481 64 | 32.359 % | 183.33/183.48 c | 818 | 2128 6321 90253 | 7320 818 54 | 32.359 % | 183.44/183.54 c | 1328 | 2128 6321 90253 | 8052 1328 47 | 32.359 % | 183.54/183.66 c | 2088 | 2128 6321 90253 | 8857 2088 52 | 32.359 % | 183.74/183.83 c =============================================================================== 183.74/183.88 c core #33 183.74/183.88 c 183.74/183.88 c 183.74/183.88 c Core size: 221 Core Weight: 1 Total Weight: 53 183.74/183.88 c 183.74/183.88 c 183.74/183.88 c ============================[ Search Statistics ]============================== 183.74/183.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.88 c =============================================================================== 183.74/183.88 c | 0 | 2348 6322 90693 | 5000 0 nan | 0.000 % | 183.84/183.91 c | 102 | 2348 6322 90693 | 5500 102 101 | 30.244 % | 183.84/183.96 c | 252 | 2348 6322 90693 | 6050 252 136 | 30.244 % | 183.84/183.99 c | 479 | 2348 6322 90693 | 6655 479 126 | 30.244 % | 183.93/184.07 c | 817 | 2348 6322 90693 | 7320 817 137 | 30.244 % | 184.13/184.23 c | 1323 | 2348 6322 90693 | 8052 1323 145 | 30.244 % | 184.33/184.42 c | 2082 | 2348 6322 90693 | 8857 2082 139 | 30.244 % | 184.64/184.77 c | 3223 | 2348 6322 90693 | 9743 3223 186 | 30.244 % | 185.33/185.48 c | 4931 | 2348 6322 90693 | 10717 4931 228 | 30.244 % | 186.33/186.42 c | 7493 | 2348 6322 90693 | 11789 7493 247 | 30.244 % | 189.04/189.10 c | 11341 | 2348 6322 90693 | 12968 11341 268 | 30.244 % | 190.73/190.82 c | 17111 | 2348 6322 90693 | 14265 10052 205 | 30.244 % | 194.33/194.42 c | 25762 | 2348 6322 90693 | 15692 10914 152 | 36.780 % | 194.43/194.54 c =============================================================================== 194.64/194.79 c core #34 194.64/194.79 c 194.64/194.79 c 194.64/194.79 c Core size: 494 Core Weight: 1 Total Weight: 54 194.64/194.79 c 194.64/194.79 c 194.64/194.79 c ============================[ Search Statistics ]============================== 194.64/194.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.64/194.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.64/194.79 c =============================================================================== 194.64/194.79 c | 0 | 2957 6323 97562 | 5000 0 nan | 0.000 % | 194.73/194.82 c | 100 | 2957 6323 97562 | 5500 100 84 | 23.334 % | 194.73/194.88 c | 252 | 2957 6323 97562 | 6050 252 120 | 23.334 % | 194.83/194.93 c | 477 | 2957 6323 97562 | 6655 477 108 | 23.334 % | 194.93/195.01 c | 817 | 2957 6323 97562 | 7320 817 125 | 23.334 % | 195.03/195.16 c | 1323 | 2957 6323 97562 | 8052 1323 93 | 23.334 % | 195.23/195.38 c | 2083 | 2957 6323 97562 | 8857 2083 79 | 23.334 % | 195.64/195.70 c | 3222 | 2957 6323 97562 | 9743 3222 107 | 23.334 % | 196.22/196.30 c | 4931 | 2957 6323 97562 | 10717 4931 169 | 23.334 % | 197.53/197.68 c | 7493 | 2957 6323 97562 | 11789 7493 207 | 23.334 % | 199.53/199.68 c | 11338 | 2957 6323 97562 | 12968 11338 240 | 23.334 % | 203.73/203.80 c | 17107 | 2957 6323 97562 | 14265 9840 288 | 23.334 % | 208.52/208.68 c | 25761 | 2957 6323 97562 | 15692 10811 250 | 23.334 % | 215.82/215.95 c | 38739 | 2957 6323 97562 | 17261 15334 191 | 23.334 % | 227.92/228.06 c | 58201 | 2957 6323 97562 | 18987 16452 176 | 23.334 % | 250.01/250.10 c | 87395 | 2957 6323 97562 | 20886 15167 213 | 23.334 % | 278.80/278.90 c | 131191 | 2956 6323 97562 | 22974 14051 215 | 23.360 % | 294.80/294.94 c =============================================================================== 297.10/297.29 c core #35 297.10/297.29 c 297.10/297.29 c 297.10/297.29 c Core size: 325 Core Weight: 1 Total Weight: 55 297.10/297.29 c 297.10/297.29 c 297.10/297.29 c ============================[ Search Statistics ]============================== 297.10/297.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.10/297.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.10/297.29 c =============================================================================== 297.10/297.29 c | 0 | 3296 6324 98593 | 5000 0 nan | 0.000 % | 297.20/297.36 c | 107 | 3296 6324 98593 | 5500 107 127 | 21.111 % | 297.29/297.44 c | 257 | 3296 6324 98593 | 6050 257 223 | 21.111 % | 297.29/297.49 c | 483 | 3296 6324 98593 | 6655 483 171 | 21.111 % | 297.40/297.57 c | 823 | 3296 6324 98593 | 7320 823 145 | 21.111 % | 297.70/297.81 c | 1334 | 3296 6324 98593 | 8052 1334 231 | 21.111 % | 297.90/298.01 c | 2094 | 3296 6324 98593 | 8857 2094 217 | 21.111 % | 298.19/298.31 c | 3235 | 3296 6324 98593 | 9743 3235 210 | 21.111 % | 298.60/298.76 c | 4943 | 3296 6324 98593 | 10717 4943 193 | 21.111 % | 299.59/299.74 c | 7505 | 3296 6324 98593 | 11789 7505 211 | 21.111 % | 300.99/301.19 c | 11352 | 3296 6324 98593 | 12968 11352 223 | 21.111 % | 303.40/303.59 c | 17123 | 3270 6324 98593 | 14265 10040 214 | 21.733 % | 310.10/310.24 c | 25774 | 3270 6324 98593 | 15692 10891 385 | 21.733 % | 316.60/316.73 c | 38748 | 3270 6324 98593 | 17261 15078 304 | 21.733 % | 328.09/328.21 c | 58210 | 3270 6324 98593 | 18987 16086 323 | 21.733 % | 349.98/350.11 c | 87402 | 3270 6324 98593 | 20886 14623 322 | 21.733 % | 397.37/397.50 c | 131193 | 3270 6324 98593 | 22974 13831 332 | 21.733 % | 463.44/463.65 c | 196877 | 3266 6324 98593 | 25272 18438 198 | 21.829 % | 542.02/542.25 c | 295403 | 3266 6324 98593 | 27799 19470 250 | 21.829 % | 709.76/710.07 c | 443193 | 3266 6324 98593 | 30579 20676 319 | 21.829 % | 952.19/952.52 c | 664880 | 3266 6324 98593 | 33637 13528 367 | 21.829 % |
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-2680516-1277457545/watcher-2680516-1277457545 -o /tmp/evaluation-result-2680516-1277457545/solver-2680516-1277457545 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680516-1277457545.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 0.95 3/106 19711 /proc/meminfo: memFree=1849916/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=3952 CPUtime=0 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 121355850 4046848 259 1992294400 134512640 135752675 4292717056 18446744073709551615 134561687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 988 259 141 303 0 382 0 [startup+0.0351891 s] /proc/loadavg: 1.00 1.00 0.95 3/106 19711 /proc/meminfo: memFree=1849916/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=4080 CPUtime=0.03 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 405 0 0 0 3 0 0 0 20 0 1 0 121355850 4177920 323 1992294400 134512640 135752675 4292717056 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 1020 323 181 303 0 414 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4080 [startup+0.1012 s] /proc/loadavg: 1.00 1.00 0.95 3/106 19711 /proc/meminfo: memFree=1849916/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=4344 CPUtime=0.09 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 571 0 0 0 9 0 0 0 20 0 1 0 121355850 4448256 489 1992294400 134512640 135752675 4292717056 18446744073709551615 134571763 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 1086 489 281 303 0 480 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4344 [startup+0.301234 s] /proc/loadavg: 1.00 1.00 0.95 3/106 19711 /proc/meminfo: memFree=1849916/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=4336 CPUtime=0.3 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 1013 0 0 0 29 1 0 0 20 0 1 0 121355850 4440064 630 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 1084 630 145 303 0 779 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4336 [startup+0.701302 s] /proc/loadavg: 1.00 1.00 0.95 3/106 19711 /proc/meminfo: memFree=1849916/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=4856 CPUtime=0.69 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 1172 0 0 0 68 1 0 0 21 0 1 0 121355850 4972544 789 1992294400 134512640 135752675 4292717056 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 1214 789 145 303 0 909 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4856 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19712 /proc/meminfo: memFree=1846808/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=6420 CPUtime=1.49 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 1557 0 0 0 147 2 0 0 23 0 1 0 121355850 6574080 1174 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 1605 1174 145 303 0 1300 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6420 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19712 /proc/meminfo: memFree=1844576/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=9028 CPUtime=3.09 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 2184 0 0 0 305 4 0 0 25 0 1 0 121355850 9244672 1801 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 2257 1801 145 303 0 1952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9028 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19712 /proc/meminfo: memFree=1838128/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=15224 CPUtime=6.29 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 3740 0 0 0 622 7 0 0 25 0 1 0 121355850 15589376 3357 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 3806 3357 145 303 0 3501 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15224 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19712 /proc/meminfo: memFree=1826720/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=26720 CPUtime=12.69 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 6605 0 0 0 1257 12 0 0 25 0 1 0 121355850 27361280 6222 1992294400 134512640 135752675 4292717056 18446744073709551615 135207212 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 6679 6222 145 303 0 6374 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26720 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19712 /proc/meminfo: memFree=1800308/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=52120 CPUtime=25.48 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 12964 0 0 0 2521 27 0 0 25 0 1 0 121355850 53370880 12581 1992294400 134512640 135752675 4292717056 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 13030 12581 145 303 0 12725 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52120 [startup+51.101 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19714 /proc/meminfo: memFree=1748848/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=104168 CPUtime=51.08 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 25962 0 0 0 5057 51 0 0 25 0 1 0 121355850 106668032 25579 1992294400 134512640 135752675 4292717056 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 26042 25579 145 303 0 25737 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 104168 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19716 /proc/meminfo: memFree=1651880/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=199772 CPUtime=102.27 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 49847 0 0 0 10131 96 0 0 25 0 1 0 121355850 204566528 49464 1992294400 134512640 135752675 4292717056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 49943 49464 145 303 0 49638 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 199772 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19716 /proc/meminfo: memFree=1539040/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=313424 CPUtime=162.24 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 78244 0 0 0 16076 148 0 0 25 0 1 0 121355850 320946176 77861 1992294400 134512640 135752675 4292717056 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 78356 77861 145 303 0 78051 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 313424 [startup+222.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19718 /proc/meminfo: memFree=1455836/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=395204 CPUtime=222.22 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 98762 0 0 0 21998 224 0 0 25 0 1 0 121355850 404688896 98350 1992294400 134512640 135752675 4292717056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 98801 98350 146 303 0 98496 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 395204 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19720 /proc/meminfo: memFree=1378956/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=472556 CPUtime=282.2 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 118050 0 0 0 27944 276 0 0 25 0 1 0 121355850 483897344 117638 1992294400 134512640 135752675 4292717056 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 118139 117638 146 303 0 117834 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 472556 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19722 /proc/meminfo: memFree=1278020/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=572896 CPUtime=342.18 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 143185 0 0 0 33868 350 0 0 25 0 1 0 121355850 586645504 142773 1992294400 134512640 135752675 4292717056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 143224 142773 146 303 0 142919 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 572896 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19722 /proc/meminfo: memFree=1180680/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=670820 CPUtime=402.16 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 167636 0 0 0 39815 401 0 0 25 0 1 0 121355850 686919680 167224 1992294400 134512640 135752675 4292717056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 167705 167224 146 303 0 167400 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 670820 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19724 /proc/meminfo: memFree=1098344/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=752028 CPUtime=462.14 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 187940 0 0 0 45768 446 0 0 25 0 1 0 121355850 770076672 187528 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 188007 187528 146 303 0 187702 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 752028 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19726 /proc/meminfo: memFree=1028780/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=822904 CPUtime=522.13 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 205614 0 0 0 51723 490 0 0 25 0 1 0 121355850 842653696 205202 1992294400 134512640 135752675 4292717056 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 205726 205202 146 303 0 205421 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 822904 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19728 /proc/meminfo: memFree=944956/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=905652 CPUtime=582.11 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 226283 0 0 0 57669 542 0 0 25 0 1 0 121355850 927387648 225871 1992294400 134512640 135752675 4292717056 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 226413 225871 146 303 0 226108 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 905652 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19730 /proc/meminfo: memFree=869812/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=979952 CPUtime=642.09 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 244839 0 0 0 63629 580 0 0 25 0 1 0 121355850 1003470848 244427 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 244988 244427 146 303 0 244683 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 979952 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19732 /proc/meminfo: memFree=801860/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1048672 CPUtime=702.07 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 261943 0 0 0 69593 614 0 0 25 0 1 0 121355850 1073840128 261531 1992294400 134512640 135752675 4292717056 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 262168 261531 146 303 0 261863 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 1048672 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19732 /proc/meminfo: memFree=702660/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1147144 CPUtime=762.06 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 286573 0 0 0 75545 661 0 0 25 0 1 0 121355850 1174675456 286161 1992294400 134512640 135752675 4292717056 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 286786 286161 146 303 0 286481 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 1147144 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19734 /proc/meminfo: memFree=609164/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1241376 CPUtime=822.03 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 310122 0 0 0 81500 703 0 0 25 0 1 0 121355850 1271169024 309710 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 310344 309710 146 303 0 310039 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 1241376 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19736 /proc/meminfo: memFree=520256/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1329368 CPUtime=882 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 332077 0 0 0 87460 740 0 0 25 0 1 0 121355850 1361272832 331665 1992294400 134512640 135752675 4292717056 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 332342 331665 146 303 0 332037 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1329368 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19738 /proc/meminfo: memFree=441144/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1410208 CPUtime=941.99 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 352269 0 0 0 93423 776 0 0 25 0 1 0 121355850 1444052992 351857 1992294400 134512640 135752675 4292717056 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 352552 351858 146 303 0 352247 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1410208 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19740 /proc/meminfo: memFree=343432/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1506468 CPUtime=1001.97 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 376325 0 0 0 99379 818 0 0 25 0 1 0 121355850 1542623232 375913 1992294400 134512640 135752675 4292717056 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 376617 375913 146 303 0 376312 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1506468 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19740 /proc/meminfo: memFree=263080/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1586880 CPUtime=1061.95 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 396425 0 0 0 105340 855 0 0 25 0 1 0 121355850 1624965120 396013 1992294400 134512640 135752675 4292717056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 396720 396013 146 303 0 396415 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1586880 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19742 /proc/meminfo: memFree=166732/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1682792 CPUtime=1121.92 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 420376 0 0 0 111292 900 0 0 25 0 1 0 121355850 1723179008 419964 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 420698 419964 146 303 0 420393 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1682792 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19744 /proc/meminfo: memFree=84148/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1765608 CPUtime=1181.91 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 441079 0 0 0 117254 937 0 0 25 0 1 0 121355850 1807982592 440667 1992294400 134512640 135752675 4292717056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 441402 440667 146 303 0 441097 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1765608 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1235.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 19746 /proc/meminfo: memFree=9716/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=1843256 CPUtime=1234.7 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4202496 460488 0 0 0 122500 970 0 0 25 0 1 0 121355850 1887494144 460076 1992294400 134512640 135752675 4292717056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19711/statm: 460814 460076 146 303 0 460509 0 Current children cumulated CPU time (s) 1234.7 Current children cumulated vsize (KiB) 1843256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1235.21 s] /proc/loadavg: 1.00 1.00 0.95 2/108 19747 /proc/meminfo: memFree=1050688/2059040 swapFree=4135892/4192956 [pid=19711] ppid=19709 vsize=0 CPUtime=1234.8 /proc/19711/stat : 19711 (wbo1.4b) R 19709 19711 19367 0 -1 4203524 460488 0 0 0 122500 980 0 0 25 0 1 0 121355850 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/19711/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1234.8 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1235.28 CPU time (s): 1234.88 CPU user time (s): 1225.01 CPU system time (s): 9.8725 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 1843256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1225.01 system time used= 9.8725 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460488 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= 7 involuntary context switches= 14768 runsolver used 2.01869 second user time and 5.87211 second system time The end
Begin job on node014 at 2010-06-25 11:19:05 IDJOB=2680516 IDBENCH=2892 IDSOLVER=1190 FILE ID=node014/2680516-1277457545 PBS_JOBID= 11188144 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680516-1277457545/watcher-2680516-1277457545 -o /tmp/evaluation-result-2680516-1277457545/solver-2680516-1277457545 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680516-1277457545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e RANDOM SEED=1748227679 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1850444 kB Buffers: 23780 kB Cached: 82392 kB SwapCached: 9968 kB Active: 38004 kB Inactive: 81640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1850444 kB SwapTotal: 4192956 kB SwapFree: 4135892 kB Dirty: 3872 kB Writeback: 0 kB AnonPages: 12116 kB Mapped: 8440 kB Slab: 66900 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182708 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= 62452 MiB End job on node014 at 2010-06-25 11:39:42