Trace number 3495684

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MoUsSaka 2011-03-26UNSAT 31.8742 31.8819

General information on the benchmark

NameSAT02/industrial/goldberg/fpga_routing/
too_large_gr_rcs_w6.shuffled.cnf
MD5SUM30ddcc5575081a4cc8a19e19d7f891aa
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.84987
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses43251
Sum of the clauses size88578
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242732
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5519

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.49/0.54	
0.49/0.54	s UNSATISFIABLE
31.78/31.87	c Core is minimal
31.78/31.87	
31.78/31.87	v 24713 15718 14282 31966 17885 41155 25211 33458 30514 14760 43198 23530 38554 18754 21934 2474 35055 13035 347 24444 10837 24911 681 541 34094 4162 1023 31163 2434 39930 40214 41248 40849 30239 23000 2038 18094 1745 12937 8168 28450 36819 38326 28919 15004 30006 39796 34328 36181 39353 42012 24431 17173 37211 7513 9874 22236 28940 9193 19185 17047 8836 24854 29575 12555 40274 37632 19199 21929 26796 36843 24622 41119 9442 12796 13887 18833 6023 24894 42006 6884 37937 41806 42763 37177 35464 22150 35051 26270 7040 2239 16266 36180 140 36930 31593 24835 42658 27107 4890 30859 42561 25141 42886 2515 699 35327 2549 9004 33921 7386 27383 33255 17234 27574 2499 34470 19330 26000 24353 24828 10771 24029 7611 39850 36672 5223 23517 2277 28014 41019 35508 5325 30539 32938 6655 38733 12171 8437 33662 10933 36426 14476 43149 35971 41673 33849 32657 11430 9804 23716 40229 5566 29901 37461 28344 10804 24097 32644 29647 31174 3102 5203 19844 38042 7331 11473 6968 162 4016 5492 476 14050 41572 19367 6860 11645 43051 39492 16614 22983 15662 20756 39246 39820 32803 20280 508 9792 9718 41795 33431 12848 17822 37440 24745 5863 25339 5922 3510 2658 3568 27984 36539 19348 29182 5993 4290 16470 4983 2091 16688 6892 23861 9742 6527 38136 6463 38441 10451 29838 22008 7048 40027 40549 13488 19162 5511 22137 16099 12604 13418 20558 7077 38988 15417 39091 14900 18026 118 1103 12659 33274 11309 2728 15504 8624 33887 17443 2276 26581 15285 21122 27523 4024 996 17968 26055 3103 21129 8470 14569 27169 2964 26367 32268 7215 13948 38542 8681 22056 2426 2446 10361 26418 14722 23403 21298 25215 7776 16490 12375 24120 26926 29709 26916 41535 26461 10913 42962 26682 4138 21656 22482 14162 32047 3413 31048 17722 31030 112 23814 34405 15961 29573 14110 9739 21525 146 16636 1259 9849 42746 25631 10741 5759 13700 2252 42545 22299 19324 16114 30483 9255 32541 40841 15444 8739 33942 2571 36839 37922 29519 28368 38143 31184 17137 13920 15206 19023 24091 6796 9981 27193 39586 4126 42858 22781 4157 36675 872 18078 17305 19761 1783 38748 34743 42372 20517 29697 29953 7199 42783 41253 10890 43057 28066 4125 18353 28035 16825 22753 16665 40836 14445 31011 42542 34730 27718 37396 4711 7836 40450 3986 30096 1584 4327 9919 21617 35963 6037 12270 33185 33221 9104 2699 18686 7210 5750 15201 26723 16551 23241 24301 12322 32079 10064 4543 7100 30676 650 26956 39768 24100 24862 35180 31153 17148 38701 29038 9729 24420 34683 6013 18255 19542 28899 26642 5191 31654 41700 35999 26869 29644 7715 26990 42975 14088 13383 7824 42023 6514 36249 41925 42121 15232 26145 4685 28010 33512 33415 20450 36759 17682 30051 30451 14320 12737 39576 9935 41835 26812 42079 40325 21174 27410 19169 22775 14157 25174 972 39055 18142 39217 20825 4323 42953 33556 39116 6389 30179 35047 13435 41067 17839 2687 6907 7382 36153 15561 36178 30370 24063 35671 11154 25927 30518 9155 28146 15281 31449 9923 36949 14119 16259 19689 29965 32778 40460 34180 5899 17799 13932 2898 36929 6281 19456 12392 12385 7456 9378 28174 33622 40185 8539 41110 19558 8803 33208 37149 16383 20519 26398 43048 27811 24963 7691 10854 26262 1954 21397 32297 8154 22739 2572 7253 14083 27621 27356 22989 2704 35065 42710 15856 26485 2058 919 36483 31759 6074 32290 6941 42800 13867 22230 37634 23169 38155 37025 6588 23909  0
31.78/31.87	
31.78/31.87	c Core has size 571

Verifier Data 

OK	571

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495684-1307806673/watcher-3495684-1307806673 -o /tmp/evaluation-result-3495684-1307806673/solver-3495684-1307806673 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495684-1307806673.cnf 

running on 2 cores: 4,6

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.26 2.02 2.77 5/187 21538
/proc/meminfo: memFree=31773364/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=13396 CPUtime=0 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 663 0 0 0 0 0 0 0 25 0 1 0 873083144 13717504 585 33554432000 4194304 4365125 140735496720832 18446744073709551615 233509958689 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 3349 593 253 42 0 497 0

[startup+0.099127 s]
/proc/loadavg: 1.26 2.02 2.77 5/187 21538
/proc/meminfo: memFree=31773364/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=18564 CPUtime=0.09 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 3557 0 0 0 9 0 0 0 25 0 1 0 873083144 19009536 1818 33554432000 4194304 4365125 140735496720832 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 4641 1818 261 42 0 1789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18564

[startup+0.101128 s]
/proc/loadavg: 1.26 2.02 2.77 5/187 21538
/proc/meminfo: memFree=31773364/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=18564 CPUtime=0.09 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 3571 0 0 0 9 0 0 0 25 0 1 0 873083144 19009536 1825 33554432000 4194304 4365125 140735496720832 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 5284 1839 261 42 0 2432 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18564

[startup+0.301123 s]
/proc/loadavg: 1.26 2.02 2.77 5/187 21538
/proc/meminfo: memFree=31773364/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=22644 CPUtime=0.29 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 7375 0 0 0 29 0 0 0 25 0 1 0 873083144 23187456 2736 33554432000 4194304 4365125 140735496720832 18446744073709551615 4261505 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 5661 2736 262 42 0 2809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22644

[startup+0.70104 s]
/proc/loadavg: 1.26 2.02 2.77 5/187 21538
/proc/meminfo: memFree=31773364/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=32904 CPUtime=0.69 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 13644 0 0 0 68 1 0 0 25 0 1 0 873083144 33693696 4328 33554432000 4194304 4365125 140735496720832 18446744073709551615 4262092 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 8226 4328 263 42 0 5374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32904

[startup+1.5009 s]
/proc/loadavg: 1.26 2.02 2.77 5/190 21577
/proc/meminfo: memFree=31700248/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=28956 CPUtime=1.49 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 18878 0 0 0 147 2 0 0 25 0 1 0 873083144 29650944 4004 33554432000 4194304 4365125 140735496720832 18446744073709551615 4263861 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 7239 4004 264 42 0 4387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28956

[startup+3.10061 s]
/proc/loadavg: 1.48 2.06 2.77 5/190 21577
/proc/meminfo: memFree=31644064/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=28956 CPUtime=3.09 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 19792 0 0 0 307 2 0 0 25 0 1 0 873083144 29650944 4468 33554432000 4194304 4365125 140735496720832 18446744073709551615 4257485 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 7239 4468 264 42 0 4387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28956

[startup+6.30101 s]
/proc/loadavg: 1.48 2.06 2.77 5/190 21578
/proc/meminfo: memFree=31407356/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=45928 CPUtime=6.29 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 27059 0 0 0 626 3 0 0 25 0 1 0 873083144 47030272 7257 33554432000 4194304 4365125 140735496720832 18446744073709551615 4257504 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 11482 7257 264 42 0 8630 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45928

[startup+12.7009 s]
/proc/loadavg: 1.87 2.12 2.78 5/190 21692
/proc/meminfo: memFree=31033220/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=12.68 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37838 0 0 0 1264 4 0 0 25 0 1 0 873083144 68157440 10930 33554432000 4194304 4365125 140735496720832 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 10930 264 42 0 13788 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 66560

[startup+25.5006 s]
/proc/loadavg: 2.19 2.18 2.80 5/190 21730
/proc/meminfo: memFree=30685032/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=25.48 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 2544 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66560

Solver just ended. Dumping a history of the last processes samples

[startup+28.701 s]
/proc/loadavg: 2.34 2.21 2.80 5/190 21730
/proc/meminfo: memFree=30486360/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=28.68 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 2864 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 66560

[startup+30.3007 s]
/proc/loadavg: 2.34 2.21 2.80 5/190 21730
/proc/meminfo: memFree=30486360/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=30.28 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 3024 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4267801 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 66560

[startup+31.1006 s]
/proc/loadavg: 2.34 2.21 2.80 5/190 21730
/proc/meminfo: memFree=30483756/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=31.08 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 3104 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.08
Current children cumulated vsize (KiB) 66560

[startup+31.5005 s]
/proc/loadavg: 2.34 2.21 2.80 5/190 21730
/proc/meminfo: memFree=30483756/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=31.48 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 3144 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4262125 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.48
Current children cumulated vsize (KiB) 66560

[startup+31.7005 s]
/proc/loadavg: 2.34 2.21 2.80 5/190 21730
/proc/meminfo: memFree=30483756/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=31.68 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 3164 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4266713 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.68
Current children cumulated vsize (KiB) 66560

[startup+31.8004 s]
/proc/loadavg: 2.47 2.24 2.81 5/190 21730
/proc/meminfo: memFree=30235508/32951124 swapFree=67056964/67111528
[pid=21538] ppid=21536 vsize=66560 CPUtime=31.78 cores=4,6
/proc/21538/stat : 21538 (MoUsSaka) R 21536 21538 19995 0 -1 4202496 37968 0 0 0 3174 4 0 0 25 0 1 0 873083144 68157440 11060 33554432000 4194304 4365125 140735496720832 18446744073709551615 4317222 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/21538/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 66560

Child status: 20
Real time (s): 31.8819
CPU time (s): 31.8742
CPU user time (s): 31.8222
CPU system time (s): 0.051992
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 75324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8222
system time used= 0.051992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37973
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= 5
involuntary context switches= 144

runsolver used 0.047992 second user time and 0.131979 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-11 17:37:53
IDJOB=3495684
IDBENCH=87960
IDSOLVER=1989
FILE ID=node145/3495684-1307806673
RUNJOBID= node145-1307806672-21405
PBS_JOBID= 13551003
Free space on /tmp= 74092 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT02/industrial/goldberg/fpga_routing/too_large_gr_rcs_w6.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495684-1307806673/watcher-3495684-1307806673 -o /tmp/evaluation-result-3495684-1307806673/solver-3495684-1307806673 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495684-1307806673.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 30ddcc5575081a4cc8a19e19d7f891aa
RANDOM SEED=149082494

node145.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.786
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.57
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.786
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.786
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.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31775768 kB
Buffers:        177304 kB
Cached:         805684 kB
SwapCached:       7976 kB
Active:         379556 kB
Inactive:       649004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31775768 kB
SwapTotal:    67111528 kB
SwapFree:     67056964 kB
Dirty:            1820 kB
Writeback:         256 kB
AnonPages:       43020 kB
Mapped:          13692 kB
Slab:            80116 kB
PageTables:       5432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   281628 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= 74092 MiB
End job on node145 at 2011-06-11 17:38:25