Trace number 1876173

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 7.2339 7.35106

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-bf0432-007.opb
MD5SUM093787cffe9173c370b11fb5e77a5812
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.094984
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2080
Total number of constraints4708
Number of constraints which are clauses4708
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 constraint6
Number of terms in the objective function 2080
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 2080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2080
Number of bits of the biggest sum of numbers12
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-1876173-1245151217.opb.
0.00/0.00	c Instance file HOME/instance-1876173-1245151217.opb
0.00/0.00	c File size is 150148 bytes.
0.00/0.02	c Highest Coefficient sum: 7
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      2080                                                |
0.00/0.02	c |  Number Clauses:        6788                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c core #1
0.00/0.02	c Core size: 2	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 2	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.022996 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.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #4
0.00/0.03	c Core size: 2	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 2	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #6
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #8
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #9
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #11
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.00/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #12
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #14
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #15
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #16
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #17
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #18
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #19
0.08/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.08/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #20
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 20
0.08/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #21
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.08/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.08/0.10	c core #22
0.08/0.10	c Core size: 3	Core Weight: 1	Total Weight: 22
0.08/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #23
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 23
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #24
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #25
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #26
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #28
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #29
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #30
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #31
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #33
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.14	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #34
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #35
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.15	c Elapsed CPU time: 0.147977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #36
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.15	c Elapsed CPU time: 0.151976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #37
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.15	c Elapsed CPU time: 0.155976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #38
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #39
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.16	c Elapsed CPU time: 0.163975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #41
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #42
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.17	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #43
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #44
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #45
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.18	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #46
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #47
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #48
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #49
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 49
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #50
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 50
0.19/0.20	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #51
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #52
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.21	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #53
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #54
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.22	c Elapsed CPU time: 0.223965 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #55
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.22	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #56
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #57
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.23	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #58
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #59
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #60
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #61
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.25	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #62
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.25	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #63
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #64
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.26	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #65
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 65
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #66
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.27	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #67
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.27	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #68
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.28	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #69
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.28	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #70
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #71
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.29	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #72
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.29	c Elapsed CPU time: 0.297954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #73
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 73
0.29/0.30	c Elapsed CPU time: 0.301954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #74
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 74
0.29/0.30	c Elapsed CPU time: 0.305953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #75
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 75
0.29/0.31	c Elapsed CPU time: 0.309952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #76
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 76
0.29/0.31	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #77
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.32	c Elapsed CPU time: 0.317951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #78
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.32	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #79
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.32	c Elapsed CPU time: 0.32695 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #80
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 80
0.29/0.33	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #81
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.33	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #82
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #83
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.34	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #84
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.34	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #85
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #86
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #87
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #88
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.36	c Elapsed CPU time: 0.363944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #89
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.37	c Elapsed CPU time: 0.367944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #90
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.37	c Elapsed CPU time: 0.371943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #91
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.37	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #92
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.38	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #93
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.38	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #94
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #95
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #96
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.39	c Elapsed CPU time: 0.396939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #97
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 97
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #98
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 98
0.39/0.40	c Elapsed CPU time: 0.404938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #99
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 99
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #100
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 100
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #101
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 101
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #102
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 102
0.39/0.42	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #103
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.42	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #104
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #105
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #106
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #107
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.44	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #108
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.44	c Elapsed CPU time: 0.447931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #109
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.45	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #110
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.45	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #111
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.46	c Elapsed CPU time: 0.45993 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #112
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.46	c Elapsed CPU time: 0.463929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #113
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.47	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #114
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.47	c Elapsed CPU time: 0.472928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #115
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.47	c Elapsed CPU time: 0.476927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #116
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.48	c Elapsed CPU time: 0.480926 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #117
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.48	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #118
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.49	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #119
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.49	c Elapsed CPU time: 0.493924 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #120
0.39/0.50	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.50	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #121
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 121
0.49/0.50	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #122
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 122
0.49/0.50	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #123
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 123
0.49/0.51	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #124
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 124
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #125
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 125
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #126
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 126
0.49/0.52	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #127
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 127
0.49/0.53	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #128
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.53	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #129
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.53	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #130
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #131
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.54	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #132
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.55	c Elapsed CPU time: 0.548916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #133
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.55	c Elapsed CPU time: 0.552915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #134
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.56	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #135
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.56	c Elapsed CPU time: 0.560914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #136
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.56	c Elapsed CPU time: 0.565913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #137
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.57	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #138
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.57	c Elapsed CPU time: 0.573912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #139
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.58	c Elapsed CPU time: 0.577912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #140
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.58	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #141
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.59	c Elapsed CPU time: 0.58691 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #142
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.59	c Elapsed CPU time: 0.59091 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #143
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.59	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #144
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 144
0.59/0.60	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #145
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 145
0.59/0.60	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #146
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 146
0.59/0.61	c Elapsed CPU time: 0.606907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #147
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 147
0.59/0.61	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #148
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 148
0.59/0.62	c Elapsed CPU time: 0.615906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #149
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 149
0.59/0.62	c Elapsed CPU time: 0.619905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #150
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 150
0.59/0.62	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #151
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 151
0.59/0.63	c Elapsed CPU time: 0.628904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #152
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.63	c Elapsed CPU time: 0.632903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #153
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.64	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #154
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.64	c Elapsed CPU time: 0.641902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #155
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.65	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #156
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #157
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.65	c Elapsed CPU time: 0.6539 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #158
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.66	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #159
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.66	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #160
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.67	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #161
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.67	c Elapsed CPU time: 0.671897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #162
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.68	c Elapsed CPU time: 0.676897 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #163
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.68	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #164
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.69	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #165
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.69	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 1799.31 s
0.59/0.70	c core #166
0.59/0.70	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.70	c Elapsed CPU time: 0.695894 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #167
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 167
0.69/0.70	c Elapsed CPU time: 0.699893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #168
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 168
0.69/0.71	c Elapsed CPU time: 0.704892 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #169
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 169
0.69/0.71	c Elapsed CPU time: 0.709892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #170
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 170
0.69/0.71	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #171
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 171
0.69/0.72	c Elapsed CPU time: 0.71889 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #172
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 172
0.69/0.72	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #173
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 173
0.69/0.73	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #174
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 174
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #175
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 175
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #176
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #177
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #178
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.75	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #179
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.76	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #180
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.76	c Elapsed CPU time: 0.761884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #181
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.77	c Elapsed CPU time: 0.765883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #182
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.77	c Elapsed CPU time: 0.770882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #183
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.78	c Elapsed CPU time: 0.775882 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #184
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.78	c Elapsed CPU time: 0.780881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #185
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.79	c Elapsed CPU time: 0.78588 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #186
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.79	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #187
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.80	c Elapsed CPU time: 0.794879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #188
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 188
0.79/0.80	c Elapsed CPU time: 0.799878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #189
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 189
0.79/0.81	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #190
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 190
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #191
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 191
0.79/0.82	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #192
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 192
0.79/0.82	c Elapsed CPU time: 0.818875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #193
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 193
0.79/0.82	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #194
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 194
0.79/0.83	c Elapsed CPU time: 0.828873 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #195
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 195
0.79/0.83	c Elapsed CPU time: 0.833873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #196
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 196
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #197
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 197
0.79/0.84	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #198
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #199
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.85	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #200
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #201
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.86	c Elapsed CPU time: 0.861868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #202
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.87	c Elapsed CPU time: 0.865868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #203
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.87	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #204
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.88	c Elapsed CPU time: 0.874867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #205
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #206
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.89	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #207
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.89	c Elapsed CPU time: 0.889864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #208
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 208
0.89/0.90	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #209
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 209
0.89/0.90	c Elapsed CPU time: 0.899863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #210
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 210
0.89/0.91	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #211
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 211
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #212
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 212
0.89/0.92	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #213
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 213
0.89/0.92	c Elapsed CPU time: 0.91886 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #214
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 214
0.89/0.93	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #215
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 215
0.89/0.93	c Elapsed CPU time: 0.928858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #216
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 216
0.89/0.94	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #217
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 217
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #218
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 218
0.89/0.95	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #219
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 219
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #220
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.96	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #221
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.96	c Elapsed CPU time: 0.958854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #222
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.97	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #223
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.97	c Elapsed CPU time: 0.968852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #224
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.98	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #225
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.98	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #226
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.99	c Elapsed CPU time: 0.98485 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #227
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.99	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #228
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/1.00	c Elapsed CPU time: 0.994848 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #229
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 229
0.99/1.00	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #230
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 230
0.99/1.01	c Elapsed CPU time: 1.00485 s	Remaining CPU time: 1799 s
0.99/1.01	c core #231
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 231
0.99/1.01	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #232
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 232
0.99/1.02	c Elapsed CPU time: 1.01385 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #233
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 233
0.99/1.02	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #234
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 234
0.99/1.03	c Elapsed CPU time: 1.02384 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #235
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 235
0.99/1.03	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #236
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 236
0.99/1.04	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #237
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 237
0.99/1.05	c Elapsed CPU time: 1.03884 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #238
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 238
0.99/1.05	c Elapsed CPU time: 1.04384 s	Remaining CPU time: 1798.96 s
0.99/1.06	c core #239
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 239
0.99/1.06	c Elapsed CPU time: 1.04884 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #240
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.06	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 1798.95 s
0.99/1.07	c core #241
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.07	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #242
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.08	c core #243
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.08	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #244
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.09	c core #245
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.09	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #246
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.09	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #247
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.10	c Elapsed CPU time: 1.09083 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #248
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 248
1.09/1.10	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #249
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 249
1.09/1.11	c Elapsed CPU time: 1.10183 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #250
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 250
1.09/1.11	c Elapsed CPU time: 1.10683 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #251
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 251
1.09/1.12	c Elapsed CPU time: 1.11183 s	Remaining CPU time: 1798.89 s
1.09/1.13	c core #252
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 252
1.09/1.13	c Elapsed CPU time: 1.11783 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #253
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 253
1.09/1.13	c Elapsed CPU time: 1.12283 s	Remaining CPU time: 1798.88 s
1.09/1.14	c core #254
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 254
1.09/1.14	c Elapsed CPU time: 1.12783 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #255
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 255
1.09/1.14	c Elapsed CPU time: 1.13283 s	Remaining CPU time: 1798.87 s
1.09/1.15	c core #256
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 256
1.09/1.15	c Elapsed CPU time: 1.13783 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #257
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 257
1.09/1.15	c Elapsed CPU time: 1.14283 s	Remaining CPU time: 1798.86 s
1.09/1.16	c core #258
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 258
1.09/1.16	c Elapsed CPU time: 1.14783 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #259
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 259
1.09/1.16	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.09/1.17	c core #260
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 260
1.09/1.17	c Elapsed CPU time: 1.15882 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #261
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.17	c Elapsed CPU time: 1.16382 s	Remaining CPU time: 1798.84 s
1.09/1.18	c core #262
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.18	c Elapsed CPU time: 1.16882 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #263
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.18	c Elapsed CPU time: 1.17482 s	Remaining CPU time: 1798.83 s
1.09/1.19	c core #264
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.19	c Elapsed CPU time: 1.17982 s	Remaining CPU time: 1798.82 s
1.09/1.20	c core #265
1.09/1.20	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.20	c Elapsed CPU time: 1.18582 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #266
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 266
1.18/1.20	c Elapsed CPU time: 1.19082 s	Remaining CPU time: 1798.81 s
1.18/1.21	c core #267
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 267
1.18/1.21	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #268
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 268
1.18/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.18/1.22	c core #269
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 269
1.18/1.22	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 1798.79 s
1.18/1.22	c core #270
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 270
1.18/1.22	c Elapsed CPU time: 1.21281 s	Remaining CPU time: 1798.79 s
1.18/1.23	c core #271
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 271
1.18/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.18/1.23	c core #272
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 272
1.18/1.23	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 1798.78 s
1.18/1.24	c core #273
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 273
1.18/1.24	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #274
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 274
1.18/1.25	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #275
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 275
1.18/1.25	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #276
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 276
1.18/1.26	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #277
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 277
1.18/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #278
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 278
1.18/1.27	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #279
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 279
1.18/1.27	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #280
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 280
1.18/1.28	c Elapsed CPU time: 1.26481 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #281
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 281
1.18/1.28	c Elapsed CPU time: 1.26981 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #282
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 282
1.18/1.29	c Elapsed CPU time: 1.27581 s	Remaining CPU time: 1798.72 s
1.18/1.30	c core #283
1.18/1.30	c Core size: 3	Core Weight: 1	Total Weight: 283
1.18/1.30	c Elapsed CPU time: 1.2808 s	Remaining CPU time: 1798.72 s
1.29/1.30	c core #284
1.29/1.30	c Core size: 3	Core Weight: 1	Total Weight: 284
1.29/1.30	c Elapsed CPU time: 1.2858 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #285
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 285
1.29/1.31	c Elapsed CPU time: 1.2908 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #286
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 286
1.29/1.31	c Elapsed CPU time: 1.2968 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #287
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 287
1.29/1.32	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #288
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 288
1.29/1.32	c Elapsed CPU time: 1.3078 s	Remaining CPU time: 1798.69 s
1.29/1.33	c core #289
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 289
1.29/1.33	c Elapsed CPU time: 1.3128 s	Remaining CPU time: 1798.69 s
1.29/1.34	c core #290
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 290
1.29/1.34	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #291
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 291
1.29/1.34	c Elapsed CPU time: 1.3238 s	Remaining CPU time: 1798.68 s
1.29/1.35	c core #292
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 292
1.29/1.35	c Elapsed CPU time: 1.3288 s	Remaining CPU time: 1798.67 s
1.29/1.35	c core #293
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 293
1.29/1.35	c Elapsed CPU time: 1.3348 s	Remaining CPU time: 1798.67 s
1.29/1.36	c core #294
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 294
1.29/1.36	c Elapsed CPU time: 1.3408 s	Remaining CPU time: 1798.66 s
1.29/1.36	c core #295
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 295
1.29/1.36	c Elapsed CPU time: 1.34679 s	Remaining CPU time: 1798.65 s
1.29/1.37	c core #296
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 296
1.29/1.37	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 1798.65 s
1.29/1.38	c core #297
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 297
1.29/1.38	c Elapsed CPU time: 1.35779 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #298
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 298
1.29/1.38	c Elapsed CPU time: 1.36379 s	Remaining CPU time: 1798.64 s
1.29/1.39	c core #299
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 299
1.29/1.39	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 1798.63 s
1.29/1.39	c core #300
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 300
1.29/1.39	c Elapsed CPU time: 1.37479 s	Remaining CPU time: 1798.63 s
1.38/1.40	c core #301
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 301
1.38/1.40	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #302
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 302
1.38/1.40	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #303
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 303
1.38/1.41	c Elapsed CPU time: 1.39279 s	Remaining CPU time: 1798.61 s
1.38/1.42	c core #304
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 304
1.38/1.42	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #305
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 305
1.38/1.42	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.38/1.43	c core #306
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 306
1.38/1.43	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #307
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 307
1.38/1.43	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.38/1.44	c core #308
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 308
1.38/1.44	c Elapsed CPU time: 1.41778 s	Remaining CPU time: 1798.58 s
1.38/1.45	c core #309
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 309
1.38/1.45	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.38/1.45	c core #310
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 310
1.38/1.45	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.38/1.46	c core #311
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 311
1.38/1.46	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #312
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 312
1.38/1.46	c Elapsed CPU time: 1.44178 s	Remaining CPU time: 1798.56 s
1.38/1.47	c core #313
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 313
1.38/1.47	c Elapsed CPU time: 1.44778 s	Remaining CPU time: 1798.55 s
1.38/1.48	c core #314
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 314
1.38/1.48	c Elapsed CPU time: 1.45378 s	Remaining CPU time: 1798.55 s
1.38/1.48	c core #315
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 315
1.38/1.48	c Elapsed CPU time: 1.45978 s	Remaining CPU time: 1798.54 s
1.38/1.49	c core #316
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.49	c Elapsed CPU time: 1.46578 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #317
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.49	c Elapsed CPU time: 1.47178 s	Remaining CPU time: 1798.53 s
1.48/1.50	c core #318
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 318
1.48/1.50	c Elapsed CPU time: 1.47778 s	Remaining CPU time: 1798.52 s
1.48/1.51	c core #319
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 319
1.48/1.51	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.48/1.51	c core #320
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 320
1.48/1.51	c Elapsed CPU time: 1.48877 s	Remaining CPU time: 1798.51 s
1.48/1.52	c core #321
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 321
1.48/1.52	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.52	c core #322
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 322
1.48/1.52	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 1798.5 s
1.48/1.53	c core #323
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 323
1.48/1.53	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.48/1.54	c core #324
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 324
1.48/1.54	c Elapsed CPU time: 1.51177 s	Remaining CPU time: 1798.49 s
1.48/1.54	c core #325
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 325
1.48/1.54	c Elapsed CPU time: 1.51777 s	Remaining CPU time: 1798.48 s
1.48/1.55	c core #326
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 326
1.48/1.55	c Elapsed CPU time: 1.52377 s	Remaining CPU time: 1798.48 s
1.48/1.55	c core #327
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 327
1.48/1.55	c Elapsed CPU time: 1.52977 s	Remaining CPU time: 1798.47 s
1.48/1.56	c core #328
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 328
1.48/1.56	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.48/1.57	c core #329
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 329
1.48/1.57	c Elapsed CPU time: 1.54177 s	Remaining CPU time: 1798.46 s
1.48/1.57	c core #330
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 330
1.48/1.57	c Elapsed CPU time: 1.54676 s	Remaining CPU time: 1798.45 s
1.48/1.58	c core #331
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 331
1.48/1.58	c Elapsed CPU time: 1.55276 s	Remaining CPU time: 1798.45 s
1.48/1.59	c core #332
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 332
1.48/1.59	c Elapsed CPU time: 1.55876 s	Remaining CPU time: 1798.44 s
1.48/1.59	c core #333
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 333
1.48/1.59	c Elapsed CPU time: 1.56376 s	Remaining CPU time: 1798.44 s
1.57/1.60	c core #334
1.57/1.60	c Core size: 3	Core Weight: 1	Total Weight: 334
1.57/1.60	c Elapsed CPU time: 1.56976 s	Remaining CPU time: 1798.43 s
1.57/1.60	c core #335
1.57/1.60	c Core size: 3	Core Weight: 1	Total Weight: 335
1.57/1.60	c Elapsed CPU time: 1.57676 s	Remaining CPU time: 1798.42 s
1.57/1.61	c core #336
1.57/1.61	c Core size: 3	Core Weight: 1	Total Weight: 336
1.57/1.61	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.57/1.62	c core #337
1.57/1.62	c Core size: 3	Core Weight: 1	Total Weight: 337
1.57/1.62	c Elapsed CPU time: 1.58776 s	Remaining CPU time: 1798.41 s
1.57/1.62	c core #338
1.57/1.62	c Core size: 3	Core Weight: 1	Total Weight: 338
1.57/1.62	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.57/1.63	c core #339
1.57/1.63	c Core size: 3	Core Weight: 1	Total Weight: 339
1.57/1.63	c Elapsed CPU time: 1.59976 s	Remaining CPU time: 1798.4 s
1.57/1.64	c core #340
1.57/1.64	c Core size: 3	Core Weight: 1	Total Weight: 340
1.57/1.64	c Elapsed CPU time: 1.60576 s	Remaining CPU time: 1798.39 s
1.57/1.64	c core #341
1.57/1.64	c Core size: 3	Core Weight: 1	Total Weight: 341
1.57/1.64	c Elapsed CPU time: 1.61175 s	Remaining CPU time: 1798.39 s
1.57/1.65	c core #342
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 342
1.57/1.65	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.57/1.65	c core #343
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 343
1.57/1.65	c Elapsed CPU time: 1.62475 s	Remaining CPU time: 1798.38 s
1.57/1.66	c core #344
1.57/1.66	c Core size: 3	Core Weight: 1	Total Weight: 344
1.57/1.66	c Elapsed CPU time: 1.63075 s	Remaining CPU time: 1798.37 s
1.57/1.67	c core #345
1.57/1.67	c Core size: 3	Core Weight: 1	Total Weight: 345
1.57/1.67	c Elapsed CPU time: 1.63675 s	Remaining CPU time: 1798.36 s
1.57/1.67	c core #346
1.57/1.67	c Core size: 3	Core Weight: 1	Total Weight: 346
1.57/1.67	c Elapsed CPU time: 1.64275 s	Remaining CPU time: 1798.36 s
1.57/1.68	c core #347
1.57/1.68	c Core size: 3	Core Weight: 1	Total Weight: 347
1.57/1.68	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.57/1.69	c core #348
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 348
1.57/1.69	c Elapsed CPU time: 1.65575 s	Remaining CPU time: 1798.34 s
1.57/1.69	c core #349
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 349
1.57/1.69	c Elapsed CPU time: 1.66175 s	Remaining CPU time: 1798.34 s
1.67/1.70	c core #350
1.67/1.70	c Core size: 3	Core Weight: 1	Total Weight: 350
1.67/1.70	c Elapsed CPU time: 1.66875 s	Remaining CPU time: 1798.33 s
1.67/1.70	c core #351
1.67/1.70	c Core size: 3	Core Weight: 1	Total Weight: 351
1.67/1.70	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.67/1.71	c core #352
1.67/1.71	c Core size: 3	Core Weight: 1	Total Weight: 352
1.67/1.71	c Elapsed CPU time: 1.68074 s	Remaining CPU time: 1798.32 s
1.67/1.72	c core #353
1.67/1.72	c Core size: 3	Core Weight: 1	Total Weight: 353
1.67/1.72	c Elapsed CPU time: 1.68674 s	Remaining CPU time: 1798.31 s
1.67/1.72	c core #354
1.67/1.72	c Core size: 3	Core Weight: 1	Total Weight: 354
1.67/1.72	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.67/1.73	c core #355
1.67/1.73	c Core size: 3	Core Weight: 1	Total Weight: 355
1.67/1.73	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 1798.3 s
1.67/1.74	c core #356
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 356
1.67/1.74	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 1798.29 s
1.67/1.74	c core #357
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 357
1.67/1.74	c Elapsed CPU time: 1.71174 s	Remaining CPU time: 1798.29 s
1.67/1.75	c core #358
1.67/1.75	c Core size: 3	Core Weight: 1	Total Weight: 358
1.67/1.75	c Elapsed CPU time: 1.71874 s	Remaining CPU time: 1798.28 s
1.67/1.76	c core #359
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 359
1.67/1.76	c Elapsed CPU time: 1.72474 s	Remaining CPU time: 1798.28 s
1.67/1.76	c core #360
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 360
1.67/1.76	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 1798.27 s
1.67/1.77	c core #361
1.67/1.77	c Core size: 3	Core Weight: 1	Total Weight: 361
1.67/1.77	c Elapsed CPU time: 1.73774 s	Remaining CPU time: 1798.26 s
1.67/1.77	c core #362
1.67/1.77	c Core size: 3	Core Weight: 1	Total Weight: 362
1.67/1.77	c Elapsed CPU time: 1.74373 s	Remaining CPU time: 1798.26 s
1.67/1.78	c core #363
1.67/1.78	c Core size: 3	Core Weight: 1	Total Weight: 363
1.67/1.78	c Elapsed CPU time: 1.75073 s	Remaining CPU time: 1798.25 s
1.67/1.79	c core #364
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 364
1.67/1.79	c Elapsed CPU time: 1.75673 s	Remaining CPU time: 1798.24 s
1.67/1.79	c core #365
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 365
1.67/1.79	c Elapsed CPU time: 1.76373 s	Remaining CPU time: 1798.24 s
1.77/1.80	c core #366
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 366
1.77/1.80	c Elapsed CPU time: 1.76973 s	Remaining CPU time: 1798.23 s
1.77/1.81	c core #367
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 367
1.77/1.81	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #368
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 368
1.77/1.81	c Elapsed CPU time: 1.78273 s	Remaining CPU time: 1798.22 s
1.77/1.82	c core #369
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 369
1.77/1.82	c Elapsed CPU time: 1.78873 s	Remaining CPU time: 1798.21 s
1.77/1.83	c core #370
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 370
1.77/1.83	c Elapsed CPU time: 1.79573 s	Remaining CPU time: 1798.2 s
1.77/1.83	c core #371
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 371
1.77/1.83	c Elapsed CPU time: 1.80173 s	Remaining CPU time: 1798.2 s
1.77/1.84	c core #372
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 372
1.77/1.84	c Elapsed CPU time: 1.80773 s	Remaining CPU time: 1798.19 s
1.77/1.85	c core #373
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 373
1.77/1.85	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 s
1.77/1.85	c core #374
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 374
1.77/1.85	c Elapsed CPU time: 1.81972 s	Remaining CPU time: 1798.18 s
1.77/1.86	c core #375
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 375
1.77/1.86	c Elapsed CPU time: 1.82672 s	Remaining CPU time: 1798.17 s
1.77/1.86	c core #376
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 376
1.77/1.86	c Elapsed CPU time: 1.83272 s	Remaining CPU time: 1798.17 s
1.77/1.87	c core #377
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 377
1.77/1.87	c Elapsed CPU time: 1.83972 s	Remaining CPU time: 1798.16 s
1.77/1.88	c core #378
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 378
1.77/1.88	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.77/1.88	c core #379
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 379
1.77/1.88	c Elapsed CPU time: 1.85272 s	Remaining CPU time: 1798.15 s
1.77/1.89	c core #380
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 380
1.77/1.89	c Elapsed CPU time: 1.85772 s	Remaining CPU time: 1798.14 s
1.87/1.90	c core #381
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 381
1.87/1.90	c Elapsed CPU time: 1.86472 s	Remaining CPU time: 1798.14 s
1.87/1.90	c core #382
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 382
1.87/1.90	c Elapsed CPU time: 1.87172 s	Remaining CPU time: 1798.13 s
1.87/1.91	c core #383
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 383
1.87/1.91	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.87/1.92	c core #384
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 384
1.87/1.92	c Elapsed CPU time: 1.88471 s	Remaining CPU time: 1798.12 s
1.87/1.92	c core #385
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 385
1.87/1.92	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
1.87/1.93	c core #386
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 386
1.87/1.93	c Elapsed CPU time: 1.89771 s	Remaining CPU time: 1798.1 s
1.87/1.94	c core #387
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 387
1.87/1.94	c Elapsed CPU time: 1.90471 s	Remaining CPU time: 1798.1 s
1.87/1.94	c core #388
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 388
1.87/1.94	c Elapsed CPU time: 1.91071 s	Remaining CPU time: 1798.09 s
1.87/1.95	c core #389
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 389
1.87/1.95	c Elapsed CPU time: 1.91771 s	Remaining CPU time: 1798.08 s
1.87/1.96	c core #390
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 390
1.87/1.96	c Elapsed CPU time: 1.92471 s	Remaining CPU time: 1798.08 s
1.87/1.96	c core #391
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 391
1.87/1.96	c Elapsed CPU time: 1.93071 s	Remaining CPU time: 1798.07 s
1.87/1.97	c core #392
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 392
1.87/1.97	c Elapsed CPU time: 1.93771 s	Remaining CPU time: 1798.06 s
1.87/1.98	c core #393
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 393
1.87/1.98	c Elapsed CPU time: 1.9437 s	Remaining CPU time: 1798.06 s
1.87/1.98	c core #394
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 394
1.87/1.98	c Elapsed CPU time: 1.9497 s	Remaining CPU time: 1798.05 s
1.87/1.99	c core #395
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 395
1.87/1.99	c Elapsed CPU time: 1.9567 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #396
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 396
1.97/2.00	c Elapsed CPU time: 1.9627 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #397
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 397
1.97/2.00	c Elapsed CPU time: 1.9687 s	Remaining CPU time: 1798.03 s
1.97/2.01	c core #398
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 398
1.97/2.01	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #399
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 399
1.97/2.02	c Elapsed CPU time: 1.9817 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #400
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 400
1.97/2.02	c Elapsed CPU time: 1.9877 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #401
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 401
1.97/2.03	c Elapsed CPU time: 1.9947 s	Remaining CPU time: 1798.01 s
1.97/2.04	c core #402
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 402
1.97/2.04	c Elapsed CPU time: 2.00069 s	Remaining CPU time: 1798 s
1.97/2.04	c core #403
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 403
1.97/2.04	c Elapsed CPU time: 2.00769 s	Remaining CPU time: 1797.99 s
1.97/2.05	c core #404
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 404
1.97/2.05	c Elapsed CPU time: 2.01469 s	Remaining CPU time: 1797.99 s
1.97/2.06	c core #405
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 405
1.97/2.06	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #406
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 406
1.97/2.06	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #407
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 407
1.97/2.07	c Elapsed CPU time: 2.03469 s	Remaining CPU time: 1797.97 s
1.97/2.08	c core #408
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 408
1.97/2.08	c Elapsed CPU time: 2.04169 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #409
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 409
1.97/2.08	c Elapsed CPU time: 2.04869 s	Remaining CPU time: 1797.95 s
1.97/2.09	c core #410
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 410
1.97/2.09	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #411
1.97/2.10	c Core size: 3	Core Weight: 1	Total Weight: 411
1.97/2.10	c Elapsed CPU time: 2.06169 s	Remaining CPU time: 1797.94 s
2.07/2.10	c core #412
2.07/2.10	c Core size: 3	Core Weight: 1	Total Weight: 412
2.07/2.10	c Elapsed CPU time: 2.06768 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #413
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 413
2.07/2.11	c Elapsed CPU time: 2.07468 s	Remaining CPU time: 1797.93 s
2.07/2.12	c core #414
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 414
2.07/2.12	c Elapsed CPU time: 2.08168 s	Remaining CPU time: 1797.92 s
2.07/2.13	c core #415
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 415
2.07/2.13	c Elapsed CPU time: 2.08868 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #416
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 416
2.07/2.13	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 1797.91 s
2.07/2.14	c core #417
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 417
2.07/2.14	c Elapsed CPU time: 2.10068 s	Remaining CPU time: 1797.9 s
2.07/2.15	c core #418
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 418
2.07/2.15	c Elapsed CPU time: 2.10768 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #419
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 419
2.07/2.15	c Elapsed CPU time: 2.11468 s	Remaining CPU time: 1797.89 s
2.07/2.16	c core #420
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 420
2.07/2.16	c Elapsed CPU time: 2.12168 s	Remaining CPU time: 1797.88 s
2.07/2.17	c core #421
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 421
2.07/2.17	c Elapsed CPU time: 2.12868 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #422
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 422
2.07/2.17	c Elapsed CPU time: 2.13567 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #423
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 423
2.07/2.18	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.07/2.19	c core #424
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 424
2.07/2.19	c Elapsed CPU time: 2.14967 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #425
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 425
2.07/2.19	c Elapsed CPU time: 2.15667 s	Remaining CPU time: 1797.84 s
2.17/2.20	c core #426
2.17/2.20	c Core size: 3	Core Weight: 1	Total Weight: 426
2.17/2.20	c Elapsed CPU time: 2.16367 s	Remaining CPU time: 1797.84 s
2.17/2.21	c core #427
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 427
2.17/2.21	c Elapsed CPU time: 2.17067 s	Remaining CPU time: 1797.83 s
2.17/2.22	c core #428
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 428
2.17/2.22	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #429
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 429
2.17/2.22	c Elapsed CPU time: 2.18367 s	Remaining CPU time: 1797.82 s
2.17/2.23	c core #430
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 430
2.17/2.23	c Elapsed CPU time: 2.18967 s	Remaining CPU time: 1797.81 s
2.17/2.24	c core #431
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 431
2.17/2.24	c Elapsed CPU time: 2.19767 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #432
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 432
2.17/2.24	c Elapsed CPU time: 2.20366 s	Remaining CPU time: 1797.8 s
2.17/2.25	c core #433
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 433
2.17/2.25	c Elapsed CPU time: 2.21066 s	Remaining CPU time: 1797.79 s
2.17/2.26	c core #434
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 434
2.17/2.26	c Elapsed CPU time: 2.21766 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #435
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 435
2.17/2.26	c Elapsed CPU time: 2.22466 s	Remaining CPU time: 1797.78 s
2.17/2.27	c core #436
2.17/2.27	c Core size: 3	Core Weight: 1	Total Weight: 436
2.17/2.27	c Elapsed CPU time: 2.23166 s	Remaining CPU time: 1797.77 s
2.17/2.28	c core #437
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 437
2.17/2.28	c Elapsed CPU time: 2.23866 s	Remaining CPU time: 1797.76 s
2.17/2.29	c core #438
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 438
2.17/2.29	c Elapsed CPU time: 2.24566 s	Remaining CPU time: 1797.75 s
2.17/2.29	c core #439
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 439
2.17/2.29	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.26/2.30	c core #440
2.26/2.30	c Core size: 3	Core Weight: 1	Total Weight: 440
2.26/2.30	c Elapsed CPU time: 2.25966 s	Remaining CPU time: 1797.74 s
2.26/2.31	c core #441
2.26/2.31	c Core size: 3	Core Weight: 1	Total Weight: 441
2.26/2.31	c Elapsed CPU time: 2.26666 s	Remaining CPU time: 1797.73 s
2.26/2.31	c core #442
2.26/2.31	c Core size: 3	Core Weight: 1	Total Weight: 442
2.26/2.31	c Elapsed CPU time: 2.27365 s	Remaining CPU time: 1797.73 s
2.26/2.32	c core #443
2.26/2.32	c Core size: 3	Core Weight: 1	Total Weight: 443
2.26/2.32	c Elapsed CPU time: 2.28065 s	Remaining CPU time: 1797.72 s
2.26/2.33	c core #444
2.26/2.33	c Core size: 3	Core Weight: 1	Total Weight: 444
2.26/2.33	c Elapsed CPU time: 2.28765 s	Remaining CPU time: 1797.71 s
2.26/2.33	c core #445
2.26/2.33	c Core size: 3	Core Weight: 1	Total Weight: 445
2.26/2.33	c Elapsed CPU time: 2.29465 s	Remaining CPU time: 1797.71 s
2.26/2.34	c core #446
2.26/2.34	c Core size: 3	Core Weight: 1	Total Weight: 446
2.26/2.34	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.26/2.35	c core #447
2.26/2.35	c Core size: 3	Core Weight: 1	Total Weight: 447
2.26/2.35	c Elapsed CPU time: 2.30965 s	Remaining CPU time: 1797.69 s
2.26/2.36	c core #448
2.26/2.36	c Core size: 3	Core Weight: 1	Total Weight: 448
2.26/2.36	c Elapsed CPU time: 2.31665 s	Remaining CPU time: 1797.68 s
2.26/2.36	c core #449
2.26/2.36	c Core size: 3	Core Weight: 1	Total Weight: 449
2.26/2.36	c Elapsed CPU time: 2.32365 s	Remaining CPU time: 1797.68 s
2.26/2.37	c core #450
2.26/2.37	c Core size: 3	Core Weight: 1	Total Weight: 450
2.26/2.37	c Elapsed CPU time: 2.33065 s	Remaining CPU time: 1797.67 s
2.26/2.38	c core #451
2.26/2.38	c Core size: 3	Core Weight: 1	Total Weight: 451
2.26/2.38	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.26/2.39	c core #452
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 452
2.26/2.39	c Elapsed CPU time: 2.34464 s	Remaining CPU time: 1797.66 s
2.26/2.39	c core #453
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 453
2.26/2.39	c Elapsed CPU time: 2.35264 s	Remaining CPU time: 1797.65 s
2.36/2.40	c core #454
2.36/2.40	c Core size: 3	Core Weight: 1	Total Weight: 454
2.36/2.40	c Elapsed CPU time: 2.35964 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #455
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 455
2.36/2.41	c Elapsed CPU time: 2.36664 s	Remaining CPU time: 1797.63 s
2.36/2.42	c core #456
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 456
2.36/2.42	c Elapsed CPU time: 2.37364 s	Remaining CPU time: 1797.63 s
2.36/2.42	c core #457
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 457
2.36/2.42	c Elapsed CPU time: 2.38064 s	Remaining CPU time: 1797.62 s
2.36/2.43	c core #458
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 458
2.36/2.43	c Elapsed CPU time: 2.38764 s	Remaining CPU time: 1797.61 s
2.36/2.44	c core #459
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 459
2.36/2.44	c Elapsed CPU time: 2.39563 s	Remaining CPU time: 1797.6 s
2.36/2.44	c core #460
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 460
2.36/2.44	c Elapsed CPU time: 2.40263 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #461
2.36/2.45	c Core size: 3	Core Weight: 1	Total Weight: 461
2.36/2.45	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 1797.59 s
2.36/2.46	c core #462
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 462
2.36/2.46	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #463
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 463
2.36/2.47	c Elapsed CPU time: 2.42363 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #464
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 464
2.36/2.47	c Elapsed CPU time: 2.43063 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #465
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 465
2.36/2.48	c Elapsed CPU time: 2.43763 s	Remaining CPU time: 1797.56 s
2.36/2.49	c core #466
2.36/2.49	c Core size: 3	Core Weight: 1	Total Weight: 466
2.36/2.49	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 1797.56 s
2.36/2.50	c core #467
2.36/2.50	c Core size: 3	Core Weight: 1	Total Weight: 467
2.36/2.50	c Elapsed CPU time: 2.45163 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #468
2.46/2.50	c Core size: 3	Core Weight: 1	Total Weight: 468
2.46/2.50	c Elapsed CPU time: 2.45963 s	Remaining CPU time: 1797.54 s
2.46/2.51	c core #469
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 469
2.46/2.51	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #470
2.46/2.52	c Core size: 3	Core Weight: 1	Total Weight: 470
2.46/2.52	c Elapsed CPU time: 2.47362 s	Remaining CPU time: 1797.53 s
2.46/2.53	c core #471
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 471
2.46/2.53	c Elapsed CPU time: 2.48062 s	Remaining CPU time: 1797.52 s
2.46/2.53	c core #472
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 472
2.46/2.53	c Elapsed CPU time: 2.48862 s	Remaining CPU time: 1797.51 s
2.46/2.54	c core #473
2.46/2.54	c Core size: 3	Core Weight: 1	Total Weight: 473
2.46/2.54	c Elapsed CPU time: 2.49562 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #474
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 474
2.46/2.55	c Elapsed CPU time: 2.50262 s	Remaining CPU time: 1797.5 s
2.46/2.56	c core #475
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 475
2.46/2.56	c Elapsed CPU time: 2.51062 s	Remaining CPU time: 1797.49 s
2.46/2.56	c core #476
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 476
2.46/2.56	c Elapsed CPU time: 2.51762 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #477
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 477
2.46/2.57	c Elapsed CPU time: 2.52562 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #478
2.46/2.58	c Core size: 3	Core Weight: 1	Total Weight: 478
2.46/2.58	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 1797.47 s
2.46/2.59	c core #479
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 479
2.46/2.59	c Elapsed CPU time: 2.54061 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #480
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 480
2.46/2.59	c Elapsed CPU time: 2.54861 s	Remaining CPU time: 1797.45 s
2.56/2.60	c core #481
2.56/2.60	c Core size: 3	Core Weight: 1	Total Weight: 481
2.56/2.60	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 1797.44 s
2.56/2.61	c core #482
2.56/2.61	c Core size: 3	Core Weight: 1	Total Weight: 482
2.56/2.61	c Elapsed CPU time: 2.56261 s	Remaining CPU time: 1797.44 s
2.56/2.62	c core #483
2.56/2.62	c Core size: 3	Core Weight: 1	Total Weight: 483
2.56/2.62	c Elapsed CPU time: 2.57061 s	Remaining CPU time: 1797.43 s
2.56/2.63	c core #484
2.56/2.63	c Core size: 3	Core Weight: 1	Total Weight: 484
2.56/2.63	c Elapsed CPU time: 2.57861 s	Remaining CPU time: 1797.42 s
2.56/2.63	c core #485
2.56/2.63	c Core size: 3	Core Weight: 1	Total Weight: 485
2.56/2.63	c Elapsed CPU time: 2.58561 s	Remaining CPU time: 1797.41 s
2.56/2.64	c core #486
2.56/2.64	c Core size: 3	Core Weight: 1	Total Weight: 486
2.56/2.64	c Elapsed CPU time: 2.59361 s	Remaining CPU time: 1797.41 s
2.56/2.65	c core #487
2.56/2.65	c Core size: 3	Core Weight: 1	Total Weight: 487
2.56/2.65	c Elapsed CPU time: 2.6016 s	Remaining CPU time: 1797.4 s
2.56/2.66	c core #488
2.56/2.66	c Core size: 3	Core Weight: 1	Total Weight: 488
2.56/2.66	c Elapsed CPU time: 2.6096 s	Remaining CPU time: 1797.39 s
2.56/2.66	c core #489
2.56/2.66	c Core size: 3	Core Weight: 1	Total Weight: 489
2.56/2.66	c Elapsed CPU time: 2.6166 s	Remaining CPU time: 1797.38 s
2.56/2.67	c core #490
2.56/2.67	c Core size: 3	Core Weight: 1	Total Weight: 490
2.56/2.67	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 1797.38 s
2.56/2.68	c core #491
2.56/2.68	c Core size: 3	Core Weight: 1	Total Weight: 491
2.56/2.68	c Elapsed CPU time: 2.6326 s	Remaining CPU time: 1797.37 s
2.56/2.69	c core #492
2.56/2.69	c Core size: 3	Core Weight: 1	Total Weight: 492
2.56/2.69	c Elapsed CPU time: 2.6396 s	Remaining CPU time: 1797.36 s
2.56/2.69	c core #493
2.56/2.69	c Core size: 3	Core Weight: 1	Total Weight: 493
2.56/2.69	c Elapsed CPU time: 2.6476 s	Remaining CPU time: 1797.35 s
2.66/2.70	c core #494
2.66/2.70	c Core size: 3	Core Weight: 1	Total Weight: 494
2.66/2.70	c Elapsed CPU time: 2.6556 s	Remaining CPU time: 1797.34 s
2.66/2.71	c core #495
2.66/2.71	c Core size: 3	Core Weight: 1	Total Weight: 495
2.66/2.71	c Elapsed CPU time: 2.6626 s	Remaining CPU time: 1797.34 s
2.66/2.72	c core #496
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 496
2.66/2.72	c Elapsed CPU time: 2.66959 s	Remaining CPU time: 1797.33 s
2.66/2.73	c core #497
2.66/2.73	c Core size: 3	Core Weight: 1	Total Weight: 497
2.66/2.73	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 1797.32 s
2.66/2.73	c core #498
2.66/2.73	c Core size: 3	Core Weight: 1	Total Weight: 498
2.66/2.73	c Elapsed CPU time: 2.68359 s	Remaining CPU time: 1797.32 s
2.66/2.74	c core #499
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 499
2.66/2.74	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 1797.31 s
2.66/2.75	c core #500
2.66/2.75	c Core size: 3	Core Weight: 1	Total Weight: 500
2.66/2.75	c Elapsed CPU time: 2.69959 s	Remaining CPU time: 1797.3 s
2.66/2.76	c core #501
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 501
2.66/2.76	c Elapsed CPU time: 2.70759 s	Remaining CPU time: 1797.29 s
2.66/2.77	c core #502
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 502
2.66/2.77	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 1797.29 s
2.66/2.77	c core #503
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 503
2.66/2.77	c Elapsed CPU time: 2.72159 s	Remaining CPU time: 1797.28 s
2.66/2.78	c core #504
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 504
2.66/2.78	c Elapsed CPU time: 2.72959 s	Remaining CPU time: 1797.27 s
2.66/2.79	c core #505
2.66/2.79	c Core size: 3	Core Weight: 1	Total Weight: 505
2.66/2.79	c Elapsed CPU time: 2.73758 s	Remaining CPU time: 1797.26 s
2.66/2.80	c core #506
2.66/2.80	c Core size: 3	Core Weight: 1	Total Weight: 506
2.66/2.80	c Elapsed CPU time: 2.74458 s	Remaining CPU time: 1797.26 s
2.76/2.80	c core #507
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 507
2.76/2.80	c Elapsed CPU time: 2.75058 s	Remaining CPU time: 1797.25 s
2.76/2.81	c core #508
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 508
2.76/2.81	c Elapsed CPU time: 2.75858 s	Remaining CPU time: 1797.24 s
2.76/2.82	c core #509
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 509
2.76/2.82	c Elapsed CPU time: 2.76658 s	Remaining CPU time: 1797.23 s
2.76/2.83	c core #510
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 510
2.76/2.83	c Elapsed CPU time: 2.77458 s	Remaining CPU time: 1797.23 s
2.76/2.84	c core #511
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 511
2.76/2.84	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.76/2.84	c core #512
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 512
2.76/2.84	c Elapsed CPU time: 2.79058 s	Remaining CPU time: 1797.21 s
2.76/2.85	c core #513
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 513
2.76/2.85	c Elapsed CPU time: 2.79857 s	Remaining CPU time: 1797.2 s
2.76/2.86	c core #514
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 514
2.76/2.86	c Elapsed CPU time: 2.80657 s	Remaining CPU time: 1797.19 s
2.76/2.87	c core #515
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 515
2.76/2.87	c Elapsed CPU time: 2.81457 s	Remaining CPU time: 1797.19 s
2.76/2.88	c core #516
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 516
2.76/2.88	c Elapsed CPU time: 2.82257 s	Remaining CPU time: 1797.18 s
2.76/2.88	c core #517
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 517
2.76/2.88	c Elapsed CPU time: 2.83057 s	Remaining CPU time: 1797.17 s
2.76/2.89	c core #518
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 518
2.76/2.89	c Elapsed CPU time: 2.83857 s	Remaining CPU time: 1797.16 s
2.86/2.90	c core #519
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 519
2.86/2.90	c Elapsed CPU time: 2.84657 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #520
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 520
2.86/2.91	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #521
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 521
2.86/2.92	c Elapsed CPU time: 2.86156 s	Remaining CPU time: 1797.14 s
2.86/2.92	c core #522
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 522
2.86/2.92	c Elapsed CPU time: 2.86956 s	Remaining CPU time: 1797.13 s
2.86/2.93	c core #523
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 523
2.86/2.93	c Elapsed CPU time: 2.87756 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #524
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 524
2.86/2.94	c Elapsed CPU time: 2.88556 s	Remaining CPU time: 1797.11 s
2.86/2.95	c core #525
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 525
2.86/2.95	c Elapsed CPU time: 2.89356 s	Remaining CPU time: 1797.11 s
2.86/2.96	c core #526
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 526
2.86/2.96	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.86/2.96	c core #527
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 527
2.86/2.96	c Elapsed CPU time: 2.90856 s	Remaining CPU time: 1797.09 s
2.86/2.97	c core #528
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 528
2.86/2.97	c Elapsed CPU time: 2.91656 s	Remaining CPU time: 1797.08 s
2.86/2.98	c core #529
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 529
2.86/2.98	c Elapsed CPU time: 2.92455 s	Remaining CPU time: 1797.08 s
2.86/2.99	c core #530
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 530
2.86/2.99	c Elapsed CPU time: 2.93155 s	Remaining CPU time: 1797.07 s
2.86/3.00	c core #531
2.86/3.00	c Core size: 3	Core Weight: 1	Total Weight: 531
2.86/3.00	c Elapsed CPU time: 2.93955 s	Remaining CPU time: 1797.06 s
2.96/3.00	c core #532
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 532
2.96/3.00	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.96/3.01	c core #533
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 533
2.96/3.01	c Elapsed CPU time: 2.95455 s	Remaining CPU time: 1797.05 s
2.96/3.02	c core #534
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 534
2.96/3.02	c Elapsed CPU time: 2.96155 s	Remaining CPU time: 1797.04 s
2.96/3.03	c core #535
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 535
2.96/3.03	c Elapsed CPU time: 2.96855 s	Remaining CPU time: 1797.03 s
2.96/3.04	c core #536
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 536
2.96/3.04	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 1797.02 s
2.96/3.04	c core #537
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 537
2.96/3.04	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 1797.02 s
2.96/3.05	c core #538
2.96/3.05	c Core size: 3	Core Weight: 1	Total Weight: 538
2.96/3.05	c Elapsed CPU time: 2.99154 s	Remaining CPU time: 1797.01 s
2.96/3.06	c core #539
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 539
2.96/3.06	c Elapsed CPU time: 2.99954 s	Remaining CPU time: 1797 s
2.96/3.07	c core #540
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 540
2.96/3.07	c Elapsed CPU time: 3.00754 s	Remaining CPU time: 1796.99 s
2.96/3.08	c core #541
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 541
2.96/3.08	c Elapsed CPU time: 3.01554 s	Remaining CPU time: 1796.98 s
2.96/3.08	c core #542
2.96/3.08	c Core size: 4	Core Weight: 1	Total Weight: 542
2.96/3.08	c Elapsed CPU time: 3.02354 s	Remaining CPU time: 1796.98 s
2.96/3.09	c core #543
2.96/3.09	c Core size: 4	Core Weight: 1	Total Weight: 543
2.96/3.09	c Elapsed CPU time: 3.03154 s	Remaining CPU time: 1796.97 s
3.05/3.10	c core #544
3.05/3.10	c Core size: 4	Core Weight: 1	Total Weight: 544
3.05/3.10	c Elapsed CPU time: 3.03954 s	Remaining CPU time: 1796.96 s
3.05/3.11	c core #545
3.05/3.11	c Core size: 4	Core Weight: 1	Total Weight: 545
3.05/3.11	c Elapsed CPU time: 3.04754 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #546
3.05/3.12	c Core size: 4	Core Weight: 1	Total Weight: 546
3.05/3.12	c Elapsed CPU time: 3.05454 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #547
3.05/3.12	c Core size: 4	Core Weight: 1	Total Weight: 547
3.05/3.12	c Elapsed CPU time: 3.06253 s	Remaining CPU time: 1796.94 s
3.05/3.13	c core #548
3.05/3.13	c Core size: 4	Core Weight: 1	Total Weight: 548
3.05/3.13	c Elapsed CPU time: 3.07053 s	Remaining CPU time: 1796.93 s
3.05/3.14	c core #549
3.05/3.14	c Core size: 4	Core Weight: 1	Total Weight: 549
3.05/3.14	c Elapsed CPU time: 3.07953 s	Remaining CPU time: 1796.92 s
3.05/3.15	c core #550
3.05/3.15	c Core size: 4	Core Weight: 1	Total Weight: 550
3.05/3.15	c Elapsed CPU time: 3.08753 s	Remaining CPU time: 1796.91 s
3.05/3.16	c core #551
3.05/3.16	c Core size: 4	Core Weight: 1	Total Weight: 551
3.05/3.16	c Elapsed CPU time: 3.09553 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #552
3.05/3.17	c Core size: 4	Core Weight: 1	Total Weight: 552
3.05/3.17	c Elapsed CPU time: 3.10453 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #553
3.05/3.17	c Core size: 4	Core Weight: 1	Total Weight: 553
3.05/3.17	c Elapsed CPU time: 3.11253 s	Remaining CPU time: 1796.89 s
3.05/3.18	c core #554
3.05/3.18	c Core size: 4	Core Weight: 1	Total Weight: 554
3.05/3.18	c Elapsed CPU time: 3.12052 s	Remaining CPU time: 1796.88 s
3.05/3.19	c core #555
3.05/3.19	c Core size: 4	Core Weight: 1	Total Weight: 555
3.05/3.19	c Elapsed CPU time: 3.12952 s	Remaining CPU time: 1796.87 s
3.05/3.20	c core #556
3.05/3.20	c Core size: 4	Core Weight: 1	Total Weight: 556
3.05/3.20	c Elapsed CPU time: 3.13752 s	Remaining CPU time: 1796.86 s
3.15/3.21	c core #557
3.15/3.21	c Core size: 4	Core Weight: 1	Total Weight: 557
3.15/3.21	c Elapsed CPU time: 3.14552 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #558
3.15/3.22	c Core size: 4	Core Weight: 1	Total Weight: 558
3.15/3.22	c Elapsed CPU time: 3.15352 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #559
3.15/3.22	c Core size: 4	Core Weight: 1	Total Weight: 559
3.15/3.22	c Elapsed CPU time: 3.16152 s	Remaining CPU time: 1796.84 s
3.15/3.23	c core #560
3.15/3.23	c Core size: 4	Core Weight: 1	Total Weight: 560
3.15/3.23	c Elapsed CPU time: 3.16952 s	Remaining CPU time: 1796.83 s
3.15/3.24	c core #561
3.15/3.24	c Core size: 4	Core Weight: 1	Total Weight: 561
3.15/3.24	c Elapsed CPU time: 3.17752 s	Remaining CPU time: 1796.82 s
3.15/3.25	c core #562
3.15/3.25	c Core size: 4	Core Weight: 1	Total Weight: 562
3.15/3.25	c Elapsed CPU time: 3.18552 s	Remaining CPU time: 1796.81 s
3.15/3.26	c core #563
3.15/3.26	c Core size: 4	Core Weight: 1	Total Weight: 563
3.15/3.26	c Elapsed CPU time: 3.19351 s	Remaining CPU time: 1796.81 s
3.15/3.27	c core #564
3.15/3.27	c Core size: 4	Core Weight: 1	Total Weight: 564
3.15/3.27	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.15/3.28	c core #565
3.15/3.28	c Core size: 4	Core Weight: 1	Total Weight: 565
3.15/3.28	c Elapsed CPU time: 3.21051 s	Remaining CPU time: 1796.79 s
3.15/3.28	c core #566
3.15/3.28	c Core size: 4	Core Weight: 1	Total Weight: 566
3.15/3.28	c Elapsed CPU time: 3.21851 s	Remaining CPU time: 1796.78 s
3.15/3.29	c core #567
3.15/3.29	c Core size: 4	Core Weight: 1	Total Weight: 567
3.15/3.29	c Elapsed CPU time: 3.22651 s	Remaining CPU time: 1796.77 s
3.15/3.30	c core #568
3.15/3.30	c Core size: 4	Core Weight: 1	Total Weight: 568
3.15/3.30	c Elapsed CPU time: 3.23551 s	Remaining CPU time: 1796.76 s
3.25/3.31	c core #569
3.25/3.31	c Core size: 4	Core Weight: 1	Total Weight: 569
3.25/3.31	c Elapsed CPU time: 3.24351 s	Remaining CPU time: 1796.76 s
3.25/3.32	c core #570
3.25/3.32	c Core size: 4	Core Weight: 1	Total Weight: 570
3.25/3.32	c Elapsed CPU time: 3.2515 s	Remaining CPU time: 1796.75 s
3.25/3.33	c core #571
3.25/3.33	c Core size: 4	Core Weight: 1	Total Weight: 571
3.25/3.33	c Elapsed CPU time: 3.2595 s	Remaining CPU time: 1796.74 s
3.25/3.33	c core #572
3.25/3.33	c Core size: 4	Core Weight: 1	Total Weight: 572
3.25/3.33	c Elapsed CPU time: 3.2675 s	Remaining CPU time: 1796.73 s
3.25/3.34	c core #573
3.25/3.34	c Core size: 4	Core Weight: 1	Total Weight: 573
3.25/3.34	c Elapsed CPU time: 3.2765 s	Remaining CPU time: 1796.72 s
3.25/3.35	c core #574
3.25/3.35	c Core size: 4	Core Weight: 1	Total Weight: 574
3.25/3.35	c Elapsed CPU time: 3.2845 s	Remaining CPU time: 1796.72 s
3.25/3.36	c core #575
3.25/3.36	c Core size: 4	Core Weight: 1	Total Weight: 575
3.25/3.36	c Elapsed CPU time: 3.2925 s	Remaining CPU time: 1796.71 s
3.25/3.37	c core #576
3.25/3.37	c Core size: 4	Core Weight: 1	Total Weight: 576
3.25/3.37	c Elapsed CPU time: 3.3005 s	Remaining CPU time: 1796.7 s
3.25/3.38	c core #577
3.25/3.38	c Core size: 4	Core Weight: 1	Total Weight: 577
3.25/3.38	c Elapsed CPU time: 3.3095 s	Remaining CPU time: 1796.69 s
3.25/3.38	c core #578
3.25/3.38	c Core size: 4	Core Weight: 1	Total Weight: 578
3.25/3.39	c Elapsed CPU time: 3.3175 s	Remaining CPU time: 1796.68 s
3.25/3.39	c core #579
3.25/3.39	c Core size: 4	Core Weight: 1	Total Weight: 579
3.25/3.39	c Elapsed CPU time: 3.32649 s	Remaining CPU time: 1796.67 s
3.35/3.40	c core #580
3.35/3.40	c Core size: 4	Core Weight: 1	Total Weight: 580
3.35/3.40	c Elapsed CPU time: 3.33449 s	Remaining CPU time: 1796.67 s
3.35/3.41	c core #581
3.35/3.41	c Core size: 4	Core Weight: 1	Total Weight: 581
3.35/3.41	c Elapsed CPU time: 3.34349 s	Remaining CPU time: 1796.66 s
3.35/3.42	c core #582
3.35/3.42	c Core size: 4	Core Weight: 1	Total Weight: 582
3.35/3.42	c Elapsed CPU time: 3.35249 s	Remaining CPU time: 1796.65 s
3.35/3.43	c core #583
3.35/3.43	c Core size: 4	Core Weight: 1	Total Weight: 583
3.35/3.43	c Elapsed CPU time: 3.36049 s	Remaining CPU time: 1796.64 s
3.35/3.44	c core #584
3.35/3.44	c Core size: 4	Core Weight: 1	Total Weight: 584
3.35/3.44	c Elapsed CPU time: 3.36849 s	Remaining CPU time: 1796.63 s
3.35/3.45	c core #585
3.35/3.45	c Core size: 4	Core Weight: 1	Total Weight: 585
3.35/3.45	c Elapsed CPU time: 3.37749 s	Remaining CPU time: 1796.62 s
3.35/3.45	c core #586
3.35/3.45	c Core size: 4	Core Weight: 1	Total Weight: 586
3.35/3.45	c Elapsed CPU time: 3.38549 s	Remaining CPU time: 1796.61 s
3.35/3.46	c core #587
3.35/3.46	c Core size: 4	Core Weight: 1	Total Weight: 587
3.35/3.46	c Elapsed CPU time: 3.39348 s	Remaining CPU time: 1796.61 s
3.35/3.47	c core #588
3.35/3.47	c Core size: 4	Core Weight: 1	Total Weight: 588
3.35/3.47	c Elapsed CPU time: 3.40248 s	Remaining CPU time: 1796.6 s
3.35/3.48	c core #589
3.35/3.48	c Core size: 4	Core Weight: 1	Total Weight: 589
3.35/3.48	c Elapsed CPU time: 3.41048 s	Remaining CPU time: 1796.59 s
3.35/3.49	c core #590
3.35/3.49	c Core size: 4	Core Weight: 1	Total Weight: 590
3.35/3.49	c Elapsed CPU time: 3.41848 s	Remaining CPU time: 1796.58 s
3.44/3.50	c core #591
3.44/3.50	c Core size: 4	Core Weight: 1	Total Weight: 591
3.44/3.50	c Elapsed CPU time: 3.42748 s	Remaining CPU time: 1796.57 s
3.44/3.51	c core #592
3.44/3.51	c Core size: 4	Core Weight: 1	Total Weight: 592
3.44/3.51	c Elapsed CPU time: 3.43648 s	Remaining CPU time: 1796.56 s
3.44/3.52	c core #593
3.44/3.52	c Core size: 4	Core Weight: 1	Total Weight: 593
3.44/3.52	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.44/3.52	c core #594
3.44/3.52	c Core size: 4	Core Weight: 1	Total Weight: 594
3.44/3.52	c Elapsed CPU time: 3.45347 s	Remaining CPU time: 1796.55 s
3.44/3.53	c core #595
3.44/3.53	c Core size: 4	Core Weight: 1	Total Weight: 595
3.44/3.53	c Elapsed CPU time: 3.46047 s	Remaining CPU time: 1796.54 s
3.44/3.54	c core #596
3.44/3.54	c Core size: 4	Core Weight: 1	Total Weight: 596
3.44/3.54	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.44/3.55	c core #597
3.44/3.55	c Core size: 4	Core Weight: 1	Total Weight: 597
3.44/3.55	c Elapsed CPU time: 3.47547 s	Remaining CPU time: 1796.52 s
3.44/3.56	c core #598
3.44/3.56	c Core size: 4	Core Weight: 1	Total Weight: 598
3.44/3.56	c Elapsed CPU time: 3.48347 s	Remaining CPU time: 1796.52 s
3.44/3.57	c core #599
3.44/3.57	c Core size: 4	Core Weight: 1	Total Weight: 599
3.44/3.57	c Elapsed CPU time: 3.49147 s	Remaining CPU time: 1796.51 s
3.44/3.58	c core #600
3.44/3.58	c Core size: 4	Core Weight: 1	Total Weight: 600
3.44/3.58	c Elapsed CPU time: 3.50047 s	Remaining CPU time: 1796.5 s
3.44/3.59	c core #601
3.44/3.59	c Core size: 4	Core Weight: 1	Total Weight: 601
3.44/3.59	c Elapsed CPU time: 3.50947 s	Remaining CPU time: 1796.49 s
3.44/3.60	c core #602
3.44/3.60	c Core size: 4	Core Weight: 1	Total Weight: 602
3.44/3.60	c Elapsed CPU time: 3.51846 s	Remaining CPU time: 1796.48 s
3.53/3.61	c core #603
3.53/3.61	c Core size: 4	Core Weight: 1	Total Weight: 603
3.53/3.61	c Elapsed CPU time: 3.52746 s	Remaining CPU time: 1796.47 s
3.53/3.61	c core #604
3.53/3.61	c Core size: 4	Core Weight: 1	Total Weight: 604
3.53/3.61	c Elapsed CPU time: 3.53646 s	Remaining CPU time: 1796.46 s
3.53/3.62	c core #605
3.53/3.62	c Core size: 4	Core Weight: 1	Total Weight: 605
3.53/3.62	c Elapsed CPU time: 3.54546 s	Remaining CPU time: 1796.45 s
3.53/3.63	c core #606
3.53/3.63	c Core size: 4	Core Weight: 1	Total Weight: 606
3.53/3.63	c Elapsed CPU time: 3.55346 s	Remaining CPU time: 1796.45 s
3.53/3.64	c core #607
3.53/3.64	c Core size: 4	Core Weight: 1	Total Weight: 607
3.53/3.64	c Elapsed CPU time: 3.56146 s	Remaining CPU time: 1796.44 s
3.53/3.65	c core #608
3.53/3.65	c Core size: 4	Core Weight: 1	Total Weight: 608
3.53/3.65	c Elapsed CPU time: 3.56946 s	Remaining CPU time: 1796.43 s
3.53/3.66	c core #609
3.53/3.66	c Core size: 4	Core Weight: 1	Total Weight: 609
3.53/3.66	c Elapsed CPU time: 3.57845 s	Remaining CPU time: 1796.42 s
3.53/3.67	c core #610
3.53/3.67	c Core size: 4	Core Weight: 1	Total Weight: 610
3.53/3.67	c Elapsed CPU time: 3.58745 s	Remaining CPU time: 1796.41 s
3.53/3.68	c core #611
3.53/3.68	c Core size: 4	Core Weight: 1	Total Weight: 611
3.53/3.68	c Elapsed CPU time: 3.59645 s	Remaining CPU time: 1796.4 s
3.53/3.69	c core #612
3.53/3.69	c Core size: 4	Core Weight: 1	Total Weight: 612
3.53/3.69	c Elapsed CPU time: 3.60545 s	Remaining CPU time: 1796.39 s
3.53/3.69	c core #613
3.53/3.69	c Core size: 4	Core Weight: 1	Total Weight: 613
3.53/3.69	c Elapsed CPU time: 3.61345 s	Remaining CPU time: 1796.39 s
3.64/3.70	c core #614
3.64/3.70	c Core size: 4	Core Weight: 1	Total Weight: 614
3.64/3.70	c Elapsed CPU time: 3.62245 s	Remaining CPU time: 1796.38 s
3.64/3.71	c core #615
3.64/3.71	c Core size: 4	Core Weight: 1	Total Weight: 615
3.64/3.71	c Elapsed CPU time: 3.63145 s	Remaining CPU time: 1796.37 s
3.64/3.72	c core #616
3.64/3.72	c Core size: 4	Core Weight: 1	Total Weight: 616
3.64/3.72	c Elapsed CPU time: 3.64045 s	Remaining CPU time: 1796.36 s
3.64/3.73	c core #617
3.64/3.73	c Core size: 4	Core Weight: 1	Total Weight: 617
3.64/3.73	c Elapsed CPU time: 3.64845 s	Remaining CPU time: 1796.35 s
3.64/3.74	c core #618
3.64/3.74	c Core size: 4	Core Weight: 1	Total Weight: 618
3.64/3.74	c Elapsed CPU time: 3.65644 s	Remaining CPU time: 1796.34 s
3.64/3.75	c core #619
3.64/3.75	c Core size: 4	Core Weight: 1	Total Weight: 619
3.64/3.75	c Elapsed CPU time: 3.66544 s	Remaining CPU time: 1796.33 s
3.64/3.76	c core #620
3.64/3.76	c Core size: 4	Core Weight: 1	Total Weight: 620
3.64/3.76	c Elapsed CPU time: 3.67444 s	Remaining CPU time: 1796.33 s
3.64/3.76	c core #621
3.64/3.76	c Core size: 4	Core Weight: 1	Total Weight: 621
3.64/3.76	c Elapsed CPU time: 3.68344 s	Remaining CPU time: 1796.32 s
3.64/3.77	c core #622
3.64/3.77	c Core size: 4	Core Weight: 1	Total Weight: 622
3.64/3.77	c Elapsed CPU time: 3.69244 s	Remaining CPU time: 1796.31 s
3.64/3.78	c core #623
3.64/3.78	c Core size: 4	Core Weight: 1	Total Weight: 623
3.64/3.78	c Elapsed CPU time: 3.70144 s	Remaining CPU time: 1796.3 s
3.64/3.79	c core #624
3.64/3.79	c Core size: 4	Core Weight: 1	Total Weight: 624
3.64/3.79	c Elapsed CPU time: 3.71043 s	Remaining CPU time: 1796.29 s
3.74/3.80	c core #625
3.74/3.80	c Core size: 4	Core Weight: 1	Total Weight: 625
3.74/3.80	c Elapsed CPU time: 3.71943 s	Remaining CPU time: 1796.28 s
3.74/3.81	c core #626
3.74/3.81	c Core size: 4	Core Weight: 1	Total Weight: 626
3.74/3.81	c Elapsed CPU time: 3.72843 s	Remaining CPU time: 1796.27 s
3.74/3.82	c core #627
3.74/3.82	c Core size: 4	Core Weight: 1	Total Weight: 627
3.74/3.82	c Elapsed CPU time: 3.73743 s	Remaining CPU time: 1796.26 s
3.74/3.83	c core #628
3.74/3.83	c Core size: 4	Core Weight: 1	Total Weight: 628
3.74/3.83	c Elapsed CPU time: 3.74643 s	Remaining CPU time: 1796.25 s
3.74/3.84	c core #629
3.74/3.84	c Core size: 4	Core Weight: 1	Total Weight: 629
3.74/3.84	c Elapsed CPU time: 3.75543 s	Remaining CPU time: 1796.24 s
3.74/3.85	c core #630
3.74/3.85	c Core size: 4	Core Weight: 1	Total Weight: 630
3.74/3.85	c Elapsed CPU time: 3.76443 s	Remaining CPU time: 1796.24 s
3.74/3.85	c core #631
3.74/3.85	c Core size: 4	Core Weight: 1	Total Weight: 631
3.74/3.85	c Elapsed CPU time: 3.77343 s	Remaining CPU time: 1796.23 s
3.74/3.86	c core #632
3.74/3.86	c Core size: 4	Core Weight: 1	Total Weight: 632
3.74/3.86	c Elapsed CPU time: 3.78242 s	Remaining CPU time: 1796.22 s
3.74/3.87	c core #633
3.74/3.87	c Core size: 4	Core Weight: 1	Total Weight: 633
3.74/3.87	c Elapsed CPU time: 3.79142 s	Remaining CPU time: 1796.21 s
3.74/3.88	c core #634
3.74/3.88	c Core size: 4	Core Weight: 1	Total Weight: 634
3.74/3.88	c Elapsed CPU time: 3.80042 s	Remaining CPU time: 1796.2 s
3.74/3.89	c core #635
3.74/3.89	c Core size: 4	Core Weight: 1	Total Weight: 635
3.74/3.89	c Elapsed CPU time: 3.80942 s	Remaining CPU time: 1796.19 s
3.84/3.90	c core #636
3.84/3.90	c Core size: 4	Core Weight: 1	Total Weight: 636
3.84/3.90	c Elapsed CPU time: 3.81842 s	Remaining CPU time: 1796.18 s
3.84/3.91	c core #637
3.84/3.91	c Core size: 4	Core Weight: 1	Total Weight: 637
3.84/3.91	c Elapsed CPU time: 3.82742 s	Remaining CPU time: 1796.17 s
3.84/3.92	c core #638
3.84/3.92	c Core size: 4	Core Weight: 1	Total Weight: 638
3.84/3.92	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.84/3.93	c core #639
3.84/3.93	c Core size: 4	Core Weight: 1	Total Weight: 639
3.84/3.93	c Elapsed CPU time: 3.84542 s	Remaining CPU time: 1796.15 s
3.84/3.94	c core #640
3.84/3.94	c Core size: 4	Core Weight: 1	Total Weight: 640
3.84/3.94	c Elapsed CPU time: 3.85441 s	Remaining CPU time: 1796.15 s
3.84/3.95	c core #641
3.84/3.95	c Core size: 4	Core Weight: 1	Total Weight: 641
3.84/3.95	c Elapsed CPU time: 3.86341 s	Remaining CPU time: 1796.14 s
3.84/3.96	c core #642
3.84/3.96	c Core size: 4	Core Weight: 1	Total Weight: 642
3.84/3.96	c Elapsed CPU time: 3.87241 s	Remaining CPU time: 1796.13 s
3.84/3.97	c core #643
3.84/3.97	c Core size: 4	Core Weight: 1	Total Weight: 643
3.84/3.97	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.84/3.97	c core #644
3.84/3.97	c Core size: 4	Core Weight: 1	Total Weight: 644
3.84/3.97	c Elapsed CPU time: 3.89041 s	Remaining CPU time: 1796.11 s
3.84/3.98	c core #645
3.84/3.98	c Core size: 4	Core Weight: 1	Total Weight: 645
3.84/3.98	c Elapsed CPU time: 3.89941 s	Remaining CPU time: 1796.1 s
3.84/3.99	c core #646
3.84/3.99	c Core size: 4	Core Weight: 1	Total Weight: 646
3.84/3.99	c Elapsed CPU time: 3.90841 s	Remaining CPU time: 1796.09 s
3.94/4.00	c core #647
3.94/4.00	c Core size: 4	Core Weight: 1	Total Weight: 647
3.94/4.00	c Elapsed CPU time: 3.9174 s	Remaining CPU time: 1796.08 s
3.94/4.01	c core #648
3.94/4.01	c Core size: 4	Core Weight: 1	Total Weight: 648
3.94/4.01	c Elapsed CPU time: 3.9274 s	Remaining CPU time: 1796.07 s
3.94/4.02	c core #649
3.94/4.02	c Core size: 4	Core Weight: 1	Total Weight: 649
3.94/4.02	c Elapsed CPU time: 3.9364 s	Remaining CPU time: 1796.06 s
3.94/4.03	c core #650
3.94/4.03	c Core size: 4	Core Weight: 1	Total Weight: 650
3.94/4.03	c Elapsed CPU time: 3.9454 s	Remaining CPU time: 1796.05 s
3.94/4.04	c core #651
3.94/4.04	c Core size: 4	Core Weight: 1	Total Weight: 651
3.94/4.04	c Elapsed CPU time: 3.9544 s	Remaining CPU time: 1796.05 s
3.94/4.05	c core #652
3.94/4.05	c Core size: 4	Core Weight: 1	Total Weight: 652
3.94/4.05	c Elapsed CPU time: 3.9634 s	Remaining CPU time: 1796.04 s
3.94/4.06	c core #653
3.94/4.06	c Core size: 4	Core Weight: 1	Total Weight: 653
3.94/4.06	c Elapsed CPU time: 3.9714 s	Remaining CPU time: 1796.03 s
3.94/4.07	c core #654
3.94/4.07	c Core size: 4	Core Weight: 1	Total Weight: 654
3.94/4.07	c Elapsed CPU time: 3.98039 s	Remaining CPU time: 1796.02 s
3.94/4.08	c core #655
3.94/4.08	c Core size: 4	Core Weight: 1	Total Weight: 655
3.94/4.08	c Elapsed CPU time: 3.98939 s	Remaining CPU time: 1796.01 s
3.94/4.08	c core #656
3.94/4.08	c Core size: 4	Core Weight: 1	Total Weight: 656
3.94/4.08	c Elapsed CPU time: 3.99839 s	Remaining CPU time: 1796 s
3.94/4.09	c core #657
3.94/4.09	c Core size: 4	Core Weight: 1	Total Weight: 657
3.94/4.09	c Elapsed CPU time: 4.00739 s	Remaining CPU time: 1795.99 s
4.04/4.10	c core #658
4.04/4.10	c Core size: 4	Core Weight: 1	Total Weight: 658
4.04/4.10	c Elapsed CPU time: 4.01639 s	Remaining CPU time: 1795.98 s
4.04/4.11	c core #659
4.04/4.11	c Core size: 4	Core Weight: 1	Total Weight: 659
4.04/4.11	c Elapsed CPU time: 4.02539 s	Remaining CPU time: 1795.97 s
4.04/4.12	c core #660
4.04/4.12	c Core size: 4	Core Weight: 1	Total Weight: 660
4.04/4.12	c Elapsed CPU time: 4.03439 s	Remaining CPU time: 1795.97 s
4.04/4.13	c core #661
4.04/4.13	c Core size: 4	Core Weight: 1	Total Weight: 661
4.04/4.13	c Elapsed CPU time: 4.04338 s	Remaining CPU time: 1795.96 s
4.04/4.14	c core #662
4.04/4.14	c Core size: 4	Core Weight: 1	Total Weight: 662
4.04/4.14	c Elapsed CPU time: 4.05238 s	Remaining CPU time: 1795.95 s
4.04/4.15	c core #663
4.04/4.15	c Core size: 4	Core Weight: 1	Total Weight: 663
4.04/4.15	c Elapsed CPU time: 4.06138 s	Remaining CPU time: 1795.94 s
4.04/4.16	c core #664
4.04/4.16	c Core size: 4	Core Weight: 1	Total Weight: 664
4.04/4.16	c Elapsed CPU time: 4.07038 s	Remaining CPU time: 1795.93 s
4.04/4.17	c core #665
4.04/4.17	c Core size: 4	Core Weight: 1	Total Weight: 665
4.04/4.17	c Elapsed CPU time: 4.07938 s	Remaining CPU time: 1795.92 s
4.04/4.18	c core #666
4.04/4.18	c Core size: 4	Core Weight: 1	Total Weight: 666
4.04/4.18	c Elapsed CPU time: 4.08838 s	Remaining CPU time: 1795.91 s
4.04/4.19	c core #667
4.04/4.19	c Core size: 5	Core Weight: 1	Total Weight: 667
4.04/4.19	c Elapsed CPU time: 4.09738 s	Remaining CPU time: 1795.9 s
4.04/4.20	c core #668
4.04/4.20	c Core size: 5	Core Weight: 1	Total Weight: 668
4.04/4.20	c Elapsed CPU time: 4.10637 s	Remaining CPU time: 1795.89 s
4.13/4.20	c core #669
4.13/4.20	c Core size: 5	Core Weight: 1	Total Weight: 669
4.13/4.20	c Elapsed CPU time: 4.11537 s	Remaining CPU time: 1795.88 s
4.13/4.21	c core #670
4.13/4.21	c Core size: 5	Core Weight: 1	Total Weight: 670
4.13/4.21	c Elapsed CPU time: 4.12437 s	Remaining CPU time: 1795.88 s
4.13/4.22	c core #671
4.13/4.22	c Core size: 5	Core Weight: 1	Total Weight: 671
4.13/4.22	c Elapsed CPU time: 4.13337 s	Remaining CPU time: 1795.87 s
4.13/4.23	c core #672
4.13/4.23	c Core size: 5	Core Weight: 1	Total Weight: 672
4.13/4.23	c Elapsed CPU time: 4.14337 s	Remaining CPU time: 1795.86 s
4.13/4.24	c core #673
4.13/4.24	c Core size: 5	Core Weight: 1	Total Weight: 673
4.13/4.24	c Elapsed CPU time: 4.15237 s	Remaining CPU time: 1795.85 s
4.13/4.25	c core #674
4.13/4.25	c Core size: 5	Core Weight: 1	Total Weight: 674
4.13/4.25	c Elapsed CPU time: 4.16137 s	Remaining CPU time: 1795.84 s
4.13/4.26	c core #675
4.13/4.26	c Core size: 5	Core Weight: 1	Total Weight: 675
4.13/4.26	c Elapsed CPU time: 4.17037 s	Remaining CPU time: 1795.83 s
4.13/4.27	c core #676
4.13/4.27	c Core size: 5	Core Weight: 1	Total Weight: 676
4.13/4.27	c Elapsed CPU time: 4.17936 s	Remaining CPU time: 1795.82 s
4.13/4.28	c core #677
4.13/4.28	c Core size: 5	Core Weight: 1	Total Weight: 677
4.13/4.28	c Elapsed CPU time: 4.18836 s	Remaining CPU time: 1795.81 s
4.13/4.29	c core #678
4.13/4.29	c Core size: 5	Core Weight: 1	Total Weight: 678
4.13/4.29	c Elapsed CPU time: 4.19636 s	Remaining CPU time: 1795.8 s
4.13/4.30	c core #679
4.13/4.30	c Core size: 5	Core Weight: 1	Total Weight: 679
4.13/4.30	c Elapsed CPU time: 4.20536 s	Remaining CPU time: 1795.79 s
4.23/4.31	c core #680
4.23/4.31	c Core size: 6	Core Weight: 1	Total Weight: 680
4.23/4.31	c Elapsed CPU time: 4.21536 s	Remaining CPU time: 1795.78 s
4.23/4.32	c core #681
4.23/4.32	c Core size: 6	Core Weight: 1	Total Weight: 681
4.23/4.32	c Elapsed CPU time: 4.22436 s	Remaining CPU time: 1795.78 s
4.23/4.33	c core #682
4.23/4.33	c Core size: 6	Core Weight: 1	Total Weight: 682
4.23/4.33	c Elapsed CPU time: 4.23336 s	Remaining CPU time: 1795.77 s
4.23/4.34	c core #683
4.23/4.34	c Core size: 6	Core Weight: 1	Total Weight: 683
4.23/4.34	c Elapsed CPU time: 4.24335 s	Remaining CPU time: 1795.76 s
4.23/4.35	c core #684
4.23/4.35	c Core size: 7	Core Weight: 1	Total Weight: 684
4.23/4.35	c Elapsed CPU time: 4.25235 s	Remaining CPU time: 1795.75 s
4.23/4.36	c core #685
4.23/4.36	c Core size: 7	Core Weight: 1	Total Weight: 685
4.23/4.36	c Elapsed CPU time: 4.26135 s	Remaining CPU time: 1795.74 s
4.23/4.37	c core #686
4.23/4.37	c Core size: 7	Core Weight: 1	Total Weight: 686
4.23/4.37	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.23/4.37	c core #687
4.23/4.37	c Core size: 7	Core Weight: 1	Total Weight: 687
4.23/4.37	c Elapsed CPU time: 4.27935 s	Remaining CPU time: 1795.72 s
4.23/4.38	c core #688
4.23/4.38	c Core size: 7	Core Weight: 1	Total Weight: 688
4.23/4.38	c Elapsed CPU time: 4.28835 s	Remaining CPU time: 1795.71 s
4.23/4.39	c core #689
4.23/4.39	c Core size: 7	Core Weight: 1	Total Weight: 689
4.23/4.39	c Elapsed CPU time: 4.29735 s	Remaining CPU time: 1795.7 s
4.33/4.40	c core #690
4.33/4.40	c Core size: 7	Core Weight: 1	Total Weight: 690
4.33/4.40	c Elapsed CPU time: 4.30734 s	Remaining CPU time: 1795.69 s
4.33/4.41	c core #691
4.33/4.41	c Core size: 7	Core Weight: 1	Total Weight: 691
4.33/4.41	c Elapsed CPU time: 4.31734 s	Remaining CPU time: 1795.68 s
4.33/4.42	c core #692
4.33/4.42	c Core size: 7	Core Weight: 1	Total Weight: 692
4.33/4.42	c Elapsed CPU time: 4.32634 s	Remaining CPU time: 1795.67 s
4.33/4.43	c core #693
4.33/4.43	c Core size: 7	Core Weight: 1	Total Weight: 693
4.33/4.43	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 1795.66 s
4.33/4.44	c core #694
4.33/4.44	c Core size: 7	Core Weight: 1	Total Weight: 694
4.33/4.44	c Elapsed CPU time: 4.34434 s	Remaining CPU time: 1795.66 s
4.33/4.45	c core #695
4.33/4.45	c Core size: 7	Core Weight: 1	Total Weight: 695
4.33/4.45	c Elapsed CPU time: 4.35434 s	Remaining CPU time: 1795.65 s
4.33/4.46	c core #696
4.33/4.46	c Core size: 5	Core Weight: 1	Total Weight: 696
4.33/4.46	c Elapsed CPU time: 4.36334 s	Remaining CPU time: 1795.64 s
4.33/4.47	c core #697
4.33/4.47	c Core size: 5	Core Weight: 1	Total Weight: 697
4.33/4.47	c Elapsed CPU time: 4.37333 s	Remaining CPU time: 1795.63 s
4.33/4.48	c core #698
4.33/4.48	c Core size: 5	Core Weight: 1	Total Weight: 698
4.33/4.48	c Elapsed CPU time: 4.38333 s	Remaining CPU time: 1795.62 s
4.33/4.49	c core #699
4.33/4.49	c Core size: 5	Core Weight: 1	Total Weight: 699
4.33/4.49	c Elapsed CPU time: 4.39233 s	Remaining CPU time: 1795.61 s
4.42/4.50	c core #700
4.42/4.50	c Core size: 5	Core Weight: 1	Total Weight: 700
4.42/4.50	c Elapsed CPU time: 4.40233 s	Remaining CPU time: 1795.6 s
4.42/4.51	c core #701
4.42/4.51	c Core size: 5	Core Weight: 1	Total Weight: 701
4.42/4.51	c Elapsed CPU time: 4.41233 s	Remaining CPU time: 1795.59 s
4.42/4.52	c core #702
4.42/4.52	c Core size: 5	Core Weight: 1	Total Weight: 702
4.42/4.52	c Elapsed CPU time: 4.42133 s	Remaining CPU time: 1795.58 s
4.42/4.53	c core #703
4.42/4.53	c Core size: 5	Core Weight: 1	Total Weight: 703
4.42/4.53	c Elapsed CPU time: 4.43133 s	Remaining CPU time: 1795.57 s
4.42/4.54	c core #704
4.42/4.54	c Core size: 5	Core Weight: 1	Total Weight: 704
4.42/4.54	c Elapsed CPU time: 4.44132 s	Remaining CPU time: 1795.56 s
4.42/4.55	c core #705
4.42/4.55	c Core size: 5	Core Weight: 1	Total Weight: 705
4.42/4.55	c Elapsed CPU time: 4.45132 s	Remaining CPU time: 1795.55 s
4.42/4.56	c core #706
4.42/4.56	c Core size: 5	Core Weight: 1	Total Weight: 706
4.42/4.56	c Elapsed CPU time: 4.46132 s	Remaining CPU time: 1795.54 s
4.42/4.57	c core #707
4.42/4.57	c Core size: 5	Core Weight: 1	Total Weight: 707
4.42/4.57	c Elapsed CPU time: 4.47032 s	Remaining CPU time: 1795.53 s
4.42/4.58	c core #708
4.42/4.58	c Core size: 6	Core Weight: 1	Total Weight: 708
4.42/4.58	c Elapsed CPU time: 4.47932 s	Remaining CPU time: 1795.52 s
4.42/4.59	c core #709
4.42/4.59	c Core size: 5	Core Weight: 1	Total Weight: 709
4.42/4.59	c Elapsed CPU time: 4.48932 s	Remaining CPU time: 1795.51 s
4.52/4.60	c core #710
4.52/4.60	c Core size: 6	Core Weight: 1	Total Weight: 710
4.52/4.60	c Elapsed CPU time: 4.49932 s	Remaining CPU time: 1795.5 s
4.52/4.61	c core #711
4.52/4.61	c Core size: 5	Core Weight: 1	Total Weight: 711
4.52/4.61	c Elapsed CPU time: 4.50831 s	Remaining CPU time: 1795.49 s
4.52/4.62	c core #712
4.52/4.62	c Core size: 6	Core Weight: 1	Total Weight: 712
4.52/4.62	c Elapsed CPU time: 4.51731 s	Remaining CPU time: 1795.48 s
4.52/4.63	c core #713
4.52/4.63	c Core size: 5	Core Weight: 1	Total Weight: 713
4.52/4.63	c Elapsed CPU time: 4.52731 s	Remaining CPU time: 1795.47 s
4.52/4.64	c core #714
4.52/4.64	c Core size: 5	Core Weight: 1	Total Weight: 714
4.52/4.64	c Elapsed CPU time: 4.53731 s	Remaining CPU time: 1795.46 s
4.52/4.65	c core #715
4.52/4.65	c Core size: 5	Core Weight: 1	Total Weight: 715
4.52/4.65	c Elapsed CPU time: 4.54731 s	Remaining CPU time: 1795.45 s
4.52/4.66	c core #716
4.52/4.66	c Core size: 5	Core Weight: 1	Total Weight: 716
4.52/4.66	c Elapsed CPU time: 4.55631 s	Remaining CPU time: 1795.44 s
4.52/4.67	c core #717
4.52/4.67	c Core size: 5	Core Weight: 1	Total Weight: 717
4.52/4.67	c Elapsed CPU time: 4.56531 s	Remaining CPU time: 1795.43 s
4.52/4.68	c core #718
4.52/4.68	c Core size: 5	Core Weight: 1	Total Weight: 718
4.52/4.68	c Elapsed CPU time: 4.5753 s	Remaining CPU time: 1795.42 s
4.52/4.69	c core #719
4.52/4.69	c Core size: 5	Core Weight: 1	Total Weight: 719
4.52/4.69	c Elapsed CPU time: 4.5853 s	Remaining CPU time: 1795.41 s
4.52/4.70	c core #720
4.52/4.70	c Core size: 10	Core Weight: 1	Total Weight: 720
4.52/4.70	c Elapsed CPU time: 4.5953 s	Remaining CPU time: 1795.4 s
4.62/4.70	c core #721
4.62/4.70	c Core size: 10	Core Weight: 1	Total Weight: 721
4.62/4.70	c Elapsed CPU time: 4.6043 s	Remaining CPU time: 1795.4 s
4.62/4.72	c core #722
4.62/4.72	c Core size: 10	Core Weight: 1	Total Weight: 722
4.62/4.72	c Elapsed CPU time: 4.6143 s	Remaining CPU time: 1795.39 s
4.62/4.72	c core #723
4.62/4.72	c Core size: 10	Core Weight: 1	Total Weight: 723
4.62/4.73	c Elapsed CPU time: 4.6243 s	Remaining CPU time: 1795.38 s
4.62/4.73	c core #724
4.62/4.73	c Core size: 8	Core Weight: 1	Total Weight: 724
4.62/4.73	c Elapsed CPU time: 4.63429 s	Remaining CPU time: 1795.37 s
4.62/4.74	c core #725
4.62/4.74	c Core size: 5	Core Weight: 1	Total Weight: 725
4.62/4.74	c Elapsed CPU time: 4.64429 s	Remaining CPU time: 1795.36 s
4.62/4.75	c core #726
4.62/4.75	c Core size: 5	Core Weight: 1	Total Weight: 726
4.62/4.75	c Elapsed CPU time: 4.65429 s	Remaining CPU time: 1795.35 s
4.62/4.76	c core #727
4.62/4.76	c Core size: 5	Core Weight: 1	Total Weight: 727
4.62/4.76	c Elapsed CPU time: 4.66429 s	Remaining CPU time: 1795.34 s
4.62/4.77	c core #728
4.62/4.77	c Core size: 5	Core Weight: 1	Total Weight: 728
4.62/4.77	c Elapsed CPU time: 4.67429 s	Remaining CPU time: 1795.33 s
4.62/4.78	c core #729
4.62/4.78	c Core size: 5	Core Weight: 1	Total Weight: 729
4.62/4.78	c Elapsed CPU time: 4.68429 s	Remaining CPU time: 1795.32 s
4.62/4.79	c core #730
4.62/4.79	c Core size: 5	Core Weight: 1	Total Weight: 730
4.62/4.79	c Elapsed CPU time: 4.69329 s	Remaining CPU time: 1795.31 s
4.72/4.80	c core #731
4.72/4.80	c Core size: 5	Core Weight: 1	Total Weight: 731
4.72/4.80	c Elapsed CPU time: 4.70228 s	Remaining CPU time: 1795.3 s
4.72/4.81	c core #732
4.72/4.81	c Core size: 10	Core Weight: 1	Total Weight: 732
4.72/4.81	c Elapsed CPU time: 4.71028 s	Remaining CPU time: 1795.29 s
4.72/4.82	c core #733
4.72/4.82	c Core size: 5	Core Weight: 1	Total Weight: 733
4.72/4.82	c Elapsed CPU time: 4.71928 s	Remaining CPU time: 1795.28 s
4.72/4.83	c core #734
4.72/4.83	c Core size: 5	Core Weight: 1	Total Weight: 734
4.72/4.83	c Elapsed CPU time: 4.72928 s	Remaining CPU time: 1795.27 s
4.72/4.84	c core #735
4.72/4.84	c Core size: 5	Core Weight: 1	Total Weight: 735
4.72/4.84	c Elapsed CPU time: 4.73928 s	Remaining CPU time: 1795.26 s
4.72/4.85	c core #736
4.72/4.85	c Core size: 5	Core Weight: 1	Total Weight: 736
4.72/4.85	c Elapsed CPU time: 4.74928 s	Remaining CPU time: 1795.25 s
4.72/4.86	c core #737
4.72/4.86	c Core size: 5	Core Weight: 1	Total Weight: 737
4.72/4.86	c Elapsed CPU time: 4.75828 s	Remaining CPU time: 1795.24 s
4.72/4.87	c core #738
4.72/4.87	c Core size: 16	Core Weight: 1	Total Weight: 738
4.72/4.87	c Elapsed CPU time: 4.76727 s	Remaining CPU time: 1795.23 s
4.72/4.88	c core #739
4.72/4.88	c Core size: 5	Core Weight: 1	Total Weight: 739
4.72/4.88	c Elapsed CPU time: 4.77727 s	Remaining CPU time: 1795.22 s
4.72/4.89	c core #740
4.72/4.89	c Core size: 5	Core Weight: 1	Total Weight: 740
4.72/4.89	c Elapsed CPU time: 4.78627 s	Remaining CPU time: 1795.21 s
4.81/4.90	c core #741
4.81/4.90	c Core size: 5	Core Weight: 1	Total Weight: 741
4.81/4.90	c Elapsed CPU time: 4.79627 s	Remaining CPU time: 1795.2 s
4.81/4.91	c core #742
4.81/4.91	c Core size: 5	Core Weight: 1	Total Weight: 742
4.81/4.91	c Elapsed CPU time: 4.80627 s	Remaining CPU time: 1795.19 s
4.81/4.92	c core #743
4.81/4.92	c Core size: 5	Core Weight: 1	Total Weight: 743
4.81/4.92	c Elapsed CPU time: 4.81627 s	Remaining CPU time: 1795.18 s
4.81/4.93	c core #744
4.81/4.93	c Core size: 5	Core Weight: 1	Total Weight: 744
4.81/4.93	c Elapsed CPU time: 4.82527 s	Remaining CPU time: 1795.17 s
4.81/4.94	c core #745
4.81/4.94	c Core size: 5	Core Weight: 1	Total Weight: 745
4.81/4.95	c Elapsed CPU time: 4.83526 s	Remaining CPU time: 1795.16 s
4.81/4.96	c core #746
4.81/4.96	c Core size: 10	Core Weight: 1	Total Weight: 746
4.81/4.96	c Elapsed CPU time: 4.84526 s	Remaining CPU time: 1795.15 s
4.81/4.97	c core #747
4.81/4.97	c Core size: 5	Core Weight: 1	Total Weight: 747
4.81/4.97	c Elapsed CPU time: 4.85526 s	Remaining CPU time: 1795.14 s
4.81/4.98	c core #748
4.81/4.98	c Core size: 12	Core Weight: 1	Total Weight: 748
4.81/4.98	c Elapsed CPU time: 4.86626 s	Remaining CPU time: 1795.13 s
4.81/4.99	c core #749
4.81/4.99	c Core size: 5	Core Weight: 1	Total Weight: 749
4.81/4.99	c Elapsed CPU time: 4.87626 s	Remaining CPU time: 1795.12 s
4.81/5.00	c core #750
4.81/5.00	c Core size: 5	Core Weight: 1	Total Weight: 750
4.81/5.00	c Elapsed CPU time: 4.88526 s	Remaining CPU time: 1795.11 s
4.91/5.01	c core #751
4.91/5.01	c Core size: 5	Core Weight: 1	Total Weight: 751
4.91/5.01	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 1795.11 s
4.91/5.02	c core #752
4.91/5.02	c Core size: 5	Core Weight: 1	Total Weight: 752
4.91/5.02	c Elapsed CPU time: 4.90425 s	Remaining CPU time: 1795.1 s
4.91/5.03	c core #753
4.91/5.03	c Core size: 5	Core Weight: 1	Total Weight: 753
4.91/5.03	c Elapsed CPU time: 4.91425 s	Remaining CPU time: 1795.09 s
4.91/5.04	c core #754
4.91/5.04	c Core size: 12	Core Weight: 1	Total Weight: 754
4.91/5.04	c Elapsed CPU time: 4.92425 s	Remaining CPU time: 1795.08 s
4.91/5.05	c core #755
4.91/5.05	c Core size: 12	Core Weight: 1	Total Weight: 755
4.91/5.05	c Elapsed CPU time: 4.93425 s	Remaining CPU time: 1795.07 s
4.91/5.06	c core #756
4.91/5.06	c Core size: 5	Core Weight: 1	Total Weight: 756
4.91/5.06	c Elapsed CPU time: 4.94425 s	Remaining CPU time: 1795.06 s
4.91/5.07	c core #757
4.91/5.07	c Core size: 9	Core Weight: 1	Total Weight: 757
4.91/5.07	c Elapsed CPU time: 4.95425 s	Remaining CPU time: 1795.05 s
4.91/5.08	c core #758
4.91/5.08	c Core size: 12	Core Weight: 1	Total Weight: 758
4.91/5.08	c Elapsed CPU time: 4.96425 s	Remaining CPU time: 1795.04 s
4.91/5.09	c core #759
4.91/5.09	c Core size: 17	Core Weight: 1	Total Weight: 759
4.91/5.09	c Elapsed CPU time: 4.97424 s	Remaining CPU time: 1795.03 s
5.01/5.10	c core #760
5.01/5.10	c Core size: 5	Core Weight: 1	Total Weight: 760
5.01/5.10	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
5.01/5.11	c core #761
5.01/5.11	c Core size: 5	Core Weight: 1	Total Weight: 761
5.01/5.11	c Elapsed CPU time: 4.99424 s	Remaining CPU time: 1795.01 s
5.01/5.12	c core #762
5.01/5.12	c Core size: 7	Core Weight: 1	Total Weight: 762
5.01/5.12	c Elapsed CPU time: 5.00524 s	Remaining CPU time: 1794.99 s
5.01/5.13	c core #763
5.01/5.13	c Core size: 25	Core Weight: 1	Total Weight: 763
5.01/5.13	c Elapsed CPU time: 5.01524 s	Remaining CPU time: 1794.98 s
5.01/5.14	c core #764
5.01/5.14	c Core size: 25	Core Weight: 1	Total Weight: 764
5.01/5.14	c Elapsed CPU time: 5.02524 s	Remaining CPU time: 1794.97 s
5.01/5.15	c core #765
5.01/5.15	c Core size: 5	Core Weight: 1	Total Weight: 765
5.01/5.15	c Elapsed CPU time: 5.03523 s	Remaining CPU time: 1794.96 s
5.01/5.16	c core #766
5.01/5.16	c Core size: 5	Core Weight: 1	Total Weight: 766
5.01/5.16	c Elapsed CPU time: 5.04523 s	Remaining CPU time: 1794.95 s
5.01/5.17	c core #767
5.01/5.17	c Core size: 31	Core Weight: 1	Total Weight: 767
5.01/5.17	c Elapsed CPU time: 5.05623 s	Remaining CPU time: 1794.94 s
5.01/5.18	c core #768
5.01/5.18	c Core size: 5	Core Weight: 1	Total Weight: 768
5.01/5.18	c Elapsed CPU time: 5.06623 s	Remaining CPU time: 1794.93 s
5.01/5.19	c core #769
5.01/5.19	c Core size: 5	Core Weight: 1	Total Weight: 769
5.01/5.19	c Elapsed CPU time: 5.07723 s	Remaining CPU time: 1794.92 s
5.12/5.20	c core #770
5.12/5.20	c Core size: 5	Core Weight: 1	Total Weight: 770
5.12/5.20	c Elapsed CPU time: 5.08723 s	Remaining CPU time: 1794.91 s
5.12/5.21	c core #771
5.12/5.21	c Core size: 5	Core Weight: 1	Total Weight: 771
5.12/5.21	c Elapsed CPU time: 5.09722 s	Remaining CPU time: 1794.9 s
5.12/5.22	c core #772
5.12/5.22	c Core size: 37	Core Weight: 1	Total Weight: 772
5.12/5.22	c Elapsed CPU time: 5.10822 s	Remaining CPU time: 1794.89 s
5.12/5.23	c core #773
5.12/5.23	c Core size: 5	Core Weight: 1	Total Weight: 773
5.12/5.23	c Elapsed CPU time: 5.11822 s	Remaining CPU time: 1794.88 s
5.12/5.25	c core #774
5.12/5.25	c Core size: 25	Core Weight: 1	Total Weight: 774
5.12/5.25	c Elapsed CPU time: 5.12922 s	Remaining CPU time: 1794.87 s
5.12/5.26	c core #775
5.12/5.26	c Core size: 16	Core Weight: 1	Total Weight: 775
5.12/5.26	c Elapsed CPU time: 5.13922 s	Remaining CPU time: 1794.86 s
5.12/5.27	c core #776
5.12/5.27	c Core size: 5	Core Weight: 1	Total Weight: 776
5.12/5.27	c Elapsed CPU time: 5.15022 s	Remaining CPU time: 1794.85 s
5.12/5.28	c core #777
5.12/5.28	c Core size: 5	Core Weight: 1	Total Weight: 777
5.12/5.28	c Elapsed CPU time: 5.15921 s	Remaining CPU time: 1794.84 s
5.12/5.29	c core #778
5.12/5.29	c Core size: 5	Core Weight: 1	Total Weight: 778
5.12/5.29	c Elapsed CPU time: 5.16921 s	Remaining CPU time: 1794.83 s
5.21/5.30	c core #779
5.21/5.30	c Core size: 5	Core Weight: 1	Total Weight: 779
5.21/5.30	c Elapsed CPU time: 5.18021 s	Remaining CPU time: 1794.82 s
5.21/5.31	c core #780
5.21/5.31	c Core size: 5	Core Weight: 1	Total Weight: 780
5.21/5.31	c Elapsed CPU time: 5.19021 s	Remaining CPU time: 1794.81 s
5.21/5.32	c core #781
5.21/5.32	c Core size: 16	Core Weight: 1	Total Weight: 781
5.21/5.32	c Elapsed CPU time: 5.20021 s	Remaining CPU time: 1794.8 s
5.21/5.33	c core #782
5.21/5.33	c Core size: 24	Core Weight: 1	Total Weight: 782
5.21/5.33	c Elapsed CPU time: 5.21021 s	Remaining CPU time: 1794.79 s
5.21/5.34	c core #783
5.21/5.34	c Core size: 12	Core Weight: 1	Total Weight: 783
5.21/5.34	c Elapsed CPU time: 5.22121 s	Remaining CPU time: 1794.78 s
5.21/5.35	c core #784
5.21/5.35	c Core size: 12	Core Weight: 1	Total Weight: 784
5.21/5.35	c Elapsed CPU time: 5.2312 s	Remaining CPU time: 1794.77 s
5.21/5.36	c core #785
5.21/5.36	c Core size: 27	Core Weight: 1	Total Weight: 785
5.21/5.36	c Elapsed CPU time: 5.2432 s	Remaining CPU time: 1794.76 s
5.21/5.37	c core #786
5.21/5.37	c Core size: 55	Core Weight: 1	Total Weight: 786
5.21/5.37	c Elapsed CPU time: 5.2542 s	Remaining CPU time: 1794.75 s
5.21/5.39	c core #787
5.21/5.39	c Core size: 5	Core Weight: 1	Total Weight: 787
5.21/5.39	c Elapsed CPU time: 5.2652 s	Remaining CPU time: 1794.73 s
5.21/5.40	c core #788
5.21/5.40	c Core size: 5	Core Weight: 1	Total Weight: 788
5.21/5.40	c Elapsed CPU time: 5.2742 s	Remaining CPU time: 1794.73 s
5.31/5.41	c core #789
5.31/5.41	c Core size: 5	Core Weight: 1	Total Weight: 789
5.31/5.41	c Elapsed CPU time: 5.2852 s	Remaining CPU time: 1794.71 s
5.31/5.42	c core #790
5.31/5.42	c Core size: 5	Core Weight: 1	Total Weight: 790
5.31/5.42	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 1794.7 s
5.31/5.43	c core #791
5.31/5.43	c Core size: 15	Core Weight: 1	Total Weight: 791
5.31/5.43	c Elapsed CPU time: 5.30619 s	Remaining CPU time: 1794.69 s
5.31/5.44	c core #792
5.31/5.44	c Core size: 16	Core Weight: 1	Total Weight: 792
5.31/5.44	c Elapsed CPU time: 5.31619 s	Remaining CPU time: 1794.68 s
5.31/5.45	c core #793
5.31/5.45	c Core size: 5	Core Weight: 1	Total Weight: 793
5.31/5.45	c Elapsed CPU time: 5.32719 s	Remaining CPU time: 1794.67 s
5.31/5.46	c core #794
5.31/5.46	c Core size: 5	Core Weight: 1	Total Weight: 794
5.31/5.46	c Elapsed CPU time: 5.33719 s	Remaining CPU time: 1794.66 s
5.31/5.47	c core #795
5.31/5.47	c Core size: 12	Core Weight: 1	Total Weight: 795
5.31/5.47	c Elapsed CPU time: 5.34819 s	Remaining CPU time: 1794.65 s
5.31/5.49	c core #796
5.31/5.49	c Core size: 5	Core Weight: 1	Total Weight: 796
5.31/5.49	c Elapsed CPU time: 5.35919 s	Remaining CPU time: 1794.64 s
5.31/5.50	c core #797
5.31/5.50	c Core size: 5	Core Weight: 1	Total Weight: 797
5.31/5.50	c Elapsed CPU time: 5.37018 s	Remaining CPU time: 1794.63 s
5.41/5.51	c core #798
5.41/5.51	c Core size: 22	Core Weight: 1	Total Weight: 798
5.41/5.51	c Elapsed CPU time: 5.38018 s	Remaining CPU time: 1794.62 s
5.41/5.52	c core #799
5.41/5.52	c Core size: 56	Core Weight: 1	Total Weight: 799
5.41/5.52	c Elapsed CPU time: 5.39118 s	Remaining CPU time: 1794.61 s
5.41/5.53	c core #800
5.41/5.53	c Core size: 14	Core Weight: 1	Total Weight: 800
5.41/5.53	c Elapsed CPU time: 5.40218 s	Remaining CPU time: 1794.6 s
5.41/5.54	c core #801
5.41/5.54	c Core size: 145	Core Weight: 1	Total Weight: 801
5.41/5.54	c Elapsed CPU time: 5.41418 s	Remaining CPU time: 1794.59 s
5.41/5.55	c core #802
5.41/5.55	c Core size: 5	Core Weight: 1	Total Weight: 802
5.41/5.55	c Elapsed CPU time: 5.42518 s	Remaining CPU time: 1794.57 s
5.41/5.56	c core #803
5.41/5.56	c Core size: 5	Core Weight: 1	Total Weight: 803
5.41/5.56	c Elapsed CPU time: 5.43617 s	Remaining CPU time: 1794.56 s
5.41/5.58	c core #804
5.41/5.58	c Core size: 5	Core Weight: 1	Total Weight: 804
5.41/5.58	c Elapsed CPU time: 5.44717 s	Remaining CPU time: 1794.55 s
5.41/5.59	c core #805
5.41/5.59	c Core size: 31	Core Weight: 1	Total Weight: 805
5.41/5.59	c Elapsed CPU time: 5.45817 s	Remaining CPU time: 1794.54 s
5.50/5.60	c core #806
5.50/5.60	c Core size: 20	Core Weight: 1	Total Weight: 806
5.50/5.60	c Elapsed CPU time: 5.46917 s	Remaining CPU time: 1794.53 s
5.50/5.61	c core #807
5.50/5.61	c Core size: 215	Core Weight: 1	Total Weight: 807
5.50/5.61	c Elapsed CPU time: 5.48117 s	Remaining CPU time: 1794.52 s
5.50/5.62	c core #808
5.50/5.62	c Core size: 20	Core Weight: 1	Total Weight: 808
5.50/5.62	c Elapsed CPU time: 5.49216 s	Remaining CPU time: 1794.51 s
5.50/5.63	c core #809
5.50/5.63	c Core size: 23	Core Weight: 1	Total Weight: 809
5.50/5.63	c Elapsed CPU time: 5.50316 s	Remaining CPU time: 1794.5 s
5.50/5.64	c core #810
5.50/5.64	c Core size: 58	Core Weight: 1	Total Weight: 810
5.50/5.64	c Elapsed CPU time: 5.51416 s	Remaining CPU time: 1794.49 s
5.50/5.66	c core #811
5.50/5.66	c Core size: 39	Core Weight: 1	Total Weight: 811
5.50/5.66	c Elapsed CPU time: 5.52516 s	Remaining CPU time: 1794.47 s
5.50/5.67	c core #812
5.50/5.67	c Core size: 16	Core Weight: 1	Total Weight: 812
5.50/5.67	c Elapsed CPU time: 5.53616 s	Remaining CPU time: 1794.46 s
5.50/5.68	c core #813
5.50/5.68	c Core size: 15	Core Weight: 1	Total Weight: 813
5.50/5.68	c Elapsed CPU time: 5.54616 s	Remaining CPU time: 1794.45 s
5.50/5.69	c core #814
5.50/5.69	c Core size: 15	Core Weight: 1	Total Weight: 814
5.50/5.69	c Elapsed CPU time: 5.55715 s	Remaining CPU time: 1794.44 s
5.60/5.70	c core #815
5.60/5.70	c Core size: 36	Core Weight: 1	Total Weight: 815
5.60/5.70	c Elapsed CPU time: 5.56915 s	Remaining CPU time: 1794.43 s
5.60/5.71	c core #816
5.60/5.71	c Core size: 359	Core Weight: 1	Total Weight: 816
5.60/5.71	c Elapsed CPU time: 5.58115 s	Remaining CPU time: 1794.42 s
5.60/5.72	c core #817
5.60/5.72	c Core size: 45	Core Weight: 1	Total Weight: 817
5.60/5.72	c Elapsed CPU time: 5.59315 s	Remaining CPU time: 1794.41 s
5.60/5.74	c core #818
5.60/5.74	c Core size: 64	Core Weight: 1	Total Weight: 818
5.60/5.74	c Elapsed CPU time: 5.60415 s	Remaining CPU time: 1794.4 s
5.60/5.75	c core #819
5.60/5.75	c Core size: 22	Core Weight: 1	Total Weight: 819
5.60/5.75	c Elapsed CPU time: 5.61515 s	Remaining CPU time: 1794.38 s
5.60/5.76	c core #820
5.60/5.76	c Core size: 115	Core Weight: 1	Total Weight: 820
5.60/5.76	c Elapsed CPU time: 5.62714 s	Remaining CPU time: 1794.37 s
5.60/5.77	c core #821
5.60/5.77	c Core size: 87	Core Weight: 1	Total Weight: 821
5.60/5.77	c Elapsed CPU time: 5.63914 s	Remaining CPU time: 1794.36 s
5.60/5.78	c core #822
5.60/5.78	c Core size: 278	Core Weight: 1	Total Weight: 822
5.60/5.78	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 1794.35 s
5.60/5.80	c core #823
5.60/5.80	c Core size: 50	Core Weight: 1	Total Weight: 823
5.60/5.80	c Elapsed CPU time: 5.66314 s	Remaining CPU time: 1794.34 s
5.70/5.81	c core #824
5.70/5.81	c Core size: 109	Core Weight: 1	Total Weight: 824
5.70/5.81	c Elapsed CPU time: 5.67414 s	Remaining CPU time: 1794.33 s
5.70/5.82	c core #825
5.70/5.82	c Core size: 20	Core Weight: 1	Total Weight: 825
5.70/5.82	c Elapsed CPU time: 5.68614 s	Remaining CPU time: 1794.31 s
5.70/5.83	c core #826
5.70/5.83	c Core size: 56	Core Weight: 1	Total Weight: 826
5.70/5.83	c Elapsed CPU time: 5.69713 s	Remaining CPU time: 1794.3 s
5.70/5.84	c core #827
5.70/5.84	c Core size: 122	Core Weight: 1	Total Weight: 827
5.70/5.84	c Elapsed CPU time: 5.70913 s	Remaining CPU time: 1794.29 s
5.70/5.85	c core #828
5.70/5.85	c Core size: 50	Core Weight: 1	Total Weight: 828
5.70/5.85	c Elapsed CPU time: 5.72113 s	Remaining CPU time: 1794.28 s
5.70/5.87	c core #829
5.70/5.87	c Core size: 34	Core Weight: 1	Total Weight: 829
5.70/5.87	c Elapsed CPU time: 5.73213 s	Remaining CPU time: 1794.27 s
5.70/5.88	c core #830
5.70/5.88	c Core size: 17	Core Weight: 1	Total Weight: 830
5.70/5.88	c Elapsed CPU time: 5.74413 s	Remaining CPU time: 1794.26 s
5.70/5.89	c core #831
5.70/5.89	c Core size: 36	Core Weight: 1	Total Weight: 831
5.70/5.89	c Elapsed CPU time: 5.75512 s	Remaining CPU time: 1794.24 s
5.80/5.90	c core #832
5.80/5.90	c Core size: 166	Core Weight: 1	Total Weight: 832
5.80/5.90	c Elapsed CPU time: 5.76712 s	Remaining CPU time: 1794.23 s
5.80/5.91	c core #833
5.80/5.91	c Core size: 17	Core Weight: 1	Total Weight: 833
5.80/5.91	c Elapsed CPU time: 5.77812 s	Remaining CPU time: 1794.22 s
5.80/5.92	c core #834
5.80/5.92	c Core size: 17	Core Weight: 1	Total Weight: 834
5.80/5.92	c Elapsed CPU time: 5.78912 s	Remaining CPU time: 1794.21 s
5.80/5.94	c core #835
5.80/5.94	c Core size: 57	Core Weight: 1	Total Weight: 835
5.80/5.94	c Elapsed CPU time: 5.80012 s	Remaining CPU time: 1794.2 s
5.80/5.95	c core #836
5.80/5.95	c Core size: 63	Core Weight: 1	Total Weight: 836
5.80/5.95	c Elapsed CPU time: 5.81112 s	Remaining CPU time: 1794.19 s
5.80/5.96	c core #837
5.80/5.96	c Core size: 64	Core Weight: 1	Total Weight: 837
5.80/5.96	c Elapsed CPU time: 5.82211 s	Remaining CPU time: 1794.18 s
5.80/5.97	c core #838
5.80/5.97	c Core size: 40	Core Weight: 1	Total Weight: 838
5.80/5.97	c Elapsed CPU time: 5.83311 s	Remaining CPU time: 1794.17 s
5.80/5.98	c core #839
5.80/5.98	c Core size: 68	Core Weight: 1	Total Weight: 839
5.80/5.98	c Elapsed CPU time: 5.84411 s	Remaining CPU time: 1794.16 s
5.80/5.99	c core #840
5.80/5.99	c Core size: 40	Core Weight: 1	Total Weight: 840
5.80/5.99	c Elapsed CPU time: 5.85511 s	Remaining CPU time: 1794.14 s
5.90/6.00	c core #841
5.90/6.00	c Core size: 28	Core Weight: 1	Total Weight: 841
5.90/6.00	c Elapsed CPU time: 5.86611 s	Remaining CPU time: 1794.13 s
5.90/6.02	c core #842
5.90/6.02	c Core size: 53	Core Weight: 1	Total Weight: 842
5.90/6.02	c Elapsed CPU time: 5.87811 s	Remaining CPU time: 1794.12 s
5.90/6.03	c core #843
5.90/6.03	c Core size: 23	Core Weight: 1	Total Weight: 843
5.90/6.03	c Elapsed CPU time: 5.8891 s	Remaining CPU time: 1794.11 s
5.90/6.04	c core #844
5.90/6.04	c Core size: 32	Core Weight: 1	Total Weight: 844
5.90/6.04	c Elapsed CPU time: 5.9001 s	Remaining CPU time: 1794.1 s
5.90/6.05	c core #845
5.90/6.05	c Core size: 35	Core Weight: 1	Total Weight: 845
5.90/6.05	c Elapsed CPU time: 5.9111 s	Remaining CPU time: 1794.09 s
5.90/6.06	c core #846
5.90/6.06	c Core size: 24	Core Weight: 1	Total Weight: 846
5.90/6.06	c Elapsed CPU time: 5.9221 s	Remaining CPU time: 1794.08 s
5.90/6.07	c core #847
5.90/6.07	c Core size: 46	Core Weight: 1	Total Weight: 847
5.90/6.07	c Elapsed CPU time: 5.9331 s	Remaining CPU time: 1794.07 s
5.90/6.09	c core #848
5.90/6.09	c Core size: 39	Core Weight: 1	Total Weight: 848
5.90/6.09	c Elapsed CPU time: 5.9451 s	Remaining CPU time: 1794.05 s
5.90/6.10	c ============================[ Search Statistics ]==============================
5.90/6.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.90/6.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.90/6.10	c ===============================================================================
5.90/6.10	c |         0 |    3741     7636    18032 |     5000        0    nan |  0.000 % |
6.00/6.10	c ===============================================================================
6.00/6.10	c core #849
6.00/6.10	c Core size: 42	Core Weight: 1	Total Weight: 849
6.00/6.10	c Elapsed CPU time: 5.95809 s	Remaining CPU time: 1794.04 s
6.00/6.11	c ============================[ Search Statistics ]==============================
6.00/6.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.11	c ===============================================================================
6.00/6.11	c |         0 |    3794     7637    18060 |     5000        0    nan |  0.000 % |
6.00/6.11	c ===============================================================================
6.00/6.11	c core #850
6.00/6.11	c Core size: 49	Core Weight: 1	Total Weight: 850
6.00/6.11	c Elapsed CPU time: 5.97109 s	Remaining CPU time: 1794.03 s
6.00/6.12	c ============================[ Search Statistics ]==============================
6.00/6.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.12	c ===============================================================================
6.00/6.12	c |         0 |    3807     7638    18086 |     5000        0    nan |  0.000 % |
6.00/6.12	c ===============================================================================
6.00/6.12	c core #851
6.00/6.12	c Core size: 37	Core Weight: 1	Total Weight: 851
6.00/6.12	c Elapsed CPU time: 5.98409 s	Remaining CPU time: 1794.02 s
6.00/6.14	c ============================[ Search Statistics ]==============================
6.00/6.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.14	c ===============================================================================
6.00/6.14	c |         0 |    3817     7639    18106 |     5000        0    nan |  0.000 % |
6.00/6.14	c ===============================================================================
6.00/6.14	c core #852
6.00/6.14	c Core size: 90	Core Weight: 1	Total Weight: 852
6.00/6.14	c Elapsed CPU time: 5.99709 s	Remaining CPU time: 1794 s
6.00/6.15	c ============================[ Search Statistics ]==============================
6.00/6.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.15	c ===============================================================================
6.00/6.15	c |         0 |    3845     7640    18162 |     5000        0    nan |  0.000 % |
6.00/6.15	c ===============================================================================
6.00/6.15	c core #853
6.00/6.15	c Core size: 37	Core Weight: 1	Total Weight: 853
6.00/6.15	c Elapsed CPU time: 6.01009 s	Remaining CPU time: 1793.99 s
6.00/6.16	c ============================[ Search Statistics ]==============================
6.00/6.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.16	c ===============================================================================
6.00/6.16	c |         0 |    3857     7641    18186 |     5000        0    nan |  0.000 % |
6.00/6.17	c ===============================================================================
6.00/6.17	c core #854
6.00/6.17	c Core size: 120	Core Weight: 1	Total Weight: 854
6.00/6.17	c Elapsed CPU time: 6.02408 s	Remaining CPU time: 1793.98 s
6.00/6.18	c ============================[ Search Statistics ]==============================
6.00/6.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.18	c ===============================================================================
6.00/6.18	c |         0 |    3897     7642    18232 |     5000        0    nan |  0.000 % |
6.00/6.18	c ===============================================================================
6.00/6.18	c core #855
6.00/6.18	c Core size: 87	Core Weight: 1	Total Weight: 855
6.00/6.18	c Elapsed CPU time: 6.03808 s	Remaining CPU time: 1793.96 s
6.00/6.19	c ============================[ Search Statistics ]==============================
6.00/6.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.00/6.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.00/6.19	c ===============================================================================
6.00/6.19	c |         0 |    3944     7643    18262 |     5000        0    nan |  0.000 % |
6.00/6.19	c ===============================================================================
6.00/6.19	c core #856
6.00/6.19	c Core size: 40	Core Weight: 1	Total Weight: 856
6.00/6.19	c Elapsed CPU time: 6.05008 s	Remaining CPU time: 1793.95 s
6.10/6.21	c ============================[ Search Statistics ]==============================
6.10/6.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.21	c ===============================================================================
6.10/6.21	c |         0 |    3954     7644    18283 |     5000        0    nan |  0.000 % |
6.10/6.21	c ===============================================================================
6.10/6.21	c core #857
6.10/6.21	c Core size: 67	Core Weight: 1	Total Weight: 857
6.10/6.21	c Elapsed CPU time: 6.06308 s	Remaining CPU time: 1793.94 s
6.10/6.22	c ============================[ Search Statistics ]==============================
6.10/6.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.22	c ===============================================================================
6.10/6.22	c |         0 |    3966     7645    18307 |     5000        0    nan |  0.000 % |
6.10/6.22	c ===============================================================================
6.10/6.22	c core #858
6.10/6.22	c Core size: 46	Core Weight: 1	Total Weight: 858
6.10/6.22	c Elapsed CPU time: 6.07808 s	Remaining CPU time: 1793.92 s
6.10/6.23	c ============================[ Search Statistics ]==============================
6.10/6.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.23	c ===============================================================================
6.10/6.23	c |         0 |    3978     7646    18331 |     5000        0    nan |  0.000 % |
6.10/6.24	c ===============================================================================
6.10/6.24	c core #859
6.10/6.24	c Core size: 35	Core Weight: 1	Total Weight: 859
6.10/6.24	c Elapsed CPU time: 6.09207 s	Remaining CPU time: 1793.91 s
6.10/6.25	c ============================[ Search Statistics ]==============================
6.10/6.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.25	c ===============================================================================
6.10/6.25	c |         0 |    3986     7647    18347 |     5000        0    nan |  0.000 % |
6.10/6.25	c ===============================================================================
6.10/6.25	c core #860
6.10/6.25	c Core size: 44	Core Weight: 1	Total Weight: 860
6.10/6.25	c Elapsed CPU time: 6.10607 s	Remaining CPU time: 1793.89 s
6.10/6.26	c ============================[ Search Statistics ]==============================
6.10/6.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.26	c ===============================================================================
6.10/6.26	c |         0 |    3998     7648    18371 |     5000        0    nan |  0.000 % |
6.10/6.27	c ===============================================================================
6.10/6.27	c core #861
6.10/6.27	c Core size: 142	Core Weight: 1	Total Weight: 861
6.10/6.27	c Elapsed CPU time: 6.12007 s	Remaining CPU time: 1793.88 s
6.10/6.28	c ============================[ Search Statistics ]==============================
6.10/6.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.28	c ===============================================================================
6.10/6.28	c |         0 |    4122     7649    18464 |     5000        0    nan |  0.000 % |
6.10/6.28	c ===============================================================================
6.10/6.28	c core #862
6.10/6.28	c Core size: 40	Core Weight: 1	Total Weight: 862
6.10/6.28	c Elapsed CPU time: 6.13307 s	Remaining CPU time: 1793.87 s
6.10/6.29	c ============================[ Search Statistics ]==============================
6.10/6.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.10/6.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.10/6.29	c ===============================================================================
6.10/6.29	c |         0 |    4129     7650    18478 |     5000        0    nan |  0.000 % |
6.10/6.29	c ===============================================================================
6.10/6.29	c core #863
6.10/6.29	c Core size: 46	Core Weight: 1	Total Weight: 863
6.10/6.29	c Elapsed CPU time: 6.14607 s	Remaining CPU time: 1793.85 s
6.20/6.30	c ============================[ Search Statistics ]==============================
6.20/6.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.31	c ===============================================================================
6.20/6.31	c |         0 |    4139     7651    18498 |     5000        0    nan |  0.000 % |
6.20/6.31	c ===============================================================================
6.20/6.31	c core #864
6.20/6.31	c Core size: 86	Core Weight: 1	Total Weight: 864
6.20/6.31	c Elapsed CPU time: 6.16106 s	Remaining CPU time: 1793.84 s
6.20/6.32	c ============================[ Search Statistics ]==============================
6.20/6.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.32	c ===============================================================================
6.20/6.32	c |         0 |    4161     7652    18542 |     5000        0    nan |  0.000 % |
6.20/6.32	c ===============================================================================
6.20/6.32	c core #865
6.20/6.32	c Core size: 81	Core Weight: 1	Total Weight: 865
6.20/6.32	c Elapsed CPU time: 6.17706 s	Remaining CPU time: 1793.82 s
6.20/6.34	c ============================[ Search Statistics ]==============================
6.20/6.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.34	c ===============================================================================
6.20/6.34	c |         0 |    4178     7653    18566 |     5000        0    nan |  0.000 % |
6.20/6.34	c ===============================================================================
6.20/6.34	c core #866
6.20/6.34	c Core size: 35	Core Weight: 1	Total Weight: 866
6.20/6.34	c Elapsed CPU time: 6.19006 s	Remaining CPU time: 1793.81 s
6.20/6.35	c ============================[ Search Statistics ]==============================
6.20/6.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.35	c ===============================================================================
6.20/6.35	c |         0 |    4191     7654    18591 |     5000        0    nan |  0.000 % |
6.20/6.35	c ===============================================================================
6.20/6.35	c core #867
6.20/6.35	c Core size: 52	Core Weight: 1	Total Weight: 867
6.20/6.35	c Elapsed CPU time: 6.20406 s	Remaining CPU time: 1793.8 s
6.20/6.36	c ============================[ Search Statistics ]==============================
6.20/6.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.36	c ===============================================================================
6.20/6.36	c |         0 |    4207     7655    18623 |     5000        0    nan |  0.000 % |
6.20/6.37	c ===============================================================================
6.20/6.37	c core #868
6.20/6.37	c Core size: 88	Core Weight: 1	Total Weight: 868
6.20/6.37	c Elapsed CPU time: 6.21905 s	Remaining CPU time: 1793.78 s
6.20/6.38	c ============================[ Search Statistics ]==============================
6.20/6.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.38	c ===============================================================================
6.20/6.38	c |         0 |    4235     7656    18669 |     5000        0    nan |  0.000 % |
6.20/6.38	c ===============================================================================
6.20/6.38	c core #869
6.20/6.38	c Core size: 36	Core Weight: 1	Total Weight: 869
6.20/6.38	c Elapsed CPU time: 6.23305 s	Remaining CPU time: 1793.77 s
6.20/6.39	c ============================[ Search Statistics ]==============================
6.20/6.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.20/6.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.20/6.39	c ===============================================================================
6.20/6.39	c |         0 |    4248     7657    18695 |     5000        0    nan |  0.000 % |
6.29/6.40	c ===============================================================================
6.29/6.40	c core #870
6.29/6.40	c Core size: 135	Core Weight: 1	Total Weight: 870
6.29/6.40	c Elapsed CPU time: 6.24805 s	Remaining CPU time: 1793.75 s
6.29/6.41	c Learning 1 hard constraints
6.29/6.41	c ============================[ Search Statistics ]==============================
6.29/6.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.41	c ===============================================================================
6.29/6.41	c |         0 |    4290     7659    18773 |     5000        0    nan |  0.000 % |
6.29/6.41	c ===============================================================================
6.29/6.41	c core #871
6.29/6.41	c Core size: 65	Core Weight: 1	Total Weight: 871
6.29/6.41	c Elapsed CPU time: 6.26005 s	Remaining CPU time: 1793.74 s
6.29/6.42	c ============================[ Search Statistics ]==============================
6.29/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.42	c ===============================================================================
6.29/6.42	c |         0 |    4302     7660    18797 |     5000        0    nan |  0.000 % |
6.29/6.43	c ===============================================================================
6.29/6.43	c core #872
6.29/6.43	c Core size: 152	Core Weight: 1	Total Weight: 872
6.29/6.43	c Elapsed CPU time: 6.27604 s	Remaining CPU time: 1793.72 s
6.29/6.44	c ============================[ Search Statistics ]==============================
6.29/6.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.44	c ===============================================================================
6.29/6.44	c |         0 |    4339     7661    18872 |     5000        0    nan |  0.000 % |
6.29/6.45	c ===============================================================================
6.29/6.45	c core #873
6.29/6.45	c Core size: 107	Core Weight: 1	Total Weight: 873
6.29/6.45	c Elapsed CPU time: 6.29204 s	Remaining CPU time: 1793.71 s
6.29/6.46	c ============================[ Search Statistics ]==============================
6.29/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.46	c ===============================================================================
6.29/6.46	c |         0 |    4372     7662    18928 |     5000        0    nan |  0.000 % |
6.29/6.46	c ===============================================================================
6.29/6.46	c core #874
6.29/6.46	c Core size: 54	Core Weight: 1	Total Weight: 874
6.29/6.46	c Elapsed CPU time: 6.30704 s	Remaining CPU time: 1793.69 s
6.29/6.47	c Learning 1 hard constraints
6.29/6.47	c ============================[ Search Statistics ]==============================
6.29/6.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.47	c ===============================================================================
6.29/6.47	c |         0 |    4391     7664    18970 |     5000        0    nan |  0.000 % |
6.29/6.48	c ===============================================================================
6.29/6.48	c core #875
6.29/6.48	c Core size: 81	Core Weight: 1	Total Weight: 875
6.29/6.48	c Elapsed CPU time: 6.32204 s	Remaining CPU time: 1793.68 s
6.29/6.49	c Learning 2 hard constraints
6.29/6.49	c ============================[ Search Statistics ]==============================
6.29/6.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.49	c ===============================================================================
6.29/6.49	c |         0 |    4307     7667    18996 |     5000        0    nan |  0.000 % |
6.29/6.49	c ===============================================================================
6.29/6.49	c core #876
6.29/6.49	c Core size: 64	Core Weight: 1	Total Weight: 876
6.29/6.49	c Elapsed CPU time: 6.33604 s	Remaining CPU time: 1793.66 s
6.40/6.51	c ============================[ Search Statistics ]==============================
6.40/6.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.51	c ===============================================================================
6.40/6.51	c |         0 |    4332     7668    19018 |     5000        0    nan |  0.000 % |
6.40/6.51	c ===============================================================================
6.40/6.51	c core #877
6.40/6.51	c Core size: 87	Core Weight: 1	Total Weight: 877
6.40/6.51	c Elapsed CPU time: 6.35003 s	Remaining CPU time: 1793.65 s
6.40/6.52	c ============================[ Search Statistics ]==============================
6.40/6.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.52	c ===============================================================================
6.40/6.52	c |         0 |    4356     7669    19066 |     5000        0    nan |  0.000 % |
6.40/6.52	c ===============================================================================
6.40/6.52	c core #878
6.40/6.52	c Core size: 155	Core Weight: 1	Total Weight: 878
6.40/6.52	c Elapsed CPU time: 6.36403 s	Remaining CPU time: 1793.64 s
6.40/6.54	c ============================[ Search Statistics ]==============================
6.40/6.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.54	c ===============================================================================
6.40/6.54	c |         0 |    4394     7670    19142 |     5000        0    nan |  0.000 % |
6.40/6.54	c ===============================================================================
6.40/6.54	c core #879
6.40/6.54	c Core size: 172	Core Weight: 1	Total Weight: 879
6.40/6.54	c Elapsed CPU time: 6.38003 s	Remaining CPU time: 1793.62 s
6.40/6.55	c ============================[ Search Statistics ]==============================
6.40/6.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.55	c ===============================================================================
6.40/6.55	c |         0 |    4424     7671    19202 |     5000        0    nan |  0.000 % |
6.40/6.56	c ===============================================================================
6.40/6.56	c core #880
6.40/6.56	c Core size: 236	Core Weight: 1	Total Weight: 880
6.40/6.56	c Elapsed CPU time: 6.39803 s	Remaining CPU time: 1793.6 s
6.40/6.57	c ============================[ Search Statistics ]==============================
6.40/6.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.57	c ===============================================================================
6.40/6.57	c |         0 |    4477     7672    19309 |     5000        0    nan |  0.000 % |
6.40/6.58	c ===============================================================================
6.40/6.58	c core #881
6.40/6.58	c Core size: 162	Core Weight: 1	Total Weight: 881
6.40/6.58	c Elapsed CPU time: 6.41802 s	Remaining CPU time: 1793.58 s
6.40/6.60	c Learning 3 hard constraints
6.40/6.60	c ============================[ Search Statistics ]==============================
6.40/6.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.40/6.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.40/6.60	c ===============================================================================
6.40/6.60	c |         0 |    4498     7676    19360 |     5000        0    nan |  0.000 % |
6.49/6.60	c ===============================================================================
6.49/6.60	c core #882
6.49/6.60	c Core size: 257	Core Weight: 1	Total Weight: 882
6.49/6.60	c Elapsed CPU time: 6.43602 s	Remaining CPU time: 1793.56 s
6.49/6.61	c Learning 6 hard constraints
6.49/6.61	c ============================[ Search Statistics ]==============================
6.49/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.62	c ===============================================================================
6.49/6.62	c |         0 |    4528     7683    19445 |     5000        0    nan |  0.000 % |
6.49/6.62	c ===============================================================================
6.49/6.62	c core #883
6.49/6.62	c Core size: 73	Core Weight: 1	Total Weight: 883
6.49/6.62	c Elapsed CPU time: 6.45502 s	Remaining CPU time: 1793.54 s
6.49/6.63	c ============================[ Search Statistics ]==============================
6.49/6.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.63	c ===============================================================================
6.49/6.63	c |         0 |    4542     7684    19471 |     5000        0    nan |  0.000 % |
6.49/6.65	c ===============================================================================
6.49/6.65	c core #884
6.49/6.65	c Core size: 351	Core Weight: 1	Total Weight: 884
6.49/6.65	c Elapsed CPU time: 6.47701 s	Remaining CPU time: 1793.52 s
6.49/6.66	c ============================[ Search Statistics ]==============================
6.49/6.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.66	c ===============================================================================
6.49/6.66	c |         0 |    4626     7685    19639 |     5000        0    nan |  0.000 % |
6.49/6.68	c |       117 |    4626     7685    19639 |     5500      117     27 | 12.250 % |
6.49/6.69	c ===============================================================================
6.49/6.69	c core #885
6.49/6.69	c Core size: 749	Core Weight: 1	Total Weight: 885
6.49/6.69	c Elapsed CPU time: 6.51901 s	Remaining CPU time: 1793.48 s
6.58/6.70	c Learning 3 hard constraints
6.58/6.70	c ============================[ Search Statistics ]==============================
6.58/6.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.58/6.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.58/6.70	c ===============================================================================
6.58/6.70	c |         0 |    4754     7689    19905 |     5000        0    nan |  0.000 % |
6.58/6.72	c |       103 |    4754     7689    19905 |     5500      103     60 | 11.586 % |
6.58/6.74	c |       253 |    4744     7689    19905 |     6050      252     62 | 11.772 % |
6.58/6.75	c ===============================================================================
6.58/6.76	c core #886
6.58/6.76	c Core size: 974	Core Weight: 1	Total Weight: 886
6.58/6.76	c Elapsed CPU time: 6.58 s	Remaining CPU time: 1793.42 s
6.58/6.77	c Learning 3 hard constraints
6.58/6.77	c ============================[ Search Statistics ]==============================
6.58/6.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.58/6.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.58/6.77	c ===============================================================================
6.58/6.77	c |         0 |    4952     7693    20307 |     5000        0    nan |  0.000 % |
6.58/6.79	c ===============================================================================
6.58/6.79	c core #887
6.58/6.79	c Core size: 615	Core Weight: 1	Total Weight: 887
6.58/6.79	c Elapsed CPU time: 6.60999 s	Remaining CPU time: 1793.39 s
6.68/6.80	c Learning 5 hard constraints
6.68/6.80	c ============================[ Search Statistics ]==============================
6.68/6.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.68/6.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.68/6.80	c ===============================================================================
6.68/6.80	c |         0 |    5056     7699    20525 |     5000        0    nan |  0.000 % |
6.68/6.82	c |       101 |    5045     7699    20525 |     5500       98     12 | 11.123 % |
6.68/6.82	c ===============================================================================
6.68/6.82	c core #888
6.68/6.82	c Core size: 168	Core Weight: 1	Total Weight: 888
6.68/6.82	c Elapsed CPU time: 6.64299 s	Remaining CPU time: 1793.36 s
6.68/6.83	c Learning 7 hard constraints
6.68/6.83	c ============================[ Search Statistics ]==============================
6.68/6.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.68/6.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.68/6.83	c ===============================================================================
6.68/6.83	c |         0 |    5087     7707    20613 |     5000        0    nan |  0.000 % |
6.68/6.85	c |       100 |    5085     7707    20613 |     5500      100     12 | 10.658 % |
6.68/6.87	c ===============================================================================
6.68/6.87	c core #889
6.68/6.87	c Core size: 1279	Core Weight: 1	Total Weight: 889
6.68/6.87	c Elapsed CPU time: 6.69098 s	Remaining CPU time: 1793.31 s
6.68/6.89	c Learning 8 hard constraints
6.68/6.89	c ============================[ Search Statistics ]==============================
6.68/6.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.68/6.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.68/6.89	c ===============================================================================
6.68/6.89	c |         0 |    5255     7716    20977 |     5000        0    nan |  0.000 % |
6.78/6.90	c |       100 |    5250     7716    20977 |     5500      100     19 | 10.492 % |
6.78/6.90	c ===============================================================================
6.78/6.90	c core #890
6.78/6.90	c Core size: 398	Core Weight: 1	Total Weight: 890
6.78/6.90	c Elapsed CPU time: 6.72298 s	Remaining CPU time: 1793.28 s
6.78/6.92	c Learning 7 hard constraints
6.78/6.92	c ============================[ Search Statistics ]==============================
6.78/6.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.92	c ===============================================================================
6.78/6.92	c |         0 |    5278     7724    21086 |     5000        0    nan |  0.000 % |
6.78/6.94	c ===============================================================================
6.78/6.94	c core #891
6.78/6.94	c Core size: 646	Core Weight: 1	Total Weight: 891
6.78/6.94	c Elapsed CPU time: 6.75397 s	Remaining CPU time: 1793.25 s
6.78/6.95	c Learning 9 hard constraints
6.78/6.95	c ============================[ Search Statistics ]==============================
6.78/6.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.95	c ===============================================================================
6.78/6.95	c |         0 |    5350     7734    21294 |     5000        0    nan |  0.000 % |
6.78/6.95	c ===============================================================================
6.78/6.95	c core #892
6.78/6.95	c Core size: 18	Core Weight: 1	Total Weight: 892
6.78/6.95	c Elapsed CPU time: 6.76997 s	Remaining CPU time: 1793.23 s
6.78/6.97	c ============================[ Search Statistics ]==============================
6.78/6.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.97	c ===============================================================================
6.78/6.97	c |         0 |    5353     7735    21300 |     5000        0    nan |  0.000 % |
6.78/6.97	c ===============================================================================
6.78/6.97	c core #893
6.78/6.97	c Core size: 18	Core Weight: 1	Total Weight: 893
6.78/6.97	c Elapsed CPU time: 6.78397 s	Remaining CPU time: 1793.22 s
6.78/6.98	c ============================[ Search Statistics ]==============================
6.78/6.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.98	c ===============================================================================
6.78/6.98	c |         0 |    5356     7736    21306 |     5000        0    nan |  0.000 % |
6.88/7.00	c |       100 |    5353     7736    21306 |     5500      100     23 | 12.483 % |
6.88/7.02	c ===============================================================================
6.88/7.03	c core #894
6.88/7.03	c Core size: 737	Core Weight: 1	Total Weight: 894
6.88/7.03	c Elapsed CPU time: 6.83796 s	Remaining CPU time: 1793.16 s
6.88/7.04	c Learning 8 hard constraints
6.88/7.04	c ============================[ Search Statistics ]==============================
6.88/7.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.88/7.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.88/7.04	c ===============================================================================
6.88/7.04	c |         0 |    5459     7745    21543 |     5000        0    nan |  0.000 % |
6.88/7.06	c |       102 |    5452     7745    21543 |     5500       99      8 |  9.959 % |
6.88/7.07	c |       252 |    5345     7745    21543 |     6050      221     11 | 17.391 % |
6.88/7.09	c ===============================================================================
6.88/7.09	c core #895
6.88/7.09	c Core size: 813	Core Weight: 1	Total Weight: 895
6.88/7.09	c Elapsed CPU time: 6.89995 s	Remaining CPU time: 1793.1 s
6.98/7.11	c Learning 9 hard constraints
6.98/7.11	c ============================[ Search Statistics ]==============================
6.98/7.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.98/7.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.98/7.11	c ===============================================================================
6.98/7.11	c |         0 |    5571     7755    21809 |     5000        0    nan |  0.000 % |
6.98/7.13	c |       100 |    5517     7755    21809 |     5500       97     15 | 10.541 % |
6.98/7.15	c |       251 |    5515     7755    21809 |     6050      239     21 | 10.573 % |
6.98/7.16	c ===============================================================================
6.98/7.17	c core #896
6.98/7.17	c Core size: 1786	Core Weight: 1	Total Weight: 896
6.98/7.17	c Elapsed CPU time: 6.97294 s	Remaining CPU time: 1793.03 s
6.98/7.18	c Learning 99 hard constraints
6.98/7.18	c ============================[ Search Statistics ]==============================
6.98/7.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.98/7.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.98/7.18	c ===============================================================================
6.98/7.18	c |         0 |    5681     7855    22771 |     5000        0    nan |  0.000 % |
7.08/7.20	c |       100 |    5679     7855    22771 |     5500      100     19 |  9.194 % |
7.08/7.23	c ===============================================================================
7.08/7.23	c core #897
7.08/7.23	c Core size: 1517	Core Weight: 1	Total Weight: 897
7.08/7.23	c Elapsed CPU time: 7.03393 s	Remaining CPU time: 1792.97 s
7.08/7.24	c Learning 89 hard constraints
7.08/7.24	c ============================[ Search Statistics ]==============================
7.08/7.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.08/7.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.08/7.25	c ===============================================================================
7.08/7.25	c |         0 |    5686     7945    24745 |     5000        0    nan |  0.000 % |
7.08/7.26	c |       100 |    5686     7945    24745 |     5500      100     21 |  9.155 % |
7.08/7.28	c |       250 |    5686     7945    24745 |     6050      250     24 |  9.155 % |
7.08/7.29	c ===============================================================================
7.08/7.30	c core #898
7.08/7.30	c Core size: 1480	Core Weight: 1	Total Weight: 898
7.08/7.30	c Elapsed CPU time: 7.09492 s	Remaining CPU time: 1792.91 s
7.17/7.31	c Learning 70 hard constraints
7.17/7.31	c ============================[ Search Statistics ]==============================
7.17/7.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.17/7.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.17/7.31	c ===============================================================================
7.17/7.31	c |         0 |    5715     8016    26164 |     5000        0    nan |  0.000 % |
7.17/7.34	c |       101 |    5713     8016    26164 |     5500      101     61 |  9.319 % |
7.17/7.34	c ===============================================================================
7.17/7.34	c core #899
7.17/7.34	c Core size: 1026	Core Weight: 2147483647	Total Weight: -2147482751
7.17/7.34	c restarts              : 2
7.17/7.34	c conflicts             : 128            (18 /sec)
7.17/7.34	c decisions             : 1176           (1.70 % random) (165 /sec)
7.17/7.34	c propagations          : 49647          (6952 /sec)
7.17/7.34	c conflict literals     : 7607           (0.00 % deleted)
7.17/7.34	c Memory used           : 15.50 MB
7.17/7.34	c CPU time              : 7.14091 s
7.17/7.34	c 
7.17/7.34	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-1876173-1245151217/watcher-1876173-1245151217 -o /tmp/evaluation-result-1876173-1245151217/solver-1876173-1245151217 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876173-1245151217.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10201
/proc/meminfo: memFree=1907544/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=3000 CPUtime=0
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 182721440 3072000 259 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 750 259 127 292 0 418 0

[startup+0.085854 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10201
/proc/meminfo: memFree=1907544/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=3580 CPUtime=0.08
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 505 0 0 0 8 0 0 0 18 0 1 0 182721440 3665920 452 1992294400 134512640 135709839 4294956240 18446744073709551615 134605064 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 895 452 133 292 0 600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3580

[startup+0.101856 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10201
/proc/meminfo: memFree=1907544/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=3580 CPUtime=0.09
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 519 0 0 0 9 0 0 0 18 0 1 0 182721440 3665920 466 1992294400 134512640 135709839 4294956240 18446744073709551615 135166001 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 895 466 133 292 0 600 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301888 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10201
/proc/meminfo: memFree=1907544/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=3784 CPUtime=0.29
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 650 0 0 0 29 0 0 0 19 0 1 0 182721440 3874816 493 1992294400 134512640 135709839 4294956240 18446744073709551615 135183285 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 946 493 133 292 0 651 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3784

[startup+0.701951 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10201
/proc/meminfo: memFree=1907544/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=3976 CPUtime=0.69
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 896 0 0 0 69 0 0 0 23 0 1 0 182721440 4071424 566 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 994 566 133 292 0 699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3976

[startup+1.50108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10202
/proc/meminfo: memFree=1905488/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=4944 CPUtime=1.48
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 1269 0 0 0 147 1 0 0 25 0 1 0 182721440 5062656 778 1992294400 134512640 135709839 4294956240 18446744073709551615 135182891 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 1236 778 133 292 0 941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4944

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10202
/proc/meminfo: memFree=1904144/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=6436 CPUtime=3.05
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 2351 0 0 0 303 2 0 0 25 0 1 0 182721440 6590464 1186 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 1609 1186 133 292 0 1314 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6436

[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10202
/proc/meminfo: memFree=1899856/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=12348 CPUtime=6.2
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 5187 0 0 0 615 5 0 0 25 0 1 0 182721440 12644352 2617 1992294400 134512640 135709839 4294956240 18446744073709551615 135166068 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 3087 2617 135 292 0 2792 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 12348

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

[startup+7.10197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10202
/proc/meminfo: memFree=1896336/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=15084 CPUtime=6.98
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 6010 0 0 0 690 8 0 0 25 0 1 0 182721440 15446016 3307 1992294400 134512640 135709839 4294956240 18446744073709551615 134569879 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 3771 3307 136 292 0 3476 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 15084

[startup+7.30201 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10202
/proc/meminfo: memFree=1896336/2055920 swapFree=4192812/4192956
[pid=10201] ppid=10199 vsize=15648 CPUtime=7.17
/proc/10201/stat : 10201 (wbo) R 10199 10201 9836 0 -1 4194304 6237 0 0 0 709 8 0 0 25 0 1 0 182721440 16023552 3382 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0
/proc/10201/statm: 3912 3390 136 292 0 3617 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 15648

Child status: 0
Real time (s): 7.35106
CPU time (s): 7.2339
CPU user time (s): 7.14091
CPU system time (s): 0.092985
CPU usage (%): 98.4062
Max. virtual memory (cumulated for all children) (KiB): 15648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.14091
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6313
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= 2
involuntary context switches= 2635

runsolver used 0.053991 second user time and 0.099984 second system time

The end

Launcher Data 

Begin job on node26 at 2009-06-16 13:20:17
IDJOB=1876173
IDBENCH=2073
IDSOLVER=698
FILE ID=node26/1876173-1245151217
PBS_JOBID= 9363732
Free space on /tmp= 66156 MiB

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

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

MD5SUM BENCH= 093787cffe9173c370b11fb5e77a5812
RANDOM SEED=1490894057

node26.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.263
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	: 5931.00
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.263
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:       1908032 kB
Buffers:         17828 kB
Cached:          67240 kB
SwapCached:          0 kB
Active:          59336 kB
Inactive:        39696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1908032 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2524 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            34888 kB
Committed_AS:   153676 kB
PageTables:       1372 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-1876173-1245151217.opb

Free space on /tmp at the end= 66152 MiB
End job on node26 at 2009-06-16 13:20:25