Trace number 3493491

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
MUSer 2011-02-10UNSAT 9.36858 9.37051

General information on the benchmark

Namemus/marques-silva/software-verification/
dspam_dump_vc1093.cnf
MD5SUMb5791a653c2b08e4479efceeff76dde2
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.36858
Satisfiable
(Un)Satisfiability was proved
Number of variables106648
Number of clauses337439
Sum of the clauses size896316
Maximum clause length3
Minimum clause length1
Number of clauses of size 12907
Number of clauses of size 2110187
Number of clauses of size 3224345
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 *** MUSer: a MUS extractor ***
0.00/0.00	c *** release date: 2011210 ***
0.00/0.00	c *** release ref: f95464aa99ac ***
0.00/0.00	c *** built: 2011-Feb-10 00:59 ***
0.00/0.00	c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.00	c 
0.00/0.00	c *** instance: HOME/instance-3493491-1307798885.cnf ***
0.00/0.00	c 
0.29/0.37	c Parsing CPU Time: 0.345947
0.29/0.37	c Running MUSer ...
0.89/0.95	c 0.00% completed ... 
0.99/1.04	c 13.30% completed ... 
2.29/2.35	c 18.44% completed ... 
2.99/3.02	c 23.58% completed ... 
3.49/3.59	c 38.99% completed ... 
3.69/3.78	c 44.68% completed ... 
3.89/3.93	c 51.19% completed ... 
4.29/4.40	c 66.33% completed ... 
5.39/5.45	c 71.38% completed ... 
7.79/7.90	c 86.70% completed ... 
8.59/8.66	c 93.30% completed ... 
9.29/9.36	c 100.00% completed ... 
9.29/9.36	c MUS size: 1089
9.29/9.36	s UNSATISFIABLE
9.29/9.36	v 61807 4791 61365 62466 62024 26535 23007 27194 28295 61799 36669 61357 14183 62233 28287 61791 61349 62008 61783 36653 61341 4767 62442 26953 13619 22983 26728 62217 61775 61333 4759 14159 41491 27162 61767 61325 4751 62426 68815 61759 61317 4743 36629 22959 26704 61751 4735 26921 14135 26479 22951 27138 61743 4727 61301 26913 61960 61735 46305 4719 26905 62169 61727 4711 26897 14111 27114 26672 61719 61277 26889 62378 61936 27106 61711 46281 4695 26881 62145 61703 26873 61920 26648 61695 61253 62354 26865 26423 62129 4671 26857 41845 53305 27074 337434 26849 62338 41837 61229 26616 4647 47334 27050 61213 27267 61872 61205 27259 45775 4848 26592 62081 4623 61197 27026 42673 61189 26801 45317 62290 61848 27018 38920 27235 61181 35609 4824 62499 62057 61173 27227 23257 26560 23032 61165 62266 62041 61157 4800 62475 26986 23016 62250 14192 26536 47254 27195 28296 62459 61133 47246 26745 4776 26962 22992 47238 14168 27171 26504 61993 26938 22968 62202 14144 27147 22518 13813 61310 62411 61969 26480 43011 22510 27139 62178 26689 14120 61953 46298 61286 62387 62162 4704 26448 35264 27107 62371 35256 61262 35248 61696 4680 27083 61688 26858 61905 26633 61680 61238 39636 62114 61672 35441 4656 27284 22872 27059 61664 35433 62323 61881 22864 61439 27051 61656 47327 26826 61431 4857 62532 62090 61648 4632 27260 14032 61865 61423 62524 61640 62299 61415 62074 61632 22615 26802 61407 4833 27019 62508 13685 26577 61624 62283 61399 28112 61616 27228 23258 61391 62492 28104 61608 23033 61825 4809 61383 26995 61600 23025 26770 28313 61817 61375 61592 27204 28305 61809 61367 62026 14193 61584 36454 61142 61801 4785 36671 61359 26971 61576 23001 62235 28289 26746 61793 36663 61351 26963 14177 26521 61568 27180 61785 36655 61343 4769 62444 62002 61560 27172 40617 61777 36647 61335 4761 61552 22977 62211 61769 61327 4753 43470 61986 14153 61544 26714 61761 36631 61319 4745 22744 62420 61536 62195 61753 4737 36623 22736 26923 61528 22953 27140 61745 4729 26915 62404 14129 43004 61520 26690 61737 23162 46307 4721 61295 26907 26465 61512 22937 61729 4713 26899 61504 27116 41662 61721 46291 26891 61938 14105 61496 61713 46283 61271 26883 61488 26658 62147 46275 61705 4689 26875 61480 27092 26867 62356 61914 26425 35241 61472 27084 37885 61247 61464 42506 62123 26634 4665 27293 26851 61898 41839 61456 23098 62332 26843 41831 61448 62107 61223 47336 27052 41156 4641 61215 62316 62533 26602 27261 61207 62525 61199 4842 27028 4617 61191 61850 27462 62509 26578 27237 61183 62059 61175 26787 61834 4818 27004 61167 62268 61826 41325 26996 23026 27213 61159 45946 62477 26546 62035 27205 61151 4794 14194 23010 62244 62019 14186 47248 42177 62453 26964 26522 47240 62228 22986 27173 47232 26731 62437 14162 22536 36640 26940 26490 22962 27149 26924 61971 14138 43013 61304 62180 26466 27125 46300 62389 61947 14114 27117 26675 61280 62156 4698 14098 61931 35258 62365 26434 35250 62140 61256 27085 4674 62349 45151 337437 39638 61232 26844 27061 26619 35435 4650 61883 61441 4867 47329 61433 62092 47321 45778 61425 4851 27037 4626 26812 62301 61859 61417 27029 27246 45320 61409 62510 22392 62068 22609 27238 61843 61401 4827 22384 28114 62277 26788 61393 26563 62052 61827 61385 62486 26997 28315 62261 61819 4803 61377 23019 27206 61811 61369 62470 26756 28299 61803 36673 61361 26973 61136 61795 36665 4779 61353 22995 27182 28283 61787 4771 36657 61345 14171 62004 26732 61779 36649 61337 4763 26949 26507 40611 62213 61771 61329 4755 22971 27158 68819 61763 61321 4747 62422 61980 14147 27150 61755 4739 61313 26700 62189 61747 4731 26917 61964 61739 4723 26909 62398 14123 44983 62173 61731 4715 61289 26901 27118 26676 61723 46293 4707 26893 62382 22264 26451 61715 46285 26885 61707 61265 26877 27094 61699 4683 26869 61916 26644 26861 53309 62125 61241 337438 26853 41841 22883 27070 4659 27287 62334 61892 41833 27062 26620 26837 61442 62101 27271 61217 26829 61876 4860 4635 61209 62310 62085 61201 62519 27030 26588 61193 62294 4836 27464 62511 4611 61185 27239 22168 62503 61177 27006 26564 61169 61828 4812 23028 27215 61161 26773 62037 28308 26982 61145 62246 4788 26974 26532 23004 27191 47250 42838 62455 62013 14180 47242 27183 62222 26508 61997 41496 22980 36642 62431 26942 14156 26717 62206 36634 27151 62415 22956 43015 22072 35075 26476 14132 43007 61298 27127 61949 14108 26452 62158 61274 22257 14100 27103 26661 4692 62367 61925 35252 27095 61700 35244 37888 62134 61692 61250 26420 61909 61684 4668 62343 26854 62118 61676 27288 26846 27063 61668 61226 27280 26838 62327 61443 61660 35429 27272 4644 47331 26830 61435 62536 26605 61652 14036 61427 27039 62528 61644 61861 61419 4845 62520 61636 27248 4620 336949 61411 62070 42011 61628 26798 61403 27015 28116 61620 62279 61837 35606 4821 61395 27007 61612 27224 61829 61387 62488 62046 61604 27216 28317 26774 61821 61379 26549 61596 62255 61813 4797 61371 62030 61588 23013 36458 61805 36675 61363 62464 26975 14189 61580 62239 42180 28293 61797 61355 61572 27184 26742 39086 61789 4773 61347 62448 61564 22989 61781 22764 61339 4765 26951 14165 61556 61773 13940 61331 4757 61548 27160 26718 61765 61323 4749 61982 26493 61540 22965 61757 4741 36627 61315 14141 61532 62191 61749 4733 61307 26919 61524 27136 2907 61741 4725 26911 62400 61958 44985 61516 27128 26686 61733 46303 4717 26903 14117 61508 22933 62167 61725 4709 61283 26895 61942 61500 61717 46287 4701 26887 62376 61492 35261 62151 26662 61709 46279 26879 26437 61484 27096 61701 61259 26871 62360 61476 4677 61468 41843 61460 27072 26630 39633 61235 26847 61894 41835 61452 35438 4653 26839 61444 40943 62103 41160 27048 26606 45781 61211 22636 62312 61870 4854 27040 62529 4629 27257 61203 26815 62521 62079 27249 61195 61854 62513 61187 62288 27458 4830 26574 62063 21945 61179 62497 27008 61171 62272 27217 61163 4806 62481 26550 23022 26984 28302 26759 27193 61139 47252 4782 62015 22998 40188 36660 26960 26518 14174 47236 62224 26952 27169 40614 36644 62433 61991 22974 27161 36636 14150 26494 62200 61975 26703 62409 43009 62184 14126 27129 61292 62393 26462 46296 14102 27105 61268 26438 61927 35254 46272 4686 35246 26647 62136 27081 61244 62345 61903 27073 4662 27290 26848 62112 26840 41828 61887 61220 47333 27274 62321 61437 4863 62096 4638 47325 61429 27041 26816 62305 61421 62522 34748 26591 27250 61413 4839 62514 4614 61405 27017 28118 61839 61397 28110 27226 26784 61831 4815 61389 62048 23031 61823 61381 26993 28311 62257 61815 61373 26985 27202 61148 26760 0
9.29/9.36	c Terminating MUSer ...
9.29/9.36	c CPU Time: 9.31

Verifier Data 

OK	1089

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-3493491-1307798885/watcher-3493491-1307798885 -o /tmp/evaluation-result-3493491-1307798885/solver-3493491-1307798885 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493491-1307798885.cnf 

running on 2 cores: 4,6

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: 2.35 0.69 0.66 5/189 17330
/proc/meminfo: memFree=30513368/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=4352 CPUtime=0 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 583 0 0 0 0 0 0 0 25 0 1 0 891487080 4456448 537 33554432000 4194304 5696331 140734003963824 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 1088 539 114 367 0 718 0

[startup+0.0162729 s]
/proc/loadavg: 2.35 0.69 0.66 5/189 17330
/proc/meminfo: memFree=30513368/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=7448 CPUtime=0.01 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 1347 0 0 0 1 0 0 0 25 0 1 0 891487080 7626752 1301 33554432000 4194304 5696331 140734003963824 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 1862 1304 114 367 0 1492 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7448

[startup+0.100272 s]
/proc/loadavg: 2.35 0.69 0.66 5/189 17330
/proc/meminfo: memFree=30513368/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=25104 CPUtime=0.09 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 6194 0 0 0 8 1 0 0 25 0 1 0 891487080 25706496 5710 33554432000 4194304 5696331 140734003963824 18446744073709551615 4208097 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 6276 5710 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.300224 s]
/proc/loadavg: 2.35 0.69 0.66 5/189 17330
/proc/meminfo: memFree=30513368/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=58196 CPUtime=0.29 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 16194 0 0 0 27 2 0 0 25 0 1 0 891487080 59592704 13976 33554432000 4194304 5696331 140734003963824 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 14549 13979 114 367 0 14179 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58196

[startup+0.701161 s]
/proc/loadavg: 2.35 0.69 0.66 5/189 17330
/proc/meminfo: memFree=30513368/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=107576 CPUtime=0.68 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 29906 0 0 0 65 3 0 0 25 0 1 0 891487080 110157824 26609 33554432000 4194304 5696331 140734003963824 18446744073709551615 4231221 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 26894 26609 143 367 0 26524 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 107576

[startup+1.50099 s]
/proc/loadavg: 2.35 0.69 0.66 5/190 17331
/proc/meminfo: memFree=30417736/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=90560 CPUtime=1.49 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39630 0 0 0 144 5 0 0 25 0 1 0 891487080 92733440 22209 33554432000 4194304 5696331 140734003963824 18446744073709551615 4410507 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22640 22209 149 367 0 22270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90560

[startup+3.10078 s]
/proc/loadavg: 2.35 0.69 0.66 5/187 17359
/proc/meminfo: memFree=30480348/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=90560 CPUtime=3.09 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39631 0 0 0 304 5 0 0 25 0 1 0 891487080 92733440 22210 33554432000 4194304 5696331 140734003963824 18446744073709551615 4381676 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22640 22210 149 367 0 22270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90560

[startup+6.30022 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30198268/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=91404 CPUtime=6.29 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39845 0 0 0 624 5 0 0 25 0 1 0 891487080 93597696 22424 33554432000 4194304 5696331 140734003963824 18446744073709551615 4381676 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22851 22424 149 367 0 22481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91404

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

[startup+7.90095 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30177972/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=91404 CPUtime=7.89 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39845 0 0 0 784 5 0 0 25 0 1 0 891487080 93597696 22424 33554432000 4194304 5696331 140734003963824 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22851 22424 149 367 0 22481 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 91404

[startup+8.70082 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30162672/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=91404 CPUtime=8.69 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39846 0 0 0 864 5 0 0 25 0 1 0 891487080 93597696 22425 33554432000 4194304 5696331 140734003963824 18446744073709551615 4416761 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22851 22425 150 367 0 22481 0
Current children cumulated CPU time (s) 8.69
Current children cumulated vsize (KiB) 91404

[startup+9.10078 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30162672/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=91404 CPUtime=9.09 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39846 0 0 0 904 5 0 0 25 0 1 0 891487080 93597696 22425 33554432000 4194304 5696331 140734003963824 18446744073709551615 4381250 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22851 22425 150 367 0 22481 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 91404

[startup+9.30077 s]
/proc/loadavg: 2.48 0.74 0.68 5/190 17369
/proc/meminfo: memFree=30162672/32951124 swapFree=67054524/67111528
[pid=17330] ppid=17328 vsize=91404 CPUtime=9.29 cores=4,6
/proc/17330/stat : 17330 (muser) R 17328 17330 16678 0 -1 4202496 39846 0 0 0 924 5 0 0 25 0 1 0 891487080 93597696 22425 33554432000 4194304 5696331 140734003963824 18446744073709551615 4417633 0 0 4096 24615 0 0 0 17 4 0 0 0
/proc/17330/statm: 22851 22425 150 367 0 22481 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 91404

Child status: 20
Real time (s): 9.37051
CPU time (s): 9.36858
CPU user time (s): 9.30658
CPU system time (s): 0.06199
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 113260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.30659
system time used= 0.06199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39847
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= 2
involuntary context switches= 23

runsolver used 0.018997 second user time and 0.035994 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-11 15:28:06
IDJOB=3493491
IDBENCH=89572
IDSOLVER=1969
FILE ID=node130/3493491-1307798885
RUNJOBID= node130-1307798837-17158
PBS_JOBID= 13551018
Free space on /tmp= 73912 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/marques-silva/software-verification/dspam_dump_vc1093.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493491-1307798885/watcher-3493491-1307798885 -o /tmp/evaluation-result-3493491-1307798885/solver-3493491-1307798885 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493491-1307798885.cnf

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

MD5SUM BENCH= b5791a653c2b08e4479efceeff76dde2
RANDOM SEED=691166016

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30513912 kB
Buffers:        272348 kB
Cached:        1025676 kB
SwapCached:      10548 kB
Active:        1466600 kB
Inactive:       774740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30513912 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:           29364 kB
Writeback:           0 kB
AnonPages:      940680 kB
Mapped:          14408 kB
Slab:           129644 kB
PageTables:       7116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1178356 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= 73896 MiB
End job on node130 at 2011-06-11 15:28:15