Trace number 2655917

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? (MO) 1233.66 1234.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-alu2.b.opb
MD5SUMa793af2f16b39bdc1dda733b5326bfb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark60
Best CPU time to get the best result obtained on this benchmark2.97355
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 60
Optimality of the best value was proved NO
Number of variables1266
Total number of constraints2888
Number of constraints which are clauses2888
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
Number of terms in the objective function 1266
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 1266
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1266
Number of bits of the biggest sum of numbers11
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.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655917-1276594653.opb.
0.00/0.00	c Instance file HOME/instance-2655917-1276594653.opb
0.00/0.00	c File size is 613565 bytes.
0.04/0.09	c Highest Coefficient sum: 184
0.04/0.09	c ============================[ Problem Statistics ]=============================
0.04/0.09	c |                                                                             |
0.04/0.09	c |  Parsing time:          0.09         s                                      |
0.04/0.09	c |  Number Variables:      1266                                                |
0.04/0.09	c |  Number Clauses:        2888                                                |
0.04/0.09	c |  Number Cardinality:    0                                                   |
0.04/0.09	c |  Number PB Constraints: 0                                                   |
0.04/0.10	c ============================[ Search Statistics ]==============================
0.04/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.04/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.04/0.10	c ===============================================================================
0.04/0.10	c |         0 |    1252     2889    72490 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 88
0.09/0.10	o 88
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 179.9 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1252     2890    73756 |     5000        0    nan |  0.000 % |
0.09/0.12	c |       102 |    1252     2890    73756 |     5500      102    236 |  1.106 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 75
0.09/0.12	o 75
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 179.879 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |       102 |    1252     2891    75022 |     5000      102    236 |  1.106 % |
0.09/0.14	c |       202 |    1252     2891    75022 |     5500      202    180 |  1.106 % |
0.09/0.16	c |       352 |    1252     2891    75022 |     6050      352    165 |  1.106 % |
0.19/0.20	c |       577 |    1252     2891    75022 |     6655      577    152 |  1.106 % |
0.19/0.26	c |       915 |    1252     2891    75022 |     7320      915    139 |  1.106 % |
0.49/0.54	c |      1423 |    1252     2891    75022 |     8052     1423    136 |  1.106 % |
0.89/0.94	c |      2183 |    1252     2891    75022 |     8857     2183    132 |  1.106 % |
1.19/1.28	c |      3322 |    1252     2891    75022 |     9743     3322    139 |  1.106 % |
1.69/1.72	c |      5030 |    1252     2891    75022 |    10717     5030    130 |  1.106 % |
2.20/2.29	c |      7592 |    1252     2891    75022 |    11789     7592    129 |  1.106 % |
3.39/3.41	c |     11439 |    1252     2891    75022 |    12968    11439    134 |  1.106 % |
4.59/4.62	c |     17206 |    1252     2891    75022 |    14265    10178    129 |  1.106 % |
7.29/7.33	c |     25857 |    1252     2891    75022 |    15692    11144    147 |  1.106 % |
11.18/11.27	c |     38831 |    1252     2891    75022 |    17261    15690    159 |  1.106 % |
15.98/16.06	c |     58293 |    1252     2891    75022 |    18987    16688    155 |  1.106 % |
24.58/24.60	c |     87486 |    1252     2891    75022 |    20886    15590    175 |  1.106 % |
36.28/36.39	c |    131276 |    1252     2891    75022 |    22974    14172    121 |  1.106 % |
36.37/36.40	c ===============================================================================
36.37/36.40	c New solution: 74
36.37/36.40	o 74
36.37/36.40	c Elapsed CPU time: 35.9095 s	Remaining CPU time: 144.09 s
36.37/36.40	c ===============================================================================
36.37/36.40	c |    131277 |    1252     2892    76288 |     5000    14173    121 |  1.106 % |
36.47/36.51	c ===============================================================================
36.47/36.51	c New solution: 73
36.47/36.51	o 73
36.47/36.51	c Elapsed CPU time: 36.0195 s	Remaining CPU time: 143.98 s
36.47/36.51	c ===============================================================================
36.47/36.51	c |    131277 |    1252     2893    77554 |     5000     3544    124 |  1.106 % |
36.47/36.52	c |    131378 |    1252     2893    77554 |     5500     3645    125 |  1.106 % |
36.47/36.55	c |    131528 |    1252     2893    77554 |     6050     3795    127 |  1.106 % |
36.58/36.60	c |    131753 |    1252     2893    77554 |     6655     4020    127 |  1.106 % |
36.68/36.70	c |    132091 |    1252     2893    77554 |     7320     4358    125 |  1.106 % |
36.78/36.82	c |    132599 |    1252     2893    77554 |     8052     4866    124 |  1.106 % |
36.97/37.06	c |    133360 |    1252     2893    77554 |     8857     5627    120 |  1.106 % |
37.38/37.47	c |    134499 |    1252     2893    77554 |     9743     6766    126 |  1.106 % |
38.18/38.26	c |    136210 |    1252     2893    77554 |    10717     8477    122 |  1.106 % |
39.08/39.10	c |    138773 |    1252     2893    77554 |    11789    11040    124 |  1.106 % |
40.07/40.10	c |    142618 |    1252     2893    77554 |    12968     8431    121 |  1.106 % |
41.47/41.59	c |    148384 |    1252     2893    77554 |    14265     7182    117 |  1.106 % |
45.17/45.20	c |    157033 |    1252     2893    77554 |    15692     8193    121 |  1.106 % |
51.37/51.48	c |    170007 |    1252     2893    77554 |    17261    12834    163 |  1.106 % |
52.07/52.16	c ===============================================================================
52.07/52.16	c New solution: 72
52.07/52.16	o 72
52.07/52.16	c Elapsed CPU time: 51.4712 s	Remaining CPU time: 128.529 s
52.07/52.16	c ===============================================================================
52.07/52.16	c |    173514 |    1252     2894    78820 |     5000    16341    156 |  1.106 % |
52.17/52.22	c |    173615 |    1252     2894    78820 |     5500     4187    134 |  1.106 % |
52.17/52.26	c |    173765 |    1252     2894    78820 |     6050     4337    133 |  1.106 % |
52.28/52.32	c |    173990 |    1252     2894    78820 |     6655     4562    131 |  1.106 % |
52.37/52.42	c |    174327 |    1252     2894    78820 |     7320     4899    133 |  1.106 % |
52.57/52.68	c |    174835 |    1252     2894    78820 |     8052     5407    132 |  1.106 % |
52.87/52.94	c |    175596 |    1252     2894    78820 |     8857     6168    136 |  1.106 % |
53.17/53.29	c |    176735 |    1252     2894    78820 |     9743     7307    137 |  1.106 % |
53.57/53.67	c |    178444 |    1252     2894    78820 |    10717     9016    132 |  1.106 % |
54.37/54.43	c |    181007 |    1252     2894    78820 |    11789    11579    147 |  1.106 % |
55.17/55.21	c |    184854 |    1252     2894    78820 |    12968     8978    133 |  1.106 % |
57.77/57.83	c |    190620 |    1252     2894    78820 |    14265     7689    182 |  1.106 % |
60.37/60.49	c |    199269 |    1252     2894    78820 |    15692     8653    114 |  1.106 % |
64.97/65.09	c |    212243 |    1252     2894    78820 |    17261    13273    151 |  1.106 % |
70.37/70.42	c |    231704 |    1252     2894    78820 |    18987    14326    128 |  1.106 % |
78.87/78.93	c |    260897 |    1252     2894    78820 |    20886    13203    159 |  1.106 % |
93.16/93.30	c |    304686 |    1252     2894    78820 |    22974    11993    171 |  1.106 % |
113.55/113.63	c |    370371 |    1252     2894    78820 |    25272    11777    146 |  1.106 % |
142.64/142.76	c |    468898 |    1252     2894    78820 |    27799    17435    135 |  1.106 % |
182.03/182.18	c There are 14 assigned variables. 14 in cost function.
183.33/183.45	c core #1
183.33/183.45	c core #2
183.33/183.45	c core #3
183.33/183.45	c core #4
183.33/183.45	c core #5
183.33/183.45	c core #6
183.33/183.45	c core #7
183.33/183.45	c core #8
183.33/183.45	c core #9
183.33/183.45	c core #10
183.33/183.45	c core #11
183.33/183.45	c core #12
183.33/183.45	c core #13
183.33/183.45	c core #14
183.33/183.45	c core #15
183.33/183.45	c core #16
183.33/183.45	c core #17
183.33/183.45	c core #18
183.33/183.45	c core #19
183.33/183.45	c core #20
183.33/183.45	c core #21
183.33/183.45	c core #22
183.33/183.45	c core #23
183.33/183.45	c core #24
183.33/183.45	c core #25
183.33/183.45	c core #26
183.33/183.45	c core #27
183.33/183.45	c core #28
183.33/183.45	c core #29
183.33/183.45	c core #30
183.33/183.45	c core #31
183.33/183.45	c ============================[ Search Statistics ]==============================
183.33/183.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.45	c ===============================================================================
183.33/183.45	c |         0 |    1059     4002    45031 |     5000        0    nan |  0.000 % |
183.33/183.45	c ===============================================================================
183.33/183.47	c core #32
183.33/183.47	c ============================[ Search Statistics ]==============================
183.33/183.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.47	c ===============================================================================
183.33/183.47	c |         0 |    1158     4003    46712 |     5000        0    nan |  0.000 % |
183.33/183.49	c |       104 |    1147     4003    46712 |     5500      104     25 | 40.279 % |
183.33/183.49	c ===============================================================================
183.43/183.51	c core #33
183.43/183.51	c ============================[ Search Statistics ]==============================
183.43/183.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.51	c ===============================================================================
183.43/183.51	c |         0 |    1487     4004    51627 |     5000        0    nan |  0.000 % |
183.43/183.52	c |       103 |    1487     4004    51627 |     5500      103     47 | 28.818 % |
183.43/183.57	c |       253 |    1486     4004    51627 |     6050      253     54 | 28.866 % |
183.43/183.60	c ===============================================================================
183.54/183.62	c core #34
183.54/183.62	c ============================[ Search Statistics ]==============================
183.54/183.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.62	c ===============================================================================
183.54/183.62	c |         0 |    1700     4005    55048 |     5000        0    nan |  0.000 % |
183.54/183.64	c |       103 |    1700     4005    55048 |     5500      103     52 | 24.444 % |
183.54/183.67	c |       253 |    1699     4005    55048 |     6050      253     50 | 24.533 % |
183.64/183.73	c |       478 |    1699     4005    55048 |     6655      478     69 | 24.533 % |
183.64/183.80	c |       815 |    1698     4005    55048 |     7320      814     77 | 24.533 % |
183.82/183.91	c |      1322 |    1698     4005    55048 |     8052     1321     86 | 24.533 % |
183.93/184.08	c |      2081 |    1698     4005    55048 |     8857     2080     88 | 24.533 % |
184.03/184.13	c ===============================================================================
184.03/184.17	c core #35
184.03/184.17	c ============================[ Search Statistics ]==============================
184.03/184.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.03/184.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.03/184.17	c ===============================================================================
184.03/184.17	c |         0 |    2170     4006    63358 |     5000        0    nan |  0.000 % |
184.13/184.20	c |       100 |    2170     4006    63358 |     5500      100     71 | 17.049 % |
184.13/184.26	c |       250 |    2170     4006    63358 |     6050      250    116 | 17.049 % |
184.22/184.33	c |       475 |    2170     4006    63358 |     6655      475    123 | 17.049 % |
184.33/184.44	c |       817 |    2170     4006    63358 |     7320      817    152 | 17.049 % |
184.43/184.58	c |      1324 |    2170     4006    63358 |     8052     1324    159 | 17.049 % |
184.73/184.86	c |      2084 |    2170     4006    63358 |     8857     2084    169 | 17.049 % |
185.22/185.32	c |      3224 |    2170     4006    63358 |     9743     3224    178 | 17.049 % |
186.13/186.24	c |      4937 |    2170     4006    63358 |    10717     4937    196 | 17.049 % |
187.23/187.37	c |      7500 |    2168     4006    63358 |    11789     7498    217 | 17.125 % |
189.73/189.82	c |     11344 |    2168     4006    63358 |    12968    11342    234 | 17.125 % |
194.03/194.18	c |     17111 |    2168     4006    63358 |    14265    10321    258 | 17.125 % |
200.03/200.15	c |     25760 |    2168     4006    63358 |    15692    11437    289 | 17.125 % |
208.62/208.76	c |     38738 |    2168     4006    63358 |    17261    16191    244 | 17.125 % |
217.52/217.66	c ===============================================================================
218.32/218.45	c core #36
218.32/218.45	c ============================[ Search Statistics ]==============================
218.32/218.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.32/218.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.32/218.45	c ===============================================================================
218.32/218.45	c |         0 |    2827     4007    70355 |     5000        0    nan |  0.000 % |
218.32/218.49	c |       106 |    2826     4007    70355 |     5500      106    169 | 10.598 % |
218.42/218.56	c |       257 |    2826     4007    70355 |     6050      257    138 | 10.598 % |
218.52/218.64	c |       482 |    2826     4007    70355 |     6655      480    151 | 10.598 % |
218.62/218.76	c |       819 |    2826     4007    70355 |     7320      817    136 | 10.598 % |
218.72/218.90	c |      1325 |    2826     4007    70355 |     8052     1323    130 | 10.598 % |
219.12/219.26	c |      2084 |    2826     4007    70355 |     8857     2082    142 | 10.598 % |
219.71/219.81	c |      3223 |    2826     4007    70355 |     9743     3221    162 | 10.598 % |
220.41/220.53	c |      4932 |    2826     4007    70355 |    10717     4930    184 | 10.598 % |
221.61/221.74	c |      7498 |    2826     4007    70355 |    11789     7496    191 | 10.598 % |
224.41/224.51	c |     11345 |    2826     4007    70355 |    12968    11343    213 | 10.598 % |
228.91/229.07	c |     17111 |    2826     4007    70355 |    14265    10411    231 | 10.598 % |
235.51/235.67	c |     25762 |    2826     4007    70355 |    15692    11623    209 | 10.598 % |
236.62/236.78	c ===============================================================================
237.02/237.17	c core #37
237.02/237.17	c ============================[ Search Statistics ]==============================
237.02/237.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
237.02/237.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
237.02/237.17	c ===============================================================================
237.02/237.17	c |         0 |    3432     4008    73898 |     5000        0    nan |  0.000 % |
237.12/237.22	c |       107 |    3432     4008    73898 |     5500      107    145 |  7.493 % |
237.12/237.26	c |       262 |    3432     4008    73898 |     6050      262     96 |  7.493 % |
237.21/237.30	c |       487 |    3432     4008    73898 |     6655      487     91 |  7.493 % |
237.32/237.45	c |       826 |    3432     4008    73898 |     7320      826     84 |  7.493 % |
237.51/237.65	c |      1334 |    3432     4008    73898 |     8052     1334    139 |  7.493 % |
237.82/237.91	c |      2093 |    3432     4008    73898 |     8857     2093    139 |  7.493 % |
238.41/238.55	c |      3234 |    3432     4008    73898 |     9743     3234    239 |  7.493 % |
239.51/239.69	c |      4943 |    3432     4008    73898 |    10717     4943    280 |  7.493 % |
242.61/242.70	c |      7505 |    3432     4008    73898 |    11789     7505    310 |  7.493 % |
246.21/246.38	c |     11352 |    3432     4008    73898 |    12968    11352    305 |  7.493 % |
250.91/251.08	c |     17121 |    3432     4008    73898 |    14265    10340    320 |  7.493 % |
260.20/260.32	c |     25771 |    3432     4008    73898 |    15692    11366    405 |  7.493 % |
275.20/275.35	c |     38746 |    3432     4008    73898 |    17261    16171    420 |  7.493 % |
301.20/301.30	c |     58210 |    3432     4008    73898 |    18987    17644    453 |  7.493 % |
362.07/362.23	c |     87404 |    3432     4008    73898 |    20886    17273    485 |  7.493 % |
420.35/420.53	c |    131194 |    3432     4008    73898 |    22974    17527    437 |  7.493 % |
510.13/510.31	c |    196878 |    3432     4008    73898 |    25272    23444    539 |  7.493 % |
640.58/640.84	c |    295408 |    3432     4008    73898 |    27799    13401    372 |  7.493 % |
871.90/872.22	c |    443198 |    3432     4008    73898 |    30579    22519    462 |  7.493 % |
1213.09/1213.50	c |    664882 |    3432     4008    73898 |    33637    22814    386 |  7.493 % |

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-2655917-1276594653/watcher-2655917-1276594653 -o /tmp/evaluation-result-2655917-1276594653/solver-2655917-1276594653 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655917-1276594653.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: 1.01 1.01 1.00 3/106 9257
/proc/meminfo: memFree=1848880/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=3344 CPUtime=0
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 324 0 0 0 0 0 0 0 17 0 1 0 753338 3424256 243 1992294400 134512640 135751879 4286883840 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 836 243 145 303 0 381 0

[startup+0.048025 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 9257
/proc/meminfo: memFree=1848880/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=3476 CPUtime=0.04
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 424 0 0 0 4 0 0 0 19 0 1 0 753338 3559424 343 1992294400 134512640 135751879 4286883840 18446744073709551615 134637979 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 869 343 209 303 0 414 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3476

[startup+0.101033 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 9257
/proc/meminfo: memFree=1848880/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=3272 CPUtime=0.09
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 620 0 0 0 9 0 0 0 19 0 1 0 753338 3350528 389 1992294400 134512640 135751879 4286883840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 818 389 146 303 0 513 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3272

[startup+0.301061 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 9257
/proc/meminfo: memFree=1848880/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=3924 CPUtime=0.29
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 792 0 0 0 28 1 0 0 19 0 1 0 753338 4018176 561 1992294400 134512640 135751879 4286883840 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 981 561 147 303 0 676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3924

[startup+0.701117 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 9257
/proc/meminfo: memFree=1848880/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=4572 CPUtime=0.69
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 932 0 0 0 68 1 0 0 19 0 1 0 753338 4681728 701 1992294400 134512640 135751879 4286883840 18446744073709551615 134607272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 1143 701 147 303 0 838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4572

[startup+1.50123 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9258
/proc/meminfo: memFree=1846144/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=6136 CPUtime=1.49
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 1344 0 0 0 147 2 0 0 21 0 1 0 753338 6283264 1113 1992294400 134512640 135751879 4286883840 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 1534 1113 147 303 0 1229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6136

[startup+3.10146 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9258
/proc/meminfo: memFree=1842920/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=10448 CPUtime=3.09
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 2395 0 0 0 304 5 0 0 25 0 1 0 753338 10698752 2164 1992294400 134512640 135751879 4286883840 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 2612 2164 147 303 0 2307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10448

[startup+6.30091 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9258
/proc/meminfo: memFree=1834240/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=18556 CPUtime=6.29
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 4441 0 0 0 619 10 0 0 25 0 1 0 753338 19001344 4210 1992294400 134512640 135751879 4286883840 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 4639 4210 148 303 0 4334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18556

[startup+12.7018 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9258
/proc/meminfo: memFree=1816632/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=36412 CPUtime=12.69
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 8901 0 0 0 1251 18 0 0 25 0 1 0 753338 37285888 8670 1992294400 134512640 135751879 4286883840 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 9103 8670 148 303 0 8798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36412

[startup+25.5006 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9258
/proc/meminfo: memFree=1780424/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=71072 CPUtime=25.48
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 17561 0 0 0 2515 33 0 0 25 0 1 0 753338 72777728 17330 1992294400 134512640 135751879 4286883840 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 17768 17330 148 303 0 17463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71072

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9260
/proc/meminfo: memFree=1731568/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=119752 CPUtime=51.07
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 29722 0 0 0 5042 65 0 0 25 0 1 0 753338 122626048 29491 1992294400 134512640 135751879 4286883840 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 29938 29491 148 303 0 29633 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 119752

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9260
/proc/meminfo: memFree=1613644/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=236808 CPUtime=102.26
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 58984 0 0 0 10099 127 0 0 25 0 1 0 753338 242491392 58753 1992294400 134512640 135751879 4286883840 18446744073709551615 134606822 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 59202 58753 148 303 0 58897 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 236808

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9262
/proc/meminfo: memFree=1489024/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=362208 CPUtime=162.23
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 90289 0 0 0 16030 193 0 0 25 0 1 0 753338 370900992 90058 1992294400 134512640 135751879 4286883840 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 90552 90058 148 303 0 90247 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 362208

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9264
/proc/meminfo: memFree=1423056/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=426592 CPUtime=222.22
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 106469 0 0 0 21963 259 0 0 25 0 1 0 753338 436830208 106209 1992294400 134512640 135751879 4286883840 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 106648 106209 151 303 0 106343 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 426592

[startup+282.301 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 9266
/proc/meminfo: memFree=1346920/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=503640 CPUtime=282.2
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 125730 0 0 0 27892 328 0 0 25 0 1 0 753338 515727360 125470 1992294400 134512640 135751879 4286883840 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 125910 125470 151 303 0 125605 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 503640

[startup+342.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 9266
/proc/meminfo: memFree=1268800/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=580880 CPUtime=342.18
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 145013 0 0 0 33854 364 0 0 25 0 1 0 753338 594821120 144753 1992294400 134512640 135751879 4286883840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 145220 144753 151 303 0 144915 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 580880

[startup+402.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 9268
/proc/meminfo: memFree=1192788/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=658412 CPUtime=402.15
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 164407 0 0 0 39816 399 0 0 25 0 1 0 753338 674213888 164147 1992294400 134512640 135751879 4286883840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 164603 164147 151 303 0 164298 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 658412

[startup+462.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 9270
/proc/meminfo: memFree=1102268/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=747124 CPUtime=462.14
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 186565 0 0 0 45769 445 0 0 25 0 1 0 753338 765054976 186305 1992294400 134512640 135751879 4286883840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 186781 186305 151 303 0 186476 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 747124

[startup+522.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 9272
/proc/meminfo: memFree=993892/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=857012 CPUtime=522.12
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 214059 0 0 0 51714 498 0 0 25 0 1 0 753338 877580288 213799 1992294400 134512640 135751879 4286883840 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 214253 213799 151 303 0 213948 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 857012

[startup+582.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 9274
/proc/meminfo: memFree=908580/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=940652 CPUtime=582.1
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 234938 0 0 0 57664 546 0 0 25 0 1 0 753338 963227648 234678 1992294400 134512640 135751879 4286883840 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 235163 234678 151 303 0 234858 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 940652

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9274
/proc/meminfo: memFree=824508/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1023784 CPUtime=642.08
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 255717 0 0 0 63618 590 0 0 25 0 1 0 753338 1048354816 255457 1992294400 134512640 135751879 4286883840 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 255946 255457 151 303 0 255641 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1023784

[startup+702.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9276
/proc/meminfo: memFree=741676/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1107248 CPUtime=702.06
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 276556 0 0 0 69577 629 0 0 25 0 1 0 753338 1133821952 276296 1992294400 134512640 135751879 4286883840 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 276812 276296 151 303 0 276507 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 1107248

[startup+762.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9278
/proc/meminfo: memFree=671988/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1176100 CPUtime=762.04
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 293755 0 0 0 75546 658 0 0 25 0 1 0 753338 1204326400 293495 1992294400 134512640 135751879 4286883840 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 294025 293495 151 303 0 293720 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 1176100

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9280
/proc/meminfo: memFree=589280/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1259684 CPUtime=822.01
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 314645 0 0 0 81507 694 0 0 25 0 1 0 753338 1289916416 314385 1992294400 134512640 135751879 4286883840 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 314921 314385 151 303 0 314616 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1259684

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9282
/proc/meminfo: memFree=492312/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1355572 CPUtime=882
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 338619 0 0 0 87462 738 0 0 25 0 1 0 753338 1388105728 338359 1992294400 134512640 135751879 4286883840 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 338893 338359 151 303 0 338588 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1355572

[startup+942.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 9282
/proc/meminfo: memFree=407124/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1441036 CPUtime=941.98
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 359988 0 0 0 93414 784 0 0 25 0 1 0 753338 1475620864 359728 1992294400 134512640 135751879 4286883840 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 360259 359728 151 303 0 359954 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1441036

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9284
/proc/meminfo: memFree=307180/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1540388 CPUtime=1001.95
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 384809 0 0 0 99361 834 0 0 25 0 1 0 753338 1577357312 384549 1992294400 134512640 135751879 4286883840 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 385097 384549 151 303 0 384792 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1540388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9286
/proc/meminfo: memFree=231168/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1616724 CPUtime=1061.94
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 403897 0 0 0 105315 879 0 0 25 0 1 0 753338 1655525376 403637 1992294400 134512640 135751879 4286883840 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 404181 403637 151 303 0 403876 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1616724

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9288
/proc/meminfo: memFree=149452/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1697940 CPUtime=1121.92
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 424187 0 0 0 111276 916 0 0 25 0 1 0 753338 1738690560 423927 1992294400 134512640 135751879 4286883840 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 424485 423927 151 303 0 424180 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1697940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9290
/proc/meminfo: memFree=78896/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1769008 CPUtime=1181.9
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 441928 0 0 0 117233 957 0 0 25 0 1 0 753338 1811464192 441668 1992294400 134512640 135751879 4286883840 18446744073709551615 134607336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 442252 441668 151 303 0 441947 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1769008



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1233.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9290
/proc/meminfo: memFree=9612/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=1843388 CPUtime=1233.49
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4202496 460526 0 0 0 122356 993 0 0 25 0 1 0 753338 1887629312 460266 1992294400 134512640 135751879 4286883840 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/9257/statm: 460847 460266 151 303 0 460542 0
Current children cumulated CPU time (s) 1233.49
Current children cumulated vsize (KiB) 1843388

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1234.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9290
/proc/meminfo: memFree=9612/2059040 swapFree=4192956/4192956
[pid=9257] ppid=9255 vsize=0 CPUtime=1233.59
/proc/9257/stat : 9257 (wbo1.4b) R 9255 9257 2479 0 -1 4203524 460526 0 0 0 122356 1003 0 0 25 0 1 0 753338 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/9257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1233.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1234.07
CPU time (s): 1233.66
CPU user time (s): 1223.56
CPU system time (s): 10.0995
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1843388

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

runsolver used 2.04469 second user time and 5.83611 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-15 11:37:33
IDJOB=2655917
IDBENCH=2876
IDSOLVER=1161
FILE ID=node049/2655917-1276594653
PBS_JOBID= 11173563
Free space on /tmp= 62524 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655917-1276594653/watcher-2655917-1276594653 -o /tmp/evaluation-result-2655917-1276594653/solver-2655917-1276594653 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655917-1276594653.opb

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

MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4
RANDOM SEED=268227129

node049.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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850128 kB
Buffers:           964 kB
Cached:          72788 kB
SwapCached:          0 kB
Active:          50360 kB
Inactive:        82924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850128 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3232 kB
Writeback:           0 kB
AnonPages:       59476 kB
Mapped:          15432 kB
Slab:            53708 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62520 MiB
End job on node049 at 2010-06-15 11:58:09