Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 13.07 | 13.0699 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo |
MD5SUM | 14adea07f674cbc6036223afab3dc3b4 |
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.217966 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1259 |
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-2689879-1277897355.wbo. 0.00/0.00 c Instance file HOME/instance-2689879-1277897355.wbo 0.00/0.00 c File size is 10278 bytes. 0.00/0.00 c Highest Coefficient sum: 1259 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 36 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 32 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 33 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 36 | 0.004 % | 0.00/0.03 c | 1321 | 169 101 1205 | 8052 1321 35 | 0.004 % | 0.00/0.06 c | 2080 | 169 101 1205 | 8857 2080 36 | 0.004 % | 0.05/0.09 c | 3219 | 169 101 1205 | 9743 3219 37 | 0.004 % | 0.09/0.16 c | 4927 | 169 101 1205 | 10717 4927 37 | 0.004 % | 0.19/0.29 c | 7492 | 169 101 1205 | 11789 7492 38 | 0.004 % | 0.49/0.51 c | 11337 | 169 101 1205 | 12968 11337 40 | 0.004 % | 0.79/0.87 c | 17103 | 169 101 1205 | 14265 10562 44 | 0.004 % | 1.39/1.43 c | 25752 | 169 101 1205 | 15692 12023 44 | 0.004 % | 2.39/2.40 c | 38726 | 169 101 1205 | 17261 9193 47 | 0.004 % | 3.79/3.89 c | 58187 | 169 101 1205 | 18987 11286 47 | 0.004 % | 5.09/5.18 c =============================================================================== 5.39/5.47 c core #1 5.39/5.47 c ============================[ Search Statistics ]============================== 5.39/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.47 c =============================================================================== 5.39/5.47 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 5.39/5.48 c | 100 | 230 161 1915 | 5500 100 37 | 0.002 % | 5.39/5.48 c | 250 | 230 161 1915 | 6050 250 38 | 0.002 % | 5.39/5.49 c | 476 | 230 161 1915 | 6655 476 35 | 0.002 % | 5.39/5.50 c | 816 | 230 161 1915 | 7320 816 33 | 0.002 % | 5.49/5.51 c | 1323 | 230 161 1915 | 8052 1323 37 | 0.002 % | 5.49/5.53 c | 2082 | 230 161 1915 | 8857 2082 36 | 0.002 % | 5.49/5.57 c | 3222 | 230 161 1915 | 9743 3222 36 | 0.002 % | 5.59/5.65 c | 4930 | 230 161 1915 | 10717 4930 36 | 0.002 % | 5.69/5.78 c | 7492 | 230 161 1915 | 11789 7492 36 | 0.002 % | 5.99/6.00 c | 11338 | 230 161 1915 | 12968 11338 38 | 0.002 % | 6.40/6.41 c | 17104 | 230 161 1915 | 14265 10573 43 | 0.002 % | 6.99/7.03 c | 25754 | 230 161 1915 | 15692 12045 44 | 0.002 % | 7.89/7.99 c | 38732 | 230 161 1915 | 17261 9216 46 | 0.002 % | 9.39/9.41 c | 58196 | 230 161 1915 | 18987 11304 47 | 0.002 % | 10.59/10.69 c =============================================================================== 10.90/10.99 c core #2 10.90/10.99 c ============================[ Search Statistics ]============================== 10.90/10.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.90/10.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.90/10.99 c =============================================================================== 10.90/10.99 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 10.90/11.00 c | 101 | 291 221 2625 | 5500 101 41 | 0.001 % | 11.00/11.00 c | 252 | 291 221 2625 | 6050 252 39 | 0.001 % | 11.00/11.01 c | 478 | 291 221 2625 | 6655 478 36 | 0.001 % | 11.00/11.02 c | 818 | 291 221 2625 | 7320 818 33 | 0.001 % | 11.00/11.04 c | 1326 | 291 221 2625 | 8052 1326 33 | 0.001 % | 11.00/11.06 c | 2087 | 291 221 2625 | 8857 2087 33 | 0.001 % | 11.09/11.10 c | 3226 | 291 221 2625 | 9743 3226 33 | 0.001 % | 11.09/11.18 c | 4936 | 291 221 2625 | 10717 4936 34 | 0.001 % | 11.29/11.30 c | 7499 | 291 221 2625 | 11789 7499 36 | 0.001 % | 11.49/11.52 c | 11344 | 291 221 2625 | 12968 11344 36 | 0.001 % | 11.89/11.90 c | 17110 | 291 221 2625 | 14265 10592 39 | 0.001 % | 12.49/12.53 c | 25761 | 291 221 2625 | 15692 12061 43 | 0.001 % | 12.99/13.06 c =============================================================================== 12.99/13.06 c #cores: 2 12.99/13.06 c Final Weight: 2 12.99/13.06 o 2 12.99/13.06 s OPTIMUM FOUND 12.99/13.06 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 12.99/13.06 c Total CPU time: 12.866 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-2689879-1277897355/watcher-2689879-1277897355 -o /tmp/evaluation-result-2689879-1277897355/solver-2689879-1277897355 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689879-1277897355.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.54 2.14 2.04 4/178 11109 /proc/meminfo: memFree=31543916/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=2576 CPUtime=0 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 287 0 0 0 0 0 0 0 25 0 1 0 131031880 2637824 203 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 644 203 143 303 0 339 0 [startup+0.0626729 s] /proc/loadavg: 2.54 2.14 2.04 4/178 11109 /proc/meminfo: memFree=31543916/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=3104 CPUtime=0.05 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 426 0 0 0 5 0 0 0 25 0 1 0 131031880 3178496 342 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 776 342 143 303 0 471 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3104 [startup+0.100697 s] /proc/loadavg: 2.54 2.14 2.04 4/178 11109 /proc/meminfo: memFree=31543916/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=3368 CPUtime=0.09 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 506 0 0 0 9 0 0 0 25 0 1 0 131031880 3448832 422 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 842 422 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300574 s] /proc/loadavg: 2.54 2.14 2.04 4/178 11109 /proc/meminfo: memFree=31543916/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=4688 CPUtime=0.29 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 825 0 0 0 28 1 0 0 25 0 1 0 131031880 4800512 741 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 1172 741 143 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700506 s] /proc/loadavg: 2.54 2.14 2.04 4/178 11109 /proc/meminfo: memFree=31543916/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=6808 CPUtime=0.69 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 1355 0 0 0 68 1 0 0 25 0 1 0 131031880 6971392 1271 4089446400 134512640 135751879 4289675024 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 1702 1271 143 303 0 1397 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6808 [startup+1.50044 s] /proc/loadavg: 2.66 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31537708/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=10636 CPUtime=1.49 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 2291 0 0 0 146 3 0 0 25 0 1 0 131031880 10891264 2207 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 2659 2208 143 303 0 2354 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10636 [startup+3.10116 s] /proc/loadavg: 2.66 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31531756/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=17500 CPUtime=3.09 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 4032 0 0 0 304 5 0 0 25 0 1 0 131031880 17920000 3948 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 4375 3948 143 303 0 4070 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17500 [startup+6.30056 s] /proc/loadavg: 2.60 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31516216/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=28032 CPUtime=6.29 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 6653 0 0 0 620 9 0 0 25 0 1 0 131031880 28704768 6569 4089446400 134512640 135751879 4289675024 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 7008 6569 146 303 0 6703 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28032 [startup+12.7005 s] /proc/loadavg: 2.55 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31501836/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=42564 CPUtime=12.69 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 10293 0 0 0 1250 19 0 0 25 0 1 0 131031880 43585536 10209 4089446400 134512640 135751879 4289675024 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 10641 10209 146 303 0 10336 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42564 Solver just ended. Dumping a history of the last processes samples [startup+12.9005 s] /proc/loadavg: 2.55 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31501836/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=42696 CPUtime=12.9 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 10341 0 0 0 1270 20 0 0 25 0 1 0 131031880 43720704 10257 4089446400 134512640 135751879 4289675024 18446744073709551615 134616722 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 10674 10257 146 303 0 10369 0 Current children cumulated CPU time (s) 12.9 Current children cumulated vsize (KiB) 42696 [startup+13.0004 s] /proc/loadavg: 2.55 2.17 2.05 3/179 11110 /proc/meminfo: memFree=31501836/32950928 swapFree=67111528/67111528 [pid=11109] ppid=11107 vsize=43092 CPUtime=12.99 /proc/11109/stat : 11109 (wbo1.4a) R 11107 11109 8866 0 -1 4202496 10409 0 0 0 1279 20 0 0 25 0 1 0 131031880 44126208 10325 4089446400 134512640 135751879 4289675024 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/11109/statm: 10773 10325 146 303 0 10468 0 Current children cumulated CPU time (s) 12.99 Current children cumulated vsize (KiB) 43092 Child status: 0 Real time (s): 13.0699 CPU time (s): 13.07 CPU user time (s): 12.866 CPU system time (s): 0.203968 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 43092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.866 system time used= 0.203968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10468 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= 23 runsolver used 0.019996 second user time and 0.050992 second system time The end
Begin job on node126 at 2010-06-30 13:29:15 IDJOB=2689879 IDBENCH=78809 IDSOLVER=1200 FILE ID=node126/2689879-1277897355 PBS_JOBID= 11197102 Free space on /tmp= 74188 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220019--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-2689879-1277897355/watcher-2689879-1277897355 -o /tmp/evaluation-result-2689879-1277897355/solver-2689879-1277897355 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689879-1277897355.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14adea07f674cbc6036223afab3dc3b4 RANDOM SEED=1464329955 node126.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.835 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.67 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.835 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.835 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.835 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.835 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.72 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.835 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.835 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.835 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: 32950928 kB MemFree: 31544444 kB Buffers: 179092 kB Cached: 922680 kB SwapCached: 0 kB Active: 623968 kB Inactive: 642416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31544444 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 164340 kB Mapped: 16076 kB Slab: 77248 kB PageTables: 5464 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 304928 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= 74188 MiB End job on node126 at 2010-06-30 13:29:28