Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 7.67983 | 7.67965 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo |
MD5SUM | a0db7ea4971d37d3095b0f6461478078 |
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.159975 |
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 | 64 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1202 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689952-1277899310.wbo. 0.00/0.00 c Instance file HOME/instance-2689952-1277899310.wbo 0.00/0.00 c File size is 10277 bytes. 0.00/0.00 c Highest Coefficient sum: 1202 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 35 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 33 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 32 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 33 | 0.004 % | 0.02/0.03 c | 1319 | 169 101 1205 | 8052 1319 33 | 0.004 % | 0.02/0.06 c | 2078 | 169 101 1205 | 8857 2078 33 | 0.004 % | 0.09/0.10 c | 3219 | 169 101 1205 | 9743 3219 33 | 0.004 % | 0.09/0.16 c | 4927 | 169 101 1205 | 10717 4927 35 | 0.004 % | 0.19/0.29 c | 7489 | 169 101 1205 | 11789 7489 38 | 0.004 % | 0.49/0.54 c | 11333 | 169 101 1205 | 12968 11333 39 | 0.004 % | 0.89/0.93 c | 17101 | 169 101 1205 | 14265 10572 41 | 0.004 % | 1.39/1.48 c | 25754 | 169 101 1205 | 15692 12040 43 | 0.004 % | 2.39/2.40 c | 38729 | 169 101 1205 | 17261 9218 43 | 0.154 % | 2.59/2.63 c =============================================================================== 2.69/2.78 c core #1 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 228 164 2127 | 5000 0 nan | 0.000 % | 2.69/2.79 c | 101 | 228 164 2127 | 5500 101 29 | 0.002 % | 2.69/2.79 c | 254 | 228 164 2127 | 6050 254 31 | 0.002 % | 2.79/2.80 c | 480 | 228 164 2127 | 6655 480 33 | 0.002 % | 2.79/2.81 c | 818 | 228 164 2127 | 7320 818 33 | 0.002 % | 2.79/2.82 c | 1324 | 228 164 2127 | 8052 1324 34 | 0.002 % | 2.79/2.84 c | 2083 | 228 164 2127 | 8857 2083 35 | 0.002 % | 2.79/2.88 c | 3222 | 228 164 2127 | 9743 3222 34 | 0.002 % | 2.90/2.95 c | 4930 | 228 164 2127 | 10717 4930 37 | 0.002 % | 2.99/3.08 c | 7493 | 228 164 2127 | 11789 7493 38 | 0.002 % | 3.30/3.32 c | 11338 | 228 164 2127 | 12968 11338 40 | 0.002 % | 3.59/3.69 c | 17105 | 228 164 2127 | 14265 10564 41 | 0.002 % | 4.19/4.25 c | 25755 | 228 164 2127 | 15692 12038 43 | 0.002 % | 5.09/5.14 c | 38729 | 228 164 2127 | 17261 9218 43 | 0.077 % | 5.29/5.40 c =============================================================================== 5.50/5.57 c core #2 5.50/5.57 c ============================[ Search Statistics ]============================== 5.50/5.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/5.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/5.57 c =============================================================================== 5.50/5.57 c | 0 | 286 226 3035 | 5000 0 nan | 0.000 % | 5.50/5.58 c | 102 | 286 226 3035 | 5500 102 33 | 0.001 % | 5.50/5.58 c | 252 | 286 226 3035 | 6050 252 31 | 0.001 % | 5.50/5.59 c | 478 | 286 226 3035 | 6655 478 32 | 0.001 % | 5.60/5.60 c | 822 | 286 226 3035 | 7320 822 29 | 0.001 % | 5.60/5.62 c | 1329 | 286 226 3035 | 8052 1329 30 | 0.001 % | 5.60/5.64 c | 2090 | 286 226 3035 | 8857 2090 32 | 0.001 % | 5.60/5.68 c | 3229 | 286 226 3035 | 9743 3229 33 | 0.001 % | 5.69/5.75 c | 4938 | 286 226 3035 | 10717 4938 33 | 0.001 % | 5.79/5.88 c | 7500 | 286 226 3035 | 11789 7500 34 | 0.001 % | 6.09/6.11 c | 11346 | 286 226 3035 | 12968 11346 35 | 0.001 % | 6.39/6.49 c | 17113 | 286 226 3035 | 14265 10576 40 | 0.001 % | 7.09/7.11 c | 25764 | 286 226 3035 | 15692 12044 42 | 0.001 % | 7.59/7.67 c =============================================================================== 7.59/7.67 c #cores: 2 7.59/7.67 c Final Weight: 2 7.59/7.67 o 2 7.59/7.67 s OPTIMUM FOUND 7.59/7.67 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 7.59/7.67 c Total CPU time: 7.57185 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689952-1277899310/watcher-2689952-1277899310 -o /tmp/evaluation-result-2689952-1277899310/solver-2689952-1277899310 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689952-1277899310.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.06 2.02 2.00 4/178 23861 /proc/meminfo: memFree=31309948/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=2572 CPUtime=0 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 165534748 2633728 205 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 643 205 143 303 0 338 0 [startup+0.021706 s] /proc/loadavg: 2.06 2.02 2.00 4/178 23861 /proc/meminfo: memFree=31309948/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=2704 CPUtime=0.02 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 335 0 0 0 2 0 0 0 25 0 1 0 165534748 2768896 251 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 676 251 143 303 0 371 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2704 [startup+0.10069 s] /proc/loadavg: 2.06 2.02 2.00 4/178 23861 /proc/meminfo: memFree=31309948/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=3496 CPUtime=0.09 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 165534748 3579904 426 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 874 426 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300645 s] /proc/loadavg: 2.06 2.02 2.00 4/178 23861 /proc/meminfo: memFree=31309948/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=4816 CPUtime=0.29 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 868 0 0 0 29 0 0 0 25 0 1 0 165534748 4931584 784 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 1204 784 143 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.700573 s] /proc/loadavg: 2.06 2.02 2.00 4/178 23861 /proc/meminfo: memFree=31309948/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=6816 CPUtime=0.69 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 1349 0 0 0 68 1 0 0 25 0 1 0 165534748 6979584 1265 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 1704 1265 143 303 0 1399 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6816 [startup+1.50043 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23862 /proc/meminfo: memFree=31304240/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=10908 CPUtime=1.49 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 2381 0 0 0 147 2 0 0 25 0 1 0 165534748 11169792 2297 4089446400 134512640 135751879 4294000128 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 2727 2297 143 303 0 2422 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10908 [startup+3.10114 s] /proc/loadavg: 2.06 2.02 2.00 3/179 23862 /proc/meminfo: memFree=31298412/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=17772 CPUtime=3.09 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 4093 0 0 0 304 5 0 0 18 0 1 0 165534748 18198528 4009 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 4443 4009 146 303 0 4138 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17772 [startup+6.30055 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23862 /proc/meminfo: memFree=31287924/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=25824 CPUtime=6.29 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 6123 0 0 0 621 8 0 0 25 0 1 0 165534748 26443776 6039 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 6456 6039 146 303 0 6151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25824 Solver just ended. Dumping a history of the last processes samples [startup+7.1004 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23862 /proc/meminfo: memFree=31286436/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=26748 CPUtime=7.09 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 6343 0 0 0 700 9 0 0 25 0 1 0 165534748 27389952 6259 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 6687 6259 146 303 0 6382 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 26748 [startup+7.50033 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23862 /proc/meminfo: memFree=31286436/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=28068 CPUtime=7.49 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 6680 0 0 0 739 10 0 0 25 0 1 0 165534748 28741632 6596 4089446400 134512640 135751879 4294000128 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 7017 6597 146 303 0 6712 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 28068 [startup+7.60031 s] /proc/loadavg: 2.06 2.01 2.00 3/179 23862 /proc/meminfo: memFree=31283584/32951124 swapFree=67111528/67111528 [pid=23861] ppid=23859 vsize=28728 CPUtime=7.59 /proc/23861/stat : 23861 (wbo1.4a) R 23859 23861 23660 0 -1 4202496 6837 0 0 0 749 10 0 0 25 0 1 0 165534748 29417472 6753 4089446400 134512640 135751879 4294000128 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/23861/statm: 7182 6753 146 303 0 6877 0 Current children cumulated CPU time (s) 7.59 Current children cumulated vsize (KiB) 28728 Child status: 0 Real time (s): 7.67965 CPU time (s): 7.67983 CPU user time (s): 7.57185 CPU system time (s): 0.107983 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 28728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.57185 system time used= 0.107983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6937 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= 2 involuntary context switches= 7 runsolver used 0.016997 second user time and 0.025996 second system time The end
Begin job on node110 at 2010-06-30 14:01:50 IDJOB=2689952 IDBENCH=78858 IDSOLVER=1200 FILE ID=node110/2689952-1277899310 PBS_JOBID= 11197210 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689952-1277899310/watcher-2689952-1277899310 -o /tmp/evaluation-result-2689952-1277899310/solver-2689952-1277899310 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689952-1277899310.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a0db7ea4971d37d3095b0f6461478078 RANDOM SEED=1847778222 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.849 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.849 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.849 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.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31310468 kB Buffers: 184420 kB Cached: 992044 kB SwapCached: 0 kB Active: 878212 kB Inactive: 620228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31310468 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2948 kB Writeback: 0 kB AnonPages: 322388 kB Mapped: 16056 kB Slab: 78228 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 470868 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= 74204 MiB End job on node110 at 2010-06-30 14:01:58