Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 110.308 | 110.31 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo |
MD5SUM | 2cb7ef9d897234b1b8519dd953c1d1e7 |
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.222965 |
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 | 101 |
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 | 5034 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 5033 |
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 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.02/0.07 c 0.051992 7.56641 188 4448 0.02/0.07 o 363 0.09/0.16 c 0.110983 7.75391 753 6240 0.09/0.16 o 331 0.19/0.22 c 0.150977 7.75391 391 7834 0.19/0.22 o 218 0.19/0.22 c 0.150977 7.75391 392 7880 0.19/0.22 o 211 0.19/0.24 c 0.165974 7.75391 537 8296 0.19/0.24 o 175 0.29/0.39 c 0.238963 7.87891 435 9891 0.29/0.39 o 155 0.39/0.48 c 0.303953 7.87891 316 11172 0.39/0.48 o 138 0.39/0.49 c 0.308953 7.87891 345 11246 0.39/0.49 o 117 0.49/0.58 c 0.356945 7.87891 550 12704 0.49/0.58 o 108 0.49/0.59 c 0.357945 7.87891 564 12805 0.49/0.59 o 81 6.09/6.10 c 3.9274 8.00391 915 77818 6.09/6.10 o 74 6.09/6.11 c 3.9334 8.00391 779 78064 6.09/6.11 o 28 6.79/6.80 c 4.46932 8.00391 757 86920 6.79/6.80 o 25 10.89/10.92 c 7.56885 8.00391 843 142208 10.89/10.92 o 20 12.89/12.99 c 9.1926 8.00391 876 171968 12.89/12.99 o 17 28.29/28.31 c 21.0738 8.00391 1022 392399 28.29/28.31 o 15 37.79/37.82 c 28.4867 8.00391 961 528513 37.79/37.82 o 10 110.29/110.30 c 85.832 8.11328 916 1570323 110.29/110.30 s OPTIMUM FOUND 110.29/110.30 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 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695693-1277924900/watcher-2695693-1277924900 -o /tmp/evaluation-result-2695693-1277924900/solver-2695693-1277924900 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695693-1277924900.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.09 2.06 2.01 3/194 16097 /proc/meminfo: memFree=31223864/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=3840 CPUtime=0 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 654 0 0 0 0 0 0 0 22 0 1 0 133786302 3932160 574 4089446400 134512640 136421960 4287263808 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 960 575 193 467 0 491 0 [startup+0.029649 s] /proc/loadavg: 2.09 2.06 2.01 3/194 16097 /proc/meminfo: memFree=31223864/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=7744 CPUtime=0.02 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1636 0 0 0 2 0 0 0 23 0 1 0 133786302 7929856 1556 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 1936 1556 213 467 0 1467 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7744 [startup+0.100638 s] /proc/loadavg: 2.09 2.06 2.01 3/194 16097 /proc/meminfo: memFree=31223864/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=7936 CPUtime=0.09 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1690 0 0 0 6 3 0 0 23 0 1 0 133786302 8126464 1609 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 1984 1609 236 467 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7936 [startup+0.300602 s] /proc/loadavg: 2.09 2.06 2.01 3/194 16097 /proc/meminfo: memFree=31223864/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8064 CPUtime=0.29 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1714 0 0 0 19 10 0 0 23 0 1 0 133786302 8257536 1629 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2016 1629 236 467 0 1547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8064 [startup+0.700536 s] /proc/loadavg: 2.09 2.06 2.01 3/194 16097 /proc/meminfo: memFree=31223864/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8064 CPUtime=0.69 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1719 0 0 0 43 26 0 0 25 0 1 0 133786302 8257536 1629 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2016 1629 236 467 0 1547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.50039 s] /proc/loadavg: 2.08 2.05 2.01 3/195 16100 /proc/meminfo: memFree=31218524/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8064 CPUtime=1.49 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1745 0 0 0 96 53 0 0 25 0 1 0 133786302 8257536 1655 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2016 1655 236 467 0 1547 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8064 [startup+3.10012 s] /proc/loadavg: 2.08 2.05 2.01 3/195 16100 /proc/meminfo: memFree=31218320/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8192 CPUtime=3.09 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1761 0 0 0 197 112 0 0 25 0 1 0 133786302 8388608 1671 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2048 1671 236 467 0 1579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8192 [startup+6.30056 s] /proc/loadavg: 2.07 2.05 2.01 3/195 16100 /proc/meminfo: memFree=31218560/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8192 CPUtime=6.29 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1778 0 0 0 408 221 0 0 25 0 1 0 133786302 8388608 1686 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2048 1686 236 467 0 1579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8192 [startup+12.7005 s] /proc/loadavg: 2.07 2.05 2.01 3/195 16100 /proc/meminfo: memFree=31219076/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8192 CPUtime=12.69 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1780 0 0 0 896 373 0 0 25 0 1 0 133786302 8388608 1686 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/16097/statm: 2048 1686 236 467 0 1579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8192 [startup+25.5002 s] /proc/loadavg: 2.06 2.05 2.01 3/195 16100 /proc/meminfo: memFree=31219936/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8192 CPUtime=25.49 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1781 0 0 0 1887 662 0 0 25 0 1 0 133786302 8388608 1686 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2048 1686 236 467 0 1579 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8192 [startup+51.1008 s] /proc/loadavg: 2.03 2.04 2.01 3/195 16100 /proc/meminfo: memFree=31217056/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=51.09 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1787 0 0 0 3886 1223 0 0 25 0 1 0 133786302 8503296 1690 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1690 236 467 0 1607 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8304 [startup+102.306 s] /proc/loadavg: 2.01 2.04 2.00 3/195 16102 /proc/meminfo: memFree=31216668/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=102.3 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1797 0 0 0 7946 2284 0 0 25 0 1 0 133786302 8503296 1700 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1700 236 467 0 1607 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8304 Solver just ended. Dumping a history of the last processes samples [startup+105.5 s] /proc/loadavg: 2.01 2.03 2.00 3/195 16102 /proc/meminfo: memFree=31216668/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=105.5 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1805 0 0 0 8202 2348 0 0 25 0 1 0 133786302 8503296 1708 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1708 236 467 0 1607 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8304 [startup+108.701 s] /proc/loadavg: 2.01 2.03 2.00 3/195 16102 /proc/meminfo: memFree=31216416/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=108.69 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1805 0 0 0 8456 2413 0 0 25 0 1 0 133786302 8503296 1708 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1708 236 467 0 1607 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8304 [startup+109.501 s] /proc/loadavg: 2.01 2.03 2.00 3/195 16102 /proc/meminfo: memFree=31216416/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=109.49 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1805 0 0 0 8519 2430 0 0 25 0 1 0 133786302 8503296 1708 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1708 236 467 0 1607 0 Current children cumulated CPU time (s) 109.49 Current children cumulated vsize (KiB) 8304 [startup+109.901 s] /proc/loadavg: 2.01 2.03 2.00 3/195 16102 /proc/meminfo: memFree=31216416/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=109.89 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1805 0 0 0 8550 2439 0 0 25 0 1 0 133786302 8503296 1708 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1708 236 467 0 1607 0 Current children cumulated CPU time (s) 109.89 Current children cumulated vsize (KiB) 8304 [startup+110.301 s] /proc/loadavg: 2.01 2.03 2.00 3/195 16102 /proc/meminfo: memFree=31216416/32951132 swapFree=67111528/67111528 [pid=16097] ppid=16095 vsize=8304 CPUtime=110.29 /proc/16097/stat : 16097 (pbct) R 16095 16097 13489 0 -1 4202496 1805 0 0 0 8582 2447 0 0 25 0 1 0 133786302 8503296 1708 4089446400 134512640 136421960 4287263808 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/16097/statm: 2076 1708 236 467 0 1607 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 8304 Child status: 0 Real time (s): 110.31 CPU time (s): 110.308 CPU user time (s): 85.836 CPU system time (s): 24.4723 CPU usage (%): 99.9988 Max. virtual memory (cumulated for all children) (KiB): 8304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 85.8359 system time used= 24.4723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1810 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= 826 runsolver used 0.164974 second user time and 0.342947 second system time The end
Begin job on node128 at 2010-06-30 21:08:20 IDJOB=2695693 IDBENCH=79253 IDSOLVER=1208 FILE ID=node128/2695693-1277924900 PBS_JOBID= 11197276 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695693-1277924900/watcher-2695693-1277924900 -o /tmp/evaluation-result-2695693-1277924900/solver-2695693-1277924900 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695693-1277924900.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2cb7ef9d897234b1b8519dd953c1d1e7 RANDOM SEED=1615874156 node128.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.853 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.70 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.853 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.75 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.853 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.853 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.74 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.853 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.82 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.853 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.853 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.853 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: 32951132 kB MemFree: 31224260 kB Buffers: 209396 kB Cached: 1011620 kB SwapCached: 0 kB Active: 778516 kB Inactive: 805064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31224260 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2056 kB Writeback: 0 kB AnonPages: 362600 kB Mapped: 20464 kB Slab: 79060 kB PageTables: 5444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1650340 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 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 node128 at 2010-06-30 21:10:10