Trace number 2680741

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)OPT30 1103.59 1103.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM5084bd7d25dcb1d535d550da78b2db16
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark23.5534
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved YES
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45
Number of terms in the objective function 45
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680741-1277451712.opb.
0.00/0.01	c Instance file HOME/instance-2680741-1277451712.opb
0.00/0.01	c File size is 9856 bytes.
0.00/0.01	c Highest Coefficient sum: 67
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.00         s                                      |
0.00/0.01	c |  Number Variables:      45                                                  |
0.00/0.01	c |  Number Clauses:        330                                                 |
0.00/0.01	c |  Number Cardinality:    1                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      45      331     1034 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 33
0.00/0.01	o 33
0.00/0.01	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |      45      332     1079 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 32
0.00/0.01	o 32
0.00/0.01	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |      45      333     1124 |     5000        3     33 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 31
0.00/0.01	o 31
0.00/0.01	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        25 |      45      334     1169 |     5000       25     33 |  0.000 % |
0.00/0.01	c |       126 |      45      334     1169 |     5500      126     32 |  0.052 % |
0.00/0.01	c |       276 |      45      334     1169 |     6050      276     32 |  0.052 % |
0.00/0.01	c |       501 |      45      334     1169 |     6655      501     32 |  0.101 % |
0.00/0.02	c |       838 |      45      334     1169 |     7320      838     32 |  0.052 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 30
0.00/0.03	o 30
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 179.968 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |      1046 |      45      335     1214 |     5000     1046     32 |  0.052 % |
0.00/0.03	c |      1147 |      45      335     1214 |     5500     1147     31 |  0.052 % |
0.00/0.04	c |      1298 |      45      335     1214 |     6050     1298     31 |  0.052 % |
0.00/0.05	c |      1523 |      45      335     1214 |     6655     1523     31 |  0.052 % |
0.05/0.06	c |      1860 |      45      335     1214 |     7320     1860     31 |  0.052 % |
0.05/0.09	c |      2366 |      45      335     1214 |     8052     2366     31 |  0.052 % |
0.09/0.14	c |      3126 |      45      335     1214 |     8857     3126     31 |  0.101 % |
0.18/0.21	c |      4265 |      45      335     1214 |     9743     4265     31 |  0.052 % |
0.29/0.32	c |      5973 |      45      335     1214 |    10717     5973     31 |  0.052 % |
0.49/0.56	c |      8535 |      45      335     1214 |    11789     8535     31 |  0.052 % |
1.00/1.02	c |     12379 |      45      335     1214 |    12968     6471     31 |  0.052 % |
1.69/1.72	c |     18146 |      45      335     1214 |    14265    12238     30 |  0.052 % |
3.09/3.15	c |     26796 |      45      335     1214 |    15692    13740     30 |  0.052 % |
5.29/5.36	c |     39771 |      45      335     1214 |    17261    10999     30 |  0.053 % |
8.89/8.98	c |     59232 |      45      335     1214 |    18987    13168     30 |  0.052 % |
15.69/15.76	c |     88424 |      45      335     1214 |    20886    13837     30 |  0.053 % |
28.38/28.44	c |    132214 |      45      335     1214 |    22974    15802     30 |  0.053 % |
52.98/53.08	c |    197898 |      45      335     1214 |    25272    20824     30 |  0.055 % |
87.87/87.98	c |    296424 |      45      335     1214 |    27799    19020     30 |  0.059 % |
149.35/149.48	c |    444214 |      45      335     1214 |    30579    15974     30 |  0.102 % |
181.45/181.55	c There are 0 assigned variables. 0 in cost function.
181.94/182.07	c core #1
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 1
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #2
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 2
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #3
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 3
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #4
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 4
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #5
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 5
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #6
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 6
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #7
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 7
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #8
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 8
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #9
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 9
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #10
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 10
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #11
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 11
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #12
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 3	Core Weight: 1	Total Weight: 12
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #13
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 13
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #14
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 4	Core Weight: 1	Total Weight: 14
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c core #15
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 47	Core Weight: 1	Total Weight: 15
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c ============================[ Search Statistics ]==============================
181.94/182.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.07	c ===============================================================================
181.94/182.07	c |         0 |      99      396     1369 |     5000        0    nan |  0.000 % |
181.94/182.07	c ===============================================================================
181.94/182.07	c core #16
181.94/182.07	c 
181.94/182.07	c 
181.94/182.07	c Core size: 22	Core Weight: 1	Total Weight: 16
181.94/182.07	c
181.94/182.07	c
181.94/182.07	c ============================[ Search Statistics ]==============================
181.94/182.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.07	c ===============================================================================
181.94/182.07	c |         0 |     118      397     1407 |     5000        0    nan |  0.000 % |
181.94/182.07	c ===============================================================================
181.94/182.08	c core #17
181.94/182.08	c 
181.94/182.08	c 
181.94/182.08	c Core size: 44	Core Weight: 1	Total Weight: 17
181.94/182.08	c
181.94/182.08	c
181.94/182.08	c ============================[ Search Statistics ]==============================
181.94/182.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.08	c ===============================================================================
181.94/182.08	c |         0 |     161      398     1493 |     5000        0    nan |  0.000 % |
181.94/182.08	c |       100 |     161      398     1493 |     5500      100     21 |  0.004 % |
181.94/182.09	c ===============================================================================
181.94/182.09	c core #18
181.94/182.09	c 
181.94/182.09	c 
181.94/182.09	c Core size: 48	Core Weight: 1	Total Weight: 18
181.94/182.09	c
181.94/182.09	c
181.94/182.09	c ============================[ Search Statistics ]==============================
181.94/182.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.94/182.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.94/182.09	c ===============================================================================
181.94/182.09	c |         0 |     206      400     1586 |     5000        0    nan |  0.000 % |
181.94/182.10	c |       101 |     206      400     1586 |     5500      101     30 |  0.002 % |
182.04/182.11	c |       253 |     206      400     1586 |     6050      253     31 |  0.002 % |
182.04/182.12	c |       478 |     206      400     1586 |     6655      478     31 |  0.003 % |
182.04/182.14	c |       815 |     205      400     1586 |     7320      275     29 |  0.488 % |
182.04/182.18	c |      1324 |     205      400     1586 |     8052      784     26 |  0.490 % |
182.14/182.24	c |      2085 |     204      400     1586 |     8857      860     28 |  0.973 % |
182.25/182.30	c ===============================================================================
182.25/182.32	c core #19
182.25/182.32	c 
182.25/182.32	c 
182.25/182.32	c Core size: 47	Core Weight: 1	Total Weight: 19
182.25/182.32	c
182.25/182.32	c
182.25/182.32	c ============================[ Search Statistics ]==============================
182.25/182.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.25/182.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.25/182.32	c ===============================================================================
182.25/182.32	c |         0 |     246      402     1669 |     5000        0    nan |  0.000 % |
182.25/182.33	c |       109 |     246      402     1669 |     5500      109     60 |  0.002 % |
182.25/182.34	c |       259 |     246      402     1669 |     6050      259     49 |  0.002 % |
182.25/182.35	c |       484 |     246      402     1669 |     6655      484     37 |  0.002 % |
182.25/182.36	c |       821 |     246      402     1669 |     7320      821     32 |  0.002 % |
182.25/182.38	c |      1328 |     246      402     1669 |     8052     1328     29 |  0.002 % |
182.34/182.42	c |      2088 |     246      402     1669 |     8857     2088     27 |  0.002 % |
182.34/182.50	c |      3227 |     246      402     1669 |     9743     3227     26 |  0.003 % |
182.55/182.63	c |      4935 |     246      402     1669 |    10717     4935     26 |  0.003 % |
182.74/182.88	c |      7497 |     246      402     1669 |    11789     7497     25 |  0.003 % |
183.34/183.47	c |     11341 |     246      402     1669 |    12968    11341     25 |  0.003 % |
184.35/184.40	c |     17107 |     246      402     1669 |    14265    10606     24 |  0.003 % |
185.95/186.09	c |     25758 |     246      402     1669 |    15692    12109     24 |  0.003 % |
188.84/188.95	c |     38732 |     246      402     1669 |    17261     9372     24 |  0.003 % |
193.74/193.82	c |     58193 |     246      402     1669 |    18987    11547     23 |  0.003 % |
200.04/200.13	c |     87386 |     246      402     1669 |    20886    12218     24 |  0.003 % |
210.93/211.04	c |    131176 |     246      402     1669 |    22974    14171     23 |  0.003 % |
229.03/229.17	c |    196860 |     246      402     1669 |    25272    19213     23 |  0.003 % |
258.12/258.27	c |    295386 |     246      402     1669 |    27799    17502     23 |  0.005 % |
305.01/305.19	c |    443176 |     246      402     1669 |    30579    14614     23 |  0.007 % |
384.09/384.20	c |    664860 |     246      402     1669 |    33637    22468     21 |  0.008 % |
507.86/508.03	c |    997386 |     245      402     1669 |    37001    12909     27 |  0.408 % |
709.61/709.89	c |   1496174 |     244      402     1669 |    40701    13616     22 |  0.821 % |
1041.22/1041.58	c |   2244356 |     239      402     1669 |    44771    21509     19 |  2.854 % |
1103.50/1103.83	c ===============================================================================
1103.50/1103.83	c core #20
1103.50/1103.83	c 
1103.50/1103.83	c 
1103.50/1103.83	c Core size: 3	Core Weight: 44	Total Weight: 63
1103.50/1103.83	c
1103.50/1103.83	c
1103.50/1103.83	c This is when the PBO solver was able to find the optimum, but failed to prove optimality...
1103.50/1103.83	Best: 30
1103.50/1103.83	Total: 63
1103.50/1103.83	c #cores: 20
1103.50/1103.83	c Final Weight: 30
1103.50/1103.83	o 30
1103.50/1103.83	s OPTIMUM FOUND
1103.50/1103.83	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 x32 -x33 -x34 -x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45
1103.50/1103.83	c Total CPU time: 1095.16 s

Verifier Data 

OK	30

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680741-1277451712/watcher-2680741-1277451712 -o /tmp/evaluation-result-2680741-1277451712/solver-2680741-1277451712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680741-1277451712.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 27959
/proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=2568 CPUtime=0.01
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 297 0 0 0 1 0 0 0 19 0 1 0 86463284 2629632 212 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 642 212 145 303 0 337 0

[startup+0.05497 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 27959
/proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=2824 CPUtime=0.05
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 364 0 0 0 5 0 0 0 19 0 1 0 86463284 2891776 279 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 706 279 145 303 0 401 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2824

[startup+0.101961 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 27959
/proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=3080 CPUtime=0.09
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 420 0 0 0 9 0 0 0 19 0 1 0 86463284 3153920 335 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 770 335 145 303 0 465 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3080

[startup+0.30098 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 27959
/proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=3864 CPUtime=0.29
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 607 0 0 0 28 1 0 0 20 0 1 0 86463284 3956736 522 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 966 522 145 303 0 661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3864

[startup+0.701023 s]
/proc/loadavg: 0.00 0.00 0.00 3/106 27959
/proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=4784 CPUtime=0.69
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 862 0 0 0 67 2 0 0 20 0 1 0 86463284 4898816 777 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 1196 777 145 303 0 891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4784

[startup+1.50111 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 27960
/proc/meminfo: memFree=1324596/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=6480 CPUtime=1.49
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 1257 0 0 0 145 4 0 0 22 0 1 0 86463284 6635520 1172 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 1620 1172 145 303 0 1315 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6480

[startup+3.10128 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 27960
/proc/meminfo: memFree=1322736/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=8700 CPUtime=3.09
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 1807 0 0 0 303 6 0 0 25 0 1 0 86463284 8908800 1722 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 2175 1722 145 303 0 1870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8700

[startup+6.30162 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 27960
/proc/meminfo: memFree=1318148/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=12832 CPUtime=6.29
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 2870 0 0 0 618 11 0 0 25 0 1 0 86463284 13139968 2785 1992294400 134512640 135752675 4289100464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 3208 2785 145 303 0 2903 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12832

[startup+12.7013 s]
/proc/loadavg: 0.15 0.03 0.01 2/107 27960
/proc/meminfo: memFree=1310460/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=19928 CPUtime=12.69
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 4625 0 0 0 1250 19 0 0 25 0 1 0 86463284 20406272 4540 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 4982 4540 145 303 0 4677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19928

[startup+25.5017 s]
/proc/loadavg: 0.34 0.08 0.02 2/107 27962
/proc/meminfo: memFree=1300044/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=29904 CPUtime=25.48
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 7096 0 0 0 2516 32 0 0 25 0 1 0 86463284 30621696 7011 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 7476 7011 145 303 0 7171 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29904

[startup+51.1014 s]
/proc/loadavg: 0.56 0.15 0.05 2/107 27962
/proc/meminfo: memFree=1284668/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=45376 CPUtime=51.08
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 10956 0 0 0 5057 51 0 0 25 0 1 0 86463284 46465024 10871 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 11344 10871 145 303 0 11039 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45376

[startup+102.309 s]
/proc/loadavg: 0.81 0.28 0.10 2/107 27964
/proc/meminfo: memFree=1254164/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=75536 CPUtime=102.27
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 18484 0 0 0 10136 91 0 0 25 0 1 0 86463284 77348864 18399 1992294400 134512640 135752675 4289100464 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 18884 18399 145 303 0 18579 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75536

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/107 27964
/proc/meminfo: memFree=1223908/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=105856 CPUtime=162.25
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 26069 0 0 0 16089 136 0 0 25 0 1 0 86463284 108396544 25984 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 26464 25984 145 303 0 26159 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 105856

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/107 27966
/proc/meminfo: memFree=1210144/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=119248 CPUtime=222.23
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 29478 0 0 0 22030 193 0 0 25 0 1 0 86463284 122109952 29363 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 29812 29363 146 303 0 29507 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 119248

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/107 27968
/proc/meminfo: memFree=1190552/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=138936 CPUtime=282.21
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 34392 0 0 0 27973 248 0 0 25 0 1 0 86463284 142270464 34277 1992294400 134512640 135752675 4289100464 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 34734 34277 146 303 0 34429 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138936

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/107 27970
/proc/meminfo: memFree=1163396/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=166120 CPUtime=342.2
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 41166 0 0 0 33921 299 0 0 25 0 1 0 86463284 170106880 41051 1992294400 134512640 135752675 4289100464 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 41530 41051 146 303 0 41225 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 166120

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/107 27972
/proc/meminfo: memFree=1136488/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=193068 CPUtime=402.18
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 47915 0 0 0 39872 346 0 0 25 0 1 0 86463284 197701632 47800 1992294400 134512640 135752675 4289100464 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 48267 47800 146 303 0 47962 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 193068

[startup+462.3 s]
/proc/loadavg: 0.99 0.77 0.37 2/107 27972
/proc/meminfo: memFree=1110696/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=218548 CPUtime=462.16
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 54282 0 0 0 45826 390 0 0 25 0 1 0 86463284 223793152 54167 1992294400 134512640 135752675 4289100464 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 54637 54167 146 303 0 54332 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 218548

[startup+522.301 s]
/proc/loadavg: 0.99 0.81 0.41 2/107 27974
/proc/meminfo: memFree=1085276/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=244436 CPUtime=522.15
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 60747 0 0 0 51777 438 0 0 25 0 1 0 86463284 250302464 60632 1992294400 134512640 135752675 4289100464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 61109 60632 146 303 0 60804 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 244436

[startup+582.301 s]
/proc/loadavg: 0.99 0.84 0.44 2/107 27976
/proc/meminfo: memFree=1062584/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=266556 CPUtime=582.14
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 66280 0 0 0 57734 480 0 0 25 0 1 0 86463284 272953344 66165 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 66639 66165 146 303 0 66334 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 266556

[startup+642.3 s]
/proc/loadavg: 0.99 0.87 0.47 2/107 27978
/proc/meminfo: memFree=1036792/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=292220 CPUtime=642.13
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 72701 0 0 0 63683 530 0 0 25 0 1 0 86463284 299233280 72586 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 73055 72586 146 303 0 72750 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 292220

[startup+702.301 s]
/proc/loadavg: 0.99 0.89 0.50 2/107 27980
/proc/meminfo: memFree=1013232/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=315848 CPUtime=702.1
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 78583 0 0 0 69637 573 0 0 25 0 1 0 86463284 323428352 78468 1992294400 134512640 135752675 4289100464 18446744073709551615 134612107 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 78962 78468 146 303 0 78657 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 315848

[startup+762.308 s]
/proc/loadavg: 0.99 0.91 0.53 2/107 27980
/proc/meminfo: memFree=992772/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=335980 CPUtime=762.1
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 83628 0 0 0 75597 613 0 0 25 0 1 0 86463284 344043520 83513 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 83995 83513 146 303 0 83690 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 335980

[startup+822.301 s]
/proc/loadavg: 0.99 0.92 0.56 2/107 27982
/proc/meminfo: memFree=972312/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=356496 CPUtime=822.08
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 88766 0 0 0 81555 653 0 0 25 0 1 0 86463284 365051904 88651 1992294400 134512640 135752675 4289100464 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 89124 88651 146 303 0 88819 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 356496

[startup+882.301 s]
/proc/loadavg: 0.99 0.93 0.58 2/107 27984
/proc/meminfo: memFree=951232/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=377544 CPUtime=882.06
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 94001 0 0 0 87515 691 0 0 25 0 1 0 86463284 386605056 93886 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 94386 93886 146 303 0 94081 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 377544

[startup+942.3 s]
/proc/loadavg: 0.99 0.94 0.61 2/107 27986
/proc/meminfo: memFree=930276/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=398412 CPUtime=942.04
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 99230 0 0 0 93471 733 0 0 25 0 1 0 86463284 407973888 99115 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 99603 99115 146 303 0 99298 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 398412

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/107 27988
/proc/meminfo: memFree=909444/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=419168 CPUtime=1002.02
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 104417 0 0 0 99429 773 0 0 25 0 1 0 86463284 429228032 104302 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 104792 104302 146 303 0 104487 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 419168

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/107 27988
/proc/meminfo: memFree=889232/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=439796 CPUtime=1062.01
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 109547 0 0 0 105390 811 0 0 25 0 1 0 86463284 450351104 109432 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 109949 109432 146 303 0 109644 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 439796

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

[startup+1075.1 s]
/proc/loadavg: 0.99 0.96 0.65 2/107 27990
/proc/meminfo: memFree=885760/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=442840 CPUtime=1074.81
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 110321 0 0 0 106663 818 0 0 25 0 1 0 86463284 453468160 110206 1992294400 134512640 135752675 4289100464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 110710 110206 146 303 0 110405 0
Current children cumulated CPU time (s) 1074.81
Current children cumulated vsize (KiB) 442840

[startup+1087.91 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=880924/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=447616 CPUtime=1087.61
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 111496 0 0 0 107934 827 0 0 25 0 1 0 86463284 458358784 111381 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 111904 111381 146 303 0 111599 0
Current children cumulated CPU time (s) 1087.61
Current children cumulated vsize (KiB) 447616

[startup+1094.3 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=879560/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=449200 CPUtime=1094.01
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 111881 0 0 0 108570 831 0 0 25 0 1 0 86463284 459980800 111766 1992294400 134512640 135752675 4289100464 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112300 111766 146 303 0 111995 0
Current children cumulated CPU time (s) 1094.01
Current children cumulated vsize (KiB) 449200

[startup+1100.7 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=878444/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=450124 CPUtime=1100.41
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112134 0 0 0 109207 834 0 0 25 0 1 0 86463284 460926976 112019 1992294400 134512640 135752675 4289100464 18446744073709551615 134602979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112531 112019 146 303 0 112226 0
Current children cumulated CPU time (s) 1100.41
Current children cumulated vsize (KiB) 450124

[startup+1102.3 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=877452/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=451180 CPUtime=1102
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112384 0 0 0 109364 836 0 0 25 0 1 0 86463284 462008320 112269 1992294400 134512640 135752675 4289100464 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112795 112269 146 303 0 112490 0
Current children cumulated CPU time (s) 1102
Current children cumulated vsize (KiB) 451180

[startup+1103.1 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=877452/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=451444 CPUtime=1102.8
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112467 0 0 0 109443 837 0 0 25 0 1 0 86463284 462278656 112352 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112861 112352 146 303 0 112556 0
Current children cumulated CPU time (s) 1102.8
Current children cumulated vsize (KiB) 451444

[startup+1103.5 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=451576 CPUtime=1103.2
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112503 0 0 0 109483 837 0 0 25 0 1 0 86463284 462413824 112388 1992294400 134512640 135752675 4289100464 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112894 112388 146 303 0 112589 0
Current children cumulated CPU time (s) 1103.2
Current children cumulated vsize (KiB) 451576

[startup+1103.7 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=451708 CPUtime=1103.4
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112516 0 0 0 109503 837 0 0 25 0 1 0 86463284 462548992 112401 1992294400 134512640 135752675 4289100464 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112927 112401 146 303 0 112622 0
Current children cumulated CPU time (s) 1103.4
Current children cumulated vsize (KiB) 451708

[startup+1103.8 s]
/proc/loadavg: 0.99 0.96 0.66 2/107 27990
/proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956
[pid=27959] ppid=27957 vsize=451708 CPUtime=1103.5
/proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112528 0 0 0 109513 837 0 0 25 0 1 0 86463284 462548992 112413 1992294400 134512640 135752675 4289100464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27959/statm: 112927 112413 146 303 0 112622 0
Current children cumulated CPU time (s) 1103.5
Current children cumulated vsize (KiB) 451708

Child status: 0
Real time (s): 1103.88
CPU time (s): 1103.59
CPU user time (s): 1095.16
CPU system time (s): 8.42272
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 451708

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

runsolver used 1.87471 second user time and 5.17521 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-25 09:41:53
IDJOB=2680741
IDBENCH=1865
IDSOLVER=1190
FILE ID=node047/2680741-1277451712
PBS_JOBID= 11188121
Free space on /tmp= 62484 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680741-1277451712/watcher-2680741-1277451712 -o /tmp/evaluation-result-2680741-1277451712/solver-2680741-1277451712 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680741-1277451712.opb

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

MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16
RANDOM SEED=854475842

node047.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1328480 kB
Buffers:        170032 kB
Cached:         453720 kB
SwapCached:       9224 kB
Active:         225916 kB
Inactive:       410748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1328480 kB
SwapTotal:     4192956 kB
SwapFree:      4136688 kB
Dirty:            2632 kB
Writeback:           0 kB
AnonPages:       11500 kB
Mapped:           8376 kB
Slab:            71928 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62480 MiB
End job on node047 at 2010-06-25 10:00:17