Trace number 1876241

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c 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-1876241-1245160671.opb.
0.00/0.00	c Instance file HOME/instance-1876241-1245160671.opb
0.00/0.00	c File size is 40799 bytes.
0.00/0.00	c Highest Coefficient sum: 12
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1150                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 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.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: 8	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: 4	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: 4	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: 5	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: 7	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: 7	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 10
0.00/0.01	c Elapsed CPU time: 0.014997 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.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 12
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 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.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #14
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 14
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.019996 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.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 19
0.00/0.02	c Elapsed CPU time: 0.023996 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.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #21
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #22
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #23
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 23
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #24
0.02/0.03	c Core size: 3	Core Weight: 1	Total Weight: 24
0.02/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #25
0.02/0.03	c Core size: 3	Core Weight: 1	Total Weight: 25
0.02/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #26
0.02/0.03	c Core size: 4	Core Weight: 1	Total Weight: 26
0.02/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #27
0.02/0.03	c Core size: 6	Core Weight: 1	Total Weight: 27
0.02/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #28
0.02/0.03	c Core size: 4	Core Weight: 1	Total Weight: 28
0.02/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #29
0.02/0.03	c Core size: 3	Core Weight: 1	Total Weight: 29
0.02/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.02/0.03	c core #30
0.02/0.03	c Core size: 7	Core Weight: 1	Total Weight: 30
0.02/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.02/0.03	c core #31
0.02/0.03	c Core size: 6	Core Weight: 1	Total Weight: 31
0.02/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #32
0.02/0.04	c Core size: 5	Core Weight: 1	Total Weight: 32
0.02/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #33
0.02/0.04	c Core size: 5	Core Weight: 1	Total Weight: 33
0.02/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #34
0.02/0.04	c Core size: 3	Core Weight: 1	Total Weight: 34
0.02/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #35
0.02/0.04	c Core size: 3	Core Weight: 1	Total Weight: 35
0.02/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #36
0.02/0.04	c Core size: 3	Core Weight: 1	Total Weight: 36
0.02/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #37
0.02/0.04	c Core size: 4	Core Weight: 1	Total Weight: 37
0.02/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #38
0.02/0.04	c Core size: 4	Core Weight: 1	Total Weight: 38
0.02/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.02/0.04	c core #39
0.02/0.04	c Core size: 5	Core Weight: 1	Total Weight: 39
0.02/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.02/0.04	c core #40
0.02/0.04	c Core size: 3	Core Weight: 1	Total Weight: 40
0.02/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #41
0.02/0.05	c Core size: 9	Core Weight: 1	Total Weight: 41
0.02/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #42
0.02/0.05	c Core size: 6	Core Weight: 1	Total Weight: 42
0.02/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #43
0.02/0.05	c Core size: 6	Core Weight: 1	Total Weight: 43
0.02/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #44
0.02/0.05	c Core size: 5	Core Weight: 1	Total Weight: 44
0.02/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #45
0.02/0.05	c Core size: 23	Core Weight: 1	Total Weight: 45
0.02/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #46
0.02/0.05	c Core size: 23	Core Weight: 1	Total Weight: 46
0.02/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.02/0.05	c core #47
0.02/0.05	c Core size: 33	Core Weight: 1	Total Weight: 47
0.02/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.02/0.06	c core #48
0.02/0.06	c Core size: 64	Core Weight: 1	Total Weight: 48
0.02/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.02/0.06	c core #49
0.02/0.06	c Core size: 32	Core Weight: 1	Total Weight: 49
0.02/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     403     1199     4933 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c core #50
0.02/0.06	c Core size: 28	Core Weight: 1	Total Weight: 50
0.02/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     418     1200     4964 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c core #51
0.02/0.06	c Core size: 20	Core Weight: 1	Total Weight: 51
0.02/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     426     1201     4980 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c core #52
0.02/0.06	c Core size: 35	Core Weight: 1	Total Weight: 52
0.02/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.02/0.06	c Learning 1 hard constraints
0.02/0.06	c core #53
0.02/0.06	c Core size: 28	Core Weight: 1	Total Weight: 53
0.02/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     421     1204     5023 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c core #54
0.02/0.07	c Core size: 59	Core Weight: 1	Total Weight: 54
0.02/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     439     1205     5054 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c core #55
0.02/0.07	c Core size: 35	Core Weight: 1	Total Weight: 55
0.02/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     449     1206     5068 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c core #56
0.02/0.07	c Core size: 43	Core Weight: 1	Total Weight: 56
0.02/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     460     1207     5090 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c core #57
0.02/0.07	c Core size: 63	Core Weight: 1	Total Weight: 57
0.02/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.02/0.07	c Learning 1 hard constraints
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     468     1209     5111 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c core #58
0.02/0.07	c Core size: 118	Core Weight: 1	Total Weight: 58
0.02/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.02/0.07	c ============================[ Search Statistics ]==============================
0.02/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     497     1210     5170 |     5000        0    nan |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c core #59
0.02/0.08	c Core size: 207	Core Weight: 1	Total Weight: 59
0.02/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.02/0.08	c ============================[ Search Statistics ]==============================
0.02/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.08	c ===============================================================================
0.02/0.08	c |         0 |     552     1211     5280 |     5000        0    nan |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c core #60
0.02/0.08	c Core size: 135	Core Weight: 1	Total Weight: 60
0.02/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.02/0.08	c Learning 1 hard constraints
0.02/0.08	c ============================[ Search Statistics ]==============================
0.02/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.08	c ===============================================================================
0.02/0.08	c |         0 |     569     1213     5330 |     5000        0    nan |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c core #61
0.02/0.08	c Core size: 274	Core Weight: 1	Total Weight: 61
0.02/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.02/0.08	c Learning 4 hard constraints
0.02/0.08	c ============================[ Search Statistics ]==============================
0.02/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.08	c ===============================================================================
0.02/0.08	c |         0 |     609     1218     5437 |     5000        0    nan |  0.000 % |
0.02/0.09	c ===============================================================================
0.02/0.09	c core #62
0.02/0.09	c Core size: 326	Core Weight: 1	Total Weight: 62
0.02/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.02/0.09	c Learning 20 hard constraints
0.02/0.09	c ============================[ Search Statistics ]==============================
0.02/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.09	c ===============================================================================
0.02/0.09	c |         0 |     649     1239     5720 |     5000        0    nan |  0.000 % |
0.02/0.09	c ===============================================================================
0.02/0.10	c core #63
0.02/0.10	c Core size: 325	Core Weight: 1	Total Weight: 63
0.02/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 20 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 |     662     1260     5991 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #64
0.09/0.10	c Core size: 328	Core Weight: 1	Total Weight: 64
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 9 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 |     695     1270     6164 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     695     1270     6164 |     5500      100     35 |  4.422 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #65
0.09/0.12	c Core size: 342	Core Weight: 1	Total Weight: 65
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c Learning 13 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 |     739     1284     6379 |     5000        0    nan |  0.000 % |
0.09/0.12	c |       100 |     703     1284     6379 |     5500       94     18 | 13.502 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #66
0.09/0.13	c Core size: 331	Core Weight: 1	Total Weight: 66
0.09/0.13	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c Learning 17 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 |     774     1302     6766 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |     774     1302     6766 |     5500      100     14 |  3.977 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #67
0.09/0.14	c Core size: 319	Core Weight: 1	Total Weight: 67
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c Learning 11 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 |     791     1314     6993 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       105 |     791     1314     6993 |     5500      105     20 |  5.952 % |
0.09/0.15	c |       255 |     791     1314     6993 |     6050      255     17 |  5.964 % |
0.09/0.16	c |       481 |     769     1314     6993 |     6655      478     19 |  8.562 % |
0.09/0.18	c |       819 |     730     1314     6993 |     7320      689     21 | 18.787 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #68
0.09/0.19	c Core size: 332	Core Weight: 1	Total Weight: 68
0.09/0.19	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c Learning 9 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 |     824     1324     7284 |     5000        0    nan |  0.000 % |
0.19/0.20	c |       106 |     824     1324     7284 |     5500      106     51 |  5.733 % |
0.19/0.21	c |       256 |     819     1324     7284 |     6050      252     54 |  6.416 % |
0.19/0.22	c |       481 |     819     1324     7284 |     6655      477     60 |  6.416 % |
0.19/0.26	c |       818 |     818     1324     7284 |     7320      808     67 |  6.407 % |
0.29/0.31	c |      1325 |     818     1324     7284 |     8052     1315     72 |  6.407 % |
0.39/0.41	c |      2084 |     818     1324     7284 |     8857     2074     71 |  6.407 % |
0.49/0.56	c |      3225 |     816     1324     7284 |     9743     3209     68 |  6.636 % |
0.79/0.87	c |      4935 |     816     1324     7284 |    10717     4919     70 |  6.751 % |
1.29/1.38	c |      7497 |     799     1324     7284 |    11789     6542     68 |  8.583 % |
2.79/2.83	c |     11341 |     760     1324     7284 |    12968    10386     76 | 18.311 % |
2.99/3.08	c ===============================================================================
3.09/3.18	c core #69
3.09/3.18	c Core size: 418	Core Weight: 1	Total Weight: 69
3.09/3.18	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.09/3.19	c Learning 17 hard constraints
3.09/3.19	c ============================[ Search Statistics ]==============================
3.09/3.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.19	c ===============================================================================
3.09/3.19	c |         0 |     894     1342     7815 |     5000        0    nan |  0.000 % |
3.19/3.20	c |       102 |     894     1342     7815 |     5500      102     39 |  5.309 % |
3.19/3.21	c |       254 |     881     1342     7815 |     6050      251     46 |  8.907 % |
3.19/3.23	c |       481 |     858     1342     7815 |     6655      475     35 |  9.112 % |
3.19/3.25	c |       819 |     857     1342     7815 |     7320      811     35 |  9.322 % |
3.19/3.28	c |      1327 |     854     1342     7815 |     8052     1318     33 |  9.535 % |
3.29/3.34	c |      2086 |     854     1342     7815 |     8857     2077     35 |  9.534 % |
3.39/3.44	c |      3227 |     835     1342     7815 |     9743     2754     37 | 16.843 % |
3.59/3.69	c |      4939 |     785     1342     7815 |    10717     4430     40 | 16.843 % |
3.89/3.98	c ===============================================================================
3.98/4.03	c core #70
3.98/4.03	c Core size: 327	Core Weight: 1	Total Weight: 70
3.98/4.03	c Elapsed CPU time: 3.97539 s	Remaining CPU time: 1796.02 s
3.98/4.04	c Learning 5 hard constraints
3.98/4.04	c ============================[ Search Statistics ]==============================
3.98/4.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.98/4.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.98/4.04	c ===============================================================================
3.98/4.04	c |         0 |     938     1348     7978 |     5000        0    nan |  0.000 % |
3.98/4.05	c |       100 |     938     1348     7978 |     5500      100     72 |  5.072 % |
3.98/4.06	c |       254 |     938     1348     7978 |     6050      254     67 |  5.061 % |
3.98/4.07	c |       483 |     938     1348     7978 |     6655      483     53 |  5.061 % |
3.98/4.09	c |       820 |     935     1348     7978 |     7320      817     44 |  5.364 % |
4.09/4.12	c |      1326 |     916     1348     7978 |     8052     1323     43 |  8.211 % |
4.09/4.17	c |      2085 |     904     1348     7978 |     8857     2060     43 |  8.812 % |
4.19/4.29	c |      3224 |     900     1348     7978 |     9743     3199     43 |  9.627 % |
4.39/4.46	c |      4934 |     893     1348     7978 |    10717     4893     44 |  9.717 % |
4.48/4.59	c ===============================================================================
4.59/4.62	c core #71
4.59/4.62	c Core size: 377	Core Weight: 1	Total Weight: 71
4.59/4.62	c Elapsed CPU time: 4.55031 s	Remaining CPU time: 1795.45 s
4.59/4.68	c Learning 22 hard constraints
4.59/4.68	c ============================[ Search Statistics ]==============================
4.59/4.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.68	c ===============================================================================
4.59/4.68	c |         0 |     986     1371     8486 |     5000        0    nan |  0.000 % |
4.59/4.68	c |       100 |     986     1371     8486 |     5500      100     22 |  4.837 % |
4.59/4.68	c |       250 |     984     1371     8486 |     6050      249     24 |  5.019 % |
4.59/4.68	c |       475 |     980     1371     8486 |     6655      473     26 |  5.405 % |
4.59/4.68	c |       812 |     973     1371     8486 |     7320      809     29 |  7.154 % |
4.69/4.71	c |      1319 |     961     1371     8486 |     8052     1310     37 |  8.494 % |
4.69/4.77	c |      2079 |     948     1371     8486 |     8857     2060     41 |  8.504 % |
4.89/4.91	c |      3220 |     935     1371     8486 |     9743     3200     45 | 10.039 % |
5.09/5.16	c |      4928 |     935     1371     8486 |    10717     4908     48 | 10.044 % |
5.49/5.59	c |      7490 |     932     1371     8486 |    11789     7468     51 | 10.039 % |
6.29/6.39	c |     11336 |     929     1371     8486 |    12968    11314     55 | 10.622 % |
8.19/8.27	c |     17103 |     924     1371     8486 |    14265    10455     60 | 10.813 % |
10.69/10.70	c |     25752 |     924     1371     8486 |    15692    11825     68 | 10.811 % |
17.59/17.66	c |     38728 |     918     1371     8486 |    17261     8845     95 | 11.776 % |
24.38/24.47	c ===============================================================================
25.08/25.16	c core #72
25.08/25.16	c Core size: 390	Core Weight: 1	Total Weight: 72
25.08/25.16	c Elapsed CPU time: 24.9532 s	Remaining CPU time: 1775.05 s
25.19/25.23	c Learning 4 hard constraints
25.19/25.23	c ============================[ Search Statistics ]==============================
25.19/25.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.19/25.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.19/25.23	c ===============================================================================
25.19/25.23	c |         0 |    1038     1376     8671 |     5000        0    nan |  0.000 % |
25.19/25.24	c |       100 |    1038     1376     8671 |     5500      100     32 |  4.605 % |
25.19/25.25	c |       252 |    1036     1376     8671 |     6050      251     32 |  4.779 % |
25.19/25.26	c |       485 |    1027     1376     8671 |     6655      481     38 |  5.616 % |
25.19/25.28	c |       822 |    1027     1376     8671 |     7320      818     48 |  5.607 % |
25.28/25.33	c |      1329 |    1015     1376     8671 |     8052     1323     57 |  8.732 % |
25.39/25.40	c |      2088 |    1010     1376     8671 |     8857     2082     61 |  8.732 % |
25.48/25.53	c |      3228 |     992     1376     8671 |     9743     3221     64 |  8.916 % |
25.79/25.84	c |      4937 |     992     1376     8671 |    10717     4930     70 |  8.916 % |
26.29/26.31	c |      7499 |     991     1376     8671 |    11789     7491     70 |  8.916 % |
27.49/27.51	c |     11343 |     991     1376     8671 |    12968    11335     75 |  8.916 % |
29.08/29.16	c |     17110 |     991     1376     8671 |    14265    10436     80 |  8.916 % |
32.18/32.22	c |     25762 |     991     1376     8671 |    15692    11742     82 |  8.916 % |
36.08/36.13	c |     38738 |     991     1376     8671 |    17261     8649     63 |  8.916 % |
46.08/46.17	c |     58206 |     989     1376     8671 |    18987    10491     88 |  9.100 % |
62.17/62.24	c |     87398 |     989     1376     8671 |    20886    10591     87 |  9.099 % |
84.46/84.58	c |    131190 |     957     1376     8671 |    22974    11953     72 | 12.045 % |
124.46/124.54	c |    196875 |     957     1376     8671 |    25272    19004     81 | 12.041 % |
179.84/179.96	c |    295403 |     926     1376     8671 |    27799    24417     70 | 17.923 % |
195.43/195.59	c ===============================================================================
197.54/197.69	c core #73
197.54/197.69	c Core size: 331	Core Weight: 1	Total Weight: 73
197.54/197.69	c Elapsed CPU time: 196.545 s	Remaining CPU time: 1603.45 s
197.94/198.01	c ============================[ Search Statistics ]==============================
197.94/198.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.94/198.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.94/198.01	c ===============================================================================
197.94/198.01	c |         0 |    1080     1377     8755 |     5000        0    nan |  0.000 % |
197.94/198.05	c |       102 |    1080     1377     8755 |     5500      102     32 |  4.434 % |
197.94/198.07	c |       253 |    1080     1377     8755 |     6050      253     45 |  4.425 % |
197.94/198.09	c |       479 |    1080     1377     8755 |     6655      479     43 |  4.425 % |
198.03/198.12	c |       816 |    1080     1377     8755 |     7320      816     50 |  4.425 % |
198.03/198.16	c |      1322 |    1080     1377     8755 |     8052     1322     50 |  4.436 % |
198.13/198.23	c |      2084 |    1080     1377     8755 |     8857     2084     47 |  4.425 % |
198.24/198.35	c |      3223 |    1077     1377     8755 |     9743     3222     56 |  4.780 % |
198.43/198.55	c |      4931 |    1051     1377     8755 |    10717     4930     57 |  7.611 % |
199.13/199.20	c |      7496 |    1042     1377     8755 |    11789     7489     66 |  9.027 % |
200.23/200.34	c |     11341 |    1042     1377     8755 |    12968    11334     70 |  9.027 % |
201.93/202.06	c |     17110 |    1028     1377     8755 |    14265    10423     72 |  9.027 % |
205.33/205.43	c |     25760 |    1028     1377     8755 |    15692    11768     78 |  9.027 % |
210.63/210.75	c |     38735 |    1025     1377     8755 |    17261     8702     67 |  9.558 % |
217.53/217.60	c |     58198 |    1019     1377     8755 |    18987    10568     66 | 10.177 % |
232.82/232.95	c |     87391 |    1015     1377     8755 |    20886    10736    112 | 10.181 % |
256.72/256.86	c |    131182 |    1011     1377     8755 |    22974    11999     81 | 10.537 % |
283.11/283.24	c |    196866 |     998     1377     8755 |    25272    18996     79 | 11.947 % |
348.10/348.22	c |    295392 |     995     1377     8755 |    27799    25304     95 | 11.950 % |
453.97/454.10	c |    443181 |     995     1377     8755 |    30579    17239     88 | 11.947 % |
631.92/632.10	c |    664870 |     965     1377     8755 |    33637    26847     73 | 14.602 % |
888.65/888.94	c |    997399 |     965     1377     8755 |    37001    24169    103 | 14.602 % |
1255.65/1256.02	c ===============================================================================
1265.24/1265.63	c core #74
1265.24/1265.63	c Core size: 440	Core Weight: 1	Total Weight: 74
1265.24/1265.63	c Elapsed CPU time: 1259.93 s	Remaining CPU time: 540.068 s
1266.55/1266.93	c Learning 3 hard constraints
1266.55/1266.93	c ============================[ Search Statistics ]==============================
1266.55/1266.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1266.55/1266.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1266.55/1266.93	c ===============================================================================
1266.55/1266.93	c |         0 |    1170     1381     9021 |     5000        0    nan |  0.000 % |
1266.65/1267.08	c |       100 |    1170     1381     9021 |     5500      100     65 |  4.106 % |
1266.76/1267.19	c |       256 |    1170     1381     9021 |     6050      256     70 |  4.098 % |
1266.86/1267.21	c |       482 |    1170     1381     9021 |     6655      482     58 |  4.098 % |
1266.86/1267.24	c |       819 |    1166     1381     9021 |     7320      818     57 |  4.433 % |
1266.86/1267.28	c |      1325 |    1139     1381     9021 |     8052     1324     63 |  7.049 % |
1266.95/1267.34	c |      2085 |    1129     1381     9021 |     8857     2078     68 |  8.361 % |
1267.05/1267.47	c |      3224 |    1129     1381     9021 |     9743     3217     74 |  8.361 % |
1267.35/1267.74	c |      4933 |    1118     1381     9021 |    10717     4925     81 |  8.361 % |
1267.95/1268.34	c |      7495 |    1113     1381     9021 |    11789     7487     84 |  9.344 % |
1269.35/1269.74	c |     11341 |    1106     1381     9021 |    12968    11330     87 |  9.344 % |
1271.25/1271.69	c |     17107 |    1105     1381     9021 |    14265    10384     88 |  9.508 % |
1277.64/1278.07	c |     25758 |    1105     1381     9021 |    15692    11653    103 |  9.511 % |
1284.75/1285.19	c |     38732 |    1104     1381     9021 |    17261     8440     96 |  9.508 % |
1292.54/1292.97	c |     58194 |    1104     1381     9021 |    18987    10324     95 |  9.508 % |
1307.73/1308.19	c |     87386 |    1104     1381     9021 |    20886    10499    103 |  9.508 % |
1342.03/1342.46	c |    131175 |    1098     1381     9021 |    22974    11695     92 | 10.003 % |
1386.91/1387.37	c |    196867 |    1098     1381     9021 |    25272    18910    131 | 10.000 % |
1456.89/1457.36	c |    295399 |    1098     1381     9021 |    27799    24812    109 | 10.000 % |
1570.47/1570.93	c |    443190 |    1098     1381     9021 |    30579    23562    108 | 10.000 % |

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-1876241-1245160671/watcher-1876241-1245160671 -o /tmp/evaluation-result-1876241-1245160671/solver-1876241-1245160671 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876241-1245160671.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 0.99 0.99 3/64 11623
/proc/meminfo: memFree=1859760/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=2564 CPUtime=0
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 68769914 2625536 174 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 641 174 128 292 0 336 0

[startup+0.0307379 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11623
/proc/meminfo: memFree=1859760/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=2640 CPUtime=0.02
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 243 0 0 0 2 0 0 0 18 0 1 0 68769914 2703360 217 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 660 217 133 292 0 365 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2640

[startup+0.101746 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11623
/proc/meminfo: memFree=1859760/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=2872 CPUtime=0.09
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 318 0 0 0 9 0 0 0 18 0 1 0 68769914 2940928 292 1992294400 134512640 135709839 4294956240 18446744073709551615 134605310 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 718 292 135 292 0 423 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2872

[startup+0.301768 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11623
/proc/meminfo: memFree=1859760/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=3428 CPUtime=0.29
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 451 0 0 0 29 0 0 0 19 0 1 0 68769914 3510272 425 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 857 425 136 292 0 562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3428

[startup+0.701814 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 11623
/proc/meminfo: memFree=1859760/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=4748 CPUtime=0.69
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 776 0 0 0 68 1 0 0 22 0 1 0 68769914 4861952 750 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 1187 750 136 292 0 892 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4748

[startup+1.50191 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11624
/proc/meminfo: memFree=1856296/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=6464 CPUtime=1.49
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 1221 0 0 0 146 3 0 0 25 0 1 0 68769914 6619136 1195 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 1616 1195 136 292 0 1321 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6464

[startup+3.10109 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11624
/proc/meminfo: memFree=1854440/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=8988 CPUtime=3.09
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 1838 0 0 0 305 4 0 0 25 0 1 0 68769914 9203712 1812 1992294400 134512640 135709839 4294956240 18446744073709551615 134516537 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 2247 1813 136 292 0 1952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8988

[startup+6.30146 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11624
/proc/meminfo: memFree=1852328/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=9392 CPUtime=6.29
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 1936 0 0 0 620 9 0 0 25 0 1 0 68769914 9617408 1910 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 2348 1910 136 292 0 2053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9392

[startup+12.7012 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11624
/proc/meminfo: memFree=1844720/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=17880 CPUtime=12.68
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 4055 0 0 0 1254 14 0 0 25 0 1 0 68769914 18309120 4029 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 4470 4029 136 292 0 4175 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17880

[startup+25.5017 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 11624
/proc/meminfo: memFree=1828784/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=32872 CPUtime=25.48
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 7789 0 0 0 2527 21 0 0 25 0 1 0 68769914 33660928 7763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 8218 7763 136 292 0 7923 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32872

[startup+51.1017 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 11624
/proc/meminfo: memFree=1808752/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=53132 CPUtime=51.07
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 12862 0 0 0 5067 40 0 0 25 0 1 0 68769914 54407168 12836 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 13283 12836 136 292 0 12988 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53132

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 0.99 2/65 11626
/proc/meminfo: memFree=1757936/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=103832 CPUtime=102.26
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 25487 0 0 0 10161 65 0 0 25 0 1 0 68769914 106323968 25461 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 25958 25461 136 292 0 25663 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 103832

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.99 2/65 11626
/proc/meminfo: memFree=1718192/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=143980 CPUtime=162.25
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 35476 0 0 0 16138 87 0 0 25 0 1 0 68769914 147435520 35450 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 35995 35450 136 292 0 35700 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 143980

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1684464/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=176580 CPUtime=222.23
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 43749 0 0 0 22100 123 0 0 25 0 1 0 68769914 180817920 43695 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 44145 43695 136 292 0 43850 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 176580

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1643568/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=218472 CPUtime=282.21
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 54220 0 0 0 28065 156 0 0 25 0 1 0 68769914 223715328 54166 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 54618 54166 136 292 0 54323 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 218472

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1593456/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=267920 CPUtime=342.2
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 66525 0 0 0 34035 185 0 0 25 0 1 0 68769914 274350080 66471 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 66980 66471 136 292 0 66685 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 267920

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1553264/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=308300 CPUtime=402.18
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 76562 0 0 0 40008 210 0 0 25 0 1 0 68769914 315699200 76508 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 77075 76508 136 292 0 76780 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 308300

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1500400/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=361044 CPUtime=462.17
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 89730 0 0 0 45975 242 0 0 25 0 1 0 68769914 369709056 89676 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 90261 89676 136 292 0 89966 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 361044

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1459696/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=402312 CPUtime=522.14
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 99992 0 0 0 51949 265 0 0 25 0 1 0 68769914 411967488 99938 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 100578 99938 136 292 0 100283 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 402312

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1428848/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=432660 CPUtime=582.14
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 107586 0 0 0 57929 285 0 0 25 0 1 0 68769914 443043840 107532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 108165 107532 136 292 0 107870 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 432660

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1384304/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=476972 CPUtime=642.12
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 118647 0 0 0 63897 315 0 0 25 0 1 0 68769914 488419328 118593 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 119243 118593 136 292 0 118948 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 476972

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1218544/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=643080 CPUtime=882.05
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 160042 0 0 0 87790 415 0 0 25 0 1 0 68769914 658513920 159988 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 160770 159988 136 292 0 160475 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 643080

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1182512/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=679576 CPUtime=942.03
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 169144 0 0 0 93770 433 0 0 25 0 1 0 68769914 695885824 169090 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 169894 169090 136 292 0 169599 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 679576

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1142896/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=718656 CPUtime=1002.02
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 178908 0 0 0 99747 455 0 0 25 0 1 0 68769914 735903744 178854 1992294400 134512640 135709839 4294956240 18446744073709551615 134574264 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 179664 178854 136 292 0 179369 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 718656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1103280/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=758380 CPUtime=1062.01
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 188816 0 0 0 105725 476 0 0 25 0 1 0 68769914 776581120 188762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 189595 188762 136 292 0 189300 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 758380

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1063536/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=797916 CPUtime=1121.99
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 198675 0 0 0 111703 496 0 0 25 0 1 0 68769914 817065984 198621 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 199479 198621 136 292 0 199184 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 797916

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=1033712/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=828120 CPUtime=1181.97
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 206225 0 0 0 117684 513 0 0 25 0 1 0 68769914 847994880 206171 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 207030 206171 136 292 0 206735 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 828120

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=994544/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=867192 CPUtime=1241.96
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 215944 0 0 0 123664 532 0 0 25 0 1 0 68769914 888004608 215890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 216798 215890 136 292 0 216503 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 867192

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=975344/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=884800 CPUtime=1301.94
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 220614 0 0 0 129643 551 0 0 25 0 1 0 68769914 906035200 220560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 221200 220560 136 292 0 220905 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 884800

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=974576/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=884800 CPUtime=1361.92
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 220803 0 0 0 135622 570 0 0 25 0 1 0 68769914 906035200 220749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 221200 220749 136 292 0 220905 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 884800

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=950192/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=909164 CPUtime=1421.91
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 226892 0 0 0 141595 596 0 0 25 0 1 0 68769914 930983936 226838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 227291 226838 136 292 0 226996 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 909164

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=922800/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=936972 CPUtime=1481.89
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 233792 0 0 0 147571 618 0 0 25 0 1 0 68769914 959459328 233738 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 234243 233738 136 292 0 233948 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 936972

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=890736/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=968916 CPUtime=1541.87
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 241762 0 0 0 153546 641 0 0 25 0 1 0 68769914 992169984 241708 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 242229 241708 136 292 0 241934 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 968916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=854512/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=1005340 CPUtime=1601.86
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 250819 0 0 0 159522 664 0 0 25 0 1 0 68769914 1029468160 250765 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 251335 250765 136 292 0 251040 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1005340

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=827248/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=1032300 CPUtime=1661.84
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 257540 0 0 0 165501 683 0 0 25 0 1 0 68769914 1057075200 257486 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 258075 257486 136 292 0 257780 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1032300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=802288/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=1057744 CPUtime=1721.83
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 263882 0 0 0 171482 701 0 0 25 0 1 0 68769914 1083129856 263828 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 264436 263828 136 292 0 264141 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1057744

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=773872/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=1085956 CPUtime=1781.81
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 270878 0 0 0 177465 716 0 0 25 0 1 0 68769914 1112018944 270824 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 271489 270824 136 292 0 271194 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1085956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 11632
/proc/meminfo: memFree=762096/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=1097472 CPUtime=1800.01
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4194304 273768 0 0 0 179278 723 0 0 25 0 1 0 68769914 1123811328 273714 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 274368 273714 136 292 0 274073 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1097472

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 0.99 2/66 11633
/proc/meminfo: memFree=1387880/2055920 swapFree=4192952/4192956
[pid=11623] ppid=11621 vsize=0 CPUtime=1800.12
/proc/11623/stat : 11623 (wbo) R 11621 11623 11328 0 -1 4195332 273768 0 0 0 179278 734 0 0 25 0 1 0 68769914 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11623/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.68
CPU time (s): 1800.19
CPU user time (s): 1792.78
CPU system time (s): 7.40787
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1097472

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

runsolver used 1.48077 second user time and 4.03439 second system time

The end

Launcher Data 

Begin job on node20 at 2009-06-16 15:57:51
IDJOB=1876241
IDBENCH=2196
IDSOLVER=698
FILE ID=node20/1876241-1245160671
PBS_JOBID= 9363802
Free space on /tmp= 66324 MiB

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

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

MD5SUM BENCH= b73cea9d9e4cbead7bc459c298b4b53a
RANDOM SEED=1383512

node20.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.234
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.234
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:       1860176 kB
Buffers:         31740 kB
Cached:          77940 kB
SwapCached:          4 kB
Active:          43348 kB
Inactive:        79780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860176 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          23232 kB
Slab:            58668 kB
Committed_AS:   130852 kB
PageTables:       1400 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-1876241-1245160671.opb

Free space on /tmp at the end= 66320 MiB
End job on node20 at 2009-06-16 16:27:53