Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 59.176 | 59.1751 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo |
MD5SUM | 1d30a59b87701853914e68e6a35dea24 |
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.12898 |
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 | 1229 |
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 25/46 clauses 12/18 units 0 0.00/0.00 c vars 169 0.02/0.05 c 0.050992 7.46094 207 1166 0.02/0.05 o 206 0.02/0.05 c 0.051992 7.60547 210 1220 0.02/0.05 o 200 0.02/0.06 c 0.053991 7.60547 222 1295 0.02/0.06 o 180 0.02/0.06 c 0.056991 7.60547 245 1400 0.02/0.06 o 127 0.89/0.95 c 0.829873 7.73047 803 11758 0.89/0.95 o 65 2.58/2.68 c 2.35464 7.85547 809 29423 2.58/2.68 o 62 4.89/4.93 c 4.35234 7.85547 707 53729 4.89/4.93 o 57 4.89/4.95 c 4.36834 7.85547 501 54015 4.89/4.95 o 47 4.89/4.99 c 4.40633 7.85547 462 54535 4.89/4.99 o 12 7.79/7.84 c 7.00293 7.98047 815 88916 7.79/7.84 o 2 59.09/59.16 c 54.1488 8.21484 1134 681986 59.09/59.16 s OPTIMUM FOUND 59.09/59.16 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 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695272-1277895215/watcher-2695272-1277895215 -o /tmp/evaluation-result-2695272-1277895215/solver-2695272-1277895215 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695272-1277895215.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.09 2.05 2.01 4/182 12079 /proc/meminfo: memFree=30470264/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=3708 CPUtime=0 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 648 0 0 0 0 0 0 0 25 0 1 0 130817607 3796992 567 4089446400 134512640 136421960 4292461648 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 960 568 193 467 0 491 0 [startup+0.0321949 s] /proc/loadavg: 2.09 2.05 2.01 4/182 12079 /proc/meminfo: memFree=30470264/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=7636 CPUtime=0.02 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1597 0 0 0 2 0 0 0 25 0 1 0 130817607 7819264 1516 4089446400 134512640 136421960 4292461648 18446744073709551615 134597545 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 1909 1516 213 467 0 1440 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7636 [startup+0.100189 s] /proc/loadavg: 2.09 2.05 2.01 4/182 12079 /proc/meminfo: memFree=30470264/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=7784 CPUtime=0.08 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1650 0 0 0 8 0 0 0 25 0 1 0 130817607 7970816 1565 4089446400 134512640 136421960 4292461648 18446744073709551615 134641376 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 1946 1565 236 467 0 1477 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7784 [startup+0.300148 s] /proc/loadavg: 2.09 2.05 2.01 4/182 12079 /proc/meminfo: memFree=30470264/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=7912 CPUtime=0.29 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1674 0 0 0 25 4 0 0 25 0 1 0 130817607 8101888 1589 4089446400 134512640 136421960 4292461648 18446744073709551615 135028324 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 1978 1589 236 467 0 1509 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7912 [startup+0.701075 s] /proc/loadavg: 2.09 2.05 2.01 4/182 12079 /proc/meminfo: memFree=30470264/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=7912 CPUtime=0.69 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1693 0 0 0 60 9 0 0 25 0 1 0 130817607 8101888 1608 4089446400 134512640 136421960 4292461648 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 1978 1608 236 467 0 1509 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7912 [startup+1.50093 s] /proc/loadavg: 2.09 2.05 2.00 3/183 12080 /proc/meminfo: memFree=30462940/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=7912 CPUtime=1.49 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1694 0 0 0 129 20 0 0 25 0 1 0 130817607 8101888 1608 4089446400 134512640 136421960 4292461648 18446744073709551615 135020645 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 1978 1608 236 467 0 1509 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7912 [startup+3.10065 s] /proc/loadavg: 2.09 2.05 2.00 3/183 12081 /proc/meminfo: memFree=30462308/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8040 CPUtime=3.08 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1710 0 0 0 272 36 0 0 25 0 1 0 130817607 8232960 1623 4089446400 134512640 136421960 4292461648 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2010 1623 236 467 0 1541 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8040 [startup+6.30108 s] /proc/loadavg: 2.09 2.05 2.00 3/183 12081 /proc/meminfo: memFree=30460072/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8040 CPUtime=6.29 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1732 0 0 0 558 71 0 0 25 0 1 0 130817607 8232960 1642 4089446400 134512640 136421960 4292461648 18446744073709551615 135021788 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2010 1642 236 467 0 1541 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8040 [startup+12.7009 s] /proc/loadavg: 2.07 2.05 2.00 3/183 12081 /proc/meminfo: memFree=30455108/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8168 CPUtime=12.69 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1761 0 0 0 1142 127 0 0 25 0 1 0 130817607 8364032 1670 4089446400 134512640 136421960 4292461648 18446744073709551615 135818222 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2042 1670 236 467 0 1573 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8168 [startup+25.5007 s] /proc/loadavg: 2.06 2.05 2.00 3/183 12081 /proc/meminfo: memFree=30445664/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8280 CPUtime=25.49 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1782 0 0 0 2319 230 0 0 25 0 1 0 130817607 8478720 1691 4089446400 134512640 136421960 4292461648 18446744073709551615 134862061 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2070 1691 236 467 0 1601 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8280 [startup+51.1011 s] /proc/loadavg: 2.04 2.04 2.00 3/183 12081 /proc/meminfo: memFree=30425756/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=51.09 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1805 0 0 0 4673 436 0 0 25 0 1 0 130817607 8609792 1714 4089446400 134512640 136421960 4292461648 18446744073709551615 134640912 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1714 236 467 0 1633 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8408 Solver just ended. Dumping a history of the last processes samples [startup+54.3005 s] /proc/loadavg: 2.04 2.04 2.00 3/183 12081 /proc/meminfo: memFree=30424016/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=54.29 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1805 0 0 0 4966 463 0 0 25 0 1 0 130817607 8609792 1714 4089446400 134512640 136421960 4292461648 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1714 236 467 0 1633 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 8408 [startup+57.501 s] /proc/loadavg: 2.03 2.04 2.00 3/183 12081 /proc/meminfo: memFree=30421288/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=57.49 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1807 0 0 0 5261 488 0 0 25 0 1 0 130817607 8609792 1716 4089446400 134512640 136421960 4292461648 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1716 236 467 0 1633 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 8408 [startup+58.3058 s] /proc/loadavg: 2.03 2.04 2.00 3/183 12082 /proc/meminfo: memFree=30419924/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=58.3 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1809 0 0 0 5336 494 0 0 25 0 1 0 130817607 8609792 1718 4089446400 134512640 136421960 4292461648 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1718 236 467 0 1633 0 Current children cumulated CPU time (s) 58.3 Current children cumulated vsize (KiB) 8408 [startup+58.7008 s] /proc/loadavg: 2.03 2.04 2.00 3/183 12082 /proc/meminfo: memFree=30419924/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=58.69 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1809 0 0 0 5372 497 0 0 25 0 1 0 130817607 8609792 1718 4089446400 134512640 136421960 4292461648 18446744073709551615 135021791 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1718 236 467 0 1633 0 Current children cumulated CPU time (s) 58.69 Current children cumulated vsize (KiB) 8408 [startup+59.1007 s] /proc/loadavg: 2.03 2.04 2.00 3/183 12082 /proc/meminfo: memFree=30419924/32951124 swapFree=67111528/67111528 [pid=12079] ppid=12077 vsize=8408 CPUtime=59.09 /proc/12079/stat : 12079 (pbct) R 12077 12079 9869 0 -1 4202496 1809 0 0 0 5408 501 0 0 25 0 1 0 130817607 8609792 1718 4089446400 134512640 136421960 4292461648 18446744073709551615 135022001 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12079/statm: 2102 1718 236 467 0 1633 0 Current children cumulated CPU time (s) 59.09 Current children cumulated vsize (KiB) 8408 Child status: 0 Real time (s): 59.1751 CPU time (s): 59.176 CPU user time (s): 54.1538 CPU system time (s): 5.02224 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.1538 system time used= 5.02224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1814 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= 182 runsolver used 0.079987 second user time and 0.19597 second system time The end
Begin job on node132 at 2010-06-30 12:53:35 IDJOB=2695272 IDBENCH=78748 IDSOLVER=1208 FILE ID=node132/2695272-1277895215 PBS_JOBID= 11197090 Free space on /tmp= 74136 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976935--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695272-1277895215/watcher-2695272-1277895215 -o /tmp/evaluation-result-2695272-1277895215/solver-2695272-1277895215 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695272-1277895215.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d30a59b87701853914e68e6a35dea24 RANDOM SEED=335241009 node132.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.810 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.62 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.810 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.810 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.810 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.810 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.810 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.810 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.810 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: 32951124 kB MemFree: 30470660 kB Buffers: 175288 kB Cached: 1213064 kB SwapCached: 0 kB Active: 1474832 kB Inactive: 860492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30470660 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2092 kB Writeback: 0 kB AnonPages: 946952 kB Mapped: 16036 kB Slab: 80836 kB PageTables: 6836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1116832 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node132 at 2010-06-30 12:54:34