Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 107 | 1800.03 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C880.b.opb |
MD5SUM | d95d18eb9f9494c32273975c1bc570ba |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 8.48471 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 756 |
Total number of constraints | 1853 |
Number of constraints which are clauses | 1853 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 756 |
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 | 756 |
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 | 756 |
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/459109-1178649069/instance-459109-1178649069.opb ...... 0.00/0.06 c done parsing opb. 0.00/0.06 o 672 0.00/0.06 o 667 0.00/0.06 o 666 0.00/0.07 o 665 0.00/0.07 o 664 0.00/0.07 o 663 0.00/0.08 o 662 0.00/0.08 o 661 0.00/0.08 o 660 0.00/0.09 o 659 0.00/0.09 o 658 0.08/0.09 o 657 0.08/0.10 o 656 0.09/0.10 o 655 0.09/0.10 o 654 0.09/0.10 o 653 0.09/0.11 o 652 0.09/0.11 o 651 0.09/0.11 o 650 0.09/0.12 o 649 0.09/0.12 o 648 0.09/0.12 o 647 0.09/0.13 o 646 0.09/0.13 o 645 0.09/0.13 o 644 0.09/0.14 o 643 0.09/0.14 o 642 0.09/0.14 o 641 0.09/0.15 o 640 0.09/0.15 o 639 0.09/0.15 o 638 0.09/0.16 o 637 0.09/0.16 o 636 0.09/0.16 o 635 0.09/0.16 o 634 0.09/0.17 o 633 0.09/0.17 o 632 0.09/0.17 o 631 0.09/0.18 o 630 0.09/0.18 o 629 0.09/0.18 o 628 0.09/0.19 o 627 0.09/0.19 o 626 0.09/0.19 o 625 0.09/0.19 o 624 0.19/0.20 o 623 0.19/0.20 o 622 0.19/0.20 o 621 0.19/0.21 o 620 0.19/0.21 o 619 0.19/0.21 o 618 0.19/0.22 o 617 0.19/0.22 o 616 0.19/0.22 o 615 0.19/0.22 o 614 0.19/0.23 o 613 0.19/0.23 o 612 0.19/0.23 o 611 0.19/0.24 o 610 0.19/0.24 o 609 0.19/0.25 o 608 0.19/0.25 o 499 0.19/0.25 o 498 0.19/0.26 o 493 0.19/0.26 o 492 0.19/0.26 o 491 0.19/0.26 o 490 0.19/0.27 o 489 0.19/0.27 o 488 0.19/0.27 o 487 0.19/0.27 o 486 0.19/0.28 o 485 0.19/0.28 o 484 0.19/0.28 o 483 0.19/0.28 o 482 0.19/0.29 o 481 0.19/0.29 o 193 0.19/0.29 o 189 0.19/0.30 o 188 0.29/0.30 o 187 0.29/0.30 o 186 0.29/0.30 o 185 0.29/0.30 o 184 0.29/0.30 o 183 0.29/0.30 o 182 0.29/0.31 o 181 0.29/0.31 o 180 0.29/0.31 o 179 0.29/0.31 o 178 29.49/29.52 o 177 29.49/29.53 o 176 29.49/29.53 o 175 29.49/29.53 o 174 29.49/29.53 o 173 29.49/29.53 o 172 29.49/29.53 o 171 29.49/29.53 o 170 29.49/29.53 o 169 29.49/29.54 o 168 29.49/29.54 o 167 29.49/29.54 o 166 29.49/29.54 o 165 29.49/29.54 o 164 60.07/60.14 o 163 60.07/60.14 o 162 60.07/60.14 o 161 60.07/60.14 o 160 60.07/60.14 o 159 60.07/60.14 o 158 60.07/60.14 o 157 60.07/60.15 o 156 60.07/60.15 o 155 60.07/60.15 o 154 60.07/60.15 o 153 60.07/60.15 o 152 60.07/60.15 o 151 60.07/60.15 o 150 60.07/60.15 o 149 60.07/60.16 o 148 60.07/60.16 o 147 60.07/60.16 o 146 60.07/60.16 o 145 60.07/60.16 o 144 60.07/60.16 o 143 60.07/60.16 o 142 60.07/60.16 o 141 60.07/60.17 o 140 60.07/60.17 o 139 60.07/60.17 o 138 60.07/60.17 o 137 60.07/60.17 o 136 60.07/60.17 o 135 60.07/60.17 o 134 60.07/60.18 o 131 60.07/60.18 o 130 60.07/60.18 o 129 60.07/60.18 o 128 60.07/60.18 o 127 60.07/60.18 o 126 60.07/60.18 o 124 60.07/60.18 o 123 60.07/60.19 o 122 60.07/60.19 o 121 60.07/60.19 o 120 60.07/60.19 o 119 60.07/60.19 o 118 60.07/60.19 o 117 60.07/60.19 o 116 60.17/60.20 o 115 60.17/60.20 o 114 60.17/60.20 o 113 60.17/60.21 o 112 60.17/60.21 o 111 60.17/60.21 o 110 60.17/60.22 o 109 60.17/60.23 o 108 60.17/60.24 o 107 1800.01/1800.50 s SATISFIABLE 1800.01/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.01/1800.50 v x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 1800.01/1800.50 v -x138 x139 -x14 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 -x15 x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 1800.01/1800.50 v -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 -x169 -x17 x170 -x171 -x172 x173 -x174 x175 -x176 -x177 1800.01/1800.50 v -x178 -x179 -x18 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 x195 -x196 1800.01/1800.50 v -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x21 -x210 x211 -x212 -x213 -x214 -x215 1800.01/1800.50 v -x216 x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 x23 -x230 -x231 -x232 -x233 -x234 -x235 1800.01/1800.50 v x236 -x237 -x238 -x239 -x24 x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x25 -x250 x251 -x252 -x253 x254 -x255 1800.01/1800.50 v -x256 x257 -x258 -x259 -x26 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 x272 -x273 -x274 -x275 1800.01/1800.50 v -x276 -x277 x278 -x279 -x28 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 1800.01/1800.50 v -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 x311 -x312 -x313 1800.01/1800.50 v -x314 -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x33 -x330 -x331 -x332 1800.01/1800.50 v -x333 x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 1800.01/1800.50 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 1800.01/1800.50 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 1800.01/1800.50 v x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x4 x40 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 1800.01/1800.50 v -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x42 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 1800.01/1800.50 v -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 1800.01/1800.50 v -x449 -x45 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 1800.01/1800.50 v -x469 -x47 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1800.01/1800.50 v -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 x495 -x496 x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.01/1800.50 v -x507 x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x52 -x520 -x521 -x522 x523 -x524 -x525 -x526 1800.01/1800.50 v x527 -x528 -x529 -x53 -x530 x531 x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1800.01/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.01/1800.50 v -x566 -x567 -x568 -x569 x57 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 1800.01/1800.50 v -x586 -x587 -x588 -x589 -x59 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 1800.01/1800.50 v -x605 -x606 x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 1800.01/1800.50 v -x624 x625 x626 -x627 -x628 -x629 -x63 x630 -x631 x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 1800.01/1800.50 v x644 -x645 -x646 -x647 x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 1800.01/1800.50 v x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 x679 -x68 -x680 -x681 -x682 1800.01/1800.50 v -x683 x684 -x685 x686 -x687 -x688 -x689 -x69 -x690 x691 -x692 x693 x694 -x695 -x696 -x697 -x698 x699 -x7 -x70 -x700 -x701 -x702 1800.01/1800.50 v x703 -x704 -x705 x706 -x707 -x708 x709 -x71 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 1800.01/1800.50 v -x723 -x724 x725 -x726 -x727 -x728 x729 -x73 -x730 x731 -x732 -x733 -x734 x735 -x736 x737 x738 x739 -x74 x740 x741 x742 -x743 1800.01/1800.50 v x744 -x745 -x746 -x747 x748 x749 -x75 x750 x751 x752 -x753 -x754 -x755 -x756 -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 1800.01/1800.50 v -x85 -x86 -x87 -x88 -x89 x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 107
/tmp/evaluation/459109-1178649069/instance-459109-1178649069.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-459109-1178649069 -o ROOT/results/node27/solver-459109-1178649069 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459109-1178649069/instance-459109-1178649069.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.91 0.97 0.99 3/65 14696 /proc/meminfo: memFree=1852176/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=1456 CPUtime=0 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 157 0 0 0 0 0 0 0 18 0 1 0 277602791 1490944 139 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 364 139 86 219 0 141 0 [startup+0.096562 s] /proc/loadavg: 0.91 0.97 0.99 3/65 14696 /proc/meminfo: memFree=1852176/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=1608 CPUtime=0.08 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 241 0 0 0 8 0 0 0 18 0 1 0 277602791 1646592 223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 402 223 101 219 0 179 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1608 [startup+0.101561 s] /proc/loadavg: 0.91 0.97 0.99 3/65 14696 /proc/meminfo: memFree=1852176/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=1608 CPUtime=0.09 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 241 0 0 0 9 0 0 0 18 0 1 0 277602791 1646592 223 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 402 223 101 219 0 179 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1608 [startup+0.301582 s] /proc/loadavg: 0.91 0.97 0.99 3/65 14696 /proc/meminfo: memFree=1852176/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=1608 CPUtime=0.29 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 263 0 0 0 27 2 0 0 19 0 1 0 277602791 1646592 245 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 402 245 102 219 0 179 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1608 [startup+0.701623 s] /proc/loadavg: 0.91 0.97 0.99 3/65 14696 /proc/meminfo: memFree=1852176/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=2568 CPUtime=0.69 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 412 0 0 0 66 3 0 0 22 0 1 0 277602791 2629632 394 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 642 394 102 219 0 419 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2568 [startup+1.5017 s] /proc/loadavg: 0.91 0.97 0.99 2/66 14697 /proc/meminfo: memFree=1850568/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=3592 CPUtime=1.49 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 652 0 0 0 146 3 0 0 25 0 1 0 277602791 3678208 634 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 898 634 102 219 0 675 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3592 [startup+3.10186 s] /proc/loadavg: 0.91 0.97 0.99 2/66 14697 /proc/meminfo: memFree=1849096/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=5740 CPUtime=3.09 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 1141 0 0 0 306 3 0 0 25 0 1 0 277602791 5877760 1123 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 1435 1123 102 219 0 1212 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5740 [startup+6.30119 s] /proc/loadavg: 0.92 0.97 0.99 2/66 14697 /proc/meminfo: memFree=1845320/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=9836 CPUtime=6.29 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 1993 0 0 0 625 4 0 0 25 0 1 0 277602791 10072064 1975 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544719 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 2459 1975 102 219 0 2236 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9836 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1840016/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=18484 CPUtime=12.69 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3139 0 0 0 1260 9 0 0 25 0 1 0 277602791 18927616 3072 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 4621 3072 102 219 0 4398 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18484 [startup+25.5011 s] /proc/loadavg: 0.94 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1839568/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=18752 CPUtime=25.49 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3226 0 0 0 2536 13 0 0 25 0 1 0 277602791 19202048 3159 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 4688 3159 102 219 0 4465 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18752 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1838928/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=19528 CPUtime=51.08 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3456 0 0 0 5093 15 0 0 25 0 1 0 277602791 19996672 3292 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 4882 3292 102 219 0 4659 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19528 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1838480/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=20048 CPUtime=102.27 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3604 0 0 0 10210 17 0 0 25 0 1 0 277602791 20529152 3440 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5012 3440 102 219 0 4789 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20048 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1838096/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=20192 CPUtime=162.25 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3692 0 0 0 16207 18 0 0 25 0 1 0 277602791 20676608 3528 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5048 3528 102 219 0 4825 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20192 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1837712/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=21252 CPUtime=222.24 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 3974 0 0 0 22205 19 0 0 25 0 1 0 277602791 21762048 3617 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5313 3617 102 219 0 5090 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 21252 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1837328/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=21416 CPUtime=282.22 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4067 0 0 0 28202 20 0 0 25 0 1 0 277602791 21929984 3710 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5354 3710 102 219 0 5131 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 21416 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1836880/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=21616 CPUtime=342.21 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4169 0 0 0 34199 22 0 0 25 0 1 0 277602791 22134784 3812 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5404 3812 102 219 0 5181 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 21616 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1836496/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=21944 CPUtime=402.18 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4264 0 0 0 40195 23 0 0 25 0 1 0 277602791 22470656 3907 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5486 3907 102 219 0 5263 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21944 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1835984/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=23608 CPUtime=462.17 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4733 0 0 0 46192 25 0 0 25 0 1 0 277602791 24174592 3991 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5902 3991 102 219 0 5679 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 23608 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1835856/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=23844 CPUtime=522.16 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4814 0 0 0 52189 27 0 0 25 0 1 0 277602791 24416256 4072 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557322 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5961 4072 102 219 0 5738 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 23844 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1835472/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=23972 CPUtime=582.14 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4904 0 0 0 58185 29 0 0 25 0 1 0 277602791 24547328 4162 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 5993 4162 102 219 0 5770 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 23972 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1835088/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=24244 CPUtime=642.13 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 4990 0 0 0 64182 31 0 0 25 0 1 0 277602791 24825856 4248 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 6061 4248 102 219 0 5838 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 24244 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1833872/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=24860 CPUtime=882.06 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 5305 0 0 0 88166 40 0 0 25 0 1 0 277602791 25456640 4563 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 6215 4563 102 219 0 5992 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 24860 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1833488/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=25040 CPUtime=942.05 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 5389 0 0 0 94162 43 0 0 25 0 1 0 277602791 25640960 4647 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 6260 4647 102 219 0 6037 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 25040 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1833168/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=25168 CPUtime=1002.04 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 5475 0 0 0 100158 46 0 0 25 0 1 0 277602791 25772032 4733 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 6292 4733 102 219 0 6069 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 25168 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1832656/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=28428 CPUtime=1062.02 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6334 0 0 0 106154 48 0 0 25 0 1 0 277602791 29110272 4823 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7107 4823 102 219 0 6884 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 28428 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1832400/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=28628 CPUtime=1122.01 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6420 0 0 0 112150 51 0 0 25 0 1 0 277602791 29315072 4909 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7157 4909 102 219 0 6934 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 28628 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1832080/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=28844 CPUtime=1181.99 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6495 0 0 0 118145 54 0 0 25 0 1 0 277602791 29536256 4984 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7211 4984 102 219 0 6988 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 28844 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1831760/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29072 CPUtime=1241.97 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6579 0 0 0 124141 56 0 0 25 0 1 0 277602791 29769728 5068 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7268 5068 102 219 0 7045 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 29072 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1831440/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29072 CPUtime=1301.96 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6653 0 0 0 130138 58 0 0 25 0 1 0 277602791 29769728 5142 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7268 5142 102 219 0 7045 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 29072 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1831120/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29312 CPUtime=1361.95 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6725 0 0 0 136135 60 0 0 25 0 1 0 277602791 30015488 5214 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7328 5214 102 219 0 7105 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 29312 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 14699 /proc/meminfo: memFree=1830800/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29436 CPUtime=1421.93 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6814 0 0 0 142130 63 0 0 25 0 1 0 277602791 30142464 5303 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7359 5303 102 219 0 7136 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 29436 [startup+1482.3 s] /proc/loadavg: 1.05 0.99 0.99 2/66 14699 /proc/meminfo: memFree=1830416/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29692 CPUtime=1481.91 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6893 0 0 0 148126 65 0 0 25 0 1 0 277602791 30404608 5382 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7423 5382 102 219 0 7200 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 29692 [startup+1542.3 s] /proc/loadavg: 1.07 1.00 1.00 2/66 14699 /proc/meminfo: memFree=1830160/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29964 CPUtime=1541.9 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 6963 0 0 0 154123 67 0 0 25 0 1 0 277602791 30683136 5452 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7491 5452 102 219 0 7268 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 29964 [startup+1602.3 s] /proc/loadavg: 1.07 1.01 1.00 2/66 14699 /proc/meminfo: memFree=1829840/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=29964 CPUtime=1601.89 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7056 0 0 0 160119 70 0 0 25 0 1 0 277602791 30683136 5545 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7491 5545 102 219 0 7268 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 29964 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/66 14699 /proc/meminfo: memFree=1829520/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=30252 CPUtime=1661.87 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7130 0 0 0 166116 71 0 0 25 0 1 0 277602791 30978048 5619 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7563 5619 102 219 0 7340 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 30252 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 1.00 2/66 14699 /proc/meminfo: memFree=1829200/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=30252 CPUtime=1721.86 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7207 0 0 0 172113 73 0 0 25 0 1 0 277602791 30978048 5696 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7563 5696 102 219 0 7340 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 30252 [startup+1782.3 s] /proc/loadavg: 1.02 1.02 1.00 2/66 14699 /proc/meminfo: memFree=1828880/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=30560 CPUtime=1781.84 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7283 0 0 0 178109 75 0 0 25 0 1 0 277602791 31293440 5772 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7640 5772 102 219 0 7417 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 30560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.02 1.02 1.00 2/72 14771 /proc/meminfo: memFree=1827352/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=30684 CPUtime=1800.01 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7303 0 0 0 179925 76 0 0 25 0 1 0 277602791 31420416 5792 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7671 5792 102 219 0 7448 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 30684 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.02 1.02 1.00 2/72 14771 /proc/meminfo: memFree=1827352/2055920 swapFree=4183084/4192956 [pid=14696] ppid=14694 vsize=30684 CPUtime=1800.01 /proc/14696/stat : 14696 (PBS4_SAT07v2) R 14694 14696 13534 0 -1 4194304 7303 0 0 0 179925 76 0 0 25 0 1 0 277602791 31420416 5792 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14696/statm: 7671 5792 102 219 0 7448 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 30684 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.26 CPU system time (s): 0.769882 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 30684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.26 system time used= 0.769882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7306 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= 1431 runsolver used 1.46778 second user time and 3.47147 second system time The end
Begin job on node27 on Tue May 8 18:31:09 UTC 2007 IDJOB= 459109 IDBENCH= 2880 IDSOLVER= 200 FILE ID= node27/459109-1178649069 PBS_JOBID= 5218332 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459109-1178649069/instance-459109-1178649069.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-459109-1178649069 -o ROOT/results/node27/conversion-459109-1178649069 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459109-1178649069/instance-459109-1178649069.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-459109-1178649069 -o ROOT/results/node27/solver-459109-1178649069 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459109-1178649069/instance-459109-1178649069.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba RANDOM SEED= 700432237 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB 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: 1852584 kB Buffers: 19272 kB Cached: 72696 kB SwapCached: 3776 kB Active: 48772 kB Inactive: 65656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852584 kB SwapTotal: 4192956 kB SwapFree: 4183084 kB Dirty: 2408 kB Writeback: 0 kB Mapped: 28592 kB Slab: 74908 kB Committed_AS: 5821432 kB PageTables: 1448 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= 66562 MiB End job on node27 on Tue May 8 19:01:11 UTC 2007