Trace number 3495904

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 4.20336 4.20406

General information on the benchmark

Namemus/marques-silva/design-debugging/
s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
MD5SUM06612cef79ba498076fdb87b528897ec
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.20336
Satisfiable
(Un)Satisfiability was proved
Number of variables314258
Number of clauses819830
Sum of the clauses size1823190
Maximum clause length5
Minimum clause length1
Number of clauses of size 15512
Number of clauses of size 2654046
Number of clauses of size 3141050
Number of clauses of size 49674
Number of clauses of size 59548
Number of clauses of size over 50

Solver Data 

0.00/0.02	c MoUsSaka vegetarian
0.69/0.72	
0.69/0.72	s UNSATISFIABLE
4.19/4.20	c Core is minimal
4.19/4.20	
4.19/4.20	v 341904 599490 599476 53695 53692 684757 684188 681878 681867 680268 680224 680211 680199 680193 680192 680191 680188 680167 676599 758454 758453 758452 758451 758190 320896 320895 235260 51117 51116 51112 51111 51109 51108 51106 51098 51097 51095 51094 759114 686176 686174 686172 686171 175729 175717 175675 172246 55865 55864 55862 53709 53706 172201 172189 172147 164003 292423 292422 292420 242334 242290 242254 353101 352497 352467 352466 595482 595425 595422 580183 579991 579983 579982 579980 320898 320897 235258 235238 229445 229428 175774 175771 175732 459776 459775 360804 579960 577785 676539 676538 676537 676513 636927 612635 612622 612605 612604 612561 612560 172243 172204 51118 51119 51121 51124 758158 758161 599191 235261 241670 241686 241687 241695 241957 242180 242211 242215 242223 242230 242231 14039 66992 66993 67005 67006 67007 69653 69654 69656 69658 69667 69668 12451 14040 14044 14045 14046 14047 14049 14052 14055 18454 18456 18457 18462 892 1466 1477 1711 1713 1714 1722 595577 595617 595620 599187 599188 599189 599190 60875 66991 459777 466019 466020 466021 466041 466051 466137 467762 480706 480707 480709 480711 533781 533925 577782 339924 339925 339937 339983 352465 605358 612557 612558 612559 12453 14034 14036 14037 19997 31328 31342 34133 1733 4959 4960 4962 4964 9771 9785 10221 76893 77282 77283 77284 77285 60859 60860 60861 60873 60874 57683 57685 57686 57694 57705 57719 57725 57727 57728 57736 51082 51085 51092 69670 69672 73600 73601 73603 73605 73614 73615 73617 73619 76876 76879 76890 759063 759067 759068 759069 759075 759085 759092 51127 111378 111379 111381 10263 12448 12449 34179 34181 41917 41918 41919 46210 46221 46235 46252 50851 50852 50854 50856 51074 34134 34135 34137 34139 34175 34176 34177 106417 106418 106420 106422 109075 109076 109077 111358 111359 111360 111361 111363 111366 111376 776555 776557 776559 776568 776569 776570 776571 758455 758484 758485 758528 758557 758558 758587 758616 759017 759034 759046 758059 758062 51075 51076 51077 51079 18479 18493 18496 18498 18499 18504 19994 759115 759144 759173 759543 759572 759574 759575 759583 759594 776554 599235 360200 359946 359933 359889 359888 359887 359886 359885 815677 815643 812771 812737 809905 809865 809831 806971 806966 806927 804065 804060 804021 802405 801159 801154 801116 779216 779215 777602 777599 777594 777593 777591 777472 777469 777178 776579 758033 736360 736359 712022 712011 711989 711988 711986 687519 798255 798212 798189 796597 795386 795349 795306 795283 792482 792402 792374 790789 789542 789498 789468 787885 786674 786638 818618 303056 303013 302840 302633 302562 302533 302518 302489 302488 302487 302486 302471 292456 292431 339922 339921 333666 333663 333161 326891 326888 321487 321485 321484 321483 321352 320943 320899 776578 776577 776576 776575 776574 776573 776572 786594 786571 785016 783768 783734 783690 783662 782112 782076 781470 781454 781453 781432 781431 781417 780643 779220 779218 317919 303118 303101 303075 111382 92198 93049 93067 93527 94095 94096 94097 94109 94110 94111 100397 100398 100400 100402 106375 106376 106378 106380 134158 138771 138772 138774 138776 138813 138814 138816 138818 142045 142046 142087 142088 156913 156914 156955 156956 163749 111390 111392 111393 111395 111396 111400 111401 111402 111403 111405 111408 133254 133257 133577 133609 133860 134002 134018 77332 77335 78094 78095 78096 78097 78099 78102 78112 78114 78115 78117 78118 78126 78128 78129 78131 78132 77287 77290 77293 77300 77302 77303 77305 77306 77314 77316 77317 77319 77320 77324 77325 77326 77327 77329 81938 81948 81950 81951 81953 81954 81962 81964 81965 81967 81968 81972 81973 81974 81975 81977 81980 84122 78136 78137 78138 78139 78141 78144 79536 79537 79539 79541 79550 79551 79553 79555 81930 81931 81932 81933 81935  0
4.19/4.20	
4.19/4.20	c Core has size 577

Verifier Data 

OK	577

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-3495904-1307808495/watcher-3495904-1307808495 -o /tmp/evaluation-result-3495904-1307808495/solver-3495904-1307808495 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495904-1307808495.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.07 3.43 3.01 4/189 27201
/proc/meminfo: memFree=30793496/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=30704 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 1739 0 0 0 0 0 0 0 22 0 1 0 892448354 31440896 1678 33554432000 4194304 4365125 140736259639440 18446744073709551615 4318620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 7676 1683 245 42 0 4824 0

[startup+0.0529451 s]
/proc/loadavg: 4.07 3.43 3.01 4/189 27201
/proc/meminfo: memFree=30793496/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=49728 CPUtime=0.04 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 10122 0 0 0 3 1 0 0 22 0 1 0 892448354 50921472 7427 33554432000 4194304 4365125 140736259639440 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 12432 7428 254 42 0 9580 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 49728

[startup+0.100938 s]
/proc/loadavg: 4.07 3.43 3.01 4/189 27201
/proc/meminfo: memFree=30793496/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=53952 CPUtime=0.09 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 13355 0 0 0 8 1 0 0 22 0 1 0 892448354 55246848 8817 33554432000 4194304 4365125 140736259639440 18446744073709551615 235594866432 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 13488 8818 254 42 0 10636 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 53952

[startup+0.300903 s]
/proc/loadavg: 4.07 3.43 3.01 4/189 27201
/proc/meminfo: memFree=30793496/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=94556 CPUtime=0.29 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 34056 0 0 0 26 3 0 0 23 0 1 0 892448354 96825344 16802 33554432000 4194304 4365125 140736259639440 18446744073709551615 4284413 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 23639 16803 254 42 0 20787 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94556

[startup+0.700835 s]
/proc/loadavg: 4.07 3.43 3.01 4/189 27201
/proc/meminfo: memFree=30793496/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116752 CPUtime=0.69 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 44949 0 0 0 64 5 0 0 25 0 1 0 892448354 119554048 20192 33554432000 4194304 4365125 140736259639440 18446744073709551615 4257833 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29188 20192 256 42 0 26336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116752

[startup+1.50069 s]
/proc/loadavg: 4.07 3.43 3.01 5/190 27203
/proc/meminfo: memFree=30713524/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116748 CPUtime=1.49 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 45032 0 0 0 144 5 0 0 25 0 1 0 892448354 119549952 20274 33554432000 4194304 4365125 140736259639440 18446744073709551615 4260663 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29187 20274 263 42 0 26335 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116748

[startup+3.10041 s]
/proc/loadavg: 4.07 3.43 3.01 5/190 27203
/proc/meminfo: memFree=30712408/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116748 CPUtime=3.09 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 45032 0 0 0 304 5 0 0 25 0 1 0 892448354 119549952 20274 33554432000 4194304 4365125 140736259639440 18446744073709551615 4260882 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29187 20274 263 42 0 26335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116748

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

[startup+3.90027 s]
/proc/loadavg: 4.07 3.43 3.01 5/190 27203
/proc/meminfo: memFree=30712552/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116748 CPUtime=3.89 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 45032 0 0 0 384 5 0 0 25 0 1 0 892448354 119549952 20274 33554432000 4194304 4365125 140736259639440 18446744073709551615 4260961 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29187 20274 263 42 0 26335 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 116748

[startup+4.10029 s]
/proc/loadavg: 4.07 3.43 3.01 5/190 27203
/proc/meminfo: memFree=30712552/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116748 CPUtime=4.09 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 45032 0 0 0 404 5 0 0 25 0 1 0 892448354 119549952 20274 33554432000 4194304 4365125 140736259639440 18446744073709551615 4260882 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29187 20274 263 42 0 26335 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 116748

[startup+4.20022 s]
/proc/loadavg: 4.07 3.43 3.01 5/190 27203
/proc/meminfo: memFree=30712552/32950928 swapFree=67052112/67111528
[pid=27201] ppid=27199 vsize=116748 CPUtime=4.19 cores=1,3
/proc/27201/stat : 27201 (MoUsSaka) R 27199 27201 23695 0 -1 4202496 45032 0 0 0 414 5 0 0 25 0 1 0 892448354 119549952 20274 33554432000 4194304 4365125 140736259639440 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/27201/statm: 29187 20274 263 42 0 26335 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 116748

Child status: 20
Real time (s): 4.20406
CPU time (s): 4.20336
CPU user time (s): 4.14337
CPU system time (s): 0.05999
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 130180

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

runsolver used 0.007998 second user time and 0.022996 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-11 18:08:16
IDJOB=3495904
IDBENCH=89432
IDSOLVER=1989
FILE ID=node120/3495904-1307808495
RUNJOBID= node120-1307808043-25677
PBS_JOBID= 13551076
Free space on /tmp= 73832 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/design-debugging/s38584-bug-onevec-gate-0.dimacs.seq.filtered.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495904-1307808495/watcher-3495904-1307808495 -o /tmp/evaluation-result-3495904-1307808495/solver-3495904-1307808495 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495904-1307808495.cnf

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

MD5SUM BENCH= 06612cef79ba498076fdb87b528897ec
RANDOM SEED=1830516721

node120.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.809
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.61
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.809
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	: 5226.07
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.809
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.82
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.809
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.809
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.78
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.809
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.809
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.809
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:     32950928 kB
MemFree:      30793792 kB
Buffers:        164408 kB
Cached:        1057824 kB
SwapCached:      11528 kB
Active:        1217276 kB
Inactive:       773164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30793792 kB
SwapTotal:    67111528 kB
SwapFree:     67052112 kB
Dirty:           65028 kB
Writeback:           4 kB
AnonPages:      766016 kB
Mapped:           9724 kB
Slab:            98504 kB
PageTables:       6612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1213764 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= 73832 MiB
End job on node120 at 2011-06-11 18:08:20