Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.72 | OPT | 1194 | 44.77 | 44.8469 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb |
MD5SUM | c919b2e3620f35e89404416810e81e0b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1194 |
Best CPU time to get the best result obtained on this benchmark | 0.033994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1194 |
Optimality of the best value was proved | YES |
Number of variables | 239 |
Total number of constraints | 524 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 239 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 10012 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 10012 |
Number of bits of the biggest sum of numbers | 14 |
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 ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727372-1338655273.opb. 0.00/0.00 c Instance file HOME/instance-3727372-1338655273.opb 0.00/0.00 c File size is 23309 bytes. 0.00/0.00 c Cost Offset: 0 0.00/0.00 c Highest Coefficient sum: 39 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 239 | 0.00/0.00 c | Number Clauses: 524 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c | | 0.00/0.00 c | Problem Type: Optimization | 0.00/0.00 c | Objective Function: PB Constraint | 0.00/0.00 c | | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Time (s) | ID | Bound | Shared Clauses | 0.00/0.00 c | | | value type | expCls impCls Lit/impCl | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0.00 | 0 | 50 lb | 0 0 0.00 | 0.00/0.00 c | 0.00 | 0 | 59 lb | 0 0 0.00 | 0.00/0.00 c | 0.00 | 0 | 75 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 86 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 118 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 129 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 146 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 178 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 189 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 221 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 232 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 266 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 308 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 349 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 360 lb | 0 0 0.00 | 0.00/0.00 c | 0.01 | 0 | 402 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 436 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 470 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 486 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 518 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 536 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 546 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 556 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 566 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 574 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 608 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 642 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 676 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 686 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 702 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 720 lb | 0 0 0.00 | 0.00/0.01 c | 0.01 | 0 | 725 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 754 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 769 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 803 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 804 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 805 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 821 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 837 lb | 0 0 0.00 | 0.00/0.01 c | 0.02 | 0 | 862 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 884 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 891 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 893 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 911 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 925 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 926 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 927 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 928 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 932 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 933 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 938 lb | 0 0 0.00 | 0.00/0.02 c | 0.02 | 0 | 946 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 947 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 955 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 956 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 957 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 962 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 969 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 970 lb | 0 0 0.00 | 0.00/0.02 c | 0.03 | 0 | 975 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 981 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 991 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 992 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1004 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1005 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1010 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1012 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1013 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1014 lb | 0 0 0.00 | 0.00/0.03 c | 0.03 | 0 | 1015 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1018 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1020 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1025 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1026 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1047 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1054 lb | 0 0 0.00 | 0.00/0.03 c | 0.04 | 0 | 1055 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1057 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1059 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1060 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1079 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1086 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1087 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1091 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1092 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1099 lb | 0 0 0.00 | 0.00/0.04 c | 0.04 | 0 | 1100 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1101 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1102 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1104 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1107 lb | 0 0 0.00 | 0.00/0.04 c | 0.05 | 0 | 1109 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1110 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1112 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1113 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1114 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1117 lb | 0 0 0.00 | 0.00/0.05 c | 0.05 | 0 | 1119 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1124 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1130 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1135 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1136 lb | 0 0 0.00 | 0.00/0.05 c | 0.06 | 0 | 1137 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1138 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1139 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1140 lb | 0 0 0.00 | 0.00/0.06 c | 0.06 | 0 | 1142 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1143 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1144 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1145 lb | 0 0 0.00 | 0.00/0.06 c | 0.07 | 0 | 1146 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1147 lb | 0 0 0.00 | 0.00/0.07 c | 0.07 | 0 | 1148 lb | 0 0 0.00 | 0.06/0.07 c | 0.07 | 0 | 1149 lb | 0 0 0.00 | 0.06/0.07 c | 0.07 | 0 | 1150 lb | 0 0 0.00 | 0.06/0.07 c | 0.07 | 0 | 1151 lb | 0 0 0.00 | 0.06/0.07 c | 0.08 | 0 | 1162 lb | 0 0 0.00 | 0.06/0.07 c | 0.08 | 0 | 1163 lb | 0 0 0.00 | 0.06/0.08 c | 0.08 | 0 | 1164 lb | 0 0 0.00 | 0.06/0.08 c | 0.08 | 0 | 1165 lb | 0 0 0.00 | 0.06/0.08 c | 0.08 | 0 | 1167 lb | 0 0 0.00 | 0.06/0.08 c | 0.08 | 0 | 1168 lb | 0 0 0.00 | 0.06/0.08 c | 0.09 | 0 | 1169 lb | 0 0 0.00 | 0.06/0.08 c | 0.09 | 0 | 1170 lb | 0 0 0.00 | 0.06/0.08 c | 0.09 | 0 | 1171 lb | 0 0 0.00 | 0.06/0.09 c | 0.09 | 0 | 1172 lb | 0 0 0.00 | 0.06/0.09 c | 0.09 | 0 | 1173 lb | 0 0 0.00 | 0.06/0.09 c | 0.09 | 0 | 1174 lb | 0 0 0.00 | 0.06/0.09 c | 0.10 | 0 | 1175 lb | 0 0 0.00 | 0.06/0.09 c | 0.10 | 0 | 1176 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1177 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1178 lb | 0 0 0.00 | 0.09/0.10 c | 0.10 | 0 | 1179 lb | 0 0 0.00 | 0.09/0.10 c | 0.11 | 0 | 1180 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 1181 lb | 0 0 0.00 | 0.09/0.11 c | 0.11 | 0 | 1182 lb | 0 0 0.00 | 0.09/0.11 c | 0.12 | 0 | 1183 lb | 0 0 0.00 | 0.09/0.12 c | 0.12 | 0 | 1184 lb | 0 0 0.00 | 0.09/0.17 c | 0.17 | 0 | 1185 lb | 0 0 0.00 | 0.09/0.17 c | 0.18 | 0 | 1186 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | 1187 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | 1188 lb | 0 0 0.00 | 0.49/0.53 c | 0.53 | 0 | 1189 lb | 0 0 0.00 | 0.49/0.53 c | 0.54 | 0 | 1190 lb | 0 0 0.00 | 1.79/1.81 c | 1.81 | 0 | 1191 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 1192 lb | 0 0 0.00 | 1.79/1.82 c | 1.82 | 0 | 1193 lb | 0 0 0.00 | 22.67/22.78 c | 22.78 | 0 | 1194 lb | 0 0 0.00 | 44.77/44.84 c | 44.84 | 0 | 1194 ub | 0 0 0.00 | 44.77/44.84 c =============================================================================== 44.77/44.84 c Wall Clock Time: 44.84 s 44.77/44.84 o 1194 44.77/44.84 c Best Solution: 1194 44.77/44.84 s OPTIMUM FOUND 44.77/44.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 x29 -x30 x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239
OK 1194
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727372-1338655273/watcher-3727372-1338655273 -o /tmp/evaluation-result-3727372-1338655273/solver-3727372-1338655273 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727372-1338655273.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.03 2.00 3/175 3339 /proc/meminfo: memFree=26665684/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=0 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 2 0 331652779 85659648 767 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 767 192 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=0 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 2 0 331652779 85659648 767 33554432000 4194304 5964350 140734664265872 140733468058600 5236791 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 [startup+0.072102 s] /proc/loadavg: 2.04 2.03 2.00 3/175 3339 /proc/meminfo: memFree=26665684/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=0.06 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 1121 0 0 0 6 0 0 0 20 0 2 0 331652779 85659648 1065 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 1066 195 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=0.05 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 394 0 0 0 5 0 0 0 20 0 2 0 331652779 85659648 1066 33554432000 4194304 5964350 140734664265872 140733468058600 4395259 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 83652 [startup+0.100287 s] /proc/loadavg: 2.04 2.03 2.00 3/175 3339 /proc/meminfo: memFree=26665684/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=0.09 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 1256 0 0 0 9 0 0 0 20 0 2 0 331652779 85659648 1194 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 1194 195 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=0.08 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 528 0 0 0 8 0 0 0 20 0 2 0 331652779 85659648 1194 33554432000 4194304 5964350 140734664265872 140733468058600 5130914 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 83652 [startup+0.300248 s] /proc/loadavg: 2.04 2.03 2.00 3/175 3339 /proc/meminfo: memFree=26665684/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=0.29 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 1484 0 0 0 29 0 0 0 20 0 2 0 331652779 85659648 1414 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 1414 197 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=0.28 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 756 0 0 0 28 0 0 0 20 0 2 0 331652779 85659648 1414 33554432000 4194304 5964350 140734664265872 140733468058600 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 83652 [startup+0.700248 s] /proc/loadavg: 2.04 2.03 2.00 3/175 3339 /proc/meminfo: memFree=26665684/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=0.69 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 1993 0 0 0 69 0 0 0 20 0 2 0 331652779 85659648 1923 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 1923 197 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=0.68 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 1265 0 0 0 68 0 0 0 20 0 2 0 331652779 85659648 1923 33554432000 4194304 5964350 140734664265872 140733468058600 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83652 [startup+1.5002 s] /proc/loadavg: 2.04 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26657856/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83796 CPUtime=1.49 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 2374 0 0 0 149 0 0 0 20 0 2 0 331652779 85807104 2304 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20949 2304 197 433 0 20513 0 [pid=3339/tid=3340] ppid=3337 vsize=83796 CPUtime=1.48 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 1646 0 0 0 148 0 0 0 20 0 2 0 331652779 85807104 2304 33554432000 4194304 5964350 140734664265872 140291552758296 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 83796 [startup+3.10013 s] /proc/loadavg: 2.04 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26651772/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83652 CPUtime=3.09 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 2879 0 0 0 309 0 0 0 20 0 2 0 331652779 85659648 2781 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20913 2781 197 433 0 20477 0 [pid=3339/tid=3340] ppid=3337 vsize=83652 CPUtime=3.07 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 2151 0 0 0 307 0 0 0 20 0 2 0 331652779 85659648 2781 33554432000 4194304 5964350 140734664265872 140291552758296 4400009 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 83652 [startup+6.30025 s] /proc/loadavg: 2.04 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26637628/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83868 CPUtime=6.28 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 4509 0 0 0 628 0 0 0 20 0 2 0 331652779 85880832 4411 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20967 4411 197 433 0 20531 0 [pid=3339/tid=3340] ppid=3337 vsize=83868 CPUtime=6.26 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 3781 0 0 0 626 0 0 0 20 0 2 0 331652779 85880832 4411 33554432000 4194304 5964350 140734664265872 140291552757560 4400377 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 83868 [startup+12.7003 s] /proc/loadavg: 2.03 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26621588/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83976 CPUtime=12.68 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 7539 0 0 0 1267 1 0 0 20 0 2 0 331652779 85991424 7466 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20994 7466 197 433 0 20558 0 [pid=3339/tid=3340] ppid=3337 vsize=83976 CPUtime=12.64 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 6811 0 0 0 1263 1 0 0 20 0 2 0 331652779 85991424 7466 33554432000 4194304 5964350 140734664265872 140291552757560 4400462 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 83976 [startup+25.5003 s] /proc/loadavg: 2.03 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26607180/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=25.47 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10452 0 0 0 2545 2 0 0 20 0 2 0 331652779 85856256 10309 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 10309 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=25.4 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 9724 0 0 0 2538 2 0 0 20 0 2 0 331652779 85856256 10309 33554432000 4194304 5964350 140734664265872 140291552758712 4389090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 83844 Solver just ended. Dumping a history of the last processes samples [startup+38.3003 s] /proc/loadavg: 2.02 2.03 2.00 3/177 3341 /proc/meminfo: memFree=26604384/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=38.27 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10452 0 0 0 3825 2 0 0 20 0 2 0 331652779 85856256 10522 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 10522 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=38.17 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 9724 0 0 0 3815 2 0 0 20 0 2 0 331652779 85856256 10522 33554432000 4194304 5964350 140734664265872 140291552758712 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 83844 [startup+41.5002 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26604508/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=41.47 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10843 0 0 0 4145 2 0 0 20 0 2 0 331652779 85856256 10913 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 10913 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=41.36 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10115 0 0 0 4134 2 0 0 20 0 2 0 331652779 85856256 10913 33554432000 4194304 5964350 140734664265872 140291552757800 4379236 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 41.47 Current children cumulated vsize (KiB) 83844 [startup+43.1003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26603004/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=43.07 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10906 0 0 0 4305 2 0 0 20 0 2 0 331652779 85856256 10976 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 10976 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=42.95 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10178 0 0 0 4293 2 0 0 20 0 2 0 331652779 85856256 10976 33554432000 4194304 5964350 140734664265872 140291552757560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 43.07 Current children cumulated vsize (KiB) 83844 [startup+43.9001 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26603004/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=43.87 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10906 0 0 0 4385 2 0 0 20 0 2 0 331652779 85856256 10976 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 10976 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=43.76 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10178 0 0 0 4374 2 0 0 20 0 2 0 331652779 85856256 10976 33554432000 4194304 5964350 140734664265872 140291552757560 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 43.87 Current children cumulated vsize (KiB) 83844 [startup+44.3003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26603004/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=44.27 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10932 0 0 0 4425 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 11002 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=44.15 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10204 0 0 0 4413 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140291552757560 4399998 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 44.27 Current children cumulated vsize (KiB) 83844 [startup+44.7003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26603004/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=44.67 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10932 0 0 0 4465 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 11002 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=44.55 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10204 0 0 0 4453 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140291552757560 4403420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 44.67 Current children cumulated vsize (KiB) 83844 [startup+44.8003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 3341 /proc/meminfo: memFree=26603004/32873624 swapFree=7112/7112 [pid=3339] ppid=3337 vsize=83844 CPUtime=44.77 cores=0,2,4,6 /proc/3339/stat : 3339 (wbo1.72) S 3337 3339 1111 0 -1 4202496 10932 0 0 0 4475 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140734664265392 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/3339/statm: 20961 11002 197 433 0 20525 0 [pid=3339/tid=3340] ppid=3337 vsize=83844 CPUtime=44.65 cores=0,2,4,6 /proc/3339/task/3340/stat : 3340 (wbo1.72) R 3337 3339 1111 0 -1 4202560 10204 0 0 0 4463 2 0 0 20 0 2 0 331652779 85856256 11002 33554432000 4194304 5964350 140734664265872 140291552757560 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 44.77 Current children cumulated vsize (KiB) 83844 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3339 and gives # childrusage.ru_utime.tv_sec=44 # childrusage.ru_utime.tv_usec=675208 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=30995 # CPU time returned by wait4() is 44.7062 # while last known CPU time is 44.77 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 44.8469 CPU time (s): 44.77 CPU user time (s): 44.75 CPU system time (s): 0.02 CPU usage (%): 99.8285 Max. virtual memory (cumulated for all children) (KiB): 84544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.6752 system time used= 0.030995 maximum resident set size= 44020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10935 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= 22 involuntary context switches= 45 runsolver used 0.106983 second user time and 0.243962 second system time The end
Begin job on node121 at 2012-06-02 18:41:13 IDJOB=3727372 IDBENCH=2021 IDSOLVER=2313 FILE ID=node121/3727372-1338655273 RUNJOBID= node121-1338651658-2671 PBS_JOBID= 14636459 Free space on /tmp= 71312 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727372-1338655273/watcher-3727372-1338655273 -o /tmp/evaluation-result-3727372-1338655273/solver-3727372-1338655273 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727372-1338655273.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b RANDOM SEED=103950981 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 26666312 kB Buffers: 595172 kB Cached: 4224652 kB SwapCached: 0 kB Active: 2111668 kB Inactive: 3226812 kB Active(anon): 506696 kB Inactive(anon): 10776 kB Active(file): 1604972 kB Inactive(file): 3216036 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 5632 kB Writeback: 0 kB AnonPages: 521456 kB Mapped: 14608 kB Shmem: 200 kB Slab: 732560 kB SReclaimable: 176808 kB SUnreclaim: 555752 kB KernelStack: 1464 kB PageTables: 4936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 133504 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 376832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71308 MiB End job on node121 at 2012-06-02 18:41:58