Trace number 3460831

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.07 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-bw.b.opb
MD5SUMacd1698068c8e97cbd0c7cd62fe047fc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark102.999
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved NO
Number of variables2847
Total number of constraints4902
Number of constraints which are clauses4902
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 constraint2
Maximum length of a constraint860
Number of terms in the objective function 2847
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 2847
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2847
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c wbo 1.6 beta - 20110321
0.00/0.01	c Parsing opb file format. File HOME/instance-3460831-1307104418.opb.
0.00/0.01	c Instance file HOME/instance-3460831-1307104418.opb
0.00/0.01	c File size is 2769108 bytes.
0.19/0.20	c Highest Coefficient sum: 861
0.19/0.20	c ============================[ Problem Statistics ]=============================
0.19/0.20	c |                                                                             |
0.19/0.20	c |  Parsing time:          0.20         s                                      |
0.19/0.20	c |  Number Variables:      2847                                                |
0.19/0.20	c |  Number Clauses:        4902                                                |
0.19/0.20	c |  Number Cardinality:    0                                                   |
0.19/0.20	c |  Number PB Constraints: 0                                                   |
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    2847     4902   315162 |     5000        0   -nan |  0.000 % |
0.19/0.28	c core #1
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 442	Core Weight: 1	Total Weight: 1
0.19/0.28	c Current CPU time: 0.221966 s
0.19/0.28	c
0.19/0.28	c core #2
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 35	Core Weight: 1	Total Weight: 2
0.19/0.28	c Current CPU time: 0.237963 s
0.19/0.28	c
0.19/0.28	c core #3
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 53	Core Weight: 1	Total Weight: 3
0.19/0.28	c Current CPU time: 0.252961 s
0.19/0.28	c
0.19/0.28	c core #4
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 86	Core Weight: 1	Total Weight: 4
0.19/0.28	c Current CPU time: 0.268959 s
0.19/0.28	c
0.19/0.28	c ============================[ Search Statistics ]==============================
0.19/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.28	c ===============================================================================
0.19/0.28	c |         0 |    1191     7753    76428 |     5000        0   -nan |  0.000 % |
0.19/0.28	c ===============================================================================
0.29/0.30	c core #5
0.29/0.30	c 
0.29/0.30	c 
0.29/0.30	c Core size: 38	Core Weight: 1	Total Weight: 5
0.29/0.30	c Current CPU time: 0.286956 s
0.29/0.30	c
0.29/0.30	c ============================[ Search Statistics ]==============================
0.29/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1256     7754    86771 |     5000        0   -nan |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.32	c core #6
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 434	Core Weight: 1	Total Weight: 6
0.29/0.32	c Current CPU time: 0.305953 s
0.29/0.32	c
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    2088     7755   146023 |     5000        0   -nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.34	c core #7
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 59	Core Weight: 1	Total Weight: 7
0.29/0.34	c Current CPU time: 0.32795 s
0.29/0.34	c
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    2186     7756   151919 |     5000        0   -nan |  0.000 % |
0.29/0.35	c |       100 |    2186     7756   151919 |     5500      100     73 | 44.909 % |
0.29/0.35	c ===============================================================================
0.29/0.37	c core #8
0.29/0.37	c 
0.29/0.37	c 
0.29/0.37	c Core size: 151	Core Weight: 1	Total Weight: 8
0.29/0.37	c Current CPU time: 0.356945 s
0.29/0.37	c
0.29/0.37	c ============================[ Search Statistics ]==============================
0.29/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.37	c ===============================================================================
0.29/0.37	c |         0 |    2390     7757   157320 |     5000        0   -nan |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.39	c core #9
0.29/0.39	c 
0.29/0.39	c 
0.29/0.39	c Core size: 21	Core Weight: 1	Total Weight: 9
0.29/0.39	c Current CPU time: 0.376942 s
0.29/0.39	c
0.29/0.39	c ============================[ Search Statistics ]==============================
0.29/0.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |    2407     7758   157354 |     5000        0   -nan |  0.000 % |
0.29/0.39	c ===============================================================================
0.39/0.41	c core #10
0.39/0.41	c 
0.39/0.41	c 
0.39/0.41	c Core size: 53	Core Weight: 1	Total Weight: 10
0.39/0.41	c Current CPU time: 0.395939 s
0.39/0.41	c
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    2456     7759   157452 |     5000        0   -nan |  0.000 % |
0.39/0.42	c |       102 |    2456     7759   157452 |     5500      102     16 | 41.258 % |
0.39/0.42	c ===============================================================================
0.39/0.44	c core #11
0.39/0.44	c 
0.39/0.44	c 
0.39/0.44	c Core size: 57	Core Weight: 1	Total Weight: 11
0.39/0.44	c Current CPU time: 0.417936 s
0.39/0.44	c
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2509     7760   157558 |     5000        0   -nan |  0.000 % |
0.39/0.44	c |       102 |    2509     7760   157558 |     5500      102    143 | 40.742 % |
0.39/0.46	c |       252 |    2509     7760   157558 |     6050      252    107 | 40.742 % |
0.39/0.49	c |       482 |    2509     7760   157558 |     6655      482    113 | 40.742 % |
0.49/0.52	c |       819 |    2509     7760   157558 |     7320      819    102 | 40.742 % |
0.49/0.56	c |      1325 |    2509     7760   157558 |     8052     1325    120 | 40.742 % |
0.59/0.63	c |      2086 |    2509     7760   157558 |     8857     2086    121 | 40.742 % |
0.69/0.74	c ===============================================================================
0.69/0.77	c core #12
0.69/0.77	c 
0.69/0.77	c 
0.69/0.77	c Core size: 762	Core Weight: 1	Total Weight: 12
0.69/0.77	c Current CPU time: 0.747886 s
0.69/0.77	c
0.69/0.77	c ============================[ Search Statistics ]==============================
0.69/0.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.77	c ===============================================================================
0.69/0.77	c |         0 |    3345     7761   177525 |     5000        0   -nan |  0.000 % |
0.69/0.78	c |       107 |    3345     7761   177525 |     5500      107     53 | 33.020 % |
0.69/0.79	c |       258 |    3345     7761   177525 |     6050      258     45 | 33.020 % |
0.79/0.80	c |       484 |    3345     7761   177525 |     6655      484     43 | 33.020 % |
0.79/0.81	c ===============================================================================
0.79/0.83	c core #13
0.79/0.83	c 
0.79/0.83	c 
0.79/0.83	c Core size: 57	Core Weight: 1	Total Weight: 13
0.79/0.83	c Current CPU time: 0.804877 s
0.79/0.83	c
0.79/0.83	c ============================[ Search Statistics ]==============================
0.79/0.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.83	c ===============================================================================
0.79/0.83	c |         0 |    3398     7762   177631 |     5000        0   -nan |  0.000 % |
0.79/0.84	c |       102 |    3398     7762   177631 |     5500      102     60 | 32.673 % |
0.79/0.84	c |       254 |    3398     7762   177631 |     6050      254     60 | 32.673 % |
0.79/0.85	c |       479 |    3398     7762   177631 |     6655      479     60 | 32.673 % |
0.79/0.86	c |       819 |    3398     7762   177631 |     7320      819     66 | 32.673 % |
0.79/0.88	c |      1328 |    3398     7762   177631 |     8052     1328     68 | 32.673 % |
0.89/0.93	c |      2091 |    3398     7762   177631 |     8857     2091     73 | 32.673 % |
0.89/1.00	c |      3230 |    3398     7762   177631 |     9743     3230     76 | 32.673 % |
1.11/1.14	c |      4939 |    3398     7762   177631 |    10717     4939     74 | 32.673 % |
1.28/1.38	c |      7501 |    3398     7762   177631 |    11789     7501     75 | 32.673 % |
1.70/1.77	c |     11346 |    3345     7762   177631 |    12968    11346     76 | 33.723 % |
1.70/1.77	c ===============================================================================
1.70/1.82	c core #14
1.70/1.82	c 
1.70/1.82	c 
1.70/1.82	c Core size: 80	Core Weight: 1	Total Weight: 14
1.70/1.82	c Current CPU time: 1.77773 s
1.70/1.82	c
1.70/1.82	c ============================[ Search Statistics ]==============================
1.70/1.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.70/1.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.70/1.82	c ===============================================================================
1.70/1.82	c |         0 |    3482     7763   178769 |     5000        0   -nan |  0.000 % |
1.70/1.83	c |       107 |    3482     7763   178769 |     5500      107    105 | 32.059 % |
1.70/1.83	c |       257 |    3482     7763   178769 |     6050      257     64 | 32.059 % |
1.70/1.84	c |       483 |    3482     7763   178769 |     6655      483     78 | 32.059 % |
1.70/1.86	c |       820 |    3482     7763   178769 |     7320      820     85 | 32.059 % |
1.70/1.89	c |      1326 |    3482     7763   178769 |     8052     1326     89 | 32.059 % |
1.70/1.93	c |      2085 |    3482     7763   178769 |     8857     2085     91 | 32.059 % |
1.87/2.00	c |      3234 |    3482     7763   178769 |     9743     3234     90 | 32.059 % |
2.18/2.22	c |      4942 |    3482     7763   178769 |    10717     4942    101 | 32.059 % |
2.26/2.49	c |      7506 |    3482     7763   178769 |    11789     7506    106 | 32.059 % |
2.26/2.98	c |     11350 |    3482     7763   178769 |    12968    11350    106 | 32.059 % |
3.69/3.70	c |     17117 |    3482     7763   178769 |    14265     9706    106 | 32.059 % |
4.61/4.64	c |     25767 |    3482     7763   178769 |    15692    10359    108 | 32.059 % |
5.99/6.06	c ===============================================================================
6.19/6.24	c core #15
6.19/6.24	c 
6.19/6.24	c 
6.19/6.24	c Core size: 115	Core Weight: 1	Total Weight: 15
6.19/6.24	c Current CPU time: 6.13307 s
6.19/6.24	c
6.19/6.24	c ============================[ Search Statistics ]==============================
6.19/6.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.24	c ===============================================================================
6.19/6.24	c |         0 |    3594     7764   178993 |     5000        0   -nan |  0.000 % |
6.19/6.25	c |       102 |    3594     7764   178993 |     5500      102    134 | 31.373 % |
6.19/6.26	c |       252 |    3594     7764   178993 |     6050      252    164 | 31.373 % |
6.29/6.33	c |       479 |    3594     7764   178993 |     6655      479    291 | 31.373 % |
6.39/6.47	c |       816 |    3594     7764   178993 |     7320      816    296 | 31.373 % |
6.50/6.59	c |      1322 |    3594     7764   178993 |     8052     1322    348 | 31.373 % |
6.80/6.89	c |      2081 |    3594     7764   178993 |     8857     2081    390 | 31.373 % |
7.29/7.33	c |      3220 |    3594     7764   178993 |     9743     3220    390 | 31.373 % |
7.69/7.74	c |      4928 |    3594     7764   178993 |    10717     4928    395 | 31.373 % |
8.69/8.78	c |      7491 |    3594     7764   178993 |    11789     7491    406 | 31.373 % |
9.99/10.09	c |     11338 |    3594     7764   178993 |    12968    11338    428 | 31.373 % |
13.09/13.11	c |     17106 |    3594     7764   178993 |    14265     9400    500 | 31.373 % |
18.19/18.21	c |     25755 |    3594     7764   178993 |    15692     9971    701 | 31.373 % |
25.09/25.11	c |     38731 |    3594     7764   178993 |    17261    14066    745 | 31.373 % |
37.19/37.28	c |     58192 |    3594     7764   178993 |    18987    14081    852 | 31.373 % |
50.98/51.05	c |     87385 |    3594     7764   178993 |    20886    11704    823 | 31.373 % |
79.50/79.57	c |    131176 |    3594     7764   178993 |    22974    21313    815 | 31.373 % |
131.88/131.97	c |    196860 |    3594     7764   178993 |    25272    23717    759 | 31.373 % |
210.59/210.67	c |    295386 |    3594     7764   178993 |    27799    16119    810 | 31.373 % |
265.48/265.56	c ===============================================================================
268.18/268.20	c core #16
268.18/268.20	c 
268.18/268.20	c 
268.18/268.20	c Core size: 2367	Core Weight: 1	Total Weight: 16
268.18/268.20	c Current CPU time: 266.918 s
268.18/268.20	c
268.18/268.20	c ============================[ Search Statistics ]==============================
268.18/268.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
268.18/268.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
268.18/268.20	c ===============================================================================
268.18/268.20	c |         0 |    7277     7765   299018 |     5000        0   -nan |  0.000 % |
268.18/268.22	c |       102 |    7277     7765   299018 |     5500      102    253 |  4.250 % |
268.38/268.40	c |       252 |    7277     7765   299018 |     6050      252    244 |  4.250 % |
268.48/268.54	c |       478 |    7277     7765   299018 |     6655      478    203 |  4.250 % |
268.60/268.62	c |       815 |    7277     7765   299018 |     7320      815    254 |  4.250 % |
268.60/268.67	c |      1323 |    7277     7765   299018 |     8052     1323    261 |  4.250 % |
269.39/269.43	c |      2082 |    7277     7765   299018 |     8857     2082    324 |  4.250 % |
270.19/270.29	c |      3221 |    7277     7765   299018 |     9743     3221    415 |  4.250 % |
271.09/271.15	c |      4933 |    7277     7765   299018 |    10717     4933    661 |  4.250 % |
272.08/272.11	c |      7496 |    7277     7765   299018 |    11789     7496    771 |  4.250 % |
273.58/273.68	c |     11342 |    7277     7765   299018 |    12968    11342    796 |  4.250 % |
280.28/280.30	c |     17109 |    7277     7765   299018 |    14265    10020    928 |  4.250 % |
291.08/291.17	c |     25758 |    7277     7765   299018 |    15692    10619   1224 |  4.250 % |
306.00/306.05	c |     38732 |    7277     7765   299018 |    17261    15208    802 |  4.250 % |
331.40/331.42	c |     58195 |    7277     7765   299018 |    18987    16218    811 |  4.250 % |
361.48/361.57	c |     87395 |    7277     7765   299018 |    20886    14320    517 |  4.250 % |
429.68/429.75	c |    131184 |    7277     7765   299018 |    22974    13398    605 |  4.250 % |
511.98/512.04	c |    196869 |    7277     7765   299018 |    25272    15278    796 |  4.250 % |
631.49/631.57	c |    295399 |    7277     7765   299018 |    27799    25883    742 |  4.250 % |
787.60/787.62	c |    443192 |    7277     7765   299018 |    30579    19113    632 |  4.250 % |
1064.02/1064.03	c |    664882 |    7277     7765   299018 |    33637    13325    637 |  4.250 % |
1525.21/1525.24	c |    997407 |    7277     7765   299018 |    37001    30840   1183 |  4.250 % |

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-3460831-1307104418/watcher-3460831-1307104418 -o /tmp/evaluation-result-3460831-1307104418/solver-3460831-1307104418 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460831-1307104418.opb 

running on 4 cores: 0,2,4,6

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.93 2.01 2.00 3/530 29737
/proc/meminfo: memFree=15248496/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=5532 CPUtime=0.01 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 502 0 0 0 1 0 0 0 25 0 1 0 822040471 5664768 456 33554432000 4194304 5714214 140737129619184 18446744073709551615 4990124 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 1383 456 209 372 0 331 0

[startup+0.070432 s]
/proc/loadavg: 1.93 2.01 2.00 3/530 29737
/proc/meminfo: memFree=15248496/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=5796 CPUtime=0.06 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 775 0 0 0 6 0 0 0 25 0 1 0 822040471 5935104 729 33554432000 4194304 5714214 140737129619184 18446744073709551615 4954000 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 1449 729 391 372 0 397 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5796

[startup+0.100431 s]
/proc/loadavg: 1.93 2.01 2.00 3/530 29737
/proc/meminfo: memFree=15248496/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=6056 CPUtime=0.09 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 939 0 0 0 9 0 0 0 25 0 1 0 822040471 6201344 893 33554432000 4194304 5714214 140737129619184 18446744073709551615 4948441 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 1514 894 493 372 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6056

[startup+0.300388 s]
/proc/loadavg: 1.93 2.01 2.00 3/530 29737
/proc/meminfo: memFree=15248496/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=7268 CPUtime=0.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 2303 0 0 0 29 0 0 0 18 0 1 0 822040471 7442432 1580 33554432000 4194304 5714214 140737129619184 18446744073709551615 4199232 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 1817 1580 179 372 0 1442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7268

[startup+0.700332 s]
/proc/loadavg: 1.93 2.01 2.00 3/530 29737
/proc/meminfo: memFree=15248496/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=8092 CPUtime=0.69 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 2606 0 0 0 69 0 0 0 18 0 1 0 822040471 8286208 1736 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 2023 1736 180 372 0 1648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8092

[startup+1.58586 s]
/proc/loadavg: 1.93 2.01 2.00 3/531 29738
/proc/meminfo: memFree=15238072/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=11108 CPUtime=1.6 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 3394 0 0 0 158 2 0 0 20 0 1 0 822040471 11374592 2524 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 2777 2534 180 372 0 2402 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 11108

[startup+3.60083 s]
/proc/loadavg: 1.93 2.01 2.00 3/531 29738
/proc/meminfo: memFree=15228772/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=15900 CPUtime=3.59 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 4573 0 0 0 354 5 0 0 20 0 1 0 822040471 16281600 3703 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 3975 3703 180 372 0 3600 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 15900

[startup+6.30037 s]
/proc/loadavg: 1.93 2.01 2.00 3/531 29738
/proc/meminfo: memFree=15218108/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=22004 CPUtime=6.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 6098 0 0 0 622 7 0 0 25 0 1 0 822040471 22532096 5228 33554432000 4194304 5714214 140737129619184 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 5501 5228 180 372 0 5126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22004

[startup+12.7003 s]
/proc/loadavg: 1.94 2.01 2.00 3/531 29738
/proc/meminfo: memFree=15188716/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=41500 CPUtime=12.69 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 10972 0 0 0 1257 12 0 0 25 0 1 0 822040471 42496000 10102 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 10375 10102 180 372 0 10000 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41500

[startup+25.5011 s]
/proc/loadavg: 1.95 2.01 2.00 3/531 29740
/proc/meminfo: memFree=15156264/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=72000 CPUtime=25.5 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 18616 0 0 0 2531 19 0 0 25 0 1 0 822040471 73728000 17746 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/29737/statm: 18000 17746 180 372 0 17625 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 72000

[startup+51.1007 s]
/proc/loadavg: 1.97 2.01 2.00 3/531 29740
/proc/meminfo: memFree=15097260/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=100868 CPUtime=51.08 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 25796 0 0 0 5075 33 0 0 25 0 1 0 822040471 103288832 24926 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 25217 24926 180 372 0 24842 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 100868

[startup+102.301 s]
/proc/loadavg: 1.98 2.00 2.00 3/531 29742
/proc/meminfo: memFree=15009440/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=145552 CPUtime=102.28 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 36945 0 0 0 10177 51 0 0 25 0 1 0 822040471 149045248 36075 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 36388 36075 180 372 0 36013 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 145552

[startup+162.301 s]
/proc/loadavg: 2.08 2.03 2.01 3/531 29742
/proc/meminfo: memFree=14968384/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=191788 CPUtime=162.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 48391 0 0 0 16156 73 0 0 25 0 1 0 822040471 196390912 47521 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 47947 47521 180 372 0 47572 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 191788

[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/531 29744
/proc/meminfo: memFree=14929676/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=208164 CPUtime=222.28 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 52499 0 0 0 22136 92 0 0 25 0 1 0 822040471 213159936 51629 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 52041 51629 180 372 0 51666 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 208164

[startup+282.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/531 29746
/proc/meminfo: memFree=14879072/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=282.28 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64546 0 0 0 28112 116 0 0 25 0 1 0 822040471 258273280 62673 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62673 180 372 0 62680 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 252220

[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/531 29748
/proc/meminfo: memFree=14830456/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=342.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64571 0 0 0 34093 137 0 0 25 0 1 0 822040471 258273280 62698 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62698 180 372 0 62680 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 252220

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/531 29750
/proc/meminfo: memFree=14823380/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=402.28 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64576 0 0 0 40074 154 0 0 25 0 1 0 822040471 258273280 62703 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62703 180 372 0 62680 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 252220

[startup+462.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 29750
/proc/meminfo: memFree=14788148/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=462.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64601 0 0 0 46060 170 0 0 25 0 1 0 822040471 258273280 62728 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62728 180 372 0 62680 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 252220

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29752
/proc/meminfo: memFree=14761860/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=522.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64623 0 0 0 52042 187 0 0 25 0 1 0 822040471 258273280 62750 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62750 180 372 0 62680 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 252220

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29754
/proc/meminfo: memFree=14732840/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=252220 CPUtime=582.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 64667 0 0 0 58026 203 0 0 25 0 1 0 822040471 258273280 62794 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 63055 62794 180 372 0 62680 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 252220

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/531 29760
/proc/meminfo: memFree=14565532/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=284412 CPUtime=822.29 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 72726 0 0 0 81948 281 0 0 25 0 1 0 822040471 291237888 70853 33554432000 4194304 5714214 140737129619184 18446744073709551615 4320115 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 71103 70853 180 372 0 70728 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 284412

[startup+882.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/531 29762
/proc/meminfo: memFree=14512456/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=293040 CPUtime=882.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 74886 0 0 0 87931 299 0 0 25 0 1 0 822040471 300072960 73013 33554432000 4194304 5714214 140737129619184 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 73260 73013 180 372 0 72885 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 293040

[startup+942.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/531 29764
/proc/meminfo: memFree=14497812/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=295284 CPUtime=942.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 75447 0 0 0 93915 315 0 0 25 0 1 0 822040471 302370816 73574 33554432000 4194304 5714214 140737129619184 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 73821 73574 180 372 0 73446 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 295284

[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 29766
/proc/meminfo: memFree=14452920/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=337372 CPUtime=1002.32 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 85960 0 0 0 99894 338 0 0 25 0 1 0 822040471 345468928 84087 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 84343 84087 180 372 0 83968 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 337372

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 29766
/proc/meminfo: memFree=14407284/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=340680 CPUtime=1062.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 86782 0 0 0 105877 353 0 0 25 0 1 0 822040471 348856320 84909 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 85170 84909 180 372 0 84795 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 340680

[startup+1122.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29768
/proc/meminfo: memFree=14355068/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=380192 CPUtime=1122.32 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 96956 0 0 0 111866 366 0 0 25 0 1 0 822040471 389316608 94746 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 95048 94746 180 372 0 94673 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 380192

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29770
/proc/meminfo: memFree=14291692/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=416460 CPUtime=1182.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 106011 0 0 0 117856 374 0 0 25 0 1 0 822040471 426455040 103801 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 104115 103801 180 372 0 103740 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 416460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29772
/proc/meminfo: memFree=14251140/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=433740 CPUtime=1242.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 110259 0 0 0 123841 390 0 0 25 0 1 0 822040471 444149760 108049 33554432000 4194304 5714214 140737129619184 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 108435 108049 180 372 0 108060 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 433740

[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/531 29774
/proc/meminfo: memFree=14238108/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=433740 CPUtime=1302.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 110259 0 0 0 129827 404 0 0 25 0 1 0 822040471 444149760 108049 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 108435 108049 180 372 0 108060 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 433740

[startup+1362.3 s]
/proc/loadavg: 2.24 2.06 2.02 3/531 29774
/proc/meminfo: memFree=14207220/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=433740 CPUtime=1362.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 110259 0 0 0 135817 413 0 0 25 0 1 0 822040471 444149760 108049 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 108435 108049 180 372 0 108060 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 433740

[startup+1422.3 s]
/proc/loadavg: 2.15 2.06 2.02 3/531 29776
/proc/meminfo: memFree=14141500/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=450648 CPUtime=1422.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 114493 0 0 0 141807 424 0 0 25 0 1 0 822040471 461463552 112283 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 112662 112283 180 372 0 112287 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 450648

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/531 29778
/proc/meminfo: memFree=14106520/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=485164 CPUtime=1482.3 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 123060 0 0 0 147789 441 0 0 25 0 1 0 822040471 496807936 120850 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 121291 120850 180 372 0 120916 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 485164

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/531 29780
/proc/meminfo: memFree=14037440/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=550560 CPUtime=1542.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 139358 0 0 0 153766 465 0 0 25 0 1 0 822040471 563773440 137148 33554432000 4194304 5714214 140737129619184 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 137640 137148 180 372 0 137265 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 550560

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 29782
/proc/meminfo: memFree=14011020/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=550560 CPUtime=1602.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 139368 0 0 0 159749 482 0 0 25 0 1 0 822040471 563773440 137158 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29737/statm: 137640 137158 180 372 0 137265 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 550560

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29791
/proc/meminfo: memFree=14011332/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=550560 CPUtime=1662.33 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 139369 0 0 0 165732 501 0 0 25 0 1 0 822040471 563773440 137159 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29737/statm: 137640 137159 180 372 0 137265 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 550560

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 29793
/proc/meminfo: memFree=13983420/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=570032 CPUtime=1722.31 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 144209 0 0 0 171718 513 0 0 25 0 1 0 822040471 583712768 141999 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29737/statm: 142508 141999 180 372 0 142133 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 570032

[startup+1782.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 29795
/proc/meminfo: memFree=13964188/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=581544 CPUtime=1782.33 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 147071 0 0 0 177703 530 0 0 25 0 1 0 822040471 595501056 144861 33554432000 4194304 5714214 140737129619184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29737/statm: 145386 144861 180 372 0 145011 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 581544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.09 2.03 2.01 3/531 29823
/proc/meminfo: memFree=14660832/32951132 swapFree=46579808/67111528
[pid=29737] ppid=29735 vsize=593172 CPUtime=1800.02 cores=0,2,4,6
/proc/29737/stat : 29737 (wbo1.6) R 29735 29737 28716 0 -1 4202496 149943 0 0 0 179466 536 0 0 25 0 1 0 822040471 607408128 147733 33554432000 4194304 5714214 140737129619184 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/29737/statm: 148293 147733 180 372 0 147918 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 593172

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.05
CPU time (s): 1800.07
CPU user time (s): 1794.67
CPU system time (s): 5.39618
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 593172

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

runsolver used 10.3024 second user time and 22.0346 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-03 14:33:38
IDJOB=3460831
IDBENCH=2888
IDSOLVER=1953
FILE ID=node128/3460831-1307104418
RUNJOBID= node128-1307091794-28734
PBS_JOBID= 13497962
Free space on /tmp= 73908 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460831-1307104418/watcher-3460831-1307104418 -o /tmp/evaluation-result-3460831-1307104418/solver-3460831-1307104418 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460831-1307104418.opb

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

MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc
RANDOM SEED=1130709257

node128.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.852
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.70
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.852
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	: 5332.75
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.852
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.852
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.852
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.82
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15248776 kB
Buffers:        321128 kB
Cached:        3459104 kB
SwapCached:      35620 kB
Active:        9010568 kB
Inactive:      8377324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15248776 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:           11664 kB
Writeback:           0 kB
AnonPages:    13581212 kB
Mapped:          18476 kB
Slab:           133264 kB
PageTables:     112148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174820088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node128 at 2011-06-03 15:03:40