Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 111.682 | 111.678 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo |
MD5SUM | 569bc66899871f531ac68d505b942740 |
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.155976 |
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 | 1227 |
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 42/29 clauses 17/13 units 0 0.00/0.00 c vars 169 0.06/0.09 c 0.05999 7.37109 488 1253 0.06/0.09 o 545 0.06/0.09 c 0.06099 7.54297 491 1321 0.06/0.09 o 287 0.69/0.78 c 0.554915 7.79297 1294 10497 0.69/0.78 o 256 1.09/1.18 c 0.847871 7.79297 730 15242 1.09/1.18 o 235 3.29/3.33 c 2.45263 7.91797 1297 40268 3.29/3.33 o 203 3.89/3.95 c 2.88556 7.91797 693 48699 3.89/3.95 o 195 3.89/3.95 c 2.88756 7.91797 354 48767 3.89/3.95 o 119 7.89/7.90 c 5.8901 7.91797 757 94724 7.89/7.90 o 110 12.19/12.28 c 9.1826 7.91797 1178 146352 12.19/12.28 o 92 12.80/12.84 c 9.60354 7.91797 482 151884 12.80/12.84 o 73 35.30/35.37 c 27.0739 8.03516 647 431464 35.30/35.37 o 71 53.90/53.97 c 41.4357 8.14844 653 668810 53.90/53.97 o 64 79.79/79.85 c 61.4907 8.14844 1088 998405 79.79/79.85 o 50 101.40/101.46 c 78.4561 8.14844 867 1275537 101.40/101.46 o 49 111.59/111.67 c 86.4789 8.14844 552 1406557 111.59/111.67 s OPTIMUM FOUND 111.59/111.67 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-2699071-1278459261/watcher-2699071-1278459261 -o /tmp/evaluation-result-2699071-1278459261/solver-2699071-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699071-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.69 1.93 1.66 2/173 11934 /proc/meminfo: memFree=30065268/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=3832 CPUtime=0 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 14140286 3923968 568 4089446400 134512640 136422188 4289896784 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 958 569 193 467 0 489 0 [startup+0.072454 s] /proc/loadavg: 1.69 1.93 1.66 2/173 11934 /proc/meminfo: memFree=30065268/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7544 CPUtime=0.06 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1588 0 0 0 4 2 0 0 20 0 1 0 14140286 7725056 1507 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1886 1507 213 467 0 1417 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7544 [startup+0.100484 s] /proc/loadavg: 1.69 1.93 1.66 2/173 11934 /proc/meminfo: memFree=30065268/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7720 CPUtime=0.09 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1641 0 0 0 6 3 0 0 20 0 1 0 14140286 7905280 1558 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1930 1558 236 467 0 1461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7720 [startup+0.30034 s] /proc/loadavg: 1.69 1.93 1.66 2/173 11934 /proc/meminfo: memFree=30065268/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7720 CPUtime=0.29 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1656 0 0 0 18 11 0 0 20 0 1 0 14140286 7905280 1573 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1930 1573 236 467 0 1461 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7720 [startup+0.700335 s] /proc/loadavg: 1.69 1.93 1.66 2/173 11934 /proc/meminfo: memFree=30065268/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7976 CPUtime=0.69 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1695 0 0 0 48 21 0 0 21 0 1 0 14140286 8167424 1612 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1994 1612 236 467 0 1525 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7976 [startup+1.50119 s] /proc/loadavg: 1.72 1.93 1.66 3/179 11945 /proc/meminfo: memFree=30050836/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7976 CPUtime=1.49 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1701 0 0 0 107 42 0 0 23 0 1 0 14140286 8167424 1616 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1994 1616 236 467 0 1525 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7976 [startup+3.10088 s] /proc/loadavg: 1.72 1.93 1.66 3/179 11945 /proc/meminfo: memFree=30051108/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=7976 CPUtime=3.09 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1716 0 0 0 227 82 0 0 25 0 1 0 14140286 8167424 1631 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 1994 1631 236 467 0 1525 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7976 [startup+6.3003 s] /proc/loadavg: 1.72 1.93 1.66 3/179 11946 /proc/meminfo: memFree=30051264/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8104 CPUtime=6.29 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1732 0 0 0 467 162 0 0 25 0 1 0 14140286 8298496 1644 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2026 1644 236 467 0 1557 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8104 [startup+12.7011 s] /proc/loadavg: 1.76 1.94 1.67 3/179 11946 /proc/meminfo: memFree=30050892/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8104 CPUtime=12.69 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1755 0 0 0 949 320 0 0 25 0 1 0 14140286 8298496 1665 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2026 1665 236 467 0 1557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8104 [startup+25.5007 s] /proc/loadavg: 1.80 1.94 1.67 3/179 11946 /proc/meminfo: memFree=30051316/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8224 CPUtime=25.49 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1775 0 0 0 1947 602 0 0 25 0 1 0 14140286 8421376 1684 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2056 1684 236 467 0 1587 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8224 [startup+51.1009 s] /proc/loadavg: 1.87 1.94 1.68 3/179 11946 /proc/meminfo: memFree=30051220/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8356 CPUtime=51.09 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1797 0 0 0 3922 1187 0 0 25 0 1 0 14140286 8556544 1705 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2089 1705 236 467 0 1620 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8356 [startup+102.306 s] /proc/loadavg: 1.94 1.95 1.69 3/179 11948 /proc/meminfo: memFree=30050580/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=102.3 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 7912 2318 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8340 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 1.94 1.95 1.69 3/179 11948 /proc/meminfo: memFree=30050580/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=105.5 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8165 2385 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8340 [startup+108.7 s] /proc/loadavg: 1.95 1.95 1.70 3/179 11948 /proc/meminfo: memFree=30050456/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=108.69 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8412 2457 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8340 [startup+110.301 s] /proc/loadavg: 1.95 1.95 1.70 3/179 11948 /proc/meminfo: memFree=30050576/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=110.29 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8537 2492 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 8340 [startup+111.106 s] /proc/loadavg: 1.95 1.95 1.70 3/179 11948 /proc/meminfo: memFree=30050576/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=111.1 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8602 2508 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 111.1 Current children cumulated vsize (KiB) 8340 [startup+111.501 s] /proc/loadavg: 1.95 1.95 1.70 3/179 11948 /proc/meminfo: memFree=30050576/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=111.5 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8634 2516 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 111.5 Current children cumulated vsize (KiB) 8340 [startup+111.601 s] /proc/loadavg: 1.95 1.95 1.70 3/179 11948 /proc/meminfo: memFree=30050576/32950928 swapFree=67111528/67111528 [pid=11934] ppid=11932 vsize=8340 CPUtime=111.59 /proc/11934/stat : 11934 (pbct) R 11932 11934 11801 0 -1 4202496 1812 0 0 0 8641 2518 0 0 25 0 1 0 14140286 8540160 1717 4089446400 134512640 136422188 4289896784 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/11934/statm: 2085 1717 236 467 0 1616 0 Current children cumulated CPU time (s) 111.59 Current children cumulated vsize (KiB) 8340 Child status: 0 Real time (s): 111.678 CPU time (s): 111.682 CPU user time (s): 86.4829 CPU system time (s): 25.1992 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 86.4829 system time used= 25.1992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1817 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= 149 runsolver used 0.180972 second user time and 0.331949 second system time The end
Begin job on node113 at 2010-07-07 01:34:21 IDJOB=2699071 IDBENCH=78763 IDSOLVER=1212 FILE ID=node113/2699071-1278459261 PBS_JOBID= 11233767 Free space on /tmp= 73816 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699071-1278459261/watcher-2699071-1278459261 -o /tmp/evaluation-result-2699071-1278459261/solver-2699071-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699071-1278459261.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 569bc66899871f531ac68d505b942740 RANDOM SEED=1199506635 node113.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.843 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.68 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.843 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.843 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.843 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.843 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.74 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.843 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.76 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.843 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.93 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.843 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30065540 kB Buffers: 99472 kB Cached: 2587268 kB SwapCached: 0 kB Active: 1186624 kB Inactive: 1562036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30065540 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2104 kB Writeback: 0 kB AnonPages: 61548 kB Mapped: 14412 kB Slab: 73116 kB PageTables: 4508 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 182864 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= 73812 MiB End job on node113 at 2010-07-07 01:36:13