Trace number 1876203

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.23 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh205.opb
MD5SUM337fa63ae90b2f1f31bfc9ba194017c3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark94
Best CPU time to get the best result obtained on this benchmark0.031994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 94
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-1876203-1245155090.opb.
0.00/0.00	c Instance file HOME/instance-1876203-1245155090.opb
0.00/0.00	c File size is 38794 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.01         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: 8	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 6	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 5	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: 4	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: 7	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: 5	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: 3	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.02	c core #15
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.02	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: 5	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: 8	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: 4	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: 3	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: 4	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: 7	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: 5	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: 3	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.03	c core #24
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #25
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 25
0.00/0.03	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: 3	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: 6	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: 5	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.04	c core #33
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 33
0.00/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #34
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #35
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 35
0.00/0.04	c Elapsed CPU time: 0.038994 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.039993 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.040993 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: 4	Core Weight: 1	Total Weight: 39
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #40
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 40
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #41
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 41
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #42
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 42
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #43
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 43
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #44
0.00/0.05	c Core size: 12	Core Weight: 1	Total Weight: 44
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #45
0.00/0.05	c Core size: 16	Core Weight: 1	Total Weight: 45
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #46
0.00/0.05	c Core size: 20	Core Weight: 1	Total Weight: 46
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #47
0.00/0.05	c Core size: 31	Core Weight: 1	Total Weight: 47
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #48
0.00/0.05	c Core size: 27	Core Weight: 1	Total Weight: 48
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #49
0.00/0.05	c Core size: 23	Core Weight: 1	Total Weight: 49
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #50
0.00/0.06	c Core size: 32	Core Weight: 1	Total Weight: 50
0.00/0.06	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 |     391     1150     4684 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #51
0.00/0.06	c Core size: 16	Core Weight: 1	Total Weight: 51
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 |     395     1151     4692 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #52
0.00/0.06	c Core size: 22	Core Weight: 1	Total Weight: 52
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c Learning 1 hard constraints
0.00/0.06	c core #53
0.00/0.06	c Core size: 28	Core Weight: 1	Total Weight: 53
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 |     406     1154     4740 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #54
0.00/0.06	c Core size: 38	Core Weight: 1	Total Weight: 54
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 |     420     1155     4768 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #55
0.00/0.06	c Core size: 27	Core Weight: 1	Total Weight: 55
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c Learning 1 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 |     428     1157     4787 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #56
0.00/0.07	c Core size: 40	Core Weight: 1	Total Weight: 56
0.00/0.07	c Elapsed CPU time: 0.066989 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 |     439     1158     4810 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #57
0.00/0.07	c Core size: 75	Core Weight: 1	Total Weight: 57
0.00/0.07	c Elapsed CPU time: 0.068989 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 |     462     1159     4856 |     5000        0    nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #58
0.00/0.07	c Core size: 105	Core Weight: 1	Total Weight: 58
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.07/0.07	c ============================[ Search Statistics ]==============================
0.07/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.07	c ===============================================================================
0.07/0.07	c |         0 |     488     1160     4910 |     5000        0    nan |  0.000 % |
0.07/0.07	c ===============================================================================
0.07/0.07	c core #59
0.07/0.07	c Core size: 205	Core Weight: 1	Total Weight: 59
0.07/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.07/0.07	c Learning 2 hard constraints
0.07/0.07	c ============================[ Search Statistics ]==============================
0.07/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.07	c ===============================================================================
0.07/0.07	c |         0 |     541     1163     5034 |     5000        0    nan |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c core #60
0.07/0.08	c Core size: 134	Core Weight: 1	Total Weight: 60
0.07/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.07/0.08	c ============================[ Search Statistics ]==============================
0.07/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.08	c ===============================================================================
0.07/0.08	c |         0 |     566     1164     5084 |     5000        0    nan |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c core #61
0.07/0.08	c Core size: 249	Core Weight: 1	Total Weight: 61
0.07/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c Learning 9 hard constraints
0.07/0.08	c ============================[ Search Statistics ]==============================
0.07/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.08	c ===============================================================================
0.07/0.08	c |         0 |     622     1174     5251 |     5000        0    nan |  0.000 % |
0.07/0.08	c ===============================================================================
0.07/0.08	c core #62
0.07/0.08	c Core size: 282	Core Weight: 1	Total Weight: 62
0.07/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c Learning 10 hard constraints
0.07/0.09	c ============================[ Search Statistics ]==============================
0.07/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |     656     1185     5405 |     5000        0    nan |  0.000 % |
0.07/0.09	c ===============================================================================
0.07/0.09	c core #63
0.07/0.09	c Core size: 347	Core Weight: 1	Total Weight: 63
0.07/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.07/0.09	c Learning 7 hard constraints
0.07/0.09	c ============================[ Search Statistics ]==============================
0.07/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |     698     1193     5559 |     5000        0    nan |  0.000 % |
0.07/0.10	c ===============================================================================
0.07/0.10	c core #64
0.07/0.10	c Core size: 308	Core Weight: 1	Total Weight: 64
0.07/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 24 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 |     714     1218     5870 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #65
0.09/0.10	c Core size: 377	Core Weight: 1	Total Weight: 65
0.09/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c Learning 39 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 |     740     1258     6351 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #66
0.09/0.11	c Core size: 210	Core Weight: 1	Total Weight: 66
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c Learning 5 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 |     757     1264     6429 |     5000        0    nan |  0.000 % |
0.09/0.12	c |       105 |     757     1264     6429 |     5500      105     22 |  1.823 % |
0.09/0.12	c |       255 |     757     1264     6429 |     6050      255     27 |  1.838 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #67
0.09/0.13	c Core size: 288	Core Weight: 1	Total Weight: 67
0.09/0.13	c Elapsed CPU time: 0.12798 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 |     795     1266     6515 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #68
0.09/0.14	c Core size: 248	Core Weight: 1	Total Weight: 68
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c Learning 4 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 |     824     1271     6616 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       101 |     824     1271     6616 |     5500      101     24 |  1.675 % |
0.09/0.15	c |       252 |     824     1271     6616 |     6050      252     23 |  1.672 % |
0.09/0.16	c |       477 |     722     1271     6616 |     6655      474     23 | 16.229 % |
0.09/0.18	c |       817 |     687     1271     6616 |     7320      617     30 | 18.139 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #69
0.09/0.19	c Core size: 350	Core Weight: 1	Total Weight: 69
0.09/0.19	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c Learning 4 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 |     871     1276     6761 |     5000        0    nan |  0.000 % |
0.19/0.20	c |       104 |     871     1276     6761 |     5500      104     24 |  1.597 % |
0.19/0.21	c |       255 |     806     1276     6761 |     6050      245     22 | 15.148 % |
0.19/0.21	c |       480 |     737     1276     6761 |     6655      453     21 | 16.726 % |
0.19/0.24	c |       818 |     735     1276     6761 |     7320      790     27 | 16.949 % |
0.19/0.27	c |      1325 |     735     1276     6761 |     8052     1297     30 | 16.949 % |
0.29/0.35	c ===============================================================================
0.29/0.36	c core #70
0.29/0.36	c Core size: 240	Core Weight: 1	Total Weight: 70
0.29/0.36	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c Learning 1 hard constraints
0.29/0.36	c ============================[ Search Statistics ]==============================
0.29/0.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.36	c ===============================================================================
0.29/0.36	c |         0 |     889     1278     6804 |     5000        0    nan |  0.000 % |
0.29/0.37	c |       106 |     889     1278     6804 |     5500      106     26 |  1.565 % |
0.29/0.37	c |       256 |     889     1278     6804 |     6050      256     24 |  1.551 % |
0.29/0.39	c |       481 |     889     1278     6804 |     6655      481     28 |  1.551 % |
0.39/0.41	c |       818 |     889     1278     6804 |     7320      818     32 |  1.571 % |
0.39/0.44	c |      1328 |     885     1278     6804 |     8052     1304     33 |  2.009 % |
0.39/0.48	c |      2087 |     885     1278     6804 |     8857     2063     34 |  1.993 % |
0.59/0.61	c |      3229 |     861     1278     6804 |     9743     3199     36 |  4.873 % |
0.80/0.81	c |      4938 |     847     1278     6804 |    10717     4908     40 | 16.390 % |
1.29/1.31	c |      7501 |     755     1278     6804 |    11789     7436     40 | 16.390 % |
1.99/2.07	c |     11345 |     754     1278     6804 |    12968    11280     43 | 16.613 % |
3.39/3.44	c |     17112 |     753     1278     6804 |    14265    10454     44 | 16.616 % |
3.69/3.73	c ===============================================================================
3.89/3.91	c core #71
3.89/3.91	c Core size: 321	Core Weight: 1	Total Weight: 71
3.89/3.91	c Elapsed CPU time: 3.86541 s	Remaining CPU time: 1796.13 s
3.89/3.93	c ============================[ Search Statistics ]==============================
3.89/3.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.93	c ===============================================================================
3.89/3.93	c |         0 |     919     1279     6864 |     5000        0    nan |  0.000 % |
3.89/3.93	c |       102 |     919     1279     6864 |     5500      102     18 |  1.516 % |
3.89/3.94	c |       256 |     767     1279     6864 |     6050      193     16 | 17.792 % |
3.89/3.94	c ===============================================================================
3.89/3.94	c core #72
3.89/3.94	c Core size: 246	Core Weight: 1	Total Weight: 72
3.89/3.94	c Elapsed CPU time: 3.90341 s	Remaining CPU time: 1796.1 s
3.89/3.95	c Learning 1 hard constraints
3.89/3.95	c ============================[ Search Statistics ]==============================
3.89/3.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.95	c ===============================================================================
3.89/3.95	c |         0 |     950     1281     6932 |     5000        0    nan |  0.000 % |
3.89/3.95	c |       102 |     950     1281     6932 |     5500      102     18 |  1.467 % |
3.89/3.96	c |       256 |     908     1281     6932 |     6050      254     23 | 15.354 % |
3.89/3.97	c ===============================================================================
3.89/3.97	c core #73
3.89/3.97	c Core size: 210	Core Weight: 1	Total Weight: 73
3.89/3.97	c Elapsed CPU time: 3.9264 s	Remaining CPU time: 1796.07 s
3.89/3.97	c ============================[ Search Statistics ]==============================
3.89/3.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.97	c ===============================================================================
3.89/3.97	c |         0 |     968     1282     6968 |     5000        0    nan |  0.000 % |
3.89/3.98	c |       102 |     968     1282     6968 |     5500      102     36 |  1.438 % |
3.89/3.99	c |       252 |     964     1282     6968 |     6050      247     34 |  1.834 % |
3.89/4.00	c |       477 |     964     1282     6968 |     6655      472     38 |  1.834 % |
3.99/4.01	c |       815 |     964     1282     6968 |     7320      796     42 |  1.833 % |
3.99/4.05	c |      1321 |     956     1282     6968 |     8052     1302     49 |  3.474 % |
4.09/4.14	c |      2080 |     948     1282     6968 |     8857     2054     51 |  3.462 % |
4.18/4.29	c |      3219 |     893     1282     6968 |     9743     3193     58 | 15.275 % |
4.49/4.58	c |      4928 |     832     1282     6968 |    10717     4885     64 | 15.279 % |
5.09/5.14	c |      7490 |     832     1282     6968 |    11789     7447     67 | 15.275 % |
6.39/6.41	c |     11335 |     832     1282     6968 |    12968    11292     69 | 15.275 % |
7.89/7.98	c |     17102 |     832     1282     6968 |    14265    10438     76 | 15.275 % |
11.28/11.35	c |     25752 |     832     1282     6968 |    15692    11819     80 | 15.275 % |
17.09/17.10	c |     38726 |     832     1282     6968 |    17261     8821     84 | 15.275 % |
27.99/28.07	c |     58187 |     832     1282     6968 |    18987    10694     92 | 15.275 % |
41.98/42.00	c |     87383 |     832     1282     6968 |    20886    11006     70 | 15.275 % |
64.58/64.64	c |    131180 |     824     1282     6968 |    22974     9747     68 | 16.090 % |
109.36/109.41	c |    196864 |     823     1282     6968 |    25272    17214     78 | 16.192 % |
121.46/121.50	c ===============================================================================
124.76/124.82	c core #74
124.76/124.82	c Core size: 346	Core Weight: 1	Total Weight: 74
124.76/124.82	c Elapsed CPU time: 124.118 s	Remaining CPU time: 1675.88 s
124.96/125.04	c Learning 1 hard constraints
124.96/125.04	c ============================[ Search Statistics ]==============================
124.96/125.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
124.96/125.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
124.96/125.04	c ===============================================================================
124.96/125.04	c |         0 |    1004     1284     7044 |     5000        0    nan |  0.000 % |
124.96/125.08	c |       101 |    1004     1284     7044 |     5500      101     25 |  1.387 % |
124.96/125.09	c |       251 |     910     1284     7044 |     6050      250     23 | 13.163 % |
125.06/125.10	c |       479 |     882     1284     7044 |     6655      456     26 | 14.538 % |
125.06/125.12	c |       818 |     870     1284     7044 |     7320      794     30 | 14.538 % |
125.06/125.16	c |      1325 |     870     1284     7044 |     8052     1301     36 | 14.538 % |
125.15/125.23	c |      2084 |     870     1284     7044 |     8857     2060     40 | 14.538 % |
125.27/125.34	c |      3223 |     870     1284     7044 |     9743     3199     40 | 14.538 % |
125.46/125.59	c |      4931 |     852     1284     7044 |    10717     1491     31 | 16.307 % |
125.56/125.61	c ===============================================================================
125.56/125.67	c core #75
125.56/125.67	c Core size: 254	Core Weight: 1	Total Weight: 75
125.56/125.67	c Elapsed CPU time: 124.953 s	Remaining CPU time: 1675.05 s
125.56/125.68	c ============================[ Search Statistics ]==============================
125.56/125.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
125.56/125.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
125.56/125.68	c ===============================================================================
125.56/125.68	c |         0 |    1030     1285     7096 |     5000        0    nan |  0.000 % |
125.56/125.68	c |       101 |    1030     1285     7096 |     5500      101     34 |  1.352 % |
125.56/125.69	c |       252 |    1030     1285     7096 |     6050      252     40 |  1.342 % |
125.66/125.70	c |       478 |     908     1285     7096 |     6655      465     37 | 13.221 % |
125.66/125.73	c |       816 |     904     1285     7096 |     7320      803     46 | 14.368 % |
125.66/125.77	c |      1323 |     894     1285     7096 |     8052     1288     61 | 14.369 % |
125.75/125.87	c |      2085 |     894     1285     7096 |     8857     2050     75 | 14.368 % |
125.96/126.05	c |      3225 |     894     1285     7096 |     9743     3190     84 | 14.368 % |
126.46/126.57	c |      4935 |     894     1285     7096 |    10717     4900     92 | 14.368 % |
127.26/127.34	c |      7497 |     894     1285     7096 |    11789     7462     93 | 14.368 % |
129.76/129.81	c |     11341 |     894     1285     7096 |    12968    11306     98 | 14.368 % |
132.76/132.84	c |     17111 |     894     1285     7096 |    14265    10448     98 | 14.368 % |
138.96/139.09	c |     25761 |     894     1285     7096 |    15692    11830     97 | 14.368 % |
145.96/146.06	c |     38736 |     894     1285     7096 |    17261     8806     84 | 14.368 % |
154.65/154.73	c |     58197 |     894     1285     7096 |    18987    10720     86 | 14.368 % |
175.55/175.69	c |     87395 |     894     1285     7096 |    20886    10984     89 | 14.371 % |
203.84/203.92	c |    131187 |     894     1285     7096 |    22974    12370     80 | 14.369 % |
245.13/245.26	c |    196877 |     894     1285     7096 |    25272    19708     75 | 14.369 % |
309.21/309.31	c |    295404 |     894     1285     7096 |    27799    14139     79 | 14.368 % |
425.78/425.97	c |    443193 |     894     1285     7096 |    30579    23504     89 | 14.370 % |
566.05/566.24	c ===============================================================================
569.04/569.29	c core #76
569.04/569.29	c Core size: 308	Core Weight: 1	Total Weight: 76
569.04/569.29	c Elapsed CPU time: 566.661 s	Remaining CPU time: 1233.34 s
569.65/569.87	c ============================[ Search Statistics ]==============================
569.65/569.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
569.65/569.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
569.65/569.87	c ===============================================================================
569.65/569.87	c |         0 |    1070     1286     7176 |     5000        0    nan |  0.000 % |
569.74/569.97	c |       100 |    1070     1286     7176 |     5500      100     49 |  1.302 % |
569.74/569.98	c |       250 |     980     1286     7176 |     6050      243     38 | 12.362 % |
569.74/570.00	c |       476 |     980     1286     7176 |     6655      469     44 | 12.362 % |
569.85/570.04	c |       813 |     944     1286     7176 |     7320      794     45 | 13.838 % |
569.85/570.08	c |      1320 |     944     1286     7176 |     8052     1301     49 | 13.838 % |
569.95/570.15	c |      2080 |     934     1286     7176 |     8857     2059     48 | 13.838 % |
570.05/570.28	c |      3219 |     934     1286     7176 |     9743     3198     54 | 13.838 % |
570.35/570.51	c |      4927 |     934     1286     7176 |    10717     4906     53 | 13.838 % |
570.95/571.18	c |      7490 |     934     1286     7176 |    11789     7469     66 | 13.838 % |
571.76/571.91	c |     11337 |     934     1286     7176 |    12968    11316     70 | 13.838 % |
573.45/573.60	c |     17103 |     934     1286     7176 |    14265    10414     91 | 13.838 % |
577.04/577.20	c |     25752 |     934     1286     7176 |    15692    11786     78 | 13.838 % |
582.44/582.66	c |     38726 |     934     1286     7176 |    17261     8649     84 | 13.838 % |
592.94/593.17	c |     58189 |     934     1286     7176 |    18987    10517     94 | 13.838 % |
606.74/606.96	c |     87382 |     934     1286     7176 |    20886    10713    101 | 13.838 % |
635.23/635.41	c |    131171 |     934     1286     7176 |    22974    12088     83 | 13.838 % |
660.22/660.48	c |    196855 |     934     1286     7176 |    25272    19260     78 | 13.840 % |
719.01/719.23	c |    295386 |     934     1286     7176 |    27799    25576    107 | 13.838 % |
855.58/855.83	c |    443178 |     934     1286     7176 |    30579    22662    129 | 13.838 % |
1103.31/1103.62	c |    664861 |     934     1286     7176 |    33637    13794     91 | 13.838 % |
1540.51/1540.93	c |    997388 |     934     1286     7176 |    37001    25754    156 | 13.838 % |

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-1876203-1245155090/watcher-1876203-1245155090 -o /tmp/evaluation-result-1876203-1245155090/solver-1876203-1245155090 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876203-1245155090.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.00 1.00 1.00 3/64 2517
/proc/meminfo: memFree=1931616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=2432 CPUtime=0
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 183109158 2490368 173 1992294400 134512640 135709839 4294956240 18446744073709551615 135155739 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 641 174 128 292 0 336 0

[startup+0.074646 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2517
/proc/meminfo: memFree=1931616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=2772 CPUtime=0.07
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 281 0 0 0 7 0 0 0 18 0 1 0 183109158 2838528 255 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 693 255 135 292 0 398 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2772

[startup+0.102648 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2517
/proc/meminfo: memFree=1931616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=2876 CPUtime=0.09
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 322 0 0 0 9 0 0 0 18 0 1 0 183109158 2945024 296 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 719 296 135 292 0 424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2876

[startup+0.301667 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2517
/proc/meminfo: memFree=1931616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=3304 CPUtime=0.29
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 428 0 0 0 28 1 0 0 19 0 1 0 183109158 3383296 402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 826 402 136 292 0 531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3304

[startup+0.702706 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2517
/proc/meminfo: memFree=1931616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=4504 CPUtime=0.7
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 722 0 0 0 68 2 0 0 22 0 1 0 183109158 4612096 696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 1126 697 136 292 0 831 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 4504

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1928664/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=6112 CPUtime=1.49
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 1129 0 0 0 147 2 0 0 25 0 1 0 183109158 6258688 1103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 1528 1103 136 292 0 1233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6112

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1926424/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=8776 CPUtime=3.09
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 1774 0 0 0 306 3 0 0 25 0 1 0 183109158 8986624 1748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 2194 1748 136 292 0 1899 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8776

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1923232/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=10376 CPUtime=6.29
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 2200 0 0 0 622 7 0 0 25 0 1 0 183109158 10625024 2174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 2594 2174 136 292 0 2299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10376

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1915424/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=18968 CPUtime=12.69
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 4322 0 0 0 1257 12 0 0 25 0 1 0 183109158 19423232 4296 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 4742 4296 136 292 0 4447 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18968

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1900256/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=33684 CPUtime=25.48
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 8011 0 0 0 2529 19 0 0 25 0 1 0 183109158 34492416 7985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 8421 7985 136 292 0 8126 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33684

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1871712/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=62092 CPUtime=51.07
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 15103 0 0 0 5071 36 0 0 25 0 1 0 183109158 63582208 15077 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 15523 15077 136 292 0 15228 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62092

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1830368/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=103340 CPUtime=102.27
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 25362 0 0 0 10166 61 0 0 25 0 1 0 183109158 105820160 25336 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 25835 25336 136 292 0 25540 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103340

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1805920/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=127892 CPUtime=162.25
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 31554 0 0 0 16138 87 0 0 25 0 1 0 183109158 130961408 31528 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 31973 31528 136 292 0 31678 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 127892

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1768352/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=165020 CPUtime=222.23
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 40795 0 0 0 22111 112 0 0 25 0 1 0 183109158 168980480 40769 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 41255 40769 136 292 0 40960 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 165020

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1721568/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=212328 CPUtime=282.22
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 52600 0 0 0 28084 138 0 0 25 0 1 0 183109158 217423872 52574 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 53082 52574 136 292 0 52787 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 212328

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1677664/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=255760 CPUtime=342.2
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 63416 0 0 0 34057 163 0 0 25 0 1 0 183109158 261898240 63390 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 63940 63390 136 292 0 63645 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 255760

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1638368/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=295320 CPUtime=402.19
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 73281 0 0 0 40030 189 0 0 25 0 1 0 183109158 302407680 73255 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 73830 73255 136 292 0 73535 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 295320

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1600672/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=332656 CPUtime=462.18
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 82607 0 0 0 46005 213 0 0 25 0 1 0 183109158 340639744 82581 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 83164 82581 136 292 0 82869 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 332656

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1570016/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=363684 CPUtime=522.16
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 90337 0 0 0 51984 232 0 0 25 0 1 0 183109158 372412416 90311 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 90921 90311 136 292 0 90626 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 363684

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1538912/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=393940 CPUtime=582.14
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 98010 0 0 0 57958 256 0 0 25 0 1 0 183109158 403394560 97953 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 98485 97953 136 292 0 98190 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 393940

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1511904/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=420480 CPUtime=642.13
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 104726 0 0 0 63927 286 0 0 25 0 1 0 183109158 430571520 104669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 105120 104669 136 292 0 104825 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 420480

[startup+702.303 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1350560/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=582076 CPUtime=882.08
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 145014 0 0 0 87821 387 0 0 25 0 1 0 183109158 596045824 144957 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 145519 144957 136 292 0 145224 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 582076

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1312032/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=620464 CPUtime=942.06
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 154598 0 0 0 93797 409 0 0 25 0 1 0 183109158 635355136 154541 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 155116 154541 136 292 0 154821 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 620464

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1283616/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=648688 CPUtime=1002.04
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 161633 0 0 0 99777 427 0 0 25 0 1 0 183109158 664256512 161576 1992294400 134512640 135709839 4294956240 18446744073709551615 134568432 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 162172 161576 136 292 0 161877 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 648688

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1245984/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=686768 CPUtime=1062.03
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 171129 0 0 0 105754 449 0 0 25 0 1 0 183109158 703250432 171072 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 171692 171072 136 292 0 171397 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 686768

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1205408/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=727012 CPUtime=1122.01
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 181152 0 0 0 111730 471 0 0 25 0 1 0 183109158 744460288 181095 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 181753 181095 136 292 0 181458 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 727012

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1175776/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=757476 CPUtime=1181.99
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 188743 0 0 0 117713 486 0 0 25 0 1 0 183109158 775655424 188686 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 189369 188686 136 292 0 189074 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 757476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1136864/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=795656 CPUtime=1241.98
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 198256 0 0 0 123694 504 0 0 25 0 1 0 183109158 814751744 198199 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 198914 198199 136 292 0 198619 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 795656

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1101600/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=830612 CPUtime=1301.97
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 206999 0 0 0 129677 520 0 0 25 0 1 0 183109158 850546688 206942 1992294400 134512640 135709839 4294956240 18446744073709551615 134573778 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 207653 206942 136 292 0 207358 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 830612

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1064096/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=868724 CPUtime=1361.95
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 216505 0 0 0 135657 538 0 0 25 0 1 0 183109158 889573376 216448 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 217181 216448 136 292 0 216886 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 868724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=1024160/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=908068 CPUtime=1421.94
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 226320 0 0 0 141638 556 0 0 25 0 1 0 183109158 929861632 226263 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 227017 226263 136 292 0 226722 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 908068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=992992/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=939404 CPUtime=1481.92
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 234162 0 0 0 147619 573 0 0 25 0 1 0 183109158 961949696 234105 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 234851 234105 136 292 0 234556 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 939404

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=953504/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=978780 CPUtime=1541.9
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 243997 0 0 0 153599 591 0 0 25 0 1 0 183109158 1002270720 243940 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 244695 243940 136 292 0 244400 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 978780

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2518
/proc/meminfo: memFree=916960/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=1015192 CPUtime=1601.89
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 253087 0 0 0 159579 610 0 0 25 0 1 0 183109158 1039556608 253030 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 253798 253030 136 292 0 253503 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1015192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2520
/proc/meminfo: memFree=886560/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=1045316 CPUtime=1661.88
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 260610 0 0 0 165560 628 0 0 25 0 1 0 183109158 1070403584 260553 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 261329 260553 136 292 0 261034 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1045316

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2520
/proc/meminfo: memFree=857824/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=1074604 CPUtime=1721.86
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 267913 0 0 0 171542 644 0 0 25 0 1 0 183109158 1100394496 267856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 268651 267856 136 292 0 268356 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1074604

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2520
/proc/meminfo: memFree=827680/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=1104252 CPUtime=1781.84
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 275316 0 0 0 177522 662 0 0 25 0 1 0 183109158 1130754048 275259 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 276063 275259 136 292 0 275768 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1104252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2520
/proc/meminfo: memFree=821472/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=1110324 CPUtime=1800.05
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4194304 276819 0 0 0 179339 666 0 0 25 0 1 0 183109158 1136971776 276762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 277581 276762 136 292 0 277286 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1110324

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1469144/2055920 swapFree=4181652/4192956
[pid=2517] ppid=2515 vsize=0 CPUtime=1800.15
/proc/2517/stat : 2517 (wbo) R 2515 2517 2069 0 -1 4195332 276819 0 0 0 179339 676 0 0 25 0 1 0 183109158 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2517/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.68
CPU time (s): 1800.23
CPU user time (s): 1793.4
CPU system time (s): 6.82996
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1110324

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

runsolver used 1.3218 second user time and 3.86041 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 14:24:50
IDJOB=1876203
IDBENCH=2131
IDSOLVER=698
FILE ID=node18/1876203-1245155090
PBS_JOBID= 9363736
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= 337fa63ae90b2f1f31bfc9ba194017c3
RANDOM SEED=2135407074

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1932032 kB
Buffers:         22308 kB
Cached:          57356 kB
SwapCached:       5540 kB
Active:          46184 kB
Inactive:        41316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1932032 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:            2576 kB
Writeback:           0 kB
Mapped:          12940 kB
Slab:            22460 kB
Committed_AS:   146352 kB
PageTables:       1376 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-1876203-1245155090.opb

Free space on /tmp at the end= 66172 MiB
End job on node18 at 2009-06-16 14:54:52