Trace number 1876167

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.35 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-4-c.opb
MD5SUMfb36e1331618479668dc4f08f8a798f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark324
Best CPU time to get the best result obtained on this benchmark0.338948
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 324
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1616
Number of constraints which are clauses1616
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 648
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 648
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 648
Number of bits of the biggest sum of numbers10
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-1876167-1245150306.opb.
0.00/0.00	c Instance file HOME/instance-1876167-1245150306.opb
0.00/0.00	c File size is 51478 bytes.
0.00/0.00	c Highest Coefficient sum: 4
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:      648                                                 |
0.00/0.00	c |  Number Clauses:        2264                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #3
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #9
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #10
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #11
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #12
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #13
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #14
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #16
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #17
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #18
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #19
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 19
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #20
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 20
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #21
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #22
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #23
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #24
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #25
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 25
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #26
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #27
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 27
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.04	c core #28
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 28
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #29
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 29
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #30
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 30
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #31
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 31
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #32
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 32
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #33
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 33
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #34
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 34
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.05	c core #35
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #36
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 36
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #37
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 37
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #38
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 38
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #39
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 39
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #40
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 40
0.00/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #41
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 41
0.00/0.06	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #42
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 42
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #43
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 43
0.00/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #44
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 44
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #45
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 45
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #46
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 46
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #47
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 47
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #48
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 48
0.00/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #49
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 49
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #50
0.00/0.08	c Core size: 4	Core Weight: 1	Total Weight: 50
0.00/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #51
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 51
0.00/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #52
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 52
0.00/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #53
0.00/0.08	c Core size: 4	Core Weight: 1	Total Weight: 53
0.00/0.08	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #54
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 54
0.08/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #55
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 55
0.08/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #56
0.08/0.09	c Core size: 4	Core Weight: 1	Total Weight: 56
0.08/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #57
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 57
0.08/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #58
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 58
0.08/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #59
0.08/0.09	c Core size: 4	Core Weight: 1	Total Weight: 59
0.08/0.09	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.08/0.09	c core #60
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 60
0.08/0.09	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.08/0.10	c core #61
0.08/0.10	c Core size: 3	Core Weight: 1	Total Weight: 61
0.08/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #62
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 62
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #63
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 63
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #64
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 64
0.09/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #65
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 65
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.10	c core #66
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 66
0.09/0.10	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #67
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 67
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #68
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 68
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #69
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 69
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 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.113982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #71
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 71
0.09/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #72
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 72
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #73
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 73
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #74
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 74
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #75
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 75
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #76
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 76
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #77
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 77
0.09/0.12	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #78
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 78
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #79
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 79
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #80
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 80
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #81
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 81
0.09/0.13	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #82
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 82
0.09/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #83
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 83
0.09/0.13	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: 3	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: 3	Core Weight: 1	Total Weight: 85
0.09/0.14	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #86
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 86
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #87
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 87
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #88
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 88
0.09/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.14	c core #89
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 89
0.09/0.14	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #90
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 90
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #91
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 91
0.09/0.15	c Elapsed CPU time: 0.150977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #92
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 92
0.09/0.15	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #93
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 93
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #94
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 94
0.09/0.15	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #95
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 95
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #96
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 96
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #97
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 97
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #98
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 98
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #99
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 99
0.09/0.16	c Elapsed CPU time: 0.163975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #100
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 100
0.09/0.16	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #101
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 101
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #102
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 102
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #103
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 103
0.09/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #104
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 104
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #105
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 105
0.09/0.17	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #106
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 106
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #107
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 107
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #108
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 108
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #109
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 109
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #110
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 110
0.09/0.18	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #111
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 111
0.09/0.18	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #112
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 112
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #113
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 113
0.09/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #114
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 114
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #115
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 115
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #116
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 116
0.09/0.19	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.09/0.20	c core #117
0.09/0.20	c Core size: 4	Core Weight: 1	Total Weight: 117
0.09/0.20	c Elapsed CPU time: 0.197969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #118
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 118
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #119
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 119
0.19/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #120
0.19/0.20	c Core size: 6	Core Weight: 1	Total Weight: 120
0.19/0.20	c Elapsed CPU time: 0.203968 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #121
0.19/0.20	c Core size: 6	Core Weight: 1	Total Weight: 121
0.19/0.20	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #122
0.19/0.21	c Core size: 6	Core Weight: 1	Total Weight: 122
0.19/0.21	c Elapsed CPU time: 0.207968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #123
0.19/0.21	c Core size: 6	Core Weight: 1	Total Weight: 123
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #124
0.19/0.21	c Core size: 6	Core Weight: 1	Total Weight: 124
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #125
0.19/0.21	c Core size: 6	Core Weight: 1	Total Weight: 125
0.19/0.21	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #126
0.19/0.21	c Core size: 6	Core Weight: 1	Total Weight: 126
0.19/0.21	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #127
0.19/0.22	c Core size: 6	Core Weight: 1	Total Weight: 127
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #128
0.19/0.22	c Core size: 6	Core Weight: 1	Total Weight: 128
0.19/0.22	c Elapsed CPU time: 0.218966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #129
0.19/0.22	c Core size: 6	Core Weight: 1	Total Weight: 129
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #130
0.19/0.22	c Core size: 6	Core Weight: 1	Total Weight: 130
0.19/0.22	c Elapsed CPU time: 0.222966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #131
0.19/0.22	c Core size: 6	Core Weight: 1	Total Weight: 131
0.19/0.22	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #132
0.19/0.23	c Core size: 6	Core Weight: 1	Total Weight: 132
0.19/0.23	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #133
0.19/0.23	c Core size: 6	Core Weight: 1	Total Weight: 133
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #134
0.19/0.23	c Core size: 6	Core Weight: 1	Total Weight: 134
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #135
0.19/0.23	c Core size: 6	Core Weight: 1	Total Weight: 135
0.19/0.23	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #136
0.19/0.23	c Core size: 6	Core Weight: 1	Total Weight: 136
0.19/0.23	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #137
0.19/0.24	c Core size: 6	Core Weight: 1	Total Weight: 137
0.19/0.24	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #138
0.19/0.24	c Core size: 6	Core Weight: 1	Total Weight: 138
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #139
0.19/0.24	c Core size: 6	Core Weight: 1	Total Weight: 139
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #140
0.19/0.24	c Core size: 6	Core Weight: 1	Total Weight: 140
0.19/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #141
0.19/0.24	c Core size: 6	Core Weight: 1	Total Weight: 141
0.19/0.24	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #142
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 142
0.19/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #143
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 143
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #144
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 144
0.19/0.25	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #145
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 145
0.19/0.25	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #146
0.19/0.25	c Core size: 6	Core Weight: 1	Total Weight: 146
0.19/0.25	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #147
0.19/0.26	c Core size: 6	Core Weight: 1	Total Weight: 147
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #148
0.19/0.26	c Core size: 6	Core Weight: 1	Total Weight: 148
0.19/0.26	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #149
0.19/0.26	c Core size: 6	Core Weight: 1	Total Weight: 149
0.19/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #150
0.19/0.26	c Core size: 6	Core Weight: 1	Total Weight: 150
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #151
0.19/0.26	c Core size: 6	Core Weight: 1	Total Weight: 151
0.19/0.26	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #152
0.19/0.27	c Core size: 6	Core Weight: 1	Total Weight: 152
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #153
0.19/0.27	c Core size: 6	Core Weight: 1	Total Weight: 153
0.19/0.27	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #154
0.19/0.27	c Core size: 6	Core Weight: 1	Total Weight: 154
0.19/0.27	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #155
0.19/0.27	c Core size: 6	Core Weight: 1	Total Weight: 155
0.19/0.27	c Elapsed CPU time: 0.274958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #156
0.19/0.28	c Core size: 6	Core Weight: 1	Total Weight: 156
0.19/0.28	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #157
0.19/0.28	c Core size: 6	Core Weight: 1	Total Weight: 157
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #158
0.19/0.28	c Core size: 6	Core Weight: 1	Total Weight: 158
0.19/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #159
0.19/0.28	c Core size: 6	Core Weight: 1	Total Weight: 159
0.19/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #160
0.19/0.28	c Core size: 6	Core Weight: 1	Total Weight: 160
0.19/0.28	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #161
0.19/0.29	c Core size: 6	Core Weight: 1	Total Weight: 161
0.19/0.29	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #162
0.19/0.29	c Core size: 6	Core Weight: 1	Total Weight: 162
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #163
0.19/0.29	c Core size: 6	Core Weight: 1	Total Weight: 163
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #164
0.19/0.29	c Core size: 6	Core Weight: 1	Total Weight: 164
0.19/0.29	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #165
0.19/0.29	c Core size: 6	Core Weight: 1	Total Weight: 165
0.19/0.29	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #166
0.29/0.30	c Core size: 6	Core Weight: 1	Total Weight: 166
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #167
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 167
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #168
0.29/0.30	c Core size: 6	Core Weight: 1	Total Weight: 168
0.29/0.30	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #169
0.29/0.30	c Core size: 6	Core Weight: 1	Total Weight: 169
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #170
0.29/0.31	c Core size: 6	Core Weight: 1	Total Weight: 170
0.29/0.31	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #171
0.29/0.31	c Core size: 6	Core Weight: 1	Total Weight: 171
0.29/0.31	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #172
0.29/0.31	c Core size: 6	Core Weight: 1	Total Weight: 172
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #173
0.29/0.31	c Core size: 6	Core Weight: 1	Total Weight: 173
0.29/0.31	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #174
0.29/0.31	c Core size: 6	Core Weight: 1	Total Weight: 174
0.29/0.31	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #175
0.29/0.32	c Core size: 6	Core Weight: 1	Total Weight: 175
0.29/0.32	c Elapsed CPU time: 0.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #176
0.29/0.32	c Core size: 6	Core Weight: 1	Total Weight: 176
0.29/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #177
0.29/0.32	c Core size: 6	Core Weight: 1	Total Weight: 177
0.29/0.32	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #178
0.29/0.32	c Core size: 6	Core Weight: 1	Total Weight: 178
0.29/0.32	c Elapsed CPU time: 0.32495 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #179
0.29/0.33	c Core size: 6	Core Weight: 1	Total Weight: 179
0.29/0.33	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #180
0.29/0.33	c Core size: 6	Core Weight: 1	Total Weight: 180
0.29/0.33	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #181
0.29/0.33	c Core size: 6	Core Weight: 1	Total Weight: 181
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #182
0.29/0.33	c Core size: 6	Core Weight: 1	Total Weight: 182
0.29/0.33	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #183
0.29/0.33	c Core size: 6	Core Weight: 1	Total Weight: 183
0.29/0.33	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #184
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 184
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #185
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 185
0.29/0.34	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #186
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 186
0.29/0.34	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #187
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 187
0.29/0.34	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #188
0.29/0.35	c Core size: 6	Core Weight: 1	Total Weight: 188
0.29/0.35	c Elapsed CPU time: 0.347947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #189
0.29/0.35	c Core size: 6	Core Weight: 1	Total Weight: 189
0.29/0.35	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #190
0.29/0.35	c Core size: 6	Core Weight: 1	Total Weight: 190
0.29/0.35	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #191
0.29/0.35	c Core size: 6	Core Weight: 1	Total Weight: 191
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #192
0.29/0.36	c Core size: 6	Core Weight: 1	Total Weight: 192
0.29/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #193
0.29/0.36	c Core size: 6	Core Weight: 1	Total Weight: 193
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #194
0.29/0.36	c Core size: 6	Core Weight: 1	Total Weight: 194
0.29/0.36	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #195
0.29/0.36	c Core size: 6	Core Weight: 1	Total Weight: 195
0.29/0.36	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #196
0.29/0.36	c Core size: 6	Core Weight: 1	Total Weight: 196
0.29/0.36	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #197
0.29/0.37	c Core size: 6	Core Weight: 1	Total Weight: 197
0.29/0.37	c Elapsed CPU time: 0.368943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #198
0.29/0.37	c Core size: 6	Core Weight: 1	Total Weight: 198
0.29/0.37	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #199
0.29/0.37	c Core size: 6	Core Weight: 1	Total Weight: 199
0.29/0.37	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #200
0.29/0.37	c Core size: 6	Core Weight: 1	Total Weight: 200
0.29/0.37	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #201
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 201
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #202
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 202
0.29/0.38	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #203
0.29/0.38	c Core size: 6	Core Weight: 1	Total Weight: 203
0.29/0.38	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #204
0.29/0.38	c Core size: 15	Core Weight: 1	Total Weight: 204
0.29/0.38	c Elapsed CPU time: 0.385941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #205
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 205
0.29/0.39	c Elapsed CPU time: 0.387941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #206
0.29/0.39	c Core size: 20	Core Weight: 1	Total Weight: 206
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #207
0.29/0.39	c Core size: 18	Core Weight: 1	Total Weight: 207
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #208
0.29/0.39	c Core size: 20	Core Weight: 1	Total Weight: 208
0.29/0.39	c Elapsed CPU time: 0.395939 s	Remaining CPU time: 1799.6 s
0.29/0.40	c core #209
0.29/0.40	c Core size: 21	Core Weight: 1	Total Weight: 209
0.29/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #210
0.39/0.40	c Core size: 18	Core Weight: 1	Total Weight: 210
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #211
0.39/0.40	c Core size: 18	Core Weight: 1	Total Weight: 211
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #212
0.39/0.40	c Core size: 20	Core Weight: 1	Total Weight: 212
0.39/0.40	c Elapsed CPU time: 0.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #213
0.39/0.41	c Core size: 34	Core Weight: 1	Total Weight: 213
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    1222     2477     6161 |     5000        0    nan |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c core #214
0.39/0.41	c Core size: 32	Core Weight: 1	Total Weight: 214
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c Learning 1 hard constraints
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    1236     2479     6192 |     5000        0    nan |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c core #215
0.39/0.41	c Core size: 26	Core Weight: 1	Total Weight: 215
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c ============================[ Search Statistics ]==============================
0.39/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    1250     2480     6223 |     5000        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c core #216
0.39/0.42	c Core size: 19	Core Weight: 1	Total Weight: 216
0.39/0.42	c Elapsed CPU time: 0.416936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c Learning 1 hard constraints
0.39/0.42	c ============================[ Search Statistics ]==============================
0.39/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    1259     2482     6249 |     5000        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c core #217
0.39/0.42	c Core size: 8	Core Weight: 1	Total Weight: 217
0.39/0.42	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c Learning 1 hard constraints
0.39/0.42	c ============================[ Search Statistics ]==============================
0.39/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    1263     2484     6260 |     5000        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c core #218
0.39/0.42	c Core size: 11	Core Weight: 1	Total Weight: 218
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c Learning 1 hard constraints
0.39/0.42	c ============================[ Search Statistics ]==============================
0.39/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    1268     2486     6274 |     5000        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c core #219
0.39/0.42	c Core size: 72	Core Weight: 1	Total Weight: 219
0.39/0.42	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c ============================[ Search Statistics ]==============================
0.39/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    1297     2487     6333 |     5000        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c core #220
0.39/0.43	c Core size: 29	Core Weight: 1	Total Weight: 220
0.39/0.43	c Elapsed CPU time: 0.428934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c ============================[ Search Statistics ]==============================
0.39/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    1307     2488     6353 |     5000        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c core #221
0.39/0.43	c Core size: 29	Core Weight: 1	Total Weight: 221
0.39/0.43	c Elapsed CPU time: 0.431934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c ============================[ Search Statistics ]==============================
0.39/0.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    1317     2489     6373 |     5000        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c core #222
0.39/0.43	c Core size: 38	Core Weight: 1	Total Weight: 222
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    1329     2490     6397 |     5000        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c core #223
0.39/0.44	c Core size: 29	Core Weight: 1	Total Weight: 223
0.39/0.44	c Elapsed CPU time: 0.437933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    1339     2491     6417 |     5000        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c core #224
0.39/0.44	c Core size: 29	Core Weight: 1	Total Weight: 224
0.39/0.44	c Elapsed CPU time: 0.440932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    1348     2492     6435 |     5000        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c core #225
0.39/0.44	c Core size: 29	Core Weight: 1	Total Weight: 225
0.39/0.44	c Elapsed CPU time: 0.443932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    1358     2493     6455 |     5000        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c core #226
0.39/0.45	c Core size: 29	Core Weight: 1	Total Weight: 226
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c ============================[ Search Statistics ]==============================
0.39/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    1368     2494     6475 |     5000        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c core #227
0.39/0.45	c Core size: 29	Core Weight: 1	Total Weight: 227
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c ============================[ Search Statistics ]==============================
0.39/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    1378     2495     6495 |     5000        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c core #228
0.39/0.45	c Core size: 29	Core Weight: 1	Total Weight: 228
0.39/0.45	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c ============================[ Search Statistics ]==============================
0.39/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    1388     2496     6515 |     5000        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c core #229
0.39/0.45	c Core size: 55	Core Weight: 1	Total Weight: 229
0.39/0.45	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 1799.54 s
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    1409     2497     6558 |     5000        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c core #230
0.39/0.46	c Core size: 45	Core Weight: 1	Total Weight: 230
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 s
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    1424     2498     6588 |     5000        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c core #231
0.39/0.46	c Core size: 108	Core Weight: 1	Total Weight: 231
0.39/0.46	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c ============================[ Search Statistics ]==============================
0.39/0.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    1440     2499     6621 |     5000        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c core #232
0.39/0.46	c Core size: 22	Core Weight: 1	Total Weight: 232
0.39/0.46	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 1799.54 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 |    1450     2500     6643 |     5000        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c core #233
0.39/0.47	c Core size: 14	Core Weight: 1	Total Weight: 233
0.39/0.47	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c Learning 1 hard constraints
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 |    1455     2502     6657 |     5000        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c core #234
0.39/0.47	c Core size: 14	Core Weight: 1	Total Weight: 234
0.39/0.47	c Elapsed CPU time: 0.472928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c Learning 1 hard constraints
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 |    1460     2504     6671 |     5000        0    nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #235
0.39/0.48	c Core size: 14	Core Weight: 1	Total Weight: 235
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c Learning 1 hard constraints
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    1465     2506     6685 |     5000        0    nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #236
0.39/0.48	c Core size: 14	Core Weight: 1	Total Weight: 236
0.39/0.48	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c Learning 1 hard constraints
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    1470     2508     6699 |     5000        0    nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c core #237
0.39/0.48	c Core size: 98	Core Weight: 1	Total Weight: 237
0.39/0.48	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c Learning 1 hard constraints
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |    1509     2510     6782 |     5000        0    nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c core #238
0.39/0.49	c Core size: 41	Core Weight: 1	Total Weight: 238
0.39/0.49	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c Learning 1 hard constraints
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |    1522     2512     6810 |     5000        0    nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c core #239
0.39/0.49	c Core size: 8	Core Weight: 1	Total Weight: 239
0.39/0.49	c Elapsed CPU time: 0.491925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c Learning 5 hard constraints
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |    1526     2518     6829 |     5000        0    nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c core #240
0.39/0.49	c Core size: 8	Core Weight: 1	Total Weight: 240
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.39/0.50	c Learning 1 hard constraints
0.39/0.50	c ============================[ Search Statistics ]==============================
0.39/0.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.50	c ===============================================================================
0.39/0.50	c |         0 |    1530     2520     6840 |     5000        0    nan |  0.000 % |
0.39/0.50	c ===============================================================================
0.39/0.50	c core #241
0.39/0.50	c Core size: 8	Core Weight: 1	Total Weight: 241
0.39/0.50	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c Learning 1 hard constraints
0.49/0.50	c ============================[ Search Statistics ]==============================
0.49/0.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.50	c ===============================================================================
0.49/0.50	c |         0 |    1534     2522     6851 |     5000        0    nan |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c core #242
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 242
0.49/0.50	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 1799.5 s
0.49/0.50	c Learning 1 hard constraints
0.49/0.50	c ============================[ Search Statistics ]==============================
0.49/0.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.50	c ===============================================================================
0.49/0.50	c |         0 |    1538     2524     6862 |     5000        0    nan |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c core #243
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 243
0.49/0.50	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c Learning 1 hard constraints
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 |    1542     2526     6873 |     5000        0    nan |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c core #244
0.49/0.51	c Core size: 13	Core Weight: 1	Total Weight: 244
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 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 |    1550     2527     6891 |     5000        0    nan |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c core #245
0.49/0.51	c Core size: 11	Core Weight: 1	Total Weight: 245
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 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 |    1555     2528     6902 |     5000        0    nan |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c core #246
0.49/0.51	c Core size: 11	Core Weight: 1	Total Weight: 246
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 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 |    1560     2529     6913 |     5000        0    nan |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c core #247
0.49/0.52	c Core size: 15	Core Weight: 1	Total Weight: 247
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 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 |    1568     2530     6931 |     5000        0    nan |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c core #248
0.49/0.52	c Core size: 11	Core Weight: 1	Total Weight: 248
0.49/0.52	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 1799.48 s
0.49/0.52	c Learning 1 hard constraints
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 |    1573     2532     6944 |     5000        0    nan |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c core #249
0.49/0.52	c Core size: 11	Core Weight: 1	Total Weight: 249
0.49/0.52	c Elapsed CPU time: 0.52492 s	Remaining CPU time: 1799.48 s
0.49/0.53	c Learning 1 hard constraints
0.49/0.53	c ============================[ Search Statistics ]==============================
0.49/0.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.53	c ===============================================================================
0.49/0.53	c |         0 |    1578     2534     6957 |     5000        0    nan |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c core #250
0.49/0.53	c Core size: 11	Core Weight: 1	Total Weight: 250
0.49/0.53	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c Learning 2 hard constraints
0.49/0.53	c ============================[ Search Statistics ]==============================
0.49/0.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.53	c ===============================================================================
0.49/0.53	c |         0 |    1583     2537     6973 |     5000        0    nan |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c core #251
0.49/0.53	c Core size: 53	Core Weight: 1	Total Weight: 251
0.49/0.53	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c Learning 1 hard constraints
0.49/0.53	c ============================[ Search Statistics ]==============================
0.49/0.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.53	c ===============================================================================
0.49/0.53	c |         0 |    1600     2539     7009 |     5000        0    nan |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c core #252
0.49/0.54	c Core size: 27	Core Weight: 1	Total Weight: 252
0.49/0.54	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c Learning 1 hard constraints
0.49/0.54	c ============================[ Search Statistics ]==============================
0.49/0.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.54	c ===============================================================================
0.49/0.54	c |         0 |    1613     2541     7039 |     5000        0    nan |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c core #253
0.49/0.54	c Core size: 27	Core Weight: 1	Total Weight: 253
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c ============================[ Search Statistics ]==============================
0.49/0.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.54	c ===============================================================================
0.49/0.54	c |         0 |    1626     2542     7067 |     5000        0    nan |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c core #254
0.49/0.54	c Core size: 14	Core Weight: 1	Total Weight: 254
0.49/0.54	c Elapsed CPU time: 0.542917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c Learning 4 hard constraints
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |    1631     2547     7088 |     5000        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c core #255
0.49/0.55	c Core size: 8	Core Weight: 1	Total Weight: 255
0.49/0.55	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c Learning 1 hard constraints
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |    1635     2549     7099 |     5000        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c core #256
0.49/0.55	c Core size: 8	Core Weight: 1	Total Weight: 256
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c Learning 1 hard constraints
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |    1639     2551     7110 |     5000        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c core #257
0.49/0.55	c Core size: 8	Core Weight: 1	Total Weight: 257
0.49/0.55	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c Learning 3 hard constraints
0.49/0.56	c ============================[ Search Statistics ]==============================
0.49/0.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    1643     2555     7126 |     5000        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c core #258
0.49/0.56	c Core size: 11	Core Weight: 1	Total Weight: 258
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c ============================[ Search Statistics ]==============================
0.49/0.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    1648     2556     7137 |     5000        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c core #259
0.49/0.56	c Core size: 11	Core Weight: 1	Total Weight: 259
0.49/0.56	c Elapsed CPU time: 0.558915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c ============================[ Search Statistics ]==============================
0.49/0.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    1653     2557     7148 |     5000        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c core #260
0.49/0.56	c Core size: 8	Core Weight: 1	Total Weight: 260
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c Learning 1 hard constraints
0.49/0.57	c ============================[ Search Statistics ]==============================
0.49/0.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |    1657     2559     7159 |     5000        0    nan |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c core #261
0.49/0.57	c Core size: 11	Core Weight: 1	Total Weight: 261
0.49/0.57	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c Learning 1 hard constraints
0.49/0.57	c ============================[ Search Statistics ]==============================
0.49/0.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |    1665     2561     7179 |     5000        0    nan |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c core #262
0.49/0.57	c Core size: 8	Core Weight: 1	Total Weight: 262
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c Learning 1 hard constraints
0.49/0.57	c ============================[ Search Statistics ]==============================
0.49/0.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |    1669     2563     7190 |     5000        0    nan |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c core #263
0.49/0.57	c Core size: 8	Core Weight: 1	Total Weight: 263
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c Learning 1 hard constraints
0.49/0.58	c ============================[ Search Statistics ]==============================
0.49/0.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |    1673     2565     7201 |     5000        0    nan |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c core #264
0.49/0.58	c Core size: 11	Core Weight: 1	Total Weight: 264
0.49/0.58	c Elapsed CPU time: 0.575912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c Learning 1 hard constraints
0.49/0.58	c ============================[ Search Statistics ]==============================
0.49/0.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |    1678     2567     7215 |     5000        0    nan |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c core #265
0.49/0.58	c Core size: 8	Core Weight: 1	Total Weight: 265
0.49/0.58	c Elapsed CPU time: 0.579911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c Learning 1 hard constraints
0.49/0.58	c ============================[ Search Statistics ]==============================
0.49/0.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |    1682     2569     7226 |     5000        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c core #266
0.49/0.59	c Core size: 50	Core Weight: 1	Total Weight: 266
0.49/0.59	c Elapsed CPU time: 0.583911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c Learning 1 hard constraints
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |    1704     2571     7273 |     5000        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c core #267
0.49/0.59	c Core size: 41	Core Weight: 1	Total Weight: 267
0.49/0.59	c Elapsed CPU time: 0.58791 s	Remaining CPU time: 1799.41 s
0.49/0.59	c Learning 2 hard constraints
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |    1721     2574     7312 |     5000        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c core #268
0.49/0.59	c Core size: 43	Core Weight: 1	Total Weight: 268
0.49/0.59	c Elapsed CPU time: 0.59191 s	Remaining CPU time: 1799.41 s
0.49/0.60	c Learning 3 hard constraints
0.49/0.60	c ============================[ Search Statistics ]==============================
0.49/0.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.60	c ===============================================================================
0.49/0.60	c |         0 |    1732     2578     7341 |     5000        0    nan |  0.000 % |
0.49/0.60	c ===============================================================================
0.49/0.60	c core #269
0.49/0.60	c Core size: 28	Core Weight: 1	Total Weight: 269
0.49/0.60	c Elapsed CPU time: 0.595909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c Learning 1 hard constraints
0.59/0.60	c ============================[ Search Statistics ]==============================
0.59/0.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.60	c ===============================================================================
0.59/0.60	c |         0 |    1741     2580     7361 |     5000        0    nan |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c core #270
0.59/0.60	c Core size: 41	Core Weight: 1	Total Weight: 270
0.59/0.60	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c Learning 1 hard constraints
0.59/0.60	c ============================[ Search Statistics ]==============================
0.59/0.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.60	c ===============================================================================
0.59/0.60	c |         0 |    1755     2582     7391 |     5000        0    nan |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c core #271
0.59/0.61	c Core size: 18	Core Weight: 1	Total Weight: 271
0.59/0.61	c Elapsed CPU time: 0.603908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c ============================[ Search Statistics ]==============================
0.59/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.61	c ===============================================================================
0.59/0.61	c |         0 |    1761     2583     7403 |     5000        0    nan |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c core #272
0.59/0.61	c Core size: 18	Core Weight: 1	Total Weight: 272
0.59/0.61	c Elapsed CPU time: 0.607907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c Learning 5 hard constraints
0.59/0.61	c ============================[ Search Statistics ]==============================
0.59/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.61	c ===============================================================================
0.59/0.61	c |         0 |    1767     2589     7432 |     5000        0    nan |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c core #273
0.59/0.61	c Core size: 41	Core Weight: 1	Total Weight: 273
0.59/0.61	c Elapsed CPU time: 0.611906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c ============================[ Search Statistics ]==============================
0.59/0.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |    1784     2590     7466 |     5000        0    nan |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c core #274
0.59/0.62	c Core size: 76	Core Weight: 1	Total Weight: 274
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c Learning 4 hard constraints
0.59/0.62	c ============================[ Search Statistics ]==============================
0.59/0.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.62	c ===============================================================================
0.59/0.62	c |         0 |    1805     2595     7518 |     5000        0    nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c core #275
0.59/0.63	c Core size: 100	Core Weight: 1	Total Weight: 275
0.59/0.63	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c Learning 2 hard constraints
0.59/0.63	c ============================[ Search Statistics ]==============================
0.59/0.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |    1832     2598     7577 |     5000        0    nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c core #276
0.59/0.63	c Core size: 61	Core Weight: 1	Total Weight: 276
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c Learning 4 hard constraints
0.59/0.64	c ============================[ Search Statistics ]==============================
0.59/0.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.64	c ===============================================================================
0.59/0.64	c |         0 |    1856     2603     7635 |     5000        0    nan |  0.000 % |
0.59/0.64	c |       102 |    1854     2603     7635 |     5500      102     10 |  0.108 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c core #277
0.59/0.64	c Core size: 149	Core Weight: 1	Total Weight: 277
0.59/0.64	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c Learning 2 hard constraints
0.59/0.65	c ============================[ Search Statistics ]==============================
0.59/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.65	c ===============================================================================
0.59/0.65	c |         0 |    1901     2606     7730 |     5000        0    nan |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c core #278
0.59/0.65	c Core size: 34	Core Weight: 1	Total Weight: 278
0.59/0.65	c Elapsed CPU time: 0.645901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c Learning 3 hard constraints
0.59/0.65	c ============================[ Search Statistics ]==============================
0.59/0.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.65	c ===============================================================================
0.59/0.65	c |         0 |    1914     2610     7764 |     5000        0    nan |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c core #279
0.59/0.65	c Core size: 43	Core Weight: 1	Total Weight: 279
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c ============================[ Search Statistics ]==============================
0.59/0.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.66	c ===============================================================================
0.59/0.66	c |         0 |    1928     2611     7792 |     5000        0    nan |  0.000 % |
0.59/0.66	c |       101 |    1926     2611     7792 |     5500      101     25 |  0.104 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c core #280
0.59/0.66	c Core size: 18	Core Weight: 1	Total Weight: 280
0.59/0.66	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c Learning 1 hard constraints
0.59/0.67	c ============================[ Search Statistics ]==============================
0.59/0.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |    1934     2613     7806 |     5000        0    nan |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c core #281
0.59/0.67	c Core size: 34	Core Weight: 1	Total Weight: 281
0.59/0.67	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c Learning 3 hard constraints
0.59/0.67	c ============================[ Search Statistics ]==============================
0.59/0.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |    1947     2617     7840 |     5000        0    nan |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c core #282
0.59/0.67	c Core size: 18	Core Weight: 1	Total Weight: 282
0.59/0.67	c Elapsed CPU time: 0.668898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c Learning 2 hard constraints
0.59/0.68	c ============================[ Search Statistics ]==============================
0.59/0.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.68	c ===============================================================================
0.59/0.68	c |         0 |    1953     2620     7857 |     5000        0    nan |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c core #283
0.59/0.68	c Core size: 46	Core Weight: 1	Total Weight: 283
0.59/0.68	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c Learning 3 hard constraints
0.59/0.69	c ============================[ Search Statistics ]==============================
0.59/0.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.69	c ===============================================================================
0.59/0.69	c |         0 |    1970     2624     7899 |     5000        0    nan |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c core #284
0.59/0.69	c Core size: 33	Core Weight: 1	Total Weight: 284
0.59/0.69	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c ============================[ Search Statistics ]==============================
0.59/0.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.69	c ===============================================================================
0.59/0.69	c |         0 |    1981     2625     7921 |     5000        0    nan |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c core #285
0.59/0.69	c Core size: 32	Core Weight: 1	Total Weight: 285
0.59/0.69	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 1799.31 s
0.69/0.70	c ============================[ Search Statistics ]==============================
0.69/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.70	c ===============================================================================
0.69/0.70	c |         0 |    1992     2626     7943 |     5000        0    nan |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c core #286
0.69/0.70	c Core size: 78	Core Weight: 1	Total Weight: 286
0.69/0.70	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c Learning 3 hard constraints
0.69/0.70	c ============================[ Search Statistics ]==============================
0.69/0.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.70	c ===============================================================================
0.69/0.70	c |         0 |    2019     2630     8004 |     5000        0    nan |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c core #287
0.69/0.71	c Core size: 88	Core Weight: 1	Total Weight: 287
0.69/0.71	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c Learning 2 hard constraints
0.69/0.71	c ============================[ Search Statistics ]==============================
0.69/0.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.71	c ===============================================================================
0.69/0.71	c |         0 |    2039     2633     8049 |     5000        0    nan |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c core #288
0.69/0.71	c Core size: 18	Core Weight: 1	Total Weight: 288
0.69/0.71	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 1799.3 s
0.69/0.72	c Learning 2 hard constraints
0.69/0.72	c ============================[ Search Statistics ]==============================
0.69/0.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.72	c ===============================================================================
0.69/0.72	c |         0 |    2045     2636     8066 |     5000        0    nan |  0.000 % |
0.69/0.72	c |       101 |    2043     2636     8066 |     5500      101     10 |  0.098 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c core #289
0.69/0.72	c Core size: 18	Core Weight: 1	Total Weight: 289
0.69/0.72	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 1799.29 s
0.69/0.73	c Learning 11 hard constraints
0.69/0.73	c ============================[ Search Statistics ]==============================
0.69/0.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.73	c ===============================================================================
0.69/0.73	c |         0 |    2051     2648     8136 |     5000        0    nan |  0.000 % |
0.69/0.73	c |       100 |    2047     2648     8136 |     5500       62      8 |  0.195 % |
0.69/0.75	c ===============================================================================
0.69/0.76	c core #290
0.69/0.76	c Core size: 1029	Core Weight: 1	Total Weight: 290
0.69/0.76	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 1799.26 s
0.69/0.76	c Learning 38 hard constraints
0.69/0.76	c ============================[ Search Statistics ]==============================
0.69/0.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.69/0.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.69/0.76	c ===============================================================================
0.69/0.76	c |         0 |    2091     2687     8471 |     5000        0    nan |  0.000 % |
0.69/0.77	c |       100 |    2089     2687     8471 |     5500      100     14 |  0.096 % |
0.69/0.79	c |       251 |    2089     2687     8471 |     6050      250     16 |  0.096 % |
0.79/0.83	c |       477 |    2089     2687     8471 |     6655      476     15 |  0.096 % |
0.79/0.89	c |       815 |    2089     2687     8471 |     7320      814     15 |  0.096 % |
0.89/0.99	c |      1324 |    2089     2687     8471 |     8052     1323     15 |  0.096 % |
1.10/1.13	c |      2083 |    2087     2687     8471 |     8857     1121     14 |  0.191 % |
1.10/1.19	c ===============================================================================
1.19/1.24	c core #291
1.19/1.24	c Core size: 1512	Core Weight: 1	Total Weight: 291
1.19/1.24	c Elapsed CPU time: 1.22081 s	Remaining CPU time: 1798.78 s
1.19/1.25	c Learning 972 hard constraints
1.19/1.25	c ============================[ Search Statistics ]==============================
1.19/1.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.25	c ===============================================================================
1.19/1.25	c |         0 |    2135     3660    23497 |     5000        0    nan |  0.000 % |
1.19/1.26	c |       101 |    2133     3660    23497 |     5500      101     15 |  0.094 % |
1.19/1.29	c |       253 |    2133     3660    23497 |     6050      253     18 |  0.094 % |
1.29/1.33	c |       478 |    2133     3660    23497 |     6655      477     18 |  0.094 % |
1.29/1.39	c |       816 |    2133     3660    23497 |     7320      815     19 |  0.094 % |
1.39/1.49	c |      1323 |    2131     3660    23497 |     8052      485     17 |  0.187 % |
1.49/1.59	c ===============================================================================
1.59/1.63	c core #292
1.59/1.63	c Core size: 1958	Core Weight: 1	Total Weight: 292
1.59/1.63	c Elapsed CPU time: 1.60875 s	Remaining CPU time: 1798.39 s
1.59/1.64	c Learning 45 hard constraints
1.59/1.64	c ============================[ Search Statistics ]==============================
1.59/1.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.64	c ===============================================================================
1.59/1.64	c |         0 |    2151     3706    24101 |     5000        0    nan |  0.000 % |
1.59/1.64	c |       100 |    2149     3706    24101 |     5500      100     18 |  0.093 % |
1.59/1.66	c |       251 |    2149     3706    24101 |     6050      251     17 |  0.093 % |
1.69/1.70	c |       476 |    2149     3706    24101 |     6655      475     18 |  0.093 % |
1.69/1.77	c |       813 |    2149     3706    24101 |     7320      812     18 |  0.093 % |
1.79/1.87	c |      1321 |    2147     3706    24101 |     8052      475     15 |  0.186 % |
1.89/1.98	c ===============================================================================
1.99/2.02	c core #293
1.99/2.02	c Core size: 1984	Core Weight: 1	Total Weight: 293
1.99/2.02	c Elapsed CPU time: 2.00069 s	Remaining CPU time: 1798 s
1.99/2.03	c Learning 162 hard constraints
1.99/2.03	c ============================[ Search Statistics ]==============================
1.99/2.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.03	c ===============================================================================
1.99/2.03	c |         0 |    2189     3869    26504 |     5000        0    nan |  0.000 % |
1.99/2.04	c |       101 |    2187     3869    26504 |     5500      101     10 |  0.091 % |
1.99/2.04	c ===============================================================================
1.99/2.04	c core #294
1.99/2.04	c Core size: 181	Core Weight: 1	Total Weight: 294
1.99/2.04	c Elapsed CPU time: 2.02069 s	Remaining CPU time: 1797.98 s
1.99/2.05	c Learning 2 hard constraints
1.99/2.05	c ============================[ Search Statistics ]==============================
1.99/2.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.05	c ===============================================================================
1.99/2.05	c |         0 |    2248     3872    26627 |     5000        0    nan |  0.000 % |
1.99/2.06	c |       101 |    2246     3872    26627 |     5500      101     19 |  0.089 % |
1.99/2.09	c |       251 |    2246     3872    26627 |     6050      251     18 |  0.089 % |
2.09/2.14	c |       476 |    2246     3872    26627 |     6655      475     18 |  0.089 % |
2.19/2.21	c |       814 |    2246     3872    26627 |     7320      813     17 |  0.089 % |
2.29/2.33	c |      1321 |    2244     3872    26627 |     8052      448     17 |  0.178 % |
2.39/2.46	c ===============================================================================
2.39/2.49	c core #295
2.39/2.49	c Core size: 2018	Core Weight: 1	Total Weight: 295
2.39/2.49	c Elapsed CPU time: 2.47162 s	Remaining CPU time: 1797.53 s
2.49/2.50	c Learning 99 hard constraints
2.49/2.50	c ============================[ Search Statistics ]==============================
2.49/2.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.49/2.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.49/2.50	c ===============================================================================
2.49/2.50	c |         0 |    2252     3972    27967 |     5000        0    nan |  0.000 % |
2.49/2.52	c |       100 |    2250     3972    27967 |     5500      100     22 |  0.089 % |
2.49/2.54	c |       250 |    2250     3972    27967 |     6050      250     23 |  0.089 % |
2.49/2.59	c |       475 |    2250     3972    27967 |     6655      474     20 |  0.089 % |
2.59/2.66	c |       814 |    2250     3972    27967 |     7320      813     19 |  0.089 % |
2.69/2.76	c |      1320 |    2248     3972    27967 |     8052      173     16 |  0.178 % |
2.89/2.92	c |      2082 |    2228     3972    27967 |     8857      162     14 |  4.085 % |
2.89/2.92	c ===============================================================================
2.89/2.97	c core #296
2.89/2.97	c Core size: 2158	Core Weight: 1	Total Weight: 296
2.89/2.97	c Elapsed CPU time: 2.93955 s	Remaining CPU time: 1797.06 s
2.89/2.97	c Learning 113 hard constraints
2.89/2.97	c ============================[ Search Statistics ]==============================
2.89/2.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.97	c ===============================================================================
2.89/2.97	c |         0 |    2273     4086    29427 |     5000        0    nan |  0.000 % |
2.89/2.99	c |       100 |    2271     4086    29427 |     5500      100      9 |  0.088 % |
2.98/3.02	c |       251 |    2271     4086    29427 |     6050      251     12 |  0.088 % |
2.98/3.05	c |       477 |    2271     4086    29427 |     6655      474     17 |  0.088 % |
3.09/3.12	c |       815 |    2271     4086    29427 |     7320      812     17 |  0.088 % |
3.20/3.24	c |      1321 |    2268     4086    29427 |     8052      725     17 |  0.264 % |
3.20/3.27	c ===============================================================================
3.30/3.30	c core #297
3.30/3.30	c Core size: 2022	Core Weight: 1	Total Weight: 297
3.30/3.30	c Elapsed CPU time: 3.2745 s	Remaining CPU time: 1796.73 s
3.30/3.31	c Learning 113 hard constraints
3.30/3.31	c ============================[ Search Statistics ]==============================
3.30/3.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.30/3.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.30/3.31	c ===============================================================================
3.30/3.31	c |         0 |    2291     4200    30994 |     5000        0    nan |  0.000 % |
3.30/3.33	c |       101 |    2291     4200    30994 |     5500      101     19 |  0.002 % |
3.30/3.36	c |       251 |    2291     4200    30994 |     6050      251     18 |  0.000 % |
3.39/3.41	c |       476 |    2291     4200    30994 |     6655      476     17 |  0.000 % |
3.39/3.49	c |       814 |    2291     4200    30994 |     7320      814     17 |  0.000 % |
3.49/3.59	c |      1320 |    2289     4200    30994 |     8052      635     17 |  0.088 % |
3.59/3.68	c ===============================================================================
3.69/3.71	c core #298
3.69/3.71	c Core size: 2161	Core Weight: 1	Total Weight: 298
3.69/3.71	c Elapsed CPU time: 3.68044 s	Remaining CPU time: 1796.32 s
3.69/3.72	c Learning 65 hard constraints
3.69/3.72	c ============================[ Search Statistics ]==============================
3.69/3.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.72	c ===============================================================================
3.69/3.72	c |         0 |    2296     4266    31993 |     5000        0    nan |  0.000 % |
3.69/3.73	c |       100 |    2296     4266    31993 |     5500      100     18 |  0.002 % |
3.69/3.77	c |       253 |    2296     4266    31993 |     6050      253     19 |  0.000 % |
3.79/3.80	c |       478 |    2258     4266    31993 |     6655      462     20 |  1.656 % |
3.79/3.87	c |       815 |    2258     4266    31993 |     7320      799     19 |  1.655 % |
3.89/3.97	c |      1324 |    2256     4266    31993 |     8052      538     17 |  1.742 % |
3.99/4.08	c ===============================================================================
4.09/4.12	c core #299
4.09/4.12	c Core size: 2168	Core Weight: 1	Total Weight: 299
4.09/4.12	c Elapsed CPU time: 4.08338 s	Remaining CPU time: 1795.92 s
4.09/4.13	c Learning 305 hard constraints
4.09/4.13	c ============================[ Search Statistics ]==============================
4.09/4.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.13	c ===============================================================================
4.09/4.13	c |         0 |    2305     4572    37293 |     5000        0    nan |  0.000 % |
4.09/4.14	c |       100 |    2303     4572    37293 |     5500      100      6 |  0.087 % |
4.09/4.15	c |       251 |    2303     4572    37293 |     6050      251     10 |  0.089 % |
4.19/4.20	c |       476 |    2303     4572    37293 |     6655      476     14 |  0.087 % |
4.19/4.28	c |       814 |    2301     4572    37293 |     7320      372     10 |  0.174 % |
4.29/4.33	c ===============================================================================
4.29/4.35	c core #300
4.29/4.35	c Core size: 1906	Core Weight: 1	Total Weight: 300
4.29/4.35	c Elapsed CPU time: 4.31834 s	Remaining CPU time: 1795.68 s
4.29/4.36	c Learning 96 hard constraints
4.29/4.36	c ============================[ Search Statistics ]==============================
4.29/4.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.36	c ===============================================================================
4.29/4.36	c |         0 |    2371     4669    38761 |     5000        0    nan |  0.000 % |
4.29/4.39	c |       101 |    2369     4669    38761 |     5500      101     14 |  0.084 % |
4.39/4.42	c |       251 |    2369     4669    38761 |     6050      251     17 |  0.084 % |
4.39/4.47	c |       476 |    2369     4669    38761 |     6655      473     16 |  0.084 % |
4.49/4.54	c |       813 |    2367     4669    38761 |     7320       71     10 |  0.169 % |
4.59/4.66	c |      1319 |    2353     4669    38761 |     8052       78     12 |  0.759 % |
4.59/4.67	c ===============================================================================
4.69/4.70	c core #301
4.69/4.70	c Core size: 2175	Core Weight: 1	Total Weight: 301
4.69/4.70	c Elapsed CPU time: 4.66529 s	Remaining CPU time: 1795.33 s
4.69/4.71	c Learning 100 hard constraints
4.69/4.71	c ============================[ Search Statistics ]==============================
4.69/4.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.71	c ===============================================================================
4.69/4.71	c |         0 |    2382     4770    40294 |     5000        0    nan |  0.000 % |
4.69/4.73	c |       100 |    2382     4770    40294 |     5500      100     18 |  0.084 % |
4.69/4.77	c |       250 |    2382     4770    40294 |     6050      250     17 |  0.084 % |
4.79/4.82	c |       480 |    2380     4770    40294 |     6655      475     18 |  0.084 % |
4.88/4.90	c |       817 |    2378     4770    40294 |     7320      215     17 |  0.168 % |
4.98/5.01	c ===============================================================================
4.98/5.04	c core #302
4.98/5.04	c Core size: 2220	Core Weight: 1	Total Weight: 302
4.98/5.04	c Elapsed CPU time: 4.99824 s	Remaining CPU time: 1795 s
4.98/5.05	c Learning 272 hard constraints
4.98/5.05	c ============================[ Search Statistics ]==============================
4.98/5.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.98/5.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.98/5.05	c ===============================================================================
4.98/5.05	c |         0 |    2391     5043    44471 |     5000        0    nan |  0.000 % |
4.98/5.07	c |       102 |    2391     5043    44471 |     5500      102     19 |  0.002 % |
5.09/5.10	c |       252 |    2391     5043    44471 |     6050      252     20 |  0.000 % |
5.09/5.15	c |       478 |    2391     5043    44471 |     6655      478     20 |  0.000 % |
5.19/5.23	c |       815 |    2387     5043    44471 |     7320      194     15 |  0.167 % |
5.19/5.28	c ===============================================================================
5.19/5.30	c core #303
5.19/5.30	c Core size: 1998	Core Weight: 1	Total Weight: 303
5.19/5.30	c Elapsed CPU time: 5.2562 s	Remaining CPU time: 1794.74 s
5.29/5.31	c Learning 41 hard constraints
5.29/5.31	c ============================[ Search Statistics ]==============================
5.29/5.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.31	c ===============================================================================
5.29/5.31	c |         0 |    2398     5085    45139 |     5000        0    nan |  0.000 % |
5.29/5.33	c |       102 |    2398     5085    45139 |     5500      102     22 |  0.083 % |
5.29/5.36	c |       255 |    2398     5085    45139 |     6050      255     20 |  0.083 % |
5.39/5.42	c |       481 |    2396     5085    45139 |     6655      480     18 |  0.083 % |
5.49/5.50	c |       818 |    2394     5085    45139 |     7320      193     16 |  0.167 % |
5.49/5.54	c ===============================================================================
5.49/5.56	c core #304
5.49/5.56	c Core size: 2005	Core Weight: 1	Total Weight: 304
5.49/5.56	c Elapsed CPU time: 5.52216 s	Remaining CPU time: 1794.48 s
5.49/5.58	c Learning 73 hard constraints
5.49/5.58	c ============================[ Search Statistics ]==============================
5.49/5.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.58	c ===============================================================================
5.49/5.58	c |         0 |    2407     5159    46190 |     5000        0    nan |  0.000 % |
5.49/5.59	c |       100 |    2405     5159    46190 |     5500      100     18 |  0.083 % |
5.59/5.63	c |       250 |    2405     5159    46190 |     6050      250     20 |  0.083 % |
5.59/5.67	c |       476 |    2405     5159    46190 |     6655      476     20 |  0.083 % |
5.69/5.76	c |       813 |    2364     5159    46190 |     7320      124     13 |  1.828 % |
5.69/5.77	c ===============================================================================
5.69/5.78	c core #305
5.69/5.78	c Core size: 1928	Core Weight: 1	Total Weight: 305
5.69/5.78	c Elapsed CPU time: 5.73613 s	Remaining CPU time: 1794.26 s
5.69/5.79	c Learning 89 hard constraints
5.69/5.79	c ============================[ Search Statistics ]==============================
5.69/5.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.69/5.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.69/5.79	c ===============================================================================
5.69/5.79	c |         0 |    2423     5249    47605 |     5000        0    nan |  0.000 % |
5.79/5.82	c |       101 |    2421     5249    47605 |     5500      101     24 |  1.568 % |
5.79/5.85	c |       251 |    2412     5249    47605 |     6050      251     24 |  1.568 % |
5.89/5.90	c |       476 |    2385     5249    47605 |     6655      473     23 |  1.568 % |
5.89/5.94	c ===============================================================================
5.89/5.95	c core #306
5.89/5.95	c Core size: 1803	Core Weight: 1	Total Weight: 306
5.89/5.95	c Elapsed CPU time: 5.9061 s	Remaining CPU time: 1794.09 s
5.89/5.97	c Learning 609 hard constraints
5.89/5.97	c ============================[ Search Statistics ]==============================
5.89/5.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.97	c ===============================================================================
5.89/5.97	c |         0 |    2427     5859    60782 |     5000        0    nan |  0.000 % |
5.89/5.99	c |       100 |    2416     5859    60782 |     5500      100     24 |  1.566 % |
5.99/6.01	c |       250 |    2415     5859    60782 |     6050      250     19 |  1.566 % |
5.99/6.07	c ===============================================================================
5.99/6.08	c core #307
5.99/6.08	c Core size: 1624	Core Weight: 1	Total Weight: 307
5.99/6.08	c Elapsed CPU time: 6.02508 s	Remaining CPU time: 1793.97 s
5.99/6.09	c Learning 180 hard constraints
5.99/6.09	c ============================[ Search Statistics ]==============================
5.99/6.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.09	c ===============================================================================
5.99/6.09	c |         0 |    2442     6040    64789 |     5000        0    nan |  0.000 % |
6.09/6.12	c |       101 |    2431     6040    64789 |     5500      101     16 |  1.556 % |
6.09/6.14	c ===============================================================================
6.09/6.15	c core #308
6.09/6.15	c Core size: 1291	Core Weight: 1	Total Weight: 308
6.09/6.15	c Elapsed CPU time: 6.09507 s	Remaining CPU time: 1793.9 s
6.09/6.16	c Learning 134 hard constraints
6.09/6.16	c ============================[ Search Statistics ]==============================
6.09/6.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.16	c ===============================================================================
6.09/6.16	c |         0 |    2419     6175    67307 |     5000        0    nan |  0.000 % |
6.09/6.18	c ===============================================================================
6.09/6.18	c core #309
6.09/6.18	c Core size: 629	Core Weight: 1	Total Weight: 309
6.09/6.18	c Elapsed CPU time: 6.12507 s	Remaining CPU time: 1793.87 s
6.09/6.19	c Learning 20 hard constraints
6.09/6.19	c ============================[ Search Statistics ]==============================
6.09/6.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.19	c ===============================================================================
6.09/6.19	c |         0 |    2409     6196    67697 |     5000        0    nan |  0.000 % |
6.19/6.20	c |       100 |    2402     6196    67697 |     5500      100     16 |  3.230 % |
6.19/6.20	c ===============================================================================
6.19/6.20	c core #310
6.19/6.20	c Core size: 453	Core Weight: 1	Total Weight: 310
6.19/6.20	c Elapsed CPU time: 6.15006 s	Remaining CPU time: 1793.85 s
6.19/6.22	c Learning 7 hard constraints
6.19/6.22	c ============================[ Search Statistics ]==============================
6.19/6.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.22	c ===============================================================================
6.19/6.22	c |         0 |    1791     6204    67794 |     5000        0    nan |  0.000 % |
6.19/6.22	c |       101 |    1791     6204    67794 |     5500      101     18 | 28.043 % |
6.19/6.23	c ===============================================================================
6.19/6.23	c core #311
6.19/6.23	c Core size: 340	Core Weight: 1	Total Weight: 311
6.19/6.23	c Elapsed CPU time: 6.17306 s	Remaining CPU time: 1793.83 s
6.19/6.25	c ============================[ Search Statistics ]==============================
6.19/6.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.25	c ===============================================================================
6.19/6.25	c |         0 |    1805     6205    67822 |     5000        0    nan |  0.000 % |
6.19/6.25	c |       101 |    1805     6205    67822 |     5500      101     23 | 27.887 % |
6.19/6.26	c |       251 |    1805     6205    67822 |     6050      251     25 | 27.887 % |
6.19/6.26	c |       476 |    1800     6205    67822 |     6655      476     28 | 28.166 % |
6.19/6.28	c |       813 |    1800     6205    67822 |     7320      813     34 | 28.166 % |
6.29/6.32	c |      1322 |    1800     6205    67822 |     8052     1322     37 | 28.166 % |
6.29/6.39	c ===============================================================================
6.39/6.40	c core #312
6.39/6.40	c Core size: 481	Core Weight: 1	Total Weight: 312
6.39/6.40	c Elapsed CPU time: 6.34104 s	Remaining CPU time: 1793.66 s
6.39/6.42	c ============================[ Search Statistics ]==============================
6.39/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.42	c ===============================================================================
6.39/6.42	c |         0 |    1834     6206    67880 |     5000        0    nan |  0.000 % |
6.39/6.43	c |       101 |    1834     6206    67880 |     5500      101     26 | 27.567 % |
6.39/6.43	c |       253 |    1834     6206    67880 |     6050      253     25 | 27.567 % |
6.39/6.44	c |       479 |    1834     6206    67880 |     6655      479     30 | 27.567 % |
6.39/6.46	c |       817 |    1834     6206    67880 |     7320      817     38 | 27.567 % |
6.39/6.50	c |      1323 |    1834     6206    67880 |     8052     1323     43 | 27.567 % |
6.49/6.53	c ===============================================================================
6.49/6.54	c core #313
6.49/6.54	c Core size: 499	Core Weight: 1	Total Weight: 313
6.49/6.54	c Elapsed CPU time: 6.47002 s	Remaining CPU time: 1793.53 s
6.49/6.56	c ============================[ Search Statistics ]==============================
6.49/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.56	c ===============================================================================
6.49/6.56	c |         0 |    1872     6207    67956 |     5000        0    nan |  0.000 % |
6.49/6.56	c |       101 |    1872     6207    67956 |     5500      101     33 | 27.160 % |
6.49/6.57	c |       251 |    1870     6207    67956 |     6050      251     37 | 27.432 % |
6.49/6.58	c |       476 |    1859     6207    67956 |     6655      476     37 | 27.938 % |
6.59/6.60	c |       816 |    1849     6207    67956 |     7320      816     52 | 28.444 % |
6.59/6.64	c |      1322 |    1847     6207    67956 |     8052     1322     55 | 28.521 % |
6.68/6.72	c |      2082 |    1832     6207    67956 |     8857     2043     60 | 28.716 % |
6.68/6.76	c ===============================================================================
6.68/6.77	c core #314
6.68/6.77	c Core size: 520	Core Weight: 1	Total Weight: 314
6.68/6.77	c Elapsed CPU time: 6.69598 s	Remaining CPU time: 1793.3 s
6.68/6.79	c ============================[ Search Statistics ]==============================
6.68/6.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.68/6.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.68/6.79	c ===============================================================================
6.68/6.79	c |         0 |    1911     6208    68034 |     5000        0    nan |  0.000 % |
6.78/6.80	c |       101 |    1911     6208    68034 |     5500      101     39 | 26.754 % |
6.78/6.81	c |       251 |    1907     6208    68034 |     6050      251     35 | 26.907 % |
6.78/6.82	c |       477 |    1907     6208    68034 |     6655      477     56 | 26.907 % |
6.78/6.85	c |       815 |    1905     6208    68034 |     7320      815     71 | 27.214 % |
6.89/6.90	c |      1323 |    1905     6208    68034 |     8052     1323     83 | 27.214 % |
6.99/7.01	c |      2084 |    1905     6208    68034 |     8857     2084     97 | 27.214 % |
7.19/7.24	c |      3223 |    1899     6208    68034 |     9743     3219    102 | 27.214 % |
7.69/7.70	c |      4931 |    1899     6208    68034 |    10717     4927    109 | 27.367 % |
8.19/8.29	c |      7494 |    1899     6208    68034 |    11789     7490    105 | 27.482 % |
9.19/9.21	c |     11342 |    1899     6208    68034 |    12968    11338    103 | 27.597 % |
10.69/10.76	c |     17108 |    1886     6208    68034 |    14265    10168     98 | 27.827 % |
13.48/13.59	c |     25760 |    1879     6208    68034 |    15692    11284     98 | 28.785 % |
20.18/20.21	c |     38735 |    1879     6208    68034 |    17261    15962     98 | 29.283 % |
33.47/33.51	c |     58197 |    1836     6208    68034 |    18987    17246    107 | 29.897 % |
41.97/42.00	c ===============================================================================
42.67/42.72	c core #315
42.67/42.72	c Core size: 549	Core Weight: 1	Total Weight: 315
42.67/42.72	c Elapsed CPU time: 42.3776 s	Remaining CPU time: 1757.62 s
42.78/42.82	c ============================[ Search Statistics ]==============================
42.78/42.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.78/42.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.78/42.82	c ===============================================================================
42.78/42.82	c |         0 |    1963     6209    68138 |     5000        0    nan |  0.000 % |
42.78/42.83	c |       102 |    1961     6209    68138 |     5500      102     31 | 26.494 % |
42.78/42.84	c |       256 |    1961     6209    68138 |     6050      256     38 | 26.494 % |
42.78/42.85	c |       483 |    1961     6209    68138 |     6655      483     45 | 26.494 % |
42.78/42.88	c |       821 |    1961     6209    68138 |     7320      821     53 | 26.494 % |
42.88/42.93	c |      1329 |    1961     6209    68138 |     8052     1329     63 | 26.494 % |
42.97/43.01	c |      2090 |    1953     6209    68138 |     8857     2087     69 | 26.607 % |
43.07/43.19	c |      3230 |    1953     6209    68138 |     9743     3227     76 | 26.607 % |
43.57/43.60	c |      4938 |    1952     6209    68138 |    10717     4935     80 | 26.719 % |
44.17/44.24	c |      7500 |    1952     6209    68138 |    11789     7497     89 | 26.719 % |
46.08/46.12	c |     11349 |    1952     6209    68138 |    12968    11346    106 | 26.719 % |
49.17/49.27	c |     17117 |    1949     6209    68138 |    14265    10170    137 | 26.982 % |
54.27/54.31	c |     25766 |    1949     6209    68138 |    15692    11246    133 | 27.508 % |
62.57/62.60	c |     38741 |    1933     6209    68138 |    17261    15910    130 | 28.185 % |
64.37/64.42	c ===============================================================================
64.37/64.42	c core #316
64.37/64.42	c Core size: 325	Core Weight: 1	Total Weight: 316
64.37/64.42	c Elapsed CPU time: 63.9333 s	Remaining CPU time: 1736.07 s
64.37/64.48	c ============================[ Search Statistics ]==============================
64.37/64.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.37/64.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
64.37/64.48	c ===============================================================================
64.37/64.48	c |         0 |    1978     6210    68168 |     5000        0    nan |  0.000 % |
64.37/64.49	c |       101 |    1978     6210    68168 |     5500      101     44 | 26.084 % |
64.46/64.50	c |       251 |    1968     6210    68168 |     6050      251     37 | 26.607 % |
64.46/64.52	c |       477 |    1967     6210    68168 |     6655      477     48 | 26.756 % |
64.46/64.53	c |       815 |    1966     6210    68168 |     7320      815     52 | 26.868 % |
64.46/64.57	c |      1322 |    1966     6210    68168 |     8052     1322     53 | 26.868 % |
64.57/64.65	c |      2084 |    1957     6210    68168 |     8857     2078     71 | 26.868 % |
64.77/64.87	c |      3224 |    1956     6210    68168 |     9743     3218     87 | 27.018 % |
65.46/65.50	c |      4940 |    1955     6210    68168 |    10717     4934    101 | 27.130 % |
66.16/66.27	c |      7504 |    1950     6210    68168 |    11789     7496    111 | 27.242 % |
67.26/67.39	c |     11355 |    1950     6210    68168 |    12968    11347    116 | 27.504 % |
70.66/70.78	c |     17122 |    1948     6210    68168 |    14265    10167    124 | 28.102 % |
75.46/75.53	c |     25771 |    1948     6210    68168 |    15692    11251    135 | 28.102 % |
81.86/81.94	c ===============================================================================
81.86/81.96	c core #317
81.86/81.96	c Core size: 335	Core Weight: 1	Total Weight: 317
81.86/81.96	c Elapsed CPU time: 81.3446 s	Remaining CPU time: 1718.66 s
81.96/82.02	c ============================[ Search Statistics ]==============================
81.96/82.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.96/82.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
81.96/82.02	c ===============================================================================
81.96/82.02	c |         0 |    1997     6211    68206 |     5000        0    nan |  0.000 % |
81.96/82.03	c |       105 |    1997     6211    68206 |     5500      105     47 | 25.900 % |
81.96/82.04	c |       255 |    1997     6211    68206 |     6050      255     33 | 25.900 % |
81.96/82.05	c |       481 |    1997     6211    68206 |     6655      481     30 | 25.900 % |
81.96/82.08	c |       820 |    1997     6211    68206 |     7320      820     29 | 26.160 % |
82.05/82.11	c ===============================================================================
82.05/82.12	c core #318
82.05/82.12	c Core size: 338	Core Weight: 1	Total Weight: 318
82.05/82.12	c Elapsed CPU time: 81.5026 s	Remaining CPU time: 1718.5 s
82.05/82.14	c ============================[ Search Statistics ]==============================
82.05/82.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
82.05/82.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
82.05/82.14	c ===============================================================================
82.05/82.14	c |         0 |    2009     6212    68230 |     5000        0    nan |  0.000 % |
82.05/82.15	c |       100 |    2004     6212    68230 |     5500      100     33 | 26.007 % |
82.05/82.16	c |       250 |    2004     6212    68230 |     6050      250     41 | 26.007 % |
82.05/82.17	c |       475 |    2003     6212    68230 |     6655      475     46 | 26.154 % |
82.15/82.20	c |       814 |    2002     6212    68230 |     7320      814     56 | 26.265 % |
82.15/82.26	c |      1321 |    2002     6212    68230 |     8052     1321     76 | 26.265 % |
82.26/82.37	c |      2084 |    1996     6212    68230 |     8857     2080     98 | 26.265 % |
82.46/82.53	c |      3225 |    1996     6212    68230 |     9743     3221    106 | 26.265 % |
82.75/82.85	c |      4935 |    1996     6212    68230 |    10717     4931    111 | 26.265 % |
83.46/83.52	c |      7498 |    1994     6212    68230 |    11789     7494    110 | 26.561 % |
84.36/84.42	c |     11342 |    1986     6212    68230 |    12968    11336    110 | 27.078 % |
85.76/85.88	c |     17108 |    1984     6212    68230 |    14265    10098     90 | 27.189 % |
88.96/89.10	c |     25759 |    1983     6212    68230 |    15692    11179    111 | 27.410 % |
95.35/95.45	c |     38739 |    1955     6212    68230 |    17261    15847    119 | 27.780 % |
107.75/107.89	c |     58203 |    1953     6212    68230 |    18987    17148    129 | 28.039 % |
123.24/123.33	c |     87398 |    1914     6212    68230 |    20886     5973    102 | 29.294 % |
144.94/145.07	c ===============================================================================
146.84/146.93	c core #319
146.84/146.93	c Core size: 565	Core Weight: 1	Total Weight: 319
146.84/146.93	c Elapsed CPU time: 145.843 s	Remaining CPU time: 1654.16 s
146.94/147.08	c ============================[ Search Statistics ]==============================
146.94/147.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
146.94/147.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
146.94/147.08	c ===============================================================================
146.94/147.08	c |         0 |    2066     6213    68344 |     5000        0    nan |  0.000 % |
147.03/147.10	c |       100 |    2066     6213    68344 |     5500      100     47 | 25.253 % |
147.03/147.11	c |       252 |    2062     6213    68344 |     6050      252     45 | 25.434 % |
147.03/147.13	c |       478 |    2061     6213    68344 |     6655      478     51 | 25.543 % |
147.03/147.16	c |       816 |    2061     6213    68344 |     7320      816     63 | 25.543 % |
147.13/147.21	c |      1322 |    2060     6213    68344 |     8052     1322     71 | 25.687 % |
147.23/147.30	c |      2083 |    2060     6213    68344 |     8857     2083     78 | 25.687 % |
147.44/147.51	c |      3224 |    2054     6213    68344 |     9743     3218     98 | 25.796 % |
147.84/147.92	c |      4932 |    2054     6213    68344 |    10717     4926    117 | 25.796 % |
148.83/148.91	c |      7497 |    2054     6213    68344 |    11789     7491    137 | 26.230 % |
150.24/150.39	c |     11344 |    2036     6213    68344 |    12968    11331    148 | 26.339 % |
152.33/152.48	c |     17112 |    2036     6213    68344 |    14265    10156    168 | 26.339 % |
157.53/157.67	c |     25763 |    2031     6213    68344 |    15692    11192    171 | 26.628 % |
164.93/165.10	c |     38738 |    2029     6213    68344 |    17261    15876    172 | 27.135 % |
184.52/184.64	c |     58200 |    2028     6213    68344 |    18987    17209    178 | 27.641 % |
206.71/206.88	c |     87395 |    2017     6213    68344 |    20886    16627    183 | 28.003 % |
240.30/240.40	c |    131184 |    1985     6213    68344 |    22974    16795    112 | 28.220 % |
293.08/293.22	c |    196869 |    1969     6213    68344 |    25272    22717    171 | 28.763 % |
359.56/359.74	c |    295400 |    1940     6213    68344 |    27799    26210    168 | 30.753 % |
505.31/505.53	c |    443194 |    1897     6213    68344 |    30579    15857    179 | 31.368 % |
712.34/712.65	c ===============================================================================
722.44/722.74	c core #320
722.44/722.74	c Core size: 640	Core Weight: 1	Total Weight: 320
722.44/722.74	c Elapsed CPU time: 718.744 s	Remaining CPU time: 1081.26 s
723.14/723.46	c ============================[ Search Statistics ]==============================
723.14/723.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
723.14/723.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
723.14/723.46	c ===============================================================================
723.14/723.46	c |         0 |    2150     6214    68512 |     5000        0    nan |  0.000 % |
723.23/723.54	c |       101 |    2150     6214    68512 |     5500      101     55 | 24.508 % |
723.23/723.56	c |       251 |    2145     6214    68512 |     6050      251     55 | 24.860 % |
723.33/723.62	c |       478 |    2131     6214    68512 |     6655      478     60 | 25.667 % |
723.33/723.65	c |       815 |    2131     6214    68512 |     7320      815     68 | 25.667 % |
723.44/723.70	c |      1324 |    2131     6214    68512 |     8052     1324     84 | 25.667 % |
723.54/723.82	c |      2084 |    2116     6214    68512 |     8857     2074    114 | 25.772 % |
723.84/724.12	c |      3223 |    2115     6214    68512 |     9743     3213    138 | 25.913 % |
724.23/724.57	c |      4931 |    2114     6214    68512 |    10717     4921    168 | 26.124 % |
725.23/725.56	c |      7496 |    2112     6214    68512 |    11789     7486    188 | 26.334 % |
727.53/727.88	c |     11340 |    2097     6214    68512 |    12968    11324    208 | 26.580 % |
730.63/730.97	c |     17107 |    2096     6214    68512 |    14265    10090    218 | 26.580 % |
737.63/738.00	c |     25759 |    2096     6214    68512 |    15692    11087    223 | 26.931 % |
752.43/752.75	c |     38733 |    2096     6214    68512 |    17261    15698    239 | 27.212 % |
761.52/761.80	c |     58196 |    2063     6214    68512 |    18987    16718    196 | 27.669 % |
786.41/786.75	c |     87389 |    2060     6214    68512 |    20886    15937    244 | 27.774 % |
811.00/811.38	c |    131179 |    2053     6214    68512 |    22974    15380    144 | 27.914 % |
865.78/866.17	c |    196864 |    2046     6214    68512 |    25272    20335    231 | 28.371 % |
940.06/940.43	c |    295394 |    2034     6214    68512 |    27799    22109    245 | 28.581 % |
1059.52/1059.96	c |    443183 |    2028     6214    68512 |    30579    22619    234 | 28.792 % |
1327.62/1328.14	c |    664869 |    2028     6214    68512 |    33637    23068    249 | 28.792 % |
1720.19/1720.84	c |    997396 |    2013     6214    68512 |    37001    31216    215 | 29.810 % |

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 7384
/proc/meminfo: memFree=1865976/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=2588 CPUtime=0
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 211 0 0 0 0 0 0 0 18 0 1 0 182630495 2650112 195 1992294400 134512640 135709839 4294956240 18446744073709551615 134542967 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 647 196 128 292 0 339 0

[startup+0.088662 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 7384
/proc/meminfo: memFree=1865976/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=2812 CPUtime=0.08
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 304 0 0 0 8 0 0 0 18 0 1 0 182630495 2879488 275 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 703 275 133 292 0 408 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2812

[startup+0.102664 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 7384
/proc/meminfo: memFree=1865976/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=2812 CPUtime=0.09
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 312 0 0 0 9 0 0 0 18 0 1 0 182630495 2879488 283 1992294400 134512640 135709839 4294956240 18446744073709551615 134517466 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 703 283 133 292 0 408 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2812

[startup+0.301697 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 7384
/proc/meminfo: memFree=1865976/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=3276 CPUtime=0.29
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 404 0 0 0 29 0 0 0 19 0 1 0 182630495 3354624 375 1992294400 134512640 135709839 4294956240 18446744073709551615 134605259 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 819 375 133 292 0 524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3276

[startup+0.701775 s]
/proc/loadavg: 0.91 0.96 0.98 3/64 7384
/proc/meminfo: memFree=1865976/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=5460 CPUtime=0.69
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 942 0 0 0 69 0 0 0 24 0 1 0 182630495 5591040 910 1992294400 134512640 135709839 4294956240 18446744073709551615 135182835 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 1365 910 136 292 0 1070 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5460

[startup+1.5019 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1862064/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=7380 CPUtime=1.49
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 1424 0 0 0 147 2 0 0 25 0 1 0 182630495 7557120 1392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 1845 1392 136 292 0 1550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7380

[startup+3.10116 s]
/proc/loadavg: 0.91 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1860528/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=8060 CPUtime=3.09
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 1601 0 0 0 306 3 0 0 25 0 1 0 182630495 8253440 1569 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 2015 1569 136 292 0 1720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8060

[startup+6.3017 s]
/proc/loadavg: 0.92 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1859120/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=8912 CPUtime=6.29
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 1836 0 0 0 623 6 0 0 25 0 1 0 182630495 9125888 1804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 2228 1804 136 292 0 1933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8912

[startup+12.7018 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1846776/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=22284 CPUtime=12.68
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 5165 0 0 0 1253 15 0 0 25 0 1 0 182630495 22818816 5133 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 5571 5133 136 292 0 5276 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22284

[startup+25.5019 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1831864/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=36188 CPUtime=25.48
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 8631 0 0 0 2525 23 0 0 25 0 1 0 182630495 37056512 8599 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 9047 8599 136 292 0 8752 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36188

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 7385
/proc/meminfo: memFree=1813240/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=54448 CPUtime=51.07
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 13199 0 0 0 5068 39 0 0 25 0 1 0 182630495 55754752 13167 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 13612 13167 136 292 0 13317 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 54448

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1775224/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=92368 CPUtime=102.25
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 22705 0 0 0 10152 73 0 0 25 0 1 0 182630495 94584832 22673 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 23092 22673 136 292 0 22797 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 92368

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1716152/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=151956 CPUtime=162.23
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 37567 0 0 0 16108 115 0 0 25 0 1 0 182630495 155602944 37535 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 37989 37535 136 292 0 37694 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151956

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1662328/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=205172 CPUtime=222.21
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 50837 0 0 0 22080 141 0 0 25 0 1 0 182630495 210096128 50805 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 51293 50805 136 292 0 50998 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 205172

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1588088/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=279924 CPUtime=282.19
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 69511 0 0 0 28046 173 0 0 25 0 1 0 182630495 286642176 69479 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 69981 69479 136 292 0 69686 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 279924

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1511032/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=356820 CPUtime=342.17
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 88708 0 0 0 34007 210 0 0 25 0 1 0 182630495 365383680 88676 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 89205 88676 136 292 0 88910 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 356820

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1442552/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=425908 CPUtime=402.14
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 105951 0 0 0 39974 240 0 0 25 0 1 0 182630495 436129792 105919 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 106477 105919 136 292 0 106182 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 425908

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1394936/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=472392 CPUtime=462.13
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 117551 0 0 0 45953 260 0 0 25 0 1 0 182630495 483729408 117519 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 118098 117519 136 292 0 117803 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 472392

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1342712/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=525584 CPUtime=522.1
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 130854 0 0 0 51924 286 0 0 25 0 1 0 182630495 538198016 130822 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 131396 130822 136 292 0 131101 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 525584

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1286776/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=580500 CPUtime=582.08
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 144545 0 0 0 57895 313 0 0 25 0 1 0 182630495 594432000 144513 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 145125 144513 136 292 0 144830 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 580500

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=1234616/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=632404 CPUtime=642.07
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 157489 0 0 0 63867 340 0 0 25 0 1 0 182630495 647581696 157457 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 158101 157457 136 292 0 157806 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 632404

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=963640/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=902568 CPUtime=941.95
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 225209 0 0 0 93710 485 0 0 25 0 1 0 182630495 924229632 225146 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 225642 225146 136 292 0 225347 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 902568

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=908984/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=957024 CPUtime=1001.93
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 238779 0 0 0 99680 513 0 0 25 0 1 0 182630495 979992576 238716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 239256 238716 136 292 0 238961 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 957024

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=834744/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1032864 CPUtime=1061.92
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 257738 0 0 0 105644 548 0 0 25 0 1 0 182630495 1057652736 257675 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 258216 257675 136 292 0 257921 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1032864

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=766712/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1099296 CPUtime=1121.9
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 274292 0 0 0 111614 576 0 0 25 0 1 0 182630495 1125679104 274229 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 274824 274229 136 292 0 274529 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1099296

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=708536/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1158584 CPUtime=1181.88
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 289059 0 0 0 117588 600 0 0 25 0 1 0 182630495 1186390016 288996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 289646 288996 136 292 0 289351 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1158584

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=659768/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1206128 CPUtime=1241.85
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 300924 0 0 0 123564 621 0 0 25 0 1 0 182630495 1235075072 300861 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 301532 300861 136 292 0 301237 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1206128

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=596920/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1268612 CPUtime=1301.84
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 316536 0 0 0 129537 647 0 0 25 0 1 0 182630495 1299058688 316473 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 317153 316473 136 292 0 316858 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1268612

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=547640/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1318216 CPUtime=1361.81
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 328937 0 0 0 135513 668 0 0 25 0 1 0 182630495 1349853184 328874 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 329554 328874 136 292 0 329259 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1318216

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=502456/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1363128 CPUtime=1421.79
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 340100 0 0 0 141492 687 0 0 25 0 1 0 182630495 1395843072 340037 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 340782 340037 136 292 0 340487 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1363128

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=447160/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1418944 CPUtime=1481.77
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 354043 0 0 0 147466 711 0 0 25 0 1 0 182630495 1452998656 353980 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 354736 353980 136 292 0 354441 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1418944

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=378616/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1486740 CPUtime=1541.75
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 370991 0 0 0 153431 744 0 0 25 0 1 0 182630495 1522421760 370928 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 371685 370928 136 292 0 371390 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1486740

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=319096/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1546764 CPUtime=1601.73
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 385973 0 0 0 159404 769 0 0 25 0 1 0 182630495 1583886336 385910 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 386691 385910 136 292 0 386396 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1546764

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7385
/proc/meminfo: memFree=257336/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1607936 CPUtime=1661.71
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 401270 0 0 0 165375 796 0 0 25 0 1 0 182630495 1646526464 401207 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 401984 401207 136 292 0 401689 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1607936

[startup+1722.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 7385
/proc/meminfo: memFree=204408/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1661120 CPUtime=1721.69
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 414551 0 0 0 171348 821 0 0 25 0 1 0 182630495 1700986880 414488 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 415280 414488 136 292 0 414985 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1661120

[startup+1782.3 s]
/proc/loadavg: 1.09 1.00 0.99 2/65 7385
/proc/meminfo: memFree=139960/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1725416 CPUtime=1781.67
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 430602 0 0 0 177318 849 0 0 25 0 1 0 182630495 1766825984 430539 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 431354 430539 136 292 0 431059 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1725416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 7385
/proc/meminfo: memFree=115448/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=1749556 CPUtime=1800.07
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4194304 436622 0 0 0 179150 857 0 0 25 0 1 0 182630495 1791545344 436559 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 437389 436559 136 292 0 437094 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1749556

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

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

[startup+1800.81 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 7385
/proc/meminfo: memFree=115448/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=0 CPUtime=1800.17
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4195332 436622 0 0 0 179150 867 0 0 25 0 1 0 182630495 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.06 1.00 0.99 2/65 7385
/proc/meminfo: memFree=115448/2055920 swapFree=4180828/4192956
[pid=7384] ppid=7382 vsize=0 CPUtime=1800.26
/proc/7384/stat : 7384 (wbo) R 7382 7384 6973 0 -1 4195332 436622 0 0 0 179150 876 0 0 25 0 1 0 182630495 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7384/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.98
CPU time (s): 1800.35
CPU user time (s): 1791.5
CPU system time (s): 8.84765
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1749556

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

runsolver used 1.43078 second user time and 3.60645 second system time

The end

Launcher Data 

Begin job on node31 at 2009-06-16 13:05:06
IDJOB=1876167
IDBENCH=2062
IDSOLVER=698
FILE ID=node31/1876167-1245150306
PBS_JOBID= 9363779
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= fb36e1331618479668dc4f08f8a798f0
RANDOM SEED=578149345

node31.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.258
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.258
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:       1866456 kB
Buffers:         34860 kB
Cached:          82816 kB
SwapCached:       5132 kB
Active:          41164 kB
Inactive:        84584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866456 kB
SwapTotal:     4192956 kB
SwapFree:      4180828 kB
Dirty:            2428 kB
Writeback:           0 kB
Mapped:          13760 kB
Slab:            49492 kB
Committed_AS:   163492 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876167-1245150306.opb

Free space on /tmp at the end= 66268 MiB
End job on node31 at 2009-06-16 13:35:08