Trace number 1876221

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.0UNSAT 22.7425 22.8157

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa2670-141.opb
MD5SUMbf686e12342472d00013af54a5ee9279
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.072988
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables1972
Total number of constraints3301
Number of constraints which are clauses3301
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 constraint5
Number of terms in the objective function 1972
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 1972
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 1972
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-1876221-1245156989.opb.
0.00/0.00	c Instance file HOME/instance-1876221-1245156989.opb
0.00/0.00	c File size is 101262 bytes.
0.00/0.01	c Highest Coefficient sum: 6
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1972                                                |
0.00/0.01	c |  Number Clauses:        5273                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 2	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 2	Core Weight: 1	Total Weight: 2
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 2	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 2	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #5
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #8
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #10
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #11
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 11
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #12
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #13
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #14
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #15
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.06	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #16
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #17
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #18
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #19
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 19
0.00/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #20
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 20
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #21
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #22
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #23
0.08/0.08	c Core size: 3	Core Weight: 1	Total Weight: 23
0.08/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.08/0.09	c core #24
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 24
0.08/0.09	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #25
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 25
0.08/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #26
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 26
0.08/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.08/0.10	c core #27
0.08/0.10	c Core size: 3	Core Weight: 1	Total Weight: 27
0.08/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #28
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #29
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #30
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #31
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #32
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #33
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #34
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #35
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #36
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #37
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #38
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.13	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #39
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #40
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.14	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #41
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #42
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #43
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #44
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #45
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #46
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #47
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.16	c Elapsed CPU time: 0.163975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #48
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.17	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #49
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 49
0.09/0.17	c Elapsed CPU time: 0.170974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #50
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #51
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 51
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #52
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 52
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #53
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 53
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #54
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 54
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #55
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 55
0.09/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #56
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 56
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #57
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 57
0.09/0.20	c Elapsed CPU time: 0.197969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #58
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.20	c Elapsed CPU time: 0.200969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #59
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.20	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #60
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.21	c Elapsed CPU time: 0.207968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #61
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #62
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.21	c Elapsed CPU time: 0.214967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #63
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.22	c Elapsed CPU time: 0.218966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #64
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #65
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 65
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #66
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #67
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #68
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.24	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #69
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #70
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.24	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #71
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.25	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #72
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #73
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.25	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #74
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.26	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #75
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #76
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #77
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 77
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #78
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 78
0.19/0.27	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #79
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 79
0.19/0.27	c Elapsed CPU time: 0.274958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #80
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 80
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #81
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 81
0.19/0.28	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #82
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 82
0.19/0.29	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #83
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 83
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #84
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 84
0.19/0.29	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #85
0.19/0.30	c Core size: 3	Core Weight: 1	Total Weight: 85
0.19/0.30	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #86
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #87
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.30	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #88
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.31	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #89
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.31	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #90
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.31	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #91
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.32	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #92
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #93
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.32	c Elapsed CPU time: 0.32495 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #94
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.33	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #95
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.33	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #96
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.34	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #97
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #98
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.34	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #99
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #100
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #101
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #102
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #103
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 103
0.29/0.36	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #104
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 104
0.29/0.37	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #105
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 105
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #106
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 106
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #107
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 107
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #108
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 108
0.29/0.38	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #109
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 109
0.29/0.38	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #110
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 110
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #111
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 111
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #112
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 112
0.29/0.40	c Elapsed CPU time: 0.396939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #113
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.40	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #114
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.40	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #115
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #116
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.41	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #117
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.42	c Elapsed CPU time: 0.415936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #118
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.42	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #119
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.42	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #120
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.43	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #121
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #122
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #123
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #124
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.44	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #125
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #126
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 126
0.39/0.45	c Elapsed CPU time: 0.450931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #127
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.45	c Elapsed CPU time: 0.45493 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #128
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 128
0.39/0.46	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #129
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 129
0.39/0.46	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #130
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 130
0.39/0.47	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #131
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 131
0.39/0.47	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #132
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 132
0.39/0.47	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #133
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 133
0.39/0.48	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #134
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 134
0.39/0.48	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #135
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 135
0.39/0.49	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #136
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 136
0.39/0.49	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #137
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 137
0.39/0.49	c Elapsed CPU time: 0.493924 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #138
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.50	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #139
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.50	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #140
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.51	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #141
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.51	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #142
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.51	c Elapsed CPU time: 0.513921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #143
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.52	c Elapsed CPU time: 0.517921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #144
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.52	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #145
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.53	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #146
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #147
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.53	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #148
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.54	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #149
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #150
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 150
0.49/0.55	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #151
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #152
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 152
0.49/0.55	c Elapsed CPU time: 0.553915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #153
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 153
0.49/0.56	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #154
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 154
0.49/0.56	c Elapsed CPU time: 0.561914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #155
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 155
0.49/0.57	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #156
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 156
0.49/0.57	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #157
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 157
0.49/0.57	c Elapsed CPU time: 0.573912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #158
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 158
0.49/0.58	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #159
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 159
0.49/0.58	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #160
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 160
0.49/0.59	c Elapsed CPU time: 0.58591 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #161
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 161
0.49/0.59	c Elapsed CPU time: 0.59091 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #162
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 162
0.49/0.59	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #163
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.60	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #164
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.60	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #165
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.61	c Elapsed CPU time: 0.606907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #166
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #167
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.61	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #168
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #169
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.62	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #170
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.63	c Elapsed CPU time: 0.626904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #171
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.63	c Elapsed CPU time: 0.630904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #172
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.63	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #173
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.64	c Elapsed CPU time: 0.638902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #174
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.64	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #175
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 175
0.59/0.65	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #176
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 176
0.59/0.65	c Elapsed CPU time: 0.6519 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #177
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 177
0.59/0.66	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #178
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 178
0.59/0.66	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #179
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 179
0.59/0.66	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #180
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 180
0.59/0.67	c Elapsed CPU time: 0.668898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #181
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 181
0.59/0.67	c Elapsed CPU time: 0.673897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #182
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 182
0.59/0.68	c Elapsed CPU time: 0.677896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #183
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 183
0.59/0.68	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #184
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 184
0.59/0.69	c Elapsed CPU time: 0.686895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #185
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 185
0.59/0.69	c Elapsed CPU time: 0.689895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #186
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 186
0.59/0.69	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #187
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #188
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.70	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #189
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #190
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.71	c Elapsed CPU time: 0.711891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #191
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.72	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #192
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.72	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #193
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.72	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #194
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.73	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #195
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #196
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #197
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #198
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 198
0.69/0.75	c Elapsed CPU time: 0.745886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #199
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 199
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #200
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 200
0.69/0.75	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #201
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 201
0.69/0.76	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #202
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 202
0.69/0.76	c Elapsed CPU time: 0.762884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #203
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 203
0.69/0.77	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #204
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 204
0.69/0.77	c Elapsed CPU time: 0.770882 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #205
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 205
0.69/0.77	c Elapsed CPU time: 0.774882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #206
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 206
0.69/0.78	c Elapsed CPU time: 0.779881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #207
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 207
0.69/0.78	c Elapsed CPU time: 0.78388 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #208
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 208
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #209
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 209
0.69/0.79	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #210
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 210
0.69/0.80	c Elapsed CPU time: 0.795879 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #211
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.80	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #212
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.81	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #213
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #214
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.81	c Elapsed CPU time: 0.813876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #215
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.82	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #216
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.82	c Elapsed CPU time: 0.822874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #217
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.83	c Elapsed CPU time: 0.826874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #218
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.83	c Elapsed CPU time: 0.831873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #219
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.84	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #220
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 220
0.79/0.84	c Elapsed CPU time: 0.840872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #221
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 221
0.79/0.85	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #222
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 222
0.79/0.85	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #223
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 223
0.79/0.85	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #224
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 224
0.79/0.86	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #225
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 225
0.79/0.86	c Elapsed CPU time: 0.862868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #226
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 226
0.79/0.87	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #227
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 227
0.79/0.87	c Elapsed CPU time: 0.871867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #228
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 228
0.79/0.88	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #229
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 229
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #230
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 230
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #231
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 231
0.79/0.89	c Elapsed CPU time: 0.889864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #232
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 232
0.79/0.90	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #233
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.90	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #234
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.90	c Elapsed CPU time: 0.903862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #235
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.91	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #236
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.91	c Elapsed CPU time: 0.912861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #237
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.92	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #238
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.92	c Elapsed CPU time: 0.921859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #239
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #240
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/0.93	c Elapsed CPU time: 0.930858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #241
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 241
0.89/0.94	c Elapsed CPU time: 0.935857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #242
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 242
0.89/0.94	c Elapsed CPU time: 0.939857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #243
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 243
0.89/0.95	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #244
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 244
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #245
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 245
0.89/0.95	c Elapsed CPU time: 0.952855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #246
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 246
0.89/0.96	c Elapsed CPU time: 0.957854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #247
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 247
0.89/0.96	c Elapsed CPU time: 0.962853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #248
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 248
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #249
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 249
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #250
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 250
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #251
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 251
0.89/0.98	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #252
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 252
0.89/0.99	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #253
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 253
0.89/0.99	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #254
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 254
0.89/1.00	c Elapsed CPU time: 0.994848 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #255
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 255
0.89/1.00	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #256
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.01	c Elapsed CPU time: 1.00385 s	Remaining CPU time: 1799 s
0.99/1.01	c core #257
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.01	c Elapsed CPU time: 1.00785 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #258
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.02	c Elapsed CPU time: 1.01285 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #259
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.02	c Elapsed CPU time: 1.01784 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #260
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 260
0.99/1.03	c Elapsed CPU time: 1.02284 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #261
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 261
0.99/1.03	c Elapsed CPU time: 1.02684 s	Remaining CPU time: 1798.97 s
0.99/1.03	c core #262
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 262
0.99/1.03	c Elapsed CPU time: 1.03184 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #263
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 263
0.99/1.04	c Elapsed CPU time: 1.03684 s	Remaining CPU time: 1798.96 s
0.99/1.04	c core #264
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 264
0.99/1.04	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #265
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 265
0.99/1.05	c Elapsed CPU time: 1.04684 s	Remaining CPU time: 1798.95 s
0.99/1.05	c core #266
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 266
0.99/1.05	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #267
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 267
0.99/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
0.99/1.06	c core #268
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 268
0.99/1.06	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #269
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 269
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #270
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 270
0.99/1.07	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #271
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 271
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #272
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 272
0.99/1.08	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #273
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 273
0.99/1.09	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #274
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 274
0.99/1.09	c Elapsed CPU time: 1.08783 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #275
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 275
0.99/1.10	c Elapsed CPU time: 1.09283 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #276
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.10	c Elapsed CPU time: 1.09783 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #277
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.11	c Elapsed CPU time: 1.10283 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #278
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 278
1.09/1.11	c Elapsed CPU time: 1.10783 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #279
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 279
1.09/1.12	c Elapsed CPU time: 1.11283 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #280
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 280
1.09/1.12	c Elapsed CPU time: 1.11783 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #281
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 281
1.09/1.13	c Elapsed CPU time: 1.12283 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #282
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 282
1.09/1.13	c Elapsed CPU time: 1.12683 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #283
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 283
1.09/1.14	c Elapsed CPU time: 1.13083 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #284
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 284
1.09/1.14	c Elapsed CPU time: 1.13583 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #285
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 285
1.09/1.15	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #286
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 286
1.09/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #287
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 287
1.09/1.16	c Elapsed CPU time: 1.15082 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #288
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 288
1.09/1.16	c Elapsed CPU time: 1.15582 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #289
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 289
1.09/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #290
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 290
1.09/1.17	c Elapsed CPU time: 1.16582 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #291
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 291
1.09/1.18	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #292
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 292
1.09/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #293
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 293
1.09/1.19	c Elapsed CPU time: 1.17982 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #294
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 294
1.09/1.19	c Elapsed CPU time: 1.18482 s	Remaining CPU time: 1798.82 s
1.09/1.20	c core #295
1.09/1.20	c Core size: 3	Core Weight: 1	Total Weight: 295
1.09/1.20	c Elapsed CPU time: 1.18982 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #296
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 296
1.18/1.20	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 1798.81 s
1.18/1.21	c core #297
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 297
1.18/1.21	c Elapsed CPU time: 1.19982 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #298
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 298
1.18/1.21	c Elapsed CPU time: 1.20482 s	Remaining CPU time: 1798.8 s
1.18/1.22	c core #299
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 299
1.18/1.22	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 1798.79 s
1.18/1.22	c core #300
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 300
1.18/1.22	c Elapsed CPU time: 1.21481 s	Remaining CPU time: 1798.79 s
1.18/1.23	c core #301
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 301
1.18/1.23	c Elapsed CPU time: 1.21981 s	Remaining CPU time: 1798.78 s
1.18/1.23	c core #302
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 302
1.18/1.23	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.18/1.24	c core #303
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 303
1.18/1.24	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.18/1.24	c core #304
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 304
1.18/1.24	c Elapsed CPU time: 1.23181 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #305
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 305
1.18/1.25	c Elapsed CPU time: 1.23581 s	Remaining CPU time: 1798.76 s
1.18/1.25	c core #306
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 306
1.18/1.25	c Elapsed CPU time: 1.24081 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #307
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 307
1.18/1.26	c Elapsed CPU time: 1.24481 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #308
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 308
1.18/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #309
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 309
1.18/1.27	c Elapsed CPU time: 1.25281 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #310
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 310
1.18/1.27	c Elapsed CPU time: 1.25781 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #311
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 311
1.18/1.28	c Elapsed CPU time: 1.26281 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #312
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 312
1.18/1.28	c Elapsed CPU time: 1.26781 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #313
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 313
1.18/1.29	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #314
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 314
1.18/1.29	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 1798.72 s
1.18/1.30	c core #315
1.18/1.30	c Core size: 3	Core Weight: 1	Total Weight: 315
1.18/1.30	c Elapsed CPU time: 1.2828 s	Remaining CPU time: 1798.72 s
1.28/1.30	c core #316
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 316
1.28/1.30	c Elapsed CPU time: 1.2878 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #317
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 317
1.28/1.31	c Elapsed CPU time: 1.2928 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #318
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 318
1.28/1.31	c Elapsed CPU time: 1.2978 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #319
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 319
1.28/1.32	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #320
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 320
1.28/1.32	c Elapsed CPU time: 1.3068 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #321
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 321
1.28/1.33	c Elapsed CPU time: 1.3118 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #322
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 322
1.28/1.33	c Elapsed CPU time: 1.3168 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #323
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 323
1.28/1.34	c Elapsed CPU time: 1.3218 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #324
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 324
1.28/1.34	c Elapsed CPU time: 1.3268 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #325
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 325
1.28/1.35	c Elapsed CPU time: 1.3318 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #326
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 326
1.28/1.35	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #327
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 327
1.28/1.36	c Elapsed CPU time: 1.3418 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #328
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 328
1.28/1.36	c Elapsed CPU time: 1.3478 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #329
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 329
1.28/1.37	c Elapsed CPU time: 1.35279 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #330
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 330
1.28/1.37	c Elapsed CPU time: 1.35779 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #331
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 331
1.28/1.38	c Elapsed CPU time: 1.36279 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #332
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 332
1.28/1.38	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #333
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 333
1.28/1.39	c Elapsed CPU time: 1.37279 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #334
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 334
1.28/1.39	c Elapsed CPU time: 1.37779 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #335
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 335
1.38/1.40	c Elapsed CPU time: 1.38279 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #336
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 336
1.38/1.40	c Elapsed CPU time: 1.38779 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #337
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 337
1.38/1.41	c Elapsed CPU time: 1.39279 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #338
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 338
1.38/1.41	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #339
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 339
1.38/1.42	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #340
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 340
1.38/1.42	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #341
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 341
1.38/1.43	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #342
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 342
1.38/1.43	c Elapsed CPU time: 1.41778 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #343
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 343
1.38/1.44	c Elapsed CPU time: 1.42278 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #344
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 344
1.38/1.44	c Elapsed CPU time: 1.42778 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #345
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 345
1.38/1.45	c Elapsed CPU time: 1.43278 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #346
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 346
1.38/1.46	c Elapsed CPU time: 1.43778 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #347
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 347
1.38/1.46	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.38/1.47	c core #348
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 348
1.38/1.47	c Elapsed CPU time: 1.44778 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #349
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 349
1.38/1.47	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 1798.55 s
1.38/1.48	c core #350
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 350
1.38/1.48	c Elapsed CPU time: 1.45778 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #351
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 351
1.38/1.48	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.38/1.49	c core #352
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 352
1.38/1.49	c Elapsed CPU time: 1.46778 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #353
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 353
1.38/1.49	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.38/1.50	c core #354
1.38/1.50	c Core size: 3	Core Weight: 1	Total Weight: 354
1.38/1.50	c Elapsed CPU time: 1.47778 s	Remaining CPU time: 1798.52 s
1.47/1.50	c core #355
1.47/1.50	c Core size: 3	Core Weight: 1	Total Weight: 355
1.47/1.50	c Elapsed CPU time: 1.48277 s	Remaining CPU time: 1798.52 s
1.47/1.51	c core #356
1.47/1.51	c Core size: 3	Core Weight: 1	Total Weight: 356
1.47/1.51	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 1798.51 s
1.47/1.51	c core #357
1.47/1.51	c Core size: 3	Core Weight: 1	Total Weight: 357
1.47/1.51	c Elapsed CPU time: 1.49277 s	Remaining CPU time: 1798.51 s
1.47/1.52	c core #358
1.47/1.52	c Core size: 3	Core Weight: 1	Total Weight: 358
1.47/1.52	c Elapsed CPU time: 1.49877 s	Remaining CPU time: 1798.5 s
1.47/1.52	c core #359
1.47/1.52	c Core size: 3	Core Weight: 1	Total Weight: 359
1.47/1.52	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.47/1.53	c core #360
1.47/1.53	c Core size: 3	Core Weight: 1	Total Weight: 360
1.47/1.53	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 1798.49 s
1.47/1.53	c core #361
1.47/1.53	c Core size: 3	Core Weight: 1	Total Weight: 361
1.47/1.53	c Elapsed CPU time: 1.51377 s	Remaining CPU time: 1798.49 s
1.47/1.54	c core #362
1.47/1.54	c Core size: 3	Core Weight: 1	Total Weight: 362
1.47/1.54	c Elapsed CPU time: 1.51977 s	Remaining CPU time: 1798.48 s
1.47/1.54	c core #363
1.47/1.54	c Core size: 3	Core Weight: 1	Total Weight: 363
1.47/1.54	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.47/1.55	c core #364
1.47/1.55	c Core size: 3	Core Weight: 1	Total Weight: 364
1.47/1.55	c Elapsed CPU time: 1.52977 s	Remaining CPU time: 1798.47 s
1.47/1.55	c core #365
1.47/1.55	c Core size: 3	Core Weight: 1	Total Weight: 365
1.47/1.55	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.47/1.56	c core #366
1.47/1.56	c Core size: 3	Core Weight: 1	Total Weight: 366
1.47/1.56	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.47/1.57	c core #367
1.47/1.57	c Core size: 3	Core Weight: 1	Total Weight: 367
1.47/1.57	c Elapsed CPU time: 1.54676 s	Remaining CPU time: 1798.45 s
1.47/1.57	c core #368
1.47/1.57	c Core size: 3	Core Weight: 1	Total Weight: 368
1.47/1.57	c Elapsed CPU time: 1.55176 s	Remaining CPU time: 1798.45 s
1.47/1.58	c core #369
1.47/1.58	c Core size: 3	Core Weight: 1	Total Weight: 369
1.47/1.58	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 1798.44 s
1.47/1.58	c core #370
1.47/1.58	c Core size: 3	Core Weight: 1	Total Weight: 370
1.47/1.58	c Elapsed CPU time: 1.56276 s	Remaining CPU time: 1798.44 s
1.47/1.59	c core #371
1.47/1.59	c Core size: 3	Core Weight: 1	Total Weight: 371
1.47/1.59	c Elapsed CPU time: 1.56776 s	Remaining CPU time: 1798.43 s
1.47/1.59	c core #372
1.47/1.59	c Core size: 3	Core Weight: 1	Total Weight: 372
1.47/1.59	c Elapsed CPU time: 1.57276 s	Remaining CPU time: 1798.43 s
1.57/1.60	c core #373
1.57/1.60	c Core size: 3	Core Weight: 1	Total Weight: 373
1.57/1.60	c Elapsed CPU time: 1.57776 s	Remaining CPU time: 1798.42 s
1.57/1.60	c core #374
1.57/1.60	c Core size: 3	Core Weight: 1	Total Weight: 374
1.57/1.60	c Elapsed CPU time: 1.58376 s	Remaining CPU time: 1798.42 s
1.57/1.61	c core #375
1.57/1.61	c Core size: 3	Core Weight: 1	Total Weight: 375
1.57/1.61	c Elapsed CPU time: 1.58876 s	Remaining CPU time: 1798.41 s
1.57/1.61	c core #376
1.57/1.61	c Core size: 3	Core Weight: 1	Total Weight: 376
1.57/1.61	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.57/1.62	c core #377
1.57/1.62	c Core size: 3	Core Weight: 1	Total Weight: 377
1.57/1.62	c Elapsed CPU time: 1.59876 s	Remaining CPU time: 1798.4 s
1.57/1.63	c core #378
1.57/1.63	c Core size: 3	Core Weight: 1	Total Weight: 378
1.57/1.63	c Elapsed CPU time: 1.60376 s	Remaining CPU time: 1798.4 s
1.57/1.63	c core #379
1.57/1.63	c Core size: 3	Core Weight: 1	Total Weight: 379
1.57/1.63	c Elapsed CPU time: 1.60875 s	Remaining CPU time: 1798.39 s
1.57/1.64	c core #380
1.57/1.64	c Core size: 3	Core Weight: 1	Total Weight: 380
1.57/1.64	c Elapsed CPU time: 1.61475 s	Remaining CPU time: 1798.39 s
1.57/1.64	c core #381
1.57/1.64	c Core size: 3	Core Weight: 1	Total Weight: 381
1.57/1.64	c Elapsed CPU time: 1.61975 s	Remaining CPU time: 1798.38 s
1.57/1.65	c core #382
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 382
1.57/1.65	c Elapsed CPU time: 1.62475 s	Remaining CPU time: 1798.38 s
1.57/1.65	c core #383
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 383
1.57/1.65	c Elapsed CPU time: 1.62975 s	Remaining CPU time: 1798.37 s
1.57/1.66	c core #384
1.57/1.66	c Core size: 3	Core Weight: 1	Total Weight: 384
1.57/1.66	c Elapsed CPU time: 1.63575 s	Remaining CPU time: 1798.36 s
1.57/1.66	c core #385
1.57/1.66	c Core size: 3	Core Weight: 1	Total Weight: 385
1.57/1.66	c Elapsed CPU time: 1.64075 s	Remaining CPU time: 1798.36 s
1.57/1.67	c core #386
1.57/1.67	c Core size: 3	Core Weight: 1	Total Weight: 386
1.57/1.67	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 1798.35 s
1.57/1.68	c core #387
1.57/1.68	c Core size: 3	Core Weight: 1	Total Weight: 387
1.57/1.68	c Elapsed CPU time: 1.65175 s	Remaining CPU time: 1798.35 s
1.57/1.68	c core #388
1.57/1.68	c Core size: 3	Core Weight: 1	Total Weight: 388
1.57/1.68	c Elapsed CPU time: 1.65775 s	Remaining CPU time: 1798.34 s
1.57/1.69	c core #389
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 389
1.57/1.69	c Elapsed CPU time: 1.66275 s	Remaining CPU time: 1798.34 s
1.57/1.69	c core #390
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 390
1.57/1.69	c Elapsed CPU time: 1.66875 s	Remaining CPU time: 1798.33 s
1.57/1.70	c core #391
1.57/1.70	c Core size: 3	Core Weight: 1	Total Weight: 391
1.57/1.70	c Elapsed CPU time: 1.67274 s	Remaining CPU time: 1798.33 s
1.67/1.70	c core #392
1.67/1.70	c Core size: 3	Core Weight: 1	Total Weight: 392
1.67/1.70	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 1798.32 s
1.67/1.71	c core #393
1.67/1.71	c Core size: 3	Core Weight: 1	Total Weight: 393
1.67/1.71	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.67/1.71	c core #394
1.67/1.71	c Core size: 3	Core Weight: 1	Total Weight: 394
1.67/1.71	c Elapsed CPU time: 1.68974 s	Remaining CPU time: 1798.31 s
1.67/1.72	c core #395
1.67/1.72	c Core size: 3	Core Weight: 1	Total Weight: 395
1.67/1.72	c Elapsed CPU time: 1.69374 s	Remaining CPU time: 1798.31 s
1.67/1.72	c core #396
1.67/1.72	c Core size: 3	Core Weight: 1	Total Weight: 396
1.67/1.72	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 1798.3 s
1.67/1.73	c core #397
1.67/1.73	c Core size: 3	Core Weight: 1	Total Weight: 397
1.67/1.73	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 1798.3 s
1.67/1.74	c core #398
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 398
1.67/1.74	c Elapsed CPU time: 1.70974 s	Remaining CPU time: 1798.29 s
1.67/1.74	c core #399
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 399
1.67/1.74	c Elapsed CPU time: 1.71574 s	Remaining CPU time: 1798.28 s
1.67/1.75	c core #400
1.67/1.75	c Core size: 3	Core Weight: 1	Total Weight: 400
1.67/1.75	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.67/1.75	c core #401
1.67/1.75	c Core size: 3	Core Weight: 1	Total Weight: 401
1.67/1.75	c Elapsed CPU time: 1.72674 s	Remaining CPU time: 1798.27 s
1.67/1.76	c core #402
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 402
1.67/1.76	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 1798.27 s
1.67/1.76	c core #403
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 403
1.67/1.76	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.67/1.77	c core #404
1.67/1.77	c Core size: 3	Core Weight: 1	Total Weight: 404
1.67/1.77	c Elapsed CPU time: 1.74274 s	Remaining CPU time: 1798.26 s
1.67/1.78	c core #405
1.67/1.78	c Core size: 3	Core Weight: 1	Total Weight: 405
1.67/1.78	c Elapsed CPU time: 1.74773 s	Remaining CPU time: 1798.25 s
1.67/1.78	c core #406
1.67/1.78	c Core size: 3	Core Weight: 1	Total Weight: 406
1.67/1.78	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.67/1.79	c core #407
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 407
1.67/1.79	c Elapsed CPU time: 1.75973 s	Remaining CPU time: 1798.24 s
1.67/1.79	c core #408
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 408
1.67/1.79	c Elapsed CPU time: 1.76473 s	Remaining CPU time: 1798.24 s
1.77/1.80	c core #409
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 409
1.77/1.80	c Elapsed CPU time: 1.77073 s	Remaining CPU time: 1798.23 s
1.77/1.80	c core #410
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 410
1.77/1.80	c Elapsed CPU time: 1.77573 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #411
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 411
1.77/1.81	c Elapsed CPU time: 1.78073 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #412
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 412
1.77/1.81	c Elapsed CPU time: 1.78573 s	Remaining CPU time: 1798.21 s
1.77/1.82	c core #413
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 413
1.77/1.82	c Elapsed CPU time: 1.79073 s	Remaining CPU time: 1798.21 s
1.77/1.83	c core #414
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 414
1.77/1.83	c Elapsed CPU time: 1.79673 s	Remaining CPU time: 1798.2 s
1.77/1.83	c core #415
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 415
1.77/1.83	c Elapsed CPU time: 1.80173 s	Remaining CPU time: 1798.2 s
1.77/1.84	c core #416
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 416
1.77/1.84	c Elapsed CPU time: 1.80673 s	Remaining CPU time: 1798.19 s
1.77/1.84	c core #417
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 417
1.77/1.84	c Elapsed CPU time: 1.81272 s	Remaining CPU time: 1798.19 s
1.77/1.85	c core #418
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 418
1.77/1.85	c Elapsed CPU time: 1.81872 s	Remaining CPU time: 1798.18 s
1.77/1.85	c core #419
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 419
1.77/1.85	c Elapsed CPU time: 1.82372 s	Remaining CPU time: 1798.18 s
1.77/1.86	c core #420
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 420
1.77/1.86	c Elapsed CPU time: 1.82872 s	Remaining CPU time: 1798.17 s
1.77/1.87	c core #421
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 421
1.77/1.87	c Elapsed CPU time: 1.83472 s	Remaining CPU time: 1798.17 s
1.77/1.87	c core #422
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 422
1.77/1.87	c Elapsed CPU time: 1.84072 s	Remaining CPU time: 1798.16 s
1.77/1.88	c core #423
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 423
1.77/1.88	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.77/1.88	c core #424
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 424
1.77/1.88	c Elapsed CPU time: 1.85172 s	Remaining CPU time: 1798.15 s
1.77/1.89	c core #425
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 425
1.77/1.89	c Elapsed CPU time: 1.85772 s	Remaining CPU time: 1798.14 s
1.77/1.89	c core #426
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 426
1.77/1.89	c Elapsed CPU time: 1.86372 s	Remaining CPU time: 1798.14 s
1.87/1.90	c core #427
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 427
1.87/1.90	c Elapsed CPU time: 1.86871 s	Remaining CPU time: 1798.13 s
1.87/1.91	c core #428
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 428
1.87/1.91	c Elapsed CPU time: 1.87372 s	Remaining CPU time: 1798.13 s
1.87/1.91	c core #429
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 429
1.87/1.91	c Elapsed CPU time: 1.87971 s	Remaining CPU time: 1798.12 s
1.87/1.92	c core #430
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 430
1.87/1.92	c Elapsed CPU time: 1.88571 s	Remaining CPU time: 1798.11 s
1.87/1.92	c core #431
1.87/1.92	c Core size: 4	Core Weight: 1	Total Weight: 431
1.87/1.92	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
1.87/1.93	c core #432
1.87/1.93	c Core size: 4	Core Weight: 1	Total Weight: 432
1.87/1.93	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.87/1.93	c core #433
1.87/1.93	c Core size: 4	Core Weight: 1	Total Weight: 433
1.87/1.93	c Elapsed CPU time: 1.90171 s	Remaining CPU time: 1798.1 s
1.87/1.94	c core #434
1.87/1.94	c Core size: 4	Core Weight: 1	Total Weight: 434
1.87/1.94	c Elapsed CPU time: 1.90771 s	Remaining CPU time: 1798.09 s
1.87/1.95	c core #435
1.87/1.95	c Core size: 4	Core Weight: 1	Total Weight: 435
1.87/1.95	c Elapsed CPU time: 1.91371 s	Remaining CPU time: 1798.09 s
1.87/1.95	c core #436
1.87/1.95	c Core size: 4	Core Weight: 1	Total Weight: 436
1.87/1.95	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 1798.08 s
1.87/1.96	c core #437
1.87/1.96	c Core size: 4	Core Weight: 1	Total Weight: 437
1.87/1.96	c Elapsed CPU time: 1.92371 s	Remaining CPU time: 1798.08 s
1.87/1.96	c core #438
1.87/1.96	c Core size: 4	Core Weight: 1	Total Weight: 438
1.87/1.96	c Elapsed CPU time: 1.92971 s	Remaining CPU time: 1798.07 s
1.87/1.97	c core #439
1.87/1.97	c Core size: 4	Core Weight: 1	Total Weight: 439
1.87/1.97	c Elapsed CPU time: 1.93571 s	Remaining CPU time: 1798.06 s
1.87/1.98	c core #440
1.87/1.98	c Core size: 4	Core Weight: 1	Total Weight: 440
1.87/1.98	c Elapsed CPU time: 1.9417 s	Remaining CPU time: 1798.06 s
1.87/1.98	c core #441
1.87/1.98	c Core size: 4	Core Weight: 1	Total Weight: 441
1.87/1.98	c Elapsed CPU time: 1.9477 s	Remaining CPU time: 1798.05 s
1.87/1.99	c core #442
1.87/1.99	c Core size: 4	Core Weight: 1	Total Weight: 442
1.87/1.99	c Elapsed CPU time: 1.9537 s	Remaining CPU time: 1798.05 s
1.87/1.99	c core #443
1.87/1.99	c Core size: 4	Core Weight: 1	Total Weight: 443
1.87/1.99	c Elapsed CPU time: 1.9597 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #444
1.97/2.00	c Core size: 4	Core Weight: 1	Total Weight: 444
1.97/2.00	c Elapsed CPU time: 1.9647 s	Remaining CPU time: 1798.04 s
1.97/2.01	c core #445
1.97/2.01	c Core size: 4	Core Weight: 1	Total Weight: 445
1.97/2.01	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 1798.03 s
1.97/2.01	c core #446
1.97/2.01	c Core size: 4	Core Weight: 1	Total Weight: 446
1.97/2.01	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #447
1.97/2.02	c Core size: 4	Core Weight: 1	Total Weight: 447
1.97/2.02	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #448
1.97/2.02	c Core size: 4	Core Weight: 1	Total Weight: 448
1.97/2.02	c Elapsed CPU time: 1.9867 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #449
1.97/2.03	c Core size: 4	Core Weight: 1	Total Weight: 449
1.97/2.03	c Elapsed CPU time: 1.9927 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #450
1.97/2.03	c Core size: 4	Core Weight: 1	Total Weight: 450
1.97/2.03	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.97/2.04	c core #451
1.97/2.04	c Core size: 4	Core Weight: 1	Total Weight: 451
1.97/2.04	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.97/2.05	c core #452
1.97/2.05	c Core size: 4	Core Weight: 1	Total Weight: 452
1.97/2.05	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.97/2.05	c core #453
1.97/2.05	c Core size: 4	Core Weight: 1	Total Weight: 453
1.97/2.05	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #454
1.97/2.06	c Core size: 4	Core Weight: 1	Total Weight: 454
1.97/2.06	c Elapsed CPU time: 2.02269 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #455
1.97/2.06	c Core size: 4	Core Weight: 1	Total Weight: 455
1.97/2.06	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #456
1.97/2.07	c Core size: 4	Core Weight: 1	Total Weight: 456
1.97/2.07	c Elapsed CPU time: 2.03469 s	Remaining CPU time: 1797.97 s
1.97/2.08	c core #457
1.97/2.08	c Core size: 4	Core Weight: 1	Total Weight: 457
1.97/2.08	c Elapsed CPU time: 2.03969 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #458
1.97/2.08	c Core size: 4	Core Weight: 1	Total Weight: 458
1.97/2.08	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.97/2.09	c core #459
1.97/2.09	c Core size: 4	Core Weight: 1	Total Weight: 459
1.97/2.09	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.97/2.09	c core #460
1.97/2.09	c Core size: 4	Core Weight: 1	Total Weight: 460
1.97/2.09	c Elapsed CPU time: 2.05669 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #461
1.97/2.10	c Core size: 4	Core Weight: 1	Total Weight: 461
1.97/2.10	c Elapsed CPU time: 2.06269 s	Remaining CPU time: 1797.94 s
2.07/2.11	c core #462
2.07/2.11	c Core size: 4	Core Weight: 1	Total Weight: 462
2.07/2.11	c Elapsed CPU time: 2.06868 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #463
2.07/2.11	c Core size: 4	Core Weight: 1	Total Weight: 463
2.07/2.11	c Elapsed CPU time: 2.07468 s	Remaining CPU time: 1797.93 s
2.07/2.12	c core #464
2.07/2.12	c Core size: 4	Core Weight: 1	Total Weight: 464
2.07/2.12	c Elapsed CPU time: 2.08068 s	Remaining CPU time: 1797.92 s
2.07/2.12	c core #465
2.07/2.12	c Core size: 4	Core Weight: 1	Total Weight: 465
2.07/2.12	c Elapsed CPU time: 2.08668 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #466
2.07/2.13	c Core size: 4	Core Weight: 1	Total Weight: 466
2.07/2.13	c Elapsed CPU time: 2.09268 s	Remaining CPU time: 1797.91 s
2.07/2.14	c core #467
2.07/2.14	c Core size: 4	Core Weight: 1	Total Weight: 467
2.07/2.14	c Elapsed CPU time: 2.09868 s	Remaining CPU time: 1797.9 s
2.07/2.14	c core #468
2.07/2.14	c Core size: 5	Core Weight: 1	Total Weight: 468
2.07/2.14	c Elapsed CPU time: 2.10468 s	Remaining CPU time: 1797.9 s
2.07/2.15	c core #469
2.07/2.15	c Core size: 5	Core Weight: 1	Total Weight: 469
2.07/2.15	c Elapsed CPU time: 2.11068 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #470
2.07/2.15	c Core size: 5	Core Weight: 1	Total Weight: 470
2.07/2.15	c Elapsed CPU time: 2.11668 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #471
2.07/2.16	c Core size: 5	Core Weight: 1	Total Weight: 471
2.07/2.16	c Elapsed CPU time: 2.12268 s	Remaining CPU time: 1797.88 s
2.07/2.17	c core #472
2.07/2.17	c Core size: 5	Core Weight: 1	Total Weight: 472
2.07/2.17	c Elapsed CPU time: 2.12868 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #473
2.07/2.17	c Core size: 5	Core Weight: 1	Total Weight: 473
2.07/2.17	c Elapsed CPU time: 2.13468 s	Remaining CPU time: 1797.87 s
2.07/2.18	c core #474
2.07/2.18	c Core size: 5	Core Weight: 1	Total Weight: 474
2.07/2.18	c Elapsed CPU time: 2.14067 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #475
2.07/2.18	c Core size: 5	Core Weight: 1	Total Weight: 475
2.07/2.18	c Elapsed CPU time: 2.14667 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #476
2.07/2.19	c Core size: 5	Core Weight: 1	Total Weight: 476
2.07/2.19	c Elapsed CPU time: 2.15267 s	Remaining CPU time: 1797.85 s
2.07/2.20	c core #477
2.07/2.20	c Core size: 5	Core Weight: 1	Total Weight: 477
2.07/2.20	c Elapsed CPU time: 2.15867 s	Remaining CPU time: 1797.84 s
2.17/2.20	c core #478
2.17/2.20	c Core size: 5	Core Weight: 1	Total Weight: 478
2.17/2.20	c Elapsed CPU time: 2.16467 s	Remaining CPU time: 1797.84 s
2.17/2.21	c core #479
2.17/2.21	c Core size: 5	Core Weight: 1	Total Weight: 479
2.17/2.21	c Elapsed CPU time: 2.17067 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #480
2.17/2.21	c Core size: 5	Core Weight: 1	Total Weight: 480
2.17/2.21	c Elapsed CPU time: 2.17567 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #481
2.17/2.22	c Core size: 5	Core Weight: 1	Total Weight: 481
2.17/2.22	c Elapsed CPU time: 2.18167 s	Remaining CPU time: 1797.82 s
2.17/2.23	c core #482
2.17/2.23	c Core size: 5	Core Weight: 1	Total Weight: 482
2.17/2.23	c Elapsed CPU time: 2.18767 s	Remaining CPU time: 1797.81 s
2.17/2.23	c core #483
2.17/2.23	c Core size: 5	Core Weight: 1	Total Weight: 483
2.17/2.23	c Elapsed CPU time: 2.19367 s	Remaining CPU time: 1797.81 s
2.17/2.24	c core #484
2.17/2.24	c Core size: 5	Core Weight: 1	Total Weight: 484
2.17/2.24	c Elapsed CPU time: 2.19966 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #485
2.17/2.24	c Core size: 5	Core Weight: 1	Total Weight: 485
2.17/2.24	c Elapsed CPU time: 2.20566 s	Remaining CPU time: 1797.79 s
2.17/2.25	c core #486
2.17/2.25	c Core size: 5	Core Weight: 1	Total Weight: 486
2.17/2.25	c Elapsed CPU time: 2.21166 s	Remaining CPU time: 1797.79 s
2.17/2.26	c core #487
2.17/2.26	c Core size: 5	Core Weight: 1	Total Weight: 487
2.17/2.26	c Elapsed CPU time: 2.21766 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #488
2.17/2.26	c Core size: 5	Core Weight: 1	Total Weight: 488
2.17/2.26	c Elapsed CPU time: 2.22366 s	Remaining CPU time: 1797.78 s
2.17/2.27	c core #489
2.17/2.27	c Core size: 5	Core Weight: 1	Total Weight: 489
2.17/2.27	c Elapsed CPU time: 2.22966 s	Remaining CPU time: 1797.77 s
2.17/2.28	c core #490
2.17/2.28	c Core size: 5	Core Weight: 1	Total Weight: 490
2.17/2.28	c Elapsed CPU time: 2.23566 s	Remaining CPU time: 1797.76 s
2.17/2.28	c core #491
2.17/2.28	c Core size: 5	Core Weight: 1	Total Weight: 491
2.17/2.28	c Elapsed CPU time: 2.24166 s	Remaining CPU time: 1797.76 s
2.17/2.29	c core #492
2.17/2.29	c Core size: 5	Core Weight: 1	Total Weight: 492
2.17/2.29	c Elapsed CPU time: 2.24766 s	Remaining CPU time: 1797.75 s
2.17/2.29	c core #493
2.17/2.29	c Core size: 5	Core Weight: 1	Total Weight: 493
2.17/2.29	c Elapsed CPU time: 2.25366 s	Remaining CPU time: 1797.75 s
2.26/2.30	c core #494
2.26/2.30	c Core size: 5	Core Weight: 1	Total Weight: 494
2.26/2.30	c Elapsed CPU time: 2.26066 s	Remaining CPU time: 1797.74 s
2.26/2.31	c core #495
2.26/2.31	c Core size: 5	Core Weight: 1	Total Weight: 495
2.26/2.31	c Elapsed CPU time: 2.26666 s	Remaining CPU time: 1797.73 s
2.26/2.31	c core #496
2.26/2.31	c Core size: 5	Core Weight: 1	Total Weight: 496
2.26/2.31	c Elapsed CPU time: 2.27265 s	Remaining CPU time: 1797.73 s
2.26/2.32	c core #497
2.26/2.32	c Core size: 5	Core Weight: 1	Total Weight: 497
2.26/2.32	c Elapsed CPU time: 2.27865 s	Remaining CPU time: 1797.72 s
2.26/2.33	c core #498
2.26/2.33	c Core size: 5	Core Weight: 1	Total Weight: 498
2.26/2.33	c Elapsed CPU time: 2.28465 s	Remaining CPU time: 1797.72 s
2.26/2.33	c core #499
2.26/2.33	c Core size: 5	Core Weight: 1	Total Weight: 499
2.26/2.33	c Elapsed CPU time: 2.29065 s	Remaining CPU time: 1797.71 s
2.26/2.34	c core #500
2.26/2.34	c Core size: 5	Core Weight: 1	Total Weight: 500
2.26/2.34	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.26/2.34	c core #501
2.26/2.34	c Core size: 5	Core Weight: 1	Total Weight: 501
2.26/2.34	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.26/2.35	c core #502
2.26/2.35	c Core size: 5	Core Weight: 1	Total Weight: 502
2.26/2.35	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.26/2.36	c core #503
2.26/2.36	c Core size: 5	Core Weight: 1	Total Weight: 503
2.26/2.36	c Elapsed CPU time: 2.31465 s	Remaining CPU time: 1797.69 s
2.26/2.36	c core #504
2.26/2.36	c Core size: 5	Core Weight: 1	Total Weight: 504
2.26/2.36	c Elapsed CPU time: 2.32065 s	Remaining CPU time: 1797.68 s
2.26/2.37	c core #505
2.26/2.37	c Core size: 5	Core Weight: 1	Total Weight: 505
2.26/2.37	c Elapsed CPU time: 2.32665 s	Remaining CPU time: 1797.67 s
2.26/2.38	c core #506
2.26/2.38	c Core size: 5	Core Weight: 1	Total Weight: 506
2.26/2.38	c Elapsed CPU time: 2.33264 s	Remaining CPU time: 1797.67 s
2.26/2.38	c core #507
2.26/2.38	c Core size: 5	Core Weight: 1	Total Weight: 507
2.26/2.38	c Elapsed CPU time: 2.33864 s	Remaining CPU time: 1797.66 s
2.26/2.39	c core #508
2.26/2.39	c Core size: 5	Core Weight: 1	Total Weight: 508
2.26/2.39	c Elapsed CPU time: 2.34564 s	Remaining CPU time: 1797.65 s
2.26/2.39	c core #509
2.26/2.39	c Core size: 6	Core Weight: 1	Total Weight: 509
2.26/2.39	c Elapsed CPU time: 2.35164 s	Remaining CPU time: 1797.65 s
2.36/2.40	c core #510
2.36/2.40	c Core size: 5	Core Weight: 1	Total Weight: 510
2.36/2.40	c Elapsed CPU time: 2.35764 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #511
2.36/2.41	c Core size: 5	Core Weight: 1	Total Weight: 511
2.36/2.41	c Elapsed CPU time: 2.36364 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #512
2.36/2.41	c Core size: 5	Core Weight: 1	Total Weight: 512
2.36/2.41	c Elapsed CPU time: 2.36964 s	Remaining CPU time: 1797.63 s
2.36/2.42	c core #513
2.36/2.42	c Core size: 5	Core Weight: 1	Total Weight: 513
2.36/2.42	c Elapsed CPU time: 2.37564 s	Remaining CPU time: 1797.62 s
2.36/2.43	c core #514
2.36/2.43	c Core size: 5	Core Weight: 1	Total Weight: 514
2.36/2.43	c Elapsed CPU time: 2.38264 s	Remaining CPU time: 1797.62 s
2.36/2.43	c core #515
2.36/2.43	c Core size: 5	Core Weight: 1	Total Weight: 515
2.36/2.43	c Elapsed CPU time: 2.38864 s	Remaining CPU time: 1797.61 s
2.36/2.44	c core #516
2.36/2.44	c Core size: 5	Core Weight: 1	Total Weight: 516
2.36/2.44	c Elapsed CPU time: 2.39563 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #517
2.36/2.45	c Core size: 5	Core Weight: 1	Total Weight: 517
2.36/2.45	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #518
2.36/2.45	c Core size: 5	Core Weight: 1	Total Weight: 518
2.36/2.45	c Elapsed CPU time: 2.40863 s	Remaining CPU time: 1797.59 s
2.36/2.46	c core #519
2.36/2.46	c Core size: 5	Core Weight: 1	Total Weight: 519
2.36/2.46	c Elapsed CPU time: 2.41463 s	Remaining CPU time: 1797.59 s
2.36/2.47	c core #520
2.36/2.47	c Core size: 5	Core Weight: 1	Total Weight: 520
2.36/2.47	c Elapsed CPU time: 2.42063 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #521
2.36/2.47	c Core size: 5	Core Weight: 1	Total Weight: 521
2.36/2.47	c Elapsed CPU time: 2.42763 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #522
2.36/2.48	c Core size: 5	Core Weight: 1	Total Weight: 522
2.36/2.48	c Elapsed CPU time: 2.43363 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #523
2.36/2.48	c Core size: 5	Core Weight: 1	Total Weight: 523
2.36/2.48	c Elapsed CPU time: 2.44063 s	Remaining CPU time: 1797.56 s
2.36/2.49	c core #524
2.36/2.49	c Core size: 5	Core Weight: 1	Total Weight: 524
2.36/2.49	c Elapsed CPU time: 2.44663 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #525
2.46/2.50	c Core size: 5	Core Weight: 1	Total Weight: 525
2.46/2.50	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #526
2.46/2.50	c Core size: 5	Core Weight: 1	Total Weight: 526
2.46/2.50	c Elapsed CPU time: 2.45963 s	Remaining CPU time: 1797.54 s
2.46/2.51	c core #527
2.46/2.51	c Core size: 5	Core Weight: 1	Total Weight: 527
2.46/2.51	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #528
2.46/2.52	c Core size: 5	Core Weight: 1	Total Weight: 528
2.46/2.52	c Elapsed CPU time: 2.47262 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #529
2.46/2.52	c Core size: 5	Core Weight: 1	Total Weight: 529
2.46/2.52	c Elapsed CPU time: 2.47862 s	Remaining CPU time: 1797.52 s
2.46/2.53	c core #530
2.46/2.53	c Core size: 5	Core Weight: 1	Total Weight: 530
2.46/2.53	c Elapsed CPU time: 2.48462 s	Remaining CPU time: 1797.52 s
2.46/2.54	c core #531
2.46/2.54	c Core size: 5	Core Weight: 1	Total Weight: 531
2.46/2.54	c Elapsed CPU time: 2.49162 s	Remaining CPU time: 1797.51 s
2.46/2.54	c core #532
2.46/2.54	c Core size: 5	Core Weight: 1	Total Weight: 532
2.46/2.54	c Elapsed CPU time: 2.49762 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #533
2.46/2.55	c Core size: 5	Core Weight: 1	Total Weight: 533
2.46/2.55	c Elapsed CPU time: 2.50362 s	Remaining CPU time: 1797.5 s
2.46/2.56	c core #534
2.46/2.56	c Core size: 5	Core Weight: 1	Total Weight: 534
2.46/2.56	c Elapsed CPU time: 2.51062 s	Remaining CPU time: 1797.49 s
2.46/2.56	c core #535
2.46/2.56	c Core size: 5	Core Weight: 1	Total Weight: 535
2.46/2.56	c Elapsed CPU time: 2.51562 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #536
2.46/2.57	c Core size: 5	Core Weight: 1	Total Weight: 536
2.46/2.57	c Elapsed CPU time: 2.52262 s	Remaining CPU time: 1797.48 s
2.46/2.58	c core #537
2.46/2.58	c Core size: 5	Core Weight: 1	Total Weight: 537
2.46/2.58	c Elapsed CPU time: 2.52961 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #538
2.46/2.58	c Core size: 5	Core Weight: 1	Total Weight: 538
2.46/2.58	c Elapsed CPU time: 2.53561 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #539
2.46/2.59	c Core size: 5	Core Weight: 1	Total Weight: 539
2.46/2.59	c Elapsed CPU time: 2.54261 s	Remaining CPU time: 1797.46 s
2.55/2.60	c core #540
2.55/2.60	c Core size: 5	Core Weight: 1	Total Weight: 540
2.55/2.60	c Elapsed CPU time: 2.54861 s	Remaining CPU time: 1797.45 s
2.55/2.60	c core #541
2.55/2.60	c Core size: 5	Core Weight: 1	Total Weight: 541
2.55/2.60	c Elapsed CPU time: 2.55461 s	Remaining CPU time: 1797.45 s
2.55/2.61	c core #542
2.55/2.61	c Core size: 5	Core Weight: 1	Total Weight: 542
2.55/2.61	c Elapsed CPU time: 2.56161 s	Remaining CPU time: 1797.44 s
2.55/2.62	c core #543
2.55/2.62	c Core size: 5	Core Weight: 1	Total Weight: 543
2.55/2.62	c Elapsed CPU time: 2.56761 s	Remaining CPU time: 1797.43 s
2.55/2.62	c core #544
2.55/2.62	c Core size: 5	Core Weight: 1	Total Weight: 544
2.55/2.62	c Elapsed CPU time: 2.57461 s	Remaining CPU time: 1797.43 s
2.55/2.63	c core #545
2.55/2.63	c Core size: 5	Core Weight: 1	Total Weight: 545
2.55/2.63	c Elapsed CPU time: 2.58061 s	Remaining CPU time: 1797.42 s
2.55/2.64	c core #546
2.55/2.64	c Core size: 5	Core Weight: 1	Total Weight: 546
2.55/2.64	c Elapsed CPU time: 2.58761 s	Remaining CPU time: 1797.41 s
2.55/2.64	c core #547
2.55/2.64	c Core size: 5	Core Weight: 1	Total Weight: 547
2.55/2.64	c Elapsed CPU time: 2.59461 s	Remaining CPU time: 1797.41 s
2.55/2.65	c core #548
2.55/2.65	c Core size: 5	Core Weight: 1	Total Weight: 548
2.55/2.65	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.55/2.66	c core #549
2.55/2.66	c Core size: 5	Core Weight: 1	Total Weight: 549
2.55/2.66	c Elapsed CPU time: 2.6076 s	Remaining CPU time: 1797.39 s
2.55/2.66	c core #550
2.55/2.66	c Core size: 5	Core Weight: 1	Total Weight: 550
2.55/2.66	c Elapsed CPU time: 2.6146 s	Remaining CPU time: 1797.39 s
2.55/2.67	c core #551
2.55/2.67	c Core size: 5	Core Weight: 1	Total Weight: 551
2.55/2.67	c Elapsed CPU time: 2.6206 s	Remaining CPU time: 1797.38 s
2.55/2.68	c core #552
2.55/2.68	c Core size: 5	Core Weight: 1	Total Weight: 552
2.55/2.68	c Elapsed CPU time: 2.6276 s	Remaining CPU time: 1797.37 s
2.55/2.68	c core #553
2.55/2.68	c Core size: 5	Core Weight: 1	Total Weight: 553
2.55/2.68	c Elapsed CPU time: 2.6346 s	Remaining CPU time: 1797.37 s
2.55/2.69	c core #554
2.55/2.69	c Core size: 5	Core Weight: 1	Total Weight: 554
2.55/2.69	c Elapsed CPU time: 2.6416 s	Remaining CPU time: 1797.36 s
2.55/2.70	c core #555
2.55/2.70	c Core size: 5	Core Weight: 1	Total Weight: 555
2.65/2.70	c Elapsed CPU time: 2.6476 s	Remaining CPU time: 1797.35 s
2.65/2.70	c core #556
2.65/2.70	c Core size: 5	Core Weight: 1	Total Weight: 556
2.65/2.70	c Elapsed CPU time: 2.6546 s	Remaining CPU time: 1797.35 s
2.65/2.71	c core #557
2.65/2.71	c Core size: 5	Core Weight: 1	Total Weight: 557
2.65/2.71	c Elapsed CPU time: 2.6616 s	Remaining CPU time: 1797.34 s
2.65/2.72	c core #558
2.65/2.72	c Core size: 5	Core Weight: 1	Total Weight: 558
2.65/2.72	c Elapsed CPU time: 2.66759 s	Remaining CPU time: 1797.33 s
2.65/2.72	c core #559
2.65/2.72	c Core size: 5	Core Weight: 1	Total Weight: 559
2.65/2.72	c Elapsed CPU time: 2.67359 s	Remaining CPU time: 1797.33 s
2.65/2.73	c core #560
2.65/2.73	c Core size: 5	Core Weight: 1	Total Weight: 560
2.65/2.73	c Elapsed CPU time: 2.68059 s	Remaining CPU time: 1797.32 s
2.65/2.74	c core #561
2.65/2.74	c Core size: 5	Core Weight: 1	Total Weight: 561
2.65/2.74	c Elapsed CPU time: 2.68659 s	Remaining CPU time: 1797.31 s
2.65/2.74	c core #562
2.65/2.74	c Core size: 5	Core Weight: 1	Total Weight: 562
2.65/2.74	c Elapsed CPU time: 2.69259 s	Remaining CPU time: 1797.31 s
2.65/2.75	c core #563
2.65/2.75	c Core size: 5	Core Weight: 1	Total Weight: 563
2.65/2.75	c Elapsed CPU time: 2.69959 s	Remaining CPU time: 1797.3 s
2.65/2.76	c core #564
2.65/2.76	c Core size: 5	Core Weight: 1	Total Weight: 564
2.65/2.76	c Elapsed CPU time: 2.70559 s	Remaining CPU time: 1797.29 s
2.65/2.76	c core #565
2.65/2.76	c Core size: 5	Core Weight: 1	Total Weight: 565
2.65/2.76	c Elapsed CPU time: 2.71259 s	Remaining CPU time: 1797.29 s
2.65/2.77	c core #566
2.65/2.77	c Core size: 5	Core Weight: 1	Total Weight: 566
2.65/2.77	c Elapsed CPU time: 2.71959 s	Remaining CPU time: 1797.28 s
2.65/2.78	c core #567
2.65/2.78	c Core size: 5	Core Weight: 1	Total Weight: 567
2.65/2.78	c Elapsed CPU time: 2.72659 s	Remaining CPU time: 1797.27 s
2.65/2.78	c core #568
2.65/2.78	c Core size: 5	Core Weight: 1	Total Weight: 568
2.65/2.78	c Elapsed CPU time: 2.73358 s	Remaining CPU time: 1797.27 s
2.65/2.79	c core #569
2.65/2.79	c Core size: 5	Core Weight: 1	Total Weight: 569
2.65/2.79	c Elapsed CPU time: 2.74058 s	Remaining CPU time: 1797.26 s
2.75/2.80	c core #570
2.75/2.80	c Core size: 5	Core Weight: 1	Total Weight: 570
2.75/2.80	c Elapsed CPU time: 2.74658 s	Remaining CPU time: 1797.25 s
2.75/2.80	c core #571
2.75/2.80	c Core size: 5	Core Weight: 1	Total Weight: 571
2.75/2.80	c Elapsed CPU time: 2.75158 s	Remaining CPU time: 1797.25 s
2.75/2.81	c core #572
2.75/2.81	c Core size: 5	Core Weight: 1	Total Weight: 572
2.75/2.81	c Elapsed CPU time: 2.75758 s	Remaining CPU time: 1797.24 s
2.75/2.82	c core #573
2.75/2.82	c Core size: 5	Core Weight: 1	Total Weight: 573
2.75/2.82	c Elapsed CPU time: 2.76458 s	Remaining CPU time: 1797.24 s
2.75/2.82	c core #574
2.75/2.82	c Core size: 5	Core Weight: 1	Total Weight: 574
2.75/2.82	c Elapsed CPU time: 2.77158 s	Remaining CPU time: 1797.23 s
2.75/2.83	c core #575
2.75/2.83	c Core size: 5	Core Weight: 1	Total Weight: 575
2.75/2.83	c Elapsed CPU time: 2.77758 s	Remaining CPU time: 1797.22 s
2.75/2.84	c core #576
2.75/2.84	c Core size: 5	Core Weight: 1	Total Weight: 576
2.75/2.84	c Elapsed CPU time: 2.78358 s	Remaining CPU time: 1797.22 s
2.75/2.84	c core #577
2.75/2.84	c Core size: 5	Core Weight: 1	Total Weight: 577
2.75/2.84	c Elapsed CPU time: 2.79058 s	Remaining CPU time: 1797.21 s
2.75/2.85	c core #578
2.75/2.85	c Core size: 5	Core Weight: 1	Total Weight: 578
2.75/2.85	c Elapsed CPU time: 2.79757 s	Remaining CPU time: 1797.2 s
2.75/2.86	c core #579
2.75/2.86	c Core size: 5	Core Weight: 1	Total Weight: 579
2.75/2.86	c Elapsed CPU time: 2.80457 s	Remaining CPU time: 1797.2 s
2.75/2.87	c core #580
2.75/2.87	c Core size: 5	Core Weight: 1	Total Weight: 580
2.75/2.87	c Elapsed CPU time: 2.81057 s	Remaining CPU time: 1797.19 s
2.75/2.87	c core #581
2.75/2.87	c Core size: 5	Core Weight: 1	Total Weight: 581
2.75/2.87	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 1797.18 s
2.75/2.88	c core #582
2.75/2.88	c Core size: 5	Core Weight: 1	Total Weight: 582
2.75/2.88	c Elapsed CPU time: 2.82357 s	Remaining CPU time: 1797.18 s
2.75/2.89	c core #583
2.75/2.89	c Core size: 5	Core Weight: 1	Total Weight: 583
2.75/2.89	c Elapsed CPU time: 2.83057 s	Remaining CPU time: 1797.17 s
2.75/2.89	c core #584
2.75/2.89	c Core size: 5	Core Weight: 1	Total Weight: 584
2.75/2.89	c Elapsed CPU time: 2.83757 s	Remaining CPU time: 1797.16 s
2.85/2.90	c core #585
2.85/2.90	c Core size: 5	Core Weight: 1	Total Weight: 585
2.85/2.90	c Elapsed CPU time: 2.84457 s	Remaining CPU time: 1797.16 s
2.85/2.91	c core #586
2.85/2.91	c Core size: 5	Core Weight: 1	Total Weight: 586
2.85/2.91	c Elapsed CPU time: 2.85157 s	Remaining CPU time: 1797.15 s
2.85/2.91	c core #587
2.85/2.91	c Core size: 5	Core Weight: 1	Total Weight: 587
2.85/2.91	c Elapsed CPU time: 2.85757 s	Remaining CPU time: 1797.14 s
2.85/2.92	c core #588
2.85/2.92	c Core size: 5	Core Weight: 1	Total Weight: 588
2.85/2.92	c Elapsed CPU time: 2.86356 s	Remaining CPU time: 1797.14 s
2.85/2.93	c core #589
2.85/2.93	c Core size: 5	Core Weight: 1	Total Weight: 589
2.85/2.93	c Elapsed CPU time: 2.87056 s	Remaining CPU time: 1797.13 s
2.85/2.93	c core #590
2.85/2.93	c Core size: 5	Core Weight: 1	Total Weight: 590
2.85/2.93	c Elapsed CPU time: 2.87756 s	Remaining CPU time: 1797.12 s
2.85/2.94	c core #591
2.85/2.94	c Core size: 5	Core Weight: 1	Total Weight: 591
2.85/2.94	c Elapsed CPU time: 2.88456 s	Remaining CPU time: 1797.12 s
2.85/2.95	c core #592
2.85/2.95	c Core size: 5	Core Weight: 1	Total Weight: 592
2.85/2.95	c Elapsed CPU time: 2.89156 s	Remaining CPU time: 1797.11 s
2.85/2.95	c core #593
2.85/2.95	c Core size: 5	Core Weight: 1	Total Weight: 593
2.85/2.95	c Elapsed CPU time: 2.89856 s	Remaining CPU time: 1797.1 s
2.85/2.96	c core #594
2.85/2.96	c Core size: 5	Core Weight: 1	Total Weight: 594
2.85/2.96	c Elapsed CPU time: 2.90556 s	Remaining CPU time: 1797.09 s
2.85/2.97	c core #595
2.85/2.97	c Core size: 5	Core Weight: 1	Total Weight: 595
2.85/2.97	c Elapsed CPU time: 2.91256 s	Remaining CPU time: 1797.09 s
2.85/2.98	c core #596
2.85/2.98	c Core size: 5	Core Weight: 1	Total Weight: 596
2.85/2.98	c Elapsed CPU time: 2.91956 s	Remaining CPU time: 1797.08 s
2.85/2.98	c core #597
2.85/2.98	c Core size: 5	Core Weight: 1	Total Weight: 597
2.85/2.98	c Elapsed CPU time: 2.92656 s	Remaining CPU time: 1797.07 s
2.85/2.99	c core #598
2.85/2.99	c Core size: 5	Core Weight: 1	Total Weight: 598
2.85/2.99	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 1797.07 s
2.94/3.00	c core #599
2.94/3.00	c Core size: 5	Core Weight: 1	Total Weight: 599
2.94/3.00	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 1797.06 s
2.94/3.00	c core #600
2.94/3.00	c Core size: 9	Core Weight: 1	Total Weight: 600
2.94/3.00	c Elapsed CPU time: 2.94655 s	Remaining CPU time: 1797.05 s
2.94/3.01	c core #601
2.94/3.01	c Core size: 5	Core Weight: 1	Total Weight: 601
2.94/3.01	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 1797.05 s
2.94/3.02	c core #602
2.94/3.02	c Core size: 5	Core Weight: 1	Total Weight: 602
2.94/3.02	c Elapsed CPU time: 2.96055 s	Remaining CPU time: 1797.04 s
2.94/3.02	c core #603
2.94/3.02	c Core size: 5	Core Weight: 1	Total Weight: 603
2.94/3.02	c Elapsed CPU time: 2.96755 s	Remaining CPU time: 1797.03 s
2.94/3.03	c core #604
2.94/3.03	c Core size: 5	Core Weight: 1	Total Weight: 604
2.94/3.03	c Elapsed CPU time: 2.97455 s	Remaining CPU time: 1797.03 s
2.94/3.04	c core #605
2.94/3.04	c Core size: 7	Core Weight: 1	Total Weight: 605
2.94/3.04	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 1797.02 s
2.94/3.05	c core #606
2.94/3.05	c Core size: 5	Core Weight: 1	Total Weight: 606
2.94/3.05	c Elapsed CPU time: 2.98855 s	Remaining CPU time: 1797.01 s
2.94/3.05	c core #607
2.94/3.05	c Core size: 5	Core Weight: 1	Total Weight: 607
2.94/3.05	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 1797 s
2.94/3.06	c core #608
2.94/3.06	c Core size: 5	Core Weight: 1	Total Weight: 608
2.94/3.06	c Elapsed CPU time: 3.00154 s	Remaining CPU time: 1797 s
2.94/3.07	c core #609
2.94/3.07	c Core size: 5	Core Weight: 1	Total Weight: 609
2.94/3.07	c Elapsed CPU time: 3.00854 s	Remaining CPU time: 1796.99 s
2.94/3.07	c core #610
2.94/3.07	c Core size: 5	Core Weight: 1	Total Weight: 610
2.94/3.07	c Elapsed CPU time: 3.01554 s	Remaining CPU time: 1796.98 s
2.94/3.08	c core #611
2.94/3.08	c Core size: 7	Core Weight: 1	Total Weight: 611
2.94/3.08	c Elapsed CPU time: 3.02154 s	Remaining CPU time: 1796.98 s
2.94/3.09	c core #612
2.94/3.09	c Core size: 5	Core Weight: 1	Total Weight: 612
2.94/3.09	c Elapsed CPU time: 3.02754 s	Remaining CPU time: 1796.97 s
2.94/3.09	c core #613
2.94/3.09	c Core size: 5	Core Weight: 1	Total Weight: 613
2.94/3.09	c Elapsed CPU time: 3.03454 s	Remaining CPU time: 1796.97 s
3.05/3.10	c core #614
3.05/3.10	c Core size: 5	Core Weight: 1	Total Weight: 614
3.05/3.10	c Elapsed CPU time: 3.04054 s	Remaining CPU time: 1796.96 s
3.05/3.11	c core #615
3.05/3.11	c Core size: 5	Core Weight: 1	Total Weight: 615
3.05/3.11	c Elapsed CPU time: 3.04754 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #616
3.05/3.12	c Core size: 5	Core Weight: 1	Total Weight: 616
3.05/3.12	c Elapsed CPU time: 3.05454 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #617
3.05/3.12	c Core size: 5	Core Weight: 1	Total Weight: 617
3.05/3.12	c Elapsed CPU time: 3.06153 s	Remaining CPU time: 1796.94 s
3.05/3.13	c core #618
3.05/3.13	c Core size: 5	Core Weight: 1	Total Weight: 618
3.05/3.13	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
3.05/3.14	c core #619
3.05/3.14	c Core size: 5	Core Weight: 1	Total Weight: 619
3.05/3.14	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 1796.92 s
3.05/3.14	c core #620
3.05/3.14	c Core size: 5	Core Weight: 1	Total Weight: 620
3.05/3.14	c Elapsed CPU time: 3.08253 s	Remaining CPU time: 1796.92 s
3.05/3.15	c core #621
3.05/3.15	c Core size: 5	Core Weight: 1	Total Weight: 621
3.05/3.15	c Elapsed CPU time: 3.08953 s	Remaining CPU time: 1796.91 s
3.05/3.16	c core #622
3.05/3.16	c Core size: 5	Core Weight: 1	Total Weight: 622
3.05/3.16	c Elapsed CPU time: 3.09753 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #623
3.05/3.17	c Core size: 5	Core Weight: 1	Total Weight: 623
3.05/3.17	c Elapsed CPU time: 3.10453 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #624
3.05/3.17	c Core size: 5	Core Weight: 1	Total Weight: 624
3.05/3.17	c Elapsed CPU time: 3.11153 s	Remaining CPU time: 1796.89 s
3.05/3.18	c core #625
3.05/3.18	c Core size: 5	Core Weight: 1	Total Weight: 625
3.05/3.18	c Elapsed CPU time: 3.11852 s	Remaining CPU time: 1796.88 s
3.05/3.19	c core #626
3.05/3.19	c Core size: 5	Core Weight: 1	Total Weight: 626
3.05/3.19	c Elapsed CPU time: 3.12552 s	Remaining CPU time: 1796.87 s
3.05/3.19	c core #627
3.05/3.19	c Core size: 5	Core Weight: 1	Total Weight: 627
3.05/3.19	c Elapsed CPU time: 3.13252 s	Remaining CPU time: 1796.87 s
3.15/3.20	c core #628
3.15/3.20	c Core size: 5	Core Weight: 1	Total Weight: 628
3.15/3.20	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.15/3.21	c core #629
3.15/3.21	c Core size: 5	Core Weight: 1	Total Weight: 629
3.15/3.21	c Elapsed CPU time: 3.14552 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #630
3.15/3.22	c Core size: 5	Core Weight: 1	Total Weight: 630
3.15/3.22	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #631
3.15/3.22	c Core size: 5	Core Weight: 1	Total Weight: 631
3.15/3.22	c Elapsed CPU time: 3.15852 s	Remaining CPU time: 1796.84 s
3.15/3.23	c core #632
3.15/3.23	c Core size: 5	Core Weight: 1	Total Weight: 632
3.15/3.23	c Elapsed CPU time: 3.16552 s	Remaining CPU time: 1796.83 s
3.15/3.24	c core #633
3.15/3.24	c Core size: 5	Core Weight: 1	Total Weight: 633
3.15/3.24	c Elapsed CPU time: 3.17352 s	Remaining CPU time: 1796.83 s
3.15/3.24	c core #634
3.15/3.24	c Core size: 5	Core Weight: 1	Total Weight: 634
3.15/3.24	c Elapsed CPU time: 3.18052 s	Remaining CPU time: 1796.82 s
3.15/3.25	c core #635
3.15/3.25	c Core size: 5	Core Weight: 1	Total Weight: 635
3.15/3.25	c Elapsed CPU time: 3.18751 s	Remaining CPU time: 1796.81 s
3.15/3.26	c core #636
3.15/3.26	c Core size: 5	Core Weight: 1	Total Weight: 636
3.15/3.26	c Elapsed CPU time: 3.19451 s	Remaining CPU time: 1796.81 s
3.15/3.27	c core #637
3.15/3.27	c Core size: 5	Core Weight: 1	Total Weight: 637
3.15/3.27	c Elapsed CPU time: 3.20151 s	Remaining CPU time: 1796.8 s
3.15/3.27	c core #638
3.15/3.27	c Core size: 5	Core Weight: 1	Total Weight: 638
3.15/3.27	c Elapsed CPU time: 3.20851 s	Remaining CPU time: 1796.79 s
3.15/3.28	c core #639
3.15/3.28	c Core size: 5	Core Weight: 1	Total Weight: 639
3.15/3.28	c Elapsed CPU time: 3.21551 s	Remaining CPU time: 1796.78 s
3.15/3.29	c core #640
3.15/3.29	c Core size: 5	Core Weight: 1	Total Weight: 640
3.15/3.29	c Elapsed CPU time: 3.22251 s	Remaining CPU time: 1796.78 s
3.15/3.29	c core #641
3.15/3.29	c Core size: 5	Core Weight: 1	Total Weight: 641
3.15/3.29	c Elapsed CPU time: 3.22951 s	Remaining CPU time: 1796.77 s
3.25/3.30	c core #642
3.25/3.30	c Core size: 5	Core Weight: 1	Total Weight: 642
3.25/3.30	c Elapsed CPU time: 3.23651 s	Remaining CPU time: 1796.76 s
3.25/3.31	c core #643
3.25/3.31	c Core size: 5	Core Weight: 1	Total Weight: 643
3.25/3.31	c Elapsed CPU time: 3.24351 s	Remaining CPU time: 1796.76 s
3.25/3.32	c core #644
3.25/3.32	c Core size: 5	Core Weight: 1	Total Weight: 644
3.25/3.32	c Elapsed CPU time: 3.2505 s	Remaining CPU time: 1796.75 s
3.25/3.32	c core #645
3.25/3.32	c Core size: 5	Core Weight: 1	Total Weight: 645
3.25/3.32	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 1796.74 s
3.25/3.33	c core #646
3.25/3.33	c Core size: 5	Core Weight: 1	Total Weight: 646
3.25/3.33	c Elapsed CPU time: 3.2655 s	Remaining CPU time: 1796.73 s
3.25/3.34	c core #647
3.25/3.34	c Core size: 5	Core Weight: 1	Total Weight: 647
3.25/3.34	c Elapsed CPU time: 3.2725 s	Remaining CPU time: 1796.73 s
3.25/3.35	c core #648
3.25/3.35	c Core size: 5	Core Weight: 1	Total Weight: 648
3.25/3.35	c Elapsed CPU time: 3.2795 s	Remaining CPU time: 1796.72 s
3.25/3.35	c core #649
3.25/3.35	c Core size: 5	Core Weight: 1	Total Weight: 649
3.25/3.35	c Elapsed CPU time: 3.2865 s	Remaining CPU time: 1796.71 s
3.25/3.36	c core #650
3.25/3.36	c Core size: 5	Core Weight: 1	Total Weight: 650
3.25/3.36	c Elapsed CPU time: 3.2935 s	Remaining CPU time: 1796.71 s
3.25/3.37	c core #651
3.25/3.37	c Core size: 9	Core Weight: 1	Total Weight: 651
3.25/3.37	c Elapsed CPU time: 3.3005 s	Remaining CPU time: 1796.7 s
3.25/3.37	c core #652
3.25/3.37	c Core size: 5	Core Weight: 1	Total Weight: 652
3.25/3.37	c Elapsed CPU time: 3.3075 s	Remaining CPU time: 1796.69 s
3.25/3.38	c core #653
3.25/3.38	c Core size: 5	Core Weight: 1	Total Weight: 653
3.25/3.38	c Elapsed CPU time: 3.3145 s	Remaining CPU time: 1796.69 s
3.25/3.39	c core #654
3.25/3.39	c Core size: 5	Core Weight: 1	Total Weight: 654
3.25/3.39	c Elapsed CPU time: 3.3215 s	Remaining CPU time: 1796.68 s
3.25/3.40	c core #655
3.25/3.40	c Core size: 5	Core Weight: 1	Total Weight: 655
3.25/3.40	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.34/3.40	c core #656
3.34/3.40	c Core size: 5	Core Weight: 1	Total Weight: 656
3.34/3.40	c Elapsed CPU time: 3.33649 s	Remaining CPU time: 1796.66 s
3.34/3.41	c core #657
3.34/3.41	c Core size: 5	Core Weight: 1	Total Weight: 657
3.34/3.41	c Elapsed CPU time: 3.34349 s	Remaining CPU time: 1796.66 s
3.34/3.42	c core #658
3.34/3.42	c Core size: 5	Core Weight: 1	Total Weight: 658
3.34/3.42	c Elapsed CPU time: 3.35049 s	Remaining CPU time: 1796.65 s
3.34/3.43	c core #659
3.34/3.43	c Core size: 5	Core Weight: 1	Total Weight: 659
3.34/3.43	c Elapsed CPU time: 3.35849 s	Remaining CPU time: 1796.64 s
3.34/3.43	c core #660
3.34/3.43	c Core size: 5	Core Weight: 1	Total Weight: 660
3.34/3.43	c Elapsed CPU time: 3.36549 s	Remaining CPU time: 1796.63 s
3.34/3.44	c core #661
3.34/3.44	c Core size: 5	Core Weight: 1	Total Weight: 661
3.34/3.44	c Elapsed CPU time: 3.37249 s	Remaining CPU time: 1796.63 s
3.34/3.45	c core #662
3.34/3.45	c Core size: 5	Core Weight: 1	Total Weight: 662
3.34/3.45	c Elapsed CPU time: 3.37949 s	Remaining CPU time: 1796.62 s
3.34/3.46	c core #663
3.34/3.46	c Core size: 5	Core Weight: 1	Total Weight: 663
3.34/3.46	c Elapsed CPU time: 3.38648 s	Remaining CPU time: 1796.61 s
3.34/3.46	c core #664
3.34/3.46	c Core size: 5	Core Weight: 1	Total Weight: 664
3.34/3.46	c Elapsed CPU time: 3.39348 s	Remaining CPU time: 1796.61 s
3.34/3.47	c core #665
3.34/3.47	c Core size: 5	Core Weight: 1	Total Weight: 665
3.34/3.47	c Elapsed CPU time: 3.40048 s	Remaining CPU time: 1796.6 s
3.34/3.48	c core #666
3.34/3.48	c Core size: 5	Core Weight: 1	Total Weight: 666
3.34/3.48	c Elapsed CPU time: 3.40848 s	Remaining CPU time: 1796.59 s
3.34/3.48	c core #667
3.34/3.48	c Core size: 5	Core Weight: 1	Total Weight: 667
3.34/3.48	c Elapsed CPU time: 3.41548 s	Remaining CPU time: 1796.58 s
3.34/3.49	c core #668
3.34/3.49	c Core size: 5	Core Weight: 1	Total Weight: 668
3.34/3.49	c Elapsed CPU time: 3.42248 s	Remaining CPU time: 1796.58 s
3.44/3.50	c core #669
3.44/3.50	c Core size: 5	Core Weight: 1	Total Weight: 669
3.44/3.50	c Elapsed CPU time: 3.43048 s	Remaining CPU time: 1796.57 s
3.44/3.51	c core #670
3.44/3.51	c Core size: 5	Core Weight: 1	Total Weight: 670
3.44/3.51	c Elapsed CPU time: 3.43748 s	Remaining CPU time: 1796.56 s
3.44/3.51	c core #671
3.44/3.51	c Core size: 5	Core Weight: 1	Total Weight: 671
3.44/3.51	c Elapsed CPU time: 3.44448 s	Remaining CPU time: 1796.56 s
3.44/3.52	c core #672
3.44/3.52	c Core size: 5	Core Weight: 1	Total Weight: 672
3.44/3.52	c Elapsed CPU time: 3.45248 s	Remaining CPU time: 1796.55 s
3.44/3.53	c core #673
3.44/3.53	c Core size: 5	Core Weight: 1	Total Weight: 673
3.44/3.53	c Elapsed CPU time: 3.45947 s	Remaining CPU time: 1796.54 s
3.44/3.54	c core #674
3.44/3.54	c Core size: 5	Core Weight: 1	Total Weight: 674
3.44/3.54	c Elapsed CPU time: 3.46647 s	Remaining CPU time: 1796.53 s
3.44/3.54	c core #675
3.44/3.54	c Core size: 5	Core Weight: 1	Total Weight: 675
3.44/3.54	c Elapsed CPU time: 3.47347 s	Remaining CPU time: 1796.53 s
3.44/3.55	c core #676
3.44/3.55	c Core size: 5	Core Weight: 1	Total Weight: 676
3.44/3.55	c Elapsed CPU time: 3.48047 s	Remaining CPU time: 1796.52 s
3.44/3.56	c core #677
3.44/3.56	c Core size: 5	Core Weight: 1	Total Weight: 677
3.44/3.56	c Elapsed CPU time: 3.48747 s	Remaining CPU time: 1796.51 s
3.44/3.57	c core #678
3.44/3.57	c Core size: 5	Core Weight: 1	Total Weight: 678
3.44/3.57	c Elapsed CPU time: 3.49447 s	Remaining CPU time: 1796.51 s
3.44/3.57	c core #679
3.44/3.57	c Core size: 5	Core Weight: 1	Total Weight: 679
3.44/3.57	c Elapsed CPU time: 3.50147 s	Remaining CPU time: 1796.5 s
3.44/3.58	c core #680
3.44/3.58	c Core size: 5	Core Weight: 1	Total Weight: 680
3.44/3.58	c Elapsed CPU time: 3.50847 s	Remaining CPU time: 1796.49 s
3.44/3.59	c core #681
3.44/3.59	c Core size: 5	Core Weight: 1	Total Weight: 681
3.44/3.59	c Elapsed CPU time: 3.51546 s	Remaining CPU time: 1796.48 s
3.44/3.60	c core #682
3.44/3.60	c Core size: 5	Core Weight: 1	Total Weight: 682
3.44/3.60	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.54/3.60	c core #683
3.54/3.60	c Core size: 5	Core Weight: 1	Total Weight: 683
3.54/3.60	c Elapsed CPU time: 3.53046 s	Remaining CPU time: 1796.47 s
3.54/3.61	c core #684
3.54/3.61	c Core size: 5	Core Weight: 1	Total Weight: 684
3.54/3.61	c Elapsed CPU time: 3.53746 s	Remaining CPU time: 1796.46 s
3.54/3.62	c core #685
3.54/3.62	c Core size: 5	Core Weight: 1	Total Weight: 685
3.54/3.62	c Elapsed CPU time: 3.54446 s	Remaining CPU time: 1796.46 s
3.54/3.62	c core #686
3.54/3.62	c Core size: 5	Core Weight: 1	Total Weight: 686
3.54/3.62	c Elapsed CPU time: 3.55146 s	Remaining CPU time: 1796.45 s
3.54/3.63	c core #687
3.54/3.63	c Core size: 5	Core Weight: 1	Total Weight: 687
3.54/3.63	c Elapsed CPU time: 3.55946 s	Remaining CPU time: 1796.44 s
3.54/3.64	c core #688
3.54/3.64	c Core size: 5	Core Weight: 1	Total Weight: 688
3.54/3.64	c Elapsed CPU time: 3.56646 s	Remaining CPU time: 1796.43 s
3.54/3.65	c core #689
3.54/3.65	c Core size: 5	Core Weight: 1	Total Weight: 689
3.54/3.65	c Elapsed CPU time: 3.57446 s	Remaining CPU time: 1796.43 s
3.54/3.66	c core #690
3.54/3.66	c Core size: 5	Core Weight: 1	Total Weight: 690
3.54/3.66	c Elapsed CPU time: 3.58146 s	Remaining CPU time: 1796.42 s
3.54/3.66	c core #691
3.54/3.66	c Core size: 5	Core Weight: 1	Total Weight: 691
3.54/3.66	c Elapsed CPU time: 3.58945 s	Remaining CPU time: 1796.41 s
3.54/3.67	c core #692
3.54/3.67	c Core size: 5	Core Weight: 1	Total Weight: 692
3.54/3.67	c Elapsed CPU time: 3.59745 s	Remaining CPU time: 1796.4 s
3.54/3.68	c core #693
3.54/3.68	c Core size: 5	Core Weight: 1	Total Weight: 693
3.54/3.68	c Elapsed CPU time: 3.60445 s	Remaining CPU time: 1796.4 s
3.54/3.69	c core #694
3.54/3.69	c Core size: 5	Core Weight: 1	Total Weight: 694
3.54/3.69	c Elapsed CPU time: 3.61245 s	Remaining CPU time: 1796.39 s
3.54/3.69	c core #695
3.54/3.69	c Core size: 5	Core Weight: 1	Total Weight: 695
3.54/3.69	c Elapsed CPU time: 3.61945 s	Remaining CPU time: 1796.38 s
3.64/3.70	c core #696
3.64/3.70	c Core size: 5	Core Weight: 1	Total Weight: 696
3.64/3.70	c Elapsed CPU time: 3.62745 s	Remaining CPU time: 1796.37 s
3.64/3.71	c core #697
3.64/3.71	c Core size: 5	Core Weight: 1	Total Weight: 697
3.64/3.71	c Elapsed CPU time: 3.63445 s	Remaining CPU time: 1796.37 s
3.64/3.72	c core #698
3.64/3.72	c Core size: 5	Core Weight: 1	Total Weight: 698
3.64/3.72	c Elapsed CPU time: 3.64145 s	Remaining CPU time: 1796.36 s
3.64/3.72	c core #699
3.64/3.72	c Core size: 5	Core Weight: 1	Total Weight: 699
3.64/3.72	c Elapsed CPU time: 3.64845 s	Remaining CPU time: 1796.35 s
3.64/3.73	c core #700
3.64/3.73	c Core size: 5	Core Weight: 1	Total Weight: 700
3.64/3.73	c Elapsed CPU time: 3.65544 s	Remaining CPU time: 1796.34 s
3.64/3.74	c core #701
3.64/3.74	c Core size: 5	Core Weight: 1	Total Weight: 701
3.64/3.74	c Elapsed CPU time: 3.66244 s	Remaining CPU time: 1796.34 s
3.64/3.75	c core #702
3.64/3.75	c Core size: 5	Core Weight: 1	Total Weight: 702
3.64/3.75	c Elapsed CPU time: 3.67044 s	Remaining CPU time: 1796.33 s
3.64/3.75	c core #703
3.64/3.75	c Core size: 5	Core Weight: 1	Total Weight: 703
3.64/3.75	c Elapsed CPU time: 3.67744 s	Remaining CPU time: 1796.32 s
3.64/3.76	c core #704
3.64/3.76	c Core size: 5	Core Weight: 1	Total Weight: 704
3.64/3.76	c Elapsed CPU time: 3.68544 s	Remaining CPU time: 1796.31 s
3.64/3.77	c core #705
3.64/3.77	c Core size: 5	Core Weight: 1	Total Weight: 705
3.64/3.77	c Elapsed CPU time: 3.69344 s	Remaining CPU time: 1796.31 s
3.64/3.78	c core #706
3.64/3.78	c Core size: 5	Core Weight: 1	Total Weight: 706
3.64/3.78	c Elapsed CPU time: 3.70044 s	Remaining CPU time: 1796.3 s
3.64/3.78	c core #707
3.64/3.78	c Core size: 5	Core Weight: 1	Total Weight: 707
3.64/3.78	c Elapsed CPU time: 3.70844 s	Remaining CPU time: 1796.29 s
3.64/3.79	c core #708
3.64/3.79	c Core size: 5	Core Weight: 1	Total Weight: 708
3.64/3.79	c Elapsed CPU time: 3.71544 s	Remaining CPU time: 1796.28 s
3.74/3.80	c core #709
3.74/3.80	c Core size: 5	Core Weight: 1	Total Weight: 709
3.74/3.80	c Elapsed CPU time: 3.72343 s	Remaining CPU time: 1796.28 s
3.74/3.81	c core #710
3.74/3.81	c Core size: 5	Core Weight: 1	Total Weight: 710
3.74/3.81	c Elapsed CPU time: 3.73043 s	Remaining CPU time: 1796.27 s
3.74/3.81	c core #711
3.74/3.81	c Core size: 5	Core Weight: 1	Total Weight: 711
3.74/3.81	c Elapsed CPU time: 3.73743 s	Remaining CPU time: 1796.26 s
3.74/3.82	c core #712
3.74/3.82	c Core size: 5	Core Weight: 1	Total Weight: 712
3.74/3.82	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
3.74/3.83	c core #713
3.74/3.83	c Core size: 5	Core Weight: 1	Total Weight: 713
3.74/3.83	c Elapsed CPU time: 3.75243 s	Remaining CPU time: 1796.25 s
3.74/3.84	c core #714
3.74/3.84	c Core size: 5	Core Weight: 1	Total Weight: 714
3.74/3.84	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.74/3.84	c core #715
3.74/3.84	c Core size: 5	Core Weight: 1	Total Weight: 715
3.74/3.84	c Elapsed CPU time: 3.76743 s	Remaining CPU time: 1796.23 s
3.74/3.85	c core #716
3.74/3.85	c Core size: 5	Core Weight: 1	Total Weight: 716
3.74/3.85	c Elapsed CPU time: 3.77443 s	Remaining CPU time: 1796.23 s
3.74/3.86	c core #717
3.74/3.86	c Core size: 5	Core Weight: 1	Total Weight: 717
3.74/3.86	c Elapsed CPU time: 3.78242 s	Remaining CPU time: 1796.22 s
3.74/3.87	c core #718
3.74/3.87	c Core size: 5	Core Weight: 1	Total Weight: 718
3.74/3.87	c Elapsed CPU time: 3.78942 s	Remaining CPU time: 1796.21 s
3.74/3.87	c core #719
3.74/3.87	c Core size: 5	Core Weight: 1	Total Weight: 719
3.74/3.87	c Elapsed CPU time: 3.79742 s	Remaining CPU time: 1796.2 s
3.74/3.88	c core #720
3.74/3.88	c Core size: 5	Core Weight: 1	Total Weight: 720
3.74/3.88	c Elapsed CPU time: 3.80542 s	Remaining CPU time: 1796.19 s
3.74/3.89	c core #721
3.74/3.89	c Core size: 5	Core Weight: 1	Total Weight: 721
3.74/3.89	c Elapsed CPU time: 3.81242 s	Remaining CPU time: 1796.19 s
3.83/3.90	c core #722
3.83/3.90	c Core size: 5	Core Weight: 1	Total Weight: 722
3.83/3.90	c Elapsed CPU time: 3.81942 s	Remaining CPU time: 1796.18 s
3.83/3.91	c core #723
3.83/3.91	c Core size: 5	Core Weight: 1	Total Weight: 723
3.83/3.91	c Elapsed CPU time: 3.82742 s	Remaining CPU time: 1796.17 s
3.83/3.91	c core #724
3.83/3.91	c Core size: 5	Core Weight: 1	Total Weight: 724
3.83/3.91	c Elapsed CPU time: 3.83542 s	Remaining CPU time: 1796.16 s
3.83/3.92	c core #725
3.83/3.92	c Core size: 5	Core Weight: 1	Total Weight: 725
3.83/3.92	c Elapsed CPU time: 3.84241 s	Remaining CPU time: 1796.16 s
3.83/3.93	c core #726
3.83/3.93	c Core size: 5	Core Weight: 1	Total Weight: 726
3.83/3.93	c Elapsed CPU time: 3.85041 s	Remaining CPU time: 1796.15 s
3.83/3.94	c core #727
3.83/3.94	c Core size: 5	Core Weight: 1	Total Weight: 727
3.83/3.94	c Elapsed CPU time: 3.85841 s	Remaining CPU time: 1796.14 s
3.83/3.94	c core #728
3.83/3.94	c Core size: 5	Core Weight: 1	Total Weight: 728
3.83/3.94	c Elapsed CPU time: 3.86641 s	Remaining CPU time: 1796.13 s
3.83/3.95	c core #729
3.83/3.95	c Core size: 5	Core Weight: 1	Total Weight: 729
3.83/3.95	c Elapsed CPU time: 3.87341 s	Remaining CPU time: 1796.13 s
3.83/3.96	c core #730
3.83/3.96	c Core size: 5	Core Weight: 1	Total Weight: 730
3.83/3.96	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.83/3.97	c core #731
3.83/3.97	c Core size: 5	Core Weight: 1	Total Weight: 731
3.83/3.97	c Elapsed CPU time: 3.88841 s	Remaining CPU time: 1796.11 s
3.83/3.98	c core #732
3.83/3.98	c Core size: 5	Core Weight: 1	Total Weight: 732
3.83/3.98	c Elapsed CPU time: 3.89541 s	Remaining CPU time: 1796.1 s
3.83/3.98	c core #733
3.83/3.98	c Core size: 5	Core Weight: 1	Total Weight: 733
3.83/3.98	c Elapsed CPU time: 3.90341 s	Remaining CPU time: 1796.1 s
3.83/3.99	c core #734
3.83/3.99	c Core size: 5	Core Weight: 1	Total Weight: 734
3.83/3.99	c Elapsed CPU time: 3.91141 s	Remaining CPU time: 1796.09 s
3.93/4.00	c core #735
3.93/4.00	c Core size: 5	Core Weight: 1	Total Weight: 735
3.93/4.00	c Elapsed CPU time: 3.9194 s	Remaining CPU time: 1796.08 s
3.93/4.01	c core #736
3.93/4.01	c Core size: 5	Core Weight: 1	Total Weight: 736
3.93/4.01	c Elapsed CPU time: 3.9274 s	Remaining CPU time: 1796.07 s
3.93/4.01	c core #737
3.93/4.01	c Core size: 5	Core Weight: 1	Total Weight: 737
3.93/4.01	c Elapsed CPU time: 3.9344 s	Remaining CPU time: 1796.07 s
3.93/4.02	c core #738
3.93/4.02	c Core size: 5	Core Weight: 1	Total Weight: 738
3.93/4.02	c Elapsed CPU time: 3.9414 s	Remaining CPU time: 1796.06 s
3.93/4.03	c core #739
3.93/4.03	c Core size: 5	Core Weight: 1	Total Weight: 739
3.93/4.03	c Elapsed CPU time: 3.9494 s	Remaining CPU time: 1796.05 s
3.93/4.04	c core #740
3.93/4.04	c Core size: 5	Core Weight: 1	Total Weight: 740
3.93/4.04	c Elapsed CPU time: 3.9574 s	Remaining CPU time: 1796.04 s
3.93/4.05	c core #741
3.93/4.05	c Core size: 5	Core Weight: 1	Total Weight: 741
3.93/4.05	c Elapsed CPU time: 3.9654 s	Remaining CPU time: 1796.03 s
3.93/4.05	c core #742
3.93/4.05	c Core size: 5	Core Weight: 1	Total Weight: 742
3.93/4.05	c Elapsed CPU time: 3.9724 s	Remaining CPU time: 1796.03 s
3.93/4.06	c core #743
3.93/4.06	c Core size: 27	Core Weight: 1	Total Weight: 743
3.93/4.06	c Elapsed CPU time: 3.98039 s	Remaining CPU time: 1796.02 s
3.93/4.07	c core #744
3.93/4.07	c Core size: 5	Core Weight: 1	Total Weight: 744
3.93/4.07	c Elapsed CPU time: 3.98839 s	Remaining CPU time: 1796.01 s
3.93/4.08	c core #745
3.93/4.08	c Core size: 5	Core Weight: 1	Total Weight: 745
3.93/4.08	c Elapsed CPU time: 3.99639 s	Remaining CPU time: 1796 s
3.93/4.08	c core #746
3.93/4.08	c Core size: 60	Core Weight: 1	Total Weight: 746
3.93/4.08	c Elapsed CPU time: 4.00339 s	Remaining CPU time: 1796 s
3.93/4.09	c core #747
3.93/4.09	c Core size: 5	Core Weight: 1	Total Weight: 747
3.93/4.09	c Elapsed CPU time: 4.01139 s	Remaining CPU time: 1795.99 s
4.03/4.10	c core #748
4.03/4.10	c Core size: 5	Core Weight: 1	Total Weight: 748
4.03/4.10	c Elapsed CPU time: 4.01939 s	Remaining CPU time: 1795.98 s
4.03/4.11	c core #749
4.03/4.11	c Core size: 5	Core Weight: 1	Total Weight: 749
4.03/4.11	c Elapsed CPU time: 4.02739 s	Remaining CPU time: 1795.97 s
4.03/4.12	c core #750
4.03/4.12	c Core size: 9	Core Weight: 1	Total Weight: 750
4.03/4.12	c Elapsed CPU time: 4.03539 s	Remaining CPU time: 1795.96 s
4.03/4.13	c core #751
4.03/4.13	c Core size: 9	Core Weight: 1	Total Weight: 751
4.03/4.13	c Elapsed CPU time: 4.04338 s	Remaining CPU time: 1795.96 s
4.03/4.13	c core #752
4.03/4.13	c Core size: 9	Core Weight: 1	Total Weight: 752
4.03/4.13	c Elapsed CPU time: 4.05138 s	Remaining CPU time: 1795.95 s
4.03/4.14	c core #753
4.03/4.14	c Core size: 9	Core Weight: 1	Total Weight: 753
4.03/4.14	c Elapsed CPU time: 4.05938 s	Remaining CPU time: 1795.94 s
4.03/4.15	c core #754
4.03/4.15	c Core size: 9	Core Weight: 1	Total Weight: 754
4.03/4.15	c Elapsed CPU time: 4.06738 s	Remaining CPU time: 1795.93 s
4.03/4.16	c core #755
4.03/4.16	c Core size: 9	Core Weight: 1	Total Weight: 755
4.03/4.16	c Elapsed CPU time: 4.07538 s	Remaining CPU time: 1795.92 s
4.03/4.17	c core #756
4.03/4.17	c Core size: 9	Core Weight: 1	Total Weight: 756
4.03/4.17	c Elapsed CPU time: 4.08338 s	Remaining CPU time: 1795.92 s
4.03/4.17	c core #757
4.03/4.17	c Core size: 9	Core Weight: 1	Total Weight: 757
4.03/4.17	c Elapsed CPU time: 4.09138 s	Remaining CPU time: 1795.91 s
4.03/4.18	c core #758
4.03/4.18	c Core size: 20	Core Weight: 1	Total Weight: 758
4.03/4.18	c Elapsed CPU time: 4.09938 s	Remaining CPU time: 1795.9 s
4.03/4.19	c core #759
4.03/4.19	c Core size: 20	Core Weight: 1	Total Weight: 759
4.03/4.19	c Elapsed CPU time: 4.10738 s	Remaining CPU time: 1795.89 s
4.13/4.20	c core #760
4.13/4.20	c Core size: 20	Core Weight: 1	Total Weight: 760
4.13/4.20	c Elapsed CPU time: 4.11537 s	Remaining CPU time: 1795.88 s
4.13/4.21	c core #761
4.13/4.21	c Core size: 20	Core Weight: 1	Total Weight: 761
4.13/4.21	c Elapsed CPU time: 4.12337 s	Remaining CPU time: 1795.88 s
4.13/4.21	c core #762
4.13/4.21	c Core size: 32	Core Weight: 1	Total Weight: 762
4.13/4.21	c Elapsed CPU time: 4.13137 s	Remaining CPU time: 1795.87 s
4.13/4.22	c core #763
4.13/4.22	c Core size: 5	Core Weight: 1	Total Weight: 763
4.13/4.22	c Elapsed CPU time: 4.13937 s	Remaining CPU time: 1795.86 s
4.13/4.23	c core #764
4.13/4.23	c Core size: 5	Core Weight: 1	Total Weight: 764
4.13/4.23	c Elapsed CPU time: 4.14737 s	Remaining CPU time: 1795.85 s
4.13/4.24	c core #765
4.13/4.24	c Core size: 5	Core Weight: 1	Total Weight: 765
4.13/4.24	c Elapsed CPU time: 4.15637 s	Remaining CPU time: 1795.84 s
4.13/4.25	c core #766
4.13/4.25	c Core size: 5	Core Weight: 1	Total Weight: 766
4.13/4.25	c Elapsed CPU time: 4.16437 s	Remaining CPU time: 1795.84 s
4.13/4.25	c core #767
4.13/4.25	c Core size: 5	Core Weight: 1	Total Weight: 767
4.13/4.25	c Elapsed CPU time: 4.17237 s	Remaining CPU time: 1795.83 s
4.13/4.26	c core #768
4.13/4.26	c Core size: 5	Core Weight: 1	Total Weight: 768
4.13/4.26	c Elapsed CPU time: 4.18036 s	Remaining CPU time: 1795.82 s
4.13/4.27	c core #769
4.13/4.27	c Core size: 5	Core Weight: 1	Total Weight: 769
4.13/4.27	c Elapsed CPU time: 4.18836 s	Remaining CPU time: 1795.81 s
4.13/4.28	c core #770
4.13/4.28	c Core size: 5	Core Weight: 1	Total Weight: 770
4.13/4.28	c Elapsed CPU time: 4.19636 s	Remaining CPU time: 1795.8 s
4.13/4.29	c core #771
4.13/4.29	c Core size: 5	Core Weight: 1	Total Weight: 771
4.13/4.29	c Elapsed CPU time: 4.20536 s	Remaining CPU time: 1795.79 s
4.13/4.30	c core #772
4.13/4.30	c Core size: 5	Core Weight: 1	Total Weight: 772
4.13/4.30	c Elapsed CPU time: 4.21336 s	Remaining CPU time: 1795.79 s
4.23/4.30	c core #773
4.23/4.30	c Core size: 5	Core Weight: 1	Total Weight: 773
4.23/4.30	c Elapsed CPU time: 4.22136 s	Remaining CPU time: 1795.78 s
4.23/4.31	c core #774
4.23/4.31	c Core size: 5	Core Weight: 1	Total Weight: 774
4.23/4.31	c Elapsed CPU time: 4.22936 s	Remaining CPU time: 1795.77 s
4.23/4.32	c core #775
4.23/4.32	c Core size: 5	Core Weight: 1	Total Weight: 775
4.23/4.32	c Elapsed CPU time: 4.23735 s	Remaining CPU time: 1795.76 s
4.23/4.33	c core #776
4.23/4.33	c Core size: 5	Core Weight: 1	Total Weight: 776
4.23/4.33	c Elapsed CPU time: 4.24535 s	Remaining CPU time: 1795.75 s
4.23/4.34	c core #777
4.23/4.34	c Core size: 5	Core Weight: 1	Total Weight: 777
4.23/4.34	c Elapsed CPU time: 4.25435 s	Remaining CPU time: 1795.75 s
4.23/4.35	c core #778
4.23/4.35	c Core size: 5	Core Weight: 1	Total Weight: 778
4.23/4.35	c Elapsed CPU time: 4.26235 s	Remaining CPU time: 1795.74 s
4.23/4.35	c core #779
4.23/4.35	c Core size: 5	Core Weight: 1	Total Weight: 779
4.23/4.35	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.23/4.36	c core #780
4.23/4.36	c Core size: 5	Core Weight: 1	Total Weight: 780
4.23/4.36	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 1795.72 s
4.23/4.37	c core #781
4.23/4.37	c Core size: 5	Core Weight: 1	Total Weight: 781
4.23/4.37	c Elapsed CPU time: 4.28635 s	Remaining CPU time: 1795.71 s
4.23/4.38	c core #782
4.23/4.38	c Core size: 5	Core Weight: 1	Total Weight: 782
4.23/4.38	c Elapsed CPU time: 4.29435 s	Remaining CPU time: 1795.71 s
4.23/4.39	c core #783
4.23/4.39	c Core size: 5	Core Weight: 1	Total Weight: 783
4.23/4.39	c Elapsed CPU time: 4.30234 s	Remaining CPU time: 1795.7 s
4.23/4.39	c core #784
4.23/4.39	c Core size: 5	Core Weight: 1	Total Weight: 784
4.23/4.39	c Elapsed CPU time: 4.31034 s	Remaining CPU time: 1795.69 s
4.33/4.40	c core #785
4.33/4.40	c Core size: 14	Core Weight: 1	Total Weight: 785
4.33/4.40	c Elapsed CPU time: 4.31834 s	Remaining CPU time: 1795.68 s
4.33/4.41	c core #786
4.33/4.41	c Core size: 5	Core Weight: 1	Total Weight: 786
4.33/4.41	c Elapsed CPU time: 4.32634 s	Remaining CPU time: 1795.67 s
4.33/4.42	c core #787
4.33/4.42	c Core size: 5	Core Weight: 1	Total Weight: 787
4.33/4.42	c Elapsed CPU time: 4.33434 s	Remaining CPU time: 1795.67 s
4.33/4.43	c core #788
4.33/4.43	c Core size: 5	Core Weight: 1	Total Weight: 788
4.33/4.43	c Elapsed CPU time: 4.34234 s	Remaining CPU time: 1795.66 s
4.33/4.44	c core #789
4.33/4.44	c Core size: 5	Core Weight: 1	Total Weight: 789
4.33/4.44	c Elapsed CPU time: 4.35134 s	Remaining CPU time: 1795.65 s
4.33/4.44	c core #790
4.33/4.44	c Core size: 5	Core Weight: 1	Total Weight: 790
4.33/4.44	c Elapsed CPU time: 4.35934 s	Remaining CPU time: 1795.64 s
4.33/4.45	c core #791
4.33/4.45	c Core size: 5	Core Weight: 1	Total Weight: 791
4.33/4.45	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 1795.63 s
4.33/4.46	c core #792
4.33/4.46	c Core size: 5	Core Weight: 1	Total Weight: 792
4.33/4.46	c Elapsed CPU time: 4.37533 s	Remaining CPU time: 1795.62 s
4.33/4.47	c core #793
4.33/4.47	c Core size: 5	Core Weight: 1	Total Weight: 793
4.33/4.47	c Elapsed CPU time: 4.38333 s	Remaining CPU time: 1795.62 s
4.33/4.48	c core #794
4.33/4.48	c Core size: 9	Core Weight: 1	Total Weight: 794
4.33/4.48	c Elapsed CPU time: 4.39133 s	Remaining CPU time: 1795.61 s
4.33/4.49	c core #795
4.33/4.49	c Core size: 9	Core Weight: 1	Total Weight: 795
4.33/4.49	c Elapsed CPU time: 4.39933 s	Remaining CPU time: 1795.6 s
4.33/4.49	c core #796
4.33/4.49	c Core size: 9	Core Weight: 1	Total Weight: 796
4.33/4.49	c Elapsed CPU time: 4.40733 s	Remaining CPU time: 1795.59 s
4.43/4.50	c core #797
4.43/4.50	c Core size: 9	Core Weight: 1	Total Weight: 797
4.43/4.50	c Elapsed CPU time: 4.41533 s	Remaining CPU time: 1795.58 s
4.43/4.51	c core #798
4.43/4.51	c Core size: 9	Core Weight: 1	Total Weight: 798
4.43/4.51	c Elapsed CPU time: 4.42333 s	Remaining CPU time: 1795.58 s
4.43/4.52	c core #799
4.43/4.52	c Core size: 19	Core Weight: 1	Total Weight: 799
4.43/4.52	c Elapsed CPU time: 4.43133 s	Remaining CPU time: 1795.57 s
4.43/4.53	c core #800
4.43/4.53	c Core size: 28	Core Weight: 1	Total Weight: 800
4.43/4.53	c Elapsed CPU time: 4.44032 s	Remaining CPU time: 1795.56 s
4.43/4.54	c core #801
4.43/4.54	c Core size: 5	Core Weight: 1	Total Weight: 801
4.43/4.54	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 1795.55 s
4.43/4.54	c core #802
4.43/4.54	c Core size: 5	Core Weight: 1	Total Weight: 802
4.43/4.54	c Elapsed CPU time: 4.45632 s	Remaining CPU time: 1795.54 s
4.43/4.55	c core #803
4.43/4.55	c Core size: 5	Core Weight: 1	Total Weight: 803
4.43/4.55	c Elapsed CPU time: 4.46432 s	Remaining CPU time: 1795.54 s
4.43/4.56	c core #804
4.43/4.56	c Core size: 5	Core Weight: 1	Total Weight: 804
4.43/4.56	c Elapsed CPU time: 4.47232 s	Remaining CPU time: 1795.53 s
4.43/4.57	c core #805
4.43/4.57	c Core size: 32	Core Weight: 1	Total Weight: 805
4.43/4.57	c Elapsed CPU time: 4.48032 s	Remaining CPU time: 1795.52 s
4.43/4.58	c core #806
4.43/4.58	c Core size: 5	Core Weight: 1	Total Weight: 806
4.43/4.58	c Elapsed CPU time: 4.48832 s	Remaining CPU time: 1795.51 s
4.43/4.59	c core #807
4.43/4.59	c Core size: 5	Core Weight: 1	Total Weight: 807
4.43/4.59	c Elapsed CPU time: 4.49732 s	Remaining CPU time: 1795.5 s
4.43/4.60	c core #808
4.43/4.60	c Core size: 5	Core Weight: 1	Total Weight: 808
4.43/4.60	c Elapsed CPU time: 4.50531 s	Remaining CPU time: 1795.49 s
4.53/4.60	c core #809
4.53/4.60	c Core size: 5	Core Weight: 1	Total Weight: 809
4.53/4.60	c Elapsed CPU time: 4.51431 s	Remaining CPU time: 1795.49 s
4.53/4.61	c core #810
4.53/4.61	c Core size: 5	Core Weight: 1	Total Weight: 810
4.53/4.61	c Elapsed CPU time: 4.52231 s	Remaining CPU time: 1795.48 s
4.53/4.62	c core #811
4.53/4.62	c Core size: 5	Core Weight: 1	Total Weight: 811
4.53/4.62	c Elapsed CPU time: 4.53131 s	Remaining CPU time: 1795.47 s
4.53/4.63	c core #812
4.53/4.63	c Core size: 5	Core Weight: 1	Total Weight: 812
4.53/4.63	c Elapsed CPU time: 4.53931 s	Remaining CPU time: 1795.46 s
4.53/4.64	c core #813
4.53/4.64	c Core size: 5	Core Weight: 1	Total Weight: 813
4.53/4.64	c Elapsed CPU time: 4.54731 s	Remaining CPU time: 1795.45 s
4.53/4.65	c core #814
4.53/4.65	c Core size: 18	Core Weight: 1	Total Weight: 814
4.53/4.65	c Elapsed CPU time: 4.55531 s	Remaining CPU time: 1795.44 s
4.53/4.65	c core #815
4.53/4.65	c Core size: 5	Core Weight: 1	Total Weight: 815
4.53/4.65	c Elapsed CPU time: 4.56331 s	Remaining CPU time: 1795.44 s
4.53/4.66	c core #816
4.53/4.66	c Core size: 6	Core Weight: 1	Total Weight: 816
4.53/4.66	c Elapsed CPU time: 4.5723 s	Remaining CPU time: 1795.43 s
4.53/4.67	c core #817
4.53/4.67	c Core size: 5	Core Weight: 1	Total Weight: 817
4.53/4.67	c Elapsed CPU time: 4.5803 s	Remaining CPU time: 1795.42 s
4.53/4.68	c core #818
4.53/4.68	c Core size: 5	Core Weight: 1	Total Weight: 818
4.53/4.68	c Elapsed CPU time: 4.5893 s	Remaining CPU time: 1795.41 s
4.53/4.69	c core #819
4.53/4.69	c Core size: 5	Core Weight: 1	Total Weight: 819
4.53/4.69	c Elapsed CPU time: 4.5973 s	Remaining CPU time: 1795.4 s
4.63/4.70	c core #820
4.63/4.70	c Core size: 5	Core Weight: 1	Total Weight: 820
4.63/4.70	c Elapsed CPU time: 4.6053 s	Remaining CPU time: 1795.39 s
4.63/4.71	c core #821
4.63/4.71	c Core size: 5	Core Weight: 1	Total Weight: 821
4.63/4.71	c Elapsed CPU time: 4.6143 s	Remaining CPU time: 1795.39 s
4.63/4.71	c core #822
4.63/4.71	c Core size: 5	Core Weight: 1	Total Weight: 822
4.63/4.71	c Elapsed CPU time: 4.6223 s	Remaining CPU time: 1795.38 s
4.63/4.72	c core #823
4.63/4.72	c Core size: 5	Core Weight: 1	Total Weight: 823
4.63/4.72	c Elapsed CPU time: 4.63129 s	Remaining CPU time: 1795.37 s
4.63/4.73	c core #824
4.63/4.73	c Core size: 5	Core Weight: 1	Total Weight: 824
4.63/4.73	c Elapsed CPU time: 4.63929 s	Remaining CPU time: 1795.36 s
4.63/4.74	c core #825
4.63/4.74	c Core size: 5	Core Weight: 1	Total Weight: 825
4.63/4.74	c Elapsed CPU time: 4.64829 s	Remaining CPU time: 1795.35 s
4.63/4.75	c core #826
4.63/4.75	c Core size: 5	Core Weight: 1	Total Weight: 826
4.63/4.75	c Elapsed CPU time: 4.65729 s	Remaining CPU time: 1795.34 s
4.63/4.76	c core #827
4.63/4.76	c Core size: 5	Core Weight: 1	Total Weight: 827
4.63/4.76	c Elapsed CPU time: 4.66529 s	Remaining CPU time: 1795.33 s
4.63/4.77	c core #828
4.63/4.77	c Core size: 5	Core Weight: 1	Total Weight: 828
4.63/4.77	c Elapsed CPU time: 4.67429 s	Remaining CPU time: 1795.33 s
4.63/4.77	c core #829
4.63/4.77	c Core size: 5	Core Weight: 1	Total Weight: 829
4.63/4.77	c Elapsed CPU time: 4.68329 s	Remaining CPU time: 1795.32 s
4.63/4.78	c core #830
4.63/4.78	c Core size: 5	Core Weight: 1	Total Weight: 830
4.63/4.78	c Elapsed CPU time: 4.69129 s	Remaining CPU time: 1795.31 s
4.63/4.79	c core #831
4.63/4.79	c Core size: 5	Core Weight: 1	Total Weight: 831
4.63/4.79	c Elapsed CPU time: 4.70029 s	Remaining CPU time: 1795.3 s
4.73/4.80	c core #832
4.73/4.80	c Core size: 5	Core Weight: 1	Total Weight: 832
4.73/4.80	c Elapsed CPU time: 4.70828 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #833
4.73/4.81	c Core size: 5	Core Weight: 1	Total Weight: 833
4.73/4.81	c Elapsed CPU time: 4.71628 s	Remaining CPU time: 1795.28 s
4.73/4.82	c core #834
4.73/4.82	c Core size: 5	Core Weight: 1	Total Weight: 834
4.73/4.82	c Elapsed CPU time: 4.72528 s	Remaining CPU time: 1795.27 s
4.73/4.83	c core #835
4.73/4.83	c Core size: 5	Core Weight: 1	Total Weight: 835
4.73/4.83	c Elapsed CPU time: 4.73328 s	Remaining CPU time: 1795.27 s
4.73/4.84	c core #836
4.73/4.84	c Core size: 5	Core Weight: 1	Total Weight: 836
4.73/4.84	c Elapsed CPU time: 4.74128 s	Remaining CPU time: 1795.26 s
4.73/4.84	c core #837
4.73/4.84	c Core size: 5	Core Weight: 1	Total Weight: 837
4.73/4.84	c Elapsed CPU time: 4.74928 s	Remaining CPU time: 1795.25 s
4.73/4.85	c core #838
4.73/4.85	c Core size: 38	Core Weight: 1	Total Weight: 838
4.73/4.85	c Elapsed CPU time: 4.75828 s	Remaining CPU time: 1795.24 s
4.73/4.86	c core #839
4.73/4.86	c Core size: 5	Core Weight: 1	Total Weight: 839
4.73/4.86	c Elapsed CPU time: 4.76527 s	Remaining CPU time: 1795.23 s
4.73/4.87	c core #840
4.73/4.87	c Core size: 110	Core Weight: 1	Total Weight: 840
4.73/4.87	c Elapsed CPU time: 4.77327 s	Remaining CPU time: 1795.23 s
4.73/4.88	c core #841
4.73/4.88	c Core size: 5	Core Weight: 1	Total Weight: 841
4.73/4.88	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 1795.22 s
4.73/4.89	c core #842
4.73/4.89	c Core size: 5	Core Weight: 1	Total Weight: 842
4.73/4.89	c Elapsed CPU time: 4.79027 s	Remaining CPU time: 1795.21 s
4.82/4.90	c core #843
4.82/4.90	c Core size: 119	Core Weight: 1	Total Weight: 843
4.82/4.90	c Elapsed CPU time: 4.79927 s	Remaining CPU time: 1795.2 s
4.82/4.91	c core #844
4.82/4.91	c Core size: 14	Core Weight: 1	Total Weight: 844
4.82/4.91	c Elapsed CPU time: 4.80827 s	Remaining CPU time: 1795.19 s
4.82/4.91	c core #845
4.82/4.91	c Core size: 97	Core Weight: 1	Total Weight: 845
4.82/4.91	c Elapsed CPU time: 4.81727 s	Remaining CPU time: 1795.18 s
4.82/4.92	c core #846
4.82/4.92	c Core size: 5	Core Weight: 1	Total Weight: 846
4.82/4.92	c Elapsed CPU time: 4.82427 s	Remaining CPU time: 1795.18 s
4.82/4.93	c core #847
4.82/4.93	c Core size: 6	Core Weight: 1	Total Weight: 847
4.82/4.93	c Elapsed CPU time: 4.83226 s	Remaining CPU time: 1795.17 s
4.82/4.94	c core #848
4.82/4.94	c Core size: 14	Core Weight: 1	Total Weight: 848
4.82/4.94	c Elapsed CPU time: 4.84026 s	Remaining CPU time: 1795.16 s
4.82/4.95	c core #849
4.82/4.95	c Core size: 107	Core Weight: 1	Total Weight: 849
4.82/4.95	c Elapsed CPU time: 4.84826 s	Remaining CPU time: 1795.15 s
4.82/4.96	c core #850
4.82/4.96	c Core size: 76	Core Weight: 1	Total Weight: 850
4.82/4.96	c Elapsed CPU time: 4.85726 s	Remaining CPU time: 1795.14 s
4.82/4.97	c core #851
4.82/4.97	c Core size: 38	Core Weight: 1	Total Weight: 851
4.82/4.97	c Elapsed CPU time: 4.86626 s	Remaining CPU time: 1795.13 s
4.82/4.97	c core #852
4.82/4.97	c Core size: 17	Core Weight: 1	Total Weight: 852
4.82/4.97	c Elapsed CPU time: 4.87426 s	Remaining CPU time: 1795.13 s
4.82/4.98	c core #853
4.82/4.98	c Core size: 9	Core Weight: 1	Total Weight: 853
4.82/4.98	c Elapsed CPU time: 4.88326 s	Remaining CPU time: 1795.12 s
4.82/4.99	c core #854
4.82/4.99	c Core size: 13	Core Weight: 1	Total Weight: 854
4.82/4.99	c Elapsed CPU time: 4.89126 s	Remaining CPU time: 1795.11 s
4.92/5.00	c core #855
4.92/5.00	c Core size: 27	Core Weight: 1	Total Weight: 855
4.92/5.00	c Elapsed CPU time: 4.90025 s	Remaining CPU time: 1795.1 s
4.92/5.01	c core #856
4.92/5.01	c Core size: 40	Core Weight: 1	Total Weight: 856
4.92/5.01	c Elapsed CPU time: 4.90825 s	Remaining CPU time: 1795.09 s
4.92/5.02	c core #857
4.92/5.02	c Core size: 14	Core Weight: 1	Total Weight: 857
4.92/5.02	c Elapsed CPU time: 4.91625 s	Remaining CPU time: 1795.08 s
4.92/5.02	c core #858
4.92/5.02	c Core size: 40	Core Weight: 1	Total Weight: 858
4.92/5.02	c Elapsed CPU time: 4.92525 s	Remaining CPU time: 1795.07 s
4.92/5.03	c core #859
4.92/5.03	c Core size: 22	Core Weight: 1	Total Weight: 859
4.92/5.03	c Elapsed CPU time: 4.93325 s	Remaining CPU time: 1795.07 s
4.92/5.04	c core #860
4.92/5.04	c Core size: 51	Core Weight: 1	Total Weight: 860
4.92/5.04	c Elapsed CPU time: 4.94225 s	Remaining CPU time: 1795.06 s
4.92/5.05	c core #861
4.92/5.05	c Core size: 25	Core Weight: 1	Total Weight: 861
4.92/5.05	c Elapsed CPU time: 4.95025 s	Remaining CPU time: 1795.05 s
4.92/5.06	c core #862
4.92/5.06	c Core size: 23	Core Weight: 1	Total Weight: 862
4.92/5.06	c Elapsed CPU time: 4.95925 s	Remaining CPU time: 1795.04 s
4.92/5.07	c core #863
4.92/5.07	c Core size: 11	Core Weight: 1	Total Weight: 863
4.92/5.07	c Elapsed CPU time: 4.96824 s	Remaining CPU time: 1795.03 s
4.92/5.08	c core #864
4.92/5.08	c Core size: 12	Core Weight: 1	Total Weight: 864
4.92/5.08	c Elapsed CPU time: 4.97724 s	Remaining CPU time: 1795.02 s
4.92/5.09	c core #865
4.92/5.09	c Core size: 12	Core Weight: 1	Total Weight: 865
4.92/5.09	c Elapsed CPU time: 4.98624 s	Remaining CPU time: 1795.01 s
4.92/5.09	c core #866
4.92/5.09	c Core size: 16	Core Weight: 1	Total Weight: 866
4.92/5.09	c Elapsed CPU time: 4.99424 s	Remaining CPU time: 1795.01 s
5.02/5.10	c core #867
5.02/5.10	c Core size: 16	Core Weight: 1	Total Weight: 867
5.02/5.10	c Elapsed CPU time: 5.00324 s	Remaining CPU time: 1795 s
5.02/5.11	c core #868
5.02/5.11	c Core size: 16	Core Weight: 1	Total Weight: 868
5.02/5.11	c Elapsed CPU time: 5.01224 s	Remaining CPU time: 1794.99 s
5.02/5.12	c core #869
5.02/5.12	c Core size: 16	Core Weight: 1	Total Weight: 869
5.02/5.12	c Elapsed CPU time: 5.02124 s	Remaining CPU time: 1794.98 s
5.02/5.13	c core #870
5.02/5.13	c Core size: 16	Core Weight: 1	Total Weight: 870
5.02/5.13	c Elapsed CPU time: 5.02923 s	Remaining CPU time: 1794.97 s
5.02/5.14	c core #871
5.02/5.14	c Core size: 16	Core Weight: 1	Total Weight: 871
5.02/5.14	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 1794.96 s
5.02/5.15	c ============================[ Search Statistics ]==============================
5.02/5.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.02/5.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.02/5.15	c ===============================================================================
5.02/5.15	c |         0 |    3969     6144    13239 |     5000        0    nan |  0.000 % |
5.02/5.15	c ===============================================================================
5.02/5.15	c core #872
5.02/5.15	c Core size: 17	Core Weight: 1	Total Weight: 872
5.02/5.15	c Elapsed CPU time: 5.04723 s	Remaining CPU time: 1794.95 s
5.02/5.16	c ============================[ Search Statistics ]==============================
5.02/5.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.02/5.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.02/5.16	c ===============================================================================
5.02/5.16	c |         0 |    3975     6145    13251 |     5000        0    nan |  0.000 % |
5.02/5.16	c ===============================================================================
5.02/5.16	c core #873
5.02/5.16	c Core size: 25	Core Weight: 1	Total Weight: 873
5.02/5.16	c Elapsed CPU time: 5.05723 s	Remaining CPU time: 1794.94 s
5.02/5.17	c ============================[ Search Statistics ]==============================
5.02/5.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.02/5.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.02/5.17	c ===============================================================================
5.02/5.17	c |         0 |    3982     6146    13265 |     5000        0    nan |  0.000 % |
5.02/5.17	c ===============================================================================
5.02/5.17	c core #874
5.02/5.17	c Core size: 29	Core Weight: 1	Total Weight: 874
5.02/5.17	c Elapsed CPU time: 5.06723 s	Remaining CPU time: 1794.93 s
5.02/5.18	c ============================[ Search Statistics ]==============================
5.02/5.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.02/5.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.02/5.18	c ===============================================================================
5.02/5.18	c |         0 |    3992     6147    13285 |     5000        0    nan |  0.000 % |
5.02/5.18	c ===============================================================================
5.02/5.18	c core #875
5.02/5.18	c Core size: 30	Core Weight: 1	Total Weight: 875
5.02/5.18	c Elapsed CPU time: 5.07823 s	Remaining CPU time: 1794.92 s
5.02/5.19	c ============================[ Search Statistics ]==============================
5.02/5.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.02/5.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.02/5.19	c ===============================================================================
5.02/5.19	c |         0 |    4003     6148    13307 |     5000        0    nan |  0.000 % |
5.02/5.19	c ===============================================================================
5.02/5.19	c core #876
5.02/5.19	c Core size: 34	Core Weight: 1	Total Weight: 876
5.02/5.19	c Elapsed CPU time: 5.08923 s	Remaining CPU time: 1794.91 s
5.12/5.20	c ============================[ Search Statistics ]==============================
5.12/5.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.20	c ===============================================================================
5.12/5.20	c |         0 |    4013     6149    13327 |     5000        0    nan |  0.000 % |
5.12/5.20	c ===============================================================================
5.12/5.20	c core #877
5.12/5.20	c Core size: 30	Core Weight: 1	Total Weight: 877
5.12/5.20	c Elapsed CPU time: 5.10022 s	Remaining CPU time: 1794.9 s
5.12/5.21	c ============================[ Search Statistics ]==============================
5.12/5.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.21	c ===============================================================================
5.12/5.21	c |         0 |    4023     6150    13347 |     5000        0    nan |  0.000 % |
5.12/5.21	c ===============================================================================
5.12/5.21	c core #878
5.12/5.21	c Core size: 30	Core Weight: 1	Total Weight: 878
5.12/5.21	c Elapsed CPU time: 5.11122 s	Remaining CPU time: 1794.89 s
5.12/5.22	c ============================[ Search Statistics ]==============================
5.12/5.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.22	c ===============================================================================
5.12/5.22	c |         0 |    4031     6151    13363 |     5000        0    nan |  0.000 % |
5.12/5.22	c ===============================================================================
5.12/5.22	c core #879
5.12/5.22	c Core size: 30	Core Weight: 1	Total Weight: 879
5.12/5.22	c Elapsed CPU time: 5.12122 s	Remaining CPU time: 1794.88 s
5.12/5.23	c ============================[ Search Statistics ]==============================
5.12/5.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.23	c ===============================================================================
5.12/5.23	c |         0 |    4039     6152    13379 |     5000        0    nan |  0.000 % |
5.12/5.23	c ===============================================================================
5.12/5.24	c core #880
5.12/5.24	c Core size: 74	Core Weight: 1	Total Weight: 880
5.12/5.24	c Elapsed CPU time: 5.13322 s	Remaining CPU time: 1794.87 s
5.12/5.24	c ============================[ Search Statistics ]==============================
5.12/5.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.24	c ===============================================================================
5.12/5.24	c |         0 |    4058     6153    13417 |     5000        0    nan |  0.000 % |
5.12/5.25	c ===============================================================================
5.12/5.25	c core #881
5.12/5.25	c Core size: 109	Core Weight: 1	Total Weight: 881
5.12/5.25	c Elapsed CPU time: 5.14522 s	Remaining CPU time: 1794.85 s
5.12/5.26	c ============================[ Search Statistics ]==============================
5.12/5.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.26	c ===============================================================================
5.12/5.26	c |         0 |    4090     6154    13481 |     5000        0    nan |  0.000 % |
5.12/5.26	c ===============================================================================
5.12/5.26	c core #882
5.12/5.26	c Core size: 19	Core Weight: 1	Total Weight: 882
5.12/5.26	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.12/5.27	c ============================[ Search Statistics ]==============================
5.12/5.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.27	c ===============================================================================
5.12/5.27	c |         0 |    4096     6155    13493 |     5000        0    nan |  0.000 % |
5.12/5.27	c ===============================================================================
5.12/5.27	c core #883
5.12/5.27	c Core size: 37	Core Weight: 1	Total Weight: 883
5.12/5.27	c Elapsed CPU time: 5.16821 s	Remaining CPU time: 1794.83 s
5.12/5.28	c ============================[ Search Statistics ]==============================
5.12/5.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.28	c ===============================================================================
5.12/5.28	c |         0 |    4108     6156    13517 |     5000        0    nan |  0.000 % |
5.12/5.28	c ===============================================================================
5.12/5.28	c core #884
5.12/5.28	c Core size: 22	Core Weight: 1	Total Weight: 884
5.12/5.28	c Elapsed CPU time: 5.17821 s	Remaining CPU time: 1794.82 s
5.12/5.29	c ============================[ Search Statistics ]==============================
5.12/5.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.12/5.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.12/5.29	c ===============================================================================
5.12/5.29	c |         0 |    4116     6157    13534 |     5000        0    nan |  0.000 % |
5.12/5.29	c ===============================================================================
5.12/5.29	c core #885
5.12/5.29	c Core size: 27	Core Weight: 1	Total Weight: 885
5.12/5.29	c Elapsed CPU time: 5.18821 s	Remaining CPU time: 1794.81 s
5.22/5.30	c ============================[ Search Statistics ]==============================
5.22/5.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.30	c ===============================================================================
5.22/5.30	c |         0 |    4126     6158    13554 |     5000        0    nan |  0.000 % |
5.22/5.30	c ===============================================================================
5.22/5.30	c core #886
5.22/5.30	c Core size: 31	Core Weight: 1	Total Weight: 886
5.22/5.30	c Elapsed CPU time: 5.19821 s	Remaining CPU time: 1794.8 s
5.22/5.31	c ============================[ Search Statistics ]==============================
5.22/5.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.31	c ===============================================================================
5.22/5.31	c |         0 |    4138     6159    13579 |     5000        0    nan |  0.000 % |
5.22/5.31	c ===============================================================================
5.22/5.31	c core #887
5.22/5.31	c Core size: 26	Core Weight: 1	Total Weight: 887
5.22/5.31	c Elapsed CPU time: 5.20821 s	Remaining CPU time: 1794.79 s
5.22/5.32	c ============================[ Search Statistics ]==============================
5.22/5.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.32	c ===============================================================================
5.22/5.32	c |         0 |    4147     6160    13597 |     5000        0    nan |  0.000 % |
5.22/5.32	c ===============================================================================
5.22/5.32	c core #888
5.22/5.32	c Core size: 15	Core Weight: 1	Total Weight: 888
5.22/5.32	c Elapsed CPU time: 5.21821 s	Remaining CPU time: 1794.78 s
5.22/5.33	c ============================[ Search Statistics ]==============================
5.22/5.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.33	c ===============================================================================
5.22/5.33	c |         0 |    4151     6161    13605 |     5000        0    nan |  0.000 % |
5.22/5.33	c ===============================================================================
5.22/5.33	c core #889
5.22/5.33	c Core size: 34	Core Weight: 1	Total Weight: 889
5.22/5.33	c Elapsed CPU time: 5.2282 s	Remaining CPU time: 1794.77 s
5.22/5.34	c ============================[ Search Statistics ]==============================
5.22/5.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.34	c ===============================================================================
5.22/5.34	c |         0 |    4163     6162    13629 |     5000        0    nan |  0.000 % |
5.22/5.34	c ===============================================================================
5.22/5.34	c core #890
5.22/5.34	c Core size: 31	Core Weight: 1	Total Weight: 890
5.22/5.34	c Elapsed CPU time: 5.2392 s	Remaining CPU time: 1794.76 s
5.22/5.35	c ============================[ Search Statistics ]==============================
5.22/5.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.35	c ===============================================================================
5.22/5.35	c |         0 |    4171     6163    13645 |     5000        0    nan |  0.000 % |
5.22/5.35	c ===============================================================================
5.22/5.35	c core #891
5.22/5.35	c Core size: 41	Core Weight: 1	Total Weight: 891
5.22/5.35	c Elapsed CPU time: 5.2492 s	Remaining CPU time: 1794.75 s
5.22/5.36	c ============================[ Search Statistics ]==============================
5.22/5.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.36	c ===============================================================================
5.22/5.36	c |         0 |    4185     6164    13673 |     5000        0    nan |  0.000 % |
5.22/5.36	c ===============================================================================
5.22/5.36	c core #892
5.22/5.36	c Core size: 30	Core Weight: 1	Total Weight: 892
5.22/5.36	c Elapsed CPU time: 5.2582 s	Remaining CPU time: 1794.74 s
5.22/5.37	c ============================[ Search Statistics ]==============================
5.22/5.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.37	c ===============================================================================
5.22/5.37	c |         0 |    4197     6165    13697 |     5000        0    nan |  0.000 % |
5.22/5.37	c ===============================================================================
5.22/5.37	c core #893
5.22/5.37	c Core size: 41	Core Weight: 1	Total Weight: 893
5.22/5.37	c Elapsed CPU time: 5.2692 s	Remaining CPU time: 1794.73 s
5.22/5.38	c ============================[ Search Statistics ]==============================
5.22/5.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.38	c ===============================================================================
5.22/5.38	c |         0 |    4208     6166    13719 |     5000        0    nan |  0.000 % |
5.22/5.38	c ===============================================================================
5.22/5.38	c core #894
5.22/5.38	c Core size: 28	Core Weight: 1	Total Weight: 894
5.22/5.38	c Elapsed CPU time: 5.2792 s	Remaining CPU time: 1794.72 s
5.22/5.39	c ============================[ Search Statistics ]==============================
5.22/5.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.22/5.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.22/5.39	c ===============================================================================
5.22/5.39	c |         0 |    4217     6167    13737 |     5000        0    nan |  0.000 % |
5.22/5.39	c ===============================================================================
5.22/5.39	c core #895
5.22/5.39	c Core size: 22	Core Weight: 1	Total Weight: 895
5.22/5.39	c Elapsed CPU time: 5.2892 s	Remaining CPU time: 1794.71 s
5.32/5.40	c ============================[ Search Statistics ]==============================
5.32/5.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.40	c ===============================================================================
5.32/5.40	c |         0 |    4225     6168    13753 |     5000        0    nan |  0.000 % |
5.32/5.40	c ===============================================================================
5.32/5.40	c core #896
5.32/5.40	c Core size: 26	Core Weight: 1	Total Weight: 896
5.32/5.40	c Elapsed CPU time: 5.30019 s	Remaining CPU time: 1794.7 s
5.32/5.41	c ============================[ Search Statistics ]==============================
5.32/5.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.41	c ===============================================================================
5.32/5.41	c |         0 |    4236     6169    13775 |     5000        0    nan |  0.000 % |
5.32/5.42	c ===============================================================================
5.32/5.42	c core #897
5.32/5.42	c Core size: 39	Core Weight: 1	Total Weight: 897
5.32/5.42	c Elapsed CPU time: 5.31119 s	Remaining CPU time: 1794.69 s
5.32/5.43	c ============================[ Search Statistics ]==============================
5.32/5.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.43	c ===============================================================================
5.32/5.43	c |         0 |    4246     6170    13795 |     5000        0    nan |  0.000 % |
5.32/5.43	c ===============================================================================
5.32/5.43	c core #898
5.32/5.43	c Core size: 25	Core Weight: 1	Total Weight: 898
5.32/5.43	c Elapsed CPU time: 5.32119 s	Remaining CPU time: 1794.68 s
5.32/5.44	c ============================[ Search Statistics ]==============================
5.32/5.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.44	c ===============================================================================
5.32/5.44	c |         0 |    4254     6171    13811 |     5000        0    nan |  0.000 % |
5.32/5.44	c ===============================================================================
5.32/5.44	c core #899
5.32/5.44	c Core size: 28	Core Weight: 1	Total Weight: 899
5.32/5.44	c Elapsed CPU time: 5.33119 s	Remaining CPU time: 1794.67 s
5.32/5.45	c ============================[ Search Statistics ]==============================
5.32/5.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.45	c ===============================================================================
5.32/5.45	c |         0 |    4260     6172    13823 |     5000        0    nan |  0.000 % |
5.32/5.45	c ===============================================================================
5.32/5.45	c core #900
5.32/5.45	c Core size: 59	Core Weight: 1	Total Weight: 900
5.32/5.45	c Elapsed CPU time: 5.34319 s	Remaining CPU time: 1794.66 s
5.32/5.46	c ============================[ Search Statistics ]==============================
5.32/5.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.46	c ===============================================================================
5.32/5.46	c |         0 |    4281     6173    13867 |     5000        0    nan |  0.000 % |
5.32/5.46	c ===============================================================================
5.32/5.46	c core #901
5.32/5.46	c Core size: 27	Core Weight: 1	Total Weight: 901
5.32/5.46	c Elapsed CPU time: 5.35319 s	Remaining CPU time: 1794.65 s
5.32/5.47	c ============================[ Search Statistics ]==============================
5.32/5.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.47	c ===============================================================================
5.32/5.47	c |         0 |    4289     6174    13883 |     5000        0    nan |  0.000 % |
5.32/5.47	c ===============================================================================
5.32/5.47	c core #902
5.32/5.47	c Core size: 36	Core Weight: 1	Total Weight: 902
5.32/5.47	c Elapsed CPU time: 5.36318 s	Remaining CPU time: 1794.64 s
5.32/5.48	c ============================[ Search Statistics ]==============================
5.32/5.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.48	c ===============================================================================
5.32/5.48	c |         0 |    4305     6175    13915 |     5000        0    nan |  0.000 % |
5.32/5.48	c ===============================================================================
5.32/5.48	c core #903
5.32/5.48	c Core size: 29	Core Weight: 1	Total Weight: 903
5.32/5.48	c Elapsed CPU time: 5.37318 s	Remaining CPU time: 1794.63 s
5.32/5.49	c ============================[ Search Statistics ]==============================
5.32/5.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.32/5.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.32/5.49	c ===============================================================================
5.32/5.49	c |         0 |    4314     6176    13933 |     5000        0    nan |  0.000 % |
5.32/5.49	c ===============================================================================
5.32/5.49	c core #904
5.32/5.49	c Core size: 32	Core Weight: 1	Total Weight: 904
5.32/5.49	c Elapsed CPU time: 5.38418 s	Remaining CPU time: 1794.62 s
5.43/5.50	c ============================[ Search Statistics ]==============================
5.43/5.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.50	c ===============================================================================
5.43/5.50	c |         0 |    4324     6177    13953 |     5000        0    nan |  0.000 % |
5.43/5.51	c ===============================================================================
5.43/5.51	c core #905
5.43/5.51	c Core size: 86	Core Weight: 1	Total Weight: 905
5.43/5.51	c Elapsed CPU time: 5.39518 s	Remaining CPU time: 1794.6 s
5.43/5.51	c ============================[ Search Statistics ]==============================
5.43/5.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.51	c ===============================================================================
5.43/5.51	c |         0 |    4352     6178    14009 |     5000        0    nan |  0.000 % |
5.43/5.52	c ===============================================================================
5.43/5.52	c core #906
5.43/5.52	c Core size: 42	Core Weight: 1	Total Weight: 906
5.43/5.52	c Elapsed CPU time: 5.40718 s	Remaining CPU time: 1794.59 s
5.43/5.53	c ============================[ Search Statistics ]==============================
5.43/5.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.53	c ===============================================================================
5.43/5.53	c |         0 |    4361     6179    14027 |     5000        0    nan |  0.000 % |
5.43/5.53	c ===============================================================================
5.43/5.53	c core #907
5.43/5.53	c Core size: 53	Core Weight: 1	Total Weight: 907
5.43/5.53	c Elapsed CPU time: 5.41818 s	Remaining CPU time: 1794.58 s
5.43/5.54	c ============================[ Search Statistics ]==============================
5.43/5.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.54	c ===============================================================================
5.43/5.54	c |         0 |    4377     6180    14059 |     5000        0    nan |  0.000 % |
5.43/5.54	c ===============================================================================
5.43/5.54	c core #908
5.43/5.54	c Core size: 45	Core Weight: 1	Total Weight: 908
5.43/5.54	c Elapsed CPU time: 5.43117 s	Remaining CPU time: 1794.57 s
5.43/5.55	c ============================[ Search Statistics ]==============================
5.43/5.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.55	c ===============================================================================
5.43/5.55	c |         0 |    4391     6181    14087 |     5000        0    nan |  0.000 % |
5.43/5.55	c ===============================================================================
5.43/5.55	c core #909
5.43/5.55	c Core size: 38	Core Weight: 1	Total Weight: 909
5.43/5.55	c Elapsed CPU time: 5.44217 s	Remaining CPU time: 1794.56 s
5.43/5.56	c ============================[ Search Statistics ]==============================
5.43/5.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.56	c ===============================================================================
5.43/5.56	c |         0 |    4407     6182    14121 |     5000        0    nan |  0.000 % |
5.43/5.56	c ===============================================================================
5.43/5.56	c core #910
5.43/5.56	c Core size: 65	Core Weight: 1	Total Weight: 910
5.43/5.56	c Elapsed CPU time: 5.45417 s	Remaining CPU time: 1794.55 s
5.43/5.57	c ============================[ Search Statistics ]==============================
5.43/5.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.57	c ===============================================================================
5.43/5.57	c |         0 |    4432     6183    14171 |     5000        0    nan |  0.000 % |
5.43/5.58	c ===============================================================================
5.43/5.58	c core #911
5.43/5.58	c Core size: 193	Core Weight: 1	Total Weight: 911
5.43/5.58	c Elapsed CPU time: 5.46817 s	Remaining CPU time: 1794.53 s
5.43/5.59	c ============================[ Search Statistics ]==============================
5.43/5.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.43/5.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.43/5.59	c ===============================================================================
5.43/5.59	c |         0 |    4478     6184    14264 |     5000        0    nan |  0.000 % |
5.43/5.59	c ===============================================================================
5.43/5.59	c core #912
5.43/5.59	c Core size: 50	Core Weight: 1	Total Weight: 912
5.43/5.59	c Elapsed CPU time: 5.47817 s	Remaining CPU time: 1794.52 s
5.52/5.60	c ============================[ Search Statistics ]==============================
5.52/5.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.60	c ===============================================================================
5.52/5.60	c |         0 |    4491     6185    14290 |     5000        0    nan |  0.000 % |
5.52/5.60	c ===============================================================================
5.52/5.60	c core #913
5.52/5.60	c Core size: 52	Core Weight: 1	Total Weight: 913
5.52/5.60	c Elapsed CPU time: 5.49017 s	Remaining CPU time: 1794.51 s
5.52/5.61	c ============================[ Search Statistics ]==============================
5.52/5.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.61	c ===============================================================================
5.52/5.61	c |         0 |    4506     6186    14320 |     5000        0    nan |  0.000 % |
5.52/5.62	c ===============================================================================
5.52/5.62	c core #914
5.52/5.62	c Core size: 140	Core Weight: 1	Total Weight: 914
5.52/5.62	c Elapsed CPU time: 5.50316 s	Remaining CPU time: 1794.5 s
5.52/5.63	c Learning 1 hard constraints
5.52/5.63	c ============================[ Search Statistics ]==============================
5.52/5.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.63	c ===============================================================================
5.52/5.63	c |         0 |    4540     6188    14391 |     5000        0    nan |  0.000 % |
5.52/5.63	c ===============================================================================
5.52/5.63	c core #915
5.52/5.63	c Core size: 253	Core Weight: 1	Total Weight: 915
5.52/5.63	c Elapsed CPU time: 5.52116 s	Remaining CPU time: 1794.48 s
5.52/5.64	c ============================[ Search Statistics ]==============================
5.52/5.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.64	c ===============================================================================
5.52/5.64	c |         0 |    4609     6189    14530 |     5000        0    nan |  0.000 % |
5.52/5.65	c ===============================================================================
5.52/5.65	c core #916
5.52/5.65	c Core size: 83	Core Weight: 1	Total Weight: 916
5.52/5.65	c Elapsed CPU time: 5.53716 s	Remaining CPU time: 1794.46 s
5.52/5.66	c ============================[ Search Statistics ]==============================
5.52/5.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.66	c ===============================================================================
5.52/5.66	c |         0 |    4632     6190    14576 |     5000        0    nan |  0.000 % |
5.52/5.66	c ===============================================================================
5.52/5.66	c core #917
5.52/5.66	c Core size: 82	Core Weight: 1	Total Weight: 917
5.52/5.66	c Elapsed CPU time: 5.55116 s	Remaining CPU time: 1794.45 s
5.52/5.67	c ============================[ Search Statistics ]==============================
5.52/5.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.52/5.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.52/5.67	c ===============================================================================
5.52/5.67	c |         0 |    4651     6191    14614 |     5000        0    nan |  0.000 % |
5.52/5.69	c |       100 |    4649     6191    14614 |     5500       99     12 |  1.316 % |
5.62/5.70	c ===============================================================================
5.62/5.70	c core #918
5.62/5.70	c Core size: 789	Core Weight: 1	Total Weight: 918
5.62/5.70	c Elapsed CPU time: 5.58915 s	Remaining CPU time: 1794.41 s
5.62/5.71	c Learning 4 hard constraints
5.62/5.71	c ============================[ Search Statistics ]==============================
5.62/5.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.62/5.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.62/5.71	c ===============================================================================
5.62/5.71	c |         0 |    4788     6196    14916 |     5000        0    nan |  0.000 % |
5.62/5.72	c ===============================================================================
5.62/5.72	c core #919
5.62/5.72	c Core size: 305	Core Weight: 1	Total Weight: 919
5.62/5.72	c Elapsed CPU time: 5.60815 s	Remaining CPU time: 1794.39 s
5.62/5.73	c Learning 1 hard constraints
5.62/5.73	c ============================[ Search Statistics ]==============================
5.62/5.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.62/5.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.62/5.73	c ===============================================================================
5.62/5.73	c |         0 |    4860     6198    15063 |     5000        0    nan |  0.000 % |
5.62/5.75	c |       100 |    4845     6198    15063 |     5500       99     11 |  6.007 % |
5.62/5.76	c ===============================================================================
5.62/5.76	c core #920
5.62/5.76	c Core size: 898	Core Weight: 1	Total Weight: 920
5.62/5.76	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 1794.35 s
5.62/5.77	c Learning 1 hard constraints
5.62/5.77	c ============================[ Search Statistics ]==============================
5.62/5.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.62/5.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.62/5.77	c ===============================================================================
5.62/5.77	c |         0 |    5039     6200    15424 |     5000        0    nan |  0.000 % |
5.62/5.78	c ===============================================================================
5.62/5.78	c core #921
5.62/5.78	c Core size: 87	Core Weight: 1	Total Weight: 921
5.62/5.78	c Elapsed CPU time: 5.66514 s	Remaining CPU time: 1794.33 s
5.62/5.79	c ============================[ Search Statistics ]==============================
5.62/5.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.62/5.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.62/5.79	c ===============================================================================
5.62/5.79	c |         0 |    5060     6201    15466 |     5000        0    nan |  0.000 % |
5.72/5.80	c |       100 |    5060     6201    15466 |     5500      100     18 |  1.326 % |
5.72/5.82	c |       250 |    5017     6201    15466 |     6050      124     15 |  2.165 % |
5.72/5.84	c ===============================================================================
5.72/5.84	c core #922
5.72/5.84	c Core size: 977	Core Weight: 1	Total Weight: 922
5.72/5.84	c Elapsed CPU time: 5.72913 s	Remaining CPU time: 1794.27 s
5.72/5.86	c Learning 10 hard constraints
5.72/5.86	c ============================[ Search Statistics ]==============================
5.72/5.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.72/5.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.72/5.86	c ===============================================================================
5.72/5.86	c |         0 |    5237     6212    15901 |     5000        0    nan |  0.000 % |
5.72/5.87	c |       101 |    5237     6212    15901 |     5500      101     28 |  1.282 % |
5.72/5.88	c |       251 |    5237     6212    15901 |     6050      251     20 |  1.282 % |
5.82/5.90	c |       477 |    5237     6212    15901 |     6655      477     19 |  1.282 % |
5.82/5.93	c |       814 |    5237     6212    15901 |     7320      814     17 |  1.282 % |
5.82/5.99	c |      1320 |    4814     6212    15901 |     8052      763     13 |  9.255 % |
5.92/6.00	c ===============================================================================
5.92/6.01	c core #923
5.92/6.01	c Core size: 1089	Core Weight: 1	Total Weight: 923
5.92/6.01	c Elapsed CPU time: 5.8951 s	Remaining CPU time: 1794.1 s
5.92/6.03	c Learning 3 hard constraints
5.92/6.03	c ============================[ Search Statistics ]==============================
5.92/6.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.92/6.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.92/6.03	c ===============================================================================
5.92/6.03	c |         0 |    5436     6216    16316 |     5000        0    nan |  0.000 % |
5.92/6.04	c |       100 |    5436     6216    16316 |     5500      100     30 |  1.236 % |
5.92/6.06	c ===============================================================================
5.92/6.06	c core #924
5.92/6.06	c Core size: 100	Core Weight: 1	Total Weight: 924
5.92/6.06	c Elapsed CPU time: 5.9371 s	Remaining CPU time: 1794.06 s
5.92/6.07	c Learning 51 hard constraints
5.92/6.07	c ============================[ Search Statistics ]==============================
5.92/6.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.92/6.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.92/6.07	c ===============================================================================
5.92/6.07	c |         0 |    5464     6268    16848 |     5000        0    nan |  0.000 % |
5.92/6.08	c |       100 |    5464     6268    16848 |     5500      100     12 |  1.229 % |
6.02/6.10	c |       250 |    5434     6268    16848 |     6050      218     13 |  1.773 % |
6.02/6.13	c |       476 |    5434     6268    16848 |     6655      444     16 |  1.772 % |
6.02/6.16	c |       813 |    5120     6268    16848 |     7320      680     21 |  7.448 % |
6.12/6.22	c |      1319 |    5120     6268    16848 |     8052     1186     23 |  7.448 % |
6.12/6.24	c ===============================================================================
6.12/6.25	c core #925
6.12/6.25	c Core size: 850	Core Weight: 1	Total Weight: 925
6.12/6.25	c Elapsed CPU time: 6.12407 s	Remaining CPU time: 1793.88 s
6.12/6.26	c Learning 6 hard constraints
6.12/6.26	c ============================[ Search Statistics ]==============================
6.12/6.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.12/6.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.12/6.26	c ===============================================================================
6.12/6.26	c |         0 |    5552     6275    17041 |     5000        0    nan |  0.000 % |
6.12/6.28	c |       102 |    5552     6275    17041 |     5500      102     21 |  1.210 % |
6.23/6.30	c |       253 |    5552     6275    17041 |     6050      253     17 |  1.211 % |
6.23/6.34	c ===============================================================================
6.23/6.34	c core #926
6.23/6.34	c Core size: 1565	Core Weight: 1	Total Weight: 926
6.23/6.34	c Elapsed CPU time: 6.21705 s	Remaining CPU time: 1793.78 s
6.23/6.35	c Learning 51 hard constraints
6.23/6.35	c ============================[ Search Statistics ]==============================
6.23/6.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.23/6.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.23/6.35	c ===============================================================================
6.23/6.35	c |         0 |    5649     6327    17708 |     5000        0    nan |  0.000 % |
6.23/6.37	c ===============================================================================
6.23/6.37	c core #927
6.23/6.37	c Core size: 88	Core Weight: 1	Total Weight: 927
6.23/6.37	c Elapsed CPU time: 6.24205 s	Remaining CPU time: 1793.76 s
6.23/6.38	c Learning 9 hard constraints
6.23/6.38	c ============================[ Search Statistics ]==============================
6.23/6.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.23/6.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.23/6.38	c ===============================================================================
6.23/6.38	c |         0 |    5672     6337    17830 |     5000        0    nan |  0.000 % |
6.33/6.40	c |       101 |    5672     6337    17830 |     5500      101     22 |  1.168 % |
6.33/6.42	c |       254 |    5672     6337    17830 |     6050      254     20 |  1.167 % |
6.33/6.44	c |       479 |    5672     6337    17830 |     6655      479     18 |  1.167 % |
6.33/6.47	c |       817 |    5668     6337    17830 |     7320      772     19 |  1.240 % |
6.43/6.52	c |      1330 |    5668     6337    17830 |     8052     1285     23 |  1.237 % |
6.53/6.61	c |      2089 |    5605     6337    17830 |     8857     1697     24 |  2.562 % |
6.53/6.63	c ===============================================================================
6.53/6.64	c core #928
6.53/6.64	c Core size: 1336	Core Weight: 1	Total Weight: 928
6.53/6.64	c Elapsed CPU time: 6.50701 s	Remaining CPU time: 1793.49 s
6.53/6.66	c Learning 54 hard constraints
6.53/6.66	c ============================[ Search Statistics ]==============================
6.53/6.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.53/6.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.53/6.66	c ===============================================================================
6.53/6.66	c |         0 |    5743     6392    18977 |     5000        0    nan |  0.000 % |
6.53/6.67	c ===============================================================================
6.53/6.67	c core #929
6.53/6.67	c Core size: 196	Core Weight: 1	Total Weight: 929
6.53/6.67	c Elapsed CPU time: 6.53001 s	Remaining CPU time: 1793.47 s
6.53/6.68	c Learning 3 hard constraints
6.53/6.68	c ============================[ Search Statistics ]==============================
6.53/6.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.53/6.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.53/6.68	c ===============================================================================
6.53/6.68	c |         0 |    5794     6396    19113 |     5000        0    nan |  0.000 % |
6.62/6.71	c |       102 |    5791     6396    19113 |     5500      100     23 |  1.214 % |
6.62/6.71	c ===============================================================================
6.62/6.71	c core #930
6.62/6.71	c Core size: 1322	Core Weight: 1	Total Weight: 930
6.62/6.71	c Elapsed CPU time: 6.572 s	Remaining CPU time: 1793.43 s
6.62/6.72	c Learning 15 hard constraints
6.62/6.72	c ============================[ Search Statistics ]==============================
6.62/6.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.62/6.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.62/6.72	c ===============================================================================
6.62/6.72	c |         0 |    5849     6412    19435 |     5000        0    nan |  0.000 % |
6.62/6.74	c |       101 |    5849     6412    19435 |     5500      101     34 |  1.133 % |
6.62/6.76	c |       252 |    5849     6412    19435 |     6050      252     28 |  1.133 % |
6.62/6.78	c |       477 |    5821     6412    19435 |     6655      473     26 |  1.607 % |
6.72/6.82	c |       815 |    5814     6412    19435 |     7320      810     32 |  1.775 % |
6.72/6.87	c |      1322 |    5804     6412    19435 |     8052     1315     34 |  1.979 % |
6.82/6.96	c |      2089 |    5799     6412    19435 |     8857     2080     37 |  1.978 % |
7.02/7.14	c |      3230 |    5799     6412    19435 |     9743     3221     45 |  1.978 % |
7.32/7.45	c |      4938 |    5797     6412    19435 |    10717     4928     51 |  2.012 % |
7.72/7.85	c |      7504 |    5797     6412    19435 |    11789     7494     51 |  2.011 % |
8.52/8.66	c |     11349 |    5754     6412    19435 |    12968     9214     49 |  3.179 % |
9.92/10.03	c |     17115 |    5725     6412    19435 |    14265     8130     45 |  3.381 % |
11.83/11.99	c |     25764 |    5716     6412    19435 |    15692     9163     61 |  3.381 % |
15.72/15.80	c |     38739 |    5706     6412    19435 |    17261    11661     65 |  4.124 % |
21.72/21.88	c |     58201 |    5368     6412    19435 |    18987     2524     43 |  9.263 % |
21.83/21.93	c ===============================================================================
22.52/22.63	c core #931
22.52/22.63	c Core size: 963	Core Weight: 1	Total Weight: 931
22.52/22.63	c Elapsed CPU time: 22.3126 s	Remaining CPU time: 1777.69 s
22.62/22.71	c Learning 6 hard constraints
22.62/22.71	c ============================[ Search Statistics ]==============================
22.62/22.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.62/22.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.62/22.71	c ===============================================================================
22.62/22.71	c |         0 |    5983     6419    19750 |     5000        0    nan |  0.000 % |
22.62/22.73	c |       101 |    5983     6419    19750 |     5500      101      9 |  1.108 % |
22.62/22.76	c ===============================================================================
22.62/22.76	c core #932
22.62/22.76	c Core size: 1109	Core Weight: 1	Total Weight: 932
22.62/22.76	c Elapsed CPU time: 22.4366 s	Remaining CPU time: 1777.56 s
22.62/22.77	c Learning 58 hard constraints
22.62/22.77	c ============================[ Search Statistics ]==============================
22.62/22.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.62/22.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.62/22.77	c ===============================================================================
22.62/22.77	c |         0 |    6023     6478    20907 |     5000        0    nan |  0.000 % |
22.62/22.79	c |       102 |    6023     6478    20907 |     5500      102     33 |  1.100 % |
22.72/22.80	c ===============================================================================
22.72/22.80	c core #933
22.72/22.80	c Core size: 939	Core Weight: 2147483647	Total Weight: -2147482717
22.72/22.80	c restarts              : 2
22.72/22.80	c conflicts             : 167            (7 /sec)
22.72/22.80	c decisions             : 2294           (1.92 % random) (102 /sec)
22.72/22.80	c propagations          : 47159          (2098 /sec)
22.72/22.80	c conflict literals     : 4540           (0.00 % deleted)
22.72/22.80	c Memory used           : 43.22 MB
22.72/22.80	c CPU time              : 22.4786 s
22.72/22.80	c 
22.72/22.80	s UNSATISFIABLE

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2844
/proc/meminfo: memFree=1931352/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=2952 CPUtime=0
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 183296224 3022848 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 738 248 125 292 0 418 0

[startup+0.0868099 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2844
/proc/meminfo: memFree=1931352/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=3412 CPUtime=0.08
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 464 0 0 0 8 0 0 0 18 0 1 0 183296224 3493888 423 1992294400 134512640 135709839 4294956240 18446744073709551615 134605474 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 853 423 133 292 0 558 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3412

[startup+0.102812 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2844
/proc/meminfo: memFree=1931352/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=3412 CPUtime=0.09
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 464 0 0 0 9 0 0 0 18 0 1 0 183296224 3493888 423 1992294400 134512640 135709839 4294956240 18446744073709551615 134530668 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 853 423 133 292 0 558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3412

[startup+0.301831 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2844
/proc/meminfo: memFree=1931352/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=3576 CPUtime=0.29
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 508 0 0 0 29 0 0 0 19 0 1 0 183296224 3661824 455 1992294400 134512640 135709839 4294956240 18446744073709551615 134570816 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 894 455 133 292 0 599 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3576

[startup+0.702872 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2844
/proc/meminfo: memFree=1931352/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=3904 CPUtime=0.69
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 788 0 0 0 69 0 0 0 22 0 1 0 183296224 3997696 554 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 976 554 133 292 0 681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3904

[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1929424/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=4624 CPUtime=1.47
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 1037 0 0 0 147 0 0 0 25 0 1 0 183296224 4734976 735 1992294400 134512640 135709839 4294956240 18446744073709551615 134570730 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 1156 735 133 292 0 861 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 4624

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1927888/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=7196 CPUtime=3.05
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 2409 0 0 0 303 2 0 0 25 0 1 0 183296224 7368704 1337 1992294400 134512640 135709839 4294956240 18446744073709551615 135166068 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 1799 1337 133 292 0 1504 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7196

[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1921176/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=14736 CPUtime=6.23
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 5646 0 0 0 617 6 0 0 25 0 1 0 183296224 15089664 3231 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 3684 3231 136 292 0 3389 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 14736

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1907744/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=26748 CPUtime=12.62
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 8700 0 0 0 1247 15 0 0 25 0 1 0 183296224 27389952 6248 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 6687 6248 136 292 0 6392 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 26748

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

[startup+19.1017 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1896992/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=36972 CPUtime=19.02
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 11242 0 0 0 1880 22 0 0 25 0 1 0 183296224 37859328 8790 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 9243 8790 136 292 0 8948 0
Current children cumulated CPU time (s) 19.02
Current children cumulated vsize (KiB) 36972

[startup+20.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1895456/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=39752 CPUtime=20.62
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 11926 0 0 0 2038 24 0 0 25 0 1 0 183296224 40706048 9474 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 9938 9474 136 292 0 9643 0
Current children cumulated CPU time (s) 20.62
Current children cumulated vsize (KiB) 39752

[startup+21.5019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1893280/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=41204 CPUtime=21.42
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 12292 0 0 0 2117 25 0 0 25 0 1 0 183296224 42192896 9840 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 10301 9840 136 292 0 10006 0
Current children cumulated CPU time (s) 21.42
Current children cumulated vsize (KiB) 41204

[startup+22.302 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1891424/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=43316 CPUtime=22.22
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 12831 0 0 0 2197 25 0 0 25 0 1 0 183296224 44355584 10379 1992294400 134512640 135709839 4294956240 18446744073709551615 134583795 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 10829 10379 136 292 0 10534 0
Current children cumulated CPU time (s) 22.22
Current children cumulated vsize (KiB) 43316

[startup+22.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1891424/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=44252 CPUtime=22.62
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 13056 0 0 0 2237 25 0 0 25 0 1 0 183296224 45314048 10604 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 11063 10604 136 292 0 10768 0
Current children cumulated CPU time (s) 22.62
Current children cumulated vsize (KiB) 44252

[startup+22.8011 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 2845
/proc/meminfo: memFree=1891424/2055920 swapFree=4181364/4192956
[pid=2844] ppid=2842 vsize=44252 CPUtime=22.72
/proc/2844/stat : 2844 (wbo) R 2842 2844 2801 0 -1 4194304 13062 0 0 0 2247 25 0 0 25 0 1 0 183296224 45314048 10610 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2844/statm: 11063 10610 136 292 0 10768 0
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (KiB) 44252

Child status: 0
Real time (s): 22.8157
CPU time (s): 22.7425
CPU user time (s): 22.4786
CPU system time (s): 0.263959
CPU usage (%): 99.6792
Max. virtual memory (cumulated for all children) (KiB): 44252

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

runsolver used 0.052991 second user time and 0.121981 second system time

The end

Launcher Data 

Begin job on node36 at 2009-06-16 14:56:29
IDJOB=1876221
IDBENCH=2156
IDSOLVER=698
FILE ID=node36/1876221-1245156989
PBS_JOBID= 9363821
Free space on /tmp= 66200 MiB

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

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

MD5SUM BENCH= bf686e12342472d00013af54a5ee9279
RANDOM SEED=1483343813

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1931896 kB
Buffers:         23268 kB
Cached:          55024 kB
SwapCached:       6436 kB
Active:          53768 kB
Inactive:        33356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1931896 kB
SwapTotal:     4192956 kB
SwapFree:      4181364 kB
Dirty:            2616 kB
Writeback:           0 kB
Mapped:          13284 kB
Slab:            22968 kB
Committed_AS:   174396 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876221-1245156989.opb

Free space on /tmp at the end= 66196 MiB
End job on node36 at 2009-06-16 14:56:52