Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 108.556 | 108.553 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo |
MD5SUM | 7d1a0d5c8a3f394cf884d27f593f1e02 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 80 |
Best CPU time to get the best result obtained on this benchmark | 0.395939 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 28 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1212 |
Number of bits of the biggest sum of numbers | 11 |
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 50/21 clauses 23/7 units 0 0.00/0.00 c vars 169 3.19/3.21 c 2.47762 7.88281 1870 122632 3.19/3.21 o 80 108.50/108.54 c 83.5773 8.03906 939 1583259 108.50/108.54 s OPTIMUM FOUND 108.50/108.54 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
OK 80
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695431-1277898424/watcher-2695431-1277898424 -o /tmp/evaluation-result-2695431-1277898424/solver-2695431-1277898424 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695431-1277898424.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 4/196 14700 /proc/meminfo: memFree=31138388/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=3844 CPUtime=0 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 665 0 0 0 0 0 0 0 21 0 1 0 131137587 3936256 585 4089446400 134512640 136421960 4291182176 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 961 586 193 467 0 492 0 [startup+0.0174771 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14700 /proc/meminfo: memFree=31138388/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=7016 CPUtime=0.01 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1446 0 0 0 1 0 0 0 21 0 1 0 131137587 7184384 1366 4089446400 134512640 136421960 4291182176 18446744073709551615 134911589 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 1754 1366 203 467 0 1285 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7016 [startup+0.100447 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14700 /proc/meminfo: memFree=31138388/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=7556 CPUtime=0.09 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1594 0 0 0 8 1 0 0 21 0 1 0 131137587 7737344 1514 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 1889 1514 213 467 0 1420 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7556 [startup+0.300409 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14700 /proc/meminfo: memFree=31138388/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=7684 CPUtime=0.29 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1628 0 0 0 21 8 0 0 21 0 1 0 131137587 7868416 1548 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 1921 1548 213 467 0 1452 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7684 [startup+0.700334 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14700 /proc/meminfo: memFree=31138388/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=7940 CPUtime=0.69 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1681 0 0 0 50 19 0 0 22 0 1 0 131137587 8130560 1601 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 1985 1601 213 467 0 1516 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7940 [startup+1.50019 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14701 /proc/meminfo: memFree=31133296/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=7940 CPUtime=1.49 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1681 0 0 0 107 42 0 0 25 0 1 0 131137587 8130560 1601 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 1985 1601 213 467 0 1516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7940 [startup+3.10086 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14701 /proc/meminfo: memFree=31133472/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8068 CPUtime=3.09 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1722 0 0 0 238 71 0 0 25 0 1 0 131137587 8261632 1642 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 2017 1642 213 467 0 1548 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8068 [startup+6.30027 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14701 /proc/meminfo: memFree=31133100/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=6.29 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 483 146 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8228 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14701 /proc/meminfo: memFree=31134072/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=12.69 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 976 293 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8228 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14701 /proc/meminfo: memFree=31129848/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=25.49 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 1955 594 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8228 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14702 /proc/meminfo: memFree=31125480/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=51.1 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 3923 1187 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8228 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 4/197 14703 /proc/meminfo: memFree=31124964/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=102.3 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 7866 2364 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8228 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14703 /proc/meminfo: memFree=31124964/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=105.5 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 8113 2437 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8228 [startup+107.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14703 /proc/meminfo: memFree=31124964/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=107.09 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1763 0 0 0 8237 2472 0 0 25 0 1 0 131137587 8425472 1682 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1682 236 467 0 1588 0 Current children cumulated CPU time (s) 107.09 Current children cumulated vsize (KiB) 8228 [startup+107.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14703 /proc/meminfo: memFree=31124840/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=107.89 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1770 0 0 0 8304 2485 0 0 25 0 1 0 131137587 8425472 1689 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1689 236 467 0 1588 0 Current children cumulated CPU time (s) 107.89 Current children cumulated vsize (KiB) 8228 [startup+108.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14703 /proc/meminfo: memFree=31124840/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=108.29 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1770 0 0 0 8337 2492 0 0 25 0 1 0 131137587 8425472 1689 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1689 236 467 0 1588 0 Current children cumulated CPU time (s) 108.29 Current children cumulated vsize (KiB) 8228 [startup+108.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14703 /proc/meminfo: memFree=31124840/32951124 swapFree=67111528/67111528 [pid=14700] ppid=14698 vsize=8228 CPUtime=108.5 /proc/14700/stat : 14700 (pbct) R 14698 14700 12830 0 -1 4202496 1770 0 0 0 8354 2496 0 0 25 0 1 0 131137587 8425472 1689 4089446400 134512640 136421960 4291182176 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/14700/statm: 2057 1689 236 467 0 1588 0 Current children cumulated CPU time (s) 108.5 Current children cumulated vsize (KiB) 8228 Child status: 0 Real time (s): 108.553 CPU time (s): 108.556 CPU user time (s): 83.5813 CPU system time (s): 24.9752 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.5813 system time used= 24.9752 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1775 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= 183 runsolver used 0.202969 second user time and 0.329949 second system time The end
Begin job on node141 at 2010-06-30 13:47:04 IDJOB=2695431 IDBENCH=78835 IDSOLVER=1208 FILE ID=node141/2695431-1277898424 PBS_JOBID= 11197071 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219348--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695431-1277898424/watcher-2695431-1277898424 -o /tmp/evaluation-result-2695431-1277898424/solver-2695431-1277898424 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695431-1277898424.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7d1a0d5c8a3f394cf884d27f593f1e02 RANDOM SEED=1966624712 node141.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.788 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.57 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.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.68 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.788 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.83 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.788 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.788 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.80 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.788 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.788 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.788 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31138420 kB Buffers: 181840 kB Cached: 1138564 kB SwapCached: 0 kB Active: 913492 kB Inactive: 755124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31138420 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2152 kB Writeback: 0 kB AnonPages: 348604 kB Mapped: 20320 kB Slab: 79076 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658560 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 node141 at 2010-06-30 13:48:52