Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 7.05093 | 7.05105 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216823--soft-0-100-0.wbo |
MD5SUM | 46ce32984e1f0f7f043d562c42c4188a |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.459929 |
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 | 5395 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 5394 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1207 |
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-2690108-1277924009.wbo. 0.00/0.00 c Instance file HOME/instance-2690108-1277924009.wbo 0.00/0.00 c File size is 10467 bytes. 0.00/0.00 c Highest Coefficient sum: 1207 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 | 101 | 169 101 1205 | 5500 101 30 | 0.004 % | 0.00/0.00 c | 251 | 169 101 1205 | 6050 251 29 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 31 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 31 | 0.004 % | 0.00/0.03 c | 1319 | 169 101 1205 | 8052 1319 32 | 0.004 % | 0.00/0.05 c | 2079 | 169 101 1205 | 8857 2079 33 | 0.004 % | 0.06/0.09 c | 3220 | 169 101 1205 | 9743 3220 35 | 0.004 % | 0.09/0.15 c | 4928 | 169 101 1205 | 10717 4928 37 | 0.004 % | 0.19/0.28 c | 7491 | 169 101 1205 | 11789 7491 38 | 0.004 % | 0.49/0.52 c | 11338 | 169 101 1205 | 12968 11338 39 | 0.004 % | 0.89/0.92 c | 17105 | 169 101 1205 | 14265 10561 44 | 0.004 % | 1.49/1.54 c | 25757 | 169 101 1205 | 15692 12030 45 | 0.004 % | 2.39/2.45 c | 38732 | 169 101 1205 | 17261 9212 44 | 0.004 % | 3.39/3.41 c =============================================================================== 3.59/3.64 c core #1 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 264 198 2547 | 5000 0 nan | 0.000 % | 3.59/3.65 c | 101 | 264 198 2547 | 5500 101 32 | 0.001 % | 3.59/3.65 c | 252 | 264 198 2547 | 6050 252 29 | 0.001 % | 3.59/3.66 c | 477 | 264 198 2547 | 6655 477 29 | 0.001 % | 3.59/3.67 c | 814 | 264 198 2547 | 7320 814 30 | 0.001 % | 3.59/3.68 c | 1320 | 264 198 2547 | 8052 1320 31 | 0.001 % | 3.69/3.70 c | 2079 | 264 198 2547 | 8857 2079 34 | 0.001 % | 3.69/3.75 c | 3220 | 264 198 2547 | 9743 3220 36 | 0.001 % | 3.79/3.82 c | 4929 | 264 198 2547 | 10717 4929 37 | 0.001 % | 3.89/3.95 c | 7493 | 264 198 2547 | 11789 7493 40 | 0.001 % | 4.09/4.19 c | 11337 | 264 198 2547 | 12968 11337 42 | 0.001 % | 4.59/4.63 c | 17105 | 264 198 2547 | 14265 10561 45 | 0.001 % | 5.19/5.26 c | 25755 | 264 198 2547 | 15692 12016 47 | 0.001 % | 6.29/6.30 c | 38729 | 264 198 2547 | 17261 9203 47 | 0.001 % | 6.99/7.04 c =============================================================================== 6.99/7.04 c #cores: 1 6.99/7.04 c Final Weight: 1 6.99/7.04 o 1 6.99/7.04 s OPTIMUM FOUND 6.99/7.04 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 6.99/7.04 c Total CPU time: 6.84696 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690108-1277924009/watcher-2690108-1277924009 -o /tmp/evaluation-result-2690108-1277924009/solver-2690108-1277924009 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690108-1277924009.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.23 2.03 2.01 3/196 15134 /proc/meminfo: memFree=31356552/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=2572 CPUtime=0 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 290 0 0 0 0 0 0 0 21 0 1 0 133697841 2633728 205 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 643 205 143 303 0 338 0 [startup+0.0777269 s] /proc/loadavg: 2.23 2.03 2.01 3/196 15134 /proc/meminfo: memFree=31356552/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=3364 CPUtime=0.06 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 493 0 0 0 6 0 0 0 21 0 1 0 133697841 3444736 408 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 841 408 143 303 0 536 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3364 [startup+0.10072 s] /proc/loadavg: 2.23 2.03 2.01 3/196 15134 /proc/meminfo: memFree=31356552/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=3628 CPUtime=0.09 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 549 0 0 0 9 0 0 0 21 0 1 0 133697841 3715072 464 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 907 464 143 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300687 s] /proc/loadavg: 2.23 2.03 2.01 3/196 15134 /proc/meminfo: memFree=31356552/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=5080 CPUtime=0.29 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 914 0 0 0 27 2 0 0 21 0 1 0 133697841 5201920 829 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 1270 829 143 303 0 965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5080 [startup+0.700616 s] /proc/loadavg: 2.23 2.03 2.01 3/196 15134 /proc/meminfo: memFree=31356552/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=7060 CPUtime=0.69 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 1423 0 0 0 67 2 0 0 22 0 1 0 133697841 7229440 1338 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 1765 1338 143 303 0 1460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7060 [startup+1.50047 s] /proc/loadavg: 2.23 2.03 2.01 3/176 15142 /proc/meminfo: memFree=31378404/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=11300 CPUtime=1.49 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 2462 0 0 0 144 5 0 0 25 0 1 0 133697841 11571200 2377 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 2825 2377 143 303 0 2520 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11300 [startup+3.10013 s] /proc/loadavg: 2.23 2.03 2.01 3/197 15181 /proc/meminfo: memFree=31348716/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=19220 CPUtime=3.09 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 4456 0 0 0 299 10 0 0 25 0 1 0 133697841 19681280 4371 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 4805 4371 143 303 0 4500 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19220 [startup+6.30062 s] /proc/loadavg: 2.21 2.03 2.01 3/197 15181 /proc/meminfo: memFree=31336004/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=27008 CPUtime=6.29 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 6421 0 0 0 611 18 0 0 25 0 1 0 133697841 27656192 6336 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 6752 6336 146 303 0 6447 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27008 Solver just ended. Dumping a history of the last processes samples [startup+6.70055 s] /proc/loadavg: 2.21 2.03 2.01 3/197 15181 /proc/meminfo: memFree=31331292/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=29124 CPUtime=6.69 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 6920 0 0 0 650 19 0 0 25 0 1 0 133697841 29822976 6835 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 7281 6835 146 303 0 6976 0 Current children cumulated CPU time (s) 6.69 Current children cumulated vsize (KiB) 29124 [startup+6.90051 s] /proc/loadavg: 2.21 2.03 2.01 3/197 15181 /proc/meminfo: memFree=31331292/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=30048 CPUtime=6.89 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 7149 0 0 0 670 19 0 0 25 0 1 0 133697841 30769152 7064 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 7512 7064 146 303 0 7207 0 Current children cumulated CPU time (s) 6.89 Current children cumulated vsize (KiB) 30048 [startup+7.00049 s] /proc/loadavg: 2.21 2.03 2.01 3/197 15181 /proc/meminfo: memFree=31331292/32950928 swapFree=67111528/67111528 [pid=15134] ppid=15132 vsize=30312 CPUtime=6.99 /proc/15134/stat : 15134 (wbo1.4a) R 15132 15134 13797 0 -1 4202496 7238 0 0 0 679 20 0 0 25 0 1 0 133697841 31039488 7153 4089446400 134512640 135751879 4292461488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15134/statm: 7578 7153 146 303 0 7273 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 30312 Child status: 0 Real time (s): 7.05105 CPU time (s): 7.05093 CPU user time (s): 6.84696 CPU system time (s): 0.203968 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 30312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.84696 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= 7308 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= 7 runsolver used 0.017997 second user time and 0.020996 second system time The end
Begin job on node122 at 2010-06-30 20:53:29 IDJOB=2690108 IDBENCH=79223 IDSOLVER=1200 FILE ID=node122/2690108-1277924009 PBS_JOBID= 11197325 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111216823--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-2690108-1277924009/watcher-2690108-1277924009 -o /tmp/evaluation-result-2690108-1277924009/solver-2690108-1277924009 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690108-1277924009.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 46ce32984e1f0f7f043d562c42c4188a RANDOM SEED=1668439534 node122.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.836 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.836 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 : 5226.08 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.836 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.82 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.836 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.836 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.85 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.836 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.836 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.836 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: 32950928 kB MemFree: 31357328 kB Buffers: 203648 kB Cached: 1150964 kB SwapCached: 0 kB Active: 611344 kB Inactive: 837556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31357328 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3380 kB Writeback: 0 kB AnonPages: 93776 kB Mapped: 20560 kB Slab: 79736 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1641732 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 node122 at 2010-06-30 20:53:36