Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 120.975 | 120.971 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo |
MD5SUM | b7777dd5fa41ca59afb23064bb503e66 |
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 | 80 |
Best CPU time to get the best result obtained on this benchmark | 0.12298 |
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 | 28 |
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 | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1327 |
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 23/7 units 0 0.00/0.00 c vars 169 0.50/0.53 c 0.367944 7.69141 1140 6991 0.50/0.53 o 529 0.99/1.08 c 0.743886 7.84766 512 14544 0.99/1.08 o 370 1.09/1.12 c 0.771882 7.84766 527 15153 1.09/1.12 o 367 1.09/1.12 c 0.772882 7.84766 536 15179 1.09/1.12 o 363 1.09/1.16 c 0.799878 7.84766 973 15826 1.09/1.16 o 197 5.89/5.92 c 4.18036 7.84766 840 76242 5.89/5.92 o 189 14.89/14.96 c 10.5064 7.94531 683 194638 14.89/14.96 o 177 15.19/15.28 c 10.7234 7.94531 551 198851 15.19/15.28 o 97 21.69/21.77 c 15.3317 7.94531 595 286709 21.69/21.77 o 80 120.90/120.96 c 86.8278 8.18359 967 1571565 120.90/120.96 s OPTIMUM FOUND 120.90/120.96 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 80
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699256-1278459561/watcher-2699256-1278459561 -o /tmp/evaluation-result-2699256-1278459561/solver-2699256-1278459561 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699256-1278459561.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.04 1.97 1.75 3/178 13347 /proc/meminfo: memFree=30202620/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=3844 CPUtime=0 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 661 0 0 0 0 0 0 0 21 0 1 0 14169924 3936256 580 4089446400 134512640 136422188 4294895728 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 961 581 193 467 0 492 0 [startup+0.0881381 s] /proc/loadavg: 2.04 1.97 1.75 3/178 13347 /proc/meminfo: memFree=30202620/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=7480 CPUtime=0.08 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1585 0 0 0 7 1 0 0 21 0 1 0 14169924 7659520 1504 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 1870 1504 213 467 0 1401 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7480 [startup+0.10113 s] /proc/loadavg: 2.04 1.97 1.75 3/178 13347 /proc/meminfo: memFree=30202620/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=7608 CPUtime=0.09 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1589 0 0 0 8 1 0 0 21 0 1 0 14169924 7790592 1508 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 1902 1508 213 467 0 1433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7608 [startup+0.301094 s] /proc/loadavg: 2.04 1.97 1.75 3/178 13347 /proc/meminfo: memFree=30202620/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=7736 CPUtime=0.29 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1625 0 0 0 21 8 0 0 21 0 1 0 14169924 7921664 1544 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 1934 1544 213 467 0 1465 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7736 [startup+0.700959 s] /proc/loadavg: 2.04 1.97 1.75 3/178 13347 /proc/meminfo: memFree=30202620/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8032 CPUtime=0.69 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1714 0 0 0 47 22 0 0 22 0 1 0 14169924 8224768 1632 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2008 1632 236 467 0 1539 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8032 [startup+1.50087 s] /proc/loadavg: 2.04 1.97 1.75 3/179 13348 /proc/meminfo: memFree=30197344/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8032 CPUtime=1.49 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1718 0 0 0 103 46 0 0 25 0 1 0 14169924 8224768 1632 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2008 1632 236 467 0 1539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8032 [startup+3.10056 s] /proc/loadavg: 2.04 1.97 1.75 3/179 13348 /proc/meminfo: memFree=30197344/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8032 CPUtime=3.09 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1718 0 0 0 211 98 0 0 25 0 1 0 14169924 8224768 1632 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2008 1632 236 467 0 1539 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8032 [startup+6.30094 s] /proc/loadavg: 2.04 1.97 1.75 3/179 13348 /proc/meminfo: memFree=30197708/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8032 CPUtime=6.29 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1719 0 0 0 443 186 0 0 25 0 1 0 14169924 8224768 1632 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2008 1632 236 467 0 1539 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8032 [startup+12.7007 s] /proc/loadavg: 2.04 1.97 1.75 3/179 13349 /proc/meminfo: memFree=30197964/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8032 CPUtime=12.7 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1731 0 0 0 897 373 0 0 25 0 1 0 14169924 8224768 1644 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2008 1644 236 467 0 1539 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8032 [startup+25.5003 s] /proc/loadavg: 2.03 1.97 1.75 3/179 13349 /proc/meminfo: memFree=30198912/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8132 CPUtime=25.49 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1752 0 0 0 1803 746 0 0 25 0 1 0 14169924 8327168 1662 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2033 1662 236 467 0 1564 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8132 [startup+51.1003 s] /proc/loadavg: 2.02 1.97 1.76 3/179 13349 /proc/meminfo: memFree=30198612/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8260 CPUtime=51.09 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1773 0 0 0 3642 1467 0 0 25 0 1 0 14169924 8458240 1683 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2065 1683 236 467 0 1596 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8260 [startup+102.307 s] /proc/loadavg: 2.01 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30185664/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=102.3 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1802 0 0 0 7332 2898 0 0 25 0 1 0 14169924 8577024 1712 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1712 236 467 0 1625 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8376 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30185536/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=108.69 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 7789 3080 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8376 [startup+115.101 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30185532/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=115.1 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 8251 3259 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 115.1 Current children cumulated vsize (KiB) 8376 [startup+118.3 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30185532/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=118.29 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 8493 3336 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 118.29 Current children cumulated vsize (KiB) 8376 [startup+119.906 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30181564/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=119.9 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 8605 3385 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 119.9 Current children cumulated vsize (KiB) 8376 [startup+120.701 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30181564/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=120.69 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 8663 3406 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 120.69 Current children cumulated vsize (KiB) 8376 [startup+120.901 s] /proc/loadavg: 2.00 1.97 1.77 3/179 13351 /proc/meminfo: memFree=30180076/32950928 swapFree=67111528/67111528 [pid=13347] ppid=13345 vsize=8376 CPUtime=120.9 /proc/13347/stat : 13347 (pbct) R 13345 13347 13115 0 -1 4202496 1814 0 0 0 8678 3412 0 0 25 0 1 0 14169924 8577024 1724 4089446400 134512640 136422188 4294895728 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13347/statm: 2094 1724 236 467 0 1625 0 Current children cumulated CPU time (s) 120.9 Current children cumulated vsize (KiB) 8376 Child status: 0 Real time (s): 120.971 CPU time (s): 120.975 CPU user time (s): 86.8318 CPU system time (s): 34.1428 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.8318 system time used= 34.1428 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1819 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= 232 runsolver used 0.152976 second user time and 0.404938 second system time The end
Begin job on node127 at 2010-07-07 01:39:21 IDJOB=2699256 IDBENCH=78857 IDSOLVER=1212 FILE ID=node127/2699256-1278459561 PBS_JOBID= 11233739 Free space on /tmp= 73388 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699256-1278459561/watcher-2699256-1278459561 -o /tmp/evaluation-result-2699256-1278459561/solver-2699256-1278459561 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699256-1278459561.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b7777dd5fa41ca59afb23064bb503e66 RANDOM SEED=1492846776 node127.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.804 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.60 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.804 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 : 5424.67 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.804 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.74 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.804 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.83 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.804 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.804 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.68 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.804 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.804 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: 30203388 kB Buffers: 107312 kB Cached: 2193772 kB SwapCached: 0 kB Active: 968416 kB Inactive: 1630384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30203388 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 297624 kB Mapped: 15616 kB Slab: 83472 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 439004 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= 73384 MiB End job on node127 at 2010-07-07 01:41:22