Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 55.1246 | 55.1236 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo |
MD5SUM | 37c9692c41d7d7588ca490820e101eb5 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.091985 |
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 | 29 |
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 | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1258 |
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.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 50/21 clauses 22/8 units 0 0.00/0.00 c vars 169 0.00/0.05 c 0.046992 7.32031 272 686 0.00/0.05 o 396 0.19/0.24 c 0.210967 7.47656 528 3003 0.19/0.24 o 288 0.19/0.24 c 0.211967 7.47656 530 3020 0.19/0.24 o 262 0.19/0.29 c 0.25696 7.60156 959 3677 0.19/0.29 o 245 0.19/0.29 c 0.26096 7.60156 513 3768 0.19/0.29 o 232 0.19/0.29 c 0.264959 7.60156 540 3822 0.19/0.29 o 226 3.49/3.50 c 3.11353 7.72656 1126 40964 3.49/3.50 o 191 4.79/4.82 c 4.26135 7.72656 872 55701 4.79/4.82 o 160 4.79/4.82 c 4.26335 7.72656 441 55743 4.79/4.82 o 157 14.09/14.15 c 12.4491 7.85156 698 159556 14.09/14.15 o 144 14.09/14.17 c 12.4671 7.85156 490 159787 14.09/14.17 o 128 15.69/15.75 c 13.8839 7.85156 665 177877 15.69/15.75 o 119 30.59/30.63 c 27.0829 7.95703 643 348523 30.59/30.63 o 99 33.79/33.87 c 29.9764 7.95703 799 385978 33.79/33.87 o 17 43.49/43.54 c 38.8091 8.08203 621 502784 43.49/43.54 o 1 55.09/55.11 c 49.4155 8.08203 862 640446 55.09/55.11 s OPTIMUM FOUND 55.09/55.11 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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699073-1278459261/watcher-2699073-1278459261 -o /tmp/evaluation-result-2699073-1278459261/solver-2699073-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699073-1278459261.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.64 1.89 1.65 4/178 12832 /proc/meminfo: memFree=30088388/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=3832 CPUtime=0 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 665 0 0 0 0 0 0 0 24 0 1 0 14140008 3923968 584 4089446400 134512640 136422188 4290784592 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 958 585 193 467 0 489 0 [startup+0.0660399 s] /proc/loadavg: 1.64 1.89 1.65 4/178 12832 /proc/meminfo: memFree=30088388/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7652 CPUtime=0.05 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1622 0 0 0 5 0 0 0 24 0 1 0 14140008 7835648 1540 4089446400 134512640 136422188 4290784592 18446744073709551615 134620377 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1913 1540 236 467 0 1444 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7652 [startup+0.101039 s] /proc/loadavg: 1.64 1.89 1.65 4/178 12832 /proc/meminfo: memFree=30088388/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7652 CPUtime=0.09 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1624 0 0 0 8 1 0 0 24 0 1 0 14140008 7835648 1542 4089446400 134512640 136422188 4290784592 18446744073709551615 135011385 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1913 1542 236 467 0 1444 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7652 [startup+0.30094 s] /proc/loadavg: 1.64 1.89 1.65 4/178 12832 /proc/meminfo: memFree=30088388/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7780 CPUtime=0.29 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1649 0 0 0 26 3 0 0 25 0 1 0 14140008 7966720 1562 4089446400 134512640 136422188 4290784592 18446744073709551615 134620503 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1945 1562 236 467 0 1476 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7780 [startup+0.700869 s] /proc/loadavg: 1.64 1.89 1.65 4/178 12832 /proc/meminfo: memFree=30088388/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7780 CPUtime=0.69 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1653 0 0 0 60 9 0 0 25 0 1 0 14140008 7966720 1566 4089446400 134512640 136422188 4290784592 18446744073709551615 135006609 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1945 1566 236 467 0 1476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7780 [startup+1.50073 s] /proc/loadavg: 1.64 1.89 1.65 3/179 12833 /proc/meminfo: memFree=30082304/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7780 CPUtime=1.49 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1673 0 0 0 132 17 0 0 25 0 1 0 14140008 7966720 1586 4089446400 134512640 136422188 4290784592 18446744073709551615 134641236 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1945 1586 236 467 0 1476 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7780 [startup+3.10044 s] /proc/loadavg: 1.64 1.89 1.65 3/179 12833 /proc/meminfo: memFree=30082700/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=7908 CPUtime=3.09 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1703 0 0 0 275 34 0 0 25 0 1 0 14140008 8097792 1616 4089446400 134512640 136422188 4290784592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 1977 1616 236 467 0 1508 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7908 [startup+6.30088 s] /proc/loadavg: 1.67 1.89 1.66 3/179 12833 /proc/meminfo: memFree=30083116/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8036 CPUtime=6.29 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1716 0 0 0 556 73 0 0 25 0 1 0 14140008 8228864 1626 4089446400 134512640 136422188 4290784592 18446744073709551615 134862401 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2009 1626 236 467 0 1540 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8036 [startup+12.7008 s] /proc/loadavg: 1.69 1.89 1.66 3/179 12833 /proc/meminfo: memFree=30082704/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8036 CPUtime=12.69 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1726 0 0 0 1114 155 0 0 25 0 1 0 14140008 8228864 1636 4089446400 134512640 136422188 4290784592 18446744073709551615 135020789 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2009 1636 236 467 0 1540 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8036 [startup+25.5005 s] /proc/loadavg: 1.76 1.90 1.66 3/179 12834 /proc/meminfo: memFree=30083188/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8164 CPUtime=25.49 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1749 0 0 0 2254 295 0 0 25 0 1 0 14140008 8359936 1656 4089446400 134512640 136422188 4290784592 18446744073709551615 135028672 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2041 1656 236 467 0 1572 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8164 [startup+51.1009 s] /proc/loadavg: 1.84 1.90 1.67 3/179 12834 /proc/meminfo: memFree=30083108/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8272 CPUtime=51.09 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1785 0 0 0 4573 536 0 0 25 0 1 0 14140008 8470528 1689 4089446400 134512640 136422188 4290784592 18446744073709551615 135022108 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2068 1689 236 467 0 1599 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8272 Solver just ended. Dumping a history of the last processes samples [startup+52.7007 s] /proc/loadavg: 1.84 1.90 1.67 3/179 12834 /proc/meminfo: memFree=30083108/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8272 CPUtime=52.7 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1785 0 0 0 4723 547 0 0 25 0 1 0 14140008 8470528 1689 4089446400 134512640 136422188 4290784592 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2068 1689 236 467 0 1599 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 8272 [startup+54.3004 s] /proc/loadavg: 1.84 1.90 1.67 3/179 12834 /proc/meminfo: memFree=30083108/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8272 CPUtime=54.29 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1785 0 0 0 4868 561 0 0 25 0 1 0 14140008 8470528 1689 4089446400 134512640 136422188 4290784592 18446744073709551615 134865563 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2068 1689 236 467 0 1599 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 8272 [startup+54.7004 s] /proc/loadavg: 1.84 1.90 1.67 3/179 12834 /proc/meminfo: memFree=30083108/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8272 CPUtime=54.69 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1785 0 0 0 4904 565 0 0 25 0 1 0 14140008 8470528 1689 4089446400 134512640 136422188 4290784592 18446744073709551615 134864918 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2068 1689 236 467 0 1599 0 Current children cumulated CPU time (s) 54.69 Current children cumulated vsize (KiB) 8272 [startup+55.1003 s] /proc/loadavg: 1.85 1.91 1.67 3/179 12834 /proc/meminfo: memFree=30083108/32950928 swapFree=67111528/67111528 [pid=12832] ppid=12830 vsize=8272 CPUtime=55.09 /proc/12832/stat : 12832 (pbct) R 12830 12832 12689 0 -1 4202496 1785 0 0 0 4939 570 0 0 25 0 1 0 14140008 8470528 1689 4089446400 134512640 136422188 4290784592 18446744073709551615 135032484 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12832/statm: 2068 1689 236 467 0 1599 0 Current children cumulated CPU time (s) 55.09 Current children cumulated vsize (KiB) 8272 Child status: 0 Real time (s): 55.1236 CPU time (s): 55.1246 CPU user time (s): 49.4195 CPU system time (s): 5.70513 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.4195 system time used= 5.70513 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1790 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= 2 involuntary context switches= 166 runsolver used 0.090986 second user time and 0.167974 second system time The end
Begin job on node123 at 2010-07-07 01:34:21 IDJOB=2699073 IDBENCH=78765 IDSOLVER=1212 FILE ID=node123/2699073-1278459261 PBS_JOBID= 11233747 Free space on /tmp= 73748 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699073-1278459261/watcher-2699073-1278459261 -o /tmp/evaluation-result-2699073-1278459261/solver-2699073-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699073-1278459261.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 37c9692c41d7d7588ca490820e101eb5 RANDOM SEED=1578258531 node123.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.848 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.69 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.848 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.848 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.80 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.848 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.79 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.848 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 : 5354.69 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.848 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.848 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.848 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30088536 kB Buffers: 104620 kB Cached: 2550920 kB SwapCached: 0 kB Active: 695852 kB Inactive: 2027600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30088536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4036 kB Writeback: 0 kB AnonPages: 67788 kB Mapped: 15200 kB Slab: 73752 kB PageTables: 5272 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 213308 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= 73748 MiB End job on node123 at 2010-07-07 01:35:16