Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 107.29 | 107.289 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-66-100-0.wbo |
MD5SUM | 9ad94edd7f8408376c2683ae25697fb9 |
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.166973 |
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 | 1192 |
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 7.29/7.33 c 6.594 8.19531 1562 98236 7.29/7.33 o 180 26.19/26.25 c 23.5414 8.375 751 361561 26.19/26.25 o 80 107.19/107.28 c 97.1312 8.375 700 1457796 107.19/107.28 s OPTIMUM FOUND 107.19/107.28 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-2695441-1277898574/watcher-2695441-1277898574 -o /tmp/evaluation-result-2695441-1277898574/solver-2695441-1277898574 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695441-1277898574.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: 1.99 1.98 1.99 4/196 11089 /proc/meminfo: memFree=30996732/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=3844 CPUtime=0 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 671 0 0 0 0 0 0 0 25 0 1 0 131154651 3936256 591 4089446400 134512640 136421960 4292844704 18446744073709551615 135829965 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 961 591 193 467 0 492 0 [startup+0.086565 s] /proc/loadavg: 1.99 1.98 1.99 4/196 11089 /proc/meminfo: memFree=30996732/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=7616 CPUtime=0.08 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1591 0 0 0 8 0 0 0 25 0 1 0 131154651 7798784 1511 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 1904 1511 213 467 0 1435 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7616 [startup+0.100564 s] /proc/loadavg: 1.99 1.98 1.99 4/196 11089 /proc/meminfo: memFree=30996732/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=7616 CPUtime=0.09 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1599 0 0 0 9 0 0 0 25 0 1 0 131154651 7798784 1519 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 1904 1519 213 467 0 1435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7616 [startup+0.300539 s] /proc/loadavg: 1.99 1.98 1.99 4/196 11089 /proc/meminfo: memFree=30996732/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=7744 CPUtime=0.29 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1624 0 0 0 26 3 0 0 25 0 1 0 131154651 7929856 1544 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 1936 1544 213 467 0 1467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7744 [startup+0.700457 s] /proc/loadavg: 1.99 1.98 1.99 4/196 11089 /proc/meminfo: memFree=30996732/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=7744 CPUtime=0.69 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1646 0 0 0 62 7 0 0 25 0 1 0 131154651 7929856 1566 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 1936 1566 213 467 0 1467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7744 [startup+1.50033 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11090 /proc/meminfo: memFree=30991020/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=7872 CPUtime=1.49 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1673 0 0 0 133 16 0 0 25 0 1 0 131154651 8060928 1593 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 1968 1593 213 467 0 1499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7872 [startup+3.10103 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11090 /proc/meminfo: memFree=30990400/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8132 CPUtime=3.09 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1721 0 0 0 276 33 0 0 25 0 1 0 131154651 8327168 1641 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2033 1641 213 467 0 1564 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8132 [startup+6.30046 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11090 /proc/meminfo: memFree=30990520/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8260 CPUtime=6.29 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1766 0 0 0 564 65 0 0 25 0 1 0 131154651 8458240 1686 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2065 1686 213 467 0 1596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8260 [startup+12.7003 s] /proc/loadavg: 1.99 1.98 1.99 3/197 11090 /proc/meminfo: memFree=30988868/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=12.68 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1831 0 0 0 1142 126 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8572 [startup+25.5011 s] /proc/loadavg: 2.39 2.07 2.02 3/197 11090 /proc/meminfo: memFree=30981540/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=25.49 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1831 0 0 0 2285 264 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8572 [startup+51.1005 s] /proc/loadavg: 2.26 2.06 2.02 3/197 11091 /proc/meminfo: memFree=30975124/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=51.09 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 4607 502 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8572 [startup+102.306 s] /proc/loadavg: 2.10 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964532/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=102.3 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9259 971 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8572 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.10 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964764/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=105.5 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9550 1000 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8572 [startup+106.301 s] /proc/loadavg: 2.10 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964764/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=106.29 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9623 1006 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (KiB) 8572 [startup+106.706 s] /proc/loadavg: 2.09 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964764/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=106.69 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9660 1009 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 106.69 Current children cumulated vsize (KiB) 8572 [startup+107.101 s] /proc/loadavg: 2.09 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964764/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=107.09 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9696 1013 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 107.09 Current children cumulated vsize (KiB) 8572 [startup+107.201 s] /proc/loadavg: 2.09 2.05 2.01 3/197 11092 /proc/meminfo: memFree=30964764/32951124 swapFree=67111528/67111528 [pid=11089] ppid=11087 vsize=8572 CPUtime=107.19 /proc/11089/stat : 11089 (pbct) R 11087 11089 8684 0 -1 4202496 1832 0 0 0 9705 1014 0 0 25 0 1 0 131154651 8777728 1750 4089446400 134512640 136421960 4292844704 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/11089/statm: 2143 1750 236 467 0 1674 0 Current children cumulated CPU time (s) 107.19 Current children cumulated vsize (KiB) 8572 Child status: 0 Real time (s): 107.289 CPU time (s): 107.29 CPU user time (s): 97.1362 CPU system time (s): 10.1535 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 8572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 97.1362 system time used= 10.1535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1837 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= 177 runsolver used 0.140978 second user time and 0.353946 second system time The end
Begin job on node108 at 2010-06-30 13:49:34 IDJOB=2695441 IDBENCH=78840 IDSOLVER=1208 FILE ID=node108/2695441-1277898574 PBS_JOBID= 11197138 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.1111222539--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695441-1277898574/watcher-2695441-1277898574 -o /tmp/evaluation-result-2695441-1277898574/solver-2695441-1277898574 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695441-1277898574.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ad94edd7f8408376c2683ae25697fb9 RANDOM SEED=329229599 node108.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.855 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.71 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.855 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 : 5320.05 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.855 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.855 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.83 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.855 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.79 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.855 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.83 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.855 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.855 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: 30997252 kB Buffers: 182956 kB Cached: 1166912 kB SwapCached: 0 kB Active: 977412 kB Inactive: 834624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30997252 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1996 kB Writeback: 0 kB AnonPages: 462928 kB Mapped: 20028 kB Slab: 78168 kB PageTables: 5696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659156 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 node108 at 2010-06-30 13:51:21