Trace number 1876195

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.28 1803.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh207.opb
MD5SUM26a2f7a073809ed215604c58e6ca5a97
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.028994
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 constraints900
Number of constraints which are clauses900
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 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-1876195-1245154097.opb.
0.00/0.00	c Instance file HOME/instance-1876195-1245154097.opb
0.00/0.00	c File size is 38972 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:        1100                                                |
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: 9	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 5	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.00	c Elapsed CPU time: 0.007998 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.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #11
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 11
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 12
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #13
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #14
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 14
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #15
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #16
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 20
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #21
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 21
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #22
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 22
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #23
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #24
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 24
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #25
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 25
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #27
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 27
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #28
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 28
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #29
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 29
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #30
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 30
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #31
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 31
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #32
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 32
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #33
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 33
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #34
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 34
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #35
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 35
0.00/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #36
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 36
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #37
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 37
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #38
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 38
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #39
0.00/0.04	c Core size: 5	Core Weight: 1	Total Weight: 39
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #40
0.00/0.04	c Core size: 11	Core Weight: 1	Total Weight: 40
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #41
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 41
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #42
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 42
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.04	c core #43
0.00/0.04	c Core size: 6	Core Weight: 1	Total Weight: 43
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #44
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 44
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #45
0.00/0.05	c Core size: 10	Core Weight: 1	Total Weight: 45
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #46
0.00/0.05	c Core size: 18	Core Weight: 1	Total Weight: 46
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #47
0.00/0.05	c Core size: 35	Core Weight: 1	Total Weight: 47
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #48
0.00/0.05	c Core size: 37	Core Weight: 1	Total Weight: 48
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #49
0.00/0.05	c Core size: 16	Core Weight: 1	Total Weight: 49
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     380     1149     4684 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #50
0.00/0.05	c Core size: 14	Core Weight: 1	Total Weight: 50
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     384     1150     4692 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #51
0.00/0.05	c Core size: 14	Core Weight: 1	Total Weight: 51
0.00/0.05	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     390     1151     4704 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #52
0.00/0.06	c Core size: 39	Core Weight: 1	Total Weight: 52
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     411     1152     4749 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #53
0.00/0.06	c Core size: 17	Core Weight: 1	Total Weight: 53
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     419     1153     4766 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #54
0.00/0.06	c Core size: 29	Core Weight: 1	Total Weight: 54
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     432     1154     4793 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #55
0.00/0.06	c Core size: 41	Core Weight: 1	Total Weight: 55
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     444     1155     4818 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #56
0.00/0.06	c Core size: 30	Core Weight: 1	Total Weight: 56
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.06	c Learning 1 hard constraints
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     453     1157     4842 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #57
0.00/0.06	c Core size: 84	Core Weight: 1	Total Weight: 57
0.00/0.06	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     480     1158     4897 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #58
0.00/0.07	c Core size: 202	Core Weight: 1	Total Weight: 58
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c Learning 2 hard constraints
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     539     1161     5025 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #59
0.00/0.07	c Core size: 161	Core Weight: 1	Total Weight: 59
0.00/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c Learning 5 hard constraints
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     574     1167     5119 |     5000        0    nan |  0.000 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c core #60
0.00/0.08	c Core size: 349	Core Weight: 1	Total Weight: 60
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c Learning 5 hard constraints
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     660     1173     5329 |     5000        0    nan |  0.000 % |
0.08/0.09	c |       103 |     660     1173     5329 |     5500      103     13 |  1.515 % |
0.08/0.09	c ===============================================================================
0.08/0.09	c core #61
0.08/0.09	c Core size: 401	Core Weight: 1	Total Weight: 61
0.08/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c Learning 10 hard constraints
0.08/0.09	c ============================[ Search Statistics ]==============================
0.08/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.09	c ===============================================================================
0.08/0.09	c |         0 |     752     1184     5595 |     5000        0    nan |  0.000 % |
0.08/0.10	c |       100 |     752     1184     5595 |     5500      100     25 |  0.001 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #62
0.09/0.10	c Core size: 364	Core Weight: 1	Total Weight: 62
0.09/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 19 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 |     771     1204     5766 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       101 |     771     1204     5766 |     5500      101     42 |  0.001 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #63
0.09/0.11	c Core size: 357	Core Weight: 1	Total Weight: 63
0.09/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c Learning 48 hard constraints
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 |     778     1253     6407 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #64
0.09/0.12	c Core size: 243	Core Weight: 1	Total Weight: 64
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c Learning 16 hard constraints
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 |     784     1270     6579 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #65
0.09/0.12	c Core size: 169	Core Weight: 1	Total Weight: 65
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
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 |     793     1271     6597 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #66
0.09/0.12	c Core size: 198	Core Weight: 1	Total Weight: 66
0.09/0.12	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c Learning 1 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 |     799     1273     6617 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #67
0.09/0.13	c Core size: 208	Core Weight: 1	Total Weight: 67
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
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 |     811     1274     6641 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |     811     1274     6641 |     5500      100     18 |  0.029 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #68
0.09/0.14	c Core size: 245	Core Weight: 1	Total Weight: 68
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c Learning 3 hard constraints
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |     833     1278     6691 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       103 |     833     1278     6691 |     5500      103     25 |  0.027 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #69
0.09/0.15	c Core size: 241	Core Weight: 1	Total Weight: 69
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
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 |     860     1279     6745 |     5000        0    nan |  0.000 % |
0.09/0.16	c |       103 |     860     1279     6745 |     5500      103     32 |  0.026 % |
0.09/0.17	c |       254 |     786     1279     6745 |     6050      248     30 | 21.977 % |
0.09/0.18	c |       481 |     671     1279     6745 |     6655      470     30 | 21.977 % |
0.09/0.20	c |       820 |     671     1279     6745 |     7320      809     33 | 21.977 % |
0.19/0.21	c ===============================================================================
0.19/0.22	c core #70
0.19/0.22	c Core size: 261	Core Weight: 1	Total Weight: 70
0.19/0.22	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 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 |     902     1280     6829 |     5000        0    nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c core #71
0.19/0.22	c Core size: 139	Core Weight: 1	Total Weight: 71
0.19/0.22	c Elapsed CPU time: 0.216967 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 |     909     1281     6843 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       101 |     909     1281     6843 |     5500      101     24 |  0.023 % |
0.19/0.23	c |       254 |     807     1281     6843 |     6050      249     28 | 20.792 % |
0.19/0.25	c |       479 |     807     1281     6843 |     6655      474     34 | 20.792 % |
0.19/0.27	c |       816 |     720     1281     6843 |     7320      801     40 | 20.792 % |
0.30/0.33	c |      1322 |     720     1281     6843 |     8052     1307     46 | 20.792 % |
0.39/0.44	c |      2083 |     720     1281     6843 |     8857     2068     50 | 20.792 % |
0.59/0.64	c |      3223 |     720     1281     6843 |     9743     3208     54 | 20.792 % |
1.00/1.05	c |      4932 |     720     1281     6843 |    10717     4917     56 | 20.792 % |
1.89/1.92	c |      7495 |     720     1281     6843 |    11789     7480     60 | 20.792 % |
2.99/3.05	c ===============================================================================
3.09/3.13	c core #72
3.09/3.13	c Core size: 254	Core Weight: 1	Total Weight: 72
3.09/3.13	c Elapsed CPU time: 3.09653 s	Remaining CPU time: 1796.9 s
3.09/3.14	c ============================[ Search Statistics ]==============================
3.09/3.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.14	c ===============================================================================
3.09/3.14	c |         0 |     944     1282     6913 |     5000        0    nan |  0.000 % |
3.09/3.15	c |       100 |     944     1282     6913 |     5500      100     37 |  0.021 % |
3.09/3.15	c |       250 |     944     1282     6913 |     6050      250     43 |  0.000 % |
3.09/3.18	c |       479 |     924     1282     6913 |     6655      474     51 | 20.021 % |
3.09/3.20	c |       817 |     924     1282     6913 |     7320      812     53 | 20.021 % |
3.19/3.26	c |      1324 |     755     1282     6913 |     8052     1305     53 | 20.021 % |
3.29/3.34	c |      2083 |     755     1282     6913 |     8857     2064     52 | 20.021 % |
3.48/3.52	c |      3222 |     755     1282     6913 |     9743     3203     54 | 20.021 % |
3.79/3.87	c |      4931 |     755     1282     6913 |    10717     4912     57 | 20.021 % |
4.39/4.45	c |      7494 |     755     1282     6913 |    11789     7475     57 | 20.021 % |
5.39/5.42	c |     11338 |     755     1282     6913 |    12968    11319     57 | 20.021 % |
6.88/6.95	c |     17108 |     755     1282     6913 |    14265    10385     54 | 20.021 % |
9.09/9.15	c |     25759 |     755     1282     6913 |    15692    11731     58 | 20.021 % |
12.09/12.19	c ===============================================================================
12.48/12.56	c core #73
12.48/12.56	c Core size: 230	Core Weight: 1	Total Weight: 73
12.48/12.56	c Elapsed CPU time: 12.4371 s	Remaining CPU time: 1787.56 s
12.48/12.59	c ============================[ Search Statistics ]==============================
12.48/12.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.48/12.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.48/12.59	c ===============================================================================
12.48/12.59	c |         0 |     971     1283     6967 |     5000        0    nan |  0.000 % |
12.58/12.61	c ===============================================================================
12.58/12.61	c core #74
12.58/12.61	c Core size: 168	Core Weight: 1	Total Weight: 74
12.58/12.61	c Elapsed CPU time: 12.4861 s	Remaining CPU time: 1787.51 s
12.58/12.61	c ============================[ Search Statistics ]==============================
12.58/12.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.58/12.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.58/12.61	c ===============================================================================
12.58/12.61	c |         0 |     987     1284     6999 |     5000        0    nan |  0.000 % |
12.58/12.61	c |       102 |     987     1284     6999 |     5500      102     62 |  0.019 % |
12.58/12.62	c |       257 |     798     1284     6999 |     6050      247     54 | 19.149 % |
12.58/12.64	c |       482 |     798     1284     6999 |     6655      472     50 | 19.149 % |
12.58/12.66	c |       819 |     798     1284     6999 |     7320      809     45 | 19.149 % |
12.68/12.70	c |      1325 |     798     1284     6999 |     8052     1315     44 | 19.149 % |
12.68/12.75	c |      2088 |     798     1284     6999 |     8857     2078     38 | 19.149 % |
12.79/12.82	c ===============================================================================
12.79/12.83	c core #75
12.79/12.83	c Core size: 188	Core Weight: 1	Total Weight: 75
12.79/12.83	c Elapsed CPU time: 12.6991 s	Remaining CPU time: 1787.3 s
12.79/12.83	c ============================[ Search Statistics ]==============================
12.79/12.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.79/12.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.79/12.83	c ===============================================================================
12.79/12.83	c |         0 |    1003     1285     7031 |     5000        0    nan |  0.000 % |
12.79/12.84	c |       100 |    1003     1285     7031 |     5500      100     50 |  0.019 % |
12.79/12.85	c |       250 |     842     1285     7031 |     6050      244     48 | 18.844 % |
12.79/12.86	c |       475 |     841     1285     7031 |     6655      469     54 | 18.844 % |
12.79/12.89	c |       813 |     814     1285     7031 |     7320      798     59 | 18.844 % |
12.88/12.93	c |      1319 |     814     1285     7031 |     8052     1304     62 | 18.844 % |
12.98/13.01	c |      2081 |     814     1285     7031 |     8857     2066     66 | 18.844 % |
13.08/13.17	c |      3220 |     814     1285     7031 |     9743     3205     68 | 18.844 % |
13.38/13.48	c |      4928 |     814     1285     7031 |    10717     4913     70 | 18.844 % |
14.08/14.12	c |      7494 |     814     1285     7031 |    11789     7479     75 | 18.844 % |
15.39/15.46	c |     11340 |     814     1285     7031 |    12968    11325     76 | 18.844 % |
17.39/17.42	c |     17107 |     814     1285     7031 |    14265    10465     72 | 18.844 % |
20.18/20.29	c |     25762 |     814     1285     7031 |    15692    11816     73 | 18.844 % |
29.48/29.51	c |     38737 |     814     1285     7031 |    17261     8760     79 | 18.844 % |
38.39/38.43	c |     58198 |     814     1285     7031 |    18987    10669     65 | 18.844 % |
52.48/52.52	c |     87394 |     814     1285     7031 |    20886    10899     77 | 18.844 % |
77.76/77.84	c ===============================================================================
79.77/79.81	c core #76
79.77/79.81	c Core size: 252	Core Weight: 1	Total Weight: 76
79.77/79.81	c Elapsed CPU time: 79.3319 s	Remaining CPU time: 1720.67 s
79.87/79.96	c ============================[ Search Statistics ]==============================
79.87/79.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
79.87/79.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
79.87/79.96	c ===============================================================================
79.87/79.96	c |         0 |    1034     1286     7093 |     5000        0    nan |  0.000 % |
79.87/79.99	c |       101 |    1034     1286     7093 |     5500      101     49 |  0.018 % |
79.87/80.00	c |       251 |     845     1286     7093 |     6050      250     40 | 18.279 % |
79.96/80.01	c |       476 |     845     1286     7093 |     6655      475     42 | 18.279 % |
79.96/80.03	c |       813 |     845     1286     7093 |     7320      812     52 | 18.279 % |
79.96/80.08	c |      1319 |     845     1286     7093 |     8052     1318     57 | 18.279 % |
80.07/80.20	c |      2078 |     845     1286     7093 |     8857     2077     64 | 18.279 % |
80.27/80.39	c |      3218 |     845     1286     7093 |     9743     3217     67 | 18.279 % |
80.66/80.72	c |      4927 |     845     1286     7093 |    10717     4926     70 | 18.279 % |
81.37/81.41	c |      7491 |     845     1286     7093 |    11789     7490     71 | 18.279 % |
82.56/82.66	c |     11337 |     845     1286     7093 |    12968    11336     73 | 18.279 % |
84.66/84.73	c |     17103 |     845     1286     7093 |    14265    10500     72 | 18.279 % |
87.86/87.98	c |     25753 |     845     1286     7093 |    15692    11887     74 | 18.279 % |
93.65/93.75	c |     38728 |     845     1286     7093 |    17261     8856     78 | 18.287 % |
94.46/94.58	c ===============================================================================
95.25/95.35	c core #77
95.25/95.35	c Core size: 262	Core Weight: 1	Total Weight: 77
95.25/95.35	c Elapsed CPU time: 94.7506 s	Remaining CPU time: 1705.25 s
95.35/95.41	c ============================[ Search Statistics ]==============================
95.35/95.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.35/95.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.35/95.41	c ===============================================================================
95.35/95.41	c |         0 |    1078     1287     7181 |     5000        0    nan |  0.000 % |
95.35/95.43	c |       101 |    1078     1287     7181 |     5500      101     22 |  0.016 % |
95.35/95.44	c |       251 |     959     1287     7181 |     6050      250     24 | 17.533 % |
95.35/95.46	c |       477 |     889     1287     7181 |     6655      470     26 | 17.533 % |
95.35/95.46	c ===============================================================================
95.35/95.47	c core #78
95.35/95.47	c Core size: 222	Core Weight: 1	Total Weight: 78
95.35/95.47	c Elapsed CPU time: 94.8676 s	Remaining CPU time: 1705.13 s
95.35/95.47	c ============================[ Search Statistics ]==============================
95.35/95.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.35/95.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.35/95.47	c ===============================================================================
95.35/95.47	c |         0 |    1096     1288     7217 |     5000        0    nan |  0.000 % |
95.35/95.48	c |       104 |    1096     1288     7217 |     5500      104     69 |  0.016 % |
95.35/95.49	c |       255 |     907     1288     7217 |     6050      250     54 | 17.245 % |
95.45/95.50	c |       480 |     907     1288     7217 |     6655      475     58 | 17.245 % |
95.45/95.52	c |       818 |     907     1288     7217 |     7320      813     58 | 17.245 % |
95.45/95.58	c |      1325 |     907     1288     7217 |     8052     1320     65 | 17.245 % |
95.56/95.66	c |      2084 |     907     1288     7217 |     8857     2079     69 | 17.245 % |
95.76/95.87	c |      3223 |     907     1288     7217 |     9743     3218     90 | 17.245 % |
96.15/96.22	c |      4931 |     907     1288     7217 |    10717     4926    108 | 17.245 % |
96.86/96.94	c |      7496 |     907     1288     7217 |    11789     7491    117 | 17.245 % |
98.45/98.50	c |     11347 |     907     1288     7217 |    12968    11342    125 | 17.245 % |
102.75/102.90	c |     17113 |     907     1288     7217 |    14265    10462    137 | 17.245 % |
111.65/111.76	c |     25766 |     907     1288     7217 |    15692    11807    139 | 17.245 % |
118.65/118.75	c |     38743 |     907     1288     7217 |    17261     8652    135 | 17.245 % |
131.54/131.65	c |     58204 |     907     1288     7217 |    18987    10463    142 | 17.245 % |
162.84/162.95	c |     87400 |     907     1288     7217 |    20886    10607    151 | 17.245 % |
206.62/206.73	c |    131189 |     907     1288     7217 |    22974    11934    158 | 17.245 % |
260.15/260.32	c |    196877 |     907     1288     7217 |    25272    19299    129 | 17.245 % |
356.46/357.26	c |    295404 |     907     1288     7217 |    27799    13838    130 | 17.245 % |
487.02/488.17	c |    443196 |     907     1288     7217 |    30579    22666    119 | 17.245 % |
665.95/667.71	c |    664882 |     907     1288     7217 |    33637    29656     93 | 17.245 % |
957.46/959.72	c |    997410 |     907     1288     7217 |    37001    16690    132 | 17.245 % |
1373.44/1376.20	c |   1496198 |     907     1288     7217 |    40701    15348     95 | 17.245 % |

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-1876195-1245154097/watcher-1876195-1245154097 -o /tmp/evaluation-result-1876195-1245154097/solver-1876195-1245154097 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876195-1245154097.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: 1.82 1.94 1.98 3/72 30370
/proc/meminfo: memFree=500952/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=2564 CPUtime=0
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 193 0 0 0 0 0 0 0 20 0 1 0 183007639 2625536 177 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 641 177 130 292 0 336 0

[startup+0.08589 s]
/proc/loadavg: 1.82 1.94 1.98 3/72 30370
/proc/meminfo: memFree=500952/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=2912 CPUtime=0.08
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 304 0 0 0 8 0 0 0 18 0 1 0 183007639 2981888 278 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 728 278 135 292 0 433 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2912

[startup+0.101893 s]
/proc/loadavg: 1.82 1.94 1.98 3/72 30370
/proc/meminfo: memFree=500952/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=2912 CPUtime=0.09
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 321 0 0 0 9 0 0 0 18 0 1 0 183007639 2981888 295 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 728 295 136 292 0 433 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2912

[startup+0.304841 s]
/proc/loadavg: 1.82 1.94 1.98 3/72 30370
/proc/meminfo: memFree=500952/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=3460 CPUtime=0.3
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 446 0 0 0 29 1 0 0 19 0 1 0 183007639 3543040 420 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 865 420 136 292 0 570 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3460

[startup+0.70197 s]
/proc/loadavg: 1.82 1.94 1.98 3/72 30370
/proc/meminfo: memFree=500952/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=4384 CPUtime=0.69
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 686 0 0 0 68 1 0 0 22 0 1 0 183007639 4489216 660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 1096 660 136 292 0 801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4384

[startup+1.50206 s]
/proc/loadavg: 1.82 1.94 1.98 3/73 30371
/proc/meminfo: memFree=498192/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=5704 CPUtime=1.49
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 1015 0 0 0 147 2 0 0 25 0 1 0 183007639 5840896 989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 1426 989 136 292 0 1131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5704

[startup+3.10226 s]
/proc/loadavg: 1.82 1.94 1.98 4/73 30371
/proc/meminfo: memFree=496528/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=7704 CPUtime=3.09
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 1518 0 0 0 306 3 0 0 25 0 1 0 183007639 7888896 1492 1992294400 134512640 135709839 4294956240 18446744073709551615 134583617 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 1926 1492 136 292 0 1631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7704

[startup+6.30163 s]
/proc/loadavg: 1.99 1.97 1.99 2/73 30371
/proc/meminfo: memFree=493200/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=10748 CPUtime=6.29
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 2285 0 0 0 623 6 0 0 25 0 1 0 183007639 11005952 2259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 2687 2259 136 292 0 2392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10748

[startup+12.7014 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 30371
/proc/meminfo: memFree=483288/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=21092 CPUtime=12.68
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 4843 0 0 0 1257 11 0 0 25 0 1 0 183007639 21598208 4817 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 5273 4817 136 292 0 4978 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21092

[startup+25.5019 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 30371
/proc/meminfo: memFree=472344/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=30644 CPUtime=25.48
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 7262 0 0 0 2530 18 0 0 25 0 1 0 183007639 31379456 7236 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 7661 7236 136 292 0 7366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30644

[startup+51.1009 s]
/proc/loadavg: 1.84 1.94 1.98 2/73 30371
/proc/meminfo: memFree=447320/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=56136 CPUtime=51.07
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 13592 0 0 0 5074 33 0 0 25 0 1 0 183007639 57483264 13566 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 14034 13566 136 292 0 13739 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56136

[startup+102.307 s]
/proc/loadavg: 1.79 1.90 1.97 2/73 30371
/proc/meminfo: memFree=412376/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=90320 CPUtime=102.26
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 22188 0 0 0 10165 61 0 0 25 0 1 0 183007639 92487680 22158 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 22580 22158 136 292 0 22285 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90320

[startup+162.304 s]
/proc/loadavg: 1.83 1.90 1.96 4/73 30371
/proc/meminfo: memFree=365592/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=137280 CPUtime=162.23
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 33884 0 0 0 16138 85 0 0 25 0 1 0 183007639 140574720 33854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 34320 33854 136 292 0 34025 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 137280

[startup+222.302 s]
/proc/loadavg: 1.90 1.91 1.96 2/73 30371
/proc/meminfo: memFree=315224/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=187524 CPUtime=222.15
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 46438 0 0 0 22106 109 0 0 25 0 1 0 183007639 192024576 46408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 46881 46408 136 292 0 46586 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 187524

[startup+282.301 s]
/proc/loadavg: 1.89 1.90 1.95 4/73 30371
/proc/meminfo: memFree=260248/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=242780 CPUtime=282.06
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 60207 0 0 0 28072 134 0 0 25 0 1 0 183007639 248606720 60177 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 60695 60177 136 292 0 60400 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 242780

[startup+342.301 s]
/proc/loadavg: 1.81 1.87 1.93 2/73 30371
/proc/meminfo: memFree=215960/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=286752 CPUtime=341.66
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 71189 0 0 0 33995 171 0 0 25 0 1 0 183007639 293634048 71159 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 71688 71159 136 292 0 71393 0
Current children cumulated CPU time (s) 341.66
Current children cumulated vsize (KiB) 286752

[startup+402.301 s]
/proc/loadavg: 1.99 1.91 1.94 2/73 30371
/proc/meminfo: memFree=161624/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=341472 CPUtime=401.47
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 84858 0 0 0 39945 202 0 0 25 0 1 0 183007639 349667328 84828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 85368 84828 136 292 0 85073 0
Current children cumulated CPU time (s) 401.47
Current children cumulated vsize (KiB) 341472

[startup+462.301 s]
/proc/loadavg: 1.95 1.93 1.95 3/73 30371
/proc/meminfo: memFree=118680/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=384128 CPUtime=461.26
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 95454 0 0 0 45902 224 0 0 25 0 1 0 183007639 393347072 95424 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 96032 95424 136 292 0 95737 0
Current children cumulated CPU time (s) 461.26
Current children cumulated vsize (KiB) 384128

[startup+522.302 s]
/proc/loadavg: 1.74 1.87 1.92 2/73 30371
/proc/meminfo: memFree=80792/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=422796 CPUtime=520.98
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 105119 0 0 0 51852 246 0 0 25 0 1 0 183007639 432943104 105089 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 105699 105089 136 292 0 105404 0
Current children cumulated CPU time (s) 520.98
Current children cumulated vsize (KiB) 422796

[startup+582.302 s]
/proc/loadavg: 1.96 1.89 1.92 4/73 30371
/proc/meminfo: memFree=35992/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=466964 CPUtime=580.81
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 116155 0 0 0 57807 274 0 0 25 0 1 0 183007639 478171136 116125 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 116741 116125 136 292 0 116446 0
Current children cumulated CPU time (s) 580.81
Current children cumulated vsize (KiB) 466964

[startup+642.303 s]
/proc/loadavg: 1.97 1.91 1.92 4/73 30371
/proc/meminfo: memFree=16280/2055920 swapFree=4155768/4192956
[pid=30370] ppid=30368 vsize=517112 CPUtime=640.73
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 128645 0 0 0 63766 307 0 0 25 0 1 0 183007639 529522688 128615 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0
/proc/30370/statm: 129278 128615 136 292 0 128983 0
Current children cumulated CPU time (s) 640.73
Current children cumulated vsize (KiB) 517112

[startup+702.302 s]

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

[startup+942.315 s]
/proc/loadavg: 1.77 1.85 1.89 2/73 30371
/proc/meminfo: memFree=15960/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=756676 CPUtime=940.2
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 188446 0 0 0 93584 436 0 0 25 0 1 0 183007639 774836224 188416 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 189169 188416 136 292 0 188874 0
Current children cumulated CPU time (s) 940.2
Current children cumulated vsize (KiB) 756676

[startup+1002.3 s]
/proc/loadavg: 1.77 1.84 1.88 3/73 30371
/proc/meminfo: memFree=16152/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=805096 CPUtime=999.87
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 200546 0 0 0 99519 468 0 0 25 0 1 0 183007639 824418304 200516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 201274 200516 136 292 0 200979 0
Current children cumulated CPU time (s) 999.87
Current children cumulated vsize (KiB) 805096

[startup+1062.31 s]
/proc/loadavg: 1.71 1.81 1.87 3/73 30371
/proc/meminfo: memFree=15128/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=857844 CPUtime=1059.76
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 213718 0 0 0 105481 495 0 0 25 0 1 0 183007639 878432256 213688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 214461 213688 136 292 0 214166 0
Current children cumulated CPU time (s) 1059.76
Current children cumulated vsize (KiB) 857844

[startup+1122.31 s]
/proc/loadavg: 1.88 1.84 1.87 3/73 30371
/proc/meminfo: memFree=15640/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=905888 CPUtime=1119.73
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 225739 0 0 0 111452 521 0 0 25 0 1 0 183007639 927629312 225709 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 226472 225709 136 292 0 226177 0
Current children cumulated CPU time (s) 1119.73
Current children cumulated vsize (KiB) 905888

[startup+1182.32 s]
/proc/loadavg: 2.09 1.88 1.89 3/73 30371
/proc/meminfo: memFree=17240/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=945680 CPUtime=1179.71
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 235684 0 0 0 117429 542 0 0 25 0 1 0 183007639 968376320 235654 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 236420 235654 136 292 0 236125 0
Current children cumulated CPU time (s) 1179.71
Current children cumulated vsize (KiB) 945680

[startup+1242.3 s]
/proc/loadavg: 1.86 1.84 1.87 4/73 30371
/proc/meminfo: memFree=16088/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=992808 CPUtime=1239.68
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 247432 0 0 0 123399 569 0 0 25 0 1 0 183007639 1016635392 247402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 248202 247402 136 292 0 247907 0
Current children cumulated CPU time (s) 1239.68
Current children cumulated vsize (KiB) 992808

[startup+1302.3 s]
/proc/loadavg: 2.00 1.89 1.88 2/73 30371
/proc/meminfo: memFree=16344/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1032948 CPUtime=1299.57
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 257427 0 0 0 129365 592 0 0 25 0 1 0 183007639 1057738752 257397 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 258237 257397 136 292 0 257942 0
Current children cumulated CPU time (s) 1299.57
Current children cumulated vsize (KiB) 1032948

[startup+1362.3 s]
/proc/loadavg: 1.80 1.86 1.87 2/73 30371
/proc/meminfo: memFree=15704/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1096716 CPUtime=1359.54
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 273365 0 0 0 135327 627 0 0 25 0 1 0 183007639 1123037184 273335 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 274179 273335 136 292 0 273884 0
Current children cumulated CPU time (s) 1359.54
Current children cumulated vsize (KiB) 1096716

[startup+1422.31 s]
/proc/loadavg: 1.73 1.82 1.86 2/73 30371
/proc/meminfo: memFree=15768/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1149924 CPUtime=1419.53
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 286654 0 0 0 141297 656 0 0 25 0 1 0 183007639 1177522176 286624 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 287481 286624 136 292 0 287186 0
Current children cumulated CPU time (s) 1419.53
Current children cumulated vsize (KiB) 1149924

[startup+1482.31 s]
/proc/loadavg: 1.62 1.77 1.83 3/73 30371
/proc/meminfo: memFree=15448/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1190672 CPUtime=1479.49
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 296818 0 0 0 147272 677 0 0 25 0 1 0 183007639 1219248128 296788 1992294400 134512640 135709839 4294956240 18446744073709551615 134574200 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 297668 296788 136 292 0 297373 0
Current children cumulated CPU time (s) 1479.49
Current children cumulated vsize (KiB) 1190672

[startup+1542.3 s]
/proc/loadavg: 1.65 1.75 1.82 2/73 30371
/proc/meminfo: memFree=16472/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1234692 CPUtime=1539.45
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 307810 0 0 0 153245 700 0 0 25 0 1 0 183007639 1264324608 307780 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 308673 307780 136 292 0 308378 0
Current children cumulated CPU time (s) 1539.45
Current children cumulated vsize (KiB) 1234692

[startup+1602.3 s]
/proc/loadavg: 1.78 1.78 1.82 4/73 30371
/proc/meminfo: memFree=14936/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1272644 CPUtime=1599.4
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 317297 0 0 0 159219 721 0 0 25 0 1 0 183007639 1303187456 317267 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 318161 317267 136 292 0 317866 0
Current children cumulated CPU time (s) 1599.4
Current children cumulated vsize (KiB) 1272644

[startup+1662.3 s]
/proc/loadavg: 1.68 1.75 1.81 2/73 30371
/proc/meminfo: memFree=14936/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1310888 CPUtime=1659.37
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 326845 0 0 0 165195 742 0 0 25 0 1 0 183007639 1342349312 326815 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 327722 326815 136 292 0 327427 0
Current children cumulated CPU time (s) 1659.37
Current children cumulated vsize (KiB) 1310888

[startup+1722.3 s]
/proc/loadavg: 1.58 1.72 1.79 2/73 30371
/proc/meminfo: memFree=16088/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1351816 CPUtime=1719.32
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 337052 0 0 0 171167 765 0 0 25 0 1 0 183007639 1384259584 337022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 337954 337022 136 292 0 337659 0
Current children cumulated CPU time (s) 1719.32
Current children cumulated vsize (KiB) 1351816

[startup+1782.3 s]
/proc/loadavg: 1.71 1.72 1.79 2/73 30371
/proc/meminfo: memFree=16600/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1388400 CPUtime=1779.21
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 346171 0 0 0 177135 786 0 0 25 0 1 0 183007639 1421721600 346141 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 347100 346141 136 292 0 346805 0
Current children cumulated CPU time (s) 1779.21
Current children cumulated vsize (KiB) 1388400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.3 s]
/proc/loadavg: 1.72 1.72 1.79 2/73 30371
/proc/meminfo: memFree=14872/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=1402656 CPUtime=1800.06
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4194304 349736 0 0 0 179210 796 0 0 25 0 1 0 183007639 1436319744 349706 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0
/proc/30370/statm: 350664 349706 136 292 0 350369 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1402656

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

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

[startup+1803.41 s]
/proc/loadavg: 1.72 1.72 1.79 2/73 30371
/proc/meminfo: memFree=14872/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=0 CPUtime=1800.16
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4195332 349736 0 0 0 179210 806 0 0 25 0 1 0 183007639 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1803.5 s]
/proc/loadavg: 1.72 1.72 1.79 2/73 30371
/proc/meminfo: memFree=14872/2055920 swapFree=4160652/4192956
[pid=30370] ppid=30368 vsize=0 CPUtime=1800.25
/proc/30370/stat : 30370 (wbo) R 30368 30370 29961 0 -1 4195332 349736 0 0 0 179210 815 0 0 25 0 1 0 183007639 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/30370/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.52
CPU time (s): 1800.28
CPU user time (s): 1792.11
CPU system time (s): 8.17176
CPU usage (%): 99.8204
Max. virtual memory (cumulated for all children) (KiB): 1402656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 8.17176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 349736
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= 5
involuntary context switches= 11309

runsolver used 2.24466 second user time and 5.86511 second system time

The end

Launcher Data 

Begin job on node75 at 2009-06-16 14:08:17
IDJOB=1876195
IDBENCH=2116
IDSOLVER=698
FILE ID=node75/1876195-1245154097
PBS_JOBID= 9363776
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= 26a2f7a073809ed215604c58e6ca5a97
RANDOM SEED=1272903590

node75.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.236
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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        501560 kB
Buffers:         54964 kB
Cached:        1342152 kB
SwapCached:      31836 kB
Active:         467304 kB
Inactive:       980944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        501560 kB
SwapTotal:     4192956 kB
SwapFree:      4155768 kB
Dirty:            2416 kB
Writeback:           0 kB
Mapped:          31328 kB
Slab:            91160 kB
Committed_AS:   610816 kB
PageTables:       2088 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876195-1245154097.opb

Free space on /tmp at the end= 66424 MiB
End job on node75 at 2009-06-16 14:38:23