Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1056.28 | 1056.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-mlp4.r.opb |
MD5SUM | c216dcb87e9001dad9e1252e03860f2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.222966 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 109 |
Optimality of the best value was proved | YES |
Number of variables | 594 |
Total number of constraints | 530 |
Number of constraints which are clauses | 530 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 594 |
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 | 594 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 594 |
Number of bits of the biggest sum of numbers | 10 |
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-2656236-1276589887.opb. 0.00/0.00 c Instance file HOME/instance-2656236-1276589887.opb 0.00/0.00 c File size is 32835 bytes. 0.00/0.00 c Highest Coefficient sum: 19 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 594 | 0.00/0.00 c | Number Clauses: 530 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 594 530 3113 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 137 0.00/0.00 o 137 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 594 531 3707 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 136 0.00/0.00 o 136 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 1 | 594 532 4301 | 5000 1 145 | 0.000 % | 0.00/0.01 c | 101 | 594 532 4301 | 5500 101 142 | 0.000 % | 0.00/0.03 c | 252 | 594 532 4301 | 6050 252 144 | 0.000 % | 0.00/0.05 c | 478 | 594 532 4301 | 6655 478 143 | 0.001 % | 0.08/0.08 c | 815 | 594 532 4301 | 7320 815 143 | 0.001 % | 0.09/0.13 c | 1322 | 594 532 4301 | 8052 1322 144 | 0.001 % | 0.19/0.21 c | 2081 | 594 532 4301 | 8857 2081 144 | 0.001 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 132 0.19/0.21 o 132 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 2081 | 594 533 4895 | 5000 2081 144 | 0.001 % | 0.19/0.22 c | 2182 | 594 533 4895 | 5500 2182 144 | 0.000 % | 0.19/0.24 c | 2333 | 594 533 4895 | 6050 2333 143 | 0.001 % | 0.19/0.26 c | 2559 | 594 533 4895 | 6655 2559 143 | 0.001 % | 0.19/0.29 c | 2896 | 594 533 4895 | 7320 2896 143 | 0.001 % | 0.30/0.35 c | 3402 | 594 533 4895 | 8052 3402 142 | 0.001 % | 0.39/0.42 c | 4161 | 594 533 4895 | 8857 4161 141 | 0.001 % | 0.50/0.53 c | 5300 | 594 533 4895 | 9743 5300 141 | 0.000 % | 0.69/0.72 c | 7009 | 594 533 4895 | 10717 7009 141 | 0.000 % | 1.00/1.01 c | 9572 | 594 533 4895 | 11789 9572 140 | 0.000 % | 1.39/1.40 c | 13416 | 594 533 4895 | 12968 7281 137 | 0.000 % | 2.10/2.15 c | 19182 | 594 533 4895 | 14265 13047 138 | 0.000 % | 3.19/3.23 c | 27831 | 594 533 4895 | 15692 14326 139 | 0.000 % | 4.99/5.06 c | 40805 | 594 533 4895 | 17261 11121 139 | 0.000 % | 8.49/8.53 c | 60266 | 594 533 4895 | 18987 12852 140 | 0.000 % | 13.29/13.36 c | 89459 | 594 533 4895 | 20886 12776 140 | 0.000 % | 20.79/20.80 c | 133248 | 594 533 4895 | 22974 13757 139 | 0.000 % | 34.28/34.34 c | 198933 | 594 533 4895 | 25272 16355 139 | 0.000 % | 52.18/52.26 c | 297460 | 594 533 4895 | 27799 25409 138 | 0.000 % | 85.97/86.01 c | 445250 | 594 533 4895 | 30579 17132 137 | 0.000 % | 138.35/138.43 c | 666933 | 594 533 4895 | 33637 19537 140 | 0.000 % | 182.74/182.86 c There are 0 assigned variables. 0 in cost function. 184.04/184.13 c core #1 184.04/184.13 c core #2 184.04/184.13 c core #3 184.04/184.13 c core #4 184.04/184.13 c core #5 184.04/184.13 c core #6 184.04/184.13 c core #7 184.04/184.13 c core #8 184.04/184.13 c core #9 184.04/184.13 c core #10 184.04/184.13 c core #11 184.04/184.13 c core #12 184.04/184.13 c core #13 184.04/184.13 c core #14 184.04/184.13 c core #15 184.04/184.13 c core #16 184.04/184.13 c core #17 184.04/184.13 c core #18 184.04/184.13 c core #19 184.04/184.13 c core #20 184.04/184.13 c core #21 184.04/184.13 c core #22 184.04/184.13 c core #23 184.04/184.13 c core #24 184.04/184.13 c core #25 184.04/184.13 c core #26 184.04/184.13 c core #27 184.04/184.13 c core #28 184.04/184.13 c core #29 184.04/184.13 c core #30 184.04/184.13 c core #31 184.04/184.13 c core #32 184.04/184.13 c core #33 184.04/184.13 c core #34 184.04/184.13 c core #35 184.04/184.13 c core #36 184.04/184.13 c core #37 184.04/184.13 c core #38 184.04/184.13 c core #39 184.04/184.13 c core #40 184.04/184.13 c core #41 184.04/184.13 c core #42 184.04/184.13 c core #43 184.04/184.13 c core #44 184.04/184.13 c core #45 184.04/184.13 c core #46 184.04/184.13 c core #47 184.04/184.13 c core #48 184.04/184.13 c core #49 184.04/184.13 c core #50 184.04/184.13 c core #51 184.04/184.13 c core #52 184.04/184.13 c core #53 184.04/184.13 c core #54 184.04/184.13 c core #55 184.04/184.13 c core #56 184.04/184.13 c core #57 184.04/184.13 c core #58 184.04/184.13 c core #59 184.04/184.13 c core #60 184.04/184.13 c core #61 184.04/184.13 c core #62 184.04/184.13 c core #63 184.04/184.13 c core #64 184.04/184.13 c core #65 184.04/184.13 c core #66 184.04/184.13 c core #67 184.04/184.13 c core #68 184.04/184.13 c core #69 184.04/184.13 c core #70 184.04/184.13 c core #71 184.04/184.13 c core #72 184.04/184.13 c core #73 184.04/184.13 c core #74 184.04/184.13 c core #75 184.04/184.13 c core #76 184.04/184.13 c core #77 184.04/184.13 c core #78 184.04/184.13 c core #79 184.04/184.13 c core #80 184.04/184.13 c core #81 184.04/184.13 c core #82 184.04/184.13 c core #83 184.04/184.13 c core #84 184.04/184.13 c core #85 184.04/184.13 c core #86 184.04/184.13 c core #87 184.04/184.13 c core #88 184.04/184.13 c core #89 184.04/184.13 c ============================[ Search Statistics ]============================== 184.04/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.13 c =============================================================================== 184.04/184.13 c | 0 | 918 1217 6885 | 5000 0 nan | 0.000 % | 184.04/184.13 c =============================================================================== 184.04/184.13 c core #90 184.04/184.13 c ============================[ Search Statistics ]============================== 184.04/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.13 c =============================================================================== 184.04/184.13 c | 0 | 933 1218 6914 | 5000 0 nan | 0.000 % | 184.04/184.13 c =============================================================================== 184.04/184.14 c core #91 184.04/184.14 c ============================[ Search Statistics ]============================== 184.04/184.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.14 c =============================================================================== 184.04/184.14 c | 0 | 966 1219 6972 | 5000 0 nan | 0.000 % | 184.04/184.14 c =============================================================================== 184.04/184.15 c core #92 184.04/184.15 c ============================[ Search Statistics ]============================== 184.04/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.15 c =============================================================================== 184.04/184.15 c | 0 | 982 1220 7003 | 5000 0 nan | 0.000 % | 184.04/184.15 c =============================================================================== 184.04/184.15 c core #93 184.04/184.15 c ============================[ Search Statistics ]============================== 184.04/184.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.15 c =============================================================================== 184.04/184.15 c | 0 | 1013 1221 7053 | 5000 0 nan | 0.000 % | 184.04/184.16 c | 101 | 1010 1221 7053 | 5500 101 10 | 12.839 % | 184.04/184.16 c =============================================================================== 184.04/184.16 c core #94 184.04/184.16 c ============================[ Search Statistics ]============================== 184.04/184.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.16 c =============================================================================== 184.04/184.16 c | 0 | 1030 1222 7085 | 5000 0 nan | 0.000 % | 184.04/184.17 c =============================================================================== 184.04/184.17 c core #95 184.04/184.17 c ============================[ Search Statistics ]============================== 184.04/184.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.17 c =============================================================================== 184.04/184.17 c | 0 | 1048 1223 7115 | 5000 0 nan | 0.000 % | 184.04/184.17 c =============================================================================== 184.04/184.18 c core #96 184.04/184.18 c ============================[ Search Statistics ]============================== 184.04/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.18 c =============================================================================== 184.04/184.18 c | 0 | 1069 1224 7150 | 5000 0 nan | 0.000 % | 184.04/184.18 c | 100 | 1069 1224 7150 | 5500 100 8 | 9.865 % | 184.04/184.19 c =============================================================================== 184.04/184.19 c core #97 184.04/184.19 c ============================[ Search Statistics ]============================== 184.04/184.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.19 c =============================================================================== 184.04/184.19 c | 0 | 1112 1225 7229 | 5000 0 nan | 0.000 % | 184.14/184.20 c | 100 | 1112 1225 7229 | 5500 100 8 | 9.002 % | 184.14/184.20 c =============================================================================== 184.14/184.21 c core #98 184.14/184.21 c ============================[ Search Statistics ]============================== 184.14/184.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.21 c =============================================================================== 184.14/184.21 c | 0 | 1130 1226 7259 | 5000 0 nan | 0.000 % | 184.14/184.21 c =============================================================================== 184.14/184.22 c core #99 184.14/184.22 c ============================[ Search Statistics ]============================== 184.14/184.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.22 c =============================================================================== 184.14/184.22 c | 0 | 1145 1227 7287 | 5000 0 nan | 0.000 % | 184.14/184.22 c =============================================================================== 184.14/184.23 c core #100 184.14/184.23 c ============================[ Search Statistics ]============================== 184.14/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.23 c =============================================================================== 184.14/184.23 c | 0 | 1157 1228 7309 | 5000 0 nan | 0.000 % | 184.14/184.23 c | 100 | 1157 1228 7309 | 5500 100 10 | 7.956 % | 184.14/184.23 c =============================================================================== 184.14/184.24 c core #101 184.14/184.24 c ============================[ Search Statistics ]============================== 184.14/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.24 c =============================================================================== 184.14/184.24 c | 0 | 1169 1229 7331 | 5000 0 nan | 0.000 % | 184.14/184.25 c | 100 | 1151 1229 7331 | 5500 100 6 | 10.024 % | 184.14/184.25 c =============================================================================== 184.14/184.25 c core #102 184.14/184.25 c ============================[ Search Statistics ]============================== 184.14/184.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.25 c =============================================================================== 184.14/184.25 c | 0 | 1240 1230 7468 | 5000 0 nan | 0.000 % | 184.14/184.26 c =============================================================================== 184.14/184.26 c core #103 184.14/184.26 c ============================[ Search Statistics ]============================== 184.14/184.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.26 c =============================================================================== 184.14/184.26 c | 0 | 1257 1231 7499 | 5000 0 nan | 0.000 % | 184.14/184.27 c | 106 | 1254 1231 7499 | 5500 106 11 | 6.979 % | 184.14/184.27 c =============================================================================== 184.14/184.28 c core #104 184.14/184.28 c ============================[ Search Statistics ]============================== 184.14/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.28 c =============================================================================== 184.14/184.28 c | 0 | 1269 1232 7521 | 5000 0 nan | 0.000 % | 184.14/184.29 c | 101 | 1256 1232 7521 | 5500 95 9 | 7.443 % | 184.14/184.29 c | 251 | 1256 1232 7521 | 6050 245 12 | 7.590 % | 184.14/184.30 c =============================================================================== 184.24/184.30 c core #105 184.24/184.30 c ============================[ Search Statistics ]============================== 184.24/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.30 c =============================================================================== 184.24/184.30 c | 0 | 1419 1233 7802 | 5000 0 nan | 0.000 % | 184.24/184.31 c | 105 | 1418 1233 7802 | 5500 105 21 | 4.772 % | 184.24/184.32 c | 255 | 1403 1233 7802 | 6050 253 15 | 6.855 % | 184.24/184.34 c | 480 | 1376 1233 7802 | 6655 473 16 | 7.796 % | 184.24/184.36 c =============================================================================== 184.24/184.37 c core #106 184.24/184.37 c ============================[ Search Statistics ]============================== 184.24/184.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.37 c =============================================================================== 184.24/184.37 c | 0 | 1630 1234 8205 | 5000 0 nan | 0.000 % | 184.24/184.37 c | 101 | 1630 1234 8205 | 5500 101 33 | 2.976 % | 184.24/184.39 c | 251 | 1630 1234 8205 | 6050 251 24 | 2.976 % | 184.34/184.40 c | 479 | 1630 1234 8205 | 6655 479 24 | 2.976 % | 184.34/184.43 c | 816 | 1630 1234 8205 | 7320 816 26 | 2.976 % | 184.34/184.49 c | 1324 | 1626 1234 8205 | 8052 1322 26 | 3.214 % | 184.44/184.57 c | 2085 | 1624 1234 8205 | 8857 2083 28 | 3.333 % | 184.65/184.75 c | 3226 | 1624 1234 8205 | 9743 3221 41 | 3.333 % | 184.84/184.91 c =============================================================================== 184.84/184.97 c core #107 184.84/184.97 c ============================[ Search Statistics ]============================== 184.84/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.97 c =============================================================================== 184.84/184.97 c | 0 | 1892 1235 8717 | 5000 0 nan | 0.000 % | 184.84/184.98 c | 102 | 1892 1235 8717 | 5500 102 18 | 1.969 % | 184.84/184.99 c | 252 | 1892 1235 8717 | 6050 252 15 | 1.969 % | 184.94/185.01 c | 477 | 1892 1235 8717 | 6655 477 23 | 1.969 % | 184.94/185.05 c | 814 | 1892 1235 8717 | 7320 814 28 | 1.969 % | 184.94/185.09 c | 1322 | 1892 1235 8717 | 8052 1322 39 | 1.969 % | 185.04/185.19 c | 2081 | 1892 1235 8717 | 8857 2081 51 | 1.969 % | 185.24/185.38 c | 3220 | 1892 1235 8717 | 9743 3220 60 | 1.969 % | 185.54/185.65 c | 4930 | 1892 1235 8717 | 10717 4930 72 | 1.969 % | 185.94/186.06 c | 7504 | 1892 1235 8717 | 11789 7504 77 | 1.969 % | 186.85/186.92 c | 11348 | 1892 1235 8717 | 12968 11348 89 | 1.969 % | 188.34/188.48 c | 17121 | 1892 1235 8717 | 14265 10470 105 | 1.969 % | 190.84/190.93 c | 25771 | 1892 1235 8717 | 15692 11909 124 | 1.969 % | 195.75/195.84 c | 38746 | 1892 1235 8717 | 17261 8885 167 | 1.969 % | 203.14/203.29 c | 58208 | 1892 1235 8717 | 18987 10813 174 | 1.969 % | 220.54/220.64 c | 87402 | 1892 1235 8717 | 20886 11149 149 | 1.969 % | 240.63/240.71 c | 131192 | 1889 1235 8717 | 22974 20926 163 | 2.124 % | 273.61/273.79 c =============================================================================== 275.71/275.84 c core #108 275.71/275.84 c ============================[ Search Statistics ]============================== 275.71/275.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 275.71/275.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 275.71/275.84 c =============================================================================== 275.71/275.84 c | 0 | 2245 1236 9418 | 5000 0 nan | 0.000 % | 275.82/275.90 c | 100 | 2245 1236 9418 | 5500 100 32 | 1.449 % | 275.82/275.93 c | 250 | 2245 1236 9418 | 6050 250 39 | 1.449 % | 275.82/275.95 c | 476 | 2245 1236 9418 | 6655 476 34 | 1.449 % | 275.93/276.00 c | 813 | 2245 1236 9418 | 7320 813 49 | 1.449 % | 276.03/276.15 c | 1324 | 2245 1236 9418 | 8052 1324 85 | 1.449 % | 276.21/276.40 c | 2086 | 2245 1236 9418 | 8857 2086 141 | 1.449 % | 276.62/276.76 c | 3225 | 2245 1236 9418 | 9743 3225 164 | 1.449 % | 277.22/277.39 c | 4933 | 2245 1236 9418 | 10717 4933 185 | 1.449 % | 278.72/278.86 c | 7495 | 2245 1236 9418 | 11789 7495 189 | 1.449 % | 280.21/280.34 c | 11339 | 2245 1236 9418 | 12968 11339 194 | 1.449 % | 282.82/282.95 c | 17105 | 2245 1236 9418 | 14265 10458 228 | 1.449 % | 287.71/287.87 c | 25757 | 2245 1236 9418 | 15692 11896 213 | 1.449 % | 293.71/293.86 c | 38731 | 2245 1236 9418 | 17261 8783 270 | 1.449 % | 303.21/303.35 c | 58199 | 2245 1236 9418 | 18987 10529 225 | 1.449 % | 321.30/321.43 c | 87391 | 2245 1236 9418 | 20886 10426 254 | 1.449 % | 344.90/345.01 c | 131180 | 2243 1236 9418 | 22974 11365 323 | 1.536 % | 387.59/387.72 c | 196870 | 2243 1236 9418 | 25272 18280 305 | 1.536 % | 473.87/474.09 c | 295400 | 2243 1236 9418 | 27799 13654 265 | 1.536 % | 588.34/588.53 c | 443189 | 2243 1236 9418 | 30579 26527 339 | 1.536 % | 810.47/810.73 c | 664876 | 2243 1236 9418 | 33637 17734 301 | 1.536 % |
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-2656236-1276589887/watcher-2656236-1276589887 -o /tmp/evaluation-result-2656236-1276589887/solver-2656236-1276589887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656236-1276589887.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: 0.84 0.94 0.81 3/106 2558 /proc/meminfo: memFree=1686120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=2704 CPUtime=0 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 280071 2768896 236 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 676 236 146 303 0 371 0 [startup+0.0863511 s] /proc/loadavg: 0.84 0.94 0.81 3/106 2558 /proc/meminfo: memFree=1686120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=3220 CPUtime=0.08 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 455 0 0 0 8 0 0 0 20 0 1 0 280071 3297280 365 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 805 365 147 303 0 500 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3220 [startup+0.101352 s] /proc/loadavg: 0.84 0.94 0.81 3/106 2558 /proc/meminfo: memFree=1686120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=3348 CPUtime=0.09 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 482 0 0 0 9 0 0 0 20 0 1 0 280071 3428352 392 1992294400 134512640 135751879 4294640272 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 837 392 147 303 0 532 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3348 [startup+0.301378 s] /proc/loadavg: 0.84 0.94 0.81 3/106 2558 /proc/meminfo: memFree=1686120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=4636 CPUtime=0.3 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 822 0 0 0 29 1 0 0 20 0 1 0 280071 4747264 732 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 1159 732 147 303 0 854 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4636 [startup+0.701428 s] /proc/loadavg: 0.84 0.94 0.81 3/106 2558 /proc/meminfo: memFree=1686120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=7208 CPUtime=0.69 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 1474 0 0 0 67 2 0 0 21 0 1 0 280071 7380992 1384 1992294400 134512640 135751879 4294640272 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 1802 1384 147 303 0 1497 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7208 [startup+1.50153 s] /proc/loadavg: 0.84 0.94 0.81 2/107 2559 /proc/meminfo: memFree=1679168/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=12240 CPUtime=1.49 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 2707 0 0 0 145 4 0 0 23 0 1 0 280071 12533760 2617 1992294400 134512640 135751879 4294640272 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 3060 2617 148 303 0 2755 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12240 [startup+3.10173 s] /proc/loadavg: 0.84 0.94 0.81 2/107 2559 /proc/meminfo: memFree=1672844/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=20368 CPUtime=3.09 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 4761 0 0 0 301 8 0 0 25 0 1 0 280071 20856832 4671 1992294400 134512640 135751879 4294640272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 5092 4671 148 303 0 4787 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20368 [startup+6.30114 s] /proc/loadavg: 0.85 0.94 0.81 2/107 2559 /proc/meminfo: memFree=1656476/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=35088 CPUtime=6.29 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 8428 0 0 0 614 15 0 0 25 0 1 0 280071 35930112 8338 1992294400 134512640 135751879 4294640272 18446744073709551615 134606243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 8772 8338 148 303 0 8467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35088 [startup+12.7009 s] /proc/loadavg: 0.87 0.94 0.81 2/107 2559 /proc/meminfo: memFree=1630560/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=59864 CPUtime=12.69 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 14599 0 0 0 1241 28 0 0 25 0 1 0 280071 61300736 14509 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 14966 14509 148 303 0 14661 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59864 [startup+25.5005 s] /proc/loadavg: 0.89 0.94 0.81 2/107 2559 /proc/meminfo: memFree=1582200/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=106368 CPUtime=25.48 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 26213 0 0 0 2496 52 0 0 25 0 1 0 280071 108920832 26123 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 26592 26123 148 303 0 26287 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 106368 [startup+51.1007 s] /proc/loadavg: 0.93 0.94 0.82 2/107 2561 /proc/meminfo: memFree=1497632/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=192620 CPUtime=51.08 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 47770 0 0 0 5015 93 0 0 25 0 1 0 280071 197242880 47680 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 48155 47680 148 303 0 47850 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 192620 [startup+102.308 s] /proc/loadavg: 0.97 0.95 0.82 2/107 2561 /proc/meminfo: memFree=1350320/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=337528 CPUtime=102.27 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 83951 0 0 0 10060 167 0 0 25 0 1 0 280071 345628672 83861 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 84382 83861 148 303 0 84077 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 337528 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.83 2/107 2563 /proc/meminfo: memFree=1186764/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=502232 CPUtime=162.25 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 125120 0 0 0 15974 251 0 0 25 0 1 0 280071 514285568 125030 1992294400 134512640 135751879 4294640272 18446744073709551615 134606326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 125558 125030 148 303 0 125253 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 502232 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.84 2/107 2565 /proc/meminfo: memFree=1101700/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=585216 CPUtime=222.23 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 145986 0 0 0 21889 334 0 0 25 0 1 0 280071 599261184 145862 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 146304 145862 151 303 0 145999 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 585216 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 2567 /proc/meminfo: memFree=1028416/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=659544 CPUtime=282.22 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 164586 0 0 0 27823 399 0 0 25 0 1 0 280071 675373056 164462 1992294400 134512640 135751879 4294640272 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 164886 164462 151 303 0 164581 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 659544 [startup+342.301 s] /proc/loadavg: 1.07 0.99 0.85 2/107 2569 /proc/meminfo: memFree=911856/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=775284 CPUtime=342.2 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 193493 0 0 0 33742 478 0 0 25 0 1 0 280071 793890816 193369 1992294400 134512640 135751879 4294640272 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 193821 193370 151 303 0 193516 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 775284 [startup+402.301 s] /proc/loadavg: 1.03 0.99 0.86 2/107 2569 /proc/meminfo: memFree=792320/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=895308 CPUtime=402.18 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 223491 0 0 0 39683 535 0 0 25 0 1 0 280071 916795392 223367 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 223827 223367 151 303 0 223522 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 895308 [startup+462.301 s] /proc/loadavg: 1.01 0.99 0.86 2/107 2571 /proc/meminfo: memFree=711472/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=975112 CPUtime=462.17 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 243414 0 0 0 45634 583 0 0 25 0 1 0 280071 998514688 243290 1992294400 134512640 135751879 4294640272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 243778 243290 151 303 0 243473 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 975112 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.87 2/107 2573 /proc/meminfo: memFree=616612/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1070488 CPUtime=522.16 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 267233 0 0 0 51578 638 0 0 25 0 1 0 280071 1096179712 267109 1992294400 134512640 135751879 4294640272 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 267622 267109 151 303 0 267317 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1070488 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.88 2/107 2575 /proc/meminfo: memFree=507120/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1179632 CPUtime=582.14 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 294511 0 0 0 57516 698 0 0 25 0 1 0 280071 1207943168 294387 1992294400 134512640 135751879 4294640272 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 294908 294387 151 303 0 294603 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1179632 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.88 2/107 2577 /proc/meminfo: memFree=416972/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1268504 CPUtime=642.13 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 316712 0 0 0 63470 743 0 0 25 0 1 0 280071 1298948096 316588 1992294400 134512640 135751879 4294640272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 317126 316588 151 303 0 316821 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1268504 [startup+702.301 s] /proc/loadavg: 1.00 0.99 0.89 2/107 2577 /proc/meminfo: memFree=333396/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1352320 CPUtime=702.1 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 337660 0 0 0 69430 780 0 0 25 0 1 0 280071 1384775680 337536 1992294400 134512640 135751879 4294640272 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 338080 337536 151 303 0 337775 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1352320 [startup+762.309 s] /proc/loadavg: 1.00 0.99 0.89 2/107 2579 /proc/meminfo: memFree=254284/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1431004 CPUtime=762.09 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 357288 0 0 0 75385 824 0 0 25 0 1 0 280071 1465348096 357164 1992294400 134512640 135751879 4294640272 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 357751 357164 151 303 0 357446 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1431004 [startup+822.301 s] /proc/loadavg: 1.00 0.99 0.90 2/107 2581 /proc/meminfo: memFree=165500/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1520180 CPUtime=822.06 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 379574 0 0 0 81337 869 0 0 25 0 1 0 280071 1556664320 379450 1992294400 134512640 135751879 4294640272 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 380045 379450 151 303 0 379740 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1520180 [startup+882.301 s] /proc/loadavg: 1.10 1.02 0.91 2/107 2586 /proc/meminfo: memFree=42112/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1609088 CPUtime=882.04 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 401760 0 0 0 87291 913 0 0 25 0 1 0 280071 1647706112 401636 1992294400 134512640 135751879 4294640272 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 402272 401636 151 303 0 401967 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1609088 [startup+942.301 s] /proc/loadavg: 1.04 1.01 0.91 2/107 2588 /proc/meminfo: memFree=10236/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1689988 CPUtime=942.03 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 421958 0 0 0 93252 951 0 0 25 0 1 0 280071 1730547712 421834 1992294400 134512640 135751879 4294640272 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 422497 421834 151 303 0 422192 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1689988 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 0.91 2/107 2588 /proc/meminfo: memFree=9712/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1763460 CPUtime=1002.01 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 440347 0 0 0 99214 987 0 0 25 0 1 0 280071 1805783040 440223 1992294400 134512640 135751879 4294640272 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 440865 440223 151 303 0 440560 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1763460 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1056.4 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2590 /proc/meminfo: memFree=10360/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=1843292 CPUtime=1056.1 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4202496 460273 0 0 0 104587 1023 0 0 25 0 1 0 280071 1887531008 460149 1992294400 134512640 135751879 4294640272 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2558/statm: 460823 460149 151 303 0 460518 0 Current children cumulated CPU time (s) 1056.1 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1056.51 s] /proc/loadavg: 1.00 1.00 0.91 2/107 2590 /proc/meminfo: memFree=10360/2059040 swapFree=4192956/4192956 [pid=2558] ppid=2556 vsize=0 CPUtime=1056.2 /proc/2558/stat : 2558 (wbo1.4b) R 2556 2558 2408 0 -1 4203524 460274 0 0 0 104587 1033 0 0 25 0 1 0 280071 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/2558/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1056.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1056.57 CPU time (s): 1056.28 CPU user time (s): 1045.87 CPU system time (s): 10.4034 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1045.87 system time used= 10.4034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460274 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= 11 involuntary context switches= 2745 runsolver used 1.62975 second user time and 5.12222 second system time The end
Begin job on node054 at 2010-06-15 10:18:07 IDJOB=2656236 IDBENCH=2841 IDSOLVER=1161 FILE ID=node054/2656236-1276589887 PBS_JOBID= 11173559 Free space on /tmp= 62384 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656236-1276589887/watcher-2656236-1276589887 -o /tmp/evaluation-result-2656236-1276589887/solver-2656236-1276589887 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656236-1276589887.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c216dcb87e9001dad9e1252e03860f2a RANDOM SEED=2039057638 node054.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.217 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.43 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.217 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: 1686524 kB Buffers: 16896 kB Cached: 249872 kB SwapCached: 0 kB Active: 98420 kB Inactive: 227576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1686524 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2880 kB Writeback: 8 kB AnonPages: 59208 kB Mapped: 15408 kB Slab: 24880 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181624 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62380 MiB End job on node054 at 2010-06-15 10:35:45