Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 112.889 | 112.886 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo |
MD5SUM | 2781b3371b432984c0fe1e8064068870 |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 1.20082 |
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.1 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 1.99/2.05 c 1.71474 7.80469 1186 26105 1.99/2.05 o 253 2.39/2.45 c 2.07268 7.96094 601 31150 2.39/2.45 o 235 2.49/2.53 c 2.14467 7.96094 620 32286 2.49/2.53 o 202 2.49/2.59 c 2.19167 7.96094 754 33125 2.49/2.59 o 171 2.49/2.59 c 2.19267 7.96094 381 33166 2.49/2.59 o 138 4.19/4.21 c 3.62945 7.96094 683 52908 4.19/4.21 o 122 4.89/4.96 c 4.28935 7.96094 604 62090 4.89/4.96 o 68 7.89/7.91 c 6.74797 7.96094 798 98313 7.89/7.91 o 60 10.69/10.77 c 9.25759 7.96094 576 133506 10.69/10.77 o 58 112.80/112.88 c 100.411 7.96094 781 1415668 112.80/112.88 s OPTIMUM FOUND 112.80/112.88 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 58
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695398-1277897926/watcher-2695398-1277897926 -o /tmp/evaluation-result-2695398-1277897926/solver-2695398-1277897926 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695398-1277897926.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.00 2.01 2.00 4/196 12359 /proc/meminfo: memFree=31160136/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=3832 CPUtime=0 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 649 0 0 0 0 0 0 0 25 0 1 0 131088925 3923968 568 4089446400 134512640 136421960 4287213072 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 958 569 193 467 0 489 0 [startup+0.0696689 s] /proc/loadavg: 2.00 2.01 2.00 4/196 12359 /proc/meminfo: memFree=31160136/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=7600 CPUtime=0.06 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1593 0 0 0 5 1 0 0 25 0 1 0 131088925 7782400 1512 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 1900 1512 213 467 0 1431 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7600 [startup+0.100664 s] /proc/loadavg: 2.00 2.01 2.00 4/196 12359 /proc/meminfo: memFree=31160136/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=7600 CPUtime=0.09 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1604 0 0 0 8 1 0 0 25 0 1 0 131088925 7782400 1523 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 1900 1523 213 467 0 1431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7600 [startup+0.300629 s] /proc/loadavg: 2.00 2.01 2.00 4/196 12359 /proc/meminfo: memFree=31160136/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=7728 CPUtime=0.29 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1631 0 0 0 25 4 0 0 25 0 1 0 131088925 7913472 1550 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 1932 1550 213 467 0 1463 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7728 [startup+0.700558 s] /proc/loadavg: 2.00 2.01 2.00 4/196 12359 /proc/meminfo: memFree=31160136/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=7860 CPUtime=0.69 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1664 0 0 0 59 10 0 0 25 0 1 0 131088925 8048640 1583 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 1965 1583 213 467 0 1496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7860 [startup+1.50042 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12360 /proc/meminfo: memFree=31154428/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=7860 CPUtime=1.49 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1677 0 0 0 124 25 0 0 25 0 1 0 131088925 8048640 1596 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 1965 1596 213 467 0 1496 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7860 [startup+3.10013 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12360 /proc/meminfo: memFree=31154304/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=3.09 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1739 0 0 0 263 46 0 0 25 0 1 0 131088925 8343552 1653 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1653 236 467 0 1568 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8148 [startup+6.30057 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12360 /proc/meminfo: memFree=31154572/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=6.3 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1741 0 0 0 539 91 0 0 25 0 1 0 131088925 8343552 1653 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1653 236 467 0 1568 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8148 [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12360 /proc/meminfo: memFree=31154444/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=12.69 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1743 0 0 0 1101 168 0 0 25 0 1 0 131088925 8343552 1653 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1653 236 467 0 1568 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8148 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.00 3/197 12361 /proc/meminfo: memFree=31154732/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=25.49 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1743 0 0 0 2240 309 0 0 25 0 1 0 131088925 8343552 1653 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1653 236 467 0 1568 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8148 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12362 /proc/meminfo: memFree=31154668/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=51.09 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1757 0 0 0 4488 621 0 0 25 0 1 0 131088925 8343552 1667 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1667 236 467 0 1568 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8148 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=102.3 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 9087 1143 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8148 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=108.69 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 9660 1209 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8148 [startup+110.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=110.29 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 9806 1223 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 8148 [startup+111.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=111.89 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 9953 1236 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 8148 [startup+112.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=112.29 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 9990 1239 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 112.29 Current children cumulated vsize (KiB) 8148 [startup+112.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=112.7 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 10025 1245 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 112.7 Current children cumulated vsize (KiB) 8148 [startup+112.801 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12363 /proc/meminfo: memFree=31153272/32950928 swapFree=4192956/4192956 [pid=12359] ppid=12357 vsize=8148 CPUtime=112.8 /proc/12359/stat : 12359 (pbct) R 12357 12359 9516 0 -1 4202496 1772 0 0 0 10033 1247 0 0 25 0 1 0 131088925 8343552 1682 4089446400 134512640 136421960 4287213072 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/12359/statm: 2037 1682 236 467 0 1568 0 Current children cumulated CPU time (s) 112.8 Current children cumulated vsize (KiB) 8148 Child status: 0 Real time (s): 112.886 CPU time (s): 112.889 CPU user time (s): 100.416 CPU system time (s): 12.4731 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 100.416 system time used= 12.4731 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1777 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= 280 runsolver used 0.169974 second user time and 0.347947 second system time The end
Begin job on node124 at 2010-06-30 13:38:46 IDJOB=2695398 IDBENCH=78819 IDSOLVER=1208 FILE ID=node124/2695398-1277897926 PBS_JOBID= 11197105 Free space on /tmp= 130620 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695398-1277897926/watcher-2695398-1277897926 -o /tmp/evaluation-result-2695398-1277897926/solver-2695398-1277897926 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695398-1277897926.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2781b3371b432984c0fe1e8064068870 RANDOM SEED=895334315 node124.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.833 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.66 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.833 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 : 5226.07 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.833 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.833 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.77 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.833 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.833 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.833 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.74 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.833 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31160656 kB Buffers: 183604 kB Cached: 1115176 kB SwapCached: 0 kB Active: 863300 kB Inactive: 815368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31160656 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2080 kB Writeback: 0 kB AnonPages: 380020 kB Mapped: 20356 kB Slab: 79344 kB PageTables: 5552 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1660756 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130620 MiB End job on node124 at 2010-06-30 13:40:39