Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 113.248 | 113.249 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo |
MD5SUM | 3ecfb348b02f410f6916aad78d9eab96 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.327949 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1227 |
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 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.05 c 0.047992 7.43359 101 1710 0.00/0.05 o 488 0.00/0.05 c 0.049992 7.61328 104 1810 0.00/0.05 o 313 0.00/0.06 c 0.055991 7.61328 146 1983 0.00/0.06 o 305 0.09/0.10 c 0.089986 7.61328 421 3066 0.09/0.10 o 290 0.09/0.11 c 0.094985 7.61328 446 3130 0.09/0.11 o 271 0.09/0.11 c 0.098984 7.61328 459 3204 0.09/0.11 o 237 0.09/0.16 c 0.140978 7.73828 415 4050 0.09/0.16 o 228 0.09/0.17 c 0.144977 7.73828 429 4257 0.09/0.17 o 141 0.79/0.81 c 0.691894 7.73828 854 12666 0.79/0.81 o 97 1.09/1.18 c 0.997848 7.73828 718 17196 1.09/1.18 o 71 1.19/1.23 c 1.04084 7.73828 433 17985 1.19/1.23 o 62 2.99/3.05 c 2.67259 7.86328 720 41755 2.99/3.05 o 59 4.89/4.97 c 4.36534 7.86328 1155 65585 4.89/4.97 o 53 10.69/10.79 c 9.54455 7.86328 995 142580 10.69/10.79 o 28 22.78/22.88 c 20.5239 7.98828 794 306904 22.78/22.88 o 15 113.19/113.24 c 103.096 8.09766 991 1556186 113.19/113.24 s OPTIMUM FOUND 113.19/113.24 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 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695278-1277895378/watcher-2695278-1277895378 -o /tmp/evaluation-result-2695278-1277895378/solver-2695278-1277895378 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695278-1277895378.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.92 1.98 1.99 4/196 10053 /proc/meminfo: memFree=31718992/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=3708 CPUtime=0 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 634 0 0 0 0 0 0 0 25 0 1 0 130836002 3796992 553 4089446400 134512640 136421960 4294351568 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/10053/statm: 927 554 193 467 0 458 0 [startup+0.0998159 s] /proc/loadavg: 1.92 1.98 1.99 4/196 10053 /proc/meminfo: memFree=31718992/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=7792 CPUtime=0.09 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1656 0 0 0 8 1 0 0 25 0 1 0 130836002 7979008 1572 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/10053/statm: 1948 1572 236 467 0 1479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7792 [startup+0.100813 s] /proc/loadavg: 1.92 1.98 1.99 4/196 10053 /proc/meminfo: memFree=31718992/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=7792 CPUtime=0.09 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1656 0 0 0 8 1 0 0 25 0 1 0 130836002 7979008 1572 4089446400 134512640 136421960 4294351568 18446744073709551615 135026305 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/10053/statm: 1948 1572 236 467 0 1479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7792 [startup+0.300776 s] /proc/loadavg: 1.92 1.98 1.99 4/196 10053 /proc/meminfo: memFree=31718992/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=7920 CPUtime=0.29 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1687 0 0 0 25 4 0 0 25 0 1 0 130836002 8110080 1598 4089446400 134512640 136421960 4294351568 18446744073709551615 134973959 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/10053/statm: 1980 1598 236 467 0 1511 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7920 [startup+0.700702 s] /proc/loadavg: 1.92 1.98 1.99 4/196 10053 /proc/meminfo: memFree=31718992/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=7920 CPUtime=0.68 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1696 0 0 0 58 10 0 0 25 0 1 0 130836002 8110080 1607 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/10053/statm: 1980 1607 236 467 0 1511 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7920 [startup+1.50055 s] /proc/loadavg: 1.92 1.98 1.99 3/197 10054 /proc/meminfo: memFree=31713280/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=7920 CPUtime=1.49 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1704 0 0 0 127 22 0 0 25 0 1 0 130836002 8110080 1612 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 1980 1612 236 467 0 1511 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7920 [startup+3.10025 s] /proc/loadavg: 1.92 1.98 1.99 3/197 10054 /proc/meminfo: memFree=31713032/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8048 CPUtime=3.08 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1732 0 0 0 270 38 0 0 25 0 1 0 130836002 8241152 1639 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2012 1639 236 467 0 1543 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8048 [startup+6.30064 s] /proc/loadavg: 1.93 1.98 1.99 3/197 10054 /proc/meminfo: memFree=31713272/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8048 CPUtime=6.29 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1742 0 0 0 553 76 0 0 25 0 1 0 130836002 8241152 1648 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2012 1648 236 467 0 1543 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8048 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.99 3/197 10054 /proc/meminfo: memFree=31713488/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8176 CPUtime=12.69 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1748 0 0 0 1128 141 0 0 25 0 1 0 130836002 8372224 1653 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2044 1653 236 467 0 1575 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8176 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.99 3/197 10055 /proc/meminfo: memFree=31713548/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8176 CPUtime=25.48 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1766 0 0 0 2292 256 0 0 25 0 1 0 130836002 8372224 1670 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2044 1670 236 467 0 1575 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8176 [startup+51.1002 s] /proc/loadavg: 1.96 1.98 1.99 3/197 10055 /proc/meminfo: memFree=31713364/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8176 CPUtime=51.08 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1774 0 0 0 4630 478 0 0 25 0 1 0 130836002 8372224 1678 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2044 1678 236 467 0 1575 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8176 [startup+102.306 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713164/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=102.29 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1783 0 0 0 9305 924 0 0 25 0 1 0 130836002 8486912 1687 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1687 236 467 0 1603 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8288 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713040/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=108.69 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1788 0 0 0 9890 979 0 0 25 0 1 0 130836002 8486912 1692 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1692 236 467 0 1603 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8288 [startup+110.301 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713148/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=110.29 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1791 0 0 0 10036 993 0 0 25 0 1 0 130836002 8486912 1695 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1695 236 467 0 1603 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 8288 [startup+111.901 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713148/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=111.89 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1798 0 0 0 10185 1004 0 0 25 0 1 0 130836002 8486912 1702 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1702 236 467 0 1603 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 8288 [startup+112.701 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713148/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=112.69 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1798 0 0 0 10259 1010 0 0 25 0 1 0 130836002 8486912 1702 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1702 236 467 0 1603 0 Current children cumulated CPU time (s) 112.69 Current children cumulated vsize (KiB) 8288 [startup+113.1 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713148/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=113.09 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1798 0 0 0 10296 1013 0 0 25 0 1 0 130836002 8486912 1702 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1702 236 467 0 1603 0 Current children cumulated CPU time (s) 113.09 Current children cumulated vsize (KiB) 8288 [startup+113.2 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10057 /proc/meminfo: memFree=31713148/32951124 swapFree=67111528/67111528 [pid=10053] ppid=10051 vsize=8288 CPUtime=113.19 /proc/10053/stat : 10053 (pbct) R 10051 10053 8146 0 -1 4202496 1798 0 0 0 10305 1014 0 0 25 0 1 0 130836002 8486912 1702 4089446400 134512640 136421960 4294351568 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/10053/statm: 2072 1702 236 467 0 1603 0 Current children cumulated CPU time (s) 113.19 Current children cumulated vsize (KiB) 8288 Child status: 0 Real time (s): 113.249 CPU time (s): 113.248 CPU user time (s): 103.1 CPU system time (s): 10.1475 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 8304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 103.1 system time used= 10.1475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1803 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= 1418 runsolver used 0.164974 second user time and 0.371943 second system time The end
Begin job on node102 at 2010-06-30 12:56:18 IDJOB=2695278 IDBENCH=78754 IDSOLVER=1208 FILE ID=node102/2695278-1277895378 PBS_JOBID= 11197150 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.1111223004--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695278-1277895378/watcher-2695278-1277895378 -o /tmp/evaluation-result-2695278-1277895378/solver-2695278-1277895378 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695278-1277895378.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3ecfb348b02f410f6916aad78d9eab96 RANDOM SEED=902894602 node102.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.833 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.833 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.83 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.833 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.833 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.85 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.833 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.833 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.82 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.833 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.833 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: 31719512 kB Buffers: 176696 kB Cached: 718144 kB SwapCached: 0 kB Active: 523236 kB Inactive: 568900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31719512 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2024 kB Writeback: 0 kB AnonPages: 197456 kB Mapped: 20184 kB Slab: 76228 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1644780 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 node102 at 2010-06-30 12:58:12