Trace number 2702635

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.2 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_2.opb
MD5SUM3576405369e31b0bc5c7707d6d764dde
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)6148
Sum of products size (including duplicates)12296
Number of different products3074
Sum of products size6148

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 - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702635-1278572912.opb.
0.00/0.00	c Instance file HOME/instance-2702635-1278572912.opb
0.00/0.00	c File size is 257826 bytes.
0.03/0.05	c Highest Coefficient sum: 200
0.03/0.05	c ============================[ Problem Statistics ]=============================
0.03/0.05	c |                                                                             |
0.03/0.05	c |  Parsing time:          0.05         s                                      |
0.03/0.05	c |  Number Variables:      3274                                                |
0.03/0.05	c |  Number Clauses:        3174                                                |
0.03/0.05	c |  Number Cardinality:    202                                                 |
0.03/0.05	c |  Number PB Constraints: 3074                                                |
0.03/0.09	c ============================[ Search Statistics ]==============================
0.03/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.09	c ===============================================================================
0.03/0.09	c |         0 |    3274     6450    25192 |     5000        0    nan |  0.000 % |
0.03/0.09	c ===============================================================================
0.03/0.09	c New solution: 0
0.03/0.09	o 0
0.03/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 179.906 s
0.03/0.09	c ===============================================================================
0.03/0.09	c |         0 |    3274     6451    25292 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -1
0.09/0.10	o -1
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 |         1 |    3274     6452    25392 |     5000        1    101 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -2
0.09/0.10	o -2
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 179.901 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         1 |    3274     6453    25492 |     5000        1    101 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -3
0.09/0.10	o -3
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         6 |    3274     6454    25592 |     5000        6    163 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -4
0.09/0.11	o -4
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 179.892 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        12 |    3274     6455    25692 |     5000       12    106 |  0.000 % |
0.09/0.12	c |       117 |    3274     6455    25692 |     5500      117    183 |  0.000 % |
0.09/0.14	c |       267 |    3274     6455    25692 |     6050      267    188 |  0.000 % |
0.09/0.17	c |       494 |    3274     6455    25692 |     6655      494    188 |  0.000 % |
0.19/0.23	c |       836 |    3274     6455    25692 |     7320      836    189 |  0.000 % |
0.29/0.31	c |      1345 |    3274     6455    25692 |     8052     1345    190 |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -5
0.29/0.34	o -5
0.29/0.34	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 179.67 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |      1363 |    3274     6456    25792 |     5000     1363    188 |  0.000 % |
0.29/0.36	c |      1464 |    3274     6456    25792 |     5500     1464    188 |  0.000 % |
0.29/0.38	c |      1615 |    3274     6456    25792 |     6050     1615    188 |  0.000 % |
0.38/0.44	c |      1841 |    3274     6456    25792 |     6655     1841    187 |  0.000 % |
0.48/0.50	c |      2182 |    3274     6456    25792 |     7320     2182    186 |  0.000 % |
0.58/0.65	c |      2688 |    3274     6456    25792 |     8052     2688    185 |  0.000 % |
0.79/0.81	c |      3451 |    3274     6456    25792 |     8857     3451    185 |  0.000 % |
1.10/1.11	c |      4593 |    3274     6456    25792 |     9743     4593    183 |  0.000 % |
1.49/1.59	c |      6301 |    3274     6456    25792 |    10717     6301    181 |  0.000 % |
2.28/2.39	c |      8863 |    3274     6456    25792 |    11789     8863    183 |  0.000 % |
3.89/3.98	c |     12707 |    3274     6456    25792 |    12968    12707    180 |  0.000 % |
4.09/4.18	c ===============================================================================
4.09/4.18	c New solution: -6
4.09/4.18	o -6
4.09/4.18	c Elapsed CPU time: 4.13737 s	Remaining CPU time: 175.863 s
4.09/4.18	c ===============================================================================
4.09/4.18	c |     13084 |    3274     6457    25892 |     5000    13084    180 |  0.000 % |
4.18/4.28	c |     13184 |    3274     6457    25892 |     5500     3371    172 |  0.000 % |
4.29/4.31	c |     13338 |    3274     6457    25892 |     6050     3525    173 |  0.000 % |
4.29/4.39	c |     13563 |    3274     6457    25892 |     6655     3750    174 |  0.000 % |
4.39/4.48	c |     13900 |    3274     6457    25892 |     7320     4087    175 |  0.000 % |
4.59/4.64	c |     14407 |    3274     6457    25892 |     8052     4594    176 |  0.000 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c New solution: -7
4.59/4.66	o -7
4.59/4.66	c Elapsed CPU time: 4.6043 s	Remaining CPU time: 175.396 s
4.59/4.66	c ===============================================================================
4.59/4.66	c |     14438 |    3274     6458    25992 |     5000     4625    176 |  0.000 % |
4.59/4.68	c |     14538 |    3274     6458    25992 |     5500     4725    176 |  0.000 % |
4.69/4.72	c |     14688 |    3274     6458    25992 |     6050     4875    176 |  0.000 % |
4.69/4.77	c |     14913 |    3274     6458    25992 |     6655     5100    177 |  0.000 % |
4.79/4.86	c |     15250 |    3274     6458    25992 |     7320     5437    178 |  0.000 % |
4.99/5.01	c |     15756 |    3274     6458    25992 |     8052     5943    179 |  0.000 % |
5.09/5.18	c |     16516 |    3274     6458    25992 |     8857     6703    180 |  0.000 % |
5.49/5.53	c |     17658 |    3274     6458    25992 |     9743     7845    181 |  0.000 % |
5.89/5.94	c |     19368 |    3274     6458    25992 |    10717     9555    182 |  0.000 % |
7.39/7.43	c |     21930 |    3274     6458    25992 |    11789    12117    179 |  0.000 % |
7.39/7.47	c ===============================================================================
7.39/7.47	c New solution: -8
7.39/7.47	o -8
7.39/7.47	c Elapsed CPU time: 7.38888 s	Remaining CPU time: 172.611 s
7.39/7.47	c ===============================================================================
7.39/7.47	c |     21952 |    3274     6459    26092 |     5000     6081    179 |  0.000 % |
7.49/7.50	c |     22054 |    3274     6459    26092 |     5500     3143    169 |  0.000 % |
7.49/7.52	c |     22205 |    3274     6459    26092 |     6050     3294    170 |  0.000 % |
7.49/7.55	c |     22430 |    3274     6459    26092 |     6655     3519    171 |  0.000 % |
7.49/7.60	c |     22768 |    3274     6459    26092 |     7320     3857    172 |  0.000 % |
7.59/7.67	c |     23277 |    3274     6459    26092 |     8052     4366    174 |  0.000 % |
7.69/7.79	c |     24039 |    3274     6459    26092 |     8857     5128    175 |  0.000 % |
7.98/8.02	c |     25179 |    3274     6459    26092 |     9743     6268    177 |  0.000 % |
8.28/8.35	c |     26887 |    3274     6459    26092 |    10717     7976    179 |  0.000 % |
8.88/8.99	c |     29449 |    3274     6459    26092 |    11789    10538    181 |  0.000 % |
10.19/10.25	c |     33293 |    3274     6459    26092 |    12968    14382    182 |  0.000 % |
12.19/12.25	c |     39060 |    3274     6459    26092 |    14265    12958    185 |  0.000 % |
15.39/15.48	c |     47710 |    3274     6459    26092 |    15692    12859    181 |  0.000 % |
19.48/19.52	c |     60684 |    3274     6459    26092 |    17261    16367    182 |  0.000 % |
27.08/27.19	c |     80147 |    3274     6459    26092 |    18987    15331    186 |  0.000 % |
40.87/40.95	c |    109339 |    3274     6459    26092 |    20886    21557    182 |  0.000 % |
60.48/60.58	c |    153129 |    3274     6459    26092 |    22974    14612    187 |  0.000 % |
93.47/93.56	c |    218817 |    3274     6459    26092 |    25272    19038    180 |  0.000 % |
137.94/138.01	c |    317344 |    3274     6459    26092 |    27799    12428    187 |  0.000 % |
181.53/181.67	c There are 0 assigned variables. 0 in cost function.
182.03/182.16	c core #1
182.03/182.16	c 
182.03/182.16	c 
182.03/182.16	c Core size: 201	Core Weight: 1	Total Weight: -99
182.03/182.16	c
182.03/182.16	c
182.03/182.16	c ============================[ Search Statistics ]==============================
182.03/182.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.03/182.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.03/182.16	c ===============================================================================
182.03/182.16	c |         0 |    3374     6588    26459 |     5000        0    nan |  0.000 % |
182.03/182.19	c ===============================================================================
182.13/182.21	c core #2
182.13/182.21	c 
182.13/182.21	c 
182.13/182.21	c Core size: 90	Core Weight: 1	Total Weight: -98
182.13/182.21	c
182.13/182.21	c
182.13/182.21	c ============================[ Search Statistics ]==============================
182.13/182.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.13/182.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.13/182.21	c ===============================================================================
182.13/182.21	c |         0 |    3455     6598    26648 |     5000        0    nan |  0.000 % |
182.13/182.24	c |       100 |    3455     6598    26648 |     5500      100     80 |  0.000 % |
182.13/182.28	c |       255 |    3455     6598    26648 |     6050      255     64 |  0.839 % |
182.24/182.35	c |       480 |    3341     6598    26648 |     6655      368     75 |  3.300 % |
182.33/182.45	c |       817 |    3284     6598    26648 |     7320      683     72 |  4.979 % |
182.54/182.62	c |      1323 |    3055     6598    26648 |     8052      961     82 | 11.582 % |
182.73/182.85	c |      2082 |    2744     6598    26648 |     8857     1459     77 | 31.288 % |
182.83/182.92	c ===============================================================================
182.83/182.97	c core #3
182.83/182.97	c 
182.83/182.97	c 
182.83/182.97	c Core size: 141	Core Weight: 1	Total Weight: -97
182.83/182.97	c
182.83/182.97	c
182.83/182.97	c ============================[ Search Statistics ]==============================
182.83/182.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.83/182.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.83/182.97	c ===============================================================================
182.83/182.97	c |         0 |    3555     6603    26860 |     5000        0    nan |  0.000 % |
182.93/183.00	c |       100 |    3555     6603    26860 |     5500      100    113 |  0.000 % |
182.93/183.05	c |       250 |    3555     6603    26860 |     6050      250     91 |  0.000 % |
183.03/183.13	c |       478 |    3555     6603    26860 |     6655      478     75 |  0.000 % |
183.13/183.24	c |       816 |    3555     6603    26860 |     7320      816     78 |  0.000 % |
183.33/183.40	c |      1322 |    3555     6603    26860 |     8052     1322     73 |  0.000 % |
183.54/183.64	c |      2081 |    3555     6603    26860 |     8857     2081     72 |  0.000 % |
183.93/184.07	c |      3220 |    3555     6603    26860 |     9743     3220     71 |  0.000 % |
184.64/184.73	c |      4950 |    3555     6603    26860 |    10717     4950     71 |  0.003 % |
185.63/185.77	c |      7514 |    3555     6603    26860 |    11789     7514     69 |  0.002 % |
187.33/187.40	c |     11358 |    3555     6603    26860 |    12968    11358     70 |  0.007 % |
189.63/189.74	c |     17124 |    3525     6603    26860 |    14265     7458     62 |  0.844 % |
193.43/193.59	c |     25773 |    2370     6603    26860 |    15692    12595     66 | 59.381 % |
193.53/193.60	c ===============================================================================
193.82/193.95	c core #4
193.82/193.95	c 
193.82/193.95	c 
193.82/193.95	c Core size: 112	Core Weight: 1	Total Weight: -96
193.82/193.95	c
193.82/193.95	c
193.82/193.95	c ============================[ Search Statistics ]==============================
193.82/193.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.82/193.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.82/193.95	c ===============================================================================
193.82/193.95	c |         0 |    3655     7216    28882 |     5000        0    nan |  0.000 % |
193.82/193.99	c |       100 |    3655     7216    28882 |     5500      100    164 |  0.000 % |
194.02/194.12	c |       250 |    3655     7216    28882 |     6050      250    111 |  0.000 % |
194.02/194.15	c |       475 |    3655     7216    28882 |     6655      475     65 |  0.000 % |
194.13/194.26	c |       812 |    3655     7216    28882 |     7320      812     73 |  0.000 % |
194.33/194.45	c |      1331 |    3655     7216    28882 |     8052     1331     80 |  0.000 % |
194.53/194.70	c |      2090 |    3655     7216    28882 |     8857     2090     82 |  0.000 % |
194.93/195.08	c |      3230 |    3655     7216    28882 |     9743     3230     77 |  0.000 % |
195.53/195.66	c |      4938 |    3655     7216    28882 |    10717     4938     77 |  0.000 % |
196.63/196.75	c |      7501 |    3655     7216    28882 |    11789     7501     77 |  0.000 % |
198.63/198.71	c |     11346 |    3655     7216    28882 |    12968    11346     76 |  0.000 % |
201.42/201.56	c |     17112 |    3655     7216    28882 |    14265    10234     62 |  0.000 % |
208.02/208.14	c |     25791 |    3655     7216    28882 |    15692    11451     66 |  0.000 % |
213.13/213.25	c |     38775 |    3655     7216    28882 |    17261    14978    172 |  0.000 % |
223.42/223.57	c |     58237 |    3655     7216    28882 |    18987    16683     80 |  0.000 % |
243.81/243.90	c |     87430 |    3615     7216    28882 |    20886    19800     67 |  1.095 % |
268.00/268.15	c |    131222 |    3615     7216    28882 |    22974    12374    165 |  1.095 % |
329.39/329.54	c |    196906 |    3615     7216    28882 |    25272    17230    168 |  1.095 % |
472.25/472.46	c |    295451 |    3614     7216    28882 |    27799    14343    148 |  1.122 % |
625.41/625.66	c |    443242 |    3614     7216    28882 |    30579    25348    179 |  1.122 % |
778.96/779.25	c ===============================================================================
782.16/782.46	c core #5
782.16/782.46	c 
782.16/782.46	c 
782.16/782.46	c Core size: 130	Core Weight: 1	Total Weight: -95
782.16/782.46	c
782.16/782.46	c
782.16/782.46	c ============================[ Search Statistics ]==============================
782.16/782.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
782.16/782.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
782.16/782.46	c ===============================================================================
782.16/782.46	c |         0 |    3755     8069    31625 |     5000        0    nan |  0.000 % |
782.36/782.63	c |       141 |    3755     8069    31625 |     5500      141    233 |  0.000 % |
782.36/782.67	c |       291 |    3755     8069    31625 |     6050      291    196 |  0.000 % |
782.36/782.69	c |       516 |    3755     8069    31625 |     6655      516    116 |  0.000 % |
782.47/782.80	c |       853 |    3755     8069    31625 |     7320      853    128 |  0.000 % |
782.66/782.94	c |      1359 |    3755     8069    31625 |     8052     1359    112 |  0.000 % |
782.97/783.24	c |      2119 |    3755     8069    31625 |     8857     2119    115 |  0.000 % |
783.26/783.59	c |      3258 |    3755     8069    31625 |     9743     3258     94 |  0.000 % |
783.97/784.21	c |      4966 |    3755     8069    31625 |    10717     4966     99 |  0.000 % |
785.06/785.31	c |      7528 |    3755     8069    31625 |    11789     7528     87 |  0.000 % |
786.96/787.25	c |     11372 |    3755     8069    31625 |    12968    11372     89 |  0.000 % |
790.67/790.91	c |     17138 |    3755     8069    31625 |    14265    10354     81 |  0.000 % |
798.16/798.49	c |     25788 |    3755     8069    31625 |    15692    10873     72 |  0.000 % |
805.26/805.54	c |     38763 |    3755     8069    31625 |    17261    15820     98 |  0.000 % |
815.05/815.38	c |     58229 |    3755     8069    31625 |    18987    14797    179 |  0.000 % |
836.04/836.31	c |     87425 |    3755     8069    31625 |    20886    21030    183 |  0.000 % |
861.74/862.06	c |    131229 |    3755     8069    31625 |    22974    20766     98 |  0.000 % |
904.03/904.39	c |    196917 |    3755     8069    31625 |    25272    25895    182 |  0.000 % |
969.11/969.44	c |    295445 |    3755     8069    31625 |    27799    26436    124 |  0.000 % |
1072.38/1072.76	c |    443251 |    3755     8069    31625 |    30579    15296    177 |  0.000 % |
1347.49/1347.97	c |    664947 |    3755     8069    31625 |    33637    11507    174 |  0.000 % |
1744.96/1745.56	c |    997475 |    3755     8069    31625 |    37001    11942    180 |  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-2702635-1278572912/watcher-2702635-1278572912 -o /tmp/evaluation-result-2702635-1278572912/solver-2702635-1278572912 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702635-1278572912.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.08 0.09 0.43 2/106 2589
/proc/meminfo: memFree=1572668/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=3100 CPUtime=0
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 330 0 0 0 0 0 0 0 18 0 1 0 25503602 3174400 249 1992294400 134512640 135752675 4291493376 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 775 249 134 303 0 407 0

[startup+0.0353741 s]
/proc/loadavg: 0.08 0.09 0.43 2/106 2589
/proc/meminfo: memFree=1572668/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=3788 CPUtime=0.03
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 534 0 0 0 3 0 0 0 18 0 1 0 25503602 3878912 453 1992294400 134512640 135752675 4291493376 18446744073709551615 135229120 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 947 453 172 303 0 579 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3788

[startup+0.101381 s]
/proc/loadavg: 0.08 0.09 0.43 2/106 2589
/proc/meminfo: memFree=1572668/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=4708 CPUtime=0.09
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 876 0 0 0 9 0 0 0 19 0 1 0 25503602 4820992 732 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 1177 732 144 303 0 872 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4708

[startup+0.3014 s]
/proc/loadavg: 0.08 0.09 0.43 2/106 2589
/proc/meminfo: memFree=1572668/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=4964 CPUtime=0.29
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 946 0 0 0 29 0 0 0 19 0 1 0 25503602 5083136 802 1992294400 134512640 135752675 4291493376 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 1241 802 145 303 0 936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4964

[startup+0.701441 s]
/proc/loadavg: 0.08 0.09 0.43 2/106 2589
/proc/meminfo: memFree=1572668/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=6404 CPUtime=0.68
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 1313 0 0 0 68 0 0 0 19 0 1 0 25503602 6557696 1169 1992294400 134512640 135752675 4291493376 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 1601 1169 145 303 0 1296 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6404

[startup+1.50152 s]
/proc/loadavg: 0.08 0.09 0.43 2/107 2590
/proc/meminfo: memFree=1567824/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=8992 CPUtime=1.49
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 1958 0 0 0 147 2 0 0 21 0 1 0 25503602 9207808 1814 1992294400 134512640 135752675 4291493376 18446744073709551615 134638295 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 2248 1814 145 303 0 1943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8992

[startup+3.10068 s]
/proc/loadavg: 0.08 0.09 0.43 2/107 2590
/proc/meminfo: memFree=1564476/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=13188 CPUtime=3.08
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 3010 0 0 0 305 3 0 0 25 0 1 0 25503602 13504512 2866 1992294400 134512640 135752675 4291493376 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 3297 2866 145 303 0 2992 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13188

[startup+6.301 s]
/proc/loadavg: 0.15 0.10 0.44 2/107 2590
/proc/meminfo: memFree=1556292/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=21104 CPUtime=6.29
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 4961 0 0 0 622 7 0 0 25 0 1 0 25503602 21610496 4817 1992294400 134512640 135752675 4291493376 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 5276 4817 145 303 0 4971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21104

[startup+12.7007 s]
/proc/loadavg: 0.22 0.12 0.44 2/107 2591
/proc/meminfo: memFree=1538312/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=37976 CPUtime=12.68
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 9195 0 0 0 1254 14 0 0 25 0 1 0 25503602 38887424 9051 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 9494 9051 145 303 0 9189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37976

[startup+25.5009 s]
/proc/loadavg: 0.39 0.16 0.45 2/107 2591
/proc/meminfo: memFree=1508180/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=67016 CPUtime=25.48
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 16443 0 0 0 2520 28 0 0 25 0 1 0 25503602 68624384 16299 1992294400 134512640 135752675 4291493376 18446744073709551615 134603352 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 16754 16299 145 303 0 16449 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67016

[startup+51.1015 s]
/proc/loadavg: 0.60 0.23 0.46 2/107 2592
/proc/meminfo: memFree=1459572/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=116040 CPUtime=51.08
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 28649 0 0 0 5057 51 0 0 25 0 1 0 25503602 118824960 28505 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 29010 28505 145 303 0 28705 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116040

[startup+102.309 s]
/proc/loadavg: 0.82 0.34 0.49 2/107 2593
/proc/meminfo: memFree=1368928/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=206052 CPUtime=102.26
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 51120 0 0 0 10130 96 0 0 25 0 1 0 25503602 210997248 50976 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 51513 50976 145 303 0 51208 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 206052

[startup+162.302 s]
/proc/loadavg: 0.93 0.46 0.52 2/107 2595
/proc/meminfo: memFree=1267744/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=308472 CPUtime=162.24
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 76720 0 0 0 16077 147 0 0 25 0 1 0 25503602 315875328 76576 1992294400 134512640 135752675 4291493376 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 77118 76576 145 303 0 76813 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 308472

[startup+222.302 s]
/proc/loadavg: 0.97 0.56 0.55 2/107 2596
/proc/meminfo: memFree=1221616/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=352572 CPUtime=222.22
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 87861 0 0 0 22023 199 0 0 25 0 1 0 25503602 361033728 87686 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 88143 87686 146 303 0 87838 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 352572

[startup+282.302 s]
/proc/loadavg: 0.99 0.63 0.57 2/107 2598
/proc/meminfo: memFree=1167800/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=407100 CPUtime=282.21
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 101456 0 0 0 27971 250 0 0 25 0 1 0 25503602 416870400 101281 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 101775 101281 146 303 0 101470 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 407100

[startup+342.302 s]
/proc/loadavg: 0.99 0.70 0.59 2/107 2599
/proc/meminfo: memFree=1129484/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=444696 CPUtime=342.18
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 110800 0 0 0 33941 277 0 0 25 0 1 0 25503602 455368704 110625 1992294400 134512640 135752675 4291493376 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 111174 110625 146 303 0 110869 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 444696

[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.62 2/107 2601
/proc/meminfo: memFree=1099352/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=475444 CPUtime=402.17
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 118416 0 0 0 39913 304 0 0 25 0 1 0 25503602 486854656 118241 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 118861 118241 146 303 0 118556 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 475444

[startup+462.301 s]
/proc/loadavg: 0.99 0.79 0.64 2/107 2603
/proc/meminfo: memFree=1074056/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=500420 CPUtime=462.15
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 124649 0 0 0 45888 327 0 0 25 0 1 0 25503602 512430080 124474 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 125105 124474 146 303 0 124800 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 500420

[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 2604
/proc/meminfo: memFree=1034872/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=539876 CPUtime=522.14
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 134468 0 0 0 51854 360 0 0 25 0 1 0 25503602 552833024 134293 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 134969 134293 146 303 0 134664 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 539876

[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.67 2/107 2606
/proc/meminfo: memFree=998540/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=576132 CPUtime=582.12
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 143522 0 0 0 57816 396 0 0 25 0 1 0 25503602 589959168 143347 1992294400 134512640 135752675 4291493376 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 144033 143347 146 303 0 143728 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 576132

[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.69 2/107 2610
/proc/meminfo: memFree=957000/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=616276 CPUtime=642.11
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 153561 0 0 0 63784 427 0 0 25 0 1 0 25503602 631066624 153386 1992294400 134512640 135752675 4291493376 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 154069 153386 146 303 0 153764 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 616276

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.94 0.75 2/107 2617
/proc/meminfo: memFree=811176/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=761340 CPUtime=882.03
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 190024 0 0 0 87627 576 0 0 25 0 1 0 25503602 779612160 189849 1992294400 134512640 135752675 4291493376 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 190335 189849 146 303 0 190030 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 761340

[startup+942.301 s]
/proc/loadavg: 0.99 0.95 0.76 2/107 2618
/proc/meminfo: memFree=766784/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=805660 CPUtime=942.01
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 201061 0 0 0 93581 620 0 0 25 0 1 0 25503602 824995840 200886 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 201415 200886 146 303 0 201110 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 805660

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.77 2/107 2620
/proc/meminfo: memFree=708132/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=864260 CPUtime=1002
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 215684 0 0 0 99538 662 0 0 25 0 1 0 25503602 885002240 215509 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 216065 215509 146 303 0 215760 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 864260

[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.79 2/107 2622
/proc/meminfo: memFree=649232/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=923996 CPUtime=1061.98
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 230592 0 0 0 105499 699 0 0 25 0 1 0 25503602 946171904 230417 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 230999 230417 146 303 0 230694 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 923996

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.80 2/107 2623
/proc/meminfo: memFree=601616/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=970916 CPUtime=1121.97
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 242264 0 0 0 111467 730 0 0 25 0 1 0 25503602 994217984 242089 1992294400 134512640 135752675 4291493376 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 242729 242089 146 303 0 242424 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 970916

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/107 2625
/proc/meminfo: memFree=565656/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1007148 CPUtime=1181.95
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 251307 0 0 0 117441 754 0 0 25 0 1 0 25503602 1031319552 251132 1992294400 134512640 135752675 4291493376 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 251787 251132 146 303 0 251482 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1007148

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 2626
/proc/meminfo: memFree=525604/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1046700 CPUtime=1241.93
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 261186 0 0 0 123414 779 0 0 25 0 1 0 25503602 1071820800 261011 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 261675 261011 146 303 0 261370 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1046700

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 2628
/proc/meminfo: memFree=493984/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1078148 CPUtime=1301.92
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 269045 0 0 0 129390 802 0 0 25 0 1 0 25503602 1104023552 268870 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 269537 268870 146 303 0 269232 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1078148

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 2630
/proc/meminfo: memFree=454676/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1118204 CPUtime=1361.89
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 279051 0 0 0 135362 827 0 0 25 0 1 0 25503602 1145040896 278876 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 279551 278876 146 303 0 279246 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1118204

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 2631
/proc/meminfo: memFree=412144/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1160156 CPUtime=1421.88
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 289543 0 0 0 141336 852 0 0 25 0 1 0 25503602 1187999744 289368 1992294400 134512640 135752675 4291493376 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 290039 289368 146 303 0 289734 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1160156

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 2633
/proc/meminfo: memFree=382136/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1190960 CPUtime=1481.85
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 297214 0 0 0 147308 877 0 0 25 0 1 0 25503602 1219543040 297039 1992294400 134512640 135752675 4291493376 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 297740 297039 146 303 0 297435 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1190960

[startup+1542.3 s]
/proc/loadavg: 1.03 0.99 0.85 2/107 2634
/proc/meminfo: memFree=350392/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1222240 CPUtime=1541.83
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 304960 0 0 0 153283 900 0 0 25 0 1 0 25503602 1251573760 304785 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 305560 304785 146 303 0 305255 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1222240

[startup+1602.3 s]
/proc/loadavg: 1.05 1.00 0.87 2/107 2636
/proc/meminfo: memFree=314928/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1257976 CPUtime=1601.81
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 313899 0 0 0 159260 921 0 0 25 0 1 0 25503602 1288167424 313724 1992294400 134512640 135752675 4291493376 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 314494 313724 146 303 0 314189 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1257976

[startup+1662.3 s]
/proc/loadavg: 1.13 1.03 0.88 2/107 2638
/proc/meminfo: memFree=274628/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1298168 CPUtime=1661.8
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 323924 0 0 0 165234 946 0 0 25 0 1 0 25503602 1329324032 323749 1992294400 134512640 135752675 4291493376 18446744073709551615 134638113 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 324542 323749 146 303 0 324237 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1298168

[startup+1722.3 s]
/proc/loadavg: 1.12 1.04 0.89 2/107 2639
/proc/meminfo: memFree=239288/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1333148 CPUtime=1721.78
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 332703 0 0 0 171206 972 0 0 25 0 1 0 25503602 1365143552 332528 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 333287 332528 146 303 0 332982 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1333148

[startup+1782.3 s]
/proc/loadavg: 1.11 1.04 0.90 2/107 2641
/proc/meminfo: memFree=184108/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1388288 CPUtime=1781.75
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 346487 0 0 0 177165 1010 0 0 25 0 1 0 25503602 1421606912 346312 1992294400 134512640 135752675 4291493376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 347072 346312 146 303 0 346767 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1388288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.04 0.91 2/107 2641
/proc/meminfo: memFree=163400/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=1408576 CPUtime=1800.06
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4202496 351553 0 0 0 178979 1027 0 0 25 0 1 0 25503602 1442381824 351378 1992294400 134512640 135752675 4291493376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/2589/statm: 352144 351378 146 303 0 351839 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1408576

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.08 1.04 0.91 2/107 2641
/proc/meminfo: memFree=163400/2059040 swapFree=4139504/4192956
[pid=2589] ppid=2587 vsize=0 CPUtime=1800.16
/proc/2589/stat : 2589 (wbo1.4b) R 2587 2589 2554 0 -1 4203524 351553 0 0 0 178979 1037 0 0 25 0 1 0 25503602 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/2589/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.2
CPU user time (s): 1789.8
CPU system time (s): 10.4054
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1408576

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

runsolver used 3.05553 second user time and 8.42372 second system time

The end

Launcher Data 

Begin job on node017 at 2010-07-08 09:08:32
IDJOB=2702635
IDBENCH=48252
IDSOLVER=1190
FILE ID=node017/2702635-1278572912
PBS_JOBID= 11240100
Free space on /tmp= 62484 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_2.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-2702635-1278572912/watcher-2702635-1278572912 -o /tmp/evaluation-result-2702635-1278572912/solver-2702635-1278572912 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702635-1278572912.opb

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

MD5SUM BENCH= 3576405369e31b0bc5c7707d6d764dde
RANDOM SEED=327719246

node017.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.220
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.44
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.220
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1573816 kB
Buffers:         73816 kB
Cached:         307300 kB
SwapCached:       7724 kB
Active:         112244 kB
Inactive:       283332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1573816 kB
SwapTotal:     4192956 kB
SwapFree:      4139504 kB
Dirty:            2772 kB
Writeback:           0 kB
AnonPages:       11884 kB
Mapped:          11936 kB
Slab:            67720 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179012 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-2702635-1278572912.opb

Free space on /tmp at the end= 62484 MiB
End job on node017 at 2010-07-08 09:38:35