Trace number 3493551

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 10.1315 10.1322

General information on the benchmark

Nameindustrial/babic/
dspam/dspam_dump_vc1093.cnf
MD5SUMfe5edee84f2eb21126b00640515281bf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.96079
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-3493551-1307800705.cnf ***
0.00/0.00	c 
0.29/0.39	c Parsing CPU Time: 0.366944
0.29/0.39	c Running MUSer ...
1.00/1.03	c 0.00% completed ... 
1.10/1.13	c 13.44% completed ... 
2.49/2.57	c 18.63% completed ... 
3.30/3.31	c 23.82% completed ... 
3.89/3.93	c 39.39% completed ... 
4.09/4.13	c 44.49% completed ... 
4.19/4.29	c 50.79% completed ... 
4.69/4.74	c 65.80% completed ... 
5.79/5.86	c 70.90% completed ... 
6.50/6.59	c 77.29% completed ... 
9.29/9.37	c 93.23% completed ... 
10.09/10.12	c 100.00% completed ... 
10.09/10.12	c MUS size: 1078
10.09/10.12	s UNSATISFIABLE
10.09/10.12	v 4692 62367 61925 35252 27095 61700 35244 37888 62134 61692 61250 61909 26420 61684 4668 62343 26854 62118 61676 27288 26846 27063 61668 27280 61226 26838 62327 61443 61660 35429 27272 4644 47331 26830 14044 61435 62536 26605 61652 61427 27039 62528 61644 61861 61419 4845 62520 61636 27248 4620 336949 61411 42011 62070 61628 26798 61403 27015 28116 61620 62279 61837 35606 61395 4821 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 28293 62239 42180 61797 61355 61572 27184 26742 39086 61789 4773 61347 62448 61564 22989 61781 61339 4765 22764 26951 14165 61556 61773 61331 4757 61548 27160 26718 61765 61323 4749 26493 61982 61540 22965 61757 36627 61315 4741 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 62167 61725 4709 61283 26895 61942 61500 61717 46287 4701 26887 62376 61492 35261 26662 62151 61709 46279 26879 26437 61484 27096 61701 61259 26871 62360 61476 4677 61468 41843 61460 27072 26630 39633 61235 26847 41835 61894 61452 35438 4653 26839 61444 40943 62103 41160 27048 26606 61211 22636 45781 62312 61870 4854 27040 62529 4629 61203 27257 26815 62521 62079 61195 27249 61854 62513 61187 62288 4830 27458 26574 21945 62063 61179 62497 27008 61171 62272 61163 27217 4806 62481 26550 23022 26984 26759 28302 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 27105 61268 26438 61927 35254 46272 4686 35246 26647 62136 27081 61244 62345 61903 27073 4662 27290 26848 62112 26840 41828 61887 13829 61220 47333 27274 62321 4863 61437 62096 4638 47325 61429 27041 62305 26816 61421 62522 34748 26591 27250 4839 61413 62514 4614 61405 27017 28118 61839 61397 28110 27226 26784 61831 4815 61389 62048 23031 61823 61381 26993 62257 28311 61815 61373 26985 27202 61148 26760 61807 4791 61365 62466 62024 26535 23007 27194 28295 61799 36669 61357 14183 62233 28287 61791 61349 13627 62008 61783 4767 36653 61341 62442 26953 22983 26728 62217 61775 4759 61333 14159 41491 27162 61767 4751 61325 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 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 27267 61213 61872 27259 45775 61205 4848 62081 26592 4623 61197 27026 42673 61189 26801 45317 62290 61848 27018 38920 27235 61181 35609 4824 62499 62057 27227 61173 23257 26560 23032 61165 62266 62041 61157 4800 62475 26986 23016 62250 14192 26536 47254 27195 28296 62459 47246 61133 26745 4776 26962 22992 47238 14168 27171 26504 61993 26938 22968 62202 14144 27147 22518 61310 62411 61969 26480 43011 27139 62178 26689 61953 14120 46298 61286 62387 14112 62162 4704 26448 35264 27107 62371 35256 61262 35248 61696 4680 27083 61688 26858 61905 26633 61680 39636 61238 62114 61672 35441 27284 4656 22872 27059 61664 35433 62323 61881 61439 27051 61656 47327 26826 61431 4857 62532 62090 61648 4632 27260 61865 14032 61423 62524 13701 61640 62299 61415 62074 61632 22615 26802 61407 4833 27019 62508 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 14193 62026 61584 36454 61142 61801 4785 36671 61359 26971 61576 23001 28289 26746 62235 61793 36663 61351 26963 14177 26521 61568 27180 61785 13952 36655 61343 4769 62444 62002 61560 27172 40617 61777 36647 61335 4761 61552 22977 62211 61769 61327 4753 14153 43470 61986 61544 26714 61761 36631 61319 4745 22744 62420 61536 62195 61753 36623 4737 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 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 41839 61898 61456 23098 62332 26843 41831 61448 62107 61223 47336 27052 41156 4641 61215 62316 62533 26602 61207 27261 62525 61199 4842 27028 4617 61191 61850 27462 62509 26578 27237 61183 62059 61175 26787 61834 4818 27004 61167 62268 61826 41325 26996 27213 61159 45946 62477 26546 62035 61151 27205 4794 14194 23010 62244 14186 62019 47248 42177 62453 26964 26522 47240 62228 22986 47232 27173 26731 62437 14162 22536 36640 26940 26490 22962 27149 26924 14138 61971 43013 61304 62180 26466 27125 46300 62389 61947 14114 27117 26675 61280 22263 62156 4698 14098 61931 35258 62365 26434 35250 62140 61256 27085 4674 62349 45151 39638 337437 61232 26844 27061 26619 35435 4650 61883 4867 61441 47329 61433 62092 47321 45778 4851 61425 27037 4626 26812 62301 61859 61417 27029 27246 45320 61409 62510 22392 62068 27238 61843 4827 61401 28114 62277 26788 61393 26563 62052 61827 61385 62486 26997 62261 28315 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 4763 36649 61337 26949 26507 62213 40611 61771 4755 61329 22971 27158 68819 61763 4747 61321 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 337438 61241 26853 41841 22883 27070 4659 27287 62334 61892 41833 27062 26620 26837 61442 62101 27271 61217 26829 61876 4860 4635 61209 62310 62085 61201 27030 62519 26588 61193 62294 27464 4836 62511 4611 27239 61185 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 61997 26508 41496 22980 36642 62431 26942 14156 26717 62206 36634 27151 62415 43015 22956 22072 35075 26476 14132 43007 61298 27127 61949 26452 62158 61274 27103 26661 0
10.09/10.12	c Terminating MUSer ...
10.09/10.12	c CPU Time: 10.07

Verifier Data 

OK	1078

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-3493551-1307800705/watcher-3493551-1307800705 -o /tmp/evaluation-result-3493551-1307800705/solver-3493551-1307800705 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3493551-1307800705.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.00 0.00 0.00 2/174 13580
/proc/meminfo: memFree=31466308/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=4748 CPUtime=0 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 668 0 0 0 0 0 0 0 22 0 1 0 891671298 4861952 623 33554432000 4194304 5696331 140734775194704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 1187 624 114 367 0 817 0

[startup+0.0352231 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 13580
/proc/meminfo: memFree=31466308/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=12116 CPUtime=0.03 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 2655 0 0 0 3 0 0 0 22 0 1 0 891671298 12406784 2463 33554432000 4194304 5696331 140734775194704 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 3029 2465 114 367 0 2659 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12116

[startup+0.101156 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 13580
/proc/meminfo: memFree=31466308/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=25104 CPUtime=0.09 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 6194 0 0 0 9 0 0 0 22 0 1 0 891671298 25706496 5711 33554432000 4194304 5696331 140734775194704 18446744073709551615 4208092 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 6276 5711 114 367 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25104

[startup+0.30012 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 13580
/proc/meminfo: memFree=31466308/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=54500 CPUtime=0.29 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 15284 0 0 0 27 2 0 0 23 0 1 0 891671298 55808000 13067 33554432000 4194304 5696331 140734775194704 18446744073709551615 4198589 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 13625 13069 114 367 0 13255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54500

[startup+0.701081 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 13580
/proc/meminfo: memFree=31466308/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=107572 CPUtime=0.69 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 29906 0 0 0 65 4 0 0 25 0 1 0 891671298 110153728 26610 33554432000 4194304 5696331 140734775194704 18446744073709551615 4208457 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 26893 26610 143 367 0 26523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107572

[startup+1.50096 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 13623
/proc/meminfo: memFree=31069068/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=90560 CPUtime=1.49 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39599 0 0 0 144 5 0 0 25 0 1 0 891671298 92733440 22210 33554432000 4194304 5696331 140734775194704 18446744073709551615 4380865 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22640 22210 149 367 0 22270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90560

[startup+3.10067 s]
/proc/loadavg: 0.00 0.00 0.00 5/190 13623
/proc/meminfo: memFree=30907684/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=90560 CPUtime=3.09 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39600 0 0 0 304 5 0 0 25 0 1 0 891671298 92733440 22211 33554432000 4194304 5696331 140734775194704 18446744073709551615 4411131 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22640 22211 149 367 0 22270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90560

[startup+6.30108 s]
/proc/loadavg: 0.32 0.07 0.02 5/190 13623
/proc/meminfo: memFree=30909668/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=91404 CPUtime=6.29 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39814 0 0 0 624 5 0 0 25 0 1 0 891671298 93597696 22425 33554432000 4194304 5696331 140734775194704 18446744073709551615 4380773 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22851 22425 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.90079 s]
/proc/loadavg: 0.32 0.07 0.02 4/185 13687
/proc/meminfo: memFree=31174112/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=91404 CPUtime=7.89 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39815 0 0 0 784 5 0 0 25 0 1 0 891671298 93597696 22426 33554432000 4194304 5696331 140734775194704 18446744073709551615 4370095 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22851 22426 149 367 0 22481 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 91404

[startup+9.5005 s]
/proc/loadavg: 0.69 0.15 0.05 5/190 13699
/proc/meminfo: memFree=31156552/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=91404 CPUtime=9.49 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39816 0 0 0 944 5 0 0 25 0 1 0 891671298 93597696 22427 33554432000 4194304 5696331 140734775194704 18446744073709551615 4416959 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22851 22427 150 367 0 22481 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 91404

[startup+9.90642 s]
/proc/loadavg: 0.69 0.15 0.05 5/190 13700
/proc/meminfo: memFree=31145716/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=91404 CPUtime=9.89 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39816 0 0 0 984 5 0 0 25 0 1 0 891671298 93597696 22427 33554432000 4194304 5696331 140734775194704 18446744073709551615 4416851 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22851 22427 150 367 0 22481 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (KiB) 91404

[startup+10.1004 s]
/proc/loadavg: 0.69 0.15 0.05 5/190 13700
/proc/meminfo: memFree=31145716/32951124 swapFree=67056684/67111528
[pid=13580] ppid=13578 vsize=91404 CPUtime=10.09 cores=0,2
/proc/13580/stat : 13580 (muser) R 13578 13580 13546 0 -1 4202496 39816 0 0 0 1004 5 0 0 25 0 1 0 891671298 93597696 22427 33554432000 4194304 5696331 140734775194704 18446744073709551615 4416821 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/13580/statm: 22851 22427 150 367 0 22481 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 91404

Child status: 20
Real time (s): 10.1322
CPU time (s): 10.1315
CPU user time (s): 10.0715
CPU system time (s): 0.05999
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 112940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0715
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39817
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= 3
involuntary context switches= 35

runsolver used 0.016997 second user time and 0.044993 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 15:58:25
IDJOB=3493551
IDBENCH=20448
IDSOLVER=1969
FILE ID=node109/3493551-1307800705
RUNJOBID= node109-1307800705-13564
PBS_JOBID= 13551065
Free space on /tmp= 74012 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT07/industrial/babic/dspam/dspam_dump_vc1093.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493551-1307800705/watcher-3493551-1307800705 -o /tmp/evaluation-result-3493551-1307800705/solver-3493551-1307800705 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3493551-1307800705.cnf

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

MD5SUM BENCH= fe5edee84f2eb21126b00640515281bf
RANDOM SEED=1978546455

node109.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.809
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.61
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
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.809
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31467108 kB
Buffers:        298104 kB
Cached:         938524 kB
SwapCached:       8608 kB
Active:         644160 kB
Inactive:       611108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31467108 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            7824 kB
Writeback:           8 kB
AnonPages:       16144 kB
Mapped:          12528 kB
Slab:           163480 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191236 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= 73992 MiB
End job on node109 at 2011-06-11 15:58:36