0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00 c type "bsolo -h" for help
0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00 c Learning Strategy: Cardinality Constraint Learning
0.00/0.00 c Time Limit set to 1800
0.00/0.00 c Instance file HOME/instance-3463480-1307175317.opb
0.00/0.00 c File size is 79037 bytes.
0.00/0.00 c Highest Coefficient sum: 26
0.00/0.00 c Parsing was ok!!
0.00/0.00 c Total parsing time: 0.004 s
0.00/0.00 c Var: 900 Constr: 673 624/49/0 Lit: 9300 Watch. Lit: 2148
0.00/0.00 c Obj. Vars: 0 (0 % of total variables)
0.00/0.01 c Pre-processing Time: 0.017 s
0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time
0.00/0.01 c 0 900 673 9300 13 2148 5959 0 0 0.02
0.00/0.01 c Switching off lower bounding mode.
0.39/0.42 c 101 900 789 23495 29 3609 6555 116 2805 0.04
0.39/0.42 c 252 900 947 39034 41 4252 7211 274 4000 0.06
0.39/0.42 c 478 900 1180 73766 62 5346 7933 507 3648 0.13
0.39/0.42 c 817 900 1540 128181 83 7489 8727 867 3713 0.22
0.39/0.42 c 1325 900 2095 248630 118 10105 9600 1422 3185 0.42
0.39/0.42 c Backtracks by Clause: 1314
0.39/0.42 c Backtracks by PB constraint: 50
0.39/0.43 v -x587 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x265 -x769 -x770 -x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x301 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x392 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x172 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 x433 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x400 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x538 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x462 -x62 -x6 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x201 -x407 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x260 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x72 -x341 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x358 -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 -x127 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x469 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x87 -x383 -x286 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x162 -x349 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x573 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x113 x254 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x411 -x19 -x271 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x236 -x285 -x595 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x71 -x577 -x379 -x500 -x192 -x176 x514 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x394 -x63 -x444 -x237 -x460 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x350 x421 -x438 -x516 -x441 -x545 -x152 -x151 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x173 -x174 -x175 -x399 -x197 -x80 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x389 -x474 -x568 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x488 -x564 -x81 -x589 -x424 -x190 -x256 -x401 -x402 -x403 -x404 -x405 -x406 -x408 -x409 -x410 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x422 -x423 -x425 -x448 -x391 -x468 -x325 -x217 -x277 -x558 -x77 -x445 -x532 -x10 -x221 -x288 -x528 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x452 -x252 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x559 -x560 -x561 -x562 -x563 -x565 -x566 -x567 -x569 -x570 -x571 -x572 -x574 -x575 -x443 -x292 -x546 -x510 -x449 -x490 -x79 -x576 -x224 -x220 -x477 -x466 -x276 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x287 -x289 x290 -x291 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x235 -x511 -x178 -x483 -x522 -x70 -x431 -x137 -x398 x541 -x12 -x393 -x455 -x142 -x591 -x461 -x23 -x520 -x600 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x126 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x275 -x513 -x371 -x585 -x202 -x193 -x15 -x92 -x56 -x233 -x53 -x16 -x105 -x76 -x78 -x82 -x83 -x84 x85 -x86 -x88 -x89 -x90 -x91 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x373 -x359 -x593 -x242 -x240 -x313 -x122 -x426 -x427 -x428 -x429 -x430 -x432 -x434 -x435 -x436 -x437 -x439 -x440 -x442 -x446 -x447 -x450 -x266 -x380 -x1 -x536 -x311 -x456 -x2 -x387 -x501 x230 -x24 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x597 -x598 -x599 -x269 -x61 -x376 -x377 -x378 -x381 -x382 -x384 -x385 -x386 -x388 -x390 -x395 -x396 x397 -x453 -x191 x309 x225 -x59 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x512 -x515 -x517 -x518 -x519 -x521 -x523 -x524 -x525 -x231 -x210 -x205 x68 -x52 -x121 -x257 -x485 -x540 -x215 -x321 -x481 -x465 -x208 -x229 -x51 -x54 -x55 -x57 -x58 -x60 -x64 -x65 -x66 -x67 -x69 -x73 -x74 -x75 -x219 -x475 -x4 -x526 -x539 -x22 -x116 -x486 -x223 -x322 -x537 -x196 -x206 -x106 -x238 -x550 -x181 -x471 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x372 -x374 -x375 -x270 -x263 -x495 -x177 -x316 -x250 -x232 -x18 -x108 -x274 -x491 -x255 -x180 -x484 -x188 -x115 -x209 -x11 -x234 -x228 -x179 -x529 -x248 -x306 -x464 -x268 -x114 -x186 -x111 -x3 -x246 -x315 -x549 -x112 -x259 -x194 -x5 -x467 -x324 -x451 -x454 -x457 -x458 -x459 -x463 -x470 -x472 -x473 -x21 -x251 -x253 -x258 -x261 -x262 -x264 -x267 -x272 -x273 -x107 -x124 -x307 -x211 -x547 -x239 -x497 -x227 -x14 -x7 -x218 -x182 -x320 -x542 -x222 -x226 -x241 -x243 -x244 -x245 -x247 -x249 -x183 -x184 -x185 -x187 -x189 -x195 -x198 x199 -x200 -x119 -x496 -x323 x476 -x478 -x479 -x480 -x482 -x487 -x489 -x492 -x493 -x494 -x498 -x499 -x527 -x207 -x530 -x531 -x216 -x8 -x302 -x308 -x303 -x109 -x534 -x25 -x123 -x305 -x533 -x125 x20 -x118 -x203 -x310 -x213 -x548 -x101 -x214 -x9 -x319 -x318 -x543 -x110 -x544 -x102 -x103 -x104 x117 -x120 -x314 -x535 -x13 -x17 -x304 -x312 -x317 -x212 -x204
0.39/0.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time
0.39/0.43 c 5 1364 506 8242 2138 255189 1465 3186 0.43
0.39/0.43 s SATISFIABLE
0.39/0.43 c Total time: 0.428 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463480-1307175317/watcher-3463480-1307175317 -o /tmp/evaluation-result-3463480-1307175317/solver-3463480-1307175317 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463480-1307175317.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.33 1.55 1.80 2/550 31886
/proc/meminfo: memFree=20883044/32951124 swapFree=53733252/67111528
[pid=31886] ppid=31884 vsize=11180 CPUtime=0.01 cores=0,2,4,6
/proc/31886/stat : 31886 (bsolo) R 31884 31886 29102 0 -1 4202496 420 0 0 0 1 0 0 0 25 0 1 0 829132113 11448320 355 33554432000 134512640 137138936 4290052544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31886/statm: 2795 355 192 642 0 2151 0
[startup+0.0377909 s]
/proc/loadavg: 1.33 1.55 1.80 2/550 31886
/proc/meminfo: memFree=20883044/32951124 swapFree=53733252/67111528
[pid=31886] ppid=31884 vsize=11296 CPUtime=0.03 cores=0,2,4,6
/proc/31886/stat : 31886 (bsolo) R 31884 31886 29102 0 -1 4202496 441 0 0 0 3 0 0 0 25 0 1 0 829132113 11567104 376 33554432000 134512640 137138936 4290052544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31886/statm: 2824 376 192 642 0 2180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11296
[startup+0.10078 s]
/proc/loadavg: 1.33 1.55 1.80 2/550 31886
/proc/meminfo: memFree=20883044/32951124 swapFree=53733252/67111528
[pid=31886] ppid=31884 vsize=11752 CPUtime=0.09 cores=0,2,4,6
/proc/31886/stat : 31886 (bsolo) R 31884 31886 29102 0 -1 4202496 566 0 0 0 9 0 0 0 25 0 1 0 829132113 12034048 501 33554432000 134512640 137138936 4290052544 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31886/statm: 2938 501 192 642 0 2294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11752
[startup+0.300758 s]
/proc/loadavg: 1.33 1.55 1.80 2/550 31886
/proc/meminfo: memFree=20883044/32951124 swapFree=53733252/67111528
[pid=31886] ppid=31884 vsize=13388 CPUtime=0.29 cores=0,2,4,6
/proc/31886/stat : 31886 (bsolo) R 31884 31886 29102 0 -1 4202496 989 0 0 0 29 0 0 0 25 0 1 0 829132113 13709312 924 33554432000 134512640 137138936 4290052544 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31886/statm: 3347 924 192 642 0 2703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13388
Solver just ended. Dumping a history of the last processes samples
[startup+0.400729 s]
/proc/loadavg: 1.33 1.55 1.80 2/550 31886
/proc/meminfo: memFree=20883044/32951124 swapFree=53733252/67111528
[pid=31886] ppid=31884 vsize=14192 CPUtime=0.39 cores=0,2,4,6
/proc/31886/stat : 31886 (bsolo) R 31884 31886 29102 0 -1 4202496 1183 0 0 0 39 0 0 0 25 0 1 0 829132113 14532608 1118 33554432000 134512640 137138936 4290052544 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/31886/statm: 3548 1118 192 642 0 2904 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 14192
Child status: 0
Real time (s): 0.430448
CPU time (s): 0.429934
CPU user time (s): 0.426935
CPU system time (s): 0.002999
CPU usage (%): 99.8806
Max. virtual memory (cumulated for all children) (KiB): 14192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.426935
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1245
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= 3
involuntary context switches= 1
runsolver used 0.004999 second user time and 0.015997 second system time
The end
Begin job on node106 at 2011-06-04 10:15:17
IDJOB=3463480
IDBENCH=1429
IDSOLVER=1955
FILE ID=node106/3463480-1307175317
RUNJOBID= node106-1307175287-31541
PBS_JOBID= 13508822
Free space on /tmp= 73724 MiB
SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463480-1307175317/watcher-3463480-1307175317 -o /tmp/evaluation-result-3463480-1307175317/solver-3463480-1307175317 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463480-1307175317.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7b1cf6104f891053895193aa96c054c6
RANDOM SEED=2036267823
node106.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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.20
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.830
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.830
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.82
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
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.75
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.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 20883332 kB
Buffers: 399000 kB
Cached: 6048992 kB
SwapCached: 22744 kB
Active: 6161028 kB
Inactive: 5564168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 20883332 kB
SwapTotal: 67111528 kB
SwapFree: 53733252 kB
Dirty: 42304 kB
Writeback: 16 kB
AnonPages: 5273052 kB
Mapped: 26708 kB
Slab: 193540 kB
PageTables: 78584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 167767308 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= 73720 MiB
End job on node106 at 2011-06-04 10:15:18