Trace number 2656038

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? (TO) 1800.12 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark182.966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
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-2656038-1276617119.opb.
0.00/0.00	c Instance file HOME/instance-2656038-1276617119.opb
0.00/0.00	c File size is 3580 bytes.
0.00/0.00	c Highest Coefficient sum: 3063
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:      94                                                  |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      94        8      364 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 922
0.00/0.00	o 922
0.00/0.00	c Elapsed CPU time: 0.000999 s	Remaining CPU time: 179.999 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      94        9      428 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 868
0.00/0.00	o 868
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         3 |      94       10      492 |     5000        3     35 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 410
0.00/0.00	o 410
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         3 |      94       11      556 |     5000        3     35 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 287
0.00/0.00	o 287
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         4 |      94       12      620 |     5000        4     39 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 173
0.00/0.00	o 173
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 179.998 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         4 |      94       13      684 |     5000        4     39 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 132
0.00/0.00	o 132
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        13 |      94       14      748 |     5000       13     33 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 131
0.00/0.00	o 131
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        20 |      94       15      812 |     5000       20     29 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 125
0.00/0.00	o 125
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        24 |      94       16      876 |     5000       24     27 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 123
0.00/0.00	o 123
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        31 |      86       17      940 |     5000       26     32 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 114
0.00/0.00	o 114
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        48 |      86       18     1004 |     5000       43     32 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 112
0.00/0.00	o 112
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 179.994 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        51 |      86       19     1068 |     5000       46     31 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 101
0.00/0.00	o 101
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        66 |      86       20     1132 |     5000       61     32 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 96
0.00/0.00	o 96
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 179.992 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        73 |      86       21     1196 |     5000       68     31 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 94
0.00/0.00	o 94
0.00/0.00	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 179.991 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        74 |      86       22     1260 |     5000       69     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 88
0.00/0.01	o 88
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 179.99 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |        94 |      86       23     1324 |     5000       89     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 60
0.00/0.01	o 60
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       104 |      86       24     1388 |     5000       99     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 51
0.00/0.01	o 51
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 179.987 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       126 |      78       25     1452 |     5000      106     32 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 44
0.00/0.01	o 44
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       184 |      78       26     1516 |     5000      164     31 |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 42
0.00/0.01	o 42
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       205 |      78       27     1580 |     5000      185     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 21
0.00/0.02	o 21
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       275 |      78       28     1644 |     5000      255     31 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 19
0.00/0.02	o 19
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |       293 |      70       29     1708 |     5000      273     31 |  0.000 % |
0.00/0.03	c |       393 |      70       29     1708 |     5500      373     32 | 25.543 % |
0.00/0.04	c |       543 |      70       29     1708 |     6050      523     33 | 25.543 % |
0.04/0.05	c |       768 |      70       29     1708 |     6655      699     33 | 25.543 % |
0.04/0.07	c |      1105 |      70       29     1708 |     7320     1036     33 | 25.543 % |
0.09/0.10	c |      1611 |      70       29     1708 |     8052     1542     33 | 25.543 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 12
0.09/0.13	o 12
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 179.87 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      2000 |      70       30     1772 |     5000     1931     33 | 25.543 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 10
0.09/0.13	o 10
0.09/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 179.865 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |      2068 |      62       31     1836 |     5000     1999     34 | 25.543 % |
0.09/0.14	c |      2170 |      62       31     1836 |     5500     2101     34 | 34.054 % |
0.09/0.15	c |      2322 |      62       31     1836 |     6050     2253     34 | 34.054 % |
0.09/0.17	c |      2547 |      62       31     1836 |     6655     2450     34 | 34.054 % |
0.09/0.19	c |      2885 |      62       31     1836 |     7320     2788     34 | 34.054 % |
0.19/0.23	c |      3392 |      62       31     1836 |     8052     3295     35 | 34.054 % |
0.19/0.29	c |      4151 |      62       31     1836 |     8857     4054     35 | 34.054 % |
0.29/0.39	c |      5290 |      62       31     1836 |     9743     5193     35 | 34.054 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: 9
0.39/0.40	o 9
0.39/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 179.602 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |      5351 |      62       32     1900 |     5000     5254     36 | 34.054 % |
0.39/0.42	c |      5451 |      62       32     1900 |     5500     2727     37 | 34.054 % |
0.39/0.43	c |      5601 |      62       32     1900 |     6050     2877     37 | 34.054 % |
0.39/0.45	c |      5826 |      62       32     1900 |     6655     3102     38 | 34.054 % |
0.39/0.48	c |      6164 |      62       32     1900 |     7320     3440     38 | 34.054 % |
0.49/0.51	c |      6670 |      62       32     1900 |     8052     3946     38 | 34.054 % |
0.49/0.57	c |      7429 |      62       32     1900 |     8857     4705     38 | 34.054 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: 3
0.59/0.62	o 3
0.59/0.62	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 179.389 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |      7965 |      62       33     1964 |     5000     5241     37 | 34.054 % |
0.59/0.64	c |      8065 |      60       33     1964 |     5500     2721     38 | 51.075 % |
0.59/0.65	c |      8216 |      60       33     1964 |     6050     2872     39 | 51.075 % |
0.59/0.67	c |      8443 |      56       33     1964 |     6655     3099     39 | 51.075 % |
0.59/0.70	c |      8780 |      56       33     1964 |     7320     3436     40 | 51.075 % |
0.69/0.74	c |      9286 |      56       33     1964 |     8052     3942     40 | 51.075 % |
0.80/0.80	c |     10046 |      54       33     1964 |     8857     4702     40 | 51.075 % |
0.90/0.91	c |     11186 |      52       33     1964 |     9743     5842     41 | 51.075 % |
1.00/1.09	c |     12894 |      50       33     1964 |    10717     7550     41 | 51.075 % |
1.39/1.40	c |     15456 |      46       33     1964 |    11789    10102     42 | 51.075 % |
1.89/1.98	c |     19301 |      46       33     1964 |    12968     8019     44 | 51.075 % |
2.79/2.83	c |     25069 |      46       33     1964 |    14265     7270     41 | 51.075 % |
4.09/4.10	c |     33718 |      46       33     1964 |    15692     8752     44 | 51.075 % |
6.19/6.23	c |     46693 |      46       33     1964 |    17261    13846     46 | 51.075 % |
9.69/9.75	c |     66154 |      46       33     1964 |    18987    15982     46 | 51.075 % |
15.69/15.72	c |     95347 |      46       33     1964 |    20886    16595     46 | 51.075 % |
25.98/26.02	c |    139137 |      46       33     1964 |    22974    18478     47 | 51.075 % |
42.48/42.52	c |    204823 |      46       33     1964 |    25272    22667     47 | 51.075 % |
69.67/69.75	c |    303349 |      46       33     1964 |    27799    19743     47 | 51.075 % |
117.16/117.22	c |    451138 |      46       33     1964 |    30579    15228     48 | 51.075 % |
181.73/181.82	c There are 48 assigned variables. 48 in cost function.
182.13/182.25	c ============================[ Search Statistics ]==============================
182.13/182.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.25	c ===============================================================================
182.13/182.25	c |         0 |      30       79      268 |     5000        0    nan |  0.000 % |
182.13/182.26	c |       100 |      30       79      268 |     5500      100     28 | 68.097 % |
182.13/182.27	c |       251 |      30       79      268 |     6050      251     28 | 68.097 % |
182.13/182.29	c |       476 |      30       79      268 |     6655      476     28 | 68.097 % |
182.23/182.35	c |       814 |      30       79      268 |     7320      814     28 | 68.097 % |
182.23/182.38	c |      1320 |      30       79      268 |     8052     1320     28 | 68.097 % |
182.34/182.43	c |      2079 |      30       79      268 |     8857     2079     29 | 68.097 % |
182.44/182.51	c |      3218 |      30       79      268 |     9743     3218     29 | 68.097 % |
182.54/182.68	c |      4926 |      30       79      268 |    10717     4926     28 | 68.097 % |
182.94/183.02	c |      7488 |      30       79      268 |    11789     7488     28 | 68.097 % |
183.54/183.68	c |     11333 |      30       79      268 |    12968    11333     28 | 68.097 % |
184.74/184.90	c |     17099 |      30       79      268 |    14265    10573     28 | 68.097 % |
186.64/186.75	c |     25748 |      30       79      268 |    15692    12047     28 | 68.097 % |
189.64/189.78	c |     38725 |      30       79      268 |    17261     9248     28 | 68.097 % |
193.63/193.70	c |     58187 |      30       79      268 |    18987    11368     28 | 68.097 % |
199.93/200.01	c |     87379 |      30       79      268 |    20886    11956     27 | 68.097 % |
209.63/209.77	c |    131168 |      30       79      268 |    22974    13812     28 | 68.097 % |
226.43/226.54	c |    196852 |      30       79      268 |    25272    17907     29 | 68.097 % |
253.71/253.85	c |    295379 |      30       79      268 |    27799    14783     28 | 68.097 % |
301.50/301.63	c |    443170 |      30       79      268 |    30579    26958     28 | 68.097 % |
385.88/386.08	c |    664853 |      30       79      268 |    33637    13002     29 | 68.097 % |
525.23/525.45	c |    997379 |      30       79      268 |    37001    29148     29 | 68.119 % |
753.65/753.90	c |   1496167 |      30       79      268 |    40701    36451     29 | 68.153 % |
1148.93/1149.37	c |   2244349 |      29       79      268 |    44771    14843     29 | 69.194 % |
1445.24/1445.75	c ===============================================================================
1447.04/1447.50	c core #1
1447.04/1447.50	c ============================[ Search Statistics ]==============================
1447.04/1447.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1447.04/1447.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1447.04/1447.50	c ===============================================================================
1447.04/1447.50	c |         0 |      54       88      332 |     5000        0    nan |  0.000 % |
1447.14/1447.64	c |       100 |      54       88      332 |     5500      100     28 | 50.917 % |
1447.23/1447.71	c |       251 |      54       88      332 |     6050      251     24 | 50.917 % |
1447.33/1447.89	c |       476 |      54       88      332 |     6655      476     24 | 50.917 % |
1447.43/1447.90	c |       814 |      54       88      332 |     7320      814     24 | 50.917 % |
1447.43/1447.93	c |      1320 |      54       88      332 |     8052     1320     24 | 50.917 % |
1447.43/1447.97	c |      2079 |      54       88      332 |     8857     2079     24 | 50.917 % |
1447.53/1448.05	c |      3219 |      54       88      332 |     9743     3219     24 | 50.917 % |
1447.73/1448.20	c |      4928 |      54       88      332 |    10717     4928     24 | 50.917 % |
1448.03/1448.51	c |      7491 |      54       88      332 |    11789     7491     24 | 50.917 % |
1448.54/1449.01	c |     11336 |      54       88      332 |    12968    11336     24 | 50.917 % |
1449.43/1450.00	c |     17103 |      54       88      332 |    14265    10581     24 | 50.917 % |
1450.93/1451.49	c |     25753 |      54       88      332 |    15692    12061     24 | 50.917 % |
1452.93/1453.41	c |     38729 |      54       88      332 |    17261     9271     25 | 50.917 % |
1455.73/1456.21	c |     58190 |      54       88      332 |    18987    11383     24 | 50.917 % |
1460.93/1461.42	c |     87382 |      54       88      332 |    20886    11971     26 | 50.917 % |
1468.63/1469.13	c |    131171 |      54       88      332 |    22974    13837     25 | 50.917 % |
1482.43/1482.99	c |    196855 |      54       88      332 |    25272    17981     25 | 50.917 % |
1505.11/1505.64	c |    295382 |      54       88      332 |    27799    16154     25 | 50.917 % |
1545.71/1546.23	c |    443172 |      54       88      332 |    30579    12015     28 | 50.917 % |
1610.38/1610.94	c |    664855 |      54       88      332 |    33637    17763     25 | 50.918 % |
1716.25/1716.80	c |    997380 |      54       88      332 |    37001    11389     25 | 50.918 % |

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-2656038-1276617119/watcher-2656038-1276617119 -o /tmp/evaluation-result-2656038-1276617119/solver-2656038-1276617119 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656038-1276617119.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.92 0.98 0.99 3/106 12023
/proc/meminfo: memFree=1703140/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=2576 CPUtime=0
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 277 0 0 0 0 0 0 0 24 0 1 0 3005604 2637824 194 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 644 194 146 303 0 339 0

[startup+0.046454 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12023
/proc/meminfo: memFree=1703140/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=2708 CPUtime=0.04
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 316 0 0 0 4 0 0 0 24 0 1 0 3005604 2772992 233 1992294400 134512640 135751879 4292134320 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 677 233 147 303 0 372 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2708

[startup+0.10146 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12023
/proc/meminfo: memFree=1703140/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=2836 CPUtime=0.09
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 368 0 0 0 9 0 0 0 24 0 1 0 3005604 2904064 285 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 709 285 147 303 0 404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2836

[startup+0.301481 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12023
/proc/meminfo: memFree=1703140/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=3500 CPUtime=0.29
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 535 0 0 0 29 0 0 0 25 0 1 0 3005604 3584000 452 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 875 452 147 303 0 570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3500

[startup+0.701523 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 12023
/proc/meminfo: memFree=1703140/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=4684 CPUtime=0.69
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 816 0 0 0 68 1 0 0 25 0 1 0 3005604 4796416 733 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 1171 733 148 303 0 866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4684

[startup+1.50061 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12024
/proc/meminfo: memFree=1699908/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=6532 CPUtime=1.49
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 1291 0 0 0 146 3 0 0 25 0 1 0 3005604 6688768 1208 1992294400 134512640 135751879 4292134320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 1633 1208 148 303 0 1328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6532

[startup+3.10078 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 12024
/proc/meminfo: memFree=1697552/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=9324 CPUtime=3.09
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 1978 0 0 0 305 4 0 0 25 0 1 0 3005604 9547776 1895 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 2331 1895 148 303 0 2026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9324

[startup+6.30112 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 12024
/proc/meminfo: memFree=1692096/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=14608 CPUtime=6.29
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 3283 0 0 0 620 9 0 0 25 0 1 0 3005604 14958592 3200 1992294400 134512640 135751879 4292134320 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 3652 3200 148 303 0 3347 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14608

[startup+12.7008 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12024
/proc/meminfo: memFree=1682424/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=22980 CPUtime=12.69
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 5377 0 0 0 1252 17 0 0 25 0 1 0 3005604 23531520 5294 1992294400 134512640 135751879 4292134320 18446744073709551615 134602698 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 5745 5294 148 303 0 5440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22980

[startup+25.5011 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 12024
/proc/meminfo: memFree=1667172/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=38204 CPUtime=25.48
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 9169 0 0 0 2516 32 0 0 25 0 1 0 3005604 39120896 9086 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 9551 9086 148 303 0 9246 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38204

[startup+51.1018 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 12024
/proc/meminfo: memFree=1641504/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=63868 CPUtime=51.08
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 15593 0 0 0 5049 59 0 0 25 0 1 0 3005604 65400832 15510 1992294400 134512640 135751879 4292134320 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 15967 15510 148 303 0 15662 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63868

[startup+102.309 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 12026
/proc/meminfo: memFree=1595748/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=109304 CPUtime=102.27
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 26933 0 0 0 10118 109 0 0 25 0 1 0 3005604 111927296 26850 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 27326 26850 148 303 0 27021 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 109304

[startup+162.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 12028
/proc/meminfo: memFree=1550984/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=154116 CPUtime=162.24
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 38127 0 0 0 16064 160 0 0 25 0 1 0 3005604 157814784 38044 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 38529 38044 148 303 0 38224 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 154116

[startup+222.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 12030
/proc/meminfo: memFree=1528912/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=175812 CPUtime=222.22
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 43610 0 0 0 22005 217 0 0 25 0 1 0 3005604 180031488 43497 1992294400 134512640 135751879 4292134320 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 43953 43497 150 303 0 43648 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 175812

[startup+282.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 12030
/proc/meminfo: memFree=1500516/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=204592 CPUtime=282.21
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 50796 0 0 0 27950 271 0 0 25 0 1 0 3005604 209502208 50683 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 51148 50683 150 303 0 50843 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 204592

[startup+342.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 12032
/proc/meminfo: memFree=1469888/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=234788 CPUtime=342.19
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 58335 0 0 0 33901 318 0 0 25 0 1 0 3005604 240422912 58222 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 58697 58222 150 303 0 58392 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 234788

[startup+402.302 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 12034
/proc/meminfo: memFree=1442112/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=262620 CPUtime=402.17
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 65286 0 0 0 39860 357 0 0 25 0 1 0 3005604 268922880 65173 1992294400 134512640 135751879 4292134320 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 65655 65173 150 303 0 65350 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 262620

[startup+462.302 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 12036
/proc/meminfo: memFree=1415700/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=289108 CPUtime=462.15
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 71895 0 0 0 45814 401 0 0 25 0 1 0 3005604 296046592 71782 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 72277 71782 150 303 0 71972 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 289108

[startup+522.302 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 12038
/proc/meminfo: memFree=1390156/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=314732 CPUtime=522.13
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 78297 0 0 0 51772 441 0 0 25 0 1 0 3005604 322285568 78184 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 78683 78184 150 303 0 78378 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 314732

[startup+582.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 12047
/proc/meminfo: memFree=1364612/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=339628 CPUtime=582.1
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 84528 0 0 0 57731 479 0 0 25 0 1 0 3005604 347779072 84415 1992294400 134512640 135751879 4292134320 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 84907 84415 150 303 0 84602 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 339628

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 12049
/proc/meminfo: memFree=1338820/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=365200 CPUtime=642.09
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 90915 0 0 0 63690 519 0 0 25 0 1 0 3005604 373964800 90802 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 91300 90802 150 303 0 90995 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 365200

[startup+702.302 s]

################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12055
/proc/meminfo: memFree=1271736/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=432460 CPUtime=822.03
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 107737 0 0 0 81576 627 0 0 25 0 1 0 3005604 442839040 107624 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 108115 107624 150 303 0 107810 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 432460

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12055
/proc/meminfo: memFree=1251896/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=451876 CPUtime=882.01
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 112585 0 0 0 87542 659 0 0 25 0 1 0 3005604 462721024 112472 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 112969 112472 150 303 0 112664 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 451876

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12057
/proc/meminfo: memFree=1231064/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=473000 CPUtime=941.99
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 117848 0 0 0 93509 690 0 0 25 0 1 0 3005604 484352000 117735 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 118250 117735 150 303 0 117945 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 473000

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12059
/proc/meminfo: memFree=1210604/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=493092 CPUtime=1001.97
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 122883 0 0 0 99472 725 0 0 25 0 1 0 3005604 504926208 122770 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 123273 122770 150 303 0 122968 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 493092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12061
/proc/meminfo: memFree=1187168/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=516720 CPUtime=1061.96
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 128764 0 0 0 105438 758 0 0 25 0 1 0 3005604 529121280 128651 1992294400 134512640 135751879 4292134320 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 129180 128651 150 303 0 128875 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 516720

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12063
/proc/meminfo: memFree=1166088/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=537688 CPUtime=1121.94
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 134011 0 0 0 111403 791 0 0 25 0 1 0 3005604 550592512 133898 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 134422 133898 150 303 0 134117 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 537688

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12063
/proc/meminfo: memFree=1147116/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=556808 CPUtime=1181.92
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 138783 0 0 0 117371 821 0 0 25 0 1 0 3005604 570171392 138670 1992294400 134512640 135751879 4292134320 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 139202 138670 150 303 0 138897 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 556808

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12065
/proc/meminfo: memFree=1128392/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=575040 CPUtime=1241.9
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 143314 0 0 0 123338 852 0 0 25 0 1 0 3005604 588840960 143201 1992294400 134512640 135751879 4292134320 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 143760 143201 150 303 0 143455 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 575040

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12067
/proc/meminfo: memFree=1111404/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=591880 CPUtime=1301.88
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 147520 0 0 0 129308 880 0 0 25 0 1 0 3005604 606085120 147407 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 147970 147407 150 303 0 147665 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 591880

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12069
/proc/meminfo: memFree=1091192/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=612204 CPUtime=1361.86
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 152600 0 0 0 135276 910 0 0 25 0 1 0 3005604 626896896 152487 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 153051 152487 150 303 0 152746 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 612204

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12071
/proc/meminfo: memFree=1072716/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=630420 CPUtime=1421.85
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 157160 0 0 0 141244 941 0 0 25 0 1 0 3005604 645550080 157047 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 157605 157047 150 303 0 157300 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 630420

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12071
/proc/meminfo: memFree=1040476/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=662628 CPUtime=1481.82
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 165364 0 0 0 147181 1001 0 0 25 0 1 0 3005604 678531072 165207 1992294400 134512640 135751879 4292134320 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 165657 165207 151 303 0 165352 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 662628

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12073
/proc/meminfo: memFree=1010096/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=692592 CPUtime=1541.8
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 172846 0 0 0 153120 1060 0 0 25 0 1 0 3005604 709214208 172689 1992294400 134512640 135751879 4292134320 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 173148 172689 151 303 0 172843 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 692592

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12075
/proc/meminfo: memFree=985048/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=717872 CPUtime=1601.79
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 179129 0 0 0 159065 1114 0 0 25 0 1 0 3005604 735100928 178972 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 179468 178972 151 303 0 179163 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 717872

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12077
/proc/meminfo: memFree=961860/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=740888 CPUtime=1661.77
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 184880 0 0 0 165010 1167 0 0 25 0 1 0 3005604 758669312 184723 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 185222 184723 151 303 0 184917 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 740888

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12079
/proc/meminfo: memFree=938920/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=763784 CPUtime=1721.75
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 190604 0 0 0 170958 1217 0 0 25 0 1 0 3005604 782114816 190447 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 190946 190447 151 303 0 190641 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 763784

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12079
/proc/meminfo: memFree=918460/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=784016 CPUtime=1781.73
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 195643 0 0 0 176914 1259 0 0 25 0 1 0 3005604 802832384 195486 1992294400 134512640 135751879 4292134320 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 196004 195486 151 303 0 195699 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 784016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12081
/proc/meminfo: memFree=911888/2059040 swapFree=4192956/4192956
[pid=12023] ppid=12021 vsize=790484 CPUtime=1800.04
/proc/12023/stat : 12023 (wbo1.4b) R 12021 12023 11998 0 -1 4202496 197268 0 0 0 178732 1272 0 0 25 0 1 0 3005604 809455616 197111 1992294400 134512640 135751879 4292134320 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/12023/statm: 197621 197111 151 303 0 197316 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 790484

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.69
CPU time (s): 1800.12
CPU user time (s): 1787.33
CPU system time (s): 12.7931
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 790484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.33
system time used= 12.7931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197268
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= 2
involuntary context switches= 3443

runsolver used 3.05354 second user time and 8.43372 second system time

The end

Launcher Data 

Begin job on node083 at 2010-06-15 17:51:59
IDJOB=2656038
IDBENCH=2927
IDSOLVER=1161
FILE ID=node083/2656038-1276617119
PBS_JOBID= 11172327
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=1087766982

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1703668 kB
Buffers:         55832 kB
Cached:         160096 kB
SwapCached:          0 kB
Active:         130876 kB
Inactive:       144660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1703668 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3016 kB
Writeback:           0 kB
AnonPages:       59592 kB
Mapped:          15644 kB
Slab:            57956 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181660 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= 62552 MiB
End job on node083 at 2010-06-15 18:22:01