Trace number 3461453

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.12 1800.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
MD5SUMb73cea9d9e4cbead7bc459c298b4b53a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark95
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 95
Optimality of the best value was proved YES
Number of variables200
Total number of constraints950
Number of constraints which are clauses950
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3461453-1307091377.opb.
0.00/0.00	c Instance file HOME/instance-3461453-1307091377.opb
0.00/0.00	c File size is 40799 bytes.
0.00/0.00	c Highest Coefficient sum: 12
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:        950                                                 |
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      950     4244 |     5000        0   -nan |  0.000 % |
0.00/0.02	c core #1
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 2	Core Weight: 4	Total Weight: 4
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #2
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #3
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #4
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #5
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 8
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #6
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #7
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 10
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #8
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 11
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 12
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #10
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 13
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #11
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #12
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 15
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #13
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #14
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 17
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #15
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 18
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #16
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #17
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 20
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #18
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 21
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #19
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #20
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #21
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 24
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #22
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 25
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #23
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 26
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #24
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 27
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #25
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 28
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #26
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 29
0.00/0.02	c Current CPU time: 0.014997 s
0.00/0.02	c
0.00/0.02	c core #27
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 30
0.00/0.02	c Current CPU time: 0.014997 s
0.00/0.02	c
0.00/0.02	c core #28
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 31
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #29
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 32
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #30
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 33
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #31
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 34
0.00/0.02	c Current CPU time: 0.016997 s
0.00/0.02	c
0.00/0.02	c core #32
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 35
0.00/0.02	c Current CPU time: 0.016997 s
0.00/0.02	c
0.00/0.02	c core #33
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 36
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #34
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 37
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #35
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 38
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c core #36
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 39
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c core #37
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 40
0.00/0.02	c Current CPU time: 0.019996 s
0.00/0.02	c
0.00/0.02	c core #38
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 41
0.00/0.02	c Current CPU time: 0.019996 s
0.00/0.02	c
0.00/0.02	c core #39
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 42
0.00/0.02	c Current CPU time: 0.020996 s
0.00/0.02	c
0.00/0.02	c core #40
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 43
0.00/0.02	c Current CPU time: 0.020996 s
0.00/0.02	c
0.00/0.02	c core #41
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 44
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c core #42
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 45
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c core #43
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 46
0.00/0.02	c Current CPU time: 0.022996 s
0.00/0.02	c
0.00/0.02	c core #44
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 13	Core Weight: 1	Total Weight: 47
0.00/0.02	c Current CPU time: 0.022996 s
0.00/0.02	c
0.00/0.02	c core #45
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 27	Core Weight: 1	Total Weight: 48
0.00/0.02	c Current CPU time: 0.023996 s
0.00/0.02	c
0.00/0.02	c core #46
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 24	Core Weight: 1	Total Weight: 49
0.00/0.02	c Current CPU time: 0.024996 s
0.00/0.02	c
0.00/0.02	c core #47
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 56	Core Weight: 1	Total Weight: 50
0.00/0.02	c Current CPU time: 0.024996 s
0.00/0.02	c
0.00/0.02	c core #48
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 14	Core Weight: 1	Total Weight: 51
0.00/0.02	c Current CPU time: 0.025996 s
0.00/0.02	c
0.00/0.02	c core #49
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 52
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 |     392     1176     4815 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #50
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 24	Core Weight: 1	Total Weight: 53
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 |     410     1177     4852 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #51
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 21	Core Weight: 1	Total Weight: 54
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 |     421     1178     4875 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.02/0.02	c core #52
0.02/0.02	c 
0.02/0.02	c 
0.02/0.02	c Core size: 17	Core Weight: 1	Total Weight: 55
0.02/0.02	c Current CPU time: 0.026995 s
0.02/0.02	c
0.02/0.02	c ============================[ Search Statistics ]==============================
0.02/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.02	c ===============================================================================
0.02/0.02	c |         0 |     434     1179     4903 |     5000        0   -nan |  0.000 % |
0.02/0.02	c ===============================================================================
0.02/0.02	c core #53
0.02/0.02	c 
0.02/0.02	c 
0.02/0.02	c Core size: 24	Core Weight: 1	Total Weight: 56
0.02/0.02	c Current CPU time: 0.027995 s
0.02/0.02	c
0.02/0.02	c ============================[ Search Statistics ]==============================
0.02/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.02	c ===============================================================================
0.02/0.02	c |         0 |     449     1180     4934 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #54
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 25	Core Weight: 1	Total Weight: 57
0.02/0.03	c Current CPU time: 0.028995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     447     1183     4958 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #55
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 28	Core Weight: 1	Total Weight: 58
0.02/0.03	c Current CPU time: 0.029995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     456     1184     4977 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #56
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 36	Core Weight: 1	Total Weight: 59
0.02/0.03	c Current CPU time: 0.029995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     469     1185     5003 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #57
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 34	Core Weight: 1	Total Weight: 60
0.02/0.03	c Current CPU time: 0.030995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     481     1186     5027 |     5000        0   -nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #58
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 91	Core Weight: 1	Total Weight: 61
0.02/0.03	c Current CPU time: 0.031995 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     522     1187     5110 |     5000        0   -nan |  0.000 % |
0.02/0.03	c |       100 |     514     1187     5110 |     5500      100     21 |  4.107 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #59
0.02/0.03	c 
0.02/0.03	c 
0.02/0.03	c Core size: 130	Core Weight: 1	Total Weight: 62
0.02/0.03	c Current CPU time: 0.035994 s
0.02/0.03	c
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |     597     1189     5276 |     5000        0   -nan |  0.000 % |
0.02/0.03	c |       100 |     595     1189     5276 |     5500      100     20 |  4.039 % |
0.02/0.03	c ===============================================================================
0.02/0.04	c core #60
0.02/0.04	c 
0.02/0.04	c 
0.02/0.04	c Core size: 125	Core Weight: 1	Total Weight: 63
0.02/0.04	c Current CPU time: 0.038994 s
0.02/0.04	c
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |     665     1191     5414 |     5000        0   -nan |  0.000 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c core #61
0.02/0.04	c 
0.02/0.04	c 
0.02/0.04	c Core size: 103	Core Weight: 1	Total Weight: 64
0.02/0.04	c Current CPU time: 0.040993 s
0.02/0.04	c
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |     690     1195     5480 |     5000        0   -nan |  0.000 % |
0.02/0.04	c |       100 |     688     1195     5480 |     5500      100     10 |  4.178 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c core #62
0.02/0.04	c 
0.02/0.04	c 
0.02/0.04	c Core size: 98	Core Weight: 1	Total Weight: 65
0.02/0.04	c Current CPU time: 0.043993 s
0.02/0.04	c
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |     698     1211     5537 |     5000        0   -nan |  0.000 % |
0.02/0.04	c |       100 |     698     1211     5537 |     5500      100     15 |  4.396 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c core #63
0.02/0.04	c 
0.02/0.04	c 
0.02/0.04	c Core size: 138	Core Weight: 1	Total Weight: 66
0.02/0.04	c Current CPU time: 0.046992 s
0.02/0.04	c
0.02/0.04	c ============================[ Search Statistics ]==============================
0.02/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.04	c ===============================================================================
0.02/0.04	c |         0 |     717     1216     5590 |     5000        0   -nan |  0.000 % |
0.02/0.05	c |       100 |     717     1216     5590 |     5500      100     16 |  4.533 % |
0.02/0.05	c |       250 |     700     1216     5590 |     6050      250     17 |  8.655 % |
0.02/0.05	c ===============================================================================
0.02/0.05	c core #64
0.02/0.05	c 
0.02/0.05	c 
0.02/0.05	c Core size: 148	Core Weight: 1	Total Weight: 67
0.02/0.05	c Current CPU time: 0.051992 s
0.02/0.05	c
0.02/0.05	c ============================[ Search Statistics ]==============================
0.02/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |     733     1237     5701 |     5000        0   -nan |  0.000 % |
0.02/0.05	c |       102 |     733     1237     5701 |     5500      102     20 |  7.105 % |
0.02/0.05	c |       255 |     715     1237     5701 |     6050      255     21 |  9.380 % |
0.02/0.06	c |       480 |     707     1237     5701 |     6655      480     25 | 11.914 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c core #65
0.02/0.06	c 
0.02/0.06	c 
0.02/0.06	c Core size: 163	Core Weight: 1	Total Weight: 68
0.02/0.06	c Current CPU time: 0.06299 s
0.02/0.06	c
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     763     1252     5839 |     5000        0   -nan |  0.000 % |
0.02/0.06	c |       105 |     763     1252     5839 |     5500      105     24 | 10.135 % |
0.02/0.07	c |       255 |     763     1252     5839 |     6050      255     28 | 10.130 % |
0.02/0.07	c |       480 |     763     1252     5839 |     6655      480     30 | 10.135 % |
0.02/0.08	c |       817 |     761     1252     5839 |     7320      817     31 | 10.370 % |
0.02/0.09	c |      1325 |     761     1252     5839 |     8052     1325     33 | 10.371 % |
0.09/0.11	c ===============================================================================
0.09/0.12	c core #66
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 219	Core Weight: 1	Total Weight: 69
0.09/0.12	c Current CPU time: 0.110983 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     835     1259     6000 |     5000        0   -nan |  0.000 % |
0.09/0.12	c |       100 |     835     1259     6000 |     5500      100     26 |  9.541 % |
0.09/0.12	c |       252 |     835     1259     6000 |     6050      252     21 |  9.536 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #67
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 156	Core Weight: 1	Total Weight: 70
0.09/0.12	c Current CPU time: 0.119981 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     836     1265     6055 |     5000        0   -nan |  0.000 % |
0.09/0.13	c |       100 |     836     1265     6055 |     5500      100     28 | 11.819 % |
0.09/0.13	c |       253 |     834     1265     6055 |     6050      253     29 | 12.025 % |
0.09/0.13	c |       478 |     830     1265     6055 |     6655      478     32 | 12.447 % |
0.09/0.14	c |       816 |     830     1265     6055 |     7320      816     32 | 12.447 % |
0.09/0.16	c |      1324 |     830     1265     6055 |     8052     1324     38 | 12.447 % |
0.09/0.19	c |      2086 |     830     1265     6055 |     8857     2086     37 | 12.447 % |
0.19/0.24	c |      3225 |     830     1265     6055 |     9743     3225     39 | 12.450 % |
0.29/0.32	c ===============================================================================
0.29/0.34	c core #68
0.29/0.34	c 
0.29/0.34	c 
0.29/0.34	c Core size: 139	Core Weight: 1	Total Weight: 71
0.29/0.34	c Current CPU time: 0.321951 s
0.29/0.34	c
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |     861     1268     6117 |     5000        0   -nan |  0.000 % |
0.29/0.34	c |       100 |     861     1268     6117 |     5500      100     37 | 12.057 % |
0.29/0.34	c |       250 |     861     1268     6117 |     6050      250     37 | 12.053 % |
0.29/0.35	c |       481 |     861     1268     6117 |     6655      481     34 | 12.059 % |
0.29/0.35	c |       818 |     861     1268     6117 |     7320      818     32 | 12.053 % |
0.29/0.36	c |      1326 |     861     1268     6117 |     8052     1326     34 | 12.054 % |
0.29/0.38	c |      2089 |     861     1268     6117 |     8857     2089     33 | 12.053 % |
0.39/0.43	c |      3228 |     857     1268     6117 |     9743     3228     35 | 12.468 % |
0.39/0.48	c ===============================================================================
0.39/0.49	c core #69
0.39/0.49	c 
0.39/0.49	c 
0.39/0.49	c Core size: 174	Core Weight: 1	Total Weight: 72
0.39/0.49	c Current CPU time: 0.460929 s
0.39/0.49	c
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |     904     1277     6228 |     5000        0   -nan |  0.000 % |
0.39/0.49	c |       100 |     904     1277     6228 |     5500      100     35 | 11.894 % |
0.39/0.49	c |       252 |     904     1277     6228 |     6050      252     38 | 11.891 % |
0.49/0.50	c |       477 |     904     1277     6228 |     6655      477     39 | 11.891 % |
0.49/0.50	c |       814 |     904     1277     6228 |     7320      814     38 | 11.896 % |
0.49/0.52	c |      1326 |     904     1277     6228 |     8052     1326     40 | 11.891 % |
0.49/0.54	c |      2085 |     904     1277     6228 |     8857     2085     42 | 11.891 % |
0.49/0.58	c |      3226 |     902     1277     6228 |     9743     3226     41 | 12.088 % |
0.59/0.65	c |      4934 |     900     1277     6228 |    10717     4934     43 | 12.281 % |
0.69/0.79	c |      7496 |     900     1277     6228 |    11789     7496     46 | 12.281 % |
1.11/1.15	c |     11342 |     900     1277     6228 |    12968    11342     53 | 12.281 % |
1.69/1.74	c |     17108 |     900     1277     6228 |    14265    10509     67 | 12.281 % |
2.10/2.16	c ===============================================================================
2.21/2.23	c core #70
2.21/2.23	c 
2.21/2.23	c 
2.21/2.23	c Core size: 177	Core Weight: 1	Total Weight: 73
2.21/2.23	c Current CPU time: 2.17067 s
2.21/2.23	c
2.21/2.23	c ============================[ Search Statistics ]==============================
2.21/2.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.21/2.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.21/2.23	c ===============================================================================
2.21/2.23	c |         0 |     943     1286     6330 |     5000        0   -nan |  0.000 % |
2.21/2.24	c |       100 |     943     1286     6330 |     5500      100     41 | 11.789 % |
2.21/2.24	c |       253 |     943     1286     6330 |     6050      253     41 | 11.787 % |
2.21/2.24	c |       478 |     943     1286     6330 |     6655      478     45 | 11.787 % |
2.21/2.25	c |       815 |     943     1286     6330 |     7320      815     44 | 11.787 % |
2.21/2.27	c |      1323 |     943     1286     6330 |     8052     1323     55 | 11.787 % |
2.21/2.29	c |      2086 |     943     1286     6330 |     8857     2086     53 | 11.787 % |
2.29/2.34	c |      3228 |     943     1286     6330 |     9743     3228     61 | 11.787 % |
2.39/2.41	c |      4936 |     943     1286     6330 |    10717     4936     59 | 11.791 % |
2.49/2.57	c |      7500 |     943     1286     6330 |    11789     7500     65 | 11.787 % |
2.79/2.84	c |     11345 |     943     1286     6330 |    12968    11345     63 | 11.787 % |
3.09/3.18	c |     17111 |     943     1286     6330 |    14265    10466     55 | 11.787 % |
3.99/4.02	c |     25763 |     943     1286     6330 |    15692    11778     62 | 11.787 % |
5.29/5.35	c |     38739 |     943     1286     6330 |    17261     8718     85 | 11.787 % |
7.79/7.83	c |     58202 |     943     1286     6330 |    18987    10539     56 | 11.791 % |
11.01/11.05	c ===============================================================================
11.19/11.20	c core #71
11.19/11.20	c 
11.19/11.20	c 
11.19/11.20	c Core size: 164	Core Weight: 1	Total Weight: 74
11.19/11.20	c Current CPU time: 10.9623 s
11.19/11.20	c
11.19/11.20	c ============================[ Search Statistics ]==============================
11.19/11.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.19/11.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.19/11.20	c ===============================================================================
11.19/11.20	c |         0 |     982     1288     6410 |     5000        0   -nan |  0.000 % |
11.19/11.21	c |       102 |     982     1288     6410 |     5500      102     46 | 11.374 % |
11.19/11.21	c |       253 |     982     1288     6410 |     6050      253     45 | 11.372 % |
11.19/11.22	c |       478 |     982     1288     6410 |     6655      478     48 | 11.372 % |
11.19/11.22	c |       815 |     982     1288     6410 |     7320      815     52 | 11.372 % |
11.19/11.24	c |      1321 |     982     1288     6410 |     8052     1321     49 | 11.372 % |
11.19/11.26	c |      2082 |     982     1288     6410 |     8857     2082     51 | 11.372 % |
11.29/11.30	c |      3224 |     982     1288     6410 |     9743     3224     55 | 11.372 % |
11.29/11.38	c |      4937 |     982     1288     6410 |    10717     4937     60 | 11.372 % |
11.49/11.52	c |      7500 |     982     1288     6410 |    11789     7500     57 | 11.372 % |
11.79/11.81	c |     11348 |     982     1288     6410 |    12968    11348     62 | 11.372 % |
12.39/12.45	c |     17115 |     982     1288     6410 |    14265    10437     73 | 11.372 % |
13.29/13.38	c |     25765 |     982     1288     6410 |    15692    11805     75 | 11.376 % |
15.20/15.27	c |     38739 |     982     1288     6410 |    17261     8830     85 | 11.372 % |
18.19/18.20	c |     58202 |     982     1288     6410 |    18987    10752     69 | 11.372 % |
23.79/23.85	c |     87398 |     982     1288     6410 |    20886    11030    105 | 11.372 % |
32.60/32.65	c |    131187 |     982     1288     6410 |    22974    12366     86 | 11.372 % |
45.70/45.76	c |    196876 |     982     1288     6410 |    25272    19808     70 | 11.372 % |
67.79/67.89	c |    295402 |     954     1288     6410 |    27799    14058     63 | 13.900 % |
101.60/101.68	c ===============================================================================
104.09/104.17	c core #72
104.09/104.17	c 
104.09/104.17	c 
104.09/104.17	c Core size: 193	Core Weight: 1	Total Weight: 75
104.09/104.17	c Current CPU time: 102.929 s
104.09/104.17	c
104.09/104.17	c ============================[ Search Statistics ]==============================
104.09/104.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
104.09/104.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
104.09/104.17	c ===============================================================================
104.09/104.17	c |         0 |    1036     1289     6518 |     5000        0   -nan |  0.000 % |
104.09/104.18	c |       101 |    1036     1289     6518 |     5500      101     69 | 10.846 % |
104.09/104.18	c |       252 |    1036     1289     6518 |     6050      252     62 | 10.843 % |
104.09/104.18	c |       477 |    1036     1289     6518 |     6655      477     57 | 10.843 % |
104.09/104.19	c |       815 |    1036     1289     6518 |     7320      815     53 | 10.843 % |
104.19/104.20	c |      1323 |    1036     1289     6518 |     8052     1323     59 | 10.843 % |
104.19/104.23	c |      2083 |    1036     1289     6518 |     8857     2083     57 | 10.843 % |
104.19/104.28	c |      3224 |    1036     1289     6518 |     9743     3224     62 | 10.843 % |
104.29/104.38	c |      4934 |    1036     1289     6518 |    10717     4934     63 | 10.843 % |
104.40/104.51	c |      7496 |    1036     1289     6518 |    11789     7496     61 | 10.843 % |
104.90/104.97	c |     11341 |    1036     1289     6518 |    12968    11341     74 | 10.843 % |
105.40/105.44	c |     17108 |    1036     1289     6518 |    14265    10384     86 | 10.843 % |
106.19/106.24	c |     25758 |    1036     1289     6518 |    15692    11732     73 | 10.843 % |
107.50/107.57	c |     38736 |    1036     1289     6518 |    17261     8455     81 | 10.843 % |
110.70/110.75	c |     58200 |    1036     1289     6518 |    18987    10276     86 | 10.843 % |
116.70/116.70	c |     87392 |    1036     1289     6518 |    20886    10418    101 | 10.843 % |
124.69/124.78	c |    131188 |    1036     1289     6518 |    22974    11600     86 | 10.844 % |
139.19/139.24	c |    196874 |    1036     1289     6518 |    25272    18555     96 | 10.843 % |
157.99/158.07	c |    295403 |    1036     1289     6518 |    27799    25004     68 | 10.843 % |
190.09/190.20	c |    443193 |    1036     1289     6518 |    30579    19667     76 | 10.843 % |
243.70/243.76	c |    664876 |    1036     1289     6518 |    33637    14360     88 | 10.843 % |
338.20/338.23	c |    997402 |    1036     1289     6518 |    37001    18047    106 | 10.843 % |
472.51/472.51	c |   1496191 |    1036     1289     6518 |    40701    36694     77 | 10.843 % |
730.02/730.08	c |   2244385 |    1036     1289     6518 |    44771    27415    103 | 10.843 % |
1113.03/1113.05	c |   3366661 |    1036     1289     6518 |    49248    19899    111 | 10.843 % |
1753.48/1753.47	c |   5050073 |    1036     1289     6518 |    54173    36493    103 | 10.843 % |

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-3461453-1307091377/watcher-3461453-1307091377 -o /tmp/evaluation-result-3461453-1307091377/solver-3461453-1307091377 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461453-1307091377.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: 2.02 2.03 2.00 1/479 6896
/proc/meminfo: memFree=27454000/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=2224 CPUtime=0.01 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 353 0 0 0 1 0 0 0 25 0 1 0 820737345 2277376 297 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 556 297 175 372 0 181 0

[startup+0.0286371 s]
/proc/loadavg: 2.02 2.03 2.00 1/479 6896
/proc/meminfo: memFree=27454000/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=2364 CPUtime=0.02 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 396 0 0 0 2 0 0 0 25 0 1 0 820737345 2420736 340 33554432000 4194304 5714214 140733863627840 18446744073709551615 4977933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 591 340 179 372 0 216 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2364

[startup+0.100676 s]
/proc/loadavg: 2.02 2.03 2.00 1/479 6896
/proc/meminfo: memFree=27454000/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=2856 CPUtime=0.09 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 510 0 0 0 9 0 0 0 25 0 1 0 820737345 2924544 454 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 714 454 180 372 0 339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2856

[startup+0.300576 s]
/proc/loadavg: 2.02 2.03 2.00 1/479 6896
/proc/meminfo: memFree=27454000/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=4080 CPUtime=0.29 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 816 0 0 0 28 1 0 0 25 0 1 0 820737345 4177920 760 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 1020 761 180 372 0 645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4080

[startup+0.700499 s]
/proc/loadavg: 2.02 2.03 2.00 1/479 6896
/proc/meminfo: memFree=27454000/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=4748 CPUtime=0.69 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 999 0 0 0 65 4 0 0 25 0 1 0 820737345 4861952 943 33554432000 4194304 5714214 140733863627840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 1187 944 180 372 0 812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4748

[startup+1.50041 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 6924
/proc/meminfo: memFree=27447976/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=8768 CPUtime=1.49 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 2001 0 0 0 144 5 0 0 25 0 1 0 820737345 8978432 1945 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 2192 1945 180 372 0 1817 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8768

[startup+3.10104 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 6924
/proc/meminfo: memFree=27439788/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=11712 CPUtime=3.09 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 2743 0 0 0 299 10 0 0 25 0 1 0 820737345 11993088 2661 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 2928 2661 180 372 0 2553 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11712

[startup+6.30049 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 6924
/proc/meminfo: memFree=27430736/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=16752 CPUtime=6.29 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 4017 0 0 0 614 15 0 0 25 0 1 0 820737345 17154048 3935 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 4188 3935 180 372 0 3813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16752

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 6924
/proc/meminfo: memFree=27416624/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=24064 CPUtime=12.7 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 5851 0 0 0 1244 26 0 0 25 0 1 0 820737345 24641536 5731 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 6016 5731 180 372 0 5641 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 24064

[startup+25.5008 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 6925
/proc/meminfo: memFree=27403228/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=28972 CPUtime=25.49 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 7092 0 0 0 2508 41 0 0 25 0 1 0 820737345 29667328 6972 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 7243 6972 180 372 0 6868 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28972

[startup+51.101 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 6925
/proc/meminfo: memFree=27366240/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=50504 CPUtime=51.09 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 12318 0 0 0 5043 66 0 0 25 0 1 0 820737345 51716096 12198 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 12626 12198 180 372 0 12251 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50504

[startup+102.318 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 6927
/proc/meminfo: memFree=27288828/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=88480 CPUtime=102.31 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 21632 0 0 0 10127 104 0 0 25 0 1 0 820737345 90603520 21512 33554432000 4194304 5714214 140733863627840 18446744073709551615 4197716 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 22120 21512 180 372 0 21745 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 88480

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 6928
/proc/meminfo: memFree=27279356/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=93572 CPUtime=162.3 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 23200 0 0 0 16068 162 0 0 25 0 1 0 820737345 95817728 23024 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 23393 23024 180 372 0 23018 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 93572

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6930
/proc/meminfo: memFree=27260096/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=113484 CPUtime=222.3 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 28174 0 0 0 22024 206 0 0 25 0 1 0 820737345 116207616 27998 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 28371 27998 180 372 0 27996 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 113484

[startup+282.301 s]
/proc/loadavg: 2.15 2.04 2.01 3/482 6932
/proc/meminfo: memFree=27222860/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=151900 CPUtime=282.3 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 37580 0 0 0 27982 248 0 0 25 0 1 0 820737345 155545600 37404 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 37975 37404 180 372 0 37600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 151900

[startup+342.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 6942
/proc/meminfo: memFree=27186060/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=188792 CPUtime=342.3 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 46646 0 0 0 33938 292 0 0 25 0 1 0 820737345 193323008 46470 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 47198 46470 180 372 0 46823 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 188792

[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/482 6944
/proc/meminfo: memFree=27130224/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=219300 CPUtime=402.3 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 54194 0 0 0 39901 329 0 0 25 0 1 0 820737345 224563200 54018 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 54825 54018 180 372 0 54450 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 219300

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6947
/proc/meminfo: memFree=27067688/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=248452 CPUtime=462.31 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 61374 0 0 0 45855 376 0 0 25 0 1 0 820737345 254414848 61198 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 62113 61198 180 372 0 61738 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 248452

[startup+522.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/482 6950
/proc/meminfo: memFree=27001072/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=277008 CPUtime=522.31 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 68425 0 0 0 51823 408 0 0 25 0 1 0 820737345 283656192 68249 33554432000 4194304 5714214 140733863627840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 69252 68249 180 372 0 68877 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 277008

[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 6952
/proc/meminfo: memFree=26969056/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=309200 CPUtime=582.32 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 76319 0 0 0 57789 443 0 0 25 0 1 0 820737345 316620800 76143 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 77300 76143 180 372 0 76925 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 309200

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 6958
/proc/meminfo: memFree=26870096/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=406308 CPUtime=822.32 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 100377 0 0 0 81659 573 0 0 25 0 1 0 820737345 416059392 100201 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 101577 100201 180 372 0 101202 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 406308

[startup+882.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 6960
/proc/meminfo: memFree=26842404/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=426824 CPUtime=882.32 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 105449 0 0 0 87628 604 0 0 25 0 1 0 820737345 437067776 105273 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 106706 105273 180 372 0 106331 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 426824

[startup+942.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 6961
/proc/meminfo: memFree=26795632/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=457912 CPUtime=942.33 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 113162 0 0 0 93594 639 0 0 25 0 1 0 820737345 468901888 112986 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 114478 112986 180 372 0 114103 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 457912

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6963
/proc/meminfo: memFree=26759012/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=488308 CPUtime=1002.33 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 120706 0 0 0 99558 675 0 0 25 0 1 0 820737345 500027392 120530 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 122077 120530 180 372 0 121702 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 488308

[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/482 6964
/proc/meminfo: memFree=26736044/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=511312 CPUtime=1062.33 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 126450 0 0 0 105527 706 0 0 25 0 1 0 820737345 523583488 126274 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 127828 126274 180 372 0 127453 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 511312

[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 6966
/proc/meminfo: memFree=26708476/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=539404 CPUtime=1122.34 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 133450 0 0 0 111492 742 0 0 25 0 1 0 820737345 552349696 133274 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 134851 133274 180 372 0 134476 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 539404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6968
/proc/meminfo: memFree=26674668/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=574512 CPUtime=1182.33 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 142139 0 0 0 117453 780 0 0 25 0 1 0 820737345 588300288 141963 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 143628 141963 180 372 0 143253 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 574512

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6969
/proc/meminfo: memFree=26648596/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=599524 CPUtime=1242.34 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 148264 0 0 0 123424 810 0 0 25 0 1 0 820737345 613912576 148088 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 149881 148088 180 372 0 149506 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 599524

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6971
/proc/meminfo: memFree=26629716/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=619092 CPUtime=1302.35 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 153071 0 0 0 129393 842 0 0 25 0 1 0 820737345 633950208 152895 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 154773 152895 180 372 0 154398 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 619092

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/482 6972
/proc/meminfo: memFree=26608368/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=640512 CPUtime=1362.34 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 158431 0 0 0 135362 872 0 0 25 0 1 0 820737345 655884288 158255 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 160128 158255 180 372 0 159753 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 640512

[startup+1422.32 s]
/proc/loadavg: 2.02 2.01 2.00 3/482 6974
/proc/meminfo: memFree=26562452/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=657420 CPUtime=1422.36 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 162603 0 0 0 141336 900 0 0 25 0 1 0 820737345 673198080 162427 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 164355 162427 180 372 0 163980 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 657420

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6976
/proc/meminfo: memFree=26511592/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=684232 CPUtime=1482.35 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 169324 0 0 0 147303 932 0 0 25 0 1 0 820737345 700653568 169148 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 171058 169148 180 372 0 170683 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 684232

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6977
/proc/meminfo: memFree=26452540/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=711792 CPUtime=1542.35 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 176144 0 0 0 153267 968 0 0 25 0 1 0 820737345 728875008 175968 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 177948 175968 180 372 0 177573 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 711792

[startup+1602.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/482 6979
/proc/meminfo: memFree=26403908/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=731560 CPUtime=1602.35 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 181057 0 0 0 159239 996 0 0 25 0 1 0 820737345 749117440 180881 33554432000 4194304 5714214 140733863627840 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 182890 180881 180 372 0 182515 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 731560

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/482 6980
/proc/meminfo: memFree=26388488/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=753544 CPUtime=1662.35 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 186512 0 0 0 165210 1025 0 0 25 0 1 0 820737345 771629056 186336 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 188386 186336 180 372 0 188011 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 753544

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/482 6982
/proc/meminfo: memFree=26365892/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=775944 CPUtime=1722.36 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 192026 0 0 0 171180 1056 0 0 25 0 1 0 820737345 794566656 191850 33554432000 4194304 5714214 140733863627840 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 193986 191850 180 372 0 193611 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 775944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6984
/proc/meminfo: memFree=26343776/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=796248 CPUtime=1782.36 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 197029 0 0 0 177151 1085 0 0 25 0 1 0 820737345 815357952 196853 33554432000 4194304 5714214 140733863627840 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 199062 196853 180 372 0 198687 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 796248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6984
/proc/meminfo: memFree=26335824/32950928 swapFree=39617324/67111528
[pid=6896] ppid=6894 vsize=804752 CPUtime=1800.07 cores=1,3,5,7
/proc/6896/stat : 6896 (wbo1.6) R 6894 6896 4028 0 -1 4202496 199158 0 0 0 178913 1094 0 0 25 0 1 0 820737345 824066048 198982 33554432000 4194304 5714214 140733863627840 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6896/statm: 201188 198982 180 372 0 200813 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 804752

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1789.14
CPU system time (s): 10.9823
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 804752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.14
system time used= 10.9823
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199160
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= 12
involuntary context switches= 4326

runsolver used 8.33173 second user time and 20.2819 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-03 10:56:17
IDJOB=3461453
IDBENCH=2196
IDSOLVER=1953
FILE ID=node127/3461453-1307091377
RUNJOBID= node127-1307084168-6464
PBS_JOBID= 13497859
Free space on /tmp= 73936 MiB

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

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

MD5SUM BENCH= b73cea9d9e4cbead7bc459c298b4b53a
RANDOM SEED=1615171874

node127.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.823
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.64
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.823
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.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:     32950928 kB
MemFree:      27454288 kB
Buffers:        314428 kB
Cached:         884168 kB
SwapCached:      59160 kB
Active:        3209320 kB
Inactive:      2000588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27454288 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:     3959164 kB
Mapped:          22040 kB
Slab:           122196 kB
PageTables:      94876 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119755328 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= 73932 MiB
End job on node127 at 2011-06-03 11:26:19