Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 40.1169 | 40.1153 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-33-100-0.wbo |
MD5SUM | 6c57c5aada90424d0dad1a990e56c347 |
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 | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.139978 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1243 |
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 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.033994 7.43359 87 663 0.00/0.04 o 432 0.00/0.04 c 0.040993 7.60938 118 743 0.00/0.04 o 403 0.04/0.08 c 0.066989 7.60938 382 1434 0.04/0.08 o 357 0.09/0.15 c 0.134979 7.73438 547 2552 0.09/0.15 o 341 0.09/0.15 c 0.135979 7.73438 554 2602 0.09/0.15 o 313 0.39/0.42 c 0.375942 7.73438 509 6479 0.39/0.42 o 311 0.39/0.42 c 0.378942 7.73438 520 6532 0.39/0.42 o 307 0.39/0.42 c 0.379942 7.73438 523 6612 0.39/0.42 o 255 0.49/0.58 c 0.515921 7.73438 572 8855 0.49/0.58 o 253 0.59/0.65 c 0.583911 7.73438 474 10015 0.59/0.65 o 218 1.49/1.57 c 1.38179 7.85938 924 21036 1.49/1.57 o 200 1.49/1.58 c 1.39179 7.85938 516 21169 1.49/1.58 o 188 1.59/1.66 c 1.45578 7.85938 575 22115 1.59/1.66 o 156 1.59/1.66 c 1.45878 7.85938 594 22201 1.59/1.66 o 131 1.59/1.66 c 1.46078 7.85938 607 22246 1.59/1.66 o 129 1.59/1.66 c 1.46178 7.85938 610 22280 1.59/1.66 o 116 2.79/2.86 c 2.49762 7.85938 461 35970 2.79/2.86 o 93 2.79/2.88 c 2.51562 7.85938 587 36294 2.79/2.88 o 64 2.89/2.90 c 2.53861 7.85938 403 36602 2.89/2.90 o 61 4.99/5.05 c 4.43333 7.85938 756 62924 4.99/5.05 o 44 4.99/5.06 c 4.43832 7.85938 414 63022 4.99/5.06 o 41 5.59/5.66 c 4.97824 7.98438 712 70309 5.59/5.66 o 39 8.29/8.33 c 7.40787 8.10938 998 104035 8.29/8.33 o 38 9.39/9.49 c 8.44572 8.10938 868 118689 9.39/9.49 o 17 11.50/11.51 c 10.2884 8.10938 793 145408 11.50/11.51 o 15 12.60/12.65 c 11.3363 8.10938 608 159997 12.60/12.65 o 13 36.79/36.82 c 33.2539 8.21875 561 481297 36.79/36.82 o 12 38.99/39.09 c 35.2966 8.21875 813 510834 38.99/39.09 o 10 39.29/39.38 c 35.5546 8.21875 930 514438 39.29/39.38 o 8 40.09/40.11 c 36.2175 8.21875 340 523228 40.09/40.11 s OPTIMUM FOUND 40.09/40.11 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 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699280-1278459607/watcher-2699280-1278459607 -o /tmp/evaluation-result-2699280-1278459607/solver-2699280-1278459607 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699280-1278459607.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.96 1.96 1.75 4/178 13010 /proc/meminfo: memFree=29189052/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=3840 CPUtime=0 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 655 0 0 0 0 0 0 0 25 0 1 0 14175453 3932160 575 4089446400 134512640 136422188 4287223840 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 960 576 193 467 0 491 0 [startup+0.0573131 s] /proc/loadavg: 1.96 1.96 1.75 4/178 13010 /proc/meminfo: memFree=29189052/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=7788 CPUtime=0.04 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1654 0 0 0 4 0 0 0 25 0 1 0 14175453 7974912 1572 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 1947 1572 236 467 0 1478 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7788 [startup+0.1003 s] /proc/loadavg: 1.96 1.96 1.75 4/178 13010 /proc/meminfo: memFree=29189052/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=7788 CPUtime=0.09 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1668 0 0 0 8 1 0 0 25 0 1 0 14175453 7974912 1585 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 1947 1585 236 467 0 1478 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7788 [startup+0.300266 s] /proc/loadavg: 1.96 1.96 1.75 4/178 13010 /proc/meminfo: memFree=29189052/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=7916 CPUtime=0.29 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1692 0 0 0 26 3 0 0 18 0 1 0 14175453 8105984 1607 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 1979 1607 236 467 0 1510 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7916 [startup+0.700189 s] /proc/loadavg: 1.96 1.96 1.75 4/178 13010 /proc/meminfo: memFree=29189052/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=7916 CPUtime=0.69 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1707 0 0 0 62 7 0 0 18 0 1 0 14175453 8105984 1617 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 1979 1617 236 467 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7916 [startup+1.50103 s] /proc/loadavg: 1.96 1.96 1.75 3/179 13011 /proc/meminfo: memFree=29183216/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8044 CPUtime=1.49 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1725 0 0 0 131 18 0 0 18 0 1 0 14175453 8237056 1635 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2011 1635 236 467 0 1542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8044 [startup+3.10072 s] /proc/loadavg: 1.96 1.96 1.75 3/179 13011 /proc/meminfo: memFree=29183472/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8044 CPUtime=3.09 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1740 0 0 0 270 39 0 0 22 0 1 0 14175453 8237056 1641 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2011 1641 236 467 0 1542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8044 [startup+6.30112 s] /proc/loadavg: 1.96 1.96 1.75 3/179 13011 /proc/meminfo: memFree=29183452/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8172 CPUtime=6.29 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1777 0 0 0 555 74 0 0 25 0 1 0 14175453 8368128 1675 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2043 1675 236 467 0 1574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8172 [startup+12.7009 s] /proc/loadavg: 1.97 1.96 1.75 3/179 13011 /proc/meminfo: memFree=29183676/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8300 CPUtime=12.69 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1811 0 0 0 1137 132 0 0 25 0 1 0 14175453 8499200 1705 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2075 1705 236 467 0 1606 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8300 [startup+25.5004 s] /proc/loadavg: 1.97 1.96 1.75 3/179 13011 /proc/meminfo: memFree=29183632/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=25.49 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1833 0 0 0 2293 256 0 0 25 0 1 0 14175453 8613888 1727 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1727 236 467 0 1634 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8412 Solver just ended. Dumping a history of the last processes samples [startup+31.9062 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13011 /proc/meminfo: memFree=29183508/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=31.9 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1841 0 0 0 2876 314 0 0 25 0 1 0 14175453 8613888 1735 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1735 236 467 0 1634 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 8412 [startup+35.1006 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13011 /proc/meminfo: memFree=29183504/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=35.1 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1843 0 0 0 3167 343 0 0 25 0 1 0 14175453 8613888 1737 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1737 236 467 0 1634 0 Current children cumulated CPU time (s) 35.1 Current children cumulated vsize (KiB) 8412 [startup+38.301 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13012 /proc/meminfo: memFree=29183596/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=38.29 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1844 0 0 0 3457 372 0 0 25 0 1 0 14175453 8613888 1737 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1737 236 467 0 1634 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 8412 [startup+39.1008 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13012 /proc/meminfo: memFree=29183596/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=39.09 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1845 0 0 0 3529 380 0 0 25 0 1 0 14175453 8613888 1737 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1737 236 467 0 1634 0 Current children cumulated CPU time (s) 39.09 Current children cumulated vsize (KiB) 8412 [startup+39.9007 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13012 /proc/meminfo: memFree=29183348/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=39.89 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1850 0 0 0 3602 387 0 0 25 0 1 0 14175453 8613888 1741 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1741 236 467 0 1634 0 Current children cumulated CPU time (s) 39.89 Current children cumulated vsize (KiB) 8412 [startup+40.1006 s] /proc/loadavg: 1.98 1.96 1.76 3/179 13012 /proc/meminfo: memFree=29183348/32950928 swapFree=67111528/67111528 [pid=13010] ppid=13008 vsize=8412 CPUtime=40.09 /proc/13010/stat : 13010 (pbct) R 13008 13010 12668 0 -1 4202496 1850 0 0 0 3620 389 0 0 25 0 1 0 14175453 8613888 1741 4089446400 134512640 136422188 4287223840 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13010/statm: 2103 1741 236 467 0 1634 0 Current children cumulated CPU time (s) 40.09 Current children cumulated vsize (KiB) 8412 Child status: 0 Real time (s): 40.1153 CPU time (s): 40.1169 CPU user time (s): 36.2225 CPU system time (s): 3.89441 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.2225 system time used= 3.89441 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1855 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= 52 runsolver used 0.055991 second user time and 0.132979 second system time The end
Begin job on node114 at 2010-07-07 01:40:07 IDJOB=2699280 IDBENCH=78872 IDSOLVER=1212 FILE ID=node114/2699280-1278459607 PBS_JOBID= 11233765 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.1110977273--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699280-1278459607/watcher-2699280-1278459607 -o /tmp/evaluation-result-2699280-1278459607/solver-2699280-1278459607 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699280-1278459607.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6c57c5aada90424d0dad1a990e56c347 RANDOM SEED=432890515 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: 29189572 kB Buffers: 106504 kB Cached: 3434936 kB SwapCached: 0 kB Active: 1051636 kB Inactive: 2558624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29189572 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3940 kB Writeback: 0 kB AnonPages: 68432 kB Mapped: 15616 kB Slab: 86896 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 211420 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:40:47