Trace number 3483248

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
MiniUnsat2 2011-02-22UNSAT 6.04808 6.04864

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E10N10.cnf
MD5SUM4e1fa09f065863aade1b0e981a31dcc8
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.05999
Satisfiable
(Un)Satisfiability was proved
Number of variables1610
Number of clauses7143
Sum of the clauses size19637
Maximum clause length15
Minimum clause length1
Number of clauses of size 113
Number of clauses of size 23911
Number of clauses of size 32609
Number of clauses of size 4250
Number of clauses of size 5100
Number of clauses of size over 5260

Solver Data 

5.99/6.04	s UNSATISFIABLE
5.99/6.04	v 921 958 965 966 967 968 972 973 974 976 977 1308 1338 1398 1311 1341 1401 1314 1344 1404 1317 1347 1407 1320 1350 1410 1323 1353 1413 1326 1356 1416 1329 1359 1419 1332 1362 1422 6556 6586 1335 1365 1425 1309 1312 1315 1318 1321 1324 1327 1330 1333 1336 1819 1822 1825 1828 1831 1834 1837 1840 1843 1846 1878 1881 1884 1887 1890 1893 1896 1899 1902 1905 1968 1969 1971 1972 1974 1975 1977 1978 1980 1981 1983 1984 1986 1987 1989 1990 1992 1993 1995 1996 1998 2001 2004 2007 2010 2013 2016 2019 2022 2025 2089 2092 2095 2098 2101 2104 2107 2110 2113 2116 2239 2242 2245 2248 2251 2254 2257 2260 2263 2266 1849 1852 1855 1858 1861 1864 1867 1870 1873 1876 1999 2002 2005 2008 2011 2014 2017 2020 2023 2026 2119 2122 2125 2128 2131 2134 2137 2140 2143 2146 864 6558 6588 1339 1342 1345 1348 1351 1354 1357 1360 1363 1366 1879 1882 1885 1888 1891 1894 1897 1900 1903 1906 2088 2091 2094 2097 2100 2103 2106 2109 2112 2115 2118 2121 2124 2127 2130 2133 2136 2139 2142 2145 868 1818 1821 1824 1827 1830 1833 1836 1839 1842 1845 1848 1851 1854 1857 1860 1863 1866 1869 1872 1875 859 873 838 847 6560 6590 842 1399 1402 1405 1408 1411 1414 1417 1420 1423 1426 2238 2241 2244 2247 2250 2253 2256 2259 2262 2265 843 846 6562 6592 845 858 865 869 834 840 849 850 852 863 867 6554 6584 841 831 839 854 874 875 835 837 833 3844 155 156 157 158 162 159 163 160 164 165 168 147 161 166 169 148 170 263 407 149 167 171 173 264 408 443 150 174 265 270 409 414 444 151 172 175 266 271 299 410 415 445 450 152 177 227 267 272 276 300 411 416 420 446 451 153 176 178 228 268 273 277 301 306 412 417 421 447 452 456 229 234 274 278 281 302 307 418 422 425 448 453 457 154 179 180 230 235 269 279 282 303 308 312 413 423 426 454 458 461 231 236 240 255 275 283 285 304 309 313 371 399 419 427 429 449 459 462 181 232 237 241 256 280 286 310 314 317 372 400 424 430 435 455 463 465 238 242 245 257 284 288 305 315 318 373 378 401 428 432 436 460 466 182 233 243 246 258 287 291 311 319 321 374 379 402 431 437 464 468 239 247 249 259 289 292 316 322 375 380 384 403 433 438 467 220 244 250 260 290 293 320 324 376 381 385 404 434 439 469 221 248 252 261 294 323 382 386 389 405 440 470 222 251 295 325 377 387 390 441 6395 6425 6475 223 253 262 296 326 383 391 393 406 224 254 297 364 388 394 442 225 365 392 396 6386 6396 6426 6476 6546 298 366 395 226 367 397 368 398 6387 6397 6427 6477 6547 369 370 6388 6398 6428 6478 6548 6389 6399 6429 6479 6549 6390 6400 6430 6480 6550 6391 6401 6431 6481 6551 1433 6392 6402 6432 6482 6552 6393 6424 6433 6474 6483 6553 891 902 903 918 928 930 933 939 942 943 944 948 955 960 964 894 899 900 904 905 910 4051 4095 4150 3996 3809 3820 3842 4018 4007 4062 4106 920 0

Verifier Data 

OK	599

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-3483248-1307800703/watcher-3483248-1307800703 -o /tmp/evaluation-result-3483248-1307800703/solver-3483248-1307800703 -C 1800 -W 1850 -M 7680 munsat2_release -rnd-seed=737525513 -verb=0 HOME/instance-3483248-1307800703.cnf 

running on 2 cores: 1,3

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.52 1.33 1.81 4/186 17803
/proc/meminfo: memFree=31873444/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20468 CPUtime=0 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 709 0 0 0 0 0 0 0 22 0 1 0 970301100 20959232 644 33554432000 4194304 4258824 140737193880144 18446744073709551615 215988253381 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5117 646 223 16 0 1759 0

[startup+0.099089 s]
/proc/loadavg: 0.52 1.33 1.81 4/186 17803
/proc/meminfo: memFree=31873444/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20840 CPUtime=0.09 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 958 0 0 0 9 0 0 0 22 0 1 0 970301100 21340160 789 33554432000 4194304 4258824 140737193880144 18446744073709551615 4225405 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5210 789 240 16 0 1852 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20840

[startup+0.101083 s]
/proc/loadavg: 0.52 1.33 1.81 4/186 17803
/proc/meminfo: memFree=31873444/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20840 CPUtime=0.09 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 958 0 0 0 9 0 0 0 22 0 1 0 970301100 21340160 789 33554432000 4194304 4258824 140737193880144 18446744073709551615 4225456 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5210 789 240 16 0 1852 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20840

[startup+0.301046 s]
/proc/loadavg: 0.52 1.33 1.81 4/186 17803
/proc/meminfo: memFree=31873444/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20840 CPUtime=0.29 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 974 0 0 0 29 0 0 0 23 0 1 0 970301100 21340160 803 33554432000 4194304 4258824 140737193880144 18446744073709551615 4225186 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5210 803 240 16 0 1852 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20840

[startup+0.701033 s]
/proc/loadavg: 0.52 1.33 1.81 4/186 17803
/proc/meminfo: memFree=31873444/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=0.69 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1021 0 0 0 69 0 0 0 25 0 1 0 970301100 21479424 849 33554432000 4194304 4258824 140737193880144 18446744073709551615 4225179 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 849 241 16 0 1886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20976

[startup+1.50084 s]
/proc/loadavg: 0.52 1.33 1.81 5/190 17814
/proc/meminfo: memFree=31857556/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=1.49 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1077 0 0 0 149 0 0 0 25 0 1 0 970301100 21479424 897 33554432000 4194304 4258824 140737193880144 18446744073709551615 4231496 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 897 242 16 0 1886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20976

[startup+3.10055 s]
/proc/loadavg: 0.52 1.33 1.81 5/190 17814
/proc/meminfo: memFree=31850240/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=3.09 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1078 0 0 0 309 0 0 0 25 0 1 0 970301100 21479424 898 33554432000 4194304 4258824 140737193880144 18446744073709551615 4231079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 898 243 16 0 1886 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20976

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

[startup+4.70027 s]
/proc/loadavg: 0.80 1.37 1.82 5/190 17814
/proc/meminfo: memFree=31839084/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=4.69 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1078 0 0 0 469 0 0 0 25 0 1 0 970301100 21479424 898 33554432000 4194304 4258824 140737193880144 18446744073709551615 4225328 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 898 243 16 0 1886 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 20976

[startup+5.50613 s]
/proc/loadavg: 0.80 1.37 1.82 5/190 17814
/proc/meminfo: memFree=31831644/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=5.5 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1078 0 0 0 550 0 0 0 25 0 1 0 970301100 21479424 898 33554432000 4194304 4258824 140737193880144 18446744073709551615 4217918 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 898 243 16 0 1886 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 20976

[startup+5.90106 s]
/proc/loadavg: 0.80 1.37 1.82 5/190 17814
/proc/meminfo: memFree=31831644/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=5.89 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1078 0 0 0 589 0 0 0 25 0 1 0 970301100 21479424 898 33554432000 4194304 4258824 140737193880144 18446744073709551615 4237296 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 898 243 16 0 1886 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 20976

[startup+6.00005 s]
/proc/loadavg: 0.80 1.37 1.82 5/190 17814
/proc/meminfo: memFree=31831644/32950940 swapFree=67074964/67111528
[pid=17803] ppid=17801 vsize=20976 CPUtime=5.99 cores=1,3
/proc/17803/stat : 17803 (munsat2_release) R 17801 17803 17737 0 -1 4202496 1078 0 0 0 599 0 0 0 25 0 1 0 970301100 21479424 898 33554432000 4194304 4258824 140737193880144 18446744073709551615 4220928 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17803/statm: 5244 898 243 16 0 1886 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 20976

Child status: 0
Real time (s): 6.04864
CPU time (s): 6.04808
CPU user time (s): 6.04608
CPU system time (s): 0.001999
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 20976

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

runsolver used 0.011998 second user time and 0.024996 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-11 15:58:23
IDJOB=3483248
IDBENCH=83474
IDSOLVER=1973
FILE ID=node117/3483248-1307800703
RUNJOBID= node117-1307800702-17757
PBS_JOBID= 13551060
Free space on /tmp= 74020 MiB

SOLVER NAME= MiniUnsat2 2011-02-22
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E10N10.cnf
COMMAND LINE= munsat2_release -rnd-seed=RANDOMSEED -verb=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483248-1307800703/watcher-3483248-1307800703 -o /tmp/evaluation-result-3483248-1307800703/solver-3483248-1307800703 -C 1800 -W 1850 -M 7680  munsat2_release -rnd-seed=737525513 -verb=0 HOME/instance-3483248-1307800703.cnf

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

MD5SUM BENCH= 4e1fa09f065863aade1b0e981a31dcc8
RANDOM SEED=737525513

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      31873996 kB
Buffers:        159960 kB
Cached:         683392 kB
SwapCached:       6164 kB
Active:         397956 kB
Inactive:       527624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31873996 kB
SwapTotal:    67111528 kB
SwapFree:     67074964 kB
Dirty:            5876 kB
Writeback:           0 kB
AnonPages:       78656 kB
Mapped:          13924 kB
Slab:            84920 kB
PageTables:       5000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   282508 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 node117 at 2011-06-11 15:58:29