Trace number 1875335

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1608.92 1609.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_50_10_1.opb
MD5SUM85943b997cdad21dc5e2becf1aafbf8b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-12
Best CPU time to get the best result obtained on this benchmark0.102984
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12
Optimality of the best value was proved YES
Number of variables50
Total number of constraints50
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 constraints50
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)610
Sum of products size (including duplicates)1220
Number of different products305
Sum of products size610

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875335-1245199287.opb.
0.00/0.00	c Instance file HOME/instance-1875335-1245199287.opb
0.00/0.00	c File size is 23853 bytes.
0.00/0.00	c Highest Coefficient sum: 18
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      355                                                 |
0.00/0.00	c |  Number Clauses:        355                                                 |
0.00/0.00	c |  Number Cardinality:    100                                                 |
0.00/0.00	c |  Number PB Constraints: 305                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -49
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -48
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -47
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -46
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #5
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -45
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #6
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: -44
0.00/0.00	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -43
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -42
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -41
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -40
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #11
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -39
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -38
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #13
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -37
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #14
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -36
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #15
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: -35
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #16
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -34
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -33
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -32
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -31
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -30
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #21
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -29
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #22
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -28
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #23
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -27
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #24
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: -26
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #25
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: -25
0.00/0.02	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 23	Core Weight: 1	Total Weight: -24
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     110      786     1635 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #27
0.00/0.03	c Core size: 17	Core Weight: 1	Total Weight: -23
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     116      787     1647 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #28
0.00/0.03	c Core size: 20	Core Weight: 1	Total Weight: -22
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     124      788     1663 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #29
0.00/0.03	c Core size: 32	Core Weight: 1	Total Weight: -21
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     136      789     1687 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #30
0.00/0.03	c Core size: 52	Core Weight: 1	Total Weight: -20
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     153      790     1721 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #31
0.00/0.03	c Core size: 72	Core Weight: 1	Total Weight: -19
0.00/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     174      791     1763 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       100 |     173      791     1763 |     5500      100     19 | 63.891 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #32
0.00/0.04	c Core size: 149	Core Weight: 1	Total Weight: -18
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     212      792     1839 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       103 |     212      792     1839 |     5500      103     18 | 58.995 % |
0.00/0.05	c |       253 |     212      792     1839 |     6050      253     24 | 58.995 % |
0.00/0.06	c |       480 |     201      792     1839 |     6655      479     29 | 64.604 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #33
0.00/0.06	c Core size: 169	Core Weight: 1	Total Weight: -17
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     246      793     1907 |     5000        0    nan |  0.000 % |
0.06/0.06	c |       100 |     246      793     1907 |     5500      100     28 | 55.354 % |
0.06/0.07	c |       250 |     246      793     1907 |     6050      250     28 | 55.354 % |
0.06/0.08	c |       479 |     246      793     1907 |     6655      479     47 | 55.354 % |
0.09/0.10	c |       816 |     246      793     1907 |     7320      816     53 | 55.354 % |
0.09/0.14	c |      1323 |     246      793     1907 |     8052     1323     57 | 55.354 % |
0.19/0.23	c |      2086 |     246      793     1907 |     8857     2086     78 | 55.354 % |
0.39/0.43	c |      3227 |     246      793     1907 |     9743     3227     96 | 55.361 % |
0.39/0.48	c ===============================================================================
0.49/0.51	c core #34
0.49/0.51	c Core size: 254	Core Weight: 1	Total Weight: -16
0.49/0.51	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |     286      794     1987 |     5000        0    nan |  0.000 % |
0.49/0.52	c |       100 |     286      794     1987 |     5500      100     34 | 51.608 % |
0.49/0.52	c |       251 |     286      794     1987 |     6050      251     27 | 51.608 % |
0.49/0.53	c |       476 |     286      794     1987 |     6655      476     35 | 51.608 % |
0.49/0.55	c |       813 |     286      794     1987 |     7320      813     42 | 51.608 % |
0.49/0.59	c |      1321 |     286      794     1987 |     8052     1321     53 | 51.608 % |
0.59/0.65	c |      2080 |     286      794     1987 |     8857     2080     61 | 51.608 % |
0.69/0.75	c |      3219 |     286      794     1987 |     9743     3219     57 | 51.608 % |
0.89/0.96	c |      4928 |     286      794     1987 |    10717     4928     63 | 51.611 % |
1.10/1.12	c ===============================================================================
1.10/1.16	c core #35
1.10/1.16	c Core size: 342	Core Weight: 1	Total Weight: -15
1.10/1.16	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 1798.86 s
1.10/1.17	c ============================[ Search Statistics ]==============================
1.10/1.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.17	c ===============================================================================
1.10/1.17	c |         0 |     334      795     2083 |     5000        0    nan |  0.000 % |
1.10/1.17	c |       100 |     334      795     2083 |     5500      100     54 | 47.731 % |
1.10/1.18	c |       250 |     334      795     2083 |     6050      250     55 | 47.731 % |
1.10/1.19	c |       476 |     334      795     2083 |     6655      476     51 | 47.731 % |
1.19/1.21	c |       818 |     334      795     2083 |     7320      818     63 | 47.731 % |
1.19/1.25	c |      1325 |     334      795     2083 |     8052     1325     62 | 47.731 % |
1.28/1.32	c |      2085 |     334      795     2083 |     8857     2085     73 | 47.731 % |
1.39/1.49	c |      3227 |     334      795     2083 |     9743     3227     89 | 47.731 % |
1.79/1.83	c |      4935 |     334      795     2083 |    10717     4935    105 | 47.731 % |
2.28/2.31	c |      7499 |     334      795     2083 |    11789     7499    100 | 47.731 % |
3.20/3.25	c |     11346 |     334      795     2083 |    12968    11346    100 | 47.731 % |
5.09/5.15	c |     17114 |     334      795     2083 |    14265    10421    138 | 47.731 % |
7.88/7.95	c |     25763 |     334      795     2083 |    15692    11750    142 | 47.731 % |
13.88/13.91	c |     38738 |     334      795     2083 |    17261     8638    168 | 47.731 % |
21.68/21.74	c |     58202 |     334      795     2083 |    18987    10425    128 | 47.731 % |
36.07/36.16	c |     87395 |     334      795     2083 |    20886    10498     84 | 47.731 % |
55.56/55.65	c ===============================================================================
57.56/57.60	c core #36
57.56/57.60	c Core size: 395	Core Weight: 1	Total Weight: -14
57.56/57.60	c Elapsed CPU time: 57.1483 s	Remaining CPU time: 1742.85 s
57.66/57.73	c ============================[ Search Statistics ]==============================
57.66/57.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
57.66/57.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
57.66/57.73	c ===============================================================================
57.66/57.73	c |         0 |     382      796     2179 |     5000        0    nan |  0.000 % |
57.66/57.75	c |       102 |     382      796     2179 |     5500      102     68 | 44.396 % |
57.66/57.76	c |       252 |     382      796     2179 |     6050      252     48 | 44.396 % |
57.66/57.77	c |       477 |     382      796     2179 |     6655      477     50 | 44.396 % |
57.76/57.80	c |       814 |     382      796     2179 |     7320      814     62 | 44.396 % |
57.76/57.85	c |      1320 |     382      796     2179 |     8052     1320     78 | 44.396 % |
57.86/57.94	c |      2081 |     382      796     2179 |     8857     2081     86 | 44.396 % |
58.06/58.12	c |      3220 |     382      796     2179 |     9743     3220    103 | 44.396 % |
58.36/58.49	c |      4928 |     382      796     2179 |    10717     4928    124 | 44.396 % |
59.27/59.39	c |      7492 |     382      796     2179 |    11789     7492    148 | 44.396 % |
61.35/61.46	c |     11336 |     382      796     2179 |    12968    11336    172 | 44.396 % |
65.46/65.55	c |     17103 |     382      796     2179 |    14265    10402    219 | 44.396 % |
71.76/71.85	c |     25753 |     382      796     2179 |    15692    11712    227 | 44.396 % |
84.55/84.67	c |     38729 |     382      796     2179 |    17261     8560    253 | 44.396 % |
101.04/101.16	c |     58190 |     382      796     2179 |    18987    10356    198 | 44.396 % |
116.83/116.95	c |     87382 |     382      796     2179 |    20886    10437    139 | 44.396 % |
146.01/146.13	c |    131174 |     382      796     2179 |    22974    11564    172 | 44.396 % |
206.29/206.41	c |    196860 |     382      796     2179 |    25272    18763    258 | 44.396 % |
286.35/286.51	c |    295386 |     382      796     2179 |    27799    13745    177 | 44.396 % |
409.29/409.50	c |    443176 |     382      796     2179 |    30579    15611    199 | 44.396 % |
661.56/661.93	c |    664861 |     382      796     2179 |    33637    16328    174 | 44.396 % |
1017.47/1018.08	c |    997386 |     382      796     2179 |    37001    23849    256 | 44.396 % |
1587.42/1588.38	c |   1496174 |     382      796     2179 |    40701    18695    163 | 44.396 % |

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-1875335-1245199287/watcher-1875335-1245199287 -o /tmp/evaluation-result-1875335-1245199287/solver-1875335-1245199287 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875335-1245199287.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.00 0.99 0.99 3/64 5309
/proc/meminfo: memFree=1830152/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=2524 CPUtime=0
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 227 0 0 0 0 0 0 0 18 0 1 0 187529642 2584576 205 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 631 207 135 292 0 336 0

[startup+0.0676181 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 5309
/proc/meminfo: memFree=1830152/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=3456 CPUtime=0.06
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 467 0 0 0 6 0 0 0 18 0 1 0 187529642 3538944 445 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 864 445 136 292 0 569 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3456

[startup+0.101624 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 5309
/proc/meminfo: memFree=1830152/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=3588 CPUtime=0.09
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 481 0 0 0 9 0 0 0 18 0 1 0 187529642 3674112 459 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 897 459 136 292 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.301662 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 5309
/proc/meminfo: memFree=1830152/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=4644 CPUtime=0.29
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 755 0 0 0 29 0 0 0 19 0 1 0 187529642 4755456 733 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 1161 733 136 292 0 866 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4644

[startup+0.701739 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 5309
/proc/meminfo: memFree=1830152/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=5704 CPUtime=0.69
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 1016 0 0 0 68 1 0 0 22 0 1 0 187529642 5840896 994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 1426 994 136 292 0 1131 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5704

[startup+1.50189 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1825600/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=7556 CPUtime=1.49
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 1474 0 0 0 146 3 0 0 25 0 1 0 187529642 7737344 1452 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 1889 1452 136 292 0 1594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7556

[startup+3.1012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1823808/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=10996 CPUtime=3.09
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 2329 0 0 0 304 5 0 0 25 0 1 0 187529642 11259904 2307 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 2749 2307 136 292 0 2454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10996

[startup+6.30181 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1814912/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=19056 CPUtime=6.29
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 4361 0 0 0 621 8 0 0 25 0 1 0 187529642 19513344 4339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 4764 4339 136 292 0 4469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19056

[startup+12.701 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1800000/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=33744 CPUtime=12.68
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 8011 0 0 0 1255 13 0 0 25 0 1 0 187529642 34553856 7989 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 8436 7989 136 292 0 8141 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33744

[startup+25.5015 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1775360/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=57304 CPUtime=25.47
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 13891 0 0 0 2524 23 0 0 25 0 1 0 187529642 58679296 13869 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 14326 13869 136 292 0 14031 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57304

[startup+51.1014 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1731392/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=101640 CPUtime=51.06
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 24979 0 0 0 5067 39 0 0 25 0 1 0 187529642 104079360 24957 1992294400 134512640 135709839 4294956240 18446744073709551615 134611861 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 25410 24957 136 292 0 25115 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 101640

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1686784/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=145336 CPUtime=102.24
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 35903 0 0 0 10165 59 0 0 25 0 1 0 187529642 148824064 35881 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 36334 35881 136 292 0 36039 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 145336

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1596032/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=236868 CPUtime=162.21
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 58797 0 0 0 16127 94 0 0 25 0 1 0 187529642 242552832 58775 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 59217 58775 136 292 0 58922 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 236868

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1521984/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=310148 CPUtime=222.18
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 77067 0 0 0 22100 118 0 0 25 0 1 0 187529642 317591552 77045 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 77537 77045 136 292 0 77242 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 310148

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1444992/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=387384 CPUtime=282.15
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 96369 0 0 0 28065 150 0 0 25 0 1 0 187529642 396681216 96347 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 96846 96347 136 292 0 96551 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 387384

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1362368/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=469640 CPUtime=342.13
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 116898 0 0 0 34030 183 0 0 25 0 1 0 187529642 480911360 116876 1992294400 134512640 135709839 4294956240 18446744073709551615 134573898 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 117410 116876 136 292 0 117115 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 469640

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1272896/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=559652 CPUtime=402.09
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 139388 0 0 0 39997 212 0 0 25 0 1 0 187529642 573083648 139366 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 139913 139366 136 292 0 139618 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 559652

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1209984/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=621896 CPUtime=462.07
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 154963 0 0 0 45971 236 0 0 25 0 1 0 187529642 636821504 154941 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 155474 154941 136 292 0 155179 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 621896

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1134144/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=698348 CPUtime=522.03
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 174035 0 0 0 51942 261 0 0 25 0 1 0 187529642 715108352 174013 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 174587 174013 136 292 0 174292 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 698348

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5310
/proc/meminfo: memFree=1066112/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=765816 CPUtime=582
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 190912 0 0 0 57917 283 0 0 25 0 1 0 187529642 784195584 190890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 191454 190890 136 292 0 191159 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 765816

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=1002944/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=828024 CPUtime=641.97
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 206471 0 0 0 63891 306 0 0 25 0 1 0 187529642 847896576 206449 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 207006 206449 136 292 0 206711 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 828024

[startup+702.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=947456/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=884116 CPUtime=701.94
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 220478 0 0 0 69865 329 0 0 25 0 1 0 187529642 905334784 220456 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 221029 220456 136 292 0 220734 0
Current children cumulated CPU time (s) 701.94
Current children cumulated vsize (KiB) 884116

[startup+762.306 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=871552/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=959408 CPUtime=761.91
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 239285 0 0 0 75837 354 0 0 25 0 1 0 187529642 982433792 239263 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 239852 239263 136 292 0 239557 0
Current children cumulated CPU time (s) 761.91
Current children cumulated vsize (KiB) 959408

[startup+822.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=800256/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1031532 CPUtime=821.88
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 257297 0 0 0 81809 379 0 0 25 0 1 0 187529642 1056288768 257275 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 257883 257275 136 292 0 257588 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 1031532

[startup+882.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=745408/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1085452 CPUtime=881.85
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 270775 0 0 0 87787 398 0 0 25 0 1 0 187529642 1111502848 270753 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 271363 270753 136 292 0 271068 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 1085452

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=681600/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1149624 CPUtime=941.81
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 286777 0 0 0 93761 420 0 0 25 0 1 0 187529642 1177214976 286755 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 287406 286755 136 292 0 287111 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 1149624

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=612608/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1218396 CPUtime=1001.78
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 303957 0 0 0 99738 440 0 0 25 0 1 0 187529642 1247637504 303935 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 304599 303935 136 292 0 304304 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 1218396

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=552576/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1279064 CPUtime=1061.76
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 319116 0 0 0 105715 461 0 0 25 0 1 0 187529642 1309761536 319094 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 319766 319094 136 292 0 319471 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 1279064

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5312
/proc/meminfo: memFree=471936/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1359216 CPUtime=1121.71
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 339169 0 0 0 111684 487 0 0 25 0 1 0 187529642 1391837184 339147 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 339804 339147 136 292 0 339509 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 1359216

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=392512/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1438588 CPUtime=1181.68
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 358992 0 0 0 117654 514 0 0 25 0 1 0 187529642 1473114112 358970 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 359647 358970 136 292 0 359352 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 1438588

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=325824/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1504884 CPUtime=1241.65
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 375555 0 0 0 123623 542 0 0 25 0 1 0 187529642 1541001216 375533 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 376221 375533 136 292 0 375926 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 1504884

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=256960/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1572932 CPUtime=1301.62
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 392552 0 0 0 129597 565 0 0 25 0 1 0 187529642 1610682368 392530 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 393233 392530 136 292 0 392938 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 1572932

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=190656/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1639748 CPUtime=1361.58
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 409256 0 0 0 135569 589 0 0 25 0 1 0 187529642 1679101952 409234 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/5309/statm: 409937 409234 136 292 0 409642 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 1639748

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=139072/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1690760 CPUtime=1421.56
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 422004 0 0 0 141541 615 0 0 25 0 1 0 187529642 1731338240 421982 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 422690 421982 136 292 0 422395 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 1690760

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=99904/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1730172 CPUtime=1481.52
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 431835 0 0 0 147521 631 0 0 25 0 1 0 187529642 1771696128 431813 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 432543 431813 136 292 0 432248 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 1730172

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=46208/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1783820 CPUtime=1541.49
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 445220 0 0 0 153498 651 0 0 25 0 1 0 187529642 1826631680 445198 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 445955 445198 136 292 0 445660 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 1783820

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=15872/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1838160 CPUtime=1601.36
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 458784 0 0 0 159461 675 0 0 25 0 1 0 187529642 1882275840 458762 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 459540 458762 136 292 0 459245 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 1838160



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1609.6 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=15232/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=1843256 CPUtime=1608.64
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4194304 460065 0 0 0 160186 678 0 0 25 0 1 0 187529642 1887494144 460043 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/5309/statm: 460814 460043 136 292 0 460519 0
Current children cumulated CPU time (s) 1608.64
Current children cumulated vsize (KiB) 1843256

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

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

[startup+1609.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 5318
/proc/meminfo: memFree=15232/2055920 swapFree=4183064/4192956
[pid=5309] ppid=5307 vsize=0 CPUtime=1608.84
/proc/5309/stat : 5309 (wbo) R 5307 5309 4615 0 -1 4195332 460065 0 0 0 160186 698 0 0 25 0 1 0 187529642 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/5309/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1608.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1609.87
CPU time (s): 1608.92
CPU user time (s): 1601.87
CPU system time (s): 7.05393
CPU usage (%): 99.9407
Max. virtual memory (cumulated for all children) (KiB): 1843256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.87
system time used= 7.05393
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460065
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= 3
involuntary context switches= 6344

runsolver used 1.90971 second user time and 3.9594 second system time

The end

Launcher Data 

Begin job on node5 at 2009-06-17 02:41:27
IDJOB=1875335
IDBENCH=48175
IDSOLVER=698
FILE ID=node5/1875335-1245199287
PBS_JOBID= 9368310
Free space on /tmp= 66256 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_10_1.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875335-1245199287/watcher-1875335-1245199287 -o /tmp/evaluation-result-1875335-1245199287/solver-1875335-1245199287 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875335-1245199287.opb

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

MD5SUM BENCH= 85943b997cdad21dc5e2becf1aafbf8b
RANDOM SEED=255297342

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

/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.259
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	: 5931.00
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.259
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:       1830632 kB
Buffers:         55348 kB
Cached:          90364 kB
SwapCached:       3684 kB
Active:          56944 kB
Inactive:        96664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1830632 kB
SwapTotal:     4192956 kB
SwapFree:      4183064 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          14600 kB
Slab:            57680 kB
Committed_AS:   157296 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875335-1245199287.opb

Free space on /tmp at the end= 66256 MiB
End job on node5 at 2009-06-17 03:08:19