Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | OPT | 304 | 8.37972 | 8.38001 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 304 |
Best CPU time to get the best result obtained on this benchmark | 0.018996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of variables | 257 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 97 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461469-1307094311.opb. 0.00/0.00 c Instance file HOME/instance-3461469-1307094311.opb 0.00/0.00 c File size is 8127 bytes. 0.00/0.00 c Highest Coefficient sum: 62 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: 257 | 0.00/0.00 c | Number Clauses: 125 | 0.00/0.00 c | Number Cardinality: 56 | 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 | 256 181 864 | 5000 0 -nan | 0.000 % | 0.00/0.00 c core #1 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -29 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #2 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -28 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #3 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -27 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #4 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -26 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #5 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -25 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #6 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -24 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #7 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -23 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #8 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -22 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #9 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -21 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #10 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -20 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #11 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -19 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #12 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -18 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #13 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -17 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #14 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -16 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #15 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -15 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #16 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -14 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #17 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 1 Total Weight: -13 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #18 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 2 Core Weight: 100 Total Weight: 87 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #19 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 23 Core Weight: 1 Total Weight: 88 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #20 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 89 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #21 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 90 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #22 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 91 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #23 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 100 Total Weight: 191 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #24 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 192 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #25 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 100 Total Weight: 292 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #26 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 293 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #27 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 294 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #28 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 1 Total Weight: 295 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #29 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 16 Core Weight: 1 Total Weight: 296 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 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 | 225 300 989 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #30 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 45 Core Weight: 1 Total Weight: 297 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 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 | 259 328 1030 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #31 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 49 Core Weight: 1 Total Weight: 298 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 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 | 296 356 1077 | 5000 0 -nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c core #32 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 54 Core Weight: 1 Total Weight: 299 0.00/0.00 c Current CPU time: 0.007998 s 0.00/0.00 c 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 | 337 384 1132 | 5000 0 -nan | 0.000 % | 0.00/0.00 c | 100 | 334 384 1132 | 5500 100 11 | 24.264 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #33 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 55 Core Weight: 1 Total Weight: 300 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 382 412 1195 | 5000 0 -nan | 0.000 % | 0.00/0.01 c | 100 | 381 412 1195 | 5500 100 19 | 21.605 % | 0.00/0.01 c | 250 | 380 412 1195 | 6050 250 18 | 21.811 % | 0.00/0.01 c | 476 | 380 412 1195 | 6655 476 19 | 21.811 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #34 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 60 Core Weight: 1 Total Weight: 301 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 430 440 1264 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 100 | 429 440 1264 | 5500 100 20 | 19.663 % | 0.00/0.02 c | 251 | 426 440 1264 | 6050 251 24 | 20.413 % | 0.00/0.03 c | 476 | 425 440 1264 | 6655 476 26 | 20.412 % | 0.00/0.04 c | 813 | 423 440 1264 | 7320 813 26 | 20.788 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #35 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 65 Core Weight: 1 Total Weight: 302 0.00/0.04 c Current CPU time: 0.044993 s 0.00/0.04 c 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 | 483 468 1343 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 482 468 1343 | 5500 100 25 | 17.888 % | 0.00/0.05 c | 251 | 482 468 1343 | 6050 251 23 | 17.888 % | 0.00/0.05 c | 476 | 482 468 1343 | 6655 476 22 | 17.888 % | 0.00/0.06 c | 813 | 482 468 1343 | 7320 813 23 | 17.888 % | 0.06/0.07 c | 1320 | 481 468 1343 | 8052 1320 24 | 18.058 % | 0.06/0.09 c | 2079 | 476 468 1343 | 8857 2079 27 | 18.910 % | 0.09/0.14 c | 3218 | 476 468 1343 | 9743 3218 30 | 19.251 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #36 0.19/0.21 c 0.19/0.21 c 0.19/0.21 c Core size: 64 Core Weight: 1 Total Weight: 303 0.19/0.21 c Current CPU time: 0.214967 s 0.19/0.21 c 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 533 496 1416 | 5000 0 -nan | 0.000 % | 0.19/0.22 c | 100 | 532 496 1416 | 5500 100 34 | 16.484 % | 0.19/0.22 c | 250 | 532 496 1416 | 6050 250 48 | 16.484 % | 0.19/0.22 c | 476 | 531 496 1416 | 6655 476 51 | 16.798 % | 0.19/0.24 c | 814 | 531 496 1416 | 7320 814 50 | 16.798 % | 0.19/0.25 c | 1321 | 530 496 1416 | 8052 1321 48 | 17.112 % | 0.19/0.28 c | 2080 | 530 496 1416 | 8857 2080 47 | 17.269 % | 0.29/0.33 c | 3220 | 527 496 1416 | 9743 3220 49 | 17.426 % | 0.39/0.42 c | 4929 | 524 496 1416 | 10717 4929 50 | 17.740 % | 0.59/0.61 c | 7491 | 524 496 1416 | 11789 7491 51 | 17.740 % | 0.89/0.98 c | 11335 | 522 496 1416 | 12968 11335 52 | 18.054 % | 1.49/1.56 c | 17103 | 522 496 1416 | 14265 10505 51 | 18.368 % | 2.79/2.80 c | 25753 | 517 496 1416 | 15692 11918 50 | 18.839 % | 4.40/4.48 c | 38727 | 517 496 1416 | 17261 8967 44 | 18.996 % | 6.99/7.09 c | 58188 | 516 496 1416 | 18987 10964 47 | 19.153 % | 7.99/8.02 c =============================================================================== 8.29/8.37 c core #37 8.29/8.37 c 8.29/8.37 c 8.29/8.37 c Core size: 66 Core Weight: 1 Total Weight: 304 8.29/8.37 c Current CPU time: 8.28474 s 8.29/8.37 c 8.29/8.37 c ============================[ Search Statistics ]============================== 8.29/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.29/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.29/8.37 c =============================================================================== 8.29/8.37 c | 0 | 586 524 1495 | 5000 0 -nan | 0.000 % | 8.29/8.37 c | 100 | 579 524 1495 | 5500 100 44 | 16.087 % | 8.29/8.37 c | 251 | 576 524 1495 | 6050 251 41 | 16.522 % | 8.29/8.37 c =============================================================================== 8.29/8.37 c #cores: 37 8.29/8.37 c Final Weight: 304 8.29/8.37 o 393 8.29/8.37 s OPTIMUM FOUND 8.29/8.37 v x134 x178 -x218 x4 x180 x8 x9 -x97 -x185 x225 -x186 x226 -x11 -x99 x143 -x187 x227 x100 x13 x14 x15 -x59 x104 x61 -x105 -x149 x230 x62 x20 -x108 -x109 x153 x22 -x110 -x154 -x111 x155 x112 x192 -x232 -x27 x71 x237 x118 x198 -x238 -x199 x239 x119 -x200 x240 x164 x121 -x202 x242 -x203 x243 -x122 -x204 x244 -x124 x168 -x206 x246 x125 x247 -x38 -x126 x170 -x208 x248 x127 x249 x40 -x172 x250 -x213 x253 x130 -x214 x254 x131 -x215 x255 x132 -x216 x256 x133 x257 -x2 -x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 -x141 -x12 -x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 -x103 -x147 -x16 -x148 -x18 -x150 -x19 x63 -x107 -x151 -x152 -x66 -x24 -x68 -x156 x25 -x69 -x113 -x157 -x191 x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 -x162 -x31 -x75 -x163 -x76 -x120 -x241 -x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 -x39 -x83 -x171 -x84 -x128 -x42 -x86 -x174 -x43 -x87 -x175 -x44 -x88 -x176 -x177 -x217 x1 -x3 x5 x6 -x7 -x10 -x17 -x21 -x23 -x26 -x28 -x29 -x32 -x36 -x37 -x41 -x45 x47 -x49 -x50 -x51 -x52 -x54 -x55 -x60 -x64 -x65 -x67 x70 -x72 -x73 x78 x85 -x89 -x92 -x93 -x94 -x95 -x96 -x98 -x101 -x102 -x106 -x114 -x115 -x116 -x117 -x123 -x129 -x135 -x136 -x137 -x138 x139 -x140 x142 -x158 x160 x161 x167 -x173 x181 x182 x183 x184 x188 x189 -x190 x193 x194 x195 x196 -x197 x201 x205 -x207 -x209 -x210 x211 x212 x219 -x221 -x223 -x251 -x252 8.29/8.37 c Total CPU time: 8.31774 s
OK 304
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3461469-1307094311/watcher-3461469-1307094311 -o /tmp/evaluation-result-3461469-1307094311/solver-3461469-1307094311 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461469-1307094311.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.11 2.04 2.01 3/386 27458 /proc/meminfo: memFree=23842996/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=2376 CPUtime=0.01 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 409 0 0 0 1 0 0 0 25 0 1 0 821033916 2433024 360 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 594 360 180 372 0 219 0 [startup+0.0687721 s] /proc/loadavg: 2.11 2.04 2.01 3/386 27458 /proc/meminfo: memFree=23842996/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=2804 CPUtime=0.06 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 499 0 0 0 6 0 0 0 18 0 1 0 821033916 2871296 450 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 701 450 180 372 0 326 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2804 [startup+0.100767 s] /proc/loadavg: 2.11 2.04 2.01 3/386 27458 /proc/meminfo: memFree=23842996/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=3068 CPUtime=0.09 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 553 0 0 0 9 0 0 0 18 0 1 0 821033916 3141632 504 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 767 504 180 372 0 392 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3068 [startup+0.300728 s] /proc/loadavg: 2.11 2.04 2.01 3/386 27458 /proc/meminfo: memFree=23842996/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=4168 CPUtime=0.29 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 856 0 0 0 29 0 0 0 18 0 1 0 821033916 4268032 807 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 1042 807 180 372 0 667 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4168 [startup+0.700661 s] /proc/loadavg: 2.11 2.04 2.01 3/386 27458 /proc/meminfo: memFree=23842996/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=6032 CPUtime=0.69 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 1301 0 0 0 69 0 0 0 18 0 1 0 821033916 6176768 1252 33554432000 4194304 5714214 140736721412336 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 1508 1252 180 372 0 1133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6032 [startup+1.50055 s] /proc/loadavg: 2.10 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23832448/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=8488 CPUtime=1.49 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 1910 0 0 0 148 1 0 0 20 0 1 0 821033916 8691712 1861 33554432000 4194304 5714214 140736721412336 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 2122 1861 180 372 0 1747 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8488 [startup+3.10026 s] /proc/loadavg: 2.10 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23828108/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=10780 CPUtime=3.09 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 2459 0 0 0 307 2 0 0 25 0 1 0 821033916 11038720 2410 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 2695 2410 180 372 0 2320 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10780 [startup+6.3007 s] /proc/loadavg: 2.10 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23821620/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=14828 CPUtime=6.29 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 3452 0 0 0 625 4 0 0 25 0 1 0 821033916 15183872 3403 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 3707 3403 180 372 0 3332 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14828 Solver just ended. Dumping a history of the last processes samples [startup+7.10053 s] /proc/loadavg: 2.09 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23818684/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=16016 CPUtime=7.09 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 3773 0 0 0 704 5 0 0 25 0 1 0 821033916 16400384 3724 33554432000 4194304 5714214 140736721412336 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 4004 3724 180 372 0 3629 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 16016 [startup+7.90041 s] /proc/loadavg: 2.09 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23817692/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=17116 CPUtime=7.89 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 4023 0 0 0 783 6 0 0 25 0 1 0 821033916 17526784 3974 33554432000 4194304 5714214 140736721412336 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 4279 3974 180 372 0 3904 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 17116 [startup+8.30034 s] /proc/loadavg: 2.09 2.04 2.01 3/387 27459 /proc/meminfo: memFree=23817692/32951124 swapFree=49244120/67111528 [pid=27458] ppid=27456 vsize=20516 CPUtime=8.29 cores=0,2,4,6 /proc/27458/stat : 27458 (wbo1.6) R 27456 27458 27315 0 -1 4202496 4857 0 0 0 823 6 0 0 25 0 1 0 821033916 21008384 4808 33554432000 4194304 5714214 140736721412336 18446744073709551615 4324692 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27458/statm: 5129 4808 180 372 0 4754 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 20516 Child status: 0 Real time (s): 8.38001 CPU time (s): 8.37972 CPU user time (s): 8.31774 CPU system time (s): 0.06199 CPU usage (%): 99.9966 Max. virtual memory (cumulated for all children) (KiB): 20516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.31774 system time used= 0.06199 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4889 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 15 runsolver used 0.031995 second user time and 0.075988 second system time The end
Begin job on node101 at 2011-06-03 11:45:12 IDJOB=3461469 IDBENCH=2232 IDSOLVER=1953 FILE ID=node101/3461469-1307094311 RUNJOBID= node101-1307092509-27333 PBS_JOBID= 13497974 Free space on /tmp= 73952 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461469-1307094311/watcher-3461469-1307094311 -o /tmp/evaluation-result-3461469-1307094311/solver-3461469-1307094311 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461469-1307094311.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED=1448623109 node101.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23843028 kB Buffers: 229696 kB Cached: 460612 kB SwapCached: 27120 kB Active: 8412764 kB Inactive: 419412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23843028 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 8552 kB Writeback: 0 kB AnonPages: 8136436 kB Mapped: 18288 kB Slab: 134236 kB PageTables: 74224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78609800 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73948 MiB End job on node101 at 2011-06-03 11:45:20