Trace number 1876212

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.17 1806.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-2.opb
MD5SUM7ec59a0b091bf2338a9ae3083dc2bac0
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 clauses259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
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 2
Number of bits of the biggest number in a constraint 2
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-1876212-1245155933.opb.
0.00/0.00	c Instance file HOME/instance-1876212-1245155933.opb
0.00/0.00	c File size is 8676 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:        459                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
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.005999 s	Remaining CPU time: 1799.99 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.005999 s	Remaining CPU time: 1799.99 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.006998 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.006998 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.007998 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.007998 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.00	c core #19
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.00	c Elapsed CPU time: 0.007998 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.008998 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.010998 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.011998 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.012998 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.013997 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.014997 s	Remaining CPU time: 1799.99 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.015997 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.016997 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.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #40
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 40
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #41
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 41
0.00/0.01	c Elapsed CPU time: 0.017997 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.018997 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.018997 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.019996 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.020996 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.021996 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: 7	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: 9	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: 45	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: 18	Core Weight: 1	Total Weight: 55
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #56
0.00/0.02	c Core size: 22	Core Weight: 1	Total Weight: 56
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #57
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 57
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #58
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 58
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #59
0.00/0.03	c Core size: 41	Core Weight: 1	Total Weight: 59
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #60
0.00/0.03	c Core size: 8	Core Weight: 1	Total Weight: 60
0.00/0.03	c Elapsed CPU time: 0.027995 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 |     377      520     1322 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #61
0.00/0.03	c Core size: 50	Core Weight: 1	Total Weight: 61
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 |     453      521     1380 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #62
0.00/0.03	c Core size: 49	Core Weight: 1	Total Weight: 62
0.00/0.03	c Elapsed CPU time: 0.029995 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 |     471      524     1424 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #63
0.00/0.03	c Core size: 58	Core Weight: 1	Total Weight: 63
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 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 |     495      528     1481 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #64
0.00/0.03	c Core size: 193	Core Weight: 1	Total Weight: 64
0.00/0.03	c Elapsed CPU time: 0.034994 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 |     573      530     1642 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #65
0.00/0.04	c Core size: 192	Core Weight: 1	Total Weight: 65
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c Learning 5 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 |     642      536     1794 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       101 |     642      536     1794 |     5500      101     16 |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #66
0.00/0.04	c Core size: 266	Core Weight: 1	Total Weight: 66
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c Learning 12 hard constraints
0.00/0.05	c core #67
0.00/0.05	c Core size: 126	Core Weight: 1	Total Weight: 67
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #68
0.00/0.05	c Core size: 114	Core Weight: 1	Total Weight: 68
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     547      551     1996 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #69
0.00/0.05	c Core size: 163	Core Weight: 1	Total Weight: 69
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     563      552     2028 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #70
0.00/0.05	c Core size: 167	Core Weight: 1	Total Weight: 70
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     582      553     2066 |     5000        0    nan |  0.000 % |
0.00/0.06	c |       100 |     582      553     2066 |     5500      100     22 | 23.722 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #71
0.00/0.06	c Core size: 184	Core Weight: 1	Total Weight: 71
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 |     608      554     2118 |     5000        0    nan |  0.000 % |
0.00/0.06	c |       100 |     608      554     2118 |     5500      100     32 | 22.941 % |
0.00/0.08	c |       252 |     608      554     2118 |     6050      252     34 | 22.941 % |
0.07/0.10	c ===============================================================================
0.08/0.10	c core #72
0.08/0.10	c Core size: 188	Core Weight: 1	Total Weight: 72
0.08/0.10	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.08/0.10	c ============================[ Search Statistics ]==============================
0.08/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.10	c ===============================================================================
0.08/0.10	c |         0 |     636      555     2174 |     5000        0    nan |  0.000 % |
0.08/0.10	c |       100 |     636      555     2174 |     5500      100     42 | 22.154 % |
0.08/0.11	c |       253 |     635      555     2174 |     6050      252     40 | 22.399 % |
0.08/0.12	c |       478 |     634      555     2174 |     6655      477     38 | 22.399 % |
0.08/0.15	c |       815 |     634      555     2174 |     7320      813     40 | 22.522 % |
0.08/0.18	c ===============================================================================
0.08/0.18	c core #73
0.08/0.18	c Core size: 187	Core Weight: 1	Total Weight: 73
0.08/0.18	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.08/0.18	c Learning 1 hard constraints
0.08/0.18	c ============================[ Search Statistics ]==============================
0.08/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.18	c ===============================================================================
0.08/0.18	c |         0 |     597      557     2194 |     5000        0    nan |  0.000 % |
0.08/0.18	c ===============================================================================
0.08/0.18	c core #74
0.08/0.18	c Core size: 188	Core Weight: 1	Total Weight: 74
0.08/0.18	c Elapsed CPU time: 0.163975 s	Remaining CPU time: 1799.84 s
0.08/0.18	c ============================[ Search Statistics ]==============================
0.08/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.19	c ===============================================================================
0.08/0.19	c |         0 |     603      558     2206 |     5000        0    nan |  0.000 % |
0.08/0.19	c ===============================================================================
0.08/0.19	c core #75
0.08/0.19	c Core size: 205	Core Weight: 1	Total Weight: 75
0.08/0.19	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
0.08/0.19	c ============================[ Search Statistics ]==============================
0.08/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.19	c ===============================================================================
0.08/0.19	c |         0 |     618      559     2236 |     5000        0    nan |  0.000 % |
0.08/0.19	c ===============================================================================
0.08/0.19	c core #76
0.08/0.19	c Core size: 222	Core Weight: 1	Total Weight: 76
0.08/0.19	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 1799.83 s
0.08/0.19	c ============================[ Search Statistics ]==============================
0.08/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.19	c ===============================================================================
0.08/0.19	c |         0 |     635      560     2270 |     5000        0    nan |  0.000 % |
0.08/0.20	c |       103 |     635      560     2270 |     5500      103     20 | 26.592 % |
0.17/0.20	c ===============================================================================
0.17/0.20	c core #77
0.17/0.20	c Core size: 229	Core Weight: 1	Total Weight: 77
0.17/0.20	c Elapsed CPU time: 0.181972 s	Remaining CPU time: 1799.82 s
0.17/0.20	c ============================[ Search Statistics ]==============================
0.17/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.17/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.17/0.21	c ===============================================================================
0.17/0.21	c |         0 |     655      561     2310 |     5000        0    nan |  0.000 % |
0.17/0.21	c |       100 |     655      561     2310 |     5500      100     26 | 25.991 % |
0.17/0.22	c |       250 |     639      561     2310 |     6050      249     31 | 27.797 % |
0.17/0.23	c |       476 |     639      561     2310 |     6655      474     34 | 27.797 % |
0.17/0.25	c |       813 |     637      561     2310 |     7320      810     34 | 28.027 % |
0.17/0.25	c ===============================================================================
0.17/0.26	c core #78
0.17/0.26	c Core size: 251	Core Weight: 1	Total Weight: 78
0.17/0.26	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.17/0.26	c ============================[ Search Statistics ]==============================
0.17/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.17/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.17/0.26	c ===============================================================================
0.17/0.26	c |         0 |     707      562     2378 |     5000        0    nan |  0.000 % |
0.17/0.26	c |       100 |     707      562     2378 |     5500      100     29 | 23.070 % |
0.17/0.27	c |       251 |     692      562     2378 |     6050      250     35 | 24.701 % |
0.17/0.28	c |       477 |     692      562     2378 |     6655      476     45 | 24.701 % |
0.28/0.30	c |       816 |     692      562     2378 |     7320      815     35 | 24.701 % |
0.28/0.32	c ===============================================================================
0.28/0.32	c core #79
0.28/0.32	c Core size: 219	Core Weight: 1	Total Weight: 79
0.28/0.32	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.28/0.32	c ============================[ Search Statistics ]==============================
0.28/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.28/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.28/0.32	c ===============================================================================
0.28/0.32	c |         0 |     724      563     2412 |     5000        0    nan |  0.000 % |
0.28/0.33	c |       100 |     724      563     2412 |     5500      100     29 | 22.651 % |
0.28/0.33	c |       252 |     709      563     2412 |     6050      251     42 | 24.252 % |
0.28/0.35	c |       477 |     709      563     2412 |     6655      476     45 | 24.252 % |
0.28/0.38	c |       818 |     709      563     2412 |     7320      817     49 | 24.252 % |
0.37/0.43	c |      1324 |     709      563     2412 |     8052     1323     51 | 24.252 % |
0.47/0.50	c |      2083 |     709      563     2412 |     8857     2082     52 | 24.252 % |
0.57/0.64	c |      3223 |     709      563     2412 |     9743     3222     52 | 24.252 % |
0.87/0.99	c |      4933 |     709      563     2412 |    10717     4932     53 | 24.252 % |
1.56/1.67	c |      7496 |     709      563     2412 |    11789     7495     55 | 24.252 % |
3.25/3.32	c |     11345 |     709      563     2412 |    12968    11344     56 | 24.252 % |
4.74/4.83	c ===============================================================================
4.84/4.97	c core #80
4.84/4.97	c Core size: 233	Core Weight: 1	Total Weight: 80
4.84/4.97	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.84/4.99	c ============================[ Search Statistics ]==============================
4.84/4.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.84/4.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.84/4.99	c ===============================================================================
4.84/4.99	c |         0 |     746      564     2456 |     5000        0    nan |  0.000 % |
4.84/4.99	c |       100 |     746      564     2456 |     5500      100     35 | 22.131 % |
4.94/5.00	c |       251 |     731      564     2456 |     6050      250     48 | 23.695 % |
4.94/5.02	c |       477 |     731      564     2456 |     6655      476     49 | 23.695 % |
4.94/5.04	c |       814 |     731      564     2456 |     7320      813     46 | 23.695 % |
4.94/5.08	c |      1320 |     731      564     2456 |     8052     1319     54 | 23.695 % |
5.04/5.18	c |      2081 |     731      564     2456 |     8857     2080     58 | 23.695 % |
5.24/5.34	c |      3220 |     731      564     2456 |     9743     3219     62 | 23.695 % |
5.64/5.70	c |      4929 |     731      564     2456 |    10717     4928     64 | 23.695 % |
6.23/6.31	c |      7494 |     731      564     2456 |    11789     7493     67 | 23.695 % |
7.23/7.32	c |     11338 |     731      564     2456 |    12968    11337     70 | 23.695 % |
9.31/9.42	c |     17105 |     731      564     2456 |    14265    10453     72 | 23.695 % |
13.08/13.21	c |     25757 |     731      564     2456 |    15692    11808     69 | 23.695 % |
18.13/18.30	c |     38731 |     731      564     2456 |    17261     8728     68 | 23.695 % |
25.71/25.92	c |     58196 |     731      564     2456 |    18987    10606     73 | 23.695 % |
39.70/39.92	c |     87389 |     731      564     2456 |    20886    10842     78 | 23.695 % |
64.09/64.39	c |    131179 |     731      564     2456 |    22974    12236     68 | 23.695 % |
95.67/95.92	c ===============================================================================
98.87/99.11	c core #81
98.87/99.11	c Core size: 252	Core Weight: 1	Total Weight: 81
98.87/99.11	c Elapsed CPU time: 98.367 s	Remaining CPU time: 1701.63 s
99.08/99.32	c ============================[ Search Statistics ]==============================
99.08/99.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.08/99.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
99.08/99.32	c ===============================================================================
99.08/99.32	c |         0 |     779      565     2522 |     5000        0    nan |  0.000 % |
99.08/99.34	c |       102 |     779      565     2522 |     5500      102     41 | 21.394 % |
99.08/99.36	c |       254 |     764      565     2522 |     6050      253     51 | 22.906 % |
99.08/99.38	c |       480 |     764      565     2522 |     6655      479     62 | 22.906 % |
99.18/99.41	c |       817 |     764      565     2522 |     7320      816     70 | 22.906 % |
99.18/99.46	c |      1324 |     764      565     2522 |     8052     1323     71 | 22.906 % |
99.28/99.52	c |      2086 |     764      565     2522 |     8857     2085     64 | 22.906 % |
99.38/99.68	c |      3226 |     764      565     2522 |     9743     3225     64 | 22.906 % |
99.67/99.93	c |      4936 |     764      565     2522 |    10717     4935     65 | 22.906 % |
100.18/100.46	c |      7498 |     764      565     2522 |    11789     7497     65 | 22.906 % |
100.97/101.23	c |     11343 |     764      565     2522 |    12968    11342     63 | 22.906 % |
102.08/102.33	c |     17110 |     764      565     2522 |    14265    10441     47 | 22.906 % |
105.17/105.45	c |     25759 |     764      565     2522 |    15692    11721     46 | 22.906 % |
107.17/107.46	c ===============================================================================
107.49/107.74	c core #82
107.49/107.74	c Core size: 217	Core Weight: 1	Total Weight: 82
107.49/107.74	c Elapsed CPU time: 106.948 s	Remaining CPU time: 1693.05 s
107.49/107.78	c ============================[ Search Statistics ]==============================
107.49/107.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
107.49/107.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
107.49/107.78	c ===============================================================================
107.49/107.78	c |         0 |     796      566     2556 |     5000        0    nan |  0.000 % |
107.49/107.80	c |       101 |     796      566     2556 |     5500      101     40 | 21.033 % |
107.49/107.81	c |       252 |     781      566     2556 |     6050      251     37 | 22.520 % |
107.58/107.82	c |       477 |     781      566     2556 |     6655      476     42 | 22.520 % |
107.58/107.85	c |       814 |     781      566     2556 |     7320      813     51 | 22.520 % |
107.67/107.90	c |      1322 |     781      566     2556 |     8052     1321     68 | 22.520 % |
107.67/107.98	c |      2081 |     781      566     2556 |     8857     2080     79 | 22.520 % |
107.87/108.17	c |      3220 |     781      566     2556 |     9743     3219     87 | 22.520 % |
108.26/108.59	c |      4929 |     781      566     2556 |    10717     4928     97 | 22.520 % |
109.57/109.88	c |      7492 |     781      566     2556 |    11789     7491    107 | 22.520 % |
112.76/113.01	c |     11336 |     781      566     2556 |    12968    11335    116 | 22.520 % |
116.86/117.11	c |     17102 |     781      566     2556 |    14265    10431    123 | 22.520 % |
121.77/122.09	c |     25754 |     781      566     2556 |    15692    11789    121 | 22.520 % |
127.75/128.04	c |     38728 |     781      566     2556 |    17261     8724    100 | 22.520 % |
139.96/140.21	c |     58191 |     781      566     2556 |    18987    10572    116 | 22.520 % |
160.36/160.64	c |     87383 |     781      566     2556 |    20886    10725     40 | 22.520 % |
161.05/161.31	c ===============================================================================
161.15/161.43	c core #83
161.15/161.43	c Core size: 160	Core Weight: 1	Total Weight: 83
161.15/161.43	c Elapsed CPU time: 160.397 s	Remaining CPU time: 1639.6 s
161.25/161.54	c ============================[ Search Statistics ]==============================
161.25/161.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
161.25/161.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
161.25/161.54	c ===============================================================================
161.25/161.54	c |         0 |     809      567     2582 |     5000        0    nan |  0.000 % |
161.25/161.56	c |       100 |     809      567     2582 |     5500      100     42 | 20.765 % |
161.25/161.57	c |       251 |     794      567     2582 |     6050      250     38 | 22.233 % |
161.25/161.59	c |       476 |     794      567     2582 |     6655      475     42 | 22.233 % |
161.35/161.61	c |       813 |     794      567     2582 |     7320      812     46 | 22.233 % |
161.35/161.66	c |      1319 |     794      567     2582 |     8052     1318     46 | 22.233 % |
161.54/161.81	c |      2078 |     794      567     2582 |     8857     2077     48 | 22.233 % |
161.75/162.05	c |      3218 |     794      567     2582 |     9743     3217     49 | 22.233 % |
162.16/162.42	c |      4926 |     794      567     2582 |    10717     4925     50 | 22.233 % |
163.15/163.49	c |      7491 |     794      567     2582 |    11789     7490     51 | 22.233 % |
164.15/164.41	c |     11335 |     794      567     2582 |    12968    11334     50 | 22.233 % |
167.14/167.50	c |     17102 |     794      567     2582 |    14265    10478     48 | 22.233 % |
170.94/171.20	c |     25753 |     794      567     2582 |    15692    11841     49 | 22.233 % |
176.94/177.21	c |     38729 |     794      567     2582 |    17261     8794     50 | 22.233 % |
186.03/186.35	c |     58190 |     794      567     2582 |    18987    10682     56 | 22.236 % |
187.21/187.55	c ===============================================================================
188.42/188.70	c core #84
188.42/188.70	c Core size: 171	Core Weight: 1	Total Weight: 84
188.42/188.70	c Elapsed CPU time: 187.485 s	Remaining CPU time: 1612.51 s
188.42/188.79	c ============================[ Search Statistics ]==============================
188.42/188.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.42/188.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.42/188.79	c ===============================================================================
188.42/188.79	c |         0 |     828      568     2620 |     5000        0    nan |  0.000 % |
188.52/188.80	c |       100 |     828      568     2620 |     5500      100     40 | 20.386 % |
188.52/188.81	c |       251 |     813      568     2620 |     6050      250     35 | 21.827 % |
188.52/188.83	c |       479 |     813      568     2620 |     6655      478     42 | 21.827 % |
188.52/188.86	c |       816 |     813      568     2620 |     7320      815     48 | 21.827 % |
188.62/188.90	c |      1322 |     813      568     2620 |     8052     1321     59 | 21.827 % |
188.71/189.02	c |      2082 |     813      568     2620 |     8857     2081     82 | 21.827 % |
188.91/189.29	c |      3222 |     813      568     2620 |     9743     3221     99 | 21.827 % |
189.40/189.72	c |      4931 |     813      568     2620 |    10717     4930    107 | 21.827 % |
190.59/190.98	c |      7493 |     813      568     2620 |    11789     7492    113 | 21.827 % |
192.87/193.27	c |     11338 |     813      568     2620 |    12968    11337    118 | 21.827 % |
196.46/196.80	c |     17106 |     813      568     2620 |    14265    10454    122 | 21.827 % |
202.90/203.37	c |     25759 |     813      568     2620 |    15692    11772    129 | 21.827 % |
211.62/212.12	c |     38734 |     813      568     2620 |    17261     8716    103 | 21.827 % |
220.02/220.69	c |     58195 |     813      568     2620 |    18987    10529    129 | 21.827 % |
240.77/241.52	c |     87387 |     813      568     2620 |    20886    10630    130 | 21.827 % |
273.06/274.00	c |    131176 |     813      568     2620 |    22974    11901    114 | 21.827 % |
325.36/326.76	c |    196861 |     813      568     2620 |    25272    19316    129 | 21.827 % |
402.03/403.84	c |    295388 |     813      568     2620 |    27799    13176     99 | 21.827 % |
531.28/533.19	c |    443179 |     813      568     2620 |    30579    23703    110 | 21.827 % |
709.36/711.69	c |    664862 |     813      568     2620 |    33637    27045     52 | 21.827 % |
1037.82/1041.29	c |    997389 |     813      568     2620 |    37001    30756     74 | 21.827 % |
1421.64/1426.84	c ===============================================================================
1439.03/1444.34	c core #85
1439.03/1444.34	c Core size: 246	Core Weight: 1	Total Weight: 85
1439.03/1444.34	c Elapsed CPU time: 1433.42 s	Remaining CPU time: 366.582 s
1440.42/1445.76	c ============================[ Search Statistics ]==============================
1440.42/1445.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1440.42/1445.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1440.42/1445.76	c ===============================================================================
1440.42/1445.76	c |         0 |     858      569     2680 |     5000        0    nan |  0.000 % |
1440.52/1445.86	c |       100 |     858      569     2680 |     5500      100     40 | 19.814 % |
1440.62/1445.96	c |       253 |     843      569     2680 |     6050      252     47 | 21.215 % |
1440.62/1445.99	c |       481 |     843      569     2680 |     6655      480     49 | 21.215 % |
1440.72/1446.08	c |       821 |     843      569     2680 |     7320      820     57 | 21.215 % |
1440.81/1446.13	c |      1327 |     843      569     2680 |     8052     1326     72 | 21.215 % |
1440.91/1446.24	c |      2087 |     843      569     2680 |     8857     2086     83 | 21.215 % |
1441.12/1446.43	c |      3226 |     843      569     2680 |     9743     3225     88 | 21.215 % |
1441.42/1446.77	c |      4936 |     843      569     2680 |    10717     4935     91 | 21.215 % |
1442.21/1447.54	c |      7498 |     843      569     2680 |    11789     7497     91 | 21.215 % |
1443.60/1448.99	c |     11343 |     843      569     2680 |    12968    11342     93 | 21.215 % |
1448.07/1453.44	c |     17113 |     843      569     2680 |    14265    10453    102 | 21.215 % |
1453.13/1458.55	c |     25762 |     843      569     2680 |    15692    11796    106 | 21.215 % |
1461.69/1467.11	c |     38737 |     843      569     2680 |    17261     8707     97 | 21.215 % |
1468.75/1474.28	c |     58201 |     843      569     2680 |    18987    10451     98 | 21.215 % |
1483.52/1489.11	c |     87396 |     843      569     2680 |    20886    10526     74 | 21.215 % |
1512.23/1518.07	c |    131186 |     843      569     2680 |    22974    11633     95 | 21.215 % |
1570.81/1576.72	c |    196872 |     843      569     2680 |    25272    18923    112 | 21.215 % |
1668.28/1674.25	c |    295401 |     843      569     2680 |    27799    14304    111 | 21.215 % |

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-1876212-1245155933/watcher-1876212-1245155933 -o /tmp/evaluation-result-1876212-1245155933/solver-1876212-1245155933 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876212-1245155933.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: 2.11 2.12 2.03 3/73 15131
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=2524 CPUtime=0
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 183192209 2584576 188 1992294400 134512640 135709839 4294956240 18446744073709551615 135173051 0 0 4096 3 0 0 0 17 0 0 0
/proc/15131/statm: 631 188 133 292 0 336 0

[startup+0.092967 s]
/proc/loadavg: 2.11 2.12 2.03 3/73 15131
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=2800 CPUtime=0.07
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 298 0 0 0 7 0 0 0 18 0 1 0 183192209 2867200 279 1992294400 134512640 135709839 4294956240 18446744073709551615 134577408 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 700 279 136 292 0 405 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2800

[startup+0.101969 s]
/proc/loadavg: 2.11 2.12 2.03 3/73 15131
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=2932 CPUtime=0.08
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 310 0 0 0 8 0 0 0 18 0 1 0 183192209 3002368 291 1992294400 134512640 135709839 4294956240 18446744073709551615 134675059 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 733 291 136 292 0 438 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2932

[startup+0.302005 s]
/proc/loadavg: 2.11 2.12 2.03 3/73 15131
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=3308 CPUtime=0.28
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 412 0 0 0 27 1 0 0 20 0 1 0 183192209 3387392 393 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 827 393 136 292 0 532 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3308

[startup+0.70108 s]
/proc/loadavg: 2.11 2.12 2.03 3/73 15131
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=4364 CPUtime=0.67
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 671 0 0 0 65 2 0 0 23 0 1 0 183192209 4468736 652 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 1091 652 136 292 0 796 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 4364

[startup+1.50124 s]
/proc/loadavg: 2.11 2.12 2.03 2/74 15132
/proc/meminfo: memFree=1434936/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=5828 CPUtime=1.46
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 1029 0 0 0 144 2 0 0 25 0 1 0 183192209 5967872 1010 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 1457 1010 136 292 0 1162 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5828

[startup+3.10154 s]
/proc/loadavg: 2.11 2.12 2.03 4/74 15132
/proc/meminfo: memFree=1433144/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=7572 CPUtime=3.05
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 1492 0 0 0 302 3 0 0 25 0 1 0 183192209 7753728 1473 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 1893 1473 136 292 0 1598 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7572

[startup+6.30214 s]
/proc/loadavg: 2.18 2.13 2.03 3/74 15132
/proc/meminfo: memFree=1429816/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=9964 CPUtime=6.23
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 2072 0 0 0 618 5 0 0 25 0 1 0 183192209 10203136 2053 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 2491 2053 136 292 0 2196 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9964

[startup+12.7013 s]
/proc/loadavg: 2.16 2.13 2.03 3/74 15132
/proc/meminfo: memFree=1422856/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=17780 CPUtime=12.58
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 4008 0 0 0 1248 10 0 0 25 0 1 0 183192209 18206720 3989 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 4445 3989 136 292 0 4150 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 17780

[startup+25.5016 s]
/proc/loadavg: 2.21 2.14 2.04 5/74 15132
/proc/meminfo: memFree=1406344/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=33912 CPUtime=25.31
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 8046 0 0 0 2513 18 0 0 25 0 1 0 183192209 34725888 8027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 8478 8027 136 292 0 8183 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 33912

[startup+51.1014 s]
/proc/loadavg: 1.98 2.09 2.02 3/74 15132
/proc/meminfo: memFree=1380616/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=59612 CPUtime=50.9
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 14443 0 0 0 5058 32 0 0 25 0 1 0 183192209 61042688 14424 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 14903 14424 136 292 0 14608 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 59612

[startup+102.307 s]
/proc/loadavg: 2.04 2.10 2.03 3/74 15132
/proc/meminfo: memFree=1336968/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=102920 CPUtime=102.08
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 25244 0 0 0 10153 55 0 0 25 0 1 0 183192209 105390080 25225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 25730 25225 136 292 0 25435 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 102920

[startup+162.302 s]
/proc/loadavg: 2.17 2.13 2.04 4/74 15132
/proc/meminfo: memFree=1313992/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=125568 CPUtime=162.05
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 30959 0 0 0 16125 80 0 0 25 0 1 0 183192209 128581632 30940 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 31392 30940 136 292 0 31097 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 125568

[startup+222.302 s]
/proc/loadavg: 2.35 2.19 2.06 3/74 15132
/proc/meminfo: memFree=1272968/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=166532 CPUtime=221.71
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 41223 0 0 0 22060 111 0 0 25 0 1 0 183192209 170528768 41204 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 41633 41204 136 292 0 41338 0
Current children cumulated CPU time (s) 221.71
Current children cumulated vsize (KiB) 166532

[startup+282.302 s]
/proc/loadavg: 1.97 2.10 2.04 2/74 15132
/proc/meminfo: memFree=1221320/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=218640 CPUtime=281.28
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 54203 0 0 0 27990 138 0 0 25 0 1 0 183192209 223887360 54184 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 54660 54184 136 292 0 54365 0
Current children cumulated CPU time (s) 281.28
Current children cumulated vsize (KiB) 218640

[startup+342.302 s]
/proc/loadavg: 2.07 2.09 2.04 2/74 15132
/proc/meminfo: memFree=1171464/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=267980 CPUtime=340.85
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 66526 0 0 0 33921 164 0 0 25 0 1 0 183192209 274411520 66507 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 66995 66507 136 292 0 66700 0
Current children cumulated CPU time (s) 340.85
Current children cumulated vsize (KiB) 267980

[startup+402.301 s]
/proc/loadavg: 2.07 2.09 2.04 3/74 15132
/proc/meminfo: memFree=1119560/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=320352 CPUtime=400.52
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 79567 0 0 0 39859 193 0 0 25 0 1 0 183192209 328040448 79548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 80088 79548 136 292 0 79793 0
Current children cumulated CPU time (s) 400.52
Current children cumulated vsize (KiB) 320352

[startup+462.307 s]
/proc/loadavg: 2.20 2.13 2.05 2/74 15132
/proc/meminfo: memFree=1078408/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=361072 CPUtime=460.51
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 89738 0 0 0 45836 215 0 0 25 0 1 0 183192209 369737728 89719 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 90268 89719 136 292 0 89973 0
Current children cumulated CPU time (s) 460.51
Current children cumulated vsize (KiB) 361072

[startup+522.302 s]
/proc/loadavg: 2.15 2.12 2.05 3/74 15132
/proc/meminfo: memFree=1034952/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=404896 CPUtime=520.48
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 100687 0 0 0 51808 240 0 0 25 0 1 0 183192209 414613504 100668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 101224 100668 136 292 0 100929 0
Current children cumulated CPU time (s) 520.48
Current children cumulated vsize (KiB) 404896

[startup+582.302 s]
/proc/loadavg: 2.20 2.14 2.06 4/74 15132
/proc/meminfo: memFree=992520/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=447164 CPUtime=580.44
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 111235 0 0 0 57780 264 0 0 25 0 1 0 183192209 457895936 111216 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 111791 111216 136 292 0 111496 0
Current children cumulated CPU time (s) 580.44
Current children cumulated vsize (KiB) 447164

[startup+642.303 s]
/proc/loadavg: 2.14 2.14 2.07 3/74 15132
/proc/meminfo: memFree=941192/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=497896 CPUtime=640.41
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 123907 0 0 0 63749 292 0 0 25 0 1 0 183192209 509845504 123888 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 124474 123888 136 292 0 124179 0
Current children cumulated CPU time (s) 640.41
Current children cumulated vsize (KiB) 497896

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.97 2.04 2.04 4/74 15134
/proc/meminfo: memFree=815688/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=623568 CPUtime=879.15
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 155185 0 0 0 87527 388 0 0 25 0 1 0 183192209 638533632 155166 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 155892 155166 136 292 0 155597 0
Current children cumulated CPU time (s) 879.15
Current children cumulated vsize (KiB) 623568

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.03 3/74 15134
/proc/meminfo: memFree=788360/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=651232 CPUtime=938.96
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 162091 0 0 0 93486 410 0 0 25 0 1 0 183192209 666861568 162072 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 162808 162072 136 292 0 162513 0
Current children cumulated CPU time (s) 938.96
Current children cumulated vsize (KiB) 651232

[startup+1002.31 s]
/proc/loadavg: 1.95 2.00 2.02 2/74 15134
/proc/meminfo: memFree=766792/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=672620 CPUtime=998.95
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 167415 0 0 0 99468 427 0 0 25 0 1 0 183192209 688762880 167396 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 168155 167396 136 292 0 167860 0
Current children cumulated CPU time (s) 998.95
Current children cumulated vsize (KiB) 672620

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 2.01 4/74 15134
/proc/meminfo: memFree=740104/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=699416 CPUtime=1058.82
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 174151 0 0 0 105437 445 0 0 25 0 1 0 183192209 716201984 174132 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 174854 174132 136 292 0 174559 0
Current children cumulated CPU time (s) 1058.82
Current children cumulated vsize (KiB) 699416

[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.01 2/74 15134
/proc/meminfo: memFree=717064/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=722224 CPUtime=1118.52
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 179832 0 0 0 111388 464 0 0 25 0 1 0 183192209 739557376 179813 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 180556 179813 136 292 0 180261 0
Current children cumulated CPU time (s) 1118.52
Current children cumulated vsize (KiB) 722224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.01 2/74 15134
/proc/meminfo: memFree=693192/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=745960 CPUtime=1178.33
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 185777 0 0 0 117349 484 0 0 25 0 1 0 183192209 763863040 185758 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 186490 185758 136 292 0 186195 0
Current children cumulated CPU time (s) 1178.33
Current children cumulated vsize (KiB) 745960

[startup+1242.3 s]
/proc/loadavg: 1.64 1.90 1.97 4/74 15134
/proc/meminfo: memFree=668168/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=771040 CPUtime=1237.93
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 191996 0 0 0 123290 503 0 0 25 0 1 0 183192209 789544960 191977 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 192760 191977 136 292 0 192465 0
Current children cumulated CPU time (s) 1237.93
Current children cumulated vsize (KiB) 771040

[startup+1302.3 s]
/proc/loadavg: 2.04 1.96 1.98 3/74 15134
/proc/meminfo: memFree=642696/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=796324 CPUtime=1297.49
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 198298 0 0 0 129228 521 0 0 25 0 1 0 183192209 815435776 198279 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 199081 198279 136 292 0 198786 0
Current children cumulated CPU time (s) 1297.49
Current children cumulated vsize (KiB) 796324

[startup+1362.3 s]
/proc/loadavg: 2.03 1.99 1.99 4/74 15140
/proc/meminfo: memFree=613640/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=824924 CPUtime=1357.2
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 205431 0 0 0 135179 541 0 0 25 0 1 0 183192209 844722176 205412 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 206231 205412 136 292 0 205936 0
Current children cumulated CPU time (s) 1357.2
Current children cumulated vsize (KiB) 824924

[startup+1422.31 s]
/proc/loadavg: 2.35 2.09 2.03 3/74 15140
/proc/meminfo: memFree=588808/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=849800 CPUtime=1417.18
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 211639 0 0 0 141159 559 0 0 25 0 1 0 183192209 870195200 211620 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 212450 211620 136 292 0 212155 0
Current children cumulated CPU time (s) 1417.18
Current children cumulated vsize (KiB) 849800

[startup+1482.3 s]
/proc/loadavg: 2.14 2.10 2.03 2/74 15140
/proc/meminfo: memFree=559880/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=876960 CPUtime=1476.8
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 218865 0 0 0 147096 584 0 0 25 0 1 0 183192209 898007040 218809 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 219240 218809 136 292 0 218945 0
Current children cumulated CPU time (s) 1476.8
Current children cumulated vsize (KiB) 876960

[startup+1542.31 s]
/proc/loadavg: 2.15 2.10 2.03 3/74 15140
/proc/meminfo: memFree=553096/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=883812 CPUtime=1536.43
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 220577 0 0 0 153039 604 0 0 25 0 1 0 183192209 905023488 220521 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 220953 220521 136 292 0 220658 0
Current children cumulated CPU time (s) 1536.43
Current children cumulated vsize (KiB) 883812

[startup+1602.3 s]
/proc/loadavg: 1.89 2.04 2.01 3/74 15140
/proc/meminfo: memFree=526472/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=910776 CPUtime=1596.4
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 227267 0 0 0 159018 622 0 0 25 0 1 0 183192209 932634624 227211 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 227694 227211 136 292 0 227399 0
Current children cumulated CPU time (s) 1596.4
Current children cumulated vsize (KiB) 910776

[startup+1662.31 s]
/proc/loadavg: 1.93 2.01 2.00 3/74 15140
/proc/meminfo: memFree=497288/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=939872 CPUtime=1656.39
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 234489 0 0 0 164996 643 0 0 25 0 1 0 183192209 962428928 234433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 234968 234433 136 292 0 234673 0
Current children cumulated CPU time (s) 1656.39
Current children cumulated vsize (KiB) 939872

[startup+1722.3 s]
/proc/loadavg: 1.87 1.97 1.99 3/74 15140
/proc/meminfo: memFree=474376/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=963120 CPUtime=1716.33
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 240282 0 0 0 170974 659 0 0 25 0 1 0 183192209 986234880 240226 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 240780 240226 136 292 0 240485 0
Current children cumulated CPU time (s) 1716.33
Current children cumulated vsize (KiB) 963120

[startup+1782.31 s]
/proc/loadavg: 1.96 1.99 1.99 4/74 15140
/proc/meminfo: memFree=447496/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=989712 CPUtime=1776.31
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 246920 0 0 0 176949 682 0 0 25 0 1 0 183192209 1013465088 246864 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 247428 246864 136 292 0 247133 0
Current children cumulated CPU time (s) 1776.31
Current children cumulated vsize (KiB) 989712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806 s]
/proc/loadavg: 2.03 2.00 2.00 3/74 15140
/proc/meminfo: memFree=438792/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=998292 CPUtime=1800.01
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4194304 249039 0 0 0 179310 691 0 0 25 0 1 0 183192209 1022251008 248983 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 249573 248983 136 292 0 249278 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 998292

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

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

[startup+1806.11 s]
/proc/loadavg: 2.03 2.00 2.00 3/75 15141
/proc/meminfo: memFree=1047808/2055920 swapFree=4192812/4192956
[pid=15131] ppid=15129 vsize=0 CPUtime=1800.11
/proc/15131/stat : 15131 (wbo) R 15129 15131 14711 0 -1 4195332 249039 0 0 0 179310 701 0 0 25 0 1 0 183192209 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/15131/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.16
CPU time (s): 1800.17
CPU user time (s): 1793.1
CPU system time (s): 7.06792
CPU usage (%): 99.6681
Max. virtual memory (cumulated for all children) (KiB): 998292

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

runsolver used 2.39464 second user time and 5.95709 second system time

The end

Launcher Data 

Begin job on node81 at 2009-06-16 14:38:53
IDJOB=1876212
IDBENCH=2144
IDSOLVER=698
FILE ID=node81/1876212-1245155933
PBS_JOBID= 9363775
Free space on /tmp= 126776 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-2.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-1876212-1245155933/watcher-1876212-1245155933 -o /tmp/evaluation-result-1876212-1245155933/solver-1876212-1245155933 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876212-1245155933.opb

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

MD5SUM BENCH= 7ec59a0b091bf2338a9ae3083dc2bac0
RANDOM SEED=1032279447

node81.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.268
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.268
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1438368 kB
Buffers:         18164 kB
Cached:         500064 kB
SwapCached:          0 kB
Active:          66148 kB
Inactive:       483716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1438368 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          43084 kB
Slab:            52448 kB
Committed_AS:   601752 kB
PageTables:       2120 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876212-1245155933.opb

Free space on /tmp at the end= 126772 MiB
End job on node81 at 2009-06-16 15:09:01