Trace number 1875711

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1294.97 1295.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
MD5SUM4609670c187ed2b426f26d3b2e2df0b2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1050
Best CPU time to get the best result obtained on this benchmark1797.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1034
Optimality of the best value was proved NO
Number of variables1965
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1965
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 1965
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1965
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875711-1245145523.opb.
0.00/0.00	c Instance file HOME/instance-1875711-1245145523.opb
0.00/0.00	c File size is 112264 bytes.
0.00/0.01	c Highest Coefficient sum: 3
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1965                                                |
0.00/0.01	c |  Number Clauses:        5965                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.035994 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.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #10
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.04	c Elapsed CPU time: 0.045993 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.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #12
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.05/0.05	c core #13
0.05/0.05	c Core size: 3	Core Weight: 1	Total Weight: 13
0.05/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.05/0.06	c core #14
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.05/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.05/0.06	c core #15
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.05/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.05/0.06	c core #16
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 16
0.05/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #17
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.05/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #18
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.05/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #19
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 19
0.05/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #20
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.05/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #21
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 21
0.05/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #22
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 22
0.05/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.05/0.09	c core #23
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.05/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.05/0.09	c core #24
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 24
0.05/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.05/0.09	c core #25
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 25
0.05/0.09	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 1799.9 s
0.05/0.10	c core #26
0.05/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.05/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #27
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 27
0.10/0.10	c Elapsed CPU time: 0.103984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #28
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 28
0.10/0.10	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #29
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 29
0.10/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #30
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 30
0.10/0.11	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #31
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 31
0.10/0.11	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #32
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 32
0.10/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #33
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 33
0.10/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #34
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 34
0.10/0.12	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #35
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 35
0.10/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #36
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 36
0.10/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #37
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 37
0.10/0.13	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #38
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 38
0.10/0.14	c Elapsed CPU time: 0.140978 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #39
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 39
0.10/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.10/0.15	c core #40
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 40
0.10/0.15	c Elapsed CPU time: 0.147977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #41
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 41
0.10/0.15	c Elapsed CPU time: 0.150977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #42
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 42
0.10/0.15	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 1799.85 s
0.10/0.16	c core #43
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 43
0.10/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #44
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 44
0.10/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #45
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 45
0.10/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.10/0.17	c core #46
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 46
0.10/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #47
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 47
0.10/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #48
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 48
0.10/0.17	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #49
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 49
0.10/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #50
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 50
0.10/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #51
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 51
0.10/0.18	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #52
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 52
0.10/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #53
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 53
0.10/0.19	c Elapsed CPU time: 0.19297 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #54
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 54
0.10/0.19	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #55
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #56
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.20	c Elapsed CPU time: 0.203968 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #57
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.20	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #58
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #59
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #60
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.21	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #61
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #62
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.22	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #63
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #64
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #65
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 65
0.19/0.23	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #66
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.24	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #67
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.24	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #68
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.24	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #69
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #70
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.25	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #71
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.25	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #72
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #73
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #74
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #75
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.27	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #76
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.27	c Elapsed CPU time: 0.274958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #77
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 77
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #78
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 78
0.19/0.28	c Elapsed CPU time: 0.282956 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #79
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 79
0.19/0.28	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #80
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 80
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #81
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 81
0.19/0.29	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #82
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 82
0.19/0.29	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #83
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #84
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.30	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #85
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.30	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #86
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.31	c Elapsed CPU time: 0.310952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #87
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.31	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #88
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.32	c Elapsed CPU time: 0.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #89
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.32	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #90
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.32	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #91
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.33	c Elapsed CPU time: 0.329949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #92
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.33	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #93
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.33	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #94
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.34	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #95
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.34	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #96
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.35	c Elapsed CPU time: 0.347947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #97
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.35	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #98
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.35	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #99
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #100
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.36	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #101
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.36	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #102
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #103
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 103
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #104
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 104
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #105
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 105
0.29/0.38	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #106
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 106
0.29/0.38	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #107
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 107
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #108
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 108
0.29/0.39	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #109
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 109
0.29/0.39	c Elapsed CPU time: 0.395939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #110
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.40	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #111
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.40	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #112
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #113
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.41	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #114
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.41	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #115
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.42	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #116
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #117
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.42	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #118
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #119
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.43	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #120
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.44	c Elapsed CPU time: 0.437933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #121
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #122
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.44	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #123
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.45	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #124
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.45	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #125
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.45	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #126
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 126
0.39/0.46	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #127
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.46	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #128
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 128
0.39/0.47	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #129
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 129
0.39/0.47	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #130
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 130
0.39/0.47	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #131
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 131
0.39/0.48	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #132
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 132
0.39/0.48	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #133
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 133
0.39/0.48	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #134
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 134
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #135
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 135
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #136
0.39/0.50	c Core size: 3	Core Weight: 1	Total Weight: 136
0.39/0.50	c Elapsed CPU time: 0.498924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #137
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.50	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #138
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.50	c Elapsed CPU time: 0.506922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #139
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #140
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #141
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #142
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.52	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #143
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.52	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #144
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.53	c Elapsed CPU time: 0.530919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #145
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.53	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #146
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.54	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #147
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #148
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.54	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #149
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #150
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 150
0.49/0.55	c Elapsed CPU time: 0.553915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #151
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.56	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #152
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 152
0.49/0.56	c Elapsed CPU time: 0.561914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #153
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 153
0.49/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #154
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 154
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #155
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 155
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #156
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 156
0.49/0.58	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #157
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 157
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #158
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 158
0.49/0.58	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #159
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 159
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #160
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 160
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #161
0.49/0.60	c Core size: 3	Core Weight: 1	Total Weight: 161
0.49/0.60	c Elapsed CPU time: 0.596909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #162
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.60	c Elapsed CPU time: 0.600908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #163
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.60	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #164
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.61	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #165
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.61	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #166
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.62	c Elapsed CPU time: 0.616906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #167
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.62	c Elapsed CPU time: 0.620905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #168
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.62	c Elapsed CPU time: 0.624905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #169
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.63	c Elapsed CPU time: 0.628904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #170
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.63	c Elapsed CPU time: 0.632903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #171
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.64	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #172
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.64	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #173
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.64	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #174
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.65	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #175
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 175
0.59/0.65	c Elapsed CPU time: 0.6539 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #176
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 176
0.59/0.66	c Elapsed CPU time: 0.657899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #177
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 177
0.59/0.66	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #178
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 178
0.59/0.66	c Elapsed CPU time: 0.665898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #179
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 179
0.59/0.67	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #180
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 180
0.59/0.67	c Elapsed CPU time: 0.673897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #181
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 181
0.59/0.68	c Elapsed CPU time: 0.677896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #182
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 182
0.59/0.68	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #183
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 183
0.59/0.68	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #184
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 184
0.59/0.69	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #185
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 185
0.59/0.69	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #186
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #187
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.70	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #188
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #189
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #190
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.71	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #191
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.72	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #192
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.72	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #193
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.73	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #194
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #195
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #196
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #197
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.74	c Elapsed CPU time: 0.744886 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #198
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 198
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #199
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 199
0.69/0.75	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #200
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 200
0.69/0.76	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #201
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 201
0.69/0.76	c Elapsed CPU time: 0.762884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #202
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 202
0.69/0.77	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #203
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 203
0.69/0.77	c Elapsed CPU time: 0.770882 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #204
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 204
0.69/0.77	c Elapsed CPU time: 0.775882 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #205
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 205
0.69/0.78	c Elapsed CPU time: 0.779881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #206
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 206
0.69/0.78	c Elapsed CPU time: 0.78488 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #207
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 207
0.69/0.79	c Elapsed CPU time: 0.78888 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #208
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 208
0.69/0.79	c Elapsed CPU time: 0.792879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #209
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 209
0.69/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #210
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.80	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #211
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.80	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #212
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.81	c Elapsed CPU time: 0.810876 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #213
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.81	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #214
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #215
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.82	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #216
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.83	c Elapsed CPU time: 0.828873 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #217
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.83	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #218
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.84	c Elapsed CPU time: 0.837872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #219
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.84	c Elapsed CPU time: 0.841872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #220
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 220
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #221
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 221
0.79/0.85	c Elapsed CPU time: 0.85087 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #222
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 222
0.79/0.85	c Elapsed CPU time: 0.855869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #223
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 223
0.79/0.86	c Elapsed CPU time: 0.859869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #224
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 224
0.79/0.86	c Elapsed CPU time: 0.864868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #225
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 225
0.79/0.87	c Elapsed CPU time: 0.868867 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #226
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 226
0.79/0.87	c Elapsed CPU time: 0.872867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #227
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 227
0.79/0.88	c Elapsed CPU time: 0.877866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #228
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 228
0.79/0.88	c Elapsed CPU time: 0.881865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #229
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 229
0.79/0.89	c Elapsed CPU time: 0.886865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #230
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 230
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #231
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 231
0.79/0.90	c Elapsed CPU time: 0.895863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #232
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.90	c Elapsed CPU time: 0.900863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #233
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.90	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #234
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #235
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.91	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #236
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.92	c Elapsed CPU time: 0.91886 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #237
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.92	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #238
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #239
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.93	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #240
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/0.94	c Elapsed CPU time: 0.937857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #241
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 241
0.89/0.94	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #242
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 242
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #243
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 243
0.89/0.95	c Elapsed CPU time: 0.950855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #244
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 244
0.89/0.96	c Elapsed CPU time: 0.955854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #245
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 245
0.89/0.96	c Elapsed CPU time: 0.960853 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #246
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 246
0.89/0.96	c Elapsed CPU time: 0.964853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #247
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 247
0.89/0.97	c Elapsed CPU time: 0.969852 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #248
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 248
0.89/0.97	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #249
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 249
0.89/0.98	c Elapsed CPU time: 0.978851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #250
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 250
0.89/0.98	c Elapsed CPU time: 0.98385 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #251
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 251
0.89/0.99	c Elapsed CPU time: 0.988849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #252
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 252
0.89/0.99	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
1.00/1.00	c core #253
1.00/1.00	c Core size: 3	Core Weight: 1	Total Weight: 253
1.00/1.00	c Elapsed CPU time: 0.997848 s	Remaining CPU time: 1799 s
1.00/1.00	c core #254
1.00/1.00	c Core size: 3	Core Weight: 1	Total Weight: 254
1.00/1.00	c Elapsed CPU time: 1.00285 s	Remaining CPU time: 1799 s
1.00/1.01	c core #255
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 255
1.00/1.01	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 1798.99 s
1.00/1.01	c core #256
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 256
1.00/1.01	c Elapsed CPU time: 1.01185 s	Remaining CPU time: 1798.99 s
1.00/1.02	c core #257
1.00/1.02	c Core size: 3	Core Weight: 1	Total Weight: 257
1.00/1.02	c Elapsed CPU time: 1.01684 s	Remaining CPU time: 1798.98 s
1.00/1.02	c core #258
1.00/1.02	c Core size: 3	Core Weight: 1	Total Weight: 258
1.00/1.02	c Elapsed CPU time: 1.02184 s	Remaining CPU time: 1798.98 s
1.00/1.03	c core #259
1.00/1.03	c Core size: 3	Core Weight: 1	Total Weight: 259
1.00/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
1.00/1.03	c core #260
1.00/1.03	c Core size: 3	Core Weight: 1	Total Weight: 260
1.00/1.03	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #261
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 261
1.00/1.04	c Elapsed CPU time: 1.03584 s	Remaining CPU time: 1798.96 s
1.00/1.04	c core #262
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 262
1.00/1.04	c Elapsed CPU time: 1.04084 s	Remaining CPU time: 1798.96 s
1.00/1.04	c core #263
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 263
1.00/1.04	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #264
1.00/1.05	c Core size: 3	Core Weight: 1	Total Weight: 264
1.00/1.05	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
1.00/1.05	c core #265
1.00/1.05	c Core size: 3	Core Weight: 1	Total Weight: 265
1.00/1.05	c Elapsed CPU time: 1.05384 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #266
1.00/1.06	c Core size: 3	Core Weight: 1	Total Weight: 266
1.00/1.06	c Elapsed CPU time: 1.05884 s	Remaining CPU time: 1798.94 s
1.00/1.06	c core #267
1.00/1.06	c Core size: 3	Core Weight: 1	Total Weight: 267
1.00/1.06	c Elapsed CPU time: 1.06284 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #268
1.00/1.07	c Core size: 3	Core Weight: 1	Total Weight: 268
1.00/1.07	c Elapsed CPU time: 1.06684 s	Remaining CPU time: 1798.93 s
1.00/1.07	c core #269
1.00/1.07	c Core size: 3	Core Weight: 1	Total Weight: 269
1.00/1.07	c Elapsed CPU time: 1.07184 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #270
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 270
1.00/1.08	c Elapsed CPU time: 1.07684 s	Remaining CPU time: 1798.92 s
1.00/1.08	c core #271
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 271
1.00/1.08	c Elapsed CPU time: 1.08083 s	Remaining CPU time: 1798.92 s
1.00/1.09	c core #272
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 272
1.00/1.09	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
1.00/1.09	c core #273
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 273
1.00/1.09	c Elapsed CPU time: 1.09083 s	Remaining CPU time: 1798.91 s
1.00/1.10	c core #274
1.00/1.10	c Core size: 3	Core Weight: 1	Total Weight: 274
1.00/1.10	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 1798.9 s
1.09/1.10	c core #275
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.10	c Elapsed CPU time: 1.09983 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #276
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.11	c Elapsed CPU time: 1.10483 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #277
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.11	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #278
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 278
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #279
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 279
1.09/1.12	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #280
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 280
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #281
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 281
1.09/1.13	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #282
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 282
1.09/1.14	c Elapsed CPU time: 1.13383 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #283
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 283
1.09/1.14	c Elapsed CPU time: 1.13883 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #284
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 284
1.09/1.15	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #285
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 285
1.09/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #286
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 286
1.09/1.16	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #287
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 287
1.09/1.16	c Elapsed CPU time: 1.15782 s	Remaining CPU time: 1798.84 s
1.09/1.16	c core #288
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 288
1.09/1.16	c Elapsed CPU time: 1.16282 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #289
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 289
1.09/1.17	c Elapsed CPU time: 1.16782 s	Remaining CPU time: 1798.83 s
1.09/1.17	c core #290
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 290
1.09/1.17	c Elapsed CPU time: 1.17282 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #291
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 291
1.09/1.18	c Elapsed CPU time: 1.17782 s	Remaining CPU time: 1798.82 s
1.09/1.18	c core #292
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 292
1.09/1.18	c Elapsed CPU time: 1.18282 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #293
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 293
1.09/1.19	c Elapsed CPU time: 1.18782 s	Remaining CPU time: 1798.81 s
1.09/1.19	c core #294
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 294
1.09/1.19	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #295
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 295
1.19/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.19/1.20	c core #296
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 296
1.19/1.20	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #297
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 297
1.19/1.21	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.19/1.21	c core #298
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 298
1.19/1.21	c Elapsed CPU time: 1.21182 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #299
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 299
1.19/1.22	c Elapsed CPU time: 1.21582 s	Remaining CPU time: 1798.78 s
1.19/1.22	c core #300
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 300
1.19/1.22	c Elapsed CPU time: 1.22081 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #301
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 301
1.19/1.23	c Elapsed CPU time: 1.22581 s	Remaining CPU time: 1798.77 s
1.19/1.23	c core #302
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 302
1.19/1.23	c Elapsed CPU time: 1.22981 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #303
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 303
1.19/1.24	c Elapsed CPU time: 1.23381 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #304
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 304
1.19/1.24	c Elapsed CPU time: 1.23881 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #305
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 305
1.19/1.25	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #306
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 306
1.19/1.25	c Elapsed CPU time: 1.24781 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #307
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 307
1.19/1.26	c Elapsed CPU time: 1.25281 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #308
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 308
1.19/1.26	c Elapsed CPU time: 1.25781 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #309
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 309
1.19/1.27	c Elapsed CPU time: 1.26281 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #310
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 310
1.19/1.27	c Elapsed CPU time: 1.26781 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #311
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 311
1.19/1.28	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #312
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 312
1.19/1.28	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #313
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 313
1.19/1.29	c Elapsed CPU time: 1.2828 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #314
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 314
1.19/1.29	c Elapsed CPU time: 1.2878 s	Remaining CPU time: 1798.71 s
1.19/1.30	c core #315
1.19/1.30	c Core size: 3	Core Weight: 1	Total Weight: 315
1.19/1.30	c Elapsed CPU time: 1.2928 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #316
1.29/1.30	c Core size: 3	Core Weight: 1	Total Weight: 316
1.29/1.30	c Elapsed CPU time: 1.2978 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #317
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 317
1.29/1.31	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #318
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 318
1.29/1.31	c Elapsed CPU time: 1.3068 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #319
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 319
1.29/1.32	c Elapsed CPU time: 1.3118 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #320
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 320
1.29/1.32	c Elapsed CPU time: 1.3168 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #321
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 321
1.29/1.33	c Elapsed CPU time: 1.3218 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #322
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 322
1.29/1.33	c Elapsed CPU time: 1.3268 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #323
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 323
1.29/1.34	c Elapsed CPU time: 1.3318 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #324
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 324
1.29/1.34	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #325
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 325
1.29/1.35	c Elapsed CPU time: 1.3418 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #326
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 326
1.29/1.35	c Elapsed CPU time: 1.3458 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #327
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 327
1.29/1.36	c Elapsed CPU time: 1.35079 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #328
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 328
1.29/1.36	c Elapsed CPU time: 1.35579 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #329
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 329
1.29/1.37	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #330
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 330
1.29/1.37	c Elapsed CPU time: 1.36579 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #331
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 331
1.29/1.38	c Elapsed CPU time: 1.37079 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #332
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 332
1.29/1.38	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #333
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 333
1.29/1.39	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #334
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 334
1.29/1.39	c Elapsed CPU time: 1.38579 s	Remaining CPU time: 1798.61 s
1.29/1.40	c core #335
1.29/1.40	c Core size: 3	Core Weight: 1	Total Weight: 335
1.29/1.40	c Elapsed CPU time: 1.39079 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #336
1.39/1.40	c Core size: 3	Core Weight: 1	Total Weight: 336
1.39/1.40	c Elapsed CPU time: 1.39579 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #337
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 337
1.39/1.41	c Elapsed CPU time: 1.40079 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #338
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 338
1.39/1.41	c Elapsed CPU time: 1.40579 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #339
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 339
1.39/1.42	c Elapsed CPU time: 1.41078 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #340
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 340
1.39/1.42	c Elapsed CPU time: 1.41578 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #341
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 341
1.39/1.43	c Elapsed CPU time: 1.42078 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #342
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 342
1.39/1.43	c Elapsed CPU time: 1.42578 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #343
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 343
1.39/1.44	c Elapsed CPU time: 1.43078 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #344
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 344
1.39/1.44	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #345
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 345
1.39/1.45	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #346
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 346
1.39/1.45	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #347
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 347
1.39/1.46	c Elapsed CPU time: 1.45078 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #348
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 348
1.39/1.46	c Elapsed CPU time: 1.45578 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #349
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 349
1.39/1.47	c Elapsed CPU time: 1.46078 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #350
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 350
1.39/1.47	c Elapsed CPU time: 1.46578 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #351
1.39/1.48	c Core size: 3	Core Weight: 1	Total Weight: 351
1.39/1.48	c Elapsed CPU time: 1.47078 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #352
1.39/1.48	c Core size: 3	Core Weight: 1	Total Weight: 352
1.39/1.48	c Elapsed CPU time: 1.47578 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #353
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 353
1.39/1.49	c Elapsed CPU time: 1.48077 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #354
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 354
1.39/1.49	c Elapsed CPU time: 1.48577 s	Remaining CPU time: 1798.51 s
1.50/1.50	c core #355
1.50/1.50	c Core size: 3	Core Weight: 1	Total Weight: 355
1.50/1.50	c Elapsed CPU time: 1.49077 s	Remaining CPU time: 1798.51 s
1.50/1.50	c core #356
1.50/1.50	c Core size: 3	Core Weight: 1	Total Weight: 356
1.50/1.50	c Elapsed CPU time: 1.49577 s	Remaining CPU time: 1798.5 s
1.50/1.51	c core #357
1.50/1.51	c Core size: 3	Core Weight: 1	Total Weight: 357
1.50/1.51	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 1798.5 s
1.50/1.51	c core #358
1.50/1.51	c Core size: 3	Core Weight: 1	Total Weight: 358
1.50/1.51	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.50/1.52	c core #359
1.50/1.52	c Core size: 3	Core Weight: 1	Total Weight: 359
1.50/1.52	c Elapsed CPU time: 1.51077 s	Remaining CPU time: 1798.49 s
1.50/1.52	c core #360
1.50/1.52	c Core size: 3	Core Weight: 1	Total Weight: 360
1.50/1.52	c Elapsed CPU time: 1.51577 s	Remaining CPU time: 1798.48 s
1.50/1.53	c core #361
1.50/1.53	c Core size: 3	Core Weight: 1	Total Weight: 361
1.50/1.53	c Elapsed CPU time: 1.52077 s	Remaining CPU time: 1798.48 s
1.50/1.53	c core #362
1.50/1.53	c Core size: 3	Core Weight: 1	Total Weight: 362
1.50/1.53	c Elapsed CPU time: 1.52577 s	Remaining CPU time: 1798.47 s
1.50/1.54	c core #363
1.50/1.54	c Core size: 3	Core Weight: 1	Total Weight: 363
1.50/1.54	c Elapsed CPU time: 1.53077 s	Remaining CPU time: 1798.47 s
1.50/1.54	c core #364
1.50/1.54	c Core size: 3	Core Weight: 1	Total Weight: 364
1.50/1.54	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.50/1.55	c core #365
1.50/1.55	c Core size: 3	Core Weight: 1	Total Weight: 365
1.50/1.55	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.50/1.55	c core #366
1.50/1.55	c Core size: 3	Core Weight: 1	Total Weight: 366
1.50/1.55	c Elapsed CPU time: 1.54576 s	Remaining CPU time: 1798.45 s
1.50/1.56	c core #367
1.50/1.56	c Core size: 3	Core Weight: 1	Total Weight: 367
1.50/1.56	c Elapsed CPU time: 1.55076 s	Remaining CPU time: 1798.45 s
1.50/1.56	c core #368
1.50/1.56	c Core size: 3	Core Weight: 1	Total Weight: 368
1.50/1.56	c Elapsed CPU time: 1.55576 s	Remaining CPU time: 1798.44 s
1.50/1.57	c core #369
1.50/1.57	c Core size: 3	Core Weight: 1	Total Weight: 369
1.50/1.57	c Elapsed CPU time: 1.55976 s	Remaining CPU time: 1798.44 s
1.50/1.57	c core #370
1.50/1.57	c Core size: 3	Core Weight: 1	Total Weight: 370
1.50/1.57	c Elapsed CPU time: 1.56476 s	Remaining CPU time: 1798.44 s
1.50/1.58	c core #371
1.50/1.58	c Core size: 3	Core Weight: 1	Total Weight: 371
1.50/1.58	c Elapsed CPU time: 1.56976 s	Remaining CPU time: 1798.43 s
1.50/1.58	c core #372
1.50/1.58	c Core size: 3	Core Weight: 1	Total Weight: 372
1.50/1.58	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 1798.42 s
1.50/1.59	c core #373
1.50/1.59	c Core size: 3	Core Weight: 1	Total Weight: 373
1.50/1.59	c Elapsed CPU time: 1.58076 s	Remaining CPU time: 1798.42 s
1.50/1.59	c core #374
1.50/1.59	c Core size: 3	Core Weight: 1	Total Weight: 374
1.50/1.59	c Elapsed CPU time: 1.58576 s	Remaining CPU time: 1798.41 s
1.59/1.60	c core #375
1.59/1.60	c Core size: 3	Core Weight: 1	Total Weight: 375
1.59/1.60	c Elapsed CPU time: 1.59076 s	Remaining CPU time: 1798.41 s
1.59/1.61	c core #376
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 376
1.59/1.61	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #377
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 377
1.59/1.61	c Elapsed CPU time: 1.60176 s	Remaining CPU time: 1798.4 s
1.59/1.62	c core #378
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 378
1.59/1.62	c Elapsed CPU time: 1.60676 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #379
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 379
1.59/1.62	c Elapsed CPU time: 1.61175 s	Remaining CPU time: 1798.39 s
1.59/1.63	c core #380
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 380
1.59/1.63	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #381
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 381
1.59/1.63	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 1798.38 s
1.59/1.64	c core #382
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 382
1.59/1.64	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #383
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 383
1.59/1.64	c Elapsed CPU time: 1.63375 s	Remaining CPU time: 1798.37 s
1.59/1.65	c core #384
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 384
1.59/1.65	c Elapsed CPU time: 1.63875 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #385
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 385
1.59/1.65	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 1798.36 s
1.59/1.66	c core #386
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 386
1.59/1.66	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.59/1.66	c core #387
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 387
1.59/1.66	c Elapsed CPU time: 1.65475 s	Remaining CPU time: 1798.35 s
1.59/1.67	c core #388
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 388
1.59/1.67	c Elapsed CPU time: 1.65975 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #389
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 389
1.59/1.67	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #390
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 390
1.59/1.68	c Elapsed CPU time: 1.67075 s	Remaining CPU time: 1798.33 s
1.59/1.68	c core #391
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 391
1.59/1.68	c Elapsed CPU time: 1.67575 s	Remaining CPU time: 1798.32 s
1.59/1.69	c core #392
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 392
1.59/1.69	c Elapsed CPU time: 1.68074 s	Remaining CPU time: 1798.32 s
1.59/1.70	c core #393
1.59/1.70	c Core size: 3	Core Weight: 1	Total Weight: 393
1.59/1.70	c Elapsed CPU time: 1.68674 s	Remaining CPU time: 1798.31 s
1.69/1.70	c core #394
1.69/1.70	c Core size: 3	Core Weight: 1	Total Weight: 394
1.69/1.70	c Elapsed CPU time: 1.69174 s	Remaining CPU time: 1798.31 s
1.69/1.71	c core #395
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 395
1.69/1.71	c Elapsed CPU time: 1.69674 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #396
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 396
1.69/1.71	c Elapsed CPU time: 1.70274 s	Remaining CPU time: 1798.3 s
1.69/1.72	c core #397
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 397
1.69/1.72	c Elapsed CPU time: 1.70774 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #398
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 398
1.69/1.72	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.69/1.73	c core #399
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 399
1.69/1.73	c Elapsed CPU time: 1.71874 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #400
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 400
1.69/1.73	c Elapsed CPU time: 1.72374 s	Remaining CPU time: 1798.28 s
1.69/1.74	c core #401
1.69/1.74	c Core size: 3	Core Weight: 1	Total Weight: 401
1.69/1.74	c Elapsed CPU time: 1.72774 s	Remaining CPU time: 1798.27 s
1.69/1.74	c core #402
1.69/1.74	c Core size: 3	Core Weight: 1	Total Weight: 402
1.69/1.74	c Elapsed CPU time: 1.73374 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #403
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 403
1.69/1.75	c Elapsed CPU time: 1.73874 s	Remaining CPU time: 1798.26 s
1.69/1.75	c core #404
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 404
1.69/1.75	c Elapsed CPU time: 1.74373 s	Remaining CPU time: 1798.26 s
1.69/1.76	c core #405
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 405
1.69/1.76	c Elapsed CPU time: 1.74973 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #406
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 406
1.69/1.76	c Elapsed CPU time: 1.75473 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #407
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 407
1.69/1.77	c Elapsed CPU time: 1.76073 s	Remaining CPU time: 1798.24 s
1.69/1.78	c core #408
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 408
1.69/1.78	c Elapsed CPU time: 1.76573 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #409
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 409
1.69/1.78	c Elapsed CPU time: 1.77073 s	Remaining CPU time: 1798.23 s
1.69/1.79	c core #410
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 410
1.69/1.79	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.69/1.79	c core #411
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 411
1.69/1.79	c Elapsed CPU time: 1.78173 s	Remaining CPU time: 1798.22 s
1.79/1.80	c core #412
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 412
1.79/1.80	c Elapsed CPU time: 1.78673 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #413
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 413
1.79/1.80	c Elapsed CPU time: 1.79273 s	Remaining CPU time: 1798.21 s
1.79/1.81	c core #414
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 414
1.79/1.81	c Elapsed CPU time: 1.79773 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #415
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 415
1.79/1.81	c Elapsed CPU time: 1.80373 s	Remaining CPU time: 1798.2 s
1.79/1.82	c core #416
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 416
1.79/1.82	c Elapsed CPU time: 1.80872 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #417
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 417
1.79/1.82	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #418
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 418
1.79/1.83	c Elapsed CPU time: 1.81972 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #419
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 419
1.79/1.83	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.79/1.84	c core #420
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 420
1.79/1.84	c Elapsed CPU time: 1.82972 s	Remaining CPU time: 1798.17 s
1.79/1.85	c core #421
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 421
1.79/1.85	c Elapsed CPU time: 1.83572 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #422
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 422
1.79/1.85	c Elapsed CPU time: 1.84072 s	Remaining CPU time: 1798.16 s
1.79/1.86	c core #423
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 423
1.79/1.86	c Elapsed CPU time: 1.84672 s	Remaining CPU time: 1798.15 s
1.79/1.86	c core #424
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 424
1.79/1.86	c Elapsed CPU time: 1.85172 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #425
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 425
1.79/1.87	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #426
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 426
1.79/1.87	c Elapsed CPU time: 1.86272 s	Remaining CPU time: 1798.14 s
1.79/1.88	c core #427
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 427
1.79/1.88	c Elapsed CPU time: 1.86772 s	Remaining CPU time: 1798.13 s
1.79/1.88	c core #428
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 428
1.79/1.88	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #429
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 429
1.79/1.89	c Elapsed CPU time: 1.87871 s	Remaining CPU time: 1798.12 s
1.79/1.89	c core #430
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 430
1.79/1.89	c Elapsed CPU time: 1.88371 s	Remaining CPU time: 1798.12 s
1.89/1.90	c core #431
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 431
1.89/1.90	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 1798.11 s
1.89/1.90	c core #432
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 432
1.89/1.90	c Elapsed CPU time: 1.89471 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #433
1.89/1.91	c Core size: 3	Core Weight: 1	Total Weight: 433
1.89/1.91	c Elapsed CPU time: 1.89971 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #434
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 434
1.89/1.92	c Elapsed CPU time: 1.90571 s	Remaining CPU time: 1798.09 s
1.89/1.92	c core #435
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 435
1.89/1.92	c Elapsed CPU time: 1.91071 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #436
1.89/1.93	c Core size: 3	Core Weight: 1	Total Weight: 436
1.89/1.93	c Elapsed CPU time: 1.91671 s	Remaining CPU time: 1798.08 s
1.89/1.93	c core #437
1.89/1.93	c Core size: 3	Core Weight: 1	Total Weight: 437
1.89/1.93	c Elapsed CPU time: 1.92271 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #438
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 438
1.89/1.94	c Elapsed CPU time: 1.92771 s	Remaining CPU time: 1798.07 s
1.89/1.94	c core #439
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 439
1.89/1.94	c Elapsed CPU time: 1.93371 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #440
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 440
1.89/1.95	c Elapsed CPU time: 1.93871 s	Remaining CPU time: 1798.06 s
1.89/1.95	c core #441
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 441
1.89/1.95	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #442
1.89/1.96	c Core size: 3	Core Weight: 1	Total Weight: 442
1.89/1.96	c Elapsed CPU time: 1.9497 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #443
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 443
1.89/1.97	c Elapsed CPU time: 1.9557 s	Remaining CPU time: 1798.04 s
1.89/1.97	c core #444
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 444
1.89/1.97	c Elapsed CPU time: 1.9597 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #445
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 445
1.89/1.98	c Elapsed CPU time: 1.9657 s	Remaining CPU time: 1798.03 s
1.89/1.98	c core #446
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 446
1.89/1.98	c Elapsed CPU time: 1.9717 s	Remaining CPU time: 1798.03 s
1.89/1.99	c core #447
1.89/1.99	c Core size: 3	Core Weight: 1	Total Weight: 447
1.89/1.99	c Elapsed CPU time: 1.9767 s	Remaining CPU time: 1798.02 s
1.89/1.99	c core #448
1.89/1.99	c Core size: 3	Core Weight: 1	Total Weight: 448
1.89/1.99	c Elapsed CPU time: 1.9827 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #449
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 449
1.99/2.00	c Elapsed CPU time: 1.9877 s	Remaining CPU time: 1798.01 s
1.99/2.00	c core #450
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 450
1.99/2.00	c Elapsed CPU time: 1.9937 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #451
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 451
1.99/2.01	c Elapsed CPU time: 1.9997 s	Remaining CPU time: 1798 s
1.99/2.02	c core #452
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 452
1.99/2.02	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.99/2.02	c core #453
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 453
1.99/2.02	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #454
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 454
1.99/2.03	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.99/2.03	c core #455
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 455
1.99/2.03	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #456
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 456
1.99/2.04	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.99/2.04	c core #457
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 457
1.99/2.04	c Elapsed CPU time: 2.03369 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #458
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 458
1.99/2.05	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #459
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 459
1.99/2.06	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #460
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 460
1.99/2.06	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #461
1.99/2.07	c Core size: 3	Core Weight: 1	Total Weight: 461
1.99/2.07	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 1797.94 s
1.99/2.07	c core #462
1.99/2.07	c Core size: 3	Core Weight: 1	Total Weight: 462
1.99/2.07	c Elapsed CPU time: 2.06169 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #463
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 463
1.99/2.08	c Elapsed CPU time: 2.06768 s	Remaining CPU time: 1797.93 s
1.99/2.08	c core #464
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 464
1.99/2.08	c Elapsed CPU time: 2.07368 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #465
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 465
1.99/2.09	c Elapsed CPU time: 2.07868 s	Remaining CPU time: 1797.92 s
1.99/2.10	c core #466
1.99/2.10	c Core size: 3	Core Weight: 1	Total Weight: 466
1.99/2.10	c Elapsed CPU time: 2.08468 s	Remaining CPU time: 1797.92 s
2.09/2.10	c core #467
2.09/2.10	c Core size: 3	Core Weight: 1	Total Weight: 467
2.09/2.10	c Elapsed CPU time: 2.08968 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #468
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 468
2.09/2.11	c Elapsed CPU time: 2.09568 s	Remaining CPU time: 1797.9 s
2.09/2.11	c core #469
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 469
2.09/2.11	c Elapsed CPU time: 2.10168 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #470
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 470
2.09/2.12	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.09/2.12	c core #471
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 471
2.09/2.12	c Elapsed CPU time: 2.11368 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #472
2.09/2.13	c Core size: 3	Core Weight: 1	Total Weight: 472
2.09/2.13	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #473
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 473
2.09/2.14	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #474
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 474
2.09/2.14	c Elapsed CPU time: 2.13068 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #475
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 475
2.09/2.15	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.09/2.15	c core #476
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 476
2.09/2.15	c Elapsed CPU time: 2.14167 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #477
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 477
2.09/2.16	c Elapsed CPU time: 2.14767 s	Remaining CPU time: 1797.85 s
2.09/2.16	c core #478
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 478
2.09/2.16	c Elapsed CPU time: 2.15367 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #479
2.09/2.17	c Core size: 3	Core Weight: 1	Total Weight: 479
2.09/2.17	c Elapsed CPU time: 2.15867 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #480
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 480
2.09/2.18	c Elapsed CPU time: 2.16467 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #481
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 481
2.09/2.18	c Elapsed CPU time: 2.17067 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #482
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 482
2.09/2.19	c Elapsed CPU time: 2.17567 s	Remaining CPU time: 1797.82 s
2.09/2.19	c core #483
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 483
2.09/2.19	c Elapsed CPU time: 2.18167 s	Remaining CPU time: 1797.82 s
2.09/2.20	c core #484
2.09/2.20	c Core size: 3	Core Weight: 1	Total Weight: 484
2.09/2.20	c Elapsed CPU time: 2.18767 s	Remaining CPU time: 1797.81 s
2.19/2.20	c core #485
2.19/2.20	c Core size: 3	Core Weight: 1	Total Weight: 485
2.19/2.20	c Elapsed CPU time: 2.19367 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #486
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 486
2.19/2.21	c Elapsed CPU time: 2.19867 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #487
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 487
2.19/2.22	c Elapsed CPU time: 2.20466 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #488
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 488
2.19/2.22	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #489
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 489
2.19/2.23	c Elapsed CPU time: 2.21466 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #490
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 490
2.19/2.23	c Elapsed CPU time: 2.22066 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #491
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 491
2.19/2.24	c Elapsed CPU time: 2.22666 s	Remaining CPU time: 1797.77 s
2.19/2.24	c core #492
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 492
2.19/2.24	c Elapsed CPU time: 2.23266 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #493
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 493
2.19/2.25	c Elapsed CPU time: 2.23866 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #494
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 494
2.19/2.26	c Elapsed CPU time: 2.24366 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #495
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 495
2.19/2.26	c Elapsed CPU time: 2.24966 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #496
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 496
2.19/2.27	c Elapsed CPU time: 2.25566 s	Remaining CPU time: 1797.74 s
2.19/2.27	c core #497
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 497
2.19/2.27	c Elapsed CPU time: 2.26166 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #498
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 498
2.19/2.28	c Elapsed CPU time: 2.26765 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #499
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 499
2.19/2.29	c Elapsed CPU time: 2.27365 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #500
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 500
2.19/2.29	c Elapsed CPU time: 2.27865 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #501
2.29/2.30	c Core size: 3	Core Weight: 1	Total Weight: 501
2.29/2.30	c Elapsed CPU time: 2.28465 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #502
2.29/2.30	c Core size: 3	Core Weight: 1	Total Weight: 502
2.29/2.30	c Elapsed CPU time: 2.29065 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #503
2.29/2.31	c Core size: 3	Core Weight: 1	Total Weight: 503
2.29/2.31	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.29/2.31	c core #504
2.29/2.31	c Core size: 3	Core Weight: 1	Total Weight: 504
2.29/2.31	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #505
2.29/2.32	c Core size: 3	Core Weight: 1	Total Weight: 505
2.29/2.32	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #506
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 506
2.29/2.33	c Elapsed CPU time: 2.31365 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #507
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 507
2.29/2.33	c Elapsed CPU time: 2.31965 s	Remaining CPU time: 1797.68 s
2.29/2.34	c core #508
2.29/2.34	c Core size: 3	Core Weight: 1	Total Weight: 508
2.29/2.34	c Elapsed CPU time: 2.32565 s	Remaining CPU time: 1797.67 s
2.29/2.34	c core #509
2.29/2.34	c Core size: 3	Core Weight: 1	Total Weight: 509
2.29/2.34	c Elapsed CPU time: 2.33164 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #510
2.29/2.35	c Core size: 3	Core Weight: 1	Total Weight: 510
2.29/2.35	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #511
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 511
2.29/2.36	c Elapsed CPU time: 2.34364 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #512
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 512
2.29/2.36	c Elapsed CPU time: 2.34964 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #513
2.29/2.37	c Core size: 3	Core Weight: 1	Total Weight: 513
2.29/2.37	c Elapsed CPU time: 2.35464 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #514
2.29/2.37	c Core size: 3	Core Weight: 1	Total Weight: 514
2.29/2.37	c Elapsed CPU time: 2.36064 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #515
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 515
2.29/2.38	c Elapsed CPU time: 2.36664 s	Remaining CPU time: 1797.63 s
2.29/2.38	c core #516
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 516
2.29/2.38	c Elapsed CPU time: 2.37164 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #517
2.29/2.39	c Core size: 3	Core Weight: 1	Total Weight: 517
2.29/2.39	c Elapsed CPU time: 2.37764 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #518
2.39/2.40	c Core size: 3	Core Weight: 1	Total Weight: 518
2.39/2.40	c Elapsed CPU time: 2.38364 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #519
2.39/2.40	c Core size: 3	Core Weight: 1	Total Weight: 519
2.39/2.40	c Elapsed CPU time: 2.38964 s	Remaining CPU time: 1797.61 s
2.39/2.41	c core #520
2.39/2.41	c Core size: 3	Core Weight: 1	Total Weight: 520
2.39/2.41	c Elapsed CPU time: 2.39563 s	Remaining CPU time: 1797.6 s
2.39/2.41	c core #521
2.39/2.41	c Core size: 3	Core Weight: 1	Total Weight: 521
2.39/2.41	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #522
2.39/2.42	c Core size: 3	Core Weight: 1	Total Weight: 522
2.39/2.42	c Elapsed CPU time: 2.40763 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #523
2.39/2.43	c Core size: 3	Core Weight: 1	Total Weight: 523
2.39/2.43	c Elapsed CPU time: 2.41363 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #524
2.39/2.43	c Core size: 3	Core Weight: 1	Total Weight: 524
2.39/2.43	c Elapsed CPU time: 2.41963 s	Remaining CPU time: 1797.58 s
2.39/2.44	c core #525
2.39/2.44	c Core size: 3	Core Weight: 1	Total Weight: 525
2.39/2.44	c Elapsed CPU time: 2.42563 s	Remaining CPU time: 1797.57 s
2.39/2.44	c core #526
2.39/2.44	c Core size: 3	Core Weight: 1	Total Weight: 526
2.39/2.44	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 1797.57 s
2.39/2.45	c core #527
2.39/2.45	c Core size: 3	Core Weight: 1	Total Weight: 527
2.39/2.45	c Elapsed CPU time: 2.43763 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #528
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 528
2.39/2.46	c Elapsed CPU time: 2.44363 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #529
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 529
2.39/2.46	c Elapsed CPU time: 2.44963 s	Remaining CPU time: 1797.55 s
2.39/2.47	c core #530
2.39/2.47	c Core size: 3	Core Weight: 1	Total Weight: 530
2.39/2.47	c Elapsed CPU time: 2.45563 s	Remaining CPU time: 1797.54 s
2.39/2.47	c core #531
2.39/2.47	c Core size: 3	Core Weight: 1	Total Weight: 531
2.39/2.47	c Elapsed CPU time: 2.46163 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #532
2.39/2.48	c Core size: 3	Core Weight: 1	Total Weight: 532
2.39/2.48	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.39/2.49	c core #533
2.39/2.49	c Core size: 3	Core Weight: 1	Total Weight: 533
2.39/2.49	c Elapsed CPU time: 2.47262 s	Remaining CPU time: 1797.53 s
2.39/2.49	c core #534
2.39/2.49	c Core size: 3	Core Weight: 1	Total Weight: 534
2.39/2.49	c Elapsed CPU time: 2.47862 s	Remaining CPU time: 1797.52 s
2.49/2.50	c core #535
2.49/2.50	c Core size: 3	Core Weight: 1	Total Weight: 535
2.49/2.50	c Elapsed CPU time: 2.48462 s	Remaining CPU time: 1797.52 s
2.49/2.50	c core #536
2.49/2.50	c Core size: 3	Core Weight: 1	Total Weight: 536
2.49/2.50	c Elapsed CPU time: 2.49062 s	Remaining CPU time: 1797.51 s
2.49/2.51	c core #537
2.49/2.51	c Core size: 3	Core Weight: 1	Total Weight: 537
2.49/2.51	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #538
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 538
2.49/2.52	c Elapsed CPU time: 2.50262 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #539
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 539
2.49/2.52	c Elapsed CPU time: 2.50862 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #540
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 540
2.49/2.53	c Elapsed CPU time: 2.51462 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #541
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 541
2.49/2.53	c Elapsed CPU time: 2.52062 s	Remaining CPU time: 1797.48 s
2.49/2.54	c core #542
2.49/2.54	c Core size: 3	Core Weight: 1	Total Weight: 542
2.49/2.54	c Elapsed CPU time: 2.52662 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #543
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 543
2.49/2.55	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #544
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 544
2.49/2.55	c Elapsed CPU time: 2.53961 s	Remaining CPU time: 1797.46 s
2.49/2.56	c core #545
2.49/2.56	c Core size: 3	Core Weight: 1	Total Weight: 545
2.49/2.56	c Elapsed CPU time: 2.54561 s	Remaining CPU time: 1797.45 s
2.49/2.57	c core #546
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 546
2.49/2.57	c Elapsed CPU time: 2.55161 s	Remaining CPU time: 1797.45 s
2.49/2.57	c core #547
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 547
2.49/2.57	c Elapsed CPU time: 2.55761 s	Remaining CPU time: 1797.44 s
2.49/2.58	c core #548
2.49/2.58	c Core size: 3	Core Weight: 1	Total Weight: 548
2.49/2.58	c Elapsed CPU time: 2.56361 s	Remaining CPU time: 1797.44 s
2.49/2.58	c core #549
2.49/2.58	c Core size: 3	Core Weight: 1	Total Weight: 549
2.49/2.58	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 1797.43 s
2.49/2.59	c core #550
2.49/2.59	c Core size: 3	Core Weight: 1	Total Weight: 550
2.49/2.59	c Elapsed CPU time: 2.57561 s	Remaining CPU time: 1797.42 s
2.49/2.60	c core #551
2.49/2.60	c Core size: 3	Core Weight: 1	Total Weight: 551
2.49/2.60	c Elapsed CPU time: 2.58261 s	Remaining CPU time: 1797.42 s
2.59/2.60	c core #552
2.59/2.60	c Core size: 3	Core Weight: 1	Total Weight: 552
2.59/2.60	c Elapsed CPU time: 2.58861 s	Remaining CPU time: 1797.41 s
2.59/2.61	c core #553
2.59/2.61	c Core size: 3	Core Weight: 1	Total Weight: 553
2.59/2.61	c Elapsed CPU time: 2.59461 s	Remaining CPU time: 1797.41 s
2.59/2.61	c core #554
2.59/2.61	c Core size: 3	Core Weight: 1	Total Weight: 554
2.59/2.61	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #555
2.59/2.62	c Core size: 3	Core Weight: 1	Total Weight: 555
2.59/2.62	c Elapsed CPU time: 2.6066 s	Remaining CPU time: 1797.39 s
2.59/2.63	c core #556
2.59/2.63	c Core size: 3	Core Weight: 1	Total Weight: 556
2.59/2.63	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 1797.39 s
2.59/2.63	c core #557
2.59/2.63	c Core size: 3	Core Weight: 1	Total Weight: 557
2.59/2.63	c Elapsed CPU time: 2.6186 s	Remaining CPU time: 1797.38 s
2.59/2.64	c core #558
2.59/2.64	c Core size: 3	Core Weight: 1	Total Weight: 558
2.59/2.64	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 1797.38 s
2.59/2.64	c core #559
2.59/2.64	c Core size: 3	Core Weight: 1	Total Weight: 559
2.59/2.64	c Elapsed CPU time: 2.6306 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #560
2.59/2.65	c Core size: 3	Core Weight: 1	Total Weight: 560
2.59/2.65	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.59/2.66	c core #561
2.59/2.66	c Core size: 3	Core Weight: 1	Total Weight: 561
2.59/2.66	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.59/2.66	c core #562
2.59/2.66	c Core size: 3	Core Weight: 1	Total Weight: 562
2.59/2.66	c Elapsed CPU time: 2.6496 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #563
2.59/2.67	c Core size: 3	Core Weight: 1	Total Weight: 563
2.59/2.67	c Elapsed CPU time: 2.6556 s	Remaining CPU time: 1797.34 s
2.59/2.68	c core #564
2.59/2.68	c Core size: 3	Core Weight: 1	Total Weight: 564
2.59/2.68	c Elapsed CPU time: 2.6616 s	Remaining CPU time: 1797.34 s
2.59/2.68	c core #565
2.59/2.68	c Core size: 3	Core Weight: 1	Total Weight: 565
2.59/2.68	c Elapsed CPU time: 2.66759 s	Remaining CPU time: 1797.33 s
2.59/2.69	c core #566
2.59/2.69	c Core size: 3	Core Weight: 1	Total Weight: 566
2.59/2.69	c Elapsed CPU time: 2.67359 s	Remaining CPU time: 1797.33 s
2.59/2.69	c core #567
2.59/2.69	c Core size: 3	Core Weight: 1	Total Weight: 567
2.59/2.69	c Elapsed CPU time: 2.67959 s	Remaining CPU time: 1797.32 s
2.69/2.70	c core #568
2.69/2.70	c Core size: 3	Core Weight: 1	Total Weight: 568
2.69/2.70	c Elapsed CPU time: 2.68559 s	Remaining CPU time: 1797.31 s
2.69/2.71	c core #569
2.69/2.71	c Core size: 3	Core Weight: 1	Total Weight: 569
2.69/2.71	c Elapsed CPU time: 2.69259 s	Remaining CPU time: 1797.31 s
2.69/2.71	c core #570
2.69/2.71	c Core size: 3	Core Weight: 1	Total Weight: 570
2.69/2.71	c Elapsed CPU time: 2.69859 s	Remaining CPU time: 1797.3 s
2.69/2.72	c core #571
2.69/2.72	c Core size: 3	Core Weight: 1	Total Weight: 571
2.69/2.72	c Elapsed CPU time: 2.70459 s	Remaining CPU time: 1797.3 s
2.69/2.73	c core #572
2.69/2.73	c Core size: 3	Core Weight: 1	Total Weight: 572
2.69/2.73	c Elapsed CPU time: 2.71059 s	Remaining CPU time: 1797.29 s
2.69/2.73	c core #573
2.69/2.73	c Core size: 3	Core Weight: 1	Total Weight: 573
2.69/2.73	c Elapsed CPU time: 2.71659 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #574
2.69/2.74	c Core size: 3	Core Weight: 1	Total Weight: 574
2.69/2.74	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #575
2.69/2.74	c Core size: 3	Core Weight: 1	Total Weight: 575
2.69/2.74	c Elapsed CPU time: 2.72858 s	Remaining CPU time: 1797.27 s
2.69/2.75	c core #576
2.69/2.75	c Core size: 3	Core Weight: 1	Total Weight: 576
2.69/2.75	c Elapsed CPU time: 2.73558 s	Remaining CPU time: 1797.26 s
2.69/2.76	c core #577
2.69/2.76	c Core size: 3	Core Weight: 1	Total Weight: 577
2.69/2.76	c Elapsed CPU time: 2.74158 s	Remaining CPU time: 1797.26 s
2.69/2.76	c core #578
2.69/2.76	c Core size: 3	Core Weight: 1	Total Weight: 578
2.69/2.76	c Elapsed CPU time: 2.74758 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #579
2.69/2.77	c Core size: 3	Core Weight: 1	Total Weight: 579
2.69/2.77	c Elapsed CPU time: 2.75358 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #580
2.69/2.77	c Core size: 3	Core Weight: 1	Total Weight: 580
2.69/2.77	c Elapsed CPU time: 2.75958 s	Remaining CPU time: 1797.24 s
2.69/2.78	c core #581
2.69/2.78	c Core size: 3	Core Weight: 1	Total Weight: 581
2.69/2.78	c Elapsed CPU time: 2.76558 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #582
2.69/2.79	c Core size: 3	Core Weight: 1	Total Weight: 582
2.69/2.79	c Elapsed CPU time: 2.77258 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #583
2.69/2.79	c Core size: 3	Core Weight: 1	Total Weight: 583
2.69/2.79	c Elapsed CPU time: 2.77858 s	Remaining CPU time: 1797.22 s
2.79/2.80	c core #584
2.79/2.80	c Core size: 3	Core Weight: 1	Total Weight: 584
2.79/2.80	c Elapsed CPU time: 2.78458 s	Remaining CPU time: 1797.22 s
2.79/2.81	c core #585
2.79/2.81	c Core size: 3	Core Weight: 1	Total Weight: 585
2.79/2.81	c Elapsed CPU time: 2.79058 s	Remaining CPU time: 1797.21 s
2.79/2.81	c core #586
2.79/2.81	c Core size: 3	Core Weight: 1	Total Weight: 586
2.79/2.81	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #587
2.79/2.82	c Core size: 3	Core Weight: 1	Total Weight: 587
2.79/2.82	c Elapsed CPU time: 2.80257 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #588
2.79/2.82	c Core size: 3	Core Weight: 1	Total Weight: 588
2.79/2.82	c Elapsed CPU time: 2.80857 s	Remaining CPU time: 1797.19 s
2.79/2.83	c core #589
2.79/2.83	c Core size: 3	Core Weight: 1	Total Weight: 589
2.79/2.83	c Elapsed CPU time: 2.81557 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #590
2.79/2.84	c Core size: 3	Core Weight: 1	Total Weight: 590
2.79/2.84	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #591
2.79/2.84	c Core size: 3	Core Weight: 1	Total Weight: 591
2.79/2.84	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.79/2.85	c core #592
2.79/2.85	c Core size: 3	Core Weight: 1	Total Weight: 592
2.79/2.85	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.79/2.86	c core #593
2.79/2.86	c Core size: 3	Core Weight: 1	Total Weight: 593
2.79/2.86	c Elapsed CPU time: 2.84057 s	Remaining CPU time: 1797.16 s
2.79/2.86	c core #594
2.79/2.86	c Core size: 3	Core Weight: 1	Total Weight: 594
2.79/2.86	c Elapsed CPU time: 2.84757 s	Remaining CPU time: 1797.15 s
2.79/2.87	c core #595
2.79/2.87	c Core size: 3	Core Weight: 1	Total Weight: 595
2.79/2.87	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 1797.15 s
2.79/2.87	c core #596
2.79/2.87	c Core size: 3	Core Weight: 1	Total Weight: 596
2.79/2.87	c Elapsed CPU time: 2.85956 s	Remaining CPU time: 1797.14 s
2.79/2.88	c core #597
2.79/2.88	c Core size: 3	Core Weight: 1	Total Weight: 597
2.79/2.88	c Elapsed CPU time: 2.86656 s	Remaining CPU time: 1797.13 s
2.79/2.89	c core #598
2.79/2.89	c Core size: 3	Core Weight: 1	Total Weight: 598
2.79/2.89	c Elapsed CPU time: 2.87256 s	Remaining CPU time: 1797.13 s
2.79/2.89	c core #599
2.79/2.89	c Core size: 3	Core Weight: 1	Total Weight: 599
2.79/2.89	c Elapsed CPU time: 2.87956 s	Remaining CPU time: 1797.12 s
2.89/2.90	c core #600
2.89/2.90	c Core size: 3	Core Weight: 1	Total Weight: 600
2.89/2.90	c Elapsed CPU time: 2.88556 s	Remaining CPU time: 1797.11 s
2.89/2.91	c core #601
2.89/2.91	c Core size: 3	Core Weight: 1	Total Weight: 601
2.89/2.91	c Elapsed CPU time: 2.89156 s	Remaining CPU time: 1797.11 s
2.89/2.91	c core #602
2.89/2.91	c Core size: 3	Core Weight: 1	Total Weight: 602
2.89/2.91	c Elapsed CPU time: 2.89756 s	Remaining CPU time: 1797.1 s
2.89/2.92	c core #603
2.89/2.92	c Core size: 3	Core Weight: 1	Total Weight: 603
2.89/2.92	c Elapsed CPU time: 2.90456 s	Remaining CPU time: 1797.1 s
2.89/2.93	c core #604
2.89/2.93	c Core size: 3	Core Weight: 1	Total Weight: 604
2.89/2.93	c Elapsed CPU time: 2.91056 s	Remaining CPU time: 1797.09 s
2.89/2.93	c core #605
2.89/2.93	c Core size: 3	Core Weight: 1	Total Weight: 605
2.89/2.93	c Elapsed CPU time: 2.91656 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #606
2.89/2.94	c Core size: 3	Core Weight: 1	Total Weight: 606
2.89/2.94	c Elapsed CPU time: 2.92355 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #607
2.89/2.94	c Core size: 3	Core Weight: 1	Total Weight: 607
2.89/2.94	c Elapsed CPU time: 2.92955 s	Remaining CPU time: 1797.07 s
2.89/2.95	c core #608
2.89/2.95	c Core size: 3	Core Weight: 1	Total Weight: 608
2.89/2.95	c Elapsed CPU time: 2.93655 s	Remaining CPU time: 1797.06 s
2.89/2.96	c core #609
2.89/2.96	c Core size: 3	Core Weight: 1	Total Weight: 609
2.89/2.96	c Elapsed CPU time: 2.94255 s	Remaining CPU time: 1797.06 s
2.89/2.96	c core #610
2.89/2.96	c Core size: 3	Core Weight: 1	Total Weight: 610
2.89/2.96	c Elapsed CPU time: 2.94855 s	Remaining CPU time: 1797.05 s
2.89/2.97	c core #611
2.89/2.97	c Core size: 3	Core Weight: 1	Total Weight: 611
2.89/2.97	c Elapsed CPU time: 2.95455 s	Remaining CPU time: 1797.05 s
2.89/2.98	c core #612
2.89/2.98	c Core size: 3	Core Weight: 1	Total Weight: 612
2.89/2.98	c Elapsed CPU time: 2.96155 s	Remaining CPU time: 1797.04 s
2.89/2.98	c core #613
2.89/2.98	c Core size: 3	Core Weight: 1	Total Weight: 613
2.89/2.98	c Elapsed CPU time: 2.96755 s	Remaining CPU time: 1797.03 s
2.89/2.99	c core #614
2.89/2.99	c Core size: 3	Core Weight: 1	Total Weight: 614
2.89/2.99	c Elapsed CPU time: 2.97455 s	Remaining CPU time: 1797.03 s
2.89/3.00	c core #615
2.89/3.00	c Core size: 3	Core Weight: 1	Total Weight: 615
2.89/3.00	c Elapsed CPU time: 2.98055 s	Remaining CPU time: 1797.02 s
2.99/3.00	c core #616
2.99/3.00	c Core size: 3	Core Weight: 1	Total Weight: 616
2.99/3.00	c Elapsed CPU time: 2.98754 s	Remaining CPU time: 1797.01 s
2.99/3.01	c core #617
2.99/3.01	c Core size: 3	Core Weight: 1	Total Weight: 617
2.99/3.01	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 1797.01 s
2.99/3.02	c core #618
2.99/3.02	c Core size: 3	Core Weight: 1	Total Weight: 618
2.99/3.02	c Elapsed CPU time: 3.00054 s	Remaining CPU time: 1797 s
2.99/3.02	c core #619
2.99/3.02	c Core size: 3	Core Weight: 1	Total Weight: 619
2.99/3.02	c Elapsed CPU time: 3.00654 s	Remaining CPU time: 1796.99 s
2.99/3.03	c core #620
2.99/3.03	c Core size: 3	Core Weight: 1	Total Weight: 620
2.99/3.03	c Elapsed CPU time: 3.01254 s	Remaining CPU time: 1796.99 s
2.99/3.04	c core #621
2.99/3.04	c Core size: 3	Core Weight: 1	Total Weight: 621
2.99/3.04	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.99/3.04	c core #622
2.99/3.04	c Core size: 3	Core Weight: 1	Total Weight: 622
2.99/3.04	c Elapsed CPU time: 3.02554 s	Remaining CPU time: 1796.97 s
2.99/3.05	c core #623
2.99/3.05	c Core size: 3	Core Weight: 1	Total Weight: 623
2.99/3.05	c Elapsed CPU time: 3.03254 s	Remaining CPU time: 1796.97 s
2.99/3.05	c core #624
2.99/3.05	c Core size: 3	Core Weight: 1	Total Weight: 624
2.99/3.05	c Elapsed CPU time: 3.03854 s	Remaining CPU time: 1796.96 s
2.99/3.06	c core #625
2.99/3.06	c Core size: 3	Core Weight: 1	Total Weight: 625
2.99/3.06	c Elapsed CPU time: 3.04554 s	Remaining CPU time: 1796.95 s
2.99/3.07	c core #626
2.99/3.07	c Core size: 3	Core Weight: 1	Total Weight: 626
2.99/3.07	c Elapsed CPU time: 3.05253 s	Remaining CPU time: 1796.95 s
2.99/3.07	c core #627
2.99/3.07	c Core size: 3	Core Weight: 1	Total Weight: 627
2.99/3.07	c Elapsed CPU time: 3.05854 s	Remaining CPU time: 1796.94 s
2.99/3.08	c core #628
2.99/3.08	c Core size: 3	Core Weight: 1	Total Weight: 628
2.99/3.08	c Elapsed CPU time: 3.06553 s	Remaining CPU time: 1796.93 s
2.99/3.09	c core #629
2.99/3.09	c Core size: 3	Core Weight: 1	Total Weight: 629
2.99/3.09	c Elapsed CPU time: 3.07153 s	Remaining CPU time: 1796.93 s
2.99/3.09	c core #630
2.99/3.09	c Core size: 3	Core Weight: 1	Total Weight: 630
2.99/3.09	c Elapsed CPU time: 3.07853 s	Remaining CPU time: 1796.92 s
3.09/3.10	c core #631
3.09/3.10	c Core size: 3	Core Weight: 1	Total Weight: 631
3.09/3.10	c Elapsed CPU time: 3.08453 s	Remaining CPU time: 1796.92 s
3.09/3.11	c core #632
3.09/3.11	c Core size: 3	Core Weight: 1	Total Weight: 632
3.09/3.11	c Elapsed CPU time: 3.09153 s	Remaining CPU time: 1796.91 s
3.09/3.11	c core #633
3.09/3.11	c Core size: 3	Core Weight: 1	Total Weight: 633
3.09/3.11	c Elapsed CPU time: 3.09753 s	Remaining CPU time: 1796.9 s
3.09/3.12	c core #634
3.09/3.12	c Core size: 3	Core Weight: 1	Total Weight: 634
3.09/3.12	c Elapsed CPU time: 3.10453 s	Remaining CPU time: 1796.9 s
3.09/3.13	c core #635
3.09/3.13	c Core size: 3	Core Weight: 1	Total Weight: 635
3.09/3.13	c Elapsed CPU time: 3.11153 s	Remaining CPU time: 1796.89 s
3.09/3.13	c core #636
3.09/3.13	c Core size: 3	Core Weight: 1	Total Weight: 636
3.09/3.13	c Elapsed CPU time: 3.11852 s	Remaining CPU time: 1796.88 s
3.09/3.14	c core #637
3.09/3.14	c Core size: 3	Core Weight: 1	Total Weight: 637
3.09/3.14	c Elapsed CPU time: 3.12453 s	Remaining CPU time: 1796.88 s
3.09/3.15	c core #638
3.09/3.15	c Core size: 3	Core Weight: 1	Total Weight: 638
3.09/3.15	c Elapsed CPU time: 3.13152 s	Remaining CPU time: 1796.87 s
3.09/3.15	c core #639
3.09/3.15	c Core size: 3	Core Weight: 1	Total Weight: 639
3.09/3.15	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.09/3.16	c core #640
3.09/3.16	c Core size: 3	Core Weight: 1	Total Weight: 640
3.09/3.16	c Elapsed CPU time: 3.14452 s	Remaining CPU time: 1796.86 s
3.09/3.17	c core #641
3.09/3.17	c Core size: 3	Core Weight: 1	Total Weight: 641
3.09/3.17	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.09/3.17	c core #642
3.09/3.17	c Core size: 3	Core Weight: 1	Total Weight: 642
3.09/3.17	c Elapsed CPU time: 3.15852 s	Remaining CPU time: 1796.84 s
3.09/3.18	c core #643
3.09/3.18	c Core size: 3	Core Weight: 1	Total Weight: 643
3.09/3.18	c Elapsed CPU time: 3.16452 s	Remaining CPU time: 1796.84 s
3.09/3.19	c core #644
3.09/3.19	c Core size: 3	Core Weight: 1	Total Weight: 644
3.09/3.19	c Elapsed CPU time: 3.17152 s	Remaining CPU time: 1796.83 s
3.09/3.19	c core #645
3.09/3.19	c Core size: 3	Core Weight: 1	Total Weight: 645
3.09/3.19	c Elapsed CPU time: 3.17852 s	Remaining CPU time: 1796.82 s
3.19/3.20	c core #646
3.19/3.20	c Core size: 3	Core Weight: 1	Total Weight: 646
3.19/3.20	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 1796.82 s
3.19/3.21	c core #647
3.19/3.21	c Core size: 3	Core Weight: 1	Total Weight: 647
3.19/3.21	c Elapsed CPU time: 3.19151 s	Remaining CPU time: 1796.81 s
3.19/3.21	c core #648
3.19/3.21	c Core size: 3	Core Weight: 1	Total Weight: 648
3.19/3.21	c Elapsed CPU time: 3.19851 s	Remaining CPU time: 1796.8 s
3.19/3.22	c core #649
3.19/3.22	c Core size: 3	Core Weight: 1	Total Weight: 649
3.19/3.22	c Elapsed CPU time: 3.20451 s	Remaining CPU time: 1796.8 s
3.19/3.23	c core #650
3.19/3.23	c Core size: 3	Core Weight: 1	Total Weight: 650
3.19/3.23	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 1796.79 s
3.19/3.23	c core #651
3.19/3.23	c Core size: 3	Core Weight: 1	Total Weight: 651
3.19/3.23	c Elapsed CPU time: 3.21751 s	Remaining CPU time: 1796.78 s
3.19/3.24	c core #652
3.19/3.24	c Core size: 3	Core Weight: 1	Total Weight: 652
3.19/3.24	c Elapsed CPU time: 3.22451 s	Remaining CPU time: 1796.78 s
3.19/3.25	c core #653
3.19/3.25	c Core size: 3	Core Weight: 1	Total Weight: 653
3.19/3.25	c Elapsed CPU time: 3.23151 s	Remaining CPU time: 1796.77 s
3.19/3.26	c core #654
3.19/3.26	c Core size: 3	Core Weight: 1	Total Weight: 654
3.19/3.26	c Elapsed CPU time: 3.23751 s	Remaining CPU time: 1796.76 s
3.19/3.26	c core #655
3.19/3.26	c Core size: 3	Core Weight: 1	Total Weight: 655
3.19/3.26	c Elapsed CPU time: 3.24451 s	Remaining CPU time: 1796.76 s
3.19/3.27	c core #656
3.19/3.27	c Core size: 3	Core Weight: 1	Total Weight: 656
3.19/3.27	c Elapsed CPU time: 3.2515 s	Remaining CPU time: 1796.75 s
3.19/3.28	c core #657
3.19/3.28	c Core size: 3	Core Weight: 1	Total Weight: 657
3.19/3.28	c Elapsed CPU time: 3.2575 s	Remaining CPU time: 1796.74 s
3.19/3.28	c core #658
3.19/3.28	c Core size: 3	Core Weight: 1	Total Weight: 658
3.19/3.28	c Elapsed CPU time: 3.2645 s	Remaining CPU time: 1796.74 s
3.19/3.29	c core #659
3.19/3.29	c Core size: 3	Core Weight: 1	Total Weight: 659
3.19/3.29	c Elapsed CPU time: 3.2715 s	Remaining CPU time: 1796.73 s
3.19/3.30	c core #660
3.19/3.30	c Core size: 3	Core Weight: 1	Total Weight: 660
3.19/3.30	c Elapsed CPU time: 3.2775 s	Remaining CPU time: 1796.72 s
3.29/3.30	c core #661
3.29/3.30	c Core size: 3	Core Weight: 1	Total Weight: 661
3.29/3.30	c Elapsed CPU time: 3.2845 s	Remaining CPU time: 1796.72 s
3.29/3.31	c core #662
3.29/3.31	c Core size: 3	Core Weight: 1	Total Weight: 662
3.29/3.31	c Elapsed CPU time: 3.2915 s	Remaining CPU time: 1796.71 s
3.29/3.32	c core #663
3.29/3.32	c Core size: 3	Core Weight: 1	Total Weight: 663
3.29/3.32	c Elapsed CPU time: 3.2985 s	Remaining CPU time: 1796.7 s
3.29/3.32	c core #664
3.29/3.32	c Core size: 3	Core Weight: 1	Total Weight: 664
3.29/3.32	c Elapsed CPU time: 3.3055 s	Remaining CPU time: 1796.69 s
3.29/3.33	c core #665
3.29/3.33	c Core size: 3	Core Weight: 1	Total Weight: 665
3.29/3.33	c Elapsed CPU time: 3.3115 s	Remaining CPU time: 1796.69 s
3.29/3.34	c core #666
3.29/3.34	c Core size: 3	Core Weight: 1	Total Weight: 666
3.29/3.34	c Elapsed CPU time: 3.3175 s	Remaining CPU time: 1796.68 s
3.29/3.34	c core #667
3.29/3.34	c Core size: 3	Core Weight: 1	Total Weight: 667
3.29/3.34	c Elapsed CPU time: 3.32449 s	Remaining CPU time: 1796.68 s
3.29/3.35	c core #668
3.29/3.35	c Core size: 3	Core Weight: 1	Total Weight: 668
3.29/3.35	c Elapsed CPU time: 3.33149 s	Remaining CPU time: 1796.67 s
3.29/3.36	c core #669
3.29/3.36	c Core size: 3	Core Weight: 1	Total Weight: 669
3.29/3.36	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.29/3.36	c core #670
3.29/3.36	c Core size: 3	Core Weight: 1	Total Weight: 670
3.29/3.36	c Elapsed CPU time: 3.34449 s	Remaining CPU time: 1796.66 s
3.29/3.37	c core #671
3.29/3.37	c Core size: 3	Core Weight: 1	Total Weight: 671
3.29/3.37	c Elapsed CPU time: 3.35149 s	Remaining CPU time: 1796.65 s
3.29/3.38	c core #672
3.29/3.38	c Core size: 3	Core Weight: 1	Total Weight: 672
3.29/3.38	c Elapsed CPU time: 3.35849 s	Remaining CPU time: 1796.64 s
3.29/3.38	c core #673
3.29/3.38	c Core size: 3	Core Weight: 1	Total Weight: 673
3.29/3.38	c Elapsed CPU time: 3.36449 s	Remaining CPU time: 1796.64 s
3.29/3.39	c core #674
3.29/3.39	c Core size: 3	Core Weight: 1	Total Weight: 674
3.29/3.39	c Elapsed CPU time: 3.37149 s	Remaining CPU time: 1796.63 s
3.39/3.40	c core #675
3.39/3.40	c Core size: 3	Core Weight: 1	Total Weight: 675
3.39/3.40	c Elapsed CPU time: 3.37849 s	Remaining CPU time: 1796.62 s
3.39/3.40	c core #676
3.39/3.40	c Core size: 3	Core Weight: 1	Total Weight: 676
3.39/3.40	c Elapsed CPU time: 3.38549 s	Remaining CPU time: 1796.61 s
3.39/3.41	c core #677
3.39/3.41	c Core size: 3	Core Weight: 1	Total Weight: 677
3.39/3.41	c Elapsed CPU time: 3.39148 s	Remaining CPU time: 1796.61 s
3.39/3.42	c core #678
3.39/3.42	c Core size: 3	Core Weight: 1	Total Weight: 678
3.39/3.42	c Elapsed CPU time: 3.39748 s	Remaining CPU time: 1796.6 s
3.39/3.42	c core #679
3.39/3.42	c Core size: 3	Core Weight: 1	Total Weight: 679
3.39/3.42	c Elapsed CPU time: 3.40448 s	Remaining CPU time: 1796.6 s
3.39/3.43	c core #680
3.39/3.43	c Core size: 3	Core Weight: 1	Total Weight: 680
3.39/3.43	c Elapsed CPU time: 3.41148 s	Remaining CPU time: 1796.59 s
3.39/3.44	c core #681
3.39/3.44	c Core size: 3	Core Weight: 1	Total Weight: 681
3.39/3.44	c Elapsed CPU time: 3.41848 s	Remaining CPU time: 1796.58 s
3.39/3.44	c core #682
3.39/3.44	c Core size: 3	Core Weight: 1	Total Weight: 682
3.39/3.44	c Elapsed CPU time: 3.42548 s	Remaining CPU time: 1796.57 s
3.39/3.45	c core #683
3.39/3.45	c Core size: 3	Core Weight: 1	Total Weight: 683
3.39/3.45	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 1796.57 s
3.39/3.46	c core #684
3.39/3.46	c Core size: 3	Core Weight: 1	Total Weight: 684
3.39/3.46	c Elapsed CPU time: 3.43948 s	Remaining CPU time: 1796.56 s
3.39/3.47	c core #685
3.39/3.47	c Core size: 3	Core Weight: 1	Total Weight: 685
3.39/3.47	c Elapsed CPU time: 3.44648 s	Remaining CPU time: 1796.55 s
3.39/3.47	c core #686
3.39/3.47	c Core size: 3	Core Weight: 1	Total Weight: 686
3.39/3.47	c Elapsed CPU time: 3.45347 s	Remaining CPU time: 1796.55 s
3.39/3.48	c core #687
3.39/3.48	c Core size: 3	Core Weight: 1	Total Weight: 687
3.39/3.48	c Elapsed CPU time: 3.46047 s	Remaining CPU time: 1796.54 s
3.39/3.49	c core #688
3.39/3.49	c Core size: 3	Core Weight: 1	Total Weight: 688
3.39/3.49	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.39/3.49	c core #689
3.39/3.49	c Core size: 3	Core Weight: 1	Total Weight: 689
3.39/3.49	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.49/3.50	c core #690
3.49/3.50	c Core size: 3	Core Weight: 1	Total Weight: 690
3.49/3.50	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 1796.52 s
3.49/3.51	c core #691
3.49/3.51	c Core size: 3	Core Weight: 1	Total Weight: 691
3.49/3.51	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 1796.51 s
3.49/3.51	c core #692
3.49/3.51	c Core size: 3	Core Weight: 1	Total Weight: 692
3.49/3.51	c Elapsed CPU time: 3.49547 s	Remaining CPU time: 1796.5 s
3.49/3.52	c core #693
3.49/3.52	c Core size: 3	Core Weight: 1	Total Weight: 693
3.49/3.52	c Elapsed CPU time: 3.50247 s	Remaining CPU time: 1796.5 s
3.49/3.53	c core #694
3.49/3.53	c Core size: 3	Core Weight: 1	Total Weight: 694
3.49/3.53	c Elapsed CPU time: 3.50947 s	Remaining CPU time: 1796.49 s
3.49/3.54	c core #695
3.49/3.54	c Core size: 3	Core Weight: 1	Total Weight: 695
3.49/3.54	c Elapsed CPU time: 3.51546 s	Remaining CPU time: 1796.48 s
3.49/3.54	c core #696
3.49/3.54	c Core size: 3	Core Weight: 1	Total Weight: 696
3.49/3.54	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.49/3.55	c core #697
3.49/3.55	c Core size: 3	Core Weight: 1	Total Weight: 697
3.49/3.55	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 1796.47 s
3.49/3.56	c core #698
3.49/3.56	c Core size: 3	Core Weight: 1	Total Weight: 698
3.49/3.56	c Elapsed CPU time: 3.53646 s	Remaining CPU time: 1796.46 s
3.49/3.56	c core #699
3.49/3.56	c Core size: 3	Core Weight: 1	Total Weight: 699
3.49/3.56	c Elapsed CPU time: 3.54346 s	Remaining CPU time: 1796.46 s
3.49/3.57	c core #700
3.49/3.57	c Core size: 3	Core Weight: 1	Total Weight: 700
3.49/3.57	c Elapsed CPU time: 3.55046 s	Remaining CPU time: 1796.45 s
3.49/3.58	c core #701
3.49/3.58	c Core size: 3	Core Weight: 1	Total Weight: 701
3.49/3.58	c Elapsed CPU time: 3.55746 s	Remaining CPU time: 1796.44 s
3.49/3.58	c core #702
3.49/3.58	c Core size: 3	Core Weight: 1	Total Weight: 702
3.49/3.58	c Elapsed CPU time: 3.56446 s	Remaining CPU time: 1796.44 s
3.49/3.59	c core #703
3.49/3.59	c Core size: 3	Core Weight: 1	Total Weight: 703
3.49/3.59	c Elapsed CPU time: 3.57146 s	Remaining CPU time: 1796.43 s
3.59/3.60	c core #704
3.59/3.60	c Core size: 3	Core Weight: 1	Total Weight: 704
3.59/3.60	c Elapsed CPU time: 3.57845 s	Remaining CPU time: 1796.42 s
3.59/3.61	c core #705
3.59/3.61	c Core size: 3	Core Weight: 1	Total Weight: 705
3.59/3.61	c Elapsed CPU time: 3.58545 s	Remaining CPU time: 1796.41 s
3.59/3.61	c core #706
3.59/3.61	c Core size: 3	Core Weight: 1	Total Weight: 706
3.59/3.61	c Elapsed CPU time: 3.59245 s	Remaining CPU time: 1796.41 s
3.59/3.62	c core #707
3.59/3.62	c Core size: 3	Core Weight: 1	Total Weight: 707
3.59/3.62	c Elapsed CPU time: 3.59945 s	Remaining CPU time: 1796.4 s
3.59/3.63	c core #708
3.59/3.63	c Core size: 3	Core Weight: 1	Total Weight: 708
3.59/3.63	c Elapsed CPU time: 3.60645 s	Remaining CPU time: 1796.39 s
3.59/3.63	c core #709
3.59/3.63	c Core size: 3	Core Weight: 1	Total Weight: 709
3.59/3.63	c Elapsed CPU time: 3.61345 s	Remaining CPU time: 1796.39 s
3.59/3.64	c core #710
3.59/3.64	c Core size: 3	Core Weight: 1	Total Weight: 710
3.59/3.64	c Elapsed CPU time: 3.62045 s	Remaining CPU time: 1796.38 s
3.59/3.65	c core #711
3.59/3.65	c Core size: 3	Core Weight: 1	Total Weight: 711
3.59/3.65	c Elapsed CPU time: 3.62745 s	Remaining CPU time: 1796.37 s
3.59/3.65	c core #712
3.59/3.65	c Core size: 3	Core Weight: 1	Total Weight: 712
3.59/3.65	c Elapsed CPU time: 3.63445 s	Remaining CPU time: 1796.37 s
3.59/3.66	c core #713
3.59/3.66	c Core size: 3	Core Weight: 1	Total Weight: 713
3.59/3.66	c Elapsed CPU time: 3.64145 s	Remaining CPU time: 1796.36 s
3.59/3.67	c core #714
3.59/3.67	c Core size: 3	Core Weight: 1	Total Weight: 714
3.59/3.67	c Elapsed CPU time: 3.64845 s	Remaining CPU time: 1796.35 s
3.59/3.68	c core #715
3.59/3.68	c Core size: 3	Core Weight: 1	Total Weight: 715
3.59/3.68	c Elapsed CPU time: 3.65544 s	Remaining CPU time: 1796.34 s
3.59/3.68	c core #716
3.59/3.68	c Core size: 3	Core Weight: 1	Total Weight: 716
3.59/3.68	c Elapsed CPU time: 3.66244 s	Remaining CPU time: 1796.34 s
3.59/3.69	c core #717
3.59/3.69	c Core size: 3	Core Weight: 1	Total Weight: 717
3.59/3.69	c Elapsed CPU time: 3.66944 s	Remaining CPU time: 1796.33 s
3.69/3.70	c core #718
3.69/3.70	c Core size: 3	Core Weight: 1	Total Weight: 718
3.69/3.70	c Elapsed CPU time: 3.67644 s	Remaining CPU time: 1796.32 s
3.69/3.70	c core #719
3.69/3.70	c Core size: 3	Core Weight: 1	Total Weight: 719
3.69/3.70	c Elapsed CPU time: 3.68344 s	Remaining CPU time: 1796.32 s
3.69/3.71	c core #720
3.69/3.71	c Core size: 3	Core Weight: 1	Total Weight: 720
3.69/3.71	c Elapsed CPU time: 3.69044 s	Remaining CPU time: 1796.31 s
3.69/3.72	c core #721
3.69/3.72	c Core size: 3	Core Weight: 1	Total Weight: 721
3.69/3.72	c Elapsed CPU time: 3.69644 s	Remaining CPU time: 1796.3 s
3.69/3.72	c core #722
3.69/3.72	c Core size: 3	Core Weight: 1	Total Weight: 722
3.69/3.72	c Elapsed CPU time: 3.70344 s	Remaining CPU time: 1796.3 s
3.69/3.73	c core #723
3.69/3.73	c Core size: 3	Core Weight: 1	Total Weight: 723
3.69/3.73	c Elapsed CPU time: 3.71043 s	Remaining CPU time: 1796.29 s
3.69/3.74	c core #724
3.69/3.74	c Core size: 3	Core Weight: 1	Total Weight: 724
3.69/3.74	c Elapsed CPU time: 3.71743 s	Remaining CPU time: 1796.28 s
3.69/3.75	c core #725
3.69/3.75	c Core size: 3	Core Weight: 1	Total Weight: 725
3.69/3.75	c Elapsed CPU time: 3.72543 s	Remaining CPU time: 1796.27 s
3.69/3.75	c core #726
3.69/3.75	c Core size: 3	Core Weight: 1	Total Weight: 726
3.69/3.75	c Elapsed CPU time: 3.73243 s	Remaining CPU time: 1796.27 s
3.69/3.76	c core #727
3.69/3.76	c Core size: 3	Core Weight: 1	Total Weight: 727
3.69/3.76	c Elapsed CPU time: 3.73843 s	Remaining CPU time: 1796.26 s
3.69/3.77	c core #728
3.69/3.77	c Core size: 3	Core Weight: 1	Total Weight: 728
3.69/3.77	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
3.69/3.77	c core #729
3.69/3.77	c Core size: 3	Core Weight: 1	Total Weight: 729
3.69/3.77	c Elapsed CPU time: 3.75243 s	Remaining CPU time: 1796.25 s
3.69/3.78	c core #730
3.69/3.78	c Core size: 3	Core Weight: 1	Total Weight: 730
3.69/3.78	c Elapsed CPU time: 3.75943 s	Remaining CPU time: 1796.24 s
3.69/3.79	c core #731
3.69/3.79	c Core size: 3	Core Weight: 1	Total Weight: 731
3.69/3.79	c Elapsed CPU time: 3.76743 s	Remaining CPU time: 1796.23 s
3.79/3.80	c core #732
3.79/3.80	c Core size: 3	Core Weight: 1	Total Weight: 732
3.79/3.80	c Elapsed CPU time: 3.77443 s	Remaining CPU time: 1796.23 s
3.79/3.80	c core #733
3.79/3.80	c Core size: 3	Core Weight: 1	Total Weight: 733
3.79/3.80	c Elapsed CPU time: 3.78143 s	Remaining CPU time: 1796.22 s
3.79/3.81	c core #734
3.79/3.81	c Core size: 3	Core Weight: 1	Total Weight: 734
3.79/3.81	c Elapsed CPU time: 3.78842 s	Remaining CPU time: 1796.21 s
3.79/3.82	c core #735
3.79/3.82	c Core size: 3	Core Weight: 1	Total Weight: 735
3.79/3.82	c Elapsed CPU time: 3.79642 s	Remaining CPU time: 1796.2 s
3.79/3.83	c core #736
3.79/3.83	c Core size: 3	Core Weight: 1	Total Weight: 736
3.79/3.83	c Elapsed CPU time: 3.80342 s	Remaining CPU time: 1796.2 s
3.79/3.83	c core #737
3.79/3.83	c Core size: 3	Core Weight: 1	Total Weight: 737
3.79/3.83	c Elapsed CPU time: 3.81042 s	Remaining CPU time: 1796.19 s
3.79/3.84	c core #738
3.79/3.84	c Core size: 3	Core Weight: 1	Total Weight: 738
3.79/3.84	c Elapsed CPU time: 3.81742 s	Remaining CPU time: 1796.18 s
3.79/3.85	c core #739
3.79/3.85	c Core size: 3	Core Weight: 1	Total Weight: 739
3.79/3.85	c Elapsed CPU time: 3.82442 s	Remaining CPU time: 1796.18 s
3.79/3.85	c core #740
3.79/3.85	c Core size: 3	Core Weight: 1	Total Weight: 740
3.79/3.85	c Elapsed CPU time: 3.83142 s	Remaining CPU time: 1796.17 s
3.79/3.86	c core #741
3.79/3.86	c Core size: 3	Core Weight: 1	Total Weight: 741
3.79/3.86	c Elapsed CPU time: 3.83842 s	Remaining CPU time: 1796.16 s
3.79/3.87	c core #742
3.79/3.87	c Core size: 3	Core Weight: 1	Total Weight: 742
3.79/3.87	c Elapsed CPU time: 3.84542 s	Remaining CPU time: 1796.15 s
3.79/3.88	c core #743
3.79/3.88	c Core size: 3	Core Weight: 1	Total Weight: 743
3.79/3.88	c Elapsed CPU time: 3.85241 s	Remaining CPU time: 1796.15 s
3.79/3.88	c core #744
3.79/3.88	c Core size: 3	Core Weight: 1	Total Weight: 744
3.79/3.88	c Elapsed CPU time: 3.85941 s	Remaining CPU time: 1796.14 s
3.79/3.89	c core #745
3.79/3.89	c Core size: 3	Core Weight: 1	Total Weight: 745
3.79/3.89	c Elapsed CPU time: 3.86741 s	Remaining CPU time: 1796.13 s
3.89/3.90	c core #746
3.89/3.90	c Core size: 3	Core Weight: 1	Total Weight: 746
3.89/3.90	c Elapsed CPU time: 3.87441 s	Remaining CPU time: 1796.13 s
3.89/3.90	c core #747
3.89/3.90	c Core size: 3	Core Weight: 1	Total Weight: 747
3.89/3.90	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.89/3.91	c core #748
3.89/3.91	c Core size: 3	Core Weight: 1	Total Weight: 748
3.89/3.91	c Elapsed CPU time: 3.88941 s	Remaining CPU time: 1796.11 s
3.89/3.92	c core #749
3.89/3.92	c Core size: 3	Core Weight: 1	Total Weight: 749
3.89/3.92	c Elapsed CPU time: 3.89641 s	Remaining CPU time: 1796.1 s
3.89/3.93	c core #750
3.89/3.93	c Core size: 3	Core Weight: 1	Total Weight: 750
3.89/3.93	c Elapsed CPU time: 3.90341 s	Remaining CPU time: 1796.1 s
3.89/3.93	c core #751
3.89/3.93	c Core size: 3	Core Weight: 1	Total Weight: 751
3.89/3.93	c Elapsed CPU time: 3.91141 s	Remaining CPU time: 1796.09 s
3.89/3.94	c core #752
3.89/3.94	c Core size: 3	Core Weight: 1	Total Weight: 752
3.89/3.94	c Elapsed CPU time: 3.9184 s	Remaining CPU time: 1796.08 s
3.89/3.95	c core #753
3.89/3.95	c Core size: 3	Core Weight: 1	Total Weight: 753
3.89/3.95	c Elapsed CPU time: 3.9254 s	Remaining CPU time: 1796.07 s
3.89/3.96	c core #754
3.89/3.96	c Core size: 3	Core Weight: 1	Total Weight: 754
3.89/3.96	c Elapsed CPU time: 3.9324 s	Remaining CPU time: 1796.07 s
3.89/3.96	c core #755
3.89/3.96	c Core size: 3	Core Weight: 1	Total Weight: 755
3.89/3.96	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 1796.06 s
3.89/3.97	c core #756
3.89/3.97	c Core size: 3	Core Weight: 1	Total Weight: 756
3.89/3.97	c Elapsed CPU time: 3.9474 s	Remaining CPU time: 1796.05 s
3.89/3.98	c core #757
3.89/3.98	c Core size: 3	Core Weight: 1	Total Weight: 757
3.89/3.98	c Elapsed CPU time: 3.9554 s	Remaining CPU time: 1796.04 s
3.89/3.99	c core #758
3.89/3.99	c Core size: 3	Core Weight: 1	Total Weight: 758
3.89/3.99	c Elapsed CPU time: 3.9624 s	Remaining CPU time: 1796.04 s
3.89/3.99	c core #759
3.89/3.99	c Core size: 3	Core Weight: 1	Total Weight: 759
3.89/3.99	c Elapsed CPU time: 3.9694 s	Remaining CPU time: 1796.03 s
3.99/4.00	c core #760
3.99/4.00	c Core size: 3	Core Weight: 1	Total Weight: 760
3.99/4.00	c Elapsed CPU time: 3.9764 s	Remaining CPU time: 1796.02 s
3.99/4.01	c core #761
3.99/4.01	c Core size: 3	Core Weight: 1	Total Weight: 761
3.99/4.01	c Elapsed CPU time: 3.98439 s	Remaining CPU time: 1796.02 s
3.99/4.01	c core #762
3.99/4.01	c Core size: 3	Core Weight: 1	Total Weight: 762
3.99/4.01	c Elapsed CPU time: 3.99139 s	Remaining CPU time: 1796.01 s
3.99/4.02	c core #763
3.99/4.02	c Core size: 3	Core Weight: 1	Total Weight: 763
3.99/4.02	c Elapsed CPU time: 3.99839 s	Remaining CPU time: 1796 s
3.99/4.03	c core #764
3.99/4.03	c Core size: 3	Core Weight: 1	Total Weight: 764
3.99/4.03	c Elapsed CPU time: 4.00539 s	Remaining CPU time: 1795.99 s
3.99/4.04	c core #765
3.99/4.04	c Core size: 3	Core Weight: 1	Total Weight: 765
3.99/4.04	c Elapsed CPU time: 4.01339 s	Remaining CPU time: 1795.99 s
3.99/4.04	c core #766
3.99/4.04	c Core size: 3	Core Weight: 1	Total Weight: 766
3.99/4.04	c Elapsed CPU time: 4.02039 s	Remaining CPU time: 1795.98 s
3.99/4.05	c core #767
3.99/4.05	c Core size: 3	Core Weight: 1	Total Weight: 767
3.99/4.05	c Elapsed CPU time: 4.02739 s	Remaining CPU time: 1795.97 s
3.99/4.06	c core #768
3.99/4.06	c Core size: 3	Core Weight: 1	Total Weight: 768
3.99/4.06	c Elapsed CPU time: 4.03539 s	Remaining CPU time: 1795.96 s
3.99/4.07	c core #769
3.99/4.07	c Core size: 3	Core Weight: 1	Total Weight: 769
3.99/4.07	c Elapsed CPU time: 4.04239 s	Remaining CPU time: 1795.96 s
3.99/4.07	c core #770
3.99/4.07	c Core size: 3	Core Weight: 1	Total Weight: 770
3.99/4.07	c Elapsed CPU time: 4.04938 s	Remaining CPU time: 1795.95 s
3.99/4.08	c core #771
3.99/4.08	c Core size: 3	Core Weight: 1	Total Weight: 771
3.99/4.08	c Elapsed CPU time: 4.05738 s	Remaining CPU time: 1795.94 s
3.99/4.09	c core #772
3.99/4.09	c Core size: 3	Core Weight: 1	Total Weight: 772
3.99/4.09	c Elapsed CPU time: 4.06438 s	Remaining CPU time: 1795.94 s
3.99/4.10	c core #773
3.99/4.10	c Core size: 3	Core Weight: 1	Total Weight: 773
3.99/4.10	c Elapsed CPU time: 4.07138 s	Remaining CPU time: 1795.93 s
4.09/4.10	c core #774
4.09/4.10	c Core size: 3	Core Weight: 1	Total Weight: 774
4.09/4.10	c Elapsed CPU time: 4.07938 s	Remaining CPU time: 1795.92 s
4.09/4.11	c core #775
4.09/4.11	c Core size: 3	Core Weight: 1	Total Weight: 775
4.09/4.11	c Elapsed CPU time: 4.08738 s	Remaining CPU time: 1795.91 s
4.09/4.12	c core #776
4.09/4.12	c Core size: 3	Core Weight: 1	Total Weight: 776
4.09/4.12	c Elapsed CPU time: 4.09438 s	Remaining CPU time: 1795.91 s
4.09/4.13	c core #777
4.09/4.13	c Core size: 3	Core Weight: 1	Total Weight: 777
4.09/4.13	c Elapsed CPU time: 4.10238 s	Remaining CPU time: 1795.9 s
4.09/4.13	c core #778
4.09/4.13	c Core size: 3	Core Weight: 1	Total Weight: 778
4.09/4.13	c Elapsed CPU time: 4.10938 s	Remaining CPU time: 1795.89 s
4.09/4.14	c core #779
4.09/4.14	c Core size: 3	Core Weight: 1	Total Weight: 779
4.09/4.14	c Elapsed CPU time: 4.11737 s	Remaining CPU time: 1795.88 s
4.09/4.15	c core #780
4.09/4.15	c Core size: 3	Core Weight: 1	Total Weight: 780
4.09/4.15	c Elapsed CPU time: 4.12537 s	Remaining CPU time: 1795.87 s
4.09/4.16	c core #781
4.09/4.16	c Core size: 3	Core Weight: 1	Total Weight: 781
4.09/4.16	c Elapsed CPU time: 4.13237 s	Remaining CPU time: 1795.87 s
4.09/4.16	c core #782
4.09/4.16	c Core size: 3	Core Weight: 1	Total Weight: 782
4.09/4.16	c Elapsed CPU time: 4.14037 s	Remaining CPU time: 1795.86 s
4.09/4.17	c core #783
4.09/4.17	c Core size: 3	Core Weight: 1	Total Weight: 783
4.09/4.17	c Elapsed CPU time: 4.14837 s	Remaining CPU time: 1795.85 s
4.09/4.18	c core #784
4.09/4.18	c Core size: 3	Core Weight: 1	Total Weight: 784
4.09/4.18	c Elapsed CPU time: 4.15537 s	Remaining CPU time: 1795.84 s
4.09/4.19	c core #785
4.09/4.19	c Core size: 3	Core Weight: 1	Total Weight: 785
4.09/4.19	c Elapsed CPU time: 4.16337 s	Remaining CPU time: 1795.84 s
4.09/4.19	c core #786
4.09/4.19	c Core size: 3	Core Weight: 1	Total Weight: 786
4.09/4.19	c Elapsed CPU time: 4.17136 s	Remaining CPU time: 1795.83 s
4.19/4.20	c core #787
4.19/4.20	c Core size: 3	Core Weight: 1	Total Weight: 787
4.19/4.20	c Elapsed CPU time: 4.17836 s	Remaining CPU time: 1795.82 s
4.19/4.21	c core #788
4.19/4.21	c Core size: 3	Core Weight: 1	Total Weight: 788
4.19/4.21	c Elapsed CPU time: 4.18636 s	Remaining CPU time: 1795.81 s
4.19/4.22	c core #789
4.19/4.22	c Core size: 3	Core Weight: 1	Total Weight: 789
4.19/4.22	c Elapsed CPU time: 4.19336 s	Remaining CPU time: 1795.81 s
4.19/4.22	c core #790
4.19/4.22	c Core size: 3	Core Weight: 1	Total Weight: 790
4.19/4.22	c Elapsed CPU time: 4.20136 s	Remaining CPU time: 1795.8 s
4.19/4.23	c core #791
4.19/4.23	c Core size: 3	Core Weight: 1	Total Weight: 791
4.19/4.23	c Elapsed CPU time: 4.20836 s	Remaining CPU time: 1795.79 s
4.19/4.24	c core #792
4.19/4.24	c Core size: 3	Core Weight: 1	Total Weight: 792
4.19/4.24	c Elapsed CPU time: 4.21636 s	Remaining CPU time: 1795.78 s
4.19/4.25	c core #793
4.19/4.25	c Core size: 3	Core Weight: 1	Total Weight: 793
4.19/4.25	c Elapsed CPU time: 4.22436 s	Remaining CPU time: 1795.78 s
4.19/4.26	c core #794
4.19/4.26	c Core size: 3	Core Weight: 1	Total Weight: 794
4.19/4.26	c Elapsed CPU time: 4.23136 s	Remaining CPU time: 1795.77 s
4.19/4.26	c core #795
4.19/4.26	c Core size: 3	Core Weight: 1	Total Weight: 795
4.19/4.26	c Elapsed CPU time: 4.23935 s	Remaining CPU time: 1795.76 s
4.19/4.27	c core #796
4.19/4.27	c Core size: 3	Core Weight: 1	Total Weight: 796
4.19/4.27	c Elapsed CPU time: 4.24735 s	Remaining CPU time: 1795.75 s
4.19/4.28	c core #797
4.19/4.28	c Core size: 3	Core Weight: 1	Total Weight: 797
4.19/4.28	c Elapsed CPU time: 4.25435 s	Remaining CPU time: 1795.75 s
4.19/4.29	c core #798
4.19/4.29	c Core size: 3	Core Weight: 1	Total Weight: 798
4.19/4.29	c Elapsed CPU time: 4.26235 s	Remaining CPU time: 1795.74 s
4.19/4.29	c core #799
4.19/4.29	c Core size: 3	Core Weight: 1	Total Weight: 799
4.19/4.29	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.29/4.30	c core #800
4.29/4.30	c Core size: 3	Core Weight: 1	Total Weight: 800
4.29/4.30	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 1795.72 s
4.29/4.31	c core #801
4.29/4.31	c Core size: 3	Core Weight: 1	Total Weight: 801
4.29/4.31	c Elapsed CPU time: 4.28435 s	Remaining CPU time: 1795.72 s
4.29/4.32	c core #802
4.29/4.32	c Core size: 3	Core Weight: 1	Total Weight: 802
4.29/4.32	c Elapsed CPU time: 4.29235 s	Remaining CPU time: 1795.71 s
4.29/4.32	c core #803
4.29/4.32	c Core size: 3	Core Weight: 1	Total Weight: 803
4.29/4.32	c Elapsed CPU time: 4.30035 s	Remaining CPU time: 1795.7 s
4.29/4.33	c core #804
4.29/4.33	c Core size: 3	Core Weight: 1	Total Weight: 804
4.29/4.33	c Elapsed CPU time: 4.30835 s	Remaining CPU time: 1795.69 s
4.29/4.34	c core #805
4.29/4.34	c Core size: 3	Core Weight: 1	Total Weight: 805
4.29/4.34	c Elapsed CPU time: 4.31634 s	Remaining CPU time: 1795.68 s
4.29/4.35	c core #806
4.29/4.35	c Core size: 3	Core Weight: 1	Total Weight: 806
4.29/4.35	c Elapsed CPU time: 4.32334 s	Remaining CPU time: 1795.68 s
4.29/4.36	c core #807
4.29/4.36	c Core size: 3	Core Weight: 1	Total Weight: 807
4.29/4.36	c Elapsed CPU time: 4.33134 s	Remaining CPU time: 1795.67 s
4.29/4.36	c core #808
4.29/4.36	c Core size: 3	Core Weight: 1	Total Weight: 808
4.29/4.36	c Elapsed CPU time: 4.33934 s	Remaining CPU time: 1795.66 s
4.29/4.37	c core #809
4.29/4.37	c Core size: 3	Core Weight: 1	Total Weight: 809
4.29/4.37	c Elapsed CPU time: 4.34634 s	Remaining CPU time: 1795.65 s
4.29/4.38	c core #810
4.29/4.38	c Core size: 3	Core Weight: 1	Total Weight: 810
4.29/4.38	c Elapsed CPU time: 4.35434 s	Remaining CPU time: 1795.65 s
4.29/4.39	c core #811
4.29/4.39	c Core size: 3	Core Weight: 1	Total Weight: 811
4.29/4.39	c Elapsed CPU time: 4.36134 s	Remaining CPU time: 1795.64 s
4.29/4.39	c core #812
4.29/4.39	c Core size: 3	Core Weight: 1	Total Weight: 812
4.29/4.39	c Elapsed CPU time: 4.36834 s	Remaining CPU time: 1795.63 s
4.39/4.40	c core #813
4.39/4.40	c Core size: 3	Core Weight: 1	Total Weight: 813
4.39/4.40	c Elapsed CPU time: 4.37633 s	Remaining CPU time: 1795.62 s
4.39/4.41	c core #814
4.39/4.41	c Core size: 3	Core Weight: 1	Total Weight: 814
4.39/4.41	c Elapsed CPU time: 4.38433 s	Remaining CPU time: 1795.62 s
4.39/4.42	c core #815
4.39/4.42	c Core size: 3	Core Weight: 1	Total Weight: 815
4.39/4.42	c Elapsed CPU time: 4.39233 s	Remaining CPU time: 1795.61 s
4.39/4.43	c core #816
4.39/4.43	c Core size: 3	Core Weight: 1	Total Weight: 816
4.39/4.43	c Elapsed CPU time: 4.40033 s	Remaining CPU time: 1795.6 s
4.39/4.43	c core #817
4.39/4.43	c Core size: 3	Core Weight: 1	Total Weight: 817
4.39/4.43	c Elapsed CPU time: 4.40833 s	Remaining CPU time: 1795.59 s
4.39/4.44	c core #818
4.39/4.44	c Core size: 3	Core Weight: 1	Total Weight: 818
4.39/4.44	c Elapsed CPU time: 4.41533 s	Remaining CPU time: 1795.58 s
4.39/4.45	c core #819
4.39/4.45	c Core size: 3	Core Weight: 1	Total Weight: 819
4.39/4.45	c Elapsed CPU time: 4.42333 s	Remaining CPU time: 1795.58 s
4.39/4.46	c core #820
4.39/4.46	c Core size: 3	Core Weight: 1	Total Weight: 820
4.39/4.46	c Elapsed CPU time: 4.43033 s	Remaining CPU time: 1795.57 s
4.39/4.46	c core #821
4.39/4.46	c Core size: 3	Core Weight: 1	Total Weight: 821
4.39/4.46	c Elapsed CPU time: 4.43832 s	Remaining CPU time: 1795.56 s
4.39/4.47	c core #822
4.39/4.47	c Core size: 3	Core Weight: 1	Total Weight: 822
4.39/4.47	c Elapsed CPU time: 4.44632 s	Remaining CPU time: 1795.55 s
4.39/4.48	c core #823
4.39/4.48	c Core size: 3	Core Weight: 1	Total Weight: 823
4.39/4.48	c Elapsed CPU time: 4.45432 s	Remaining CPU time: 1795.55 s
4.39/4.49	c core #824
4.39/4.49	c Core size: 3	Core Weight: 1	Total Weight: 824
4.39/4.49	c Elapsed CPU time: 4.46232 s	Remaining CPU time: 1795.54 s
4.49/4.50	c core #825
4.49/4.50	c Core size: 3	Core Weight: 1	Total Weight: 825
4.49/4.50	c Elapsed CPU time: 4.47032 s	Remaining CPU time: 1795.53 s
4.49/4.50	c core #826
4.49/4.50	c Core size: 7	Core Weight: 1	Total Weight: 826
4.49/4.50	c Elapsed CPU time: 4.47832 s	Remaining CPU time: 1795.52 s
4.49/4.51	c core #827
4.49/4.51	c Core size: 7	Core Weight: 1	Total Weight: 827
4.49/4.51	c Elapsed CPU time: 4.48632 s	Remaining CPU time: 1795.51 s
4.49/4.52	c core #828
4.49/4.52	c Core size: 7	Core Weight: 1	Total Weight: 828
4.49/4.52	c Elapsed CPU time: 4.49432 s	Remaining CPU time: 1795.51 s
4.49/4.53	c core #829
4.49/4.53	c Core size: 7	Core Weight: 1	Total Weight: 829
4.49/4.53	c Elapsed CPU time: 4.50232 s	Remaining CPU time: 1795.5 s
4.49/4.54	c core #830
4.49/4.54	c Core size: 7	Core Weight: 1	Total Weight: 830
4.49/4.54	c Elapsed CPU time: 4.50931 s	Remaining CPU time: 1795.49 s
4.49/4.54	c core #831
4.49/4.54	c Core size: 7	Core Weight: 1	Total Weight: 831
4.49/4.54	c Elapsed CPU time: 4.51831 s	Remaining CPU time: 1795.48 s
4.49/4.55	c core #832
4.49/4.55	c Core size: 7	Core Weight: 1	Total Weight: 832
4.49/4.55	c Elapsed CPU time: 4.52631 s	Remaining CPU time: 1795.47 s
4.49/4.56	c core #833
4.49/4.56	c Core size: 7	Core Weight: 1	Total Weight: 833
4.49/4.56	c Elapsed CPU time: 4.53331 s	Remaining CPU time: 1795.47 s
4.49/4.57	c core #834
4.49/4.57	c Core size: 11	Core Weight: 1	Total Weight: 834
4.49/4.57	c Elapsed CPU time: 4.54131 s	Remaining CPU time: 1795.46 s
4.49/4.58	c core #835
4.49/4.58	c Core size: 7	Core Weight: 1	Total Weight: 835
4.49/4.58	c Elapsed CPU time: 4.54931 s	Remaining CPU time: 1795.45 s
4.49/4.59	c core #836
4.49/4.59	c Core size: 7	Core Weight: 1	Total Weight: 836
4.49/4.59	c Elapsed CPU time: 4.55731 s	Remaining CPU time: 1795.44 s
4.49/4.59	c core #837
4.49/4.59	c Core size: 7	Core Weight: 1	Total Weight: 837
4.49/4.59	c Elapsed CPU time: 4.56531 s	Remaining CPU time: 1795.43 s
4.59/4.60	c core #838
4.59/4.60	c Core size: 11	Core Weight: 1	Total Weight: 838
4.59/4.60	c Elapsed CPU time: 4.5723 s	Remaining CPU time: 1795.43 s
4.59/4.61	c core #839
4.59/4.61	c Core size: 7	Core Weight: 1	Total Weight: 839
4.59/4.61	c Elapsed CPU time: 4.5803 s	Remaining CPU time: 1795.42 s
4.59/4.62	c core #840
4.59/4.62	c Core size: 11	Core Weight: 1	Total Weight: 840
4.59/4.62	c Elapsed CPU time: 4.5893 s	Remaining CPU time: 1795.41 s
4.59/4.63	c core #841
4.59/4.63	c Core size: 7	Core Weight: 1	Total Weight: 841
4.59/4.63	c Elapsed CPU time: 4.5973 s	Remaining CPU time: 1795.4 s
4.59/4.64	c core #842
4.59/4.64	c Core size: 7	Core Weight: 1	Total Weight: 842
4.59/4.64	c Elapsed CPU time: 4.6053 s	Remaining CPU time: 1795.39 s
4.59/4.64	c core #843
4.59/4.64	c Core size: 11	Core Weight: 1	Total Weight: 843
4.59/4.64	c Elapsed CPU time: 4.6143 s	Remaining CPU time: 1795.39 s
4.59/4.65	c core #844
4.59/4.65	c Core size: 7	Core Weight: 1	Total Weight: 844
4.59/4.65	c Elapsed CPU time: 4.6223 s	Remaining CPU time: 1795.38 s
4.59/4.66	c core #845
4.59/4.66	c Core size: 7	Core Weight: 1	Total Weight: 845
4.59/4.66	c Elapsed CPU time: 4.6303 s	Remaining CPU time: 1795.37 s
4.59/4.67	c core #846
4.59/4.67	c Core size: 7	Core Weight: 1	Total Weight: 846
4.59/4.67	c Elapsed CPU time: 4.63829 s	Remaining CPU time: 1795.36 s
4.59/4.68	c core #847
4.59/4.68	c Core size: 7	Core Weight: 1	Total Weight: 847
4.59/4.68	c Elapsed CPU time: 4.64729 s	Remaining CPU time: 1795.35 s
4.59/4.69	c core #848
4.59/4.69	c Core size: 7	Core Weight: 1	Total Weight: 848
4.59/4.69	c Elapsed CPU time: 4.65529 s	Remaining CPU time: 1795.34 s
4.59/4.69	c core #849
4.59/4.69	c Core size: 7	Core Weight: 1	Total Weight: 849
4.59/4.69	c Elapsed CPU time: 4.66329 s	Remaining CPU time: 1795.34 s
4.69/4.70	c core #850
4.69/4.70	c Core size: 7	Core Weight: 1	Total Weight: 850
4.69/4.70	c Elapsed CPU time: 4.67129 s	Remaining CPU time: 1795.33 s
4.69/4.71	c core #851
4.69/4.71	c Core size: 7	Core Weight: 1	Total Weight: 851
4.69/4.71	c Elapsed CPU time: 4.68029 s	Remaining CPU time: 1795.32 s
4.69/4.72	c core #852
4.69/4.72	c Core size: 11	Core Weight: 1	Total Weight: 852
4.69/4.72	c Elapsed CPU time: 4.68829 s	Remaining CPU time: 1795.31 s
4.69/4.73	c core #853
4.69/4.73	c Core size: 7	Core Weight: 1	Total Weight: 853
4.69/4.73	c Elapsed CPU time: 4.69728 s	Remaining CPU time: 1795.3 s
4.69/4.74	c core #854
4.69/4.74	c Core size: 7	Core Weight: 1	Total Weight: 854
4.69/4.74	c Elapsed CPU time: 4.70528 s	Remaining CPU time: 1795.29 s
4.69/4.74	c core #855
4.69/4.74	c Core size: 7	Core Weight: 1	Total Weight: 855
4.69/4.74	c Elapsed CPU time: 4.71428 s	Remaining CPU time: 1795.29 s
4.69/4.75	c core #856
4.69/4.75	c Core size: 7	Core Weight: 1	Total Weight: 856
4.69/4.75	c Elapsed CPU time: 4.72328 s	Remaining CPU time: 1795.28 s
4.69/4.76	c core #857
4.69/4.76	c Core size: 7	Core Weight: 1	Total Weight: 857
4.69/4.76	c Elapsed CPU time: 4.73228 s	Remaining CPU time: 1795.27 s
4.69/4.77	c core #858
4.69/4.77	c Core size: 11	Core Weight: 1	Total Weight: 858
4.69/4.77	c Elapsed CPU time: 4.74028 s	Remaining CPU time: 1795.26 s
4.69/4.78	c core #859
4.69/4.78	c Core size: 7	Core Weight: 1	Total Weight: 859
4.69/4.78	c Elapsed CPU time: 4.74828 s	Remaining CPU time: 1795.25 s
4.69/4.79	c core #860
4.69/4.79	c Core size: 7	Core Weight: 1	Total Weight: 860
4.69/4.79	c Elapsed CPU time: 4.75728 s	Remaining CPU time: 1795.24 s
4.69/4.80	c core #861
4.69/4.80	c Core size: 7	Core Weight: 1	Total Weight: 861
4.69/4.80	c Elapsed CPU time: 4.76628 s	Remaining CPU time: 1795.23 s
4.79/4.81	c core #862
4.79/4.81	c Core size: 11	Core Weight: 1	Total Weight: 862
4.79/4.81	c Elapsed CPU time: 4.77427 s	Remaining CPU time: 1795.23 s
4.79/4.81	c core #863
4.79/4.81	c Core size: 7	Core Weight: 1	Total Weight: 863
4.79/4.81	c Elapsed CPU time: 4.78327 s	Remaining CPU time: 1795.22 s
4.79/4.82	c core #864
4.79/4.82	c Core size: 7	Core Weight: 1	Total Weight: 864
4.79/4.82	c Elapsed CPU time: 4.79227 s	Remaining CPU time: 1795.21 s
4.79/4.83	c core #865
4.79/4.83	c Core size: 7	Core Weight: 1	Total Weight: 865
4.79/4.83	c Elapsed CPU time: 4.80127 s	Remaining CPU time: 1795.2 s
4.79/4.84	c core #866
4.79/4.84	c Core size: 11	Core Weight: 1	Total Weight: 866
4.79/4.84	c Elapsed CPU time: 4.81027 s	Remaining CPU time: 1795.19 s
4.79/4.85	c core #867
4.79/4.85	c Core size: 7	Core Weight: 1	Total Weight: 867
4.79/4.85	c Elapsed CPU time: 4.81927 s	Remaining CPU time: 1795.18 s
4.79/4.86	c core #868
4.79/4.86	c Core size: 7	Core Weight: 1	Total Weight: 868
4.79/4.86	c Elapsed CPU time: 4.82827 s	Remaining CPU time: 1795.17 s
4.79/4.87	c core #869
4.79/4.87	c Core size: 15	Core Weight: 1	Total Weight: 869
4.79/4.87	c Elapsed CPU time: 4.83726 s	Remaining CPU time: 1795.16 s
4.79/4.88	c core #870
4.79/4.88	c Core size: 7	Core Weight: 1	Total Weight: 870
4.79/4.88	c Elapsed CPU time: 4.84626 s	Remaining CPU time: 1795.15 s
4.79/4.89	c core #871
4.79/4.89	c Core size: 7	Core Weight: 1	Total Weight: 871
4.79/4.89	c Elapsed CPU time: 4.85526 s	Remaining CPU time: 1795.14 s
4.79/4.89	c core #872
4.79/4.89	c Core size: 7	Core Weight: 1	Total Weight: 872
4.79/4.89	c Elapsed CPU time: 4.86426 s	Remaining CPU time: 1795.14 s
4.89/4.90	c core #873
4.89/4.90	c Core size: 7	Core Weight: 1	Total Weight: 873
4.89/4.90	c Elapsed CPU time: 4.87326 s	Remaining CPU time: 1795.13 s
4.89/4.91	c core #874
4.89/4.91	c Core size: 7	Core Weight: 1	Total Weight: 874
4.89/4.91	c Elapsed CPU time: 4.88126 s	Remaining CPU time: 1795.12 s
4.89/4.92	c core #875
4.89/4.92	c Core size: 7	Core Weight: 1	Total Weight: 875
4.89/4.92	c Elapsed CPU time: 4.89126 s	Remaining CPU time: 1795.11 s
4.89/4.93	c core #876
4.89/4.93	c Core size: 11	Core Weight: 1	Total Weight: 876
4.89/4.93	c Elapsed CPU time: 4.90025 s	Remaining CPU time: 1795.1 s
4.89/4.94	c core #877
4.89/4.94	c Core size: 15	Core Weight: 1	Total Weight: 877
4.89/4.94	c Elapsed CPU time: 4.90825 s	Remaining CPU time: 1795.09 s
4.89/4.95	c core #878
4.89/4.95	c Core size: 7	Core Weight: 1	Total Weight: 878
4.89/4.95	c Elapsed CPU time: 4.91725 s	Remaining CPU time: 1795.08 s
4.89/4.96	c core #879
4.89/4.96	c Core size: 7	Core Weight: 1	Total Weight: 879
4.89/4.96	c Elapsed CPU time: 4.92625 s	Remaining CPU time: 1795.07 s
4.89/4.97	c core #880
4.89/4.97	c Core size: 7	Core Weight: 1	Total Weight: 880
4.89/4.97	c Elapsed CPU time: 4.93625 s	Remaining CPU time: 1795.06 s
4.89/4.98	c core #881
4.89/4.98	c Core size: 7	Core Weight: 1	Total Weight: 881
4.89/4.98	c Elapsed CPU time: 4.94425 s	Remaining CPU time: 1795.06 s
4.89/4.99	c core #882
4.89/4.99	c Core size: 7	Core Weight: 1	Total Weight: 882
4.89/4.99	c Elapsed CPU time: 4.95325 s	Remaining CPU time: 1795.05 s
4.89/5.00	c core #883
4.89/5.00	c Core size: 7	Core Weight: 1	Total Weight: 883
4.89/5.00	c Elapsed CPU time: 4.96324 s	Remaining CPU time: 1795.04 s
4.99/5.00	c core #884
4.99/5.00	c Core size: 7	Core Weight: 1	Total Weight: 884
4.99/5.00	c Elapsed CPU time: 4.97224 s	Remaining CPU time: 1795.03 s
4.99/5.01	c core #885
4.99/5.01	c Core size: 11	Core Weight: 1	Total Weight: 885
4.99/5.01	c Elapsed CPU time: 4.98224 s	Remaining CPU time: 1795.02 s
4.99/5.02	c core #886
4.99/5.02	c Core size: 19	Core Weight: 1	Total Weight: 886
4.99/5.02	c Elapsed CPU time: 4.99124 s	Remaining CPU time: 1795.01 s
4.99/5.03	c core #887
4.99/5.03	c Core size: 7	Core Weight: 1	Total Weight: 887
4.99/5.03	c Elapsed CPU time: 5.00024 s	Remaining CPU time: 1795 s
4.99/5.04	c core #888
4.99/5.04	c Core size: 15	Core Weight: 1	Total Weight: 888
4.99/5.04	c Elapsed CPU time: 5.01024 s	Remaining CPU time: 1794.99 s
4.99/5.05	c core #889
4.99/5.05	c Core size: 7	Core Weight: 1	Total Weight: 889
4.99/5.05	c Elapsed CPU time: 5.01924 s	Remaining CPU time: 1794.98 s
4.99/5.06	c core #890
4.99/5.06	c Core size: 11	Core Weight: 1	Total Weight: 890
4.99/5.06	c Elapsed CPU time: 5.02823 s	Remaining CPU time: 1794.97 s
4.99/5.07	c core #891
4.99/5.07	c Core size: 11	Core Weight: 1	Total Weight: 891
4.99/5.07	c Elapsed CPU time: 5.03823 s	Remaining CPU time: 1794.96 s
4.99/5.08	c core #892
4.99/5.08	c Core size: 11	Core Weight: 1	Total Weight: 892
4.99/5.08	c Elapsed CPU time: 5.04723 s	Remaining CPU time: 1794.95 s
4.99/5.09	c core #893
4.99/5.09	c Core size: 7	Core Weight: 1	Total Weight: 893
4.99/5.09	c Elapsed CPU time: 5.05623 s	Remaining CPU time: 1794.94 s
5.09/5.10	c core #894
5.09/5.10	c Core size: 15	Core Weight: 1	Total Weight: 894
5.09/5.10	c Elapsed CPU time: 5.06623 s	Remaining CPU time: 1794.93 s
5.09/5.11	c core #895
5.09/5.11	c Core size: 11	Core Weight: 1	Total Weight: 895
5.09/5.11	c Elapsed CPU time: 5.07523 s	Remaining CPU time: 1794.92 s
5.09/5.12	c core #896
5.09/5.12	c Core size: 7	Core Weight: 1	Total Weight: 896
5.09/5.12	c Elapsed CPU time: 5.08423 s	Remaining CPU time: 1794.92 s
5.09/5.13	c core #897
5.09/5.13	c Core size: 11	Core Weight: 1	Total Weight: 897
5.09/5.13	c Elapsed CPU time: 5.09422 s	Remaining CPU time: 1794.91 s
5.09/5.14	c core #898
5.09/5.14	c Core size: 11	Core Weight: 1	Total Weight: 898
5.09/5.14	c Elapsed CPU time: 5.10422 s	Remaining CPU time: 1794.9 s
5.09/5.15	c core #899
5.09/5.15	c Core size: 11	Core Weight: 1	Total Weight: 899
5.09/5.15	c Elapsed CPU time: 5.11222 s	Remaining CPU time: 1794.89 s
5.09/5.16	c core #900
5.09/5.16	c Core size: 7	Core Weight: 1	Total Weight: 900
5.09/5.16	c Elapsed CPU time: 5.12122 s	Remaining CPU time: 1794.88 s
5.09/5.16	c core #901
5.09/5.16	c Core size: 15	Core Weight: 1	Total Weight: 901
5.09/5.16	c Elapsed CPU time: 5.13122 s	Remaining CPU time: 1794.87 s
5.09/5.17	c core #902
5.09/5.17	c Core size: 11	Core Weight: 1	Total Weight: 902
5.09/5.17	c Elapsed CPU time: 5.14122 s	Remaining CPU time: 1794.86 s
5.09/5.18	c core #903
5.09/5.18	c Core size: 11	Core Weight: 1	Total Weight: 903
5.09/5.18	c Elapsed CPU time: 5.15022 s	Remaining CPU time: 1794.85 s
5.09/5.19	c core #904
5.09/5.19	c Core size: 7	Core Weight: 1	Total Weight: 904
5.09/5.19	c Elapsed CPU time: 5.15921 s	Remaining CPU time: 1794.84 s
5.19/5.20	c core #905
5.19/5.20	c Core size: 11	Core Weight: 1	Total Weight: 905
5.19/5.20	c Elapsed CPU time: 5.16921 s	Remaining CPU time: 1794.83 s
5.19/5.21	c core #906
5.19/5.21	c Core size: 7	Core Weight: 1	Total Weight: 906
5.19/5.21	c Elapsed CPU time: 5.17821 s	Remaining CPU time: 1794.82 s
5.19/5.22	c core #907
5.19/5.22	c Core size: 7	Core Weight: 1	Total Weight: 907
5.19/5.22	c Elapsed CPU time: 5.18821 s	Remaining CPU time: 1794.81 s
5.19/5.23	c core #908
5.19/5.23	c Core size: 19	Core Weight: 1	Total Weight: 908
5.19/5.23	c Elapsed CPU time: 5.19821 s	Remaining CPU time: 1794.8 s
5.19/5.24	c core #909
5.19/5.24	c Core size: 11	Core Weight: 1	Total Weight: 909
5.19/5.24	c Elapsed CPU time: 5.20821 s	Remaining CPU time: 1794.79 s
5.19/5.25	c core #910
5.19/5.25	c Core size: 15	Core Weight: 1	Total Weight: 910
5.19/5.25	c Elapsed CPU time: 5.21821 s	Remaining CPU time: 1794.78 s
5.19/5.26	c core #911
5.19/5.26	c Core size: 11	Core Weight: 1	Total Weight: 911
5.19/5.26	c Elapsed CPU time: 5.2272 s	Remaining CPU time: 1794.77 s
5.19/5.27	c core #912
5.19/5.27	c Core size: 7	Core Weight: 1	Total Weight: 912
5.19/5.27	c Elapsed CPU time: 5.2372 s	Remaining CPU time: 1794.76 s
5.19/5.28	c core #913
5.19/5.28	c Core size: 11	Core Weight: 1	Total Weight: 913
5.19/5.28	c Elapsed CPU time: 5.2472 s	Remaining CPU time: 1794.75 s
5.19/5.29	c core #914
5.19/5.29	c Core size: 19	Core Weight: 1	Total Weight: 914
5.19/5.29	c Elapsed CPU time: 5.2572 s	Remaining CPU time: 1794.74 s
5.29/5.30	c core #915
5.29/5.30	c Core size: 7	Core Weight: 1	Total Weight: 915
5.29/5.30	c Elapsed CPU time: 5.2672 s	Remaining CPU time: 1794.73 s
5.29/5.31	c core #916
5.29/5.31	c Core size: 23	Core Weight: 1	Total Weight: 916
5.29/5.31	c Elapsed CPU time: 5.2762 s	Remaining CPU time: 1794.72 s
5.29/5.32	c core #917
5.29/5.32	c Core size: 15	Core Weight: 1	Total Weight: 917
5.29/5.32	c Elapsed CPU time: 5.2862 s	Remaining CPU time: 1794.71 s
5.29/5.33	c core #918
5.29/5.33	c Core size: 7	Core Weight: 1	Total Weight: 918
5.29/5.33	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 1794.7 s
5.29/5.34	c core #919
5.29/5.34	c Core size: 15	Core Weight: 1	Total Weight: 919
5.29/5.34	c Elapsed CPU time: 5.30719 s	Remaining CPU time: 1794.69 s
5.29/5.35	c core #920
5.29/5.35	c Core size: 19	Core Weight: 1	Total Weight: 920
5.29/5.35	c Elapsed CPU time: 5.31719 s	Remaining CPU time: 1794.68 s
5.29/5.36	c core #921
5.29/5.36	c Core size: 7	Core Weight: 1	Total Weight: 921
5.29/5.36	c Elapsed CPU time: 5.32719 s	Remaining CPU time: 1794.67 s
5.29/5.37	c core #922
5.29/5.37	c Core size: 15	Core Weight: 1	Total Weight: 922
5.29/5.37	c Elapsed CPU time: 5.33719 s	Remaining CPU time: 1794.66 s
5.29/5.38	c core #923
5.29/5.38	c Core size: 35	Core Weight: 1	Total Weight: 923
5.29/5.38	c Elapsed CPU time: 5.34719 s	Remaining CPU time: 1794.65 s
5.29/5.39	c core #924
5.29/5.39	c Core size: 15	Core Weight: 1	Total Weight: 924
5.29/5.39	c Elapsed CPU time: 5.35719 s	Remaining CPU time: 1794.64 s
5.39/5.40	c core #925
5.39/5.40	c Core size: 11	Core Weight: 1	Total Weight: 925
5.39/5.40	c Elapsed CPU time: 5.36718 s	Remaining CPU time: 1794.63 s
5.39/5.41	c core #926
5.39/5.41	c Core size: 15	Core Weight: 1	Total Weight: 926
5.39/5.41	c Elapsed CPU time: 5.37718 s	Remaining CPU time: 1794.62 s
5.39/5.42	c core #927
5.39/5.42	c Core size: 11	Core Weight: 1	Total Weight: 927
5.39/5.42	c Elapsed CPU time: 5.38718 s	Remaining CPU time: 1794.61 s
5.39/5.43	c core #928
5.39/5.43	c Core size: 47	Core Weight: 1	Total Weight: 928
5.39/5.43	c Elapsed CPU time: 5.39718 s	Remaining CPU time: 1794.6 s
5.39/5.44	c core #929
5.39/5.44	c Core size: 7	Core Weight: 1	Total Weight: 929
5.39/5.44	c Elapsed CPU time: 5.40718 s	Remaining CPU time: 1794.59 s
5.39/5.45	c core #930
5.39/5.45	c Core size: 7	Core Weight: 1	Total Weight: 930
5.39/5.45	c Elapsed CPU time: 5.41818 s	Remaining CPU time: 1794.58 s
5.39/5.46	c core #931
5.39/5.46	c Core size: 15	Core Weight: 1	Total Weight: 931
5.39/5.46	c Elapsed CPU time: 5.42817 s	Remaining CPU time: 1794.57 s
5.39/5.47	c core #932
5.39/5.47	c Core size: 11	Core Weight: 1	Total Weight: 932
5.39/5.47	c Elapsed CPU time: 5.43817 s	Remaining CPU time: 1794.56 s
5.39/5.48	c core #933
5.39/5.48	c Core size: 11	Core Weight: 1	Total Weight: 933
5.39/5.48	c Elapsed CPU time: 5.44817 s	Remaining CPU time: 1794.55 s
5.39/5.49	c core #934
5.39/5.49	c Core size: 11	Core Weight: 1	Total Weight: 934
5.39/5.49	c Elapsed CPU time: 5.45817 s	Remaining CPU time: 1794.54 s
5.49/5.50	c core #935
5.49/5.50	c Core size: 7	Core Weight: 1	Total Weight: 935
5.49/5.50	c Elapsed CPU time: 5.46917 s	Remaining CPU time: 1794.53 s
5.49/5.52	c core #936
5.49/5.52	c Core size: 19	Core Weight: 1	Total Weight: 936
5.49/5.52	c Elapsed CPU time: 5.47917 s	Remaining CPU time: 1794.52 s
5.49/5.53	c core #937
5.49/5.53	c Core size: 39	Core Weight: 1	Total Weight: 937
5.49/5.53	c Elapsed CPU time: 5.49017 s	Remaining CPU time: 1794.51 s
5.49/5.54	c core #938
5.49/5.54	c Core size: 11	Core Weight: 1	Total Weight: 938
5.49/5.54	c Elapsed CPU time: 5.50116 s	Remaining CPU time: 1794.5 s
5.49/5.55	c core #939
5.49/5.55	c Core size: 19	Core Weight: 1	Total Weight: 939
5.49/5.55	c Elapsed CPU time: 5.51116 s	Remaining CPU time: 1794.49 s
5.49/5.56	c core #940
5.49/5.56	c Core size: 23	Core Weight: 1	Total Weight: 940
5.49/5.56	c Elapsed CPU time: 5.52116 s	Remaining CPU time: 1794.48 s
5.49/5.57	c core #941
5.49/5.57	c Core size: 31	Core Weight: 1	Total Weight: 941
5.49/5.57	c Elapsed CPU time: 5.53116 s	Remaining CPU time: 1794.47 s
5.49/5.58	c core #942
5.49/5.58	c Core size: 15	Core Weight: 1	Total Weight: 942
5.49/5.58	c Elapsed CPU time: 5.54116 s	Remaining CPU time: 1794.46 s
5.49/5.59	c core #943
5.49/5.59	c Core size: 23	Core Weight: 1	Total Weight: 943
5.49/5.59	c Elapsed CPU time: 5.55116 s	Remaining CPU time: 1794.45 s
5.58/5.60	c core #944
5.58/5.60	c Core size: 23	Core Weight: 1	Total Weight: 944
5.58/5.60	c Elapsed CPU time: 5.56115 s	Remaining CPU time: 1794.44 s
5.58/5.61	c core #945
5.58/5.61	c Core size: 15	Core Weight: 1	Total Weight: 945
5.58/5.61	c Elapsed CPU time: 5.57215 s	Remaining CPU time: 1794.43 s
5.58/5.62	c core #946
5.58/5.62	c Core size: 31	Core Weight: 1	Total Weight: 946
5.58/5.62	c Elapsed CPU time: 5.58315 s	Remaining CPU time: 1794.42 s
5.58/5.63	c core #947
5.58/5.63	c Core size: 31	Core Weight: 1	Total Weight: 947
5.58/5.63	c Elapsed CPU time: 5.59215 s	Remaining CPU time: 1794.41 s
5.58/5.64	c core #948
5.58/5.64	c Core size: 19	Core Weight: 1	Total Weight: 948
5.58/5.64	c Elapsed CPU time: 5.60315 s	Remaining CPU time: 1794.4 s
5.58/5.65	c core #949
5.58/5.65	c Core size: 11	Core Weight: 1	Total Weight: 949
5.58/5.65	c Elapsed CPU time: 5.61315 s	Remaining CPU time: 1794.39 s
5.58/5.66	c core #950
5.58/5.66	c Core size: 31	Core Weight: 1	Total Weight: 950
5.58/5.66	c Elapsed CPU time: 5.62415 s	Remaining CPU time: 1794.38 s
5.58/5.67	c core #951
5.58/5.67	c Core size: 23	Core Weight: 1	Total Weight: 951
5.58/5.67	c Elapsed CPU time: 5.63514 s	Remaining CPU time: 1794.36 s
5.58/5.68	c core #952
5.58/5.68	c Core size: 11	Core Weight: 1	Total Weight: 952
5.58/5.68	c Elapsed CPU time: 5.64514 s	Remaining CPU time: 1794.35 s
5.58/5.69	c core #953
5.58/5.69	c Core size: 11	Core Weight: 1	Total Weight: 953
5.58/5.69	c Elapsed CPU time: 5.65614 s	Remaining CPU time: 1794.34 s
5.69/5.71	c core #954
5.69/5.71	c Core size: 15	Core Weight: 1	Total Weight: 954
5.69/5.71	c Elapsed CPU time: 5.66714 s	Remaining CPU time: 1794.33 s
5.69/5.72	c core #955
5.69/5.72	c Core size: 22	Core Weight: 1	Total Weight: 955
5.69/5.72	c Elapsed CPU time: 5.67814 s	Remaining CPU time: 1794.32 s
5.69/5.73	c core #956
5.69/5.73	c Core size: 91	Core Weight: 1	Total Weight: 956
5.69/5.73	c Elapsed CPU time: 5.68914 s	Remaining CPU time: 1794.31 s
5.69/5.74	c core #957
5.69/5.74	c Core size: 18	Core Weight: 1	Total Weight: 957
5.69/5.74	c Elapsed CPU time: 5.70013 s	Remaining CPU time: 1794.3 s
5.69/5.75	c core #958
5.69/5.75	c Core size: 39	Core Weight: 1	Total Weight: 958
5.69/5.75	c Elapsed CPU time: 5.71113 s	Remaining CPU time: 1794.29 s
5.69/5.76	c core #959
5.69/5.76	c Core size: 11	Core Weight: 1	Total Weight: 959
5.69/5.76	c Elapsed CPU time: 5.72113 s	Remaining CPU time: 1794.28 s
5.69/5.77	c core #960
5.69/5.77	c Core size: 27	Core Weight: 1	Total Weight: 960
5.69/5.77	c Elapsed CPU time: 5.73213 s	Remaining CPU time: 1794.27 s
5.69/5.78	c core #961
5.69/5.78	c Core size: 54	Core Weight: 1	Total Weight: 961
5.69/5.78	c Elapsed CPU time: 5.74313 s	Remaining CPU time: 1794.26 s
5.69/5.79	c core #962
5.69/5.79	c Core size: 55	Core Weight: 1	Total Weight: 962
5.69/5.79	c Elapsed CPU time: 5.75413 s	Remaining CPU time: 1794.25 s
5.79/5.80	c core #963
5.79/5.80	c Core size: 43	Core Weight: 1	Total Weight: 963
5.79/5.80	c Elapsed CPU time: 5.76512 s	Remaining CPU time: 1794.23 s
5.79/5.82	c core #964
5.79/5.82	c Core size: 26	Core Weight: 1	Total Weight: 964
5.79/5.82	c Elapsed CPU time: 5.77612 s	Remaining CPU time: 1794.22 s
5.79/5.83	c core #965
5.79/5.83	c Core size: 50	Core Weight: 1	Total Weight: 965
5.79/5.83	c Elapsed CPU time: 5.78812 s	Remaining CPU time: 1794.21 s
5.79/5.84	c core #966
5.79/5.84	c Core size: 31	Core Weight: 1	Total Weight: 966
5.79/5.84	c Elapsed CPU time: 5.79912 s	Remaining CPU time: 1794.2 s
5.79/5.85	c core #967
5.79/5.85	c Core size: 51	Core Weight: 1	Total Weight: 967
5.79/5.85	c Elapsed CPU time: 5.81012 s	Remaining CPU time: 1794.19 s
5.79/5.86	c core #968
5.79/5.86	c Core size: 43	Core Weight: 1	Total Weight: 968
5.79/5.86	c Elapsed CPU time: 5.82211 s	Remaining CPU time: 1794.18 s
5.79/5.87	c core #969
5.79/5.87	c Core size: 59	Core Weight: 1	Total Weight: 969
5.79/5.87	c Elapsed CPU time: 5.83411 s	Remaining CPU time: 1794.17 s
5.79/5.88	c core #970
5.79/5.88	c Core size: 42	Core Weight: 1	Total Weight: 970
5.79/5.88	c Elapsed CPU time: 5.84511 s	Remaining CPU time: 1794.15 s
5.79/5.90	c core #971
5.79/5.90	c Core size: 74	Core Weight: 1	Total Weight: 971
5.79/5.90	c Elapsed CPU time: 5.85711 s	Remaining CPU time: 1794.14 s
5.89/5.91	c core #972
5.89/5.91	c Core size: 23	Core Weight: 1	Total Weight: 972
5.89/5.91	c Elapsed CPU time: 5.86811 s	Remaining CPU time: 1794.13 s
5.89/5.92	c core #973
5.89/5.92	c Core size: 47	Core Weight: 1	Total Weight: 973
5.89/5.92	c Elapsed CPU time: 5.87911 s	Remaining CPU time: 1794.12 s
5.89/5.93	c core #974
5.89/5.93	c Core size: 42	Core Weight: 1	Total Weight: 974
5.89/5.93	c Elapsed CPU time: 5.8901 s	Remaining CPU time: 1794.11 s
5.89/5.94	c core #975
5.89/5.94	c Core size: 98	Core Weight: 1	Total Weight: 975
5.89/5.94	c Elapsed CPU time: 5.9021 s	Remaining CPU time: 1794.1 s
5.89/5.95	c ============================[ Search Statistics ]==============================
5.89/5.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.95	c ===============================================================================
5.89/5.95	c |         0 |    4665     6940    15733 |     5000        0    nan |  0.000 % |
5.89/5.95	c ===============================================================================
5.89/5.95	c core #976
5.89/5.95	c Core size: 105	Core Weight: 1	Total Weight: 976
5.89/5.95	c Elapsed CPU time: 5.9151 s	Remaining CPU time: 1794.08 s
5.89/5.96	c ============================[ Search Statistics ]==============================
5.89/5.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.96	c ===============================================================================
5.89/5.96	c |         0 |    4789     6941    15844 |     5000        0    nan |  0.000 % |
5.89/5.97	c ===============================================================================
5.89/5.97	c core #977
5.89/5.97	c Core size: 142	Core Weight: 1	Total Weight: 977
5.89/5.97	c Elapsed CPU time: 5.9281 s	Remaining CPU time: 1794.07 s
5.89/5.98	c ============================[ Search Statistics ]==============================
5.89/5.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.89/5.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.89/5.98	c ===============================================================================
5.89/5.98	c |         0 |    4871     6942    15998 |     5000        0    nan |  0.000 % |
5.89/5.99	c ===============================================================================
5.89/5.99	c core #978
5.89/5.99	c Core size: 137	Core Weight: 1	Total Weight: 978
5.89/5.99	c Elapsed CPU time: 5.9471 s	Remaining CPU time: 1794.05 s
5.99/6.00	c ============================[ Search Statistics ]==============================
5.99/6.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.00	c ===============================================================================
5.99/6.00	c |         0 |    4939     6943    16134 |     5000        0    nan |  0.000 % |
5.99/6.00	c ===============================================================================
5.99/6.00	c core #979
5.99/6.00	c Core size: 276	Core Weight: 1	Total Weight: 979
5.99/6.00	c Elapsed CPU time: 5.96309 s	Remaining CPU time: 1794.04 s
5.99/6.01	c ============================[ Search Statistics ]==============================
5.99/6.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.01	c ===============================================================================
5.99/6.01	c |         0 |    5087     6944    16424 |     5000        0    nan |  0.000 % |
5.99/6.03	c |       100 |    5084     6944    16424 |     5500      100     11 |  3.950 % |
5.99/6.04	c |       251 |    5022     6944    16424 |     6050      242     11 |  6.031 % |
5.99/6.07	c |       476 |    5019     6944    16424 |     6655      467     18 |  6.050 % |
6.09/6.10	c |       813 |    4921     6944    16424 |     7320      787     19 |  6.088 % |
6.09/6.16	c ===============================================================================
6.09/6.17	c core #980
6.09/6.17	c Core size: 957	Core Weight: 1	Total Weight: 980
6.09/6.17	c Elapsed CPU time: 6.11707 s	Remaining CPU time: 1793.88 s
6.09/6.18	c ============================[ Search Statistics ]==============================
6.09/6.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.18	c ===============================================================================
6.09/6.18	c |         0 |    5619     6945    17347 |     5000        0    nan |  0.000 % |
6.09/6.20	c ===============================================================================
6.09/6.20	c core #981
6.09/6.20	c Core size: 303	Core Weight: 1	Total Weight: 981
6.09/6.20	c Elapsed CPU time: 6.14607 s	Remaining CPU time: 1793.85 s
6.19/6.21	c ============================[ Search Statistics ]==============================
6.19/6.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.21	c ===============================================================================
6.19/6.21	c |         0 |    5774     6946    17646 |     5000        0    nan |  0.000 % |
6.19/6.22	c |       100 |    5774     6946    17646 |     5500      100      7 |  1.046 % |
6.19/6.23	c ===============================================================================
6.19/6.24	c core #982
6.19/6.24	c Core size: 242	Core Weight: 1	Total Weight: 982
6.19/6.24	c Elapsed CPU time: 6.18506 s	Remaining CPU time: 1793.81 s
6.19/6.25	c ============================[ Search Statistics ]==============================
6.19/6.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.19/6.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.19/6.25	c ===============================================================================
6.19/6.25	c |         0 |    5894     6947    17879 |     5000        0    nan |  0.000 % |
6.19/6.26	c |       100 |    5894     6947    17879 |     5500      100     16 |  0.908 % |
6.19/6.28	c |       251 |    5894     6947    17879 |     6050      251     11 |  0.908 % |
6.29/6.31	c |       476 |    5894     6947    17879 |     6655      476      8 |  0.908 % |
6.29/6.35	c |       813 |    5893     6947    17879 |     7320      717      8 |  0.925 % |
6.29/6.39	c ===============================================================================
6.39/6.40	c core #983
6.39/6.40	c Core size: 586	Core Weight: 1	Total Weight: 983
6.39/6.40	c Elapsed CPU time: 6.34304 s	Remaining CPU time: 1793.66 s
6.39/6.41	c ============================[ Search Statistics ]==============================
6.39/6.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.41	c ===============================================================================
6.39/6.41	c |         0 |    6166     6948    18414 |     5000        0    nan |  0.000 % |
6.39/6.43	c |       100 |    6166     6948    18414 |     5500      100      6 |  0.773 % |
6.39/6.44	c |       250 |    6166     6948    18414 |     6050      250      8 |  0.772 % |
6.39/6.47	c |       475 |    6162     6948    18414 |     6655      466     10 |  0.837 % |
6.50/6.51	c |       812 |    6156     6948    18414 |     7320      793     11 |  0.933 % |
6.50/6.59	c |      1318 |    6082     6948    18414 |     8052     1282     15 |  2.124 % |
6.59/6.68	c |      2077 |    6082     6948    18414 |     8857     2041     16 |  2.124 % |
6.69/6.75	c ===============================================================================
6.69/6.76	c core #984
6.69/6.76	c Core size: 614	Core Weight: 1	Total Weight: 984
6.69/6.76	c Elapsed CPU time: 6.69498 s	Remaining CPU time: 1793.31 s
6.69/6.78	c ============================[ Search Statistics ]==============================
6.69/6.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.69/6.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.69/6.78	c ===============================================================================
6.69/6.78	c |         0 |    6447     6949    18976 |     5000        0    nan |  0.000 % |
6.69/6.79	c |       102 |    6447     6949    18976 |     5500      102      5 |  0.801 % |
6.78/6.80	c |       257 |    6445     6949    18976 |     6050      257      8 |  0.801 % |
6.78/6.81	c |       483 |    6440     6949    18976 |     6655      482      7 |  0.924 % |
6.78/6.84	c |       824 |    6435     6949    18976 |     7320      820      6 |  0.924 % |
6.78/6.84	c ===============================================================================
6.78/6.85	c core #985
6.78/6.85	c Core size: 475	Core Weight: 1	Total Weight: 985
6.78/6.85	c Elapsed CPU time: 6.77597 s	Remaining CPU time: 1793.22 s
6.78/6.86	c ============================[ Search Statistics ]==============================
6.78/6.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.78/6.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.78/6.86	c ===============================================================================
6.78/6.86	c |         0 |    6668     6950    19418 |     5000        0    nan |  0.000 % |
6.78/6.87	c |       100 |    6668     6950    19418 |     5500      100     14 |  0.715 % |
6.78/6.89	c |       251 |    6668     6950    19418 |     6050      251     13 |  0.715 % |
6.88/6.91	c |       476 |    6668     6950    19418 |     6655      476     13 |  0.715 % |
6.88/6.94	c |       813 |    6668     6950    19418 |     7320      813     17 |  0.715 % |
6.88/6.99	c |      1325 |    6668     6950    19418 |     8052     1325     22 |  0.715 % |
6.99/7.07	c |      2084 |    6668     6950    19418 |     8857     2084     22 |  0.715 % |
7.19/7.21	c |      3223 |    6668     6950    19418 |     9743     3223     24 |  0.715 % |
7.49/7.50	c |      4934 |    6668     6950    19418 |    10717     4934     30 |  0.715 % |
7.70/7.76	c ===============================================================================
7.79/7.81	c core #986
7.79/7.81	c Core size: 536	Core Weight: 1	Total Weight: 986
7.79/7.81	c Elapsed CPU time: 7.71983 s	Remaining CPU time: 1792.28 s
7.79/7.83	c ============================[ Search Statistics ]==============================
7.79/7.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.79/7.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.79/7.83	c ===============================================================================
7.79/7.83	c |         0 |    6907     6951    19896 |     5000        0    nan |  0.000 % |
7.79/7.86	c |       102 |    6907     6951    19896 |     5500      102     44 |  0.690 % |
7.79/7.88	c |       252 |    6907     6951    19896 |     6050      252     37 |  0.690 % |
7.89/7.91	c |       480 |    6907     6951    19896 |     6655      480     41 |  0.690 % |
7.89/7.95	c |       819 |    6907     6951    19896 |     7320      819     64 |  0.690 % |
7.99/8.01	c |      1325 |    6907     6951    19896 |     8052     1325     56 |  0.690 % |
8.09/8.17	c |      2084 |    6907     6951    19896 |     8857     2084     67 |  0.690 % |
8.29/8.34	c |      3225 |    6907     6951    19896 |     9743     3225     67 |  0.690 % |
8.59/8.64	c |      4935 |    6906     6951    19896 |    10717     4934     72 |  0.705 % |
8.98/9.02	c |      7497 |    6906     6951    19896 |    11789     7496     59 |  0.705 % |
9.79/9.81	c |     11341 |    6906     6951    19896 |    12968    11340     56 |  0.705 % |
11.39/11.48	c |     17107 |    6906     6951    19896 |    14265    10531     53 |  0.705 % |
11.69/11.75	c ===============================================================================
11.78/11.88	c core #987
11.78/11.88	c Core size: 578	Core Weight: 1	Total Weight: 987
11.78/11.88	c Elapsed CPU time: 11.7212 s	Remaining CPU time: 1788.28 s
11.88/11.91	c ============================[ Search Statistics ]==============================
11.88/11.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.88/11.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.88/11.91	c ===============================================================================
11.88/11.91	c |         0 |    7161     6952    20404 |     5000        0    nan |  0.000 % |
11.88/11.93	c |       100 |    7161     6952    20404 |     5500      100     17 |  0.666 % |
11.88/11.94	c |       250 |    7161     6952    20404 |     6050      250     16 |  0.666 % |
11.88/11.96	c |       476 |    7161     6952    20404 |     6655      476     24 |  0.666 % |
11.99/12.00	c |       816 |    7161     6952    20404 |     7320      816     31 |  0.666 % |
11.99/12.06	c |      1322 |    7161     6952    20404 |     8052     1322     37 |  0.666 % |
12.09/12.16	c |      2083 |    7161     6952    20404 |     8857     2083     41 |  0.666 % |
12.29/12.34	c |      3229 |    7161     6952    20404 |     9743     3229     41 |  0.666 % |
12.59/12.69	c |      4937 |    7161     6952    20404 |    10717     4937     56 |  0.666 % |
13.09/13.17	c |      7499 |    7161     6952    20404 |    11789     7499     66 |  0.666 % |
13.89/13.92	c |     11348 |    7161     6952    20404 |    12968    11348     65 |  0.666 % |
15.29/15.34	c |     17118 |    7161     6952    20404 |    14265    10421     82 |  0.666 % |
17.49/17.60	c |     25767 |    7161     6952    20404 |    15692    11843     78 |  0.666 % |
21.49/21.54	c |     38742 |    7161     6952    20404 |    17261     8897    112 |  0.666 % |
26.78/26.80	c |     58203 |    7161     6952    20404 |    18987    10757     83 |  0.666 % |
35.58/35.66	c |     87401 |    7161     6952    20404 |    20886    10975    106 |  0.666 % |
51.97/52.07	c |    131191 |    7160     6952    20404 |    22974    12061    135 |  0.680 % |
84.06/84.13	c |    196875 |    7160     6952    20404 |    25272    19487    126 |  0.680 % |
101.95/102.06	c ===============================================================================
104.84/104.93	c core #988
104.84/104.93	c Core size: 937	Core Weight: 1	Total Weight: 988
104.84/104.93	c Elapsed CPU time: 103.752 s	Remaining CPU time: 1696.25 s
105.05/105.18	c ============================[ Search Statistics ]==============================
105.05/105.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.05/105.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
105.05/105.18	c ===============================================================================
105.05/105.18	c |         0 |    7556     6953    21194 |     5000        0    nan |  0.000 % |
105.15/105.23	c |       100 |    7556     6953    21194 |     5500      100     22 |  0.631 % |
105.15/105.25	c |       251 |    7556     6953    21194 |     6050      251     15 |  0.631 % |
105.15/105.28	c |       477 |    7556     6953    21194 |     6655      477     22 |  0.631 % |
105.25/105.31	c |       817 |    7556     6953    21194 |     7320      817     18 |  0.631 % |
105.25/105.36	c |      1323 |    7556     6953    21194 |     8052     1323     18 |  0.631 % |
105.35/105.44	c |      2082 |    7556     6953    21194 |     8857     2082     20 |  0.631 % |
105.45/105.60	c |      3224 |    7556     6953    21194 |     9743     3224     25 |  0.631 % |
105.75/105.80	c |      4934 |    7556     6953    21194 |    10717     4934     23 |  0.631 % |
106.05/106.18	c |      7500 |    7556     6953    21194 |    11789     7500     36 |  0.631 % |
106.75/106.83	c |     11346 |    7556     6953    21194 |    12968    11346     36 |  0.631 % |
107.75/107.89	c |     17113 |    7555     6953    21194 |    14265    10536     34 |  0.644 % |
109.65/109.79	c |     25762 |    7550     6953    21194 |    15692    11904     38 |  0.842 % |
110.15/110.28	c ===============================================================================
110.45/110.58	c core #989
110.45/110.58	c Core size: 1178	Core Weight: 1	Total Weight: 989
110.45/110.58	c Elapsed CPU time: 109.293 s	Remaining CPU time: 1690.71 s
110.55/110.64	c ============================[ Search Statistics ]==============================
110.55/110.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
110.55/110.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
110.55/110.64	c ===============================================================================
110.55/110.64	c |         0 |    8064     6954    22193 |     5000        0    nan |  0.000 % |
110.55/110.67	c |       100 |    8064     6954    22193 |     5500      100     20 |  0.469 % |
110.55/110.69	c |       251 |    8064     6954    22193 |     6050      251     23 |  0.469 % |
110.64/110.72	c |       476 |    8064     6954    22193 |     6655      476     37 |  0.469 % |
110.64/110.77	c |       816 |    8064     6954    22193 |     7320      816     47 |  0.469 % |
110.75/110.84	c |      1324 |    8064     6954    22193 |     8052     1324     49 |  0.469 % |
110.84/110.95	c |      2083 |    8064     6954    22193 |     8857     2083     42 |  0.469 % |
110.95/111.09	c |      3223 |    8064     6954    22193 |     9743     3223     45 |  0.469 % |
111.35/111.43	c |      4934 |    8064     6954    22193 |    10717     4934     51 |  0.469 % |
111.95/112.09	c |      7497 |    8064     6954    22193 |    11789     7497     61 |  0.469 % |
112.84/112.96	c |     11341 |    8063     6954    22193 |    12968    11340     76 |  0.481 % |
114.35/114.49	c |     17107 |    8063     6954    22193 |    14265    10286     92 |  0.481 % |
116.64/116.78	c |     25757 |    8063     6954    22193 |    15692    11695     79 |  0.481 % |
120.55/120.62	c |     38731 |    8063     6954    22193 |    17261     8305    124 |  0.481 % |
128.54/128.70	c |     58193 |    8063     6954    22193 |    18987    10067    143 |  0.481 % |
137.63/137.74	c |     87385 |    8063     6954    22193 |    20886    10073    126 |  0.481 % |
151.83/151.97	c |    131176 |    8063     6954    22193 |    22974    21220    112 |  0.481 % |
184.81/184.90	c |    196860 |    8059     6954    22193 |    25272    16611    149 |  0.531 % |
232.60/232.74	c |    295386 |    8059     6954    22193 |    27799    23457    118 |  0.531 % |
310.57/310.73	c |    443175 |    8059     6954    22193 |    30579    19768    151 |  0.531 % |
441.03/441.21	c |    664858 |    8059     6954    22193 |    33637    30028    200 |  0.531 % |
600.06/600.38	c |    997385 |    8059     6954    22193 |    37001    24152    102 |  0.531 % |
891.54/891.93	c |   1496175 |    8059     6954    22193 |    40701    16832     88 |  0.531 % |

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 2431
/proc/meminfo: memFree=1868648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=2964 CPUtime=0
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 182153037 3035136 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 741 255 127 292 0 418 0

[startup+0.056844 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 2431
/proc/meminfo: memFree=1868648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=3544 CPUtime=0.05
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 503 0 0 0 5 0 0 0 18 0 1 0 182153037 3629056 459 1992294400 134512640 135709839 4294956240 18446744073709551615 134530533 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 886 459 133 292 0 591 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3544

[startup+0.101849 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 2431
/proc/meminfo: memFree=1868648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=3544 CPUtime=0.1
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 503 0 0 0 10 0 0 0 18 0 1 0 182153037 3629056 459 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 886 459 133 292 0 591 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3544

[startup+0.301871 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 2431
/proc/meminfo: memFree=1868648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=3544 CPUtime=0.29
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 507 0 0 0 29 0 0 0 19 0 1 0 182153037 3629056 463 1992294400 134512640 135709839 4294956240 18446744073709551615 135163520 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 886 463 133 292 0 591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3544

[startup+0.701916 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 2431
/proc/meminfo: memFree=1868648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=3788 CPUtime=0.69
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 714 0 0 0 69 0 0 0 23 0 1 0 182153037 3878912 527 1992294400 134512640 135709839 4294956240 18446744073709551615 135162130 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 947 527 133 292 0 652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3788

[startup+1.502 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 2432
/proc/meminfo: memFree=1866656/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=4732 CPUtime=1.5
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 1396 0 0 0 149 1 0 0 25 0 1 0 182153037 4845568 763 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 1183 763 133 292 0 888 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 4732

[startup+3.10118 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 2432
/proc/meminfo: memFree=1864992/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=7092 CPUtime=3.09
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 2571 0 0 0 308 1 0 0 25 0 1 0 182153037 7262208 1342 1992294400 134512640 135709839 4294956240 18446744073709551615 135182794 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 1773 1342 133 292 0 1478 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7092

[startup+6.30154 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 2432
/proc/meminfo: memFree=1858272/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=15140 CPUtime=6.29
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 6212 0 0 0 624 5 0 0 18 0 1 0 182153037 15503360 3369 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 3785 3369 136 292 0 3490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15140

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 2432
/proc/meminfo: memFree=1844896/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=25724 CPUtime=12.69
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 8885 0 0 0 1252 17 0 0 25 0 1 0 182153037 26341376 5966 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 6431 5966 136 292 0 6136 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25724

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 2432
/proc/meminfo: memFree=1819808/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=51216 CPUtime=25.49
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 15283 0 0 0 2508 41 0 0 25 0 1 0 182153037 52445184 12364 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 12804 12364 136 292 0 12509 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51216

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 2432
/proc/meminfo: memFree=1768736/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=102884 CPUtime=51.07
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 28197 0 0 0 5034 73 0 0 25 0 1 0 182153037 105353216 25278 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 25721 25278 136 292 0 25426 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102884

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 2432
/proc/meminfo: memFree=1681824/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=188828 CPUtime=102.25
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 49657 0 0 0 10112 113 0 0 25 0 1 0 182153037 193359872 46738 1992294400 134512640 135709839 4294956240 18446744073709551615 134516588 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 47207 46738 136 292 0 46912 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 188828

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2432
/proc/meminfo: memFree=1633568/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=237644 CPUtime=162.23
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 61885 0 0 0 16027 196 0 0 25 0 1 0 182153037 243347456 58966 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 59411 58966 136 292 0 59116 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 237644

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2432
/proc/meminfo: memFree=1530912/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=339232 CPUtime=222.2
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 87269 0 0 0 21974 246 0 0 25 0 1 0 182153037 347373568 84350 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 84808 84350 136 292 0 84513 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 339232

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2432
/proc/meminfo: memFree=1428768/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=442276 CPUtime=282.19
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 113014 0 0 0 27914 305 0 0 25 0 1 0 182153037 452890624 110095 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 110569 110095 136 292 0 110274 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 442276

[startup+342.302 s]
/proc/loadavg: 1.07 0.99 0.98 2/65 2432
/proc/meminfo: memFree=1339040/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=530832 CPUtime=342.16
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 135130 0 0 0 33858 358 0 0 25 0 1 0 182153037 543571968 132211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 132708 132211 136 292 0 132413 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 530832

[startup+402.302 s]
/proc/loadavg: 1.03 0.99 0.98 2/65 2434
/proc/meminfo: memFree=1252000/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=618940 CPUtime=402.13
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 157136 0 0 0 39811 402 0 0 25 0 1 0 182153037 633794560 154217 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 154735 154217 136 292 0 154440 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 618940

[startup+462.301 s]
/proc/loadavg: 1.08 1.00 0.99 2/65 2434
/proc/meminfo: memFree=1152224/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=717728 CPUtime=462.11
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 181836 0 0 0 45758 453 0 0 25 0 1 0 182153037 734953472 178917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 179432 178917 136 292 0 179137 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 717728

[startup+522.301 s]
/proc/loadavg: 1.09 1.02 0.99 2/65 2434
/proc/meminfo: memFree=1055584/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=814912 CPUtime=522.09
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 206105 0 0 0 51696 513 0 0 25 0 1 0 182153037 834469888 203186 1992294400 134512640 135709839 4294956240 18446744073709551615 134569235 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 203728 203186 136 292 0 203433 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 814912

[startup+582.302 s]
/proc/loadavg: 1.03 1.01 0.99 2/65 2434
/proc/meminfo: memFree=965216/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=904092 CPUtime=582.07
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 228397 0 0 0 57642 565 0 0 25 0 1 0 182153037 925790208 225478 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 226023 225478 136 292 0 225728 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 904092

[startup+642.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 2434
/proc/meminfo: memFree=887968/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=980972 CPUtime=642.04
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 247563 0 0 0 63589 615 0 0 25 0 1 0 182153037 1004515328 244644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 245243 244644 136 292 0 244948 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 980972

[startup+702.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 2434
/proc/meminfo: memFree=799648/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1069812 CPUtime=702.02
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 269790 0 0 0 69536 666 0 0 25 0 1 0 182153037 1095487488 266871 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 267453 266871 136 292 0 267158 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 1069812

[startup+762.306 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 2434
/proc/meminfo: memFree=730272/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1138392 CPUtime=761.99
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 286908 0 0 0 75499 700 0 0 25 0 1 0 182153037 1165713408 283989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 284598 283989 136 292 0 284303 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 1138392

[startup+822.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/65 2434
/proc/meminfo: memFree=663584/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1206028 CPUtime=821.97
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 303811 0 0 0 81458 739 0 0 25 0 1 0 182153037 1234972672 300892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 301507 300892 136 292 0 301212 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 1206028

[startup+882.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 2434
/proc/meminfo: memFree=588896/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1279792 CPUtime=881.95
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 322215 0 0 0 87410 785 0 0 25 0 1 0 182153037 1310507008 319296 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 319948 319296 136 292 0 319653 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1279792

[startup+942.302 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 2439
/proc/meminfo: memFree=499872/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1369296 CPUtime=941.92
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 344565 0 0 0 93359 833 0 0 25 0 1 0 182153037 1402159104 341646 1992294400 134512640 135709839 4294956240 18446744073709551615 134574172 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 342324 341646 136 292 0 342029 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1369296

[startup+1002.3 s]
/proc/loadavg: 1.20 1.08 1.01 2/65 2439
/proc/meminfo: memFree=417504/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1450988 CPUtime=1001.9
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 364982 0 0 0 99321 869 0 0 25 0 1 0 182153037 1485811712 362063 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 362747 362063 136 292 0 362452 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1450988

[startup+1062.3 s]
/proc/loadavg: 1.21 1.10 1.02 2/65 2439
/proc/meminfo: memFree=331104/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1537752 CPUtime=1061.88
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 386635 0 0 0 105282 906 0 0 25 0 1 0 182153037 1574658048 383716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 384438 383716 136 292 0 384143 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1537752

[startup+1122.3 s]
/proc/loadavg: 1.14 1.09 1.02 2/65 2439
/proc/meminfo: memFree=261728/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1607328 CPUtime=1121.86
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 404006 0 0 0 111243 943 0 0 25 0 1 0 182153037 1645903872 401087 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 401832 401087 136 292 0 401537 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1607328

[startup+1182.3 s]
/proc/loadavg: 1.18 1.11 1.02 2/65 2439
/proc/meminfo: memFree=177504/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1691536 CPUtime=1181.83
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 425053 0 0 0 117191 992 0 0 25 0 1 0 182153037 1732132864 422134 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 422884 422134 136 292 0 422589 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1691536

[startup+1242.3 s]
/proc/loadavg: 1.12 1.10 1.02 2/65 2439
/proc/meminfo: memFree=91552/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1776560 CPUtime=1241.81
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 446293 0 0 0 123141 1040 0 0 25 0 1 0 182153037 1819197440 443374 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 444140 443374 136 292 0 443845 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 1776560



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1295.2 s]
/proc/loadavg: 1.09 1.10 1.02 2/65 2439
/proc/meminfo: memFree=24288/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=1843200 CPUtime=1294.69
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4194304 462959 0 0 0 128392 1077 0 0 25 0 1 0 182153037 1887436800 460040 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 460800 460040 136 292 0 460505 0
Current children cumulated CPU time (s) 1294.69
Current children cumulated vsize (KiB) 1843200

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

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

[startup+1295.4 s]
/proc/loadavg: 1.09 1.10 1.02 2/65 2439
/proc/meminfo: memFree=24288/2055920 swapFree=4191900/4192956
[pid=2431] ppid=2429 vsize=0 CPUtime=1294.89
/proc/2431/stat : 2431 (wbo) R 2429 2431 2351 0 -1 4195332 462959 0 0 0 128392 1097 0 0 25 0 1 0 182153037 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/2431/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1294.89
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1295.47
CPU time (s): 1294.97
CPU user time (s): 1283.93
CPU system time (s): 11.0403
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 1843200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1283.93
system time used= 11.0403
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4233

runsolver used 1.12283 second user time and 3.66244 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 11:45:23
IDJOB=1875711
IDBENCH=1990
IDSOLVER=698
FILE ID=node9/1875711-1245145523
PBS_JOBID= 9363758
Free space on /tmp= 66160 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875711-1245145523/watcher-1875711-1245145523 -o /tmp/evaluation-result-1875711-1245145523/solver-1875711-1245145523 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875711-1245145523.opb

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

MD5SUM BENCH= 4609670c187ed2b426f26d3b2e2df0b2
RANDOM SEED=294891421

node9.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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
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:       1869192 kB
Buffers:         26968 kB
Cached:          94016 kB
SwapCached:        260 kB
Active:          17868 kB
Inactive:       115872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869192 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2480 kB
Writeback:           0 kB
Mapped:          21996 kB
Slab:            39056 kB
Committed_AS:   155356 kB
PageTables:       1392 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-1875711-1245145523.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 12:07:01