Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 113.642 | 113.639 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo |
MD5SUM | 14512bd829ee0bf054bc16c7157cd521 |
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 | 29 |
Best CPU time to get the best result obtained on this benchmark | 0.130979 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1247 |
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 30/41 clauses 7/23 units 0 0.00/0.00 c vars 169 0.00/0.02 c 0.025996 7.46484 38 606 0.00/0.02 o 707 0.00/0.03 c 0.027995 7.60938 69 774 0.00/0.03 o 591 0.00/0.03 c 0.030995 7.60938 88 869 0.00/0.03 o 569 0.00/0.03 c 0.031995 7.60938 90 959 0.00/0.03 o 397 0.00/0.04 c 0.034994 7.60938 164 1089 0.00/0.04 o 395 0.09/0.10 c 0.066989 7.60938 736 2139 0.09/0.10 o 361 0.09/0.13 c 0.086986 7.60938 640 2756 0.09/0.13 o 353 0.09/0.14 c 0.093985 7.60938 394 2929 0.09/0.14 o 318 0.19/0.22 c 0.149977 7.73828 742 4148 0.19/0.22 o 276 0.19/0.24 c 0.157975 7.73828 542 4444 0.19/0.24 o 250 0.19/0.29 c 0.188971 7.73828 639 5240 0.19/0.29 o 221 0.29/0.31 c 0.202969 7.73828 583 5838 0.29/0.31 o 182 0.39/0.45 c 0.283956 7.73828 704 7842 0.39/0.45 o 167 0.39/0.47 c 0.303953 7.73828 563 8211 0.39/0.47 o 161 0.39/0.49 c 0.314952 7.73828 408 8574 0.39/0.49 o 143 0.59/0.64 c 0.399939 7.73828 646 10390 0.59/0.64 o 85 0.59/0.64 c 0.400939 7.73828 325 10425 0.59/0.64 o 69 4.09/4.11 c 2.66659 7.98828 581 53215 4.09/4.11 o 58 6.59/6.64 c 4.37533 7.98828 798 86870 6.59/6.64 o 40 11.29/11.33 c 7.71383 8.10938 861 149005 11.29/11.33 o 35 11.49/11.56 c 7.8808 8.10938 701 152288 11.49/11.56 o 31 11.49/11.57 c 7.8828 8.10938 718 152354 11.49/11.57 o 29 113.59/113.63 c 81.9915 8.42188 821 1529446 113.59/113.63 s OPTIMUM FOUND 113.59/113.63 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 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699209-1278459479/watcher-2699209-1278459479 -o /tmp/evaluation-result-2699209-1278459479/solver-2699209-1278459479 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699209-1278459479.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 1.97 1.73 3/178 12925 /proc/meminfo: memFree=29189504/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=3708 CPUtime=0 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 629 0 0 0 0 0 0 0 22 0 1 0 14162662 3796992 548 4089446400 134512640 136422188 4290257920 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 927 549 193 467 0 458 0 [startup+0.048617 s] /proc/loadavg: 2.02 1.97 1.73 3/178 12925 /proc/meminfo: memFree=29189504/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=7788 CPUtime=0.04 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1647 0 0 0 3 1 0 0 22 0 1 0 14162662 7974912 1561 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 1947 1561 236 467 0 1478 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7788 [startup+0.100612 s] /proc/loadavg: 2.02 1.97 1.73 3/178 12925 /proc/meminfo: memFree=29189504/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=7788 CPUtime=0.09 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1676 0 0 0 6 3 0 0 22 0 1 0 14162662 7974912 1590 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 1947 1590 236 467 0 1478 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7788 [startup+0.300573 s] /proc/loadavg: 2.02 1.97 1.73 3/178 12925 /proc/meminfo: memFree=29189504/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=7920 CPUtime=0.29 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1690 0 0 0 19 10 0 0 18 0 1 0 14162662 8110080 1598 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 1980 1598 236 467 0 1511 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7920 [startup+0.700502 s] /proc/loadavg: 2.02 1.97 1.73 3/178 12925 /proc/meminfo: memFree=29189504/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=7920 CPUtime=0.69 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1713 0 0 0 43 26 0 0 18 0 1 0 14162662 8110080 1615 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 1980 1615 236 467 0 1511 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7920 [startup+1.50034 s] /proc/loadavg: 2.02 1.97 1.73 3/179 12926 /proc/meminfo: memFree=29183924/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8048 CPUtime=1.49 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1736 0 0 0 96 53 0 0 19 0 1 0 14162662 8241152 1638 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 2012 1638 236 467 0 1543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8048 [startup+3.10104 s] /proc/loadavg: 2.01 1.97 1.73 3/179 12926 /proc/meminfo: memFree=29183852/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8048 CPUtime=3.09 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1753 0 0 0 200 109 0 0 23 0 1 0 14162662 8241152 1655 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 2012 1655 236 467 0 1543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8048 [startup+6.30045 s] /proc/loadavg: 2.01 1.97 1.73 3/179 12926 /proc/meminfo: memFree=29184324/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8176 CPUtime=6.29 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1788 0 0 0 414 215 0 0 25 0 1 0 14162662 8372224 1689 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 2044 1689 236 467 0 1575 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8176 [startup+12.7002 s] /proc/loadavg: 2.01 1.97 1.73 3/179 12926 /proc/meminfo: memFree=29184452/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8300 CPUtime=12.69 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1805 0 0 0 869 400 0 0 25 0 1 0 14162662 8499200 1702 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 2075 1702 236 467 0 1606 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8300 [startup+25.5008 s] /proc/loadavg: 2.01 1.97 1.73 3/179 12927 /proc/meminfo: memFree=29184876/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8300 CPUtime=25.5 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1824 0 0 0 1808 742 0 0 25 0 1 0 14162662 8499200 1721 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12925/statm: 2075 1721 236 467 0 1606 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 8300 [startup+51.1009 s] /proc/loadavg: 2.01 1.97 1.74 3/179 12928 /proc/meminfo: memFree=29184812/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8516 CPUtime=51.09 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1855 0 0 0 3667 1442 0 0 25 0 1 0 14162662 8720384 1752 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2129 1752 236 467 0 1660 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8516 [startup+102.306 s] /proc/loadavg: 1.94 1.96 1.74 3/179 12956 /proc/meminfo: memFree=29184996/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8516 CPUtime=102.3 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1875 0 0 0 7376 2854 0 0 25 0 1 0 14162662 8720384 1772 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2129 1772 236 467 0 1660 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8516 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184992/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8516 CPUtime=108.7 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1875 0 0 0 7840 3030 0 0 25 0 1 0 14162662 8720384 1772 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2129 1772 236 467 0 1660 0 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (KiB) 8516 [startup+111.9 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184980/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8644 CPUtime=111.89 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1884 0 0 0 8075 3114 0 0 25 0 1 0 14162662 8851456 1781 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2161 1781 236 467 0 1692 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 8644 [startup+112.701 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184980/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8620 CPUtime=112.69 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1884 0 0 0 8131 3138 0 0 25 0 1 0 14162662 8826880 1781 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2155 1781 236 467 0 1686 0 Current children cumulated CPU time (s) 112.69 Current children cumulated vsize (KiB) 8620 [startup+113.101 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184980/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8620 CPUtime=113.09 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1891 0 0 0 8158 3151 0 0 25 0 1 0 14162662 8826880 1788 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2155 1788 236 467 0 1686 0 Current children cumulated CPU time (s) 113.09 Current children cumulated vsize (KiB) 8620 [startup+113.501 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184844/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8620 CPUtime=113.5 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1891 0 0 0 8189 3161 0 0 25 0 1 0 14162662 8826880 1788 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2155 1788 236 467 0 1686 0 Current children cumulated CPU time (s) 113.5 Current children cumulated vsize (KiB) 8620 [startup+113.601 s] /proc/loadavg: 1.95 1.96 1.75 3/179 12956 /proc/meminfo: memFree=29184844/32950928 swapFree=67111528/67111528 [pid=12925] ppid=12923 vsize=8620 CPUtime=113.59 /proc/12925/stat : 12925 (pbct) R 12923 12925 12651 0 -1 4202496 1891 0 0 0 8196 3163 0 0 25 0 1 0 14162662 8826880 1788 4089446400 134512640 136422188 4290257920 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12925/statm: 2155 1788 236 467 0 1686 0 Current children cumulated CPU time (s) 113.59 Current children cumulated vsize (KiB) 8620 Child status: 0 Real time (s): 113.639 CPU time (s): 113.642 CPU user time (s): 81.9965 CPU system time (s): 31.6452 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 81.9965 system time used= 31.6452 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1896 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= 1045 runsolver used 0.167974 second user time and 0.354946 second system time The end
Begin job on node114 at 2010-07-07 01:37:59 IDJOB=2699209 IDBENCH=78833 IDSOLVER=1212 FILE ID=node114/2699209-1278459479 PBS_JOBID= 11233764 Free space on /tmp= 73380 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699209-1278459479/watcher-2699209-1278459479 -o /tmp/evaluation-result-2699209-1278459479/solver-2699209-1278459479 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699209-1278459479.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 14512bd829ee0bf054bc16c7157cd521 RANDOM SEED=121708134 node114.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.824 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.64 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.824 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.824 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.83 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.824 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.81 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.824 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.824 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.824 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.824 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: 29190280 kB Buffers: 106176 kB Cached: 3434876 kB SwapCached: 0 kB Active: 1052156 kB Inactive: 2558348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29190280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 70244 kB Mapped: 15616 kB Slab: 86724 kB PageTables: 4816 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212212 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= 73376 MiB End job on node114 at 2010-07-07 01:39:53