Trace number 3384358

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
QuteRSat 2011-05-12 (fixed)UNSAT 352.436 352.432

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
grid-strips-grid-y-3.035-NOTKNOWN.cnf
MD5SUMa85b6db657886fb2a1a46ae1fe4d7999
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark198.951
Satisfiable
(Un)Satisfiability was proved
Number of variables257380
Number of clauses2139615
Sum of the clauses size5163755
Maximum clause length541
Minimum clause length1
Number of clauses of size 1625
Number of clauses of size 22096290
Number of clauses of size 30
Number of clauses of size 4280
Number of clauses of size 51400
Number of clauses of size over 541020

Solver Data 

0.00/0.00	c Set FPU double precision.
0.69/0.75	c Parse Cnf success: #var: 257380 #clause: 2139615
0.69/0.75	c Find Units :        625
0.89/0.94	c Find Invs  :        350
1.10/1.12	c Find Ands  :       1050 AvgFaninNum: 9
1.49/2.51	c Find Xors  :          0 AvgFaninNum: nan
1.49/2.51	c Find Ite   :          0
1.49/2.51	c UnDirect variable: 0
1.49/2.51	c UnDirect to Direct Gate: 0
1.49/2.51	c Forced Direct Gate: 0 Unuse unDirect Gate: 0
1.49/2.51	c Break Cycle : 96
1.49/2.51	c Total Root : 10 Undef Var: 256766
1.49/2.51	c After covering, Total Root: 107 Leaf: 3511
1.49/2.51	c Variable( cover/uncovered/unused ): 4125 253255 0
1.49/2.51	c Unit Clauses: 625
1.49/2.51	c Binary Clauses( cover/uncovered ): 5526 2090764
1.49/2.51	c Clauses( cover/uncovered ): 614 42086
1.49/2.51	c Total Clauses( cover/uncovered ): 6765 2132850 0.316178%
1.49/2.51	c Covered Ands: 614 Invs: 0 Xors: 0 Ites: 0
1.49/2.64	c Uncover Clauses avg size: 2.41271 max size: 541
1.49/2.67	c Final circuit: i/l/o/s  256151       0 1841788   2374563
1.49/2.67	c CnfToAig: Time: 2.66 s
4.09/4.13	c TmMap: Set choices finish.
5.19/5.20	c TmMap: Set big and: 1900991
5.19/5.20	c TmMap: Origin: 2630715 ClauseNum: 7123689 --> New: 2157143 ClauseNum: 6189312
5.19/5.20	c TmMap: Time: 1.29
5.50/5.54	c Try to Add: #clause: 3801982 #xorclause: 0
5.99/6.02	c #var: 315354 #clauses: 125814 Solving... 
352.20/352.28	s UNSATISFIABLE
352.30/352.34	c CPU time: 352.34 s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3384358-1305545203/watcher-3384358-1305545203 -o /tmp/evaluation-result-3384358-1305545203/solver-3384358-1305545203 -C 5000 -W 5100 -M 15500 qutersat_release HOME/instance-3384358-1305545203.cnf 1294791991 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/329 24221
/proc/meminfo: memFree=23957960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=38400 CPUtime=0 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 3390 0 0 0 0 0 0 0 22 0 1 0 666118553 39321600 3326 33554432000 4194304 6014671 140733355366192 18446744073709551615 232335892224 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 9600 3326 378 445 0 3145 0

[startup+0.0579611 s]
/proc/loadavg: 2.00 2.03 2.00 3/329 24221
/proc/meminfo: memFree=23957960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=49664 CPUtime=0.04 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 6119 0 0 0 4 0 0 0 22 0 1 0 666118553 50855936 6055 33554432000 4194304 6014671 140733355366192 18446744073709551615 232335892224 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 12416 6056 378 445 0 5961 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 49664

[startup+0.100953 s]
/proc/loadavg: 2.00 2.03 2.00 3/329 24221
/proc/meminfo: memFree=23957960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=61952 CPUtime=0.09 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 8908 0 0 0 8 1 0 0 22 0 1 0 666118553 63438848 8844 33554432000 4194304 6014671 140733355366192 18446744073709551615 4277980 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 15488 8844 378 445 0 9033 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61952

[startup+0.30092 s]
/proc/loadavg: 2.00 2.03 2.00 3/329 24221
/proc/meminfo: memFree=23957960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=86656 CPUtime=0.29 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 15240 0 0 0 27 2 0 0 23 0 1 0 666118553 88735744 15176 33554432000 4194304 6014671 140733355366192 18446744073709551615 232335892224 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 21664 15177 378 445 0 15209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86656

[startup+0.700847 s]
/proc/loadavg: 2.00 2.03 2.00 3/329 24221
/proc/meminfo: memFree=23957960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=136064 CPUtime=0.69 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 27634 0 0 0 65 4 0 0 25 0 1 0 666118553 139329536 27570 33554432000 4194304 6014671 140733355366192 18446744073709551615 4309366 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 34016 27571 378 445 0 27561 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136064

[startup+1.50071 s]
/proc/loadavg: 2.00 2.03 2.00 3/335 24228
/proc/meminfo: memFree=23636380/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=193920 CPUtime=1.49 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 36771 0 0 0 144 5 0 0 25 0 1 0 666118553 198574080 36707 33554432000 4194304 6014671 140733355366192 18446744073709551615 4313890 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 48480 36724 398 445 0 42025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193920

[startup+3.10042 s]
/proc/loadavg: 2.00 2.03 2.00 3/335 24228
/proc/meminfo: memFree=23636380/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=608448 CPUtime=3.08 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 137829 0 0 0 293 15 0 0 25 0 1 0 666118553 623050752 137718 33554432000 4194304 6014671 140733355366192 18446744073709551615 4778066 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 152112 137719 668 445 0 145657 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 608448

[startup+6.30085 s]
/proc/loadavg: 2.00 2.03 2.00 3/335 24228
/proc/meminfo: memFree=22067524/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1049656 CPUtime=6.29 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 237686 0 0 0 604 25 0 0 25 0 1 0 666118553 1074847744 237575 33554432000 4194304 6014671 140733355366192 18446744073709551615 4422589 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 262414 237575 697 445 0 255959 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1049656

[startup+12.7007 s]
/proc/loadavg: 2.00 2.03 2.00 3/335 24228
/proc/meminfo: memFree=21945444/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1049656 CPUtime=12.69 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 237691 0 0 0 1244 25 0 0 25 0 1 0 666118553 1074847744 237580 33554432000 4194304 6014671 140733355366192 18446744073709551615 4423853 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 262414 237580 702 445 0 255959 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1049656

[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.00 3/335 24228
/proc/meminfo: memFree=21491884/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1447596 CPUtime=25.48 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 329237 0 0 0 2512 36 0 0 25 0 1 0 666118553 1482338304 329124 33554432000 4194304 6014671 140733355366192 18446744073709551615 4379888 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 361899 329124 723 445 0 355444 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1447596

[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/335 24229
/proc/meminfo: memFree=21412688/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1735148 CPUtime=51.08 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 341283 0 0 0 5070 38 0 0 25 0 1 0 666118553 1776791552 341170 33554432000 4194304 6014671 140733355366192 18446744073709551615 4372236 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 433787 341170 723 445 0 427332 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1735148

[startup+102.313 s]
/proc/loadavg: 2.00 2.02 2.00 3/335 24231
/proc/meminfo: memFree=20698324/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1762796 CPUtime=102.3 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 363844 0 0 0 10188 42 0 0 25 0 1 0 666118553 1805103104 363731 33554432000 4194304 6014671 140733355366192 18446744073709551615 4372121 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 440699 363731 723 445 0 434244 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1762796

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/335 24232
/proc/meminfo: memFree=20257100/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=1793284 CPUtime=162.3 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 378605 0 0 0 16184 46 0 0 25 0 1 0 666118553 1836322816 378492 33554432000 4194304 6014671 140733355366192 18446744073709551615 4372266 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 448321 378492 724 445 0 441866 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1793284

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/335 24234
/proc/meminfo: memFree=19553488/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2405528 CPUtime=222.29 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 480844 0 0 0 22174 55 0 0 25 0 1 0 666118553 2463260672 480725 33554432000 4194304 6014671 140733355366192 18446744073709551615 4423362 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 601382 480725 728 445 0 594927 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2405528

[startup+282.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/335 24235
/proc/meminfo: memFree=19174156/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2556312 CPUtime=282.3 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 559044 0 0 0 28165 65 0 0 25 0 1 0 666118553 2617663488 558925 33554432000 4194304 6014671 140733355366192 18446744073709551615 4711256 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 639078 558925 728 445 0 632623 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2556312

[startup+342.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18775960/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2842284 CPUtime=342.3 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 566572 0 0 0 34164 66 0 0 25 0 1 0 666118553 2910498816 566449 33554432000 4194304 6014671 140733355366192 18446744073709551615 4422683 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 710571 566449 728 445 0 704116 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2842284

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

[startup+346.6 s]
/proc/loadavg: 2.07 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18767776/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2843308 CPUtime=346.59 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 568420 0 0 0 34593 66 0 0 25 0 1 0 666118553 2911547392 568297 33554432000 4194304 6014671 140733355366192 18446744073709551615 4372452 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 710827 568297 728 445 0 704372 0
Current children cumulated CPU time (s) 346.59
Current children cumulated vsize (KiB) 2843308

[startup+349.813 s]
/proc/loadavg: 2.07 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18188932/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2844332 CPUtime=349.81 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 569448 0 0 0 34914 67 0 0 25 0 1 0 666118553 2912595968 569325 33554432000 4194304 6014671 140733355366192 18446744073709551615 4423332 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 711083 569325 728 445 0 704628 0
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (KiB) 2844332

[startup+351.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18180128/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2844332 CPUtime=351.4 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 570012 0 0 0 35073 67 0 0 25 0 1 0 666118553 2912595968 569889 33554432000 4194304 6014671 140733355366192 18446744073709551615 4424339 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 711083 569889 728 445 0 704628 0
Current children cumulated CPU time (s) 351.4
Current children cumulated vsize (KiB) 2844332

[startup+352.2 s]
/proc/loadavg: 2.07 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18178640/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=2845356 CPUtime=352.2 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202496 570447 0 0 0 35153 67 0 0 25 0 1 0 666118553 2913644544 570324 33554432000 4194304 6014671 140733355366192 18446744073709551615 4776610 0 0 4096 16386 0 0 0 17 3 0 0 0
/proc/24221/statm: 711339 570324 728 445 0 704884 0
Current children cumulated CPU time (s) 352.2
Current children cumulated vsize (KiB) 2845356

[startup+352.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/335 24237
/proc/meminfo: memFree=18178640/32951124 swapFree=65173164/67111528
[pid=24221] ppid=24219 vsize=0 CPUtime=352.39 cores=1,3,5,7
/proc/24221/stat : 24221 (qutersat_releas) R 24219 24221 23984 0 -1 4202500 570451 0 0 0 35167 72 0 0 25 0 1 0 666118553 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 3 0 0 0
/proc/24221/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 352.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 352.432
CPU time (s): 352.436
CPU user time (s): 351.68
CPU system time (s): 0.756884
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2845356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 351.68
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570451
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= 13
involuntary context switches= 311

runsolver used 1.11883 second user time and 2.70259 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-16 13:26:44
IDJOB=3384358
IDBENCH=82403
IDSOLVER=1868
FILE ID=node132/3384358-1305545203
RUNJOBID= node132-1305540199-24003
PBS_JOBID= 13329221
Free space on /tmp= 73228 MiB

SOLVER NAME= QuteRSat 2011-05-12 (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/grid-strips-grid-y-3.035-NOTKNOWN.cnf
COMMAND LINE= qutersat_release BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3384358-1305545203/watcher-3384358-1305545203 -o /tmp/evaluation-result-3384358-1305545203/solver-3384358-1305545203 -C 5000 -W 5100 -M 15500  qutersat_release HOME/instance-3384358-1305545203.cnf 1294791991

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a85b6db657886fb2a1a46ae1fe4d7999
RANDOM SEED=1294791991

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23958232 kB
Buffers:        309972 kB
Cached:        3572672 kB
SwapCached:       9908 kB
Active:        2501116 kB
Inactive:      6175504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23958232 kB
SwapTotal:    67111528 kB
SwapFree:     65173164 kB
Dirty:           92360 kB
Writeback:           0 kB
AnonPages:     4790740 kB
Mapped:          20948 kB
Slab:           221380 kB
PageTables:      31544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 58155688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73224 MiB
End job on node132 at 2011-05-16 13:32:36