Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 71 | 1800.04 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 607 |
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 | 607 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 607 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb ...... 0.00/0.02 c done parsing opb. 0.00/0.02 o 472 0.00/0.03 o 468 0.00/0.03 o 467 0.00/0.03 o 466 0.00/0.03 o 465 0.00/0.03 o 464 0.00/0.03 o 463 0.00/0.04 o 462 0.00/0.04 o 461 0.00/0.04 o 460 0.00/0.04 o 459 0.00/0.04 o 458 0.00/0.05 o 457 0.00/0.05 o 456 0.00/0.05 o 455 0.00/0.05 o 454 0.00/0.05 o 453 0.00/0.05 o 452 0.00/0.06 o 451 0.00/0.06 o 450 0.00/0.06 o 449 0.00/0.06 o 448 0.00/0.06 o 447 0.00/0.06 o 446 0.00/0.07 o 445 0.00/0.07 o 444 0.00/0.07 o 443 0.00/0.07 o 442 0.00/0.07 o 441 0.00/0.07 o 440 0.00/0.08 o 439 0.00/0.08 o 438 0.00/0.08 o 437 0.00/0.08 o 436 0.08/0.08 o 435 0.08/0.09 o 434 0.08/0.09 o 433 0.08/0.09 o 432 0.08/0.09 o 431 0.08/0.09 o 430 0.08/0.09 o 429 0.08/0.10 o 428 0.09/0.10 o 427 0.09/0.10 o 426 0.09/0.10 o 425 0.09/0.10 o 424 0.09/0.10 o 423 0.09/0.11 o 422 0.09/0.11 o 421 0.09/0.11 o 420 0.09/0.11 o 419 0.09/0.11 o 418 0.09/0.11 o 417 0.09/0.12 o 416 0.09/0.12 o 415 0.09/0.12 o 414 0.09/0.12 o 413 0.09/0.12 o 412 0.09/0.12 o 411 0.09/0.13 o 410 0.09/0.13 o 409 0.09/0.13 o 408 0.09/0.13 o 407 0.09/0.13 o 406 0.09/0.13 o 405 0.09/0.14 o 404 0.09/0.14 o 403 0.09/0.14 o 402 0.09/0.14 o 401 0.09/0.14 o 400 0.09/0.14 o 399 0.09/0.14 o 398 0.09/0.15 o 397 0.09/0.15 o 396 0.09/0.15 o 395 0.09/0.15 o 394 0.09/0.15 o 393 0.09/0.15 o 392 0.09/0.16 o 391 0.09/0.16 o 390 0.09/0.16 o 389 0.09/0.16 o 388 0.09/0.16 o 387 0.09/0.16 o 386 0.09/0.16 o 385 0.09/0.17 o 384 0.09/0.17 o 383 0.09/0.17 o 382 0.09/0.17 o 381 0.09/0.17 o 380 0.09/0.17 o 379 0.09/0.17 o 378 0.09/0.18 o 377 0.09/0.18 o 376 0.09/0.18 o 375 0.09/0.18 o 374 0.09/0.18 o 373 0.09/0.18 o 372 0.09/0.18 o 371 0.09/0.19 o 370 0.09/0.19 o 369 0.09/0.19 o 368 0.09/0.19 o 367 0.09/0.19 o 366 0.09/0.19 o 365 0.09/0.19 o 364 0.09/0.20 o 363 0.19/0.20 o 362 0.19/0.20 o 361 0.19/0.20 o 360 0.19/0.20 o 359 0.19/0.20 o 358 0.19/0.20 o 357 0.19/0.21 o 356 0.19/0.21 o 355 0.19/0.21 o 354 0.19/0.21 o 353 0.19/0.21 o 352 0.19/0.21 o 351 0.19/0.21 o 350 0.19/0.21 o 349 0.19/0.22 o 348 0.19/0.22 o 347 0.19/0.22 o 346 0.19/0.22 o 345 0.19/0.22 o 344 0.19/0.22 o 343 0.19/0.23 o 342 0.19/0.23 o 341 0.19/0.23 o 340 0.19/0.23 o 316 0.19/0.23 o 315 0.19/0.23 o 314 0.19/0.24 o 313 0.19/0.24 o 312 0.19/0.24 o 311 0.19/0.24 o 310 0.19/0.24 o 309 0.19/0.24 o 308 0.19/0.24 o 307 0.19/0.25 o 306 0.19/0.25 o 305 0.19/0.25 o 304 0.19/0.25 o 303 0.19/0.25 o 302 0.19/0.25 o 301 0.19/0.25 o 300 0.19/0.26 o 299 0.19/0.26 o 298 0.19/0.26 o 297 0.19/0.26 o 296 0.19/0.26 o 295 0.19/0.26 o 294 0.19/0.26 o 293 0.19/0.27 o 292 0.19/0.27 o 291 0.19/0.27 o 290 0.19/0.27 o 289 0.19/0.27 o 288 0.19/0.27 o 287 0.19/0.27 o 286 0.19/0.28 o 285 0.19/0.28 o 284 0.19/0.28 o 283 0.19/0.28 o 276 0.19/0.28 o 275 0.19/0.28 o 274 0.19/0.29 o 265 0.19/0.29 o 264 0.19/0.29 o 262 0.19/0.29 o 261 0.19/0.29 o 260 0.19/0.29 o 259 0.19/0.29 o 258 0.19/0.30 o 257 0.29/0.30 o 256 0.29/0.30 o 255 0.29/0.30 o 127 0.29/0.30 o 126 0.29/0.31 o 123 41.08/41.17 o 122 41.08/41.17 o 121 41.08/41.17 o 120 41.08/41.17 o 119 41.08/41.17 o 118 41.08/41.17 o 117 41.08/41.17 o 116 41.08/41.17 o 115 41.08/41.18 o 114 41.08/41.18 o 113 41.08/41.18 o 112 41.08/41.18 o 111 41.08/41.18 o 110 41.08/41.18 o 109 41.08/41.18 o 108 41.08/41.18 o 107 41.08/41.18 o 106 41.08/41.18 o 105 41.08/41.19 o 104 41.08/41.19 o 103 41.08/41.20 o 102 41.08/41.20 o 101 41.18/41.20 o 99 41.18/41.20 o 98 41.18/41.20 o 97 41.18/41.20 o 96 41.18/41.20 o 95 41.18/41.20 o 94 41.18/41.20 o 93 41.18/41.21 o 92 41.18/41.21 o 91 41.18/41.21 o 90 41.18/41.21 o 89 41.18/41.21 o 88 41.18/41.21 o 87 41.18/41.21 o 86 41.18/41.22 o 85 41.18/41.22 o 84 41.18/41.22 o 83 41.18/41.22 o 82 41.18/41.22 o 81 41.18/41.22 o 80 41.18/41.22 o 79 41.18/41.23 o 78 41.18/41.23 o 77 41.18/41.23 o 76 41.18/41.23 o 75 41.28/41.30 o 74 42.48/42.59 o 73 295.91/296.06 o 72 898.85/899.15 o 71 1800.03/1800.50 s SATISFIABLE 1800.03/1800.50 v -x1 x10 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.03/1800.50 v -x119 -x12 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x13 x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 1800.03/1800.50 v -x139 -x14 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x15 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 1800.03/1800.50 v -x159 -x16 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 x174 -x175 x176 x177 -x178 1800.03/1800.50 v -x179 -x18 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 x192 -x193 x194 -x195 -x196 x197 x198 1800.03/1800.50 v -x199 -x2 x20 -x200 x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 1800.03/1800.50 v -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x23 -x230 x231 x232 -x233 -x234 -x235 -x236 -x237 1800.03/1800.50 v -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 x251 -x252 -x253 -x254 -x255 -x256 1800.03/1800.50 v -x257 -x258 -x259 -x26 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 x275 1800.03/1800.50 v -x276 -x277 -x278 x279 -x28 x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x29 -x290 -x291 x292 -x293 -x294 -x295 1800.03/1800.50 v -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 1800.03/1800.50 v -x315 -x316 x317 -x318 -x319 -x32 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 x329 x33 -x330 -x331 -x332 -x333 -x334 1800.03/1800.50 v -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 1800.03/1800.50 v -x354 -x355 -x356 -x357 -x358 -x359 x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 x372 1800.03/1800.50 v -x373 -x374 -x375 -x376 x377 -x378 -x379 x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 x390 -x391 -x392 1800.03/1800.50 v -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 x403 x404 -x405 -x406 x407 -x408 -x409 -x41 -x410 -x411 1800.03/1800.50 v -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 1800.03/1800.50 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 -x45 1800.03/1800.50 v -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.03/1800.50 v -x47 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.03/1800.50 v -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.03/1800.50 v -x508 -x509 -x51 -x510 x511 -x512 -x513 x514 x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 1800.03/1800.50 v -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 x546 1800.03/1800.50 v -x547 x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x56 x560 -x561 -x562 -x563 -x564 -x565 1800.03/1800.50 v -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 1800.03/1800.50 v -x585 -x586 -x587 -x588 -x589 x59 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 x603 1800.03/1800.50 v -x604 -x605 -x606 -x607 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 1800.03/1800.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99
OK 71
/tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-458816-1178644188 -o ROOT/results/node24/solver-458816-1178644188 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 7075 /proc/meminfo: memFree=1531848/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=1460 CPUtime=0 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 312336828 1495040 135 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 365 135 86 219 0 142 0 [startup+0.0866349 s] /proc/loadavg: 0.92 0.98 0.99 3/77 7075 /proc/meminfo: memFree=1531848/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=1456 CPUtime=0.08 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 200 0 0 0 7 1 0 0 18 0 1 0 312336828 1490944 182 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 364 182 101 219 0 141 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1456 [startup+0.101637 s] /proc/loadavg: 0.92 0.98 0.99 3/77 7075 /proc/meminfo: memFree=1531848/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=1456 CPUtime=0.09 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 200 0 0 0 8 1 0 0 18 0 1 0 312336828 1490944 182 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 364 182 101 219 0 141 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1456 [startup+0.301657 s] /proc/loadavg: 0.92 0.98 0.99 3/77 7075 /proc/meminfo: memFree=1531848/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=1588 CPUtime=0.29 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 224 0 0 0 24 5 0 0 20 0 1 0 312336828 1626112 206 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 397 206 102 219 0 174 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1588 [startup+0.701701 s] /proc/loadavg: 0.92 0.98 0.99 3/77 7075 /proc/meminfo: memFree=1531848/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=2356 CPUtime=0.69 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 411 0 0 0 63 6 0 0 24 0 1 0 312336828 2412544 393 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560793 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 589 393 102 219 0 366 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2356 [startup+1.50179 s] /proc/loadavg: 0.92 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1530048/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=5640 CPUtime=1.49 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 783 0 0 0 143 6 0 0 25 0 1 0 312336828 5775360 765 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 1410 766 102 219 0 1187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5640 [startup+3.10196 s] /proc/loadavg: 0.92 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1527808/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=9932 CPUtime=3.09 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 1574 0 0 0 302 7 0 0 25 0 1 0 312336828 10170368 1556 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 2483 1556 102 219 0 2260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9932 [startup+6.30131 s] /proc/loadavg: 0.93 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1523136/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=10388 CPUtime=6.29 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 2455 0 0 0 619 10 0 0 25 0 1 0 312336828 10637312 2388 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 2597 2388 102 219 0 2374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10388 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1522048/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=10660 CPUtime=12.69 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 2568 0 0 0 1258 11 0 0 25 0 1 0 312336828 10915840 2501 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 2665 2501 102 219 0 2442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10660 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1521536/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=11332 CPUtime=25.48 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 2788 0 0 0 2535 13 0 0 25 0 1 0 312336828 11603968 2624 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 2833 2624 102 219 0 2610 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11332 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1520832/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=11724 CPUtime=51.08 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 2959 0 0 0 5091 17 0 0 25 0 1 0 312336828 12005376 2795 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 2931 2795 102 219 0 2708 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11724 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1520192/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=12896 CPUtime=102.27 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 3322 0 0 0 10207 20 0 0 25 0 1 0 312336828 13205504 2965 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 3224 2965 102 219 0 3001 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12896 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1519488/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=13372 CPUtime=162.25 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 3493 0 0 0 16202 23 0 0 25 0 1 0 312336828 13692928 3136 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 3343 3136 102 219 0 3120 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13372 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1518784/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=15392 CPUtime=222.23 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 4057 0 0 0 22196 27 0 0 25 0 1 0 312336828 15761408 3315 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 3848 3315 102 219 0 3625 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 15392 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1518080/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=15712 CPUtime=282.22 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 4232 0 0 0 28191 31 0 0 25 0 1 0 312336828 16089088 3490 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 3928 3490 102 219 0 3705 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 15712 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1517312/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=16140 CPUtime=342.2 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 4406 0 0 0 34184 36 0 0 25 0 1 0 312336828 16527360 3664 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 4035 3664 102 219 0 3812 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 16140 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1516736/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=16456 CPUtime=402.18 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 4564 0 0 0 40179 39 0 0 25 0 1 0 312336828 16850944 3822 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 4114 3822 102 219 0 3891 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 16456 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1516096/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=16756 CPUtime=462.17 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 4709 0 0 0 46174 43 0 0 25 0 1 0 312336828 17158144 3967 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 4189 3967 102 219 0 3966 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 16756 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1515328/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=20208 CPUtime=522.15 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 5638 0 0 0 52168 47 0 0 25 0 1 0 312336828 20692992 4127 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5052 4127 102 219 0 4829 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 20208 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 7076 /proc/meminfo: memFree=1514880/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=20416 CPUtime=582.14 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 5784 0 0 0 58163 51 0 0 25 0 1 0 312336828 20905984 4273 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5104 4273 102 219 0 4881 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 20416 [startup+642.302 s] /proc/loadavg: 1.07 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1514240/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=20868 CPUtime=642.13 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 5940 0 0 0 64159 54 0 0 25 0 1 0 312336828 21368832 4429 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5217 4429 102 219 0 4994 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 20868 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1512064/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=22080 CPUtime=882.06 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 6481 0 0 0 88137 69 0 0 25 0 1 0 312336828 22609920 4970 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5520 4970 102 219 0 5297 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 22080 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1511488/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=22396 CPUtime=942.04 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 6627 0 0 0 94131 73 0 0 25 0 1 0 312336828 22933504 5116 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5599 5116 102 219 0 5376 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 22396 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1510976/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=22396 CPUtime=1002.03 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 6743 0 0 0 100127 76 0 0 25 0 1 0 312336828 22933504 5232 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5599 5232 102 219 0 5376 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 22396 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1510528/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=22732 CPUtime=1062.02 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 6869 0 0 0 106122 80 0 0 25 0 1 0 312336828 23277568 5358 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5683 5358 102 219 0 5460 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 22732 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1510080/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=23216 CPUtime=1122 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 6998 0 0 0 112116 84 0 0 25 0 1 0 312336828 23773184 5487 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5804 5487 102 219 0 5581 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 23216 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1509504/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=23216 CPUtime=1181.98 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 7119 0 0 0 118110 88 0 0 25 0 1 0 312336828 23773184 5608 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 5804 5608 102 219 0 5581 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 23216 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1508928/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=29736 CPUtime=1241.97 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 8791 0 0 0 124104 93 0 0 25 0 1 0 312336828 30449664 5743 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560640 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7434 5743 102 219 0 7211 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 29736 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1508480/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=30136 CPUtime=1301.96 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 8904 0 0 0 130099 97 0 0 25 0 1 0 312336828 30859264 5856 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7534 5856 102 219 0 7311 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 30136 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 7076 /proc/meminfo: memFree=1508032/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=30136 CPUtime=1361.94 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9036 0 0 0 136093 101 0 0 25 0 1 0 312336828 30859264 5988 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7534 5988 102 219 0 7311 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 30136 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/78 7076 /proc/meminfo: memFree=1507456/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=30560 CPUtime=1421.92 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9168 0 0 0 142088 104 0 0 25 0 1 0 312336828 31293440 6120 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7640 6120 102 219 0 7417 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 30560 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1507072/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=30560 CPUtime=1481.9 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9273 0 0 0 148083 107 0 0 25 0 1 0 312336828 31293440 6225 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7640 6225 102 219 0 7417 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 30560 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1506560/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=31140 CPUtime=1541.89 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9399 0 0 0 154078 111 0 0 25 0 1 0 312336828 31887360 6351 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7785 6351 102 219 0 7562 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 31140 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1506112/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=31620 CPUtime=1601.87 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9515 0 0 0 160073 114 0 0 25 0 1 0 312336828 32378880 6467 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7905 6467 102 219 0 7682 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 31620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1505728/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=31620 CPUtime=1661.86 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9618 0 0 0 166068 118 0 0 25 0 1 0 312336828 32378880 6570 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7905 6570 102 219 0 7682 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 31620 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1505280/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=31620 CPUtime=1721.84 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9724 0 0 0 172063 121 0 0 25 0 1 0 312336828 32378880 6676 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 7905 6676 102 219 0 7682 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 31620 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1504768/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=32132 CPUtime=1781.82 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9851 0 0 0 178057 125 0 0 25 0 1 0 312336828 32903168 6803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 8033 6803 102 219 0 7810 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 32132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1504640/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=32132 CPUtime=1800.03 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9883 0 0 0 179877 126 0 0 25 0 1 0 312336828 32903168 6835 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 8033 6835 102 219 0 7810 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 32132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7076 /proc/meminfo: memFree=1504640/2055920 swapFree=4143684/4192956 [pid=7075] ppid=7073 vsize=32132 CPUtime=1800.03 /proc/7075/stat : 7075 (PBS4_SAT07v2) R 7073 7075 6413 0 -1 4194304 9883 0 0 0 179877 126 0 0 25 0 1 0 312336828 32903168 6835 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7075/statm: 8033 6835 102 219 0 7810 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 32132 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1798.77 CPU system time (s): 1.26781 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 32132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.26781 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9886 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= 8 involuntary context switches= 35909 runsolver used 1.49177 second user time and 4.14337 second system time The end
Begin job on node24 on Tue May 8 17:09:48 UTC 2007 IDJOB= 458816 IDBENCH= 2053 IDSOLVER= 200 FILE ID= node24/458816-1178644188 PBS_JOBID= 5218351 Free space on /tmp= 66503 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-458816-1178644188 -o ROOT/results/node24/conversion-458816-1178644188 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-458816-1178644188 -o ROOT/results/node24/solver-458816-1178644188 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458816-1178644188/instance-458816-1178644188.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED= 533762581 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1532384 kB Buffers: 39760 kB Cached: 336256 kB SwapCached: 16956 kB Active: 139384 kB Inactive: 297656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1532384 kB SwapTotal: 4192956 kB SwapFree: 4143684 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 68136 kB Slab: 71916 kB Committed_AS: 7469960 kB PageTables: 1904 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66503 MiB End job on node24 on Tue May 8 17:39:51 UTC 2007