Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 109.694 | 54.9015 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo |
MD5SUM | 2d2bf2958836971f0db370fff49dd93d |
Bench Category | SOFT-SMALLINT-LIN (only soft 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.225964 |
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 | 101 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1217 |
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 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.02/0.04 c 0.035994 7.61719 117 1035 0.02/0.04 o 743 0.02/0.04 c 0.036994 7.75 125 1182 0.02/0.04 o 693 0.02/0.05 c 0.037994 7.75 130 1323 0.02/0.05 o 600 0.02/0.05 c 0.037994 7.75 134 1373 0.02/0.05 o 599 0.02/0.05 c 0.037994 7.75 135 1447 0.02/0.05 o 550 0.02/0.08 c 0.057991 7.75 431 2104 0.02/0.08 o 524 0.09/0.10 c 0.065989 7.875 560 2363 0.09/0.10 o 516 0.09/0.14 c 0.088986 7.875 583 3106 0.09/0.14 o 509 0.09/0.15 c 0.092985 7.875 635 3263 0.09/0.15 o 487 0.29/0.32 c 0.184971 7.875 448 6303 0.29/0.32 o 456 0.29/0.38 c 0.215967 7.875 550 7185 0.29/0.38 o 409 0.29/0.38 c 0.217966 7.875 588 7329 0.29/0.38 o 363 0.49/0.51 c 0.277957 7.875 609 9676 0.49/0.51 o 346 0.49/0.59 c 0.320951 7.875 594 11063 0.49/0.59 o 344 0.59/0.64 c 0.351946 7.875 614 11799 0.59/0.64 o 325 0.59/0.65 c 0.357945 7.875 674 11916 0.59/0.65 o 322 0.59/0.67 c 0.369943 7.875 549 12347 0.59/0.67 o 320 0.69/0.70 c 0.382941 7.875 395 12844 0.69/0.70 o 292 0.69/0.71 c 0.38994 7.875 469 13016 0.69/0.71 o 279 0.69/0.72 c 0.395939 7.875 531 13146 0.69/0.72 o 276 0.69/0.73 c 0.402938 7.875 596 13315 0.69/0.73 o 256 0.69/0.73 c 0.403938 7.875 597 13344 0.69/0.73 o 248 0.69/0.73 c 0.406938 7.875 632 13509 0.69/0.73 o 177 0.69/0.74 c 0.414936 7.875 375 13674 0.69/0.74 o 169 0.99/1.06 c 0.59191 8 600 17566 0.99/1.06 o 164 1.10/1.12 c 0.627904 8 641 18474 1.10/1.12 o 159 1.10/1.13 c 0.629904 8 340 18553 1.10/1.13 o 143 1.19/1.29 c 0.735888 8 688 20694 1.19/1.29 o 135 1.19/1.29 c 0.737887 8 354 20794 1.19/1.29 o 115 1.19/1.29 c 0.738887 8 356 20859 1.19/1.29 o 103 1.29/1.35 c 0.775882 8 687 21662 1.29/1.35 o 101 1.39/1.41 c 0.810876 8 605 22385 1.39/1.41 o 89 2.69/2.75 c 1.60776 8 737 37966 2.69/2.75 o 87 2.69/2.75 c 1.61275 8 395 38067 2.69/2.75 o 81 3.39/3.48 c 2.06269 8.125 463 45825 3.39/3.48 o 73 3.39/3.48 c 2.06469 8.125 476 45888 3.39/3.48 o 71 7.00/7.02 c 4.33934 8.125 496 85853 7.00/7.02 o 63 12.10/12.10 c 7.65883 8.24219 1298 140845 12.10/12.10 o 47 12.10/12.11 c 7.66284 8.24219 692 140994 12.10/12.11 o 32 12.59/12.67 c 8.04278 8.24219 383 147837 12.59/12.67 o 30 12.59/12.68 c 8.04678 8.24219 465 147972 12.59/12.68 o 16 13.00/13.03 c 8.31274 8.36719 872 152699 13.00/13.03 o 4 13.89/13.99 c 9.01963 8.36719 1130 165349 13.89/13.99 o 1 54.79/54.89 c 39.8309 8.59375 661 681173 54.79/54.89 s OPTIMUM FOUND 54.79/54.89 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-2699462-1278464431/watcher-2699462-1278464431 -o /tmp/evaluation-result-2699462-1278464431/solver-2699462-1278464431 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699462-1278464431.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.92 1.98 1.94 4/178 12719 /proc/meminfo: memFree=30047620/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=3836 CPUtime=0 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 679 0 0 0 0 0 0 0 20 0 1 0 14657302 3928064 599 4089446400 134512640 136422188 4289486944 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 959 600 193 467 0 490 0 [startup+0.0246251 s] /proc/loadavg: 1.92 1.98 1.94 4/178 12719 /proc/meminfo: memFree=30047620/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=7796 CPUtime=0.02 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1634 0 0 0 2 0 0 0 20 0 1 0 14657302 7983104 1554 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 1949 1554 213 467 0 1480 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7796 [startup+0.100625 s] /proc/loadavg: 1.92 1.98 1.94 4/178 12719 /proc/meminfo: memFree=30047620/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=7932 CPUtime=0.09 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1710 0 0 0 6 3 0 0 20 0 1 0 14657302 8122368 1624 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 1983 1625 236 467 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7932 [startup+0.300579 s] /proc/loadavg: 1.92 1.98 1.94 4/178 12719 /proc/meminfo: memFree=30047620/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8060 CPUtime=0.29 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1733 0 0 0 16 13 0 0 21 0 1 0 14657302 8253440 1644 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2015 1644 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.700513 s] /proc/loadavg: 1.92 1.98 1.94 4/178 12719 /proc/meminfo: memFree=30047620/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8060 CPUtime=0.69 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1749 0 0 0 38 31 0 0 18 0 1 0 14657302 8253440 1652 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2015 1652 236 467 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8060 [startup+1.50036 s] /proc/loadavg: 1.92 1.98 1.94 3/179 12720 /proc/meminfo: memFree=30042528/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8188 CPUtime=1.49 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1784 0 0 0 86 63 0 0 18 0 1 0 14657302 8384512 1672 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2047 1672 236 467 0 1578 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8188 [startup+3.10107 s] /proc/loadavg: 1.92 1.98 1.94 3/179 12720 /proc/meminfo: memFree=30042032/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8188 CPUtime=3.09 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1801 0 0 0 181 128 0 0 20 0 1 0 14657302 8384512 1687 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2047 1687 236 467 0 1578 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8188 [startup+6.30046 s] /proc/loadavg: 1.93 1.98 1.94 3/179 12720 /proc/meminfo: memFree=30042452/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8316 CPUtime=6.29 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1831 0 0 0 389 240 0 0 23 0 1 0 14657302 8515584 1715 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2079 1715 236 467 0 1610 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8316 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 1.94 3/179 12721 /proc/meminfo: memFree=30042780/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8436 CPUtime=12.7 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1860 0 0 0 806 464 0 0 18 0 1 0 14657302 8638464 1739 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2109 1739 236 467 0 1640 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8436 [startup+25.5009 s] /proc/loadavg: 1.95 1.98 1.94 3/179 12721 /proc/meminfo: memFree=30043092/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8564 CPUtime=25.49 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1906 0 0 0 1764 785 0 0 25 0 1 0 14657302 8769536 1783 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2141 1783 236 467 0 1672 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8564 [startup+51.1011 s] /proc/loadavg: 1.96 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029440/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8796 CPUtime=51.09 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1940 0 0 0 3698 1411 0 0 25 0 1 0 14657302 9007104 1817 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2199 1817 236 467 0 1730 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8796 ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (54.79 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (54.79 s) to the 'lost time'. [startup+54.8004 s] /proc/loadavg: 1.96 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029316/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8796 CPUtime=54.79 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1942 0 0 0 3976 1503 0 0 25 0 1 0 14657302 9007104 1819 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2199 1819 236 467 0 1730 0 Current children cumulated CPU time (s) 54.79 Current children cumulated vsize (KiB) 8796 [startup+54.9004 s] /proc/loadavg: 1.97 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029440/32950928 swapFree=67111528/67111528 [pid=12719] ppid=-1 vsize=0 CPUtime=0 /proc/12719/stat : -- couldn't open stat file --/proc/12719/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+52.7008 s] /proc/loadavg: 1.96 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029316/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8796 CPUtime=52.7 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1940 0 0 0 3817 1453 0 0 25 0 1 0 14657302 9007104 1817 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2199 1817 236 467 0 1730 0 Current children cumulated CPU time (s) 52.7 Current children cumulated vsize (KiB) 8796 [startup+54.3005 s] /proc/loadavg: 1.96 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029316/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8796 CPUtime=54.29 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1940 0 0 0 3938 1491 0 0 25 0 1 0 14657302 9007104 1817 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2199 1817 236 467 0 1730 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 8796 [startup+54.7005 s] /proc/loadavg: 1.96 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029316/32950928 swapFree=67111528/67111528 [pid=12719] ppid=12717 vsize=8796 CPUtime=54.69 /proc/12719/stat : 12719 (pbct) R 12717 12719 11784 0 -1 4202496 1940 0 0 0 3968 1501 0 0 25 0 1 0 14657302 9007104 1817 4089446400 134512640 136422188 4289486944 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/12719/statm: 2199 1817 236 467 0 1730 0 Current children cumulated CPU time (s) 54.69 Current children cumulated vsize (KiB) 8796 [startup+54.9004 s] /proc/loadavg: 1.97 1.98 1.94 3/179 12757 /proc/meminfo: memFree=30029440/32950928 swapFree=67111528/67111528 [pid=12719] ppid=-1 vsize=0 CPUtime=0 /proc/12719/stat : -- couldn't open stat file --/proc/12719/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 54.79 # lost CPU user time (s): 39.76 # lost CPU system time (s): 15.03 Real time (s): 54.9015 CPU time (s): 109.694 CPU user time (s): 79.5959 CPU system time (s): 30.0977 CPU usage (%): 199.801 Max. virtual memory (cumulated for all children) (KiB): 8808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 39.8359 system time used= 15.0677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1947 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= 9 involuntary context switches= 69 runsolver used 0.113982 second user time and 0.183972 second system time The end
Begin job on node113 at 2010-07-07 03:00:31 IDJOB=2699462 IDBENCH=79247 IDSOLVER=1212 FILE ID=node113/2699462-1278464431 PBS_JOBID= 11233766 Free space on /tmp= 73812 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699462-1278464431/watcher-2699462-1278464431 -o /tmp/evaluation-result-2699462-1278464431/solver-2699462-1278464431 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699462-1278464431.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2d2bf2958836971f0db370fff49dd93d RANDOM SEED=1559649967 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: 30047776 kB Buffers: 104768 kB Cached: 2591092 kB SwapCached: 0 kB Active: 1198192 kB Inactive: 1567520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30047776 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 69712 kB Mapped: 15608 kB Slab: 73664 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 207808 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 03:01:26