Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1229.77 | 1230.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | 9c27419d6022516b3a8580fda3ca43ee |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 50 |
Best CPU time to get the best result obtained on this benchmark | 9.23959 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of variables | 807 |
Total number of constraints | 1823 |
Number of constraints which are clauses | 1823 |
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 | 98 |
Number of terms in the objective function | 807 |
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 | 807 |
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 | 807 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680657-1277453512.opb. 0.00/0.00 c Instance file HOME/instance-2680657-1277453512.opb 0.00/0.00 c File size is 302882 bytes. 0.00/0.04 c Highest Coefficient sum: 99 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 807 | 0.00/0.04 c | Number Clauses: 1823 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 791 1823 36014 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 68 0.00/0.04 o 68 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 791 1824 36821 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 100 | 791 1824 36821 | 5500 100 135 | 1.983 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 61 0.00/0.06 o 61 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 100 | 791 1825 37628 | 5000 100 135 | 1.983 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 60 0.00/0.06 o 60 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 101 | 791 1826 38435 | 5000 101 134 | 1.983 % | 0.00/0.07 c | 201 | 791 1826 38435 | 5500 201 126 | 1.983 % | 0.00/0.09 c | 351 | 791 1826 38435 | 6050 351 116 | 1.983 % | 0.09/0.13 c | 580 | 791 1826 38435 | 6655 580 115 | 1.983 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 59 0.09/0.13 o 59 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 627 | 791 1827 39242 | 5000 627 115 | 1.983 % | 0.09/0.15 c | 728 | 791 1827 39242 | 5500 728 110 | 1.983 % | 0.09/0.19 c | 879 | 791 1827 39242 | 6050 879 108 | 1.983 % | 0.19/0.23 c | 1105 | 791 1827 39242 | 6655 1105 106 | 1.983 % | 0.29/0.30 c | 1444 | 791 1827 39242 | 7320 1444 102 | 1.983 % | 0.39/0.41 c | 1950 | 791 1827 39242 | 8052 1950 111 | 1.983 % | 0.49/0.54 c | 2709 | 791 1827 39242 | 8857 2709 109 | 1.983 % | 0.69/0.71 c | 3848 | 791 1827 39242 | 9743 3848 106 | 1.983 % | 0.89/0.99 c | 5560 | 791 1827 39242 | 10717 5560 106 | 1.983 % | 1.39/1.45 c | 8123 | 791 1827 39242 | 11789 8123 103 | 1.983 % | 1.89/1.97 c | 11970 | 791 1827 39242 | 12968 11970 99 | 1.983 % | 2.89/2.94 c | 17736 | 791 1827 39242 | 14265 10888 95 | 1.983 % | 4.49/4.53 c | 26389 | 791 1827 39242 | 15692 12072 116 | 1.983 % | 7.59/7.65 c | 39363 | 791 1827 39242 | 17261 8672 111 | 1.983 % | 11.99/12.00 c | 58825 | 791 1827 39242 | 18987 10125 125 | 1.983 % | 19.68/19.78 c | 88018 | 791 1827 39242 | 20886 19583 134 | 1.983 % | 27.98/28.04 c | 131807 | 791 1827 39242 | 22974 20003 105 | 1.983 % | 42.58/42.62 c | 197491 | 791 1827 39242 | 25272 21673 112 | 1.983 % | 42.68/42.74 c =============================================================================== 42.68/42.74 c New solution: 58 42.68/42.74 o 58 42.68/42.74 c Elapsed CPU time: 42.1226 s Remaining CPU time: 137.877 s 42.68/42.74 c =============================================================================== 42.68/42.74 c | 198486 | 791 1828 40049 | 5000 22668 113 | 1.983 % | 42.78/42.85 c | 198587 | 791 1828 40049 | 5500 2789 117 | 1.983 % | 42.78/42.87 c | 198737 | 791 1828 40049 | 6050 2939 115 | 1.983 % | 42.89/42.92 c | 198963 | 791 1828 40049 | 6655 3165 113 | 1.983 % | 42.89/42.98 c | 199301 | 791 1828 40049 | 7320 3503 114 | 1.983 % | 42.99/43.09 c | 199809 | 791 1828 40049 | 8052 4011 112 | 1.983 % | 43.18/43.21 c | 200569 | 791 1828 40049 | 8857 4771 106 | 1.983 % | 43.28/43.36 c | 201709 | 791 1828 40049 | 9743 5911 102 | 1.983 % | 43.58/43.64 c | 203417 | 791 1828 40049 | 10717 7619 110 | 1.983 % | 44.18/44.23 c | 205980 | 791 1828 40049 | 11789 10182 109 | 1.983 % | 44.78/44.83 c | 209828 | 791 1828 40049 | 12968 7800 108 | 1.983 % | 46.08/46.11 c | 215594 | 791 1828 40049 | 14265 13566 105 | 1.983 % | 47.67/47.76 c | 224244 | 791 1828 40049 | 15692 14732 119 | 1.983 % | 50.18/50.27 c | 237219 | 791 1828 40049 | 17261 11325 86 | 1.983 % | 53.48/53.56 c | 256681 | 791 1828 40049 | 18987 12856 85 | 1.983 % | 60.38/60.49 c | 285875 | 791 1828 40049 | 20886 12449 143 | 1.983 % | 68.47/68.56 c | 329664 | 791 1828 40049 | 22974 12708 86 | 1.983 % | 83.77/83.88 c | 395348 | 791 1828 40049 | 25272 14216 98 | 1.983 % | 108.06/108.12 c | 493875 | 791 1828 40049 | 27799 23538 96 | 1.983 % | 149.25/149.37 c | 641665 | 791 1828 40049 | 30579 13545 125 | 1.983 % | 182.34/182.45 c There are 16 assigned variables. 16 in cost function. 183.45/183.52 c core #1 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 35 Core Weight: 1 Total Weight: 17 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #2 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 22 Core Weight: 1 Total Weight: 18 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #3 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 18 Core Weight: 1 Total Weight: 19 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #4 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 89 Core Weight: 1 Total Weight: 20 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #5 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 13 Core Weight: 1 Total Weight: 21 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #6 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 13 Core Weight: 1 Total Weight: 22 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #7 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 50 Core Weight: 1 Total Weight: 23 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #8 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 9 Core Weight: 1 Total Weight: 24 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #9 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 12 Core Weight: 1 Total Weight: 25 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #10 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 3 Core Weight: 1 Total Weight: 26 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #11 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 49 Core Weight: 1 Total Weight: 27 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #12 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 3 Core Weight: 1 Total Weight: 28 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #13 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 5 Core Weight: 1 Total Weight: 29 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #14 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 11 Core Weight: 1 Total Weight: 30 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #15 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 8 Core Weight: 1 Total Weight: 31 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #16 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 10 Core Weight: 1 Total Weight: 32 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #17 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 3 Core Weight: 1 Total Weight: 33 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #18 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 3 Core Weight: 1 Total Weight: 34 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #19 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 69 Core Weight: 1 Total Weight: 35 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #20 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 17 Core Weight: 1 Total Weight: 36 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c core #21 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c Core size: 27 Core Weight: 1 Total Weight: 37 183.45/183.52 c 183.45/183.52 c 183.45/183.52 c ============================[ Search Statistics ]============================== 183.45/183.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.52 c =============================================================================== 183.45/183.52 c | 0 | 719 2527 27010 | 5000 0 nan | 0.000 % | 183.45/183.52 c =============================================================================== 183.45/183.53 c core #22 183.45/183.53 c 183.45/183.53 c 183.45/183.53 c Core size: 46 Core Weight: 1 Total Weight: 38 183.45/183.53 c 183.45/183.53 c 183.45/183.53 c ============================[ Search Statistics ]============================== 183.45/183.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.53 c =============================================================================== 183.45/183.53 c | 0 | 867 2528 28295 | 5000 0 nan | 0.000 % | 183.45/183.54 c =============================================================================== 183.45/183.55 c core #23 183.45/183.55 c 183.45/183.55 c 183.45/183.55 c Core size: 147 Core Weight: 1 Total Weight: 39 183.45/183.55 c 183.45/183.55 c 183.45/183.55 c ============================[ Search Statistics ]============================== 183.45/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.55 c =============================================================================== 183.45/183.55 c | 0 | 1054 2529 29113 | 5000 0 nan | 0.000 % | 183.45/183.56 c | 103 | 1054 2529 29113 | 5500 103 84 | 26.294 % | 183.45/183.58 c | 253 | 1052 2529 29113 | 6050 253 60 | 26.434 % | 183.54/183.60 c | 480 | 1052 2529 29113 | 6655 480 48 | 26.434 % | 183.54/183.64 c | 817 | 1052 2529 29113 | 7320 815 41 | 26.504 % | 183.65/183.70 c | 1323 | 1051 2529 29113 | 8052 1321 42 | 39.720 % | 183.65/183.70 c =============================================================================== 183.65/183.73 c core #24 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c Core size: 240 Core Weight: 1 Total Weight: 40 183.65/183.73 c 183.65/183.73 c 183.65/183.73 c ============================[ Search Statistics ]============================== 183.65/183.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.73 c =============================================================================== 183.65/183.73 c | 0 | 1316 2530 30225 | 5000 0 nan | 0.000 % | 183.65/183.74 c | 100 | 1316 2530 30225 | 5500 100 134 | 21.103 % | 183.65/183.76 c | 252 | 1316 2530 30225 | 6050 252 90 | 21.103 % | 183.65/183.79 c | 479 | 1315 2530 30225 | 6655 478 75 | 21.163 % | 183.75/183.86 c | 816 | 1315 2530 30225 | 7320 815 68 | 21.163 % | 183.84/183.92 c | 1323 | 1315 2530 30225 | 8052 1322 76 | 21.163 % | 183.94/184.06 c | 2082 | 1315 2530 30225 | 8857 2081 78 | 21.163 % | 184.14/184.28 c | 3222 | 1314 2530 30225 | 9743 3220 75 | 21.223 % | 184.44/184.58 c | 4930 | 1314 2530 30225 | 10717 4928 79 | 21.223 % | 185.04/185.12 c | 7493 | 1314 2530 30225 | 11789 7491 75 | 21.223 % | 186.04/186.12 c | 11338 | 1313 2530 30225 | 12968 11335 80 | 21.283 % | 187.94/188.07 c | 17114 | 1311 2530 30225 | 14265 10322 89 | 21.468 % | 188.05/188.12 c =============================================================================== 188.24/188.31 c core #25 188.24/188.31 c 188.24/188.31 c 188.24/188.31 c Core size: 327 Core Weight: 1 Total Weight: 41 188.24/188.31 c 188.24/188.31 c 188.24/188.31 c ============================[ Search Statistics ]============================== 188.24/188.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.24/188.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.24/188.31 c =============================================================================== 188.24/188.31 c | 0 | 1766 2531 36805 | 5000 0 nan | 0.000 % | 188.24/188.32 c | 101 | 1766 2531 36805 | 5500 101 142 | 11.167 % | 188.24/188.36 c | 251 | 1766 2531 36805 | 6050 251 92 | 11.167 % | 188.24/188.39 c | 480 | 1766 2531 36805 | 6655 480 84 | 11.167 % | 188.34/188.46 c | 817 | 1766 2531 36805 | 7320 817 87 | 11.167 % | 188.44/188.58 c | 1323 | 1766 2531 36805 | 8052 1323 105 | 11.167 % | 188.64/188.73 c | 2082 | 1766 2531 36805 | 8857 2082 115 | 11.167 % | 188.84/188.98 c | 3227 | 1766 2531 36805 | 9743 3227 116 | 11.167 % | 189.35/189.44 c | 4935 | 1766 2531 36805 | 10717 4935 122 | 11.167 % | 190.25/190.36 c | 7499 | 1766 2531 36805 | 11789 7499 125 | 11.167 % | 191.45/191.57 c | 11347 | 1766 2531 36805 | 12968 11347 132 | 11.167 % | 193.64/193.73 c | 17113 | 1766 2531 36805 | 14265 10425 148 | 11.167 % | 196.64/196.74 c | 25762 | 1766 2531 36805 | 15692 11694 162 | 11.167 % | 202.35/202.47 c | 38739 | 1766 2531 36805 | 17261 8625 143 | 11.167 % | 212.34/212.41 c | 58202 | 1766 2531 36805 | 18987 10331 124 | 11.167 % | 216.53/216.60 c =============================================================================== 217.13/217.29 c core #26 217.13/217.29 c 217.13/217.29 c 217.13/217.29 c Core size: 360 Core Weight: 1 Total Weight: 42 217.13/217.29 c 217.13/217.29 c 217.13/217.29 c ============================[ Search Statistics ]============================== 217.13/217.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.13/217.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.13/217.29 c =============================================================================== 217.13/217.29 c | 0 | 2164 2532 38006 | 5000 0 nan | 0.000 % | 217.23/217.33 c | 103 | 2164 2532 38006 | 5500 103 55 | 7.797 % | 217.23/217.36 c | 253 | 2164 2532 38006 | 6050 253 60 | 7.797 % | 217.23/217.39 c | 478 | 2164 2532 38006 | 6655 478 64 | 7.797 % | 217.33/217.44 c | 816 | 2164 2532 38006 | 7320 816 67 | 7.797 % | 217.43/217.54 c | 1323 | 2160 2532 38006 | 8052 1320 87 | 7.968 % | 217.54/217.69 c | 2082 | 2160 2532 38006 | 8857 2076 118 | 7.968 % | 217.93/218.03 c | 3223 | 2160 2532 38006 | 9743 3217 149 | 7.968 % | 218.43/218.59 c | 4932 | 2160 2532 38006 | 10717 4926 169 | 7.968 % | 219.43/219.58 c | 7494 | 2160 2532 38006 | 11789 7488 184 | 7.968 % | 221.33/221.48 c | 11338 | 2160 2532 38006 | 12968 11332 215 | 7.968 % | 224.34/224.41 c | 17104 | 2160 2532 38006 | 14265 10324 256 | 7.968 % | 229.03/229.16 c | 25753 | 2160 2532 38006 | 15692 11644 218 | 7.968 % | 237.54/237.64 c | 38728 | 2160 2532 38006 | 17261 8375 232 | 7.968 % | 252.03/252.15 c | 58189 | 2158 2532 38006 | 18987 10180 221 | 8.053 % | 272.42/272.55 c | 87383 | 2158 2532 38006 | 20886 10426 222 | 8.053 % | 302.11/302.28 c | 131172 | 2156 2532 38006 | 22974 11358 227 | 8.138 % | 363.00/363.11 c | 196856 | 2155 2532 38006 | 25272 18044 262 | 8.223 % | 455.07/455.24 c | 295390 | 2154 2532 38006 | 27799 25462 276 | 8.223 % | 618.93/619.15 c | 443181 | 2152 2532 38006 | 30579 19146 270 | 8.308 % | 820.17/820.46 c | 664870 | 2152 2532 38006 | 33637 30356 308 | 8.308 % | 1201.08/1201.75 c | 997399 | 2152 2532 38006 | 37001 33021 270 | 8.308 % |
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-2680657-1277453512/watcher-2680657-1277453512 -o /tmp/evaluation-result-2680657-1277453512/solver-2680657-1277453512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680657-1277453512.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.99 0.97 0.82 3/105 26768 /proc/meminfo: memFree=1706644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=2872 CPUtime=0 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 298 0 0 0 0 0 0 0 25 0 1 0 86644753 2940928 217 1992294400 134512640 135752675 4294929296 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 718 217 142 303 0 339 0 [startup+0.105083 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26768 /proc/meminfo: memFree=1706644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=3224 CPUtime=0.09 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 520 0 0 0 9 0 0 0 18 0 1 0 86644753 3301376 365 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 806 365 145 303 0 501 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3224 [startup+0.201093 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26768 /proc/meminfo: memFree=1706644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=3488 CPUtime=0.19 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 598 0 0 0 19 0 0 0 18 0 1 0 86644753 3571712 443 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 872 443 145 303 0 567 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3488 [startup+0.301105 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26768 /proc/meminfo: memFree=1706644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=3744 CPUtime=0.29 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 667 0 0 0 29 0 0 0 18 0 1 0 86644753 3833856 512 1992294400 134512640 135752675 4294929296 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 936 512 145 303 0 631 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3744 [startup+0.701148 s] /proc/loadavg: 0.99 0.97 0.82 3/105 26768 /proc/meminfo: memFree=1706644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=5172 CPUtime=0.69 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 1004 0 0 0 68 1 0 0 18 0 1 0 86644753 5296128 849 1992294400 134512640 135752675 4294929296 18446744073709551615 134638128 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 1293 849 145 303 0 988 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5172 [startup+1.50124 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26769 /proc/meminfo: memFree=1702420/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=7640 CPUtime=1.49 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 1632 0 0 0 146 3 0 0 19 0 1 0 86644753 7823360 1477 1992294400 134512640 135752675 4294929296 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 1910 1477 145 303 0 1605 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7640 [startup+3.10041 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26769 /proc/meminfo: memFree=1698452/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=12992 CPUtime=3.09 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 2981 0 0 0 303 6 0 0 25 0 1 0 86644753 13303808 2826 1992294400 134512640 135752675 4294929296 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 3248 2826 145 303 0 2943 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12992 [startup+6.30077 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26769 /proc/meminfo: memFree=1688284/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=22248 CPUtime=6.29 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 5269 0 0 0 618 11 0 0 25 0 1 0 86644753 22781952 5114 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 5562 5114 145 303 0 5257 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22248 [startup+12.7005 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26769 /proc/meminfo: memFree=1670800/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=39644 CPUtime=12.68 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 9625 0 0 0 1247 21 0 0 25 0 1 0 86644753 40595456 9470 1992294400 134512640 135752675 4294929296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 9911 9470 145 303 0 9606 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39644 [startup+25.5009 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26769 /proc/meminfo: memFree=1636328/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=72568 CPUtime=25.49 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 17856 0 0 0 2511 38 0 0 25 0 1 0 86644753 74309632 17701 1992294400 134512640 135752675 4294929296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 18142 17701 145 303 0 17837 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72568 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.82 2/106 26771 /proc/meminfo: memFree=1571972/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=137816 CPUtime=51.08 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 34166 0 0 0 5033 75 0 0 25 0 1 0 86644753 141123584 34011 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 34454 34011 145 303 0 34149 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 137816 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.83 2/106 26771 /proc/meminfo: memFree=1449832/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=258240 CPUtime=102.27 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 64236 0 0 0 10085 142 0 0 25 0 1 0 86644753 264437760 64081 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 64560 64081 145 303 0 64255 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 258240 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/106 26773 /proc/meminfo: memFree=1323600/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=385304 CPUtime=162.25 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 95947 0 0 0 16010 215 0 0 25 0 1 0 86644753 394551296 95792 1992294400 134512640 135752675 4294929296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 96326 95792 145 303 0 96021 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 385304 [startup+222.309 s] /proc/loadavg: 0.99 0.97 0.84 2/106 26775 /proc/meminfo: memFree=1250440/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=457176 CPUtime=222.24 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 114051 0 0 0 21937 287 0 0 25 0 1 0 86644753 468148224 113865 1992294400 134512640 135752675 4294929296 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 114294 113865 146 303 0 113989 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 457176 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26777 /proc/meminfo: memFree=1151736/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=557216 CPUtime=282.22 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 139024 0 0 0 27880 342 0 0 25 0 1 0 86644753 570589184 138838 1992294400 134512640 135752675 4294929296 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 139304 138838 146 303 0 138999 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 557216 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 26779 /proc/meminfo: memFree=1065432/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=641888 CPUtime=342.2 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 160187 0 0 0 33829 391 0 0 25 0 1 0 86644753 657293312 160001 1992294400 134512640 135752675 4294929296 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 160472 160001 146 303 0 160167 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 641888 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26779 /proc/meminfo: memFree=982724/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=726436 CPUtime=402.19 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 181313 0 0 0 39783 436 0 0 25 0 1 0 86644753 743870464 181127 1992294400 134512640 135752675 4294929296 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 181609 181127 146 303 0 181304 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 726436 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 26781 /proc/meminfo: memFree=890592/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=816924 CPUtime=462.17 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 203924 0 0 0 45734 483 0 0 25 0 1 0 86644753 836530176 203738 1992294400 134512640 135752675 4294929296 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 204231 203738 146 303 0 203926 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 816924 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.87 2/106 26783 /proc/meminfo: memFree=798956/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=908856 CPUtime=522.15 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 226883 0 0 0 51687 528 0 0 25 0 1 0 86644753 930668544 226697 1992294400 134512640 135752675 4294929296 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 227214 226697 146 303 0 226909 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 908856 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 26785 /proc/meminfo: memFree=741048/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=966316 CPUtime=582.14 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 241236 0 0 0 57655 559 0 0 25 0 1 0 86644753 989507584 241050 1992294400 134512640 135752675 4294929296 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 241579 241050 146 303 0 241274 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 966316 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 26787 /proc/meminfo: memFree=653132/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1055056 CPUtime=642.12 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 263379 0 0 0 63606 606 0 0 25 0 1 0 86644753 1080377344 263193 1992294400 134512640 135752675 4294929296 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 263764 263193 146 303 0 263459 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1055056 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.89 2/106 26787 /proc/meminfo: memFree=570920/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1136212 CPUtime=702.11 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 283669 0 0 0 69555 656 0 0 25 0 1 0 86644753 1163481088 283483 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 284053 283483 146 303 0 283748 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1136212 [startup+762.301 s] /proc/loadavg: 0.99 0.97 0.89 2/106 26789 /proc/meminfo: memFree=483996/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1221996 CPUtime=762.1 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 305111 0 0 0 75508 702 0 0 25 0 1 0 86644753 1251323904 304925 1992294400 134512640 135752675 4294929296 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 305499 304925 146 303 0 305194 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1221996 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.90 2/106 26791 /proc/meminfo: memFree=405752/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1300992 CPUtime=822.07 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 324854 0 0 0 81460 747 0 0 25 0 1 0 86644753 1332215808 324668 1992294400 134512640 135752675 4294929296 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 325248 324668 146 303 0 324943 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1300992 [startup+882.309 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26793 /proc/meminfo: memFree=340156/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1365676 CPUtime=882.07 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 341018 0 0 0 87428 779 0 0 25 0 1 0 86644753 1398452224 340832 1992294400 134512640 135752675 4294929296 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 341419 340832 146 303 0 341114 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1365676 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26795 /proc/meminfo: memFree=262036/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1444740 CPUtime=942.05 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 360757 0 0 0 93385 820 0 0 25 0 1 0 86644753 1479413760 360571 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 361185 360571 146 303 0 360880 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1444740 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26795 /proc/meminfo: memFree=184164/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1521772 CPUtime=1002.03 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 379989 0 0 0 99343 860 0 0 25 0 1 0 86644753 1558294528 379803 1992294400 134512640 135752675 4294929296 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 380443 379803 146 303 0 380138 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1521772 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26797 /proc/meminfo: memFree=95876/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1610604 CPUtime=1062.01 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 402175 0 0 0 105299 902 0 0 25 0 1 0 86644753 1649258496 401989 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 402651 401989 146 303 0 402346 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1610604 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26799 /proc/meminfo: memFree=22344/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1683524 CPUtime=1121.99 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 420385 0 0 0 111263 936 0 0 25 0 1 0 86644753 1723928576 420199 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 420881 420199 146 303 0 420576 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1683524 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26801 /proc/meminfo: memFree=9644/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1759104 CPUtime=1181.78 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 439253 0 0 0 117199 979 0 0 25 0 1 0 86644753 1801322496 439067 1992294400 134512640 135752675 4294929296 18446744073709551615 134611653 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26768/statm: 439776 439067 146 303 0 439471 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 1759104 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1230.4 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26801 /proc/meminfo: memFree=10264/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=1843236 CPUtime=1229.61 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4202496 460298 0 0 0 121933 1028 0 0 25 0 1 0 86644753 1887473664 460112 1992294400 134512640 135752675 4294929296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26768/statm: 460809 460112 146 303 0 460504 0 Current children cumulated CPU time (s) 1229.61 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1230.51 s] /proc/loadavg: 0.99 0.97 0.91 2/106 26801 /proc/meminfo: memFree=10264/2059040 swapFree=4139944/4192956 [pid=26768] ppid=26766 vsize=0 CPUtime=1229.71 /proc/26768/stat : 26768 (wbo1.4b) R 26766 26768 26658 0 -1 4203524 460298 0 0 0 121933 1038 0 0 25 0 1 0 86644753 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26768/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1229.71 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1230.57 CPU time (s): 1229.77 CPU user time (s): 1219.33 CPU system time (s): 10.4414 CPU usage (%): 99.9355 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1219.33 system time used= 10.4414 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460298 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= 12 involuntary context switches= 4187 runsolver used 2.07268 second user time and 5.78112 second system time The end
Begin job on node087 at 2010-06-25 10:11:52 IDJOB=2680657 IDBENCH=2052 IDSOLVER=1190 FILE ID=node087/2680657-1277453512 PBS_JOBID= 11188103 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680657-1277453512/watcher-2680657-1277453512 -o /tmp/evaluation-result-2680657-1277453512/solver-2680657-1277453512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680657-1277453512.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee RANDOM SEED=795713866 node087.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.213 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.42 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.213 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1707048 kB Buffers: 97344 kB Cached: 158480 kB SwapCached: 5480 kB Active: 105580 kB Inactive: 163304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1707048 kB SwapTotal: 4192956 kB SwapFree: 4139944 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 11772 kB Mapped: 12044 kB Slab: 61124 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181364 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= 62456 MiB End job on node087 at 2010-06-25 10:32:25