Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.05 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo |
MD5SUM | a882a0978da6ad149ec004c2c9449010 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.076988 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 840 |
Total number of constraints | 82 |
Number of soft constraints | 82 |
Number of constraints which are clauses | 42 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 21 |
Top cost | 4216 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4215 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 22 |
Number of bits of the biggest sum of numbers | 5 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/40 clauses 0/42 units 0 0.00/0.00 c vars 840 26.99/27.01 c 26.449 9.58594 4934 269072 26.99/27.01 o 1028 27.09/27.12 c 26.56 9.58594 4943 269426 27.09/27.12 o 985 49.99/50.05 c 49.3375 9.72656 5680 354935 49.99/50.05 o 803 50.19/50.23 c 49.5155 9.72656 5686 355539 50.19/50.23 o 731 73.39/73.46 c 72.629 9.72656 6179 431135 73.39/73.46 o 626 73.49/73.51 c 72.679 9.72656 6179 431236 73.49/73.51 o 604 73.59/73.60 c 72.7719 9.72656 6181 431476 73.59/73.60 o 573 110.59/110.69 c 109.71 9.72656 6794 534937 110.59/110.69 o 512 110.89/110.95 c 109.964 9.72656 6797 535460 110.89/110.95 o 499 110.99/111.09 c 110.107 9.72656 6800 535729 110.99/111.09 o 498 115.59/115.69 c 114.694 9.72656 6865 547449 115.59/115.69 o 332 115.69/115.77 c 114.772 9.72656 6867 547578 115.69/115.77 o 329 122.10/122.17 c 121.144 9.72656 6968 563225 122.10/122.17 o 304 157.50/157.57 c 156.388 9.72656 7503 643411 157.50/157.57 o 296 168.30/168.36 c 167.13 9.72656 7644 666241 168.30/168.36 o 258 169.40/169.49 c 168.259 9.72656 7656 668516 169.40/169.49 o 252 170.79/170.80 c 169.563 9.72656 7672 671099 170.79/170.80 o 162 172.20/172.26 c 171.019 9.72656 7694 673492 172.20/172.26 o 145 175.70/175.77 c 174.518 9.72656 7755 680028 175.70/175.77 o 138 181.00/181.09 c 179.815 9.72656 7809 690448 181.00/181.09 o 106 186.00/186.01 c 184.719 9.72656 7871 699834 186.00/186.01 o 87 191.50/191.54 c 190.222 9.72656 7930 710133 191.50/191.54 o 72 195.29/195.40 c 194.057 9.72656 7978 717615 195.29/195.40 o 59 196.80/196.80 c 195.464 9.85156 7986 720450 196.80/196.80 o 14 1800.04/1800.00 s SATISFIABLE 1800.04/1800.00 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
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695446-1277919334/watcher-2695446-1277919334 -o /tmp/evaluation-result-2695446-1277919334/solver-2695446-1277919334 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695446-1277919334.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15235 /proc/meminfo: memFree=31097412/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=3968 CPUtime=0 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 689 0 0 0 0 0 0 0 25 0 1 0 133230178 4063232 608 4089446400 134512640 136421960 4287184336 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/15235/statm: 992 611 193 467 0 523 0 [startup+0.061445 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15235 /proc/meminfo: memFree=31097412/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9560 CPUtime=0.05 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2083 0 0 0 3 2 0 0 25 0 1 0 133230178 9789440 2002 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/15235/statm: 2390 2002 213 467 0 1921 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9560 [startup+0.100438 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15235 /proc/meminfo: memFree=31097412/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9560 CPUtime=0.09 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2087 0 0 0 3 6 0 0 25 0 1 0 133230178 9789440 2006 4089446400 134512640 136421960 4287184336 18446744073709551615 135006114 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/15235/statm: 2390 2006 214 467 0 1921 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9560 [startup+0.300402 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15235 /proc/meminfo: memFree=31097412/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=0.29 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2099 0 0 0 13 16 0 0 25 0 1 0 133230178 9916416 2018 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/15235/statm: 2421 2018 214 467 0 1952 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9684 [startup+0.700331 s] /proc/loadavg: 2.00 2.00 2.00 3/196 15235 /proc/meminfo: memFree=31097412/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=0.69 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2103 0 0 0 48 21 0 0 25 0 1 0 133230178 9916416 2022 4089446400 134512640 136421960 4287184336 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2421 2022 214 467 0 1952 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9684 [startup+1.50019 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31090720/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=1.49 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2108 0 0 0 121 28 0 0 25 0 1 0 133230178 9916416 2027 4089446400 134512640 136421960 4287184336 18446744073709551615 134902237 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2421 2027 214 467 0 1952 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9684 [startup+3.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31090720/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=3.09 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2112 0 0 0 277 32 0 0 25 0 1 0 133230178 9916416 2031 4089446400 134512640 136421960 4287184336 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2421 2031 214 467 0 1952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9684 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31091424/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=6.29 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2116 0 0 0 592 37 0 0 25 0 1 0 133230178 9916416 2035 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2421 2035 214 467 0 1952 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9684 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31092060/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9684 CPUtime=12.69 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2125 0 0 0 1226 43 0 0 25 0 1 0 133230178 9916416 2044 4089446400 134512640 136421960 4287184336 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2421 2044 214 467 0 1952 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9684 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31093552/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9812 CPUtime=25.49 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2134 0 0 0 2494 55 0 0 25 0 1 0 133230178 10047488 2053 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2453 2053 214 467 0 1984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9812 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15236 /proc/meminfo: memFree=31093496/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9956 CPUtime=51.1 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2185 0 0 0 5038 72 0 0 25 0 1 0 133230178 10194944 2100 4089446400 134512640 136421960 4287184336 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2489 2100 237 467 0 2020 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 9956 [startup+102.306 s] /proc/loadavg: 2.03 2.01 2.00 3/197 15238 /proc/meminfo: memFree=31093332/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9956 CPUtime=102.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2196 0 0 0 10135 95 0 0 25 0 1 0 133230178 10194944 2108 4089446400 134512640 136421960 4287184336 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2489 2108 237 467 0 2020 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 9956 [startup+162.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15240 /proc/meminfo: memFree=31093024/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=9956 CPUtime=162.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2219 0 0 0 16109 121 0 0 25 0 1 0 133230178 10194944 2124 4089446400 134512640 136421960 4287184336 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2489 2124 237 467 0 2020 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 9956 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15242 /proc/meminfo: memFree=31093096/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=222.29 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2247 0 0 0 22085 144 0 0 25 0 1 0 133230178 10326016 2142 4089446400 134512640 136421960 4287184336 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2142 237 467 0 2052 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 10084 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15243 /proc/meminfo: memFree=31092948/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=282.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2250 0 0 0 28059 171 0 0 25 0 1 0 133230178 10326016 2145 4089446400 134512640 136421960 4287184336 18446744073709551615 134902168 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2145 237 467 0 2052 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 10084 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15244 /proc/meminfo: memFree=31093172/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=342.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2252 0 0 0 34032 198 0 0 25 0 1 0 133230178 10326016 2147 4089446400 134512640 136421960 4287184336 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2147 237 467 0 2052 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 10084 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15246 /proc/meminfo: memFree=31092904/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=402.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2252 0 0 0 40008 222 0 0 25 0 1 0 133230178 10326016 2147 4089446400 134512640 136421960 4287184336 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2147 237 467 0 2052 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 10084 [startup+462.3 s] /proc/loadavg: 2.14 2.07 2.02 3/197 15248 /proc/meminfo: memFree=31092984/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=462.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2254 0 0 0 45981 250 0 0 25 0 1 0 133230178 10326016 2149 4089446400 134512640 136421960 4287184336 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2149 237 467 0 2052 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 10084 [startup+522.301 s] /proc/loadavg: 2.11 2.07 2.02 3/197 15249 /proc/meminfo: memFree=31092704/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=522.3 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2254 0 0 0 51956 274 0 0 25 0 1 0 133230178 10326016 2149 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2149 237 467 0 2052 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 10084 [startup+582.3 s] /proc/loadavg: 2.04 2.05 2.01 3/197 15251 /proc/meminfo: memFree=31092684/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=582.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2256 0 0 0 57933 298 0 0 25 0 1 0 133230178 10326016 2151 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2151 237 467 0 2052 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 10084 [startup+642.301 s] /proc/loadavg: 2.06 2.05 2.01 3/197 15252 /proc/meminfo: memFree=31092632/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=642.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2256 0 0 0 63906 325 0 0 25 0 1 0 133230178 10326016 2151 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2151 237 467 0 2052 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 10084 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15258 /proc/meminfo: memFree=31092916/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=822.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 81833 398 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 10084 [startup+882.301 s] /proc/loadavg: 2.00 2.02 2.00 3/197 15259 /proc/meminfo: memFree=31092640/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=882.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 87810 421 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 10084 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15260 /proc/meminfo: memFree=31092864/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=942.31 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 93785 446 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 10084 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 15262 /proc/meminfo: memFree=31092588/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1002.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 99758 474 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 10084 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15294 /proc/meminfo: memFree=31370876/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1062.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 105731 501 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 10084 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15296 /proc/meminfo: memFree=31206364/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1122.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 111707 525 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 10084 [startup+1182.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15297 /proc/meminfo: memFree=31050212/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1182.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 117685 547 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 10084 [startup+1242.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15298 /proc/meminfo: memFree=30923708/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1242.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 123660 572 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902521 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 10084 [startup+1302.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15300 /proc/meminfo: memFree=30787780/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1302.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 129641 592 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 10084 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15302 /proc/meminfo: memFree=30669448/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1362.32 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 135612 620 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 10084 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15304 /proc/meminfo: memFree=30557820/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1422.34 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 141592 642 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 10084 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15305 /proc/meminfo: memFree=30423016/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1482.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 147566 667 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902536 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 10084 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15315 /proc/meminfo: memFree=30286676/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1542.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 153542 691 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 10084 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15317 /proc/meminfo: memFree=30184228/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1602.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 159519 714 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 10084 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15319 /proc/meminfo: memFree=30092936/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1662.34 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 165496 738 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 10084 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15320 /proc/meminfo: memFree=29980192/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1722.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 171474 759 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 10084 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15322 /proc/meminfo: memFree=29814732/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1782.33 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 177449 784 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 10084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15323 /proc/meminfo: memFree=29762020/32950928 swapFree=67111528/67111528 [pid=15235] ppid=15233 vsize=10084 CPUtime=1800.04 /proc/15235/stat : 15235 (pbct) R 15233 15235 14326 0 -1 4202496 2264 0 0 0 179214 790 0 0 25 0 1 0 133230178 10326016 2159 4089446400 134512640 136421960 4287184336 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15235/statm: 2521 2159 237 467 0 2052 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 10084 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): 1800.01 CPU time (s): 1800.05 CPU user time (s): 1792.14 CPU system time (s): 7.9068 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 10084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.14 system time used= 7.9068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2265 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= 1 involuntary context switches= 3093 runsolver used 2.48562 second user time and 5.71113 second system time The end
Begin job on node123 at 2010-06-30 19:35:34 IDJOB=2695446 IDBENCH=79148 IDSOLVER=1208 FILE ID=node123/2695446-1277919334 PBS_JOBID= 11197326 Free space on /tmp= 74204 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695446-1277919334/watcher-2695446-1277919334 -o /tmp/evaluation-result-2695446-1277919334/solver-2695446-1277919334 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695446-1277919334.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a882a0978da6ad149ec004c2c9449010 RANDOM SEED=1835635850 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.75 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.804 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.804 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.75 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.804 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.71 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.804 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.74 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31098056 kB Buffers: 205696 kB Cached: 1113420 kB SwapCached: 0 kB Active: 905168 kB Inactive: 801744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31098056 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2076 kB Writeback: 0 kB AnonPages: 388200 kB Mapped: 20360 kB Slab: 80044 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1654964 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node123 at 2010-06-30 20:05:36