Trace number 1875675

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.31 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM80b0f13939656efa52b7dd958ee28431
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 180
Optimality of the best value was proved NO
Number of variables467
Total number of constraints466
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 constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
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 467
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-1875675-1245138257.opb.
0.00/0.00	c Instance file HOME/instance-1875675-1245138257.opb
0.00/0.00	c File size is 42827 bytes.
0.00/0.00	c Highest Coefficient sum: 241
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:      467                                                 |
0.00/0.00	c |  Number Clauses:        467                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 466                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 12	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: 9	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 5	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 13	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 11	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 11	Core Weight: 1	Total Weight: 10
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #11
0.00/0.01	c Core size: 11	Core Weight: 1	Total Weight: 11
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 12
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #13
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 13
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #14
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 14
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #16
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 16
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 11	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 19
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 20
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 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.024996 s	Remaining CPU time: 1799.98 s
0.00/0.03	c core #22
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 22
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #23
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #24
0.00/0.03	c Core size: 8	Core Weight: 1	Total Weight: 24
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #25
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 25
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 5	Core Weight: 1	Total Weight: 26
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #27
0.00/0.03	c Core size: 8	Core Weight: 1	Total Weight: 27
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #28
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 28
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 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.034994 s	Remaining CPU time: 1799.97 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.035994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #31
0.00/0.04	c Core size: 5	Core Weight: 1	Total Weight: 31
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #32
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 32
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #33
0.00/0.04	c Core size: 9	Core Weight: 1	Total Weight: 33
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #34
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 34
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #35
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #36
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 36
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #37
0.00/0.05	c Core size: 8	Core Weight: 1	Total Weight: 37
0.00/0.05	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #38
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 38
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #39
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 39
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #40
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 40
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #41
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 41
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #42
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 42
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #43
0.00/0.05	c Core size: 10	Core Weight: 1	Total Weight: 43
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #44
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 44
0.00/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #45
0.00/0.06	c Core size: 5	Core Weight: 1	Total Weight: 45
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #46
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 46
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #47
0.00/0.06	c Core size: 6	Core Weight: 1	Total Weight: 47
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #48
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 48
0.00/0.06	c Elapsed CPU time: 0.06299 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.06499 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #50
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 50
0.00/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #51
0.00/0.07	c Core size: 9	Core Weight: 1	Total Weight: 51
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #52
0.00/0.07	c Core size: 7	Core Weight: 1	Total Weight: 52
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #53
0.00/0.07	c Core size: 6	Core Weight: 1	Total Weight: 53
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #54
0.00/0.07	c Core size: 6	Core Weight: 1	Total Weight: 54
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #55
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 55
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #56
0.00/0.08	c Core size: 6	Core Weight: 1	Total Weight: 56
0.00/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #57
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 57
0.00/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #58
0.00/0.08	c Core size: 5	Core Weight: 1	Total Weight: 58
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #59
0.00/0.08	c Core size: 4	Core Weight: 1	Total Weight: 59
0.00/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #60
0.00/0.08	c Core size: 5	Core Weight: 1	Total Weight: 60
0.00/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #61
0.00/0.08	c Core size: 6	Core Weight: 1	Total Weight: 61
0.00/0.08	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #62
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 62
0.08/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #63
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 63
0.08/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #64
0.08/0.09	c Core size: 5	Core Weight: 1	Total Weight: 64
0.08/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #65
0.08/0.09	c Core size: 4	Core Weight: 1	Total Weight: 65
0.08/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.08/0.10	c core #66
0.08/0.10	c Core size: 6	Core Weight: 1	Total Weight: 66
0.08/0.10	c Elapsed CPU time: 0.095985 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: 4	Core Weight: 1	Total Weight: 68
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #69
0.09/0.10	c Core size: 11	Core Weight: 1	Total Weight: 69
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #70
0.09/0.10	c Core size: 14	Core Weight: 1	Total Weight: 70
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #71
0.09/0.11	c Core size: 10	Core Weight: 1	Total Weight: 71
0.09/0.11	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #72
0.09/0.11	c Core size: 10	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.11	c core #73
0.09/0.11	c Core size: 25	Core Weight: 1	Total Weight: 73
0.09/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #74
0.09/0.11	c Core size: 15	Core Weight: 1	Total Weight: 74
0.09/0.11	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: 14	Core Weight: 1	Total Weight: 75
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #76
0.09/0.12	c Core size: 14	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.12	c core #77
0.09/0.12	c Core size: 11	Core Weight: 1	Total Weight: 77
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #78
0.09/0.12	c Core size: 11	Core Weight: 1	Total Weight: 78
0.09/0.12	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: 10	Core Weight: 1	Total Weight: 79
0.09/0.13	c Elapsed CPU time: 0.12598 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.13	c core #81
0.09/0.13	c Core size: 12	Core Weight: 1	Total Weight: 81
0.09/0.13	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: 8	Core Weight: 1	Total Weight: 82
0.09/0.14	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #83
0.09/0.14	c Core size: 21	Core Weight: 1	Total Weight: 83
0.09/0.14	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #84
0.09/0.14	c Core size: 13	Core Weight: 1	Total Weight: 84
0.09/0.14	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #85
0.09/0.14	c Core size: 16	Core Weight: 1	Total Weight: 85
0.09/0.14	c Elapsed CPU time: 0.140978 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 |     968     1018     5726 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #86
0.09/0.15	c Core size: 20	Core Weight: 1	Total Weight: 86
0.09/0.15	c Elapsed CPU time: 0.143978 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 |     983     1019     5754 |     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.146977 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 |     996     1020     5780 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #88
0.09/0.15	c Core size: 35	Core Weight: 1	Total Weight: 88
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    1022     1021     5830 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #89
0.09/0.16	c Core size: 69	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 |    1072     1022     5927 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #90
0.09/0.16	c Core size: 26	Core Weight: 1	Total Weight: 90
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 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 |    1097     1023     5973 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #91
0.09/0.17	c Core size: 22	Core Weight: 1	Total Weight: 91
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 |    1116     1024     6008 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #92
0.09/0.17	c Core size: 19	Core Weight: 1	Total Weight: 92
0.09/0.17	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 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 |    1131     1025     6037 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #93
0.09/0.17	c Core size: 53	Core Weight: 1	Total Weight: 93
0.09/0.17	c Elapsed CPU time: 0.169974 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 |    1168     1026     6110 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #94
0.09/0.18	c Core size: 96	Core Weight: 1	Total Weight: 94
0.09/0.18	c Elapsed CPU time: 0.174973 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 |    1239     1027     6247 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #95
0.09/0.19	c Core size: 100	Core Weight: 1	Total Weight: 95
0.09/0.19	c Elapsed CPU time: 0.182972 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 |    1311     1028     6387 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #96
0.09/0.19	c Core size: 70	Core Weight: 1	Total Weight: 96
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 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 |    1360     1029     6484 |     5000        0    nan |  0.000 % |
0.19/0.20	c |       101 |    1360     1029     6484 |     5500      101     20 |  0.875 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c core #97
0.19/0.20	c Core size: 89	Core Weight: 1	Total Weight: 97
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 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 |    1422     1030     6606 |     5000        0    nan |  0.000 % |
0.19/0.21	c |       101 |    1421     1030     6606 |     5500      101      8 |  0.768 % |
0.19/0.22	c |       256 |    1413     1030     6606 |     6050      253      8 |  1.397 % |
0.19/0.23	c ===============================================================================
0.19/0.24	c core #98
0.19/0.24	c Core size: 103	Core Weight: 1	Total Weight: 98
0.19/0.24	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c ============================[ Search Statistics ]==============================
0.19/0.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |    1491     1031     6744 |     5000        0    nan |  0.000 % |
0.19/0.24	c |       100 |    1491     1031     6744 |     5500      100     16 |  0.666 % |
0.19/0.25	c |       250 |    1491     1031     6744 |     6050      250     17 |  0.666 % |
0.19/0.27	c |       477 |    1491     1031     6744 |     6655      477     18 |  0.666 % |
0.19/0.28	c |       815 |    1491     1031     6744 |     7320      815     19 |  0.666 % |
0.29/0.31	c |      1321 |    1485     1031     6744 |     8052     1320     19 |  1.066 % |
0.29/0.37	c |      2083 |    1483     1031     6744 |     8857     2082     20 |  1.199 % |
0.39/0.45	c ===============================================================================
0.39/0.46	c core #99
0.39/0.46	c Core size: 132	Core Weight: 1	Total Weight: 99
0.39/0.46	c Elapsed CPU time: 0.447931 s	Remaining CPU time: 1799.55 s
0.39/0.47	c ============================[ Search Statistics ]==============================
0.39/0.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    1579     1032     6919 |     5000        0    nan |  0.000 % |
0.39/0.47	c |       100 |    1579     1032     6919 |     5500      100     29 |  0.567 % |
0.39/0.48	c |       250 |    1579     1032     6919 |     6050      250     38 |  0.567 % |
0.49/0.50	c |       475 |    1577     1032     6919 |     6655      474     35 |  0.693 % |
0.49/0.52	c |       812 |    1577     1032     6919 |     7320      811     33 |  0.693 % |
0.49/0.55	c |      1318 |    1577     1032     6919 |     8052     1317     28 |  0.693 % |
0.59/0.62	c |      2078 |    1577     1032     6919 |     8857     2077     30 |  0.693 % |
0.69/0.73	c |      3218 |    1575     1032     6919 |     9743     3216     34 |  0.819 % |
0.89/0.90	c |      4927 |    1575     1032     6919 |    10717     4925     35 |  0.819 % |
1.19/1.27	c |      7489 |    1574     1032     6919 |    11789     4693     36 |  0.882 % |
1.59/1.62	c ===============================================================================
1.69/1.70	c core #100
1.69/1.70	c Core size: 150	Core Weight: 1	Total Weight: 100
1.69/1.70	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 1798.35 s
1.69/1.71	c ============================[ Search Statistics ]==============================
1.69/1.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.71	c ===============================================================================
1.69/1.71	c |         0 |    1675     1033     7111 |     5000        0    nan |  0.000 % |
1.69/1.72	c |       100 |    1675     1033     7111 |     5500      100     10 |  0.534 % |
1.69/1.74	c |       250 |    1670     1033     7111 |     6050      244     15 |  0.831 % |
1.69/1.75	c |       478 |    1670     1033     7111 |     6655      472     16 |  0.831 % |
1.69/1.78	c |       818 |    1670     1033     7111 |     7320      812     17 |  0.831 % |
1.79/1.83	c |      1327 |    1670     1033     7111 |     8052     1321     20 |  0.831 % |
1.89/1.92	c |      2089 |    1669     1033     7111 |     8857     1215     21 |  0.891 % |
1.89/1.95	c ===============================================================================
1.89/1.97	c core #101
1.89/1.97	c Core size: 268	Core Weight: 1	Total Weight: 101
1.89/1.97	c Elapsed CPU time: 1.91171 s	Remaining CPU time: 1798.09 s
1.89/1.97	c ============================[ Search Statistics ]==============================
1.89/1.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.97	c ===============================================================================
1.89/1.97	c |         0 |    1851     1034     7463 |     5000        0    nan |  0.000 % |
1.89/1.98	c |       100 |    1850     1034     7463 |     5500      100     22 |  0.806 % |
1.89/1.99	c |       250 |    1845     1034     7463 |     6050      249     22 |  0.807 % |
1.99/2.00	c |       475 |    1845     1034     7463 |     6655      474     29 |  0.806 % |
1.99/2.03	c |       812 |    1845     1034     7463 |     7320      811     31 |  0.806 % |
1.99/2.08	c |      1318 |    1845     1034     7463 |     8052     1317     31 |  0.806 % |
2.10/2.18	c |      2080 |    1845     1034     7463 |     8857     2079     33 |  0.806 % |
2.29/2.33	c |      3220 |    1845     1034     7463 |     9743     3219     44 |  0.806 % |
2.49/2.59	c |      4928 |    1845     1034     7463 |    10717     4927     45 |  0.806 % |
2.99/3.08	c |      7492 |    1845     1034     7463 |    11789     7491     52 |  0.806 % |
3.79/3.87	c |     11336 |    1845     1034     7463 |    12968    11335     58 |  0.806 % |
5.19/5.21	c |     17103 |    1844     1034     7463 |    14265    10577     57 |  0.860 % |
7.59/7.68	c |     25752 |    1844     1034     7463 |    15692    12017     52 |  0.860 % |
11.29/11.31	c |     38728 |    1844     1034     7463 |    17261     9165     65 |  0.860 % |
17.49/17.52	c |     58190 |    1667     1034     7463 |    18987     3365     78 | 10.376 % |
17.59/17.64	c ===============================================================================
18.38/18.46	c core #102
18.38/18.46	c Core size: 266	Core Weight: 1	Total Weight: 102
18.38/18.46	c Elapsed CPU time: 18.2232 s	Remaining CPU time: 1781.78 s
18.48/18.53	c ============================[ Search Statistics ]==============================
18.48/18.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.48/18.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.48/18.53	c ===============================================================================
18.48/18.53	c |         0 |    2025     1035     7808 |     5000        0    nan |  0.000 % |
18.48/18.55	c |       101 |    2025     1035     7808 |     5500      101     24 |  0.295 % |
18.48/18.56	c |       251 |    2025     1035     7808 |     6050      251     27 |  0.295 % |
18.48/18.58	c |       476 |    2025     1035     7808 |     6655      476     32 |  0.295 % |
18.59/18.61	c |       813 |    2025     1035     7808 |     7320      813     37 |  0.295 % |
18.59/18.67	c |      1320 |    2024     1035     7808 |     8052     1316     46 |  0.345 % |
18.69/18.75	c |      2081 |    2022     1035     7808 |     8857     2072     51 |  0.443 % |
18.89/18.90	c |      3221 |    2022     1035     7808 |     9743     3212     54 |  0.443 % |
19.09/19.15	c |      4932 |    2022     1035     7808 |    10717     4923     53 |  0.443 % |
19.58/19.69	c |      7498 |    2022     1035     7808 |    11789     7489     62 |  0.443 % |
20.48/20.55	c |     11344 |    2022     1035     7808 |    12968    11335     76 |  0.443 % |
22.99/23.01	c |     17111 |    2022     1035     7808 |    14265    10482    110 |  0.443 % |
27.08/27.14	c |     25767 |    2021     1035     7808 |    15692    11883    102 |  0.492 % |
33.38/33.46	c |     38741 |    2017     1035     7808 |    17261     9056     89 |  0.689 % |
40.88/40.95	c |     58205 |    2017     1035     7808 |    18987    11050    106 |  0.689 % |
56.08/56.10	c |     87399 |    2017     1035     7808 |    20886    11366    132 |  0.689 % |
80.37/80.47	c |    131189 |    2015     1035     7808 |    22974    12935    103 |  0.788 % |
124.27/124.31	c |    196874 |    2015     1035     7808 |    25272    20551    131 |  0.788 % |
205.44/205.57	c |    295400 |    2015     1035     7808 |    27799    16125    128 |  0.788 % |
223.54/223.61	c ===============================================================================
228.63/228.74	c core #103
228.63/228.74	c Core size: 324	Core Weight: 1	Total Weight: 103
228.63/228.74	c Elapsed CPU time: 227.183 s	Remaining CPU time: 1572.82 s
228.93/229.08	c ============================[ Search Statistics ]==============================
228.93/229.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
228.93/229.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
228.93/229.08	c ===============================================================================
228.93/229.08	c |         0 |    2229     1036     8215 |     5000        0    nan |  0.000 % |
229.03/229.14	c |       103 |    2229     1036     8215 |     5500      103     23 |  0.224 % |
229.03/229.15	c |       254 |    2229     1036     8215 |     6050      254     26 |  0.224 % |
229.03/229.18	c |       479 |    2229     1036     8215 |     6655      479     31 |  0.224 % |
229.13/229.20	c |       817 |    2229     1036     8215 |     7320      817     27 |  0.224 % |
229.13/229.26	c |      1323 |    2229     1036     8215 |     8052     1323     31 |  0.224 % |
229.23/229.33	c |      2083 |    2229     1036     8215 |     8857     2083     36 |  0.224 % |
229.33/229.44	c |      3222 |    2229     1036     8215 |     9743     3222     37 |  0.224 % |
229.53/229.68	c |      4936 |    2229     1036     8215 |    10717     4936     41 |  0.224 % |
230.03/230.11	c |      7498 |    2229     1036     8215 |    11789     7498     47 |  0.224 % |
230.64/230.79	c |     11342 |    2229     1036     8215 |    12968    11342     51 |  0.224 % |
232.03/232.12	c |     17110 |    2229     1036     8215 |    14265    10599     60 |  0.224 % |
234.33/234.42	c |     25759 |    2229     1036     8215 |    15692    12043     68 |  0.224 % |
238.53/238.60	c |     38733 |    2229     1036     8215 |    17261     9181     72 |  0.224 % |
246.23/246.39	c |     58195 |    2229     1036     8215 |    18987    11267     85 |  0.224 % |
258.73/258.84	c |     87387 |    2229     1036     8215 |    20886    11703     78 |  0.224 % |
270.82/270.98	c ===============================================================================
273.92/274.00	c core #104
273.92/274.00	c Core size: 276	Core Weight: 1	Total Weight: 104
273.92/274.00	c Elapsed CPU time: 272.097 s	Remaining CPU time: 1527.9 s
274.02/274.18	c ============================[ Search Statistics ]==============================
274.02/274.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
274.02/274.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
274.02/274.18	c ===============================================================================
274.02/274.18	c |         0 |    2408     1037     8572 |     5000        0    nan |  0.000 % |
274.12/274.22	c |       101 |    2408     1037     8572 |     5500      101     48 |  0.166 % |
274.12/274.24	c |       254 |    2408     1037     8572 |     6050      254     34 |  0.166 % |
274.12/274.27	c |       482 |    2408     1037     8572 |     6655      482     35 |  0.166 % |
274.22/274.30	c |       820 |    2408     1037     8572 |     7320      820     37 |  0.166 % |
274.22/274.35	c |      1326 |    2408     1037     8572 |     8052     1326     33 |  0.166 % |
274.32/274.44	c |      2088 |    2408     1037     8572 |     8857     2088     47 |  0.166 % |
274.41/274.57	c |      3228 |    2408     1037     8572 |     9743     3228     52 |  0.166 % |
274.82/274.92	c |      4939 |    2406     1037     8572 |    10717     4938     79 |  0.249 % |
275.32/275.47	c |      7501 |    2406     1037     8572 |    11789     7500     88 |  0.249 % |
276.42/276.53	c |     11351 |    2406     1037     8572 |    12968    11350    101 |  0.249 % |
278.22/278.31	c |     17119 |    2406     1037     8572 |    14265    10553    108 |  0.249 % |
280.82/280.94	c |     25768 |    2406     1037     8572 |    15692    11992     95 |  0.249 % |
284.42/284.52	c |     38742 |    2406     1037     8572 |    17261     9118     97 |  0.249 % |
293.62/293.78	c |     58204 |    2406     1037     8572 |    18987    11052    120 |  0.249 % |
307.31/307.47	c |     87397 |    2406     1037     8572 |    20886    11331    131 |  0.249 % |
332.61/332.72	c |    131190 |    2406     1037     8572 |    22974    12728    144 |  0.249 % |
386.79/386.92	c |    196875 |    2406     1037     8572 |    25272    20337    181 |  0.249 % |
472.67/472.80	c |    295403 |    2406     1037     8572 |    27799    15757    199 |  0.249 % |
588.74/588.90	c |    443202 |    2406     1037     8572 |    30579    15880    147 |  0.249 % |
796.28/796.53	c |    664900 |    2406     1037     8572 |    33637    27066    174 |  0.249 % |
1133.38/1133.74	c |    997426 |    2406     1037     8572 |    37001    16185    151 |  0.249 % |
1656.75/1657.22	c |   1496214 |    2406     1037     8572 |    40701    26987    178 |  0.249 % |

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-1875675-1245138257/watcher-1875675-1245138257 -o /tmp/evaluation-result-1875675-1245138257/solver-1875675-1245138257 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875675-1245138257.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3553
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=2580 CPUtime=0
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 181425669 2641920 186 1992294400 134512640 135709839 4294956240 18446744073709551615 134543844 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 645 186 128 292 0 339 0

[startup+0.090502 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3553
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=4708 CPUtime=0.08
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 777 0 0 0 8 0 0 0 18 0 1 0 181425669 4820992 750 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 1177 750 134 292 0 882 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4708

[startup+0.101503 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3553
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=5104 CPUtime=0.09
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 864 0 0 0 9 0 0 0 18 0 1 0 181425669 5226496 837 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 1276 837 134 292 0 981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5104

[startup+0.301524 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3553
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=8468 CPUtime=0.29
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 1721 0 0 0 28 1 0 0 18 0 1 0 181425669 8671232 1694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 2117 1694 136 292 0 1822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8468

[startup+0.701567 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3553
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=9544 CPUtime=0.69
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 1970 0 0 0 67 2 0 0 21 0 1 0 181425669 9773056 1943 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 2386 1944 136 292 0 2091 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9544

[startup+1.50265 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1817176/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=11932 CPUtime=1.5
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 2561 0 0 0 145 5 0 0 25 0 1 0 181425669 12218368 2534 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 2983 2534 136 292 0 2688 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 11932

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1814808/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=12988 CPUtime=3.09
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 2833 0 0 0 302 7 0 0 25 0 1 0 181425669 13299712 2806 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 3247 2806 136 292 0 2952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12988

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1809496/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=19332 CPUtime=6.29
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 4436 0 0 0 618 11 0 0 25 0 1 0 181425669 19795968 4409 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 4833 4409 136 292 0 4538 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19332

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1797656/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=31248 CPUtime=12.69
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 7398 0 0 0 1250 19 0 0 25 0 1 0 181425669 31997952 7371 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 7812 7371 136 292 0 7517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31248

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1785816/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=41628 CPUtime=25.49
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 9992 0 0 0 2519 30 0 0 25 0 1 0 181425669 42627072 9965 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 10407 9965 136 292 0 10112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41628

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1749464/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=79288 CPUtime=51.08
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 19394 0 0 0 5057 51 0 0 25 0 1 0 181425669 81190912 19367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 19822 19367 136 292 0 19527 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79288

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1683800/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=143840 CPUtime=102.26
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 35503 0 0 0 10144 82 0 0 25 0 1 0 181425669 147292160 35476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 35960 35476 136 292 0 35665 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 143840

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1626328/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=201740 CPUtime=162.24
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 49933 0 0 0 16109 115 0 0 25 0 1 0 181425669 206581760 49906 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 50435 49906 136 292 0 50140 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 201740

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1565656/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=262132 CPUtime=222.23
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 64987 0 0 0 22075 148 0 0 25 0 1 0 181425669 268423168 64960 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 65533 64960 136 292 0 65238 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 262132

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1555864/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=271128 CPUtime=282.22
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 67387 0 0 0 28028 194 0 0 25 0 1 0 181425669 277635072 67332 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 67782 67332 136 292 0 67487 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 271128

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1492376/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=334820 CPUtime=342.2
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 83298 0 0 0 33983 237 0 0 25 0 1 0 181425669 342855680 83243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 83705 83243 136 292 0 83410 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 334820

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1428440/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=399124 CPUtime=402.19
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 99340 0 0 0 39949 270 0 0 25 0 1 0 181425669 408702976 99285 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 99781 99285 136 292 0 99486 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 399124

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3554
/proc/meminfo: memFree=1355800/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=471600 CPUtime=462.17
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 117433 0 0 0 45913 304 0 0 25 0 1 0 181425669 482918400 117378 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 117900 117378 136 292 0 117605 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 471600

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3556
/proc/meminfo: memFree=1279832/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=547584 CPUtime=522.15
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 136408 0 0 0 51878 337 0 0 25 0 1 0 181425669 560726016 136353 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 136896 136353 136 292 0 136601 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 547584

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3556
/proc/meminfo: memFree=1205592/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=621612 CPUtime=582.13
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 154905 0 0 0 57842 371 0 0 25 0 1 0 181425669 636530688 154850 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 155403 154850 136 292 0 155108 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 621612

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3556
/proc/meminfo: memFree=1135192/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=691324 CPUtime=642.12
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 172301 0 0 0 63809 403 0 0 25 0 1 0 181425669 707915776 172246 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 172831 172246 136 292 0 172536 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 691324

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3556
/proc/meminfo: memFree=832600/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=994424 CPUtime=942.05
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 247921 0 0 0 93662 543 0 0 25 0 1 0 181425669 1018290176 247866 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 248606 247866 136 292 0 248311 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 994424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3556
/proc/meminfo: memFree=783256/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1043576 CPUtime=1002.03
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 260158 0 0 0 99634 569 0 0 25 0 1 0 181425669 1068621824 260103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 260894 260103 136 292 0 260599 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1043576

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=730576/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1096884 CPUtime=1062.01
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 273425 0 0 0 105607 594 0 0 25 0 1 0 181425669 1123209216 273370 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 274221 273370 136 292 0 273926 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1096884

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=676496/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1150308 CPUtime=1121.99
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 286781 0 0 0 111576 623 0 0 25 0 1 0 181425669 1177915392 286726 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 287577 286726 136 292 0 287282 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1150308

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=620496/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1207408 CPUtime=1181.98
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 301056 0 0 0 117545 653 0 0 25 0 1 0 181425669 1236385792 301001 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 301852 301001 136 292 0 301557 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1207408

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=557456/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1269240 CPUtime=1241.96
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 316511 0 0 0 123517 679 0 0 25 0 1 0 181425669 1299701760 316456 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 317310 316456 136 292 0 317015 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1269240

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=495248/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1330976 CPUtime=1301.95
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 331938 0 0 0 129487 708 0 0 25 0 1 0 181425669 1362919424 331883 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 332744 331883 136 292 0 332449 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1330976

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=435736/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1391048 CPUtime=1361.93
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 346946 0 0 0 135458 735 0 0 25 0 1 0 181425669 1424433152 346891 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 347762 346891 136 292 0 347467 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1391048

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=376600/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1449660 CPUtime=1421.91
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 361564 0 0 0 141427 764 0 0 25 0 1 0 181425669 1484451840 361509 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 362415 361509 136 292 0 362120 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1449660

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=323608/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1502828 CPUtime=1481.89
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 374860 0 0 0 147399 790 0 0 25 0 1 0 181425669 1538895872 374805 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 375707 374805 136 292 0 375412 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1502828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=258072/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1568220 CPUtime=1541.88
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 391170 0 0 0 153368 820 0 0 25 0 1 0 181425669 1605857280 391115 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 392055 391115 136 292 0 391760 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1568220

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=187800/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1639024 CPUtime=1601.87
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 408837 0 0 0 159332 855 0 0 25 0 1 0 181425669 1678360576 408782 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 409756 408782 136 292 0 409461 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1639024

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=130136/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1696036 CPUtime=1661.85
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 423083 0 0 0 165306 879 0 0 25 0 1 0 181425669 1736740864 423028 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 424009 423028 136 292 0 423714 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1696036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=76376/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1750700 CPUtime=1721.83
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 436704 0 0 0 171280 903 0 0 25 0 1 0 181425669 1792716800 436649 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 437675 436649 136 292 0 437380 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1750700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=26200/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1799856 CPUtime=1781.82
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 448995 0 0 0 177257 925 0 0 25 0 1 0 181425669 1843052544 448940 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 449964 448940 136 292 0 449669 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1799856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3562
/proc/meminfo: memFree=15960/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=1820640 CPUtime=1800.02
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4194304 454186 0 0 0 179068 934 0 0 25 0 1 0 181425669 1864335360 454131 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 455160 454131 136 292 0 454865 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1820640

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3563
/proc/meminfo: memFree=623888/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=0 CPUtime=1800.13
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4195332 454186 0 0 0 179068 945 0 0 25 0 1 0 181425669 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3563
/proc/meminfo: memFree=623888/2055920 swapFree=4182492/4192956
[pid=3553] ppid=3551 vsize=0 CPUtime=1800.22
/proc/3553/stat : 3553 (wbo) R 3551 3553 3024 0 -1 4195332 454186 0 0 0 179068 954 0 0 25 0 1 0 181425669 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3553/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.31
CPU user time (s): 1790.68
CPU system time (s): 9.63154
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1820640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.68
system time used= 9.63153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 454186
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= 3
involuntary context switches= 2819

runsolver used 1.21182 second user time and 3.82642 second system time

The end

Launcher Data 

Begin job on node21 at 2009-06-16 09:44:17
IDJOB=1875675
IDBENCH=1957
IDSOLVER=698
FILE ID=node21/1875675-1245138257
PBS_JOBID= 9363712
Free space on /tmp= 66092 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.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-1875675-1245138257/watcher-1875675-1245138257 -o /tmp/evaluation-result-1875675-1245138257/solver-1875675-1245138257 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875675-1245138257.opb

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

MD5SUM BENCH= 80b0f13939656efa52b7dd958ee28431
RANDOM SEED=472261209

node21.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.239
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.239
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:       1825920 kB
Buffers:         39944 kB
Cached:         111520 kB
SwapCached:       4256 kB
Active:          13100 kB
Inactive:       145760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1825920 kB
SwapTotal:     4192956 kB
SwapFree:      4182492 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          13420 kB
Slab:            57104 kB
Committed_AS:   165192 kB
PageTables:       1380 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-1875675-1245138257.opb

Free space on /tmp at the end= 66088 MiB
End job on node21 at 2009-06-16 10:14:19