Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 53.6328 | 53.6313 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-33-100-0.wbo |
MD5SUM | b83b3eb7b2e3cdfc14afc5fb58fdd674 |
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.195969 |
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 | 1200 |
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.00/0.07 c 0.06099 7.46094 391 1294 0.00/0.07 o 394 0.00/0.07 c 0.06199 7.62891 393 1338 0.00/0.07 o 349 0.00/0.07 c 0.06299 7.62891 406 1438 0.00/0.07 o 261 0.09/0.16 c 0.121981 7.62891 538 2585 0.09/0.16 o 249 0.39/0.47 c 0.320951 7.75391 515 6457 0.39/0.47 o 218 1.79/1.83 c 1.24781 7.75391 723 21898 1.79/1.83 o 176 1.99/2.09 c 1.41578 7.75391 443 25353 1.99/2.09 o 149 1.99/2.10 c 1.41978 7.75391 473 25441 1.99/2.10 o 141 2.20/2.29 c 1.54276 7.75391 383 27874 2.20/2.29 o 106 2.29/2.30 c 1.54776 7.75391 449 28063 2.29/2.30 o 74 2.29/2.33 c 1.56076 7.75391 579 28274 2.29/2.33 o 68 2.29/2.33 c 1.56176 7.75391 584 28316 2.29/2.33 o 50 2.29/2.33 c 1.56276 7.75391 588 28360 2.29/2.33 o 15 2.39/2.40 c 1.62075 7.75391 517 29427 2.39/2.40 o 5 11.09/11.18 c 8.44671 8.12891 1112 137401 11.09/11.18 o 2 53.60/53.62 c 41.6407 8.24609 962 670535 53.60/53.62 s OPTIMUM FOUND 53.60/53.62 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-2695331-1277896593/watcher-2695331-1277896593 -o /tmp/evaluation-result-2695331-1277896593/solver-2695331-1277896593 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695331-1277896593.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.02 2.02 2.00 3/182 12006 /proc/meminfo: memFree=30309360/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=3708 CPUtime=0 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 639 0 0 0 0 0 0 0 21 0 1 0 130954964 3796992 559 4089446400 134512640 136421960 4292828816 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 927 560 193 467 0 458 0 [startup+0.0924719 s] /proc/loadavg: 2.02 2.02 2.00 3/182 12006 /proc/meminfo: memFree=30309360/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=7808 CPUtime=0.09 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1657 0 0 0 7 2 0 0 21 0 1 0 130954964 7995392 1574 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 1952 1574 236 467 0 1483 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7808 [startup+0.100456 s] /proc/loadavg: 2.02 2.02 2.00 3/182 12006 /proc/meminfo: memFree=30309360/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=7808 CPUtime=0.09 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1657 0 0 0 7 2 0 0 21 0 1 0 130954964 7995392 1574 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 1952 1574 236 467 0 1483 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7808 [startup+0.300422 s] /proc/loadavg: 2.02 2.02 2.00 3/182 12006 /proc/meminfo: memFree=30309360/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=7808 CPUtime=0.29 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1670 0 0 0 20 9 0 0 21 0 1 0 130954964 7995392 1586 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 1952 1586 236 467 0 1483 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7808 [startup+0.700359 s] /proc/loadavg: 2.02 2.02 2.00 3/182 12006 /proc/meminfo: memFree=30309360/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=7936 CPUtime=0.69 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1687 0 0 0 46 23 0 0 22 0 1 0 130954964 8126464 1602 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 1984 1602 236 467 0 1515 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7936 [startup+1.5002 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12007 /proc/meminfo: memFree=30302804/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=7936 CPUtime=1.49 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1689 0 0 0 101 48 0 0 25 0 1 0 130954964 8126464 1604 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 1984 1604 236 467 0 1515 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7936 [startup+3.1009 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12007 /proc/meminfo: memFree=30301440/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8064 CPUtime=3.09 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1740 0 0 0 217 92 0 0 25 0 1 0 130954964 8257536 1646 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2016 1646 236 467 0 1547 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8064 [startup+6.30032 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12007 /proc/meminfo: memFree=30299432/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8192 CPUtime=6.29 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1774 0 0 0 469 160 0 0 25 0 1 0 130954964 8388608 1680 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2048 1680 236 467 0 1579 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8192 [startup+12.7001 s] /proc/loadavg: 2.02 2.02 2.00 3/183 12007 /proc/meminfo: memFree=30292124/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8320 CPUtime=12.69 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1791 0 0 0 967 302 0 0 25 0 1 0 130954964 8519680 1696 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2080 1696 236 467 0 1611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8320 [startup+25.5008 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12007 /proc/meminfo: memFree=30271908/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8320 CPUtime=25.49 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1800 0 0 0 1965 584 0 0 25 0 1 0 130954964 8519680 1705 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2080 1705 236 467 0 1611 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8320 [startup+51.101 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12008 /proc/meminfo: memFree=30238120/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8440 CPUtime=51.09 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1816 0 0 0 3964 1145 0 0 25 0 1 0 130954964 8642560 1721 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2110 1721 236 467 0 1641 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8440 Solver just ended. Dumping a history of the last processes samples [startup+52.7007 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12008 /proc/meminfo: memFree=30235888/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8440 CPUtime=52.7 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1818 0 0 0 4091 1179 0 0 25 0 1 0 130954964 8642560 1723 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2110 1723 236 467 0 1641 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 8440 [startup+53.1007 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12008 /proc/meminfo: memFree=30235888/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8440 CPUtime=53.1 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1818 0 0 0 4123 1187 0 0 25 0 1 0 130954964 8642560 1723 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2110 1723 236 467 0 1641 0 Current children cumulated CPU time (s) 53.1 Current children cumulated vsize (KiB) 8440 [startup+53.5006 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12008 /proc/meminfo: memFree=30235888/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8440 CPUtime=53.5 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1818 0 0 0 4154 1196 0 0 25 0 1 0 130954964 8642560 1723 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2110 1723 236 467 0 1641 0 Current children cumulated CPU time (s) 53.5 Current children cumulated vsize (KiB) 8440 [startup+53.6006 s] /proc/loadavg: 2.01 2.02 2.00 3/183 12008 /proc/meminfo: memFree=30235888/32951124 swapFree=67111528/67111528 [pid=12006] ppid=12004 vsize=8440 CPUtime=53.6 /proc/12006/stat : 12006 (pbct) R 12004 12006 10108 0 -1 4202496 1818 0 0 0 4162 1198 0 0 25 0 1 0 130954964 8642560 1723 4089446400 134512640 136421960 4292828816 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12006/statm: 2110 1723 236 467 0 1641 0 Current children cumulated CPU time (s) 53.6 Current children cumulated vsize (KiB) 8440 Child status: 0 Real time (s): 53.6313 CPU time (s): 53.6328 CPU user time (s): 41.6457 CPU system time (s): 11.9872 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.6457 system time used= 11.9872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1823 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= 617 runsolver used 0.079987 second user time and 0.167974 second system time The end
Begin job on node135 at 2010-06-30 13:16:33 IDJOB=2695331 IDBENCH=78789 IDSOLVER=1208 FILE ID=node135/2695331-1277896593 PBS_JOBID= 11197083 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.1111216411--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695331-1277896593/watcher-2695331-1277896593 -o /tmp/evaluation-result-2695331-1277896593/solver-2695331-1277896593 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695331-1277896593.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b83b3eb7b2e3cdfc14afc5fb58fdd674 RANDOM SEED=1976127482 node135.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.857 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.71 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.857 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.857 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.857 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 : 7186.14 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.857 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.857 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.857 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.857 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30309764 kB Buffers: 179628 kB Cached: 1102308 kB SwapCached: 0 kB Active: 1684596 kB Inactive: 810352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30309764 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2148 kB Writeback: 0 kB AnonPages: 1212688 kB Mapped: 15288 kB Slab: 80684 kB PageTables: 7176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1360568 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 node135 at 2010-06-30 13:17:27