Trace number 3495921

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 32.0551 32.0573

General information on the benchmark

Namemus/marques-silva/fpga-routing/
too_large_gr_rcs_w6.shuffled.cnf
MD5SUM30ddcc5575081a4cc8a19e19d7f891aa
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.361944
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.99/32.05	c Core is minimal
31.99/32.05	
31.99/32.05	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.99/32.05	
31.99/32.05	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-3495921-1307809158/watcher-3495921-1307809158 -o /tmp/evaluation-result-3495921-1307809158/solver-3495921-1307809158 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495921-1307809158.cnf 

running on 2 cores: 1,3

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: 4.00 3.59 3.35 5/187 1339
/proc/meminfo: memFree=29039096/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=11664 CPUtime=0 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4194304 220 0 0 0 0 0 0 0 25 0 1 0 892515441 11943936 170 33554432000 4194304 4365125 140735959160032 18446744073709551615 274659846033 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1339/statm: 2916 170 145 42 0 51 0

[startup+0.0613969 s]
/proc/loadavg: 4.00 3.59 3.35 5/187 1339
/proc/meminfo: memFree=29039096/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=17420 CPUtime=0.05 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 2643 0 0 0 5 0 0 0 25 0 1 0 892515441 17838080 1640 33554432000 4194304 4365125 140735959160032 18446744073709551615 4258454 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 4355 1640 261 42 0 1503 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17420

[startup+0.10039 s]
/proc/loadavg: 4.00 3.59 3.35 5/187 1339
/proc/meminfo: memFree=29039096/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=18564 CPUtime=0.09 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 3556 0 0 0 9 0 0 0 25 0 1 0 892515441 19009536 1817 33554432000 4194304 4365125 140735959160032 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 4641 1817 261 42 0 1789 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18564

[startup+0.300356 s]
/proc/loadavg: 4.00 3.59 3.35 5/187 1339
/proc/meminfo: memFree=29039096/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=22644 CPUtime=0.29 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 7374 0 0 0 29 0 0 0 25 0 1 0 892515441 23187456 2735 33554432000 4194304 4365125 140735959160032 18446744073709551615 4262087 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 5661 2735 262 42 0 2809 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22644

[startup+0.700284 s]
/proc/loadavg: 4.00 3.59 3.35 5/187 1339
/proc/meminfo: memFree=29039096/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=32904 CPUtime=0.69 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 13644 0 0 0 68 1 0 0 25 0 1 0 892515441 33693696 4328 33554432000 4194304 4365125 140735959160032 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 8226 4328 263 42 0 5374 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32904

[startup+1.50116 s]
/proc/loadavg: 4.00 3.59 3.35 5/188 1340
/proc/meminfo: memFree=29022372/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=28956 CPUtime=1.49 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 18878 0 0 0 147 2 0 0 25 0 1 0 892515441 29650944 4004 33554432000 4194304 4365125 140735959160032 18446744073709551615 4260915 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 7239 4004 264 42 0 4387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28956

[startup+3.10087 s]
/proc/loadavg: 4.00 3.59 3.35 5/188 1340
/proc/meminfo: memFree=29022852/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=28956 CPUtime=3.09 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 19792 0 0 0 307 2 0 0 25 0 1 0 892515441 29650944 4468 33554432000 4194304 4365125 140735959160032 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 7239 4468 264 42 0 4387 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28956

[startup+6.30032 s]
/proc/loadavg: 4.00 3.59 3.35 5/188 1340
/proc/meminfo: memFree=29010900/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=45928 CPUtime=6.28 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 27059 0 0 0 626 2 0 0 25 0 1 0 892515441 47030272 7257 33554432000 4194304 4365125 140735959160032 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 11482 7257 264 42 0 8630 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45928

[startup+12.7002 s]
/proc/loadavg: 4.00 3.60 3.35 5/188 1341
/proc/meminfo: memFree=28991816/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=12.68 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37838 0 0 0 1265 3 0 0 25 0 1 0 892515441 68157440 10930 33554432000 4194304 4365125 140735959160032 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 10930 264 42 0 13788 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 66560

[startup+25.501 s]
/proc/loadavg: 4.00 3.62 3.36 5/188 1342
/proc/meminfo: memFree=28956104/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=25.49 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 2545 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66560

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

[startup+28.7004 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28955856/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=28.69 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 2865 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4291528 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 66560

[startup+30.3012 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28955856/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=30.29 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 3025 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4260961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 66560

[startup+31.101 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28982020/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=31.09 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 3105 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4262098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 66560

[startup+31.5009 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28982020/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=31.49 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 3145 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (KiB) 66560

[startup+31.9069 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28972596/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=31.9 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 3186 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 66560

[startup+32.0009 s]
/proc/loadavg: 4.00 3.62 3.37 5/188 1342
/proc/meminfo: memFree=28972596/32951132 swapFree=67054616/67111528
[pid=1339] ppid=1337 vsize=66560 CPUtime=31.99 cores=1,3
/proc/1339/stat : 1339 (MoUsSaka) R 1337 1339 31313 0 -1 4202496 37968 0 0 0 3195 4 0 0 25 0 1 0 892515441 68157440 11060 33554432000 4194304 4365125 140735959160032 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1339/statm: 16640 11060 264 42 0 13788 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 66560

Child status: 20
Real time (s): 32.0573
CPU time (s): 32.0551
CPU user time (s): 32.0121
CPU system time (s): 0.042993
CPU usage (%): 99.9931
Max. virtual memory (cumulated for all children) (KiB): 75324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.0121
system time used= 0.042993
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= 103

runsolver used 0.050992 second user time and 0.12998 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-11 18:19:18
IDJOB=3495921
IDBENCH=89619
IDSOLVER=1989
FILE ID=node131/3495921-1307809158
RUNJOBID= node131-1307808750-723
PBS_JOBID= 13551052
Free space on /tmp= 74064 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/too_large_gr_rcs_w6.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495921-1307809158/watcher-3495921-1307809158 -o /tmp/evaluation-result-3495921-1307809158/solver-3495921-1307809158 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495921-1307809158.cnf

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

MD5SUM BENCH= 30ddcc5575081a4cc8a19e19d7f891aa
RANDOM SEED=898726936

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      29039516 kB
Buffers:        297104 kB
Cached:        1820868 kB
SwapCached:       9824 kB
Active:        2055072 kB
Inactive:      1601684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29039516 kB
SwapTotal:    67111528 kB
SwapFree:     67054616 kB
Dirty:             688 kB
Writeback:           0 kB
AnonPages:     1536784 kB
Mapped:          13788 kB
Slab:           186600 kB
PageTables:       8516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2009828 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= 74064 MiB
End job on node131 at 2011-06-11 18:19:50