Trace number 1876186

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.25 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
MD5SUM21989a3a2eabf31d3de5b03788f598a8
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.036993
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 constraints1000
Number of constraints which are clauses1000
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 constraint14
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1876186-1245153319.opb.
0.00/0.00	c Instance file HOME/instance-1876186-1245153319.opb
0.00/0.00	c File size is 45059 bytes.
0.00/0.00	c Highest Coefficient sum: 15
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1200                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 5	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #3
0.00/0.01	c Core size: 8	Core Weight: 1	Total Weight: 3
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #10
0.01/0.01	c Core size: 7	Core Weight: 1	Total Weight: 10
0.01/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #11
0.01/0.01	c Core size: 3	Core Weight: 1	Total Weight: 11
0.01/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #12
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 12
0.01/0.01	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #13
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 13
0.01/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #14
0.01/0.02	c Core size: 8	Core Weight: 1	Total Weight: 14
0.01/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #15
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 15
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #16
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 16
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #17
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 17
0.01/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #18
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 18
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #19
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 19
0.01/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #20
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 20
0.01/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #21
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 21
0.01/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #22
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 22
0.01/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #23
0.01/0.03	c Core size: 10	Core Weight: 1	Total Weight: 23
0.01/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #24
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 24
0.01/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #25
0.01/0.03	c Core size: 4	Core Weight: 1	Total Weight: 25
0.01/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #26
0.01/0.03	c Core size: 6	Core Weight: 1	Total Weight: 26
0.01/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #27
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 27
0.01/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #28
0.01/0.03	c Core size: 6	Core Weight: 1	Total Weight: 28
0.01/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.01/0.03	c core #29
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 29
0.01/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #30
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 30
0.01/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #31
0.01/0.04	c Core size: 4	Core Weight: 1	Total Weight: 31
0.01/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #32
0.01/0.04	c Core size: 4	Core Weight: 1	Total Weight: 32
0.01/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #33
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 33
0.01/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #34
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 34
0.01/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #35
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 35
0.01/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #36
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 36
0.01/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.01/0.04	c core #37
0.01/0.04	c Core size: 5	Core Weight: 1	Total Weight: 37
0.01/0.04	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #38
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 38
0.01/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #39
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 39
0.01/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #40
0.01/0.05	c Core size: 4	Core Weight: 1	Total Weight: 40
0.01/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #41
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 41
0.01/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #42
0.01/0.05	c Core size: 5	Core Weight: 1	Total Weight: 42
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #43
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 43
0.01/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.01/0.05	c core #44
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 44
0.01/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.01/0.05	c core #45
0.01/0.05	c Core size: 4	Core Weight: 1	Total Weight: 45
0.01/0.05	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #46
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 46
0.01/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #47
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 47
0.01/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #48
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 48
0.01/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #49
0.01/0.06	c Core size: 7	Core Weight: 1	Total Weight: 49
0.01/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #50
0.01/0.06	c Core size: 20	Core Weight: 1	Total Weight: 50
0.01/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #51
0.01/0.06	c Core size: 24	Core Weight: 1	Total Weight: 51
0.01/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.01/0.06	c core #52
0.01/0.06	c Core size: 29	Core Weight: 1	Total Weight: 52
0.01/0.06	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #53
0.01/0.07	c Core size: 23	Core Weight: 1	Total Weight: 53
0.01/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #54
0.01/0.07	c Core size: 17	Core Weight: 1	Total Weight: 54
0.01/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #55
0.01/0.07	c Core size: 17	Core Weight: 1	Total Weight: 55
0.01/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     402     1255     5449 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #56
0.01/0.07	c Core size: 24	Core Weight: 1	Total Weight: 56
0.01/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     410     1256     5465 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #57
0.01/0.07	c Core size: 32	Core Weight: 1	Total Weight: 57
0.01/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     420     1257     5486 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #58
0.01/0.07	c Core size: 33	Core Weight: 1	Total Weight: 58
0.01/0.07	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     434     1258     5515 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #59
0.01/0.08	c Core size: 63	Core Weight: 1	Total Weight: 59
0.01/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     457     1259     5563 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #60
0.01/0.08	c Core size: 78	Core Weight: 1	Total Weight: 60
0.01/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c Learning 1 hard constraints
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     477     1261     5609 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #61
0.01/0.08	c Core size: 159	Core Weight: 1	Total Weight: 61
0.01/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.01/0.08	c Learning 1 hard constraints
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     531     1263     5723 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #62
0.01/0.09	c Core size: 197	Core Weight: 1	Total Weight: 62
0.01/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c Learning 2 hard constraints
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |     584     1266     5836 |     5000        0    nan |  0.000 % |
0.01/0.09	c |       100 |     584     1266     5836 |     5500      100     17 |  0.171 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #63
0.09/0.10	c Core size: 286	Core Weight: 1	Total Weight: 63
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 2 hard constraints
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 |     664     1269     6005 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #64
0.09/0.10	c Core size: 366	Core Weight: 1	Total Weight: 64
0.09/0.10	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c Learning 25 hard constraints
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 |     700     1295     6328 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     700     1295     6328 |     5500      100     35 |  0.850 % |
0.09/0.12	c |       251 |     700     1295     6328 |     6050      251     28 |  0.850 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #65
0.09/0.13	c Core size: 424	Core Weight: 1	Total Weight: 65
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 1799.87 s
0.09/0.13	c Learning 84 hard constraints
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |     722     1380     7567 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       102 |     722     1380     7567 |     5500      102     41 |  1.902 % |
0.09/0.15	c |       252 |     722     1380     7567 |     6050      252     34 |  1.902 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #66
0.09/0.15	c Core size: 344	Core Weight: 1	Total Weight: 66
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c Learning 18 hard constraints
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     731     1399     7806 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #67
0.09/0.16	c Core size: 253	Core Weight: 1	Total Weight: 67
0.09/0.16	c Elapsed CPU time: 0.155976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c Learning 34 hard constraints
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |     739     1434     8347 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #68
0.09/0.16	c Core size: 173	Core Weight: 1	Total Weight: 68
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c Learning 9 hard constraints
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |     757     1444     8498 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #69
0.09/0.17	c Core size: 203	Core Weight: 1	Total Weight: 69
0.09/0.17	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c Learning 3 hard constraints
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |     776     1448     8572 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #70
0.09/0.17	c Core size: 203	Core Weight: 1	Total Weight: 70
0.09/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c Learning 2 hard constraints
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |     796     1451     8659 |     5000        0    nan |  0.000 % |
0.09/0.18	c |       102 |     796     1451     8659 |     5500      102     15 |  1.752 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #71
0.09/0.18	c Core size: 238	Core Weight: 1	Total Weight: 71
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c Learning 10 hard constraints
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |     814     1462     8807 |     5000        0    nan |  0.000 % |
0.09/0.19	c |       102 |     814     1462     8807 |     5500      102     22 |  1.714 % |
0.09/0.20	c |       252 |     800     1462     8807 |     6050      252     21 | 20.532 % |
0.19/0.21	c |       479 |     657     1462     8807 |     6655      475     23 | 20.652 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c core #72
0.19/0.22	c Core size: 203	Core Weight: 1	Total Weight: 72
0.19/0.22	c Elapsed CPU time: 0.218966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |     834     1463     8847 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       102 |     834     1463     8847 |     5500      102     29 |  1.673 % |
0.19/0.24	c |       252 |     820     1463     8847 |     6050      252     30 | 20.047 % |
0.19/0.25	c |       480 |     678     1463     8847 |     6655      476     35 | 20.047 % |
0.19/0.28	c |       818 |     678     1463     8847 |     7320      814     38 | 20.047 % |
0.29/0.32	c |      1325 |     678     1463     8847 |     8052     1321     40 | 20.047 % |
0.39/0.42	c |      2085 |     678     1463     8847 |     8857     2081     43 | 20.047 % |
0.59/0.60	c |      3226 |     678     1463     8847 |     9743     3222     45 | 20.047 % |
1.28/1.77	c |      4939 |     668     1463     8847 |    10717     4894     49 | 30.307 % |
1.28/1.78	c ===============================================================================
1.38/1.82	c core #73
1.38/1.82	c Core size: 228	Core Weight: 1	Total Weight: 73
1.38/1.82	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.38/1.82	c ============================[ Search Statistics ]==============================
1.38/1.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.82	c ===============================================================================
1.38/1.82	c |         0 |     868     1464     8915 |     5000        0    nan |  0.000 % |
1.38/1.83	c |       100 |     868     1464     8915 |     5500      100     29 |  1.607 % |
1.38/1.84	c |       251 |     705     1464     8915 |     6050      244     24 | 20.181 % |
1.38/1.85	c ===============================================================================
1.38/1.85	c core #74
1.38/1.85	c Core size: 165	Core Weight: 1	Total Weight: 74
1.38/1.85	c Elapsed CPU time: 1.40579 s	Remaining CPU time: 1798.59 s
1.38/1.85	c ============================[ Search Statistics ]==============================
1.38/1.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.38/1.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.38/1.85	c ===============================================================================
1.38/1.85	c |         0 |     885     1465     8949 |     5000        0    nan |  0.000 % |
1.38/1.85	c |       102 |     885     1465     8949 |     5500      102     36 |  1.577 % |
1.38/1.86	c |       253 |     727     1465     8949 |     6050      244     35 | 19.132 % |
1.38/1.87	c |       480 |     727     1465     8949 |     6655      471     39 | 19.132 % |
1.48/1.90	c |       817 |     724     1465     8949 |     7320      805     45 | 19.466 % |
1.48/1.93	c |      1327 |     724     1465     8949 |     8052     1315     47 | 19.466 % |
1.59/2.01	c |      2088 |     724     1465     8949 |     8857     2069     48 | 19.466 % |
1.69/2.16	c |      3228 |     724     1465     8949 |     9743     3209     48 | 19.466 % |
2.08/2.50	c |      4937 |     723     1465     8949 |    10717     4917     49 | 19.577 % |
2.79/3.23	c |      7499 |     723     1465     8949 |    11789     7479     52 | 19.577 % |
4.37/4.84	c |     11344 |     723     1465     8949 |    12968    11324     54 | 19.577 % |
7.17/7.65	c |     17113 |     723     1465     8949 |    14265    10489     55 | 19.577 % |
7.86/8.35	c ===============================================================================
8.06/8.54	c core #75
8.06/8.54	c Core size: 211	Core Weight: 1	Total Weight: 75
8.06/8.54	c Elapsed CPU time: 8.04778 s	Remaining CPU time: 1791.95 s
8.06/8.56	c ============================[ Search Statistics ]==============================
8.06/8.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.06/8.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.06/8.56	c ===============================================================================
8.06/8.56	c |         0 |     908     1466     8995 |     5000        0    nan |  0.000 % |
8.06/8.56	c ===============================================================================
8.06/8.56	c core #76
8.06/8.56	c Core size: 114	Core Weight: 1	Total Weight: 76
8.06/8.56	c Elapsed CPU time: 8.07477 s	Remaining CPU time: 1791.93 s
8.06/8.57	c ============================[ Search Statistics ]==============================
8.06/8.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.06/8.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.06/8.57	c ===============================================================================
8.06/8.57	c |         0 |     916     1467     9011 |     5000        0    nan |  0.000 % |
8.06/8.57	c |       102 |     916     1467     9011 |     5500      102     43 |  1.523 % |
8.06/8.58	c |       252 |     808     1467     9011 |     6050      252     47 | 18.280 % |
8.06/8.59	c |       478 |     760     1467     9011 |     6655      474     48 | 18.280 % |
8.16/8.62	c |       817 |     760     1467     9011 |     7320      813     59 | 18.280 % |
8.16/8.67	c |      1324 |     760     1467     9011 |     8052     1320     64 | 18.280 % |
8.27/8.77	c |      2083 |     760     1467     9011 |     8857     2079     72 | 18.280 % |
8.56/9.00	c |      3223 |     760     1467     9011 |     9743     3219     77 | 18.280 % |
9.06/9.58	c |      4933 |     760     1467     9011 |    10717     4929     82 | 18.280 % |
10.17/10.67	c |      7495 |     760     1467     9011 |    11789     7491     85 | 18.280 % |
12.16/12.65	c |     11340 |     760     1467     9011 |    12968    11336     88 | 18.280 % |
16.16/16.66	c |     17107 |     760     1467     9011 |    14265    10493     92 | 18.280 % |
21.36/21.89	c |     25759 |     760     1467     9011 |    15692    11858     91 | 18.280 % |
28.26/28.74	c |     38735 |     760     1467     9011 |    17261     8844     87 | 18.280 % |
36.86/37.39	c |     58196 |     760     1467     9011 |    18987    10734     81 | 18.280 % |
55.45/55.91	c |     87388 |     760     1467     9011 |    20886    10993     77 | 18.280 % |
82.44/82.97	c |    131177 |     760     1467     9011 |    22974    12416     88 | 18.280 % |
127.22/127.71	c |    196865 |     760     1467     9011 |    25272    20013     81 | 18.284 % |
129.12/129.67	c ===============================================================================
132.53/133.08	c core #77
132.53/133.08	c Core size: 256	Core Weight: 1	Total Weight: 77
132.53/133.08	c Elapsed CPU time: 131.917 s	Remaining CPU time: 1668.08 s
132.72/133.30	c ============================[ Search Statistics ]==============================
132.72/133.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
132.72/133.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
132.72/133.30	c ===============================================================================
132.72/133.30	c |         0 |     959     1468     9097 |     5000        0    nan |  0.000 % |
132.82/133.34	c |       100 |     959     1468     9097 |     5500      100     62 |  1.455 % |
132.82/133.35	c |       250 |     803     1468     9097 |     6050      248     56 | 17.472 % |
132.82/133.36	c |       476 |     803     1468     9097 |     6655      474     49 | 17.472 % |
132.82/133.39	c |       814 |     803     1468     9097 |     7320      812     54 | 17.472 % |
132.92/133.45	c |      1320 |     803     1468     9097 |     8052     1318     62 | 17.472 % |
133.02/133.58	c |      2079 |     803     1468     9097 |     8857     2077     69 | 17.472 % |
133.22/133.76	c |      3218 |     803     1468     9097 |     9743     3216     70 | 17.472 % |
133.52/134.08	c |      4928 |     803     1468     9097 |    10717     4926     69 | 17.472 % |
134.22/134.77	c |      7494 |     803     1468     9097 |    11789     7492     68 | 17.472 % |
135.92/136.41	c |     11338 |     803     1468     9097 |    12968    11336     68 | 17.472 % |
137.52/138.06	c ===============================================================================
137.72/138.27	c core #78
137.72/138.27	c Core size: 206	Core Weight: 1	Total Weight: 78
137.72/138.27	c Elapsed CPU time: 137.078 s	Remaining CPU time: 1662.92 s
137.82/138.30	c ============================[ Search Statistics ]==============================
137.82/138.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
137.82/138.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
137.82/138.30	c ===============================================================================
137.82/138.30	c |         0 |     991     1469     9161 |     5000        0    nan |  0.000 % |
137.82/138.31	c |       102 |     991     1469     9161 |     5500      102     51 |  1.408 % |
137.82/138.32	c |       252 |     873     1469     9161 |     6050      252     38 | 16.916 % |
137.82/138.33	c |       479 |     835     1469     9161 |     6655      475     44 | 16.916 % |
137.82/138.36	c |       816 |     835     1469     9161 |     7320      812     64 | 16.916 % |
137.92/138.41	c |      1322 |     835     1469     9161 |     8052     1318     69 | 16.916 % |
138.03/138.52	c |      2084 |     835     1469     9161 |     8857     2080     77 | 16.916 % |
138.22/138.74	c |      3223 |     835     1469     9161 |     9743     3219     82 | 16.916 % |
138.52/139.05	c |      4935 |     835     1469     9161 |    10717     4931     88 | 16.916 % |
139.01/139.53	c |      7499 |     835     1469     9161 |    11789     7495     85 | 16.916 % |
140.82/141.39	c |     11343 |     835     1469     9161 |    12968    11339     84 | 16.916 % |
143.53/144.08	c |     17110 |     835     1469     9161 |    14265    10467     81 | 16.916 % |
147.02/147.53	c |     25760 |     835     1469     9161 |    15692    11831     84 | 16.916 % |
154.31/154.81	c |     38736 |     835     1469     9161 |    17261     8823     83 | 16.916 % |
165.71/166.26	c |     58199 |     835     1469     9161 |    18987    10712     92 | 16.916 % |
182.21/182.72	c ===============================================================================
184.11/184.64	c core #79
184.11/184.64	c Core size: 242	Core Weight: 1	Total Weight: 79
184.11/184.64	c Elapsed CPU time: 183.211 s	Remaining CPU time: 1616.79 s
184.21/184.76	c ============================[ Search Statistics ]==============================
184.21/184.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.21/184.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.21/184.76	c ===============================================================================
184.21/184.76	c |         0 |    1026     1470     9231 |     5000        0    nan |  0.000 % |
184.21/184.79	c |       100 |    1026     1470     9231 |     5500      100     56 |  1.361 % |
184.21/184.80	c |       250 |     910     1470     9231 |     6050      248     35 | 16.346 % |
184.31/184.82	c |       475 |     910     1470     9231 |     6655      473     43 | 16.346 % |
184.31/184.84	c |       814 |     870     1470     9231 |     7320      810     44 | 16.346 % |
184.31/184.89	c |      1322 |     870     1470     9231 |     8052     1318     57 | 16.346 % |
184.41/184.99	c |      2084 |     870     1470     9231 |     8857     2080     67 | 16.346 % |
184.61/185.17	c |      3229 |     870     1470     9231 |     9743     3225     76 | 16.346 % |
185.00/185.58	c |      4937 |     870     1470     9231 |    10717     4933     84 | 16.346 % |
186.10/186.67	c |      7501 |     870     1470     9231 |    11789     7497     92 | 16.346 % |
188.11/188.68	c |     11348 |     870     1470     9231 |    12968    11344     97 | 16.346 % |
191.10/191.61	c |     17115 |     870     1470     9231 |    14265    10522     96 | 16.346 % |
197.00/197.59	c |     25764 |     870     1470     9231 |    15692    11894     99 | 16.346 % |
208.20/208.73	c |     38741 |     870     1470     9231 |    17261     8944     99 | 16.346 % |
221.49/222.08	c |     58204 |     870     1470     9231 |    18987    10839    104 | 16.346 % |
242.09/242.60	c |     87397 |     869     1470     9231 |    20886    10904    102 | 16.442 % |
272.38/272.94	c |    131188 |     854     1470     9231 |    22974    12285    106 | 17.885 % |
323.56/324.16	c |    196878 |     854     1470     9231 |    25272    19679    124 | 17.885 % |
443.42/444.05	c |    295406 |     853     1470     9231 |    27799    15049    126 | 17.981 % |
597.27/597.98	c |    443201 |     851     1470     9231 |    30579    13294    119 | 18.173 % |
764.33/765.09	c ===============================================================================
776.62/777.31	c core #80
776.62/777.31	c Core size: 288	Core Weight: 1	Total Weight: 80
776.62/777.31	c Elapsed CPU time: 773.717 s	Remaining CPU time: 1026.28 s
777.22/777.95	c ============================[ Search Statistics ]==============================
777.22/777.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
777.22/777.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
777.22/777.95	c ===============================================================================
777.22/777.95	c |         0 |    1085     1471     9349 |     5000        0    nan |  0.000 % |
777.32/778.03	c |       101 |    1085     1471     9349 |     5500      101     34 |  1.287 % |
777.32/778.04	c |       252 |     994     1471     9349 |     6050      252     42 | 15.469 % |
777.32/778.07	c |       477 |     929     1471     9349 |     6655      469     48 | 15.469 % |
777.43/778.10	c |       817 |     929     1471     9349 |     7320      809     51 | 15.469 % |
777.43/778.15	c |      1324 |     929     1471     9349 |     8052     1316     59 | 15.469 % |
777.53/778.23	c |      2083 |     929     1471     9349 |     8857     2075     64 | 15.469 % |
777.63/778.37	c |      3222 |     929     1471     9349 |     9743     3214     70 | 15.469 % |
777.93/778.63	c |      4932 |     929     1471     9349 |    10717     4924     74 | 15.469 % |
778.43/779.19	c |      7495 |     929     1471     9349 |    11789     7487     79 | 15.469 % |
779.33/780.00	c |     11340 |     929     1471     9349 |    12968    11332     81 | 15.469 % |
781.33/782.01	c |     17107 |     929     1471     9349 |    14265    10480    103 | 15.469 % |
784.62/785.38	c |     25756 |     929     1471     9349 |    15692    11841    109 | 15.469 % |
789.53/790.28	c |     38730 |     929     1471     9349 |    17261     8833     92 | 15.469 % |
796.92/797.60	c |     58194 |     929     1471     9349 |    18987    10620     99 | 15.469 % |
807.72/808.40	c |     87393 |     923     1471     9349 |    20886     9893     83 | 16.015 % |
836.41/837.16	c |    131183 |     923     1471     9349 |    22974    11255     97 | 16.015 % |
879.70/880.43	c |    196874 |     923     1471     9349 |    25272    18608    108 | 16.015 % |
996.77/997.58	c |    295400 |     923     1471     9349 |    27799    14028    158 | 16.015 % |
1196.22/1197.06	c |    443193 |     923     1471     9349 |    30579    14323    183 | 16.015 % |
1432.55/1433.41	c |    664879 |     923     1471     9349 |    33637    22368    117 | 16.015 % |
1776.86/1777.84	c |    997405 |     923     1471     9349 |    37001    31644    141 | 16.015 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 5497
/proc/meminfo: memFree=1862416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=2440 CPUtime=0
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 182931972 2498560 173 1992294400 134512640 135709839 4294956240 18446744073709551615 135187184 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 610 174 129 292 0 303 0

[startup+0.0166059 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 5497
/proc/meminfo: memFree=1862416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=2524 CPUtime=0.01
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 238 0 0 0 1 0 0 0 18 0 1 0 182931972 2584576 210 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 631 210 133 292 0 336 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2524

[startup+0.101615 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 5497
/proc/meminfo: memFree=1862416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=2792 CPUtime=0.09
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 308 0 0 0 9 0 0 0 18 0 1 0 182931972 2859008 280 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 698 280 136 292 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2792

[startup+0.301638 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 5497
/proc/meminfo: memFree=1862416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=3320 CPUtime=0.29
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 416 0 0 0 29 0 0 0 19 0 1 0 182931972 3399680 388 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 830 388 136 292 0 535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3320

[startup+0.701685 s]
/proc/loadavg: 0.92 1.01 0.99 3/64 5497
/proc/meminfo: memFree=1862416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=4376 CPUtime=0.69
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 684 0 0 0 68 1 0 0 22 0 1 0 182931972 4481024 656 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 1094 656 136 292 0 799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4376

[startup+1.50178 s]
/proc/loadavg: 0.92 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1860104/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=4508 CPUtime=1.08
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 718 0 0 0 105 3 0 0 25 0 1 0 182931972 4616192 690 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 1127 690 136 292 0 832 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 4508

[startup+3.10196 s]
/proc/loadavg: 0.92 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1859016/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=5724 CPUtime=2.68
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 1039 0 0 0 264 4 0 0 25 0 1 0 182931972 5861376 1011 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 1431 1011 136 292 0 1136 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 5724

[startup+6.30133 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1856264/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=8784 CPUtime=5.86
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 1771 0 0 0 581 5 0 0 25 0 1 0 182931972 8994816 1743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 2196 1743 136 292 0 1901 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 8784

[startup+12.7011 s]
/proc/loadavg: 0.93 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1851472/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=13584 CPUtime=12.27
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 2978 0 0 0 1217 10 0 0 25 0 1 0 182931972 13910016 2950 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 3396 2950 136 292 0 3101 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 13584

[startup+25.5015 s]
/proc/loadavg: 0.95 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1839376/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=25120 CPUtime=25.06
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 5867 0 0 0 2491 15 0 0 25 0 1 0 182931972 25722880 5839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 6280 5839 136 292 0 5985 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 25120

[startup+51.1015 s]
/proc/loadavg: 0.96 1.01 0.99 2/65 5498
/proc/meminfo: memFree=1815248/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=49536 CPUtime=50.64
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 11960 0 0 0 5034 30 0 0 25 0 1 0 182931972 50724864 11932 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 12384 11932 136 292 0 12089 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 49536

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/65 5498
/proc/meminfo: memFree=1774416/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=89888 CPUtime=101.84
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 22013 0 0 0 10130 54 0 0 25 0 1 0 182931972 92045312 21985 1992294400 134512640 135709839 4294956240 18446744073709551615 134574210 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 22472 21985 136 292 0 22177 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 89888

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5498
/proc/meminfo: memFree=1733776/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=130904 CPUtime=161.81
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 32313 0 0 0 16096 85 0 0 25 0 1 0 182931972 134045696 32285 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 32726 32285 136 292 0 32431 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 130904

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5498
/proc/meminfo: memFree=1702992/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=161024 CPUtime=221.79
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 39832 0 0 0 22071 108 0 0 25 0 1 0 182931972 164888576 39804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 40256 39804 136 292 0 39961 0
Current children cumulated CPU time (s) 221.79
Current children cumulated vsize (KiB) 161024

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5498
/proc/meminfo: memFree=1658000/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=206120 CPUtime=281.78
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 51068 0 0 0 28042 136 0 0 25 0 1 0 182931972 211066880 51040 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 51530 51040 136 292 0 51235 0
Current children cumulated CPU time (s) 281.78
Current children cumulated vsize (KiB) 206120

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/70 5504
/proc/meminfo: memFree=1611496/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=251352 CPUtime=341.75
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 62346 0 0 0 34015 160 0 0 25 0 1 0 182931972 257384448 62318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 62838 62318 136 292 0 62543 0
Current children cumulated CPU time (s) 341.75
Current children cumulated vsize (KiB) 251352

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1573904/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=290104 CPUtime=401.72
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 72055 0 0 0 39993 179 0 0 25 0 1 0 182931972 297066496 72027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 72526 72027 136 292 0 72231 0
Current children cumulated CPU time (s) 401.72
Current children cumulated vsize (KiB) 290104

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1540688/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=323120 CPUtime=461.71
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 80290 0 0 0 45975 196 0 0 25 0 1 0 182931972 330874880 80262 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 80780 80262 136 292 0 80485 0
Current children cumulated CPU time (s) 461.71
Current children cumulated vsize (KiB) 323120

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1497424/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=367064 CPUtime=521.7
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 91235 0 0 0 51950 220 0 0 25 0 1 0 182931972 375873536 91207 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 91766 91207 136 292 0 91471 0
Current children cumulated CPU time (s) 521.7
Current children cumulated vsize (KiB) 367064

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1460560/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=403148 CPUtime=581.68
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 100240 0 0 0 57931 237 0 0 25 0 1 0 182931972 412823552 100212 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 100787 100212 136 292 0 100492 0
Current children cumulated CPU time (s) 581.68
Current children cumulated vsize (KiB) 403148

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1422864/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=440572 CPUtime=641.66
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 109592 0 0 0 63907 259 0 0 25 0 1 0 182931972 451145728 109564 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 110143 109564 136 292 0 109848 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 440572

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1315088/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=547708 CPUtime=881.6
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 136520 0 0 0 87817 343 0 0 25 0 1 0 182931972 560852992 136461 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 136927 136461 136 292 0 136632 0
Current children cumulated CPU time (s) 881.6
Current children cumulated vsize (KiB) 547708

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1279824/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=583464 CPUtime=941.58
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 145420 0 0 0 93798 360 0 0 25 0 1 0 182931972 597467136 145361 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 145866 145361 136 292 0 145571 0
Current children cumulated CPU time (s) 941.58
Current children cumulated vsize (KiB) 583464

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1240208/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=622844 CPUtime=1001.57
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 155257 0 0 0 99777 380 0 0 25 0 1 0 182931972 637792256 155198 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 155711 155198 136 292 0 155416 0
Current children cumulated CPU time (s) 1001.57
Current children cumulated vsize (KiB) 622844

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1198032/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=665404 CPUtime=1061.55
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 165868 0 0 0 105754 401 0 0 25 0 1 0 182931972 681373696 165809 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 166351 165809 136 292 0 166056 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 665404

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1165648/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=697236 CPUtime=1121.53
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 173829 0 0 0 111732 421 0 0 25 0 1 0 182931972 713969664 173770 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 174309 173770 136 292 0 174014 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 697236

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1131216/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=732184 CPUtime=1181.51
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 182552 0 0 0 117716 435 0 0 25 0 1 0 182931972 749756416 182493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 183046 182493 136 292 0 182751 0
Current children cumulated CPU time (s) 1181.51
Current children cumulated vsize (KiB) 732184

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1081296/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=781544 CPUtime=1241.5
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 194884 0 0 0 123695 455 0 0 25 0 1 0 182931972 800301056 194825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 195386 194825 136 292 0 195091 0
Current children cumulated CPU time (s) 1241.5
Current children cumulated vsize (KiB) 781544

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=1029008/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=833232 CPUtime=1301.49
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 207810 0 0 0 129673 476 0 0 25 0 1 0 182931972 853229568 207751 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 208308 207751 136 292 0 208013 0
Current children cumulated CPU time (s) 1301.49
Current children cumulated vsize (KiB) 833232

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=977232/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=885232 CPUtime=1361.47
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 220797 0 0 0 135650 497 0 0 25 0 1 0 182931972 906477568 220738 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 221308 220738 136 292 0 221013 0
Current children cumulated CPU time (s) 1361.47
Current children cumulated vsize (KiB) 885232

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=931472/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=930748 CPUtime=1421.45
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 232154 0 0 0 141627 518 0 0 25 0 1 0 182931972 953085952 232095 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 232687 232095 136 292 0 232392 0
Current children cumulated CPU time (s) 1421.45
Current children cumulated vsize (KiB) 930748

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=892368/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=970340 CPUtime=1481.43
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 242026 0 0 0 147602 541 0 0 25 0 1 0 182931972 993628160 241967 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 242585 241967 136 292 0 242290 0
Current children cumulated CPU time (s) 1481.43
Current children cumulated vsize (KiB) 970340

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=851792/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1010588 CPUtime=1541.42
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 252030 0 0 0 153578 564 0 0 25 0 1 0 182931972 1034842112 251971 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 252647 251971 136 292 0 252352 0
Current children cumulated CPU time (s) 1541.42
Current children cumulated vsize (KiB) 1010588

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=810448/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1052228 CPUtime=1601.4
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 262405 0 0 0 159555 585 0 0 25 0 1 0 182931972 1077481472 262346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 263057 262346 136 292 0 262762 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 1052228

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=764880/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1097512 CPUtime=1661.39
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 273730 0 0 0 165529 610 0 0 25 0 1 0 182931972 1123852288 273671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 274378 273671 136 292 0 274083 0
Current children cumulated CPU time (s) 1661.39
Current children cumulated vsize (KiB) 1097512

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=723536/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1139296 CPUtime=1721.38
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 284124 0 0 0 171507 631 0 0 25 0 1 0 182931972 1166639104 284065 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 284824 284065 136 292 0 284529 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 1139296

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=681232/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1181064 CPUtime=1781.36
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 294543 0 0 0 177484 652 0 0 25 0 1 0 182931972 1209409536 294484 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 295266 294484 136 292 0 294971 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 1181064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=675920/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=1186212 CPUtime=1800.06
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4194304 295839 0 0 0 179351 655 0 0 25 0 1 0 182931972 1214681088 295780 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 296553 295780 136 292 0 296258 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1186212

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

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

[startup+1801.11 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 5504
/proc/meminfo: memFree=675920/2055920 swapFree=4191900/4192956
[pid=5497] ppid=5495 vsize=0 CPUtime=1800.16
/proc/5497/stat : 5497 (wbo) R 5495 5497 5117 0 -1 4195332 295839 0 0 0 179351 665 0 0 25 0 1 0 182931972 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5497/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.25
CPU user time (s): 1793.51
CPU system time (s): 6.73498
CPU usage (%): 99.9477
Max. virtual memory (cumulated for all children) (KiB): 1186212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.51
system time used= 6.73498
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2731

runsolver used 1.21781 second user time and 3.9354 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-16 13:55:19
IDJOB=1876186
IDBENCH=2102
IDSOLVER=698
FILE ID=node28/1876186-1245153319
PBS_JOBID= 9363745
Free space on /tmp= 66176 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh301.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876186-1245153319/watcher-1876186-1245153319 -o /tmp/evaluation-result-1876186-1245153319/solver-1876186-1245153319 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876186-1245153319.opb

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

MD5SUM BENCH= 21989a3a2eabf31d3de5b03788f598a8
RANDOM SEED=282489754

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862832 kB
Buffers:         22868 kB
Cached:          95124 kB
SwapCached:        260 kB
Active:          46860 kB
Inactive:        89520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862832 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2416 kB
Writeback:           0 kB
Mapped:          22624 kB
Slab:            42492 kB
Committed_AS:   155228 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876186-1245153319.opb

Free space on /tmp at the end= 66176 MiB
End job on node28 at 2009-06-16 14:25:22