Trace number 3501024

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
MUSer 2011-02-10UNSAT 222.345 222.354

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

Verifier Data 

OK	839

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-3501024-1308041395/watcher-3501024-1308041395 -o /tmp/evaluation-result-3501024-1308041395/solver-3501024-1308041395 -C 1800 -W 1850 -M 7680 muser -comp -grp HOME/instance-3501024-1308041395.gcnf 

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: 3.68 1.45 0.53 4/189 20353
/proc/meminfo: memFree=27390192/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=4352 CPUtime=0 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 575 0 0 0 0 0 0 0 19 0 1 0 915737334 4456448 527 33554432000 4194304 5696331 140734753945920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 1088 528 114 367 0 718 0

[startup+0.033593 s]
/proc/loadavg: 3.68 1.45 0.53 4/189 20353
/proc/meminfo: memFree=27390192/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=8556 CPUtime=0.03 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 1679 0 0 0 3 0 0 0 19 0 1 0 915737334 8761344 1582 33554432000 4194304 5696331 140734753945920 18446744073709551615 4210500 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 2139 1582 114 367 0 1769 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8556

[startup+0.100577 s]
/proc/loadavg: 3.68 1.45 0.53 4/189 20353
/proc/meminfo: memFree=27390192/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=19472 CPUtime=0.09 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 4806 0 0 0 9 0 0 0 19 0 1 0 915737334 19939328 4320 33554432000 4194304 5696331 140734753945920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 4901 4322 114 367 0 4531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19472

[startup+0.300545 s]
/proc/loadavg: 3.68 1.45 0.53 4/189 20353
/proc/meminfo: memFree=27390192/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=50496 CPUtime=0.29 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 13880 0 0 0 28 1 0 0 20 0 1 0 915737334 51707904 12045 33554432000 4194304 5696331 140734753945920 18446744073709551615 4210980 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 12624 12045 114 367 0 12254 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50496

[startup+0.700468 s]
/proc/loadavg: 3.68 1.45 0.53 4/189 20353
/proc/meminfo: memFree=27390192/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=108860 CPUtime=0.69 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 31171 0 0 0 65 4 0 0 21 0 1 0 915737334 111472640 26644 33554432000 4194304 5696331 140734753945920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 27215 26646 114 367 0 26845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 108860

[startup+1.50036 s]
/proc/loadavg: 3.68 1.45 0.53 5/190 20354
/proc/meminfo: memFree=27225040/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=222464 CPUtime=1.49 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 64189 0 0 0 141 8 0 0 23 0 1 0 915737334 227803136 55051 33554432000 4194304 5696331 140734753945920 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 55616 55053 114 367 0 55246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 222464

[startup+3.10105 s]
/proc/loadavg: 3.68 1.45 0.53 5/190 20354
/proc/meminfo: memFree=27031968/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=544192 CPUtime=3.09 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 153536 0 0 0 291 18 0 0 25 0 1 0 915737334 557252608 135177 33554432000 4194304 5696331 140734753945920 18446744073709551615 4962628 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 136048 135177 139 367 0 135678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 544192

[startup+6.30047 s]
/proc/loadavg: 3.79 1.51 0.56 5/190 20354
/proc/meminfo: memFree=26733252/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=655764 CPUtime=6.29 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 180485 0 0 0 609 20 0 0 25 0 1 0 915737334 671502336 162126 33554432000 4194304 5696331 140734753945920 18446744073709551615 4413823 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 163941 162126 141 367 0 163571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 655764

[startup+12.7003 s]
/proc/loadavg: 3.81 1.55 0.57 5/190 20354
/proc/meminfo: memFree=25901848/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1485364 CPUtime=12.69 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484139 0 0 0 1214 55 0 0 25 0 1 0 915737334 1521012736 369714 33554432000 4194304 5696331 140734753945920 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 371341 369714 148 367 0 370971 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1485364

[startup+25.501 s]
/proc/loadavg: 3.85 1.67 0.63 5/190 20391
/proc/meminfo: memFree=26914720/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1485628 CPUtime=25.49 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484237 0 0 0 2494 55 0 0 25 0 1 0 915737334 1521283072 369812 33554432000 4194304 5696331 140734753945920 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 371407 369812 148 367 0 371037 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1485628

[startup+51.1003 s]
/proc/loadavg: 3.90 1.86 0.72 5/190 20392
/proc/meminfo: memFree=26861664/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1486036 CPUtime=51.08 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484331 0 0 0 5053 55 0 0 25 0 1 0 915737334 1521700864 369906 33554432000 4194304 5696331 140734753945920 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 371509 369906 148 367 0 371139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1486036

[startup+102.307 s]
/proc/loadavg: 3.95 2.18 0.89 5/190 20430
/proc/meminfo: memFree=28202936/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1486168 CPUtime=102.29 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484366 0 0 0 10173 56 0 0 25 0 1 0 915737334 1521836032 369941 33554432000 4194304 5696331 140734753945920 18446744073709551615 4416913 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 371542 369941 148 367 0 371172 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1486168

[startup+162.301 s]
/proc/loadavg: 3.98 2.51 1.08 5/190 20432
/proc/meminfo: memFree=28084776/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1486312 CPUtime=162.28 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484385 0 0 0 16172 56 0 0 25 0 1 0 915737334 1521983488 369960 33554432000 4194304 5696331 140734753945920 18446744073709551615 4417519 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 371578 369960 148 367 0 371208 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1486312

[startup+222.301 s]
/proc/loadavg: 4.04 2.79 1.26 5/190 20507
/proc/meminfo: memFree=27973152/32951124 swapFree=67076880/67111528
[pid=20353] ppid=20351 vsize=1461848 CPUtime=222.28 cores=4,6
/proc/20353/stat : 20353 (muser) R 20351 20353 19981 0 -1 4202496 484387 0 0 0 22172 56 0 0 25 0 1 0 915737334 1496932352 359586 33554432000 4194304 5696331 140734753945920 18446744073709551615 5252282 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/20353/statm: 365462 359586 150 367 0 365092 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1461848

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

Child status: 20
Real time (s): 222.354
CPU time (s): 222.345
CPU user time (s): 221.726
CPU system time (s): 0.618905
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 1486312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 221.726
system time used= 0.618905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484387
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= 4
involuntary context switches= 565

runsolver used 0.408937 second user time and 0.808877 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-14 10:49:56
IDJOB=3501024
IDBENCH=89964
IDSOLVER=1998
FILE ID=node139/3501024-1308041395
RUNJOBID= node139-1308041268-20000
PBS_JOBID= 13564385
Free space on /tmp= 73808 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/gmus/belov/pj2003.aig.k20.gcnf
COMMAND LINE= muser -comp -grp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501024-1308041395/watcher-3501024-1308041395 -o /tmp/evaluation-result-3501024-1308041395/solver-3501024-1308041395 -C 1800 -W 1850 -M 7680  muser -comp -grp HOME/instance-3501024-1308041395.gcnf

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

MD5SUM BENCH= 8150b10e9988dfed70110f6792c1c1f0
RANDOM SEED=1531615897

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:     32951124 kB
MemFree:      27390868 kB
Buffers:        242956 kB
Cached:        1077680 kB
SwapCached:       3400 kB
Active:        4582476 kB
Inactive:       739548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27390868 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:          270124 kB
Writeback:           0 kB
AnonPages:     3999444 kB
Mapped:          15972 kB
Slab:           165296 kB
PageTables:      12960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4280800 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= 73952 MiB
End job on node139 at 2011-06-14 10:53:38