Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 121.046 | 121.044 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo |
MD5SUM | bda3418eb2779577fc492619368d84b3 |
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 | 49 |
Best CPU time to get the best result obtained on this benchmark | 0.151976 |
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 | 26 |
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 | 1243 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 1242 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1220 |
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 25/5 units 0 0.00/0.00 c vars 169 4.69/4.74 c 3.43248 7.93359 1041 58663 4.69/4.75 o 231 4.69/4.75 c 3.43448 8.09375 579 58777 4.69/4.75 o 193 5.89/5.93 c 4.24335 8.09375 798 74674 5.89/5.93 o 186 7.90/7.94 c 5.65314 8.09375 652 100612 7.90/7.94 o 87 7.90/7.94 c 5.65614 8.09375 673 100650 7.90/7.94 o 82 13.10/13.10 c 9.50155 8.09375 1125 167465 13.10/13.10 o 80 37.59/37.69 c 28.2157 8.09375 430 492923 37.59/37.69 o 49 121.00/121.03 c 91.837 8.09375 491 1575065 121.00/121.03 s OPTIMUM FOUND 121.00/121.03 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 49
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699163-1278459413/watcher-2699163-1278459413 -o /tmp/evaluation-result-2699163-1278459413/solver-2699163-1278459413 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699163-1278459413.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.98 1.94 1.70 3/178 12644 /proc/meminfo: memFree=30717944/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=3836 CPUtime=0 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 648 0 0 0 0 0 0 0 25 0 1 0 14155272 3928064 568 4089446400 134512640 136422188 4293254880 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 959 568 193 467 0 490 0 [startup+0.0154319 s] /proc/loadavg: 1.98 1.94 1.70 3/178 12644 /proc/meminfo: memFree=30717944/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=5840 CPUtime=0.01 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1160 0 0 0 1 0 0 0 25 0 1 0 14155272 5980160 1080 4089446400 134512640 136422188 4293254880 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 1460 1082 193 467 0 991 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5840 [startup+0.10045 s] /proc/loadavg: 1.98 1.94 1.70 3/178 12644 /proc/meminfo: memFree=30717944/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=7616 CPUtime=0.09 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1598 0 0 0 7 2 0 0 25 0 1 0 14155272 7798784 1518 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 1904 1518 213 467 0 1435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7616 [startup+0.300411 s] /proc/loadavg: 1.98 1.94 1.70 3/178 12644 /proc/meminfo: memFree=30717944/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=7744 CPUtime=0.29 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1656 0 0 0 21 8 0 0 25 0 1 0 14155272 7929856 1576 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 1936 1576 213 467 0 1467 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7744 [startup+0.700343 s] /proc/loadavg: 1.98 1.94 1.70 3/178 12644 /proc/meminfo: memFree=30717944/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=7872 CPUtime=0.69 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1678 0 0 0 49 20 0 0 25 0 1 0 14155272 8060928 1598 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 1968 1598 213 467 0 1499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7872 [startup+1.5002 s] /proc/loadavg: 1.98 1.94 1.70 3/179 12645 /proc/meminfo: memFree=30712588/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=7872 CPUtime=1.49 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1682 0 0 0 106 43 0 0 25 0 1 0 14155272 8060928 1602 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 1968 1602 213 467 0 1499 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7872 [startup+3.10091 s] /proc/loadavg: 1.98 1.94 1.70 3/179 12645 /proc/meminfo: memFree=30712216/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8000 CPUtime=3.1 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1707 0 0 0 229 81 0 0 25 0 1 0 14155272 8192000 1627 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 2000 1627 213 467 0 1531 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 8000 [startup+6.30034 s] /proc/loadavg: 1.98 1.94 1.70 3/179 12645 /proc/meminfo: memFree=30711948/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=6.29 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1780 0 0 0 449 180 0 0 18 0 1 0 14155272 8482816 1697 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 2071 1697 236 467 0 1602 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8284 [startup+12.7002 s] /proc/loadavg: 1.98 1.94 1.70 3/179 12645 /proc/meminfo: memFree=30711704/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=12.69 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1782 0 0 0 922 347 0 0 25 0 1 0 14155272 8482816 1697 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12644/statm: 2071 1697 236 467 0 1602 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8284 [startup+25.501 s] /proc/loadavg: 1.99 1.94 1.71 3/179 12672 /proc/meminfo: memFree=30712600/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=25.49 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1783 0 0 0 1863 686 0 0 25 0 1 0 14155272 8482816 1697 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1697 236 467 0 1602 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8284 [startup+51.1005 s] /proc/loadavg: 1.99 1.95 1.71 3/179 12673 /proc/meminfo: memFree=30712376/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=51.1 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1784 0 0 0 3878 1232 0 0 25 0 1 0 14155272 8482816 1697 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1697 236 467 0 1602 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8284 [startup+102.305 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12701 /proc/meminfo: memFree=30711492/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=102.3 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1791 0 0 0 7801 2429 0 0 25 0 1 0 14155272 8482816 1704 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1704 236 467 0 1602 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8284 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12701 /proc/meminfo: memFree=30711368/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=108.69 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1791 0 0 0 8273 2596 0 0 25 0 1 0 14155272 8482816 1704 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1704 236 467 0 1602 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8284 [startup+115.1 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=115.09 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 8743 2766 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8284 [startup+118.301 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=118.29 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 8976 2853 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 118.29 Current children cumulated vsize (KiB) 8284 [startup+119.906 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=119.9 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 9093 2897 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 119.9 Current children cumulated vsize (KiB) 8284 [startup+120.7 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=120.7 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 9158 2912 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 120.7 Current children cumulated vsize (KiB) 8284 [startup+120.901 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=120.9 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 9174 2916 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 120.9 Current children cumulated vsize (KiB) 8284 [startup+121.006 s] /proc/loadavg: 1.99 1.95 1.73 3/179 12702 /proc/meminfo: memFree=30711328/32951124 swapFree=67111528/67111528 [pid=12644] ppid=12642 vsize=8284 CPUtime=121 /proc/12644/stat : 12644 (pbct) R 12642 12644 12415 0 -1 4202496 1798 0 0 0 9181 2919 0 0 25 0 1 0 14155272 8482816 1711 4089446400 134512640 136422188 4293254880 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12644/statm: 2071 1711 236 467 0 1602 0 Current children cumulated CPU time (s) 121 Current children cumulated vsize (KiB) 8284 Child status: 0 Real time (s): 121.044 CPU time (s): 121.046 CPU user time (s): 91.841 CPU system time (s): 29.2046 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 8284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.841 system time used= 29.2046 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1803 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= 3 involuntary context switches= 213 runsolver used 0.182972 second user time and 0.374943 second system time The end
Begin job on node119 at 2010-07-07 01:36:53 IDJOB=2699163 IDBENCH=78813 IDSOLVER=1212 FILE ID=node119/2699163-1278459413 PBS_JOBID= 11233755 Free space on /tmp= 73516 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699163-1278459413/watcher-2699163-1278459413 -o /tmp/evaluation-result-2699163-1278459413/solver-2699163-1278459413 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699163-1278459413.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bda3418eb2779577fc492619368d84b3 RANDOM SEED=507695721 node119.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.868 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.73 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.868 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.868 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.868 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.75 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.868 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.72 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.868 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.82 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.868 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.75 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.868 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: 32951124 kB MemFree: 30718340 kB Buffers: 102620 kB Cached: 1918336 kB SwapCached: 0 kB Active: 772864 kB Inactive: 1317160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30718340 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2052 kB Writeback: 0 kB AnonPages: 69252 kB Mapped: 15616 kB Slab: 79468 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 210784 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= 73516 MiB End job on node119 at 2010-07-07 01:38:54