Trace number 3460934

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.6? (TO) 1800.12 1800.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM9c27419d6022516b3a8580fda3ca43ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50
Best CPU time to get the best result obtained on this benchmark23.7224
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 50
Optimality of the best value was proved NO
Number of variables807
Total number of constraints1823
Number of constraints which are clauses1823
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 807
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 807
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 807
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460934-1307081837.opb.
0.00/0.00	c Instance file HOME/instance-3460934-1307081837.opb
0.00/0.00	c File size is 302882 bytes.
0.00/0.02	c Highest Coefficient sum: 99
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      807                                                 |
0.00/0.02	c |  Number Clauses:        1823                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
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 |     791     1823    36014 |     5000        0   -nan |  0.000 % |
0.00/0.06	c core #1
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 35	Core Weight: 1	Total Weight: 17
0.00/0.06	c Current CPU time: 0.022996 s
0.00/0.06	c
0.00/0.06	c core #2
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 22	Core Weight: 1	Total Weight: 18
0.00/0.06	c Current CPU time: 0.024996 s
0.00/0.06	c
0.00/0.06	c core #3
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 18	Core Weight: 1	Total Weight: 19
0.00/0.06	c Current CPU time: 0.026995 s
0.00/0.06	c
0.00/0.06	c core #4
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 89	Core Weight: 1	Total Weight: 20
0.00/0.06	c Current CPU time: 0.028995 s
0.00/0.06	c
0.00/0.06	c core #5
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 13	Core Weight: 1	Total Weight: 21
0.00/0.06	c Current CPU time: 0.030995 s
0.00/0.06	c
0.00/0.06	c core #6
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 13	Core Weight: 1	Total Weight: 22
0.00/0.06	c Current CPU time: 0.032994 s
0.00/0.06	c
0.00/0.06	c core #7
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 50	Core Weight: 1	Total Weight: 23
0.00/0.06	c Current CPU time: 0.034994 s
0.00/0.06	c
0.00/0.06	c core #8
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 9	Core Weight: 1	Total Weight: 24
0.00/0.06	c Current CPU time: 0.036994 s
0.00/0.06	c
0.00/0.06	c core #9
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 12	Core Weight: 1	Total Weight: 25
0.00/0.06	c Current CPU time: 0.038994 s
0.00/0.06	c
0.00/0.06	c core #10
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 26
0.00/0.06	c Current CPU time: 0.040993 s
0.00/0.06	c
0.00/0.06	c core #11
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 49	Core Weight: 1	Total Weight: 27
0.00/0.06	c Current CPU time: 0.043993 s
0.00/0.06	c
0.00/0.06	c core #12
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 28
0.00/0.06	c Current CPU time: 0.045993 s
0.00/0.06	c
0.00/0.06	c core #13
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 5	Core Weight: 1	Total Weight: 29
0.00/0.06	c Current CPU time: 0.047992 s
0.00/0.06	c
0.00/0.06	c core #14
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 11	Core Weight: 1	Total Weight: 30
0.00/0.06	c Current CPU time: 0.049992 s
0.00/0.06	c
0.00/0.06	c core #15
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 8	Core Weight: 1	Total Weight: 31
0.00/0.06	c Current CPU time: 0.052991 s
0.00/0.06	c
0.00/0.06	c core #16
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 10	Core Weight: 1	Total Weight: 32
0.00/0.06	c Current CPU time: 0.054991 s
0.00/0.06	c
0.00/0.06	c core #17
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 33
0.00/0.06	c Current CPU time: 0.056991 s
0.00/0.06	c
0.00/0.06	c core #18
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 34
0.00/0.06	c Current CPU time: 0.058991 s
0.00/0.06	c
0.00/0.06	c core #19
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 69	Core Weight: 1	Total Weight: 35
0.00/0.06	c Current CPU time: 0.06199 s
0.00/0.06	c
0.00/0.06	c core #20
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 17	Core Weight: 1	Total Weight: 36
0.00/0.06	c Current CPU time: 0.06399 s
0.00/0.06	c
0.00/0.06	c core #21
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 27	Core Weight: 1	Total Weight: 37
0.00/0.06	c Current CPU time: 0.065989 s
0.00/0.06	c
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     719     2522    23055 |     5000        0   -nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.07	c core #22
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 46	Core Weight: 1	Total Weight: 38
0.00/0.07	c Current CPU time: 0.068989 s
0.00/0.07	c
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     867     2523    24340 |     5000        0   -nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #23
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 147	Core Weight: 1	Total Weight: 39
0.00/0.07	c Current CPU time: 0.072988 s
0.00/0.07	c
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    1054     2524    25158 |     5000        0   -nan |  0.000 % |
0.00/0.07	c |       103 |    1054     2524    25158 |     5500      103     84 | 26.294 % |
0.00/0.08	c |       253 |    1052     2524    25158 |     6050      253     60 | 26.434 % |
0.08/0.09	c |       480 |    1052     2524    25158 |     6655      480     48 | 26.434 % |
0.09/0.10	c |       817 |    1052     2524    25158 |     7320      817     41 | 26.504 % |
0.09/0.12	c |      1323 |    1051     2524    25158 |     8052     1323     42 | 39.720 % |
0.09/0.12	c ===============================================================================
0.09/0.13	c core #24
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 240	Core Weight: 1	Total Weight: 40
0.09/0.13	c Current CPU time: 0.121981 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    1316     2525    26270 |     5000        0   -nan |  0.000 % |
0.09/0.13	c |       100 |    1316     2525    26270 |     5500      100    134 | 21.103 % |
0.09/0.14	c |       252 |    1316     2525    26270 |     6050      252     90 | 21.103 % |
0.09/0.15	c |       479 |    1315     2525    26270 |     6655      479     75 | 21.163 % |
0.09/0.17	c |       816 |    1315     2525    26270 |     7320      816     68 | 21.163 % |
0.09/0.19	c |      1323 |    1315     2525    26270 |     8052     1323     76 | 21.163 % |
0.19/0.24	c |      2082 |    1315     2525    26270 |     8857     2082     78 | 21.163 % |
0.29/0.31	c |      3222 |    1314     2525    26270 |     9743     3222     75 | 21.223 % |
0.39/0.41	c |      4930 |    1314     2525    26270 |    10717     4930     79 | 21.223 % |
0.49/0.59	c |      7493 |    1314     2525    26270 |    11789     7493     75 | 21.223 % |
0.89/0.92	c |     11338 |    1313     2525    26270 |    12968    11338     80 | 21.283 % |
1.49/1.58	c |     17114 |    1311     2525    26270 |    14265    10325     89 | 21.468 % |
1.49/1.59	c ===============================================================================
1.59/1.65	c core #25
1.59/1.65	c 
1.59/1.65	c 
1.59/1.65	c Core size: 327	Core Weight: 1	Total Weight: 41
1.59/1.65	c Current CPU time: 1.56376 s
1.59/1.65	c
1.59/1.65	c ============================[ Search Statistics ]==============================
1.59/1.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.65	c ===============================================================================
1.59/1.65	c |         0 |    1766     2526    32850 |     5000        0   -nan |  0.000 % |
1.59/1.65	c |       101 |    1766     2526    32850 |     5500      101    142 | 11.167 % |
1.59/1.66	c |       251 |    1766     2526    32850 |     6050      251     92 | 11.167 % |
1.59/1.68	c |       480 |    1766     2526    32850 |     6655      480     84 | 11.167 % |
1.69/1.70	c |       817 |    1766     2526    32850 |     7320      817     87 | 11.167 % |
1.69/1.73	c |      1323 |    1766     2526    32850 |     8052     1323    105 | 11.167 % |
1.69/1.79	c |      2082 |    1766     2526    32850 |     8857     2082    115 | 11.167 % |
1.79/1.87	c |      3227 |    1766     2526    32850 |     9743     3227    116 | 11.167 % |
1.99/2.03	c |      4935 |    1766     2526    32850 |    10717     4935    122 | 11.167 % |
2.29/2.36	c |      7499 |    1766     2526    32850 |    11789     7499    125 | 11.167 % |
2.69/2.77	c |     11347 |    1766     2526    32850 |    12968    11347    132 | 11.167 % |
3.39/3.49	c |     17113 |    1766     2526    32850 |    14265    10425    148 | 11.167 % |
4.41/4.47	c |     25762 |    1766     2526    32850 |    15692    11694    162 | 11.167 % |
6.29/6.36	c |     38739 |    1766     2526    32850 |    17261     8625    143 | 11.167 % |
9.49/9.55	c |     58202 |    1766     2526    32850 |    18987    10331    124 | 11.167 % |
10.79/10.84	c ===============================================================================
11.01/11.07	c core #26
11.01/11.07	c 
11.01/11.07	c 
11.01/11.07	c Core size: 360	Core Weight: 1	Total Weight: 42
11.01/11.07	c Current CPU time: 10.7064 s
11.01/11.07	c
11.01/11.07	c ============================[ Search Statistics ]==============================
11.01/11.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.01/11.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.01/11.07	c ===============================================================================
11.01/11.07	c |         0 |    2164     2527    34051 |     5000        0   -nan |  0.000 % |
11.01/11.07	c |       103 |    2164     2527    34051 |     5500      103     55 |  7.797 % |
11.01/11.08	c |       253 |    2164     2527    34051 |     6050      253     60 |  7.797 % |
11.01/11.10	c |       478 |    2164     2527    34051 |     6655      478     64 |  7.797 % |
11.09/11.11	c |       816 |    2164     2527    34051 |     7320      816     67 |  7.797 % |
11.09/11.15	c |      1323 |    2160     2527    34051 |     8052     1323     87 |  7.968 % |
11.19/11.20	c |      2082 |    2160     2527    34051 |     8857     2082    118 |  7.968 % |
11.29/11.31	c |      3223 |    2160     2527    34051 |     9743     3223    149 |  7.968 % |
11.49/11.51	c |      4932 |    2160     2527    34051 |    10717     4932    168 |  7.968 % |
11.79/11.86	c |      7494 |    2160     2527    34051 |    11789     7494    184 |  7.968 % |
12.49/12.50	c |     11338 |    2160     2527    34051 |    12968    11338    215 |  7.968 % |
13.49/13.52	c |     17104 |    2160     2527    34051 |    14265    10327    256 |  7.968 % |
15.09/15.19	c |     25753 |    2160     2527    34051 |    15692    11649    218 |  7.968 % |
17.79/17.87	c |     38727 |    2160     2527    34051 |    17261     8296    200 |  7.968 % |
21.79/21.82	c |     58189 |    2160     2527    34051 |    18987    10189    246 |  7.968 % |
33.79/33.86	c |     87382 |    2160     2527    34051 |    20886    10186    296 |  7.968 % |
46.49/46.57	c |    131180 |    2158     2527    34051 |    22974    11217    294 |  8.053 % |
66.29/66.35	c |    196864 |    2158     2527    34051 |    25272    18683    259 |  8.053 % |
96.81/96.86	c |    295392 |    2158     2527    34051 |    27799    23290    267 |  8.053 % |
140.50/140.51	c |    443181 |    2156     2527    34051 |    30579    16110    299 |  8.138 % |
209.90/209.93	c |    664864 |    2156     2527    34051 |    33637    23437    212 |  8.138 % |
319.30/319.36	c |    997392 |    2153     2527    34051 |    37001    28567    304 |  8.266 % |
324.41/324.42	c ===============================================================================
333.70/333.73	c core #27
333.70/333.73	c 
333.70/333.73	c 
333.70/333.73	c Core size: 556	Core Weight: 1	Total Weight: 43
333.70/333.73	c Current CPU time: 328.595 s
333.70/333.73	c
333.70/333.73	c ============================[ Search Statistics ]==============================
333.70/333.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
333.70/333.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
333.70/333.73	c ===============================================================================
333.70/333.73	c |         0 |    2811     2528    38363 |     5000        0   -nan |  0.000 % |
333.70/333.74	c |       103 |    2811     2528    38363 |     5500      103    184 |  3.136 % |
333.70/333.75	c |       253 |    2811     2528    38363 |     6050      253    147 |  3.136 % |
333.70/333.78	c |       478 |    2811     2528    38363 |     6655      478    130 |  3.136 % |
333.80/333.80	c |       816 |    2811     2528    38363 |     7320      816    109 |  3.136 % |
333.80/333.84	c |      1322 |    2811     2528    38363 |     8052     1322    141 |  3.136 % |
333.90/333.91	c |      2083 |    2811     2528    38363 |     8857     2083    137 |  3.136 % |
334.00/334.00	c |      3223 |    2811     2528    38363 |     9743     3223    157 |  3.136 % |
334.21/334.23	c |      4931 |    2811     2528    38363 |    10717     4931    196 |  3.136 % |
334.60/334.68	c |      7493 |    2811     2528    38363 |    11789     7493    233 |  3.136 % |
335.52/335.56	c |     11341 |    2811     2528    38363 |    12968    11341    270 |  3.136 % |
336.70/336.78	c |     17107 |    2811     2528    38363 |    14265    10450    294 |  3.136 % |
339.40/339.40	c |     25756 |    2811     2528    38363 |    15692    11780    289 |  3.136 % |
342.01/342.08	c |     38732 |    2811     2528    38363 |    17261     8621    325 |  3.136 % |
347.80/347.90	c |     58196 |    2811     2528    38363 |    18987    10470    310 |  3.136 % |
355.50/355.55	c |     87390 |    2811     2528    38363 |    20886    10279    324 |  3.136 % |
371.61/371.67	c |    131180 |    2811     2528    38363 |    22974    11182    342 |  3.136 % |
390.81/390.84	c |    196870 |    2811     2528    38363 |    25272    17256    452 |  3.136 % |
427.70/427.81	c |    295396 |    2811     2528    38363 |    27799    23462    480 |  3.136 % |
490.30/490.35	c |    443187 |    2811     2528    38363 |    30579    17336    346 |  3.136 % |
567.31/567.32	c |    664872 |    2811     2528    38363 |    33637    17054    380 |  3.136 % |
679.51/679.53	c |    997401 |    2811     2528    38363 |    37001    18481    401 |  3.136 % |
890.32/890.38	c |   1496189 |    2809     2528    38363 |    40701    21090    349 |  3.205 % |
1236.53/1236.51	c |   2244375 |    2809     2528    38363 |    44771    18985    403 |  3.205 % |
1691.45/1691.47	c |   3366650 |    2809     2528    38363 |    49248    32220    434 |  3.205 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460934-1307081837/watcher-3460934-1307081837 -o /tmp/evaluation-result-3460934-1307081837/solver-3460934-1307081837 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460934-1307081837.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.32 1.86 1.95 4/513 17132
/proc/meminfo: memFree=21857044/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=2528 CPUtime=0.01 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 389 0 0 0 1 0 0 0 19 0 1 0 800599306 2588672 343 33554432000 4194304 5714214 140737428864432 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 632 343 211 372 0 183 0

[startup+0.0898971 s]
/proc/loadavg: 1.32 1.86 1.95 4/513 17132
/proc/meminfo: memFree=21857044/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=3340 CPUtime=0.08 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 709 0 0 0 8 0 0 0 18 0 1 0 800599306 3420160 589 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 835 589 180 372 0 460 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3340

[startup+0.100893 s]
/proc/loadavg: 1.32 1.86 1.95 4/513 17132
/proc/meminfo: memFree=21857044/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=3340 CPUtime=0.09 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 709 0 0 0 9 0 0 0 18 0 1 0 800599306 3420160 589 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 835 589 180 372 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3340

[startup+0.300852 s]
/proc/loadavg: 1.32 1.86 1.95 4/513 17132
/proc/meminfo: memFree=21857044/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=4564 CPUtime=0.29 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 1001 0 0 0 27 2 0 0 18 0 1 0 800599306 4673536 881 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 1141 881 180 372 0 766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4564

[startup+0.700776 s]
/proc/loadavg: 1.32 1.86 1.95 4/513 17132
/proc/meminfo: memFree=21857044/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=7860 CPUtime=0.69 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 1819 0 0 0 65 4 0 0 18 0 1 0 800599306 8048640 1699 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 1965 1700 180 372 0 1590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7860

[startup+1.50063 s]
/proc/loadavg: 1.32 1.86 1.95 3/515 17134
/proc/meminfo: memFree=21839544/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=11464 CPUtime=1.49 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 2721 0 0 0 141 8 0 0 19 0 1 0 800599306 11739136 2601 33554432000 4194304 5714214 140737428864432 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 2866 2601 180 372 0 2491 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11464

[startup+3.10033 s]
/proc/loadavg: 1.32 1.86 1.95 3/515 17134
/proc/meminfo: memFree=21832352/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=13756 CPUtime=3.09 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 3324 0 0 0 295 14 0 0 25 0 1 0 800599306 14086144 3177 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 3439 3177 180 372 0 3064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13756

[startup+6.30072 s]
/proc/loadavg: 1.37 1.86 1.95 3/515 17162
/proc/meminfo: memFree=21831988/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=22648 CPUtime=6.29 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 5528 0 0 0 604 25 0 0 25 0 1 0 800599306 23191552 5381 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 5662 5381 180 372 0 5287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22648

[startup+12.7005 s]
/proc/loadavg: 1.42 1.86 1.95 3/515 17162
/proc/meminfo: memFree=21803776/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=30424 CPUtime=12.69 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 7463 0 0 0 1229 40 0 0 18 0 1 0 800599306 31154176 7316 33554432000 4194304 5714214 140737428864432 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 7606 7316 180 372 0 7231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30424

[startup+25.5011 s]
/proc/loadavg: 1.55 1.87 1.95 3/515 17162
/proc/meminfo: memFree=21791160/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=41416 CPUtime=25.49 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 10215 0 0 0 2483 66 0 0 25 0 1 0 800599306 42409984 10068 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 10354 10068 180 372 0 9979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41416

[startup+51.1003 s]
/proc/loadavg: 1.70 1.88 1.95 3/515 17163
/proc/meminfo: memFree=21757196/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=66948 CPUtime=51.09 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 16495 0 0 0 5016 93 0 0 25 0 1 0 800599306 68554752 16348 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 16737 16348 180 372 0 16362 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66948

[startup+102.32 s]
/proc/loadavg: 1.87 1.89 1.95 3/515 17164
/proc/meminfo: memFree=21697528/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=107568 CPUtime=102.31 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 26484 0 0 0 10065 166 0 0 25 0 1 0 800599306 110149632 26337 33554432000 4194304 5714214 140737428864432 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 26892 26337 180 372 0 26517 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 107568

[startup+162.3 s]
/proc/loadavg: 1.95 1.91 1.95 3/515 17166
/proc/meminfo: memFree=21605584/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=149408 CPUtime=162.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 36834 0 0 0 15990 240 0 0 25 0 1 0 800599306 152993792 36687 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 37352 36687 180 372 0 36977 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 149408

[startup+222.301 s]
/proc/loadavg: 2.12 1.97 1.96 3/515 17167
/proc/meminfo: memFree=21497636/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=193932 CPUtime=222.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 47893 0 0 0 21904 326 0 0 25 0 1 0 800599306 198586368 47746 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 48483 47746 180 372 0 48108 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193932

[startup+282.301 s]
/proc/loadavg: 2.20 2.00 1.97 3/515 17169
/proc/meminfo: memFree=21387208/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=249288 CPUtime=282.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 61596 0 0 0 27818 412 0 0 25 0 1 0 800599306 255270912 61449 33554432000 4194304 5714214 140737428864432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 62322 61449 180 372 0 61947 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 249288

[startup+342.3 s]
/proc/loadavg: 2.07 2.00 1.97 3/515 17171
/proc/meminfo: memFree=21271944/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=318800 CPUtime=342.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 79230 0 0 0 33742 488 0 0 25 0 1 0 800599306 326451200 78817 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 79700 78817 180 372 0 79325 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 318800

[startup+402.301 s]
/proc/loadavg: 2.02 2.00 1.97 3/515 17172
/proc/meminfo: memFree=21206680/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=318800 CPUtime=402.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 79277 0 0 0 39655 575 0 0 25 0 1 0 800599306 326451200 78864 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 79700 78864 180 372 0 79325 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 318800

[startup+462.301 s]
/proc/loadavg: 2.01 2.00 1.97 3/515 17176
/proc/meminfo: memFree=21151200/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=318800 CPUtime=462.3 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 79350 0 0 0 45585 645 0 0 25 0 1 0 800599306 326451200 78937 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 79700 78937 180 372 0 79325 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 318800

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/515 17178
/proc/meminfo: memFree=21113828/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=318800 CPUtime=522.31 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 79415 0 0 0 51507 724 0 0 25 0 1 0 800599306 326451200 79002 33554432000 4194304 5714214 140737428864432 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 79700 79002 180 372 0 79325 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 318800

[startup+582.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/515 17180
/proc/meminfo: memFree=21070776/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=318800 CPUtime=582.31 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 79544 0 0 0 57438 793 0 0 25 0 1 0 800599306 326451200 79131 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 79700 79131 180 372 0 79325 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 318800

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.11 2.05 2.00 3/515 17186
/proc/meminfo: memFree=20866468/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=344440 CPUtime=822.32 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 86133 0 0 0 81167 1065 0 0 25 0 1 0 800599306 352706560 85720 33554432000 4194304 5714214 140737428864432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 86110 85721 180 372 0 85735 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 344440

[startup+882.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/515 17188
/proc/meminfo: memFree=20790652/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=378052 CPUtime=882.32 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 94404 0 0 0 87098 1134 0 0 25 0 1 0 800599306 387125248 93991 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 94513 93991 180 372 0 94138 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 378052

[startup+942.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 17190
/proc/meminfo: memFree=20731960/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=414924 CPUtime=942.32 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 103492 0 0 0 93032 1200 0 0 25 0 1 0 800599306 424882176 103079 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 103731 103079 180 372 0 103356 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 414924

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17191
/proc/meminfo: memFree=20653672/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=446468 CPUtime=1002.32 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 111292 0 0 0 98975 1257 0 0 25 0 1 0 800599306 457183232 110879 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 111617 110879 180 372 0 111242 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 446468

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17193
/proc/meminfo: memFree=20598952/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=472768 CPUtime=1062.33 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 117775 0 0 0 104915 1318 0 0 25 0 1 0 800599306 484114432 117362 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 118192 117362 180 372 0 117817 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 472768

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17194
/proc/meminfo: memFree=20513584/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=512996 CPUtime=1122.33 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 127791 0 0 0 110854 1379 0 0 25 0 1 0 800599306 525307904 127378 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 128249 127378 180 372 0 127874 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 512996

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17196
/proc/meminfo: memFree=20436652/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=544892 CPUtime=1182.34 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 135691 0 0 0 116818 1416 0 0 25 0 1 0 800599306 557969408 135278 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 136223 135278 180 372 0 135848 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 544892

[startup+1242.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/515 17198
/proc/meminfo: memFree=20388128/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=562180 CPUtime=1242.33 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 140474 0 0 0 122753 1480 0 0 25 0 1 0 800599306 575672320 139625 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 140545 139625 180 372 0 140170 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 562180

[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 17199
/proc/meminfo: memFree=20327940/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=586288 CPUtime=1302.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 146457 0 0 0 128696 1539 0 0 25 0 1 0 800599306 600358912 145608 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 146572 145608 180 372 0 146197 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 586288

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/515 17201
/proc/meminfo: memFree=20240976/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=622080 CPUtime=1362.34 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 155381 0 0 0 134633 1601 0 0 25 0 1 0 800599306 637009920 154532 33554432000 4194304 5714214 140737428864432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 155520 154532 180 372 0 155145 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 622080

[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 17202
/proc/meminfo: memFree=20179932/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=652144 CPUtime=1422.36 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 162847 0 0 0 140572 1664 0 0 25 0 1 0 800599306 667795456 161998 33554432000 4194304 5714214 140737428864432 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 163036 161998 180 372 0 162661 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 652144

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17204
/proc/meminfo: memFree=20123460/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=710124 CPUtime=1482.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 177302 0 0 0 146511 1724 0 0 25 0 1 0 800599306 727166976 176453 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 177531 176453 180 372 0 177156 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 710124

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17206
/proc/meminfo: memFree=20105308/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=725116 CPUtime=1542.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 181071 0 0 0 152456 1779 0 0 25 0 1 0 800599306 742518784 180222 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319201 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 181279 180222 180 372 0 180904 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 725116

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17207
/proc/meminfo: memFree=20084672/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=744520 CPUtime=1602.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 185908 0 0 0 158379 1856 0 0 25 0 1 0 800599306 762388480 185059 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 186130 185059 180 372 0 185755 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 744520

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17209
/proc/meminfo: memFree=20056984/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=773672 CPUtime=1662.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 193200 0 0 0 164312 1923 0 0 25 0 1 0 800599306 792240128 192351 33554432000 4194304 5714214 140737428864432 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 193418 192351 180 372 0 193043 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 773672

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17210
/proc/meminfo: memFree=20025316/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=803248 CPUtime=1722.35 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 200586 0 0 0 170234 2001 0 0 25 0 1 0 800599306 822525952 199737 33554432000 4194304 5714214 140737428864432 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 200812 199737 180 372 0 200437 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 803248

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 17212
/proc/meminfo: memFree=19980124/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=847164 CPUtime=1782.36 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 211512 0 0 0 176177 2059 0 0 25 0 1 0 800599306 867495936 210663 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 211791 210663 180 372 0 211416 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 847164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 17212
/proc/meminfo: memFree=19964724/32951124 swapFree=62999000/67111528
[pid=17130] ppid=17127 vsize=863424 CPUtime=1800.07 cores=1,3,5,7
/proc/17130/stat : 17130 (wbo1.6) R 17127 17130 742 0 -1 4202496 215593 0 0 0 177937 2070 0 0 25 0 1 0 800599306 884146176 214744 33554432000 4194304 5714214 140737428864432 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17130/statm: 215856 214744 180 372 0 215481 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 863424

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1779.38
CPU system time (s): 20.7428
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 863424

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

runsolver used 8.5747 second user time and 21.2368 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-03 08:17:17
IDJOB=3460934
IDBENCH=2052
IDSOLVER=1953
FILE ID=node141/3460934-1307081837
RUNJOBID= node141-1307081837-17114
PBS_JOBID= 13497845
Free space on /tmp= 73888 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-alu4.b.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460934-1307081837/watcher-3460934-1307081837 -o /tmp/evaluation-result-3460934-1307081837/solver-3460934-1307081837 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460934-1307081837.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9c27419d6022516b3a8580fda3ca43ee
RANDOM SEED=1526843842

node141.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5362.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21857248 kB
Buffers:        233412 kB
Cached:         610696 kB
SwapCached:       8848 kB
Active:       10282296 kB
Inactive:       547264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21857248 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            9044 kB
Writeback:           0 kB
AnonPages:     9983048 kB
Mapped:          25176 kB
Slab:           124568 kB
PageTables:      69252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150648600 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node141 at 2011-06-03 08:47:19