Trace number 3495618

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
OptimuS x100_sourceUNSAT 25.5581 25.5575

General information on the benchmark

Namemus/marques-silva/fpga-routing/
c499_gr_2pin_w5.shuffled.cnf
MD5SUMa2e4cf209dd6d99c36adb18f47b69589
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.054991
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of clauses19908
Sum of the clauses size104856
Maximum clause length6
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23648
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 516260

Solver Data 

25.49/25.55	c - Reading the instance.. OK! Totally clauses:    19908; Vars:     2070; Time: 0.03
25.49/25.55	c - Unit propagation..     OK! Removed clauses:        0;                 Time: 0.00
25.49/25.55	c - Delete by resolution.. OK! Removed clauses:       41;                 Time: 0.17
25.49/25.55	c   - Solving the original instance..
25.49/25.55	c     - OK - UNSAT! Continue to clause elimination..
25.49/25.55	c   - round:    1;   Skips in previous round:    0
25.49/25.55	c     - clauses done:  1%; among them skipped: 0.00%;
25.49/25.55	c     - clauses done: 10%; among them skipped: 0.10%;
25.49/25.55	c     - clauses done: 20%; among them skipped: 0.10%;
25.49/25.55	c     - clauses done: 30%; among them skipped: 0.30%;
25.49/25.55	c     - clauses done: 40%; among them skipped: 0.28%;
25.49/25.55	c   - round:    2;   Skips in previous round:   22
25.49/25.55	c     - clauses done:  1%; among them skipped: 0.00%;
25.49/25.55	c     - clauses done: 10%; among them skipped: 0.00%;
25.49/25.55	c     - clauses done: 20%; among them skipped: 0.00%;
25.49/25.55	c     - clauses done: 30%; among them skipped: 0.00%;
25.49/25.55	c     - clauses done: 40%; among them skipped: 0.00%;
25.49/25.55	c - Finish! Unsat core size: 694 / 19908; Time: 25.52 s
25.49/25.55	c - ---------------------------------------------------------------------------
25.49/25.55	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
25.49/25.55	c -             |       0   |    9845   |     276   |     418   |    9369     |
25.49/25.55	c - ---------------------------------------------------------------------------
25.49/25.55	s UNSATISFIABLE
25.49/25.55	v 526 676 780 1427 1436 1472 1584 1817 1962 2373 2389 2673 2698 2724 2938 3306 3509 3775 4633 4710 4790 4818 4841 4860 5020 5029 5076 5186 5335 5429 5469 5473 5502 5526 5566 5605 5689 5761 5822 5823 5866 6064 6092 6097 6161 6169 6237 6250 6302 6314 6326 6394 6526 6553 6554 6597 6720 6753 6761 6784 6850 6882 6912 7034 7061 7072 7098 7104 7112 7115 7125 7140 7144 7150 7190 7192 7219 7316 7365 7374 7375 7379 7391 7461 7471 7509 7514 7515 7552 7573 7582 7583 7761 7773 7780 7807 7820 7824 7852 7857 7898 7918 8106 8114 8136 8156 8234 8302 8341 8368 8469 8527 8547 8561 8632 8638 8639 8653 8672 8694 8698 8742 8781 8807 8840 8849 8850 8851 8894 8989 8995 9025 9043 9055 9066 9070 9073 9076 9081 9117 9142 9179 9253 9326 9407 9427 9449 9477 9490 9517 9571 9622 9655 9657 9674 9690 9726 9745 9767 9792 9794 9815 9828 9835 9843 9879 9903 9923 9924 9987 9994 10022 10028 10029 10030 10034 10051 10086 10141 10157 10172 10188 10261 10269 10277 10288 10301 10355 10363 10380 10382 10533 10567 10584 10588 10600 10626 10655 10685 10743 10790 10812 10821 10834 10845 10870 10889 10894 10908 10939 10942 10950 11001 11006 11035 11045 11063 11079 11087 11095 11109 11117 11145 11214 11218 11226 11227 11322 11388 11389 11396 11398 11405 11434 11458 11461 11485 11490 11495 11503 11509 11558 11560 11569 11579 11584 11597 11637 11640 11654 11676 11704 11721 11731 11750 11752 11761 11762 11791 11826 11834 11859 11882 11904 11916 11970 11985 12032 12036 12066 12070 12118 12133 12217 12222 12230 12239 12268 12272 12296 12301 12307 12322 12340 12408 12506 12510 12530 12534 12551 12625 12633 12635 12641 12646 12648 12651 12655 12665 12677 12696 12700 12718 12732 12733 12755 12763 12842 12850 12877 12903 12909 12918 12935 12980 13002 13014 13063 13125 13155 13162 13192 13202 13204 13207 13208 13219 13246 13247 13324 13338 13360 13375 13381 13414 13477 13479 13489 13508 13551 13560 13568 13588 13601 13614 13632 13645 13649 13661 13680 13689 13732 13758 13852 13855 13860 13902 13907 13917 13937 13946 14001 14017 14068 14081 14093 14122 14150 14163 14167 14203 14229 14240 14279 14291 14297 14303 14313 14316 14323 14336 14374 14380 14383 14399 14404 14463 14492 14504 14510 14517 14521 14539 14584 14601 14605 14620 14633 14645 14675 14676 14681 14709 14716 14718 14719 14739 14743 14759 14779 14794 14796 14836 14843 14857 14861 14874 14894 14909 14935 14946 14955 14964 14969 15031 15062 15071 15076 15098 15105 15114 15176 15187 15197 15211 15264 15308 15332 15339 15377 15389 15425 15441 15464 15470 15486 15500 15588 15703 15712 15721 15724 15741 15761 15808 15828 15840 15844 15857 15866 15870 15873 15878 15880 15899 15919 15927 15945 15974 15976 15997 16040 16062 16078 16082 16097 16101 16112 16129 16132 16141 16151 16154 16174 16189 16199 16217 16224 16230 16231 16249 16306 16364 16365 16381 16394 16401 16419 16494 16499 16512 16518 16524 16529 16553 16565 16591 16602 16605 16613 16630 16721 16724 16731 16740 16742 16768 16786 16809 16842 16868 16870 16871 16873 16889 16894 16902 16910 16911 16915 16948 16965 16973 17003 17007 17024 17033 17039 17042 17112 17117 17217 17234 17240 17268 17304 17326 17345 17356 17357 17408 17424 17428 17451 17491 17523 17551 17621 17632 17643 17649 17672 17695 17714 17744 17755 17762 17772 17779 17797 17798 17845 17860 17906 17908 17909 17922 17934 17940 17959 18007 18011 18030 18036 18042 18061 18089 18099 18104 18108 18116 18159 18178 18199 18213 18222 18237 18245 18253 18277 18279 18280 18287 18290 18293 18296 18311 18312 18352 18357 18381 18383 18384 18403 18412 18436 18470 18481 18482 18491 18507 18519 18554 18572 18577 18578 18585 18595 18688 18692 18710 18720 18753 18772 18798 18818 18851 18864 18869 18900 18925 18937 19018 19024 19025 19033 19042 19048 19132 19135 19184 19227 19229 19236 19269 19271 19280 19289 19297 19327 19336 19361 19371 19372 19378 19381 19404 19407 19417 19432 19459 19502 19516 19522 19530 19534 19538 19554 19558 19577 19602 19604 19624 19642 19650 19680 19726 19745 19778 19792 19798 19856 19860 19887 0

Verifier Data 

OK	694

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-3495618-1307809710/watcher-3495618-1307809710 -o /tmp/evaluation-result-3495618-1307809710/solver-3495618-1307809710 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495618-1307809710.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: 1.20 2.29 3.05 4/189 8390
/proc/meminfo: memFree=31502532/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=20120 CPUtime=0 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 765 0 0 0 0 0 0 0 25 0 1 0 971201579 20602880 672 33554432000 4194304 4280283 140734663864032 18446744073709551615 4267148 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 5030 673 224 21 0 1667 0

[startup+0.023925 s]
/proc/loadavg: 1.20 2.29 3.05 4/189 8390
/proc/meminfo: memFree=31502532/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=22816 CPUtime=0.01 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 1572 0 0 0 1 0 0 0 25 0 1 0 971201579 23363584 1426 33554432000 4194304 4280283 140734663864032 18446744073709551615 260020056773 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 5704 1427 239 21 0 2341 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 22816

[startup+0.100944 s]
/proc/loadavg: 1.20 2.29 3.05 4/189 8390
/proc/meminfo: memFree=31502532/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=25196 CPUtime=0.09 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 2165 0 0 0 9 0 0 0 25 0 1 0 971201579 25800704 2018 33554432000 4194304 4280283 140734663864032 18446744073709551615 4210100 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 6299 2018 250 21 0 2936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25196

[startup+0.300913 s]
/proc/loadavg: 1.20 2.29 3.05 4/189 8390
/proc/meminfo: memFree=31502532/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=25956 CPUtime=0.29 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 2438 0 0 0 29 0 0 0 25 0 1 0 971201579 26578944 2286 33554432000 4194304 4280283 140734663864032 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 6489 2286 269 21 0 3126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25956

[startup+0.70084 s]
/proc/loadavg: 1.20 2.29 3.05 4/189 8390
/proc/meminfo: memFree=31502532/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=26356 CPUtime=0.69 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 5432 0 0 0 69 0 0 0 25 0 1 0 971201579 26988544 3044 33554432000 4194304 4280283 140734663864032 18446744073709551615 4261302 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 6589 3044 269 21 0 3226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26356

[startup+1.50068 s]
/proc/loadavg: 1.20 2.29 3.05 6/190 8391
/proc/meminfo: memFree=31505028/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=37848 CPUtime=1.49 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 9511 0 0 0 148 1 0 0 25 0 1 0 971201579 38756352 5101 33554432000 4194304 4280283 140734663864032 18446744073709551615 4256552 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 9462 5101 269 21 0 6099 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37848

[startup+3.10038 s]
/proc/loadavg: 1.20 2.29 3.05 6/190 8391
/proc/meminfo: memFree=31460272/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=47688 CPUtime=3.09 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 12441 0 0 0 307 2 0 0 25 0 1 0 971201579 48832512 8001 33554432000 4194304 4280283 140734663864032 18446744073709551615 4210370 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 11922 8001 269 21 0 8559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47688

[startup+6.3008 s]
/proc/loadavg: 1.43 2.32 3.06 6/190 8391
/proc/meminfo: memFree=31488988/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=47688 CPUtime=6.29 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 12441 0 0 0 627 2 0 0 25 0 1 0 971201579 48832512 8001 33554432000 4194304 4280283 140734663864032 18446744073709551615 4208301 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 11922 8001 269 21 0 8559 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47688

[startup+12.7006 s]
/proc/loadavg: 1.63 2.35 3.06 6/190 8430
/proc/meminfo: memFree=31460884/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=47688 CPUtime=12.69 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 12441 0 0 0 1267 2 0 0 25 0 1 0 971201579 48832512 8001 33554432000 4194304 4280283 140734663864032 18446744073709551615 4208151 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 11922 8001 269 21 0 8559 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47688

[startup+25.5003 s]
/proc/loadavg: 2.16 2.43 3.08 5/190 8468
/proc/meminfo: memFree=31371464/32951124 swapFree=67056304/67111528
[pid=8390] ppid=8388 vsize=47688 CPUtime=25.49 cores=0,2
/proc/8390/stat : 8390 (OptimuS_release) R 8388 8390 6571 0 -1 4202496 12443 0 0 0 2547 2 0 0 25 0 1 0 971201579 48832512 8003 33554432000 4194304 4280283 140734663864032 18446744073709551615 4261681 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/8390/statm: 11922 8003 269 21 0 8559 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47688

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

Child status: 20
Real time (s): 25.5575
CPU time (s): 25.5581
CPU user time (s): 25.5301
CPU system time (s): 0.027995
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 47688

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

runsolver used 0.038994 second user time and 0.105983 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 18:28:30
IDJOB=3495618
IDBENCH=89617
IDSOLVER=1988
FILE ID=node110/3495618-1307809710
RUNJOBID= node110-1307809705-8104
PBS_JOBID= 13551064
Free space on /tmp= 74144 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/c499_gr_2pin_w5.shuffled.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495618-1307809710/watcher-3495618-1307809710 -o /tmp/evaluation-result-3495618-1307809710/solver-3495618-1307809710 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495618-1307809710.cnf

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

MD5SUM BENCH= a2e4cf209dd6d99c36adb18f47b69589
RANDOM SEED=31526951

node110.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.83
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.83
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.76
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.83
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31503076 kB
Buffers:        317140 kB
Cached:         794224 kB
SwapCached:       8464 kB
Active:         597588 kB
Inactive:       616396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31503076 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            3856 kB
Writeback:           0 kB
AnonPages:      100792 kB
Mapped:          13556 kB
Slab:           170124 kB
PageTables:       5072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   369160 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= 74140 MiB
End job on node110 at 2011-06-11 18:28:56