Trace number 3495631

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 1.49577 1.49802

General information on the benchmark

Namemus/marques-silva/
hardware-verification/c7n_s.cnf
MD5SUMdf72f1c8d5efafbf93fc8ef0aadddf73
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.096984
Satisfiable
(Un)Satisfiability was proved
Number of variables3633
Number of clauses10471
Sum of the clauses size24431
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26980
Number of clauses of size 33490
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1.39/1.49	c - Reading the instance.. OK! Totally clauses:    10471; Vars:     3633; Time: 0.01
1.39/1.49	c - Unit propagation..     OK! Removed clauses:        2;                 Time: 0.00
1.39/1.49	c - Delete by resolution.. OK! Removed clauses:      520;                 Time: 0.07
1.39/1.49	c   - Solving the original instance..
1.39/1.49	c     - OK - UNSAT! Continue to clause elimination..
1.39/1.49	c   - round:    1;   Skips in previous round:    0
1.39/1.49	c     - clauses done:  1%; among them skipped: 0.00%;
1.39/1.49	c     - clauses done: 10%; among them skipped: 0.00%;
1.39/1.49	c - Finish! Unsat core size: 881 / 10471; Time: 1.49 s
1.39/1.49	c - ---------------------------------------------------------------------------
1.39/1.49	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
1.39/1.49	c -             |       2   |    7986   |     597   |     284   |    1602     |
1.39/1.49	c - ---------------------------------------------------------------------------
1.39/1.49	s UNSATISFIABLE
1.39/1.49	v 4 5 6 7 10 12 13 14 16 17 21 22 23 25 26 30 31 32 34 35 39 40 41 43 44 48 49 50 52 53 57 58 59 61 62 66 67 68 70 71 73 74 76 77 79 80 82 84 85 86 87 90 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 301 303 304 305 306 761 762 965 974 978 989 1552 1555 1557 1559 1560 1562 1563 1564 1567 1569 1570 1571 1572 2471 2491 2584 2588 2589 2590 2593 2595 2597 2598 2599 2602 2604 2606 2607 2608 2611 2613 2615 2616 2617 2620 2622 2624 2625 2626 2629 2631 2632 2635 2638 2640 2642 2643 2644 2647 2649 3073 3078 3079 3089 3093 3113 4018 4022 4025 4028 4048 4079 4249 4252 4259 4261 4266 4268 4272 4274 4278 4285 4286 4316 4346 4373 4397 4421 4442 4444 4445 4447 4448 5521 5525 5529 5531 5534 5537 5557 5563 5568 5571 5573 5577 5578 5581 5585 5586 5764 5767 5769 5770 5771 5772 5774 5775 5777 5778 5780 5781 5783 5784 5786 5787 5807 5808 5836 5839 5841 5842 5843 5844 5846 5847 5878 5881 5883 5884 5885 5886 5888 5889 5896 5920 5923 5925 5926 5927 5928 5930 5931 5939 5962 5965 5967 5968 5969 5970 5972 5973 5981 6004 6007 6009 6010 6011 6012 6017 6037 6040 6041 6047 6067 6070 6072 6077 6097 6100 6101 6107 6127 6130 6131 6133 6134 6137 6140 6143 6146 6160 6163 6165 6178 6181 6183 7159 7162 7165 7168 7175 7177 7182 7184 7188 7190 7194 7196 7200 7202 7206 7219 7220 7255 7259 7262 7264 7268 7272 7273 7274 7277 7281 7283 7286 7290 7297 7328 7331 7333 7337 7341 7343 7346 7350 7352 7355 7358 7361 7363 7367 7371 7373 7376 7380 7382 7385 7388 7391 7393 7397 7401 7403 7406 7410 7412 7415 8506 8509 8511 8513 8514 8516 8517 8519 8520 8522 8523 8524 8525 8526 8527 8528 8529 8530 8531 8532 8533 8534 8535 8538 8541 8542 8543 8545 8546 8547 8548 8549 8550 8551 8552 8553 8572 8593 8596 8599 8603 8604 8606 8607 8609 8610 8612 8613 8615 8616 8689 8692 8694 8696 8697 8699 8700 8702 8703 8705 8706 8707 8708 8709 8710 8711 8712 8713 8714 8715 8716 8717 8718 8721 8724 8725 8726 8728 8729 8730 8731 8732 8733 8734 8735 8736 8755 8776 8779 8782 8786 8787 8789 8790 8792 8793 8795 8796 8798 8799 8878 8881 8883 8885 8886 8888 8889 8891 8892 8894 8895 8896 8897 8898 8899 8900 8901 8902 8903 8904 8905 8906 8907 8910 8913 8914 8915 8917 8918 8919 8920 8921 8922 8923 8924 8925 8944 8965 8968 8971 8975 8976 8978 8979 8981 8982 8984 8985 8987 8988 9067 9070 9072 9074 9075 9077 9078 9080 9081 9083 9084 9085 9086 9087 9088 9089 9090 9091 9092 9093 9094 9095 9096 9099 9102 9103 9104 9106 9107 9108 9109 9110 9111 9112 9113 9114 9133 9154 9157 9160 9164 9165 9167 9168 9170 9171 9173 9174 9176 9177 9256 9259 9261 9263 9264 9266 9267 9269 9270 9272 9273 9274 9275 9276 9277 9278 9279 9280 9281 9282 9283 9284 9285 9288 9291 9292 9293 9295 9296 9297 9298 9299 9300 9301 9302 9303 9322 9343 9346 9349 9353 9354 9356 9357 9359 9360 9362 9363 9365 9366 9403 9445 9448 9450 9452 9453 9455 9456 9458 9459 9461 9462 9463 9464 9465 9466 9467 9468 9469 9470 9471 9472 9473 9474 9477 9480 9481 9482 9484 9485 9505 9526 9529 9532 9536 9540 9542 9546 9548 9581 9616 9621 9623 9627 9629 9633 9634 9635 9639 9640 9641 9643 9644 9645 9646 9647 9648 9667 9688 9691 9694 9698 9699 9701 9702 9704 9705 9707 9708 9710 9711 9742 9743 9778 9781 9783 9785 9786 9788 9789 9791 9792 9794 9795 9796 9797 9798 9799 9800 9801 9802 9803 9804 9805 9806 9807 9810 9813 9814 9815 9823 9844 9847 9850 9854 9858 9860 9864 9866 9869 9872 9876 9878 9883 9886 9890 9892 9896 9900 9902 9905 9909 9911 9914 9918 9920 9924 9926 9930 9932 9936 9938 9942 9943 9944 9946 9947 9955 9958 9961 9965 9969 9971 9975 9977 9980 9983 9987 9989 9991 9994 9997 10001 10005 10007 10010 10014 10016 10019 10022 10026 10028 10032 10034 10038 10040 10042 10043 10045 10046 10049 10052 10055 10058 10061 10065 10067 10069 10072 10075 10079 10083 10085 10088 10092 10094 10097 10100 10104 10106 10110 10112 10115 10117 10118 10120 10121 10135 10156 10159 10162 10166 10167 10169 10170 10172 10173 10175 10176 10178 10179 10234 10237 10239 10241 10242 10244 10245 10247 10248 10250 10251 10252 10253 10254 10255 10256 10257 10258 10259 10260 10261 10262 10263 10266 10269 10270 10271 10273 10274 10275 10276 10277 10278 10297 10318 10321 10324 10328 10329 10331 10332 10334 10335 10337 10338 10340 10341 10396 10399 10401 10403 10404 10406 10407 10409 10410 10412 10413 10414 10415 10416 10417 10418 10419 10420 10421 10422 10423 10424 10425 10428 10431 10432 10433 10437 10440 10443 10446 10449 10452 10455 10458 10461 10464 10467 10470 10471 0

Verifier Data 

OK	881

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-3495631-1307809030/watcher-3495631-1307809030 -o /tmp/evaluation-result-3495631-1307809030/solver-3495631-1307809030 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495631-1307809030.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: 0.92 1.07 1.91 2/175 15850
/proc/meminfo: memFree=31701924/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=20628 CPUtime=0 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 892503418 21123072 682 33554432000 4194304 4280283 140735582866464 18446744073709551615 253640857600 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5159 695 236 21 0 1796 0

[startup+0.0824449 s]
/proc/loadavg: 0.92 1.07 1.91 2/175 15850
/proc/meminfo: memFree=31701924/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=22532 CPUtime=0.07 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1253 0 0 0 7 0 0 0 20 0 1 0 892503418 23072768 1182 33554432000 4194304 4280283 140735582866464 18446744073709551615 4224902 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5633 1184 251 21 0 2270 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22532

[startup+0.100428 s]
/proc/loadavg: 0.92 1.07 1.91 2/175 15850
/proc/meminfo: memFree=31701924/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=22788 CPUtime=0.09 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1305 0 0 0 9 0 0 0 20 0 1 0 892503418 23334912 1234 33554432000 4194304 4280283 140735582866464 18446744073709551615 4229299 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5697 1234 260 21 0 2334 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22788

[startup+0.300373 s]
/proc/loadavg: 0.92 1.07 1.91 2/175 15850
/proc/meminfo: memFree=31701924/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=22788 CPUtime=0.29 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1322 0 0 0 29 0 0 0 21 0 1 0 892503418 23334912 1251 33554432000 4194304 4280283 140735582866464 18446744073709551615 4209166 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5697 1251 260 21 0 2334 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22788

[startup+0.700303 s]
/proc/loadavg: 0.92 1.07 1.91 2/175 15850
/proc/meminfo: memFree=31701924/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=22916 CPUtime=0.69 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1347 0 0 0 69 0 0 0 22 0 1 0 892503418 23465984 1276 33554432000 4194304 4280283 140735582866464 18446744073709551615 4238866 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5729 1276 260 21 0 2366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22916

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

[startup+1.10723 s]
/proc/loadavg: 0.92 1.07 1.91 6/187 15880
/proc/meminfo: memFree=31621016/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=22916 CPUtime=1.1 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1383 0 0 0 110 0 0 0 24 0 1 0 892503418 23465984 1312 33554432000 4194304 4280283 140735582866464 18446744073709551615 4263165 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5729 1312 260 21 0 2366 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 22916

[startup+1.3012 s]
/proc/loadavg: 0.92 1.07 1.91 6/187 15880
/proc/meminfo: memFree=31621016/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=23048 CPUtime=1.29 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1395 0 0 0 129 0 0 0 25 0 1 0 892503418 23601152 1324 33554432000 4194304 4280283 140735582866464 18446744073709551615 4258950 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5762 1324 260 21 0 2399 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 23048

[startup+1.40117 s]
/proc/loadavg: 0.92 1.07 1.91 6/187 15880
/proc/meminfo: memFree=31621016/32951124 swapFree=67060628/67111528
[pid=15850] ppid=15846 vsize=23048 CPUtime=1.39 cores=0,2
/proc/15850/stat : 15850 (OptimuS_release) R 15846 15850 14904 0 -1 4202496 1405 0 0 0 139 0 0 0 25 0 1 0 892503418 23601152 1334 33554432000 4194304 4280283 140735582866464 18446744073709551615 4242809 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15850/statm: 5762 1334 260 21 0 2399 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 23048

Child status: 20
Real time (s): 1.49802
CPU time (s): 1.49577
CPU user time (s): 1.49077
CPU system time (s): 0.004999
CPU usage (%): 99.8497
Max. virtual memory (cumulated for all children) (KiB): 23048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49077
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1408
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= 39
involuntary context switches= 6

runsolver used 0.003999 second user time and 0.008998 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-11 18:17:10
IDJOB=3495631
IDBENCH=89533
IDSOLVER=1988
FILE ID=node106/3495631-1307809030
RUNJOBID= node106-1307809030-15821
PBS_JOBID= 13551070
Free space on /tmp= 74020 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/c7n_s.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495631-1307809030/watcher-3495631-1307809030 -o /tmp/evaluation-result-3495631-1307809030/solver-3495631-1307809030 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495631-1307809030.cnf

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

MD5SUM BENCH= df72f1c8d5efafbf93fc8ef0aadddf73
RANDOM SEED=1997291781

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31703260 kB
Buffers:        157912 kB
Cached:         909436 kB
SwapCached:      12488 kB
Active:         245656 kB
Inactive:       839524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31703260 kB
SwapTotal:    67111528 kB
SwapFree:     67060628 kB
Dirty:             820 kB
Writeback:           0 kB
AnonPages:       16356 kB
Mapped:           9844 kB
Slab:            97760 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   163800 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 node106 at 2011-06-11 18:17:12