Trace number 1875687

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.29 1800.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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-1875687-1245137823.opb.
0.00/0.00	c Instance file HOME/instance-1875687-1245137823.opb
0.00/0.00	c File size is 43685 bytes.
0.00/0.00	c Highest Coefficient sum: 273
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:      478                                                 |
0.00/0.00	c |  Number Clauses:        478                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 478                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 17	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 7	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: 12	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: 7	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: 10	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: 5	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 10	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 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.016997 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.017997 s	Remaining CPU time: 1799.98 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.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #13
0.00/0.02	c Core size: 14	Core Weight: 1	Total Weight: 13
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #14
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 14
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.021996 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.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 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.026995 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 20
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #21
0.00/0.03	c Core size: 7	Core Weight: 1	Total Weight: 21
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #22
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 22
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #23
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 23
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #24
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #25
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 25
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 9	Core Weight: 1	Total Weight: 26
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 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.036994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #28
0.00/0.03	c Core size: 10	Core Weight: 1	Total Weight: 28
0.00/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #29
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 29
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #30
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 30
0.00/0.04	c Elapsed CPU time: 0.040993 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.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #32
0.00/0.04	c Core size: 5	Core Weight: 1	Total Weight: 32
0.00/0.04	c Elapsed CPU time: 0.043993 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.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #34
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 34
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.04/0.04	c core #35
0.04/0.04	c Core size: 8	Core Weight: 1	Total Weight: 35
0.04/0.04	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #36
0.04/0.05	c Core size: 7	Core Weight: 1	Total Weight: 36
0.04/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #37
0.04/0.05	c Core size: 8	Core Weight: 1	Total Weight: 37
0.04/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #38
0.04/0.05	c Core size: 5	Core Weight: 1	Total Weight: 38
0.04/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #39
0.04/0.05	c Core size: 5	Core Weight: 1	Total Weight: 39
0.04/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #40
0.04/0.05	c Core size: 10	Core Weight: 1	Total Weight: 40
0.04/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.04/0.05	c core #41
0.04/0.05	c Core size: 6	Core Weight: 1	Total Weight: 41
0.04/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.04/0.05	c core #42
0.04/0.05	c Core size: 3	Core Weight: 1	Total Weight: 42
0.04/0.05	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #43
0.04/0.06	c Core size: 5	Core Weight: 1	Total Weight: 43
0.04/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #44
0.04/0.06	c Core size: 6	Core Weight: 1	Total Weight: 44
0.04/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #45
0.04/0.06	c Core size: 5	Core Weight: 1	Total Weight: 45
0.04/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #46
0.04/0.06	c Core size: 4	Core Weight: 1	Total Weight: 46
0.04/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #47
0.04/0.06	c Core size: 6	Core Weight: 1	Total Weight: 47
0.04/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #48
0.04/0.06	c Core size: 4	Core Weight: 1	Total Weight: 48
0.04/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #49
0.04/0.07	c Core size: 4	Core Weight: 1	Total Weight: 49
0.04/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #50
0.04/0.07	c Core size: 5	Core Weight: 1	Total Weight: 50
0.04/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #51
0.04/0.07	c Core size: 6	Core Weight: 1	Total Weight: 51
0.04/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #52
0.04/0.07	c Core size: 5	Core Weight: 1	Total Weight: 52
0.04/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #53
0.04/0.07	c Core size: 4	Core Weight: 1	Total Weight: 53
0.04/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #54
0.04/0.07	c Core size: 8	Core Weight: 1	Total Weight: 54
0.04/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.04/0.08	c core #55
0.04/0.08	c Core size: 5	Core Weight: 1	Total Weight: 55
0.04/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.04/0.08	c core #56
0.04/0.08	c Core size: 5	Core Weight: 1	Total Weight: 56
0.04/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.04/0.08	c core #57
0.04/0.08	c Core size: 5	Core Weight: 1	Total Weight: 57
0.04/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.04/0.08	c core #58
0.04/0.08	c Core size: 4	Core Weight: 1	Total Weight: 58
0.04/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.04/0.08	c core #59
0.04/0.08	c Core size: 5	Core Weight: 1	Total Weight: 59
0.04/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.04/0.08	c core #60
0.04/0.08	c Core size: 3	Core Weight: 1	Total Weight: 60
0.04/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.04/0.09	c core #61
0.04/0.09	c Core size: 5	Core Weight: 1	Total Weight: 61
0.04/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.04/0.09	c core #62
0.04/0.09	c Core size: 4	Core Weight: 1	Total Weight: 62
0.04/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.04/0.09	c core #63
0.04/0.09	c Core size: 4	Core Weight: 1	Total Weight: 63
0.04/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.04/0.09	c core #64
0.04/0.09	c Core size: 3	Core Weight: 1	Total Weight: 64
0.04/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.04/0.09	c core #65
0.04/0.09	c Core size: 5	Core Weight: 1	Total Weight: 65
0.04/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.04/0.10	c core #66
0.04/0.10	c Core size: 4	Core Weight: 1	Total Weight: 66
0.04/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: 4	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: 3	Core Weight: 1	Total Weight: 68
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #69
0.09/0.10	c Core size: 5	Core Weight: 1	Total Weight: 69
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #70
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 70
0.09/0.11	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #71
0.09/0.11	c Core size: 12	Core Weight: 1	Total Weight: 71
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #72
0.09/0.11	c Core size: 17	Core Weight: 1	Total Weight: 72
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #73
0.09/0.11	c Core size: 10	Core Weight: 1	Total Weight: 73
0.09/0.11	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: 15	Core Weight: 1	Total Weight: 74
0.09/0.12	c Elapsed CPU time: 0.112982 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: 14	Core Weight: 1	Total Weight: 76
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #77
0.09/0.12	c Core size: 10	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.13	c core #78
0.09/0.13	c Core size: 10	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: 14	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: 8	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: 23	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: 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.136979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #84
0.09/0.14	c Core size: 9	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.14	c core #85
0.09/0.14	c Core size: 10	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 core #86
0.09/0.15	c Core size: 9	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 |     949     1042     5774 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #87
0.09/0.15	c Core size: 41	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 |     982     1043     5836 |     5000        0    nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #88
0.09/0.15	c Core size: 21	Core Weight: 1	Total Weight: 88
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 |     998     1044     5866 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #89
0.09/0.16	c Core size: 12	Core Weight: 1	Total Weight: 89
0.09/0.16	c Elapsed CPU time: 0.152976 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 |    1009     1045     5886 |     5000        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #90
0.09/0.16	c Core size: 53	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.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 |    1049     1046     5962 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #91
0.09/0.17	c Core size: 115	Core Weight: 1	Total Weight: 91
0.09/0.17	c Elapsed CPU time: 0.161975 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 |    1137     1047     6131 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #92
0.09/0.17	c Core size: 20	Core Weight: 1	Total Weight: 92
0.09/0.17	c Elapsed CPU time: 0.164974 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 |    1152     1048     6160 |     5000        0    nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #93
0.09/0.17	c Core size: 16	Core Weight: 1	Total Weight: 93
0.09/0.17	c Elapsed CPU time: 0.166974 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 |    1164     1049     6183 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #94
0.09/0.18	c Core size: 15	Core Weight: 1	Total Weight: 94
0.09/0.18	c Elapsed CPU time: 0.170974 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 |    1175     1050     6204 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #95
0.09/0.19	c Core size: 29	Core Weight: 1	Total Weight: 95
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 |    1195     1051     6244 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #96
0.09/0.19	c Core size: 34	Core Weight: 1	Total Weight: 96
0.09/0.19	c Elapsed CPU time: 0.180972 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 |    1224     1052     6297 |     5000        0    nan |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c core #97
0.09/0.19	c Core size: 59	Core Weight: 1	Total Weight: 97
0.09/0.19	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 |    1263     1053     6375 |     5000        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c core #98
0.19/0.20	c Core size: 34	Core Weight: 1	Total Weight: 98
0.19/0.20	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 1799.81 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 |    1286     1054     6421 |     5000        0    nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c core #99
0.19/0.20	c Core size: 28	Core Weight: 1	Total Weight: 99
0.19/0.20	c Elapsed CPU time: 0.19397 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 |    1309     1055     6465 |     5000        0    nan |  0.000 % |
0.19/0.21	c |       100 |    1307     1055     6465 |     5500       99     16 |  1.729 % |
0.19/0.22	c |       251 |    1294     1055     6465 |     6050      247     15 |  2.707 % |
0.19/0.24	c |       477 |    1292     1055     6465 |     6655      473     16 |  3.008 % |
0.19/0.25	c ===============================================================================
0.19/0.26	c core #100
0.19/0.26	c Core size: 174	Core Weight: 1	Total Weight: 100
0.19/0.26	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    1433     1056     6709 |     5000        0    nan |  0.000 % |
0.19/0.27	c |       100 |    1432     1056     6709 |     5500      100      8 |  1.241 % |
0.19/0.28	c |       251 |    1432     1056     6709 |     6050      250      9 |  1.241 % |
0.19/0.29	c ===============================================================================
0.19/0.29	c core #101
0.19/0.29	c Core size: 200	Core Weight: 1	Total Weight: 101
0.19/0.29	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.19/0.30	c ============================[ Search Statistics ]==============================
0.19/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1565     1057     6968 |     5000        0    nan |  0.000 % |
0.29/0.30	c |       100 |    1565     1057     6968 |     5500      100     24 |  0.761 % |
0.29/0.31	c |       250 |    1565     1057     6968 |     6050      250     24 |  0.761 % |
0.29/0.33	c |       485 |    1565     1057     6968 |     6655      485     24 |  0.761 % |
0.29/0.34	c ===============================================================================
0.29/0.35	c core #102
0.29/0.35	c Core size: 96	Core Weight: 1	Total Weight: 102
0.29/0.35	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 1799.67 s
0.29/0.35	c ============================[ Search Statistics ]==============================
0.29/0.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1625     1058     7088 |     5000        0    nan |  0.000 % |
0.29/0.36	c |       102 |    1621     1058     7088 |     5500      102     12 |  1.710 % |
0.29/0.37	c |       255 |    1608     1058     7088 |     6050      249     15 |  2.077 % |
0.29/0.39	c |       480 |    1603     1058     7088 |     6655      473     21 |  2.077 % |
0.39/0.42	c |       817 |    1601     1058     7088 |     7320      802     22 |  2.260 % |
0.39/0.47	c |      1323 |    1599     1058     7088 |     8052      749     21 |  2.321 % |
0.39/0.49	c ===============================================================================
0.49/0.50	c core #103
0.49/0.50	c Core size: 188	Core Weight: 1	Total Weight: 103
0.49/0.50	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 1799.52 s
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |    1747     1059     7330 |     5000        0    nan |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c core #104
0.49/0.51	c Core size: 65	Core Weight: 1	Total Weight: 104
0.49/0.51	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |    1793     1060     7421 |     5000        0    nan |  0.000 % |
0.49/0.53	c |       101 |    1787     1060     7421 |     5500      100     15 |  0.832 % |
0.49/0.54	c |       251 |    1787     1060     7421 |     6050      250     19 |  0.832 % |
0.49/0.56	c |       477 |    1787     1060     7421 |     6655      476     30 |  0.832 % |
0.59/0.60	c |       815 |    1787     1060     7421 |     7320      814     32 |  0.832 % |
0.59/0.65	c |      1324 |    1787     1060     7421 |     8052     1323     32 |  0.832 % |
0.69/0.74	c |      2084 |    1787     1060     7421 |     8857     2083     34 |  0.832 % |
0.79/0.89	c |      3224 |    1787     1060     7421 |     9743     3223     38 |  0.832 % |
1.19/1.20	c |      4932 |    1786     1060     7421 |    10717     4930     38 |  0.888 % |
1.69/1.74	c |      7494 |    1786     1060     7421 |    11789     7492     38 |  0.888 % |
2.39/2.48	c ===============================================================================
2.59/2.60	c core #105
2.59/2.60	c Core size: 214	Core Weight: 1	Total Weight: 105
2.59/2.60	c Elapsed CPU time: 2.54761 s	Remaining CPU time: 1797.45 s
2.59/2.61	c ============================[ Search Statistics ]==============================
2.59/2.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.61	c ===============================================================================
2.59/2.61	c |         0 |    1927     1061     7688 |     5000        0    nan |  0.000 % |
2.59/2.62	c |       100 |    1927     1061     7688 |     5500      100     29 |  0.413 % |
2.59/2.64	c |       254 |    1927     1061     7688 |     6050      254     29 |  0.414 % |
2.59/2.66	c |       479 |    1927     1061     7688 |     6655      479     30 |  0.413 % |
2.59/2.68	c |       818 |    1927     1061     7688 |     7320      818     35 |  0.413 % |
2.69/2.75	c |      1324 |    1927     1061     7688 |     8052     1324     47 |  0.413 % |
2.79/2.83	c |      2083 |    1925     1061     7688 |     8857     2082     43 |  0.517 % |
2.89/2.95	c |      3222 |    1925     1061     7688 |     9743     3221     42 |  0.517 % |
3.09/3.19	c |      4932 |    1925     1061     7688 |    10717     4931     51 |  0.517 % |
3.59/3.62	c |      7499 |    1925     1061     7688 |    11789     7498     56 |  0.517 % |
4.39/4.48	c |     11343 |    1925     1061     7688 |    12968    11342     59 |  0.517 % |
5.49/5.57	c |     17114 |    1925     1061     7688 |    14265    10593     62 |  0.517 % |
7.78/7.84	c |     25764 |    1925     1061     7688 |    15692    12049     78 |  0.517 % |
12.59/12.68	c |     38740 |    1925     1061     7688 |    17261     9186     82 |  0.517 % |
21.78/21.84	c |     58201 |    1925     1061     7688 |    18987    11264     77 |  0.517 % |
32.68/32.76	c |     87393 |    1914     1061     7688 |    20886    11716     67 |  1.085 % |
38.49/38.58	c ===============================================================================
40.18/40.21	c core #106
40.18/40.21	c Core size: 434	Core Weight: 1	Total Weight: 106
40.18/40.21	c Elapsed CPU time: 39.8159 s	Remaining CPU time: 1760.18 s
40.28/40.32	c ============================[ Search Statistics ]==============================
40.28/40.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.28/40.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.28/40.32	c ===============================================================================
40.28/40.32	c |         0 |    2199     1062     8230 |     5000        0    nan |  0.000 % |
40.28/40.34	c |       100 |    2199     1062     8230 |     5500      100     13 |  0.272 % |
40.28/40.36	c |       251 |    2198     1062     8230 |     6050      251     15 |  0.363 % |
40.28/40.37	c |       476 |    2196     1062     8230 |     6655      444     13 |  0.408 % |
40.38/40.40	c |       813 |    2196     1062     8230 |     7320      781     14 |  0.408 % |
40.38/40.43	c |      1321 |    2196     1062     8230 |     8052     1289     14 |  0.408 % |
40.48/40.51	c |      2081 |    2171     1062     8230 |     8857     1763     15 |  2.721 % |
40.48/40.53	c ===============================================================================
40.48/40.55	c core #107
40.48/40.55	c Core size: 147	Core Weight: 1	Total Weight: 107
40.48/40.55	c Elapsed CPU time: 40.1489 s	Remaining CPU time: 1759.85 s
40.48/40.56	c ============================[ Search Statistics ]==============================
40.48/40.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
40.48/40.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
40.48/40.56	c ===============================================================================
40.48/40.56	c |         0 |    2291     1063     8413 |     5000        0    nan |  0.000 % |
40.48/40.57	c |       101 |    2291     1063     8413 |     5500      101     37 |  0.218 % |
40.48/40.58	c |       252 |    2291     1063     8413 |     6050      252     37 |  0.218 % |
40.58/40.60	c |       478 |    2291     1063     8413 |     6655      478     33 |  0.218 % |
40.58/40.65	c |       816 |    2291     1063     8413 |     7320      816     35 |  0.218 % |
40.68/40.71	c |      1322 |    2291     1063     8413 |     8052     1322     34 |  0.218 % |
40.78/40.81	c |      2082 |    2291     1063     8413 |     8857     2082     39 |  0.218 % |
40.88/40.99	c |      3222 |    2291     1063     8413 |     9743     3222     53 |  0.218 % |
41.28/41.36	c |      4930 |    2291     1063     8413 |    10717     4930     70 |  0.218 % |
41.78/41.83	c |      7493 |    2291     1063     8413 |    11789     7493     73 |  0.218 % |
42.68/42.70	c |     11341 |    2291     1063     8413 |    12968    11341     80 |  0.218 % |
44.78/44.80	c |     17107 |    2291     1063     8413 |    14265    10513     95 |  0.218 % |
48.67/48.71	c |     25757 |    2291     1063     8413 |    15692    11899    103 |  0.218 % |
54.57/54.68	c |     38731 |    2291     1063     8413 |    17261     8966     98 |  0.218 % |
62.38/62.43	c |     58193 |    2291     1063     8413 |    18987    10805    117 |  0.218 % |
76.27/76.37	c |     87385 |    2291     1063     8413 |    20886    11161    102 |  0.218 % |
104.87/105.00	c |    131175 |    2291     1063     8413 |    22974    12532    123 |  0.218 % |
145.96/146.10	c |    196859 |    2291     1063     8413 |    25272    19915    142 |  0.218 % |
210.04/210.10	c |    295385 |    2291     1063     8413 |    27799    15978    105 |  0.218 % |
314.12/314.24	c |    443174 |    2291     1063     8413 |    30579    16519    115 |  0.218 % |
494.67/494.88	c |    664860 |    2291     1063     8413 |    33637    19679    123 |  0.218 % |
780.50/780.72	c |    997392 |    2291     1063     8413 |    37001    17589    135 |  0.218 % |
1399.95/1400.35	c |   1496180 |    2290     1063     8413 |    40701    29974    199 |  0.261 % |

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-1875687-1245137823/watcher-1875687-1245137823 -o /tmp/evaluation-result-1875687-1245137823/solver-1875687-1245137823 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875687-1245137823.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 7743
/proc/meminfo: memFree=1464168/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=2580 CPUtime=0
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 181381873 2641920 189 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 645 190 128 292 0 339 0

[startup+0.047215 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7743
/proc/meminfo: memFree=1464168/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=3500 CPUtime=0.04
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 477 0 0 0 4 0 0 0 18 0 1 0 181381873 3584000 450 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 875 450 134 292 0 580 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3500

[startup+0.102179 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7743
/proc/meminfo: memFree=1464168/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=5124 CPUtime=0.09
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 181381873 5246976 845 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 1281 845 134 292 0 986 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5124

[startup+0.301196 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7743
/proc/meminfo: memFree=1464168/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=8940 CPUtime=0.29
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 1822 0 0 0 28 1 0 0 19 0 1 0 181381873 9154560 1795 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 2235 1795 136 292 0 1940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8940

[startup+0.701217 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7743
/proc/meminfo: memFree=1464168/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=9880 CPUtime=0.69
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 2049 0 0 0 66 3 0 0 23 0 1 0 181381873 10117120 2022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 2470 2022 136 292 0 2175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9880

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1455648/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=11728 CPUtime=1.49
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 2517 0 0 0 145 4 0 0 25 0 1 0 181381873 12009472 2490 1992294400 134512640 135709839 4294956240 18446744073709551615 134573839 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 2932 2490 136 292 0 2637 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11728

[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1453536/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=14136 CPUtime=3.09
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 3128 0 0 0 303 6 0 0 25 0 1 0 181381873 14475264 3101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 3534 3101 136 292 0 3239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14136

[startup+6.30158 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1447712/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=20888 CPUtime=6.29
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 4796 0 0 0 617 12 0 0 25 0 1 0 181381873 21389312 4769 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 5222 4769 136 292 0 4927 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20888

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1434600/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=32648 CPUtime=12.68
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 7739 0 0 0 1250 18 0 0 25 0 1 0 181381873 33431552 7712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 8162 7712 136 292 0 7867 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32648

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1416680/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=49716 CPUtime=25.48
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 12016 0 0 0 2519 29 0 0 25 0 1 0 181381873 50909184 11989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 12429 11989 136 292 0 12134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49716

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1395880/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=70036 CPUtime=51.07
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 17109 0 0 0 5059 48 0 0 25 0 1 0 181381873 71716864 17082 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 17509 17082 136 292 0 17214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70036

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1332904/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=133168 CPUtime=102.27
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 32864 0 0 0 10139 88 0 0 25 0 1 0 181381873 136364032 32837 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 33292 32837 136 292 0 32997 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 133168

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1253864/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=212560 CPUtime=162.25
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 52701 0 0 0 16100 125 0 0 25 0 1 0 181381873 217661440 52674 1992294400 134512640 135709839 4294956240 18446744073709551615 134572388 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 53140 52674 136 292 0 52845 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 212560

[startup+222.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 7744
/proc/meminfo: memFree=1186792/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=279236 CPUtime=222.23
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 69325 0 0 0 22062 161 0 0 25 0 1 0 181381873 285937664 69298 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 69809 69298 136 292 0 69514 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 279236

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7744
/proc/meminfo: memFree=1126952/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=339308 CPUtime=282.22
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 84282 0 0 0 28030 192 0 0 25 0 1 0 181381873 347451392 84255 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 84827 84255 136 292 0 84532 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 339308

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1069032/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=397120 CPUtime=342.21
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 98725 0 0 0 33998 223 0 0 25 0 1 0 181381873 406650880 98698 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 99280 98698 136 292 0 98985 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 397120

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=1012392/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=454248 CPUtime=402.19
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 112995 0 0 0 39964 255 0 0 25 0 1 0 181381873 465149952 112968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 113562 112968 136 292 0 113267 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 454248

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=960552/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=505652 CPUtime=462.18
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 125816 0 0 0 45933 285 0 0 25 0 1 0 181381873 517787648 125789 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 126413 125789 136 292 0 126118 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 505652

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=902888/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=563604 CPUtime=522.16
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 140303 0 0 0 51899 317 0 0 25 0 1 0 181381873 577130496 140276 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 140901 140276 136 292 0 140606 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 563604

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=847080/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=618868 CPUtime=582.15
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 154122 0 0 0 57869 346 0 0 25 0 1 0 181381873 633720832 154095 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 154717 154095 136 292 0 154422 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 618868

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7744
/proc/meminfo: memFree=798888/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=666760 CPUtime=642.14
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 166048 0 0 0 63843 371 0 0 25 0 1 0 181381873 682762240 166021 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 166690 166021 136 292 0 166395 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 666760

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=554472/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=911640 CPUtime=942.06
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 227201 0 0 0 93696 510 0 0 25 0 1 0 181381873 933519360 227174 1992294400 134512640 135709839 4294956240 18446744073709551615 134573839 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 227910 227174 136 292 0 227615 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 911640

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=504040/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=961660 CPUtime=1002.05
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 239697 0 0 0 99668 537 0 0 25 0 1 0 181381873 984739840 239670 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 240415 239670 136 292 0 240120 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 961660

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=449320/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1016692 CPUtime=1062.03
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 253435 0 0 0 105638 565 0 0 25 0 1 0 181381873 1041092608 253408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 254173 253408 136 292 0 253878 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1016692

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=396712/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1068792 CPUtime=1122.02
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 266469 0 0 0 111612 590 0 0 25 0 1 0 181381873 1094443008 266442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 267198 266442 136 292 0 266903 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 1068792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=349352/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1116844 CPUtime=1182.01
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 278444 0 0 0 117586 615 0 0 25 0 1 0 181381873 1143648256 278417 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 279211 278417 136 292 0 278916 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1116844

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=298216/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1167244 CPUtime=1241.99
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 291021 0 0 0 123560 639 0 0 25 0 1 0 181381873 1195257856 290994 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 291811 290994 136 292 0 291516 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1167244

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=264936/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1200224 CPUtime=1301.98
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 299260 0 0 0 129544 654 0 0 25 0 1 0 181381873 1229029376 299233 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 300056 299233 136 292 0 299761 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1200224

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=233832/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1231676 CPUtime=1361.96
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 307099 0 0 0 135525 671 0 0 25 0 1 0 181381873 1261236224 307072 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 307919 307072 136 292 0 307624 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1231676

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7746
/proc/meminfo: memFree=194216/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1271136 CPUtime=1421.94
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 316948 0 0 0 141503 691 0 0 25 0 1 0 181381873 1301643264 316921 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 317784 316921 136 292 0 317489 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1271136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=151208/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1314532 CPUtime=1481.93
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 327772 0 0 0 147476 717 0 0 25 0 1 0 181381873 1346080768 327745 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 328633 327745 136 292 0 328338 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1314532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=109864/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1355368 CPUtime=1541.9
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 337989 0 0 0 153449 741 0 0 25 0 1 0 181381873 1387896832 337962 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 338842 337962 136 292 0 338547 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1355368

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=62632/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1403516 CPUtime=1601.9
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 349976 0 0 0 159423 767 0 0 25 0 1 0 181381873 1437200384 349949 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 350879 349949 136 292 0 350584 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1403516

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=15208/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1450220 CPUtime=1661.88
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 361650 0 0 0 165395 793 0 0 25 0 1 0 181381873 1485025280 361623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 362555 361623 136 292 0 362260 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1450220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=16232/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1491448 CPUtime=1721.86
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 371947 0 0 0 171367 819 0 0 25 0 1 0 181381873 1527242752 371920 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 372862 371920 136 292 0 372567 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1491448

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=15848/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1534300 CPUtime=1781.85
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 382630 0 0 0 177341 844 0 0 25 0 1 0 181381873 1571123200 382603 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 383575 382604 136 292 0 383280 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1534300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7752
/proc/meminfo: memFree=14888/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=1547332 CPUtime=1800.05
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4194304 385894 0 0 0 179153 852 0 0 25 0 1 0 181381873 1584467968 385867 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 386833 385867 136 292 0 386538 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1547332

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 7753
/proc/meminfo: memFree=674592/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=0 CPUtime=1800.15
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4195332 385894 0 0 0 179153 862 0 0 25 0 1 0 181381873 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7753
/proc/meminfo: memFree=674592/2055920 swapFree=4192812/4192956
[pid=7743] ppid=7741 vsize=0 CPUtime=1800.24
/proc/7743/stat : 7743 (wbo) R 7741 7743 7424 0 -1 4195332 385894 0 0 0 179153 871 0 0 25 0 1 0 181381873 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7743/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.74
CPU time (s): 1800.29
CPU user time (s): 1791.54
CPU system time (s): 8.75467
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1547332

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

runsolver used 1.38379 second user time and 3.9624 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-16 09:37:03
IDJOB=1875687
IDBENCH=1955
IDSOLVER=698
FILE ID=node30/1875687-1245137823
PBS_JOBID= 9363688
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=1388903690

node30.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.230
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.230
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:       1464584 kB
Buffers:         59884 kB
Cached:         444400 kB
SwapCached:        140 kB
Active:         150796 kB
Inactive:       367596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          23764 kB
Slab:            58988 kB
Committed_AS:   147976 kB
PageTables:       1360 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-1875687-1245137823.opb

Free space on /tmp at the end= 66244 MiB
End job on node30 at 2009-06-16 10:07:06