Trace number 3495882

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 3.13052 3.13164

General information on the benchmark

Namemus/marques-silva/design-debugging/
divider-problem.dimacs_2.filtered.cnf
MD5SUM13bebcb368372b5ede4dfb12c0f3e171
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.13052
Satisfiable
(Un)Satisfiability was proved
Number of variables228856
Number of clauses750705
Sum of the clauses size1922183
Maximum clause length4
Minimum clause length1
Number of clauses of size 11217
Number of clauses of size 2339392
Number of clauses of size 3398202
Number of clauses of size 411894
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c MoUsSaka vegetarian
0.49/0.53	
0.49/0.53	s UNSATISFIABLE
3.09/3.12	c Core is minimal
3.09/3.12	
3.09/3.12	v 49339 47578 581874 581890 581824 599938 50975 582297 582303 42295 44056 564264 49214 564258 563851 563835 581899 50977 563785 581831 49192 45817 54894 54896 54622 637253 637237 637234 637226 637222 636016 619198 619195 619187 619183 54499 53133 52861 643637 619214 625598 545753 545746 43907 527687 527652 43885 527645 509606 40534 38773 53135 52736 599929 599913 599870 600336 600342 601144 601148 601156 601159 601175 607556 599863 51372 617974 51100 50953 37012 33490 581769 42122 455779 42146 455465 455431 43909 40339 40361 473470 473535 491516 492176 474197 474203 491509 492170 491567 491574 491609 491797 492242 491857 40363 456164 38578 456158 38600 35251 437399 35054 420144 420150 31729 491543 563789 527714 527875 49216 563857 545684 545691 545726 47453 45668 45670 47429 545796 545812 545914 528254 528248 546219 546225 546287 546293 45646 492236 473477 509610 509648 509672 473818 510215 510209 473504 509836 383380 383816 383876 384199 384205 384261 384267 31532 35056 366228 366222 365837 383322 29968 383361 383311 29725 29747 365265 33271 33293 33295 365283 383354 31508 28207 383304 581711 582052 581738 582431 582437 581704 564398 564392 564013 563699 563665 50929 50927 49144 49166 599808 49168 43861 527594 545633 45622 437338 35032 437392 437364 437426 437740 437800 438125 438189 438119 437345 438183 36839 38602 455493 455435 36815 27964 27986 365272 26446 365322 29749 546359 546353 545660 545626 563727 545974 47405 528378 528384 509494 510345 527995 510339 43837 509520 527533 527540 43859 527559 509956 45620 54497 52712 600031 599843 599801 492362 492306 492368 473366 40313 40291 509498 473384 492300 509552 491423 474329 474323 42074 491917 473938 491977 42098 491481 491462 491455 491405 491412 509896 509548 43883 509582 563669 546417 546423 545598 545579 545572 546034 45598 47381 40315 473423 38530 473373 420266 419881 437295 420272 35006 419213 419203 33223 402360 402366 419210 35008 33245 455899 456284 456290 38552 455327 455345 455331 36791 455381 437306 34984 437288 437252 437242 437249 438245 438311 38554 437920 437860 438251 438305 36767 510016 510076 45596 509462 509448 509444 509408 509402 509398 45574 45572 491359 491366 491369 492037 473878 473998 474261 474267 474383 456228 456344 456350 456222 455959 492428 492422 455839 455403 455377 455291 455285 455281 473442 473416 473330 473327 473320 474389 420206 420212 419821 22679 21163 22657 22924 24440 24442 643908 655776 643944 643948 643721 643697 643693 643630 474444 492480 492483 492486 498544 503302 474441 509355 509356 509358 437980 438122 491319 420209 474386 420269 232850 473280 473278 473277 467224 462466 449185 455238 455239 455241 462081 510136 491317 491316 485263 480505 492365 474447 492425 58242 24676 24685 348307 24740 348304 26177 26201 26225 26437 27938 384321 384264 27940 384202 27962 588739 456225 438363 600339 438186 438248 456161 456019 438308 492097 492173 420147 420324 474058 474200 420327 474264 419941 474326 420330 426388 431146 437199 437200 437202 444427 456287 438369 456347 438366 456402 456405 456408 462078 353977 366343 228092 222034 222031 222028 413107 221645 402300 402303 402306 402363 408349 408097 38506 38504 37003 24418 24416 22681 22655 21154 20918 20894 19457 19402 19393 19135 19133 17641 17374 17372 240070 238904 366288 366285 366282 60003 366225 238906 240067 238950 239684 240073 59999 419249 402418 402421 366340 238903 63453 210053 63452 61700 214811 220864 408094 220865 419160 402424 220867 419161 419163 61698 61657 58238 353980 58198 58135 56479 56475 56438 56383 56374 354365 359123 365176 365177 365179 365219 365226 52852 365229 51155 51091 365897 365957 245743 31460 30023 29959 29723 29701 29699 27988 383936 383996 15880 15871 15611 14174 14119 14110 31484 34982 33269 33247 33221 31720 40589 35030 40525 35242 383268 383265 38528 383258 38576 383218 383216 383215 377162 372404 366346 40265 40267 40289 40337 36743 35306 492303 492239 510461 510407 510404 510401 510342 510281 510278 510275 510212 564073 563953 563765 563723 563637 563615 563611 527935 527621 527587 527501 527490 527483 527447 527444 527437 516583 516198 516195 510525 510522 510519 510467 510464 545540 545529 545522 534622 528506 528503 528500 43835 43813 43811 43789 43787 42286 42050 42026 50951 49190 49142 47569 47357 45872 45808 45644 552661 546485 546482 546479 546420 546356 546290 546222 546094 564456 564395 564332 564329 564326 564261 678549 678546 660573 660567 655773 655770 644159 644156 644153 644052 643606 582434 582371 582368 582365 582300 581992 581804 581762 570700 570315 570312 564462 564459 617906 617902 606778 601153 600410 600407 600404 528446 528443 528440 528381 528320 528317 528314 528251 528115 528055 643603 643598 643594 642592 637231 624817 624432 624429 619192 618381 618378 618375 617968 617952 714625 696649 696643 696587 696584 678610 678604 419256 419267 419299 419306 419325 419360 419761 384324 384327 384379 384382 384385 390443 395201 401254 401255 401257 401297 401301 401307 401343 401347 401361 401393 401397 401419 401451 401855 401915 401975 402035 402238 402241 402244 282209 286967 293020 293021 293023 293063 293067 293073 293113 293741 293801 294126 294129 294132 294184 294187 294190 299860 299863 300248 305006 311059 311060 311062 311102 311109 311112 245746 246131 250889 256942 256943 256945 256992 257723 258106 258109 258112 264170 268928 274981 274982 274984 275024 275031 275034 275702 275762 276087 276090 276093 276145 276148 276151 330207 330210 330262 330265 330268 336326 341084 347137 347138 347140 347180 347184 347190 347226 347230 347244 347280 347798 347858 347918 348183 348186 348189 348243 348246 348249 348301 311155 311780 311840 312165 312168 312171 312223 312226 312229 318287 323045 329098 329099 329101 329141 329148 329151 329187 329194 329205 329759 329819 329879 330144 330147 330150 330204  0
3.09/3.12	
3.09/3.12	c Core has size 859

Verifier Data 

OK	859

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

running on 2 cores: 0,2

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.93 3.95 3.59 5/189 11606
/proc/meminfo: memFree=28183672/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=31532 CPUtime=0 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 1507 0 0 0 0 0 0 0 25 0 1 0 873269001 32288768 1446 33554432000 4194304 4365125 140736366788112 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 7883 1458 245 42 0 5031 0

[startup+0.017466 s]
/proc/loadavg: 3.93 3.95 3.59 5/189 11606
/proc/meminfo: memFree=28183672/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=43424 CPUtime=0 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 7147 0 0 0 0 0 0 0 25 0 1 0 873269001 44466176 5298 33554432000 4194304 4365125 140736366788112 18446744073709551615 212039274032 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 10856 5299 254 42 0 8004 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 43424

[startup+0.100499 s]
/proc/loadavg: 3.93 3.95 3.59 5/189 11606
/proc/meminfo: memFree=28183672/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=45548 CPUtime=0.09 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 9886 0 0 0 8 1 0 0 25 0 1 0 873269001 46641152 7522 33554432000 4194304 4365125 140736366788112 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 11387 7522 254 42 0 8535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45548

[startup+0.300467 s]
/proc/loadavg: 3.93 3.95 3.59 5/189 11606
/proc/meminfo: memFree=28183672/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=96384 CPUtime=0.29 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 29015 0 0 0 26 3 0 0 25 0 1 0 873269001 98697216 15727 33554432000 4194304 4365125 140736366788112 18446744073709551615 212039352789 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 24096 15750 254 42 0 21244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96384

[startup+0.700388 s]
/proc/loadavg: 3.93 3.95 3.59 5/189 11606
/proc/meminfo: memFree=28183672/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=87276 CPUtime=0.69 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 33074 0 0 0 65 4 0 0 25 0 1 0 873269001 89370624 15995 33554432000 4194304 4365125 140736366788112 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 21819 15995 263 42 0 18967 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87276

[startup+1.50027 s]
/proc/loadavg: 3.93 3.95 3.59 5/190 11607
/proc/meminfo: memFree=28015668/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=87276 CPUtime=1.49 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 33074 0 0 0 145 4 0 0 25 0 1 0 873269001 89370624 15995 33554432000 4194304 4365125 140736366788112 18446744073709551615 4260903 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 21819 15995 263 42 0 18967 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87276

[startup+3.10094 s]
/proc/loadavg: 3.93 3.95 3.59 5/190 11607
/proc/meminfo: memFree=28007980/32951124 swapFree=67050916/67111528
[pid=11606] ppid=11604 vsize=87276 CPUtime=3.09 cores=0,2
/proc/11606/stat : 11606 (MoUsSaka) R 11604 11606 9411 0 -1 4202496 33074 0 0 0 305 4 0 0 25 0 1 0 873269001 89370624 15995 33554432000 4194304 4365125 140736366788112 18446744073709551615 4260956 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11606/statm: 21819 15995 263 42 0 18967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87276

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

Child status: 20
Real time (s): 3.13164
CPU time (s): 3.13052
CPU user time (s): 3.08653
CPU system time (s): 0.043993
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 96384

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

runsolver used 0.006998 second user time and 0.017997 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 18:08:47
IDJOB=3495882
IDBENCH=89468
IDSOLVER=1989
FILE ID=node146/3495882-1307808527
RUNJOBID= node146-1307807262-10897
PBS_JOBID= 13551045
Free space on /tmp= 74008 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/design-debugging/divider-problem.dimacs_2.filtered.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495882-1307808527/watcher-3495882-1307808527 -o /tmp/evaluation-result-3495882-1307808527/solver-3495882-1307808527 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495882-1307808527.cnf

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

MD5SUM BENCH= 13bebcb368372b5ede4dfb12c0f3e171
RANDOM SEED=1676808727

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28183968 kB
Buffers:        318160 kB
Cached:        1375732 kB
SwapCached:      14576 kB
Active:        3556492 kB
Inactive:       996376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28183968 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:           48780 kB
Writeback:           0 kB
AnonPages:     2856244 kB
Mapped:           9620 kB
Slab:           143692 kB
PageTables:      11312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  3868544 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 node146 at 2011-06-11 18:08:51