Trace number 2702425

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.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_3.opb
MD5SUM8decd85a4aebca069c2c72faa547de31
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark90.1533
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products1244
Sum of products size2488

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-2702425-1278566588.opb.
0.00/0.00	c Instance file HOME/instance-2702425-1278566588.opb
0.00/0.00	c File size is 88660 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1344                                                |
0.00/0.01	c |  Number Clauses:        1344                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1244                                                |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2588     8808 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 99
0.00/0.02	o 99
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2589     8908 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2590     9008 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 83
0.00/0.02	o 83
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2591     9108 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 82
0.00/0.02	o 82
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2592     9208 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 81
0.00/0.02	o 81
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2593     9308 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 80
0.00/0.02	o 80
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2594     9408 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 79
0.00/0.02	o 79
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1344     2595     9508 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 78
0.00/0.03	o 78
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |    1344     2596     9608 |     5000        3     79 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 15
0.00/0.03	o 15
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |         3 |    1344     2597     9708 |     5000        3     79 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 14
0.00/0.03	o 14
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        11 |    1344     2598     9808 |     5000       11     44 |  0.000 % |
0.00/0.04	c |       111 |    1344     2598     9808 |     5500      111     58 |  0.001 % |
0.00/0.05	c |       261 |    1344     2598     9808 |     6050      261     49 |  0.001 % |
0.06/0.08	c |       487 |    1344     2598     9808 |     6655      487     50 |  0.001 % |
0.09/0.11	c |       826 |    1344     2598     9808 |     7320      826     49 |  0.001 % |
0.09/0.16	c |      1332 |    1344     2598     9808 |     8052     1332     52 |  0.001 % |
0.19/0.25	c |      2091 |    1344     2598     9808 |     8857     2091     49 |  0.001 % |
0.29/0.39	c |      3231 |    1344     2598     9808 |     9743     3231     52 |  0.001 % |
0.49/0.59	c |      4939 |    1344     2598     9808 |    10717     4939     52 |  0.001 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: 13
0.79/0.85	o 13
0.79/0.85	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 179.164 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |      6932 |    1344     2599     9908 |     5000     6932     53 |  0.001 % |
0.79/0.87	c |      7033 |    1344     2599     9908 |     5500     3567     54 |  0.001 % |
0.79/0.89	c |      7183 |    1344     2599     9908 |     6050     3717     54 |  0.001 % |
0.89/0.92	c |      7408 |    1344     2599     9908 |     6655     3942     54 |  0.001 % |
0.89/0.96	c |      7745 |    1344     2599     9908 |     7320     4279     52 |  0.001 % |
0.99/1.03	c |      8251 |    1344     2599     9908 |     8052     4785     51 |  0.001 % |
1.09/1.14	c |      9010 |    1344     2599     9908 |     8857     5544     50 |  0.001 % |
1.19/1.29	c |     10149 |    1344     2599     9908 |     9743     6683     49 |  0.001 % |
1.49/1.52	c |     11858 |    1344     2599     9908 |    10717     8392     49 |  0.001 % |
1.89/1.93	c |     14420 |    1344     2599     9908 |    11789    10954     49 |  0.001 % |
2.49/2.51	c |     18265 |    1344     2599     9908 |    12968     8409     50 |  0.001 % |
3.49/3.52	c |     24031 |    1344     2599     9908 |    14265     7265     50 |  0.001 % |
5.09/5.17	c |     32682 |    1344     2599     9908 |    15692     8332     44 |  0.001 % |
7.48/7.54	c |     45658 |    1344     2599     9908 |    17261    12998     47 |  0.001 % |
11.39/11.42	c |     65120 |    1344     2599     9908 |    18987    14303     49 |  0.001 % |
16.99/17.04	c ===============================================================================
16.99/17.04	c New solution: 12
16.99/17.04	o 12
16.99/17.04	c Elapsed CPU time: 16.8004 s	Remaining CPU time: 163.2 s
16.99/17.04	c ===============================================================================
16.99/17.04	c |     90704 |    1344     2600    10008 |     5000    10054     46 |  0.001 % |
16.99/17.09	c |     90804 |    1344     2600    10008 |     5500     2614     41 |  0.001 % |
17.09/17.11	c |     90954 |    1344     2600    10008 |     6050     2764     41 |  0.001 % |
17.09/17.14	c |     91179 |    1344     2600    10008 |     6655     2989     42 |  0.001 % |
17.09/17.18	c |     91520 |    1344     2600    10008 |     7320     3330     41 |  0.001 % |
17.19/17.25	c |     92027 |    1344     2600    10008 |     8052     3837     42 |  0.001 % |
17.29/17.34	c |     92786 |    1344     2600    10008 |     8857     4596     44 |  0.001 % |
17.38/17.49	c |     93925 |    1344     2600    10008 |     9743     5735     44 |  0.001 % |
17.69/17.74	c |     95634 |    1344     2600    10008 |    10717     7444     45 |  0.001 % |
18.09/18.12	c |     98196 |    1344     2600    10008 |    11789    10006     49 |  0.001 % |
18.69/18.77	c |    102042 |    1344     2600    10008 |    12968     7525     50 |  0.001 % |
19.69/19.78	c |    107809 |    1344     2600    10008 |    14265    13292     50 |  0.001 % |
21.39/21.43	c |    116458 |    1344     2600    10008 |    15692    14391     51 |  0.001 % |
23.78/23.87	c |    129432 |    1344     2600    10008 |    17261    10815     47 |  0.001 % |
28.18/28.20	c |    148895 |    1344     2600    10008 |    18987    12224     49 |  0.001 % |
35.29/35.36	c |    178087 |    1344     2600    10008 |    20886    11694     55 |  0.001 % |
46.98/47.09	c |    221876 |    1344     2600    10008 |    22974    12136     52 |  0.001 % |
64.88/64.93	c |    287561 |    1344     2600    10008 |    25272    15494     58 |  0.001 % |
90.77/90.87	c |    386088 |    1344     2600    10008 |    27799    24539     49 |  0.001 % |
132.16/132.21	c |    533877 |    1344     2600    10008 |    30579    17974     54 |  0.001 % |
182.24/182.32	c There are 0 assigned variables. 0 in cost function.
182.94/183.06	c core #1
182.94/183.06	c 
182.94/183.06	c 
182.94/183.06	c Core size: 22	Core Weight: 1	Total Weight: 1
182.94/183.06	c
182.94/183.06	c
182.94/183.06	c core #2
182.94/183.06	c 
182.94/183.06	c 
182.94/183.06	c Core size: 22	Core Weight: 1	Total Weight: 2
182.94/183.06	c
182.94/183.06	c
182.94/183.06	c core #3
182.94/183.06	c 
182.94/183.06	c 
182.94/183.06	c Core size: 22	Core Weight: 1	Total Weight: 3
182.94/183.06	c
182.94/183.06	c
182.94/183.06	c core #4
182.94/183.06	c 
182.94/183.06	c 
182.94/183.06	c Core size: 28	Core Weight: 1	Total Weight: 4
182.94/183.06	c
182.94/183.06	c
182.94/183.06	c ============================[ Search Statistics ]==============================
182.94/183.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.06	c ===============================================================================
182.94/183.06	c |         0 |     703     2704     7444 |     5000        0    nan |  0.000 % |
182.94/183.07	c ===============================================================================
182.94/183.07	c core #5
182.94/183.07	c 
182.94/183.07	c 
182.94/183.07	c Core size: 66	Core Weight: 1	Total Weight: 5
182.94/183.07	c
182.94/183.07	c
182.94/183.07	c ============================[ Search Statistics ]==============================
182.94/183.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.94/183.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.94/183.07	c ===============================================================================
182.94/183.07	c |         0 |     998     2705     8255 |     5000        0    nan |  0.000 % |
182.94/183.09	c |       101 |     984     2705     8255 |     5500       46     37 | 30.851 % |
183.04/183.10	c ===============================================================================
183.04/183.11	c core #6
183.04/183.11	c 
183.04/183.11	c 
183.04/183.11	c Core size: 160	Core Weight: 1	Total Weight: 6
183.04/183.11	c
183.04/183.11	c
183.04/183.11	c ============================[ Search Statistics ]==============================
183.04/183.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.04/183.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.04/183.11	c ===============================================================================
183.04/183.11	c |         0 |    1463     2706    10108 |     5000        0    nan |  0.000 % |
183.04/183.13	c |       101 |    1463     2706    10108 |     5500      101     84 |  3.049 % |
183.04/183.17	c |       254 |    1463     2706    10108 |     6050      254     96 |  3.048 % |
183.15/183.22	c |       482 |    1463     2706    10108 |     6655      482     95 |  3.048 % |
183.25/183.30	c |       821 |    1463     2706    10108 |     7320      821    100 |  3.048 % |
183.35/183.45	c |      1328 |    1463     2706    10108 |     8052     1328    103 |  3.048 % |
183.65/183.76	c |      2093 |    1463     2706    10108 |     8857     2093     95 |  3.048 % |
183.95/184.01	c ===============================================================================
183.95/184.05	c core #7
183.95/184.05	c 
183.95/184.05	c 
183.95/184.05	c Core size: 249	Core Weight: 1	Total Weight: 7
183.95/184.05	c
183.95/184.05	c
183.95/184.05	c ============================[ Search Statistics ]==============================
183.95/184.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.95/184.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.95/184.05	c ===============================================================================
183.95/184.05	c |         0 |    1609     2707    10638 |     5000        0    nan |  0.000 % |
183.95/184.08	c |       100 |    1609     2707    10638 |     5500      100    109 |  0.001 % |
184.05/184.11	c |       250 |    1609     2707    10638 |     6050      250     82 |  0.000 % |
184.05/184.16	c |       477 |    1609     2707    10638 |     6655      477     68 |  0.000 % |
184.15/184.24	c |       815 |    1609     2707    10638 |     7320      815     70 |  0.001 % |
184.25/184.37	c |      1321 |    1609     2707    10638 |     8052     1321     84 |  0.000 % |
184.44/184.58	c |      2082 |    1609     2707    10638 |     8857     2082     91 |  0.000 % |
184.95/185.00	c |      3225 |    1609     2707    10638 |     9743     3225    101 |  0.000 % |
185.55/185.63	c |      4936 |    1609     2707    10638 |    10717     4936    112 |  0.000 % |
186.65/186.77	c |      7498 |    1609     2707    10638 |    11789     7498    112 |  0.000 % |
188.65/188.73	c |     11343 |    1609     2707    10638 |    12968    11343    114 |  0.000 % |
192.05/192.15	c |     17110 |    1609     2707    10638 |    14265    10537    118 |  0.000 % |
198.15/198.20	c |     25759 |    1609     2707    10638 |    15692    11933    137 |  0.000 % |
207.75/207.83	c |     38735 |    1609     2707    10638 |    17261     8907    118 |  0.000 % |
221.94/222.03	c |     58197 |    1609     2707    10638 |    18987    10800    134 |  0.000 % |
248.73/248.89	c |     87390 |    1609     2707    10638 |    20886    11035    142 |  0.001 % |
295.62/295.71	c |    131183 |    1609     2707    10638 |    22974    12489    135 |  0.000 % |
365.91/366.03	c |    196868 |    1609     2707    10638 |    25272    20073    170 |  0.000 % |
390.60/390.72	c ===============================================================================
395.39/395.52	c core #8
395.39/395.52	c 
395.39/395.52	c 
395.39/395.52	c Core size: 193	Core Weight: 1	Total Weight: 8
395.39/395.52	c
395.39/395.52	c
395.39/395.52	c ============================[ Search Statistics ]==============================
395.39/395.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
395.39/395.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
395.39/395.52	c ===============================================================================
395.39/395.52	c |         0 |    1709     2709    10841 |     5000        0    nan |  0.000 % |
395.49/395.62	c |       102 |    1709     2709    10841 |     5500      102    150 |  0.000 % |
395.49/395.65	c |       252 |    1709     2709    10841 |     6050      252    121 |  0.000 % |
395.59/395.70	c |       477 |    1709     2709    10841 |     6655      477    117 |  0.000 % |
395.59/395.79	c |       818 |    1709     2709    10841 |     7320      818    131 |  0.000 % |
395.80/395.91	c |      1324 |    1709     2709    10841 |     8052     1324    124 |  0.000 % |
396.00/396.16	c |      2084 |    1709     2709    10841 |     8857     2084    124 |  0.000 % |
396.30/396.49	c |      3223 |    1709     2709    10841 |     9743     3223    120 |  0.000 % |
396.90/397.05	c |      4931 |    1709     2709    10841 |    10717     4931    128 |  0.000 % |
397.90/398.05	c |      7496 |    1709     2709    10841 |    11789     7496    127 |  0.000 % |
400.79/400.91	c |     11342 |    1709     2709    10841 |    12968    11342    142 |  0.000 % |
405.70/405.88	c |     17111 |    1709     2709    10841 |    14265    10392    161 |  0.000 % |
413.59/413.77	c |     25760 |    1709     2709    10841 |    15692    11718    180 |  0.000 % |
435.49/435.67	c |     38734 |    1709     2709    10841 |    17261     8730    193 |  0.000 % |
465.37/465.51	c |     58199 |    1709     2709    10841 |    18987    10598    200 |  0.000 % |
511.07/511.29	c |     87392 |    1709     2709    10841 |    20886    10682    222 |  0.000 % |
579.05/579.22	c |    131181 |    1709     2709    10841 |    22974    11842    215 |  0.000 % |
652.43/652.60	c |    196866 |    1709     2709    10841 |    25272    18623    232 |  0.000 % |
817.30/817.50	c |    295393 |    1709     2709    10841 |    27799    25345    219 |  0.000 % |
1061.14/1061.43	c |    443188 |    1709     2709    10841 |    30579    27054    249 |  0.000 % |
1350.17/1350.54	c |    664875 |    1709     2709    10841 |    33637    17930    159 |  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-2702425-1278566588/watcher-2702425-1278566588 -o /tmp/evaluation-result-2702425-1278566588/solver-2702425-1278566588 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702425-1278566588.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 30847
/proc/meminfo: memFree=1688368/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=2828 CPUtime=0
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 24871347 2895872 243 1992294400 134512640 135752675 4286998752 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 707 244 141 303 0 380 0

[startup+0.0723921 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 30847
/proc/meminfo: memFree=1688368/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=3156 CPUtime=0.06
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 463 0 0 0 6 0 0 0 20 0 1 0 24871347 3231744 347 1992294400 134512640 135752675 4286998752 18446744073709551615 134518854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 789 347 145 303 0 484 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3156

[startup+0.100394 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 30847
/proc/meminfo: memFree=1688368/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=3284 CPUtime=0.09
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 484 0 0 0 9 0 0 0 20 0 1 0 24871347 3362816 368 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 821 368 145 303 0 516 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3284

[startup+0.300412 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 30847
/proc/meminfo: memFree=1688368/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=3812 CPUtime=0.29
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 631 0 0 0 29 0 0 0 20 0 1 0 24871347 3903488 515 1992294400 134512640 135752675 4286998752 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 953 515 145 303 0 648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3812

[startup+0.700447 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 30847
/proc/meminfo: memFree=1688368/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=4888 CPUtime=0.69
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 913 0 0 0 68 1 0 0 20 0 1 0 24871347 5005312 797 1992294400 134512640 135752675 4286998752 18446744073709551615 134611947 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 1222 797 145 303 0 917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4888

[startup+1.50052 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1685384/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=6736 CPUtime=1.49
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 1374 0 0 0 147 2 0 0 22 0 1 0 24871347 6897664 1258 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 1684 1258 145 303 0 1379 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6736

[startup+3.10066 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1682780/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=10036 CPUtime=3.09
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 2193 0 0 0 304 5 0 0 25 0 1 0 24871347 10276864 2077 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 2509 2077 145 303 0 2204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10036

[startup+6.30195 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1676828/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=15320 CPUtime=6.29
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 3515 0 0 0 621 8 0 0 25 0 1 0 24871347 15687680 3399 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 3830 3399 145 303 0 3525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15320

[startup+12.7015 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1665916/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=25656 CPUtime=12.69
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 6070 0 0 0 1252 17 0 0 25 0 1 0 24871347 26271744 5954 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 6414 5954 145 303 0 6109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25656

[startup+25.5007 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1644464/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=46396 CPUtime=25.48
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 11279 0 0 0 2510 38 0 0 25 0 1 0 24871347 47509504 11163 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 11599 11163 145 303 0 11294 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46396

[startup+51.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30848
/proc/meminfo: memFree=1611108/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=80196 CPUtime=51.08
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 19697 0 0 0 5038 70 0 0 25 0 1 0 24871347 82120704 19581 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 20049 19581 145 303 0 19744 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80196

[startup+102.309 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30850
/proc/meminfo: memFree=1549976/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=140492 CPUtime=102.27
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 34773 0 0 0 10094 133 0 0 25 0 1 0 24871347 143863808 34657 1992294400 134512640 135752675 4286998752 18446744073709551615 134605230 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 35123 34657 145 303 0 34818 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140492

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30852
/proc/meminfo: memFree=1481280/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=210072 CPUtime=162.25
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 52140 0 0 0 16021 204 0 0 25 0 1 0 24871347 215113728 52024 1992294400 134512640 135752675 4286998752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 52518 52024 145 303 0 52213 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 210072

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30852
/proc/meminfo: memFree=1434284/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=255824 CPUtime=222.24
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 63668 0 0 0 21966 258 0 0 25 0 1 0 24871347 261963776 63521 1992294400 134512640 135752675 4286998752 18446744073709551615 134611732 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 63956 63521 146 303 0 63651 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 255824

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30854
/proc/meminfo: memFree=1393364/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=297156 CPUtime=282.22
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 73958 0 0 0 27934 288 0 0 25 0 1 0 24871347 304287744 73811 1992294400 134512640 135752675 4286998752 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 74289 73811 146 303 0 73984 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 297156

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30856
/proc/meminfo: memFree=1350956/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=339356 CPUtime=342.21
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 84463 0 0 0 33897 324 0 0 25 0 1 0 24871347 347500544 84316 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 84839 84316 146 303 0 84534 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 339356

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30858
/proc/meminfo: memFree=1323676/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=366180 CPUtime=402.2
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 91190 0 0 0 39874 346 0 0 25 0 1 0 24871347 374968320 91043 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 91545 91043 146 303 0 91240 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 366180

[startup+462.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 30860
/proc/meminfo: memFree=1290816/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=399080 CPUtime=462.18
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 99471 0 0 0 45847 371 0 0 25 0 1 0 24871347 408657920 99324 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 99770 99324 146 303 0 99465 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 399080

[startup+522.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 30860
/proc/meminfo: memFree=1253864/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=436264 CPUtime=522.16
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 108727 0 0 0 51821 395 0 0 25 0 1 0 24871347 446734336 108580 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 109066 108580 146 303 0 108761 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 436264

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30862
/proc/meminfo: memFree=1212076/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=478008 CPUtime=582.15
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 119134 0 0 0 57795 420 0 0 25 0 1 0 24871347 489480192 118987 1992294400 134512640 135752675 4286998752 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 119502 118987 146 303 0 119197 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 478008

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30864
/proc/meminfo: memFree=1163468/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=525816 CPUtime=642.14
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 131099 0 0 0 63763 451 0 0 25 0 1 0 24871347 538435584 130952 1992294400 134512640 135752675 4286998752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 131454 130952 146 303 0 131149 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 525816

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30870
/proc/meminfo: memFree=1005988/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=683576 CPUtime=882.08
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 170421 0 0 0 87659 549 0 0 25 0 1 0 24871347 699981824 170274 1992294400 134512640 135752675 4286998752 18446744073709551615 134639877 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 170894 170274 146 303 0 170589 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 683576

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30872
/proc/meminfo: memFree=966556/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=723676 CPUtime=942.06
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 180389 0 0 0 93630 576 0 0 25 0 1 0 24871347 741044224 180242 1992294400 134512640 135752675 4286998752 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 180919 180242 146 303 0 180614 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 723676

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30874
/proc/meminfo: memFree=922536/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=767032 CPUtime=1002.05
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 191219 0 0 0 99603 602 0 0 25 0 1 0 24871347 785440768 191072 1992294400 134512640 135752675 4286998752 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 191758 191072 146 303 0 191453 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 767032

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30876
/proc/meminfo: memFree=881988/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=807712 CPUtime=1062.04
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 201365 0 0 0 105574 630 0 0 25 0 1 0 24871347 827097088 201218 1992294400 134512640 135752675 4286998752 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 201928 201218 146 303 0 201623 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 807712

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30876
/proc/meminfo: memFree=850740/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=838968 CPUtime=1122.02
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 209160 0 0 0 111553 649 0 0 25 0 1 0 24871347 859103232 209013 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 209742 209013 146 303 0 209437 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 838968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30878
/proc/meminfo: memFree=809696/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=880448 CPUtime=1182.01
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 219517 0 0 0 117521 680 0 0 25 0 1 0 24871347 901578752 219370 1992294400 134512640 135752675 4286998752 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 220112 219370 146 303 0 219807 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 880448

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30880
/proc/meminfo: memFree=765428/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=924308 CPUtime=1241.99
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 230498 0 0 0 123488 711 0 0 25 0 1 0 24871347 946491392 230351 1992294400 134512640 135752675 4286998752 18446744073709551615 134616161 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 231077 230351 146 303 0 230772 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 924308

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30882
/proc/meminfo: memFree=716200/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=972868 CPUtime=1301.99
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 242627 0 0 0 129452 747 0 0 25 0 1 0 24871347 996216832 242480 1992294400 134512640 135752675 4286998752 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 243217 242480 146 303 0 242912 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 972868

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30884
/proc/meminfo: memFree=667220/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1022260 CPUtime=1361.96
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 254956 0 0 0 135413 783 0 0 25 0 1 0 24871347 1046794240 254809 1992294400 134512640 135752675 4286998752 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 255565 254809 146 303 0 255260 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1022260

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30884
/proc/meminfo: memFree=615140/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1073884 CPUtime=1421.95
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 267862 0 0 0 141379 816 0 0 25 0 1 0 24871347 1099657216 267715 1992294400 134512640 135752675 4286998752 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 268471 267715 146 303 0 268166 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1073884

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30886
/proc/meminfo: memFree=568640/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1120924 CPUtime=1481.94
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 279590 0 0 0 147344 850 0 0 25 0 1 0 24871347 1147826176 279443 1992294400 134512640 135752675 4286998752 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 280231 279443 146 303 0 279926 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1120924

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30888
/proc/meminfo: memFree=532928/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1156260 CPUtime=1541.92
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 288388 0 0 0 153316 876 0 0 25 0 1 0 24871347 1184010240 288241 1992294400 134512640 135752675 4286998752 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 289065 288241 146 303 0 288760 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1156260

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30890
/proc/meminfo: memFree=494612/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1195016 CPUtime=1601.9
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 298045 0 0 0 159285 905 0 0 25 0 1 0 24871347 1223696384 297898 1992294400 134512640 135752675 4286998752 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 298754 297898 146 303 0 298449 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1195016

[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 30892
/proc/meminfo: memFree=454560/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1234844 CPUtime=1661.89
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 307982 0 0 0 165257 932 0 0 25 0 1 0 24871347 1264480256 307835 1992294400 134512640 135752675 4286998752 18446744073709551615 134612143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 308711 307835 146 303 0 308406 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1234844

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 30892
/proc/meminfo: memFree=416120/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1273244 CPUtime=1721.88
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 317565 0 0 0 171228 960 0 0 25 0 1 0 24871347 1303801856 317418 1992294400 134512640 135752675 4286998752 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 318311 317418 146 303 0 318006 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1273244

[startup+1782.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 30894
/proc/meminfo: memFree=378424/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1310580 CPUtime=1781.86
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 326874 0 0 0 177201 985 0 0 25 0 1 0 24871347 1342033920 326727 1992294400 134512640 135752675 4286998752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 327645 326727 146 303 0 327340 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1310580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 30896
/proc/meminfo: memFree=369620/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=1319176 CPUtime=1800.07
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4202496 329030 0 0 0 179015 992 0 0 25 0 1 0 24871347 1350836224 328883 1992294400 134512640 135752675 4286998752 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30847/statm: 329794 328883 146 303 0 329489 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1319176

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

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

[startup+1800.61 s]
/proc/loadavg: 1.12 1.04 1.00 2/108 30897
/proc/meminfo: memFree=1456960/2059040 swapFree=4138592/4192956
[pid=30847] ppid=30845 vsize=0 CPUtime=1800.17
/proc/30847/stat : 30847 (wbo1.4b) R 30845 30847 30553 0 -1 4203524 329030 0 0 0 179015 1002 0 0 25 0 1 0 24871347 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/30847/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.2
CPU user time (s): 1790.15
CPU system time (s): 10.0435
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1319176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.15
system time used= 10.0435
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2764

runsolver used 2.89956 second user time and 8.58569 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-08 07:23:08
IDJOB=2702425
IDBENCH=48147
IDSOLVER=1190
FILE ID=node015/2702425-1278566588
PBS_JOBID= 11239555
Free space on /tmp= 62584 MiB

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

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

MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31
RANDOM SEED=777118424

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1689268 kB
Buffers:         65940 kB
Cached:         211964 kB
SwapCached:       9892 kB
Active:         128216 kB
Inactive:       166920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1689268 kB
SwapTotal:     4192956 kB
SwapFree:      4138592 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:       13804 kB
Mapped:          12096 kB
Slab:            52712 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182196 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-2702425-1278566588.opb

Free space on /tmp at the end= 62584 MiB
End job on node015 at 2010-07-08 07:53:11