Trace number 2702386

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.2 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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-2702386-1278565560.opb.
0.00/0.00	c Instance file HOME/instance-2702386-1278565560.opb
0.00/0.00	c File size is 458821 bytes.
0.00/0.07	c Highest Coefficient sum: 45
0.00/0.07	c ============================[ Problem Statistics ]=============================
0.00/0.07	c |                                                                             |
0.00/0.07	c |  Parsing time:          0.07         s                                      |
0.00/0.07	c |  Number Variables:      6404                                                |
0.00/0.07	c |  Number Clauses:        6404                                                |
0.00/0.07	c |  Number Cardinality:    0                                                   |
0.00/0.07	c |  Number PB Constraints: 6204                                                |
0.06/0.08	c ============================[ Search Statistics ]==============================
0.06/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.08	c ===============================================================================
0.06/0.08	c |         0 |    6404    12608    43628 |     5000        0    nan |  0.000 % |
0.06/0.08	c ===============================================================================
0.06/0.08	c New solution: 199
0.06/0.08	o 199
0.06/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.06/0.08	c ===============================================================================
0.06/0.08	c |         0 |    6404    12609    43828 |     5000        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 198
0.06/0.09	o 198
0.06/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |    6404    12610    44028 |     5000        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 197
0.06/0.09	o 197
0.06/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 179.911 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |    6404    12611    44228 |     5000        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 196
0.06/0.09	o 196
0.06/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 179.907 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |    6404    12612    44428 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 195
0.09/0.10	o 195
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6404    12613    44628 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 194
0.09/0.10	o 194
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6404    12614    44828 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 193
0.09/0.11	o 193
0.09/0.11	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 179.895 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6404    12615    45028 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 192
0.09/0.11	o 192
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6404    12616    45228 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 170
0.09/0.12	o 170
0.09/0.12	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 179.885 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6404    12617    45428 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 169
0.09/0.12	o 169
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 179.88 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6404    12618    45628 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 168
0.09/0.13	o 168
0.09/0.13	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 179.875 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6404    12619    45828 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 148
0.09/0.13	o 148
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 |         0 |    6404    12620    46028 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 147
0.09/0.14	o 147
0.09/0.14	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 179.865 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6404    12621    46228 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 146
0.09/0.14	o 146
0.09/0.14	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 179.86 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6404    12622    46428 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 145
0.09/0.15	o 145
0.09/0.15	c Elapsed CPU time: 0.144977 s	Remaining CPU time: 179.855 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    6404    12623    46628 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 99
0.09/0.15	o 99
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 179.85 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    6404    12624    46828 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 22
0.09/0.16	o 22
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 179.843 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    6404    12625    47028 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       100 |    6404    12625    47028 |     5500      100     51 |  0.000 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: 21
0.19/0.24	o 21
0.19/0.24	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 179.765 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |       100 |    6404    12626    47228 |     5000      100     51 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 18
0.19/0.25	o 18
0.19/0.25	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 179.759 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |       100 |    6404    12627    47428 |     5000      100     51 |  0.000 % |
0.19/0.27	c |       200 |    6404    12627    47428 |     5500      200     76 |  0.000 % |
0.29/0.30	c |       350 |    6404    12627    47428 |     6050      350     98 |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: 17
0.29/0.31	o 17
0.29/0.31	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 179.69 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |       391 |    6404    12628    47628 |     5000      391     98 |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: 16
0.29/0.32	o 16
0.29/0.32	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 179.683 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |       393 |    6404    12629    47828 |     5000      393     98 |  0.000 % |
0.29/0.35	c |       494 |    6404    12629    47828 |     5500      494    110 |  0.000 % |
0.29/0.38	c |       645 |    6404    12629    47828 |     6050      645    121 |  0.000 % |
0.40/0.43	c |       871 |    6404    12629    47828 |     6655      871    126 |  0.000 % |
0.49/0.51	c |      1209 |    6404    12629    47828 |     7320     1209    126 |  0.000 % |
0.59/0.63	c |      1717 |    6404    12629    47828 |     8052     1717    125 |  0.000 % |
0.79/0.83	c |      2477 |    6404    12629    47828 |     8857     2477    126 |  0.000 % |
1.10/1.12	c |      3617 |    6404    12629    47828 |     9743     3617    121 |  0.000 % |
1.49/1.59	c |      5326 |    6404    12629    47828 |    10717     5326    134 |  0.000 % |
2.29/2.39	c |      7888 |    6404    12629    47828 |    11789     7888    132 |  0.000 % |
3.49/3.59	c |     11733 |    6404    12629    47828 |    12968    11733    131 |  0.000 % |
5.29/5.37	c |     17499 |    6404    12629    47828 |    14265    17499    139 |  0.000 % |
5.69/5.75	c ===============================================================================
5.69/5.75	c New solution: 15
5.69/5.75	o 15
5.69/5.75	c Elapsed CPU time: 5.68314 s	Remaining CPU time: 174.317 s
5.69/5.75	c ===============================================================================
5.69/5.75	c |     18694 |    6404    12630    48028 |     5000     9945    149 |  0.000 % |
5.79/5.80	c |     18794 |    6404    12630    48028 |     5500     5073    155 |  0.000 % |
5.79/5.85	c |     18946 |    6404    12630    48028 |     6050     5225    154 |  0.000 % |
5.89/5.91	c |     19171 |    6404    12630    48028 |     6655     5450    154 |  0.000 % |
5.99/6.02	c |     19508 |    6404    12630    48028 |     7320     5787    151 |  0.000 % |
6.09/6.18	c |     20015 |    6404    12630    48028 |     8052     6294    147 |  0.000 % |
6.28/6.37	c |     20776 |    6404    12630    48028 |     8857     7055    148 |  0.000 % |
6.69/6.71	c |     21915 |    6404    12630    48028 |     9743     8194    147 |  0.000 % |
7.19/7.20	c |     23623 |    6404    12630    48028 |    10717     9902    144 |  0.000 % |
7.89/7.98	c |     26185 |    6404    12630    48028 |    11789    12464    142 |  0.000 % |
9.19/9.25	c |     30029 |    6404    12630    48028 |    12968    10076    153 |  0.000 % |
11.19/11.21	c |     35796 |    6404    12630    48028 |    14265    15843    158 |  0.000 % |
14.30/14.38	c |     44447 |    6404    12630    48028 |    15692    16573    165 |  0.000 % |
19.39/19.41	c |     57421 |    6404    12630    48028 |    17261    10753    143 |  0.000 % |
27.98/28.01	c |     76884 |    6404    12630    48028 |    18987    18814    134 |  0.000 % |
41.08/41.15	c |    106076 |    6404    12630    48028 |    20886    21694    168 |  0.000 % |
65.47/65.53	c |    149866 |    6404    12630    48028 |    22974    11419    150 |  0.000 % |
67.97/68.07	c ===============================================================================
67.97/68.07	c New solution: 14
67.97/68.07	o 14
67.97/68.07	c Elapsed CPU time: 67.4707 s	Remaining CPU time: 112.529 s
67.97/68.07	c ===============================================================================
67.97/68.07	c |    156658 |    6404    12631    48228 |     5000    18211    154 |  0.000 % |
68.08/68.19	c |    156758 |    6404    12631    48228 |     5500     4653    156 |  0.000 % |
68.18/68.24	c |    156909 |    6404    12631    48228 |     6050     4804    155 |  0.000 % |
68.27/68.30	c |    157134 |    6404    12631    48228 |     6655     5029    154 |  0.000 % |
68.27/68.39	c |    157471 |    6404    12631    48228 |     7320     5366    152 |  0.000 % |
68.47/68.56	c |    157977 |    6404    12631    48228 |     8052     5872    149 |  0.000 % |
68.77/68.81	c |    158736 |    6404    12631    48228 |     8857     6631    146 |  0.000 % |
69.18/69.25	c |    159876 |    6404    12631    48228 |     9743     7771    146 |  0.000 % |
69.77/69.85	c |    161585 |    6404    12631    48228 |    10717     9480    141 |  0.000 % |
70.67/70.71	c |    164147 |    6404    12631    48228 |    11789    12042    137 |  0.000 % |
72.07/72.14	c |    167991 |    6404    12631    48228 |    12968     9865    126 |  0.000 % |
74.07/74.14	c |    173757 |    6404    12631    48228 |    14265    15631    133 |  0.000 % |
77.27/77.39	c |    182406 |    6404    12631    48228 |    15692    16465    138 |  0.000 % |
82.86/82.96	c |    195381 |    6404    12631    48228 |    17261    10858    121 |  0.000 % |
90.76/90.82	c |    214842 |    6404    12631    48228 |    18987    18705    142 |  0.000 % |
104.37/104.47	c |    244035 |    6404    12631    48228 |    20886    22037    134 |  0.000 % |
125.86/125.96	c |    287824 |    6404    12631    48228 |    22974    11585    136 |  0.000 % |
161.94/162.02	c |    353509 |    6404    12631    48228 |    25272    12880    123 |  0.000 % |
181.54/181.61	c There are 0 assigned variables. 0 in cost function.
182.04/182.16	c core #1
182.04/182.16	c core #2
182.04/182.16	c ============================[ Search Statistics ]==============================
182.04/182.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.04/182.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.04/182.16	c ===============================================================================
182.04/182.16	c |         0 |    2020    12834    32496 |     5000        0    nan |  0.000 % |
182.04/182.18	c ===============================================================================
182.14/182.22	c core #3
182.14/182.22	c ============================[ Search Statistics ]==============================
182.14/182.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.14/182.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.14/182.22	c ===============================================================================
182.14/182.22	c |         0 |    5414    12835    43335 |     5000        0    nan |  0.000 % |
182.24/182.31	c |       103 |    5414    12835    43335 |     5500      103    187 | 17.982 % |
182.34/182.46	c |       255 |    5414    12835    43335 |     6050      255    206 | 17.982 % |
182.64/182.72	c ===============================================================================
182.64/182.77	c core #4
182.64/182.77	c ============================[ Search Statistics ]==============================
182.64/182.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.77	c ===============================================================================
182.64/182.77	c |         0 |    6772    12836    49339 |     5000        0    nan |  0.000 % |
182.74/182.85	c |       100 |    6772    12836    49339 |     5500      100    178 |  0.397 % |
182.94/183.02	c |       251 |    6772    12836    49339 |     6050      251    172 |  0.397 % |
183.24/183.32	c |       477 |    6772    12836    49339 |     6655      477    211 |  0.397 % |
183.64/183.78	c |       814 |    6772    12836    49339 |     7320      814    197 |  0.397 % |
184.33/184.44	c |      1322 |    6772    12836    49339 |     8052     1322    196 |  0.397 % |
185.44/185.52	c |      2083 |    6772    12836    49339 |     8857     2083    210 |  0.397 % |
187.43/187.53	c |      3222 |    6772    12836    49339 |     9743     3222    219 |  0.397 % |
190.14/190.22	c |      4934 |    6772    12836    49339 |    10717     4934    226 |  0.397 % |
194.84/194.99	c |      7496 |    6772    12836    49339 |    11789     7496    245 |  0.397 % |
203.53/203.65	c |     11345 |    6772    12836    49339 |    12968    11345    262 |  0.397 % |
216.93/217.03	c |     17111 |    6772    12836    49339 |    14265    10061    274 |  0.397 % |
240.02/240.11	c |     25764 |    6772    12836    49339 |    15692    10823    328 |  0.397 % |
273.30/273.42	c |     38738 |    6772    12836    49339 |    17261    15278    326 |  0.397 % |
304.10/304.23	c ===============================================================================
305.00/305.15	c core #5
305.00/305.15	c ============================[ Search Statistics ]==============================
305.00/305.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
305.00/305.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
305.00/305.15	c ===============================================================================
305.00/305.15	c |         0 |    6999    12839    49824 |     5000        0    nan |  0.000 % |
305.10/305.26	c |       107 |    6999    12839    49824 |     5500      107    199 |  0.000 % |
305.20/305.37	c |       259 |    6999    12839    49824 |     6050      259    177 |  0.000 % |
305.50/305.68	c |       485 |    6999    12839    49824 |     6655      485    154 |  0.000 % |
306.00/306.10	c |       823 |    6999    12839    49824 |     7320      823    170 |  0.000 % |
306.59/306.72	c |      1330 |    6999    12839    49824 |     8052     1330    168 |  0.000 % |
307.40/307.59	c |      2090 |    6999    12839    49824 |     8857     2090    190 |  0.000 % |
308.91/309.05	c |      3229 |    6999    12839    49824 |     9743     3229    232 |  0.000 % |
310.79/310.92	c |      4937 |    6999    12839    49824 |    10717     4937    261 |  0.000 % |
314.79/314.90	c |      7499 |    6999    12839    49824 |    11789     7499    320 |  0.000 % |
321.59/321.74	c |     11344 |    6999    12839    49824 |    12968    11344    334 |  0.000 % |
333.10/333.30	c |     17113 |    6999    12839    49824 |    14265     9920    346 |  0.000 % |
352.18/352.34	c |     25765 |    6999    12839    49824 |    15692    10797    386 |  0.000 % |
379.68/379.80	c |     38742 |    6999    12839    49824 |    17261    14953    301 |  0.000 % |
421.96/422.13	c |     58205 |    6999    12839    49824 |    18987    15192    325 |  0.000 % |
479.05/479.28	c |     87398 |    6999    12839    49824 |    20886    12816    339 |  0.000 % |
579.81/580.00	c |    131188 |    6999    12839    49824 |    22974    22359    375 |  0.000 % |
735.26/735.58	c |    196872 |    6999    12839    49824 |    25272    14777    278 |  0.000 % |
1013.28/1013.60	c |    295400 |    6999    12839    49824 |    27799    17906    380 |  0.000 % |
1439.25/1439.76	c |    443193 |    6999    12839    49824 |    30579    17432    452 |  0.000 % |

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-2702386-1278565560/watcher-2702386-1278565560 -o /tmp/evaluation-result-2702386-1278565560/solver-2702386-1278565560 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702386-1278565560.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/105 30814
/proc/meminfo: memFree=1793780/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=3596 CPUtime=0
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 421 0 0 0 0 0 0 0 25 0 1 0 24763935 3682304 340 1992294400 134512640 135751879 4289099664 18446744073709551615 134613619 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 899 340 142 303 0 481 0

[startup+0.0734749 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30814
/proc/meminfo: memFree=1793780/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=5756 CPUtime=0.06
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 1118 0 0 0 6 0 0 0 25 0 1 0 24763935 5894144 925 1992294400 134512640 135751879 4289099664 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 1439 928 144 303 0 1134 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5756

[startup+0.101478 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30814
/proc/meminfo: memFree=1793780/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=5060 CPUtime=0.09
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 1177 0 0 0 9 0 0 0 18 0 1 0 24763935 5181440 802 1992294400 134512640 135751879 4289099664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 1265 802 146 303 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5060

[startup+0.301502 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30814
/proc/meminfo: memFree=1793780/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=5456 CPUtime=0.29
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 1248 0 0 0 29 0 0 0 18 0 1 0 24763935 5586944 873 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 1364 873 147 303 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5456

[startup+0.701552 s]
/proc/loadavg: 0.92 0.98 0.99 3/105 30814
/proc/meminfo: memFree=1793780/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=6380 CPUtime=0.69
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 1507 0 0 0 68 1 0 0 18 0 1 0 24763935 6533120 1132 1992294400 134512640 135751879 4289099664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 1595 1132 147 303 0 1290 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6380

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 30815
/proc/meminfo: memFree=1789308/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=8488 CPUtime=1.49
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 2006 0 0 0 147 2 0 0 19 0 1 0 24763935 8691712 1631 1992294400 134512640 135751879 4289099664 18446744073709551615 134620406 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 2122 1631 147 303 0 1817 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8488

[startup+3.10085 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30815
/proc/meminfo: memFree=1786332/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=11784 CPUtime=3.09
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 2842 0 0 0 305 4 0 0 23 0 1 0 24763935 12066816 2467 1992294400 134512640 135751879 4289099664 18446744073709551615 134611323 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 2946 2467 147 303 0 2641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11784

[startup+6.30124 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30815
/proc/meminfo: memFree=1779016/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=19040 CPUtime=6.28
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 4665 0 0 0 621 7 0 0 25 0 1 0 24763935 19496960 4290 1992294400 134512640 135751879 4289099664 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 4760 4290 148 303 0 4455 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19040

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 30815
/proc/meminfo: memFree=1764028/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=33532 CPUtime=12.68
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 8279 0 0 0 1254 14 0 0 25 0 1 0 24763935 34336768 7904 1992294400 134512640 135751879 4289099664 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 8383 7904 148 303 0 8078 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33532

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 30817
/proc/meminfo: memFree=1741708/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=54816 CPUtime=25.49
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 13586 0 0 0 2524 25 0 0 25 0 1 0 24763935 56131584 13211 1992294400 134512640 135751879 4289099664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 13704 13211 148 303 0 13399 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54816

[startup+51.1007 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 30817
/proc/meminfo: memFree=1702028/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=94928 CPUtime=51.07
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 23624 0 0 0 5061 46 0 0 25 0 1 0 24763935 97206272 23249 1992294400 134512640 135751879 4289099664 18446744073709551615 134620376 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 23732 23249 148 303 0 23427 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94928

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 30819
/proc/meminfo: memFree=1625768/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=170148 CPUtime=102.26
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 42417 0 0 0 10136 90 0 0 25 0 1 0 24763935 174231552 42042 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 42537 42042 148 303 0 42232 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 170148

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30819
/proc/meminfo: memFree=1549260/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=247516 CPUtime=162.24
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 61733 0 0 0 16086 138 0 0 25 0 1 0 24763935 253456384 61358 1992294400 134512640 135751879 4289099664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 61879 61358 148 303 0 61574 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 247516

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30821
/proc/meminfo: memFree=1514540/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=280908 CPUtime=222.22
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 70317 0 0 0 22053 169 0 0 25 0 1 0 24763935 287649792 69798 1992294400 134512640 135751879 4289099664 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 70227 69798 151 303 0 69922 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 280908

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30823
/proc/meminfo: memFree=1478952/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=317032 CPUtime=282.21
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 79329 0 0 0 28030 191 0 0 25 0 1 0 24763935 324640768 78810 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 79258 78810 151 303 0 78953 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 317032

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30825
/proc/meminfo: memFree=1449688/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=345680 CPUtime=342.19
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 86469 0 0 0 34007 212 0 0 25 0 1 0 24763935 353976320 85950 1992294400 134512640 135751879 4289099664 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 86420 85950 151 303 0 86115 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 345680

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30827
/proc/meminfo: memFree=1409760/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=385928 CPUtime=402.17
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 96545 0 0 0 39980 237 0 0 25 0 1 0 24763935 395190272 96026 1992294400 134512640 135751879 4289099664 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 96482 96026 151 303 0 96177 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 385928

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30827
/proc/meminfo: memFree=1363012/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=432148 CPUtime=462.15
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 108098 0 0 0 45952 263 0 0 25 0 1 0 24763935 442519552 107579 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 108037 107580 151 303 0 107732 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 432148

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30829
/proc/meminfo: memFree=1305600/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=489908 CPUtime=522.14
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 122522 0 0 0 51921 293 0 0 25 0 1 0 24763935 501665792 122003 1992294400 134512640 135751879 4289099664 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 122477 122004 151 303 0 122172 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 489908

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30831
/proc/meminfo: memFree=1261580/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=533540 CPUtime=582.11
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 133445 0 0 0 57896 315 0 0 25 0 1 0 24763935 546344960 132926 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 133385 132926 151 303 0 133080 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 533540

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 30833
/proc/meminfo: memFree=1205284/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=589296 CPUtime=642.11
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 147380 0 0 0 63869 342 0 0 25 0 1 0 24763935 603439104 146861 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 147324 146861 151 303 0 147019 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 589296

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/106 30842
/proc/meminfo: memFree=1027840/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=765992 CPUtime=882.02
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 191481 0 0 0 87767 435 0 0 25 0 1 0 24763935 784375808 190962 1992294400 134512640 135751879 4289099664 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 191498 190962 151 303 0 191193 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 765992

[startup+942.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/106 30844
/proc/meminfo: memFree=984564/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=809936 CPUtime=941.99
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 202449 0 0 0 93738 461 0 0 25 0 1 0 24763935 829374464 201930 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 202484 201931 151 303 0 202179 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 809936

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30846
/proc/meminfo: memFree=945628/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=848356 CPUtime=1001.98
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 212051 0 0 0 99714 484 0 0 25 0 1 0 24763935 868716544 211532 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 212089 211532 151 303 0 211784 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 848356

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30846
/proc/meminfo: memFree=897764/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=896620 CPUtime=1061.97
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 224124 0 0 0 105687 510 0 0 25 0 1 0 24763935 918138880 223605 1992294400 134512640 135751879 4289099664 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 224155 223605 151 303 0 223850 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 896620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30848
/proc/meminfo: memFree=844072/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=949832 CPUtime=1121.95
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 237405 0 0 0 111660 535 0 0 25 0 1 0 24763935 972627968 236886 1992294400 134512640 135751879 4289099664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 237458 236886 151 303 0 237153 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 949832

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30850
/proc/meminfo: memFree=793232/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1000796 CPUtime=1181.93
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 250136 0 0 0 117635 558 0 0 25 0 1 0 24763935 1024815104 249617 1992294400 134512640 135751879 4289099664 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 250199 249617 151 303 0 249894 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1000796

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30852
/proc/meminfo: memFree=745492/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1048604 CPUtime=1241.91
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 262062 0 0 0 123610 581 0 0 25 0 1 0 24763935 1073770496 261543 1992294400 134512640 135751879 4289099664 18446744073709551615 134616290 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 262151 261543 151 303 0 261846 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1048604

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30854
/proc/meminfo: memFree=695768/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1097644 CPUtime=1301.89
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 274331 0 0 0 129592 597 0 0 25 0 1 0 24763935 1123987456 273812 1992294400 134512640 135751879 4289099664 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 274411 273812 151 303 0 274106 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1097644

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30854
/proc/meminfo: memFree=639348/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1154468 CPUtime=1361.87
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 288541 0 0 0 135562 625 0 0 25 0 1 0 24763935 1182175232 288022 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 288617 288022 151 303 0 288312 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1154468

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30856
/proc/meminfo: memFree=589624/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1203588 CPUtime=1421.86
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 300810 0 0 0 141537 649 0 0 25 0 1 0 24763935 1232474112 300291 1992294400 134512640 135751879 4289099664 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 300897 300291 151 303 0 300592 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1203588

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30858
/proc/meminfo: memFree=533576/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1260160 CPUtime=1481.84
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 314951 0 0 0 147510 674 0 0 25 0 1 0 24763935 1290403840 314432 1992294400 134512640 135751879 4289099664 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 315040 314432 151 303 0 314735 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1260160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30860
/proc/meminfo: memFree=483976/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1309128 CPUtime=1541.81
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 327187 0 0 0 153487 694 0 0 25 0 1 0 24763935 1340547072 326668 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 327282 326668 151 303 0 326977 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1309128

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30862
/proc/meminfo: memFree=432020/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1361876 CPUtime=1601.8
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 340327 0 0 0 159464 716 0 0 25 0 1 0 24763935 1394561024 339808 1992294400 134512640 135751879 4289099664 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 340469 339808 151 303 0 340164 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1361876

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30862
/proc/meminfo: memFree=375848/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1417420 CPUtime=1661.78
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 354212 0 0 0 165441 737 0 0 25 0 1 0 24763935 1451438080 353693 1992294400 134512640 135751879 4289099664 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 354355 353693 151 303 0 354050 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1417420

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30864
/proc/meminfo: memFree=329100/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1464040 CPUtime=1721.76
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 365875 0 0 0 171419 757 0 0 25 0 1 0 24763935 1499176960 365356 1992294400 134512640 135751879 4289099664 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 366010 365356 151 303 0 365705 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1464040

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30866
/proc/meminfo: memFree=272184/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1520576 CPUtime=1781.74
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 379999 0 0 0 177394 780 0 0 25 0 1 0 24763935 1557069824 379480 1992294400 134512640 135751879 4289099664 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 380144 379480 151 303 0 379839 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1520576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30866
/proc/meminfo: memFree=258544/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=1533780 CPUtime=1800.05
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4202496 383304 0 0 0 179218 787 0 0 25 0 1 0 24763935 1570590720 382785 1992294400 134512640 135751879 4289099664 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30814/statm: 383445 382785 151 303 0 383140 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1533780

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30866
/proc/meminfo: memFree=258544/2059040 swapFree=4140272/4192956
[pid=30814] ppid=30812 vsize=0 CPUtime=1800.15
/proc/30814/stat : 30814 (wbo1.4b) R 30812 30814 30257 0 -1 4203524 383304 0 0 0 179218 797 0 0 25 0 1 0 24763935 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.75
CPU time (s): 1800.2
CPU user time (s): 1792.19
CPU system time (s): 8.00878
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1533780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.19
system time used= 8.00878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383304
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= 10
involuntary context switches= 1894

runsolver used 2.96955 second user time and 8.51571 second system time

The end

Launcher Data 

Begin job on node080 at 2010-07-08 07:06:00
IDJOB=2702386
IDBENCH=48128
IDSOLVER=1161
FILE ID=node080/2702386-1278565560
PBS_JOBID= 11239561
Free space on /tmp= 62548 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702386-1278565560/watcher-2702386-1278565560 -o /tmp/evaluation-result-2702386-1278565560/solver-2702386-1278565560 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702386-1278565560.opb

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

MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76
RANDOM SEED=1634729695

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1794928 kB
Buffers:         21748 kB
Cached:         141476 kB
SwapCached:      11272 kB
Active:          97980 kB
Inactive:        83516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1794928 kB
SwapTotal:     4192956 kB
SwapFree:      4140272 kB
Dirty:            3004 kB
Writeback:           0 kB
AnonPages:       11512 kB
Mapped:          12092 kB
Slab:            60880 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702386-1278565560.opb

Free space on /tmp at the end= 62544 MiB
End job on node080 at 2010-07-08 07:36:03