Trace number 2701845

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
PB/CT 0.1 fixedSignal 28.5857 32.9952

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph13reducmore_wcsp.wbo
MD5SUMea40a0e629962acadf81be421b26ca75
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables13153
Total number of constraints970904
Number of soft constraints970450
Number of constraints which are clauses970450
Number of constraints which are cardinality constraints (but not clauses)454
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 10110
Min constraint cost 1
Max constraint cost 3670
Sum of constraints costs 307075871
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
5.49/5.52	c constraints 454/0 clauses 0/970450 units 0
5.49/5.52	c vars 13153
5.49/5.54	c Setting top cost 10110
23.79/23.85	terminate called after throwing an instance of 'std::bad_alloc'
23.79/23.85	  what():  std::bad_alloc

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701845-1278541932/watcher-2701845-1278541932 -o /tmp/evaluation-result-2701845-1278541932/solver-2701845-1278541932 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701845-1278541932.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 20783
/proc/meminfo: memFree=28364100/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=2400 CPUtime=0
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 312 0 0 0 0 0 0 0 22 0 1 0 22406346 2457600 232 4089446400 134512640 136422188 4287542064 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 600 232 138 467 0 131 0

[startup+0.041211 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 20783
/proc/meminfo: memFree=28364100/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3456 CPUtime=0.03
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 580 0 0 0 3 0 0 0 22 0 1 0 22406346 3538944 500 4089446400 134512640 136422188 4287542064 18446744073709551615 134533580 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 864 500 144 467 0 395 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3456

[startup+0.101202 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 20783
/proc/meminfo: memFree=28364100/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=4112 CPUtime=0.09
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 780 0 0 0 9 0 0 0 22 0 1 0 22406346 4210688 667 4089446400 134512640 136422188 4287542064 18446744073709551615 135809704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 1028 667 144 467 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4112

[startup+0.300164 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 20783
/proc/meminfo: memFree=28364100/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=6596 CPUtime=0.29
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 1519 0 0 0 29 0 0 0 22 0 1 0 22406346 6754304 1212 4089446400 134512640 136422188 4287542064 18446744073709551615 135377344 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 1649 1213 144 467 0 1180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6596

[startup+0.701093 s]
/proc/loadavg: 2.00 2.00 2.02 4/178 20783
/proc/meminfo: memFree=28364100/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=10920 CPUtime=0.69
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 2880 0 0 0 69 0 0 0 24 0 1 0 22406346 11182080 2316 4089446400 134512640 136422188 4287542064 18446744073709551615 135818670 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 2730 2317 144 467 0 2261 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10920

[startup+1.50095 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20784
/proc/meminfo: memFree=28351940/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=19568 CPUtime=1.49
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 5592 0 0 0 148 1 0 0 25 0 1 0 22406346 20037632 4515 4089446400 134512640 136422188 4287542064 18446744073709551615 134518489 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 4892 4515 144 467 0 4423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19568

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20784
/proc/meminfo: memFree=28338424/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=52316 CPUtime=3.09
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 14879 0 0 0 307 2 0 0 25 0 1 0 22406346 53571584 10728 4089446400 134512640 136422188 4287542064 18446744073709551615 135378200 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20783/statm: 13079 10728 144 467 0 12610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52316

[startup+6.30107 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20784
/proc/meminfo: memFree=28303356/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=229324 CPUtime=6.29
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 62438 0 0 0 621 8 0 0 25 0 1 0 22406346 234827776 55748 4089446400 134512640 136422188 4287542064 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20783/statm: 57331 55751 195 467 0 56862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 229324

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 20784
/proc/meminfo: memFree=26932576/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=1604104 CPUtime=12.69
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4202496 427182 0 0 0 1210 59 0 0 25 0 1 0 22406346 1642602496 396308 4089446400 134512640 136422188 4287542064 18446744073709551615 134598073 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20783/statm: 401026 396311 195 467 0 400557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1604104

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 20784
/proc/meminfo: memFree=23457756/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3886788 CPUtime=25.4
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4204032 1038776 0 0 0 2245 295 0 0 25 0 1 0 22406346 3980070912 948139 4089446400 134512640 136422188 4287542064 18446744073709551615 135736970 0 0 4096 16387 0 0 0 17 2 0 0 8
/proc/20783/statm: 971697 948139 240 467 0 971228 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 3886788

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

[startup+28.701 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 20784
/proc/meminfo: memFree=21017492/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3886788 CPUtime=27.91
/proc/20783/stat : 20783 (pbct) D 20781 20783 18350 0 -1 4204032 1038776 0 0 0 2245 546 0 0 25 0 1 0 22406346 3980070912 948139 4089446400 134512640 136422188 4287542064 18446744073709551615 135736970 0 0 4096 16387 18446744071562154983 0 0 17 4 0 0 16
/proc/20783/statm: 971697 948139 240 467 0 971228 0
Current children cumulated CPU time (s) 27.91
Current children cumulated vsize (KiB) 3886788

[startup+30.3007 s]
/proc/loadavg: 2.00 2.00 2.01 2/179 20784
/proc/meminfo: memFree=20884192/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3886788 CPUtime=28.08
/proc/20783/stat : 20783 (pbct) D 20781 20783 18350 0 -1 4204032 1038776 0 0 0 2245 563 0 0 18 0 1 0 22406346 3980070912 948139 4089446400 134512640 136422188 4287542064 18446744073709551615 135736970 0 0 4096 16387 18446744071562154983 0 0 17 0 0 0 119
/proc/20783/statm: 971697 948139 240 467 0 971228 0
Current children cumulated CPU time (s) 28.08
Current children cumulated vsize (KiB) 3886788

[startup+31.9064 s]
/proc/loadavg: 2.24 2.05 2.03 2/179 20785
/proc/meminfo: memFree=20620104/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3886788 CPUtime=28.39
/proc/20783/stat : 20783 (pbct) D 20781 20783 18350 0 -1 4204032 1038776 0 0 0 2245 594 0 0 18 0 1 0 22406346 3980070912 948139 4089446400 134512640 136422188 4287542064 18446744073709551615 135736970 0 0 4096 16387 18446744071562154983 0 0 17 4 0 0 279
/proc/20783/statm: 971697 948139 240 467 0 971228 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 3886788

[startup+32.7003 s]
/proc/loadavg: 2.24 2.05 2.03 2/179 20785
/proc/meminfo: memFree=20620104/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=3886788 CPUtime=28.39
/proc/20783/stat : 20783 (pbct) D 20781 20783 18350 0 -1 4204032 1038776 0 0 0 2245 594 0 0 18 0 1 0 22406346 3980070912 948139 4089446400 134512640 136422188 4287542064 18446744073709551615 135736970 0 0 4096 16387 18446744071562154983 0 0 17 4 0 0 279
/proc/20783/statm: 971697 948139 240 467 0 971228 0
Current children cumulated CPU time (s) 28.39
Current children cumulated vsize (KiB) 3886788

[startup+32.9002 s]
/proc/loadavg: 2.24 2.05 2.03 3/179 20785
/proc/meminfo: memFree=21442224/32951124 swapFree=67111528/67111528
[pid=20783] ppid=20781 vsize=0 CPUtime=28.48
/proc/20783/stat : 20783 (pbct) R 20781 20783 18350 0 -1 4204036 1038777 0 0 0 2245 603 0 0 18 0 1 0 22406346 0 0 4089446400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 440
/proc/20783/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 28.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 32.9952
CPU time (s): 28.5857
CPU user time (s): 22.4596
CPU system time (s): 6.12607
CPU usage (%): 86.6359
Max. virtual memory (cumulated for all children) (KiB): 3886788

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

runsolver used 0.071989 second user time and 0.107983 second system time

The end

Launcher Data 

Begin job on node138 at 2010-07-08 00:32:12
IDJOB=2701845
IDBENCH=79646
IDSOLVER=1212
FILE ID=node138/2701845-1278541932
PBS_JOBID= 11239201
Free space on /tmp= 73580 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph13reducmore_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701845-1278541932/watcher-2701845-1278541932 -o /tmp/evaluation-result-2701845-1278541932/solver-2701845-1278541932 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701845-1278541932.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ea40a0e629962acadf81be421b26ca75
RANDOM SEED=1692643529

node138.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.845
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.845
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	: 5266.27
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.845
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.82
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.845
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.73
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.845
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.845
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.845
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.845
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28364496 kB
Buffers:        139188 kB
Cached:        4018432 kB
SwapCached:          0 kB
Active:        1865452 kB
Inactive:      2571128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28364496 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           32224 kB
Writeback:           0 kB
AnonPages:      278816 kB
Mapped:          15456 kB
Slab:            86484 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   431032 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= 69872 MiB
End job on node138 at 2010-07-08 00:32:45