Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 120.084 | 120.082 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo |
MD5SUM | 973bd9f90df82f06bcaac12e428be840 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 0.239963 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
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 42/29 clauses 17/13 units 0 0.00/0.00 c vars 169 0.29/0.30 c 0.25796 7.55859 1010 4428 0.29/0.30 o 305 0.39/0.43 c 0.374943 7.69141 548 6276 0.39/0.43 o 282 0.39/0.44 c 0.375942 7.69141 552 6337 0.39/0.44 o 231 0.49/0.52 c 0.451931 7.69141 553 7521 0.49/0.52 o 204 2.49/2.53 c 2.22666 7.69141 963 33170 2.49/2.53 o 180 3.69/3.71 c 3.2845 7.69141 526 48489 3.69/3.71 o 170 4.99/5.07 c 4.50131 7.69141 765 66856 4.99/5.07 o 162 5.59/5.69 c 5.04723 7.69141 435 75198 5.59/5.69 o 154 5.69/5.70 c 5.05823 7.69141 538 75372 5.69/5.70 o 147 5.69/5.70 c 5.05923 7.69141 539 75441 5.69/5.70 o 59 5.99/6.08 c 5.39618 7.69141 489 81076 5.99/6.08 o 51 119.99/120.07 c 108.633 8.16797 930 1587019 119.99/120.07 s OPTIMUM FOUND 119.99/120.07 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 51
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695366-1277897108/watcher-2695366-1277897108 -o /tmp/evaluation-result-2695366-1277897108/solver-2695366-1277897108 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695366-1277897108.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.04 2.01 4/196 24148 /proc/meminfo: memFree=30439072/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=3832 CPUtime=0 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 654 0 0 0 0 0 0 0 25 0 1 0 165314311 3923968 573 4089446400 134512640 136421960 4289481872 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 958 574 193 467 0 489 0 [startup+0.067794 s] /proc/loadavg: 2.02 2.04 2.01 4/196 24148 /proc/meminfo: memFree=30439072/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7608 CPUtime=0.05 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1595 0 0 0 5 0 0 0 25 0 1 0 165314311 7790592 1514 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1902 1514 213 467 0 1433 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7608 [startup+0.100798 s] /proc/loadavg: 2.02 2.04 2.01 4/196 24148 /proc/meminfo: memFree=30439072/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7608 CPUtime=0.09 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1606 0 0 0 8 1 0 0 25 0 1 0 165314311 7790592 1525 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1902 1525 213 467 0 1433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7608 [startup+0.30077 s] /proc/loadavg: 2.02 2.04 2.01 4/196 24148 /proc/meminfo: memFree=30439072/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7736 CPUtime=0.29 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1637 0 0 0 25 4 0 0 25 0 1 0 165314311 7921664 1556 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1934 1556 213 467 0 1465 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7736 [startup+0.70069 s] /proc/loadavg: 2.02 2.04 2.01 4/196 24148 /proc/meminfo: memFree=30439072/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7872 CPUtime=0.69 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1684 0 0 0 61 8 0 0 25 0 1 0 165314311 8060928 1599 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1968 1599 236 467 0 1499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7872 [startup+1.50056 s] /proc/loadavg: 2.02 2.04 2.01 3/197 24149 /proc/meminfo: memFree=30432296/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7872 CPUtime=1.49 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1684 0 0 0 132 17 0 0 25 0 1 0 165314311 8060928 1599 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1968 1599 236 467 0 1499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7872 [startup+3.10028 s] /proc/loadavg: 2.02 2.04 2.01 3/197 24149 /proc/meminfo: memFree=30431676/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7872 CPUtime=3.09 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1689 0 0 0 274 35 0 0 25 0 1 0 165314311 8060928 1603 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1968 1603 236 467 0 1499 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7872 [startup+6.30072 s] /proc/loadavg: 2.02 2.04 2.01 3/197 24149 /proc/meminfo: memFree=30431764/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=7872 CPUtime=6.29 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1708 0 0 0 559 70 0 0 25 0 1 0 165314311 8060928 1616 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 1968 1616 236 467 0 1499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7872 [startup+12.7006 s] /proc/loadavg: 2.02 2.04 2.01 3/197 24150 /proc/meminfo: memFree=30425684/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8000 CPUtime=12.7 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1729 0 0 0 1133 137 0 0 25 0 1 0 165314311 8192000 1637 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2000 1637 236 467 0 1531 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8000 [startup+25.5004 s] /proc/loadavg: 2.01 2.04 2.01 3/197 24150 /proc/meminfo: memFree=30423212/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8128 CPUtime=25.49 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1748 0 0 0 2286 263 0 0 25 0 1 0 165314311 8323072 1656 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2032 1656 236 467 0 1563 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8128 [startup+51.101 s] /proc/loadavg: 2.01 2.03 2.01 3/197 24151 /proc/meminfo: memFree=30412120/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8264 CPUtime=51.1 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1775 0 0 0 4600 510 0 0 25 0 1 0 165314311 8462336 1683 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2066 1683 236 467 0 1597 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8264 [startup+102.306 s] /proc/loadavg: 2.05 2.04 2.01 3/197 24152 /proc/meminfo: memFree=30406756/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8264 CPUtime=102.3 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1806 0 0 0 9245 985 0 0 25 0 1 0 165314311 8462336 1714 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2066 1714 236 467 0 1597 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8264 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 2.04 2.04 2.01 3/197 24152 /proc/meminfo: memFree=30406508/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8264 CPUtime=108.69 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1806 0 0 0 9827 1042 0 0 25 0 1 0 165314311 8462336 1714 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2066 1714 236 467 0 1597 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8264 [startup+115.101 s] /proc/loadavg: 2.04 2.04 2.00 3/197 24153 /proc/meminfo: memFree=30406616/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8388 CPUtime=115.1 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1810 0 0 0 10411 1099 0 0 25 0 1 0 165314311 8589312 1718 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2097 1718 236 467 0 1628 0 Current children cumulated CPU time (s) 115.1 Current children cumulated vsize (KiB) 8388 [startup+118.3 s] /proc/loadavg: 2.04 2.04 2.00 3/197 24153 /proc/meminfo: memFree=30405872/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8360 CPUtime=118.29 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1811 0 0 0 10700 1129 0 0 25 0 1 0 165314311 8560640 1719 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2090 1719 236 467 0 1621 0 Current children cumulated CPU time (s) 118.29 Current children cumulated vsize (KiB) 8360 [startup+119.102 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24153 /proc/meminfo: memFree=30405872/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8360 CPUtime=119.1 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1811 0 0 0 10774 1136 0 0 25 0 1 0 165314311 8560640 1719 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2090 1719 236 467 0 1621 0 Current children cumulated CPU time (s) 119.1 Current children cumulated vsize (KiB) 8360 [startup+119.501 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24153 /proc/meminfo: memFree=30405872/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8360 CPUtime=119.49 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1811 0 0 0 10810 1139 0 0 25 0 1 0 165314311 8560640 1719 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2090 1719 236 467 0 1621 0 Current children cumulated CPU time (s) 119.49 Current children cumulated vsize (KiB) 8360 [startup+119.906 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24153 /proc/meminfo: memFree=30404880/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8360 CPUtime=119.9 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1811 0 0 0 10848 1142 0 0 25 0 1 0 165314311 8560640 1719 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2090 1719 236 467 0 1621 0 Current children cumulated CPU time (s) 119.9 Current children cumulated vsize (KiB) 8360 [startup+120.001 s] /proc/loadavg: 2.03 2.03 2.00 3/197 24153 /proc/meminfo: memFree=30404880/32950928 swapFree=67111528/67111528 [pid=24148] ppid=24146 vsize=8360 CPUtime=119.99 /proc/24148/stat : 24148 (pbct) R 24146 24148 21667 0 -1 4202496 1811 0 0 0 10856 1143 0 0 25 0 1 0 165314311 8560640 1719 4089446400 134512640 136421960 4289481872 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/24148/statm: 2090 1719 236 467 0 1621 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (KiB) 8360 Child status: 0 Real time (s): 120.082 CPU time (s): 120.084 CPU user time (s): 108.638 CPU system time (s): 11.4453 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 108.638 system time used= 11.4453 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1816 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= 1368 runsolver used 0.170974 second user time and 0.382941 second system time The end
Begin job on node112 at 2010-06-30 13:25:08 IDJOB=2695366 IDBENCH=78803 IDSOLVER=1208 FILE ID=node112/2695366-1277897108 PBS_JOBID= 11197130 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111221624--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695366-1277897108/watcher-2695366-1277897108 -o /tmp/evaluation-result-2695366-1277897108/solver-2695366-1277897108 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695366-1277897108.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 973bd9f90df82f06bcaac12e428be840 RANDOM SEED=1685957417 node112.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.827 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.65 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.827 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.827 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.827 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.73 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.827 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.82 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.827 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.827 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.827 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: 30439468 kB Buffers: 178280 kB Cached: 1889064 kB SwapCached: 0 kB Active: 813268 kB Inactive: 1554620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30439468 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2088 kB Writeback: 0 kB AnonPages: 300000 kB Mapped: 20364 kB Slab: 80252 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1655964 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 node112 at 2010-06-30 13:27:08