Trace number 431962

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.16OPT3 11.2423 11.2477

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/431962-1178012580/instance-431962-1178012580.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.
5.19/5.28	c      101    486      777     6345    8     2599    4263    101   8416 0.01
5.19/5.28	c      251    486      927    11207   12     2864    4690    251  11952 0.02
5.19/5.28	c      477    486     1153    18639   16     3296    5160    477  12891 0.04
5.19/5.28	c      816    486     1492    29913   20     3993    5677    816  11657 0.07
5.19/5.28	c     1324    486     2000    51300   25     4990    6245   1324  12259 0.11
5.19/5.28	c     2087    486     2763    79799   28     6524    6870   2087  11659 0.18
5.19/5.28	c     3234    486     3910   124988   31     8803    7558   3234  11933 0.27
5.19/5.28	c     4955    486     5631   192762   34    12280    8314   4955   8992 0.55
5.19/5.28	c     7540    486     8216   297716   36    17433    9146   7540   7517 1.00
5.19/5.28	c    11419    485     7355   270037   36    15697   10061   6679   6025 1.90
5.19/5.28	c    17241    485     7717   283281   36    16384   11068   7041   6017 2.87
5.19/5.28	c    25978    483    10505   374690   35    22024   12175   9829   5604 4.63
5.19/5.28	o 49	5.281
7.19/7.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.20	c    29865    481     7965   272414   34    16923    3887   7289   5655 5.28
7.19/7.20	c    29966    481     2728    80484   29     6444    4276   2052   5629 5.32
7.19/7.20	c    30216    481     2978    90841   30     6991    4704   2302   5655 5.34
7.19/7.20	c    30692    481     3454   109770   31     7940    5175   2778   5688 5.39
7.19/7.20	c    31505    481     4267   141098   33     9549    5693   3591   5754 5.47
7.19/7.20	c    32825    481     5587   191039   34    12203    6263   4911   5841 5.62
7.19/7.20	c    34906    481     4113   135723   32     9221    6890   3437   5826 5.99
7.19/7.20	c    38130    481     7337   249663   34    15653    7580   6661   5536 6.89
7.19/7.20	o 13	7.201
7.89/7.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.89/7.99	c    40375    478     5466   176685   32    11898    3887   4790   5606 7.20
7.89/7.99	c    40476    470     2729    81701   29     6477    4276   2053   5602 7.22
7.89/7.99	c    40726    470     2979    91062   30     7001    4704   2303   5622 7.24
7.89/7.99	c    41201    470     3454   111093   32     7942    5175   2778   5637 7.31
7.89/7.99	c    42014    470     4267   144575   33     9565    5693   3591   5675 7.40
7.89/7.99	c    43335    470     5588   195358   34    12227    6263   4912   5709 7.59
7.89/7.99	c    45416    462     4439   148369   33     9922    6890   3763   5718 7.94
7.89/7.99	o 5	7.99
10.79/10.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.85	c    45819    462     4843   163489   33    10705    3883   4167   5734 7.99
10.79/10.85	c    45920    462     2730    82504   30     6460    4272   2054   5734 8.01
10.79/10.85	c    46170    462     2980    92281   30     6989    4700   2304   5749 8.03
10.79/10.85	c    46645    462     3455   108478   31     7901    5171   2779   5764 8.09
10.79/10.85	c    47460    462     4270   142010   33     9591    5689   3594   5784 8.20
10.79/10.85	c    48780    461     5590   193538   34    12221    6258   4914   5792 8.42
10.79/10.85	c    50861    461     4359   141187   32     9750    6884   3683   5783 8.79
10.79/10.85	c    54084    458     7582   258224   34    16195    7573   6906   5801 9.32
10.79/10.85	c    59021    458     4821   157838   32    10685    8331   4145   5644 10.46
10.79/10.85	o 3	10.851
11.19/11.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.24	c    61131    447     6932   228006   32    14897    3881   6256   5633 10.85
11.19/11.24	c    61231    430     2732    69249   25     6478    4270   2056   5622 10.89
11.19/11.24	c    61482    430     2983    78646   26     6982    4698   2307   5630 10.92
11.19/11.24	c    61958    430     3459    94058   27     7942    5168   2783   5635 10.99
11.19/11.24	c    62771    420     4272   120857   28     9541    5685   3596   5635 11.14
11.19/11.24	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
11.19/11.24	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
11.19/11.24	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
11.19/11.24	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
11.19/11.24	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
11.19/11.24	v x99 x100 -x101 -x102 x145 x146 -x147 -x148 -x149 -x150 x103 -x104 -x105 -x106 -x107 -x108 x151 -x152 -x153 -x154 -x155 -x156
11.19/11.24	v -x157 -x158 -x159 -x160 -x161 -x162
11.19/11.24	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
11.19/11.24	c   41    63203   1580    72099     4704   131348   4028   5624 11.24
11.19/11.24	c Objective: 3
11.19/11.24	s OPTIMUM FOUND
11.19/11.24	c Total time: 11.238 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/node29/watcher-431962-1178012580 -o ROOT/results/node29/solver-431962-1178012580 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431962-1178012580/instance-431962-1178012580.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.96 1.00 1.00 3/77 32230
/proc/meminfo: memFree=1781696/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=3932 CPUtime=0
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 249173769 4026368 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134524167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 983 349 292 324 0 50 0

[startup+0.102741 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 32230
/proc/meminfo: memFree=1781696/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=4848 CPUtime=0.09
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 615 0 0 0 9 0 0 0 18 0 1 0 249173769 4964352 582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 1212 582 312 324 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4848

[startup+0.201748 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 32230
/proc/meminfo: memFree=1781696/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=5504 CPUtime=0.19
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 782 0 0 0 19 0 0 0 18 0 1 0 249173769 5636096 749 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 1376 749 312 324 0 445 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5504

[startup+0.301755 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 32230
/proc/meminfo: memFree=1781696/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=6284 CPUtime=0.29
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 974 0 0 0 29 0 0 0 19 0 1 0 249173769 6434816 941 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 1571 941 312 324 0 640 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6284

[startup+0.701781 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 32230
/proc/meminfo: memFree=1781696/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=7712 CPUtime=0.69
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 1346 0 0 0 68 1 0 0 22 0 1 0 249173769 7897088 1313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 1928 1313 312 324 0 997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7712

[startup+1.50183 s]
/proc/loadavg: 0.96 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1776248/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=9920 CPUtime=1.49
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 1896 0 0 0 148 1 0 0 25 0 1 0 249173769 10158080 1863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2480 1863 312 324 0 1549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9920

[startup+3.10193 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1775288/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=10696 CPUtime=3.09
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2095 0 0 0 307 2 0 0 25 0 1 0 249173769 10952704 2062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2674 2062 312 324 0 1743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10696

[startup+6.30214 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773304/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11732 CPUtime=6.28
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 625 3 0 0 25 0 1 0 249173769 12013568 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2933 2309 313 324 0 2002 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11732

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

[startup+6.40214 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773304/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11732 CPUtime=6.38
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 635 3 0 0 25 0 1 0 249173769 12013568 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2933 2309 313 324 0 2002 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 11732

[startup+9.60135 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773304/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11720 CPUtime=9.59
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 954 5 0 0 25 0 1 0 249173769 12001280 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2930 2309 313 324 0 1999 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 11720

[startup+10.4014 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773376/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11720 CPUtime=10.39
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 1034 5 0 0 25 0 1 0 249173769 12001280 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2930 2309 313 324 0 1999 0
Current children cumulated CPU time (s) 10.39
Current children cumulated vsize (KiB) 11720

[startup+10.8014 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773376/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11720 CPUtime=10.79
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 1074 5 0 0 25 0 1 0 249173769 12001280 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2930 2309 313 324 0 1999 0
Current children cumulated CPU time (s) 10.79
Current children cumulated vsize (KiB) 11720

[startup+11.2015 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 32231
/proc/meminfo: memFree=1773376/2055920 swapFree=4146640/4192956
[pid=32230] ppid=32228 vsize=11720 CPUtime=11.19
/proc/32230/stat : 32230 (bsolo3.0.16) R 32228 32230 30769 0 -1 4194304 2342 0 0 0 1114 5 0 0 25 0 1 0 249173769 12001280 2309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32230/statm: 2930 2309 313 324 0 1999 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 11720

Child status: 0
Real time (s): 11.2477
CPU time (s): 11.2423
CPU user time (s): 11.1833
CPU system time (s): 0.058991
CPU usage (%): 99.9518
Max. virtual memory (cumulated for all children) (KiB): 11732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1833
system time used= 0.058991
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= 11

runsolver used 0.016997 second user time and 0.026995 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May  1 09:43:00 UTC 2007

IDJOB= 431962
IDBENCH= 48089
IDSOLVER= 163
FILE ID= node29/431962-1178012580

PBS_JOBID= 4728275

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/431962-1178012580/instance-431962-1178012580.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-431962-1178012580 -o ROOT/results/node29/solver-431962-1178012580 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431962-1178012580/instance-431962-1178012580.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  fb8239991fe60a33867ecb92496c7603

RANDOM SEED= 545414491

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1782040 kB
Buffers:         40084 kB
Cached:         151004 kB
SwapCached:      11212 kB
Active:         108056 kB
Inactive:       106684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782040 kB
SwapTotal:     4192956 kB
SwapFree:      4146640 kB
Dirty:            6752 kB
Writeback:           0 kB
Mapped:          30388 kB
Slab:            44548 kB
Committed_AS:  3382980 kB
PageTables:       1876 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 node29 on Tue May  1 09:43:12 UTC 2007