Trace number 1876239

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.32 1801.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi4.opb
MD5SUM021af4766a0acbaabce7af3e32b61bf4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark718
Best CPU time to get the best result obtained on this benchmark0.541917
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 718
Optimality of the best value was proved YES
Number of variables1436
Total number of constraints5652
Number of constraints which are clauses5652
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 constraint1
Maximum length of a constraint7
Number of terms in the objective function 1436
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 1436
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1436
Number of bits of the biggest sum of numbers11
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-1876239-1245160629.opb.
0.00/0.00	c Instance file HOME/instance-1876239-1245160629.opb
0.00/0.00	c File size is 164498 bytes.
0.00/0.02	c Highest Coefficient sum: 8
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      1436                                                |
0.00/0.02	c |  Number Clauses:        7088                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c core #1
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #3
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #4
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #6
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #8
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #9
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #10
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #11
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #12
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.06	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #13
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #14
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #15
0.00/0.08	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #16
0.08/0.08	c Core size: 4	Core Weight: 1	Total Weight: 16
0.08/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #17
0.08/0.08	c Core size: 4	Core Weight: 1	Total Weight: 17
0.08/0.08	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #18
0.08/0.09	c Core size: 4	Core Weight: 1	Total Weight: 18
0.08/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #19
0.08/0.09	c Core size: 4	Core Weight: 1	Total Weight: 19
0.08/0.09	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.08/0.10	c core #20
0.08/0.10	c Core size: 4	Core Weight: 1	Total Weight: 20
0.08/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #21
0.10/0.10	c Core size: 4	Core Weight: 1	Total Weight: 21
0.10/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #22
0.10/0.10	c Core size: 4	Core Weight: 1	Total Weight: 22
0.10/0.10	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #23
0.10/0.11	c Core size: 4	Core Weight: 1	Total Weight: 23
0.10/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #24
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 24
0.10/0.11	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #25
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 25
0.10/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #26
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 26
0.10/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.10/0.13	c core #27
0.10/0.13	c Core size: 4	Core Weight: 1	Total Weight: 27
0.10/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #28
0.10/0.13	c Core size: 4	Core Weight: 1	Total Weight: 28
0.10/0.13	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #29
0.10/0.13	c Core size: 4	Core Weight: 1	Total Weight: 29
0.10/0.13	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #30
0.10/0.14	c Core size: 4	Core Weight: 1	Total Weight: 30
0.10/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #31
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 31
0.10/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #32
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 32
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #33
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 33
0.10/0.15	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 1799.85 s
0.10/0.16	c core #34
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 34
0.10/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #35
0.10/0.16	c Core size: 4	Core Weight: 1	Total Weight: 35
0.10/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #36
0.10/0.16	c Core size: 4	Core Weight: 1	Total Weight: 36
0.10/0.16	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #37
0.10/0.17	c Core size: 4	Core Weight: 1	Total Weight: 37
0.10/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #38
0.10/0.17	c Core size: 4	Core Weight: 1	Total Weight: 38
0.10/0.17	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #39
0.10/0.18	c Core size: 4	Core Weight: 1	Total Weight: 39
0.10/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #40
0.10/0.18	c Core size: 4	Core Weight: 1	Total Weight: 40
0.10/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.10/0.19	c core #41
0.10/0.19	c Core size: 4	Core Weight: 1	Total Weight: 41
0.10/0.19	c Elapsed CPU time: 0.188971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #42
0.10/0.19	c Core size: 4	Core Weight: 1	Total Weight: 42
0.10/0.19	c Elapsed CPU time: 0.19297 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #43
0.10/0.19	c Core size: 4	Core Weight: 1	Total Weight: 43
0.10/0.19	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 1799.8 s
0.20/0.20	c core #44
0.20/0.20	c Core size: 8	Core Weight: 1	Total Weight: 44
0.20/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.20/0.20	c core #45
0.20/0.20	c Core size: 3	Core Weight: 1	Total Weight: 45
0.20/0.20	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #46
0.20/0.21	c Core size: 3	Core Weight: 1	Total Weight: 46
0.20/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #47
0.20/0.21	c Core size: 3	Core Weight: 1	Total Weight: 47
0.20/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.20/0.22	c core #48
0.20/0.22	c Core size: 4	Core Weight: 1	Total Weight: 48
0.20/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #49
0.20/0.22	c Core size: 4	Core Weight: 1	Total Weight: 49
0.20/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #50
0.20/0.22	c Core size: 4	Core Weight: 1	Total Weight: 50
0.20/0.22	c Elapsed CPU time: 0.226965 s	Remaining CPU time: 1799.77 s
0.20/0.23	c core #51
0.20/0.23	c Core size: 4	Core Weight: 1	Total Weight: 51
0.20/0.23	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 1799.77 s
0.20/0.23	c core #52
0.20/0.23	c Core size: 3	Core Weight: 1	Total Weight: 52
0.20/0.23	c Elapsed CPU time: 0.234964 s	Remaining CPU time: 1799.77 s
0.20/0.24	c core #53
0.20/0.24	c Core size: 3	Core Weight: 1	Total Weight: 53
0.20/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.20/0.24	c core #54
0.20/0.24	c Core size: 3	Core Weight: 1	Total Weight: 54
0.20/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.20/0.25	c core #55
0.20/0.25	c Core size: 3	Core Weight: 1	Total Weight: 55
0.20/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #56
0.20/0.25	c Core size: 4	Core Weight: 1	Total Weight: 56
0.20/0.25	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #57
0.20/0.25	c Core size: 4	Core Weight: 1	Total Weight: 57
0.20/0.25	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.20/0.26	c core #58
0.20/0.26	c Core size: 4	Core Weight: 1	Total Weight: 58
0.20/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.20/0.26	c core #59
0.20/0.26	c Core size: 4	Core Weight: 1	Total Weight: 59
0.20/0.26	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.20/0.27	c core #60
0.20/0.27	c Core size: 4	Core Weight: 1	Total Weight: 60
0.20/0.27	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 1799.73 s
0.20/0.27	c core #61
0.20/0.27	c Core size: 4	Core Weight: 1	Total Weight: 61
0.20/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.20/0.28	c core #62
0.20/0.28	c Core size: 4	Core Weight: 1	Total Weight: 62
0.20/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.20/0.28	c core #63
0.20/0.28	c Core size: 4	Core Weight: 1	Total Weight: 63
0.20/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.20/0.28	c core #64
0.20/0.28	c Core size: 4	Core Weight: 1	Total Weight: 64
0.20/0.28	c Elapsed CPU time: 0.286956 s	Remaining CPU time: 1799.71 s
0.20/0.29	c core #65
0.20/0.29	c Core size: 4	Core Weight: 1	Total Weight: 65
0.20/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.20/0.29	c core #66
0.20/0.29	c Core size: 8	Core Weight: 1	Total Weight: 66
0.20/0.29	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #67
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 67
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #68
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 68
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #69
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 69
0.29/0.31	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #70
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 70
0.29/0.31	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #71
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 71
0.29/0.32	c Elapsed CPU time: 0.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #72
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 72
0.29/0.32	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #73
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 73
0.29/0.33	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #74
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 74
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #75
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 75
0.29/0.33	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #76
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 76
0.29/0.34	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #77
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.34	c Elapsed CPU time: 0.345947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #78
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 78
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #79
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 79
0.29/0.35	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #80
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 80
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #81
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 81
0.29/0.36	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #82
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 82
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #83
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 83
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #84
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 84
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #85
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 85
0.29/0.38	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #86
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 86
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #87
0.29/0.39	c Core size: 8	Core Weight: 1	Total Weight: 87
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #88
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #89
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 89
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #90
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 90
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #91
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 91
0.39/0.41	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #92
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 92
0.39/0.41	c Elapsed CPU time: 0.416936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #93
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 93
0.39/0.42	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #94
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 94
0.39/0.42	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #95
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 95
0.39/0.43	c Elapsed CPU time: 0.431934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #96
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 96
0.39/0.43	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #97
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 97
0.39/0.44	c Elapsed CPU time: 0.440932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #98
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 98
0.39/0.44	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #99
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 99
0.39/0.45	c Elapsed CPU time: 0.450931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #100
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 100
0.39/0.45	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #101
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 101
0.39/0.46	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #102
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 102
0.39/0.46	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #103
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 103
0.39/0.47	c Elapsed CPU time: 0.470928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #104
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 104
0.39/0.47	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #105
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 105
0.39/0.48	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #106
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 106
0.39/0.48	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #107
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 107
0.39/0.49	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #108
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 108
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #109
0.49/0.50	c Core size: 8	Core Weight: 1	Total Weight: 109
0.49/0.50	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #110
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 110
0.49/0.50	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #111
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 111
0.49/0.51	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #112
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 112
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #113
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 113
0.49/0.52	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #114
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 114
0.49/0.52	c Elapsed CPU time: 0.52492 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #115
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 115
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #116
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 116
0.49/0.53	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #117
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 117
0.49/0.54	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #118
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 118
0.49/0.54	c Elapsed CPU time: 0.542917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #119
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 119
0.49/0.55	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #120
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 120
0.49/0.55	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #121
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 121
0.49/0.56	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #122
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 122
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #123
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 123
0.49/0.57	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #124
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 124
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #125
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 125
0.49/0.58	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #126
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 126
0.49/0.58	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #127
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 127
0.49/0.59	c Elapsed CPU time: 0.58791 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #128
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 128
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #129
0.49/0.60	c Core size: 4	Core Weight: 1	Total Weight: 129
0.49/0.60	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #130
0.59/0.60	c Core size: 8	Core Weight: 1	Total Weight: 130
0.59/0.60	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #131
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 131
0.59/0.61	c Elapsed CPU time: 0.607907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #132
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 132
0.59/0.61	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #133
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 133
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #134
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 134
0.59/0.62	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #135
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 135
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #136
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 136
0.59/0.63	c Elapsed CPU time: 0.632903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #137
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 137
0.59/0.64	c Elapsed CPU time: 0.638902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #138
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 138
0.59/0.64	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #139
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 139
0.59/0.65	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #140
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 140
0.59/0.65	c Elapsed CPU time: 0.6539 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #141
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 141
0.59/0.66	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #142
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 142
0.59/0.66	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #143
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 143
0.59/0.67	c Elapsed CPU time: 0.668898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #144
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 144
0.59/0.67	c Elapsed CPU time: 0.673897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #145
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 145
0.59/0.68	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #146
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 146
0.59/0.68	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #147
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 147
0.59/0.69	c Elapsed CPU time: 0.689895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #148
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 148
0.59/0.69	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #149
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 149
0.69/0.70	c Elapsed CPU time: 0.699893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #150
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 150
0.69/0.70	c Elapsed CPU time: 0.705892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #151
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 151
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #152
0.69/0.71	c Core size: 8	Core Weight: 1	Total Weight: 152
0.69/0.71	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #153
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 153
0.69/0.72	c Elapsed CPU time: 0.72089 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #154
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 154
0.69/0.73	c Elapsed CPU time: 0.726889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #155
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 155
0.69/0.73	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #156
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 156
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #157
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 157
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #158
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 158
0.69/0.75	c Elapsed CPU time: 0.747886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #159
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 159
0.69/0.75	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #160
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 160
0.69/0.76	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #161
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 161
0.69/0.76	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #162
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 162
0.69/0.77	c Elapsed CPU time: 0.769882 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #163
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 163
0.69/0.77	c Elapsed CPU time: 0.774882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #164
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 164
0.69/0.78	c Elapsed CPU time: 0.780881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #165
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 165
0.69/0.79	c Elapsed CPU time: 0.78688 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #166
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 166
0.69/0.79	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #167
0.69/0.80	c Core size: 4	Core Weight: 1	Total Weight: 167
0.69/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #168
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: 168
0.79/0.80	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #169
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 169
0.79/0.81	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #170
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 170
0.79/0.81	c Elapsed CPU time: 0.813876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #171
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 171
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #172
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 172
0.79/0.82	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #173
0.79/0.83	c Core size: 8	Core Weight: 1	Total Weight: 173
0.79/0.83	c Elapsed CPU time: 0.831873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #174
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 174
0.79/0.84	c Elapsed CPU time: 0.836872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #175
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 175
0.79/0.84	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #176
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 176
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #177
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 177
0.79/0.85	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #178
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 178
0.79/0.86	c Elapsed CPU time: 0.859869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #179
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 179
0.79/0.86	c Elapsed CPU time: 0.864868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #180
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 180
0.79/0.87	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #181
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 181
0.79/0.87	c Elapsed CPU time: 0.875866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #182
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 182
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #183
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 183
0.79/0.89	c Elapsed CPU time: 0.886865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #184
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 184
0.79/0.89	c Elapsed CPU time: 0.891864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #185
0.79/0.90	c Core size: 4	Core Weight: 1	Total Weight: 185
0.79/0.90	c Elapsed CPU time: 0.897863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #186
0.89/0.90	c Core size: 4	Core Weight: 1	Total Weight: 186
0.89/0.90	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #187
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 187
0.89/0.91	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #188
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 188
0.89/0.91	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #189
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 189
0.89/0.92	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #190
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 190
0.89/0.92	c Elapsed CPU time: 0.924859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #191
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 191
0.89/0.93	c Elapsed CPU time: 0.930858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #192
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 192
0.89/0.94	c Elapsed CPU time: 0.935857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #193
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 193
0.89/0.94	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #194
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 194
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #195
0.89/0.95	c Core size: 8	Core Weight: 1	Total Weight: 195
0.89/0.95	c Elapsed CPU time: 0.952855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #196
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 196
0.89/0.96	c Elapsed CPU time: 0.957854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #197
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 197
0.89/0.96	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #198
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 198
0.89/0.97	c Elapsed CPU time: 0.969852 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #199
0.89/0.97	c Core size: 4	Core Weight: 1	Total Weight: 199
0.89/0.97	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #200
0.89/0.98	c Core size: 4	Core Weight: 1	Total Weight: 200
0.89/0.98	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #201
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: 201
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #202
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: 202
0.89/0.99	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #203
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 203
0.89/1.00	c Elapsed CPU time: 0.997848 s	Remaining CPU time: 1799 s
1.00/1.00	c core #204
1.00/1.00	c Core size: 3	Core Weight: 1	Total Weight: 204
1.00/1.00	c Elapsed CPU time: 1.00385 s	Remaining CPU time: 1799 s
1.00/1.01	c core #205
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 205
1.00/1.01	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 1798.99 s
1.00/1.01	c core #206
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 206
1.00/1.01	c Elapsed CPU time: 1.01484 s	Remaining CPU time: 1798.99 s
1.00/1.02	c core #207
1.00/1.02	c Core size: 4	Core Weight: 1	Total Weight: 207
1.00/1.02	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
1.00/1.03	c core #208
1.00/1.03	c Core size: 4	Core Weight: 1	Total Weight: 208
1.00/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
1.00/1.03	c core #209
1.00/1.03	c Core size: 4	Core Weight: 1	Total Weight: 209
1.00/1.03	c Elapsed CPU time: 1.03184 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #210
1.00/1.04	c Core size: 4	Core Weight: 1	Total Weight: 210
1.00/1.04	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 1798.96 s
1.00/1.04	c core #211
1.00/1.04	c Core size: 4	Core Weight: 1	Total Weight: 211
1.00/1.04	c Elapsed CPU time: 1.04284 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #212
1.00/1.05	c Core size: 4	Core Weight: 1	Total Weight: 212
1.00/1.05	c Elapsed CPU time: 1.04884 s	Remaining CPU time: 1798.95 s
1.00/1.05	c core #213
1.00/1.05	c Core size: 4	Core Weight: 1	Total Weight: 213
1.00/1.05	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #214
1.00/1.06	c Core size: 4	Core Weight: 1	Total Weight: 214
1.00/1.06	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #215
1.00/1.07	c Core size: 4	Core Weight: 1	Total Weight: 215
1.00/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #216
1.00/1.07	c Core size: 8	Core Weight: 1	Total Weight: 216
1.00/1.07	c Elapsed CPU time: 1.07084 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #217
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 217
1.00/1.08	c Elapsed CPU time: 1.07684 s	Remaining CPU time: 1798.92 s
1.00/1.08	c core #218
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 218
1.00/1.08	c Elapsed CPU time: 1.08283 s	Remaining CPU time: 1798.92 s
1.00/1.09	c core #219
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 219
1.00/1.09	c Elapsed CPU time: 1.08783 s	Remaining CPU time: 1798.91 s
1.00/1.09	c core #220
1.00/1.09	c Core size: 4	Core Weight: 1	Total Weight: 220
1.00/1.09	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.00/1.10	c core #221
1.00/1.10	c Core size: 4	Core Weight: 1	Total Weight: 221
1.00/1.10	c Elapsed CPU time: 1.09983 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #222
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: 222
1.09/1.11	c Elapsed CPU time: 1.10583 s	Remaining CPU time: 1798.89 s
1.09/1.11	c core #223
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: 223
1.09/1.11	c Elapsed CPU time: 1.11183 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #224
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 224
1.09/1.12	c Elapsed CPU time: 1.11883 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #225
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 225
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #226
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 226
1.09/1.13	c Elapsed CPU time: 1.13083 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #227
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 227
1.09/1.14	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 1798.86 s
1.09/1.14	c core #228
1.09/1.14	c Core size: 4	Core Weight: 1	Total Weight: 228
1.09/1.14	c Elapsed CPU time: 1.14283 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #229
1.09/1.15	c Core size: 4	Core Weight: 1	Total Weight: 229
1.09/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #230
1.09/1.16	c Core size: 4	Core Weight: 1	Total Weight: 230
1.09/1.16	c Elapsed CPU time: 1.15482 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #231
1.09/1.16	c Core size: 4	Core Weight: 1	Total Weight: 231
1.09/1.16	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #232
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: 232
1.09/1.17	c Elapsed CPU time: 1.16582 s	Remaining CPU time: 1798.83 s
1.09/1.17	c core #233
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: 233
1.09/1.17	c Elapsed CPU time: 1.17182 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #234
1.09/1.18	c Core size: 4	Core Weight: 1	Total Weight: 234
1.09/1.18	c Elapsed CPU time: 1.17782 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #235
1.09/1.19	c Core size: 4	Core Weight: 1	Total Weight: 235
1.09/1.19	c Elapsed CPU time: 1.18382 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #236
1.09/1.19	c Core size: 4	Core Weight: 1	Total Weight: 236
1.09/1.19	c Elapsed CPU time: 1.18982 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #237
1.19/1.20	c Core size: 4	Core Weight: 1	Total Weight: 237
1.19/1.20	c Elapsed CPU time: 1.19582 s	Remaining CPU time: 1798.8 s
1.19/1.20	c core #238
1.19/1.20	c Core size: 8	Core Weight: 1	Total Weight: 238
1.19/1.20	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #239
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 239
1.19/1.21	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #240
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 240
1.19/1.22	c Elapsed CPU time: 1.21481 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #241
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 241
1.19/1.22	c Elapsed CPU time: 1.22081 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #242
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: 242
1.19/1.23	c Elapsed CPU time: 1.22681 s	Remaining CPU time: 1798.77 s
1.19/1.23	c core #243
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: 243
1.19/1.23	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #244
1.19/1.24	c Core size: 4	Core Weight: 1	Total Weight: 244
1.19/1.24	c Elapsed CPU time: 1.23981 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #245
1.19/1.25	c Core size: 4	Core Weight: 1	Total Weight: 245
1.19/1.25	c Elapsed CPU time: 1.24581 s	Remaining CPU time: 1798.75 s
1.19/1.25	c core #246
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 246
1.19/1.25	c Elapsed CPU time: 1.25181 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #247
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 247
1.19/1.26	c Elapsed CPU time: 1.25781 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #248
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 248
1.19/1.27	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #249
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 249
1.19/1.27	c Elapsed CPU time: 1.27081 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #250
1.19/1.28	c Core size: 4	Core Weight: 1	Total Weight: 250
1.19/1.28	c Elapsed CPU time: 1.2768 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #251
1.19/1.29	c Core size: 4	Core Weight: 1	Total Weight: 251
1.19/1.29	c Elapsed CPU time: 1.2828 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #252
1.19/1.29	c Core size: 4	Core Weight: 1	Total Weight: 252
1.19/1.29	c Elapsed CPU time: 1.2898 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #253
1.29/1.30	c Core size: 4	Core Weight: 1	Total Weight: 253
1.29/1.30	c Elapsed CPU time: 1.2958 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #254
1.29/1.31	c Core size: 4	Core Weight: 1	Total Weight: 254
1.29/1.31	c Elapsed CPU time: 1.3028 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #255
1.29/1.31	c Core size: 4	Core Weight: 1	Total Weight: 255
1.29/1.31	c Elapsed CPU time: 1.3088 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #256
1.29/1.32	c Core size: 4	Core Weight: 1	Total Weight: 256
1.29/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.29/1.32	c core #257
1.29/1.32	c Core size: 4	Core Weight: 1	Total Weight: 257
1.29/1.32	c Elapsed CPU time: 1.3218 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #258
1.29/1.33	c Core size: 4	Core Weight: 1	Total Weight: 258
1.29/1.33	c Elapsed CPU time: 1.3288 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #259
1.29/1.34	c Core size: 8	Core Weight: 1	Total Weight: 259
1.29/1.34	c Elapsed CPU time: 1.3348 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #260
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 260
1.29/1.34	c Elapsed CPU time: 1.3418 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #261
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 261
1.29/1.35	c Elapsed CPU time: 1.3478 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #262
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 262
1.29/1.36	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #263
1.29/1.36	c Core size: 4	Core Weight: 1	Total Weight: 263
1.29/1.36	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #264
1.29/1.37	c Core size: 4	Core Weight: 1	Total Weight: 264
1.29/1.37	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #265
1.29/1.38	c Core size: 4	Core Weight: 1	Total Weight: 265
1.29/1.38	c Elapsed CPU time: 1.37479 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #266
1.29/1.38	c Core size: 4	Core Weight: 1	Total Weight: 266
1.29/1.38	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #267
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 267
1.29/1.39	c Elapsed CPU time: 1.38779 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #268
1.39/1.40	c Core size: 3	Core Weight: 1	Total Weight: 268
1.39/1.40	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #269
1.39/1.40	c Core size: 3	Core Weight: 1	Total Weight: 269
1.39/1.40	c Elapsed CPU time: 1.40079 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #270
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 270
1.39/1.41	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #271
1.39/1.42	c Core size: 4	Core Weight: 1	Total Weight: 271
1.39/1.42	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #272
1.39/1.42	c Core size: 4	Core Weight: 1	Total Weight: 272
1.39/1.42	c Elapsed CPU time: 1.41978 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #273
1.39/1.43	c Core size: 4	Core Weight: 1	Total Weight: 273
1.39/1.43	c Elapsed CPU time: 1.42678 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #274
1.39/1.44	c Core size: 4	Core Weight: 1	Total Weight: 274
1.39/1.44	c Elapsed CPU time: 1.43278 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #275
1.39/1.44	c Core size: 4	Core Weight: 1	Total Weight: 275
1.39/1.44	c Elapsed CPU time: 1.43978 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #276
1.39/1.45	c Core size: 4	Core Weight: 1	Total Weight: 276
1.39/1.45	c Elapsed CPU time: 1.44678 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #277
1.39/1.46	c Core size: 4	Core Weight: 1	Total Weight: 277
1.39/1.46	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #278
1.39/1.46	c Core size: 4	Core Weight: 1	Total Weight: 278
1.39/1.46	c Elapsed CPU time: 1.45978 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #279
1.39/1.47	c Core size: 4	Core Weight: 1	Total Weight: 279
1.39/1.47	c Elapsed CPU time: 1.46678 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #280
1.39/1.48	c Core size: 4	Core Weight: 1	Total Weight: 280
1.39/1.48	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #281
1.39/1.48	c Core size: 8	Core Weight: 1	Total Weight: 281
1.39/1.48	c Elapsed CPU time: 1.47978 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #282
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 282
1.39/1.49	c Elapsed CPU time: 1.48677 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #283
1.49/1.50	c Core size: 3	Core Weight: 1	Total Weight: 283
1.49/1.50	c Elapsed CPU time: 1.49377 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #284
1.49/1.50	c Core size: 3	Core Weight: 1	Total Weight: 284
1.49/1.50	c Elapsed CPU time: 1.49977 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #285
1.49/1.51	c Core size: 4	Core Weight: 1	Total Weight: 285
1.49/1.51	c Elapsed CPU time: 1.50677 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #286
1.49/1.52	c Core size: 4	Core Weight: 1	Total Weight: 286
1.49/1.52	c Elapsed CPU time: 1.51377 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #287
1.49/1.52	c Core size: 4	Core Weight: 1	Total Weight: 287
1.49/1.52	c Elapsed CPU time: 1.52077 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #288
1.49/1.53	c Core size: 4	Core Weight: 1	Total Weight: 288
1.49/1.53	c Elapsed CPU time: 1.52777 s	Remaining CPU time: 1798.47 s
1.49/1.54	c core #289
1.49/1.54	c Core size: 3	Core Weight: 1	Total Weight: 289
1.49/1.54	c Elapsed CPU time: 1.53477 s	Remaining CPU time: 1798.47 s
1.49/1.55	c core #290
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 290
1.49/1.55	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.49/1.55	c core #291
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 291
1.49/1.55	c Elapsed CPU time: 1.54776 s	Remaining CPU time: 1798.45 s
1.49/1.56	c core #292
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 292
1.49/1.56	c Elapsed CPU time: 1.55476 s	Remaining CPU time: 1798.45 s
1.49/1.57	c core #293
1.49/1.57	c Core size: 4	Core Weight: 1	Total Weight: 293
1.49/1.57	c Elapsed CPU time: 1.56176 s	Remaining CPU time: 1798.44 s
1.49/1.57	c core #294
1.49/1.57	c Core size: 4	Core Weight: 1	Total Weight: 294
1.49/1.57	c Elapsed CPU time: 1.56876 s	Remaining CPU time: 1798.43 s
1.49/1.58	c core #295
1.49/1.58	c Core size: 4	Core Weight: 1	Total Weight: 295
1.49/1.58	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #296
1.49/1.59	c Core size: 4	Core Weight: 1	Total Weight: 296
1.49/1.59	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #297
1.49/1.59	c Core size: 4	Core Weight: 1	Total Weight: 297
1.49/1.59	c Elapsed CPU time: 1.58976 s	Remaining CPU time: 1798.41 s
1.59/1.60	c core #298
1.59/1.60	c Core size: 4	Core Weight: 1	Total Weight: 298
1.59/1.60	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #299
1.59/1.61	c Core size: 4	Core Weight: 1	Total Weight: 299
1.59/1.61	c Elapsed CPU time: 1.60376 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #300
1.59/1.61	c Core size: 4	Core Weight: 1	Total Weight: 300
1.59/1.61	c Elapsed CPU time: 1.61076 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #301
1.59/1.62	c Core size: 4	Core Weight: 1	Total Weight: 301
1.59/1.62	c Elapsed CPU time: 1.61675 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #302
1.59/1.63	c Core size: 8	Core Weight: 1	Total Weight: 302
1.59/1.63	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #303
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 303
1.59/1.63	c Elapsed CPU time: 1.63075 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #304
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 304
1.59/1.64	c Elapsed CPU time: 1.63775 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #305
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 305
1.59/1.65	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 1798.36 s
1.59/1.66	c core #306
1.59/1.66	c Core size: 4	Core Weight: 1	Total Weight: 306
1.59/1.66	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 1798.35 s
1.59/1.66	c core #307
1.59/1.66	c Core size: 4	Core Weight: 1	Total Weight: 307
1.59/1.66	c Elapsed CPU time: 1.65775 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #308
1.59/1.67	c Core size: 4	Core Weight: 1	Total Weight: 308
1.59/1.67	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #309
1.59/1.68	c Core size: 4	Core Weight: 1	Total Weight: 309
1.59/1.68	c Elapsed CPU time: 1.67175 s	Remaining CPU time: 1798.33 s
1.59/1.68	c core #310
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 310
1.59/1.68	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 1798.32 s
1.59/1.69	c core #311
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 311
1.59/1.69	c Elapsed CPU time: 1.68574 s	Remaining CPU time: 1798.31 s
1.69/1.70	c core #312
1.69/1.70	c Core size: 3	Core Weight: 1	Total Weight: 312
1.69/1.70	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.69/1.70	c core #313
1.69/1.70	c Core size: 3	Core Weight: 1	Total Weight: 313
1.69/1.70	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #314
1.69/1.71	c Core size: 4	Core Weight: 1	Total Weight: 314
1.69/1.71	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #315
1.69/1.72	c Core size: 4	Core Weight: 1	Total Weight: 315
1.69/1.72	c Elapsed CPU time: 1.71374 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #316
1.69/1.72	c Core size: 4	Core Weight: 1	Total Weight: 316
1.69/1.72	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #317
1.69/1.73	c Core size: 4	Core Weight: 1	Total Weight: 317
1.69/1.73	c Elapsed CPU time: 1.72774 s	Remaining CPU time: 1798.27 s
1.69/1.74	c core #318
1.69/1.74	c Core size: 4	Core Weight: 1	Total Weight: 318
1.69/1.74	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #319
1.69/1.75	c Core size: 4	Core Weight: 1	Total Weight: 319
1.69/1.75	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.69/1.75	c core #320
1.69/1.75	c Core size: 4	Core Weight: 1	Total Weight: 320
1.69/1.75	c Elapsed CPU time: 1.74773 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #321
1.69/1.76	c Core size: 4	Core Weight: 1	Total Weight: 321
1.69/1.76	c Elapsed CPU time: 1.75473 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #322
1.69/1.77	c Core size: 4	Core Weight: 1	Total Weight: 322
1.69/1.77	c Elapsed CPU time: 1.76173 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #323
1.69/1.77	c Core size: 4	Core Weight: 1	Total Weight: 323
1.69/1.77	c Elapsed CPU time: 1.76873 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #324
1.69/1.78	c Core size: 8	Core Weight: 1	Total Weight: 324
1.69/1.78	c Elapsed CPU time: 1.77573 s	Remaining CPU time: 1798.22 s
1.69/1.79	c core #325
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 325
1.69/1.79	c Elapsed CPU time: 1.78273 s	Remaining CPU time: 1798.22 s
1.69/1.79	c core #326
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 326
1.69/1.79	c Elapsed CPU time: 1.78973 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #327
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 327
1.79/1.80	c Elapsed CPU time: 1.79673 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #328
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 328
1.79/1.81	c Elapsed CPU time: 1.80472 s	Remaining CPU time: 1798.2 s
1.79/1.82	c core #329
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 329
1.79/1.82	c Elapsed CPU time: 1.81172 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #330
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 330
1.79/1.82	c Elapsed CPU time: 1.81772 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #331
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 331
1.79/1.83	c Elapsed CPU time: 1.82572 s	Remaining CPU time: 1798.17 s
1.79/1.84	c core #332
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 332
1.79/1.84	c Elapsed CPU time: 1.83272 s	Remaining CPU time: 1798.17 s
1.79/1.85	c core #333
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 333
1.79/1.85	c Elapsed CPU time: 1.83872 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #334
1.79/1.85	c Core size: 2	Core Weight: 1	Total Weight: 334
1.79/1.85	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.79/1.86	c core #335
1.79/1.86	c Core size: 2	Core Weight: 1	Total Weight: 335
1.79/1.86	c Elapsed CPU time: 1.85372 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #336
1.79/1.87	c Core size: 2	Core Weight: 1	Total Weight: 336
1.79/1.87	c Elapsed CPU time: 1.86072 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #337
1.79/1.87	c Core size: 2	Core Weight: 1	Total Weight: 337
1.79/1.87	c Elapsed CPU time: 1.86772 s	Remaining CPU time: 1798.13 s
1.79/1.88	c core #338
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 338
1.79/1.88	c Elapsed CPU time: 1.87571 s	Remaining CPU time: 1798.12 s
1.79/1.89	c core #339
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 339
1.79/1.89	c Elapsed CPU time: 1.88271 s	Remaining CPU time: 1798.12 s
1.79/1.90	c core #340
1.79/1.90	c Core size: 3	Core Weight: 1	Total Weight: 340
1.79/1.90	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 1798.11 s
1.88/1.90	c core #341
1.88/1.90	c Core size: 2	Core Weight: 1	Total Weight: 341
1.88/1.90	c Elapsed CPU time: 1.89671 s	Remaining CPU time: 1798.1 s
1.88/1.91	c core #342
1.88/1.91	c Core size: 2	Core Weight: 1	Total Weight: 342
1.88/1.91	c Elapsed CPU time: 1.90371 s	Remaining CPU time: 1798.1 s
1.88/1.92	c core #343
1.88/1.92	c Core size: 2	Core Weight: 1	Total Weight: 343
1.88/1.92	c Elapsed CPU time: 1.91071 s	Remaining CPU time: 1798.09 s
1.88/1.92	c core #344
1.88/1.92	c Core size: 3	Core Weight: 1	Total Weight: 344
1.88/1.92	c Elapsed CPU time: 1.91771 s	Remaining CPU time: 1798.08 s
1.88/1.93	c core #345
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 345
1.88/1.93	c Elapsed CPU time: 1.92571 s	Remaining CPU time: 1798.07 s
1.88/1.94	c core #346
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 346
1.88/1.94	c Elapsed CPU time: 1.93271 s	Remaining CPU time: 1798.07 s
1.88/1.95	c core #347
1.88/1.95	c Core size: 2	Core Weight: 1	Total Weight: 347
1.88/1.95	c Elapsed CPU time: 1.93971 s	Remaining CPU time: 1798.06 s
1.88/1.95	c core #348
1.88/1.95	c Core size: 2	Core Weight: 1	Total Weight: 348
1.88/1.95	c Elapsed CPU time: 1.9477 s	Remaining CPU time: 1798.05 s
1.88/1.96	c core #349
1.88/1.96	c Core size: 2	Core Weight: 1	Total Weight: 349
1.88/1.96	c Elapsed CPU time: 1.9547 s	Remaining CPU time: 1798.05 s
1.88/1.97	c core #350
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 350
1.88/1.97	c Elapsed CPU time: 1.9617 s	Remaining CPU time: 1798.04 s
1.88/1.98	c core #351
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 351
1.88/1.98	c Elapsed CPU time: 1.9697 s	Remaining CPU time: 1798.03 s
1.88/1.98	c core #352
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 352
1.88/1.98	c Elapsed CPU time: 1.9767 s	Remaining CPU time: 1798.02 s
1.88/1.99	c core #353
1.88/1.99	c Core size: 2	Core Weight: 1	Total Weight: 353
1.88/1.99	c Elapsed CPU time: 1.9847 s	Remaining CPU time: 1798.02 s
1.98/2.00	c core #354
1.98/2.00	c Core size: 2	Core Weight: 1	Total Weight: 354
1.98/2.00	c Elapsed CPU time: 1.9917 s	Remaining CPU time: 1798.01 s
1.98/2.01	c core #355
1.98/2.01	c Core size: 2	Core Weight: 1	Total Weight: 355
1.98/2.01	c Elapsed CPU time: 1.9997 s	Remaining CPU time: 1798 s
1.98/2.01	c core #356
1.98/2.01	c Core size: 3	Core Weight: 1	Total Weight: 356
1.98/2.01	c Elapsed CPU time: 2.00669 s	Remaining CPU time: 1797.99 s
1.98/2.02	c core #357
1.98/2.02	c Core size: 3	Core Weight: 1	Total Weight: 357
1.98/2.02	c Elapsed CPU time: 2.01469 s	Remaining CPU time: 1797.99 s
1.98/2.03	c core #358
1.98/2.03	c Core size: 3	Core Weight: 1	Total Weight: 358
1.98/2.03	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.98/2.04	c core #359
1.98/2.04	c Core size: 2	Core Weight: 1	Total Weight: 359
1.98/2.04	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
1.98/2.04	c core #360
1.98/2.04	c Core size: 2	Core Weight: 1	Total Weight: 360
1.98/2.04	c Elapsed CPU time: 2.03569 s	Remaining CPU time: 1797.96 s
1.98/2.05	c core #361
1.98/2.05	c Core size: 2	Core Weight: 1	Total Weight: 361
1.98/2.05	c Elapsed CPU time: 2.04369 s	Remaining CPU time: 1797.96 s
1.98/2.06	c core #362
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 362
1.98/2.06	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.98/2.06	c core #363
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 363
1.98/2.06	c Elapsed CPU time: 2.05869 s	Remaining CPU time: 1797.94 s
1.98/2.07	c core #364
1.98/2.07	c Core size: 3	Core Weight: 1	Total Weight: 364
1.98/2.07	c Elapsed CPU time: 2.06569 s	Remaining CPU time: 1797.93 s
1.98/2.08	c core #365
1.98/2.08	c Core size: 2	Core Weight: 1	Total Weight: 365
1.98/2.08	c Elapsed CPU time: 2.07368 s	Remaining CPU time: 1797.93 s
1.98/2.09	c core #366
1.98/2.09	c Core size: 2	Core Weight: 1	Total Weight: 366
1.98/2.09	c Elapsed CPU time: 2.08068 s	Remaining CPU time: 1797.92 s
1.98/2.09	c core #367
1.98/2.09	c Core size: 2	Core Weight: 1	Total Weight: 367
1.98/2.09	c Elapsed CPU time: 2.08868 s	Remaining CPU time: 1797.91 s
2.09/2.10	c core #368
2.09/2.10	c Core size: 3	Core Weight: 1	Total Weight: 368
2.09/2.10	c Elapsed CPU time: 2.09568 s	Remaining CPU time: 1797.9 s
2.09/2.11	c core #369
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 369
2.09/2.11	c Elapsed CPU time: 2.10268 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #370
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 370
2.09/2.12	c Elapsed CPU time: 2.11068 s	Remaining CPU time: 1797.89 s
2.09/2.12	c core #371
2.09/2.12	c Core size: 2	Core Weight: 1	Total Weight: 371
2.09/2.12	c Elapsed CPU time: 2.11768 s	Remaining CPU time: 1797.88 s
2.09/2.13	c core #372
2.09/2.13	c Core size: 2	Core Weight: 1	Total Weight: 372
2.09/2.13	c Elapsed CPU time: 2.12568 s	Remaining CPU time: 1797.87 s
2.09/2.14	c core #373
2.09/2.14	c Core size: 2	Core Weight: 1	Total Weight: 373
2.09/2.14	c Elapsed CPU time: 2.13267 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #374
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 374
2.09/2.15	c Elapsed CPU time: 2.14067 s	Remaining CPU time: 1797.86 s
2.09/2.15	c core #375
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 375
2.09/2.15	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.09/2.16	c core #376
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 376
2.09/2.16	c Elapsed CPU time: 2.15567 s	Remaining CPU time: 1797.84 s
2.09/2.17	c core #377
2.09/2.17	c Core size: 2	Core Weight: 1	Total Weight: 377
2.09/2.17	c Elapsed CPU time: 2.16367 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #378
2.09/2.18	c Core size: 2	Core Weight: 1	Total Weight: 378
2.09/2.18	c Elapsed CPU time: 2.17067 s	Remaining CPU time: 1797.83 s
2.09/2.18	c core #379
2.09/2.18	c Core size: 2	Core Weight: 1	Total Weight: 379
2.09/2.18	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 1797.82 s
2.09/2.19	c core #380
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 380
2.09/2.19	c Elapsed CPU time: 2.18567 s	Remaining CPU time: 1797.81 s
2.09/2.20	c core #381
2.09/2.20	c Core size: 3	Core Weight: 1	Total Weight: 381
2.09/2.20	c Elapsed CPU time: 2.19267 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #382
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 382
2.19/2.21	c Elapsed CPU time: 2.20066 s	Remaining CPU time: 1797.8 s
2.19/2.21	c core #383
2.19/2.21	c Core size: 2	Core Weight: 1	Total Weight: 383
2.19/2.21	c Elapsed CPU time: 2.20866 s	Remaining CPU time: 1797.79 s
2.19/2.22	c core #384
2.19/2.22	c Core size: 2	Core Weight: 1	Total Weight: 384
2.19/2.22	c Elapsed CPU time: 2.21666 s	Remaining CPU time: 1797.78 s
2.19/2.23	c core #385
2.19/2.23	c Core size: 2	Core Weight: 1	Total Weight: 385
2.19/2.23	c Elapsed CPU time: 2.22466 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #386
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 386
2.19/2.24	c Elapsed CPU time: 2.23266 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #387
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 387
2.19/2.25	c Elapsed CPU time: 2.23966 s	Remaining CPU time: 1797.76 s
2.19/2.25	c core #388
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 388
2.19/2.25	c Elapsed CPU time: 2.24766 s	Remaining CPU time: 1797.75 s
2.19/2.26	c core #389
2.19/2.26	c Core size: 2	Core Weight: 1	Total Weight: 389
2.19/2.26	c Elapsed CPU time: 2.25566 s	Remaining CPU time: 1797.74 s
2.19/2.27	c core #390
2.19/2.27	c Core size: 2	Core Weight: 1	Total Weight: 390
2.19/2.27	c Elapsed CPU time: 2.26365 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #391
2.19/2.28	c Core size: 2	Core Weight: 1	Total Weight: 391
2.19/2.28	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.19/2.28	c core #392
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 392
2.19/2.28	c Elapsed CPU time: 2.27865 s	Remaining CPU time: 1797.72 s
2.19/2.29	c core #393
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 393
2.19/2.29	c Elapsed CPU time: 2.28565 s	Remaining CPU time: 1797.71 s
2.28/2.30	c core #394
2.28/2.30	c Core size: 3	Core Weight: 1	Total Weight: 394
2.28/2.30	c Elapsed CPU time: 2.29365 s	Remaining CPU time: 1797.71 s
2.28/2.31	c core #395
2.28/2.31	c Core size: 2	Core Weight: 1	Total Weight: 395
2.28/2.31	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 1797.7 s
2.28/2.32	c core #396
2.28/2.32	c Core size: 2	Core Weight: 1	Total Weight: 396
2.28/2.32	c Elapsed CPU time: 2.30965 s	Remaining CPU time: 1797.69 s
2.28/2.32	c core #397
2.28/2.32	c Core size: 2	Core Weight: 1	Total Weight: 397
2.28/2.32	c Elapsed CPU time: 2.31665 s	Remaining CPU time: 1797.68 s
2.28/2.33	c core #398
2.28/2.33	c Core size: 3	Core Weight: 1	Total Weight: 398
2.28/2.33	c Elapsed CPU time: 2.32465 s	Remaining CPU time: 1797.68 s
2.28/2.34	c core #399
2.28/2.34	c Core size: 3	Core Weight: 1	Total Weight: 399
2.28/2.34	c Elapsed CPU time: 2.33264 s	Remaining CPU time: 1797.67 s
2.28/2.35	c core #400
2.28/2.35	c Core size: 3	Core Weight: 1	Total Weight: 400
2.28/2.35	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.28/2.35	c core #401
2.28/2.35	c Core size: 2	Core Weight: 1	Total Weight: 401
2.28/2.35	c Elapsed CPU time: 2.34764 s	Remaining CPU time: 1797.65 s
2.28/2.36	c core #402
2.28/2.36	c Core size: 2	Core Weight: 1	Total Weight: 402
2.28/2.36	c Elapsed CPU time: 2.35564 s	Remaining CPU time: 1797.64 s
2.28/2.37	c core #403
2.28/2.37	c Core size: 2	Core Weight: 1	Total Weight: 403
2.28/2.37	c Elapsed CPU time: 2.36364 s	Remaining CPU time: 1797.64 s
2.28/2.38	c core #404
2.28/2.38	c Core size: 3	Core Weight: 1	Total Weight: 404
2.28/2.38	c Elapsed CPU time: 2.37064 s	Remaining CPU time: 1797.63 s
2.28/2.39	c core #405
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 405
2.28/2.39	c Elapsed CPU time: 2.37864 s	Remaining CPU time: 1797.62 s
2.28/2.39	c core #406
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 406
2.28/2.39	c Elapsed CPU time: 2.38664 s	Remaining CPU time: 1797.61 s
2.38/2.40	c core #407
2.38/2.40	c Core size: 2	Core Weight: 1	Total Weight: 407
2.38/2.40	c Elapsed CPU time: 2.39364 s	Remaining CPU time: 1797.61 s
2.38/2.41	c core #408
2.38/2.41	c Core size: 2	Core Weight: 1	Total Weight: 408
2.38/2.41	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.38/2.42	c core #409
2.38/2.42	c Core size: 2	Core Weight: 1	Total Weight: 409
2.38/2.42	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 1797.59 s
2.38/2.42	c core #410
2.38/2.42	c Core size: 3	Core Weight: 1	Total Weight: 410
2.38/2.42	c Elapsed CPU time: 2.41763 s	Remaining CPU time: 1797.58 s
2.38/2.43	c core #411
2.38/2.43	c Core size: 3	Core Weight: 1	Total Weight: 411
2.38/2.43	c Elapsed CPU time: 2.42563 s	Remaining CPU time: 1797.57 s
2.38/2.44	c core #412
2.38/2.44	c Core size: 3	Core Weight: 1	Total Weight: 412
2.38/2.44	c Elapsed CPU time: 2.43263 s	Remaining CPU time: 1797.57 s
2.38/2.45	c core #413
2.38/2.45	c Core size: 2	Core Weight: 1	Total Weight: 413
2.38/2.45	c Elapsed CPU time: 2.44063 s	Remaining CPU time: 1797.56 s
2.38/2.45	c core #414
2.38/2.45	c Core size: 2	Core Weight: 1	Total Weight: 414
2.38/2.45	c Elapsed CPU time: 2.44863 s	Remaining CPU time: 1797.55 s
2.38/2.46	c core #415
2.38/2.46	c Core size: 2	Core Weight: 1	Total Weight: 415
2.38/2.46	c Elapsed CPU time: 2.45563 s	Remaining CPU time: 1797.54 s
2.38/2.47	c core #416
2.38/2.47	c Core size: 3	Core Weight: 1	Total Weight: 416
2.38/2.47	c Elapsed CPU time: 2.46362 s	Remaining CPU time: 1797.54 s
2.38/2.48	c core #417
2.38/2.48	c Core size: 3	Core Weight: 1	Total Weight: 417
2.38/2.48	c Elapsed CPU time: 2.47062 s	Remaining CPU time: 1797.53 s
2.38/2.49	c core #418
2.38/2.49	c Core size: 3	Core Weight: 1	Total Weight: 418
2.38/2.49	c Elapsed CPU time: 2.47862 s	Remaining CPU time: 1797.52 s
2.38/2.49	c core #419
2.38/2.49	c Core size: 2	Core Weight: 1	Total Weight: 419
2.38/2.49	c Elapsed CPU time: 2.48662 s	Remaining CPU time: 1797.51 s
2.49/2.50	c core #420
2.49/2.50	c Core size: 2	Core Weight: 1	Total Weight: 420
2.49/2.50	c Elapsed CPU time: 2.49462 s	Remaining CPU time: 1797.51 s
2.49/2.51	c core #421
2.49/2.51	c Core size: 2	Core Weight: 1	Total Weight: 421
2.49/2.51	c Elapsed CPU time: 2.50162 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #422
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 422
2.49/2.52	c Elapsed CPU time: 2.50962 s	Remaining CPU time: 1797.49 s
2.49/2.52	c core #423
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 423
2.49/2.52	c Elapsed CPU time: 2.51762 s	Remaining CPU time: 1797.48 s
2.49/2.53	c core #424
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 424
2.49/2.53	c Elapsed CPU time: 2.52562 s	Remaining CPU time: 1797.47 s
2.49/2.54	c core #425
2.49/2.54	c Core size: 2	Core Weight: 1	Total Weight: 425
2.49/2.54	c Elapsed CPU time: 2.53261 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #426
2.49/2.55	c Core size: 2	Core Weight: 1	Total Weight: 426
2.49/2.55	c Elapsed CPU time: 2.54061 s	Remaining CPU time: 1797.46 s
2.49/2.56	c core #427
2.49/2.56	c Core size: 2	Core Weight: 1	Total Weight: 427
2.49/2.56	c Elapsed CPU time: 2.54861 s	Remaining CPU time: 1797.45 s
2.49/2.56	c core #428
2.49/2.56	c Core size: 2	Core Weight: 1	Total Weight: 428
2.49/2.56	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 1797.44 s
2.49/2.57	c core #429
2.49/2.57	c Core size: 2	Core Weight: 1	Total Weight: 429
2.49/2.57	c Elapsed CPU time: 2.56461 s	Remaining CPU time: 1797.44 s
2.49/2.58	c core #430
2.49/2.58	c Core size: 2	Core Weight: 1	Total Weight: 430
2.49/2.58	c Elapsed CPU time: 2.57161 s	Remaining CPU time: 1797.43 s
2.49/2.59	c core #431
2.49/2.59	c Core size: 2	Core Weight: 1	Total Weight: 431
2.49/2.59	c Elapsed CPU time: 2.57961 s	Remaining CPU time: 1797.42 s
2.49/2.60	c core #432
2.49/2.60	c Core size: 2	Core Weight: 1	Total Weight: 432
2.49/2.60	c Elapsed CPU time: 2.58761 s	Remaining CPU time: 1797.41 s
2.59/2.60	c core #433
2.59/2.60	c Core size: 2	Core Weight: 1	Total Weight: 433
2.59/2.60	c Elapsed CPU time: 2.5956 s	Remaining CPU time: 1797.4 s
2.59/2.61	c core #434
2.59/2.61	c Core size: 2	Core Weight: 1	Total Weight: 434
2.59/2.61	c Elapsed CPU time: 2.6036 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #435
2.59/2.62	c Core size: 2	Core Weight: 1	Total Weight: 435
2.59/2.62	c Elapsed CPU time: 2.6106 s	Remaining CPU time: 1797.39 s
2.59/2.63	c core #436
2.59/2.63	c Core size: 2	Core Weight: 1	Total Weight: 436
2.59/2.63	c Elapsed CPU time: 2.6186 s	Remaining CPU time: 1797.38 s
2.59/2.63	c core #437
2.59/2.63	c Core size: 2	Core Weight: 1	Total Weight: 437
2.59/2.63	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 1797.37 s
2.59/2.64	c core #438
2.59/2.64	c Core size: 2	Core Weight: 1	Total Weight: 438
2.59/2.64	c Elapsed CPU time: 2.6346 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #439
2.59/2.65	c Core size: 9	Core Weight: 1	Total Weight: 439
2.59/2.65	c Elapsed CPU time: 2.6416 s	Remaining CPU time: 1797.36 s
2.59/2.66	c core #440
2.59/2.66	c Core size: 8	Core Weight: 1	Total Weight: 440
2.59/2.66	c Elapsed CPU time: 2.6496 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #441
2.59/2.67	c Core size: 20	Core Weight: 1	Total Weight: 441
2.59/2.67	c Elapsed CPU time: 2.6576 s	Remaining CPU time: 1797.34 s
2.59/2.67	c core #442
2.59/2.67	c Core size: 45	Core Weight: 1	Total Weight: 442
2.59/2.67	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 1797.33 s
2.59/2.68	c core #443
2.59/2.68	c Core size: 16	Core Weight: 1	Total Weight: 443
2.59/2.68	c Elapsed CPU time: 2.67359 s	Remaining CPU time: 1797.33 s
2.59/2.69	c core #444
2.59/2.69	c Core size: 25	Core Weight: 1	Total Weight: 444
2.59/2.69	c Elapsed CPU time: 2.68259 s	Remaining CPU time: 1797.32 s
2.69/2.70	c core #445
2.69/2.70	c Core size: 58	Core Weight: 1	Total Weight: 445
2.69/2.70	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 1797.31 s
2.69/2.71	c core #446
2.69/2.71	c Core size: 6	Core Weight: 1	Total Weight: 446
2.69/2.71	c Elapsed CPU time: 2.69759 s	Remaining CPU time: 1797.3 s
2.69/2.71	c core #447
2.69/2.71	c Core size: 9	Core Weight: 1	Total Weight: 447
2.69/2.71	c Elapsed CPU time: 2.70659 s	Remaining CPU time: 1797.29 s
2.69/2.72	c core #448
2.69/2.72	c Core size: 63	Core Weight: 1	Total Weight: 448
2.69/2.72	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 1797.29 s
2.69/2.73	c core #449
2.69/2.73	c Core size: 9	Core Weight: 1	Total Weight: 449
2.69/2.73	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #450
2.69/2.74	c Core size: 21	Core Weight: 1	Total Weight: 450
2.69/2.74	c Elapsed CPU time: 2.73058 s	Remaining CPU time: 1797.27 s
2.69/2.75	c core #451
2.69/2.75	c Core size: 6	Core Weight: 1	Total Weight: 451
2.69/2.75	c Elapsed CPU time: 2.73758 s	Remaining CPU time: 1797.26 s
2.69/2.75	c core #452
2.69/2.75	c Core size: 22	Core Weight: 1	Total Weight: 452
2.69/2.75	c Elapsed CPU time: 2.74658 s	Remaining CPU time: 1797.25 s
2.69/2.76	c core #453
2.69/2.76	c Core size: 21	Core Weight: 1	Total Weight: 453
2.69/2.76	c Elapsed CPU time: 2.75458 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #454
2.69/2.77	c Core size: 6	Core Weight: 1	Total Weight: 454
2.69/2.77	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.69/2.78	c core #455
2.69/2.78	c Core size: 22	Core Weight: 1	Total Weight: 455
2.69/2.78	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #456
2.69/2.79	c Core size: 21	Core Weight: 1	Total Weight: 456
2.69/2.79	c Elapsed CPU time: 2.77958 s	Remaining CPU time: 1797.22 s
2.69/2.80	c core #457
2.69/2.80	c Core size: 6	Core Weight: 1	Total Weight: 457
2.69/2.80	c Elapsed CPU time: 2.78858 s	Remaining CPU time: 1797.21 s
2.79/2.80	c core #458
2.79/2.80	c Core size: 22	Core Weight: 1	Total Weight: 458
2.79/2.80	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 1797.2 s
2.79/2.81	c core #459
2.79/2.81	c Core size: 21	Core Weight: 1	Total Weight: 459
2.79/2.81	c Elapsed CPU time: 2.80457 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #460
2.79/2.82	c Core size: 6	Core Weight: 1	Total Weight: 460
2.79/2.82	c Elapsed CPU time: 2.81257 s	Remaining CPU time: 1797.19 s
2.79/2.83	c core #461
2.79/2.83	c Core size: 22	Core Weight: 1	Total Weight: 461
2.79/2.83	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #462
2.79/2.84	c Core size: 21	Core Weight: 1	Total Weight: 462
2.79/2.84	c Elapsed CPU time: 2.82957 s	Remaining CPU time: 1797.17 s
2.79/2.85	c core #463
2.79/2.85	c Core size: 6	Core Weight: 1	Total Weight: 463
2.79/2.85	c Elapsed CPU time: 2.83857 s	Remaining CPU time: 1797.16 s
2.79/2.85	c core #464
2.79/2.85	c Core size: 22	Core Weight: 1	Total Weight: 464
2.79/2.85	c Elapsed CPU time: 2.84657 s	Remaining CPU time: 1797.15 s
2.79/2.86	c core #465
2.79/2.86	c Core size: 21	Core Weight: 1	Total Weight: 465
2.79/2.86	c Elapsed CPU time: 2.85556 s	Remaining CPU time: 1797.14 s
2.79/2.87	c core #466
2.79/2.87	c Core size: 6	Core Weight: 1	Total Weight: 466
2.79/2.87	c Elapsed CPU time: 2.86356 s	Remaining CPU time: 1797.14 s
2.79/2.88	c core #467
2.79/2.88	c Core size: 27	Core Weight: 1	Total Weight: 467
2.79/2.88	c Elapsed CPU time: 2.87256 s	Remaining CPU time: 1797.13 s
2.79/2.89	c core #468
2.79/2.89	c Core size: 18	Core Weight: 1	Total Weight: 468
2.79/2.89	c Elapsed CPU time: 2.88056 s	Remaining CPU time: 1797.12 s
2.89/2.90	c core #469
2.89/2.90	c Core size: 13	Core Weight: 1	Total Weight: 469
2.89/2.90	c Elapsed CPU time: 2.88856 s	Remaining CPU time: 1797.11 s
2.89/2.90	c core #470
2.89/2.90	c Core size: 9	Core Weight: 1	Total Weight: 470
2.89/2.90	c Elapsed CPU time: 2.89656 s	Remaining CPU time: 1797.1 s
2.89/2.91	c core #471
2.89/2.91	c Core size: 22	Core Weight: 1	Total Weight: 471
2.89/2.91	c Elapsed CPU time: 2.90456 s	Remaining CPU time: 1797.1 s
2.89/2.92	c core #472
2.89/2.92	c Core size: 17	Core Weight: 1	Total Weight: 472
2.89/2.92	c Elapsed CPU time: 2.91256 s	Remaining CPU time: 1797.09 s
2.89/2.93	c core #473
2.89/2.93	c Core size: 43	Core Weight: 1	Total Weight: 473
2.89/2.93	c Elapsed CPU time: 2.92156 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #474
2.89/2.94	c Core size: 23	Core Weight: 1	Total Weight: 474
2.89/2.94	c Elapsed CPU time: 2.92955 s	Remaining CPU time: 1797.07 s
2.89/2.95	c core #475
2.89/2.95	c Core size: 31	Core Weight: 1	Total Weight: 475
2.89/2.95	c Elapsed CPU time: 2.93855 s	Remaining CPU time: 1797.06 s
2.89/2.96	c core #476
2.89/2.96	c Core size: 10	Core Weight: 1	Total Weight: 476
2.89/2.96	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.89/2.96	c core #477
2.89/2.96	c Core size: 35	Core Weight: 1	Total Weight: 477
2.89/2.96	c Elapsed CPU time: 2.95555 s	Remaining CPU time: 1797.04 s
2.89/2.97	c core #478
2.89/2.97	c Core size: 31	Core Weight: 1	Total Weight: 478
2.89/2.97	c Elapsed CPU time: 2.96455 s	Remaining CPU time: 1797.04 s
2.89/2.98	c core #479
2.89/2.98	c Core size: 59	Core Weight: 1	Total Weight: 479
2.89/2.98	c Elapsed CPU time: 2.97355 s	Remaining CPU time: 1797.03 s
2.89/2.99	c core #480
2.89/2.99	c Core size: 63	Core Weight: 1	Total Weight: 480
2.89/2.99	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 1797.02 s
2.99/3.00	c core #481
2.99/3.00	c Core size: 10	Core Weight: 1	Total Weight: 481
2.99/3.00	c Elapsed CPU time: 2.98955 s	Remaining CPU time: 1797.01 s
2.99/3.01	c core #482
2.99/3.01	c Core size: 10	Core Weight: 1	Total Weight: 482
2.99/3.01	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 1797 s
2.99/3.02	c core #483
2.99/3.02	c Core size: 49	Core Weight: 1	Total Weight: 483
2.99/3.02	c Elapsed CPU time: 3.00754 s	Remaining CPU time: 1796.99 s
2.99/3.03	c core #484
2.99/3.03	c Core size: 10	Core Weight: 1	Total Weight: 484
2.99/3.03	c Elapsed CPU time: 3.01654 s	Remaining CPU time: 1796.98 s
2.99/3.03	c core #485
2.99/3.03	c Core size: 10	Core Weight: 1	Total Weight: 485
2.99/3.03	c Elapsed CPU time: 3.02454 s	Remaining CPU time: 1796.98 s
2.99/3.04	c core #486
2.99/3.04	c Core size: 74	Core Weight: 1	Total Weight: 486
2.99/3.04	c Elapsed CPU time: 3.03354 s	Remaining CPU time: 1796.97 s
2.99/3.05	c core #487
2.99/3.05	c Core size: 10	Core Weight: 1	Total Weight: 487
2.99/3.05	c Elapsed CPU time: 3.04154 s	Remaining CPU time: 1796.96 s
2.99/3.06	c core #488
2.99/3.06	c Core size: 31	Core Weight: 1	Total Weight: 488
2.99/3.06	c Elapsed CPU time: 3.05054 s	Remaining CPU time: 1796.95 s
2.99/3.07	c core #489
2.99/3.07	c Core size: 46	Core Weight: 1	Total Weight: 489
2.99/3.07	c Elapsed CPU time: 3.05953 s	Remaining CPU time: 1796.94 s
2.99/3.08	c core #490
2.99/3.08	c Core size: 46	Core Weight: 1	Total Weight: 490
2.99/3.08	c Elapsed CPU time: 3.06753 s	Remaining CPU time: 1796.93 s
2.99/3.09	c core #491
2.99/3.09	c Core size: 10	Core Weight: 1	Total Weight: 491
2.99/3.09	c Elapsed CPU time: 3.07653 s	Remaining CPU time: 1796.92 s
2.99/3.09	c core #492
2.99/3.09	c Core size: 10	Core Weight: 1	Total Weight: 492
2.99/3.09	c Elapsed CPU time: 3.08553 s	Remaining CPU time: 1796.91 s
3.09/3.10	c core #493
3.09/3.10	c Core size: 62	Core Weight: 1	Total Weight: 493
3.09/3.10	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.09/3.11	c core #494
3.09/3.11	c Core size: 10	Core Weight: 1	Total Weight: 494
3.09/3.11	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 1796.9 s
3.09/3.12	c core #495
3.09/3.12	c Core size: 31	Core Weight: 1	Total Weight: 495
3.09/3.12	c Elapsed CPU time: 3.11253 s	Remaining CPU time: 1796.89 s
3.09/3.13	c core #496
3.09/3.13	c Core size: 10	Core Weight: 1	Total Weight: 496
3.09/3.13	c Elapsed CPU time: 3.12052 s	Remaining CPU time: 1796.88 s
3.09/3.14	c core #497
3.09/3.14	c Core size: 10	Core Weight: 1	Total Weight: 497
3.09/3.14	c Elapsed CPU time: 3.12952 s	Remaining CPU time: 1796.87 s
3.09/3.15	c core #498
3.09/3.15	c Core size: 10	Core Weight: 1	Total Weight: 498
3.09/3.15	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.09/3.16	c core #499
3.09/3.16	c Core size: 31	Core Weight: 1	Total Weight: 499
3.09/3.16	c Elapsed CPU time: 3.14752 s	Remaining CPU time: 1796.85 s
3.09/3.17	c core #500
3.09/3.17	c Core size: 10	Core Weight: 1	Total Weight: 500
3.09/3.17	c Elapsed CPU time: 3.15652 s	Remaining CPU time: 1796.84 s
3.09/3.18	c core #501
3.09/3.18	c Core size: 10	Core Weight: 1	Total Weight: 501
3.09/3.18	c Elapsed CPU time: 3.16652 s	Remaining CPU time: 1796.83 s
3.09/3.18	c core #502
3.09/3.18	c Core size: 10	Core Weight: 1	Total Weight: 502
3.09/3.18	c Elapsed CPU time: 3.17452 s	Remaining CPU time: 1796.83 s
3.09/3.19	c core #503
3.09/3.19	c Core size: 31	Core Weight: 1	Total Weight: 503
3.09/3.19	c Elapsed CPU time: 3.18352 s	Remaining CPU time: 1796.82 s
3.19/3.20	c core #504
3.19/3.20	c Core size: 10	Core Weight: 1	Total Weight: 504
3.19/3.20	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 1796.81 s
3.19/3.21	c core #505
3.19/3.21	c Core size: 10	Core Weight: 1	Total Weight: 505
3.19/3.21	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.19/3.22	c core #506
3.19/3.22	c Core size: 28	Core Weight: 1	Total Weight: 506
3.19/3.22	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 1796.79 s
3.19/3.23	c core #507
3.19/3.23	c Core size: 60	Core Weight: 1	Total Weight: 507
3.19/3.23	c Elapsed CPU time: 3.22051 s	Remaining CPU time: 1796.78 s
3.19/3.24	c core #508
3.19/3.24	c Core size: 31	Core Weight: 1	Total Weight: 508
3.19/3.24	c Elapsed CPU time: 3.22951 s	Remaining CPU time: 1796.77 s
3.19/3.25	c core #509
3.19/3.25	c Core size: 10	Core Weight: 1	Total Weight: 509
3.19/3.25	c Elapsed CPU time: 3.23951 s	Remaining CPU time: 1796.76 s
3.19/3.26	c core #510
3.19/3.26	c Core size: 32	Core Weight: 1	Total Weight: 510
3.19/3.26	c Elapsed CPU time: 3.24851 s	Remaining CPU time: 1796.75 s
3.19/3.27	c core #511
3.19/3.27	c Core size: 14	Core Weight: 1	Total Weight: 511
3.19/3.27	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 1796.74 s
3.19/3.28	c core #512
3.19/3.28	c Core size: 34	Core Weight: 1	Total Weight: 512
3.19/3.28	c Elapsed CPU time: 3.2685 s	Remaining CPU time: 1796.73 s
3.19/3.29	c core #513
3.19/3.29	c Core size: 27	Core Weight: 1	Total Weight: 513
3.19/3.29	c Elapsed CPU time: 3.2785 s	Remaining CPU time: 1796.72 s
3.19/3.30	c core #514
3.19/3.30	c Core size: 40	Core Weight: 1	Total Weight: 514
3.19/3.30	c Elapsed CPU time: 3.2885 s	Remaining CPU time: 1796.71 s
3.29/3.31	c core #515
3.29/3.31	c Core size: 5	Core Weight: 1	Total Weight: 515
3.29/3.31	c Elapsed CPU time: 3.2975 s	Remaining CPU time: 1796.7 s
3.29/3.32	c core #516
3.29/3.32	c Core size: 5	Core Weight: 1	Total Weight: 516
3.29/3.32	c Elapsed CPU time: 3.3075 s	Remaining CPU time: 1796.69 s
3.29/3.33	c core #517
3.29/3.33	c Core size: 5	Core Weight: 1	Total Weight: 517
3.29/3.33	c Elapsed CPU time: 3.3175 s	Remaining CPU time: 1796.68 s
3.29/3.34	c core #518
3.29/3.34	c Core size: 5	Core Weight: 1	Total Weight: 518
3.29/3.34	c Elapsed CPU time: 3.32649 s	Remaining CPU time: 1796.67 s
3.29/3.35	c core #519
3.29/3.35	c Core size: 5	Core Weight: 1	Total Weight: 519
3.29/3.35	c Elapsed CPU time: 3.33649 s	Remaining CPU time: 1796.66 s
3.29/3.36	c core #520
3.29/3.36	c Core size: 15	Core Weight: 1	Total Weight: 520
3.29/3.36	c Elapsed CPU time: 3.34649 s	Remaining CPU time: 1796.65 s
3.29/3.37	c core #521
3.29/3.37	c Core size: 15	Core Weight: 1	Total Weight: 521
3.29/3.37	c Elapsed CPU time: 3.35649 s	Remaining CPU time: 1796.64 s
3.29/3.38	c core #522
3.29/3.38	c Core size: 15	Core Weight: 1	Total Weight: 522
3.29/3.38	c Elapsed CPU time: 3.36549 s	Remaining CPU time: 1796.63 s
3.29/3.39	c core #523
3.29/3.39	c Core size: 42	Core Weight: 1	Total Weight: 523
3.29/3.39	c Elapsed CPU time: 3.37549 s	Remaining CPU time: 1796.62 s
3.29/3.40	c core #524
3.29/3.40	c Core size: 33	Core Weight: 1	Total Weight: 524
3.29/3.40	c Elapsed CPU time: 3.38549 s	Remaining CPU time: 1796.61 s
3.39/3.41	c core #525
3.39/3.41	c Core size: 33	Core Weight: 1	Total Weight: 525
3.39/3.41	c Elapsed CPU time: 3.39548 s	Remaining CPU time: 1796.6 s
3.39/3.42	c core #526
3.39/3.42	c Core size: 47	Core Weight: 1	Total Weight: 526
3.39/3.42	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 1796.59 s
3.39/3.43	c core #527
3.39/3.43	c Core size: 18	Core Weight: 1	Total Weight: 527
3.39/3.43	c Elapsed CPU time: 3.41548 s	Remaining CPU time: 1796.58 s
3.39/3.44	c core #528
3.39/3.44	c Core size: 18	Core Weight: 1	Total Weight: 528
3.39/3.44	c Elapsed CPU time: 3.42548 s	Remaining CPU time: 1796.57 s
3.39/3.45	c core #529
3.39/3.45	c Core size: 12	Core Weight: 1	Total Weight: 529
3.39/3.45	c Elapsed CPU time: 3.43548 s	Remaining CPU time: 1796.56 s
3.39/3.46	c core #530
3.39/3.46	c Core size: 18	Core Weight: 1	Total Weight: 530
3.39/3.46	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.39/3.47	c core #531
3.39/3.47	c Core size: 12	Core Weight: 1	Total Weight: 531
3.39/3.47	c Elapsed CPU time: 3.45447 s	Remaining CPU time: 1796.55 s
3.39/3.48	c core #532
3.39/3.48	c Core size: 18	Core Weight: 1	Total Weight: 532
3.39/3.48	c Elapsed CPU time: 3.46447 s	Remaining CPU time: 1796.54 s
3.39/3.49	c core #533
3.39/3.49	c Core size: 18	Core Weight: 1	Total Weight: 533
3.39/3.49	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.39/3.49	c core #534
3.39/3.49	c Core size: 12	Core Weight: 1	Total Weight: 534
3.39/3.49	c Elapsed CPU time: 3.48347 s	Remaining CPU time: 1796.52 s
3.49/3.50	c core #535
3.49/3.50	c Core size: 18	Core Weight: 1	Total Weight: 535
3.49/3.50	c Elapsed CPU time: 3.49247 s	Remaining CPU time: 1796.51 s
3.49/3.51	c core #536
3.49/3.51	c Core size: 12	Core Weight: 1	Total Weight: 536
3.49/3.51	c Elapsed CPU time: 3.50247 s	Remaining CPU time: 1796.5 s
3.49/3.52	c core #537
3.49/3.52	c Core size: 18	Core Weight: 1	Total Weight: 537
3.49/3.52	c Elapsed CPU time: 3.51247 s	Remaining CPU time: 1796.49 s
3.49/3.53	c core #538
3.49/3.53	c Core size: 18	Core Weight: 1	Total Weight: 538
3.49/3.53	c Elapsed CPU time: 3.52146 s	Remaining CPU time: 1796.48 s
3.49/3.54	c core #539
3.49/3.54	c Core size: 12	Core Weight: 1	Total Weight: 539
3.49/3.54	c Elapsed CPU time: 3.53146 s	Remaining CPU time: 1796.47 s
3.49/3.56	c core #540
3.49/3.56	c Core size: 18	Core Weight: 1	Total Weight: 540
3.49/3.56	c Elapsed CPU time: 3.54146 s	Remaining CPU time: 1796.46 s
3.49/3.57	c core #541
3.49/3.57	c Core size: 24	Core Weight: 1	Total Weight: 541
3.49/3.57	c Elapsed CPU time: 3.55146 s	Remaining CPU time: 1796.45 s
3.49/3.57	c core #542
3.49/3.57	c Core size: 12	Core Weight: 1	Total Weight: 542
3.49/3.57	c Elapsed CPU time: 3.56146 s	Remaining CPU time: 1796.44 s
3.49/3.58	c core #543
3.49/3.58	c Core size: 18	Core Weight: 1	Total Weight: 543
3.49/3.58	c Elapsed CPU time: 3.57146 s	Remaining CPU time: 1796.43 s
3.49/3.59	c core #544
3.49/3.59	c Core size: 19	Core Weight: 1	Total Weight: 544
3.49/3.59	c Elapsed CPU time: 3.58046 s	Remaining CPU time: 1796.42 s
3.59/3.60	c core #545
3.59/3.60	c Core size: 24	Core Weight: 1	Total Weight: 545
3.59/3.60	c Elapsed CPU time: 3.59045 s	Remaining CPU time: 1796.41 s
3.59/3.61	c core #546
3.59/3.61	c Core size: 13	Core Weight: 1	Total Weight: 546
3.59/3.61	c Elapsed CPU time: 3.60045 s	Remaining CPU time: 1796.4 s
3.59/3.62	c core #547
3.59/3.62	c Core size: 7	Core Weight: 1	Total Weight: 547
3.59/3.62	c Elapsed CPU time: 3.61045 s	Remaining CPU time: 1796.39 s
3.59/3.63	c core #548
3.59/3.63	c Core size: 17	Core Weight: 1	Total Weight: 548
3.59/3.63	c Elapsed CPU time: 3.61945 s	Remaining CPU time: 1796.38 s
3.59/3.64	c core #549
3.59/3.64	c Core size: 35	Core Weight: 1	Total Weight: 549
3.59/3.64	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.59/3.65	c ============================[ Search Statistics ]==============================
3.59/3.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.65	c ===============================================================================
3.59/3.65	c |         0 |    2528     7637    17857 |     5000        0    nan |  0.000 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c core #550
3.59/3.66	c Core size: 13	Core Weight: 1	Total Weight: 550
3.59/3.66	c Elapsed CPU time: 3.63945 s	Remaining CPU time: 1796.36 s
3.59/3.67	c ============================[ Search Statistics ]==============================
3.59/3.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.67	c ===============================================================================
3.59/3.67	c |         0 |    2534     7638    17869 |     5000        0    nan |  0.000 % |
3.59/3.67	c ===============================================================================
3.59/3.67	c core #551
3.59/3.67	c Core size: 24	Core Weight: 1	Total Weight: 551
3.59/3.67	c Elapsed CPU time: 3.65044 s	Remaining CPU time: 1796.35 s
3.59/3.68	c ============================[ Search Statistics ]==============================
3.59/3.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.68	c ===============================================================================
3.59/3.68	c |         0 |    2553     7639    17887 |     5000        0    nan |  0.000 % |
3.59/3.68	c ===============================================================================
3.59/3.68	c core #552
3.59/3.68	c Core size: 12	Core Weight: 1	Total Weight: 552
3.59/3.68	c Elapsed CPU time: 3.66144 s	Remaining CPU time: 1796.34 s
3.59/3.69	c ============================[ Search Statistics ]==============================
3.59/3.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.69	c ===============================================================================
3.59/3.69	c |         0 |    2561     7640    17905 |     5000        0    nan |  0.000 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c core #553
3.59/3.69	c Core size: 34	Core Weight: 1	Total Weight: 553
3.59/3.69	c Elapsed CPU time: 3.67244 s	Remaining CPU time: 1796.33 s
3.69/3.70	c ============================[ Search Statistics ]==============================
3.69/3.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.70	c ===============================================================================
3.69/3.70	c |         0 |    2581     7641    17929 |     5000        0    nan |  0.000 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c core #554
3.69/3.70	c Core size: 15	Core Weight: 1	Total Weight: 554
3.69/3.70	c Elapsed CPU time: 3.68344 s	Remaining CPU time: 1796.32 s
3.69/3.71	c ============================[ Search Statistics ]==============================
3.69/3.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.71	c ===============================================================================
3.69/3.71	c |         0 |    2587     7642    17941 |     5000        0    nan |  0.000 % |
3.69/3.71	c ===============================================================================
3.69/3.71	c core #555
3.69/3.71	c Core size: 35	Core Weight: 1	Total Weight: 555
3.69/3.71	c Elapsed CPU time: 3.69544 s	Remaining CPU time: 1796.3 s
3.69/3.72	c Learning 1 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 |    2599     7644    17968 |     5000        0    nan |  0.000 % |
3.69/3.72	c ===============================================================================
3.69/3.72	c core #556
3.69/3.72	c Core size: 32	Core Weight: 1	Total Weight: 556
3.69/3.72	c Elapsed CPU time: 3.70644 s	Remaining CPU time: 1796.29 s
3.69/3.73	c Learning 1 hard constraints
3.69/3.73	c ============================[ Search Statistics ]==============================
3.69/3.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.73	c ===============================================================================
3.69/3.73	c |         0 |    2608     7646    17991 |     5000        0    nan |  0.000 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c core #557
3.69/3.73	c Core size: 38	Core Weight: 1	Total Weight: 557
3.69/3.73	c Elapsed CPU time: 3.71743 s	Remaining CPU time: 1796.28 s
3.69/3.74	c Learning 1 hard constraints
3.69/3.74	c ============================[ Search Statistics ]==============================
3.69/3.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.74	c ===============================================================================
3.69/3.74	c |         0 |    2622     7648    18025 |     5000        0    nan |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c core #558
3.69/3.74	c Core size: 20	Core Weight: 1	Total Weight: 558
3.69/3.74	c Elapsed CPU time: 3.72843 s	Remaining CPU time: 1796.27 s
3.69/3.75	c Learning 1 hard constraints
3.69/3.75	c ============================[ Search Statistics ]==============================
3.69/3.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.75	c ===============================================================================
3.69/3.75	c |         0 |    2631     7650    18047 |     5000        0    nan |  0.000 % |
3.69/3.76	c ===============================================================================
3.69/3.76	c core #559
3.69/3.76	c Core size: 71	Core Weight: 1	Total Weight: 559
3.69/3.76	c Elapsed CPU time: 3.73943 s	Remaining CPU time: 1796.26 s
3.69/3.77	c Learning 1 hard constraints
3.69/3.77	c ============================[ Search Statistics ]==============================
3.69/3.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.77	c ===============================================================================
3.69/3.77	c |         0 |    2647     7652    18084 |     5000        0    nan |  0.000 % |
3.69/3.77	c ===============================================================================
3.69/3.77	c core #560
3.69/3.77	c Core size: 124	Core Weight: 1	Total Weight: 560
3.69/3.77	c Elapsed CPU time: 3.75143 s	Remaining CPU time: 1796.25 s
3.69/3.78	c Learning 3 hard constraints
3.69/3.78	c ============================[ Search Statistics ]==============================
3.69/3.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.78	c ===============================================================================
3.69/3.78	c |         0 |    2686     7656    18168 |     5000        0    nan |  0.000 % |
3.69/3.78	c ===============================================================================
3.69/3.78	c core #561
3.69/3.78	c Core size: 72	Core Weight: 1	Total Weight: 561
3.69/3.78	c Elapsed CPU time: 3.76343 s	Remaining CPU time: 1796.24 s
3.69/3.79	c ============================[ Search Statistics ]==============================
3.69/3.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.79	c ===============================================================================
3.69/3.79	c |         0 |    2704     7657    18204 |     5000        0    nan |  0.000 % |
3.69/3.79	c ===============================================================================
3.69/3.79	c core #562
3.69/3.79	c Core size: 13	Core Weight: 1	Total Weight: 562
3.69/3.79	c Elapsed CPU time: 3.77543 s	Remaining CPU time: 1796.22 s
3.79/3.80	c ============================[ Search Statistics ]==============================
3.79/3.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.80	c ===============================================================================
3.79/3.80	c |         0 |    2710     7658    18216 |     5000        0    nan |  0.000 % |
3.79/3.80	c ===============================================================================
3.79/3.80	c core #563
3.79/3.80	c Core size: 15	Core Weight: 1	Total Weight: 563
3.79/3.80	c Elapsed CPU time: 3.78742 s	Remaining CPU time: 1796.21 s
3.79/3.81	c ============================[ Search Statistics ]==============================
3.79/3.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.81	c ===============================================================================
3.79/3.81	c |         0 |    2716     7659    18228 |     5000        0    nan |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c core #564
3.79/3.82	c Core size: 25	Core Weight: 1	Total Weight: 564
3.79/3.82	c Elapsed CPU time: 3.80042 s	Remaining CPU time: 1796.2 s
3.79/3.83	c ============================[ Search Statistics ]==============================
3.79/3.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.83	c ===============================================================================
3.79/3.83	c |         0 |    2736     7660    18255 |     5000        0    nan |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c core #565
3.79/3.83	c Core size: 60	Core Weight: 1	Total Weight: 565
3.79/3.83	c Elapsed CPU time: 3.81342 s	Remaining CPU time: 1796.19 s
3.79/3.84	c Learning 1 hard constraints
3.79/3.84	c ============================[ Search Statistics ]==============================
3.79/3.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.84	c ===============================================================================
3.79/3.84	c |         0 |    2755     7662    18296 |     5000        0    nan |  0.000 % |
3.79/3.84	c ===============================================================================
3.79/3.84	c core #566
3.79/3.84	c Core size: 49	Core Weight: 1	Total Weight: 566
3.79/3.84	c Elapsed CPU time: 3.82542 s	Remaining CPU time: 1796.17 s
3.79/3.85	c Learning 1 hard constraints
3.79/3.85	c ============================[ Search Statistics ]==============================
3.79/3.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.85	c ===============================================================================
3.79/3.85	c |         0 |    2749     7664    18304 |     5000        0    nan |  0.000 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c core #567
3.79/3.85	c Core size: 31	Core Weight: 1	Total Weight: 567
3.79/3.85	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.79/3.86	c ============================[ Search Statistics ]==============================
3.79/3.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.86	c ===============================================================================
3.79/3.86	c |         0 |    2782     7665    18338 |     5000        0    nan |  0.000 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c core #568
3.79/3.86	c Core size: 15	Core Weight: 1	Total Weight: 568
3.79/3.86	c Elapsed CPU time: 3.84841 s	Remaining CPU time: 1796.15 s
3.79/3.87	c Learning 1 hard constraints
3.79/3.87	c ============================[ Search Statistics ]==============================
3.79/3.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.87	c ===============================================================================
3.79/3.87	c |         0 |    2788     7667    18352 |     5000        0    nan |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c core #569
3.79/3.88	c Core size: 17	Core Weight: 1	Total Weight: 569
3.79/3.88	c Elapsed CPU time: 3.85941 s	Remaining CPU time: 1796.14 s
3.79/3.89	c ============================[ Search Statistics ]==============================
3.79/3.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.89	c ===============================================================================
3.79/3.89	c |         0 |    2794     7668    18364 |     5000        0    nan |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c core #570
3.79/3.89	c Core size: 27	Core Weight: 1	Total Weight: 570
3.79/3.89	c Elapsed CPU time: 3.87041 s	Remaining CPU time: 1796.13 s
3.88/3.90	c Learning 1 hard constraints
3.88/3.90	c ============================[ Search Statistics ]==============================
3.88/3.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.90	c ===============================================================================
3.88/3.90	c |         0 |    2821     7670    18391 |     5000        0    nan |  0.000 % |
3.88/3.90	c ===============================================================================
3.88/3.90	c core #571
3.88/3.90	c Core size: 33	Core Weight: 1	Total Weight: 571
3.88/3.90	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.88/3.91	c Learning 1 hard constraints
3.88/3.91	c ============================[ Search Statistics ]==============================
3.88/3.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.91	c ===============================================================================
3.88/3.91	c |         0 |    2846     7672    18428 |     5000        0    nan |  0.000 % |
3.88/3.91	c ===============================================================================
3.88/3.91	c core #572
3.88/3.91	c Core size: 35	Core Weight: 1	Total Weight: 572
3.88/3.91	c Elapsed CPU time: 3.89241 s	Remaining CPU time: 1796.11 s
3.88/3.92	c Learning 1 hard constraints
3.88/3.92	c ============================[ Search Statistics ]==============================
3.88/3.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.92	c ===============================================================================
3.88/3.92	c |         0 |    2869     7674    18462 |     5000        0    nan |  0.000 % |
3.88/3.92	c ===============================================================================
3.88/3.92	c core #573
3.88/3.92	c Core size: 62	Core Weight: 1	Total Weight: 573
3.88/3.92	c Elapsed CPU time: 3.90341 s	Remaining CPU time: 1796.1 s
3.88/3.93	c Learning 2 hard constraints
3.88/3.93	c ============================[ Search Statistics ]==============================
3.88/3.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.93	c ===============================================================================
3.88/3.93	c |         0 |    2886     7677    18508 |     5000        0    nan |  0.000 % |
3.88/3.93	c ===============================================================================
3.88/3.93	c core #574
3.88/3.93	c Core size: 29	Core Weight: 1	Total Weight: 574
3.88/3.93	c Elapsed CPU time: 3.9154 s	Remaining CPU time: 1796.08 s
3.88/3.94	c ============================[ Search Statistics ]==============================
3.88/3.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.94	c ===============================================================================
3.88/3.94	c |         0 |    2897     7678    18530 |     5000        0    nan |  0.000 % |
3.88/3.94	c ===============================================================================
3.88/3.94	c core #575
3.88/3.94	c Core size: 41	Core Weight: 1	Total Weight: 575
3.88/3.94	c Elapsed CPU time: 3.9274 s	Remaining CPU time: 1796.07 s
3.88/3.95	c ============================[ Search Statistics ]==============================
3.88/3.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.95	c ===============================================================================
3.88/3.95	c |         0 |    2917     7679    18553 |     5000        0    nan |  0.000 % |
3.88/3.96	c ===============================================================================
3.88/3.96	c core #576
3.88/3.96	c Core size: 108	Core Weight: 1	Total Weight: 576
3.88/3.96	c Elapsed CPU time: 3.9394 s	Remaining CPU time: 1796.06 s
3.88/3.97	c Learning 2 hard constraints
3.88/3.97	c ============================[ Search Statistics ]==============================
3.88/3.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.97	c ===============================================================================
3.88/3.97	c |         0 |    2951     7682    18633 |     5000        0    nan |  0.000 % |
3.88/3.97	c ===============================================================================
3.88/3.97	c core #577
3.88/3.97	c Core size: 33	Core Weight: 1	Total Weight: 577
3.88/3.97	c Elapsed CPU time: 3.9514 s	Remaining CPU time: 1796.05 s
3.88/3.98	c ============================[ Search Statistics ]==============================
3.88/3.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.98	c ===============================================================================
3.88/3.98	c |         0 |    2964     7683    18659 |     5000        0    nan |  0.000 % |
3.88/3.98	c ===============================================================================
3.88/3.98	c core #578
3.88/3.98	c Core size: 24	Core Weight: 1	Total Weight: 578
3.88/3.98	c Elapsed CPU time: 3.9634 s	Remaining CPU time: 1796.04 s
3.88/3.99	c ============================[ Search Statistics ]==============================
3.88/3.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.88/3.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.88/3.99	c ===============================================================================
3.88/3.99	c |         0 |    2980     7684    18696 |     5000        0    nan |  0.000 % |
3.88/3.99	c ===============================================================================
3.88/3.99	c core #579
3.88/3.99	c Core size: 29	Core Weight: 1	Total Weight: 579
3.88/3.99	c Elapsed CPU time: 3.97539 s	Remaining CPU time: 1796.02 s
3.99/4.00	c ============================[ Search Statistics ]==============================
3.99/4.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.00	c ===============================================================================
3.99/4.00	c |         0 |    2991     7685    18718 |     5000        0    nan |  0.000 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c core #580
3.99/4.01	c Core size: 55	Core Weight: 1	Total Weight: 580
3.99/4.01	c Elapsed CPU time: 3.98839 s	Remaining CPU time: 1796.01 s
3.99/4.02	c Learning 1 hard constraints
3.99/4.02	c ============================[ Search Statistics ]==============================
3.99/4.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.02	c ===============================================================================
3.99/4.02	c |         0 |    3009     7687    18760 |     5000        0    nan |  0.000 % |
3.99/4.02	c ===============================================================================
3.99/4.02	c core #581
3.99/4.02	c Core size: 41	Core Weight: 1	Total Weight: 581
3.99/4.02	c Elapsed CPU time: 4.00039 s	Remaining CPU time: 1796 s
3.99/4.03	c Learning 4 hard constraints
3.99/4.03	c ============================[ Search Statistics ]==============================
3.99/4.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.03	c ===============================================================================
3.99/4.03	c |         0 |    3026     7692    18805 |     5000        0    nan |  0.000 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c core #582
3.99/4.03	c Core size: 13	Core Weight: 1	Total Weight: 582
3.99/4.03	c Elapsed CPU time: 4.01239 s	Remaining CPU time: 1795.99 s
3.99/4.04	c ============================[ Search Statistics ]==============================
3.99/4.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.04	c ===============================================================================
3.99/4.04	c |         0 |    3032     7693    18817 |     5000        0    nan |  0.000 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c core #583
3.99/4.04	c Core size: 23	Core Weight: 1	Total Weight: 583
3.99/4.04	c Elapsed CPU time: 4.02439 s	Remaining CPU time: 1795.98 s
3.99/4.05	c ============================[ Search Statistics ]==============================
3.99/4.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.05	c ===============================================================================
3.99/4.05	c |         0 |    3040     7694    18833 |     5000        0    nan |  0.000 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c core #584
3.99/4.05	c Core size: 93	Core Weight: 1	Total Weight: 584
3.99/4.05	c Elapsed CPU time: 4.03639 s	Remaining CPU time: 1795.96 s
3.99/4.06	c Learning 2 hard constraints
3.99/4.06	c ============================[ Search Statistics ]==============================
3.99/4.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.06	c ===============================================================================
3.99/4.06	c |         0 |    3066     7697    18892 |     5000        0    nan |  0.000 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c core #585
3.99/4.07	c Core size: 183	Core Weight: 1	Total Weight: 585
3.99/4.07	c Elapsed CPU time: 4.04938 s	Remaining CPU time: 1795.95 s
3.99/4.08	c Learning 4 hard constraints
3.99/4.08	c ============================[ Search Statistics ]==============================
3.99/4.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.08	c ===============================================================================
3.99/4.08	c |         0 |    3109     7702    18989 |     5000        0    nan |  0.000 % |
3.99/4.08	c ===============================================================================
3.99/4.08	c core #586
3.99/4.08	c Core size: 50	Core Weight: 1	Total Weight: 586
3.99/4.08	c Elapsed CPU time: 4.06238 s	Remaining CPU time: 1795.94 s
3.99/4.09	c Learning 4 hard constraints
3.99/4.09	c ============================[ Search Statistics ]==============================
3.99/4.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.09	c ===============================================================================
3.99/4.09	c |         0 |    3128     7707    19041 |     5000        0    nan |  0.000 % |
3.99/4.10	c ===============================================================================
3.99/4.10	c core #587
3.99/4.10	c Core size: 22	Core Weight: 1	Total Weight: 587
3.99/4.10	c Elapsed CPU time: 4.07438 s	Remaining CPU time: 1795.93 s
4.09/4.11	c ============================[ Search Statistics ]==============================
4.09/4.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.11	c ===============================================================================
4.09/4.11	c |         0 |    3136     7708    19057 |     5000        0    nan |  0.000 % |
4.09/4.11	c ===============================================================================
4.09/4.11	c core #588
4.09/4.11	c Core size: 386	Core Weight: 1	Total Weight: 588
4.09/4.11	c Elapsed CPU time: 4.09238 s	Remaining CPU time: 1795.91 s
4.09/4.12	c Learning 5 hard constraints
4.09/4.12	c ============================[ Search Statistics ]==============================
4.09/4.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.12	c ===============================================================================
4.09/4.12	c |         0 |    3236     7714    19287 |     5000        0    nan |  0.000 % |
4.09/4.13	c |       102 |    3236     7714    19287 |     5500      102      8 | 14.191 % |
4.09/4.14	c ===============================================================================
4.09/4.14	c core #589
4.09/4.14	c Core size: 69	Core Weight: 1	Total Weight: 589
4.09/4.14	c Elapsed CPU time: 4.11337 s	Remaining CPU time: 1795.89 s
4.09/4.15	c Learning 16 hard constraints
4.09/4.15	c ============================[ Search Statistics ]==============================
4.09/4.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.15	c ===============================================================================
4.09/4.15	c |         0 |    3259     7731    19392 |     5000        0    nan |  0.000 % |
4.09/4.15	c ===============================================================================
4.09/4.15	c core #590
4.09/4.15	c Core size: 15	Core Weight: 1	Total Weight: 590
4.09/4.15	c Elapsed CPU time: 4.12637 s	Remaining CPU time: 1795.87 s
4.09/4.16	c ============================[ Search Statistics ]==============================
4.09/4.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.16	c ===============================================================================
4.09/4.16	c |         0 |    3265     7732    19404 |     5000        0    nan |  0.000 % |
4.09/4.16	c ===============================================================================
4.09/4.16	c core #591
4.09/4.16	c Core size: 42	Core Weight: 1	Total Weight: 591
4.09/4.16	c Elapsed CPU time: 4.13837 s	Remaining CPU time: 1795.86 s
4.09/4.17	c ============================[ Search Statistics ]==============================
4.09/4.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.17	c ===============================================================================
4.09/4.17	c |         0 |    3275     7733    19425 |     5000        0    nan |  0.000 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c core #592
4.09/4.17	c Core size: 51	Core Weight: 1	Total Weight: 592
4.09/4.17	c Elapsed CPU time: 4.15037 s	Remaining CPU time: 1795.85 s
4.09/4.18	c ============================[ Search Statistics ]==============================
4.09/4.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.18	c ===============================================================================
4.09/4.18	c |         0 |    3290     7734    19440 |     5000        0    nan |  0.000 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c core #593
4.09/4.19	c Core size: 257	Core Weight: 1	Total Weight: 593
4.09/4.19	c Elapsed CPU time: 4.16637 s	Remaining CPU time: 1795.83 s
4.19/4.20	c Learning 5 hard constraints
4.19/4.20	c ============================[ Search Statistics ]==============================
4.19/4.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.20	c ===============================================================================
4.19/4.20	c |         0 |    3336     7740    19552 |     5000        0    nan |  0.000 % |
4.19/4.21	c |       100 |    3336     7740    19552 |     5500      100     10 | 13.200 % |
4.19/4.21	c ===============================================================================
4.19/4.21	c core #594
4.19/4.21	c Core size: 85	Core Weight: 1	Total Weight: 594
4.19/4.21	c Elapsed CPU time: 4.18936 s	Remaining CPU time: 1795.81 s
4.19/4.22	c Learning 12 hard constraints
4.19/4.22	c ============================[ Search Statistics ]==============================
4.19/4.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.22	c ===============================================================================
4.19/4.22	c |         0 |    3364     7753    19668 |     5000        0    nan |  0.000 % |
4.19/4.23	c ===============================================================================
4.19/4.23	c core #595
4.19/4.23	c Core size: 55	Core Weight: 1	Total Weight: 595
4.19/4.23	c Elapsed CPU time: 4.20236 s	Remaining CPU time: 1795.8 s
4.19/4.24	c Learning 5 hard constraints
4.19/4.24	c ============================[ Search Statistics ]==============================
4.19/4.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.24	c ===============================================================================
4.19/4.24	c |         0 |    3378     7759    19710 |     5000        0    nan |  0.000 % |
4.19/4.24	c ===============================================================================
4.19/4.24	c core #596
4.19/4.24	c Core size: 64	Core Weight: 1	Total Weight: 596
4.19/4.24	c Elapsed CPU time: 4.21436 s	Remaining CPU time: 1795.79 s
4.19/4.25	c Learning 1 hard constraints
4.19/4.25	c ============================[ Search Statistics ]==============================
4.19/4.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.25	c ===============================================================================
4.19/4.25	c |         0 |    3394     7761    19748 |     5000        0    nan |  0.000 % |
4.19/4.25	c ===============================================================================
4.19/4.25	c core #597
4.19/4.25	c Core size: 80	Core Weight: 1	Total Weight: 597
4.19/4.25	c Elapsed CPU time: 4.22736 s	Remaining CPU time: 1795.77 s
4.19/4.26	c Learning 1 hard constraints
4.19/4.26	c ============================[ Search Statistics ]==============================
4.19/4.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.26	c ===============================================================================
4.19/4.26	c |         0 |    3412     7763    19788 |     5000        0    nan |  0.000 % |
4.19/4.27	c ===============================================================================
4.19/4.27	c core #598
4.19/4.27	c Core size: 82	Core Weight: 1	Total Weight: 598
4.19/4.27	c Elapsed CPU time: 4.24036 s	Remaining CPU time: 1795.76 s
4.19/4.28	c Learning 5 hard constraints
4.19/4.28	c ============================[ Search Statistics ]==============================
4.19/4.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.28	c ===============================================================================
4.19/4.28	c |         0 |    3422     7769    19825 |     5000        0    nan |  0.000 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c core #599
4.19/4.28	c Core size: 70	Core Weight: 1	Total Weight: 599
4.19/4.28	c Elapsed CPU time: 4.25235 s	Remaining CPU time: 1795.75 s
4.19/4.29	c ============================[ Search Statistics ]==============================
4.19/4.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.29	c ===============================================================================
4.19/4.29	c |         0 |    3428     7770    19838 |     5000        0    nan |  0.000 % |
4.19/4.29	c ===============================================================================
4.19/4.29	c core #600
4.19/4.29	c Core size: 103	Core Weight: 1	Total Weight: 600
4.19/4.29	c Elapsed CPU time: 4.26535 s	Remaining CPU time: 1795.73 s
4.29/4.30	c Learning 1 hard constraints
4.29/4.30	c ============================[ Search Statistics ]==============================
4.29/4.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.30	c ===============================================================================
4.29/4.30	c |         0 |    3408     7772    19848 |     5000        0    nan |  0.000 % |
4.29/4.30	c ===============================================================================
4.29/4.30	c core #601
4.29/4.30	c Core size: 123	Core Weight: 1	Total Weight: 601
4.29/4.30	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 1795.72 s
4.29/4.32	c Learning 2 hard constraints
4.29/4.32	c ============================[ Search Statistics ]==============================
4.29/4.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.32	c ===============================================================================
4.29/4.32	c |         0 |    3419     7775    19877 |     5000        0    nan |  0.000 % |
4.29/4.32	c ===============================================================================
4.29/4.32	c core #602
4.29/4.32	c Core size: 60	Core Weight: 1	Total Weight: 602
4.29/4.32	c Elapsed CPU time: 4.29135 s	Remaining CPU time: 1795.71 s
4.29/4.33	c ============================[ Search Statistics ]==============================
4.29/4.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.33	c ===============================================================================
4.29/4.33	c |         0 |    3425     7776    19890 |     5000        0    nan |  0.000 % |
4.29/4.33	c ===============================================================================
4.29/4.33	c core #603
4.29/4.33	c Core size: 138	Core Weight: 1	Total Weight: 603
4.29/4.33	c Elapsed CPU time: 4.30434 s	Remaining CPU time: 1795.7 s
4.29/4.34	c Learning 1 hard constraints
4.29/4.34	c ============================[ Search Statistics ]==============================
4.29/4.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.34	c ===============================================================================
4.29/4.34	c |         0 |    3436     7778    19922 |     5000        0    nan |  0.000 % |
4.29/4.34	c ===============================================================================
4.29/4.34	c core #604
4.29/4.34	c Core size: 220	Core Weight: 1	Total Weight: 604
4.29/4.34	c Elapsed CPU time: 4.31834 s	Remaining CPU time: 1795.68 s
4.29/4.36	c Learning 1 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 |    3463     7780    19981 |     5000        0    nan |  0.000 % |
4.29/4.36	c ===============================================================================
4.29/4.36	c core #605
4.29/4.36	c Core size: 291	Core Weight: 1	Total Weight: 605
4.29/4.36	c Elapsed CPU time: 4.33234 s	Remaining CPU time: 1795.67 s
4.29/4.37	c Learning 2 hard constraints
4.29/4.37	c ============================[ Search Statistics ]==============================
4.29/4.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.37	c ===============================================================================
4.29/4.37	c |         0 |    3490     7783    20044 |     5000        0    nan |  0.000 % |
4.29/4.37	c ===============================================================================
4.29/4.37	c core #606
4.29/4.37	c Core size: 381	Core Weight: 1	Total Weight: 606
4.29/4.37	c Elapsed CPU time: 4.34834 s	Remaining CPU time: 1795.65 s
4.29/4.39	c Learning 9 hard constraints
4.29/4.39	c ============================[ Search Statistics ]==============================
4.29/4.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.39	c ===============================================================================
4.29/4.39	c |         0 |    3521     7793    20176 |     5000        0    nan |  0.000 % |
4.29/4.39	c ===============================================================================
4.29/4.40	c core #607
4.29/4.40	c Core size: 543	Core Weight: 1	Total Weight: 607
4.29/4.40	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 1795.63 s
4.40/4.41	c Learning 6 hard constraints
4.40/4.41	c ============================[ Search Statistics ]==============================
4.40/4.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.41	c ===============================================================================
4.40/4.41	c |         0 |    3577     7800    20376 |     5000        0    nan |  0.000 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c core #608
4.40/4.42	c Core size: 834	Core Weight: 1	Total Weight: 608
4.40/4.42	c Elapsed CPU time: 4.38933 s	Remaining CPU time: 1795.61 s
4.40/4.43	c Learning 13 hard constraints
4.40/4.43	c ============================[ Search Statistics ]==============================
4.40/4.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.43	c ===============================================================================
4.40/4.43	c |         0 |    3609     7814    20620 |     5000        0    nan |  0.000 % |
4.40/4.44	c ===============================================================================
4.40/4.44	c core #609
4.40/4.44	c Core size: 428	Core Weight: 1	Total Weight: 609
4.40/4.44	c Elapsed CPU time: 4.40733 s	Remaining CPU time: 1795.59 s
4.40/4.45	c Learning 5 hard constraints
4.40/4.45	c ============================[ Search Statistics ]==============================
4.40/4.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.45	c ===============================================================================
4.40/4.45	c |         0 |    3637     7820    20713 |     5000        0    nan |  0.000 % |
4.40/4.46	c |       101 |    3637     7820    20713 |     5500      101     46 | 13.343 % |
4.40/4.47	c |       251 |    3637     7820    20713 |     6050      251     41 | 13.343 % |
4.40/4.49	c |       478 |    3637     7820    20713 |     6655      478     47 | 13.343 % |
4.49/4.52	c |       816 |    3630     7820    20713 |     7320      815     46 | 15.058 % |
4.49/4.52	c ===============================================================================
4.49/4.52	c core #610
4.49/4.52	c Core size: 846	Core Weight: 1	Total Weight: 610
4.49/4.52	c Elapsed CPU time: 4.49132 s	Remaining CPU time: 1795.51 s
4.49/4.53	c Learning 57 hard constraints
4.49/4.53	c ============================[ Search Statistics ]==============================
4.49/4.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.53	c ===============================================================================
4.49/4.53	c |         0 |    3686     7878    21596 |     5000        0    nan |  0.000 % |
4.49/4.54	c |       100 |    3685     7878    21596 |     5500      100     45 | 13.440 % |
4.49/4.56	c |       251 |    3683     7878    21596 |     6050      251     60 | 13.487 % |
4.49/4.57	c |       476 |    3682     7878    21596 |     6655      474     61 | 13.487 % |
4.59/4.61	c |       813 |    3682     7878    21596 |     7320      811     60 | 13.487 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c core #611
4.59/4.62	c Core size: 486	Core Weight: 1	Total Weight: 611
4.59/4.62	c Elapsed CPU time: 4.5863 s	Remaining CPU time: 1795.41 s
4.59/4.63	c Learning 19 hard constraints
4.59/4.63	c ============================[ Search Statistics ]==============================
4.59/4.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.63	c ===============================================================================
4.59/4.63	c |         0 |    3720     7898    21994 |     5000        0    nan |  0.000 % |
4.59/4.64	c |       101 |    3718     7898    21994 |     5500      101     21 | 13.334 % |
4.59/4.65	c |       252 |    3668     7898    21994 |     6050      243     20 | 14.499 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c core #612
4.59/4.66	c Core size: 968	Core Weight: 1	Total Weight: 612
4.59/4.66	c Elapsed CPU time: 4.6263 s	Remaining CPU time: 1795.37 s
4.59/4.67	c Learning 36 hard constraints
4.59/4.67	c ============================[ Search Statistics ]==============================
4.59/4.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.67	c ===============================================================================
4.59/4.67	c |         0 |    3801     7935    23140 |     5000        0    nan |  0.000 % |
4.59/4.68	c |       100 |    3801     7935    23140 |     5500      100     14 | 13.041 % |
4.59/4.68	c ===============================================================================
4.59/4.68	c core #613
4.59/4.68	c Core size: 136	Core Weight: 1	Total Weight: 613
4.59/4.68	c Elapsed CPU time: 4.64829 s	Remaining CPU time: 1795.35 s
4.59/4.69	c Learning 17 hard constraints
4.59/4.69	c ============================[ Search Statistics ]==============================
4.59/4.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.69	c ===============================================================================
4.59/4.69	c |         0 |    3827     7953    23363 |     5000        0    nan |  0.000 % |
4.69/4.70	c |       100 |    3827     7953    23363 |     5500      100     40 | 13.003 % |
4.69/4.71	c |       252 |    3827     7953    23363 |     6050      252     36 | 13.003 % |
4.69/4.72	c |       478 |    3791     7953    23363 |     6655      470     34 | 13.821 % |
4.69/4.74	c |       817 |    3791     7953    23363 |     7320      809     34 | 13.821 % |
4.69/4.79	c |      1323 |    3791     7953    23363 |     8052     1315     42 | 13.821 % |
4.79/4.80	c ===============================================================================
4.79/4.80	c core #614
4.79/4.80	c Core size: 39	Core Weight: 1	Total Weight: 614
4.79/4.80	c Elapsed CPU time: 4.76727 s	Remaining CPU time: 1795.23 s
4.79/4.82	c Learning 38 hard constraints
4.79/4.82	c ============================[ Search Statistics ]==============================
4.79/4.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.82	c ===============================================================================
4.79/4.82	c |         0 |    3830     7992    24203 |     5000        0    nan |  0.000 % |
4.79/4.83	c |       100 |    3830     7992    24203 |     5500      100     60 | 12.994 % |
4.79/4.84	c |       250 |    3830     7992    24203 |     6050      250     46 | 12.994 % |
4.79/4.85	c |       476 |    3830     7992    24203 |     6655      476     35 | 12.994 % |
4.79/4.88	c |       813 |    3822     7992    24203 |     7320      669     33 | 13.267 % |
4.79/4.88	c ===============================================================================
4.79/4.89	c core #615
4.79/4.89	c Core size: 832	Core Weight: 1	Total Weight: 615
4.79/4.89	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 1795.15 s
4.88/4.90	c Learning 79 hard constraints
4.88/4.90	c ============================[ Search Statistics ]==============================
4.88/4.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.88/4.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.88/4.90	c ===============================================================================
4.88/4.90	c |         0 |    3890     8072    26276 |     5000        0    nan |  0.000 % |
4.88/4.91	c |       100 |    3890     8072    26276 |     5500      100     58 | 12.975 % |
4.88/4.92	c |       252 |    3890     8072    26276 |     6050      252     37 | 12.975 % |
4.88/4.93	c |       479 |    3890     8072    26276 |     6655      479     31 | 12.975 % |
4.88/4.95	c |       816 |    3888     8072    26276 |     7320      700     28 | 13.020 % |
4.88/4.98	c |      1328 |    3850     8072    26276 |     8052     1089     30 | 13.870 % |
4.99/5.01	c ===============================================================================
4.99/5.02	c core #616
4.99/5.02	c Core size: 793	Core Weight: 1	Total Weight: 616
4.99/5.02	c Elapsed CPU time: 4.97724 s	Remaining CPU time: 1795.02 s
4.99/5.03	c Learning 40 hard constraints
4.99/5.03	c ============================[ Search Statistics ]==============================
4.99/5.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.03	c ===============================================================================
4.99/5.03	c |         0 |    3974     8113    27414 |     5000        0    nan |  0.000 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c core #617
4.99/5.04	c Core size: 47	Core Weight: 1	Total Weight: 617
4.99/5.04	c Elapsed CPU time: 4.99724 s	Remaining CPU time: 1795 s
4.99/5.05	c Learning 3 hard constraints
4.99/5.05	c ============================[ Search Statistics ]==============================
4.99/5.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.05	c ===============================================================================
4.99/5.05	c |         0 |    3983     8117    27442 |     5000        0    nan |  0.000 % |
4.99/5.06	c |       101 |    3983     8117    27442 |     5500      101     48 | 12.749 % |
4.99/5.07	c |       251 |    3966     8117    27442 |     6050      251     37 | 13.538 % |
4.99/5.08	c |       476 |    3965     8117    27442 |     6655      476     32 | 13.538 % |
5.09/5.10	c |       813 |    3947     8117    27442 |     7320      806     34 | 13.538 % |
5.09/5.14	c |      1319 |    3947     8117    27442 |     8052     1312     39 | 13.538 % |
5.19/5.20	c |      2079 |    3945     8117    27442 |     8857     2071     41 | 13.582 % |
5.19/5.22	c ===============================================================================
5.19/5.22	c core #618
5.19/5.22	c Core size: 15	Core Weight: 1	Total Weight: 618
5.19/5.22	c Elapsed CPU time: 5.17321 s	Remaining CPU time: 1794.83 s
5.19/5.23	c Learning 22 hard constraints
5.19/5.23	c ============================[ Search Statistics ]==============================
5.19/5.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.19/5.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.19/5.23	c ===============================================================================
5.19/5.23	c |         0 |    3986     8140    28415 |     5000        0    nan |  0.000 % |
5.19/5.24	c |       100 |    3986     8140    28415 |     5500      100     49 | 12.741 % |
5.19/5.25	c |       251 |    3986     8140    28415 |     6050      251     30 | 12.741 % |
5.19/5.27	c |       477 |    3962     8140    28415 |     6655      477     32 | 13.529 % |
5.19/5.29	c |       814 |    3942     8140    28415 |     7320      811     46 | 13.923 % |
5.28/5.33	c |      1322 |    3930     8140    28415 |     8052     1314     41 | 13.967 % |
5.28/5.39	c ===============================================================================
5.40/5.41	c core #619
5.40/5.41	c Core size: 936	Core Weight: 1	Total Weight: 619
5.40/5.41	c Elapsed CPU time: 5.35818 s	Remaining CPU time: 1794.64 s
5.40/5.42	c Learning 67 hard constraints
5.40/5.42	c ============================[ Search Statistics ]==============================
5.40/5.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.40/5.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.40/5.42	c ===============================================================================
5.40/5.42	c |         0 |    4046     8208    30837 |     5000        0    nan |  0.000 % |
5.40/5.43	c |       100 |    4040     8208    30837 |     5500      100     10 | 12.705 % |
5.40/5.44	c |       250 |    4036     8208    30837 |     6050      213     12 | 12.835 % |
5.40/5.45	c ===============================================================================
5.40/5.45	c core #620
5.40/5.45	c Core size: 675	Core Weight: 1	Total Weight: 620
5.40/5.45	c Elapsed CPU time: 5.39618 s	Remaining CPU time: 1794.6 s
5.40/5.46	c Learning 25 hard constraints
5.40/5.46	c ============================[ Search Statistics ]==============================
5.40/5.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.40/5.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.40/5.46	c ===============================================================================
5.40/5.46	c |         0 |    4153     8234    31328 |     5000        0    nan |  0.000 % |
5.40/5.47	c |       100 |    4153     8234    31328 |     5500      100     45 | 12.291 % |
5.40/5.48	c |       250 |    4153     8234    31328 |     6050      250     33 | 12.292 % |
5.40/5.49	c |       475 |    4152     8234    31328 |     6655      475     43 | 12.334 % |
5.49/5.51	c |       812 |    4145     8234    31328 |     7320      811     38 | 12.672 % |
5.49/5.55	c |      1319 |    4141     8234    31328 |     8052     1318     43 | 12.672 % |
5.59/5.62	c |      2078 |    4135     8234    31328 |     8857     2076     45 | 12.672 % |
5.59/5.69	c ===============================================================================
5.59/5.70	c core #621
5.59/5.70	c Core size: 759	Core Weight: 1	Total Weight: 621
5.59/5.70	c Elapsed CPU time: 5.63614 s	Remaining CPU time: 1794.36 s
5.69/5.71	c Learning 45 hard constraints
5.69/5.71	c ============================[ Search Statistics ]==============================
5.69/5.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.69/5.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.69/5.71	c ===============================================================================
5.69/5.71	c |         0 |    4282     8280    32542 |     5000        0    nan |  0.000 % |
5.69/5.72	c |       102 |    4279     8280    32542 |     5500      102     25 | 12.125 % |
5.69/5.73	c |       254 |    4271     8280    32542 |     6050      254     21 | 12.413 % |
5.69/5.75	c |       482 |    4262     8280    32542 |     6655      477     22 | 12.413 % |
5.69/5.76	c |       819 |    4256     8280    32542 |     7320      814     23 | 13.173 % |
5.79/5.80	c |      1326 |    4225     8280    32542 |     8052     1320     30 | 13.173 % |
5.79/5.86	c |      2085 |    4223     8280    32542 |     8857     2078     26 | 13.214 % |
5.89/5.95	c |      3225 |    4205     8280    32542 |     9743     3207     23 | 13.625 % |
5.89/5.96	c ===============================================================================
5.89/5.98	c core #622
5.89/5.98	c Core size: 1152	Core Weight: 1	Total Weight: 622
5.89/5.98	c Elapsed CPU time: 5.9061 s	Remaining CPU time: 1794.09 s
5.89/5.99	c Learning 176 hard constraints
5.89/5.99	c ============================[ Search Statistics ]==============================
5.89/5.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.99	c ===============================================================================
5.89/5.99	c |         0 |    4466     8457    34712 |     5000        0    nan |  0.000 % |
5.99/6.00	c |       100 |    4465     8457    34712 |     5500      100     20 | 11.604 % |
5.99/6.01	c |       252 |    4462     8457    34712 |     6050      250     15 | 11.644 % |
5.99/6.03	c |       481 |    4462     8457    34712 |     6655      479     19 | 11.644 % |
5.99/6.06	c |       819 |    4460     8457    34712 |     7320      683     17 | 11.683 % |
6.09/6.10	c ===============================================================================
6.09/6.11	c core #623
6.09/6.11	c Core size: 893	Core Weight: 1	Total Weight: 623
6.09/6.11	c Elapsed CPU time: 6.03508 s	Remaining CPU time: 1793.96 s
6.09/6.12	c Learning 66 hard constraints
6.09/6.12	c ============================[ Search Statistics ]==============================
6.09/6.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.12	c ===============================================================================
6.09/6.12	c |         0 |    4566     8524    35382 |     5000        0    nan |  0.000 % |
6.09/6.14	c |       103 |    4566     8524    35382 |     5500      103     34 | 11.340 % |
6.09/6.14	c |       254 |    4566     8524    35382 |     6050      254     25 | 11.340 % |
6.09/6.16	c |       479 |    4566     8524    35382 |     6655      479     27 | 11.340 % |
6.09/6.18	c |       819 |    4566     8524    35382 |     7320      819     33 | 11.340 % |
6.18/6.22	c |      1325 |    4562     8524    35382 |     8052     1324     29 | 11.417 % |
6.18/6.25	c ===============================================================================
6.18/6.25	c core #624
6.18/6.25	c Core size: 1224	Core Weight: 1	Total Weight: 624
6.18/6.25	c Elapsed CPU time: 6.17406 s	Remaining CPU time: 1793.83 s
6.18/6.27	c Learning 109 hard constraints
6.18/6.27	c ============================[ Search Statistics ]==============================
6.18/6.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.18/6.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.18/6.27	c ===============================================================================
6.18/6.27	c |         0 |    4630     8634    38616 |     5000        0    nan |  0.000 % |
6.18/6.28	c ===============================================================================
6.18/6.28	c core #625
6.18/6.28	c Core size: 173	Core Weight: 1	Total Weight: 625
6.18/6.28	c Elapsed CPU time: 6.19806 s	Remaining CPU time: 1793.8 s
6.18/6.29	c Learning 2 hard constraints
6.18/6.29	c ============================[ Search Statistics ]==============================
6.18/6.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.18/6.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.18/6.29	c ===============================================================================
6.18/6.29	c |         0 |    4634     8637    38664 |     5000        0    nan |  0.000 % |
6.29/6.31	c |       100 |    4633     8637    38664 |     5500      100     62 | 11.298 % |
6.29/6.32	c |       250 |    4633     8637    38664 |     6050      250     46 | 11.298 % |
6.29/6.34	c |       476 |    4602     8637    38664 |     6655      472     48 | 11.911 % |
6.29/6.36	c ===============================================================================
6.29/6.36	c core #626
6.29/6.36	c Core size: 623	Core Weight: 1	Total Weight: 626
6.29/6.36	c Elapsed CPU time: 6.28104 s	Remaining CPU time: 1793.72 s
6.29/6.38	c Learning 245 hard constraints
6.29/6.38	c ============================[ Search Statistics ]==============================
6.29/6.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.38	c ===============================================================================
6.29/6.38	c |         0 |    4640     8883    49938 |     5000        0    nan |  0.000 % |
6.29/6.39	c |       100 |    4639     8883    49938 |     5500      100     18 | 11.285 % |
6.39/6.40	c |       251 |    4637     8883    49938 |     6050      251     14 | 11.324 % |
6.39/6.42	c |       476 |    4636     8883    49938 |     6655      476     17 | 11.324 % |
6.39/6.45	c |       814 |    4636     8883    49938 |     7320      812     19 | 11.324 % |
6.39/6.49	c |      1321 |    4624     8883    49938 |     8052     1318     19 | 11.707 % |
6.49/6.57	c |      2080 |    4560     8883    49938 |     8857     1662     20 | 13.447 % |
6.49/6.57	c ===============================================================================
6.49/6.59	c core #627
6.49/6.59	c Core size: 1094	Core Weight: 1	Total Weight: 627
6.49/6.59	c Elapsed CPU time: 6.50101 s	Remaining CPU time: 1793.5 s
6.59/6.61	c Learning 123 hard constraints
6.59/6.61	c ============================[ Search Statistics ]==============================
6.59/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.59/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.59/6.61	c ===============================================================================
6.59/6.61	c |         0 |    4807     9007    51369 |     5000        0    nan |  0.000 % |
6.59/6.62	c |       100 |    4806     9007    51369 |     5500      100     33 | 10.936 % |
6.59/6.63	c |       251 |    4786     9007    51369 |     6050      251     31 | 11.307 % |
6.59/6.64	c |       476 |    4786     9007    51369 |     6655      476     31 | 11.307 % |
6.59/6.67	c |       813 |    4782     9007    51369 |     7320      802     38 | 11.566 % |
6.69/6.70	c |      1319 |    4769     9007    51369 |     8052     1306     42 | 11.603 % |
6.69/6.77	c |      2082 |    4763     9007    51369 |     8857     2069     44 | 11.715 % |
6.79/6.85	c |      3221 |    4761     9007    51369 |     9743     3208     41 | 11.752 % |
6.88/6.92	c ===============================================================================
6.88/6.95	c core #628
6.88/6.95	c Core size: 981	Core Weight: 1	Total Weight: 628
6.88/6.95	c Elapsed CPU time: 6.84596 s	Remaining CPU time: 1793.15 s
6.88/6.97	c Learning 111 hard constraints
6.88/6.97	c ============================[ Search Statistics ]==============================
6.88/6.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.88/6.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.88/6.97	c ===============================================================================
6.88/6.97	c |         0 |    4884     9119    56745 |     5000        0    nan |  0.000 % |
6.88/6.98	c |       100 |    4884     9119    56745 |     5500      100     66 | 10.746 % |
6.88/6.99	c |       252 |    4884     9119    56745 |     6050      252     45 | 10.746 % |
6.98/7.00	c |       477 |    4884     9119    56745 |     6655      477     36 | 10.746 % |
6.98/7.02	c |       814 |    4882     9119    56745 |     7320      814     41 | 10.892 % |
6.98/7.05	c |      1320 |    4876     9119    56745 |     8052     1319     37 | 10.892 % |
7.09/7.11	c |      2080 |    4840     9119    56745 |     8857     2079     35 | 12.153 % |
7.19/7.22	c |      3224 |    4807     9119    56745 |     9743     3208     44 | 12.153 % |
7.38/7.43	c |      4933 |    4797     9119    56745 |    10717     4917     57 | 12.518 % |
7.79/7.84	c |      7498 |    4785     9119    56745 |    11789     7477     61 | 12.555 % |
8.59/8.68	c |     11346 |    4784     9119    56745 |    12968    11325     69 | 12.591 % |
9.59/9.63	c |     17114 |    4764     9119    56745 |    14265    10100     67 | 13.030 % |
11.38/11.43	c |     25765 |    4732     9119    56745 |    15692    10748     59 | 13.523 % |
12.39/12.48	c ===============================================================================
12.58/12.67	c core #629
12.58/12.67	c Core size: 1123	Core Weight: 1	Total Weight: 629
12.58/12.67	c Elapsed CPU time: 12.4951 s	Remaining CPU time: 1787.5 s
12.68/12.72	c Learning 50 hard constraints
12.68/12.72	c ============================[ Search Statistics ]==============================
12.68/12.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.68/12.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.68/12.72	c ===============================================================================
12.68/12.72	c |         0 |    4980     9170    59878 |     5000        0    nan |  0.000 % |
12.68/12.74	c |       102 |    4933     9170    59878 |     5500      102     27 | 11.530 % |
12.68/12.75	c |       253 |    4929     9170    59878 |     6050      253     36 | 11.566 % |
12.68/12.77	c ===============================================================================
12.68/12.78	c core #630
12.68/12.78	c Core size: 1168	Core Weight: 1	Total Weight: 630
12.68/12.78	c Elapsed CPU time: 12.5981 s	Remaining CPU time: 1787.4 s
12.78/12.80	c Learning 200 hard constraints
12.78/12.80	c ============================[ Search Statistics ]==============================
12.78/12.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.78/12.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.78/12.80	c ===============================================================================
12.78/12.80	c |         0 |    4970     9371    70656 |     5000        0    nan |  0.000 % |
12.78/12.81	c |       101 |    4969     9371    70656 |     5500      101     42 | 11.507 % |
12.78/12.83	c |       251 |    4966     9371    70656 |     6050      251     32 | 11.543 % |
12.78/12.85	c |       476 |    4966     9371    70656 |     6655      476     38 | 11.543 % |
12.78/12.89	c |       814 |    4966     9371    70656 |     7320      811     42 | 11.543 % |
12.89/12.92	c ===============================================================================
12.89/12.93	c core #631
12.89/12.93	c Core size: 1567	Core Weight: 1	Total Weight: 631
12.89/12.93	c Elapsed CPU time: 12.7481 s	Remaining CPU time: 1787.25 s
12.89/12.96	c Learning 283 hard constraints
12.89/12.96	c ============================[ Search Statistics ]==============================
12.89/12.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.89/12.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.89/12.96	c ===============================================================================
12.89/12.96	c |         0 |    5059     9655    89126 |     5000        0    nan |  0.000 % |
12.89/12.98	c |       102 |    5059     9655    89126 |     5500      102     57 | 11.292 % |
12.89/12.99	c |       252 |    5059     9655    89126 |     6050      252     40 | 11.292 % |
12.99/13.00	c |       479 |    5059     9655    89126 |     6655      479     32 | 11.292 % |
12.99/13.03	c |       817 |    5059     9655    89126 |     7320      817     32 | 11.292 % |
12.99/13.07	c |      1328 |    5059     9655    89126 |     8052     1328     38 | 11.292 % |
13.09/13.14	c |      2087 |    5057     9655    89126 |     8857     2086     35 | 11.327 % |
13.19/13.25	c |      3226 |    5057     9655    89126 |     9743     3225     37 | 11.327 % |
13.39/13.46	c |      4938 |    5055     9655    89126 |    10717     4875     38 | 11.362 % |
13.79/13.86	c |      7500 |    5047     9655    89126 |    11789     7078     38 | 11.503 % |
14.19/14.21	c ===============================================================================
14.19/14.30	c core #632
14.19/14.30	c Core size: 1875	Core Weight: 1	Total Weight: 632
14.19/14.30	c Elapsed CPU time: 14.0879 s	Remaining CPU time: 1785.91 s
14.29/14.34	c Learning 647 hard constraints
14.29/14.34	c ============================[ Search Statistics ]==============================
14.29/14.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.29/14.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.29/14.34	c ===============================================================================
14.29/14.34	c |         0 |    5182    10303   132587 |     5000        0    nan |  0.000 % |
14.29/14.36	c |       100 |    5182    10303   132587 |     5500      100     59 | 11.084 % |
14.29/14.37	c |       252 |    5182    10303   132587 |     6050      252     37 | 11.084 % |
14.29/14.39	c |       478 |    5180    10303   132587 |     6655      478     30 | 11.119 % |
14.39/14.41	c |       815 |    5180    10303   132587 |     7320      815     29 | 11.119 % |
14.39/14.45	c |      1321 |    5180    10303   132587 |     8052     1320     28 | 11.119 % |
14.48/14.51	c |      2082 |    5180    10303   132587 |     8857     2081     29 | 11.119 % |
14.58/14.61	c |      3221 |    5180    10303   132587 |     9743     3220     29 | 11.119 % |
14.79/14.83	c |      4929 |    5180    10303   132587 |    10717     4928     46 | 11.119 % |
15.08/15.15	c |      7492 |    5180    10303   132587 |    11789     7491     45 | 11.119 % |
15.98/16.01	c |     11336 |    5180    10303   132587 |    12968    11335     53 | 11.119 % |
16.88/16.96	c |     17103 |    5180    10303   132587 |    14265    10182     53 | 11.119 % |
18.38/18.43	c |     25753 |    5168    10303   132587 |    15692    11206     46 | 11.393 % |
20.98/21.01	c |     38727 |    5121    10303   132587 |    17261    14684     47 | 12.251 % |
21.89/21.91	c ===============================================================================
22.08/22.20	c core #633
22.08/22.20	c Core size: 2295	Core Weight: 1	Total Weight: 633
22.08/22.20	c Elapsed CPU time: 21.8597 s	Remaining CPU time: 1778.14 s
22.18/22.28	c Learning 541 hard constraints
22.18/22.28	c ============================[ Search Statistics ]==============================
22.18/22.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.18/22.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.18/22.28	c ===============================================================================
22.18/22.28	c |         0 |    5307    10845   176539 |     5000        0    nan |  0.000 % |
22.28/22.31	c |       100 |    5306    10845   176539 |     5500      100     66 | 10.919 % |
22.28/22.32	c |       250 |    5305    10845   176539 |     6050      250     83 | 10.953 % |
22.28/22.36	c |       475 |    5304    10845   176539 |     6655      475    103 | 10.986 % |
22.38/22.43	c |       816 |    5292    10845   176539 |     7320      816    116 | 11.356 % |
22.48/22.56	c |      1322 |    5278    10845   176539 |     8052     1322    126 | 11.860 % |
22.68/22.75	c |      2082 |    5233    10845   176539 |     8857     2061    138 | 13.035 % |
22.68/22.77	c ===============================================================================
22.79/22.81	c core #634
22.79/22.81	c Core size: 2890	Core Weight: 1	Total Weight: 634
22.79/22.81	c Elapsed CPU time: 22.4646 s	Remaining CPU time: 1777.54 s
22.79/22.86	c Learning 1094 hard constraints
22.79/22.86	c ============================[ Search Statistics ]==============================
22.79/22.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.79/22.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.79/22.86	c ===============================================================================
22.79/22.86	c |         0 |    5328    11940   260303 |     5000        0    nan |  0.000 % |
22.79/22.89	c |       100 |    5326    11940   260303 |     5500      100     77 | 10.847 % |
22.88/22.91	c |       255 |    5326    11940   260303 |     6050      255     47 | 10.847 % |
22.88/22.93	c |       480 |    5326    11940   260303 |     6655      480     42 | 10.847 % |
22.88/22.95	c |       817 |    5326    11940   260303 |     7320      817     40 | 10.847 % |
22.88/23.00	c |      1324 |    5326    11940   260303 |     8052     1324     38 | 10.847 % |
22.98/23.07	c |      2084 |    5326    11940   260303 |     8857     2084     38 | 10.847 % |
23.09/23.20	c |      3223 |    5326    11940   260303 |     9743     3221     45 | 10.847 % |
23.38/23.41	c |      4932 |    5326    11940   260303 |    10717     4930     52 | 10.847 % |
23.98/24.05	c |      7494 |    5310    11940   260303 |    11789     7491     72 | 11.165 % |
24.58/24.64	c ===============================================================================
24.68/24.73	c core #635
24.68/24.73	c Core size: 3151	Core Weight: 1	Total Weight: 635
24.68/24.73	c Elapsed CPU time: 24.3523 s	Remaining CPU time: 1775.65 s
24.78/24.80	c Learning 72 hard constraints
24.78/24.80	c ============================[ Search Statistics ]==============================
24.78/24.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.78/24.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
24.78/24.80	c ===============================================================================
24.78/24.80	c |         0 |    5370    12013   262379 |     5000        0    nan |  0.000 % |
24.78/24.83	c |       102 |    5367    12013   262379 |     5500      102     99 | 10.838 % |
24.78/24.86	c |       254 |    5365    12013   262379 |     6050      254    128 | 10.871 % |
24.88/24.92	c |       479 |    5365    12013   262379 |     6655      479    140 | 10.871 % |
24.88/24.99	c |       817 |    5362    12013   262379 |     7320      817    135 | 10.871 % |
25.08/25.12	c |      1325 |    5358    12013   262379 |     8052     1325    132 | 11.004 % |
25.29/25.35	c |      2084 |    5320    12013   262379 |     8857      983    102 | 11.569 % |
25.29/25.37	c ===============================================================================
25.38/25.41	c core #636
25.38/25.41	c Core size: 3166	Core Weight: 1	Total Weight: 636
25.38/25.41	c Elapsed CPU time: 25.0262 s	Remaining CPU time: 1774.97 s
25.38/25.48	c Learning 845 hard constraints
25.38/25.48	c ============================[ Search Statistics ]==============================
25.38/25.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.38/25.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.38/25.48	c ===============================================================================
25.38/25.48	c |         0 |    5394    12859   348026 |     5000        0    nan |  0.000 % |
25.48/25.50	c |       100 |    5394    12859   348026 |     5500      100     61 | 10.695 % |
25.48/25.51	c |       250 |    5394    12859   348026 |     6050      250     50 | 10.695 % |
25.48/25.53	c |       475 |    5394    12859   348026 |     6655      475     35 | 10.695 % |
25.48/25.56	c |       813 |    5393    12859   348026 |     7320      813     29 | 10.729 % |
25.58/25.61	c |      1320 |    5390    12859   348026 |     8052     1320     29 | 10.762 % |
25.78/25.85	c |      2079 |    5356    12859   348026 |     8857     2079     74 | 12.020 % |
25.88/25.90	c ===============================================================================
25.88/25.92	c core #637
25.88/25.92	c Core size: 2903	Core Weight: 1	Total Weight: 637
25.88/25.92	c Elapsed CPU time: 25.5311 s	Remaining CPU time: 1774.47 s
25.88/25.99	c Learning 288 hard constraints
25.88/25.99	c ============================[ Search Statistics ]==============================
25.88/25.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.88/25.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.88/25.99	c ===============================================================================
25.88/25.99	c |         0 |    5425    13148   368171 |     5000        0    nan |  0.000 % |
25.98/26.04	c |       100 |    5421    13148   368171 |     5500      100    143 | 10.773 % |
25.98/26.09	c |       250 |    5420    13148   368171 |     6050      250    157 | 10.806 % |
26.08/26.14	c |       476 |    5410    13148   368171 |     6655      476    142 | 10.970 % |
26.18/26.24	c ===============================================================================
26.18/26.26	c core #638
26.18/26.26	c Core size: 2755	Core Weight: 1	Total Weight: 638
26.18/26.26	c Elapsed CPU time: 25.8631 s	Remaining CPU time: 1774.14 s
26.28/26.34	c Learning 598 hard constraints
26.28/26.34	c ============================[ Search Statistics ]==============================
26.28/26.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.28/26.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.28/26.34	c ===============================================================================
26.28/26.34	c |         0 |    5414    13747   457264 |     5000        0    nan |  0.000 % |
26.28/26.35	c |       100 |    5414    13747   457264 |     5500      100     25 | 10.954 % |
26.28/26.40	c |       251 |    5395    13747   457264 |     6050      251     84 | 11.678 % |
26.39/26.44	c ===============================================================================
26.39/26.44	c core #639
26.39/26.44	c Core size: 1987	Core Weight: 1	Total Weight: 639
26.39/26.44	c Elapsed CPU time: 26.043 s	Remaining CPU time: 1773.96 s
26.48/26.52	c Learning 158 hard constraints
26.48/26.52	c ============================[ Search Statistics ]==============================
26.48/26.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.48/26.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.48/26.52	c ===============================================================================
26.48/26.52	c |         0 |    5410    13906   483811 |     5000        0    nan |  0.000 % |
26.48/26.56	c |       103 |    5403    13906   483811 |     5500      103     78 | 11.446 % |
26.58/26.60	c ===============================================================================
26.58/26.60	c core #640
26.58/26.60	c Core size: 1944	Core Weight: 1	Total Weight: 640
26.58/26.60	c Elapsed CPU time: 26.2 s	Remaining CPU time: 1773.8 s
26.58/26.68	c Learning 107 hard constraints
26.58/26.68	c ============================[ Search Statistics ]==============================
26.58/26.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.58/26.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.58/26.68	c ===============================================================================
26.58/26.68	c |         0 |    5413    14014   501040 |     5000        0    nan |  0.000 % |
26.68/26.72	c |       103 |    5404    14014   501040 |     5500      103    103 | 11.586 % |
26.68/26.74	c |       261 |    5144    14014   501040 |     6050      261     83 | 18.770 % |
26.68/26.76	c |       488 |    4918    14014   501040 |     6655      488     77 | 26.166 % |
26.78/26.80	c |       834 |    4918    14014   501040 |     7320      834     77 | 26.166 % |
26.78/26.86	c |      1341 |    4918    14014   501040 |     8052     1341     74 | 26.231 % |
26.88/26.98	c |      2105 |    4918    14014   501040 |     8857     2105     74 | 26.231 % |
27.18/27.21	c |      3247 |    4908    14014   501040 |     9743     3247     72 | 26.362 % |
27.49/27.57	c |      4959 |    4896    14014   501040 |    10717     4959     71 | 26.624 % |
28.08/28.16	c |      7524 |    4895    14014   501040 |    11789     7524     73 | 26.640 % |
28.38/28.41	c ===============================================================================
28.38/28.49	c core #641
28.38/28.49	c Core size: 1644	Core Weight: 1	Total Weight: 641
28.38/28.49	c Elapsed CPU time: 28.0677 s	Remaining CPU time: 1771.93 s
28.48/28.59	c ============================[ Search Statistics ]==============================
28.48/28.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.48/28.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.48/28.59	c ===============================================================================
28.48/28.59	c |         0 |    5443    14015   501100 |     5000        0    nan |  0.000 % |
28.59/28.62	c |       101 |    5441    14015   501100 |     5500      101     75 | 11.399 % |
28.59/28.66	c |       253 |    5423    14015   501100 |     6050      253     97 | 11.822 % |
28.59/28.69	c ===============================================================================
28.59/28.69	c core #642
28.59/28.69	c Core size: 2068	Core Weight: 1	Total Weight: 642
28.59/28.69	c Elapsed CPU time: 28.2627 s	Remaining CPU time: 1771.74 s
28.68/28.78	c Learning 189 hard constraints
28.68/28.78	c ============================[ Search Statistics ]==============================
28.68/28.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.68/28.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.68/28.78	c ===============================================================================
28.68/28.78	c |         0 |    4980    14205   527864 |     5000        0    nan |  0.000 % |
28.68/28.79	c ===============================================================================
28.68/28.79	c core #643
28.68/28.79	c Core size: 689	Core Weight: 1	Total Weight: 643
28.68/28.79	c Elapsed CPU time: 28.3617 s	Remaining CPU time: 1771.64 s
28.78/28.88	c Learning 1 hard constraints
28.78/28.88	c ============================[ Search Statistics ]==============================
28.78/28.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.78/28.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.78/28.88	c ===============================================================================
28.78/28.88	c |         0 |    4953    14207   527878 |     5000        0    nan |  0.000 % |
28.78/28.89	c |       100 |    4921    14207   527878 |     5500      100     19 | 25.949 % |
28.88/28.91	c ===============================================================================
28.88/28.91	c core #644
28.88/28.91	c Core size: 925	Core Weight: 1	Total Weight: 644
28.88/28.91	c Elapsed CPU time: 28.4817 s	Remaining CPU time: 1771.52 s
28.98/29.00	c Learning 1 hard constraints
28.98/29.00	c ============================[ Search Statistics ]==============================
28.98/29.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.98/29.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.98/29.00	c ===============================================================================
28.98/29.00	c |         0 |    4579    14209   527910 |     5000        0    nan |  0.000 % |
28.98/29.01	c |       103 |    4579    14209   527910 |     5500      103     22 | 25.882 % |
28.98/29.02	c |       255 |    4579    14209   527910 |     6050      255     24 | 25.882 % |
28.98/29.04	c |       481 |    4579    14209   527910 |     6655      481     25 | 25.882 % |
28.98/29.07	c |       818 |    4579    14209   527910 |     7320      818     26 | 25.882 % |
29.08/29.11	c ===============================================================================
29.08/29.12	c core #645
29.08/29.12	c Core size: 826	Core Weight: 1	Total Weight: 645
29.08/29.12	c Elapsed CPU time: 28.6846 s	Remaining CPU time: 1771.32 s
29.18/29.21	c ============================[ Search Statistics ]==============================
29.18/29.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.18/29.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.18/29.21	c ===============================================================================
29.18/29.21	c |         0 |    4590    14210   527932 |     5000        0    nan |  0.000 % |
29.18/29.22	c |       102 |    4590    14210   527932 |     5500      102     27 | 25.836 % |
29.18/29.23	c |       252 |    4590    14210   527932 |     6050      252     30 | 25.836 % |
29.18/29.24	c |       478 |    4590    14210   527932 |     6655      478     34 | 25.836 % |
29.18/29.28	c |       820 |    4590    14210   527932 |     7320      820     36 | 25.836 % |
29.27/29.33	c |      1327 |    4590    14210   527932 |     8052     1327     37 | 25.836 % |
29.38/29.45	c |      2086 |    4590    14210   527932 |     8857     2086     37 | 25.836 % |
29.58/29.64	c |      3226 |    4590    14210   527932 |     9743     3226     37 | 25.836 % |
29.58/29.67	c ===============================================================================
29.68/29.70	c core #646
29.68/29.70	c Core size: 913	Core Weight: 1	Total Weight: 646
29.68/29.70	c Elapsed CPU time: 29.2616 s	Remaining CPU time: 1770.74 s
29.68/29.79	c ============================[ Search Statistics ]==============================
29.68/29.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.68/29.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.68/29.79	c ===============================================================================
29.68/29.79	c |         0 |    4606    14211   527964 |     5000        0    nan |  0.000 % |
29.78/29.81	c |       101 |    4605    14211   527964 |     5500      101     17 | 25.786 % |
29.78/29.82	c |       252 |    4605    14211   527964 |     6050      252     33 | 25.786 % |
29.78/29.84	c |       477 |    4605    14211   527964 |     6655      477     37 | 25.786 % |
29.78/29.86	c |       816 |    4605    14211   527964 |     7320      816     45 | 25.786 % |
29.88/29.91	c ===============================================================================
29.88/29.92	c core #647
29.88/29.92	c Core size: 828	Core Weight: 1	Total Weight: 647
29.88/29.92	c Elapsed CPU time: 29.4695 s	Remaining CPU time: 1770.53 s
29.98/30.01	c ============================[ Search Statistics ]==============================
29.98/30.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.98/30.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.98/30.01	c ===============================================================================
29.98/30.01	c |         0 |    4636    14212   528024 |     5000        0    nan |  0.000 % |
29.98/30.02	c |       100 |    4635    14212   528024 |     5500      100     33 | 25.710 % |
29.98/30.03	c ===============================================================================
29.98/30.03	c core #648
29.98/30.03	c Core size: 594	Core Weight: 1	Total Weight: 648
29.98/30.03	c Elapsed CPU time: 29.5765 s	Remaining CPU time: 1770.42 s
30.08/30.12	c ============================[ Search Statistics ]==============================
30.08/30.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.08/30.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.08/30.12	c ===============================================================================
30.08/30.12	c |         0 |    4643    14213   528038 |     5000        0    nan |  0.000 % |
30.08/30.13	c |       101 |    4643    14213   528038 |     5500      101     32 | 25.617 % |
30.08/30.14	c |       252 |    4641    14213   528038 |     6050      252     25 | 25.649 % |
30.08/30.16	c ===============================================================================
30.08/30.16	c core #649
30.08/30.16	c Core size: 893	Core Weight: 1	Total Weight: 649
30.08/30.16	c Elapsed CPU time: 29.7055 s	Remaining CPU time: 1770.29 s
30.18/30.25	c ============================[ Search Statistics ]==============================
30.18/30.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.18/30.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.18/30.25	c ===============================================================================
30.18/30.25	c |         0 |    4660    14214   528072 |     5000        0    nan |  0.000 % |
30.18/30.26	c |       102 |    4659    14214   528072 |     5500      102     32 | 25.611 % |
30.18/30.28	c |       254 |    4657    14214   528072 |     6050      254     25 | 25.643 % |
30.28/30.31	c ===============================================================================
30.28/30.32	c core #650
30.28/30.32	c Core size: 948	Core Weight: 1	Total Weight: 650
30.28/30.32	c Elapsed CPU time: 29.8595 s	Remaining CPU time: 1770.14 s
30.38/30.40	c ============================[ Search Statistics ]==============================
30.38/30.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.38/30.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.38/30.40	c ===============================================================================
30.38/30.40	c |         0 |    4685    14215   528122 |     5000        0    nan |  0.000 % |
30.38/30.42	c |       102 |    4684    14215   528122 |     5500      102     28 | 25.509 % |
30.38/30.43	c |       252 |    4683    14215   528122 |     6050      252     30 | 25.525 % |
30.38/30.44	c |       478 |    4682    14215   528122 |     6655      478     36 | 25.541 % |
30.38/30.48	c |       817 |    4668    14215   528122 |     7320      817     40 | 25.764 % |
30.48/30.53	c |      1324 |    4661    14215   528122 |     8052     1324     42 | 25.875 % |
30.58/30.62	c ===============================================================================
30.58/30.63	c core #651
30.58/30.63	c Core size: 887	Core Weight: 1	Total Weight: 651
30.58/30.63	c Elapsed CPU time: 30.1764 s	Remaining CPU time: 1769.82 s
30.69/30.73	c ============================[ Search Statistics ]==============================
30.69/30.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.69/30.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.69/30.73	c ===============================================================================
30.69/30.73	c |         0 |    4704    14216   528160 |     5000        0    nan |  0.000 % |
30.69/30.74	c |       106 |    4703    14216   528160 |     5500      106     36 | 25.432 % |
30.69/30.75	c |       257 |    4703    14216   528160 |     6050      257     31 | 25.432 % |
30.69/30.76	c |       483 |    4703    14216   528160 |     6655      483     29 | 25.432 % |
30.69/30.79	c |       823 |    4687    14216   528160 |     7320      823     30 | 28.463 % |
30.78/30.80	c ===============================================================================
30.78/30.81	c core #652
30.78/30.81	c Core size: 894	Core Weight: 1	Total Weight: 652
30.78/30.81	c Elapsed CPU time: 30.3434 s	Remaining CPU time: 1769.66 s
30.78/30.90	c ============================[ Search Statistics ]==============================
30.78/30.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.78/30.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.78/30.90	c ===============================================================================
30.78/30.90	c |         0 |    4721    14217   528194 |     5000        0    nan |  0.000 % |
30.88/30.91	c |       101 |    4721    14217   528194 |     5500      101     37 | 25.301 % |
30.88/30.92	c ===============================================================================
30.88/30.92	c core #653
30.88/30.92	c Core size: 588	Core Weight: 1	Total Weight: 653
30.88/30.92	c Elapsed CPU time: 30.4534 s	Remaining CPU time: 1769.55 s
30.98/31.00	c ============================[ Search Statistics ]==============================
30.98/31.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.98/31.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.98/31.00	c ===============================================================================
30.98/31.00	c |         0 |    4726    14218   528204 |     5000        0    nan |  0.000 % |
30.98/31.02	c |       101 |    4726    14218   528204 |     5500      101     37 | 25.281 % |
30.98/31.03	c |       253 |    4726    14218   528204 |     6050      253     35 | 25.281 % |
30.98/31.05	c |       478 |    4726    14218   528204 |     6655      478     49 | 25.281 % |
30.98/31.08	c |       818 |    4724    14218   528204 |     7320      818     48 | 25.312 % |
31.08/31.14	c |      1324 |    4724    14218   528204 |     8052     1324     62 | 25.312 % |
31.18/31.28	c |      2083 |    4724    14218   528204 |     8857     2083     75 | 25.312 % |
31.58/31.63	c |      3225 |    4724    14218   528204 |     9743     3225     84 | 25.375 % |
32.08/32.13	c |      4933 |    4724    14218   528204 |    10717     4933     89 | 25.375 % |
32.48/32.51	c |      7497 |    4723    14218   528204 |    11789     7497     80 | 25.375 % |
33.37/33.49	c |     11342 |    4716    14218   528204 |    12968    11338     86 | 25.439 % |
35.08/35.12	c |     17112 |    4715    14218   528204 |    14265     9725     93 | 25.502 % |
36.28/36.38	c ===============================================================================
36.37/36.42	c core #654
36.37/36.42	c Core size: 912	Core Weight: 1	Total Weight: 654
36.37/36.42	c Elapsed CPU time: 35.8905 s	Remaining CPU time: 1764.11 s
36.48/36.54	c ============================[ Search Statistics ]==============================
36.48/36.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.48/36.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.48/36.54	c ===============================================================================
36.48/36.54	c |         0 |    4750    14219   528252 |     5000        0    nan |  0.000 % |
36.48/36.55	c |       100 |    4750    14219   528252 |     5500      100     41 | 25.185 % |
36.48/36.56	c |       252 |    4750    14219   528252 |     6050      252     30 | 25.185 % |
36.48/36.58	c |       477 |    4750    14219   528252 |     6655      477     31 | 25.185 % |
36.58/36.61	c |       815 |    4750    14219   528252 |     7320      815     33 | 25.185 % |
36.58/36.67	c |      1321 |    4750    14219   528252 |     8052     1321     36 | 25.185 % |
36.77/36.81	c ===============================================================================
36.77/36.83	c core #655
36.77/36.83	c Core size: 992	Core Weight: 1	Total Weight: 655
36.77/36.83	c Elapsed CPU time: 36.2785 s	Remaining CPU time: 1763.72 s
36.87/36.91	c ============================[ Search Statistics ]==============================
36.87/36.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.87/36.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
36.87/36.91	c ===============================================================================
36.87/36.91	c |         0 |    4771    14220   528294 |     5000        0    nan |  0.000 % |
36.87/36.92	c |       101 |    4771    14220   528294 |     5500      101     45 | 25.102 % |
36.87/36.94	c |       252 |    4769    14220   528294 |     6050      252     37 | 25.133 % |
36.87/36.95	c |       478 |    4769    14220   528294 |     6655      478     44 | 25.133 % |
36.87/36.97	c |       815 |    4769    14220   528294 |     7320      815     47 | 25.133 % |
36.98/37.01	c |      1322 |    4769    14220   528294 |     8052     1322     51 | 25.133 % |
36.98/37.09	c |      2082 |    4769    14220   528294 |     8857     2082     51 | 25.133 % |
37.17/37.24	c |      3223 |    4769    14220   528294 |     9743     3223     64 | 25.133 % |
37.38/37.49	c |      4934 |    4769    14220   528294 |    10717     4934     67 | 25.133 % |
37.87/37.97	c |      7498 |    4768    14220   528294 |    11789     7498     72 | 25.181 % |
38.77/38.88	c |     11342 |    4766    14220   528294 |    12968    11339     79 | 25.181 % |
40.47/40.51	c |     17109 |    4766    14220   528294 |    14265     9707     84 | 25.181 % |
44.87/44.99	c |     25759 |    4762    14220   528294 |    15692    10343     86 | 25.243 % |
50.97/51.03	c |     38733 |    4762    14220   528294 |    17261    14405     78 | 25.306 % |
59.77/59.83	c |     58197 |    4754    14220   528294 |    18987    14769     82 | 25.369 % |
74.76/74.80	c |     87389 |    4751    14220   528294 |    20886    12704     91 | 25.573 % |
109.75/109.81	c |    131178 |    4738    14220   528294 |    22974    22460     96 | 25.620 % |
128.94/129.00	c ===============================================================================
130.24/130.37	c core #656
130.24/130.37	c Core size: 872	Core Weight: 1	Total Weight: 656
130.24/130.37	c Elapsed CPU time: 129.284 s	Remaining CPU time: 1670.72 s
130.54/130.62	c ============================[ Search Statistics ]==============================
130.54/130.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
130.54/130.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
130.54/130.62	c ===============================================================================
130.54/130.62	c |         0 |    4811    14221   528374 |     5000        0    nan |  0.000 % |
130.54/130.65	c |       100 |    4809    14221   528374 |     5500      100     34 | 25.008 % |
130.54/130.67	c |       250 |    4797    14221   528374 |     6050      250     36 | 25.289 % |
130.54/130.68	c |       475 |    4788    14221   528374 |     6655      475     44 | 25.320 % |
130.63/130.71	c |       812 |    4788    14221   528374 |     7320      812     52 | 25.320 % |
130.63/130.78	c |      1321 |    4788    14221   528374 |     8052     1321     68 | 25.320 % |
130.84/130.90	c |      2080 |    4788    14221   528374 |     8857     2080     78 | 25.320 % |
131.03/131.14	c |      3220 |    4788    14221   528374 |     9743     3220     85 | 25.320 % |
131.44/131.52	c |      4930 |    4787    14221   528374 |    10717     4930     95 | 25.382 % |
132.23/132.35	c |      7493 |    4787    14221   528374 |    11789     7493    106 | 25.507 % |
134.54/134.63	c |     11345 |    4787    14221   528374 |    12968    11345    112 | 25.507 % |
136.94/137.01	c |     17111 |    4774    14221   528374 |    14265     9725    115 | 25.632 % |
141.64/141.80	c |     25764 |    4774    14221   528374 |    15692    10375    117 | 25.694 % |
150.33/150.47	c |     38740 |    4774    14221   528374 |    17261    14596    124 | 25.694 % |
157.53/157.66	c ===============================================================================
158.73/158.82	c core #657
158.73/158.82	c Core size: 869	Core Weight: 1	Total Weight: 657
158.73/158.82	c Elapsed CPU time: 157.57 s	Remaining CPU time: 1642.43 s
158.83/158.98	c ============================[ Search Statistics ]==============================
158.83/158.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
158.83/158.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
158.83/158.98	c ===============================================================================
158.83/158.98	c |         0 |    4859    14222   528470 |     5000        0    nan |  0.000 % |
158.93/159.00	c |       103 |    4858    14222   528470 |     5500      103     39 | 24.806 % |
158.93/159.01	c |       257 |    4857    14222   528470 |     6050      257     30 | 24.822 % |
158.93/159.03	c |       482 |    4857    14222   528470 |     6655      482     30 | 24.822 % |
158.93/159.05	c |       819 |    4857    14222   528470 |     7320      819     34 | 24.822 % |
158.93/159.08	c |      1330 |    4857    14222   528470 |     8052     1330     38 | 24.822 % |
159.03/159.17	c |      2089 |    4857    14222   528470 |     8857     2089     43 | 24.822 % |
159.22/159.32	c |      3228 |    4857    14222   528470 |     9743     3228     46 | 24.868 % |
159.62/159.72	c |      4939 |    4857    14222   528470 |    10717     4939     51 | 24.868 % |
160.12/160.22	c ===============================================================================
160.22/160.31	c core #658
160.22/160.31	c Core size: 935	Core Weight: 1	Total Weight: 658
160.22/160.31	c Elapsed CPU time: 159.038 s	Remaining CPU time: 1640.96 s
160.32/160.42	c ============================[ Search Statistics ]==============================
160.32/160.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
160.32/160.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
160.32/160.42	c ===============================================================================
160.32/160.42	c |         0 |    4889    14223   528530 |     5000        0    nan |  0.000 % |
160.32/160.44	c |       100 |    4889    14223   528530 |     5500      100     46 | 24.646 % |
160.32/160.45	c |       252 |    4885    14223   528530 |     6050      252     32 | 24.723 % |
160.32/160.46	c |       477 |    4885    14223   528530 |     6655      477     36 | 24.723 % |
160.32/160.49	c |       815 |    4885    14223   528530 |     7320      815     36 | 24.723 % |
160.43/160.52	c |      1321 |    4885    14223   528530 |     8052     1321     43 | 24.723 % |
160.53/160.60	c |      2081 |    4885    14223   528530 |     8857     2081     51 | 24.723 % |
160.72/160.81	c |      3220 |    4885    14223   528530 |     9743     3220     60 | 24.723 % |
161.22/161.30	c |      4929 |    4885    14223   528530 |    10717     4929     69 | 24.723 % |
162.13/162.24	c |      7497 |    4885    14223   528530 |    11789     7497     76 | 24.723 % |
163.42/163.51	c |     11341 |    4884    14223   528530 |    12968    11339     80 | 24.723 % |
167.02/167.12	c |     17107 |    4884    14223   528530 |    14265     9796     84 | 24.723 % |
169.02/169.11	c ===============================================================================
169.02/169.16	c core #659
169.02/169.16	c Core size: 1037	Core Weight: 1	Total Weight: 659
169.02/169.16	c Elapsed CPU time: 167.817 s	Remaining CPU time: 1632.18 s
169.12/169.28	c ============================[ Search Statistics ]==============================
169.12/169.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
169.12/169.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
169.12/169.28	c ===============================================================================
169.12/169.28	c |         0 |    4919    14224   528590 |     5000        0    nan |  0.000 % |
169.23/169.30	c |       102 |    4919    14224   528590 |     5500      102     41 | 24.532 % |
169.23/169.32	c |       253 |    4918    14224   528590 |     6050      253     39 | 24.547 % |
169.23/169.33	c |       482 |    4918    14224   528590 |     6655      482     42 | 24.547 % |
169.23/169.36	c |       820 |    4918    14224   528590 |     7320      820     44 | 24.547 % |
169.32/169.42	c |      1328 |    4918    14224   528590 |     8052     1328     50 | 24.547 % |
169.42/169.52	c |      2087 |    4918    14224   528590 |     8857     2087     56 | 24.547 % |
169.61/169.77	c |      3233 |    4918    14224   528590 |     9743     3233     60 | 24.593 % |
170.22/170.36	c |      4941 |    4918    14224   528590 |    10717     4941     64 | 24.655 % |
171.02/171.16	c |      7503 |    4911    14224   528590 |    11789     7500     64 | 24.655 % |
173.62/173.71	c |     11347 |    4911    14224   528590 |    12968    11344     66 | 24.655 % |
176.92/177.02	c |     17116 |    4911    14224   528590 |    14265     9760     65 | 24.655 % |
182.02/182.12	c |     25766 |    4908    14224   528590 |    15692    10365     66 | 24.701 % |
188.61/188.70	c |     38743 |    4908    14224   528590 |    17261    14579     63 | 24.701 % |
201.11/201.27	c |     58208 |    4908    14224   528590 |    18987    15095     63 | 24.701 % |
211.71/211.83	c ===============================================================================
213.21/213.33	c core #660
213.21/213.33	c Core size: 994	Core Weight: 1	Total Weight: 660
213.21/213.33	c Elapsed CPU time: 211.805 s	Remaining CPU time: 1588.2 s
213.40/213.52	c ============================[ Search Statistics ]==============================
213.40/213.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.40/213.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.40/213.52	c ===============================================================================
213.40/213.52	c |         0 |    4940    14225   528632 |     5000        0    nan |  0.000 % |
213.40/213.55	c |       104 |    4940    14225   528632 |     5500      104     38 | 24.453 % |
213.40/213.57	c |       257 |    4940    14225   528632 |     6050      257     33 | 24.453 % |
213.40/213.58	c |       483 |    4938    14225   528632 |     6655      483     31 | 24.484 % |
213.50/213.61	c |       822 |    4938    14225   528632 |     7320      822     39 | 24.484 % |
213.50/213.66	c |      1329 |    4938    14225   528632 |     8052     1329     43 | 24.484 % |
213.60/213.76	c |      2088 |    4938    14225   528632 |     8857     2088     46 | 24.530 % |
213.80/213.94	c |      3229 |    4938    14225   528632 |     9743     3229     47 | 24.530 % |
213.90/214.04	c ===============================================================================
213.90/214.09	c core #661
213.90/214.09	c Core size: 623	Core Weight: 1	Total Weight: 661
213.90/214.09	c Elapsed CPU time: 212.543 s	Remaining CPU time: 1587.46 s
214.00/214.18	c ============================[ Search Statistics ]==============================
214.00/214.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.00/214.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.00/214.18	c ===============================================================================
214.00/214.18	c |         0 |    4963    14226   528678 |     5000        0    nan |  0.000 % |
214.10/214.20	c |       101 |    4963    14226   528678 |     5500      101     43 | 24.368 % |
214.10/214.21	c |       257 |    4960    14226   528678 |     6050      257     29 | 24.429 % |
214.10/214.23	c ===============================================================================
214.10/214.24	c core #662
214.10/214.24	c Core size: 953	Core Weight: 1	Total Weight: 662
214.10/214.24	c Elapsed CPU time: 212.684 s	Remaining CPU time: 1587.32 s
214.20/214.33	c ============================[ Search Statistics ]==============================
214.20/214.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.20/214.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.20/214.33	c ===============================================================================
214.20/214.33	c |         0 |    4974    14227   528700 |     5000        0    nan |  0.000 % |
214.20/214.34	c |       101 |    4974    14227   528700 |     5500      101     43 | 24.327 % |
214.20/214.35	c |       251 |    4972    14227   528700 |     6050      251     31 | 24.388 % |
214.20/214.37	c |       476 |    4972    14227   528700 |     6655      476     43 | 24.388 % |
214.20/214.39	c |       815 |    4970    14227   528700 |     7320      815     54 | 24.418 % |
214.30/214.45	c |      1323 |    4969    14227   528700 |     8052     1323     62 | 24.433 % |
214.50/214.63	c |      2083 |    4969    14227   528700 |     8857     2083     83 | 24.433 % |
214.80/214.92	c |      3223 |    4969    14227   528700 |     9743     3223    102 | 24.494 % |
215.20/215.35	c |      4932 |    4969    14227   528700 |    10717     4932    112 | 24.494 % |
216.20/216.36	c |      7495 |    4955    14227   528700 |    11789     7485    120 | 24.616 % |
218.10/218.24	c |     11340 |    4955    14227   528700 |    12968    11330    127 | 24.616 % |
222.39/222.53	c |     17108 |    4955    14227   528700 |    14265     9689    136 | 24.616 % |
228.00/228.18	c |     25759 |    4954    14227   528700 |    15692    10313    122 | 24.661 % |
237.09/237.28	c |     38733 |    4954    14227   528700 |    17261    14537    130 | 24.661 % |
252.98/253.10	c |     58194 |    4952    14227   528700 |    18987    14944    140 | 24.722 % |
280.37/280.59	c |     87386 |    4944    14227   528700 |    20886    12945    151 | 24.829 % |
319.15/319.36	c |    131176 |    4943    14227   528700 |    22974    22529    160 | 24.874 % |
391.33/391.56	c |    196866 |    4936    14227   528700 |    25272    13666    124 | 24.905 % |
437.71/437.94	c ===============================================================================
442.70/442.97	c core #663
442.70/442.97	c Core size: 884	Core Weight: 1	Total Weight: 663
442.70/442.97	c Elapsed CPU time: 440.336 s	Remaining CPU time: 1359.66 s
443.11/443.34	c ============================[ Search Statistics ]==============================
443.11/443.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
443.11/443.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
443.11/443.34	c ===============================================================================
443.11/443.34	c |         0 |    5028    14228   528808 |     5000        0    nan |  0.000 % |
443.11/443.38	c |       102 |    5028    14228   528808 |     5500      102     42 | 24.129 % |
443.20/443.41	c |       252 |    5026    14228   528808 |     6050      252     31 | 24.204 % |
443.20/443.43	c |       481 |    5025    14228   528808 |     6655      481     37 | 24.219 % |
443.20/443.46	c |       818 |    5023    14228   528808 |     7320      818     42 | 24.249 % |
443.20/443.50	c |      1324 |    5022    14228   528808 |     8052     1324     44 | 24.264 % |
443.30/443.57	c |      2083 |    5022    14228   528808 |     8857     2083     52 | 24.264 % |
443.51/443.74	c |      3224 |    5021    14228   528808 |     9743     3224     54 | 24.279 % |
443.80/444.04	c |      4932 |    5021    14228   528808 |    10717     4932     88 | 24.279 % |
444.50/444.70	c |      7499 |    5021    14228   528808 |    11789     7499    119 | 24.279 % |
446.20/446.48	c |     11343 |    5018    14228   528808 |    12968    11332    148 | 24.279 % |
452.30/452.58	c |     17109 |    5017    14228   528808 |    14265     9475    179 | 24.295 % |
459.00/459.24	c |     25762 |    5017    14228   528808 |    15692    10041    195 | 24.295 % |
464.00/464.23	c |     38737 |    5016    14228   528808 |    17261    14030    134 | 24.340 % |
480.99/481.22	c |     58198 |    5013    14228   528808 |    18987    14409    209 | 24.551 % |
509.38/509.67	c |     87392 |    4993    14228   528808 |    20886    12229    168 | 24.657 % |
550.56/550.81	c |    131182 |    4992    14228   528808 |    22974    21858    194 | 24.777 % |
613.44/613.76	c |    196866 |    4992    14228   528808 |    25272    12866    171 | 24.777 % |
701.60/701.96	c |    295395 |    4985    14228   528808 |    27799    26974    177 | 24.777 % |
872.23/872.69	c |    443184 |    4985    14228   528808 |    30579    13950    163 | 24.777 % |
1083.66/1084.18	c |    664868 |    4985    14228   528808 |    33637    17780    172 | 24.777 % |
1452.61/1453.26	c |    997393 |    4985    14228   528808 |    37001    23241    197 | 24.777 % |
1591.56/1592.20	c ===============================================================================
1591.56/1592.20	c core #664
1591.56/1592.20	c Core size: 624	Core Weight: 1	Total Weight: 664
1591.56/1592.20	c Elapsed CPU time: 1584.11 s	Remaining CPU time: 215.892 s
1592.76/1593.40	c ============================[ Search Statistics ]==============================
1592.76/1593.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1592.76/1593.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1592.76/1593.40	c ===============================================================================
1592.76/1593.40	c |         0 |    5041    14229   528834 |     5000        0    nan |  0.000 % |
1592.76/1593.44	c |       101 |    5041    14229   528834 |     5500      101     41 | 24.081 % |
1592.76/1593.48	c |       254 |    5040    14229   528834 |     6050      254     42 | 24.096 % |
1592.95/1593.61	c |       480 |    5040    14229   528834 |     6655      480     52 | 24.096 % |
1593.06/1593.70	c |       817 |    5040    14229   528834 |     7320      817     69 | 24.096 % |
1593.06/1593.76	c |      1324 |    5040    14229   528834 |     8052     1324     80 | 24.096 % |
1593.16/1593.89	c |      2083 |    5039    14229   528834 |     8857     2083     98 | 24.142 % |
1593.36/1594.07	c |      3222 |    5039    14229   528834 |     9743     3222    116 | 24.142 % |
1593.85/1594.52	c |      4930 |    5039    14229   528834 |    10717     4930    140 | 24.142 % |
1594.76/1595.40	c |      7495 |    5037    14229   528834 |    11789     7495    159 | 24.262 % |
1598.86/1599.50	c |     11340 |    5036    14229   528834 |    12968    11340    187 | 24.322 % |
1603.95/1604.68	c |     17108 |    5025    14229   528834 |    14265     9710    215 | 24.322 % |
1610.45/1611.15	c |     25759 |    5025    14229   528834 |    15692    10301    199 | 24.322 % |
1621.45/1622.13	c |     38733 |    5025    14229   528834 |    17261    14472    199 | 24.322 % |
1640.64/1641.34	c |     58194 |    5025    14229   528834 |    18987    14821    199 | 24.322 % |
1661.34/1662.05	c |     87390 |    5024    14229   528834 |    20886    12604    193 | 24.367 % |
1694.81/1695.56	c |    131185 |    5021    14229   528834 |    22974    22298    215 | 24.413 % |
1752.39/1753.11	c |    196871 |    5015    14229   528834 |    25272    13349    195 | 24.473 % |
1752.70/1753.49	c ===============================================================================
1752.79/1753.51	c core #665
1752.79/1753.51	c Core size: 714	Core Weight: 1	Total Weight: 665
1752.79/1753.51	c Elapsed CPU time: 1744.55 s	Remaining CPU time: 55.4512 s
1753.09/1753.84	c ============================[ Search Statistics ]==============================
1753.09/1753.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1753.09/1753.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1753.09/1753.84	c ===============================================================================
1753.09/1753.84	c |         0 |    5080    14230   528912 |     5000        0    nan |  0.000 % |
1753.09/1753.88	c |       100 |    5079    14230   528912 |     5500      100     31 | 24.060 % |
1753.19/1753.90	c |       251 |    5075    14230   528912 |     6050      251     33 | 24.120 % |
1753.19/1753.93	c |       477 |    5075    14230   528912 |     6655      477     41 | 24.120 % |
1753.19/1753.96	c |       814 |    5075    14230   528912 |     7320      814     46 | 24.120 % |
1753.29/1754.01	c |      1321 |    5075    14230   528912 |     8052     1321     49 | 24.120 % |
1753.29/1754.08	c |      2080 |    5075    14230   528912 |     8857     2080     50 | 24.120 % |
1753.50/1754.22	c |      3220 |    5075    14230   528912 |     9743     3220     52 | 24.120 % |
1753.70/1754.45	c |      4931 |    5075    14230   528912 |    10717     4931     55 | 24.120 % |
1754.29/1755.06	c |      7493 |    5075    14230   528912 |    11789     7493     57 | 24.120 % |
1755.59/1756.30	c |     11339 |    5075    14230   528912 |    12968    11339     64 | 24.120 % |
1756.49/1757.25	c ===============================================================================
1756.69/1757.45	c core #666
1756.69/1757.45	c Core size: 959	Core Weight: 1	Total Weight: 666
1756.69/1757.45	c Elapsed CPU time: 1748.45 s	Remaining CPU time: 51.5468 s
1756.79/1757.59	c ============================[ Search Statistics ]==============================
1756.79/1757.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1756.79/1757.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1756.79/1757.59	c ===============================================================================
1756.79/1757.59	c |         0 |    5121    14231   528994 |     5000        0    nan |  0.000 % |
1756.89/1757.61	c |       101 |    5121    14231   528994 |     5500      101     45 | 23.795 % |
1756.89/1757.62	c |       251 |    5121    14231   528994 |     6050      251     53 | 23.795 % |
1756.89/1757.64	c |       480 |    5119    14231   528994 |     6655      480     45 | 23.869 % |
1756.89/1757.67	c |       820 |    5119    14231   528994 |     7320      820     46 | 23.869 % |
1757.00/1757.71	c |      1327 |    5119    14231   528994 |     8052     1327     55 | 23.869 % |
1757.00/1757.78	c |      2087 |    5119    14231   528994 |     8857     2087     60 | 23.869 % |
1757.19/1757.95	c |      3227 |    5119    14231   528994 |     9743     3227     68 | 23.869 % |
1757.49/1758.27	c |      4936 |    5119    14231   528994 |    10717     4936     77 | 23.869 % |
1758.09/1758.83	c |      7503 |    5119    14231   528994 |    11789     7503     81 | 23.869 % |
1759.39/1760.10	c |     11347 |    5119    14231   528994 |    12968    11347     85 | 23.869 % |
1761.59/1762.32	c |     17114 |    5116    14231   528994 |    14265     9771     89 | 23.869 % |
1766.08/1766.86	c |     25764 |    5115    14231   528994 |    15692    10357     87 | 23.929 % |
1774.48/1775.26	c |     38738 |    5115    14231   528994 |    17261    14568     94 | 23.929 % |
1785.47/1786.28	c |     58199 |    5108    14231   528994 |    18987    15046     92 | 23.988 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3464
/proc/meminfo: memFree=1545128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=2836 CPUtime=0
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 183663459 2904064 229 1992294400 134512640 135709839 4294956240 18446744073709551615 134544284 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 709 229 127 292 0 373 0

[startup+0.0847591 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3464
/proc/meminfo: memFree=1545128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=3368 CPUtime=0.08
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 466 0 0 0 8 0 0 0 18 0 1 0 183663459 3448832 409 1992294400 134512640 135709839 4294956240 18446744073709551615 134530665 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 842 409 133 292 0 547 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3368

[startup+0.102762 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3464
/proc/meminfo: memFree=1545128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=3368 CPUtime=0.1
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 466 0 0 0 10 0 0 0 18 0 1 0 183663459 3448832 409 1992294400 134512640 135709839 4294956240 18446744073709551615 134530755 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 842 409 133 292 0 547 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3368

[startup+0.302805 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3464
/proc/meminfo: memFree=1545128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=3500 CPUtime=0.29
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 497 0 0 0 29 0 0 0 19 0 1 0 183663459 3584000 440 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 875 440 133 292 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3500

[startup+0.701889 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3464
/proc/meminfo: memFree=1545128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=4016 CPUtime=0.69
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 625 0 0 0 69 0 0 0 22 0 1 0 183663459 4112384 549 1992294400 134512640 135709839 4294956240 18446744073709551615 135165876 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 1004 549 133 292 0 709 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4016

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1543264/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=4452 CPUtime=1.49
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 821 0 0 0 149 0 0 0 25 0 1 0 183663459 4558848 692 1992294400 134512640 135709839 4294956240 18446744073709551615 134605097 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 1113 692 133 292 0 818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4452

[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1542176/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=6400 CPUtime=3.09
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 1697 0 0 0 308 1 0 0 25 0 1 0 183663459 6553600 1137 1992294400 134512640 135709839 4294956240 18446744073709551615 135173007 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 1600 1137 134 292 0 1305 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6400

[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1534880/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=13132 CPUtime=6.29
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 3765 0 0 0 621 8 0 0 25 0 1 0 183663459 13447168 2831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 3283 2831 136 292 0 2988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13132

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1522208/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=27448 CPUtime=12.68
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 7340 0 0 0 1251 17 0 0 25 0 1 0 183663459 28106752 6406 1992294400 134512640 135709839 4294956240 18446744073709551615 134674320 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 6862 6406 136 292 0 6567 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27448

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1510368/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=36480 CPUtime=25.48
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 9630 0 0 0 2510 38 0 0 25 0 1 0 183663459 37355520 8696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 9120 8696 136 292 0 8825 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36480

[startup+51.1025 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1490912/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=56560 CPUtime=51.07
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 14674 0 0 0 5043 64 0 0 25 0 1 0 183663459 57917440 13704 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 14140 13704 136 292 0 13845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56560

[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1443936/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=103036 CPUtime=102.25
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 26252 0 0 0 10135 90 0 0 25 0 1 0 183663459 105508864 25282 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 25759 25282 136 292 0 25464 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103036

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1411232/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=135648 CPUtime=162.22
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 34400 0 0 0 16099 123 0 0 25 0 1 0 183663459 138903552 33430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 33912 33430 136 292 0 33617 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 135648

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3465
/proc/meminfo: memFree=1396128/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=150680 CPUtime=222.19
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 38187 0 0 0 22067 152 0 0 25 0 1 0 183663459 154296320 37217 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 37670 37217 136 292 0 37375 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 150680

[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3471
/proc/meminfo: memFree=1347488/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=199804 CPUtime=282.16
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 50422 0 0 0 28037 179 0 0 25 0 1 0 183663459 204599296 49452 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 49951 49452 136 292 0 49656 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 199804

[startup+342.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3471
/proc/meminfo: memFree=1292576/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=254172 CPUtime=342.14
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 64014 0 0 0 34009 205 0 0 25 0 1 0 183663459 260272128 63044 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 63543 63044 136 292 0 63248 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 254172

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=1246688/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=300504 CPUtime=402.12
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 75546 0 0 0 39986 226 0 0 25 0 1 0 183663459 307716096 74576 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 75126 74576 136 292 0 74831 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 300504

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=1203488/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=342632 CPUtime=462.1
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 86189 0 0 0 45955 255 0 0 25 0 1 0 183663459 350855168 85219 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 85658 85219 136 292 0 85363 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 342632

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=1163424/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=383364 CPUtime=522.08
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 96362 0 0 0 51925 283 0 0 25 0 1 0 183663459 392564736 95392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 95841 95392 136 292 0 95546 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 383364

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=1121376/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=425264 CPUtime=582.05
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 106799 0 0 0 57897 308 0 0 25 0 1 0 183663459 435470336 105829 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 106316 105829 136 292 0 106021 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 425264

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=1051360/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=494708 CPUtime=642.03
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 124146 0 0 0 63862 341 0 0 25 0 1 0 183663459 506580992 123176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 123677 123176 136 292 0 123382 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 494708

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=829216/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=717044 CPUtime=881.93
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 179613 0 0 0 87746 447 0 0 25 0 1 0 183663459 734253056 178643 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 179261 178643 136 292 0 178966 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 717044

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=763616/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=782960 CPUtime=941.91
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 196062 0 0 0 93716 475 0 0 25 0 1 0 183663459 801751040 195092 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 195740 195092 136 292 0 195445 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 782960

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=693984/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=852388 CPUtime=1001.89
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 213416 0 0 0 99682 507 0 0 25 0 1 0 183663459 872845312 212446 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 213097 212447 136 292 0 212802 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 852388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=629984/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=916980 CPUtime=1061.86
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 229558 0 0 0 105653 533 0 0 25 0 1 0 183663459 938987520 228588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 229245 228588 136 292 0 228950 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 916980

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=566432/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=979920 CPUtime=1121.83
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 245245 0 0 0 111623 560 0 0 25 0 1 0 183663459 1003438080 244275 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 244980 244275 136 292 0 244685 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 979920

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=511840/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1034352 CPUtime=1181.82
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 258836 0 0 0 117595 587 0 0 25 0 1 0 183663459 1059176448 257866 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 258588 257866 136 292 0 258293 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1034352

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=457440/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1088840 CPUtime=1241.8
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 272435 0 0 0 123566 614 0 0 25 0 1 0 183663459 1114972160 271465 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 272210 271465 136 292 0 271915 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1088840

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=410720/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1134944 CPUtime=1301.78
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 283948 0 0 0 129542 636 0 0 25 0 1 0 183663459 1162182656 282978 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 283736 282978 136 292 0 283441 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1134944

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=365728/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1180532 CPUtime=1361.75
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 295323 0 0 0 135519 656 0 0 25 0 1 0 183663459 1208864768 294353 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 295133 294353 136 292 0 294838 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1180532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=313952/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1231632 CPUtime=1421.72
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 308110 0 0 0 141494 678 0 0 25 0 1 0 183663459 1261191168 307140 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 307908 307140 136 292 0 307613 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1231632

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=264800/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1281384 CPUtime=1481.7
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 320524 0 0 0 147467 703 0 0 25 0 1 0 183663459 1312137216 319554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 320346 319554 136 292 0 320051 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1281384

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=208096/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1337652 CPUtime=1541.67
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 334565 0 0 0 153436 731 0 0 25 0 1 0 183663459 1369755648 333595 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 334413 333595 136 292 0 334118 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1337652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=171808/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1373692 CPUtime=1601.65
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 343564 0 0 0 159412 753 0 0 25 0 1 0 183663459 1406660608 342594 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 343423 342594 136 292 0 343128 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1373692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=146080/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1398104 CPUtime=1661.63
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 350016 0 0 0 165385 778 0 0 25 0 1 0 183663459 1431658496 349046 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 349526 349046 136 292 0 349231 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1398104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=87776/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1456772 CPUtime=1721.61
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 364663 0 0 0 171352 809 0 0 25 0 1 0 183663459 1491734528 363693 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 364193 363693 136 292 0 363898 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1456772

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=54368/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1489636 CPUtime=1781.58
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 372865 0 0 0 177316 842 0 0 25 0 1 0 183663459 1525387264 371895 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 372409 371895 136 292 0 372114 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1489636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=54304/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=1489636 CPUtime=1800.08
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4194304 372873 0 0 0 179160 848 0 0 25 0 1 0 183663459 1525387264 371903 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 372409 371903 136 292 0 372114 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1489636

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3471
/proc/meminfo: memFree=54304/2055920 swapFree=4192812/4192956
[pid=3464] ppid=3462 vsize=0 CPUtime=1800.27
/proc/3464/stat : 3464 (wbo) R 3462 3464 3242 0 -1 4195332 372873 0 0 0 179160 867 0 0 25 0 1 0 183663459 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3464/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.04
CPU time (s): 1800.32
CPU user time (s): 1791.6
CPU system time (s): 8.71367
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 1489636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 8.71368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372873
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= 4
involuntary context switches= 3007

runsolver used 1.17682 second user time and 4.01639 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-16 15:57:09
IDJOB=1876239
IDBENCH=2194
IDSOLVER=698
FILE ID=node13/1876239-1245160629
PBS_JOBID= 9363818
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-hanoi4.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-1876239-1245160629/watcher-1876239-1245160629 -o /tmp/evaluation-result-1876239-1245160629/solver-1876239-1245160629 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876239-1245160629.opb

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

MD5SUM BENCH= 021af4766a0acbaabce7af3e32b61bf4
RANDOM SEED=757490302

node13.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.259
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.259
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:       1545672 kB
Buffers:         72464 kB
Cached:         343960 kB
SwapCached:        144 kB
Active:          62136 kB
Inactive:       368364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2560 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            65684 kB
Committed_AS:   164708 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876239-1245160629.opb

Free space on /tmp at the end= 66272 MiB
End job on node13 at 2009-06-16 16:27:12