Trace number 1875576

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.36 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark192
Best CPU time to get the best result obtained on this benchmark1800.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875576-1245139331.opb.
0.00/0.00	c Instance file HOME/instance-1875576-1245139331.opb
0.00/0.00	c File size is 43236 bytes.
0.00/0.00	c Highest Coefficient sum: 238
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      473                                                 |
0.00/0.00	c |  Number Clauses:        473                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 472                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 14	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 18	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #3
0.00/0.01	c Core size: 8	Core Weight: 1	Total Weight: 3
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 8	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 10
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #11
0.00/0.01	c Core size: 9	Core Weight: 1	Total Weight: 11
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 12
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #13
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 13
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #14
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 14
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #16
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 16
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 19
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 20
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #21
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 21
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #22
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 22
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #23
0.00/0.03	c Core size: 8	Core Weight: 1	Total Weight: 23
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #24
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 24
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #25
0.00/0.03	c Core size: 6	Core Weight: 1	Total Weight: 25
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #27
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 27
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #28
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 28
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #29
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 29
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #30
0.00/0.04	c Core size: 6	Core Weight: 1	Total Weight: 30
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #31
0.00/0.04	c Core size: 6	Core Weight: 1	Total Weight: 31
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #32
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 32
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #33
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 33
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #34
0.00/0.04	c Core size: 9	Core Weight: 1	Total Weight: 34
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #35
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 35
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #36
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 36
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #37
0.00/0.05	c Core size: 5	Core Weight: 1	Total Weight: 37
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #38
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 38
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #39
0.00/0.05	c Core size: 7	Core Weight: 1	Total Weight: 39
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #40
0.00/0.05	c Core size: 8	Core Weight: 1	Total Weight: 40
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #41
0.00/0.05	c Core size: 5	Core Weight: 1	Total Weight: 41
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #42
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 42
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #43
0.00/0.05	c Core size: 5	Core Weight: 1	Total Weight: 43
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #44
0.00/0.06	c Core size: 5	Core Weight: 1	Total Weight: 44
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #45
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 45
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #46
0.00/0.06	c Core size: 7	Core Weight: 1	Total Weight: 46
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #47
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 47
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #48
0.00/0.06	c Core size: 7	Core Weight: 1	Total Weight: 48
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #49
0.00/0.06	c Core size: 6	Core Weight: 1	Total Weight: 49
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #50
0.00/0.07	c Core size: 6	Core Weight: 1	Total Weight: 50
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #51
0.00/0.07	c Core size: 7	Core Weight: 1	Total Weight: 51
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #52
0.00/0.07	c Core size: 5	Core Weight: 1	Total Weight: 52
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #53
0.00/0.07	c Core size: 7	Core Weight: 1	Total Weight: 53
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.07/0.07	c core #54
0.07/0.07	c Core size: 5	Core Weight: 1	Total Weight: 54
0.07/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.07/0.08	c core #55
0.07/0.08	c Core size: 3	Core Weight: 1	Total Weight: 55
0.07/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #56
0.07/0.08	c Core size: 5	Core Weight: 1	Total Weight: 56
0.07/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #57
0.07/0.08	c Core size: 4	Core Weight: 1	Total Weight: 57
0.07/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #58
0.07/0.08	c Core size: 6	Core Weight: 1	Total Weight: 58
0.07/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #59
0.07/0.08	c Core size: 7	Core Weight: 1	Total Weight: 59
0.07/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #60
0.07/0.08	c Core size: 3	Core Weight: 1	Total Weight: 60
0.07/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.07/0.09	c core #61
0.07/0.09	c Core size: 4	Core Weight: 1	Total Weight: 61
0.07/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #62
0.07/0.09	c Core size: 5	Core Weight: 1	Total Weight: 62
0.07/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #63
0.07/0.09	c Core size: 5	Core Weight: 1	Total Weight: 63
0.07/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #64
0.07/0.09	c Core size: 3	Core Weight: 1	Total Weight: 64
0.07/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.07/0.10	c core #65
0.07/0.10	c Core size: 5	Core Weight: 1	Total Weight: 65
0.07/0.10	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #66
0.09/0.10	c Core size: 6	Core Weight: 1	Total Weight: 66
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #67
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 67
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #68
0.09/0.10	c Core size: 18	Core Weight: 1	Total Weight: 68
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #69
0.09/0.11	c Core size: 7	Core Weight: 1	Total Weight: 69
0.09/0.11	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #70
0.09/0.11	c Core size: 11	Core Weight: 1	Total Weight: 70
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #71
0.09/0.11	c Core size: 9	Core Weight: 1	Total Weight: 71
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #72
0.09/0.11	c Core size: 14	Core Weight: 1	Total Weight: 72
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #73
0.09/0.12	c Core size: 10	Core Weight: 1	Total Weight: 73
0.09/0.12	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #74
0.09/0.12	c Core size: 11	Core Weight: 1	Total Weight: 74
0.09/0.12	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #75
0.09/0.12	c Core size: 9	Core Weight: 1	Total Weight: 75
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #76
0.09/0.12	c Core size: 12	Core Weight: 1	Total Weight: 76
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #77
0.09/0.13	c Core size: 33	Core Weight: 1	Total Weight: 77
0.09/0.13	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #78
0.09/0.13	c Core size: 11	Core Weight: 1	Total Weight: 78
0.09/0.13	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #79
0.09/0.13	c Core size: 13	Core Weight: 1	Total Weight: 79
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #80
0.09/0.13	c Core size: 15	Core Weight: 1	Total Weight: 80
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #81
0.09/0.14	c Core size: 7	Core Weight: 1	Total Weight: 81
0.09/0.14	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #82
0.09/0.14	c Core size: 10	Core Weight: 1	Total Weight: 82
0.09/0.14	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #83
0.09/0.14	c Core size: 8	Core Weight: 1	Total Weight: 83
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
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 |     933     1028     5709 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #84
0.09/0.14	c Core size: 14	Core Weight: 1	Total Weight: 84
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     943     1029     5728 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #85
0.09/0.15	c Core size: 28	Core Weight: 1	Total Weight: 85
0.09/0.15	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     967     1030     5773 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #86
0.09/0.15	c Core size: 19	Core Weight: 1	Total Weight: 86
0.09/0.15	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     984     1031     5804 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #87
0.09/0.15	c Core size: 20	Core Weight: 1	Total Weight: 87
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1001     1032     5836 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #88
0.09/0.16	c Core size: 13	Core Weight: 1	Total Weight: 88
0.09/0.16	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1011     1033     5854 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #89
0.09/0.16	c Core size: 35	Core Weight: 1	Total Weight: 89
0.09/0.16	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    1040     1034     5907 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #90
0.09/0.16	c Core size: 24	Core Weight: 1	Total Weight: 90
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
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 |    1057     1035     5940 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #91
0.09/0.17	c Core size: 16	Core Weight: 1	Total Weight: 91
0.09/0.17	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
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 |    1070     1036     5964 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #92
0.09/0.17	c Core size: 17	Core Weight: 1	Total Weight: 92
0.09/0.17	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
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 |    1083     1037     5989 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #93
0.09/0.17	c Core size: 27	Core Weight: 1	Total Weight: 93
0.09/0.17	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
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 |    1103     1038     6027 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #94
0.09/0.18	c Core size: 22	Core Weight: 1	Total Weight: 94
0.09/0.18	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
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 |    1119     1039     6058 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #95
0.09/0.18	c Core size: 23	Core Weight: 1	Total Weight: 95
0.09/0.18	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
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 |    1136     1040     6091 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #96
0.09/0.19	c Core size: 38	Core Weight: 1	Total Weight: 96
0.09/0.19	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1164     1041     6143 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #97
0.09/0.19	c Core size: 21	Core Weight: 1	Total Weight: 97
0.09/0.19	c Elapsed CPU time: 0.177972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1179     1042     6172 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #98
0.09/0.19	c Core size: 22	Core Weight: 1	Total Weight: 98
0.09/0.19	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.20	c ============================[ Search Statistics ]==============================
0.09/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.20	c ===============================================================================
0.09/0.20	c |         0 |    1196     1043     6204 |     5000        0    nan |  0.000 % |
0.09/0.20	c ===============================================================================
0.09/0.20	c core #99
0.09/0.20	c Core size: 80	Core Weight: 1	Total Weight: 99
0.09/0.20	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
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 |    1244     1044     6299 |     5000        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c core #100
0.19/0.20	c Core size: 62	Core Weight: 1	Total Weight: 100
0.19/0.20	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 1799.81 s
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1286     1045     6383 |     5000        0    nan |  0.000 % |
0.19/0.21	c |       100 |    1286     1045     6383 |     5500      100     10 |  1.765 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c core #101
0.19/0.22	c Core size: 188	Core Weight: 1	Total Weight: 101
0.19/0.22	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1410     1046     6628 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       102 |    1410     1046     6628 |     5500      102     18 |  1.124 % |
0.19/0.24	c |       256 |    1408     1046     6628 |     6050      254     18 |  1.124 % |
0.19/0.26	c |       485 |    1407     1046     6628 |     6655      331     19 |  1.194 % |
0.19/0.28	c |       826 |    1407     1046     6628 |     7320      672     25 |  1.194 % |
0.30/0.33	c ===============================================================================
0.30/0.33	c core #102
0.30/0.33	c Core size: 193	Core Weight: 1	Total Weight: 102
0.30/0.33	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.30/0.34	c ============================[ Search Statistics ]==============================
0.30/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.34	c ===============================================================================
0.30/0.34	c |         0 |    1537     1047     6879 |     5000        0    nan |  0.000 % |
0.30/0.34	c ===============================================================================
0.30/0.34	c core #103
0.30/0.34	c Core size: 47	Core Weight: 1	Total Weight: 103
0.30/0.34	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.30/0.34	c ============================[ Search Statistics ]==============================
0.30/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.30/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.30/0.34	c ===============================================================================
0.30/0.34	c |         0 |    1566     1048     6937 |     5000        0    nan |  0.000 % |
0.30/0.35	c |       102 |    1566     1048     6937 |     5500      102     35 |  0.698 % |
0.30/0.36	c |       256 |    1566     1048     6937 |     6050      256     32 |  0.698 % |
0.30/0.39	c |       484 |    1566     1048     6937 |     6655      484     39 |  0.698 % |
0.39/0.42	c |       821 |    1566     1048     6937 |     7320      821     41 |  0.698 % |
0.39/0.47	c |      1328 |    1566     1048     6937 |     8052     1328     44 |  0.698 % |
0.49/0.53	c |      2088 |    1566     1048     6937 |     8857     2088     41 |  0.698 % |
0.60/0.66	c |      3229 |    1566     1048     6937 |     9743     3229     41 |  0.698 % |
0.79/0.88	c |      4937 |    1566     1048     6937 |    10717     4937     47 |  0.698 % |
1.29/1.32	c ===============================================================================
1.29/1.37	c core #104
1.29/1.37	c Core size: 197	Core Weight: 1	Total Weight: 104
1.29/1.37	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 1798.68 s
1.29/1.38	c ============================[ Search Statistics ]==============================
1.29/1.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.38	c ===============================================================================
1.29/1.38	c |         0 |    1688     1049     7181 |     5000        0    nan |  0.000 % |
1.29/1.39	c |       100 |    1688     1049     7181 |     5500      100     53 |  0.647 % |
1.39/1.40	c |       251 |    1688     1049     7181 |     6050      251     49 |  0.647 % |
1.39/1.42	c |       478 |    1688     1049     7181 |     6655      478     53 |  0.647 % |
1.39/1.46	c |       815 |    1688     1049     7181 |     7320      815     51 |  0.647 % |
1.49/1.52	c |      1321 |    1688     1049     7181 |     8052     1321     60 |  0.647 % |
1.49/1.59	c |      2080 |    1682     1049     7181 |     8857     2079     55 |  4.238 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c core #105
1.49/1.59	c Core size: 125	Core Weight: 1	Total Weight: 105
1.49/1.59	c Elapsed CPU time: 1.53477 s	Remaining CPU time: 1798.47 s
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 |    1770     1050     7343 |     5000        0    nan |  0.000 % |
1.59/1.60	c |       101 |    1763     1050     7343 |     5500      101     13 |  1.124 % |
1.59/1.61	c |       251 |    1759     1050     7343 |     6050      245     17 |  1.124 % |
1.59/1.64	c |       477 |    1759     1050     7343 |     6655      471     19 |  1.124 % |
1.59/1.66	c |       819 |    1759     1050     7343 |     7320      813     23 |  1.124 % |
1.69/1.71	c |      1327 |    1759     1050     7343 |     8052     1321     26 |  1.124 % |
1.69/1.79	c |      2086 |    1759     1050     7343 |     8857     2080     29 |  1.124 % |
1.89/1.92	c |      3225 |    1759     1050     7343 |     9743     3219     34 |  1.124 % |
2.09/2.16	c |      4935 |    1758     1050     7343 |    10717     2337     31 |  1.180 % |
2.59/2.60	c |      7497 |    1756     1050     7343 |    11789     4897     40 |  1.405 % |
3.39/3.40	c |     11341 |    1750     1050     7343 |    12968     8277     41 |  1.630 % |
4.69/4.73	c |     17107 |    1749     1050     7343 |    14265     8158     43 |  1.686 % |
5.29/5.37	c ===============================================================================
5.49/5.58	c core #106
5.49/5.58	c Core size: 314	Core Weight: 1	Total Weight: 106
5.49/5.58	c Elapsed CPU time: 5.47517 s	Remaining CPU time: 1794.52 s
5.59/5.60	c ============================[ Search Statistics ]==============================
5.59/5.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.59/5.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.59/5.60	c ===============================================================================
5.59/5.60	c |         0 |    1963     1051     7726 |     5000        0    nan |  0.000 % |
5.59/5.62	c |       101 |    1963     1051     7726 |     5500      101     27 |  0.305 % |
5.59/5.62	c |       251 |    1963     1051     7726 |     6050      251     19 |  0.305 % |
5.59/5.64	c |       476 |    1963     1051     7726 |     6655      476     19 |  0.305 % |
5.59/5.67	c |       813 |    1963     1051     7726 |     7320      813     19 |  0.305 % |
5.69/5.71	c |      1321 |    1963     1051     7726 |     8052     1321     23 |  0.305 % |
5.69/5.75	c |      2080 |    1963     1051     7726 |     8857     2080     20 |  0.305 % |
5.79/5.87	c |      3223 |    1963     1051     7726 |     9743     3223     23 |  0.305 % |
5.79/5.89	c ===============================================================================
5.89/5.91	c core #107
5.89/5.91	c Core size: 244	Core Weight: 1	Total Weight: 107
5.89/5.91	c Elapsed CPU time: 5.79112 s	Remaining CPU time: 1794.21 s
5.89/5.92	c ============================[ Search Statistics ]==============================
5.89/5.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.92	c ===============================================================================
5.89/5.92	c |         0 |    2112     1052     8022 |     5000        0    nan |  0.000 % |
5.89/5.93	c |       102 |    2112     1052     8022 |     5500      102     47 |  0.189 % |
5.89/5.94	c |       252 |    2112     1052     8022 |     6050      252     38 |  0.189 % |
5.89/5.96	c |       477 |    2112     1052     8022 |     6655      477     38 |  0.189 % |
5.89/5.98	c |       816 |    2112     1052     8022 |     7320      816     39 |  0.189 % |
5.99/6.02	c |      1322 |    2112     1052     8022 |     8052     1322     33 |  0.189 % |
6.09/6.11	c |      2084 |    2112     1052     8022 |     8857     2084     35 |  0.189 % |
6.19/6.23	c |      3223 |    2112     1052     8022 |     9743     3223     36 |  0.189 % |
6.39/6.45	c |      4935 |    2112     1052     8022 |    10717     4935     36 |  0.189 % |
6.79/6.82	c |      7498 |    2112     1052     8022 |    11789     7498     40 |  0.189 % |
7.29/7.37	c |     11342 |    2112     1052     8022 |    12968    11342     51 |  0.189 % |
8.49/8.59	c |     17108 |    2111     1052     8022 |    14265    10574     71 |  0.236 % |
10.19/10.24	c |     25757 |    2111     1052     8022 |    15692    12058     53 |  0.236 % |
11.59/11.62	c ===============================================================================
11.99/12.04	c core #108
11.99/12.04	c Core size: 416	Core Weight: 1	Total Weight: 108
11.99/12.04	c Elapsed CPU time: 11.8092 s	Remaining CPU time: 1788.19 s
11.99/12.09	c ============================[ Search Statistics ]==============================
11.99/12.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.99/12.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.99/12.09	c ===============================================================================
11.99/12.09	c |         0 |    2369     1053     8535 |     5000        0    nan |  0.000 % |
12.09/12.10	c |       100 |    2369     1053     8535 |     5500      100     61 |  0.126 % |
12.09/12.12	c |       250 |    2369     1053     8535 |     6050      250     51 |  0.127 % |
12.09/12.14	c |       477 |    2369     1053     8535 |     6655      477     43 |  0.126 % |
12.09/12.17	c |       814 |    2369     1053     8535 |     7320      814     44 |  0.126 % |
12.18/12.22	c |      1323 |    2369     1053     8535 |     8052     1323     60 |  0.126 % |
12.29/12.31	c |      2088 |    2369     1053     8535 |     8857     2088     62 |  0.126 % |
12.39/12.45	c |      3227 |    2369     1053     8535 |     9743     3227     61 |  0.126 % |
12.58/12.66	c |      4937 |    2369     1053     8535 |    10717     4937     65 |  0.126 % |
12.99/13.00	c |      7499 |    2369     1053     8535 |    11789     7499     76 |  0.126 % |
13.89/13.90	c |     11346 |    2369     1053     8535 |    12968    11346     86 |  0.126 % |
14.89/14.96	c |     17117 |    2369     1053     8535 |    14265    10546     92 |  0.126 % |
16.49/16.57	c |     25766 |    2369     1053     8535 |    15692    11951     94 |  0.127 % |
21.39/21.47	c |     38741 |    2369     1053     8535 |    17261     8968    137 |  0.126 % |
31.88/31.92	c |     58203 |    2368     1053     8535 |    18987    11039    110 |  0.169 % |
44.48/44.52	c |     87395 |    2368     1053     8535 |    20886    11146    112 |  0.169 % |
66.47/66.58	c |    131184 |    2365     1053     8535 |    22974    12686    126 |  0.295 % |
108.56/108.60	c |    196869 |    2365     1053     8535 |    25272    20599    147 |  0.295 % |
170.24/170.35	c |    295395 |    2365     1053     8535 |    27799    15690    167 |  0.295 % |
254.62/254.75	c |    443187 |    2363     1053     8535 |    30579    19370    101 |  0.379 % |
407.07/407.25	c |    664870 |    2363     1053     8535 |    33637    21980    133 |  0.379 % |
645.61/645.85	c |    997396 |    2363     1053     8535 |    37001    17906    119 |  0.379 % |
1106.57/1106.93	c |   1496184 |    2363     1053     8535 |    40701    21967    132 |  0.379 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7220
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=2580 CPUtime=0
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 181530262 2641920 186 1992294400 134512640 135709839 4294956240 18446744073709551615 135182833 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 645 187 128 292 0 339 0

[startup+0.0766909 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7220
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=4312 CPUtime=0.07
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 679 0 0 0 7 0 0 0 18 0 1 0 181530262 4415488 652 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 1078 652 134 292 0 783 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4312

[startup+0.102693 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7220
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=5156 CPUtime=0.09
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 891 0 0 0 9 0 0 0 18 0 1 0 181530262 5279744 864 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 1289 864 134 292 0 994 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5156

[startup+0.302716 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7220
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=9036 CPUtime=0.3
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 1856 0 0 0 28 2 0 0 19 0 1 0 181530262 9252864 1829 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 2259 1829 136 292 0 1964 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9036

[startup+0.702758 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 7220
/proc/meminfo: memFree=1783808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=10372 CPUtime=0.69
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 2178 0 0 0 66 3 0 0 22 0 1 0 181530262 10620928 2151 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 2593 2151 136 292 0 2298 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10372

[startup+1.50185 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1774648/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=12624 CPUtime=1.49
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 2759 0 0 0 144 5 0 0 25 0 1 0 181530262 12926976 2732 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 3156 2732 136 292 0 2861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12624

[startup+3.10202 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1773176/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=13284 CPUtime=3.09
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 2917 0 0 0 302 7 0 0 25 0 1 0 181530262 13602816 2890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 3321 2890 136 292 0 3026 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13284

[startup+6.30137 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1767928/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=18512 CPUtime=6.29
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 4235 0 0 0 616 13 0 0 25 0 1 0 181530262 18956288 4208 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 4628 4208 136 292 0 4333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18512

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1756472/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=29488 CPUtime=12.69
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 6972 0 0 0 1244 25 0 0 25 0 1 0 181530262 30195712 6945 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 7372 6945 136 292 0 7077 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29488

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1735160/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=50768 CPUtime=25.48
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 12288 0 0 0 2511 37 0 0 25 0 1 0 181530262 51986432 12261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 12692 12261 136 292 0 12397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50768

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1699128/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=86996 CPUtime=51.08
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 21337 0 0 0 5051 57 0 0 25 0 1 0 181530262 89083904 21310 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 21749 21310 136 292 0 21454 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86996

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1630840/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=154688 CPUtime=102.27
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 38235 0 0 0 10137 90 0 0 25 0 1 0 181530262 158400512 38208 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 38672 38208 136 292 0 38377 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 154688

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1543352/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=242800 CPUtime=162.24
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 60252 0 0 0 16095 129 0 0 25 0 1 0 181530262 248627200 60225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 60700 60225 136 292 0 60405 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 242800

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1470712/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=314832 CPUtime=222.22
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 78230 0 0 0 22052 170 0 0 25 0 1 0 181530262 322387968 78203 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 78708 78203 136 292 0 78413 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 314832

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1402744/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=383524 CPUtime=282.21
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 95401 0 0 0 28009 212 0 0 25 0 1 0 181530262 392728576 95374 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 95881 95374 136 292 0 95586 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 383524

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1326464/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=458976 CPUtime=342.19
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 114221 0 0 0 33970 249 0 0 25 0 1 0 181530262 469991424 114194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 114744 114194 136 292 0 114449 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 458976

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1263808/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=522416 CPUtime=402.18
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 130044 0 0 0 39934 284 0 0 25 0 1 0 181530262 534953984 130017 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 130604 130017 136 292 0 130309 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 522416

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1203840/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=581424 CPUtime=462.16
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 144789 0 0 0 45901 315 0 0 25 0 1 0 181530262 595378176 144762 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 145356 144762 136 292 0 145061 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 581424

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1135680/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=650184 CPUtime=522.14
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 161930 0 0 0 51863 351 0 0 25 0 1 0 181530262 665788416 161903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 162546 161903 136 292 0 162251 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 650184

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=1071872/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=714244 CPUtime=582.12
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 177945 0 0 0 57827 385 0 0 25 0 1 0 181530262 731385856 177918 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 178561 177918 136 292 0 178266 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 714244

[startup+642.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=998528/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=786348 CPUtime=642.12
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 195957 0 0 0 63786 426 0 0 25 0 1 0 181530262 805220352 195930 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 196587 195930 136 292 0 196292 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 786348

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=796224/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=988472 CPUtime=882.04
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 246443 0 0 0 87658 546 0 0 25 0 1 0 181530262 1012195328 246416 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 247118 246416 136 292 0 246823 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 988472

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7221
/proc/meminfo: memFree=753024/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1031936 CPUtime=942.01
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 257300 0 0 0 93631 570 0 0 25 0 1 0 181530262 1056702464 257273 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 257984 257273 136 292 0 257689 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1031936

[startup+1002.3 s]
/proc/loadavg: 1.09 1.00 0.99 2/65 7221
/proc/meminfo: memFree=703488/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1081020 CPUtime=1002
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 269551 0 0 0 99603 597 0 0 25 0 1 0 181530262 1106964480 269524 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 270255 269524 136 292 0 269960 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1081020

[startup+1062.3 s]
/proc/loadavg: 1.10 1.02 1.00 2/65 7221
/proc/meminfo: memFree=659520/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1125732 CPUtime=1061.98
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 280696 0 0 0 105576 622 0 0 25 0 1 0 181530262 1152749568 280669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 281433 280669 136 292 0 281138 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1125732

[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 7221
/proc/meminfo: memFree=607488/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1176916 CPUtime=1121.96
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 293497 0 0 0 111544 652 0 0 25 0 1 0 181530262 1205161984 293470 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 294229 293470 136 292 0 293934 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1176916

[startup+1182.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 7221
/proc/meminfo: memFree=558976/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1226000 CPUtime=1181.95
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 305723 0 0 0 117518 677 0 0 25 0 1 0 181530262 1255424000 305696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 306500 305696 136 292 0 306205 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1226000

[startup+1242.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 7221
/proc/meminfo: memFree=511104/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1273584 CPUtime=1241.93
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 317598 0 0 0 123492 701 0 0 25 0 1 0 181530262 1304150016 317571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 318396 317571 136 292 0 318101 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1273584

[startup+1302.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/65 7221
/proc/meminfo: memFree=462144/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1322032 CPUtime=1301.91
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 329696 0 0 0 129461 730 0 0 25 0 1 0 181530262 1353760768 329669 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 330508 329669 136 292 0 330213 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1322032

[startup+1362.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/65 7221
/proc/meminfo: memFree=428672/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1355668 CPUtime=1361.9
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 338106 0 0 0 135440 750 0 0 25 0 1 0 181530262 1388204032 338079 1992294400 134512640 135709839 4294956240 18446744073709551615 134573813 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 338917 338079 136 292 0 338622 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1355668

[startup+1422.31 s]
/proc/loadavg: 1.03 1.05 1.00 2/65 7221
/proc/meminfo: memFree=364160/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1420000 CPUtime=1421.88
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 354162 0 0 0 141404 784 0 0 25 0 1 0 181530262 1454080000 354135 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 355000 354135 136 292 0 354705 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1420000

[startup+1482.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 7221
/proc/meminfo: memFree=306688/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1478164 CPUtime=1481.86
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 368699 0 0 0 147372 814 0 0 25 0 1 0 181530262 1513639936 368672 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 369541 368672 136 292 0 369246 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1478164

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7221
/proc/meminfo: memFree=258496/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1525612 CPUtime=1541.85
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 380529 0 0 0 153345 840 0 0 25 0 1 0 181530262 1562226688 380502 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 381403 380502 136 292 0 381108 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1525612

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7221
/proc/meminfo: memFree=205888/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1579108 CPUtime=1601.83
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 393867 0 0 0 159318 865 0 0 25 0 1 0 181530262 1617006592 393840 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 394777 393840 136 292 0 394482 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1579108

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7221
/proc/meminfo: memFree=162560/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1621460 CPUtime=1661.82
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 404430 0 0 0 165298 884 0 0 25 0 1 0 181530262 1660375040 404403 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 405365 404403 136 292 0 405070 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1621460

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7221
/proc/meminfo: memFree=115136/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1669780 CPUtime=1721.8
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 416499 0 0 0 171272 908 0 0 25 0 1 0 181530262 1709854720 416472 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 417445 416472 136 292 0 417150 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1669780

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7221
/proc/meminfo: memFree=74368/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1709580 CPUtime=1781.77
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 426438 0 0 0 177245 932 0 0 25 0 1 0 181530262 1750609920 426411 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 427395 426411 136 292 0 427100 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1709580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7221
/proc/meminfo: memFree=60736/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=1723060 CPUtime=1800.09
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4194304 429798 0 0 0 179069 940 0 0 25 0 1 0 181530262 1764413440 429771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 430765 429771 136 292 0 430470 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1723060

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7221
/proc/meminfo: memFree=60736/2055920 swapFree=4191900/4192956
[pid=7220] ppid=7218 vsize=0 CPUtime=1800.28
/proc/7220/stat : 7220 (wbo) R 7218 7220 6911 0 -1 4195332 429798 0 0 0 179069 959 0 0 25 0 1 0 181530262 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7220/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.36
CPU user time (s): 1790.69
CPU system time (s): 9.66653
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1723060

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

runsolver used 1.82672 second user time and 4.06438 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-16 10:02:11
IDJOB=1875576
IDBENCH=1962
IDSOLVER=698
FILE ID=node37/1875576-1245139331
PBS_JOBID= 9363691
Free space on /tmp= 66168 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875576-1245139331/watcher-1875576-1245139331 -o /tmp/evaluation-result-1875576-1245139331/solver-1875576-1245139331 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875576-1245139331.opb

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=860645347

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1784224 kB
Buffers:         39464 kB
Cached:         152648 kB
SwapCached:        260 kB
Active:          51092 kB
Inactive:       154288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784224 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          21812 kB
Slab:            52376 kB
Committed_AS:   155180 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875576-1245139331.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-16 10:32:13