Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 44.8912 | 44.8932 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo |
MD5SUM | 32d9b4f4a33b844dee63976940f55a5d |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.484925 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1139 |
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 25/46 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.03 c 0.027995 7.46094 64 612 0.00/0.03 o 466 0.00/0.03 c 0.027995 7.64453 64 686 0.00/0.03 o 399 0.02/0.06 c 0.046992 7.64453 270 1038 0.02/0.06 o 380 0.02/0.07 c 0.055991 7.64453 357 1283 0.02/0.07 o 362 0.02/0.07 c 0.057991 7.64453 363 1325 0.02/0.07 o 357 0.02/0.07 c 0.057991 7.64453 367 1361 0.02/0.07 o 348 0.02/0.08 c 0.05999 7.64453 381 1528 0.02/0.08 o 243 0.02/0.08 c 0.065989 7.64453 434 1666 0.02/0.08 o 205 0.09/0.10 c 0.078987 7.64453 613 2008 0.09/0.10 o 188 0.19/0.27 c 0.179972 7.76953 1162 4049 0.19/0.27 o 164 1.69/1.74 c 1.08483 7.89453 961 23124 1.69/1.74 o 141 1.69/1.75 c 1.09183 7.89453 556 23287 1.69/1.75 o 134 2.49/2.56 c 1.58776 7.89453 902 33486 2.49/2.56 o 132 2.49/2.56 c 1.59076 7.89453 472 33603 2.49/2.56 o 109 2.79/2.89 c 1.79273 7.89453 926 37867 2.79/2.89 o 94 2.89/2.90 c 1.79873 7.89453 550 38062 2.89/2.90 o 52 2.89/2.95 c 1.83972 7.89453 677 38825 2.89/2.95 o 21 8.89/8.98 c 6.27205 8.14453 870 113339 8.89/8.98 o 13 19.60/19.63 c 14.4068 8.26172 587 244069 19.60/19.63 o 9 19.80/19.85 c 14.5588 8.26172 526 247085 19.80/19.85 o 7 21.80/21.90 c 16.1255 8.26172 1027 273369 21.80/21.90 o 5 23.89/23.95 c 17.6853 8.26172 782 299673 23.89/23.95 o 3 33.39/33.48 c 25.0322 8.26172 1135 424467 33.39/33.48 o 1 44.79/44.88 c 33.8838 8.26172 452 569754 44.79/44.88 s OPTIMUM FOUND 44.79/44.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 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699278-1278459596/watcher-2699278-1278459596 -o /tmp/evaluation-result-2699278-1278459596/solver-2699278-1278459596 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699278-1278459596.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.99 1.97 1.76 3/176 13718 /proc/meminfo: memFree=29563692/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=3708 CPUtime=0 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 646 0 0 0 0 0 0 0 20 0 1 0 14173396 3796992 567 4089446400 134512640 136422188 4288042960 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 927 567 193 467 0 458 0 [startup+0.0342169 s] /proc/loadavg: 1.99 1.97 1.76 3/176 13718 /proc/meminfo: memFree=29563692/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=7824 CPUtime=0.02 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1646 0 0 0 2 0 0 0 21 0 1 0 14173396 8011776 1564 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 1956 1564 236 467 0 1487 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7824 [startup+0.100206 s] /proc/loadavg: 1.99 1.97 1.76 3/176 13718 /proc/meminfo: memFree=29563692/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=7824 CPUtime=0.09 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1668 0 0 0 7 2 0 0 21 0 1 0 14173396 8011776 1580 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 1956 1580 236 467 0 1487 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7824 [startup+0.300182 s] /proc/loadavg: 1.99 1.97 1.76 3/176 13718 /proc/meminfo: memFree=29563692/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=7952 CPUtime=0.29 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1712 0 0 0 19 10 0 0 21 0 1 0 14173396 8142848 1622 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 1988 1622 236 467 0 1519 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7952 [startup+0.700113 s] /proc/loadavg: 1.99 1.97 1.76 3/176 13718 /proc/meminfo: memFree=29563692/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=7952 CPUtime=0.69 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1712 0 0 0 46 23 0 0 22 0 1 0 14173396 8142848 1622 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 1988 1622 236 467 0 1519 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7952 [startup+1.50097 s] /proc/loadavg: 1.99 1.97 1.76 3/177 13719 /proc/meminfo: memFree=29558228/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8080 CPUtime=1.49 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1729 0 0 0 93 56 0 0 25 0 1 0 14173396 8273920 1639 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2020 1639 236 467 0 1551 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8080 [startup+3.1007 s] /proc/loadavg: 1.99 1.97 1.76 3/177 13719 /proc/meminfo: memFree=29558228/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8080 CPUtime=3.09 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1740 0 0 0 194 115 0 0 25 0 1 0 14173396 8273920 1643 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2020 1643 236 467 0 1551 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8080 [startup+6.30014 s] /proc/loadavg: 1.99 1.97 1.76 3/177 13719 /proc/meminfo: memFree=29558144/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8208 CPUtime=6.29 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1775 0 0 0 433 196 0 0 25 0 1 0 14173396 8404992 1678 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2052 1678 236 467 0 1583 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8208 [startup+12.701 s] /proc/loadavg: 1.99 1.97 1.76 3/177 13719 /proc/meminfo: memFree=29558612/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8332 CPUtime=12.7 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1795 0 0 0 915 355 0 0 25 0 1 0 14173396 8531968 1697 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2083 1697 236 467 0 1614 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8332 [startup+25.5008 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559236/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=25.49 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1828 0 0 0 1892 657 0 0 25 0 1 0 14173396 8658944 1726 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1726 236 467 0 1645 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8456 Solver just ended. Dumping a history of the last processes samples [startup+38.3006 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559176/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=38.29 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1834 0 0 0 2877 952 0 0 25 0 1 0 14173396 8658944 1731 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1731 236 467 0 1645 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 8456 [startup+41.501 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559296/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=41.49 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1834 0 0 0 3123 1026 0 0 25 0 1 0 14173396 8658944 1731 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1731 236 467 0 1645 0 Current children cumulated CPU time (s) 41.49 Current children cumulated vsize (KiB) 8456 [startup+43.1007 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559172/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=43.09 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1835 0 0 0 3245 1064 0 0 25 0 1 0 14173396 8658944 1732 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1732 236 467 0 1645 0 Current children cumulated CPU time (s) 43.09 Current children cumulated vsize (KiB) 8456 [startup+43.9006 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559172/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=43.9 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1835 0 0 0 3307 1083 0 0 25 0 1 0 14173396 8658944 1732 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1732 236 467 0 1645 0 Current children cumulated CPU time (s) 43.9 Current children cumulated vsize (KiB) 8456 [startup+44.3005 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559172/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=44.29 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1835 0 0 0 3340 1089 0 0 25 0 1 0 14173396 8658944 1732 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1732 236 467 0 1645 0 Current children cumulated CPU time (s) 44.29 Current children cumulated vsize (KiB) 8456 [startup+44.7005 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559172/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=44.69 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1835 0 0 0 3373 1096 0 0 25 0 1 0 14173396 8658944 1732 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1732 236 467 0 1645 0 Current children cumulated CPU time (s) 44.69 Current children cumulated vsize (KiB) 8456 [startup+44.8004 s] /proc/loadavg: 1.99 1.97 1.77 3/177 13720 /proc/meminfo: memFree=29559172/32951132 swapFree=67111528/67111528 [pid=13718] ppid=13716 vsize=8456 CPUtime=44.79 /proc/13718/stat : 13718 (pbct) R 13716 13718 13440 0 -1 4202496 1835 0 0 0 3381 1098 0 0 25 0 1 0 14173396 8658944 1732 4089446400 134512640 136422188 4288042960 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13718/statm: 2114 1732 236 467 0 1645 0 Current children cumulated CPU time (s) 44.79 Current children cumulated vsize (KiB) 8456 Child status: 0 Real time (s): 44.8932 CPU time (s): 44.8912 CPU user time (s): 33.8888 CPU system time (s): 11.0023 CPU usage (%): 99.9956 Max. virtual memory (cumulated for all children) (KiB): 8460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 33.8888 system time used= 11.0023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1840 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= 560 runsolver used 0.058991 second user time and 0.148977 second system time The end
Begin job on node131 at 2010-07-07 01:39:56 IDJOB=2699278 IDBENCH=78870 IDSOLVER=1212 FILE ID=node131/2699278-1278459596 PBS_JOBID= 11233730 Free space on /tmp= 73860 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212476--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699278-1278459596/watcher-2699278-1278459596 -o /tmp/evaluation-result-2699278-1278459596/solver-2699278-1278459596 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699278-1278459596.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32d9b4f4a33b844dee63976940f55a5d RANDOM SEED=94537523 node131.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.828 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.65 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.828 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.76 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.828 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.828 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.828 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.828 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.72 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.828 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.828 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 : 5441.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29564336 kB Buffers: 108312 kB Cached: 3069304 kB SwapCached: 0 kB Active: 748300 kB Inactive: 2502364 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29564336 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1960 kB Writeback: 4 kB AnonPages: 72900 kB Mapped: 15708 kB Slab: 73148 kB PageTables: 4920 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 213960 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73860 MiB End job on node131 at 2010-07-07 01:40:41