Trace number 3461395

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.15 1800.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
MD5SUM116a942422e9404c5d3cdfc29ea9d859
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.002998
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 constraints300
Number of constraints which are clauses299
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461395-1307084896.opb.
0.00/0.00	c Instance file HOME/instance-3461395-1307084896.opb
0.00/0.00	c File size is 9855 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:        300                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     200      300      799 |     5000        0   -nan |  0.000 % |
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #4
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #5
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #6
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #7
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #8
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #9
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #10
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #11
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #12
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #13
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #14
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #15
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #16
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #17
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #18
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 18
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #19
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #20
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 20
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #21
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 21
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #22
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #23
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c core #24
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 24
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c core #25
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 25
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c core #26
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c core #27
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 27
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c core #28
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 28
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c core #29
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 29
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #30
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 30
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #31
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 31
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #32
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 32
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #33
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 33
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #34
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
0.00/0.00	c core #35
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c core #36
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 36
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c core #37
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 37
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c core #38
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 38
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c core #39
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 39
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c core #40
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 40
0.00/0.00	c Current CPU time: 0.007998 s
0.00/0.00	c
0.00/0.00	c core #41
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 41
0.00/0.00	c Current CPU time: 0.007998 s
0.00/0.00	c
0.00/0.00	c core #42
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 42
0.00/0.00	c Current CPU time: 0.007998 s
0.00/0.00	c
0.00/0.00	c core #43
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 43
0.00/0.01	c Current CPU time: 0.007998 s
0.00/0.01	c
0.00/0.01	c core #44
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 44
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c core #45
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 45
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c core #46
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 46
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c core #47
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 47
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c core #48
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 48
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c core #49
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 49
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c core #50
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 50
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c core #51
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 51
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c core #52
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 52
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c core #53
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 53
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c core #54
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 54
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c core #55
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 55
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c core #56
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 56
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c core #57
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 57
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c core #58
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 58
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c core #59
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 18	Core Weight: 1	Total Weight: 59
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c core #60
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 60
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c core #61
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 19	Core Weight: 1	Total Weight: 61
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c core #62
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 62
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c core #63
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 26	Core Weight: 1	Total Weight: 63
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     406      563     1403 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #64
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 29	Core Weight: 1	Total Weight: 64
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     428      564     1451 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #65
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 44	Core Weight: 1	Total Weight: 65
0.00/0.01	c Current CPU time: 0.013997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     471      566     1544 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #66
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 65	Core Weight: 1	Total Weight: 66
0.00/0.01	c Current CPU time: 0.014997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     524      570     1658 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #67
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 32	Core Weight: 1	Total Weight: 67
0.00/0.01	c Current CPU time: 0.014997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     551      576     1727 |     5000        0   -nan |  0.000 % |
0.00/0.01	c |       103 |     546      576     1727 |     5500      103      5 |  1.089 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #68
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 84	Core Weight: 1	Total Weight: 68
0.00/0.01	c Current CPU time: 0.016997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     627      585     1902 |     5000        0   -nan |  0.000 % |
0.00/0.02	c |       103 |     627      585     1902 |     5500      103     22 |  0.001 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #69
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 95	Core Weight: 1	Total Weight: 69
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     708      597     2096 |     5000        0   -nan |  0.000 % |
0.00/0.02	c |       100 |     708      597     2096 |     5500      100     19 |  0.001 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #70
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 110	Core Weight: 1	Total Weight: 70
0.00/0.02	c Current CPU time: 0.024996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     678      626     2196 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #71
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 102	Core Weight: 1	Total Weight: 71
0.00/0.02	c Current CPU time: 0.025996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     518      636     2263 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #72
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 151	Core Weight: 1	Total Weight: 72
0.00/0.02	c Current CPU time: 0.026995 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     524      637     2275 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.03	c core #73
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 169	Core Weight: 1	Total Weight: 73
0.00/0.03	c Current CPU time: 0.027995 s
0.00/0.03	c
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 |     541      638     2297 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #74
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 130	Core Weight: 1	Total Weight: 74
0.00/0.03	c Current CPU time: 0.027995 s
0.00/0.03	c
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 |     550      639     2315 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #75
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 158	Core Weight: 1	Total Weight: 75
0.00/0.03	c Current CPU time: 0.028995 s
0.00/0.03	c
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 |     563      640     2341 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #76
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 131	Core Weight: 1	Total Weight: 76
0.00/0.03	c Current CPU time: 0.030995 s
0.00/0.03	c
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 |     572      641     2359 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     569      641     2359 |     5500      100     18 | 28.247 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #77
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 163	Core Weight: 1	Total Weight: 77
0.00/0.03	c Current CPU time: 0.032994 s
0.00/0.03	c
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 |     587      642     2389 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     587      642     2389 |     5500      100     27 | 27.352 % |
0.00/0.04	c |       250 |     587      642     2389 |     6050      250     21 | 27.352 % |
0.00/0.04	c |       475 |     586      642     2389 |     6655      475     23 | 27.477 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #78
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 168	Core Weight: 1	Total Weight: 78
0.00/0.04	c Current CPU time: 0.043993 s
0.00/0.04	c
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 |     610      643     2435 |     5000        0   -nan |  0.000 % |
0.00/0.04	c |       100 |     610      643     2435 |     5500      100     31 | 26.595 % |
0.00/0.05	c |       250 |     610      643     2435 |     6050      250     23 | 26.595 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #79
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 162	Core Weight: 1	Total Weight: 79
0.00/0.05	c Current CPU time: 0.048992 s
0.00/0.05	c
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 |     629      644     2473 |     5000        0   -nan |  0.000 % |
0.00/0.05	c |       101 |     629      644     2473 |     5500      101     19 | 26.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #80
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 200	Core Weight: 1	Total Weight: 80
0.00/0.05	c Current CPU time: 0.053991 s
0.00/0.05	c
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 |     657      645     2529 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       100 |     657      645     2529 |     5500      100     38 | 25.171 % |
0.00/0.06	c |       251 |     656      645     2529 |     6050      251     40 | 25.285 % |
0.00/0.06	c |       477 |     656      645     2529 |     6655      477     43 | 25.285 % |
0.00/0.07	c |       814 |     656      645     2529 |     7320      814     38 | 25.285 % |
0.07/0.09	c |      1322 |     656      645     2529 |     8052     1322     37 | 25.285 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #81
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 199	Core Weight: 1	Total Weight: 81
0.09/0.10	c Current CPU time: 0.100984 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |     687      646     2589 |     5000        0   -nan |  0.000 % |
0.09/0.10	c |       100 |     687      646     2589 |     5500      100     37 | 24.339 % |
0.09/0.11	c |       250 |     687      646     2589 |     6050      250     28 | 24.339 % |
0.09/0.11	c |       476 |     687      646     2589 |     6655      476     26 | 24.339 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #82
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 191	Core Weight: 1	Total Weight: 82
0.09/0.11	c Current CPU time: 0.110983 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |     714      647     2643 |     5000        0   -nan |  0.000 % |
0.09/0.11	c |       100 |     714      647     2643 |     5500      100     37 | 23.636 % |
0.09/0.12	c |       252 |     714      647     2643 |     6050      252     29 | 23.636 % |
0.09/0.12	c |       481 |     714      647     2643 |     6655      481     36 | 23.636 % |
0.09/0.13	c |       818 |     714      647     2643 |     7320      818     44 | 23.636 % |
0.09/0.15	c |      1325 |     714      647     2643 |     8052     1325     48 | 23.636 % |
0.09/0.19	c |      2084 |     714      647     2643 |     8857     2084     50 | 23.636 % |
0.19/0.27	c |      3223 |     714      647     2643 |     9743     3223     52 | 23.636 % |
0.39/0.41	c |      4931 |     714      647     2643 |    10717     4931     55 | 23.636 % |
0.59/0.69	c |      7493 |     714      647     2643 |    11789     7493     55 | 23.636 % |
1.19/1.26	c |     11337 |     714      647     2643 |    12968    11337     55 | 23.637 % |
1.99/2.05	c |     17103 |     714      647     2643 |    14265    10428     56 | 23.636 % |
2.39/2.45	c ===============================================================================
2.49/2.52	c core #83
2.49/2.52	c 
2.49/2.52	c 
2.49/2.52	c Core size: 197	Core Weight: 1	Total Weight: 83
2.49/2.52	c Current CPU time: 2.48362 s
2.49/2.52	c
2.49/2.52	c ============================[ Search Statistics ]==============================
2.49/2.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.52	c ===============================================================================
2.49/2.52	c |         0 |     745      648     2705 |     5000        0   -nan |  0.000 % |
2.49/2.53	c |       100 |     745      648     2705 |     5500      100     40 | 22.878 % |
2.49/2.53	c |       250 |     745      648     2705 |     6050      250     36 | 22.878 % |
2.49/2.53	c |       475 |     745      648     2705 |     6655      475     39 | 22.878 % |
2.49/2.54	c |       813 |     745      648     2705 |     7320      813     41 | 22.878 % |
2.49/2.56	c |      1319 |     745      648     2705 |     8052     1319     44 | 22.878 % |
2.49/2.58	c |      2078 |     745      648     2705 |     8857     2078     47 | 22.878 % |
2.59/2.62	c |      3218 |     745      648     2705 |     9743     3218     49 | 22.878 % |
2.70/2.73	c |      4933 |     745      648     2705 |    10717     4933     52 | 22.878 % |
2.89/2.90	c |      7498 |     744      648     2705 |    11789     7498     51 | 22.981 % |
3.20/3.29	c |     11343 |     744      648     2705 |    12968    11343     56 | 22.981 % |
4.19/4.25	c |     17109 |     741      648     2705 |    14265    10484     64 | 23.292 % |
4.41/4.48	c ===============================================================================
4.50/4.56	c core #84
4.50/4.56	c 
4.50/4.56	c 
4.50/4.56	c Core size: 203	Core Weight: 1	Total Weight: 84
4.50/4.56	c Current CPU time: 4.48632 s
4.50/4.56	c
4.50/4.56	c ============================[ Search Statistics ]==============================
4.50/4.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.50/4.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.50/4.56	c ===============================================================================
4.50/4.56	c |         0 |     779      649     2773 |     5000        0   -nan |  0.000 % |
4.50/4.56	c |       100 |     779      649     2773 |     5500      100     40 | 22.100 % |
4.50/4.56	c |       250 |     779      649     2773 |     6050      250     37 | 22.100 % |
4.50/4.57	c |       476 |     779      649     2773 |     6655      476     39 | 22.100 % |
4.50/4.57	c |       820 |     779      649     2773 |     7320      820     41 | 22.100 % |
4.50/4.59	c |      1326 |     779      649     2773 |     8052     1326     48 | 22.100 % |
4.59/4.62	c |      2088 |     779      649     2773 |     8857     2088     56 | 22.100 % |
4.59/4.70	c |      3231 |     779      649     2773 |     9743     3231     63 | 22.100 % |
4.79/4.84	c |      4940 |     779      649     2773 |    10717     4940     69 | 22.100 % |
4.99/5.09	c |      7503 |     779      649     2773 |    11789     7503     73 | 22.100 % |
5.69/5.70	c |     11347 |     779      649     2773 |    12968    11347     77 | 22.100 % |
6.79/6.82	c |     17122 |     779      649     2773 |    14265    10489     85 | 22.100 % |
8.99/9.08	c |     25771 |     779      649     2773 |    15692    11804     91 | 22.100 % |
11.19/11.26	c |     38749 |     779      649     2773 |    17261     8778     87 | 22.100 % |
15.19/15.26	c |     58210 |     779      649     2773 |    18987    10636    102 | 22.100 % |
19.90/19.99	c |     87403 |     779      649     2773 |    20886    10736     79 | 22.100 % |
26.09/26.17	c |    131192 |     779      649     2773 |    22974    11939     78 | 22.100 % |
38.19/38.21	c |    196877 |     779      649     2773 |    25272    19392     92 | 22.100 % |
63.18/63.23	c ===============================================================================
64.68/64.77	c core #85
64.68/64.77	c 
64.68/64.77	c 
64.68/64.77	c Core size: 205	Core Weight: 1	Total Weight: 85
64.68/64.77	c Current CPU time: 64.1762 s
64.68/64.77	c
64.68/64.77	c ============================[ Search Statistics ]==============================
64.68/64.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.68/64.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
64.68/64.77	c ===============================================================================
64.68/64.77	c |         0 |     816      650     2847 |     5000        0   -nan |  0.000 % |
64.68/64.77	c |       101 |     816      650     2847 |     5500      101     58 | 21.312 % |
64.68/64.77	c |       251 |     816      650     2847 |     6050      251     47 | 21.312 % |
64.68/64.78	c |       476 |     816      650     2847 |     6655      476     46 | 21.312 % |
64.68/64.79	c |       813 |     816      650     2847 |     7320      813     54 | 21.312 % |
64.68/64.80	c |      1320 |     816      650     2847 |     8052     1320     66 | 21.312 % |
64.79/64.84	c |      2080 |     816      650     2847 |     8857     2080     73 | 21.312 % |
64.79/64.88	c |      3219 |     816      650     2847 |     9743     3219     70 | 21.312 % |
64.90/64.97	c |      4927 |     816      650     2847 |    10717     4927     74 | 21.312 % |
65.09/65.15	c |      7493 |     816      650     2847 |    11789     7493     80 | 21.312 % |
65.69/65.72	c |     11338 |     816      650     2847 |    12968    11338     84 | 21.312 % |
66.39/66.44	c |     17105 |     816      650     2847 |    14265    10444     88 | 21.312 % |
67.88/67.92	c |     25756 |     816      650     2847 |    15692    11774     95 | 21.312 % |
70.48/70.58	c |     38730 |     816      650     2847 |    17261     8715     92 | 21.312 % |
73.88/73.99	c |     58191 |     816      650     2847 |    18987    10531     89 | 21.312 % |
79.88/79.93	c |     87384 |     816      650     2847 |    20886    10656     85 | 21.312 % |
89.58/89.66	c |    131174 |     816      650     2847 |    22974    11922     99 | 21.312 % |
105.79/105.80	c |    196860 |     816      650     2847 |    25272    19123    100 | 21.312 % |
134.09/134.14	c |    295391 |     816      650     2847 |    27799    13291    117 | 21.312 % |
174.38/174.42	c |    443183 |     816      650     2847 |    30579    27785     94 | 21.312 % |
230.78/230.90	c |    664867 |     816      650     2847 |    33637    20167     88 | 21.312 % |
326.38/326.45	c |    997395 |     816      650     2847 |    37001    27962    127 | 21.312 % |
486.09/486.12	c |   1496191 |     816      650     2847 |    40701    15517    119 | 21.312 % |
751.48/751.55	c |   2244377 |     816      650     2847 |    44771    40088    144 | 21.312 % |
1179.47/1179.54	c |   3366651 |     816      650     2847 |    49248    17638    109 | 21.312 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.54 1.81 2/488 4541
/proc/meminfo: memFree=21568436/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 326 0 0 0 0 0 0 0 25 0 1 0 552680888 2154496 276 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 526 276 175 372 0 151 0

[startup+0.078462 s]
/proc/loadavg: 1.04 1.54 1.81 2/488 4541
/proc/meminfo: memFree=21568436/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=2744 CPUtime=0.07 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 489 0 0 0 7 0 0 0 18 0 1 0 552680888 2809856 439 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 686 439 180 372 0 311 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2744

[startup+0.100461 s]
/proc/loadavg: 1.04 1.54 1.81 2/488 4541
/proc/meminfo: memFree=21568436/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=2876 CPUtime=0.09 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 533 0 0 0 9 0 0 0 18 0 1 0 552680888 2945024 483 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 719 483 180 372 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2876

[startup+0.300424 s]
/proc/loadavg: 1.04 1.54 1.81 2/488 4541
/proc/meminfo: memFree=21568436/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=3936 CPUtime=0.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 797 0 0 0 28 1 0 0 18 0 1 0 552680888 4030464 747 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 984 747 180 372 0 609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3936

[startup+0.700355 s]
/proc/loadavg: 1.04 1.54 1.81 2/488 4541
/proc/meminfo: memFree=21568436/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=5932 CPUtime=0.69 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 1272 0 0 0 68 1 0 0 18 0 1 0 552680888 6074368 1222 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 1483 1222 180 372 0 1108 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5932

[startup+1.50021 s]
/proc/loadavg: 1.04 1.54 1.81 3/489 4542
/proc/meminfo: memFree=21559252/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=8392 CPUtime=1.49 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 1881 0 0 0 146 3 0 0 19 0 1 0 552680888 8593408 1831 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 2098 1831 180 372 0 1723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8392

[startup+3.10093 s]
/proc/loadavg: 1.12 1.55 1.81 3/489 4542
/proc/meminfo: memFree=21554036/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=10644 CPUtime=3.1 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 2475 0 0 0 304 6 0 0 25 0 1 0 552680888 10899456 2398 33554432000 4194304 5714214 140736272132864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 2661 2398 180 372 0 2286 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 10644

[startup+6.30038 s]
/proc/loadavg: 1.12 1.55 1.81 3/489 4543
/proc/meminfo: memFree=21540448/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=10916 CPUtime=6.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 2550 0 0 0 620 9 0 0 25 0 1 0 552680888 11177984 2473 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 2729 2473 180 372 0 2354 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10916

[startup+12.7002 s]
/proc/loadavg: 1.25 1.56 1.81 3/489 4543
/proc/meminfo: memFree=21515756/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=18588 CPUtime=12.69 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 4436 0 0 0 1257 12 0 0 25 0 1 0 552680888 19034112 4359 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 4647 4359 180 372 0 4272 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18588

[startup+25.501 s]
/proc/loadavg: 1.37 1.57 1.82 3/489 4543
/proc/meminfo: memFree=21486996/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=30656 CPUtime=25.49 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 7376 0 0 0 2526 23 0 0 25 0 1 0 552680888 31391744 7299 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 7664 7299 180 372 0 7289 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30656

[startup+51.1005 s]
/proc/loadavg: 1.58 1.61 1.82 3/489 4544
/proc/meminfo: memFree=21449212/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=51848 CPUtime=51.08 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 12587 0 0 0 5070 38 0 0 25 0 1 0 552680888 53092352 12510 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 12962 12510 180 372 0 12587 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51848

[startup+102.318 s]
/proc/loadavg: 1.83 1.67 1.83 3/489 4545
/proc/meminfo: memFree=21412352/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=66896 CPUtime=102.3 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 16527 0 0 0 10161 69 0 0 25 0 1 0 552680888 68501504 16399 33554432000 4194304 5714214 140736272132864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 16724 16399 180 372 0 16349 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66896

[startup+162.301 s]
/proc/loadavg: 1.93 1.72 1.83 3/489 4547
/proc/meminfo: memFree=21353424/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=77904 CPUtime=162.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 19259 0 0 0 16130 98 0 0 25 0 1 0 552680888 79773696 19131 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 19476 19131 180 372 0 19101 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 77904

[startup+222.3 s]
/proc/loadavg: 1.97 1.77 1.84 3/489 4548
/proc/meminfo: memFree=21317928/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=114316 CPUtime=222.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 28206 0 0 0 22099 129 0 0 25 0 1 0 552680888 117059584 28078 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 28579 28078 180 372 0 28204 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 114316

[startup+282.301 s]
/proc/loadavg: 1.99 1.81 1.84 3/489 4550
/proc/meminfo: memFree=21286264/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=147004 CPUtime=282.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 36229 0 0 0 28068 160 0 0 25 0 1 0 552680888 150532096 36101 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 36751 36101 180 372 0 36376 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 147004

[startup+342.3 s]
/proc/loadavg: 2.03 1.86 1.85 3/489 4552
/proc/meminfo: memFree=21252488/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=181096 CPUtime=342.27 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 44662 0 0 0 34037 190 0 0 25 0 1 0 552680888 185442304 44534 33554432000 4194304 5714214 140736272132864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 45274 44534 180 372 0 44899 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 181096

[startup+402.301 s]
/proc/loadavg: 2.05 1.89 1.86 3/489 4553
/proc/meminfo: memFree=21218228/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=209744 CPUtime=402.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 51760 0 0 0 40014 214 0 0 25 0 1 0 552680888 214777856 51632 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 52436 51632 180 372 0 52061 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 209744

[startup+462.301 s]
/proc/loadavg: 2.01 1.91 1.87 3/489 4555
/proc/meminfo: memFree=21137576/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=238276 CPUtime=462.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 58869 0 0 0 45991 237 0 0 25 0 1 0 552680888 243994624 58741 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 59569 58741 180 372 0 59194 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 238276

[startup+522.3 s]
/proc/loadavg: 2.04 1.94 1.88 3/489 4556
/proc/meminfo: memFree=21066716/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=270312 CPUtime=522.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 66699 0 0 0 51962 266 0 0 25 0 1 0 552680888 276799488 66571 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 67578 66571 180 372 0 67203 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 270312

[startup+582.301 s]
/proc/loadavg: 2.04 1.96 1.89 3/489 4558
/proc/meminfo: memFree=20992504/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=299356 CPUtime=582.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 73848 0 0 0 57935 293 0 0 25 0 1 0 552680888 306540544 73720 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319812 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 74839 73720 180 372 0 74464 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 299356

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.10 2.00 1.92 3/489 4566
/proc/meminfo: memFree=20866676/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=412996 CPUtime=882.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 101911 0 0 0 87818 410 0 0 25 0 1 0 552680888 422907904 101783 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 103249 101783 180 372 0 102874 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 412996

[startup+942.3 s]
/proc/loadavg: 2.09 2.01 1.93 3/489 4568
/proc/meminfo: memFree=20844688/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=438400 CPUtime=942.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 108195 0 0 0 93792 436 0 0 25 0 1 0 552680888 448921600 108067 33554432000 4194304 5714214 140736272132864 18446744073709551615 4300112 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 109600 108067 180 372 0 109225 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 438400

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/489 4569
/proc/meminfo: memFree=20812164/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=469640 CPUtime=1002.27 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 115971 0 0 0 99768 459 0 0 25 0 1 0 552680888 480911360 115843 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 117410 115843 180 372 0 117035 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 469640

[startup+1062.3 s]
/proc/loadavg: 2.11 2.03 1.94 3/489 4571
/proc/meminfo: memFree=20798608/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=483456 CPUtime=1062.27 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 119376 0 0 0 105750 477 0 0 25 0 1 0 552680888 495058944 119248 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 120864 119248 180 372 0 120489 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 483456

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 1.94 3/489 4572
/proc/meminfo: memFree=20779096/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=502784 CPUtime=1122.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 124140 0 0 0 111726 502 0 0 25 0 1 0 552680888 514850816 124012 33554432000 4194304 5714214 140736272132864 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4541/statm: 125696 124012 180 372 0 125321 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 502784

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/489 4574
/proc/meminfo: memFree=20753508/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=528164 CPUtime=1182.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 130456 0 0 0 117704 524 0 0 25 0 1 0 552680888 540839936 130328 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 132041 130328 180 372 0 131666 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 528164

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/489 4576
/proc/meminfo: memFree=20729284/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=548308 CPUtime=1242.27 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 135480 0 0 0 123682 545 0 0 25 0 1 0 552680888 561467392 135352 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 137077 135352 180 372 0 136702 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 548308

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/489 4577
/proc/meminfo: memFree=20687828/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=574692 CPUtime=1302.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 142017 0 0 0 129665 563 0 0 25 0 1 0 552680888 588484608 141889 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 143673 141889 180 372 0 143298 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 574692

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/489 4579
/proc/meminfo: memFree=20651592/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=588872 CPUtime=1362.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 147040 0 0 0 135644 584 0 0 25 0 1 0 552680888 603004928 145456 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 147218 145456 180 372 0 146843 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 588872

[startup+1422.32 s]
/proc/loadavg: 2.07 2.02 1.95 3/489 4580
/proc/meminfo: memFree=20582236/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=615368 CPUtime=1422.3 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 153567 0 0 0 141622 608 0 0 25 0 1 0 552680888 630136832 151983 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 153842 151983 180 372 0 153467 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 615368

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.95 3/489 4582
/proc/meminfo: memFree=20562696/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=634668 CPUtime=1482.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 158350 0 0 0 147600 628 0 0 25 0 1 0 552680888 649900032 156766 33554432000 4194304 5714214 140736272132864 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 158667 156766 180 372 0 158292 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 634668

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/489 4584
/proc/meminfo: memFree=20546028/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=651584 CPUtime=1542.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 162524 0 0 0 153579 650 0 0 25 0 1 0 552680888 667222016 160940 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 162896 160940 180 372 0 162521 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 651584

[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 1.96 3/489 4585
/proc/meminfo: memFree=20528524/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=669176 CPUtime=1602.28 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 166886 0 0 0 159563 665 0 0 25 0 1 0 552680888 685236224 165302 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 167294 165302 180 372 0 166919 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 669176

[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/489 4587
/proc/meminfo: memFree=20511608/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=686376 CPUtime=1662.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 171115 0 0 0 165541 688 0 0 25 0 1 0 552680888 702849024 169531 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 171594 169531 180 372 0 171219 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 686376

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 1.97 3/489 4588
/proc/meminfo: memFree=20485524/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=712272 CPUtime=1722.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 177601 0 0 0 171522 707 0 0 25 0 1 0 552680888 729366528 176017 33554432000 4194304 5714214 140736272132864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 178068 176017 180 372 0 177693 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 712272

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/489 4590
/proc/meminfo: memFree=20459940/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=735160 CPUtime=1782.29 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 183334 0 0 0 177502 727 0 0 25 0 1 0 552680888 752803840 181750 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 183790 181750 180 372 0 183415 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 735160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 1.97 2/487 4591
/proc/meminfo: memFree=20833916/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=740776 CPUtime=1800.1 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 184713 0 0 0 179278 732 0 0 25 0 1 0 552680888 758554624 183129 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 185194 183129 180 372 0 184819 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 740776

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

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

[startup+1800.1 s]
/proc/loadavg: 2.01 2.03 1.97 2/487 4591
/proc/meminfo: memFree=20833916/32951124 swapFree=46575304/67111528
[pid=4541] ppid=4539 vsize=740776 CPUtime=1800.1 cores=1,3,5,7
/proc/4541/stat : 4541 (wbo1.6) R 4539 4541 31334 0 -1 4202496 184713 0 0 0 179278 732 0 0 25 0 1 0 552680888 758554624 183129 33554432000 4194304 5714214 140736272132864 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/4541/statm: 185194 183129 180 372 0 184819 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 740776

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.15
CPU time (s): 1800.15
CPU user time (s): 1792.8
CPU system time (s): 7.35188
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 740776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.8
system time used= 7.35188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184713
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= 9
involuntary context switches= 1888

runsolver used 8.5397 second user time and 19.3661 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-03 09:08:16
IDJOB=3461395
IDBENCH=2098
IDSOLVER=1953
FILE ID=node107/3461395-1307084896
RUNJOBID= node107-1307084896-4495
PBS_JOBID= 13497881
Free space on /tmp= 73860 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-1.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461395-1307084896/watcher-3461395-1307084896 -o /tmp/evaluation-result-3461395-1307084896/solver-3461395-1307084896 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461395-1307084896.opb

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

MD5SUM BENCH= 116a942422e9404c5d3cdfc29ea9d859
RANDOM SEED=922362756

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21568716 kB
Buffers:        299068 kB
Cached:        2027628 kB
SwapCached:      22548 kB
Active:        9109732 kB
Inactive:      1925248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21568716 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            9348 kB
Writeback:           0 kB
AnonPages:     8703544 kB
Mapped:          33324 kB
Slab:           184704 kB
PageTables:      94472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145103220 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node107 at 2011-06-03 09:38:18