Trace number 3447213

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.07 1800.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MD5SUM540e5098c207f1245411172896d943a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark172
Best CPU time to get the best result obtained on this benchmark0.102983
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447213-1307907100.wbo.
0.00/0.00	c Instance file HOME/instance-3447213-1307907100.wbo
0.00/0.00	c File size is 44957 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1050                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     200     1050     4532 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 217	Core Weight: 1	Total Weight: 1
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     370     1219     5378 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 207	Core Weight: 20	Total Weight: 21
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     547     1396     6278 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 208	Core Weight: 6	Total Weight: 27
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     728     1577     7193 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #4
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 213	Core Weight: 3	Total Weight: 30
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     905     1754     8097 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #5
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 195	Core Weight: 2	Total Weight: 32
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1068     1917     8919 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #6
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 206	Core Weight: 21	Total Weight: 53
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1229     2078     9734 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #7
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 208	Core Weight: 1	Total Weight: 54
0.00/0.01	c Current CPU time: 0.015997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1407     2255    10635 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #8
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 210	Core Weight: 1	Total Weight: 55
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1591     2438    11575 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 227	Core Weight: 2	Total Weight: 57
0.00/0.02	c Current CPU time: 0.020996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1761     2607    12431 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.03	c core #10
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 227	Core Weight: 5	Total Weight: 62
0.00/0.03	c Current CPU time: 0.023996 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1952     2798    13414 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #11
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 214	Core Weight: 2	Total Weight: 64
0.00/0.03	c Current CPU time: 0.026995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2144     2990    14412 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #12
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 223	Core Weight: 4	Total Weight: 68
0.00/0.03	c Current CPU time: 0.031995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    2333     3179    15389 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #13
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 205	Core Weight: 2	Total Weight: 70
0.00/0.04	c Current CPU time: 0.034994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2506     3351    16273 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #14
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 222	Core Weight: 11	Total Weight: 81
0.00/0.04	c Current CPU time: 0.038994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2710     3554    17334 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.05	c core #15
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 230	Core Weight: 3	Total Weight: 84
0.00/0.05	c Current CPU time: 0.042993 s
0.00/0.05	c
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2892     3736    18268 |     5000        0   -nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.06	c core #16
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 341	Core Weight: 1	Total Weight: 85
0.00/0.06	c Current CPU time: 0.051992 s
0.00/0.06	c
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 |    3177     4018    19803 |     5000        0   -nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #17
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 315	Core Weight: 1	Total Weight: 86
0.00/0.06	c Current CPU time: 0.057991 s
0.00/0.06	c
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 |    3418     4256    21061 |     5000        0   -nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #18
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 296	Core Weight: 1	Total Weight: 87
0.00/0.07	c Current CPU time: 0.065989 s
0.00/0.07	c
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 |    3668     4503    22382 |     5000        0   -nan |  0.000 % |
0.00/0.08	c |       100 |    3652     4503    22382 |     5500      100     10 |  1.527 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c core #19
0.00/0.08	c 
0.00/0.08	c 
0.00/0.08	c Core size: 332	Core Weight: 1	Total Weight: 88
0.00/0.08	c Current CPU time: 0.077988 s
0.00/0.08	c
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |    3950     4772    23855 |     5000        0   -nan |  0.000 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c core #20
0.00/0.09	c 
0.00/0.09	c 
0.00/0.09	c Core size: 292	Core Weight: 1	Total Weight: 89
0.00/0.09	c Current CPU time: 0.085986 s
0.00/0.09	c
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |    4198     5020    25184 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #21
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 322	Core Weight: 1	Total Weight: 90
0.09/0.10	c Current CPU time: 0.096985 s
0.09/0.10	c
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 |    4478     5294    26663 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.12	c core #22
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 350	Core Weight: 1	Total Weight: 91
0.09/0.12	c Current CPU time: 0.107983 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    4780     5595    28327 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.13	c core #23
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 299	Core Weight: 1	Total Weight: 92
0.09/0.13	c Current CPU time: 0.119981 s
0.09/0.13	c
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 |    5053     5862    29776 |     5000        0   -nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #24
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 350	Core Weight: 1	Total Weight: 93
0.09/0.14	c Current CPU time: 0.13098 s
0.09/0.14	c
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 |    5342     6147    31303 |     5000        0   -nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #25
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 326	Core Weight: 1	Total Weight: 94
0.09/0.15	c Current CPU time: 0.142978 s
0.09/0.15	c
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    5618     6422    32794 |     5000        0   -nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.17	c core #26
0.09/0.17	c 
0.09/0.17	c 
0.09/0.17	c Core size: 354	Core Weight: 1	Total Weight: 95
0.09/0.17	c Current CPU time: 0.156976 s
0.09/0.17	c
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    5920     6718    34405 |     5000        0   -nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #27
0.09/0.18	c 
0.09/0.18	c 
0.09/0.18	c Core size: 285	Core Weight: 1	Total Weight: 96
0.09/0.18	c Current CPU time: 0.168974 s
0.09/0.18	c
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    6181     6976    35791 |     5000        0   -nan |  0.000 % |
0.09/0.19	c |       100 |    6171     6976    35791 |     5500      100      9 |  0.324 % |
0.09/0.19	c ===============================================================================
0.19/0.20	c core #28
0.19/0.20	c 
0.19/0.20	c 
0.19/0.20	c Core size: 341	Core Weight: 1	Total Weight: 97
0.19/0.20	c Current CPU time: 0.184971 s
0.19/0.20	c
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    6473     7259    37349 |     5000        0   -nan |  0.000 % |
0.19/0.21	c |       100 |    6471     7259    37349 |     5500      100     11 |  0.031 % |
0.19/0.22	c ===============================================================================
0.19/0.23	c core #29
0.19/0.23	c 
0.19/0.23	c 
0.19/0.23	c Core size: 387	Core Weight: 1	Total Weight: 98
0.19/0.23	c Current CPU time: 0.210967 s
0.19/0.23	c
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    6828     7592    39226 |     5000        0   -nan |  0.000 % |
0.19/0.24	c |       101 |    6827     7592    39226 |     5500      101     10 |  0.059 % |
0.19/0.24	c ===============================================================================
0.19/0.25	c core #30
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 350	Core Weight: 1	Total Weight: 99
0.19/0.25	c Current CPU time: 0.233964 s
0.19/0.25	c
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |    7156     7911    40985 |     5000        0   -nan |  0.000 % |
0.19/0.26	c |       100 |    7156     7911    40985 |     5500      100      9 |  0.028 % |
0.19/0.27	c ===============================================================================
0.19/0.27	c core #31
0.19/0.27	c 
0.19/0.27	c 
0.19/0.27	c Core size: 370	Core Weight: 1	Total Weight: 100
0.19/0.27	c Current CPU time: 0.25696 s
0.19/0.27	c
0.19/0.27	c ============================[ Search Statistics ]==============================
0.19/0.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.27	c ===============================================================================
0.19/0.27	c |         0 |    7504     8241    42849 |     5000        0   -nan |  0.000 % |
0.19/0.29	c |       100 |    7502     8241    42849 |     5500      100     10 |  0.027 % |
0.19/0.30	c ===============================================================================
0.29/0.30	c core #32
0.29/0.30	c 
0.29/0.30	c 
0.29/0.30	c Core size: 377	Core Weight: 1	Total Weight: 101
0.29/0.30	c Current CPU time: 0.281957 s
0.29/0.30	c
0.29/0.30	c ============================[ Search Statistics ]==============================
0.29/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    7832     8558    44594 |     5000        0   -nan |  0.000 % |
0.29/0.32	c |       100 |    7830     8558    44594 |     5500      100     11 |  0.026 % |
0.29/0.32	c ===============================================================================
0.29/0.33	c core #33
0.29/0.33	c 
0.29/0.33	c 
0.29/0.33	c Core size: 391	Core Weight: 1	Total Weight: 102
0.29/0.33	c Current CPU time: 0.309952 s
0.29/0.33	c
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    8176     8894    46455 |     5000        0   -nan |  0.000 % |
0.29/0.34	c |       101 |    8168     8894    46455 |     5500      101     10 |  0.098 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c core #34
0.29/0.35	c 
0.29/0.35	c 
0.29/0.35	c Core size: 362	Core Weight: 1	Total Weight: 103
0.29/0.35	c Current CPU time: 0.332949 s
0.29/0.35	c
0.29/0.35	c ============================[ Search Statistics ]==============================
0.29/0.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    8505     9205    48184 |     5000        0   -nan |  0.000 % |
0.29/0.37	c |       101 |    8504     9205    48184 |     5500      101     10 |  0.024 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c core #35
0.29/0.38	c 
0.29/0.38	c 
0.29/0.38	c Core size: 381	Core Weight: 1	Total Weight: 104
0.29/0.38	c Current CPU time: 0.357945 s
0.29/0.38	c
0.29/0.38	c ============================[ Search Statistics ]==============================
0.29/0.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.38	c ===============================================================================
0.29/0.38	c |         0 |    8851     9532    50014 |     5000        0   -nan |  0.000 % |
0.39/0.40	c |       100 |    8845     9532    50014 |     5500      100      9 |  0.136 % |
0.39/0.40	c ===============================================================================
0.39/0.41	c core #36
0.39/0.41	c 
0.39/0.41	c 
0.39/0.41	c Core size: 359	Core Weight: 1	Total Weight: 105
0.39/0.41	c Current CPU time: 0.379942 s
0.39/0.41	c
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    9185     9862    51845 |     5000        0   -nan |  0.000 % |
0.39/0.42	c |       102 |    9183     9862    51845 |     5500      102     11 |  0.022 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c core #37
0.39/0.43	c 
0.39/0.43	c 
0.39/0.43	c Core size: 400	Core Weight: 1	Total Weight: 106
0.39/0.43	c Current CPU time: 0.404938 s
0.39/0.43	c
0.39/0.43	c ============================[ Search Statistics ]==============================
0.39/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    9544    10205    53788 |     5000        0   -nan |  0.000 % |
0.39/0.45	c |       100 |    9542    10205    53788 |     5500      100     10 |  0.021 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c core #38
0.39/0.46	c 
0.39/0.46	c 
0.39/0.46	c Core size: 372	Core Weight: 1	Total Weight: 107
0.39/0.46	c Current CPU time: 0.432934 s
0.39/0.46	c
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    9881    10531    55610 |     5000        0   -nan |  0.000 % |
0.39/0.48	c |       101 |    9881    10531    55610 |     5500      101     10 |  0.020 % |
0.39/0.48	c ===============================================================================
0.39/0.49	c core #39
0.39/0.49	c 
0.39/0.49	c 
0.39/0.49	c Core size: 376	Core Weight: 1	Total Weight: 108
0.39/0.49	c Current CPU time: 0.45893 s
0.39/0.49	c
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |   10229    10872    57531 |     5000        0   -nan |  0.000 % |
0.49/0.51	c |       101 |   10227    10872    57531 |     5500      101     10 |  0.039 % |
0.49/0.51	c ===============================================================================
0.49/0.52	c core #40
0.49/0.52	c 
0.49/0.52	c 
0.49/0.52	c Core size: 355	Core Weight: 1	Total Weight: 109
0.49/0.52	c Current CPU time: 0.483926 s
0.49/0.52	c
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |   10549    11183    59258 |     5000        0   -nan |  0.000 % |
0.49/0.53	c |       101 |   10548    11183    59258 |     5500      101     10 |  0.019 % |
0.49/0.54	c ===============================================================================
0.49/0.55	c core #41
0.49/0.55	c 
0.49/0.55	c 
0.49/0.55	c Core size: 411	Core Weight: 1	Total Weight: 110
0.49/0.55	c Current CPU time: 0.513921 s
0.49/0.55	c
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |   10934    11543    61332 |     5000        0   -nan |  0.000 % |
0.49/0.57	c |       100 |   10933    11543    61332 |     5500      100     11 |  0.018 % |
0.49/0.58	c ===============================================================================
0.49/0.59	c core #42
0.49/0.59	c 
0.49/0.59	c 
0.49/0.59	c Core size: 383	Core Weight: 1	Total Weight: 111
0.49/0.59	c Current CPU time: 0.544917 s
0.49/0.59	c
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |   11288    11885    63233 |     5000        0   -nan |  0.000 % |
0.59/0.60	c |       100 |   11286    11885    63233 |     5500      100     12 |  0.018 % |
0.59/0.61	c ===============================================================================
0.59/0.62	c core #43
0.59/0.62	c 
0.59/0.62	c 
0.59/0.62	c Core size: 389	Core Weight: 1	Total Weight: 112
0.59/0.62	c Current CPU time: 0.578911 s
0.59/0.62	c
0.59/0.62	c ============================[ Search Statistics ]==============================
0.59/0.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |   11655    12234    65233 |     5000        0   -nan |  0.000 % |
0.59/0.64	c |       101 |   11655    12234    65233 |     5500      101     10 |  0.017 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c core #44
0.59/0.65	c 
0.59/0.65	c 
0.59/0.65	c Core size: 416	Core Weight: 1	Total Weight: 113
0.59/0.65	c Current CPU time: 0.609907 s
0.59/0.65	c
0.59/0.65	c ============================[ Search Statistics ]==============================
0.59/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.65	c ===============================================================================
0.59/0.65	c |         0 |   12013    12574    67165 |     5000        0   -nan |  0.000 % |
0.59/0.67	c |       100 |   12012    12574    67165 |     5500      100     10 |  0.033 % |
0.59/0.69	c ===============================================================================
0.69/0.70	c core #45
0.69/0.70	c 
0.69/0.70	c 
0.69/0.70	c Core size: 468	Core Weight: 1	Total Weight: 114
0.69/0.70	c Current CPU time: 0.6519 s
0.69/0.70	c
0.69/0.70	c ============================[ Search Statistics ]==============================
0.69/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.70	c ===============================================================================
0.69/0.70	c |         0 |   12438    12968    69450 |     5000        0   -nan |  0.000 % |
0.69/0.72	c |       101 |   12436    12968    69450 |     5500      101     12 |  0.016 % |
0.69/0.74	c ===============================================================================
0.69/0.75	c core #46
0.69/0.75	c 
0.69/0.75	c 
0.69/0.75	c Core size: 441	Core Weight: 1	Total Weight: 115
0.69/0.75	c Current CPU time: 0.703892 s
0.69/0.75	c
0.69/0.75	c ============================[ Search Statistics ]==============================
0.69/0.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.75	c ===============================================================================
0.69/0.75	c |         0 |   12860    13344    71648 |     5000        0   -nan |  0.000 % |
0.69/0.77	c |       100 |   12857    13344    71648 |     5500      100     10 |  0.047 % |
0.69/0.79	c ===============================================================================
0.79/0.80	c core #47
0.79/0.80	c 
0.79/0.80	c 
0.79/0.80	c Core size: 449	Core Weight: 1	Total Weight: 116
0.79/0.80	c Current CPU time: 0.748886 s
0.79/0.80	c
0.79/0.80	c ============================[ Search Statistics ]==============================
0.79/0.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.80	c ===============================================================================
0.79/0.80	c |         0 |   13265    13711    73770 |     5000        0   -nan |  0.000 % |
0.79/0.82	c |       101 |   13265    13711    73770 |     5500      101     13 |  0.000 % |
0.79/0.84	c |       252 |   13261    13711    73770 |     6050      252     12 |  0.075 % |
0.79/0.85	c ===============================================================================
0.79/0.86	c core #48
0.79/0.86	c 
0.79/0.86	c 
0.79/0.86	c Core size: 457	Core Weight: 1	Total Weight: 117
0.79/0.86	c Current CPU time: 0.804877 s
0.79/0.86	c
0.79/0.86	c ============================[ Search Statistics ]==============================
0.79/0.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.86	c ===============================================================================
0.79/0.86	c |         0 |   13683    14093    75991 |     5000        0   -nan |  0.000 % |
0.79/0.88	c |       101 |   13683    14093    75991 |     5500      101     15 |  0.000 % |
0.89/0.90	c |       251 |   13680    14093    75991 |     6050      251     13 |  0.029 % |
0.89/0.91	c ===============================================================================
0.89/0.92	c core #49
0.89/0.92	c 
0.89/0.92	c 
0.89/0.92	c Core size: 501	Core Weight: 1	Total Weight: 118
0.89/0.92	c Current CPU time: 0.867868 s
0.89/0.92	c
0.89/0.92	c ============================[ Search Statistics ]==============================
0.89/0.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.92	c ===============================================================================
0.89/0.92	c |         0 |   14132    14489    78342 |     5000        0   -nan |  0.000 % |
0.89/0.95	c |       100 |   14132    14489    78342 |     5500      100     17 |  0.000 % |
0.89/0.97	c |       250 |   14126    14489    78342 |     6050      250     13 |  0.071 % |
0.89/0.97	c ===============================================================================
0.89/0.98	c core #50
0.89/0.98	c 
0.89/0.98	c 
0.89/0.98	c Core size: 464	Core Weight: 1	Total Weight: 119
0.89/0.98	c Current CPU time: 0.927858 s
0.89/0.98	c
0.89/0.98	c ============================[ Search Statistics ]==============================
0.89/0.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |   14565    14885    80655 |     5000        0   -nan |  0.000 % |
0.99/1.01	c |       102 |   14565    14885    80655 |     5500      102     16 |  0.000 % |
0.99/1.03	c |       253 |   14565    14885    80655 |     6050      253     14 |  0.000 % |
0.99/1.04	c ===============================================================================
0.99/1.05	c core #51
0.99/1.05	c 
0.99/1.05	c 
0.99/1.05	c Core size: 496	Core Weight: 1	Total Weight: 120
0.99/1.05	c Current CPU time: 0.990849 s
0.99/1.05	c
0.99/1.05	c ============================[ Search Statistics ]==============================
0.99/1.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.99/1.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.99/1.05	c ===============================================================================
0.99/1.05	c |         0 |   15013    15300    83094 |     5100        0   -nan |  0.000 % |
0.99/1.08	c |       100 |   15013    15300    83094 |     5610      100     13 |  0.000 % |
1.09/1.10	c |       250 |   15007    15300    83094 |     6171      250     13 |  0.040 % |
1.09/1.11	c ===============================================================================
1.09/1.12	c core #52
1.09/1.12	c 
1.09/1.12	c 
1.09/1.12	c Core size: 454	Core Weight: 1	Total Weight: 121
1.09/1.12	c Current CPU time: 1.05484 s
1.09/1.12	c
1.09/1.12	c ============================[ Search Statistics ]==============================
1.09/1.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.12	c ===============================================================================
1.09/1.12	c |         0 |   15418    15669    85240 |     5223        0   -nan |  0.000 % |
1.09/1.15	c |       100 |   15418    15669    85240 |     5745      100     15 |  0.000 % |
1.09/1.17	c |       250 |   15418    15669    85240 |     6319      250     13 |  0.013 % |
1.09/1.18	c ===============================================================================
1.09/1.19	c core #53
1.09/1.19	c 
1.09/1.19	c 
1.09/1.19	c Core size: 486	Core Weight: 1	Total Weight: 122
1.09/1.19	c Current CPU time: 1.12383 s
1.09/1.19	c
1.09/1.19	c ============================[ Search Statistics ]==============================
1.09/1.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.19	c ===============================================================================
1.09/1.19	c |         0 |   15867    16072    87609 |     5357        0   -nan |  0.000 % |
1.20/1.22	c |       100 |   15867    16072    87609 |     5893      100     14 |  0.000 % |
1.20/1.24	c |       251 |   15867    16072    87609 |     6482      251     13 |  0.000 % |
1.20/1.26	c ===============================================================================
1.20/1.27	c core #54
1.20/1.27	c 
1.20/1.27	c 
1.20/1.27	c Core size: 504	Core Weight: 1	Total Weight: 123
1.20/1.27	c Current CPU time: 1.20182 s
1.20/1.27	c
1.20/1.27	c ============================[ Search Statistics ]==============================
1.20/1.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.20/1.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.20/1.27	c ===============================================================================
1.20/1.27	c |         0 |   16329    16481    90042 |     5493        0   -nan |  0.000 % |
1.29/1.30	c |       103 |   16329    16481    90042 |     6043      103     16 |  0.000 % |
1.29/1.32	c |       253 |   16329    16481    90042 |     6647      253     13 |  0.000 % |
1.29/1.34	c ===============================================================================
1.29/1.35	c core #55
1.29/1.35	c 
1.29/1.35	c 
1.29/1.35	c Core size: 503	Core Weight: 1	Total Weight: 124
1.29/1.35	c Current CPU time: 1.27381 s
1.29/1.35	c
1.29/1.35	c ============================[ Search Statistics ]==============================
1.29/1.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.35	c ===============================================================================
1.29/1.35	c |         0 |   16784    16899    92500 |     5633        0   -nan |  0.000 % |
1.29/1.37	c |       101 |   16784    16899    92500 |     6196      101     17 |  0.000 % |
1.29/1.40	c |       252 |   16784    16899    92500 |     6815      252     14 |  0.000 % |
1.39/1.41	c ===============================================================================
1.39/1.42	c core #56
1.39/1.42	c 
1.39/1.42	c 
1.39/1.42	c Core size: 508	Core Weight: 1	Total Weight: 125
1.39/1.42	c Current CPU time: 1.3458 s
1.39/1.42	c
1.39/1.42	c ============================[ Search Statistics ]==============================
1.39/1.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.43	c ===============================================================================
1.39/1.43	c |         0 |   17247    17304    94933 |     5768        0   -nan |  0.000 % |
1.39/1.45	c |       101 |   17247    17304    94933 |     6344      101     14 |  0.000 % |
1.39/1.47	c |       252 |   17247    17304    94933 |     6979      252     13 |  0.000 % |
1.49/1.50	c ===============================================================================
1.49/1.51	c core #57
1.49/1.51	c 
1.49/1.51	c 
1.49/1.51	c Core size: 552	Core Weight: 1	Total Weight: 126
1.49/1.51	c Current CPU time: 1.42378 s
1.49/1.51	c
1.49/1.51	c ============================[ Search Statistics ]==============================
1.49/1.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.51	c ===============================================================================
1.49/1.51	c |         0 |   17748    17733    97555 |     5911        0   -nan |  0.000 % |
1.49/1.54	c |       100 |   17748    17733    97555 |     6502      100     16 |  0.000 % |
1.49/1.56	c |       251 |   17746    17733    97555 |     7152      251     14 |  0.011 % |
1.49/1.58	c ===============================================================================
1.49/1.59	c core #58
1.49/1.59	c 
1.49/1.59	c 
1.49/1.59	c Core size: 531	Core Weight: 1	Total Weight: 127
1.49/1.59	c Current CPU time: 1.50077 s
1.49/1.59	c
1.49/1.59	c ============================[ Search Statistics ]==============================
1.49/1.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.49/1.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.49/1.59	c ===============================================================================
1.49/1.59	c |         0 |   18244    18170   100194 |     6056        0   -nan |  0.000 % |
1.59/1.62	c |       100 |   18244    18170   100194 |     6662      100     15 |  0.000 % |
1.59/1.64	c |       251 |   18241    18170   100194 |     7328      251     14 |  0.022 % |
1.59/1.67	c ===============================================================================
1.59/1.68	c core #59
1.59/1.68	c 
1.59/1.68	c 
1.59/1.68	c Core size: 547	Core Weight: 1	Total Weight: 128
1.59/1.68	c Current CPU time: 1.58676 s
1.59/1.68	c
1.59/1.68	c ============================[ Search Statistics ]==============================
1.59/1.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.68	c ===============================================================================
1.59/1.68	c |         0 |   18763    18629   102990 |     6209        0   -nan |  0.000 % |
1.69/1.71	c |       101 |   18763    18629   102990 |     6830      101     17 |  0.000 % |
1.69/1.73	c |       252 |   18763    18629   102990 |     7513      252     15 |  0.000 % |
1.69/1.76	c ===============================================================================
1.69/1.78	c core #60
1.69/1.78	c 
1.69/1.78	c 
1.69/1.78	c Core size: 521	Core Weight: 1	Total Weight: 129
1.69/1.78	c Current CPU time: 1.67674 s
1.69/1.78	c
1.69/1.78	c ============================[ Search Statistics ]==============================
1.69/1.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.78	c ===============================================================================
1.69/1.78	c |         0 |   19236    19059   105537 |     6353        0   -nan |  0.000 % |
1.79/1.81	c |       101 |   19236    19059   105537 |     6988      101     17 |  0.000 % |
1.79/1.83	c |       251 |   19236    19059   105537 |     7687      251     15 |  0.000 % |
1.79/1.85	c ===============================================================================
1.79/1.87	c core #61
1.79/1.87	c 
1.79/1.87	c 
1.79/1.87	c Core size: 572	Core Weight: 1	Total Weight: 130
1.79/1.87	c Current CPU time: 1.76473 s
1.79/1.87	c
1.79/1.87	c ============================[ Search Statistics ]==============================
1.79/1.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.87	c ===============================================================================
1.79/1.87	c |         0 |   19757    19507   108286 |     6502        0   -nan |  0.000 % |
1.89/1.90	c |       100 |   19757    19507   108286 |     7152      100     18 |  0.000 % |
1.89/1.92	c |       250 |   19753    19507   108286 |     7867      250     15 |  0.030 % |
1.89/1.96	c ===============================================================================
1.89/1.98	c core #62
1.89/1.98	c 
1.89/1.98	c 
1.89/1.98	c Core size: 574	Core Weight: 1	Total Weight: 131
1.89/1.98	c Current CPU time: 1.87072 s
1.89/1.98	c
1.89/1.98	c ============================[ Search Statistics ]==============================
1.89/1.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.98	c ===============================================================================
1.89/1.98	c |         0 |   20297    19956   111077 |     6652        0   -nan |  0.000 % |
1.99/2.01	c |       100 |   20297    19956   111077 |     7317      100     18 |  0.000 % |
1.99/2.04	c |       251 |   20295    19956   111077 |     8048      251     15 |  0.010 % |
1.99/2.08	c |       476 |   20288    19956   111077 |     8853      476     14 |  0.079 % |
1.99/2.09	c ===============================================================================
2.09/2.11	c core #63
2.09/2.11	c 
2.09/2.11	c 
2.09/2.11	c Core size: 664	Core Weight: 1	Total Weight: 132
2.09/2.11	c Current CPU time: 1.9947 s
2.09/2.11	c
2.09/2.11	c ============================[ Search Statistics ]==============================
2.09/2.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.11	c ===============================================================================
2.09/2.11	c |         0 |   20895    20443   114168 |     6814        0   -nan |  0.000 % |
2.09/2.14	c |       102 |   20895    20443   114168 |     7495      102     18 |  0.000 % |
2.09/2.16	c |       254 |   20894    20443   114168 |     8245      254     15 |  0.010 % |
2.09/2.20	c |       479 |   20887    20443   114168 |     9069      479     15 |  0.077 % |
2.19/2.24	c ===============================================================================
2.19/2.26	c core #64
2.19/2.26	c 
2.19/2.26	c 
2.19/2.26	c Core size: 667	Core Weight: 1	Total Weight: 133
2.19/2.26	c Current CPU time: 2.13567 s
2.19/2.26	c
2.19/2.26	c ============================[ Search Statistics ]==============================
2.19/2.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.19/2.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.19/2.26	c ===============================================================================
2.19/2.26	c |         0 |   21509    20936   117337 |     6978        0   -nan |  0.000 % |
2.19/2.29	c |       101 |   21509    20936   117337 |     7676      101     17 |  0.000 % |
2.30/2.31	c |       251 |   21507    20936   117337 |     8444      251     15 |  0.009 % |
2.30/2.35	c |       476 |   21497    20936   117337 |     9288      476     15 |  0.084 % |
2.30/2.39	c ===============================================================================
2.39/2.40	c core #65
2.39/2.40	c 
2.39/2.40	c 
2.39/2.40	c Core size: 647	Core Weight: 1	Total Weight: 134
2.39/2.40	c Current CPU time: 2.27865 s
2.39/2.40	c
2.39/2.40	c ============================[ Search Statistics ]==============================
2.39/2.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.39/2.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.39/2.40	c ===============================================================================
2.39/2.40	c |         0 |   22128    21409   120421 |     7136        0   -nan |  0.000 % |
2.39/2.44	c |       101 |   22128    21409   120421 |     7849      101     20 |  0.000 % |
2.39/2.46	c |       251 |   22128    21409   120421 |     8634      251     17 |  0.000 % |
2.49/2.50	c |       476 |   22113    21409   120421 |     9498      476     15 |  0.081 % |
2.49/2.50	c ===============================================================================
2.49/2.52	c core #66
2.49/2.52	c 
2.49/2.52	c 
2.49/2.52	c Core size: 638	Core Weight: 1	Total Weight: 135
2.49/2.52	c Current CPU time: 2.38964 s
2.49/2.52	c
2.49/2.52	c ============================[ Search Statistics ]==============================
2.49/2.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.52	c ===============================================================================
2.49/2.52	c |         0 |   22714    21886   123435 |     7295        0   -nan |  0.000 % |
2.49/2.56	c |       102 |   22714    21886   123435 |     8024      102     19 |  0.000 % |
2.49/2.58	c |       253 |   22711    21886   123435 |     8827      253     16 |  0.026 % |
2.59/2.62	c |       479 |   22705    21886   123435 |     9710      479     16 |  0.044 % |
2.59/2.67	c |       819 |   22670    21886   123435 |    10681      819     16 |  0.211 % |
2.69/2.74	c |      1325 |   22661    21886   123435 |    11749     1325     20 |  0.247 % |
2.79/2.83	c |      2085 |   22658    21886   123435 |    12924     2085     24 |  0.247 % |
2.89/2.96	c ===============================================================================
2.89/2.99	c core #67
2.89/2.99	c 
2.89/2.99	c 
2.89/2.99	c Core size: 767	Core Weight: 1	Total Weight: 136
2.89/2.99	c Current CPU time: 2.85157 s
2.89/2.99	c
2.89/2.99	c ============================[ Search Statistics ]==============================
2.89/2.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.99	c ===============================================================================
2.89/2.99	c |         0 |   23449    22385   126873 |     7461        0   -nan |  0.000 % |
2.99/3.02	c |       100 |   23449    22385   126873 |     8207      100     23 |  0.000 % |
2.99/3.05	c |       250 |   23449    22385   126873 |     9028      250     17 |  0.000 % |
2.99/3.08	c |       475 |   23443    22385   126873 |     9931      475     15 |  0.026 % |
3.09/3.14	c |       812 |   23439    22385   126873 |    10924      812     17 |  0.043 % |
3.19/3.22	c |      1324 |   23419    22385   126873 |    12017     1324     18 |  0.145 % |
3.29/3.34	c |      2083 |   23415    22385   126873 |    13218     2083     22 |  0.145 % |
3.50/3.51	c |      3222 |   23199    22385   126873 |    14540     3222     25 |  1.066 % |
3.69/3.77	c |      4930 |   23199    22385   126873 |    15994     4930     28 |  1.066 % |
4.19/4.29	c |      7492 |   23199    22385   126873 |    17594     7492     32 |  1.066 % |
5.19/5.22	c ===============================================================================
5.19/5.29	c core #68
5.19/5.29	c 
5.19/5.29	c 
5.19/5.29	c Core size: 822	Core Weight: 1	Total Weight: 137
5.19/5.29	c Current CPU time: 5.12922 s
5.19/5.29	c
5.19/5.29	c ============================[ Search Statistics ]==============================
5.19/5.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.29	c ===============================================================================
5.19/5.29	c |         0 |   24239    22853   130252 |     7617        0   -nan |  0.000 % |
5.30/5.32	c |       100 |   24239    22853   130252 |     8379      100     18 |  0.000 % |
5.30/5.34	c |       250 |   24239    22853   130252 |     9217      250     16 |  0.000 % |
5.30/5.39	c |       476 |   24239    22853   130252 |    10139      476     15 |  0.000 % |
5.39/5.45	c |       813 |   24237    22853   130252 |    11153      813     14 |  0.008 % |
5.50/5.53	c |      1319 |   24231    22853   130252 |    12268     1319     14 |  0.033 % |
5.69/5.72	c |      2079 |   24231    22853   130252 |    13495     2079     18 |  0.033 % |
5.89/5.92	c |      3219 |   24223    22853   130252 |    14844     3219     19 |  0.066 % |
6.09/6.19	c |      4927 |   24220    22853   130252 |    16329     4927     23 |  0.763 % |
6.50/6.51	c ===============================================================================
6.50/6.54	c core #69
6.50/6.54	c 
6.50/6.54	c 
6.50/6.54	c Core size: 892	Core Weight: 1	Total Weight: 138
6.50/6.54	c Current CPU time: 6.36903 s
6.50/6.54	c
6.50/6.54	c ============================[ Search Statistics ]==============================
6.50/6.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.54	c ===============================================================================
6.50/6.54	c |         0 |   25113    23318   133801 |     7772        0   -nan |  0.000 % |
6.50/6.58	c |       101 |   25113    23318   133801 |     8549      101     21 |  0.000 % |
6.60/6.61	c |       251 |   25111    23318   133801 |     9404      251     16 |  0.008 % |
6.60/6.66	c |       477 |   25111    23318   133801 |    10345      477     16 |  0.008 % |
6.70/6.72	c |       817 |   25111    23318   133801 |    11379      817     17 |  0.008 % |
6.79/6.81	c |      1324 |   25109    23318   133801 |    12517     1324     17 |  0.016 % |
6.89/6.96	c |      2085 |   25107    23318   133801 |    13769     2085     19 |  0.024 % |
7.09/7.18	c |      3224 |   25087    23318   133801 |    15146     3224     19 |  0.104 % |
7.49/7.53	c |      4934 |   25087    23318   133801 |    16661     4934     27 |  0.104 % |
7.99/8.03	c |      7497 |   25083    23318   133801 |    18327     7497     30 |  0.119 % |
8.79/8.89	c |     11343 |   25083    23318   133801 |    20160    11343     37 |  0.119 % |
10.09/10.18	c |     17110 |   25083    23318   133801 |    22176    17110     41 |  0.119 % |
12.10/12.12	c |     25759 |   25083    23318   133801 |    24393    13798     53 |  0.119 % |
15.29/15.32	c |     38736 |   25083    23318   133801 |    26833    12649     53 |  0.119 % |
18.69/18.76	c ===============================================================================
18.90/18.99	c core #70
18.90/18.99	c 
18.90/18.99	c 
18.90/18.99	c Core size: 1077	Core Weight: 1	Total Weight: 139
18.90/18.99	c Current CPU time: 18.7162 s
18.90/18.99	c
18.90/18.99	c ============================[ Search Statistics ]==============================
18.90/18.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.90/18.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.90/18.99	c ===============================================================================
18.90/18.99	c |         0 |   26169    23818   137891 |     7939        0   -nan |  0.000 % |
18.99/19.03	c |       100 |   26169    23818   137891 |     8733      100     23 |  0.000 % |
18.99/19.07	c |       250 |   26169    23818   137891 |     9606      250     21 |  0.000 % |
19.09/19.11	c |       475 |   26169    23818   137891 |    10567      475     25 |  0.000 % |
19.09/19.19	c |       812 |   26167    23818   137891 |    11623      812     28 |  0.008 % |
19.19/19.29	c |      1320 |   26163    23818   137891 |    12786     1320     23 |  0.023 % |
19.39/19.42	c |      2080 |   26163    23818   137891 |    14065     2080     22 |  0.023 % |
19.60/19.65	c |      3219 |   26163    23818   137891 |    15471     3219     27 |  0.023 % |
19.99/20.01	c |      4932 |   26163    23818   137891 |    17018     4932     31 |  0.023 % |
20.49/20.54	c |      7497 |   26163    23818   137891 |    18720     7497     31 |  0.023 % |
21.40/21.40	c |     11342 |   26163    23818   137891 |    20592    11342     34 |  0.023 % |
23.09/23.12	c |     17110 |   26163    23818   137891 |    22651    17110     45 |  0.023 % |
26.19/26.25	c |     25762 |   26163    23818   137891 |    24917    13040     79 |  0.023 % |
31.09/31.11	c |     38738 |   26163    23818   137891 |    27408    11580     84 |  0.023 % |
37.29/37.37	c |     58200 |   26163    23818   137891 |    30149    13778     74 |  0.023 % |
45.20/45.26	c |     87394 |   26157    23818   137891 |    33164    24311     58 |  0.046 % |
55.59/55.64	c |    131183 |   25986    23818   137891 |    36481    22002     70 |  0.699 % |
77.59/77.67	c |    196875 |   25986    23818   137891 |    40129    15828     83 |  0.699 % |
120.99/121.01	c |    295402 |   25986    23818   137891 |    44142    29281     79 |  0.699 % |
192.19/192.20	c |    443197 |   25986    23818   137891 |    48556    16037     85 |  0.699 % |
299.39/299.45	c |    664880 |   25809    23818   137891 |    53411    25355     81 |  1.376 % |
435.80/435.81	c ===============================================================================
444.60/444.61	c core #71
444.60/444.61	c 
444.60/444.61	c 
444.60/444.61	c Core size: 1355	Core Weight: 1	Total Weight: 140
444.60/444.61	c Current CPU time: 442.87 s
444.60/444.61	c
444.60/444.61	c ============================[ Search Statistics ]==============================
444.60/444.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
444.60/444.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
444.60/444.61	c ===============================================================================
444.60/444.61	c |         0 |   27507    24346   142672 |     8115        0   -nan |  0.000 % |
444.60/444.65	c |       101 |   27507    24346   142672 |     8926      101     28 |  0.000 % |
444.60/444.68	c |       251 |   27507    24346   142672 |     9819      251     31 |  0.000 % |
444.70/444.73	c |       479 |   27507    24346   142672 |    10801      479     25 |  0.000 % |
444.80/444.81	c |       816 |   27507    24346   142672 |    11881      816     31 |  0.000 % |
444.90/444.94	c |      1322 |   27507    24346   142672 |    13069     1322     27 |  0.000 % |
445.00/445.09	c |      2082 |   27505    24346   142672 |    14376     2082     27 |  0.007 % |
445.30/445.39	c |      3226 |   27505    24346   142672 |    15814     3226     29 |  0.007 % |
445.80/445.80	c |      4937 |   27505    24346   142672 |    17395     4937     35 |  0.007 % |
446.40/446.47	c |      7499 |   27501    24346   142672 |    19135     7499     33 |  0.022 % |
447.50/447.52	c |     11344 |   27501    24346   142672 |    21049    11344     37 |  0.022 % |
448.90/448.94	c |     17111 |   27501    24346   142672 |    23153    17111     39 |  0.022 % |
451.30/451.34	c |     25761 |   27501    24346   142672 |    25469    12609     59 |  0.022 % |
455.90/455.99	c |     38737 |   27501    24346   142672 |    28016    25585     66 |  0.022 % |
461.20/461.27	c |     58198 |   27501    24346   142672 |    30817    28428     59 |  0.022 % |
470.20/470.27	c |     87391 |   27493    24346   142672 |    33899    17485     64 |  0.051 % |
491.11/491.15	c |    131186 |   27493    24346   142672 |    37289    14450     93 |  0.051 % |
514.11/514.11	c |    196872 |   27493    24346   142672 |    41018    28068     65 |  0.051 % |
569.60/569.69	c |    295400 |   27493    24346   142672 |    45120    36531    108 |  0.051 % |
641.10/641.14	c |    443191 |   27493    24346   142672 |    49632    23608     88 |  0.051 % |
774.21/774.26	c |    664875 |   27493    24346   142672 |    54595    16703    131 |  0.051 % |
944.01/944.05	c |    997400 |   27493    24346   142672 |    60055    50759     87 |  0.051 % |
1293.73/1293.72	c |   1496188 |   27493    24346   142672 |    66061    17038    161 |  0.051 % |
1758.95/1758.99	c |   2244371 |   27485    24346   142672 |    72667    18633    150 |  0.080 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447213-1307907100/watcher-3447213-1307907100 -o /var/tmp/evaluation-result-3447213-1307907100/solver-3447213-1307907100 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447213-1307907100.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.00 1.94 2/177 31798
/proc/meminfo: memFree=616640/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=2240 CPUtime=0 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 980940684 2293760 305 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 560 305 177 372 0 185 0

[startup+0.101772 s]
/proc/loadavg: 2.02 2.00 1.94 2/177 31798
/proc/meminfo: memFree=616640/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=4776 CPUtime=0.09 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 973 0 0 0 9 0 0 0 18 0 1 0 980940684 4890624 913 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 1194 913 177 372 0 819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4776

[startup+0.200753 s]
/proc/loadavg: 2.02 2.00 1.94 2/177 31798
/proc/meminfo: memFree=616640/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=6564 CPUtime=0.19 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 1661 0 0 0 18 1 0 0 18 0 1 0 980940684 6721536 1269 33554432000 4194304 5714214 140735218534992 18446744073709551615 5013648 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 1641 1295 177 372 0 1266 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6564

[startup+0.300731 s]
/proc/loadavg: 2.02 2.00 1.94 2/177 31798
/proc/meminfo: memFree=616640/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=6840 CPUtime=0.29 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 1962 0 0 0 28 1 0 0 18 0 1 0 980940684 7004160 1421 33554432000 4194304 5714214 140735218534992 18446744073709551615 4315684 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 1781 1433 178 372 0 1406 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6840

[startup+0.700603 s]
/proc/loadavg: 2.02 2.00 1.94 2/177 31798
/proc/meminfo: memFree=616640/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=10172 CPUtime=0.69 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 3208 0 0 0 65 4 0 0 18 0 1 0 980940684 10416128 2263 33554432000 4194304 5714214 140735218534992 18446744073709551615 4972989 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 2543 2263 178 372 0 2168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10172

[startup+1.50051 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 31799
/proc/meminfo: memFree=605064/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=13824 CPUtime=1.49 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 4822 0 0 0 142 7 0 0 18 0 1 0 980940684 14155776 3165 33554432000 4194304 5714214 140735218534992 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 3456 3165 178 372 0 3081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13824

[startup+3.10022 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 31799
/proc/meminfo: memFree=600228/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=20048 CPUtime=3.09 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 7794 0 0 0 297 12 0 0 18 0 1 0 980940684 20529152 4565 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 5012 4565 178 372 0 4637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20048

[startup+6.30064 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 31799
/proc/meminfo: memFree=595276/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=23296 CPUtime=6.29 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 8583 0 0 0 614 15 0 0 19 0 1 0 980940684 23855104 5354 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 5824 5354 178 372 0 5449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23296

[startup+12.7005 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 31800
/proc/meminfo: memFree=593924/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=24332 CPUtime=12.69 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 8895 0 0 0 1249 20 0 0 25 0 1 0 980940684 24915968 5666 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 6083 5666 178 372 0 5708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24332

[startup+25.501 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 31800
/proc/meminfo: memFree=580008/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=38324 CPUtime=25.49 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 12384 0 0 0 2522 27 0 0 25 0 1 0 980940684 39243776 9155 33554432000 4194304 5714214 140735218534992 18446744073709551615 4322626 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 9581 9155 178 372 0 9206 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38324

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 31915
/proc/meminfo: memFree=1278188/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=42592 CPUtime=51.09 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 13532 0 0 0 5071 38 0 0 25 0 1 0 980940684 43614208 10303 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/31798/statm: 10648 10303 178 372 0 10273 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42592

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31916
/proc/meminfo: memFree=1210076/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=76092 CPUtime=102.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 21657 0 0 0 10175 55 0 0 25 0 1 0 980940684 77918208 18428 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 19023 18428 178 372 0 18648 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 76092

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31918
/proc/meminfo: memFree=1159920/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=96680 CPUtime=162.29 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 26637 0 0 0 16164 65 0 0 25 0 1 0 980940684 99000320 23408 33554432000 4194304 5714214 140735218534992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 24170 23408 178 372 0 23795 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 96680

[startup+222.306 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 31919
/proc/meminfo: memFree=1103680/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=118468 CPUtime=222.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 31964 0 0 0 22153 77 0 0 25 0 1 0 980940684 121311232 28735 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 29617 28735 178 372 0 29242 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 118468

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 31921
/proc/meminfo: memFree=1080320/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=141236 CPUtime=282.29 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 37453 0 0 0 28139 90 0 0 25 0 1 0 980940684 144625664 34224 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 35309 34224 178 372 0 34934 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 141236

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31922
/proc/meminfo: memFree=1057432/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=163820 CPUtime=342.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 42828 0 0 0 34127 103 0 0 25 0 1 0 980940684 167751680 39599 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 40955 39599 178 372 0 40580 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 163820

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31924
/proc/meminfo: memFree=1041744/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=180172 CPUtime=402.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 46854 0 0 0 40115 115 0 0 25 0 1 0 980940684 184496128 43625 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 45043 43625 178 372 0 44668 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180172

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31929
/proc/meminfo: memFree=983268/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=231480 CPUtime=462.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 59479 0 0 0 46102 128 0 0 25 0 1 0 980940684 237035520 56250 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 57870 56250 178 372 0 57495 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 231480

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31930
/proc/meminfo: memFree=965028/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=231480 CPUtime=522.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 59511 0 0 0 52088 142 0 0 25 0 1 0 980940684 237035520 56282 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319944 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 57870 56282 178 372 0 57495 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 231480

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 31932
/proc/meminfo: memFree=945004/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=231480 CPUtime=582.3 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 59717 0 0 0 58079 151 0 0 25 0 1 0 980940684 237035520 56488 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 57870 56488 178 372 0 57495 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 231480

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.05 2.02 1.95 3/178 31940
/proc/meminfo: memFree=851764/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=231480 CPUtime=882.31 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 60678 0 0 0 88032 199 0 0 25 0 1 0 980940684 237035520 57449 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 57870 57449 178 372 0 57495 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 231480

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 31941
/proc/meminfo: memFree=838664/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=231480 CPUtime=942.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 60680 0 0 0 94022 210 0 0 25 0 1 0 980940684 237035520 57451 33554432000 4194304 5714214 140735218534992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 57870 57451 178 372 0 57495 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 231480

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 31943
/proc/meminfo: memFree=779824/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=273912 CPUtime=1002.31 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 70928 0 0 0 100010 221 0 0 25 0 1 0 980940684 280485888 67699 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 68478 67699 178 372 0 68103 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 273912

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31945
/proc/meminfo: memFree=754220/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=285636 CPUtime=1062.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 73818 0 0 0 105999 233 0 0 25 0 1 0 980940684 292491264 70589 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 71409 70589 178 372 0 71034 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 285636

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31946
/proc/meminfo: memFree=729088/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=298292 CPUtime=1122.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 76778 0 0 0 111990 242 0 0 25 0 1 0 980940684 305451008 73549 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 74573 73549 178 372 0 74198 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 298292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31948
/proc/meminfo: memFree=689324/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=319188 CPUtime=1182.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 81653 0 0 0 117983 249 0 0 25 0 1 0 980940684 326848512 78424 33554432000 4194304 5714214 140735218534992 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 79797 78424 178 372 0 79422 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 319188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31949
/proc/meminfo: memFree=658492/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=330420 CPUtime=1242.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 84414 0 0 0 123975 257 0 0 25 0 1 0 980940684 338350080 81185 33554432000 4194304 5714214 140735218534992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 82605 81185 178 372 0 82230 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 330420

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31951
/proc/meminfo: memFree=629888/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=346612 CPUtime=1302.32 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 88285 0 0 0 129966 266 0 0 25 0 1 0 980940684 354930688 85056 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319324 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 86653 85056 178 372 0 86278 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 346612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31953
/proc/meminfo: memFree=611956/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=350972 CPUtime=1362.33 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 89297 0 0 0 135955 278 0 0 25 0 1 0 980940684 359395328 86068 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 87743 86068 178 372 0 87368 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 350972

[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 31954
/proc/meminfo: memFree=528064/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=376212 CPUtime=1422.33 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 95458 0 0 0 141944 289 0 0 25 0 1 0 980940684 385241088 92229 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 94053 92229 178 372 0 93678 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 376212

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 31956
/proc/meminfo: memFree=512288/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=392828 CPUtime=1482.33 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 99518 0 0 0 147933 300 0 0 25 0 1 0 980940684 402255872 96289 33554432000 4194304 5714214 140735218534992 18446744073709551615 4198966 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 98207 96289 178 372 0 97832 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 392828

[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 31957
/proc/meminfo: memFree=497220/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=407868 CPUtime=1542.34 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 103111 0 0 0 153925 309 0 0 25 0 1 0 980940684 417656832 99882 33554432000 4194304 5714214 140735218534992 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 101967 99882 178 372 0 101592 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 407868

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31959
/proc/meminfo: memFree=469392/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=435464 CPUtime=1602.34 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 109990 0 0 0 159914 320 0 0 25 0 1 0 980940684 445915136 106761 33554432000 4194304 5714214 140735218534992 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 108866 106761 178 372 0 108491 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 435464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31961
/proc/meminfo: memFree=451832/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=451236 CPUtime=1662.33 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 113886 0 0 0 165907 326 0 0 25 0 1 0 980940684 462065664 110657 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 112809 110657 178 372 0 112434 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 451236

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31962
/proc/meminfo: memFree=434400/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=468024 CPUtime=1722.34 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 117992 0 0 0 171899 335 0 0 25 0 1 0 980940684 479256576 114763 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 117006 114763 178 372 0 116631 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 468024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31973
/proc/meminfo: memFree=432252/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=468024 CPUtime=1782.34 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 117997 0 0 0 177891 343 0 0 25 0 1 0 980940684 479256576 114768 33554432000 4194304 5714214 140735218534992 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 117006 114768 178 372 0 116631 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 468024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31973
/proc/meminfo: memFree=429880/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=469824 CPUtime=1800.05 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 118379 0 0 0 179659 346 0 0 25 0 1 0 980940684 481099776 115150 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 117456 115150 178 372 0 117081 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 469824

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 31973
/proc/meminfo: memFree=429880/32950928 swapFree=67051812/67111528
[pid=31798] ppid=31796 vsize=469824 CPUtime=1800.05 cores=0,2,4,6
/proc/31798/stat : 31798 (wbo1.6) R 31796 31798 29668 0 -1 4202496 118379 0 0 0 179659 346 0 0 25 0 1 0 980940684 481099776 115150 33554432000 4194304 5714214 140735218534992 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 117456 115150 178 372 0 117081 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 469824

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1796.59
CPU system time (s): 3.47947
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 469824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.59
system time used= 3.47947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118379
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= 38
involuntary context switches= 3304

runsolver used 2.6216 second user time and 5.60315 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-12 21:31:40
IDJOB=3447213
IDBENCH=79406
IDSOLVER=1943
FILE ID=node116/3447213-1307907100
RUNJOBID= node116-1307903171-31383
PBS_JOBID= 13559589
Free space on /var/tmp= 2880 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh11_wcsp.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447213-1307907100/watcher-3447213-1307907100 -o /var/tmp/evaluation-result-3447213-1307907100/solver-3447213-1307907100 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447213-1307907100.wbo

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=247172730

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        617076 kB
Buffers:         59628 kB
Cached:       30570172 kB
SwapCached:      12792 kB
Active:       16776660 kB
Inactive:     14603428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        617076 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      748036 kB
Mapped:          10268 kB
Slab:           888212 kB
PageTables:       5564 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   939372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node116 at 2011-06-12 22:01:42