Trace number 1876178

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.21 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.opb
MD5SUM228765464d836f619aaf3f7ceef64390
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark0.005998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 100
Optimality of the best value was proved YES
Number of variables200
Total number of constraints260
Number of constraints which are clauses260
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 constraint3
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)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-1876178-1245152040.opb.
0.00/0.00	c Instance file HOME/instance-1876178-1245152040.opb
0.00/0.00	c File size is 8687 bytes.
0.00/0.00	c Highest Coefficient sum: 4
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        460                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #5
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #6
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #7
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #8
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #9
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #10
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #11
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #12
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #13
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #14
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #15
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #16
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #17
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #18
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 18
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #19
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #20
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 20
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #21
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 21
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #22
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #23
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #24
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 24
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #25
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 25
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #26
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #27
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 27
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #28
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 28
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #29
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 29
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #30
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 30
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #31
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 31
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #32
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 32
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #33
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 33
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #34
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #35
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #36
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 36
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #37
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 37
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #38
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 38
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #39
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 39
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #40
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 40
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #41
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 41
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #42
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 42
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #43
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 43
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #44
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 44
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #45
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 45
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #46
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 46
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #47
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 47
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #48
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 48
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #49
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 49
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #50
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 50
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #51
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 51
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #52
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 52
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #53
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 53
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #54
0.00/0.02	c Core size: 25	Core Weight: 1	Total Weight: 54
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #55
0.00/0.02	c Core size: 12	Core Weight: 1	Total Weight: 55
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #56
0.00/0.02	c Core size: 14	Core Weight: 1	Total Weight: 56
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #57
0.00/0.02	c Core size: 13	Core Weight: 1	Total Weight: 57
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #58
0.00/0.03	c Core size: 32	Core Weight: 1	Total Weight: 58
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #59
0.00/0.03	c Core size: 47	Core Weight: 1	Total Weight: 59
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     393      519     1282 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #60
0.00/0.03	c Core size: 27	Core Weight: 1	Total Weight: 60
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c Learning 1 hard constraints
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     421      521     1320 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #61
0.00/0.03	c Core size: 69	Core Weight: 1	Total Weight: 61
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     450      522     1379 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #62
0.00/0.03	c Core size: 106	Core Weight: 1	Total Weight: 62
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c Learning 1 hard constraints
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     485      524     1452 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #63
0.00/0.03	c Core size: 25	Core Weight: 1	Total Weight: 63
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c Learning 2 hard constraints
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     498      527     1486 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #64
0.00/0.03	c Core size: 73	Core Weight: 1	Total Weight: 64
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c Learning 3 hard constraints
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     519      531     1538 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #65
0.00/0.04	c Core size: 39	Core Weight: 1	Total Weight: 65
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c Learning 4 hard constraints
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     518      536     1553 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #66
0.00/0.04	c Core size: 40	Core Weight: 1	Total Weight: 66
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c Learning 1 hard constraints
0.00/0.04	c core #67
0.00/0.04	c Core size: 53	Core Weight: 1	Total Weight: 67
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #68
0.00/0.04	c Core size: 61	Core Weight: 1	Total Weight: 68
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #69
0.00/0.04	c Core size: 68	Core Weight: 1	Total Weight: 69
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     457      541     1593 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #70
0.00/0.04	c Core size: 88	Core Weight: 1	Total Weight: 70
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c Learning 1 hard constraints
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     457      543     1597 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #71
0.00/0.04	c Core size: 95	Core Weight: 1	Total Weight: 71
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c Learning 1 hard constraints
0.00/0.04	c core #72
0.00/0.04	c Core size: 104	Core Weight: 1	Total Weight: 72
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #73
0.00/0.04	c Core size: 104	Core Weight: 1	Total Weight: 73
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #74
0.00/0.04	c Core size: 114	Core Weight: 1	Total Weight: 74
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.04	c core #75
0.00/0.04	c Core size: 134	Core Weight: 1	Total Weight: 75
0.00/0.04	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #76
0.00/0.05	c Core size: 142	Core Weight: 1	Total Weight: 76
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #77
0.00/0.05	c Core size: 158	Core Weight: 1	Total Weight: 77
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #78
0.00/0.05	c Core size: 154	Core Weight: 1	Total Weight: 78
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #79
0.00/0.05	c Core size: 164	Core Weight: 1	Total Weight: 79
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #80
0.00/0.05	c Core size: 174	Core Weight: 1	Total Weight: 80
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #81
0.00/0.05	c Core size: 173	Core Weight: 1	Total Weight: 81
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #82
0.00/0.05	c Core size: 174	Core Weight: 1	Total Weight: 82
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #83
0.00/0.05	c Core size: 190	Core Weight: 1	Total Weight: 83
0.00/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #84
0.00/0.06	c Core size: 174	Core Weight: 1	Total Weight: 84
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     317      558     1681 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #85
0.00/0.06	c Core size: 174	Core Weight: 1	Total Weight: 85
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     329      559     1693 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #86
0.00/0.06	c Core size: 194	Core Weight: 1	Total Weight: 86
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     335      560     1705 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #87
0.00/0.06	c Core size: 204	Core Weight: 1	Total Weight: 87
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     346      561     1727 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #88
0.00/0.06	c Core size: 195	Core Weight: 1	Total Weight: 88
0.00/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     357      562     1749 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #89
0.00/0.07	c Core size: 200	Core Weight: 1	Total Weight: 89
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     371      563     1777 |     5000        0    nan |  0.000 % |
0.00/0.07	c |       100 |     371      563     1777 |     5500      100     20 | 42.205 % |
0.00/0.08	c |       250 |     367      563     1777 |     6050      249     21 | 42.208 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c core #90
0.00/0.08	c Core size: 205	Core Weight: 1	Total Weight: 90
0.00/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     388      564     1811 |     5000        0    nan |  0.000 % |
0.00/0.08	c |       103 |     388      564     1811 |     5500      103     15 | 40.491 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c core #91
0.00/0.09	c Core size: 232	Core Weight: 1	Total Weight: 91
0.00/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     414      565     1863 |     5000        0    nan |  0.000 % |
0.00/0.09	c |       101 |     414      565     1863 |     5500      101     30 | 38.938 % |
0.09/0.10	c |       252 |     414      565     1863 |     6050      252     32 | 38.938 % |
0.09/0.11	c |       479 |     410      565     1863 |     6655      478     31 | 39.528 % |
0.09/0.12	c |       819 |     410      565     1863 |     7320      818     31 | 39.528 % |
0.09/0.17	c |      1325 |     410      565     1863 |     8052     1324     35 | 39.528 % |
0.19/0.24	c ===============================================================================
0.19/0.25	c core #92
0.19/0.25	c Core size: 209	Core Weight: 1	Total Weight: 92
0.19/0.25	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |     432      566     1899 |     5000        0    nan |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c core #93
0.19/0.25	c Core size: 172	Core Weight: 1	Total Weight: 93
0.19/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |     438      567     1911 |     5000        0    nan |  0.000 % |
0.19/0.26	c |       101 |     438      567     1911 |     5500      101     26 | 37.607 % |
0.19/0.26	c |       251 |     438      567     1911 |     6050      251     29 | 37.607 % |
0.19/0.27	c |       477 |     438      567     1911 |     6655      477     35 | 37.607 % |
0.29/0.30	c |       814 |     438      567     1911 |     7320      814     39 | 37.607 % |
0.29/0.35	c |      1320 |     438      567     1911 |     8052     1320     42 | 37.607 % |
0.39/0.44	c |      2079 |     438      567     1911 |     8857     2079     41 | 37.607 % |
0.59/0.66	c |      3218 |     434      567     1911 |     9743     3217     43 | 38.177 % |
0.69/0.75	c ===============================================================================
0.69/0.77	c core #94
0.69/0.77	c Core size: 229	Core Weight: 1	Total Weight: 94
0.69/0.77	c Elapsed CPU time: 0.761884 s	Remaining CPU time: 1799.24 s
0.69/0.78	c ============================[ Search Statistics ]==============================
0.69/0.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.78	c ===============================================================================
0.69/0.78	c |         0 |     461      568     1957 |     5000        0    nan |  0.000 % |
0.69/0.78	c |       100 |     461      568     1957 |     5500      100     42 | 36.414 % |
0.69/0.79	c |       251 |     461      568     1957 |     6050      251     37 | 36.414 % |
0.79/0.80	c |       479 |     461      568     1957 |     6655      479     43 | 36.414 % |
0.79/0.83	c |       816 |     461      568     1957 |     7320      816     47 | 36.414 % |
0.79/0.87	c |      1323 |     461      568     1957 |     8052     1323     52 | 36.414 % |
0.89/0.96	c |      2082 |     461      568     1957 |     8857     2082     55 | 36.414 % |
1.10/1.14	c |      3221 |     461      568     1957 |     9743     3221     55 | 36.414 % |
1.49/1.57	c |      4929 |     461      568     1957 |    10717     4929     59 | 36.414 % |
2.19/2.26	c |      7492 |     461      568     1957 |    11789     7492     59 | 36.414 % |
3.69/3.75	c |     11336 |     457      568     1957 |    12968    11335     59 | 37.517 % |
6.79/6.83	c |     17102 |     457      568     1957 |    14265    10435     60 | 38.069 % |
10.29/10.36	c |     25752 |     457      568     1957 |    15692    11774     58 | 38.621 % |
17.08/17.10	c |     38727 |     457      568     1957 |    17261     8663     59 | 38.621 % |
27.28/27.37	c |     58188 |     445      568     1957 |    18987    10482     58 | 38.621 % |
42.58/42.62	c |     87380 |     445      568     1957 |    20886    10646     62 | 38.621 % |
70.97/71.01	c |    131170 |     445      568     1957 |    22974    11910     56 | 38.621 % |
112.25/112.31	c |    196855 |     441      568     1957 |    25272    19208     64 | 39.724 % |
152.93/153.09	c ===============================================================================
157.43/157.57	c core #95
157.43/157.57	c Core size: 211	Core Weight: 1	Total Weight: 95
157.43/157.57	c Elapsed CPU time: 156.791 s	Remaining CPU time: 1643.21 s
157.73/157.84	c ============================[ Search Statistics ]==============================
157.73/157.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
157.73/157.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
157.73/157.84	c ===============================================================================
157.73/157.84	c |         0 |     479      569     1993 |     5000        0    nan |  0.000 % |
157.73/157.87	c |       100 |     479      569     1993 |     5500      100     38 | 35.532 % |
157.73/157.89	c |       250 |     479      569     1993 |     6050      250     44 | 35.532 % |
157.83/157.91	c |       476 |     479      569     1993 |     6655      476     55 | 35.532 % |
157.83/157.93	c |       813 |     479      569     1993 |     7320      813     60 | 35.532 % |
157.83/157.99	c |      1320 |     475      569     1993 |     8052     1319     69 | 36.070 % |
158.04/158.14	c |      2079 |     475      569     1993 |     8857     2078     74 | 36.070 % |
158.34/158.48	c |      3219 |     475      569     1993 |     9743     3218     78 | 36.070 % |
159.13/159.20	c |      4927 |     475      569     1993 |    10717     4926     81 | 36.609 % |
160.84/160.90	c |      7491 |     471      569     1993 |    11789     7489     84 | 36.609 % |
163.83/163.95	c |     11335 |     471      569     1993 |    12968    11333     84 | 37.147 % |
168.13/168.22	c |     17101 |     471      569     1993 |    14265    10436     80 | 37.685 % |
174.43/174.54	c |     25751 |     471      569     1993 |    15692    11777     81 | 37.685 % |
182.93/183.05	c |     38726 |     463      569     1993 |    17261     8664     77 | 37.685 % |
193.43/193.52	c |     58187 |     463      569     1993 |    18987    10482     74 | 37.685 % |
215.61/215.78	c |     87379 |     463      569     1993 |    20886    10624     78 | 38.358 % |
216.32/216.49	c ===============================================================================
216.32/216.49	c core #96
216.32/216.49	c Core size: 178	Core Weight: 1	Total Weight: 96
216.32/216.49	c Elapsed CPU time: 215.463 s	Remaining CPU time: 1584.54 s
216.42/216.58	c ============================[ Search Statistics ]==============================
216.42/216.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.42/216.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.42/216.58	c ===============================================================================
216.42/216.58	c |         0 |     488      570     2011 |     5000        0    nan |  0.000 % |
216.42/216.59	c |       100 |     488      570     2011 |     5500      100     48 | 35.107 % |
216.52/216.60	c |       250 |     488      570     2011 |     6050      250     43 | 35.107 % |
216.52/216.62	c |       476 |     488      570     2011 |     6655      476     48 | 35.107 % |
216.52/216.65	c |       813 |     488      570     2011 |     7320      813     55 | 35.107 % |
216.52/216.70	c |      1321 |     488      570     2011 |     8052     1321     63 | 35.107 % |
216.62/216.79	c |      2081 |     488      570     2011 |     8857     2081     66 | 35.107 % |
216.81/216.97	c |      3222 |     488      570     2011 |     9743     3222     70 | 35.107 % |
217.22/217.32	c |      4931 |     488      570     2011 |    10717     4931     72 | 35.107 % |
218.12/218.20	c |      7493 |     488      570     2011 |    11789     7493     74 | 35.107 % |
219.91/220.00	c |     11337 |     488      570     2011 |    12968    11337     76 | 35.107 % |
222.32/222.49	c |     17103 |     484      570     2011 |    14265    10423     79 | 35.638 % |
227.81/227.90	c |     25754 |     484      570     2011 |    15692    11759     78 | 35.638 % |
233.61/233.71	c |     38728 |     484      570     2011 |    17261     8671     76 | 35.638 % |
248.51/248.62	c |     58189 |     484      570     2011 |    18987    10487     79 | 35.638 % |
269.20/269.30	c |     87381 |     484      570     2011 |    20886    10631     72 | 35.638 % |
299.39/299.55	c |    131171 |     484      570     2011 |    22974    11883     77 | 35.638 % |
355.46/355.68	c |    196857 |     484      570     2011 |    25272    19226     74 | 35.638 % |
452.53/452.72	c |    295383 |     484      570     2011 |    27799    14249     76 | 35.638 % |
587.78/588.01	c |    443175 |     484      570     2011 |    30579    27569     91 | 35.638 % |
763.12/763.42	c ===============================================================================
763.12/763.42	c core #97
763.12/763.42	c Core size: 179	Core Weight: 1	Total Weight: 97
763.12/763.42	c Elapsed CPU time: 760.412 s	Remaining CPU time: 1039.59 s
763.72/764.00	c ============================[ Search Statistics ]==============================
763.72/764.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
763.72/764.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
763.72/764.00	c ===============================================================================
763.72/764.00	c |         0 |     497      571     2029 |     5000        0    nan |  0.000 % |
763.72/764.09	c |       100 |     497      571     2029 |     5500      100     35 | 34.691 % |
763.82/764.10	c |       250 |     497      571     2029 |     6050      250     50 | 34.691 % |
763.82/764.12	c |       476 |     497      571     2029 |     6655      476     48 | 34.691 % |
763.82/764.17	c |       815 |     497      571     2029 |     7320      815     56 | 34.691 % |
763.92/764.23	c |      1322 |     497      571     2029 |     8052     1322     64 | 34.691 % |
764.02/764.33	c |      2082 |     497      571     2029 |     8857     2082     67 | 34.691 % |
764.23/764.54	c |      3222 |     497      571     2029 |     9743     3222     74 | 34.691 % |
764.62/764.95	c |      4930 |     497      571     2029 |    10717     4930     82 | 34.691 % |
765.62/765.91	c |      7498 |     497      571     2029 |    11789     7498     84 | 34.691 % |
767.62/767.91	c |     11342 |     497      571     2029 |    12968    11342     86 | 34.691 % |
771.42/771.74	c |     17108 |     497      571     2029 |    14265    10453     89 | 34.691 % |
777.21/777.57	c |     25757 |     493      571     2029 |    15692    11786     91 | 35.217 % |
788.62/788.99	c |     38732 |     493      571     2029 |    17261     8711     87 | 35.217 % |
801.61/801.92	c |     58196 |     493      571     2029 |    18987    10517     91 | 35.217 % |
823.51/823.81	c |     87389 |     493      571     2029 |    20886    10667     84 | 35.217 % |
849.10/849.47	c |    131179 |     493      571     2029 |    22974    11946     95 | 35.217 % |
901.78/902.16	c |    196863 |     493      571     2029 |    25272    19039     92 | 35.217 % |
1002.24/1002.66	c |    295394 |     487      571     2029 |    27799    25675     96 | 36.400 % |
1152.09/1152.56	c |    443184 |     475      571     2029 |    30579    20643     94 | 37.845 % |
1214.16/1214.68	c ===============================================================================
1225.76/1226.27	c core #98
1225.76/1226.27	c Core size: 259	Core Weight: 1	Total Weight: 98
1225.76/1226.27	c Elapsed CPU time: 1221.57 s	Remaining CPU time: 578.434 s
1226.36/1226.86	c ============================[ Search Statistics ]==============================
1226.36/1226.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1226.36/1226.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1226.36/1226.86	c ===============================================================================
1226.36/1226.86	c |         0 |     535      572     2105 |     5000        0    nan |  0.000 % |
1226.46/1226.92	c |       100 |     535      572     2105 |     5500      100     62 | 33.041 % |
1226.46/1226.94	c |       254 |     535      572     2105 |     6050      254     48 | 33.041 % |
1226.46/1226.96	c |       481 |     535      572     2105 |     6655      481     52 | 33.041 % |
1226.56/1227.03	c |       820 |     535      572     2105 |     7320      820     58 | 33.041 % |
1226.66/1227.10	c |      1326 |     531      572     2105 |     8052     1325     76 | 33.542 % |
1226.76/1227.23	c |      2085 |     531      572     2105 |     8857     2084     82 | 33.542 % |
1226.95/1227.42	c |      3225 |     531      572     2105 |     9743     3224     85 | 33.542 % |
1227.36/1227.88	c |      4934 |     531      572     2105 |    10717     4933     92 | 33.542 % |
1228.46/1228.94	c |      7497 |     531      572     2105 |    11789     7496     94 | 33.542 % |
1230.66/1231.15	c |     11343 |     531      572     2105 |    12968    11342     97 | 33.542 % |
1234.76/1235.21	c |     17109 |     531      572     2105 |    14265    10434    101 | 33.542 % |
1242.25/1242.74	c |     25762 |     531      572     2105 |    15692    11775    109 | 33.542 % |
1252.15/1252.66	c |     38737 |     531      572     2105 |    17261     8677    107 | 33.542 % |
1268.24/1268.71	c |     58198 |     531      572     2105 |    18987    10502    107 | 33.542 % |
1294.34/1294.81	c |     87393 |     531      572     2105 |    20886    10643     99 | 33.542 % |
1329.92/1330.47	c |    131185 |     531      572     2105 |    22974    11817    103 | 33.542 % |
1374.41/1374.97	c |    196870 |     531      572     2105 |    25272    19042    103 | 33.542 % |
1454.97/1455.51	c |    295397 |     531      572     2105 |    27799    14181     89 | 33.542 % |
1576.43/1577.07	c |    443186 |     531      572     2105 |    30579    23590    100 | 33.542 % |
1795.56/1796.24	c |    664869 |     527      572     2105 |    33637    13556    118 | 34.043 % |

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-1876178-1245152040/watcher-1876178-1245152040 -o /tmp/evaluation-result-1876178-1245152040/solver-1876178-1245152040 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876178-1245152040.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7788
/proc/meminfo: memFree=1927200/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=2524 CPUtime=0
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 206 0 0 0 0 0 0 0 18 0 1 0 67937000 2584576 187 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 631 187 133 292 0 336 0

[startup+0.00868792 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7788
/proc/meminfo: memFree=1927200/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=2524 CPUtime=0
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 216 0 0 0 0 0 0 0 18 0 1 0 67937000 2584576 197 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 631 197 133 292 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2524

[startup+0.101706 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7788
/proc/meminfo: memFree=1927200/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=3052 CPUtime=0.09
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 340 0 0 0 9 0 0 0 18 0 1 0 67937000 3125248 321 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 763 321 136 292 0 468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3052

[startup+0.301746 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7788
/proc/meminfo: memFree=1927200/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=3724 CPUtime=0.29
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 505 0 0 0 29 0 0 0 19 0 1 0 67937000 3813376 486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 931 486 136 292 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3724

[startup+0.701826 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7788
/proc/meminfo: memFree=1927200/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=4384 CPUtime=0.69
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 667 0 0 0 68 1 0 0 23 0 1 0 67937000 4489216 648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 1096 648 136 292 0 801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4384

[startup+1.50199 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1924696/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=5180 CPUtime=1.49
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 870 0 0 0 147 2 0 0 25 0 1 0 67937000 5304320 851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 1295 851 136 292 0 1000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5180

[startup+3.10131 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1923032/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=7452 CPUtime=3.09
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 1457 0 0 0 306 3 0 0 25 0 1 0 67937000 7630848 1438 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 1863 1438 136 292 0 1568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7452

[startup+6.30195 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1919960/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=10292 CPUtime=6.29
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 2151 0 0 0 625 4 0 0 25 0 1 0 67937000 10539008 2132 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 2573 2132 136 292 0 2278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10292

[startup+12.7012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1913816/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=15776 CPUtime=12.68
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 3516 0 0 0 1261 7 0 0 25 0 1 0 67937000 16154624 3497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 3944 3497 136 292 0 3649 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15776

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1902488/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=26936 CPUtime=25.48
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 6305 0 0 0 2533 15 0 0 25 0 1 0 67937000 27582464 6286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 6734 6286 136 292 0 6439 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26936

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1884696/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=44848 CPUtime=51.07
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 10782 0 0 0 5079 28 0 0 25 0 1 0 67937000 45924352 10763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 11212 10763 136 292 0 10917 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44848

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1848920/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=80516 CPUtime=102.26
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 19656 0 0 0 10173 53 0 0 25 0 1 0 67937000 82448384 19637 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 20129 19637 136 292 0 19834 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80516

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1811032/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=118208 CPUtime=162.23
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 29075 0 0 0 16149 74 0 0 25 0 1 0 67937000 121044992 29056 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 29552 29056 136 292 0 29257 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 118208

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1797272/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=131520 CPUtime=222.21
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 32479 0 0 0 22123 98 0 0 25 0 1 0 67937000 134676480 32460 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 32880 32460 136 292 0 32585 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 131520

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1768344/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=160788 CPUtime=282.19
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 39749 0 0 0 28097 122 0 0 25 0 1 0 67937000 164646912 39730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 40197 39730 136 292 0 39902 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 160788

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1741528/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=187432 CPUtime=342.17
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 46398 0 0 0 34074 143 0 0 25 0 1 0 67937000 191930368 46379 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 46858 46379 136 292 0 46563 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 187432

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1711960/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=217520 CPUtime=402.15
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 53874 0 0 0 40054 161 0 0 25 0 1 0 67937000 222740480 53855 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 54380 53855 136 292 0 54085 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 217520

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1684568/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=244660 CPUtime=462.13
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 60644 0 0 0 46036 177 0 0 25 0 1 0 67937000 250531840 60625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 61165 60625 136 292 0 60870 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 244660

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1651736/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=277456 CPUtime=522.1
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 68850 0 0 0 52011 199 0 0 25 0 1 0 67937000 284114944 68831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 69364 68831 136 292 0 69069 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 277456

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1612824/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=316468 CPUtime=582.09
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 78573 0 0 0 57990 219 0 0 25 0 1 0 67937000 324063232 78554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 79117 78554 136 292 0 78822 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 316468

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1577880/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=350880 CPUtime=642.07
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 87192 0 0 0 63967 240 0 0 25 0 1 0 67937000 359301120 87173 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 87720 87173 136 292 0 87425 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 350880

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1479576/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=448468 CPUtime=881.98
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 111697 0 0 0 87876 322 0 0 25 0 1 0 67937000 459231232 111647 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 112117 111647 136 292 0 111822 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 448468

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1455320/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=473232 CPUtime=941.96
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 117823 0 0 0 93855 341 0 0 25 0 1 0 67937000 484589568 117773 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 118308 117773 136 292 0 118013 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 473232

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1430552/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=497760 CPUtime=1001.94
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 123932 0 0 0 99835 359 0 0 25 0 1 0 67937000 509706240 123882 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 124440 123882 136 292 0 124145 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 497760

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1408344/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=520172 CPUtime=1061.91
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 129536 0 0 0 105813 378 0 0 25 0 1 0 67937000 532656128 129486 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 130043 129486 136 292 0 129748 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 520172

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1377880/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=550384 CPUtime=1121.9
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 137056 0 0 0 111791 399 0 0 25 0 1 0 67937000 563593216 137006 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 137596 137006 136 292 0 137301 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 550384

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7789
/proc/meminfo: memFree=1355224/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=573132 CPUtime=1181.88
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 142728 0 0 0 117770 418 0 0 25 0 1 0 67937000 586887168 142678 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 143283 142678 136 292 0 142988 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 573132

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1330776/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=596528 CPUtime=1241.85
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 148731 0 0 0 123754 431 0 0 25 0 1 0 67937000 610844672 148681 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 149132 148681 136 292 0 148837 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 596528

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1320280/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=606944 CPUtime=1301.83
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 151342 0 0 0 129733 450 0 0 25 0 1 0 67937000 621510656 151292 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 151736 151292 136 292 0 151441 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 606944

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1281816/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=645840 CPUtime=1361.81
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 161027 0 0 0 135706 475 0 0 25 0 1 0 67937000 661340160 160977 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 161460 160977 136 292 0 161165 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 645840

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1244952/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=682440 CPUtime=1421.8
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 170134 0 0 0 141681 499 0 0 25 0 1 0 67937000 698818560 170084 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 170610 170084 136 292 0 170315 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 682440

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1212952/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=714672 CPUtime=1481.77
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 178169 0 0 0 147656 521 0 0 25 0 1 0 67937000 731824128 178119 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 178668 178119 136 292 0 178373 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 714672

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1174488/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=752876 CPUtime=1541.75
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 187730 0 0 0 153631 544 0 0 25 0 1 0 67937000 770945024 187680 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 188219 187680 136 292 0 187924 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 752876

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7791
/proc/meminfo: memFree=1141976/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=785440 CPUtime=1601.73
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 195856 0 0 0 159607 566 0 0 25 0 1 0 67937000 804290560 195806 1992294400 134512640 135709839 4294956240 18446744073709551615 134574264 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 196360 195806 136 292 0 196065 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 785440

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7797
/proc/meminfo: memFree=1106896/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=820328 CPUtime=1661.7
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 204578 0 0 0 165580 590 0 0 25 0 1 0 67937000 840015872 204528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 205082 204528 136 292 0 204787 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 820328

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7797
/proc/meminfo: memFree=1063568/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=863948 CPUtime=1721.67
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 215426 0 0 0 171552 615 0 0 25 0 1 0 67937000 884682752 215376 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 215987 215376 136 292 0 215692 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 863948

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7797
/proc/meminfo: memFree=1026704/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=900624 CPUtime=1781.65
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 224590 0 0 0 177529 636 0 0 25 0 1 0 67937000 922238976 224540 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 225156 224540 136 292 0 224861 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 900624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7797
/proc/meminfo: memFree=1016784/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=910260 CPUtime=1800.05
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4194304 227011 0 0 0 179363 642 0 0 25 0 1 0 67937000 932106240 226961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 227565 226961 136 292 0 227270 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 910260

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7797
/proc/meminfo: memFree=1016784/2055920 swapFree=4191900/4192956
[pid=7788] ppid=7786 vsize=0 CPUtime=1800.15
/proc/7788/stat : 7788 (wbo) R 7786 7788 7522 0 -1 4195332 227011 0 0 0 179363 652 0 0 25 0 1 0 67937000 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7788/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.85
CPU time (s): 1800.21
CPU user time (s): 1793.64
CPU system time (s): 6.569
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 910260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 6.569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227011
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= 3042

runsolver used 1.2778 second user time and 3.90541 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-16 13:34:00
IDJOB=1876178
IDBENCH=2086
IDSOLVER=698
FILE ID=node33/1876178-1245152040
PBS_JOBID= 9363741
Free space on /tmp= 65952 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-1_6-yes1-4.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-1876178-1245152040/watcher-1876178-1245152040 -o /tmp/evaluation-result-1876178-1245152040/solver-1876178-1245152040 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876178-1245152040.opb

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

MD5SUM BENCH= 228765464d836f619aaf3f7ceef64390
RANDOM SEED=814041089

node33.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.261
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.261
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:       1927616 kB
Buffers:         18980 kB
Cached:          54552 kB
SwapCached:        384 kB
Active:          56796 kB
Inactive:        30160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1927616 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2652 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            27324 kB
Committed_AS:   118548 kB
PageTables:       1392 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-1876178-1245152040.opb

Free space on /tmp at the end= 65952 MiB
End job on node33 at 2009-06-16 14:04:03