Trace number 453022

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17OPT3 10.5364 10.5459

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=5-P1=53-P2=23-P3=7-P4=31-P5=59-P6=59-P7=37-P8=41-P9=67-B.opb
MD5SUMfb8239991fe60a33867ecb92496c7603
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.113982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453022-1178012667/instance-453022-1178012667.opb
0.00/0.00	c File size is 6257 bytes.
0.00/0.00	c Highest Coefficient sum: 8064
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 486 Constr: 676 324/0/352 Lit: 2856 Watch. Lit: 1784
0.00/0.00	c Obj. Vars: 6 (1.23457 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    486      676     2856    4     2444    3875      0      0 0.01
0.00/0.01	c Switching off LPR mode.
4.89/4.91	c      101    486      777     6345    8     2599    4263    101   9181 0.01
4.89/4.91	c      251    486      927    11207   12     2864    4690    251  13210 0.02
4.89/4.91	c      477    486     1153    18639   16     3296    5160    477  14029 0.03
4.89/4.91	c      816    486     1492    29913   20     3993    5677    816  12750 0.06
4.89/4.91	c     1324    486     2000    51300   25     4990    6245   1324  13373 0.10
4.89/4.91	c     2087    486     2763    79799   28     6524    6870   2087  12725 0.16
4.89/4.91	c     3234    486     3910   124988   31     8803    7558   3234  12987 0.25
4.89/4.91	c     4955    486     5631   192762   34    12280    8314   4955   9753 0.51
4.89/4.91	c     7540    486     8216   297716   36    17433    9146   7540   8169 0.92
4.89/4.91	c    11419    485     7355   270037   36    15697   10061   6679   6495 1.76
4.89/4.91	c    17241    485     7717   283281   36    16384   11068   7041   6484 2.66
4.89/4.91	c    25978    483    10505   374690   35    22024   12175   9829   6027 4.31
4.89/4.91	o 49	4.909
6.69/6.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.76	c    29865    481     7965   272414   34    16923    3887   7289   6083 4.91
6.69/6.76	c    29966    481     2728    80484   29     6444    4276   2052   6057 4.95
6.69/6.76	c    30216    481     2978    90841   30     6991    4704   2302   6084 4.97
6.69/6.76	c    30692    481     3454   109770   31     7940    5175   2778   6121 5.01
6.69/6.76	c    31505    481     4267   141098   33     9549    5693   3591   6193 5.09
6.69/6.76	c    32825    481     5587   191039   34    12203    6263   4911   6289 5.22
6.69/6.76	c    34906    481     4113   135723   32     9221    6890   3437   6267 5.57
6.69/6.76	c    38130    481     7337   249663   34    15653    7580   6661   5900 6.46
6.69/6.76	o 13	6.755
7.38/7.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.49	c    40375    478     5466   176685   32    11898    3887   4790   5977 6.75
7.38/7.49	c    40476    470     2729    81701   29     6477    4276   2053   5971 6.78
7.38/7.49	c    40726    470     2979    91062   30     7001    4704   2303   5994 6.79
7.38/7.49	c    41201    470     3454   111093   32     7942    5175   2778   6010 6.86
7.38/7.49	c    42014    470     4267   144575   33     9565    5693   3591   6052 6.94
7.38/7.49	c    43335    470     5588   195358   34    12227    6263   4912   6090 7.12
7.38/7.49	c    45416    462     4439   148369   33     9922    6890   3763   6101 7.44
7.38/7.49	o 5	7.488
10.08/10.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.08/10.18	c    45819    462     4843   163489   33    10705    3883   4167   6118 7.49
10.08/10.18	c    45920    462     2730    82504   30     6460    4272   2054   6119 7.50
10.08/10.18	c    46170    462     2980    92281   30     6989    4700   2304   6135 7.53
10.08/10.18	c    46645    462     3455   108478   31     7901    5171   2779   6152 7.58
10.08/10.18	c    47460    462     4270   142010   33     9591    5689   3594   6174 7.69
10.08/10.18	c    48780    461     5590   193538   34    12221    6258   4914   6184 7.89
10.08/10.18	c    50861    461     4359   141187   32     9750    6884   3683   6175 8.24
10.08/10.18	c    54084    458     7582   258224   34    16195    7573   6906   6194 8.73
10.08/10.18	c    59021    458     4821   157838   32    10685    8331   4145   6021 9.80
10.08/10.18	o 3	10.171
10.48/10.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.48/10.54	c    61131    447     6932   228006   32    14897    3881   6256   6010 10.17
10.48/10.54	c    61231    430     2732    69249   25     6478    4270   2056   5998 10.21
10.48/10.54	c    61482    430     2983    78646   26     6982    4698   2307   6007 10.23
10.48/10.54	c    61958    430     3459    94058   27     7942    5168   2783   6013 10.30
10.48/10.54	c    62771    420     4272   120857   28     9541    5685   3596   6013 10.44
10.48/10.54	v x1 x2 -x3 -x4 -x5 -x6 x7 x8 x9 x10 x11 -x12 x13 -x14 -x15 x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 x31
10.48/10.54	v -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 x58 x59 -x60
10.48/10.54	v x61 -x62 x63 x64 x65 -x66 x109 -x110 -x111 -x112 -x113 -x114 x67 -x68 x69 -x70 -x71 -x72 -x115 -x116 x117 -x118 -x119 -x120 x73
10.48/10.54	v -x74 -x75 x76 x77 -x78 -x121 -x122 -x123 -x124 -x125 -x126 x79 -x80 x81 x82 x83 x84 x127 -x128 -x129 -x130 -x131 -x132 x85 -x86
10.48/10.54	v -x87 -x88 -x89 -x90 -x133 -x134 x135 -x136 x137 -x138 x91 -x92 x93 -x94 -x95 -x96 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98
10.48/10.54	v x99 x100 -x101 -x102 x145 x146 -x147 -x148 -x149 -x150 x103 -x104 -x105 -x106 -x107 -x108 x151 -x152 -x153 -x154 -x155 -x156
10.48/10.54	v -x157 -x158 -x159 -x160 -x161 -x162
10.48/10.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
10.48/10.54	c   41    63203   1580    72099     4704   131348   4028   6001 10.53
10.48/10.54	c Objective: 3
10.48/10.54	s OPTIMUM FOUND
10.48/10.54	c Total time: 10.531 s

Verifier Data (download as text)

OK	3

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node39/watcher-453022-1178012667 -o ROOT/results/node39/solver-453022-1178012667 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453022-1178012667/instance-453022-1178012667.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 23995
/proc/meminfo: memFree=1819192/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=3932 CPUtime=0
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 249178765 4026368 347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 983 348 290 324 0 51 0

[startup+0.0407661 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 23995
/proc/meminfo: memFree=1819192/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=4456 CPUtime=0.03
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 512 0 0 0 3 0 0 0 18 0 1 0 249178765 4562944 480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551109 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 1114 480 310 324 0 184 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4456

[startup+0.101777 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 23995
/proc/meminfo: memFree=1819192/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=4848 CPUtime=0.09
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 631 0 0 0 9 0 0 0 18 0 1 0 249178765 4964352 599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 1212 599 310 324 0 282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.301811 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 23995
/proc/meminfo: memFree=1819192/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=6412 CPUtime=0.29
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 1003 0 0 0 28 1 0 0 19 0 1 0 249178765 6565888 971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 1603 971 310 324 0 673 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6412

[startup+0.701878 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 23995
/proc/meminfo: memFree=1819192/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=7968 CPUtime=0.69
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 1403 0 0 0 68 1 0 0 23 0 1 0 249178765 8159232 1371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11523986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 1992 1371 310 324 0 1062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7968

[startup+1.50201 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1813808/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=9920 CPUtime=1.49
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 1893 0 0 0 148 1 0 0 25 0 1 0 249178765 10158080 1861 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2480 1861 310 324 0 1550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9920

[startup+3.10128 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1812784/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=10696 CPUtime=3.09
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2092 0 0 0 308 1 0 0 25 0 1 0 249178765 10952704 2060 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572675 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2674 2060 310 324 0 1744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10696

[startup+6.30183 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1810864/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=11732 CPUtime=6.29
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2339 0 0 0 628 1 0 0 25 0 1 0 249178765 12013568 2307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23995/statm: 2933 2307 311 324 0 2003 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11732

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

[startup+7.90109 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1810864/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=11720 CPUtime=7.88
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2339 0 0 0 787 1 0 0 25 0 1 0 249178765 12001280 2307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2930 2307 311 324 0 2000 0
Current children cumulated CPU time (s) 7.88
Current children cumulated vsize (KiB) 11720

[startup+9.50136 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1810864/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=11720 CPUtime=9.48
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2339 0 0 0 947 1 0 0 25 0 1 0 249178765 12001280 2307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11534053 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2930 2307 311 324 0 2000 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 11720

[startup+10.3015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1810864/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=11720 CPUtime=10.28
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2339 0 0 0 1027 1 0 0 25 0 1 0 249178765 12001280 2307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572571 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2930 2307 311 324 0 2000 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 11720

[startup+10.5015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 23996
/proc/meminfo: memFree=1810864/2055920 swapFree=4159400/4192956
[pid=23995] ppid=23993 vsize=11720 CPUtime=10.48
/proc/23995/stat : 23995 (bsolo3.0.17) R 23993 23995 22925 0 -1 4194304 2339 0 0 0 1047 1 0 0 25 0 1 0 249178765 12001280 2307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11523921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/23995/statm: 2930 2307 311 324 0 2000 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 11720

Child status: 0
Real time (s): 10.5459
CPU time (s): 10.5364
CPU user time (s): 10.5174
CPU system time (s): 0.018997
CPU usage (%): 99.9098
Max. virtual memory (cumulated for all children) (KiB): 11732

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

runsolver used 0.010998 second user time and 0.034994 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue May  1 09:44:27 UTC 2007

IDJOB= 453022
IDBENCH= 48089
IDSOLVER= 199
FILE ID= node39/453022-1178012667

PBS_JOBID= 4728280

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=5-P1=53-P2=23-P3=7-P4=31-P5=59-P6=59-P7=37-P8=41-P9=67-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453022-1178012667/instance-453022-1178012667.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-453022-1178012667 -o ROOT/results/node39/solver-453022-1178012667 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453022-1178012667/instance-453022-1178012667.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fb8239991fe60a33867ecb92496c7603

RANDOM SEED= 487639379

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1819600 kB
Buffers:         34568 kB
Cached:         110288 kB
SwapCached:      13788 kB
Active:         105432 kB
Inactive:        63904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819600 kB
SwapTotal:     4192956 kB
SwapFree:      4159400 kB
Dirty:            6612 kB
Writeback:           0 kB
Mapped:          31556 kB
Slab:            52240 kB
Committed_AS:  2218256 kB
PageTables:       2012 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node39 on Tue May  1 09:44:38 UTC 2007