Trace number 3501420

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 9.01463 9.04947

General information on the benchmark

Namegmus/belov/
pj2003.aig.k20.gcnf
MD5SUM8150b10e9988dfed70110f6792c1c1f0
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.01463
Satisfiable
(Un)Satisfiability was proved
Number of variables644412
Number of clauses1878724
Sum of the clauses size4383688
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 21252482
Number of clauses of size 3626241
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups626241
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

0.00/0.06	c MoUsSaka with meat
2.17/2.28	
2.17/2.28	s UNSATISFIABLE
8.96/9.04	c Core is minimal
8.96/9.04	
8.96/9.04	v 560486 560487 560212 560488 560203 560489 560213 560485 560211 560206 560490 560483 560214 560484 560207 593416 593408 593694 593419 593695 593689 593415 593688 593411 593691 593418 593417 593412 593690 593692 593693 626241 593035 593034 593036 626239 626240 626233 626231 626235 626230 626236 593420 626238 626232 626234 593696 626237 494076 494077 494078 493793 494075 527001 527002 527003 527281 527279 527007 526998 527282 527283 527278 527280 527006 527005 560209 560215 560210 560491 593027 593414 593413 593028 593026 593029 593033 593025 593030 593032 593031 560208 527285 527009 493802 559829 493801 527008 527010 559828 494074 494073 559831 559830 527284 494080 527004 427386 493800 526624 493803 493805 526616 526621 494081 526618 526620 526623 526617 526619 526615 526622 493796 559822 559821 559825 527286 559823 559827 559824 559826 559820 494079 493804 526625 493799 493797 493798 526626 460595 460868 460869 460870 460596 460872 460873 460588 460871 493420 493419 493421 394181 427665 427667 427666 427391 427392 427668 427383 427393 427670 460213 460212 460211 460209 460207 460206 427395 460208 460205 427671 460210 360976 360977 360978 394182 394459 394464 394187 394188 394462 394186 394465 394185 394458 394189 394460 394178 394461 394463 427664 427663 427390 460593 460594 493418 493417 493414 493415 493416 460876 493411 493413 493410 493412 460597 460591 460874 460599 460214 460215 460216 427010 427011 427009 393805 393806 360600 360599 427387 427388 393804 360601 327395 327396 327394 294190 294191 128541 294189 460592 460875 128538 427669 427394 128822 128821 128820 128546 128823 128547 128548 128824 128825 95039 95037 95038 95036 95035 95032 95034 95033 95031 62580 62581 62583 62698 62578 194952 128164 62700 128163 460600 460598 161746 161748 161747 194951 62579 95416 95414 95415 292 95418 95413 298 204 293 301 203 260986 260985 260984 161369 128818 227781 227780 62687 62692 62696 62688 62689 62686 62691 62697 61137 61153 61154 61155 61156 61096 61057 61169 61206 61066 61138 61139 61130 61117 61116 61115 61114 61113 61093 61200 61201 61068 61067 61075 61188 61083 61122 61106 61065 61273 61272 61271 61257 61168 61238 62616 61239 61210 61211 61212 61051 31472 61127 61128 207 61107 61074 61252 61095 61094 61253 61042 61100 221 220 61120 61235 61121 61053 61054 61055 61274 303 61104 61105 61237 61236 61045 61189 61044 61157 61158 61277 61276 61275 61043 61258 61259 297 61058 61269 61270 31476 31475 61254 31474 61260 239 61240 238 61251 241 61250 61249 242 218 61056 61112 61111 61110 61159 61209 61150 61149 61213 95636 95637 95640 95639 95638 95634 128161 95635 95030 128162 128157 62709 128159 128160 128155 95642 128158 128156 62707 128549 31471 308 62701 304 62702 128550 194953 294566 294567 294568 194948 128819 195232 195233 194957 195234 194959 128545 327777 328050 328049 327776 327779 327772 328055 328052 328051 327768 328048 328053 327771 328054 327773 327775 327778 427003 427000 394184 394183 427001 427002 394190 427005 427006 427007 427004 394466 427008 427389 244 61097 61098 61099 61207 61208 62704 62705 62706 61062 61061 61109 61108 31473 61073 61072 61071 61070 61069 61103 61102 61101 61126 61125 61131 61132 61133 61134 61135 61167 305 306 61124 61170 161362 161363 161364 161365 161366 161367 61177 61178 61179 61223 61224 61225 61180 62703 61278 61279 233 61233 61234 61064 61063 240 61243 61242 61241 61246 61245 61244 202 299 300 61221 61144 61143 61142 61141 61140 61229 61187 61186 61185 61184 61232 61231 61230 61145 61195 61181 61182 61265 61264 61263 61262 61261 234 61129 61220 61219 61218 61217 61216 61215 61214 61268 61267 61266 61248 61247 205 61171 61190 61191 61192 61193 61194 61202 61085 61086 61203 61204 61059 61060 61183 61136 61148 61198 61197 61078 61077 61151 61152 61222 61281 61282 61283 61284 62284 62285 161368 161360 128826 61123 61176 61175 61174 61084 61226 61173 61227 61172 61228 61147 61146 61164 61165 61166 61199 61119 61118 61280 61052 61050 61049 61048 61047 61256 61046 61041 31479 31478 61255 31477 61080 61076 61081 61082 61092 61091 61090 61089 61088 61087 61163 61162 61161 61160 62695 62694 62693 61205 161361 61196 61079 194574 195228 194956 195235 227779 128543 195230 195231 195229 128542 194955 161371 194575 194576 128544 161370 128165 128166 200 201 62577 95040 95041 62286 62574 62576 95412 95411 95409 198 227778 227772 227773 227774 227775 227776 227777 195236 227770 227771 228156 228158 228157 261361 261362 261644 261368 261366 261640 261645 261641 261638 261639 261358 261642 261643 261369 261367 261363 228163 228165 260983 228164 162025 162026 162027 161751 161743 161753 162029 161752 162028 162023 162024 161754 162030 161750 194958 261364 294187 294183 294184 294181 294180 294185 261365 261646 294188 228159 294186 261370 294182 194960 194954 228162 228160 228153 228438 228437 228439 260977 228440 228434 228433 260976 260975 228441 260980 260982 260979 260978 260981 228436 228161 228435 294846 294845 294848 294849 294571 294850 294847 294574 294572 294843 294563 294844 294573 294570 161749 327389 327386 327393 327391 327392 294851 327390 294575 327387 327385 327388 361255 361256 360981 360973 361254 360980 361257 361253 360982 361258 360984 361260 360983 360597 360596 360590 360593 360592 327780 360591 328056 360595 360594 360598 361259 194569 194570 194571 194568 194567 194566 194565 162031 194572 194573 161755 393799 393798 393796 393797 360985 393795 361261 393803 393802 393800 393801 327774 360979 294569  0
8.96/9.04	
8.96/9.04	c Core has size 837

Verifier Data 

OK	837

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3501420-1308041937/watcher-3501420-1308041937 -o /tmp/evaluation-result-3501420-1308041937/solver-3501420-1308041937 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501420-1308041937.gcnf 

running on 2 cores: 5,7

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: 6.02 4.29 1.85 4/189 2389
/proc/meminfo: memFree=31766520/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=11804 CPUtime=0 cores=5,7
/proc/2389/stat : 2389 (runsolver) S 2387 2389 2316 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 915797452 12087296 51 33554432000 4194304 5436572 140735999885984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 5 0 0 0
/proc/2389/statm: 2951 51 31 304 0 2643 0

[startup+0.0853409 s]
/proc/loadavg: 6.02 4.29 1.85 4/189 2389
/proc/meminfo: memFree=31766520/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=84384 CPUtime=0.04 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 16598 0 0 0 3 1 0 0 21 0 1 0 915797452 86409216 11355 33554432000 4194304 4365125 140737444628592 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 21096 11356 253 42 0 18244 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84384

[startup+0.100289 s]
/proc/loadavg: 6.02 4.29 1.85 4/189 2389
/proc/meminfo: memFree=31766520/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=84640 CPUtime=0.05 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 17009 0 0 0 4 1 0 0 21 0 1 0 915797452 86671360 11677 33554432000 4194304 4365125 140737444628592 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 21160 11678 253 42 0 18308 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84640

[startup+0.300258 s]
/proc/loadavg: 6.02 4.29 1.85 4/189 2389
/proc/meminfo: memFree=31766520/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=86432 CPUtime=0.25 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 22200 0 0 0 23 2 0 0 21 0 1 0 915797452 88506368 15755 33554432000 4194304 4365125 140737444628592 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 21608 15756 253 42 0 18756 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 86432

[startup+0.700187 s]
/proc/loadavg: 6.02 4.29 1.85 4/189 2389
/proc/meminfo: memFree=31766520/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=106828 CPUtime=0.65 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 40674 0 0 0 61 4 0 0 23 0 1 0 915797452 109391872 23025 33554432000 4194304 4365125 140737444628592 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 26707 23026 253 42 0 23855 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 106828

[startup+1.50106 s]
/proc/loadavg: 6.02 4.29 1.85 5/190 2390
/proc/meminfo: memFree=31622424/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=159536 CPUtime=1.46 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 73988 0 0 0 137 9 0 0 25 0 1 0 915797452 163364864 30393 33554432000 4194304 4365125 140737444628592 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 39884 30393 262 42 0 37032 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 159536

[startup+3.10076 s]
/proc/loadavg: 6.02 4.29 1.85 5/190 2390
/proc/meminfo: memFree=31595136/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=3.06 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 297 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4274039 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 167728

[startup+6.3002 s]
/proc/loadavg: 5.86 4.28 1.86 5/190 2390
/proc/meminfo: memFree=31582448/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=6.26 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 617 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4261587 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 167728

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

[startup+7.90091 s]
/proc/loadavg: 5.86 4.28 1.86 5/190 2390
/proc/meminfo: memFree=31582556/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=7.86 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 777 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4260961 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 167728

[startup+8.70078 s]
/proc/loadavg: 5.71 4.28 1.87 5/190 2390
/proc/meminfo: memFree=31593964/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=8.66 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 857 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 167728

[startup+8.90074 s]
/proc/loadavg: 5.71 4.28 1.87 5/190 2390
/proc/meminfo: memFree=31593964/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=8.86 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 877 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4260660 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 167728

[startup+9.00072 s]
/proc/loadavg: 5.71 4.28 1.87 5/190 2390
/proc/meminfo: memFree=31593964/32951124 swapFree=67052812/67111528
[pid=2389] ppid=2387 vsize=167728 CPUtime=8.96 cores=5,7
/proc/2389/stat : 2389 (MoUsSaka) R 2387 2389 2316 0 -1 4202496 76279 0 0 0 887 9 0 0 25 0 1 0 915797452 171753472 32410 33554432000 4194304 4365125 140737444628592 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2389/statm: 41932 32410 263 42 0 39080 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 167728

Child status: 20
Real time (s): 9.04947
CPU time (s): 9.01463
CPU user time (s): 8.91564
CPU system time (s): 0.098984
CPU usage (%): 99.6149
Max. virtual memory (cumulated for all children) (KiB): 167728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.91564
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76284
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= 23

runsolver used 0.012998 second user time and 0.041993 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-14 10:59:08
IDJOB=3501420
IDBENCH=89964
IDSOLVER=2000
FILE ID=node103/3501420-1308041937
RUNJOBID= node103-1308041937-2337
PBS_JOBID= 13564710
Free space on /tmp= 74004 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/pj2003.aig.k20.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501420-1308041937/watcher-3501420-1308041937 -o /tmp/evaluation-result-3501420-1308041937/solver-3501420-1308041937 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501420-1308041937.gcnf

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

MD5SUM BENCH= 8150b10e9988dfed70110f6792c1c1f0
RANDOM SEED=156861592

node103.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.858
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.71
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.858
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.858
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.75
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31766916 kB
Buffers:        225980 kB
Cached:         477636 kB
SwapCached:      22656 kB
Active:         599796 kB
Inactive:       379200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31766916 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:           59732 kB
Writeback:           0 kB
AnonPages:      273028 kB
Mapped:           9688 kB
Slab:           139572 kB
PageTables:       5824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   553740 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= 74004 MiB
End job on node103 at 2011-06-14 10:59:17