Trace number 3495820

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 0.623904 0.625625

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_20403_12.cnf_0.08000000.unsat.cnf
MD5SUM369f5bc9c65a82cbe1794788a640f045
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.623904
Satisfiable
(Un)Satisfiability was proved
Number of variables91417
Number of clauses261401
Sum of the clauses size605344
Maximum clause length3
Minimum clause length1
Number of clauses of size 1396
Number of clauses of size 2178067
Number of clauses of size 382938
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.19/0.20	
0.19/0.20	s UNSATISFIABLE
0.59/0.62	c Core is minimal
0.59/0.62	
0.59/0.62	v 71852 71856 71876 71881 71871 71861 71866 71867 71891 71895 71910 71900 71906 71924 71939 71935 71930 71905 130291 130384 130315 130326 130327 130394 130303 130252 130267 72001 72012 71996 72065 72005 71993 124737 182329 182328 182321 182410 251756 182315 182309 182303 182297 182293 251758 182290 182289 130224 182431 159642 159652 159638 159635 250275 159634 250273 182413 130346 130272 130273 130278 130257 130258 130264 71882 71886 71984 71929 71988 71915 71919 130284 130285 72060 252764 72094 72086 251708 251706 71635 71615 100426 100418 100383 159353 252766 250277 250279 250368 250370 100387 100390 100391 100409 100408 100400 100399 71549 71500 71497 100364 100363 100367 71946 71483 72113 72120 182446 72003 180746 72085 100370 100375 100379 72095 72103 72104 72112 250382 250384 213830 180754 72077 72076 72068 130398 130399 130406 130321 130320 130390 130389 130333 130340 130297 130309 130308 130412 130332 130296 72038 72020 72051 72015 72056 72047 72010 72029 72033 72024 72042 130279 130302 71642 72118 250265 71638 250263 130256 130261 130271 130266 130282 130319 130329 130330 130460 130286 130465 130295 130405 130401 130396 130335 130281 130339 130310 130276 130324 130393 130300 130388 130305 130306 217158 187811 188514 188518 235384 251826 214998 186874 215002 251828 215012 215006 215008 130485 130486 130494 130495 130503 130504 130513 130512 130477 130476 130468 130520 159504 250379 159511 130071 159508 159559 159560 159512 250381 159500 130087 130466 130462 130461 230287 230286 235383 230289 130411 130345 159506 159557 159561 159502 250378 250380 159514 159509 159503 250276 130203 159636 130505 130510 130483 159641 130496 130501 159632 130478 130519 130514 159640 130487 130492 159650 250274 130474 130225 130469 217159 100423 95154 251762 95207 100214 251760 182445 182440 182451 215912 251723 251725 124746 124758 124734 95303 251745 251743 100178 95211 159293 159298 182427 182344 182416 182348 182383 182374 182353 251740 251742 182404 182362 182352 159301 182395 182429 182435 130415 130420 130349 130354 130424 130363 130358 130429 100226 251729 251727 251710 95310 158334 251712 95306 95316 158335 158356 95312 100052 100051 100046 99729 99339 99334 99331 99330 130931 99337 158330 100217 99015 95138 95142 98984 159365 251778 251780 250661 250663 130372 130367 130433 130438 130381 130376 130447 130442 71440 71937 71480 250400 250398 100413 100342 100343 100351 158327 158326 249874 130451 130456 130454 250640 250642 250657 71954 71943 72046 71981 72055 71976 71972 71967 71963 71958 71949 72037 72028 72019 100300 100301 250295 250293 250306 250308 100295 250291 250310 250415 100309 100310 250426 100336 250473 100337 100347 100395 130227 100404 100416 250413 250411 250396 100289 100288 100285 100281 100277 100235 100239 100243 100246 250428 250430 100247 100258 100259 100267 100268 100315 100253 100305 100294 100276 159428 159427 159456 130904 159555 159573 159569 159458 159462 159432 250424 250394 250409 159564 257528 159576 159580 130289 43140 159529 98991 98988 159552 159548 159547 250443 251976 250289 250304 250300 250302 250422 250420 250407 250405 159654 159656 159660 159663 159615 250638 250285 250653 250655 159627 159631 159645 250390 250392 159567 100234 130605 186112 130231 250636 250528 250517 250515 250471 251753 159585 159581 182286 182282 251738 251736 250362 250360 250469 250467 250287 250448 250445 130251 130235 194913 194918 194944 251704 182277 182279 251719 251721 71612 257552 257555 257556 257559 261393 261394 186250 186079 130481 186078 186074 130472 186070 71602 71600 71597 185792 71594 71590 71588 71585 71582 71578 251755 159594 159596 159600 159603 251770 251772 251774 251776 71444 71447 251834 251835 250659 71609 250811 250813 251702 252761 252763 159589 159591 257530 194345 194395 194397 194402 194491 194493 194497 194499 194503 250319 250321 250323 250325 250330 250332 250334 250336 250338 250340 250345 250347 250349 250351 250353 250364 250366 159619 159620 250375 250377 159624 229943 215846 215847 215904 215908 250355 250272 159607 159608 159612 159526 159522 186445 185789 185759 185755 257531 257537 257540 257541 257542 257545 257546 71606 186443 186399 250317 250315 251978 186255 71889 186290 186292 186297 186332 186334 186339 71913 186374 186376 186381 186392 186394 71645 71648 71851 159543 159539 71438 71405 159538 159534 159530 71402 71398 159466 95149 95145 43138 43134 79552 72122 159469 159470 159475 159476 72108 159481 159482 72099 159434 159439 159440 159444 159448 159449 159453 100360 100356 100352 182378 182372 71563 182370 182366 71561 182360 182358 186124 186123 186116 157968 157909 100331 130446 100330 100327 130437 100323 100319 130428 100318 71360 130419 71356 185750 185736 185731 159518 71576 71570 182439 182420 71558 71555 71551 159516 71507 71504 186168 186161 72081 186158 182408 72072 182399 182393 182391 182388 71567 130588 130522 186111 130518 186107 186103 130508 186102 186098 130499 186089 186085 130490 186083 52650 52645 43151 43148 43145 43144 71363 71396 130343 130337 130313 130410 130403 159424 159420 159416 159414 159407 159406 159398 159397 159392 159386 159385 159382 159378 159374 159372 159370 52826 159357 186128 130603 130600 130599 130594 130593 224438 224433 224076 224073 224068 224015 224010 224008 224006 224001 223981 223978 250169 250109 250105 250103 250101 250100 249945 223857 223847 223843 223819 223787 223782 223741 223706 223701 223657 223622 223617 100057 100065 100110 100152 100153 100155 100161 100177 159667 100194 100203 100213 159498 100230 159495 159491 72090 159490 159486 223939 223886 223881 223863 223860 99317 99321 99325 99327 173835 167540 167537 99336 167534 167530 160027 160024 160021 160019 186530 186513 186508 186504 186500 186496 186492 186488 186484 186480 186476 186472 186470 186462 186457 186453 186449 194325 188188 194340 194338 194335 194332 194329 214855 214760 214755 213872 213863 213859 213850 213845 213840 182272 195007 194951 194946 186532 249876 249869 249867 235469 235463 229954 229949 229948 250270 180765 180750 250261 250259 250257 250255 250178 250174 250172 250170 188186 188183 188182 188177 188176 188171 187819 187816 187815 186879 186540 186536 249943 249926 249924 249907 249905 249888 249886 130934 138365 138369 138372 138375 138389 138393 138396 138399 144716 152490 152494 152505 152509 154025 154029 154033 154041 154094 154097 154102 154191 154193 154197 154199 154203 157871 157876 157902 157904 100784 100789 100791 101078 108843 108847 108851 115183 123061 123064 123076 123079 124596 124601 124603 124606 124610 124613 124614 124617 124621 124627 124633 124639 124645 124646 124647 124651 124658 124659 100429 100430 100435 100437 100441 100442 100446 100450 100452 100456 100457 100462 100464 100468 100469 100474 100476 100480 100481 100486 100488 100492 100495 100496 100499 100503 100512 100517 100522 100524 100528 129950 129985 129987 129992 130027 130029 130034 130069 130072 130076 130086 130089 130094 130138 130140 130144 130148 130152 130157 130165 130167 130171 130175 130179 130183 130187 130191 130195 130199 130204 130208 124670 124671 124674 124678 124687 124699 124708 124720 124725 124730 124731 124755 124764 124769 124770 124775 128442 128446 128450 128451 128455 128457 128461 128470 128474 128494 128530 128896 128949 129937 129945  0
0.59/0.62	
0.59/0.62	c Core has size 1064

Verifier Data 

OK	1064

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-3495820-1307808347/watcher-3495820-1307808347 -o /tmp/evaluation-result-3495820-1307808347/solver-3495820-1307808347 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495820-1307808347.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: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=21816 CPUtime=0 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 1839 0 0 0 0 0 0 0 25 0 1 0 892437085 22339584 1598 33554432000 4194304 4365125 140736972526848 18446744073709551615 4303419 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 5454 1608 247 42 0 2602 0

[startup+0.056827 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=25272 CPUtime=0.04 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 5012 0 0 0 4 0 0 0 25 0 1 0 892437085 25878528 3423 33554432000 4194304 4365125 140736972526848 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 6318 3424 254 42 0 3466 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25272

[startup+0.100829 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=37076 CPUtime=0.09 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 10827 0 0 0 8 1 0 0 25 0 1 0 892437085 37965824 5376 33554432000 4194304 4365125 140736972526848 18446744073709551615 4284371 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 10035 5398 254 42 0 7183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37076

[startup+0.300802 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=43588 CPUtime=0.29 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 14286 0 0 0 28 1 0 0 25 0 1 0 892437085 44634112 6436 33554432000 4194304 4365125 140736972526848 18446744073709551615 4257515 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 10897 6436 263 42 0 8045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43588

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

[startup+0.500769 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=43588 CPUtime=0.49 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 14286 0 0 0 48 1 0 0 25 0 1 0 892437085 44634112 6436 33554432000 4194304 4365125 140736972526848 18446744073709551615 4260965 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 10897 6436 263 42 0 8045 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 43588

[startup+0.600753 s]
/proc/loadavg: 4.01 3.67 3.49 4/189 16578
/proc/meminfo: memFree=30296648/32951124 swapFree=67050520/67111528
[pid=16578] ppid=16576 vsize=43588 CPUtime=0.59 cores=0,2
/proc/16578/stat : 16578 (MoUsSaka) R 16576 16578 14141 0 -1 4202496 14286 0 0 0 58 1 0 0 25 0 1 0 892437085 44634112 6436 33554432000 4194304 4365125 140736972526848 18446744073709551615 4263328 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/16578/statm: 10897 6436 263 42 0 8045 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 43588

Child status: 20
Real time (s): 0.625625
CPU time (s): 0.623904
CPU user time (s): 0.603908
CPU system time (s): 0.019996
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 43588

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

runsolver used 0.001999 second user time and 0.004999 second system time

The end

Launcher Data 

Begin job on node102 at 2011-06-11 18:05:47
IDJOB=3495820
IDBENCH=89255
IDSOLVER=1989
FILE ID=node102/3495820-1307808347
RUNJOBID= node102-1307807882-15964
PBS_JOBID= 13551074
Free space on /tmp= 74140 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_12.cnf_0.08000000.unsat.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495820-1307808347/watcher-3495820-1307808347 -o /tmp/evaluation-result-3495820-1307808347/solver-3495820-1307808347 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495820-1307808347.cnf

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

MD5SUM BENCH= 369f5bc9c65a82cbe1794788a640f045
RANDOM SEED=918808177

node102.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.828
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.65
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.828
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.15
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.828
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.828
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.828
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.82
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.828
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.828
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.828
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:      30300168 kB
Buffers:        296960 kB
Cached:         938700 kB
SwapCached:      25172 kB
Active:        1697680 kB
Inactive:       741656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30300168 kB
SwapTotal:    67111528 kB
SwapFree:     67050520 kB
Dirty:            5176 kB
Writeback:           0 kB
AnonPages:     1201752 kB
Mapped:           9688 kB
Slab:           143508 kB
PageTables:       7748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1715792 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= 74136 MiB
End job on node102 at 2011-06-11 18:05:48