Trace number 3495888

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 1.50677 1.50875

General information on the benchmark

Namemus/marques-silva/design-debugging/
dividers7.dimacs.filtered.cnf
MD5SUM565da8cb07138e7659fe1ce6f8a07969
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.50677
Satisfiable
(Un)Satisfiability was proved
Number of variables64532
Number of clauses231247
Sum of the clauses size607221
Maximum clause length4
Minimum clause length1
Number of clauses of size 1623
Number of clauses of size 290595
Number of clauses of size 3134708
Number of clauses of size 45321
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.09/0.15	
0.09/0.15	s UNSATISFIABLE
1.49/1.50	c Core is minimal
1.49/1.50	
1.49/1.50	v 192785 212 180963 188048 187987 187903 180689 187807 186999 186997 197909 193074 193097 193102 193118 180711 180733 2652 180728 180716 180998 180987 180981 181027 181024 181015 193127 2696 191551 181007 181010 190742 193130 190740 162865 162953 156235 163033 156505 193139 193148 193151 144007 144277 150525 150355 150445 175461 175375 175541 168463 168733 190734 190736 168488 168483 178671 167241 168500 193123 165797 149169 174116 168782 168779 152112 168770 152114 154469 164986 2694 180013 3467 4281 3576 181004 237 262 156260 156255 164988 287 4458 5340 148360 148356 152923 177860 177862 180750 180745 168505 191545 168753 168759 5095 174120 174929 161236 161240 162049 156537 156534 156525 193106 193109 180993 180990 2698 190748 191557 168762 164994 168765 164992 177866 165803 3578 178677 177868 4460 181032 181041 181044 125335 125429 125509 119821 193169 193160 193172 193214 193202 193211 193223 193232 193235 168799 168796 168787 3580 190746 177872 178683 177874 2701 190755 191564 190751 180337 180334 180325 185090 185048 185007 185005 2960 204918 204863 185225 185180 2977 185184 197821 2129 2113 197956 197780 197952 197776 197997 217636 217690 187 205557 197863 137845 131779 137937 138017 193190 193181 193193 180346 180358 180355 180367 180376 180379 180388 180397 180400 180409 180418 180421 180430 180439 180442 180463 180460 180451 152942 152935 152929 165088 152917 152911 152905 152899 152893 190718 153037 153044 2692 152995 154615 154110 100568 100563 100412 100314 97649 96840 7950 8866 9792 9790 154104 154057 154055 154051 190722 190724 190728 190730 168793 192443 192438 192385 192383 192240 168804 168810 191539 191533 163277 5338 5336 5296 163271 126376 405 412 9723 9720 9718 9716 9714 9712 144297 165105 165102 165100 165096 5334 2690 2688 2686 2684 164956 2247 2228 2162 1399 1381 445 4424 4422 4420 5342 4462 163282 163280 4456 190710 190712 5310 5308 5306 5304 5302 87820 87822 87826 7948 7946 164982 165084 18 9 3546 77850 77854 77895 77983 87814 87816 3583 164974 164970 3574 3572 3570 3568 3566 3549 3840 3842 164976 88631 88637 88643 88649 87828 90159 5332 5330 5313 95095 100612 96836 9829 10640 10677 77387 77389 77442 154049 168776 152108 152106 152102 152100 152096 152094 152090 152088 5300 5298 7976 7959 7956 7954 7952 4414 4416 4418 3544 3542 3540 3538 90161 90165 90167 90214 90220 90609 90622 90626 90667 90755 165094 165090 152190 152186 152184 152133 152129 152126 152124 152120 188290 190704 190706 166827 166696 165918 165911 165905 165899 165893 8868 7074 7077 7094 7096 7098 7100 7102 100592 100588 100586 9710 9708 9706 8942 8940 8875 8872 8870 88655 88661 88667 88674 165773 165809 166888 166882 166835 166833 166829 87856 87852 87850 87846 87844 87840 87838 87834 87832 7242 7537 7942 7944 8090 7993 7990 7988 7986 3536 3534 3532 164980 3010 2992 7104 7106 7108 7111 7240 138263 138269 138272 138274 88625 87865 87861 87858 141273 141271 141152 140170 140163 140157 140151 140145 144343 165785 165791 165779 144049 144061 144066 144079 144086 165109 7984 7982 7980 7978 190716 141326 141332 141697 141843 165887 165881 165875 165869 165816 141279 140031 140037 140043 141277 153924 152192 152196 152198 152202 152204 152208 152210 152214 152216 181049 181038 191515 191521 191527 152235 152231 152228 150767 150773 150776 150778 152082 152084 156588 156585 156582 156576 168833 168830 168827 178641 178647 178653 165003 180784 180779 144314 144320 144323 144326 144331 144337 144340 152226 152222 152220 140049 140055 140061 144044 144032 144027 165767 180767 180762 165000 164998 156272 156277 156289 180456 177838 177842 177844 177848 177850 177854 177856 156294 156306 156311 175784 175781 175775 156331 156531 6220 6222 6224 6226 6229 6390 6392 6723 7060 126436 126385 126381 126378 152118 153001 153007 153013 153019 153025 153031 4426 4428 4431 4448 4450 4452 4454 140068 140121 140127 140133 140139 156324 140025 140019 139361 139357 139354 139352 139348 139346 139342 139340 139336 139334 139330 144303 144306 144309 4465 4690 4692 6216 6218 139208 139210 139214 139216 139220 139222 139226 139228 139328 139324 139322 139318 139316 128548 128501 128499 128495 128493 128380 127296 127289 127283 127277 126342 126340 126336 126334 125770 125768 125765 136289 6214 7072 7070 7068 7066 7064 7062 29 38 162 164968 164964 164962 164958 312 337 362 387 437 430 420 5344 5347 5540 5542 5909 6178 6180 6182 6184 6186 6188 6190 6192 6195 6212 122600 123409 125759 126372 126370 126366 126364 126360 126358 126354 126352 126348 126346 126438 126442 126444 126448 100610 100606 100604 100600 100598 100594 126478 126474 126472 119571 119576 119589 119596 119841 119847 119850 119853 122596 126487 126483 126480 139312 139310 139259 139255 139252 139250 139246 139244 139240 139238 139234 139232 129071 128925 128554 126450 126454 126456 126460 126462 126466 126468 127253 127247 127194 127187 127181 127175 127169 127163 127157 127151 127145 175786 177830 177832 177836 177934 177932 177881 177877 179607 179605 179468 178792 180435 180414 180393 180372 8092 8351 8824 8826 8828 8830 8832 8834 8836 8838 8841 8858 8860 8862 8864 165007 181021 165058 165060 165064 165066 165070 165072 165076 165078 180821 180814 180801 180796 180351 180330 180303 180159 165082 179666 179660 179613 179611 198266 198269 198272 204656 204658 204709 204713 204759 218475 217586 217529 217485 217481 217431 217427 205703 205223 205219 205215 204814 168539 168534 181055 181058 181061 181066 181072 181075 181078 188288 188285 188279 168813 168816 168821 168576 168569 168556 185500 185497 185494 185488 185136 168551 198260 177956 177958 177962 177964 177968 177970 177974 177976 177979 177983 178785 178779 178773 178767 178761 178755 178749 178743 178690 156568 156571 178665 178659 193144 168522 168517 167387 156542 156548 156551 156554 156559 192931 156565 192451 192447 193228 193207 193186 193165 177938 177940 177944 177946 177950 177952 127271 127265 127259 135480 135476 132098 132095 132092 132086 132081 132078 132075 132069 132049 131841 131834 131821 131816 131804 131799 101439 101446 101499 101505 101511 101517 101523 101529 101535 101541 101548 102820 102824 102836 102937 102939 113254 113001 112921 112825 110529 109720 109716 107593 107351 107344 107323 103527 103381 102998 102992 102945 102943 100616 100618 100622 100624 100628 100630 100633 100637 100688 100690 100694 100696 100700 100702 100706 100708 101433 101427 101421 101415 101409 101403 101397 100739 100735 100732 100730 100726 100724 100720 100718 100714 100712 113600 113604 113606 113609 113613 114271 114277 114283 114289 114295 114301 114307 114313 114320 114373 114379 119551 116299 116153 115776 115770 115723 115721 115717 115715 115608 114422 114415 114409 114403 114397 114391 114385 113498 113496 113492 113490 113486 113484 113480 113478 113474 113472 113468 113466 113462 113460 113265 113263 113260 113598 113594 113592 113588 113586 113582 113580 113576 113574 113570 113568 113564 113562 113511 113507 113504 113502  0
1.49/1.50	
1.49/1.50	c Core has size 1062

Verifier Data 

OK	1062

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-3495888-1307808524/watcher-3495888-1307808524 -o /tmp/evaluation-result-3495888-1307808524/solver-3495888-1307808524 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495888-1307808524.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.92 3.95 3.59 5/189 11529
/proc/meminfo: memFree=28067676/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=22264 CPUtime=0 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 1971 0 0 0 0 0 0 0 25 0 1 0 873268693 22798336 1655 33554432000 4194304 4365125 140733481382080 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 5566 1667 246 42 0 2714 0

[startup+0.0382391 s]
/proc/loadavg: 3.92 3.95 3.59 5/189 11529
/proc/meminfo: memFree=28067676/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=23252 CPUtime=0.03 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 3883 0 0 0 3 0 0 0 25 0 1 0 873268693 23810048 2653 33554432000 4194304 4365125 140733481382080 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 5813 2656 254 42 0 2961 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23252

[startup+0.100246 s]
/proc/loadavg: 3.92 3.95 3.59 5/189 11529
/proc/meminfo: memFree=28067676/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=34200 CPUtime=0.09 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 9896 0 0 0 9 0 0 0 25 0 1 0 873268693 35020800 4746 33554432000 4194304 4365125 140733481382080 18446744073709551615 212039655168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 8550 4748 254 42 0 5698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34200

[startup+0.300227 s]
/proc/loadavg: 3.92 3.95 3.59 5/189 11529
/proc/meminfo: memFree=28067676/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=36244 CPUtime=0.29 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 10649 0 0 0 29 0 0 0 25 0 1 0 873268693 37113856 5414 33554432000 4194304 4365125 140733481382080 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 9061 5414 263 42 0 6209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36244

[startup+0.701151 s]
/proc/loadavg: 3.92 3.95 3.59 5/189 11529
/proc/meminfo: memFree=28067676/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=36244 CPUtime=0.69 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 10649 0 0 0 69 0 0 0 25 0 1 0 873268693 37113856 5414 33554432000 4194304 4365125 140733481382080 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 9061 5414 263 42 0 6209 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36244

[startup+1.50101 s]
/proc/loadavg: 3.92 3.95 3.59 5/190 11531
/proc/meminfo: memFree=28046984/32951124 swapFree=67050916/67111528
[pid=11529] ppid=11527 vsize=36244 CPUtime=1.49 cores=0,2
/proc/11529/stat : 11529 (MoUsSaka) R 11527 11529 9411 0 -1 4202496 10649 0 0 0 149 0 0 0 25 0 1 0 873268693 37113856 5414 33554432000 4194304 4365125 140733481382080 18446744073709551615 4260907 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/11529/statm: 9061 5414 263 42 0 6209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36244

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

Child status: 20
Real time (s): 1.50875
CPU time (s): 1.50677
CPU user time (s): 1.49777
CPU system time (s): 0.008998
CPU usage (%): 99.8686
Max. virtual memory (cumulated for all children) (KiB): 36244

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

runsolver used 0.001999 second user time and 0.010998 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-11 18:08:44
IDJOB=3495888
IDBENCH=89464
IDSOLVER=1989
FILE ID=node146/3495888-1307808524
RUNJOBID= node146-1307807262-10897
PBS_JOBID= 13551045
Free space on /tmp= 74016 MiB

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

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

MD5SUM BENCH= 565da8cb07138e7659fe1ce6f8a07969
RANDOM SEED=1769991722

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:      28068096 kB
Buffers:        318052 kB
Cached:        1364368 kB
SwapCached:      14576 kB
Active:        3669596 kB
Inactive:       999160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28068096 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:           38056 kB
Writeback:          48 kB
AnonPages:     2983056 kB
Mapped:           9840 kB
Slab:           143220 kB
PageTables:      11532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4121432 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= 74016 MiB
End job on node146 at 2011-06-11 18:08:46