Trace number 1875719

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.3 1801.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark1794.89
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875719-1245148486.opb.
0.00/0.00	c Instance file HOME/instance-1875719-1245148486.opb
0.00/0.00	c File size is 1025835 bytes.
0.09/0.15	c Highest Coefficient sum: 173
0.09/0.15	c ============================[ Problem Statistics ]=============================
0.09/0.15	c |                                                                             |
0.09/0.15	c |  Parsing time:          0.15         s                                      |
0.09/0.15	c |  Number Variables:      6139                                                |
0.09/0.15	c |  Number Clauses:        7576                                                |
0.09/0.15	c |  Number Cardinality:    0                                                   |
0.09/0.15	c |  Number PB Constraints: 0                                                   |
0.09/0.15	c core #1
0.09/0.15	c Core size: 128	Core Weight: 1	Total Weight: 1
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.17	c core #2
0.09/0.17	c Core size: 63	Core Weight: 1	Total Weight: 2
0.09/0.17	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #3
0.09/0.18	c Core size: 62	Core Weight: 1	Total Weight: 3
0.09/0.18	c Elapsed CPU time: 0.181972 s	Remaining CPU time: 1799.82 s
0.19/0.20	c core #4
0.19/0.20	c Core size: 34	Core Weight: 1	Total Weight: 4
0.19/0.20	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.19/0.22	c core #5
0.19/0.22	c Core size: 59	Core Weight: 1	Total Weight: 5
0.19/0.22	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.23	c core #6
0.19/0.23	c Core size: 41	Core Weight: 1	Total Weight: 6
0.19/0.23	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.25	c core #7
0.19/0.25	c Core size: 69	Core Weight: 1	Total Weight: 7
0.19/0.25	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.27	c core #8
0.19/0.27	c Core size: 96	Core Weight: 1	Total Weight: 8
0.19/0.27	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.19/0.29	c core #9
0.19/0.29	c Core size: 43	Core Weight: 1	Total Weight: 9
0.19/0.29	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.29/0.31	c core #10
0.29/0.31	c Core size: 79	Core Weight: 1	Total Weight: 10
0.29/0.31	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 1799.69 s
0.29/0.33	c core #11
0.29/0.33	c Core size: 35	Core Weight: 1	Total Weight: 11
0.29/0.33	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 1799.68 s
0.29/0.35	c core #12
0.29/0.35	c Core size: 60	Core Weight: 1	Total Weight: 12
0.29/0.35	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 1799.66 s
0.29/0.37	c core #13
0.29/0.37	c Core size: 59	Core Weight: 1	Total Weight: 13
0.29/0.37	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.39	c core #14
0.29/0.39	c Core size: 38	Core Weight: 1	Total Weight: 14
0.29/0.39	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.39/0.41	c core #15
0.39/0.41	c Core size: 95	Core Weight: 1	Total Weight: 15
0.39/0.41	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.39/0.43	c core #16
0.39/0.43	c Core size: 30	Core Weight: 1	Total Weight: 16
0.39/0.43	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 1799.58 s
0.39/0.45	c core #17
0.39/0.45	c Core size: 41	Core Weight: 1	Total Weight: 17
0.39/0.45	c Elapsed CPU time: 0.444932 s	Remaining CPU time: 1799.56 s
0.39/0.47	c core #18
0.39/0.47	c Core size: 27	Core Weight: 1	Total Weight: 18
0.39/0.47	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.49	c core #19
0.39/0.49	c Core size: 48	Core Weight: 1	Total Weight: 19
0.39/0.49	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.49/0.51	c core #20
0.49/0.51	c Core size: 35	Core Weight: 1	Total Weight: 20
0.49/0.51	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.53	c core #21
0.49/0.53	c Core size: 6	Core Weight: 1	Total Weight: 21
0.49/0.53	c Elapsed CPU time: 0.52492 s	Remaining CPU time: 1799.48 s
0.49/0.55	c core #22
0.49/0.55	c Core size: 22	Core Weight: 1	Total Weight: 22
0.49/0.55	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.49/0.57	c core #23
0.49/0.57	c Core size: 17	Core Weight: 1	Total Weight: 23
0.49/0.57	c Elapsed CPU time: 0.566913 s	Remaining CPU time: 1799.43 s
0.49/0.59	c core #24
0.49/0.59	c Core size: 70	Core Weight: 1	Total Weight: 24
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.59/0.62	c core #25
0.59/0.62	c Core size: 48	Core Weight: 1	Total Weight: 25
0.59/0.62	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.63	c core #26
0.59/0.63	c Core size: 33	Core Weight: 1	Total Weight: 26
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.65	c core #27
0.59/0.65	c Core size: 42	Core Weight: 1	Total Weight: 27
0.59/0.65	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 1799.35 s
0.59/0.68	c core #28
0.59/0.68	c Core size: 19	Core Weight: 1	Total Weight: 28
0.59/0.68	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 1799.33 s
0.69/0.70	c core #29
0.69/0.70	c Core size: 23	Core Weight: 1	Total Weight: 29
0.69/0.70	c Elapsed CPU time: 0.692894 s	Remaining CPU time: 1799.31 s
0.69/0.72	c core #30
0.69/0.72	c Core size: 25	Core Weight: 1	Total Weight: 30
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.74	c core #31
0.69/0.74	c Core size: 59	Core Weight: 1	Total Weight: 31
0.69/0.74	c Elapsed CPU time: 0.735888 s	Remaining CPU time: 1799.26 s
0.69/0.76	c core #32
0.69/0.76	c Core size: 43	Core Weight: 1	Total Weight: 32
0.69/0.76	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 1799.24 s
0.69/0.79	c core #33
0.69/0.79	c Core size: 47	Core Weight: 1	Total Weight: 33
0.69/0.79	c Elapsed CPU time: 0.779881 s	Remaining CPU time: 1799.22 s
0.79/0.81	c core #34
0.79/0.81	c Core size: 11	Core Weight: 1	Total Weight: 34
0.79/0.81	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.83	c core #35
0.79/0.83	c Core size: 26	Core Weight: 1	Total Weight: 35
0.79/0.83	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.85	c core #36
0.79/0.85	c Core size: 61	Core Weight: 1	Total Weight: 36
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.87	c core #37
0.79/0.87	c Core size: 18	Core Weight: 1	Total Weight: 37
0.79/0.87	c Elapsed CPU time: 0.868867 s	Remaining CPU time: 1799.13 s
0.89/0.90	c core #38
0.89/0.90	c Core size: 43	Core Weight: 1	Total Weight: 38
0.89/0.90	c Elapsed CPU time: 0.891864 s	Remaining CPU time: 1799.11 s
0.89/0.92	c core #39
0.89/0.92	c Core size: 63	Core Weight: 1	Total Weight: 39
0.89/0.92	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.94	c core #40
0.89/0.94	c Core size: 23	Core Weight: 1	Total Weight: 40
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.97	c core #41
0.89/0.97	c Core size: 30	Core Weight: 1	Total Weight: 41
0.89/0.97	c Elapsed CPU time: 0.959854 s	Remaining CPU time: 1799.04 s
0.89/0.99	c core #42
0.89/0.99	c Core size: 23	Core Weight: 1	Total Weight: 42
0.89/0.99	c Elapsed CPU time: 0.98285 s	Remaining CPU time: 1799.02 s
1.00/1.01	c core #43
1.00/1.01	c Core size: 62	Core Weight: 1	Total Weight: 43
1.00/1.01	c Elapsed CPU time: 1.00485 s	Remaining CPU time: 1799 s
1.00/1.03	c core #44
1.00/1.03	c Core size: 15	Core Weight: 1	Total Weight: 44
1.00/1.03	c Elapsed CPU time: 1.02684 s	Remaining CPU time: 1798.97 s
1.00/1.06	c core #45
1.00/1.06	c Core size: 43	Core Weight: 1	Total Weight: 45
1.00/1.06	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
1.00/1.08	c core #46
1.00/1.08	c Core size: 45	Core Weight: 1	Total Weight: 46
1.00/1.08	c Elapsed CPU time: 1.07384 s	Remaining CPU time: 1798.93 s
1.10/1.10	c core #47
1.10/1.10	c Core size: 37	Core Weight: 1	Total Weight: 47
1.10/1.10	c Elapsed CPU time: 1.09683 s	Remaining CPU time: 1798.9 s
1.10/1.13	c core #48
1.10/1.13	c Core size: 50	Core Weight: 1	Total Weight: 48
1.10/1.13	c Elapsed CPU time: 1.12083 s	Remaining CPU time: 1798.88 s
1.10/1.15	c ============================[ Search Statistics ]==============================
1.10/1.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.15	c ===============================================================================
1.10/1.15	c |         0 |    3706     7624   115099 |     5000        0    nan |  0.000 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c core #49
1.10/1.15	c Core size: 265	Core Weight: 1	Total Weight: 49
1.10/1.15	c Elapsed CPU time: 1.14682 s	Remaining CPU time: 1798.85 s
1.10/1.18	c ============================[ Search Statistics ]==============================
1.10/1.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.10/1.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.10/1.18	c ===============================================================================
1.10/1.18	c |         0 |    4664     7625   116332 |     5000        0    nan |  0.000 % |
1.10/1.19	c |       100 |    4662     7625   116332 |     5500      100    103 | 45.082 % |
1.19/1.23	c |       256 |    4662     7625   116332 |     6050      256    112 | 45.105 % |
1.19/1.27	c |       481 |    4661     7625   116332 |     6655      481    105 | 45.105 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c core #50
1.19/1.29	c Core size: 336	Core Weight: 1	Total Weight: 50
1.19/1.29	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 1798.72 s
1.29/1.31	c ============================[ Search Statistics ]==============================
1.29/1.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.31	c ===============================================================================
1.29/1.31	c |         0 |    5128     7626   117117 |     5000        0    nan |  0.000 % |
1.29/1.33	c |       104 |    5116     7626   117117 |     5500      104     48 | 41.930 % |
1.29/1.38	c |       257 |    5113     7626   117117 |     6050      257     61 | 41.964 % |
1.39/1.44	c |       484 |    5111     7626   117117 |     6655      465     62 | 41.986 % |
1.49/1.57	c |       822 |    5109     7626   117117 |     7320      803     88 | 42.009 % |
1.69/1.73	c |      1331 |    5108     7626   117117 |     8052     1310    105 | 42.020 % |
1.99/2.09	c |      2090 |    5107     7626   117117 |     8857     2069    165 | 42.032 % |
2.49/2.56	c |      3230 |    5107     7626   117117 |     9743     3207    225 | 42.032 % |
3.59/3.64	c |      4938 |    5107     7626   117117 |    10717     4915    269 | 42.032 % |
4.79/4.84	c |      7502 |    5107     7626   117117 |    11789     7479    317 | 42.032 % |
7.69/7.71	c |     11351 |    5107     7626   117117 |    12968    11328    397 | 42.032 % |
15.58/15.68	c |     17118 |    5105     7626   117117 |    14265     8703    580 | 42.054 % |
21.59/21.62	c ===============================================================================
21.79/21.83	c core #51
21.79/21.83	c Core size: 1615	Core Weight: 1	Total Weight: 51
21.79/21.83	c Elapsed CPU time: 21.6697 s	Remaining CPU time: 1778.33 s
21.79/21.88	c ============================[ Search Statistics ]==============================
21.79/21.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.79/21.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
21.79/21.88	c ===============================================================================
21.79/21.88	c |         0 |    7526     7627   121051 |     5000        0    nan |  0.000 % |
21.88/21.91	c |       100 |    7526     7627   121051 |     5500      100     99 | 27.257 % |
21.88/21.93	c |       251 |    7526     7627   121051 |     6050      251    101 | 27.257 % |
21.99/22.04	c |       477 |    7526     7627   121051 |     6655      477    134 | 27.257 % |
22.58/22.61	c |       814 |    7526     7627   121051 |     7320      814    169 | 27.257 % |
23.09/23.10	c |      1320 |    7526     7627   121051 |     8052     1320    167 | 27.257 % |
23.68/23.76	c |      2084 |    7526     7627   121051 |     8857     2084    166 | 27.257 % |
24.98/25.03	c |      3223 |    7526     7627   121051 |     9743     3223    182 | 27.257 % |
27.18/27.21	c |      4932 |    7526     7627   121051 |    10717     4932    193 | 27.257 % |
29.37/29.49	c |      7494 |    7526     7627   121051 |    11789     7494    211 | 27.257 % |
32.98/33.04	c |     11338 |    7526     7627   121051 |    12968    11338    207 | 27.257 % |
39.58/39.66	c |     17104 |    7526     7627   121051 |    14265     9173    233 | 27.257 % |
55.26/55.39	c |     25754 |    7526     7627   121051 |    15692     9229    322 | 27.257 % |
76.95/77.02	c ===============================================================================
77.55/77.60	c core #52
77.55/77.60	c Core size: 1318	Core Weight: 1	Total Weight: 52
77.55/77.60	c Elapsed CPU time: 77.1643 s	Remaining CPU time: 1722.84 s
77.55/77.67	c ============================[ Search Statistics ]==============================
77.55/77.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.55/77.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.55/77.67	c ===============================================================================
77.55/77.67	c |         0 |    9188     7628   123972 |     5000        0    nan |  0.000 % |
77.64/77.70	c |       100 |    9188     7628   123972 |     5500      100    128 | 20.827 % |
77.74/77.83	c |       250 |    9188     7628   123972 |     6050      250    106 | 20.827 % |
77.85/77.98	c |       475 |    9188     7628   123972 |     6655      475    135 | 20.827 % |
77.95/78.06	c |       812 |    9188     7628   123972 |     7320      812    187 | 20.827 % |
78.14/78.27	c |      1323 |    9188     7628   123972 |     8052     1323    185 | 20.827 % |
78.45/78.59	c |      2082 |    9188     7628   123972 |     8857     2082    251 | 20.827 % |
79.35/79.49	c |      3222 |    9188     7628   123972 |     9743     3222    256 | 20.827 % |
80.84/80.90	c |      4932 |    9188     7628   123972 |    10717     4932    240 | 20.827 % |
83.45/83.59	c |      7494 |    9188     7628   123972 |    11789     7494    255 | 20.827 % |
88.44/88.50	c |     11338 |    9188     7628   123972 |    12968    11338    284 | 20.827 % |
97.24/97.30	c |     17108 |    9188     7628   123972 |    14265     9252    366 | 20.827 % |
123.42/123.59	c |     25757 |    9188     7628   123972 |    15692    17901    388 | 20.827 % |
154.92/155.08	c |     38732 |    9188     7628   123972 |    17261    12450    476 | 20.827 % |
201.88/202.06	c |     58195 |    9188     7628   123972 |    18987    11388    587 | 20.827 % |
278.44/278.67	c |     87387 |    9188     7628   123972 |    20886    18628    539 | 20.827 % |
395.39/395.65	c |    131177 |    9188     7628   123972 |    22974    14060    537 | 20.827 % |
579.11/579.40	c |    196861 |    9188     7628   123972 |    25272    23606    426 | 20.827 % |
783.62/784.08	c |    295390 |    9188     7628   123972 |    27799    14095    520 | 20.827 % |
1112.16/1112.79	c |    443182 |    9188     7628   123972 |    30579    14125    418 | 20.827 % |
1660.40/1661.28	c |    664867 |    9188     7628   123972 |    33637    31114    802 | 20.827 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875719-1245148486/watcher-1875719-1245148486 -o /tmp/evaluation-result-1875719-1245148486/solver-1875719-1245148486 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875719-1245148486.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5805
/proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=4060 CPUtime=0
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 182447866 4157440 287 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1015 288 122 292 0 469 0

[startup+0.0849699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5805
/proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=4924 CPUtime=0.08
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 657 0 0 0 8 0 0 0 18 0 1 0 182447866 5042176 641 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1231 641 255 292 0 685 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4924

[startup+0.101971 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5805
/proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=5052 CPUtime=0.09
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 182447866 5173248 682 1992294400 134512640 135709839 4294956240 18446744073709551615 134605245 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1263 682 282 292 0 717 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5052

[startup+0.302001 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5805
/proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=6176 CPUtime=0.29
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 1667 0 0 0 29 0 0 0 19 0 1 0 182447866 6324224 1098 1992294400 134512640 135709839 4294956240 18446744073709551615 134607408 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1544 1098 133 292 0 1249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6176

[startup+0.701062 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5805
/proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=6532 CPUtime=0.69
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 1780 0 0 0 69 0 0 0 23 0 1 0 182447866 6688768 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1633 1164 133 292 0 1338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6532

[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1863344/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=7172 CPUtime=1.49
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 2156 0 0 0 147 2 0 0 25 0 1 0 182447866 7344128 1349 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 1793 1349 136 292 0 1498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7172

[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1862384/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=10736 CPUtime=3.09
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 3072 0 0 0 306 3 0 0 25 0 1 0 182447866 10993664 2265 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 2684 2265 136 292 0 2389 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10736

[startup+6.30192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1850160/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=22628 CPUtime=6.28
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 6025 0 0 0 622 6 0 0 25 0 1 0 182447866 23171072 5218 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 5657 5218 136 292 0 5362 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22628

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1833592/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=37560 CPUtime=12.69
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 9772 0 0 0 1259 10 0 0 25 0 1 0 182447866 38461440 8965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573778 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 9390 8965 136 292 0 9095 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37560

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1809400/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=60428 CPUtime=25.48
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 15440 0 0 0 2530 18 0 0 25 0 1 0 182447866 61878272 14633 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 15107 14633 136 292 0 14812 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60428

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1809400/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=60428 CPUtime=51.06
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 15446 0 0 0 5077 29 0 0 25 0 1 0 182447866 61878272 14639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 15107 14639 136 292 0 14812 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60428

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1784056/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=85444 CPUtime=102.24
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 21844 0 0 0 10171 53 0 0 25 0 1 0 182447866 87494656 20915 1992294400 134512640 135709839 4294956240 18446744073709551615 134578661 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 21361 20915 136 292 0 21066 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 85444

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1730616/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=140100 CPUtime=162.2
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 35497 0 0 0 16142 78 0 0 25 0 1 0 182447866 143462400 34568 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 35025 34568 136 292 0 34730 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 140100

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1664376/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=205200 CPUtime=222.17
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 51765 0 0 0 22116 101 0 0 25 0 1 0 182447866 210124800 50836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 51300 50836 136 292 0 51005 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 205200

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1606008/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=263976 CPUtime=282.14
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 66451 0 0 0 28092 122 0 0 25 0 1 0 182447866 270311424 65522 1992294400 134512640 135709839 4294956240 18446744073709551615 134574107 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 65994 65522 136 292 0 65699 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 263976

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1541752/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=327696 CPUtime=342.1
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 82373 0 0 0 34071 139 0 0 25 0 1 0 182447866 335560704 81444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 81924 81444 136 292 0 81629 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 327696

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1481976/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=387588 CPUtime=402.09
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 97319 0 0 0 40052 157 0 0 25 0 1 0 182447866 396890112 96390 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 96897 96390 136 292 0 96602 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 387588

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1432888/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=436724 CPUtime=462.06
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 109580 0 0 0 46030 176 0 0 25 0 1 0 182447866 447205376 108651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 109181 108651 136 292 0 108886 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 436724

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1369016/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=500760 CPUtime=522.03
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 125608 0 0 0 52001 202 0 0 25 0 1 0 182447866 512778240 124679 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 125190 124679 136 292 0 124895 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 500760

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1318008/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=551368 CPUtime=582.01
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 138259 0 0 0 57976 225 0 0 25 0 1 0 182447866 564600832 137330 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 137842 137330 136 292 0 137547 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 551368

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5806
/proc/meminfo: memFree=1253688/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=615028 CPUtime=641.99
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 154175 0 0 0 63953 246 0 0 25 0 1 0 182447866 629788672 153246 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 153757 153246 136 292 0 153462 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 615028

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 5806
/proc/meminfo: memFree=937208/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=932128 CPUtime=941.85
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 233408 0 0 0 93820 365 0 0 25 0 1 0 182447866 954499072 232479 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 233032 232479 136 292 0 232737 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 932128

[startup+1002.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 5808
/proc/meminfo: memFree=875960/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=992120 CPUtime=1001.82
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 248415 0 0 0 99792 390 0 0 25 0 1 0 182447866 1015930880 247486 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 248030 247486 136 292 0 247735 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 992120

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5808
/proc/meminfo: memFree=817208/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1051360 CPUtime=1061.79
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 263189 0 0 0 105762 417 0 0 25 0 1 0 182447866 1076592640 262260 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 262840 262260 136 292 0 262545 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 1051360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5808
/proc/meminfo: memFree=748152/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1120188 CPUtime=1121.77
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 280405 0 0 0 111728 449 0 0 25 0 1 0 182447866 1147072512 279476 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 280047 279476 136 292 0 279752 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1120188

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=689656/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1178732 CPUtime=1181.73
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 295031 0 0 0 117699 474 0 0 25 0 1 0 182447866 1207021568 294102 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 294683 294102 136 292 0 294388 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 1178732

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=628472/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1239236 CPUtime=1241.7
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 310149 0 0 0 123671 499 0 0 25 0 1 0 182447866 1268977664 309220 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 309809 309220 136 292 0 309514 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 1239236

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=579768/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1287660 CPUtime=1301.68
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 322209 0 0 0 129647 521 0 0 25 0 1 0 182447866 1318563840 321280 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 321915 321280 136 292 0 321620 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 1287660

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=523896/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1343516 CPUtime=1361.63
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 336190 0 0 0 135615 548 0 0 25 0 1 0 182447866 1375760384 335261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 335879 335261 136 292 0 335584 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1343516

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=473784/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1393456 CPUtime=1421.61
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 348654 0 0 0 141592 569 0 0 25 0 1 0 182447866 1426898944 347725 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 348364 347725 136 292 0 348069 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 1393456

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=420984/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1446628 CPUtime=1481.59
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 361963 0 0 0 147564 595 0 0 25 0 1 0 182447866 1481347072 361034 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 361657 361034 136 292 0 361362 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 1446628

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5808
/proc/meminfo: memFree=350200/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1517292 CPUtime=1541.55
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 379632 0 0 0 153538 617 0 0 25 0 1 0 182447866 1553707008 378703 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 379323 378703 136 292 0 379028 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 1517292

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=286768/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1580304 CPUtime=1601.52
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 395374 0 0 0 159521 631 0 0 25 0 1 0 182447866 1618231296 394445 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 395076 394445 136 292 0 394781 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 1580304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=237808/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1629248 CPUtime=1661.49
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 407557 0 0 0 165502 647 0 0 25 0 1 0 182447866 1668349952 406628 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 407312 406628 136 292 0 407017 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 1629248

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=167280/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1701304 CPUtime=1721.46
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 425569 0 0 0 171476 670 0 0 25 0 1 0 182447866 1742135296 424640 1992294400 134512640 135709839 4294956240 18446744073709551615 134572305 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 425326 424640 136 292 0 425031 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 1701304

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=99056/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1767988 CPUtime=1781.43
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 442250 0 0 0 177451 692 0 0 25 0 1 0 182447866 1810419712 441321 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 441997 441321 136 292 0 441702 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (KiB) 1767988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=1787936 CPUtime=1800.03
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 447216 0 0 0 179304 699 0 0 25 0 1 0 182447866 1830846464 446287 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 446984 446287 136 292 0 446689 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1787936

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=0 CPUtime=1800.14
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4195332 447216 0 0 0 179304 710 0 0 25 0 1 0 182447866 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5814
/proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956
[pid=5805] ppid=5803 vsize=0 CPUtime=1800.23
/proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4195332 447216 0 0 0 179304 719 0 0 25 0 1 0 182447866 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/5805/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.16
CPU time (s): 1800.3
CPU user time (s): 1793.04
CPU system time (s): 7.2569
CPU usage (%): 99.952
Max. virtual memory (cumulated for all children) (KiB): 1787936

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

runsolver used 2.20866 second user time and 4.35934 second system time

The end

Launcher Data 

Begin job on node34 at 2009-06-16 12:34:46
IDJOB=1875719
IDBENCH=2042
IDSOLVER=698
FILE ID=node34/1875719-1245148486
PBS_JOBID= 9363770
Free space on /tmp= 66252 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875719-1245148486/watcher-1875719-1245148486 -o /tmp/evaluation-result-1875719-1245148486/solver-1875719-1245148486 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875719-1245148486.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=1285746818

node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1868184 kB
Buffers:         24624 kB
Cached:          89832 kB
SwapCached:        260 kB
Active:          43624 kB
Inactive:        84136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868184 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3376 kB
Writeback:           0 kB
Mapped:          21768 kB
Slab:            45980 kB
Committed_AS:   164616 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875719-1245148486.opb

Free space on /tmp at the end= 66252 MiB
End job on node34 at 2009-06-16 13:04:49