Trace number 1875590

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) 1586.16 1586.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
MD5SUMd89a654d285384133d515ccaf16a0c40
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1051
Best CPU time to get the best result obtained on this benchmark1797.57
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1040
Optimality of the best value was proved NO
Number of variables1968
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 1968
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 1968
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 1968
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-1875590-1245145779.opb.
0.00/0.00	c Instance file HOME/instance-1875590-1245145779.opb
0.00/0.00	c File size is 112254 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.02         s                                      |
0.00/0.01	c |  Number Variables:      1968                                                |
0.00/0.01	c |  Number Clauses:        5968                                                |
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.017997 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.021996 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.024996 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.028995 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.032994 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.035994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.039993 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.042993 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.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.050992 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.053991 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.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #14
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #15
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.06	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #16
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #18
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #19
0.08/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.08/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.08/0.08	c core #20
0.08/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.08/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #21
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.08/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #22
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.08/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.08/0.09	c core #23
0.08/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.08/0.09	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #24
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.10/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #25
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.10/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #26
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.10/0.10	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #27
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.10/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #28
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.10/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #29
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.10/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #30
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.10/0.12	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #31
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.10/0.12	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #32
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.10/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #33
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.10/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #34
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.10/0.13	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #35
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.10/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #36
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.10/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #37
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 37
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #38
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.10/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #39
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.10/0.15	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #40
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.10/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #41
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.10/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #42
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.10/0.16	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #43
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.10/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #44
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.10/0.17	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #45
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.10/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #46
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.10/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #47
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.10/0.18	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #48
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.10/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #49
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.10/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #50
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.10/0.19	c Elapsed CPU time: 0.197969 s	Remaining CPU time: 1799.8 s
0.20/0.20	c core #51
0.20/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.20/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.20/0.20	c core #52
0.20/0.20	c Core size: 3	Core Weight: 1	Total Weight: 52
0.20/0.20	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #53
0.20/0.21	c Core size: 3	Core Weight: 1	Total Weight: 53
0.20/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #54
0.20/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.20/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.20/0.21	c core #55
0.20/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.20/0.21	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #56
0.20/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.20/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #57
0.20/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.20/0.22	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.20/0.22	c core #58
0.20/0.22	c Core size: 3	Core Weight: 1	Total Weight: 58
0.20/0.22	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.20/0.23	c core #59
0.20/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.20/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.20/0.23	c core #60
0.20/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.20/0.23	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.20/0.24	c core #61
0.20/0.24	c Core size: 3	Core Weight: 1	Total Weight: 61
0.20/0.24	c Elapsed CPU time: 0.238963 s	Remaining CPU time: 1799.76 s
0.20/0.24	c core #62
0.20/0.24	c Core size: 3	Core Weight: 1	Total Weight: 62
0.20/0.24	c Elapsed CPU time: 0.242963 s	Remaining CPU time: 1799.76 s
0.20/0.24	c core #63
0.20/0.24	c Core size: 3	Core Weight: 1	Total Weight: 63
0.20/0.24	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #64
0.20/0.25	c Core size: 3	Core Weight: 1	Total Weight: 64
0.20/0.25	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #65
0.20/0.25	c Core size: 3	Core Weight: 1	Total Weight: 65
0.20/0.25	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.20/0.25	c core #66
0.20/0.25	c Core size: 3	Core Weight: 1	Total Weight: 66
0.20/0.25	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.20/0.26	c core #67
0.20/0.26	c Core size: 3	Core Weight: 1	Total Weight: 67
0.20/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.20/0.26	c core #68
0.20/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.20/0.26	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 1799.73 s
0.20/0.27	c core #69
0.20/0.27	c Core size: 3	Core Weight: 1	Total Weight: 69
0.20/0.27	c Elapsed CPU time: 0.269958 s	Remaining CPU time: 1799.73 s
0.20/0.27	c core #70
0.20/0.27	c Core size: 3	Core Weight: 1	Total Weight: 70
0.20/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.20/0.27	c core #71
0.20/0.27	c Core size: 3	Core Weight: 1	Total Weight: 71
0.20/0.27	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.20/0.28	c core #72
0.20/0.28	c Core size: 3	Core Weight: 1	Total Weight: 72
0.20/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.20/0.28	c core #73
0.20/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.20/0.28	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.20/0.29	c core #74
0.20/0.29	c Core size: 3	Core Weight: 1	Total Weight: 74
0.20/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.20/0.29	c core #75
0.20/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.20/0.29	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.20/0.29	c core #76
0.20/0.29	c Core size: 3	Core Weight: 1	Total Weight: 76
0.20/0.29	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #77
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #79
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.30	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #80
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 80
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #81
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.31	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #82
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #84
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.32	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #85
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #86
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.33	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #87
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #89
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.34	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #92
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #94
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.36	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #97
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #99
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.38	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #102
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #103
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #107
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.41	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #112
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.43	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #114
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.44	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #115
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #116
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.45	c Elapsed CPU time: 0.45493 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #117
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.46	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #118
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #119
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.46	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #120
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.47	c Elapsed CPU time: 0.470928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #121
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.47	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #122
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #123
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.48	c Elapsed CPU time: 0.482926 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #124
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.48	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #125
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #126
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 126
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #127
0.39/0.50	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.50	c Elapsed CPU time: 0.498924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #128
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.50	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #129
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.50	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #130
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #131
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #132
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #133
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.52	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #134
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.52	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #135
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.53	c Elapsed CPU time: 0.530919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #136
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.53	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #137
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #138
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.54	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #139
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.55	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #140
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.55	c Elapsed CPU time: 0.551916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #141
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.55	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #142
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.56	c Elapsed CPU time: 0.560914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #143
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #144
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #145
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #146
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.57	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #147
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #148
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.58	c Elapsed CPU time: 0.58591 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #149
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.59	c Elapsed CPU time: 0.58991 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #150
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 150
0.49/0.59	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #151
0.49/0.60	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.60	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #152
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.60	c Elapsed CPU time: 0.601908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #153
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.60	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #154
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.61	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #155
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.61	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #156
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.62	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #157
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.62	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #158
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #159
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #160
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.63	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #161
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.64	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #162
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.64	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #163
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.65	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #164
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #165
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.65	c Elapsed CPU time: 0.6569 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #166
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.66	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #167
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.66	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #168
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.67	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #169
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.67	c Elapsed CPU time: 0.673897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #170
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.68	c Elapsed CPU time: 0.677896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #171
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.68	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #172
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.68	c Elapsed CPU time: 0.686895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #173
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.69	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #174
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.69	c Elapsed CPU time: 0.695894 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #175
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 175
0.69/0.70	c Elapsed CPU time: 0.699893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #176
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.70	c Elapsed CPU time: 0.704892 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #177
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.71	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #178
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.71	c Elapsed CPU time: 0.712891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #179
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.72	c Elapsed CPU time: 0.71789 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #180
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.72	c Elapsed CPU time: 0.72189 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #181
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.72	c Elapsed CPU time: 0.725889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #182
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.73	c Elapsed CPU time: 0.729889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #183
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #184
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #185
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.74	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #186
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #187
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.75	c Elapsed CPU time: 0.750885 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #188
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.75	c Elapsed CPU time: 0.754885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #189
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.76	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #190
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.76	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #191
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.77	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #192
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.77	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #193
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.78	c Elapsed CPU time: 0.777881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #194
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #195
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.79	c Elapsed CPU time: 0.78688 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #196
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.79	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #197
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.80	c Elapsed CPU time: 0.795879 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #198
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.80	c Elapsed CPU time: 0.799878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #199
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.80	c Elapsed CPU time: 0.804877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #200
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.81	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #201
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.81	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #202
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.82	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #203
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.82	c Elapsed CPU time: 0.821875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #204
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.83	c Elapsed CPU time: 0.826874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #205
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.83	c Elapsed CPU time: 0.831873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #206
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.84	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #207
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.84	c Elapsed CPU time: 0.840872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #208
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.85	c Elapsed CPU time: 0.845871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #209
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.85	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #210
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.85	c Elapsed CPU time: 0.85487 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #211
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.86	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #212
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.86	c Elapsed CPU time: 0.863868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #213
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.87	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #214
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.87	c Elapsed CPU time: 0.872867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #215
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.88	c Elapsed CPU time: 0.877866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #216
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.88	c Elapsed CPU time: 0.882865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #217
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #218
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #219
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.90	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #220
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.90	c Elapsed CPU time: 0.899863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #221
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.91	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #222
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #223
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.91	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #224
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.92	c Elapsed CPU time: 0.91886 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #225
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.92	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #226
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.93	c Elapsed CPU time: 0.928858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #227
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.93	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #228
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #229
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.94	c Elapsed CPU time: 0.942856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #230
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.95	c Elapsed CPU time: 0.947855 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #231
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.95	c Elapsed CPU time: 0.952855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #232
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.96	c Elapsed CPU time: 0.956854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #233
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.96	c Elapsed CPU time: 0.961853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #234
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #235
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #236
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #237
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.98	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #238
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.99	c Elapsed CPU time: 0.98485 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #239
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.99	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #240
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/1.00	c Elapsed CPU time: 0.994848 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #241
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 241
0.89/1.00	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #242
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.01	c Elapsed CPU time: 1.00285 s	Remaining CPU time: 1799 s
0.99/1.01	c core #243
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.01	c Elapsed CPU time: 1.00785 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #244
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.02	c Elapsed CPU time: 1.01285 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #245
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.02	c Elapsed CPU time: 1.01784 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #246
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.03	c Elapsed CPU time: 1.02284 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #247
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.03	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #248
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.04	c Elapsed CPU time: 1.03284 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #249
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.04	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #250
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.05	c Elapsed CPU time: 1.04284 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #251
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.05	c Elapsed CPU time: 1.04784 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #252
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.06	c Elapsed CPU time: 1.05284 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #253
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.06	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #254
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.07	c Elapsed CPU time: 1.06284 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #255
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.07	c Elapsed CPU time: 1.06784 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #256
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.08	c Elapsed CPU time: 1.07384 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #257
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.08	c Elapsed CPU time: 1.07883 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #258
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.09	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #259
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.09	c Elapsed CPU time: 1.08783 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #260
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 260
0.99/1.10	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #261
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.10	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #262
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.11	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 1798.9 s
1.09/1.12	c core #263
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.12	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #264
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.12	c Elapsed CPU time: 1.11383 s	Remaining CPU time: 1798.89 s
1.09/1.13	c core #265
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.13	c Elapsed CPU time: 1.11783 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #266
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.13	c Elapsed CPU time: 1.12283 s	Remaining CPU time: 1798.88 s
1.09/1.14	c core #267
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.14	c Elapsed CPU time: 1.12883 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #268
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.14	c Elapsed CPU time: 1.13383 s	Remaining CPU time: 1798.87 s
1.09/1.15	c core #269
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.15	c Elapsed CPU time: 1.13983 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #270
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.15	c Elapsed CPU time: 1.14482 s	Remaining CPU time: 1798.86 s
1.09/1.16	c core #271
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.16	c Elapsed CPU time: 1.14983 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #272
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.16	c Elapsed CPU time: 1.15482 s	Remaining CPU time: 1798.85 s
1.09/1.17	c core #273
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #274
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 274
1.09/1.17	c Elapsed CPU time: 1.16582 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #275
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.18	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #276
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #277
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.19	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #278
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 278
1.09/1.19	c Elapsed CPU time: 1.18582 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #279
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 279
1.18/1.20	c Elapsed CPU time: 1.19082 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #280
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 280
1.18/1.20	c Elapsed CPU time: 1.19582 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #281
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 281
1.18/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.18/1.22	c core #282
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 282
1.18/1.22	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.18/1.22	c core #283
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 283
1.18/1.22	c Elapsed CPU time: 1.21182 s	Remaining CPU time: 1798.79 s
1.18/1.23	c core #284
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 284
1.18/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.18/1.23	c core #285
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 285
1.18/1.23	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 1798.78 s
1.18/1.24	c core #286
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 286
1.18/1.24	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.18/1.24	c core #287
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 287
1.18/1.24	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #288
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 288
1.18/1.25	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.18/1.25	c core #289
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 289
1.18/1.25	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #290
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 290
1.18/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.18/1.26	c core #291
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 291
1.18/1.26	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #292
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 292
1.18/1.27	c Elapsed CPU time: 1.25981 s	Remaining CPU time: 1798.74 s
1.18/1.27	c core #293
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 293
1.18/1.27	c Elapsed CPU time: 1.26481 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #294
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 294
1.18/1.28	c Elapsed CPU time: 1.26981 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #295
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 295
1.18/1.29	c Elapsed CPU time: 1.27581 s	Remaining CPU time: 1798.72 s
1.18/1.29	c core #296
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 296
1.18/1.29	c Elapsed CPU time: 1.2808 s	Remaining CPU time: 1798.72 s
1.18/1.30	c core #297
1.18/1.30	c Core size: 3	Core Weight: 1	Total Weight: 297
1.18/1.30	c Elapsed CPU time: 1.2858 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #298
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 298
1.28/1.30	c Elapsed CPU time: 1.2908 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #299
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 299
1.28/1.31	c Elapsed CPU time: 1.2958 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #300
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 300
1.28/1.31	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #301
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.32	c Elapsed CPU time: 1.3068 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #302
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.32	c Elapsed CPU time: 1.3118 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #303
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.33	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #304
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.33	c Elapsed CPU time: 1.3228 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #305
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.34	c Elapsed CPU time: 1.3288 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #306
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.34	c Elapsed CPU time: 1.3338 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #307
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.35	c Elapsed CPU time: 1.3398 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #308
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.36	c Elapsed CPU time: 1.34479 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #309
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.36	c Elapsed CPU time: 1.35079 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #310
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.37	c Elapsed CPU time: 1.35579 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #311
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 311
1.28/1.37	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #312
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.38	c Elapsed CPU time: 1.36579 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #313
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 313
1.28/1.38	c Elapsed CPU time: 1.37179 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #314
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 314
1.28/1.39	c Elapsed CPU time: 1.37679 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #315
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 315
1.28/1.39	c Elapsed CPU time: 1.38279 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #316
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.40	c Elapsed CPU time: 1.38779 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #317
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.41	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #318
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 318
1.38/1.41	c Elapsed CPU time: 1.39879 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #319
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.42	c Elapsed CPU time: 1.40479 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #320
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.42	c Elapsed CPU time: 1.40979 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #321
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.43	c Elapsed CPU time: 1.41578 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #322
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.43	c Elapsed CPU time: 1.42078 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #323
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.44	c Elapsed CPU time: 1.42678 s	Remaining CPU time: 1798.57 s
1.38/1.44	c core #324
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.44	c Elapsed CPU time: 1.43178 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #325
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.45	c Elapsed CPU time: 1.43778 s	Remaining CPU time: 1798.56 s
1.38/1.45	c core #326
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.45	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #327
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.46	c Elapsed CPU time: 1.44878 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #328
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.47	c Elapsed CPU time: 1.45378 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #329
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 329
1.38/1.47	c Elapsed CPU time: 1.45978 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #330
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.48	c Elapsed CPU time: 1.46478 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #331
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 331
1.38/1.48	c Elapsed CPU time: 1.47078 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #332
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 332
1.38/1.49	c Elapsed CPU time: 1.47677 s	Remaining CPU time: 1798.52 s
1.38/1.49	c core #333
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 333
1.38/1.49	c Elapsed CPU time: 1.48177 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #334
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 334
1.48/1.50	c Elapsed CPU time: 1.48677 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #335
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 335
1.48/1.51	c Elapsed CPU time: 1.49277 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #336
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 336
1.48/1.51	c Elapsed CPU time: 1.49777 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #337
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 337
1.48/1.52	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #338
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 338
1.48/1.52	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #339
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.53	c Elapsed CPU time: 1.51377 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #340
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 340
1.48/1.53	c Elapsed CPU time: 1.51977 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #341
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.54	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #342
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 342
1.48/1.54	c Elapsed CPU time: 1.52977 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #343
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 343
1.48/1.55	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #344
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 344
1.48/1.56	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #345
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 345
1.48/1.56	c Elapsed CPU time: 1.54576 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #346
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 346
1.48/1.57	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #347
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 347
1.48/1.57	c Elapsed CPU time: 1.55476 s	Remaining CPU time: 1798.45 s
1.48/1.58	c core #348
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 348
1.48/1.58	c Elapsed CPU time: 1.56076 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #349
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 349
1.48/1.58	c Elapsed CPU time: 1.56576 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #350
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 350
1.48/1.59	c Elapsed CPU time: 1.57176 s	Remaining CPU time: 1798.43 s
1.48/1.60	c core #351
1.48/1.60	c Core size: 3	Core Weight: 1	Total Weight: 351
1.48/1.60	c Elapsed CPU time: 1.57776 s	Remaining CPU time: 1798.42 s
1.58/1.60	c core #352
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 352
1.58/1.60	c Elapsed CPU time: 1.58176 s	Remaining CPU time: 1798.42 s
1.58/1.61	c core #353
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 353
1.58/1.61	c Elapsed CPU time: 1.58776 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #354
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 354
1.58/1.61	c Elapsed CPU time: 1.59276 s	Remaining CPU time: 1798.41 s
1.58/1.62	c core #355
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 355
1.58/1.62	c Elapsed CPU time: 1.59876 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #356
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 356
1.58/1.62	c Elapsed CPU time: 1.60476 s	Remaining CPU time: 1798.4 s
1.58/1.63	c core #357
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 357
1.58/1.63	c Elapsed CPU time: 1.60976 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #358
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 358
1.58/1.63	c Elapsed CPU time: 1.61575 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #359
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 359
1.58/1.64	c Elapsed CPU time: 1.62175 s	Remaining CPU time: 1798.38 s
1.58/1.65	c core #360
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.65	c Elapsed CPU time: 1.62675 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #361
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 361
1.58/1.65	c Elapsed CPU time: 1.63175 s	Remaining CPU time: 1798.37 s
1.58/1.66	c core #362
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 362
1.58/1.66	c Elapsed CPU time: 1.63775 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #363
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 363
1.58/1.66	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 1798.36 s
1.58/1.67	c core #364
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.67	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #365
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 365
1.58/1.67	c Elapsed CPU time: 1.65475 s	Remaining CPU time: 1798.35 s
1.58/1.68	c core #366
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 366
1.58/1.68	c Elapsed CPU time: 1.66075 s	Remaining CPU time: 1798.34 s
1.58/1.69	c core #367
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 367
1.58/1.69	c Elapsed CPU time: 1.66675 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #368
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 368
1.58/1.69	c Elapsed CPU time: 1.67274 s	Remaining CPU time: 1798.33 s
1.68/1.70	c core #369
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 369
1.68/1.70	c Elapsed CPU time: 1.67674 s	Remaining CPU time: 1798.32 s
1.68/1.70	c core #370
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 370
1.68/1.70	c Elapsed CPU time: 1.68274 s	Remaining CPU time: 1798.32 s
1.68/1.71	c core #371
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 371
1.68/1.71	c Elapsed CPU time: 1.68874 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #372
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 372
1.68/1.72	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #373
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 373
1.68/1.72	c Elapsed CPU time: 1.70074 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #374
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 374
1.68/1.73	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 1798.29 s
1.68/1.73	c core #375
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 375
1.68/1.73	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.68/1.74	c core #376
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 376
1.68/1.74	c Elapsed CPU time: 1.71774 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #377
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 377
1.68/1.75	c Elapsed CPU time: 1.72274 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #378
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 378
1.68/1.75	c Elapsed CPU time: 1.72874 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #379
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.76	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #380
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 380
1.68/1.76	c Elapsed CPU time: 1.74073 s	Remaining CPU time: 1798.26 s
1.68/1.77	c core #381
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.77	c Elapsed CPU time: 1.74673 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #382
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 382
1.68/1.78	c Elapsed CPU time: 1.75273 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #383
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 383
1.68/1.78	c Elapsed CPU time: 1.75773 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #384
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 384
1.68/1.79	c Elapsed CPU time: 1.76373 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #385
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 385
1.68/1.79	c Elapsed CPU time: 1.76973 s	Remaining CPU time: 1798.23 s
1.78/1.80	c core #386
1.78/1.80	c Core size: 3	Core Weight: 1	Total Weight: 386
1.78/1.80	c Elapsed CPU time: 1.77573 s	Remaining CPU time: 1798.22 s
1.78/1.80	c core #387
1.78/1.80	c Core size: 3	Core Weight: 1	Total Weight: 387
1.78/1.80	c Elapsed CPU time: 1.78173 s	Remaining CPU time: 1798.22 s
1.78/1.81	c core #388
1.78/1.81	c Core size: 3	Core Weight: 1	Total Weight: 388
1.78/1.81	c Elapsed CPU time: 1.78773 s	Remaining CPU time: 1798.21 s
1.78/1.82	c core #389
1.78/1.82	c Core size: 3	Core Weight: 1	Total Weight: 389
1.78/1.82	c Elapsed CPU time: 1.79373 s	Remaining CPU time: 1798.21 s
1.78/1.82	c core #390
1.78/1.82	c Core size: 3	Core Weight: 1	Total Weight: 390
1.78/1.82	c Elapsed CPU time: 1.79873 s	Remaining CPU time: 1798.2 s
1.78/1.83	c core #391
1.78/1.83	c Core size: 3	Core Weight: 1	Total Weight: 391
1.78/1.83	c Elapsed CPU time: 1.80472 s	Remaining CPU time: 1798.2 s
1.78/1.83	c core #392
1.78/1.83	c Core size: 3	Core Weight: 1	Total Weight: 392
1.78/1.83	c Elapsed CPU time: 1.81072 s	Remaining CPU time: 1798.19 s
1.78/1.84	c core #393
1.78/1.84	c Core size: 3	Core Weight: 1	Total Weight: 393
1.78/1.84	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 1798.18 s
1.78/1.85	c core #394
1.78/1.85	c Core size: 3	Core Weight: 1	Total Weight: 394
1.78/1.85	c Elapsed CPU time: 1.82172 s	Remaining CPU time: 1798.18 s
1.78/1.85	c core #395
1.78/1.85	c Core size: 3	Core Weight: 1	Total Weight: 395
1.78/1.85	c Elapsed CPU time: 1.82772 s	Remaining CPU time: 1798.17 s
1.78/1.86	c core #396
1.78/1.86	c Core size: 3	Core Weight: 1	Total Weight: 396
1.78/1.86	c Elapsed CPU time: 1.83372 s	Remaining CPU time: 1798.17 s
1.78/1.86	c core #397
1.78/1.86	c Core size: 3	Core Weight: 1	Total Weight: 397
1.78/1.86	c Elapsed CPU time: 1.83972 s	Remaining CPU time: 1798.16 s
1.78/1.87	c core #398
1.78/1.87	c Core size: 3	Core Weight: 1	Total Weight: 398
1.78/1.87	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.78/1.88	c core #399
1.78/1.88	c Core size: 3	Core Weight: 1	Total Weight: 399
1.78/1.88	c Elapsed CPU time: 1.85172 s	Remaining CPU time: 1798.15 s
1.78/1.88	c core #400
1.78/1.88	c Core size: 3	Core Weight: 1	Total Weight: 400
1.78/1.88	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.78/1.89	c core #401
1.78/1.89	c Core size: 3	Core Weight: 1	Total Weight: 401
1.78/1.89	c Elapsed CPU time: 1.86272 s	Remaining CPU time: 1798.14 s
1.78/1.89	c core #402
1.78/1.89	c Core size: 3	Core Weight: 1	Total Weight: 402
1.78/1.89	c Elapsed CPU time: 1.86772 s	Remaining CPU time: 1798.13 s
1.88/1.90	c core #403
1.88/1.90	c Core size: 3	Core Weight: 1	Total Weight: 403
1.88/1.90	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.88/1.90	c core #404
1.88/1.90	c Core size: 3	Core Weight: 1	Total Weight: 404
1.88/1.90	c Elapsed CPU time: 1.87871 s	Remaining CPU time: 1798.12 s
1.88/1.91	c core #405
1.88/1.91	c Core size: 3	Core Weight: 1	Total Weight: 405
1.88/1.91	c Elapsed CPU time: 1.88271 s	Remaining CPU time: 1798.12 s
1.88/1.92	c core #406
1.88/1.92	c Core size: 3	Core Weight: 1	Total Weight: 406
1.88/1.92	c Elapsed CPU time: 1.88871 s	Remaining CPU time: 1798.11 s
1.88/1.92	c core #407
1.88/1.92	c Core size: 3	Core Weight: 1	Total Weight: 407
1.88/1.92	c Elapsed CPU time: 1.89371 s	Remaining CPU time: 1798.11 s
1.88/1.93	c core #408
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 408
1.88/1.93	c Elapsed CPU time: 1.89871 s	Remaining CPU time: 1798.1 s
1.88/1.93	c core #409
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 409
1.88/1.93	c Elapsed CPU time: 1.90371 s	Remaining CPU time: 1798.1 s
1.88/1.94	c core #410
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 410
1.88/1.94	c Elapsed CPU time: 1.90971 s	Remaining CPU time: 1798.09 s
1.88/1.94	c core #411
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 411
1.88/1.94	c Elapsed CPU time: 1.91471 s	Remaining CPU time: 1798.09 s
1.88/1.95	c core #412
1.88/1.95	c Core size: 3	Core Weight: 1	Total Weight: 412
1.88/1.95	c Elapsed CPU time: 1.92071 s	Remaining CPU time: 1798.08 s
1.88/1.95	c core #413
1.88/1.95	c Core size: 3	Core Weight: 1	Total Weight: 413
1.88/1.95	c Elapsed CPU time: 1.92571 s	Remaining CPU time: 1798.07 s
1.88/1.96	c core #414
1.88/1.96	c Core size: 3	Core Weight: 1	Total Weight: 414
1.88/1.96	c Elapsed CPU time: 1.93071 s	Remaining CPU time: 1798.07 s
1.88/1.96	c core #415
1.88/1.96	c Core size: 3	Core Weight: 1	Total Weight: 415
1.88/1.96	c Elapsed CPU time: 1.93571 s	Remaining CPU time: 1798.06 s
1.88/1.97	c core #416
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 416
1.88/1.97	c Elapsed CPU time: 1.9407 s	Remaining CPU time: 1798.06 s
1.88/1.97	c core #417
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 417
1.88/1.97	c Elapsed CPU time: 1.9457 s	Remaining CPU time: 1798.05 s
1.88/1.98	c core #418
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 418
1.88/1.98	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 1798.05 s
1.88/1.98	c core #419
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 419
1.88/1.98	c Elapsed CPU time: 1.9567 s	Remaining CPU time: 1798.04 s
1.88/1.99	c core #420
1.88/1.99	c Core size: 3	Core Weight: 1	Total Weight: 420
1.88/1.99	c Elapsed CPU time: 1.9617 s	Remaining CPU time: 1798.04 s
1.88/2.00	c core #421
1.88/2.00	c Core size: 3	Core Weight: 1	Total Weight: 421
1.88/2.00	c Elapsed CPU time: 1.9677 s	Remaining CPU time: 1798.03 s
1.97/2.00	c core #422
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 422
1.97/2.00	c Elapsed CPU time: 1.9737 s	Remaining CPU time: 1798.03 s
1.97/2.01	c core #423
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 423
1.97/2.01	c Elapsed CPU time: 1.9777 s	Remaining CPU time: 1798.02 s
1.97/2.01	c core #424
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 424
1.97/2.01	c Elapsed CPU time: 1.9827 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #425
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 425
1.97/2.02	c Elapsed CPU time: 1.9887 s	Remaining CPU time: 1798.01 s
1.97/2.02	c core #426
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 426
1.97/2.02	c Elapsed CPU time: 1.9947 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #427
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 427
1.97/2.03	c Elapsed CPU time: 1.9997 s	Remaining CPU time: 1798 s
1.97/2.03	c core #428
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 428
1.97/2.03	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.97/2.04	c core #429
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 429
1.97/2.04	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.97/2.04	c core #430
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 430
1.97/2.04	c Elapsed CPU time: 2.01569 s	Remaining CPU time: 1797.98 s
1.97/2.05	c core #431
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 431
1.97/2.05	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #432
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 432
1.97/2.06	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.97/2.06	c core #433
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 433
1.97/2.06	c Elapsed CPU time: 2.03269 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #434
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 434
1.97/2.07	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 1797.96 s
1.97/2.07	c core #435
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 435
1.97/2.07	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #436
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 436
1.97/2.08	c Elapsed CPU time: 2.04969 s	Remaining CPU time: 1797.95 s
1.97/2.08	c core #437
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 437
1.97/2.08	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 1797.94 s
1.97/2.09	c core #438
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 438
1.97/2.09	c Elapsed CPU time: 2.06069 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #439
1.97/2.10	c Core size: 3	Core Weight: 1	Total Weight: 439
1.97/2.10	c Elapsed CPU time: 2.06669 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #440
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 440
2.07/2.11	c Elapsed CPU time: 2.07268 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #441
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 441
2.07/2.11	c Elapsed CPU time: 2.07868 s	Remaining CPU time: 1797.92 s
2.07/2.12	c core #442
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 442
2.07/2.12	c Elapsed CPU time: 2.08468 s	Remaining CPU time: 1797.92 s
2.07/2.12	c core #443
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 443
2.07/2.12	c Elapsed CPU time: 2.09068 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #444
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 444
2.07/2.13	c Elapsed CPU time: 2.09668 s	Remaining CPU time: 1797.9 s
2.07/2.14	c core #445
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 445
2.07/2.14	c Elapsed CPU time: 2.10368 s	Remaining CPU time: 1797.9 s
2.07/2.14	c core #446
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 446
2.07/2.14	c Elapsed CPU time: 2.10968 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #447
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 447
2.07/2.15	c Elapsed CPU time: 2.11568 s	Remaining CPU time: 1797.88 s
2.07/2.15	c core #448
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 448
2.07/2.15	c Elapsed CPU time: 2.12168 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #449
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 449
2.07/2.16	c Elapsed CPU time: 2.12768 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #450
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 450
2.07/2.17	c Elapsed CPU time: 2.13368 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #451
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 451
2.07/2.17	c Elapsed CPU time: 2.13967 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #452
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 452
2.07/2.18	c Elapsed CPU time: 2.14567 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #453
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 453
2.07/2.19	c Elapsed CPU time: 2.15167 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #454
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 454
2.07/2.19	c Elapsed CPU time: 2.15767 s	Remaining CPU time: 1797.84 s
2.07/2.20	c core #455
2.07/2.20	c Core size: 3	Core Weight: 1	Total Weight: 455
2.07/2.20	c Elapsed CPU time: 2.16467 s	Remaining CPU time: 1797.84 s
2.17/2.20	c core #456
2.17/2.20	c Core size: 3	Core Weight: 1	Total Weight: 456
2.17/2.20	c Elapsed CPU time: 2.17067 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #457
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 457
2.17/2.21	c Elapsed CPU time: 2.17667 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #458
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 458
2.17/2.22	c Elapsed CPU time: 2.18267 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #459
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 459
2.17/2.22	c Elapsed CPU time: 2.18867 s	Remaining CPU time: 1797.81 s
2.17/2.23	c core #460
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 460
2.17/2.23	c Elapsed CPU time: 2.19567 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #461
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 461
2.17/2.24	c Elapsed CPU time: 2.20167 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #462
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 462
2.17/2.24	c Elapsed CPU time: 2.20766 s	Remaining CPU time: 1797.79 s
2.17/2.25	c core #463
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 463
2.17/2.25	c Elapsed CPU time: 2.21366 s	Remaining CPU time: 1797.79 s
2.17/2.25	c core #464
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 464
2.17/2.25	c Elapsed CPU time: 2.21966 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #465
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 465
2.17/2.26	c Elapsed CPU time: 2.22566 s	Remaining CPU time: 1797.77 s
2.17/2.27	c core #466
2.17/2.27	c Core size: 3	Core Weight: 1	Total Weight: 466
2.17/2.27	c Elapsed CPU time: 2.23166 s	Remaining CPU time: 1797.77 s
2.17/2.27	c core #467
2.17/2.27	c Core size: 3	Core Weight: 1	Total Weight: 467
2.17/2.27	c Elapsed CPU time: 2.23866 s	Remaining CPU time: 1797.76 s
2.17/2.28	c core #468
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 468
2.17/2.28	c Elapsed CPU time: 2.24466 s	Remaining CPU time: 1797.76 s
2.17/2.29	c core #469
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 469
2.17/2.29	c Elapsed CPU time: 2.25066 s	Remaining CPU time: 1797.75 s
2.17/2.29	c core #470
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 470
2.17/2.29	c Elapsed CPU time: 2.25766 s	Remaining CPU time: 1797.74 s
2.27/2.30	c core #471
2.27/2.30	c Core size: 3	Core Weight: 1	Total Weight: 471
2.27/2.30	c Elapsed CPU time: 2.26365 s	Remaining CPU time: 1797.74 s
2.27/2.31	c core #472
2.27/2.31	c Core size: 3	Core Weight: 1	Total Weight: 472
2.27/2.31	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.27/2.31	c core #473
2.27/2.31	c Core size: 3	Core Weight: 1	Total Weight: 473
2.27/2.31	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.27/2.32	c core #474
2.27/2.32	c Core size: 3	Core Weight: 1	Total Weight: 474
2.27/2.32	c Elapsed CPU time: 2.28265 s	Remaining CPU time: 1797.72 s
2.27/2.32	c core #475
2.27/2.32	c Core size: 3	Core Weight: 1	Total Weight: 475
2.27/2.32	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.27/2.33	c core #476
2.27/2.33	c Core size: 3	Core Weight: 1	Total Weight: 476
2.27/2.33	c Elapsed CPU time: 2.29565 s	Remaining CPU time: 1797.7 s
2.27/2.34	c core #477
2.27/2.34	c Core size: 3	Core Weight: 1	Total Weight: 477
2.27/2.34	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 1797.7 s
2.27/2.34	c core #478
2.27/2.34	c Core size: 3	Core Weight: 1	Total Weight: 478
2.27/2.34	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.27/2.35	c core #479
2.27/2.35	c Core size: 3	Core Weight: 1	Total Weight: 479
2.27/2.35	c Elapsed CPU time: 2.31465 s	Remaining CPU time: 1797.69 s
2.27/2.36	c core #480
2.27/2.36	c Core size: 3	Core Weight: 1	Total Weight: 480
2.27/2.36	c Elapsed CPU time: 2.32165 s	Remaining CPU time: 1797.68 s
2.27/2.36	c core #481
2.27/2.36	c Core size: 3	Core Weight: 1	Total Weight: 481
2.27/2.36	c Elapsed CPU time: 2.32765 s	Remaining CPU time: 1797.67 s
2.27/2.37	c core #482
2.27/2.37	c Core size: 3	Core Weight: 1	Total Weight: 482
2.27/2.37	c Elapsed CPU time: 2.33365 s	Remaining CPU time: 1797.67 s
2.27/2.38	c core #483
2.27/2.38	c Core size: 3	Core Weight: 1	Total Weight: 483
2.27/2.38	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.27/2.38	c core #484
2.27/2.38	c Core size: 3	Core Weight: 1	Total Weight: 484
2.27/2.38	c Elapsed CPU time: 2.34564 s	Remaining CPU time: 1797.65 s
2.27/2.39	c core #485
2.27/2.39	c Core size: 3	Core Weight: 1	Total Weight: 485
2.27/2.39	c Elapsed CPU time: 2.35264 s	Remaining CPU time: 1797.65 s
2.27/2.40	c core #486
2.27/2.40	c Core size: 3	Core Weight: 1	Total Weight: 486
2.27/2.40	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 1797.64 s
2.36/2.40	c core #487
2.36/2.40	c Core size: 3	Core Weight: 1	Total Weight: 487
2.36/2.40	c Elapsed CPU time: 2.36464 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #488
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 488
2.36/2.41	c Elapsed CPU time: 2.37164 s	Remaining CPU time: 1797.63 s
2.36/2.41	c core #489
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 489
2.36/2.41	c Elapsed CPU time: 2.37764 s	Remaining CPU time: 1797.62 s
2.36/2.42	c core #490
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 490
2.36/2.42	c Elapsed CPU time: 2.38364 s	Remaining CPU time: 1797.62 s
2.36/2.43	c core #491
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 491
2.36/2.43	c Elapsed CPU time: 2.38964 s	Remaining CPU time: 1797.61 s
2.36/2.43	c core #492
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 492
2.36/2.43	c Elapsed CPU time: 2.39663 s	Remaining CPU time: 1797.6 s
2.36/2.44	c core #493
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 493
2.36/2.44	c Elapsed CPU time: 2.40263 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #494
2.36/2.45	c Core size: 3	Core Weight: 1	Total Weight: 494
2.36/2.45	c Elapsed CPU time: 2.40863 s	Remaining CPU time: 1797.59 s
2.36/2.45	c core #495
2.36/2.45	c Core size: 3	Core Weight: 1	Total Weight: 495
2.36/2.45	c Elapsed CPU time: 2.41563 s	Remaining CPU time: 1797.58 s
2.36/2.46	c core #496
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 496
2.36/2.46	c Elapsed CPU time: 2.42163 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #497
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 497
2.36/2.47	c Elapsed CPU time: 2.42863 s	Remaining CPU time: 1797.57 s
2.36/2.47	c core #498
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 498
2.36/2.47	c Elapsed CPU time: 2.43463 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #499
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 499
2.36/2.48	c Elapsed CPU time: 2.44063 s	Remaining CPU time: 1797.56 s
2.36/2.49	c core #500
2.36/2.49	c Core size: 3	Core Weight: 1	Total Weight: 500
2.36/2.49	c Elapsed CPU time: 2.44663 s	Remaining CPU time: 1797.55 s
2.36/2.49	c core #501
2.36/2.49	c Core size: 3	Core Weight: 1	Total Weight: 501
2.36/2.49	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 1797.55 s
2.47/2.50	c core #502
2.47/2.50	c Core size: 3	Core Weight: 1	Total Weight: 502
2.47/2.50	c Elapsed CPU time: 2.45863 s	Remaining CPU time: 1797.54 s
2.47/2.51	c core #503
2.47/2.51	c Core size: 3	Core Weight: 1	Total Weight: 503
2.47/2.51	c Elapsed CPU time: 2.46462 s	Remaining CPU time: 1797.54 s
2.47/2.51	c core #504
2.47/2.51	c Core size: 3	Core Weight: 1	Total Weight: 504
2.47/2.51	c Elapsed CPU time: 2.47062 s	Remaining CPU time: 1797.53 s
2.47/2.52	c core #505
2.47/2.52	c Core size: 3	Core Weight: 1	Total Weight: 505
2.47/2.52	c Elapsed CPU time: 2.47662 s	Remaining CPU time: 1797.52 s
2.47/2.53	c core #506
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 506
2.47/2.53	c Elapsed CPU time: 2.48362 s	Remaining CPU time: 1797.52 s
2.47/2.53	c core #507
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 507
2.47/2.53	c Elapsed CPU time: 2.48962 s	Remaining CPU time: 1797.51 s
2.47/2.54	c core #508
2.47/2.54	c Core size: 3	Core Weight: 1	Total Weight: 508
2.47/2.54	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.47/2.54	c core #509
2.47/2.54	c Core size: 3	Core Weight: 1	Total Weight: 509
2.47/2.54	c Elapsed CPU time: 2.50262 s	Remaining CPU time: 1797.5 s
2.47/2.55	c core #510
2.47/2.55	c Core size: 3	Core Weight: 1	Total Weight: 510
2.47/2.55	c Elapsed CPU time: 2.50962 s	Remaining CPU time: 1797.49 s
2.47/2.56	c core #511
2.47/2.56	c Core size: 3	Core Weight: 1	Total Weight: 511
2.47/2.56	c Elapsed CPU time: 2.51562 s	Remaining CPU time: 1797.48 s
2.47/2.56	c core #512
2.47/2.56	c Core size: 3	Core Weight: 1	Total Weight: 512
2.47/2.56	c Elapsed CPU time: 2.52162 s	Remaining CPU time: 1797.48 s
2.47/2.57	c core #513
2.47/2.57	c Core size: 3	Core Weight: 1	Total Weight: 513
2.47/2.57	c Elapsed CPU time: 2.52761 s	Remaining CPU time: 1797.47 s
2.47/2.58	c core #514
2.47/2.58	c Core size: 3	Core Weight: 1	Total Weight: 514
2.47/2.58	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 1797.47 s
2.47/2.58	c core #515
2.47/2.58	c Core size: 3	Core Weight: 1	Total Weight: 515
2.47/2.58	c Elapsed CPU time: 2.54061 s	Remaining CPU time: 1797.46 s
2.47/2.59	c core #516
2.47/2.59	c Core size: 3	Core Weight: 1	Total Weight: 516
2.47/2.59	c Elapsed CPU time: 2.54661 s	Remaining CPU time: 1797.45 s
2.57/2.60	c core #517
2.57/2.60	c Core size: 3	Core Weight: 1	Total Weight: 517
2.57/2.60	c Elapsed CPU time: 2.55361 s	Remaining CPU time: 1797.45 s
2.57/2.60	c core #518
2.57/2.60	c Core size: 3	Core Weight: 1	Total Weight: 518
2.57/2.60	c Elapsed CPU time: 2.56061 s	Remaining CPU time: 1797.44 s
2.57/2.61	c core #519
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 519
2.57/2.61	c Elapsed CPU time: 2.56661 s	Remaining CPU time: 1797.43 s
2.57/2.62	c core #520
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 520
2.57/2.62	c Elapsed CPU time: 2.57361 s	Remaining CPU time: 1797.43 s
2.57/2.62	c core #521
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 521
2.57/2.62	c Elapsed CPU time: 2.58061 s	Remaining CPU time: 1797.42 s
2.57/2.63	c core #522
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 522
2.57/2.63	c Elapsed CPU time: 2.58661 s	Remaining CPU time: 1797.41 s
2.57/2.64	c core #523
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 523
2.57/2.64	c Elapsed CPU time: 2.59361 s	Remaining CPU time: 1797.41 s
2.57/2.64	c core #524
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 524
2.57/2.64	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.57/2.65	c core #525
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 525
2.57/2.65	c Elapsed CPU time: 2.6066 s	Remaining CPU time: 1797.39 s
2.57/2.66	c core #526
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 526
2.57/2.66	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 1797.39 s
2.57/2.66	c core #527
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 527
2.57/2.66	c Elapsed CPU time: 2.6196 s	Remaining CPU time: 1797.38 s
2.57/2.67	c core #528
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 528
2.57/2.67	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 1797.37 s
2.57/2.68	c core #529
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 529
2.57/2.68	c Elapsed CPU time: 2.6326 s	Remaining CPU time: 1797.37 s
2.57/2.68	c core #530
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 530
2.57/2.68	c Elapsed CPU time: 2.6396 s	Remaining CPU time: 1797.36 s
2.57/2.69	c core #531
2.57/2.69	c Core size: 3	Core Weight: 1	Total Weight: 531
2.57/2.69	c Elapsed CPU time: 2.6466 s	Remaining CPU time: 1797.35 s
2.67/2.70	c core #532
2.67/2.70	c Core size: 3	Core Weight: 1	Total Weight: 532
2.67/2.70	c Elapsed CPU time: 2.6526 s	Remaining CPU time: 1797.35 s
2.67/2.70	c core #533
2.67/2.70	c Core size: 3	Core Weight: 1	Total Weight: 533
2.67/2.70	c Elapsed CPU time: 2.6586 s	Remaining CPU time: 1797.34 s
2.67/2.71	c core #534
2.67/2.71	c Core size: 3	Core Weight: 1	Total Weight: 534
2.67/2.71	c Elapsed CPU time: 2.66459 s	Remaining CPU time: 1797.34 s
2.67/2.72	c core #535
2.67/2.72	c Core size: 3	Core Weight: 1	Total Weight: 535
2.67/2.72	c Elapsed CPU time: 2.67159 s	Remaining CPU time: 1797.33 s
2.67/2.72	c core #536
2.67/2.72	c Core size: 3	Core Weight: 1	Total Weight: 536
2.67/2.72	c Elapsed CPU time: 2.67759 s	Remaining CPU time: 1797.32 s
2.67/2.73	c core #537
2.67/2.73	c Core size: 3	Core Weight: 1	Total Weight: 537
2.67/2.73	c Elapsed CPU time: 2.68359 s	Remaining CPU time: 1797.32 s
2.67/2.74	c core #538
2.67/2.74	c Core size: 3	Core Weight: 1	Total Weight: 538
2.67/2.74	c Elapsed CPU time: 2.69059 s	Remaining CPU time: 1797.31 s
2.67/2.74	c core #539
2.67/2.74	c Core size: 3	Core Weight: 1	Total Weight: 539
2.67/2.74	c Elapsed CPU time: 2.69659 s	Remaining CPU time: 1797.3 s
2.67/2.75	c core #540
2.67/2.75	c Core size: 3	Core Weight: 1	Total Weight: 540
2.67/2.75	c Elapsed CPU time: 2.70259 s	Remaining CPU time: 1797.3 s
2.67/2.76	c core #541
2.67/2.76	c Core size: 3	Core Weight: 1	Total Weight: 541
2.67/2.76	c Elapsed CPU time: 2.70959 s	Remaining CPU time: 1797.29 s
2.67/2.76	c core #542
2.67/2.76	c Core size: 3	Core Weight: 1	Total Weight: 542
2.67/2.76	c Elapsed CPU time: 2.71559 s	Remaining CPU time: 1797.28 s
2.67/2.77	c core #543
2.67/2.77	c Core size: 3	Core Weight: 1	Total Weight: 543
2.67/2.77	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 1797.28 s
2.67/2.78	c core #544
2.67/2.78	c Core size: 3	Core Weight: 1	Total Weight: 544
2.67/2.78	c Elapsed CPU time: 2.72959 s	Remaining CPU time: 1797.27 s
2.67/2.78	c core #545
2.67/2.78	c Core size: 3	Core Weight: 1	Total Weight: 545
2.67/2.78	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.67/2.79	c core #546
2.67/2.79	c Core size: 3	Core Weight: 1	Total Weight: 546
2.67/2.79	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 1797.26 s
2.76/2.80	c core #547
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 547
2.76/2.80	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.76/2.81	c core #548
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 548
2.76/2.81	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #549
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 549
2.76/2.81	c Elapsed CPU time: 2.76158 s	Remaining CPU time: 1797.24 s
2.76/2.82	c core #550
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 550
2.76/2.82	c Elapsed CPU time: 2.76858 s	Remaining CPU time: 1797.23 s
2.76/2.83	c core #551
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 551
2.76/2.83	c Elapsed CPU time: 2.77558 s	Remaining CPU time: 1797.22 s
2.76/2.83	c core #552
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 552
2.76/2.83	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.76/2.84	c core #553
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 553
2.76/2.84	c Elapsed CPU time: 2.78958 s	Remaining CPU time: 1797.21 s
2.76/2.85	c core #554
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 554
2.76/2.85	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 1797.2 s
2.76/2.85	c core #555
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 555
2.76/2.85	c Elapsed CPU time: 2.80357 s	Remaining CPU time: 1797.2 s
2.76/2.86	c core #556
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 556
2.76/2.86	c Elapsed CPU time: 2.81057 s	Remaining CPU time: 1797.19 s
2.76/2.87	c core #557
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 557
2.76/2.87	c Elapsed CPU time: 2.81757 s	Remaining CPU time: 1797.18 s
2.76/2.87	c core #558
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 558
2.76/2.87	c Elapsed CPU time: 2.82257 s	Remaining CPU time: 1797.18 s
2.76/2.88	c core #559
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 559
2.76/2.88	c Elapsed CPU time: 2.82957 s	Remaining CPU time: 1797.17 s
2.76/2.89	c core #560
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 560
2.76/2.89	c Elapsed CPU time: 2.83557 s	Remaining CPU time: 1797.16 s
2.76/2.90	c core #561
2.76/2.90	c Core size: 3	Core Weight: 1	Total Weight: 561
2.76/2.90	c Elapsed CPU time: 2.84257 s	Remaining CPU time: 1797.16 s
2.86/2.90	c core #562
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 562
2.86/2.90	c Elapsed CPU time: 2.84957 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #563
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 563
2.86/2.91	c Elapsed CPU time: 2.85556 s	Remaining CPU time: 1797.14 s
2.86/2.92	c core #564
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.92	c Elapsed CPU time: 2.86156 s	Remaining CPU time: 1797.14 s
2.86/2.92	c core #565
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.92	c Elapsed CPU time: 2.86856 s	Remaining CPU time: 1797.13 s
2.86/2.93	c core #566
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.93	c Elapsed CPU time: 2.87556 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #567
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.94	c Elapsed CPU time: 2.88256 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #568
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.94	c Elapsed CPU time: 2.88956 s	Remaining CPU time: 1797.11 s
2.86/2.95	c core #569
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.95	c Elapsed CPU time: 2.89456 s	Remaining CPU time: 1797.11 s
2.86/2.96	c core #570
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.96	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.86/2.96	c core #571
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 571
2.86/2.97	c Elapsed CPU time: 2.90656 s	Remaining CPU time: 1797.09 s
2.86/2.97	c core #572
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 572
2.86/2.97	c Elapsed CPU time: 2.91356 s	Remaining CPU time: 1797.09 s
2.86/2.98	c core #573
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 573
2.86/2.98	c Elapsed CPU time: 2.92056 s	Remaining CPU time: 1797.08 s
2.86/2.99	c core #574
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 574
2.86/2.99	c Elapsed CPU time: 2.92755 s	Remaining CPU time: 1797.07 s
2.86/2.99	c core #575
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 575
2.86/2.99	c Elapsed CPU time: 2.93455 s	Remaining CPU time: 1797.07 s
2.95/3.00	c core #576
2.95/3.00	c Core size: 3	Core Weight: 1	Total Weight: 576
2.95/3.00	c Elapsed CPU time: 2.94155 s	Remaining CPU time: 1797.06 s
2.95/3.01	c core #577
2.95/3.01	c Core size: 3	Core Weight: 1	Total Weight: 577
2.95/3.01	c Elapsed CPU time: 2.94855 s	Remaining CPU time: 1797.05 s
2.95/3.01	c core #578
2.95/3.01	c Core size: 3	Core Weight: 1	Total Weight: 578
2.95/3.01	c Elapsed CPU time: 2.95455 s	Remaining CPU time: 1797.05 s
2.95/3.02	c core #579
2.95/3.02	c Core size: 3	Core Weight: 1	Total Weight: 579
2.95/3.02	c Elapsed CPU time: 2.96155 s	Remaining CPU time: 1797.04 s
2.95/3.03	c core #580
2.95/3.03	c Core size: 3	Core Weight: 1	Total Weight: 580
2.95/3.03	c Elapsed CPU time: 2.96855 s	Remaining CPU time: 1797.03 s
2.95/3.03	c core #581
2.95/3.03	c Core size: 3	Core Weight: 1	Total Weight: 581
2.95/3.03	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 1797.02 s
2.95/3.04	c core #582
2.95/3.04	c Core size: 3	Core Weight: 1	Total Weight: 582
2.95/3.04	c Elapsed CPU time: 2.98255 s	Remaining CPU time: 1797.02 s
2.95/3.05	c core #583
2.95/3.05	c Core size: 3	Core Weight: 1	Total Weight: 583
2.95/3.05	c Elapsed CPU time: 2.98955 s	Remaining CPU time: 1797.01 s
2.95/3.06	c core #584
2.95/3.06	c Core size: 3	Core Weight: 1	Total Weight: 584
2.95/3.06	c Elapsed CPU time: 2.99654 s	Remaining CPU time: 1797 s
2.95/3.06	c core #585
2.95/3.06	c Core size: 3	Core Weight: 1	Total Weight: 585
2.95/3.06	c Elapsed CPU time: 3.00354 s	Remaining CPU time: 1797 s
2.95/3.07	c core #586
2.95/3.07	c Core size: 3	Core Weight: 1	Total Weight: 586
2.95/3.07	c Elapsed CPU time: 3.01054 s	Remaining CPU time: 1796.99 s
2.95/3.08	c core #587
2.95/3.08	c Core size: 3	Core Weight: 1	Total Weight: 587
2.95/3.08	c Elapsed CPU time: 3.01754 s	Remaining CPU time: 1796.98 s
2.95/3.08	c core #588
2.95/3.08	c Core size: 3	Core Weight: 1	Total Weight: 588
2.95/3.08	c Elapsed CPU time: 3.02354 s	Remaining CPU time: 1796.98 s
2.95/3.09	c core #589
2.95/3.09	c Core size: 3	Core Weight: 1	Total Weight: 589
2.95/3.09	c Elapsed CPU time: 3.02954 s	Remaining CPU time: 1796.97 s
3.05/3.10	c core #590
3.05/3.10	c Core size: 3	Core Weight: 1	Total Weight: 590
3.05/3.10	c Elapsed CPU time: 3.03654 s	Remaining CPU time: 1796.96 s
3.05/3.10	c core #591
3.05/3.10	c Core size: 3	Core Weight: 1	Total Weight: 591
3.05/3.10	c Elapsed CPU time: 3.04354 s	Remaining CPU time: 1796.96 s
3.05/3.11	c core #592
3.05/3.11	c Core size: 3	Core Weight: 1	Total Weight: 592
3.05/3.11	c Elapsed CPU time: 3.04954 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #593
3.05/3.12	c Core size: 3	Core Weight: 1	Total Weight: 593
3.05/3.12	c Elapsed CPU time: 3.05654 s	Remaining CPU time: 1796.94 s
3.05/3.13	c core #594
3.05/3.13	c Core size: 3	Core Weight: 1	Total Weight: 594
3.05/3.13	c Elapsed CPU time: 3.06253 s	Remaining CPU time: 1796.94 s
3.05/3.13	c core #595
3.05/3.13	c Core size: 3	Core Weight: 1	Total Weight: 595
3.05/3.13	c Elapsed CPU time: 3.06953 s	Remaining CPU time: 1796.93 s
3.05/3.14	c core #596
3.05/3.14	c Core size: 3	Core Weight: 1	Total Weight: 596
3.05/3.14	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 1796.92 s
3.05/3.15	c core #597
3.05/3.15	c Core size: 3	Core Weight: 1	Total Weight: 597
3.05/3.15	c Elapsed CPU time: 3.08253 s	Remaining CPU time: 1796.92 s
3.05/3.15	c core #598
3.05/3.15	c Core size: 3	Core Weight: 1	Total Weight: 598
3.05/3.15	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.05/3.16	c core #599
3.05/3.16	c Core size: 3	Core Weight: 1	Total Weight: 599
3.05/3.16	c Elapsed CPU time: 3.09653 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #600
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 600
3.05/3.17	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #601
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 601
3.05/3.17	c Elapsed CPU time: 3.11053 s	Remaining CPU time: 1796.89 s
3.05/3.18	c core #602
3.05/3.18	c Core size: 3	Core Weight: 1	Total Weight: 602
3.05/3.18	c Elapsed CPU time: 3.11753 s	Remaining CPU time: 1796.88 s
3.05/3.19	c core #603
3.05/3.19	c Core size: 3	Core Weight: 1	Total Weight: 603
3.05/3.19	c Elapsed CPU time: 3.12453 s	Remaining CPU time: 1796.88 s
3.05/3.20	c core #604
3.05/3.20	c Core size: 3	Core Weight: 1	Total Weight: 604
3.05/3.20	c Elapsed CPU time: 3.13152 s	Remaining CPU time: 1796.87 s
3.15/3.20	c core #605
3.15/3.20	c Core size: 3	Core Weight: 1	Total Weight: 605
3.15/3.20	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.15/3.21	c core #606
3.15/3.21	c Core size: 3	Core Weight: 1	Total Weight: 606
3.15/3.21	c Elapsed CPU time: 3.14552 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #607
3.15/3.22	c Core size: 3	Core Weight: 1	Total Weight: 607
3.15/3.22	c Elapsed CPU time: 3.15252 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #608
3.15/3.22	c Core size: 3	Core Weight: 1	Total Weight: 608
3.15/3.22	c Elapsed CPU time: 3.15952 s	Remaining CPU time: 1796.84 s
3.15/3.23	c core #609
3.15/3.23	c Core size: 3	Core Weight: 1	Total Weight: 609
3.15/3.23	c Elapsed CPU time: 3.16652 s	Remaining CPU time: 1796.83 s
3.15/3.24	c core #610
3.15/3.24	c Core size: 3	Core Weight: 1	Total Weight: 610
3.15/3.24	c Elapsed CPU time: 3.17352 s	Remaining CPU time: 1796.83 s
3.15/3.25	c core #611
3.15/3.25	c Core size: 3	Core Weight: 1	Total Weight: 611
3.15/3.25	c Elapsed CPU time: 3.18052 s	Remaining CPU time: 1796.82 s
3.15/3.25	c core #612
3.15/3.25	c Core size: 3	Core Weight: 1	Total Weight: 612
3.15/3.25	c Elapsed CPU time: 3.18751 s	Remaining CPU time: 1796.81 s
3.15/3.26	c core #613
3.15/3.26	c Core size: 3	Core Weight: 1	Total Weight: 613
3.15/3.26	c Elapsed CPU time: 3.19551 s	Remaining CPU time: 1796.8 s
3.15/3.27	c core #614
3.15/3.27	c Core size: 3	Core Weight: 1	Total Weight: 614
3.15/3.27	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.15/3.28	c core #615
3.15/3.28	c Core size: 3	Core Weight: 1	Total Weight: 615
3.15/3.28	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 1796.79 s
3.15/3.28	c core #616
3.15/3.28	c Core size: 3	Core Weight: 1	Total Weight: 616
3.15/3.28	c Elapsed CPU time: 3.21751 s	Remaining CPU time: 1796.78 s
3.15/3.29	c core #617
3.15/3.29	c Core size: 3	Core Weight: 1	Total Weight: 617
3.15/3.29	c Elapsed CPU time: 3.22451 s	Remaining CPU time: 1796.78 s
3.15/3.30	c core #618
3.15/3.30	c Core size: 3	Core Weight: 1	Total Weight: 618
3.15/3.30	c Elapsed CPU time: 3.23151 s	Remaining CPU time: 1796.77 s
3.25/3.30	c core #619
3.25/3.30	c Core size: 3	Core Weight: 1	Total Weight: 619
3.25/3.30	c Elapsed CPU time: 3.23851 s	Remaining CPU time: 1796.76 s
3.25/3.31	c core #620
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 620
3.25/3.31	c Elapsed CPU time: 3.24551 s	Remaining CPU time: 1796.75 s
3.25/3.32	c core #621
3.25/3.32	c Core size: 3	Core Weight: 1	Total Weight: 621
3.25/3.32	c Elapsed CPU time: 3.25251 s	Remaining CPU time: 1796.75 s
3.25/3.33	c core #622
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 622
3.25/3.33	c Elapsed CPU time: 3.2595 s	Remaining CPU time: 1796.74 s
3.25/3.33	c core #623
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 623
3.25/3.33	c Elapsed CPU time: 3.2675 s	Remaining CPU time: 1796.73 s
3.25/3.34	c core #624
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 624
3.25/3.34	c Elapsed CPU time: 3.2735 s	Remaining CPU time: 1796.73 s
3.25/3.35	c core #625
3.25/3.35	c Core size: 3	Core Weight: 1	Total Weight: 625
3.25/3.35	c Elapsed CPU time: 3.2805 s	Remaining CPU time: 1796.72 s
3.25/3.35	c core #626
3.25/3.35	c Core size: 3	Core Weight: 1	Total Weight: 626
3.25/3.35	c Elapsed CPU time: 3.2875 s	Remaining CPU time: 1796.71 s
3.25/3.36	c core #627
3.25/3.36	c Core size: 3	Core Weight: 1	Total Weight: 627
3.25/3.36	c Elapsed CPU time: 3.2945 s	Remaining CPU time: 1796.71 s
3.25/3.37	c core #628
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 628
3.25/3.37	c Elapsed CPU time: 3.3015 s	Remaining CPU time: 1796.7 s
3.25/3.38	c core #629
3.25/3.38	c Core size: 3	Core Weight: 1	Total Weight: 629
3.25/3.38	c Elapsed CPU time: 3.3095 s	Remaining CPU time: 1796.69 s
3.25/3.38	c core #630
3.25/3.38	c Core size: 3	Core Weight: 1	Total Weight: 630
3.25/3.38	c Elapsed CPU time: 3.31549 s	Remaining CPU time: 1796.68 s
3.25/3.39	c core #631
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 631
3.25/3.39	c Elapsed CPU time: 3.32249 s	Remaining CPU time: 1796.68 s
3.34/3.40	c core #632
3.34/3.40	c Core size: 3	Core Weight: 1	Total Weight: 632
3.34/3.40	c Elapsed CPU time: 3.33049 s	Remaining CPU time: 1796.67 s
3.34/3.41	c core #633
3.34/3.41	c Core size: 3	Core Weight: 1	Total Weight: 633
3.34/3.41	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.34/3.41	c core #634
3.34/3.41	c Core size: 3	Core Weight: 1	Total Weight: 634
3.34/3.41	c Elapsed CPU time: 3.34449 s	Remaining CPU time: 1796.66 s
3.34/3.42	c core #635
3.34/3.42	c Core size: 3	Core Weight: 1	Total Weight: 635
3.34/3.42	c Elapsed CPU time: 3.35249 s	Remaining CPU time: 1796.65 s
3.34/3.43	c core #636
3.34/3.43	c Core size: 3	Core Weight: 1	Total Weight: 636
3.34/3.43	c Elapsed CPU time: 3.35949 s	Remaining CPU time: 1796.64 s
3.34/3.44	c core #637
3.34/3.44	c Core size: 3	Core Weight: 1	Total Weight: 637
3.34/3.44	c Elapsed CPU time: 3.36649 s	Remaining CPU time: 1796.63 s
3.34/3.44	c core #638
3.34/3.44	c Core size: 3	Core Weight: 1	Total Weight: 638
3.34/3.44	c Elapsed CPU time: 3.37449 s	Remaining CPU time: 1796.63 s
3.34/3.45	c core #639
3.34/3.45	c Core size: 3	Core Weight: 1	Total Weight: 639
3.34/3.45	c Elapsed CPU time: 3.38149 s	Remaining CPU time: 1796.62 s
3.34/3.46	c core #640
3.34/3.46	c Core size: 3	Core Weight: 1	Total Weight: 640
3.34/3.46	c Elapsed CPU time: 3.38848 s	Remaining CPU time: 1796.61 s
3.34/3.47	c core #641
3.34/3.47	c Core size: 3	Core Weight: 1	Total Weight: 641
3.34/3.47	c Elapsed CPU time: 3.39648 s	Remaining CPU time: 1796.6 s
3.34/3.47	c core #642
3.34/3.47	c Core size: 3	Core Weight: 1	Total Weight: 642
3.34/3.47	c Elapsed CPU time: 3.40348 s	Remaining CPU time: 1796.6 s
3.34/3.48	c core #643
3.34/3.48	c Core size: 3	Core Weight: 1	Total Weight: 643
3.34/3.48	c Elapsed CPU time: 3.41148 s	Remaining CPU time: 1796.59 s
3.34/3.49	c core #644
3.34/3.49	c Core size: 3	Core Weight: 1	Total Weight: 644
3.34/3.49	c Elapsed CPU time: 3.41848 s	Remaining CPU time: 1796.58 s
3.34/3.50	c core #645
3.34/3.50	c Core size: 3	Core Weight: 1	Total Weight: 645
3.34/3.50	c Elapsed CPU time: 3.42548 s	Remaining CPU time: 1796.57 s
3.44/3.50	c core #646
3.44/3.50	c Core size: 3	Core Weight: 1	Total Weight: 646
3.44/3.50	c Elapsed CPU time: 3.43348 s	Remaining CPU time: 1796.57 s
3.44/3.51	c core #647
3.44/3.51	c Core size: 3	Core Weight: 1	Total Weight: 647
3.44/3.51	c Elapsed CPU time: 3.44048 s	Remaining CPU time: 1796.56 s
3.44/3.52	c core #648
3.44/3.52	c Core size: 3	Core Weight: 1	Total Weight: 648
3.44/3.52	c Elapsed CPU time: 3.44848 s	Remaining CPU time: 1796.55 s
3.44/3.52	c core #649
3.44/3.52	c Core size: 3	Core Weight: 1	Total Weight: 649
3.44/3.52	c Elapsed CPU time: 3.45547 s	Remaining CPU time: 1796.54 s
3.44/3.53	c core #650
3.44/3.53	c Core size: 3	Core Weight: 1	Total Weight: 650
3.44/3.53	c Elapsed CPU time: 3.46247 s	Remaining CPU time: 1796.54 s
3.44/3.54	c core #651
3.44/3.54	c Core size: 3	Core Weight: 1	Total Weight: 651
3.44/3.54	c Elapsed CPU time: 3.47047 s	Remaining CPU time: 1796.53 s
3.44/3.55	c core #652
3.44/3.55	c Core size: 3	Core Weight: 1	Total Weight: 652
3.44/3.55	c Elapsed CPU time: 3.47747 s	Remaining CPU time: 1796.52 s
3.44/3.55	c core #653
3.44/3.55	c Core size: 3	Core Weight: 1	Total Weight: 653
3.44/3.55	c Elapsed CPU time: 3.48547 s	Remaining CPU time: 1796.51 s
3.44/3.56	c core #654
3.44/3.56	c Core size: 3	Core Weight: 1	Total Weight: 654
3.44/3.56	c Elapsed CPU time: 3.49247 s	Remaining CPU time: 1796.51 s
3.44/3.57	c core #655
3.44/3.57	c Core size: 3	Core Weight: 1	Total Weight: 655
3.44/3.57	c Elapsed CPU time: 3.50047 s	Remaining CPU time: 1796.5 s
3.44/3.58	c core #656
3.44/3.58	c Core size: 3	Core Weight: 1	Total Weight: 656
3.44/3.58	c Elapsed CPU time: 3.50747 s	Remaining CPU time: 1796.49 s
3.44/3.58	c core #657
3.44/3.58	c Core size: 3	Core Weight: 1	Total Weight: 657
3.44/3.58	c Elapsed CPU time: 3.51446 s	Remaining CPU time: 1796.49 s
3.44/3.59	c core #658
3.44/3.59	c Core size: 3	Core Weight: 1	Total Weight: 658
3.44/3.59	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.54/3.60	c core #659
3.54/3.60	c Core size: 3	Core Weight: 1	Total Weight: 659
3.54/3.60	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 1796.47 s
3.54/3.61	c core #660
3.54/3.61	c Core size: 3	Core Weight: 1	Total Weight: 660
3.54/3.61	c Elapsed CPU time: 3.53746 s	Remaining CPU time: 1796.46 s
3.54/3.62	c core #661
3.54/3.62	c Core size: 3	Core Weight: 1	Total Weight: 661
3.54/3.62	c Elapsed CPU time: 3.54446 s	Remaining CPU time: 1796.46 s
3.54/3.62	c core #662
3.54/3.62	c Core size: 3	Core Weight: 1	Total Weight: 662
3.54/3.62	c Elapsed CPU time: 3.55246 s	Remaining CPU time: 1796.45 s
3.54/3.63	c core #663
3.54/3.63	c Core size: 3	Core Weight: 1	Total Weight: 663
3.54/3.63	c Elapsed CPU time: 3.55946 s	Remaining CPU time: 1796.44 s
3.54/3.64	c core #664
3.54/3.64	c Core size: 3	Core Weight: 1	Total Weight: 664
3.54/3.64	c Elapsed CPU time: 3.56746 s	Remaining CPU time: 1796.43 s
3.54/3.65	c core #665
3.54/3.65	c Core size: 3	Core Weight: 1	Total Weight: 665
3.54/3.65	c Elapsed CPU time: 3.57446 s	Remaining CPU time: 1796.43 s
3.54/3.65	c core #666
3.54/3.65	c Core size: 3	Core Weight: 1	Total Weight: 666
3.54/3.65	c Elapsed CPU time: 3.58245 s	Remaining CPU time: 1796.42 s
3.54/3.66	c core #667
3.54/3.66	c Core size: 3	Core Weight: 1	Total Weight: 667
3.54/3.66	c Elapsed CPU time: 3.58945 s	Remaining CPU time: 1796.41 s
3.54/3.67	c core #668
3.54/3.67	c Core size: 3	Core Weight: 1	Total Weight: 668
3.54/3.67	c Elapsed CPU time: 3.59745 s	Remaining CPU time: 1796.4 s
3.54/3.68	c core #669
3.54/3.68	c Core size: 3	Core Weight: 1	Total Weight: 669
3.54/3.68	c Elapsed CPU time: 3.60545 s	Remaining CPU time: 1796.39 s
3.54/3.68	c core #670
3.54/3.68	c Core size: 3	Core Weight: 1	Total Weight: 670
3.54/3.68	c Elapsed CPU time: 3.61245 s	Remaining CPU time: 1796.39 s
3.54/3.69	c core #671
3.54/3.69	c Core size: 3	Core Weight: 1	Total Weight: 671
3.54/3.69	c Elapsed CPU time: 3.61945 s	Remaining CPU time: 1796.38 s
3.65/3.70	c core #672
3.65/3.70	c Core size: 3	Core Weight: 1	Total Weight: 672
3.65/3.70	c Elapsed CPU time: 3.62645 s	Remaining CPU time: 1796.37 s
3.65/3.71	c core #673
3.65/3.71	c Core size: 3	Core Weight: 1	Total Weight: 673
3.65/3.71	c Elapsed CPU time: 3.63345 s	Remaining CPU time: 1796.37 s
3.65/3.71	c core #674
3.65/3.71	c Core size: 3	Core Weight: 1	Total Weight: 674
3.65/3.71	c Elapsed CPU time: 3.64045 s	Remaining CPU time: 1796.36 s
3.65/3.72	c core #675
3.65/3.72	c Core size: 3	Core Weight: 1	Total Weight: 675
3.65/3.72	c Elapsed CPU time: 3.64745 s	Remaining CPU time: 1796.35 s
3.65/3.73	c core #676
3.65/3.73	c Core size: 3	Core Weight: 1	Total Weight: 676
3.65/3.73	c Elapsed CPU time: 3.65544 s	Remaining CPU time: 1796.34 s
3.65/3.74	c core #677
3.65/3.74	c Core size: 3	Core Weight: 1	Total Weight: 677
3.65/3.74	c Elapsed CPU time: 3.66344 s	Remaining CPU time: 1796.34 s
3.65/3.74	c core #678
3.65/3.74	c Core size: 3	Core Weight: 1	Total Weight: 678
3.65/3.74	c Elapsed CPU time: 3.67044 s	Remaining CPU time: 1796.33 s
3.65/3.75	c core #679
3.65/3.75	c Core size: 3	Core Weight: 1	Total Weight: 679
3.65/3.75	c Elapsed CPU time: 3.67744 s	Remaining CPU time: 1796.32 s
3.65/3.76	c core #680
3.65/3.76	c Core size: 3	Core Weight: 1	Total Weight: 680
3.65/3.76	c Elapsed CPU time: 3.68544 s	Remaining CPU time: 1796.31 s
3.65/3.77	c core #681
3.65/3.77	c Core size: 3	Core Weight: 1	Total Weight: 681
3.65/3.77	c Elapsed CPU time: 3.69344 s	Remaining CPU time: 1796.31 s
3.65/3.77	c core #682
3.65/3.77	c Core size: 3	Core Weight: 1	Total Weight: 682
3.65/3.77	c Elapsed CPU time: 3.70144 s	Remaining CPU time: 1796.3 s
3.65/3.78	c core #683
3.65/3.78	c Core size: 3	Core Weight: 1	Total Weight: 683
3.65/3.78	c Elapsed CPU time: 3.70844 s	Remaining CPU time: 1796.29 s
3.65/3.79	c core #684
3.65/3.79	c Core size: 3	Core Weight: 1	Total Weight: 684
3.65/3.79	c Elapsed CPU time: 3.71544 s	Remaining CPU time: 1796.28 s
3.75/3.80	c core #685
3.75/3.80	c Core size: 3	Core Weight: 1	Total Weight: 685
3.75/3.80	c Elapsed CPU time: 3.72343 s	Remaining CPU time: 1796.28 s
3.75/3.81	c core #686
3.75/3.81	c Core size: 3	Core Weight: 1	Total Weight: 686
3.75/3.81	c Elapsed CPU time: 3.73143 s	Remaining CPU time: 1796.27 s
3.75/3.81	c core #687
3.75/3.81	c Core size: 3	Core Weight: 1	Total Weight: 687
3.75/3.81	c Elapsed CPU time: 3.73943 s	Remaining CPU time: 1796.26 s
3.75/3.82	c core #688
3.75/3.82	c Core size: 3	Core Weight: 1	Total Weight: 688
3.75/3.82	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
3.75/3.83	c core #689
3.75/3.83	c Core size: 3	Core Weight: 1	Total Weight: 689
3.75/3.83	c Elapsed CPU time: 3.75243 s	Remaining CPU time: 1796.25 s
3.75/3.84	c core #690
3.75/3.84	c Core size: 3	Core Weight: 1	Total Weight: 690
3.75/3.84	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.75/3.84	c core #691
3.75/3.84	c Core size: 3	Core Weight: 1	Total Weight: 691
3.75/3.84	c Elapsed CPU time: 3.76843 s	Remaining CPU time: 1796.23 s
3.75/3.85	c core #692
3.75/3.85	c Core size: 3	Core Weight: 1	Total Weight: 692
3.75/3.85	c Elapsed CPU time: 3.77643 s	Remaining CPU time: 1796.22 s
3.75/3.86	c core #693
3.75/3.86	c Core size: 3	Core Weight: 1	Total Weight: 693
3.75/3.86	c Elapsed CPU time: 3.78442 s	Remaining CPU time: 1796.22 s
3.75/3.87	c core #694
3.75/3.87	c Core size: 3	Core Weight: 1	Total Weight: 694
3.75/3.87	c Elapsed CPU time: 3.79242 s	Remaining CPU time: 1796.21 s
3.75/3.88	c core #695
3.75/3.88	c Core size: 3	Core Weight: 1	Total Weight: 695
3.75/3.88	c Elapsed CPU time: 3.79942 s	Remaining CPU time: 1796.2 s
3.75/3.88	c core #696
3.75/3.88	c Core size: 3	Core Weight: 1	Total Weight: 696
3.75/3.88	c Elapsed CPU time: 3.80642 s	Remaining CPU time: 1796.19 s
3.75/3.89	c core #697
3.75/3.89	c Core size: 3	Core Weight: 1	Total Weight: 697
3.75/3.89	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 1796.19 s
3.84/3.90	c core #698
3.84/3.90	c Core size: 3	Core Weight: 1	Total Weight: 698
3.84/3.90	c Elapsed CPU time: 3.82142 s	Remaining CPU time: 1796.18 s
3.84/3.91	c core #699
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 699
3.84/3.91	c Elapsed CPU time: 3.82842 s	Remaining CPU time: 1796.17 s
3.84/3.92	c core #700
3.84/3.92	c Core size: 3	Core Weight: 1	Total Weight: 700
3.84/3.92	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.84/3.92	c core #701
3.84/3.92	c Core size: 3	Core Weight: 1	Total Weight: 701
3.84/3.92	c Elapsed CPU time: 3.84342 s	Remaining CPU time: 1796.16 s
3.84/3.93	c core #702
3.84/3.93	c Core size: 3	Core Weight: 1	Total Weight: 702
3.84/3.93	c Elapsed CPU time: 3.85041 s	Remaining CPU time: 1796.15 s
3.84/3.94	c core #703
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 703
3.84/3.94	c Elapsed CPU time: 3.85741 s	Remaining CPU time: 1796.14 s
3.84/3.95	c core #704
3.84/3.95	c Core size: 3	Core Weight: 1	Total Weight: 704
3.84/3.95	c Elapsed CPU time: 3.86541 s	Remaining CPU time: 1796.13 s
3.84/3.95	c core #705
3.84/3.95	c Core size: 3	Core Weight: 1	Total Weight: 705
3.84/3.95	c Elapsed CPU time: 3.87341 s	Remaining CPU time: 1796.13 s
3.84/3.96	c core #706
3.84/3.96	c Core size: 3	Core Weight: 1	Total Weight: 706
3.84/3.96	c Elapsed CPU time: 3.88041 s	Remaining CPU time: 1796.12 s
3.84/3.97	c core #707
3.84/3.97	c Core size: 3	Core Weight: 1	Total Weight: 707
3.84/3.97	c Elapsed CPU time: 3.88741 s	Remaining CPU time: 1796.11 s
3.84/3.98	c core #708
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 708
3.84/3.98	c Elapsed CPU time: 3.89541 s	Remaining CPU time: 1796.1 s
3.84/3.99	c core #709
3.84/3.99	c Core size: 3	Core Weight: 1	Total Weight: 709
3.84/3.99	c Elapsed CPU time: 3.90341 s	Remaining CPU time: 1796.1 s
3.84/3.99	c core #710
3.84/3.99	c Core size: 3	Core Weight: 1	Total Weight: 710
3.84/3.99	c Elapsed CPU time: 3.91141 s	Remaining CPU time: 1796.09 s
3.94/4.00	c core #711
3.94/4.00	c Core size: 3	Core Weight: 1	Total Weight: 711
3.94/4.00	c Elapsed CPU time: 3.9194 s	Remaining CPU time: 1796.08 s
3.94/4.01	c core #712
3.94/4.01	c Core size: 3	Core Weight: 1	Total Weight: 712
3.94/4.01	c Elapsed CPU time: 3.9264 s	Remaining CPU time: 1796.07 s
3.94/4.02	c core #713
3.94/4.02	c Core size: 3	Core Weight: 1	Total Weight: 713
3.94/4.02	c Elapsed CPU time: 3.9334 s	Remaining CPU time: 1796.07 s
3.94/4.03	c core #714
3.94/4.03	c Core size: 3	Core Weight: 1	Total Weight: 714
3.94/4.03	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 1796.06 s
3.94/4.03	c core #715
3.94/4.03	c Core size: 3	Core Weight: 1	Total Weight: 715
3.94/4.03	c Elapsed CPU time: 3.9484 s	Remaining CPU time: 1796.05 s
3.94/4.04	c core #716
3.94/4.04	c Core size: 3	Core Weight: 1	Total Weight: 716
3.94/4.04	c Elapsed CPU time: 3.9564 s	Remaining CPU time: 1796.04 s
3.94/4.05	c core #717
3.94/4.05	c Core size: 3	Core Weight: 1	Total Weight: 717
3.94/4.05	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 1796.04 s
3.94/4.06	c core #718
3.94/4.06	c Core size: 3	Core Weight: 1	Total Weight: 718
3.94/4.06	c Elapsed CPU time: 3.9724 s	Remaining CPU time: 1796.03 s
3.94/4.06	c core #719
3.94/4.06	c Core size: 3	Core Weight: 1	Total Weight: 719
3.94/4.06	c Elapsed CPU time: 3.98039 s	Remaining CPU time: 1796.02 s
3.94/4.07	c core #720
3.94/4.07	c Core size: 3	Core Weight: 1	Total Weight: 720
3.94/4.07	c Elapsed CPU time: 3.98839 s	Remaining CPU time: 1796.01 s
3.94/4.08	c core #721
3.94/4.08	c Core size: 3	Core Weight: 1	Total Weight: 721
3.94/4.08	c Elapsed CPU time: 3.99639 s	Remaining CPU time: 1796 s
3.94/4.09	c core #722
3.94/4.09	c Core size: 3	Core Weight: 1	Total Weight: 722
3.94/4.09	c Elapsed CPU time: 4.00439 s	Remaining CPU time: 1796 s
4.04/4.10	c core #723
4.04/4.10	c Core size: 3	Core Weight: 1	Total Weight: 723
4.04/4.10	c Elapsed CPU time: 4.01239 s	Remaining CPU time: 1795.99 s
4.04/4.10	c core #724
4.04/4.10	c Core size: 3	Core Weight: 1	Total Weight: 724
4.04/4.10	c Elapsed CPU time: 4.02039 s	Remaining CPU time: 1795.98 s
4.04/4.11	c core #725
4.04/4.11	c Core size: 3	Core Weight: 1	Total Weight: 725
4.04/4.11	c Elapsed CPU time: 4.02839 s	Remaining CPU time: 1795.97 s
4.04/4.12	c core #726
4.04/4.12	c Core size: 3	Core Weight: 1	Total Weight: 726
4.04/4.12	c Elapsed CPU time: 4.03639 s	Remaining CPU time: 1795.96 s
4.04/4.13	c core #727
4.04/4.13	c Core size: 3	Core Weight: 1	Total Weight: 727
4.04/4.13	c Elapsed CPU time: 4.04439 s	Remaining CPU time: 1795.96 s
4.04/4.14	c core #728
4.04/4.14	c Core size: 3	Core Weight: 1	Total Weight: 728
4.04/4.14	c Elapsed CPU time: 4.05238 s	Remaining CPU time: 1795.95 s
4.04/4.14	c core #729
4.04/4.14	c Core size: 3	Core Weight: 1	Total Weight: 729
4.04/4.14	c Elapsed CPU time: 4.06038 s	Remaining CPU time: 1795.94 s
4.04/4.15	c core #730
4.04/4.15	c Core size: 3	Core Weight: 1	Total Weight: 730
4.04/4.15	c Elapsed CPU time: 4.06838 s	Remaining CPU time: 1795.93 s
4.04/4.16	c core #731
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 731
4.04/4.16	c Elapsed CPU time: 4.07538 s	Remaining CPU time: 1795.92 s
4.04/4.17	c core #732
4.04/4.17	c Core size: 3	Core Weight: 1	Total Weight: 732
4.04/4.17	c Elapsed CPU time: 4.08238 s	Remaining CPU time: 1795.92 s
4.04/4.18	c core #733
4.04/4.18	c Core size: 3	Core Weight: 1	Total Weight: 733
4.04/4.18	c Elapsed CPU time: 4.09038 s	Remaining CPU time: 1795.91 s
4.04/4.18	c core #734
4.04/4.18	c Core size: 3	Core Weight: 1	Total Weight: 734
4.04/4.18	c Elapsed CPU time: 4.09838 s	Remaining CPU time: 1795.9 s
4.04/4.19	c core #735
4.04/4.19	c Core size: 3	Core Weight: 1	Total Weight: 735
4.04/4.19	c Elapsed CPU time: 4.10538 s	Remaining CPU time: 1795.89 s
4.13/4.20	c core #736
4.13/4.20	c Core size: 3	Core Weight: 1	Total Weight: 736
4.13/4.20	c Elapsed CPU time: 4.11337 s	Remaining CPU time: 1795.89 s
4.13/4.21	c core #737
4.13/4.21	c Core size: 3	Core Weight: 1	Total Weight: 737
4.13/4.21	c Elapsed CPU time: 4.12137 s	Remaining CPU time: 1795.88 s
4.13/4.22	c core #738
4.13/4.22	c Core size: 3	Core Weight: 1	Total Weight: 738
4.13/4.22	c Elapsed CPU time: 4.12937 s	Remaining CPU time: 1795.87 s
4.13/4.22	c core #739
4.13/4.22	c Core size: 3	Core Weight: 1	Total Weight: 739
4.13/4.22	c Elapsed CPU time: 4.13737 s	Remaining CPU time: 1795.86 s
4.13/4.23	c core #740
4.13/4.23	c Core size: 3	Core Weight: 1	Total Weight: 740
4.13/4.23	c Elapsed CPU time: 4.14537 s	Remaining CPU time: 1795.85 s
4.13/4.24	c core #741
4.13/4.24	c Core size: 3	Core Weight: 1	Total Weight: 741
4.13/4.24	c Elapsed CPU time: 4.15337 s	Remaining CPU time: 1795.85 s
4.13/4.25	c core #742
4.13/4.25	c Core size: 3	Core Weight: 1	Total Weight: 742
4.13/4.25	c Elapsed CPU time: 4.16137 s	Remaining CPU time: 1795.84 s
4.13/4.26	c core #743
4.13/4.26	c Core size: 3	Core Weight: 1	Total Weight: 743
4.13/4.26	c Elapsed CPU time: 4.16937 s	Remaining CPU time: 1795.83 s
4.13/4.27	c core #744
4.13/4.27	c Core size: 3	Core Weight: 1	Total Weight: 744
4.13/4.27	c Elapsed CPU time: 4.17736 s	Remaining CPU time: 1795.82 s
4.13/4.27	c core #745
4.13/4.27	c Core size: 3	Core Weight: 1	Total Weight: 745
4.13/4.27	c Elapsed CPU time: 4.18536 s	Remaining CPU time: 1795.81 s
4.13/4.28	c core #746
4.13/4.28	c Core size: 3	Core Weight: 1	Total Weight: 746
4.13/4.28	c Elapsed CPU time: 4.19336 s	Remaining CPU time: 1795.81 s
4.13/4.29	c core #747
4.13/4.29	c Core size: 3	Core Weight: 1	Total Weight: 747
4.13/4.29	c Elapsed CPU time: 4.20136 s	Remaining CPU time: 1795.8 s
4.13/4.30	c core #748
4.13/4.30	c Core size: 3	Core Weight: 1	Total Weight: 748
4.13/4.30	c Elapsed CPU time: 4.20936 s	Remaining CPU time: 1795.79 s
4.24/4.31	c core #749
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 749
4.24/4.31	c Elapsed CPU time: 4.21736 s	Remaining CPU time: 1795.78 s
4.24/4.31	c core #750
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 750
4.24/4.31	c Elapsed CPU time: 4.22536 s	Remaining CPU time: 1795.77 s
4.24/4.32	c core #751
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 751
4.24/4.32	c Elapsed CPU time: 4.23336 s	Remaining CPU time: 1795.77 s
4.24/4.33	c core #752
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 752
4.24/4.33	c Elapsed CPU time: 4.24136 s	Remaining CPU time: 1795.76 s
4.24/4.34	c core #753
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 753
4.24/4.34	c Elapsed CPU time: 4.24935 s	Remaining CPU time: 1795.75 s
4.24/4.35	c core #754
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 754
4.24/4.35	c Elapsed CPU time: 4.25735 s	Remaining CPU time: 1795.74 s
4.24/4.35	c core #755
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 755
4.24/4.35	c Elapsed CPU time: 4.26635 s	Remaining CPU time: 1795.73 s
4.24/4.36	c core #756
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 756
4.24/4.36	c Elapsed CPU time: 4.27435 s	Remaining CPU time: 1795.73 s
4.24/4.37	c core #757
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 757
4.24/4.37	c Elapsed CPU time: 4.28235 s	Remaining CPU time: 1795.72 s
4.24/4.38	c core #758
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 758
4.24/4.38	c Elapsed CPU time: 4.29135 s	Remaining CPU time: 1795.71 s
4.24/4.39	c core #759
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 759
4.24/4.39	c Elapsed CPU time: 4.29935 s	Remaining CPU time: 1795.7 s
4.24/4.40	c core #760
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 760
4.24/4.40	c Elapsed CPU time: 4.30734 s	Remaining CPU time: 1795.69 s
4.34/4.40	c core #761
4.34/4.40	c Core size: 3	Core Weight: 1	Total Weight: 761
4.34/4.40	c Elapsed CPU time: 4.31634 s	Remaining CPU time: 1795.68 s
4.34/4.41	c core #762
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 762
4.34/4.41	c Elapsed CPU time: 4.32434 s	Remaining CPU time: 1795.68 s
4.34/4.42	c core #763
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 763
4.34/4.42	c Elapsed CPU time: 4.33234 s	Remaining CPU time: 1795.67 s
4.34/4.43	c core #764
4.34/4.43	c Core size: 3	Core Weight: 1	Total Weight: 764
4.34/4.43	c Elapsed CPU time: 4.34034 s	Remaining CPU time: 1795.66 s
4.34/4.44	c core #765
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 765
4.34/4.44	c Elapsed CPU time: 4.34834 s	Remaining CPU time: 1795.65 s
4.34/4.44	c core #766
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 766
4.34/4.44	c Elapsed CPU time: 4.35634 s	Remaining CPU time: 1795.64 s
4.34/4.45	c core #767
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 767
4.34/4.45	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 1795.64 s
4.34/4.46	c core #768
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 768
4.34/4.46	c Elapsed CPU time: 4.37233 s	Remaining CPU time: 1795.63 s
4.34/4.47	c core #769
4.34/4.47	c Core size: 3	Core Weight: 1	Total Weight: 769
4.34/4.47	c Elapsed CPU time: 4.38033 s	Remaining CPU time: 1795.62 s
4.34/4.48	c core #770
4.34/4.48	c Core size: 3	Core Weight: 1	Total Weight: 770
4.34/4.48	c Elapsed CPU time: 4.38833 s	Remaining CPU time: 1795.61 s
4.34/4.49	c core #771
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 771
4.34/4.49	c Elapsed CPU time: 4.39733 s	Remaining CPU time: 1795.6 s
4.34/4.50	c core #772
4.34/4.50	c Core size: 3	Core Weight: 1	Total Weight: 772
4.34/4.50	c Elapsed CPU time: 4.40433 s	Remaining CPU time: 1795.6 s
4.43/4.50	c core #773
4.43/4.50	c Core size: 3	Core Weight: 1	Total Weight: 773
4.43/4.50	c Elapsed CPU time: 4.41333 s	Remaining CPU time: 1795.59 s
4.43/4.51	c core #774
4.43/4.51	c Core size: 3	Core Weight: 1	Total Weight: 774
4.43/4.51	c Elapsed CPU time: 4.42133 s	Remaining CPU time: 1795.58 s
4.43/4.52	c core #775
4.43/4.52	c Core size: 3	Core Weight: 1	Total Weight: 775
4.43/4.52	c Elapsed CPU time: 4.43033 s	Remaining CPU time: 1795.57 s
4.43/4.53	c core #776
4.43/4.53	c Core size: 3	Core Weight: 1	Total Weight: 776
4.43/4.53	c Elapsed CPU time: 4.43832 s	Remaining CPU time: 1795.56 s
4.43/4.54	c core #777
4.43/4.54	c Core size: 3	Core Weight: 1	Total Weight: 777
4.43/4.54	c Elapsed CPU time: 4.44732 s	Remaining CPU time: 1795.55 s
4.43/4.55	c core #778
4.43/4.55	c Core size: 3	Core Weight: 1	Total Weight: 778
4.43/4.55	c Elapsed CPU time: 4.45532 s	Remaining CPU time: 1795.54 s
4.43/4.55	c core #779
4.43/4.55	c Core size: 3	Core Weight: 1	Total Weight: 779
4.43/4.55	c Elapsed CPU time: 4.46332 s	Remaining CPU time: 1795.54 s
4.43/4.56	c core #780
4.43/4.56	c Core size: 3	Core Weight: 1	Total Weight: 780
4.43/4.56	c Elapsed CPU time: 4.47132 s	Remaining CPU time: 1795.53 s
4.43/4.57	c core #781
4.43/4.57	c Core size: 3	Core Weight: 1	Total Weight: 781
4.43/4.57	c Elapsed CPU time: 4.47932 s	Remaining CPU time: 1795.52 s
4.43/4.58	c core #782
4.43/4.58	c Core size: 3	Core Weight: 1	Total Weight: 782
4.43/4.58	c Elapsed CPU time: 4.48732 s	Remaining CPU time: 1795.51 s
4.43/4.59	c core #783
4.43/4.59	c Core size: 3	Core Weight: 1	Total Weight: 783
4.43/4.59	c Elapsed CPU time: 4.49532 s	Remaining CPU time: 1795.5 s
4.53/4.60	c core #784
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 784
4.53/4.60	c Elapsed CPU time: 4.50331 s	Remaining CPU time: 1795.5 s
4.53/4.60	c core #785
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 785
4.53/4.60	c Elapsed CPU time: 4.51131 s	Remaining CPU time: 1795.49 s
4.53/4.61	c core #786
4.53/4.61	c Core size: 3	Core Weight: 1	Total Weight: 786
4.53/4.61	c Elapsed CPU time: 4.51931 s	Remaining CPU time: 1795.48 s
4.53/4.62	c core #787
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 787
4.53/4.62	c Elapsed CPU time: 4.52831 s	Remaining CPU time: 1795.47 s
4.53/4.63	c core #788
4.53/4.63	c Core size: 3	Core Weight: 1	Total Weight: 788
4.53/4.63	c Elapsed CPU time: 4.53631 s	Remaining CPU time: 1795.46 s
4.53/4.64	c core #789
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 789
4.53/4.64	c Elapsed CPU time: 4.54431 s	Remaining CPU time: 1795.46 s
4.53/4.65	c core #790
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 790
4.53/4.65	c Elapsed CPU time: 4.55331 s	Remaining CPU time: 1795.45 s
4.53/4.66	c core #791
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 791
4.53/4.66	c Elapsed CPU time: 4.56231 s	Remaining CPU time: 1795.44 s
4.53/4.66	c core #792
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 792
4.53/4.66	c Elapsed CPU time: 4.57031 s	Remaining CPU time: 1795.43 s
4.53/4.67	c core #793
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 793
4.53/4.67	c Elapsed CPU time: 4.5793 s	Remaining CPU time: 1795.42 s
4.53/4.68	c core #794
4.53/4.68	c Core size: 3	Core Weight: 1	Total Weight: 794
4.53/4.68	c Elapsed CPU time: 4.5883 s	Remaining CPU time: 1795.41 s
4.53/4.69	c core #795
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 795
4.53/4.69	c Elapsed CPU time: 4.5963 s	Remaining CPU time: 1795.4 s
4.63/4.70	c core #796
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 796
4.63/4.70	c Elapsed CPU time: 4.6043 s	Remaining CPU time: 1795.4 s
4.63/4.71	c core #797
4.63/4.71	c Core size: 3	Core Weight: 1	Total Weight: 797
4.63/4.71	c Elapsed CPU time: 4.6123 s	Remaining CPU time: 1795.39 s
4.63/4.72	c core #798
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 798
4.63/4.72	c Elapsed CPU time: 4.6203 s	Remaining CPU time: 1795.38 s
4.63/4.72	c core #799
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 799
4.63/4.72	c Elapsed CPU time: 4.6293 s	Remaining CPU time: 1795.37 s
4.63/4.73	c core #800
4.63/4.73	c Core size: 3	Core Weight: 1	Total Weight: 800
4.63/4.73	c Elapsed CPU time: 4.63729 s	Remaining CPU time: 1795.36 s
4.63/4.74	c core #801
4.63/4.74	c Core size: 3	Core Weight: 1	Total Weight: 801
4.63/4.74	c Elapsed CPU time: 4.64629 s	Remaining CPU time: 1795.35 s
4.63/4.75	c core #802
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 802
4.63/4.75	c Elapsed CPU time: 4.65429 s	Remaining CPU time: 1795.35 s
4.63/4.76	c core #803
4.63/4.76	c Core size: 3	Core Weight: 1	Total Weight: 803
4.63/4.76	c Elapsed CPU time: 4.66329 s	Remaining CPU time: 1795.34 s
4.63/4.77	c core #804
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 804
4.63/4.77	c Elapsed CPU time: 4.67129 s	Remaining CPU time: 1795.33 s
4.63/4.77	c core #805
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 805
4.63/4.77	c Elapsed CPU time: 4.68029 s	Remaining CPU time: 1795.32 s
4.63/4.78	c core #806
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 806
4.63/4.78	c Elapsed CPU time: 4.68829 s	Remaining CPU time: 1795.31 s
4.63/4.79	c core #807
4.63/4.79	c Core size: 3	Core Weight: 1	Total Weight: 807
4.63/4.79	c Elapsed CPU time: 4.69728 s	Remaining CPU time: 1795.3 s
4.73/4.80	c core #808
4.73/4.80	c Core size: 3	Core Weight: 1	Total Weight: 808
4.73/4.80	c Elapsed CPU time: 4.70528 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #809
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 809
4.73/4.81	c Elapsed CPU time: 4.71428 s	Remaining CPU time: 1795.29 s
4.73/4.82	c core #810
4.73/4.82	c Core size: 3	Core Weight: 1	Total Weight: 810
4.73/4.82	c Elapsed CPU time: 4.72228 s	Remaining CPU time: 1795.28 s
4.73/4.83	c core #811
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 811
4.73/4.83	c Elapsed CPU time: 4.73028 s	Remaining CPU time: 1795.27 s
4.73/4.83	c core #812
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 812
4.73/4.83	c Elapsed CPU time: 4.73828 s	Remaining CPU time: 1795.26 s
4.73/4.84	c core #813
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 813
4.73/4.84	c Elapsed CPU time: 4.74628 s	Remaining CPU time: 1795.25 s
4.73/4.85	c core #814
4.73/4.85	c Core size: 3	Core Weight: 1	Total Weight: 814
4.73/4.85	c Elapsed CPU time: 4.75528 s	Remaining CPU time: 1795.24 s
4.73/4.86	c core #815
4.73/4.86	c Core size: 3	Core Weight: 1	Total Weight: 815
4.73/4.86	c Elapsed CPU time: 4.76328 s	Remaining CPU time: 1795.24 s
4.73/4.87	c core #816
4.73/4.87	c Core size: 7	Core Weight: 1	Total Weight: 816
4.73/4.87	c Elapsed CPU time: 4.77127 s	Remaining CPU time: 1795.23 s
4.73/4.88	c core #817
4.73/4.88	c Core size: 7	Core Weight: 1	Total Weight: 817
4.73/4.88	c Elapsed CPU time: 4.78027 s	Remaining CPU time: 1795.22 s
4.73/4.89	c core #818
4.73/4.89	c Core size: 7	Core Weight: 1	Total Weight: 818
4.73/4.89	c Elapsed CPU time: 4.78927 s	Remaining CPU time: 1795.21 s
4.73/4.90	c core #819
4.73/4.90	c Core size: 7	Core Weight: 1	Total Weight: 819
4.73/4.90	c Elapsed CPU time: 4.79827 s	Remaining CPU time: 1795.2 s
4.82/4.90	c core #820
4.82/4.90	c Core size: 7	Core Weight: 1	Total Weight: 820
4.82/4.90	c Elapsed CPU time: 4.80627 s	Remaining CPU time: 1795.19 s
4.82/4.91	c core #821
4.82/4.91	c Core size: 7	Core Weight: 1	Total Weight: 821
4.82/4.91	c Elapsed CPU time: 4.81527 s	Remaining CPU time: 1795.18 s
4.82/4.92	c core #822
4.82/4.92	c Core size: 7	Core Weight: 1	Total Weight: 822
4.82/4.92	c Elapsed CPU time: 4.82427 s	Remaining CPU time: 1795.18 s
4.82/4.93	c core #823
4.82/4.93	c Core size: 7	Core Weight: 1	Total Weight: 823
4.82/4.93	c Elapsed CPU time: 4.83326 s	Remaining CPU time: 1795.17 s
4.82/4.94	c core #824
4.82/4.94	c Core size: 7	Core Weight: 1	Total Weight: 824
4.82/4.94	c Elapsed CPU time: 4.84226 s	Remaining CPU time: 1795.16 s
4.82/4.95	c core #825
4.82/4.95	c Core size: 7	Core Weight: 1	Total Weight: 825
4.82/4.95	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 1795.15 s
4.82/4.96	c core #826
4.82/4.96	c Core size: 7	Core Weight: 1	Total Weight: 826
4.82/4.96	c Elapsed CPU time: 4.86026 s	Remaining CPU time: 1795.14 s
4.82/4.97	c core #827
4.82/4.97	c Core size: 7	Core Weight: 1	Total Weight: 827
4.82/4.97	c Elapsed CPU time: 4.86926 s	Remaining CPU time: 1795.13 s
4.82/4.98	c core #828
4.82/4.98	c Core size: 7	Core Weight: 1	Total Weight: 828
4.82/4.98	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.82/4.99	c core #829
4.82/4.99	c Core size: 7	Core Weight: 1	Total Weight: 829
4.82/4.99	c Elapsed CPU time: 4.88726 s	Remaining CPU time: 1795.11 s
4.82/4.99	c core #830
4.82/4.99	c Core size: 7	Core Weight: 1	Total Weight: 830
4.82/4.99	c Elapsed CPU time: 4.89626 s	Remaining CPU time: 1795.1 s
4.92/5.00	c core #831
4.92/5.00	c Core size: 7	Core Weight: 1	Total Weight: 831
4.92/5.00	c Elapsed CPU time: 4.90525 s	Remaining CPU time: 1795.09 s
4.92/5.01	c core #832
4.92/5.01	c Core size: 7	Core Weight: 1	Total Weight: 832
4.92/5.01	c Elapsed CPU time: 4.91425 s	Remaining CPU time: 1795.09 s
4.92/5.02	c core #833
4.92/5.02	c Core size: 7	Core Weight: 1	Total Weight: 833
4.92/5.02	c Elapsed CPU time: 4.92325 s	Remaining CPU time: 1795.08 s
4.92/5.03	c core #834
4.92/5.03	c Core size: 7	Core Weight: 1	Total Weight: 834
4.92/5.03	c Elapsed CPU time: 4.93225 s	Remaining CPU time: 1795.07 s
4.92/5.04	c core #835
4.92/5.04	c Core size: 7	Core Weight: 1	Total Weight: 835
4.92/5.04	c Elapsed CPU time: 4.94125 s	Remaining CPU time: 1795.06 s
4.92/5.05	c core #836
4.92/5.05	c Core size: 7	Core Weight: 1	Total Weight: 836
4.92/5.05	c Elapsed CPU time: 4.95025 s	Remaining CPU time: 1795.05 s
4.92/5.06	c core #837
4.92/5.06	c Core size: 15	Core Weight: 1	Total Weight: 837
4.92/5.06	c Elapsed CPU time: 4.95925 s	Remaining CPU time: 1795.04 s
4.92/5.07	c core #838
4.92/5.07	c Core size: 7	Core Weight: 1	Total Weight: 838
4.92/5.07	c Elapsed CPU time: 4.96724 s	Remaining CPU time: 1795.03 s
4.92/5.08	c core #839
4.92/5.08	c Core size: 7	Core Weight: 1	Total Weight: 839
4.92/5.08	c Elapsed CPU time: 4.97524 s	Remaining CPU time: 1795.02 s
4.92/5.08	c core #840
4.92/5.08	c Core size: 7	Core Weight: 1	Total Weight: 840
4.92/5.08	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
4.92/5.09	c core #841
4.92/5.09	c Core size: 7	Core Weight: 1	Total Weight: 841
4.92/5.09	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 1795.01 s
5.03/5.10	c core #842
5.03/5.10	c Core size: 7	Core Weight: 1	Total Weight: 842
5.03/5.10	c Elapsed CPU time: 5.00224 s	Remaining CPU time: 1795 s
5.03/5.11	c core #843
5.03/5.11	c Core size: 7	Core Weight: 1	Total Weight: 843
5.03/5.11	c Elapsed CPU time: 5.01124 s	Remaining CPU time: 1794.99 s
5.03/5.12	c core #844
5.03/5.12	c Core size: 7	Core Weight: 1	Total Weight: 844
5.03/5.12	c Elapsed CPU time: 5.02024 s	Remaining CPU time: 1794.98 s
5.03/5.13	c core #845
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 845
5.03/5.13	c Elapsed CPU time: 5.02923 s	Remaining CPU time: 1794.97 s
5.03/5.14	c core #846
5.03/5.14	c Core size: 11	Core Weight: 1	Total Weight: 846
5.03/5.14	c Elapsed CPU time: 5.03823 s	Remaining CPU time: 1794.96 s
5.03/5.15	c core #847
5.03/5.15	c Core size: 7	Core Weight: 1	Total Weight: 847
5.03/5.15	c Elapsed CPU time: 5.04823 s	Remaining CPU time: 1794.95 s
5.03/5.16	c core #848
5.03/5.16	c Core size: 11	Core Weight: 1	Total Weight: 848
5.03/5.16	c Elapsed CPU time: 5.05723 s	Remaining CPU time: 1794.94 s
5.03/5.17	c core #849
5.03/5.17	c Core size: 7	Core Weight: 1	Total Weight: 849
5.03/5.17	c Elapsed CPU time: 5.06623 s	Remaining CPU time: 1794.93 s
5.03/5.18	c core #850
5.03/5.18	c Core size: 7	Core Weight: 1	Total Weight: 850
5.03/5.18	c Elapsed CPU time: 5.07523 s	Remaining CPU time: 1794.92 s
5.03/5.19	c core #851
5.03/5.19	c Core size: 11	Core Weight: 1	Total Weight: 851
5.03/5.19	c Elapsed CPU time: 5.08523 s	Remaining CPU time: 1794.91 s
5.03/5.20	c core #852
5.03/5.20	c Core size: 7	Core Weight: 1	Total Weight: 852
5.03/5.20	c Elapsed CPU time: 5.09422 s	Remaining CPU time: 1794.91 s
5.13/5.21	c core #853
5.13/5.21	c Core size: 7	Core Weight: 1	Total Weight: 853
5.13/5.21	c Elapsed CPU time: 5.10322 s	Remaining CPU time: 1794.9 s
5.13/5.21	c core #854
5.13/5.21	c Core size: 7	Core Weight: 1	Total Weight: 854
5.13/5.21	c Elapsed CPU time: 5.11322 s	Remaining CPU time: 1794.89 s
5.13/5.22	c core #855
5.13/5.22	c Core size: 11	Core Weight: 1	Total Weight: 855
5.13/5.22	c Elapsed CPU time: 5.12222 s	Remaining CPU time: 1794.88 s
5.13/5.23	c core #856
5.13/5.23	c Core size: 7	Core Weight: 1	Total Weight: 856
5.13/5.23	c Elapsed CPU time: 5.13022 s	Remaining CPU time: 1794.87 s
5.13/5.24	c core #857
5.13/5.24	c Core size: 7	Core Weight: 1	Total Weight: 857
5.13/5.24	c Elapsed CPU time: 5.13922 s	Remaining CPU time: 1794.86 s
5.13/5.25	c core #858
5.13/5.25	c Core size: 7	Core Weight: 1	Total Weight: 858
5.13/5.25	c Elapsed CPU time: 5.14922 s	Remaining CPU time: 1794.85 s
5.13/5.26	c core #859
5.13/5.26	c Core size: 7	Core Weight: 1	Total Weight: 859
5.13/5.26	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.13/5.27	c core #860
5.13/5.27	c Core size: 7	Core Weight: 1	Total Weight: 860
5.13/5.27	c Elapsed CPU time: 5.16721 s	Remaining CPU time: 1794.83 s
5.13/5.28	c core #861
5.13/5.28	c Core size: 7	Core Weight: 1	Total Weight: 861
5.13/5.28	c Elapsed CPU time: 5.17721 s	Remaining CPU time: 1794.82 s
5.13/5.29	c core #862
5.13/5.29	c Core size: 7	Core Weight: 1	Total Weight: 862
5.13/5.29	c Elapsed CPU time: 5.18621 s	Remaining CPU time: 1794.81 s
5.23/5.30	c core #863
5.23/5.30	c Core size: 11	Core Weight: 1	Total Weight: 863
5.23/5.30	c Elapsed CPU time: 5.19521 s	Remaining CPU time: 1794.8 s
5.23/5.31	c core #864
5.23/5.31	c Core size: 7	Core Weight: 1	Total Weight: 864
5.23/5.31	c Elapsed CPU time: 5.20521 s	Remaining CPU time: 1794.79 s
5.23/5.32	c core #865
5.23/5.32	c Core size: 11	Core Weight: 1	Total Weight: 865
5.23/5.32	c Elapsed CPU time: 5.21421 s	Remaining CPU time: 1794.79 s
5.23/5.33	c core #866
5.23/5.33	c Core size: 11	Core Weight: 1	Total Weight: 866
5.23/5.33	c Elapsed CPU time: 5.22321 s	Remaining CPU time: 1794.78 s
5.23/5.34	c core #867
5.23/5.34	c Core size: 7	Core Weight: 1	Total Weight: 867
5.23/5.34	c Elapsed CPU time: 5.2322 s	Remaining CPU time: 1794.77 s
5.23/5.35	c core #868
5.23/5.35	c Core size: 7	Core Weight: 1	Total Weight: 868
5.23/5.35	c Elapsed CPU time: 5.2422 s	Remaining CPU time: 1794.76 s
5.23/5.36	c core #869
5.23/5.36	c Core size: 7	Core Weight: 1	Total Weight: 869
5.23/5.36	c Elapsed CPU time: 5.2512 s	Remaining CPU time: 1794.75 s
5.23/5.37	c core #870
5.23/5.37	c Core size: 7	Core Weight: 1	Total Weight: 870
5.23/5.37	c Elapsed CPU time: 5.2602 s	Remaining CPU time: 1794.74 s
5.23/5.38	c core #871
5.23/5.38	c Core size: 11	Core Weight: 1	Total Weight: 871
5.23/5.38	c Elapsed CPU time: 5.2702 s	Remaining CPU time: 1794.73 s
5.23/5.39	c core #872
5.23/5.39	c Core size: 11	Core Weight: 1	Total Weight: 872
5.23/5.39	c Elapsed CPU time: 5.2802 s	Remaining CPU time: 1794.72 s
5.23/5.40	c core #873
5.23/5.40	c Core size: 7	Core Weight: 1	Total Weight: 873
5.23/5.40	c Elapsed CPU time: 5.29019 s	Remaining CPU time: 1794.71 s
5.33/5.41	c core #874
5.33/5.41	c Core size: 7	Core Weight: 1	Total Weight: 874
5.33/5.41	c Elapsed CPU time: 5.29919 s	Remaining CPU time: 1794.7 s
5.33/5.42	c core #875
5.33/5.42	c Core size: 11	Core Weight: 1	Total Weight: 875
5.33/5.42	c Elapsed CPU time: 5.30819 s	Remaining CPU time: 1794.69 s
5.33/5.43	c core #876
5.33/5.43	c Core size: 7	Core Weight: 1	Total Weight: 876
5.33/5.43	c Elapsed CPU time: 5.31719 s	Remaining CPU time: 1794.68 s
5.33/5.44	c core #877
5.33/5.44	c Core size: 7	Core Weight: 1	Total Weight: 877
5.33/5.44	c Elapsed CPU time: 5.32719 s	Remaining CPU time: 1794.67 s
5.33/5.45	c core #878
5.33/5.45	c Core size: 15	Core Weight: 1	Total Weight: 878
5.33/5.45	c Elapsed CPU time: 5.33719 s	Remaining CPU time: 1794.66 s
5.33/5.46	c core #879
5.33/5.46	c Core size: 11	Core Weight: 1	Total Weight: 879
5.33/5.46	c Elapsed CPU time: 5.34719 s	Remaining CPU time: 1794.65 s
5.33/5.47	c core #880
5.33/5.47	c Core size: 7	Core Weight: 1	Total Weight: 880
5.33/5.47	c Elapsed CPU time: 5.35719 s	Remaining CPU time: 1794.64 s
5.33/5.48	c core #881
5.33/5.48	c Core size: 7	Core Weight: 1	Total Weight: 881
5.33/5.48	c Elapsed CPU time: 5.36718 s	Remaining CPU time: 1794.63 s
5.33/5.49	c core #882
5.33/5.49	c Core size: 7	Core Weight: 1	Total Weight: 882
5.33/5.49	c Elapsed CPU time: 5.37718 s	Remaining CPU time: 1794.62 s
5.33/5.50	c core #883
5.33/5.50	c Core size: 11	Core Weight: 1	Total Weight: 883
5.33/5.50	c Elapsed CPU time: 5.38718 s	Remaining CPU time: 1794.61 s
5.42/5.51	c core #884
5.42/5.51	c Core size: 7	Core Weight: 1	Total Weight: 884
5.42/5.51	c Elapsed CPU time: 5.39718 s	Remaining CPU time: 1794.6 s
5.42/5.52	c core #885
5.42/5.52	c Core size: 7	Core Weight: 1	Total Weight: 885
5.42/5.52	c Elapsed CPU time: 5.40718 s	Remaining CPU time: 1794.59 s
5.42/5.53	c core #886
5.42/5.53	c Core size: 7	Core Weight: 1	Total Weight: 886
5.42/5.53	c Elapsed CPU time: 5.41718 s	Remaining CPU time: 1794.58 s
5.42/5.54	c core #887
5.42/5.54	c Core size: 11	Core Weight: 1	Total Weight: 887
5.42/5.54	c Elapsed CPU time: 5.42717 s	Remaining CPU time: 1794.57 s
5.42/5.55	c core #888
5.42/5.55	c Core size: 7	Core Weight: 1	Total Weight: 888
5.42/5.55	c Elapsed CPU time: 5.43717 s	Remaining CPU time: 1794.56 s
5.42/5.56	c core #889
5.42/5.56	c Core size: 19	Core Weight: 1	Total Weight: 889
5.42/5.56	c Elapsed CPU time: 5.44717 s	Remaining CPU time: 1794.55 s
5.42/5.57	c core #890
5.42/5.57	c Core size: 15	Core Weight: 1	Total Weight: 890
5.42/5.57	c Elapsed CPU time: 5.45617 s	Remaining CPU time: 1794.54 s
5.42/5.58	c core #891
5.42/5.58	c Core size: 7	Core Weight: 1	Total Weight: 891
5.42/5.58	c Elapsed CPU time: 5.46617 s	Remaining CPU time: 1794.53 s
5.42/5.59	c core #892
5.42/5.59	c Core size: 19	Core Weight: 1	Total Weight: 892
5.42/5.59	c Elapsed CPU time: 5.47717 s	Remaining CPU time: 1794.52 s
5.52/5.60	c core #893
5.52/5.60	c Core size: 11	Core Weight: 1	Total Weight: 893
5.52/5.60	c Elapsed CPU time: 5.48717 s	Remaining CPU time: 1794.51 s
5.52/5.61	c core #894
5.52/5.61	c Core size: 15	Core Weight: 1	Total Weight: 894
5.52/5.61	c Elapsed CPU time: 5.49716 s	Remaining CPU time: 1794.5 s
5.52/5.62	c core #895
5.52/5.62	c Core size: 11	Core Weight: 1	Total Weight: 895
5.52/5.62	c Elapsed CPU time: 5.50716 s	Remaining CPU time: 1794.49 s
5.52/5.63	c core #896
5.52/5.63	c Core size: 11	Core Weight: 1	Total Weight: 896
5.52/5.63	c Elapsed CPU time: 5.51616 s	Remaining CPU time: 1794.48 s
5.52/5.64	c core #897
5.52/5.64	c Core size: 11	Core Weight: 1	Total Weight: 897
5.52/5.64	c Elapsed CPU time: 5.52616 s	Remaining CPU time: 1794.47 s
5.52/5.65	c core #898
5.52/5.65	c Core size: 7	Core Weight: 1	Total Weight: 898
5.52/5.65	c Elapsed CPU time: 5.53616 s	Remaining CPU time: 1794.46 s
5.52/5.66	c core #899
5.52/5.66	c Core size: 11	Core Weight: 1	Total Weight: 899
5.52/5.66	c Elapsed CPU time: 5.54616 s	Remaining CPU time: 1794.45 s
5.52/5.67	c core #900
5.52/5.67	c Core size: 11	Core Weight: 1	Total Weight: 900
5.52/5.67	c Elapsed CPU time: 5.55616 s	Remaining CPU time: 1794.44 s
5.52/5.68	c core #901
5.52/5.68	c Core size: 11	Core Weight: 1	Total Weight: 901
5.52/5.68	c Elapsed CPU time: 5.56615 s	Remaining CPU time: 1794.43 s
5.52/5.69	c core #902
5.52/5.69	c Core size: 7	Core Weight: 1	Total Weight: 902
5.52/5.69	c Elapsed CPU time: 5.57515 s	Remaining CPU time: 1794.42 s
5.61/5.70	c core #903
5.61/5.70	c Core size: 15	Core Weight: 1	Total Weight: 903
5.61/5.70	c Elapsed CPU time: 5.58615 s	Remaining CPU time: 1794.41 s
5.61/5.71	c core #904
5.61/5.71	c Core size: 11	Core Weight: 1	Total Weight: 904
5.61/5.71	c Elapsed CPU time: 5.59615 s	Remaining CPU time: 1794.4 s
5.61/5.72	c core #905
5.61/5.72	c Core size: 7	Core Weight: 1	Total Weight: 905
5.61/5.72	c Elapsed CPU time: 5.60615 s	Remaining CPU time: 1794.39 s
5.61/5.74	c core #906
5.61/5.74	c Core size: 11	Core Weight: 1	Total Weight: 906
5.61/5.74	c Elapsed CPU time: 5.61615 s	Remaining CPU time: 1794.38 s
5.61/5.75	c core #907
5.61/5.75	c Core size: 27	Core Weight: 1	Total Weight: 907
5.61/5.75	c Elapsed CPU time: 5.62714 s	Remaining CPU time: 1794.37 s
5.61/5.76	c core #908
5.61/5.76	c Core size: 15	Core Weight: 1	Total Weight: 908
5.61/5.76	c Elapsed CPU time: 5.63714 s	Remaining CPU time: 1794.36 s
5.61/5.77	c core #909
5.61/5.77	c Core size: 11	Core Weight: 1	Total Weight: 909
5.61/5.77	c Elapsed CPU time: 5.64714 s	Remaining CPU time: 1794.35 s
5.61/5.78	c core #910
5.61/5.78	c Core size: 15	Core Weight: 1	Total Weight: 910
5.61/5.78	c Elapsed CPU time: 5.65714 s	Remaining CPU time: 1794.34 s
5.61/5.79	c core #911
5.61/5.79	c Core size: 15	Core Weight: 1	Total Weight: 911
5.61/5.79	c Elapsed CPU time: 5.66814 s	Remaining CPU time: 1794.33 s
5.71/5.80	c core #912
5.71/5.80	c Core size: 15	Core Weight: 1	Total Weight: 912
5.71/5.80	c Elapsed CPU time: 5.67914 s	Remaining CPU time: 1794.32 s
5.71/5.81	c core #913
5.71/5.81	c Core size: 7	Core Weight: 1	Total Weight: 913
5.71/5.81	c Elapsed CPU time: 5.68914 s	Remaining CPU time: 1794.31 s
5.71/5.82	c core #914
5.71/5.82	c Core size: 7	Core Weight: 1	Total Weight: 914
5.71/5.82	c Elapsed CPU time: 5.70013 s	Remaining CPU time: 1794.3 s
5.71/5.83	c core #915
5.71/5.83	c Core size: 11	Core Weight: 1	Total Weight: 915
5.71/5.83	c Elapsed CPU time: 5.71113 s	Remaining CPU time: 1794.29 s
5.71/5.84	c core #916
5.71/5.84	c Core size: 15	Core Weight: 1	Total Weight: 916
5.71/5.84	c Elapsed CPU time: 5.72213 s	Remaining CPU time: 1794.28 s
5.71/5.86	c core #917
5.71/5.86	c Core size: 15	Core Weight: 1	Total Weight: 917
5.71/5.86	c Elapsed CPU time: 5.73213 s	Remaining CPU time: 1794.27 s
5.71/5.87	c core #918
5.71/5.87	c Core size: 19	Core Weight: 1	Total Weight: 918
5.71/5.87	c Elapsed CPU time: 5.74313 s	Remaining CPU time: 1794.26 s
5.71/5.88	c core #919
5.71/5.88	c Core size: 11	Core Weight: 1	Total Weight: 919
5.71/5.88	c Elapsed CPU time: 5.75312 s	Remaining CPU time: 1794.25 s
5.71/5.89	c core #920
5.71/5.89	c Core size: 19	Core Weight: 1	Total Weight: 920
5.71/5.89	c Elapsed CPU time: 5.76312 s	Remaining CPU time: 1794.24 s
5.82/5.90	c core #921
5.82/5.90	c Core size: 22	Core Weight: 1	Total Weight: 921
5.82/5.90	c Elapsed CPU time: 5.77412 s	Remaining CPU time: 1794.23 s
5.82/5.91	c core #922
5.82/5.91	c Core size: 15	Core Weight: 1	Total Weight: 922
5.82/5.91	c Elapsed CPU time: 5.78512 s	Remaining CPU time: 1794.21 s
5.82/5.92	c core #923
5.82/5.92	c Core size: 23	Core Weight: 1	Total Weight: 923
5.82/5.92	c Elapsed CPU time: 5.79612 s	Remaining CPU time: 1794.2 s
5.82/5.93	c core #924
5.82/5.93	c Core size: 19	Core Weight: 1	Total Weight: 924
5.82/5.93	c Elapsed CPU time: 5.80712 s	Remaining CPU time: 1794.19 s
5.82/5.94	c core #925
5.82/5.94	c Core size: 7	Core Weight: 1	Total Weight: 925
5.82/5.94	c Elapsed CPU time: 5.81811 s	Remaining CPU time: 1794.18 s
5.82/5.96	c core #926
5.82/5.96	c Core size: 35	Core Weight: 1	Total Weight: 926
5.82/5.96	c Elapsed CPU time: 5.83011 s	Remaining CPU time: 1794.17 s
5.82/5.97	c core #927
5.82/5.97	c Core size: 23	Core Weight: 1	Total Weight: 927
5.82/5.97	c Elapsed CPU time: 5.84111 s	Remaining CPU time: 1794.16 s
5.82/5.98	c core #928
5.82/5.98	c Core size: 7	Core Weight: 1	Total Weight: 928
5.82/5.98	c Elapsed CPU time: 5.85211 s	Remaining CPU time: 1794.15 s
5.82/5.99	c core #929
5.82/5.99	c Core size: 11	Core Weight: 1	Total Weight: 929
5.82/5.99	c Elapsed CPU time: 5.86411 s	Remaining CPU time: 1794.14 s
5.92/6.00	c core #930
5.92/6.00	c Core size: 11	Core Weight: 1	Total Weight: 930
5.92/6.00	c Elapsed CPU time: 5.87511 s	Remaining CPU time: 1794.12 s
5.92/6.01	c core #931
5.92/6.01	c Core size: 15	Core Weight: 1	Total Weight: 931
5.92/6.01	c Elapsed CPU time: 5.8861 s	Remaining CPU time: 1794.11 s
5.92/6.02	c core #932
5.92/6.02	c Core size: 19	Core Weight: 1	Total Weight: 932
5.92/6.02	c Elapsed CPU time: 5.8971 s	Remaining CPU time: 1794.1 s
5.92/6.03	c core #933
5.92/6.03	c Core size: 11	Core Weight: 1	Total Weight: 933
5.92/6.03	c Elapsed CPU time: 5.9071 s	Remaining CPU time: 1794.09 s
5.92/6.04	c core #934
5.92/6.04	c Core size: 11	Core Weight: 1	Total Weight: 934
5.92/6.04	c Elapsed CPU time: 5.9171 s	Remaining CPU time: 1794.08 s
5.92/6.06	c core #935
5.92/6.06	c Core size: 27	Core Weight: 1	Total Weight: 935
5.92/6.06	c Elapsed CPU time: 5.9271 s	Remaining CPU time: 1794.07 s
5.92/6.07	c core #936
5.92/6.07	c Core size: 27	Core Weight: 1	Total Weight: 936
5.92/6.07	c Elapsed CPU time: 5.9381 s	Remaining CPU time: 1794.06 s
5.92/6.08	c core #937
5.92/6.08	c Core size: 11	Core Weight: 1	Total Weight: 937
5.92/6.08	c Elapsed CPU time: 5.94909 s	Remaining CPU time: 1794.05 s
5.92/6.09	c core #938
5.92/6.09	c Core size: 27	Core Weight: 1	Total Weight: 938
5.92/6.09	c Elapsed CPU time: 5.96109 s	Remaining CPU time: 1794.04 s
6.01/6.10	c core #939
6.01/6.10	c Core size: 19	Core Weight: 1	Total Weight: 939
6.01/6.10	c Elapsed CPU time: 5.97209 s	Remaining CPU time: 1794.03 s
6.01/6.11	c core #940
6.01/6.11	c Core size: 19	Core Weight: 1	Total Weight: 940
6.01/6.11	c Elapsed CPU time: 5.98409 s	Remaining CPU time: 1794.02 s
6.01/6.12	c core #941
6.01/6.12	c Core size: 23	Core Weight: 1	Total Weight: 941
6.01/6.12	c Elapsed CPU time: 5.99509 s	Remaining CPU time: 1794 s
6.01/6.14	c core #942
6.01/6.14	c Core size: 23	Core Weight: 1	Total Weight: 942
6.01/6.14	c Elapsed CPU time: 6.00609 s	Remaining CPU time: 1793.99 s
6.01/6.15	c core #943
6.01/6.15	c Core size: 11	Core Weight: 1	Total Weight: 943
6.01/6.15	c Elapsed CPU time: 6.01708 s	Remaining CPU time: 1793.98 s
6.01/6.16	c core #944
6.01/6.16	c Core size: 23	Core Weight: 1	Total Weight: 944
6.01/6.16	c Elapsed CPU time: 6.02808 s	Remaining CPU time: 1793.97 s
6.01/6.17	c core #945
6.01/6.17	c Core size: 23	Core Weight: 1	Total Weight: 945
6.01/6.17	c Elapsed CPU time: 6.03808 s	Remaining CPU time: 1793.96 s
6.01/6.18	c core #946
6.01/6.18	c Core size: 19	Core Weight: 1	Total Weight: 946
6.01/6.18	c Elapsed CPU time: 6.04908 s	Remaining CPU time: 1793.95 s
6.01/6.19	c core #947
6.01/6.19	c Core size: 27	Core Weight: 1	Total Weight: 947
6.01/6.19	c Elapsed CPU time: 6.06108 s	Remaining CPU time: 1793.94 s
6.11/6.21	c core #948
6.11/6.21	c Core size: 7	Core Weight: 1	Total Weight: 948
6.11/6.21	c Elapsed CPU time: 6.07208 s	Remaining CPU time: 1793.93 s
6.11/6.22	c core #949
6.11/6.22	c Core size: 15	Core Weight: 1	Total Weight: 949
6.11/6.22	c Elapsed CPU time: 6.08308 s	Remaining CPU time: 1793.92 s
6.11/6.23	c core #950
6.11/6.23	c Core size: 11	Core Weight: 1	Total Weight: 950
6.11/6.23	c Elapsed CPU time: 6.09407 s	Remaining CPU time: 1793.91 s
6.11/6.24	c core #951
6.11/6.24	c Core size: 11	Core Weight: 1	Total Weight: 951
6.11/6.24	c Elapsed CPU time: 6.10407 s	Remaining CPU time: 1793.9 s
6.11/6.25	c core #952
6.11/6.25	c Core size: 15	Core Weight: 1	Total Weight: 952
6.11/6.25	c Elapsed CPU time: 6.11607 s	Remaining CPU time: 1793.88 s
6.11/6.26	c core #953
6.11/6.26	c Core size: 63	Core Weight: 1	Total Weight: 953
6.11/6.26	c Elapsed CPU time: 6.12807 s	Remaining CPU time: 1793.87 s
6.11/6.28	c core #954
6.11/6.28	c Core size: 23	Core Weight: 1	Total Weight: 954
6.11/6.28	c Elapsed CPU time: 6.14007 s	Remaining CPU time: 1793.86 s
6.11/6.29	c core #955
6.11/6.29	c Core size: 35	Core Weight: 1	Total Weight: 955
6.11/6.29	c Elapsed CPU time: 6.15106 s	Remaining CPU time: 1793.85 s
6.21/6.30	c core #956
6.21/6.30	c Core size: 31	Core Weight: 1	Total Weight: 956
6.21/6.30	c Elapsed CPU time: 6.16306 s	Remaining CPU time: 1793.84 s
6.21/6.31	c core #957
6.21/6.31	c Core size: 15	Core Weight: 1	Total Weight: 957
6.21/6.31	c Elapsed CPU time: 6.17406 s	Remaining CPU time: 1793.83 s
6.21/6.32	c core #958
6.21/6.32	c Core size: 23	Core Weight: 1	Total Weight: 958
6.21/6.32	c Elapsed CPU time: 6.18606 s	Remaining CPU time: 1793.81 s
6.21/6.33	c core #959
6.21/6.33	c Core size: 51	Core Weight: 1	Total Weight: 959
6.21/6.33	c Elapsed CPU time: 6.19706 s	Remaining CPU time: 1793.8 s
6.21/6.35	c core #960
6.21/6.35	c Core size: 115	Core Weight: 1	Total Weight: 960
6.21/6.35	c Elapsed CPU time: 6.20906 s	Remaining CPU time: 1793.79 s
6.21/6.36	c core #961
6.21/6.36	c Core size: 35	Core Weight: 1	Total Weight: 961
6.21/6.36	c Elapsed CPU time: 6.22105 s	Remaining CPU time: 1793.78 s
6.21/6.37	c core #962
6.21/6.37	c Core size: 47	Core Weight: 1	Total Weight: 962
6.21/6.37	c Elapsed CPU time: 6.23305 s	Remaining CPU time: 1793.77 s
6.21/6.38	c core #963
6.21/6.38	c Core size: 51	Core Weight: 1	Total Weight: 963
6.21/6.38	c Elapsed CPU time: 6.24505 s	Remaining CPU time: 1793.75 s
6.21/6.39	c core #964
6.21/6.39	c Core size: 15	Core Weight: 1	Total Weight: 964
6.21/6.39	c Elapsed CPU time: 6.25705 s	Remaining CPU time: 1793.74 s
6.31/6.41	c core #965
6.31/6.41	c Core size: 79	Core Weight: 1	Total Weight: 965
6.31/6.41	c Elapsed CPU time: 6.26905 s	Remaining CPU time: 1793.73 s
6.31/6.42	c core #966
6.31/6.42	c Core size: 39	Core Weight: 1	Total Weight: 966
6.31/6.42	c Elapsed CPU time: 6.28005 s	Remaining CPU time: 1793.72 s
6.31/6.43	c core #967
6.31/6.43	c Core size: 161	Core Weight: 1	Total Weight: 967
6.31/6.43	c Elapsed CPU time: 6.29204 s	Remaining CPU time: 1793.71 s
6.31/6.44	c core #968
6.31/6.44	c Core size: 38	Core Weight: 1	Total Weight: 968
6.31/6.44	c Elapsed CPU time: 6.30404 s	Remaining CPU time: 1793.7 s
6.31/6.45	c core #969
6.31/6.45	c Core size: 38	Core Weight: 1	Total Weight: 969
6.31/6.45	c Elapsed CPU time: 6.31604 s	Remaining CPU time: 1793.68 s
6.31/6.47	c core #970
6.31/6.47	c Core size: 46	Core Weight: 1	Total Weight: 970
6.31/6.47	c Elapsed CPU time: 6.32704 s	Remaining CPU time: 1793.67 s
6.31/6.48	c core #971
6.31/6.48	c Core size: 74	Core Weight: 1	Total Weight: 971
6.31/6.48	c Elapsed CPU time: 6.33904 s	Remaining CPU time: 1793.66 s
6.31/6.49	c core #972
6.31/6.49	c Core size: 78	Core Weight: 1	Total Weight: 972
6.31/6.49	c Elapsed CPU time: 6.35103 s	Remaining CPU time: 1793.65 s
6.41/6.50	c ============================[ Search Statistics ]==============================
6.41/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.50	c ===============================================================================
6.41/6.50	c |         0 |    4786     6940    15832 |     5000        0    nan |  0.000 % |
6.41/6.50	c ===============================================================================
6.41/6.50	c core #973
6.41/6.50	c Core size: 26	Core Weight: 1	Total Weight: 973
6.41/6.50	c Elapsed CPU time: 6.36403 s	Remaining CPU time: 1793.64 s
6.41/6.51	c ============================[ Search Statistics ]==============================
6.41/6.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.51	c ===============================================================================
6.41/6.52	c |         0 |    4805     6941    15865 |     5000        0    nan |  0.000 % |
6.41/6.52	c ===============================================================================
6.41/6.52	c core #974
6.41/6.52	c Core size: 91	Core Weight: 1	Total Weight: 974
6.41/6.52	c Elapsed CPU time: 6.37703 s	Remaining CPU time: 1793.62 s
6.41/6.53	c ============================[ Search Statistics ]==============================
6.41/6.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.53	c ===============================================================================
6.41/6.53	c |         0 |    4869     6942    15967 |     5000        0    nan |  0.000 % |
6.41/6.54	c ===============================================================================
6.41/6.54	c core #975
6.41/6.54	c Core size: 187	Core Weight: 1	Total Weight: 975
6.41/6.54	c Elapsed CPU time: 6.39403 s	Remaining CPU time: 1793.61 s
6.41/6.55	c ============================[ Search Statistics ]==============================
6.41/6.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.55	c ===============================================================================
6.41/6.55	c |         0 |    5011     6943    16161 |     5000        0    nan |  0.000 % |
6.41/6.55	c ===============================================================================
6.41/6.55	c core #976
6.41/6.55	c Core size: 75	Core Weight: 1	Total Weight: 976
6.41/6.55	c Elapsed CPU time: 6.40702 s	Remaining CPU time: 1793.59 s
6.41/6.56	c ============================[ Search Statistics ]==============================
6.41/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.56	c ===============================================================================
6.41/6.56	c |         0 |    5077     6944    16249 |     5000        0    nan |  0.000 % |
6.41/6.57	c ===============================================================================
6.41/6.57	c core #977
6.41/6.57	c Core size: 205	Core Weight: 1	Total Weight: 977
6.41/6.57	c Elapsed CPU time: 6.42202 s	Remaining CPU time: 1793.58 s
6.41/6.58	c ============================[ Search Statistics ]==============================
6.41/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.58	c ===============================================================================
6.41/6.58	c |         0 |    5186     6945    16457 |     5000        0    nan |  0.000 % |
6.41/6.59	c |       100 |    5181     6945    16457 |     5500      100      6 |  2.012 % |
6.41/6.59	c ===============================================================================
6.41/6.59	c core #978
6.41/6.59	c Core size: 115	Core Weight: 1	Total Weight: 978
6.41/6.59	c Elapsed CPU time: 6.44502 s	Remaining CPU time: 1793.55 s
6.51/6.60	c ============================[ Search Statistics ]==============================
6.51/6.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.60	c ===============================================================================
6.51/6.60	c |         0 |    5255     6946    16581 |     5000        0    nan |  0.000 % |
6.51/6.62	c |       100 |    5253     6946    16581 |     5500      100      5 |  1.727 % |
6.51/6.63	c |       250 |    5219     6946    16581 |     6050      201      5 |  2.122 % |
6.51/6.63	c ===============================================================================
6.51/6.63	c core #979
6.51/6.63	c Core size: 363	Core Weight: 1	Total Weight: 979
6.51/6.63	c Elapsed CPU time: 6.48401 s	Remaining CPU time: 1793.52 s
6.51/6.65	c ============================[ Search Statistics ]==============================
6.51/6.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.65	c ===============================================================================
6.51/6.65	c |         0 |    5445     6947    16956 |     5000        0    nan |  0.000 % |
6.51/6.66	c |       100 |    5435     6947    16956 |     5500      100      5 |  1.545 % |
6.51/6.67	c |       250 |    5410     6947    16956 |     6050      240      6 |  1.654 % |
6.60/6.71	c |       475 |    5380     6947    16956 |     6655      463      8 |  2.200 % |
6.60/6.75	c |       812 |    5347     6947    16956 |     7320      798     13 |  2.799 % |
6.69/6.81	c |      1318 |    5347     6947    16956 |     8052     1304     12 |  2.800 % |
6.69/6.89	c |      2078 |    5344     6947    16956 |     8857     2060     13 |  2.890 % |
6.80/6.91	c ===============================================================================
6.80/6.91	c core #980
6.80/6.91	c Core size: 973	Core Weight: 1	Total Weight: 980
6.80/6.91	c Elapsed CPU time: 6.75097 s	Remaining CPU time: 1793.25 s
6.80/6.93	c ============================[ Search Statistics ]==============================
6.80/6.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.80/6.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.80/6.93	c ===============================================================================
6.80/6.93	c |         0 |    5922     6948    17904 |     5000        0    nan |  0.000 % |
6.80/6.95	c |       101 |    5922     6948    17904 |     5500      101     33 |  0.621 % |
6.80/6.97	c |       253 |    5922     6948    17904 |     6050      253     20 |  0.621 % |
6.90/7.00	c |       478 |    5922     6948    17904 |     6655      478     17 |  0.621 % |
6.90/7.06	c |       815 |    5919     6948    17904 |     7320      814     14 |  0.671 % |
7.00/7.13	c |      1321 |    5889     6948    17904 |     8052     1318     12 |  1.376 % |
7.00/7.13	c ===============================================================================
7.00/7.14	c core #981
7.00/7.14	c Core size: 252	Core Weight: 1	Total Weight: 981
7.00/7.14	c Elapsed CPU time: 6.96994 s	Remaining CPU time: 1793.03 s
7.00/7.15	c ============================[ Search Statistics ]==============================
7.00/7.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.00/7.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.00/7.15	c ===============================================================================
7.00/7.15	c |         0 |    6056     6949    18166 |     5000        0    nan |  0.000 % |
7.00/7.16	c |       100 |    6056     6949    18166 |     5500      100      6 |  0.411 % |
7.00/7.18	c |       250 |    6037     6949    18166 |     6050      246      6 |  0.856 % |
7.00/7.19	c ===============================================================================
7.00/7.19	c core #982
7.00/7.19	c Core size: 524	Core Weight: 1	Total Weight: 982
7.00/7.19	c Elapsed CPU time: 7.02093 s	Remaining CPU time: 1792.98 s
7.10/7.21	c ============================[ Search Statistics ]==============================
7.10/7.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.10/7.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.10/7.21	c ===============================================================================
7.10/7.21	c |         0 |    6303     6950    18659 |     5000        0    nan |  0.000 % |
7.10/7.22	c |       100 |    6303     6950    18659 |     5500      100     15 |  0.364 % |
7.10/7.24	c |       253 |    6303     6950    18659 |     6050      253     12 |  0.364 % |
7.10/7.26	c |       478 |    6303     6950    18659 |     6655      478     14 |  0.364 % |
7.19/7.30	c |       816 |    6303     6950    18659 |     7320      816     14 |  0.364 % |
7.19/7.36	c |      1323 |    6303     6950    18659 |     8052     1323     15 |  0.364 % |
7.30/7.46	c |      2082 |    6303     6950    18659 |     8857     2082     16 |  0.364 % |
7.50/7.69	c |      3221 |    6303     6950    18659 |     9743     3221     24 |  0.364 % |
7.80/7.97	c |      4929 |    6292     6950    18659 |    10717     4928     22 |  0.806 % |
8.39/8.55	c |      7491 |    6291     6950    18659 |    11789     7490     25 |  0.806 % |
8.80/8.94	c ===============================================================================
8.90/9.00	c core #983
8.90/9.00	c Core size: 1168	Core Weight: 1	Total Weight: 983
8.90/9.00	c Elapsed CPU time: 8.78866 s	Remaining CPU time: 1791.21 s
8.90/9.03	c ============================[ Search Statistics ]==============================
8.90/9.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.90/9.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.90/9.03	c ===============================================================================
8.90/9.03	c |         0 |    6826     6951    19705 |     5000        0    nan |  0.000 % |
8.90/9.04	c |       101 |    6826     6951    19705 |     5500      101     16 |  0.336 % |
8.90/9.07	c |       251 |    6826     6951    19705 |     6050      251     29 |  0.336 % |
8.90/9.09	c |       477 |    6826     6951    19705 |     6655      477     28 |  0.336 % |
8.99/9.16	c |       814 |    6826     6951    19705 |     7320      814     23 |  0.336 % |
9.09/9.24	c |      1320 |    6826     6951    19705 |     8052     1320     36 |  0.336 % |
9.19/9.36	c |      2079 |    6826     6951    19705 |     8857     2079     34 |  0.336 % |
9.49/9.64	c |      3218 |    6826     6951    19705 |     9743     3218     46 |  0.336 % |
9.90/10.01	c |      4927 |    6826     6951    19705 |    10717     4927     37 |  0.336 % |
10.69/10.81	c |      7491 |    6826     6951    19705 |    11789     7491     38 |  0.336 % |
12.09/12.25	c |     11336 |    6826     6951    19705 |    12968    11336     54 |  0.336 % |
14.59/14.76	c |     17106 |    6826     6951    19705 |    14265    10524     81 |  0.336 % |
18.50/18.61	c |     25755 |    6826     6951    19705 |    15692    11904    102 |  0.336 % |
22.19/22.36	c ===============================================================================
22.49/22.69	c core #984
22.49/22.69	c Core size: 1020	Core Weight: 1	Total Weight: 984
22.49/22.69	c Elapsed CPU time: 22.3206 s	Remaining CPU time: 1777.68 s
22.59/22.75	c ============================[ Search Statistics ]==============================
22.59/22.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.59/22.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.59/22.75	c ===============================================================================
22.59/22.75	c |         0 |    7260     6952    20573 |     5000        0    nan |  0.000 % |
22.59/22.77	c |       101 |    7260     6952    20573 |     5500      101     11 |  0.316 % |
22.59/22.79	c |       252 |    7260     6952    20573 |     6050      252     15 |  0.316 % |
22.68/22.82	c |       479 |    7260     6952    20573 |     6655      479     25 |  0.316 % |
22.68/22.88	c |       818 |    7260     6952    20573 |     7320      818     26 |  0.316 % |
22.79/22.94	c |      1325 |    7260     6952    20573 |     8052     1325     28 |  0.316 % |
22.89/23.08	c |      2086 |    7260     6952    20573 |     8857     2086     25 |  0.316 % |
23.09/23.24	c |      3228 |    7260     6952    20573 |     9743     3228     29 |  0.316 % |
23.38/23.52	c |      4936 |    7260     6952    20573 |    10717     4936     31 |  0.316 % |
23.89/24.00	c |      7498 |    7260     6952    20573 |    11789     7498     36 |  0.316 % |
24.78/24.93	c |     11345 |    7260     6952    20573 |    12968    11345     40 |  0.316 % |
26.68/26.83	c |     17111 |    7260     6952    20573 |    14265    10443     50 |  0.316 % |
27.59/27.79	c ===============================================================================
27.79/27.93	c core #985
27.79/27.93	c Core size: 969	Core Weight: 1	Total Weight: 985
27.79/27.93	c Elapsed CPU time: 27.4668 s	Remaining CPU time: 1772.53 s
27.79/27.96	c ============================[ Search Statistics ]==============================
27.79/27.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.79/27.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
27.79/27.96	c ===============================================================================
27.79/27.96	c |         0 |    7687     6953    21427 |     5000        0    nan |  0.000 % |
27.79/27.98	c |       101 |    7687     6953    21427 |     5500      101     30 |  0.298 % |
27.88/28.01	c |       253 |    7687     6953    21427 |     6050      253     32 |  0.298 % |
27.88/28.07	c |       480 |    7687     6953    21427 |     6655      480     42 |  0.298 % |
27.98/28.12	c |       817 |    7687     6953    21427 |     7320      817     36 |  0.298 % |
28.08/28.21	c |      1323 |    7687     6953    21427 |     8052     1323     36 |  0.298 % |
28.19/28.39	c |      2082 |    7687     6953    21427 |     8857     2082     44 |  0.298 % |
28.49/28.69	c |      3226 |    7687     6953    21427 |     9743     3226     61 |  0.298 % |
29.08/29.21	c |      4934 |    7687     6953    21427 |    10717     4934     72 |  0.298 % |
29.69/29.83	c |      7500 |    7687     6953    21427 |    11789     7500     75 |  0.298 % |
30.58/30.73	c |     11345 |    7687     6953    21427 |    12968    11345     71 |  0.298 % |
32.98/33.15	c |     17114 |    7687     6953    21427 |    14265    10386     79 |  0.298 % |
35.78/35.96	c |     25763 |    7687     6953    21427 |    15692    11708     84 |  0.298 % |
41.38/41.58	c |     38737 |    7687     6953    21427 |    17261     8476    124 |  0.298 % |
46.78/46.98	c |     58198 |    7687     6953    21427 |    18987    10426     77 |  0.298 % |
56.87/57.09	c |     87390 |    7687     6953    21427 |    20886    10347     85 |  0.298 % |
73.07/73.27	c |    131179 |    7687     6953    21427 |    22974    11061    106 |  0.298 % |
106.86/107.02	c |    196867 |    7687     6953    21427 |    25272    17638     97 |  0.298 % |
172.34/172.52	c |    295403 |    7687     6953    21427 |    27799    12965    132 |  0.298 % |
280.82/281.06	c |    443192 |    7687     6953    21427 |    30579    24708    223 |  0.298 % |
426.48/426.74	c |    664876 |    7687     6953    21427 |    33637    15935    183 |  0.298 % |
655.72/656.07	c |    997401 |    7680     6953    21427 |    37001    22291    125 |  0.389 % |
969.43/969.83	c |   1496190 |    7667     6953    21427 |    40701    14806    123 |  0.558 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5266
/proc/meminfo: memFree=1869552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=2964 CPUtime=0
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182177364 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135166720 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 741 248 125 292 0 418 0

[startup+0.0816701 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5266
/proc/meminfo: memFree=1869552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=3512 CPUtime=0.08
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 483 0 0 0 8 0 0 0 18 0 1 0 182177364 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 134605404 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 878 439 133 292 0 583 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3512

[startup+0.101812 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5266
/proc/meminfo: memFree=1869552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=3512 CPUtime=0.1
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 483 0 0 0 10 0 0 0 18 0 1 0 182177364 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 878 439 133 292 0 583 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3512

[startup+0.301695 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5266
/proc/meminfo: memFree=1869552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=3640 CPUtime=0.29
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 182177364 3727360 471 1992294400 134512640 135709839 4294956240 18446744073709551615 134605220 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 910 471 133 292 0 615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3640

[startup+0.701741 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5266
/proc/meminfo: memFree=1869552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=3976 CPUtime=0.69
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 609 0 0 0 69 0 0 0 22 0 1 0 182177364 4071424 540 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 994 540 133 292 0 699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3976

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1867560/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=4760 CPUtime=1.48
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 1041 0 0 0 148 0 0 0 25 0 1 0 182177364 4874240 738 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 1190 738 133 292 0 895 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4760

[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1866152/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=6752 CPUtime=3.05
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 2359 0 0 0 303 2 0 0 25 0 1 0 182177364 6914048 1241 1992294400 134512640 135709839 4294956240 18446744073709551615 134585782 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 1688 1241 133 292 0 1393 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6752

[startup+6.30238 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1860968/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=13304 CPUtime=6.21
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 5323 0 0 0 616 5 0 0 25 0 1 0 182177364 13623296 2868 1992294400 134512640 135709839 4294956240 18446744073709551615 135164441 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 3326 2868 134 292 0 3031 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13304

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1850864/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=21348 CPUtime=12.59
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 7514 0 0 0 1242 17 0 0 25 0 1 0 182177364 21860352 4880 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 5337 4880 136 292 0 5042 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 21348

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1834800/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=36512 CPUtime=25.39
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 11301 0 0 0 2506 33 0 0 25 0 1 0 182177364 37388288 8667 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 9128 8667 136 292 0 8833 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 36512

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1805616/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=66592 CPUtime=50.97
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 18838 0 0 0 5027 70 0 0 25 0 1 0 182177364 68190208 16204 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 16648 16204 136 292 0 16353 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 66592

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1722544/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=148644 CPUtime=102.16
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 39352 0 0 0 10092 124 0 0 25 0 1 0 182177364 152211456 36718 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 37161 36718 136 292 0 36866 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 148644

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5267
/proc/meminfo: memFree=1644400/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=227152 CPUtime=162.15
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 58970 0 0 0 16041 174 0 0 25 0 1 0 182177364 232603648 56336 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 56788 56336 136 292 0 56493 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 227152

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1553008/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=317848 CPUtime=222.13
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 81614 0 0 0 21990 223 0 0 25 0 1 0 182177364 325476352 78980 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 79462 78980 136 292 0 79167 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 317848

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1478320/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=393152 CPUtime=282.12
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 100408 0 0 0 27955 257 0 0 25 0 1 0 182177364 402587648 97774 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 98288 97774 136 292 0 97993 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 393152

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1402352/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=468616 CPUtime=342.1
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 119264 0 0 0 33903 307 0 0 25 0 1 0 182177364 479862784 116630 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 117154 116630 136 292 0 116859 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 468616

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1328688/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=543188 CPUtime=402.08
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 137894 0 0 0 39863 345 0 0 25 0 1 0 182177364 556224512 135260 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 135797 135260 136 292 0 135502 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 543188

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1248560/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=622080 CPUtime=462.07
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 157598 0 0 0 45814 393 0 0 25 0 1 0 182177364 637009920 154964 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 155520 154964 136 292 0 155225 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 622080

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1182320/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=688936 CPUtime=522.05
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 174296 0 0 0 51778 427 0 0 25 0 1 0 182177364 705470464 171662 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 172234 171662 136 292 0 171939 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 688936

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1115824/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=755336 CPUtime=582.04
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 190868 0 0 0 57735 469 0 0 25 0 1 0 182177364 773464064 188234 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 188834 188234 136 292 0 188539 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 755336

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5269
/proc/meminfo: memFree=1037744/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=832500 CPUtime=642.02
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 210151 0 0 0 63686 516 0 0 25 0 1 0 182177364 852480000 207517 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 208125 207517 136 292 0 207830 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 832500

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=966384/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=904316 CPUtime=701.99
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 228097 0 0 0 69634 565 0 0 25 0 1 0 182177364 926019584 225463 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 226079 225463 136 292 0 225784 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 904316

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=893552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=976560 CPUtime=761.98
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 246135 0 0 0 75581 617 0 0 25 0 1 0 182177364 999997440 243501 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 244140 243501 136 292 0 243845 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 976560

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=827632/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1042796 CPUtime=821.96
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 262695 0 0 0 81539 657 0 0 25 0 1 0 182177364 1067823104 260061 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 260699 260061 136 292 0 260404 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 1042796

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=772400/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1097780 CPUtime=881.94
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 276403 0 0 0 87495 699 0 0 25 0 1 0 182177364 1124126720 273769 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 274445 273769 136 292 0 274150 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1097780

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=698672/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1172152 CPUtime=941.93
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 295006 0 0 0 93443 750 0 0 25 0 1 0 182177364 1200283648 292372 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 293038 292372 136 292 0 292743 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1172152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=635504/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1234344 CPUtime=1001.91
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 310505 0 0 0 99400 791 0 0 25 0 1 0 182177364 1263968256 307871 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 308586 307871 136 292 0 308291 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1234344

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=568688/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1301512 CPUtime=1061.89
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 327300 0 0 0 105358 831 0 0 25 0 1 0 182177364 1332748288 324666 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 325378 324666 136 292 0 325083 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1301512

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=510768/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1359180 CPUtime=1121.88
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 341704 0 0 0 111321 867 0 0 25 0 1 0 182177364 1391800320 339070 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 339795 339070 136 292 0 339500 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1359180

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=445872/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1424404 CPUtime=1181.86
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 358011 0 0 0 117285 901 0 0 25 0 1 0 182177364 1458589696 355377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 356101 355377 136 292 0 355806 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1424404

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=373552/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1496288 CPUtime=1241.85
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 375956 0 0 0 123245 940 0 0 25 0 1 0 182177364 1532198912 373322 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 374072 373322 136 292 0 373777 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1496288

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=313072/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1556096 CPUtime=1301.84
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 390876 0 0 0 129212 972 0 0 25 0 1 0 182177364 1593442304 388242 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 389024 388242 136 292 0 388729 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1556096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=258672/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1610900 CPUtime=1361.82
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 404573 0 0 0 135180 1002 0 0 25 0 1 0 182177364 1649561600 401939 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 402725 401939 136 292 0 402430 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1610900

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=187568/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1681564 CPUtime=1421.8
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 422205 0 0 0 141141 1039 0 0 25 0 1 0 182177364 1721921536 419571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 420391 419571 136 292 0 420096 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1681564

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=139632/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1729916 CPUtime=1481.79
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 434260 0 0 0 147118 1061 0 0 25 0 1 0 182177364 1771433984 431626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 432479 431626 136 292 0 432184 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1729916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=79024/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1790256 CPUtime=1541.77
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 449296 0 0 0 153089 1088 0 0 25 0 1 0 182177364 1833222144 446662 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 447564 446662 136 292 0 447269 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1790256



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1586.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=25776/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=1843320 CPUtime=1585.86
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4194304 462554 0 0 0 157472 1114 0 0 25 0 1 0 182177364 1887559680 459920 1992294400 134512640 135709839 4294956240 18446744073709551615 134600574 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 460830 459920 136 292 0 460535 0
Current children cumulated CPU time (s) 1585.86
Current children cumulated vsize (KiB) 1843320

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

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

[startup+1586.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5275
/proc/meminfo: memFree=25776/2055920 swapFree=4191900/4192956
[pid=5266] ppid=5264 vsize=0 CPUtime=1586.06
/proc/5266/stat : 5266 (wbo) R 5264 5266 5187 0 -1 4195332 462554 0 0 0 157472 1134 0 0 25 0 1 0 182177364 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5266/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1586.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1586.69
CPU time (s): 1586.16
CPU user time (s): 1574.73
CPU system time (s): 11.4303
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 1843320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.73
system time used= 11.4303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4451

runsolver used 1.86272 second user time and 3.33449 second system time

The end

Launcher Data 

Begin job on node32 at 2009-06-16 11:49:39
IDJOB=1875590
IDBENCH=1991
IDSOLVER=698
FILE ID=node32/1875590-1245145779
PBS_JOBID= 9363759
Free space on /tmp= 66344 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.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-1875590-1245145779/watcher-1875590-1245145779 -o /tmp/evaluation-result-1875590-1245145779/solver-1875590-1245145779 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875590-1245145779.opb

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

MD5SUM BENCH= d89a654d285384133d515ccaf16a0c40
RANDOM SEED=684060088

node32.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.234
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.234
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:       1870032 kB
Buffers:         33676 kB
Cached:          76564 kB
SwapCached:        260 kB
Active:          18040 kB
Inactive:       106488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870032 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2488 kB
Writeback:           0 kB
Mapped:          23728 kB
Slab:            47156 kB
Committed_AS:   157648 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875590-1245145779.opb

Free space on /tmp at the end= 66340 MiB
End job on node32 at 2009-06-16 12:16:08