Trace number 3500152

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pwbo 1.1SAT (TO)294 1800.09 900.049

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark18.6782
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 1278
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 1278
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1278
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c pwbo 1.1 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3500152-1307991839.opb.
0.00/0.00	c Instance file HOME/instance-3500152-1307991839.opb
0.00/0.00	c File size is 74860 bytes.
0.00/0.00	c Highest Coefficient sum: 19
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      1278                                                |
0.00/0.00	c |  Number Clauses:        1087                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c init lb 0
0.00/0.00	c init ub 1279
0.00/0.00	c lb 15 (thread 0)
0.00/0.01	c lb 16 (thread 0)
0.00/0.01	c lb 17 (thread 0)
0.00/0.01	c lb 18 (thread 0)
0.00/0.01	c lb 19 (thread 0)
0.00/0.01	c lb 20 (thread 0)
0.00/0.01	c lb 21 (thread 0)
0.00/0.01	c lb 22 (thread 0)
0.00/0.01	c lb 23 (thread 0)
0.00/0.02	c lb 24 (thread 0)
0.00/0.02	c lb 25 (thread 0)
0.00/0.02	c lb 26 (thread 0)
0.00/0.02	c lb 27 (thread 0)
0.00/0.02	c lb 28 (thread 0)
0.00/0.02	c lb 29 (thread 0)
0.00/0.02	c lb 30 (thread 0)
0.00/0.03	c lb 31 (thread 0)
0.00/0.03	c lb 32 (thread 0)
0.00/0.03	c lb 33 (thread 0)
0.00/0.03	c lb 34 (thread 0)
0.00/0.03	c lb 35 (thread 0)
0.05/0.03	c lb 36 (thread 0)
0.05/0.03	c lb 37 (thread 0)
0.05/0.04	c lb 38 (thread 0)
0.05/0.04	c lb 39 (thread 0)
0.05/0.04	c lb 40 (thread 0)
0.05/0.04	c lb 41 (thread 0)
0.05/0.04	c lb 42 (thread 0)
0.05/0.04	c lb 43 (thread 0)
0.05/0.04	c lb 44 (thread 0)
0.05/0.04	c lb 45 (thread 0)
0.05/0.05	c lb 46 (thread 0)
0.05/0.05	c lb 47 (thread 0)
0.05/0.05	c lb 48 (thread 0)
0.05/0.05	c lb 49 (thread 0)
0.05/0.05	c lb 50 (thread 0)
0.05/0.05	c lb 51 (thread 0)
0.05/0.05	c lb 52 (thread 0)
0.05/0.06	c lb 53 (thread 0)
0.05/0.06	c lb 54 (thread 0)
0.05/0.06	c lb 55 (thread 0)
0.05/0.06	c lb 56 (thread 0)
0.05/0.06	c lb 57 (thread 0)
0.05/0.06	c lb 58 (thread 0)
0.05/0.06	c lb 59 (thread 0)
0.05/0.06	c lb 60 (thread 0)
0.05/0.07	c lb 61 (thread 0)
0.05/0.07	c lb 62 (thread 0)
0.05/0.07	c lb 63 (thread 0)
0.05/0.07	c lb 64 (thread 0)
0.05/0.07	c lb 65 (thread 0)
0.05/0.07	c lb 66 (thread 0)
0.05/0.07	c lb 67 (thread 0)
0.05/0.07	c lb 68 (thread 0)
0.05/0.08	c lb 69 (thread 0)
0.05/0.08	c lb 70 (thread 0)
0.05/0.08	c lb 71 (thread 0)
0.05/0.08	c lb 72 (thread 0)
0.05/0.08	c lb 73 (thread 0)
0.05/0.08	c lb 74 (thread 0)
0.05/0.08	c lb 75 (thread 0)
0.05/0.08	c lb 76 (thread 0)
0.05/0.09	c lb 77 (thread 0)
0.05/0.09	c lb 78 (thread 0)
0.05/0.09	c lb 79 (thread 0)
0.05/0.09	c lb 80 (thread 0)
0.05/0.09	c lb 81 (thread 0)
0.05/0.09	c lb 82 (thread 0)
0.05/0.09	c lb 83 (thread 0)
0.18/0.10	c lb 84 (thread 0)
0.18/0.10	c lb 85 (thread 0)
0.18/0.10	c lb 86 (thread 0)
0.18/0.10	c lb 87 (thread 0)
0.18/0.10	c lb 88 (thread 0)
0.18/0.10	c lb 89 (thread 0)
0.18/0.10	c lb 90 (thread 0)
0.18/0.10	c lb 91 (thread 0)
0.18/0.11	c lb 92 (thread 0)
0.18/0.11	c lb 93 (thread 0)
0.18/0.11	c lb 94 (thread 0)
0.18/0.11	c lb 95 (thread 0)
0.18/0.11	c lb 96 (thread 0)
0.18/0.11	c lb 97 (thread 0)
0.18/0.11	c lb 98 (thread 0)
0.18/0.12	c lb 99 (thread 0)
0.18/0.12	c lb 100 (thread 0)
0.18/0.12	c lb 101 (thread 0)
0.18/0.12	c lb 102 (thread 0)
0.18/0.12	c lb 103 (thread 0)
0.18/0.12	c lb 104 (thread 0)
0.18/0.12	c lb 105 (thread 0)
0.18/0.13	c lb 106 (thread 0)
0.18/0.13	c lb 107 (thread 0)
0.18/0.13	c lb 108 (thread 0)
0.18/0.13	c lb 109 (thread 0)
0.18/0.13	c lb 110 (thread 0)
0.18/0.13	c lb 111 (thread 0)
0.18/0.13	c lb 112 (thread 0)
0.18/0.14	c lb 113 (thread 0)
0.18/0.14	c lb 114 (thread 0)
0.18/0.14	c lb 115 (thread 0)
0.18/0.14	c lb 116 (thread 0)
0.18/0.14	c lb 117 (thread 0)
0.18/0.14	c lb 118 (thread 0)
0.18/0.14	c lb 119 (thread 0)
0.18/0.15	c lb 120 (thread 0)
0.18/0.15	c lb 121 (thread 0)
0.18/0.15	c lb 122 (thread 0)
0.18/0.15	c lb 123 (thread 0)
0.18/0.15	c lb 124 (thread 0)
0.18/0.15	c lb 125 (thread 0)
0.18/0.15	c lb 126 (thread 0)
0.18/0.16	c lb 127 (thread 0)
0.18/0.16	c lb 128 (thread 0)
0.18/0.16	c lb 129 (thread 0)
0.18/0.16	c lb 130 (thread 0)
0.18/0.16	c lb 131 (thread 0)
0.18/0.16	c lb 132 (thread 0)
0.18/0.17	c lb 133 (thread 0)
0.18/0.17	c lb 134 (thread 0)
0.18/0.17	c lb 135 (thread 0)
0.18/0.17	c lb 136 (thread 0)
0.18/0.17	c lb 137 (thread 0)
0.18/0.17	c lb 138 (thread 0)
0.18/0.18	c lb 139 (thread 0)
0.18/0.18	c lb 140 (thread 0)
0.18/0.18	c lb 141 (thread 0)
0.18/0.18	c lb 142 (thread 0)
0.18/0.18	c lb 143 (thread 0)
0.18/0.18	c lb 144 (thread 0)
0.18/0.18	c lb 145 (thread 0)
0.18/0.19	c lb 146 (thread 0)
0.18/0.19	c lb 147 (thread 0)
0.18/0.19	c lb 148 (thread 0)
0.18/0.19	c lb 149 (thread 0)
0.18/0.19	c lb 150 (thread 0)
0.18/0.19	c lb 151 (thread 0)
0.18/0.20	c lb 152 (thread 0)
0.38/0.20	c lb 153 (thread 0)
0.38/0.20	c lb 154 (thread 0)
0.38/0.20	c lb 155 (thread 0)
0.38/0.20	c lb 156 (thread 0)
0.38/0.20	c lb 157 (thread 0)
0.38/0.21	c lb 158 (thread 0)
0.38/0.21	c lb 159 (thread 0)
0.38/0.21	c lb 160 (thread 0)
0.38/0.21	c lb 161 (thread 0)
0.38/0.21	c lb 162 (thread 0)
0.38/0.21	c lb 163 (thread 0)
0.38/0.21	c lb 164 (thread 0)
0.38/0.22	c lb 165 (thread 0)
0.38/0.22	c lb 166 (thread 0)
0.38/0.22	c lb 167 (thread 0)
0.38/0.22	c lb 168 (thread 0)
0.38/0.22	c lb 169 (thread 0)
0.38/0.22	c lb 170 (thread 0)
0.38/0.23	c lb 171 (thread 0)
0.38/0.23	c lb 172 (thread 0)
0.38/0.23	c lb 173 (thread 0)
0.38/0.23	c lb 174 (thread 0)
0.38/0.23	c lb 175 (thread 0)
0.38/0.23	c ub 303 (thread 1)
0.38/0.23	o 303
0.38/0.23	c lb 176 (thread 0)
0.38/0.24	c lb 177 (thread 0)
0.38/0.24	c lb 178 (thread 0)
0.38/0.24	c lb 179 (thread 0)
0.38/0.24	c lb 180 (thread 0)
0.38/0.24	c lb 181 (thread 0)
0.38/0.24	c lb 182 (thread 0)
0.38/0.25	c lb 183 (thread 0)
0.38/0.25	c lb 184 (thread 0)
0.38/0.25	c lb 185 (thread 0)
0.38/0.25	c lb 186 (thread 0)
0.38/0.25	c lb 187 (thread 0)
0.38/0.25	c lb 188 (thread 0)
0.38/0.26	c lb 189 (thread 0)
0.38/0.26	c lb 190 (thread 0)
0.38/0.26	c lb 191 (thread 0)
0.38/0.26	c lb 192 (thread 0)
0.38/0.26	c lb 193 (thread 0)
0.38/0.26	c lb 194 (thread 0)
0.38/0.26	c lb 195 (thread 0)
0.38/0.27	c lb 196 (thread 0)
0.38/0.27	c lb 197 (thread 0)
0.38/0.27	c lb 198 (thread 0)
0.38/0.27	c lb 199 (thread 0)
0.38/0.27	c lb 200 (thread 0)
0.38/0.27	c lb 201 (thread 0)
0.38/0.28	c lb 202 (thread 0)
0.38/0.28	c lb 203 (thread 0)
0.38/0.28	c lb 204 (thread 0)
0.38/0.28	c lb 205 (thread 0)
0.38/0.28	c lb 206 (thread 0)
0.38/0.28	c lb 207 (thread 0)
0.38/0.29	c lb 208 (thread 0)
0.38/0.29	c lb 209 (thread 0)
0.38/0.29	c lb 210 (thread 0)
0.38/0.29	c lb 211 (thread 0)
0.38/0.29	c lb 212 (thread 0)
0.38/0.29	c lb 213 (thread 0)
0.58/0.30	c lb 214 (thread 0)
0.58/0.30	c lb 215 (thread 0)
0.58/0.30	c lb 216 (thread 0)
0.58/0.30	c lb 217 (thread 0)
0.58/0.30	c lb 218 (thread 0)
0.58/0.30	c lb 219 (thread 0)
0.58/0.31	c lb 220 (thread 0)
0.58/0.31	c lb 221 (thread 0)
0.58/0.31	c lb 222 (thread 0)
0.58/0.31	c lb 223 (thread 0)
0.58/0.31	c lb 224 (thread 0)
0.58/0.32	c lb 225 (thread 0)
0.58/0.32	c lb 226 (thread 0)
0.58/0.32	c lb 227 (thread 0)
0.58/0.32	c lb 228 (thread 0)
0.58/0.32	c lb 229 (thread 0)
0.58/0.33	c lb 230 (thread 0)
0.58/0.33	c lb 231 (thread 0)
0.58/0.33	c lb 232 (thread 0)
0.58/0.33	c lb 233 (thread 0)
0.58/0.34	c lb 234 (thread 0)
0.58/0.35	c lb 235 (thread 0)
0.58/0.35	c lb 236 (thread 0)
0.58/0.35	c lb 237 (thread 0)
0.58/0.36	c lb 238 (thread 0)
0.58/0.36	c lb 239 (thread 0)
0.58/0.37	c lb 240 (thread 0)
0.78/0.40	c lb 241 (thread 0)
1.38/0.78	c lb 242 (thread 0)
1.38/0.78	c lb 243 (thread 0)
2.58/1.38	c lb 244 (thread 0)
6.78/3.45	c lb 245 (thread 0)
42.18/21.10	c ub 302 (thread 1)
57.98/29.05	o 302
57.98/29.05	c lb 246 (thread 0)
191.78/95.92	c ub 299 (thread 1)
296.59/148.34	o 299
296.59/148.34	c ub 298 (thread 1)
314.18/157.11	o 298
314.18/157.11	c lb 247 (thread 0)
705.19/352.66	c ub 297 (thread 1)
868.20/434.18	o 297
868.20/434.18	c ub 294 (thread 1)
1800.03/900.01	o 294
1800.03/900.01	s SATISFIABLE
1800.03/900.01	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 -x240 -x241 x242 -x243 -x244 x245 -x246 -x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 x287 -x288 -x289 -x290 x291 -x292 x293 x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 x448 -x449 x450 x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 x511 -x512 -x513 -x514 -x515 x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 x536 -x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 x562 -x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 x583 x584 -x585 -x586 -x587 -x588 x589 -x590 x591 -x592 -x593 x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 x606 -x607 x608 -x609 -x610 x611 -x612 -x613 x614 x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 -x666 x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 x717 -x718 x719 -x720 -x721 x722 x723 -x724 x725 x726 -x727 x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 x818 -x819 -x820 x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 x872 -x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 x920 -x921 x922 x923 -x924 -x925 x926 -x927 -x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 x939 -x940 x941 x942 -x943 -x944 x945 -x946 x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 x987 -x988 x989 -x990 -x991 -x992 -x993 x994 x995 x996 -x997 -x998 x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 -x1014 -x1015 -x1016 x1017 -x1018 x1019 x1020 -x1021 x1022 x1023 -x1024 -x1025 -x1026 x1027 -x1028 x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 x1068 -x1069 x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 x1094 -x1095 x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 -x1162 x1163 x1164 x1165 -x1166 -x1167 x1168 x1169 -x1170 x1171 -x1172 x1173 x1174 x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 x1195 -x1196 x1197 x1198 x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 x1208 -x1209 x1210 -x1211 x1212 -x1213 -x1214 x1215 -x1216 x1217 x1218 -x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 x1256 x1257 x1258 x1259 x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 x1270 x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1800.03/900.01	c Memory used           : 848.41 MB
1800.03/900.01	c CPU time              : 1791.25 s

Verifier Data 

OK	294

Watcher Data 

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-3500152-1307991839/watcher-3500152-1307991839 -o /tmp/evaluation-result-3500152-1307991839/solver-3500152-1307991839 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500152-1307991839.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: 3.54 3.77 2.85 3/180 1177
/proc/meminfo: memFree=11203856/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=2592 CPUtime=0 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) R 1175 1177 768 0 -1 4202496 396 0 0 0 0 0 0 0 25 0 1 0 910782042 2654208 348 33554432000 4194304 5714118 140735912563200 18446744073709551615 4228371 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/1177/statm: 648 348 159 372 0 254 0

[startup+0.035253 s]
/proc/loadavg: 3.54 3.77 2.85 3/180 1177
/proc/meminfo: memFree=11203856/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=164100 CPUtime=0.05 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 7031 0 0 0 4 1 0 0 25 0 3 0 910782042 168038400 6815 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 41025 6840 177 372 0 40650 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 164100

[startup+0.100264 s]
/proc/loadavg: 3.54 3.77 2.85 3/180 1177
/proc/meminfo: memFree=11203856/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=192316 CPUtime=0.18 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 15816 0 0 0 11 7 0 0 25 0 3 0 910782042 196931584 15583 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 48079 15589 177 372 0 47704 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 192316

[startup+0.300229 s]
/proc/loadavg: 3.54 3.77 2.85 3/180 1177
/proc/meminfo: memFree=11203856/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=200112 CPUtime=0.58 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 29830 0 0 0 37 21 0 0 25 0 3 0 910782042 204914688 29322 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 50028 29322 177 372 0 49653 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 200112

[startup+0.701163 s]
/proc/loadavg: 3.54 3.77 2.85 3/180 1177
/proc/meminfo: memFree=11203856/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=200720 CPUtime=1.38 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 30551 0 0 0 116 22 0 0 25 0 3 0 910782042 205537280 29993 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 50180 29993 179 372 0 49805 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 200720

[startup+1.501 s]
/proc/loadavg: 3.54 3.77 2.85 5/183 1180
/proc/meminfo: memFree=11071424/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=200720 CPUtime=2.98 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 31533 0 0 0 273 25 0 0 25 0 3 0 910782042 205537280 30975 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 50180 30975 179 372 0 49805 0
[pid=1177/tid=1179] ppid=1175 vsize=200720 CPUtime=1.49 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 2416 0 0 0 145 4 0 0 20 0 3 0 910782043 205537280 30975 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=200720 CPUtime=1.49 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 28593 0 0 0 128 21 0 0 19 0 3 0 910782043 205537280 30975 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 200720

[startup+3.10073 s]
/proc/loadavg: 3.54 3.77 2.85 5/183 1180
/proc/meminfo: memFree=11060512/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=200864 CPUtime=6.19 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 32776 0 0 0 590 29 0 0 25 0 3 0 910782042 205684736 32218 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 50216 32218 179 372 0 49841 0
[pid=1177/tid=1179] ppid=1175 vsize=200864 CPUtime=3.08 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 3609 0 0 0 301 7 0 0 25 0 3 0 910782043 205684736 32218 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=200864 CPUtime=3.08 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 28643 0 0 0 287 21 0 0 19 0 3 0 910782043 205684736 32218 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 200864

[startup+6.30117 s]
/proc/loadavg: 3.66 3.79 2.86 5/183 1180
/proc/meminfo: memFree=11039192/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=200720 CPUtime=12.58 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 34346 0 0 0 1224 34 0 0 25 0 3 0 910782042 205537280 33759 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 50180 33759 179 372 0 49805 0
[pid=1177/tid=1179] ppid=1175 vsize=200720 CPUtime=6.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 4983 0 0 0 618 11 0 0 25 0 3 0 910782043 205537280 33759 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=200720 CPUtime=6.28 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 28839 0 0 0 606 22 0 0 25 0 3 0 910782043 205537280 33759 33554432000 4194304 5714118 140735912563200 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 200720

[startup+12.701 s]
/proc/loadavg: 3.69 3.79 2.87 5/183 1180
/proc/meminfo: memFree=11001960/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=266256 CPUtime=25.38 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 36953 0 0 0 2495 43 0 0 25 0 3 0 910782042 272646144 36366 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 66564 36366 180 372 0 66189 0
[pid=1177/tid=1179] ppid=1175 vsize=266256 CPUtime=12.68 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 7190 0 0 0 1251 17 0 0 25 0 3 0 910782043 272646144 36366 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=266256 CPUtime=12.68 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 29239 0 0 0 1243 25 0 0 25 0 3 0 910782043 272646144 36366 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319434 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 266256

[startup+25.5007 s]
/proc/loadavg: 3.76 3.80 2.89 5/183 1182
/proc/meminfo: memFree=10960104/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=267236 CPUtime=50.98 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 41274 0 0 0 5037 61 0 0 25 0 3 0 910782042 273649664 40687 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 66809 40687 180 372 0 66434 0
[pid=1177/tid=1179] ppid=1175 vsize=267236 CPUtime=25.49 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 10585 0 0 0 2521 28 0 0 25 0 3 0 910782043 273649664 40687 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=267236 CPUtime=25.48 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 30165 0 0 0 2515 33 0 0 25 0 3 0 910782043 273649664 40687 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 267236

[startup+51.1012 s]
/proc/loadavg: 3.90 3.83 2.92 5/183 1184
/proc/meminfo: memFree=10909556/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=267128 CPUtime=102.18 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 46827 0 0 0 10120 98 0 0 25 0 3 0 910782042 273539072 46198 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 66782 46198 180 372 0 66407 0
[pid=1177/tid=1179] ppid=1175 vsize=267128 CPUtime=51.08 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 12769 0 0 0 5063 45 0 0 25 0 3 0 910782043 273539072 46198 33554432000 4194304 5714118 140735912563200 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=267128 CPUtime=51.08 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 33534 0 0 0 5055 53 0 0 25 0 3 0 910782043 273539072 46198 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 267128

[startup+102.307 s]
/proc/loadavg: 3.95 3.86 2.97 5/183 1186
/proc/meminfo: memFree=10818704/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=334700 CPUtime=204.59 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 63621 0 0 0 20294 165 0 0 25 0 3 0 910782042 342732800 62992 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 83675 62992 180 372 0 83300 0
[pid=1177/tid=1179] ppid=1175 vsize=334700 CPUtime=102.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 24370 0 0 0 10144 85 0 0 25 0 3 0 910782043 342732800 62992 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=334700 CPUtime=102.29 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 38727 0 0 0 10149 80 0 0 25 0 3 0 910782043 342732800 62992 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 334700

[startup+162.3 s]
/proc/loadavg: 4.12 3.92 3.05 5/183 1187
/proc/meminfo: memFree=10703328/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=334776 CPUtime=324.59 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 71121 0 0 0 32231 228 0 0 25 0 3 0 910782042 342810624 68467 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 83694 68467 180 372 0 83319 0
[pid=1177/tid=1179] ppid=1175 vsize=334776 CPUtime=162.28 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 31794 0 0 0 16096 132 0 0 25 0 3 0 910782043 342810624 68467 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=334776 CPUtime=162.28 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 38803 0 0 0 16134 94 0 0 25 0 3 0 910782043 342810624 68467 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319936 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 334776

[startup+222.301 s]
/proc/loadavg: 4.09 3.95 3.11 5/183 1189
/proc/meminfo: memFree=10654536/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=335340 CPUtime=444.58 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 74999 0 0 0 44165 293 0 0 25 0 3 0 910782042 343388160 72345 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 83835 72345 180 372 0 83460 0
[pid=1177/tid=1179] ppid=1175 vsize=335340 CPUtime=222.28 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 31861 0 0 0 22057 171 0 0 25 0 3 0 910782043 343388160 72345 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=335340 CPUtime=222.28 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 42614 0 0 0 22107 121 0 0 25 0 3 0 910782043 343388160 72345 33554432000 4194304 5714118 140735912563200 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 335340

[startup+282.301 s]
/proc/loadavg: 4.09 3.97 3.17 5/183 1191
/proc/meminfo: memFree=10585656/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=467924 CPUtime=564.59 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 86972 0 0 0 56081 378 0 0 25 0 3 0 910782042 479154176 84318 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 116981 84318 180 372 0 116606 0
[pid=1177/tid=1179] ppid=1175 vsize=467924 CPUtime=282.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 36147 0 0 0 28013 216 0 0 25 0 3 0 910782043 479154176 84318 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=467924 CPUtime=282.28 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 50301 0 0 0 28067 161 0 0 25 0 3 0 910782043 479154176 84318 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 467924

[startup+342.3 s]
/proc/loadavg: 4.03 3.97 3.22 5/183 1192
/proc/meminfo: memFree=10426640/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=470036 CPUtime=684.6 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 105644 0 0 0 68004 456 0 0 25 0 3 0 910782042 481316864 102990 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 117509 102990 180 372 0 117134 0
[pid=1177/tid=1179] ppid=1175 vsize=470036 CPUtime=342.28 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 44754 0 0 0 33976 252 0 0 25 0 3 0 910782043 481316864 102990 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=470036 CPUtime=342.29 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 60366 0 0 0 34026 203 0 0 25 0 3 0 910782043 481316864 102990 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 470036

[startup+402.301 s]
/proc/loadavg: 4.01 3.97 3.27 5/183 1194
/proc/meminfo: memFree=10352432/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=470176 CPUtime=804.59 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 112395 0 0 0 79953 506 0 0 25 0 3 0 910782042 481460224 109741 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 117544 109741 180 372 0 117169 0
[pid=1177/tid=1179] ppid=1175 vsize=470176 CPUtime=402.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 49788 0 0 0 39941 288 0 0 25 0 3 0 910782043 481460224 109741 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=470176 CPUtime=402.29 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 62083 0 0 0 40011 218 0 0 25 0 3 0 910782043 481460224 109741 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 470176

[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.31 5/183 1195
/proc/meminfo: memFree=10295852/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=535712 CPUtime=924.6 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 122831 0 0 0 91913 547 0 0 25 0 3 0 910782042 548569088 120177 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 133928 120177 180 372 0 133553 0
[pid=1177/tid=1179] ppid=1175 vsize=535712 CPUtime=462.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 60224 0 0 0 45915 314 0 0 25 0 3 0 910782043 548569088 120177 33554432000 4194304 5714118 140735912563200 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=535712 CPUtime=462.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 62083 0 0 0 45997 233 0 0 25 0 3 0 910782043 548569088 120177 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 535712

[startup+522.3 s]
/proc/loadavg: 4.00 3.97 3.35 5/183 1197
/proc/meminfo: memFree=10234808/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=602068 CPUtime=1044.61 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 132730 0 0 0 103866 595 0 0 25 0 3 0 910782042 616517632 130026 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 150517 130026 180 372 0 150142 0
[pid=1177/tid=1179] ppid=1175 vsize=602068 CPUtime=522.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 69941 0 0 0 51879 350 0 0 25 0 3 0 910782043 616517632 130026 33554432000 4194304 5714118 140735912563200 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=602068 CPUtime=522.29 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 62265 0 0 0 51985 244 0 0 25 0 3 0 910782043 616517632 130026 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 602068

[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.39 5/183 1199
/proc/meminfo: memFree=10166816/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=603608 CPUtime=1164.61 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 141671 0 0 0 115820 641 0 0 25 0 3 0 910782042 618094592 138967 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 150902 138967 180 372 0 150527 0
[pid=1177/tid=1179] ppid=1175 vsize=603608 CPUtime=582.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 78510 0 0 0 57843 386 0 0 25 0 3 0 910782043 618094592 138967 33554432000 4194304 5714118 140735912563200 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=603608 CPUtime=582.29 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 62637 0 0 0 57976 253 0 0 25 0 3 0 910782043 618094592 138967 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 603608

[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.42 5/183 1200
/proc/meminfo: memFree=10087272/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=735200 CPUtime=1284.61 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 162274 0 0 0 127767 694 0 0 25 0 3 0 910782042 752844800 159570 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 183800 159570 180 372 0 183425 0
[pid=1177/tid=1179] ppid=1175 vsize=735200 CPUtime=642.3 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 91580 0 0 0 63823 407 0 0 25 0 3 0 910782043 752844800 159570 33554432000 4194304 5714118 140735912563200 18446744073709551615 4281104 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=735200 CPUtime=642.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 70170 0 0 0 63944 286 0 0 25 0 3 0 910782043 752844800 159570 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 735200

[startup+702.3 s]
/proc/loadavg: 4.06 3.99 3.46 5/183 1202
/proc/meminfo: memFree=10003652/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=801484 CPUtime=1404.61 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 180733 0 0 0 139705 756 0 0 25 0 3 0 910782042 820719616 177831 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 200371 177831 180 372 0 199996 0
[pid=1177/tid=1179] ppid=1175 vsize=801484 CPUtime=702.29 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 101591 0 0 0 69799 430 0 0 25 0 3 0 910782043 820719616 177831 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=801484 CPUtime=702.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 78618 0 0 0 69905 325 0 0 22 0 3 0 910782043 820719616 177831 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 801484

[startup+762.307 s]
/proc/loadavg: 4.05 4.00 3.50 5/183 1203
/proc/meminfo: memFree=9929824/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=868556 CPUtime=1524.63 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 193220 0 0 0 151669 794 0 0 25 0 3 0 910782042 889401344 190318 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 217139 190318 180 372 0 216764 0
[pid=1177/tid=1179] ppid=1175 vsize=868556 CPUtime=762.3 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 108633 0 0 0 75786 444 0 0 25 0 3 0 910782043 889401344 190318 33554432000 4194304 5714118 140735912563200 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=868556 CPUtime=762.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 84063 0 0 0 75881 349 0 0 22 0 3 0 910782043 889401344 190318 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 868556

[startup+822.301 s]
/proc/loadavg: 4.02 4.00 3.53 5/183 1205
/proc/meminfo: memFree=9876328/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=868556 CPUtime=1644.62 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 198683 0 0 0 163632 830 0 0 25 0 3 0 910782042 889401344 195778 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 217139 195778 180 372 0 216764 0
[pid=1177/tid=1179] ppid=1175 vsize=868556 CPUtime=822.3 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 110288 0 0 0 81770 460 0 0 25 0 3 0 910782043 889401344 195778 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=868556 CPUtime=822.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 87871 0 0 0 81861 369 0 0 25 0 3 0 910782043 889401344 195778 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 868556

[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.55 5/183 1207
/proc/meminfo: memFree=9859792/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=868768 CPUtime=1764.62 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 202681 0 0 0 175596 866 0 0 25 0 3 0 910782042 889618432 199776 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 217192 199776 180 372 0 216817 0
[pid=1177/tid=1179] ppid=1175 vsize=868768 CPUtime=882.3 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 110302 0 0 0 87753 477 0 0 25 0 3 0 910782043 889618432 199776 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=868768 CPUtime=882.3 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 91855 0 0 0 87842 388 0 0 25 0 3 0 910782043 889618432 199776 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 868768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.56 3/179 1208
/proc/meminfo: memFree=10409248/32951124 swapFree=67063272/67111528
[pid=1177] ppid=1175 vsize=868768 CPUtime=1800.03 cores=0,2,4,6
/proc/1177/stat : 1177 (pwbo1.1) S 1175 1177 768 0 -1 4202496 204227 0 0 0 179123 880 0 0 25 0 3 0 910782042 889618432 201322 33554432000 4194304 5714118 140735912563200 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/1177/statm: 217192 201322 180 372 0 216817 0
[pid=1177/tid=1179] ppid=1175 vsize=868768 CPUtime=900.01 cores=0,2,4,6
/proc/1177/task/1179/stat : 1179 (pwbo1.1) R 1175 1177 768 0 -1 4202560 110303 0 0 0 89518 483 0 0 25 0 3 0 910782043 889618432 201322 33554432000 4194304 5714118 140735912563200 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=1177/tid=1180] ppid=1175 vsize=868768 CPUtime=900.01 cores=0,2,4,6
/proc/1177/task/1180/stat : 1180 (pwbo1.1) R 1175 1177 768 0 -1 4202560 93400 0 0 0 89605 396 0 0 25 0 3 0 910782043 889618432 201322 33554432000 4194304 5714118 140735912563200 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 868768

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 900.049
CPU time (s): 1800.09
CPU user time (s): 1791.25
CPU system time (s): 8.83766
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 868768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.25
system time used= 8.83766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204233
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= 265
involuntary context switches= 2729

runsolver used 1.66275 second user time and 3.23651 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-13 21:03:59
IDJOB=3500152
IDBENCH=2043
IDSOLVER=1954
FILE ID=node132/3500152-1307991839
RUNJOBID= node132-1307990931-1032
PBS_JOBID= 13559742
Free space on /tmp= 13340 MiB

SOLVER NAME= pwbo 1.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb
COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3500152-1307991839/watcher-3500152-1307991839 -o /tmp/evaluation-result-3500152-1307991839/solver-3500152-1307991839 -C 1800 -W 1900 -M 15500  pwbo1.1 -file-format=opb HOME/instance-3500152-1307991839.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=1057620746

node132.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.833
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.66
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.833
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	: 5332.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.82
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11204408 kB
Buffers:        137532 kB
Cached:       20849444 kB
SwapCached:       9580 kB
Active:        5576956 kB
Inactive:     15441180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11204408 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:            9604 kB
Writeback:           0 kB
AnonPages:       29268 kB
Mapped:          10012 kB
Slab:           664788 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 13332 MiB
End job on node132 at 2011-06-13 21:19:01