Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 25.6491 | 25.6479 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo |
MD5SUM | 935e196b2e49c7ace79e7b55afc624f4 |
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.307952 |
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 | 1139 |
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-2690056-1277923055.wbo. 0.00/0.00 c Instance file HOME/instance-2690056-1277923055.wbo 0.00/0.00 c File size is 10448 bytes. 0.00/0.00 c Highest Coefficient sum: 1139 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 38 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 37 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 36 | 0.004 % | 0.00/0.02 c | 815 | 169 101 1205 | 7320 815 35 | 0.004 % | 0.00/0.03 c | 1322 | 169 101 1205 | 8052 1322 38 | 0.004 % | 0.00/0.06 c | 2082 | 169 101 1205 | 8857 2082 37 | 0.004 % | 0.09/0.10 c | 3224 | 169 101 1205 | 9743 3224 38 | 0.004 % | 0.09/0.17 c | 4933 | 169 101 1205 | 10717 4933 38 | 0.004 % | 0.28/0.33 c | 7496 | 169 101 1205 | 11789 7496 42 | 0.004 % | 0.59/0.62 c | 11342 | 169 101 1205 | 12968 11342 44 | 0.004 % | 1.00/1.07 c | 17108 | 169 101 1205 | 14265 10577 47 | 0.004 % | 1.69/1.80 c | 25757 | 169 101 1205 | 15692 12044 50 | 0.004 % | 2.99/3.06 c | 38731 | 169 101 1205 | 17261 9227 51 | 0.004 % | 5.09/5.12 c | 58193 | 169 101 1205 | 18987 11323 52 | 0.004 % | 8.39/8.42 c | 87388 | 169 101 1205 | 20886 11894 52 | 0.256 % | 8.59/8.68 c =============================================================================== 9.09/9.19 c core #1 9.09/9.19 c ============================[ Search Statistics ]============================== 9.09/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.09/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.09/9.19 c =============================================================================== 9.09/9.19 c | 0 | 264 200 2568 | 5000 0 nan | 0.000 % | 9.19/9.20 c | 100 | 264 200 2568 | 5500 100 37 | 0.001 % | 9.19/9.20 c | 251 | 264 200 2568 | 6050 251 38 | 0.001 % | 9.19/9.21 c | 477 | 264 200 2568 | 6655 477 41 | 0.001 % | 9.19/9.22 c | 814 | 264 200 2568 | 7320 814 41 | 0.001 % | 9.19/9.24 c | 1320 | 264 200 2568 | 8052 1320 39 | 0.001 % | 9.19/9.27 c | 2081 | 264 200 2568 | 8857 2081 38 | 0.001 % | 9.29/9.32 c | 3222 | 264 200 2568 | 9743 3222 40 | 0.001 % | 9.39/9.41 c | 4931 | 264 200 2568 | 10717 4931 42 | 0.001 % | 9.49/9.58 c | 7493 | 264 200 2568 | 11789 7493 46 | 0.001 % | 9.89/9.92 c | 11338 | 264 200 2568 | 12968 11338 46 | 0.001 % | 10.39/10.45 c | 17105 | 264 200 2568 | 14265 10575 47 | 0.001 % | 11.19/11.27 c | 25756 | 264 200 2568 | 15692 12027 50 | 0.001 % | 12.49/12.50 c | 38730 | 264 200 2568 | 17261 9185 51 | 0.001 % | 14.29/14.38 c | 58193 | 264 200 2568 | 18987 11262 51 | 0.001 % | 17.50/17.59 c | 87386 | 264 200 2568 | 20886 11828 52 | 0.001 % | 22.39/22.41 c =============================================================================== 23.09/23.11 c core #2 23.09/23.11 c ============================[ Search Statistics ]============================== 23.09/23.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.09/23.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.09/23.11 c =============================================================================== 23.09/23.11 c | 0 | 358 294 3881 | 5000 0 nan | 0.000 % | 23.09/23.12 c | 105 | 358 294 3881 | 5500 105 37 | 0.001 % | 23.09/23.13 c | 256 | 358 294 3881 | 6050 256 38 | 0.001 % | 23.09/23.14 c | 481 | 358 294 3881 | 6655 481 39 | 0.001 % | 23.09/23.15 c | 819 | 358 294 3881 | 7320 819 41 | 0.001 % | 23.09/23.17 c | 1327 | 358 294 3881 | 8052 1327 39 | 0.001 % | 23.19/23.20 c | 2086 | 358 294 3881 | 8857 2086 40 | 0.001 % | 23.19/23.25 c | 3225 | 358 294 3881 | 9743 3225 39 | 0.001 % | 23.29/23.34 c | 4933 | 358 294 3881 | 10717 4933 40 | 0.001 % | 23.39/23.49 c | 7498 | 358 294 3881 | 11789 7498 39 | 0.001 % | 23.70/23.75 c | 11342 | 358 294 3881 | 12968 11342 39 | 0.001 % | 24.10/24.16 c | 17109 | 358 294 3881 | 14265 10581 42 | 0.001 % | 24.89/24.90 c | 25758 | 358 294 3881 | 15692 12044 47 | 0.001 % | 25.59/25.64 c =============================================================================== 25.59/25.64 c #cores: 2 25.59/25.64 c Final Weight: 2 25.59/25.64 o 2 25.59/25.64 s OPTIMUM FOUND 25.59/25.64 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 25.59/25.64 c Total CPU time: 25.3771 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-2690056-1277923055/watcher-2690056-1277923055 -o /tmp/evaluation-result-2690056-1277923055/solver-2690056-1277923055 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690056-1277923055.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.84 1.95 1.98 4/178 15515 /proc/meminfo: memFree=28195676/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=2572 CPUtime=0 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 292 0 0 0 0 0 0 0 25 0 1 0 133600929 2633728 207 4089446400 134512640 135751879 4291290384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 643 207 143 303 0 338 0 [startup+0.0723659 s] /proc/loadavg: 1.84 1.95 1.98 4/178 15515 /proc/meminfo: memFree=28195676/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=3232 CPUtime=0.06 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 466 0 0 0 6 0 0 0 25 0 1 0 133600929 3309568 381 4089446400 134512640 135751879 4291290384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 808 381 143 303 0 503 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3232 [startup+0.100359 s] /proc/loadavg: 1.84 1.95 1.98 4/178 15515 /proc/meminfo: memFree=28195676/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=3496 CPUtime=0.09 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 533 0 0 0 9 0 0 0 25 0 1 0 133600929 3579904 448 4089446400 134512640 135751879 4291290384 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 874 448 143 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300336 s] /proc/loadavg: 1.84 1.95 1.98 4/178 15515 /proc/meminfo: memFree=28195676/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=4952 CPUtime=0.28 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 895 0 0 0 28 0 0 0 25 0 1 0 133600929 5070848 810 4089446400 134512640 135751879 4291290384 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 1238 810 143 303 0 933 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4952 [startup+0.700254 s] /proc/loadavg: 1.84 1.95 1.98 4/178 15515 /proc/meminfo: memFree=28195676/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=6936 CPUtime=0.69 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 1371 0 0 0 68 1 0 0 25 0 1 0 133600929 7102464 1286 4089446400 134512640 135751879 4291290384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 1734 1286 143 303 0 1429 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6936 [startup+1.50111 s] /proc/loadavg: 1.84 1.95 1.98 3/179 15516 /proc/meminfo: memFree=28189876/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=10500 CPUtime=1.5 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 2285 0 0 0 147 3 0 0 25 0 1 0 133600929 10752000 2200 4089446400 134512640 135751879 4291290384 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 2625 2200 143 303 0 2320 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10500 [startup+3.10082 s] /proc/loadavg: 1.84 1.95 1.98 3/179 15516 /proc/meminfo: memFree=28185040/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=17244 CPUtime=3.09 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 3966 0 0 0 305 4 0 0 25 0 1 0 133600929 17657856 3881 4089446400 134512640 135751879 4291290384 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 4311 3881 143 303 0 4006 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17244 [startup+6.30024 s] /proc/loadavg: 1.85 1.95 1.98 3/179 15517 /proc/meminfo: memFree=28172144/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=28468 CPUtime=6.29 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 6770 0 0 0 622 7 0 0 25 0 1 0 133600929 29151232 6685 4089446400 134512640 135751879 4291290384 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 7117 6685 143 303 0 6812 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28468 [startup+12.7011 s] /proc/loadavg: 1.86 1.95 1.98 3/179 15517 /proc/meminfo: memFree=28157380/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=40492 CPUtime=12.7 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 9783 0 0 0 1256 14 0 0 18 0 1 0 133600929 41463808 9698 4089446400 134512640 135751879 4291290384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 10123 9698 146 303 0 9818 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 40492 [startup+25.5008 s] /proc/loadavg: 1.89 1.96 1.98 3/179 15517 /proc/meminfo: memFree=28122544/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=75092 CPUtime=25.49 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 18410 0 0 0 2523 26 0 0 21 0 1 0 133600929 76894208 18325 4089446400 134512640 135751879 4291290384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 18773 18325 146 303 0 18468 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75092 Solver just ended. Dumping a history of the last processes samples [startup+25.6008 s] /proc/loadavg: 1.89 1.96 1.98 3/179 15517 /proc/meminfo: memFree=28122544/32951124 swapFree=67111528/67111528 [pid=15515] ppid=15513 vsize=75092 CPUtime=25.59 /proc/15515/stat : 15515 (wbo1.4a) R 15513 15515 13759 0 -1 4202496 18415 0 0 0 2533 26 0 0 22 0 1 0 133600929 76894208 18330 4089446400 134512640 135751879 4291290384 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15515/statm: 18773 18330 146 303 0 18468 0 Current children cumulated CPU time (s) 25.59 Current children cumulated vsize (KiB) 75092 Child status: 0 Real time (s): 25.6479 CPU time (s): 25.6491 CPU user time (s): 25.3771 CPU system time (s): 0.271958 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 75092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.3771 system time used= 0.271958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18415 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= 3 involuntary context switches= 44 runsolver used 0.040993 second user time and 0.097985 second system time The end
Begin job on node137 at 2010-06-30 20:37:35 IDJOB=2690056 IDBENCH=79197 IDSOLVER=1200 FILE ID=node137/2690056-1277923055 PBS_JOBID= 11197329 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690056-1277923055/watcher-2690056-1277923055 -o /tmp/evaluation-result-2690056-1277923055/solver-2690056-1277923055 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690056-1277923055.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 935e196b2e49c7ace79e7b55afc624f4 RANDOM SEED=1805680393 node137.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.876 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.75 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.876 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.876 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.876 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.876 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.876 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.876 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.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28196204 kB Buffers: 210208 kB Cached: 1263972 kB SwapCached: 0 kB Active: 3678976 kB Inactive: 926608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28196204 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2876 kB Writeback: 0 kB AnonPages: 3131800 kB Mapped: 16036 kB Slab: 80900 kB PageTables: 10912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 3398804 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 node137 at 2010-06-30 20:38:01