Trace number 1875704

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) 1494.01 1494.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
MD5SUM363fb8dacb34b0fd2f0470bc356b38da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1052
Best CPU time to get the best result obtained on this benchmark1797.38
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1036
Optimality of the best value was proved NO
Number of variables1957
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 1957
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 1957
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 1957
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-1875704-1245143676.opb.
0.00/0.00	c Instance file HOME/instance-1875704-1245143676.opb
0.00/0.00	c File size is 112270 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:      1957                                                |
0.00/0.01	c |  Number Clauses:        5957                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.023996 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.026995 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.030995 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.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.037994 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.041993 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.045993 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.048992 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.052991 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.055991 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.05999 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.06299 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.065989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #16
0.06/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.06/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #17
0.06/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.06/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.06/0.07	c core #18
0.06/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.06/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #19
0.06/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.06/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.06/0.08	c core #20
0.06/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.06/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.06/0.09	c core #21
0.06/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.06/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.06/0.09	c core #22
0.06/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.06/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.06/0.09	c core #23
0.06/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.06/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.06/0.10	c core #24
0.06/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.06/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #26
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #29
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.11	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #31
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.12	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #34
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #35
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #37
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #38
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #43
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #45
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.17	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #46
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #48
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.19	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #49
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.09/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #50
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #51
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.09/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #52
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #53
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #54
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #58
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.22	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #61
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.24	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #62
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.24	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #63
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.24	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #64
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.25	c Elapsed CPU time: 0.248962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #65
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 65
0.19/0.25	c Elapsed CPU time: 0.252961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #66
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.26	c Elapsed CPU time: 0.25696 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #67
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.26	c Elapsed CPU time: 0.26096 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.264959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #69
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #70
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.27	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #71
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.28	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #72
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #74
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #75
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #76
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.29	c Elapsed CPU time: 0.295955 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.299954 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.303953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #79
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.31	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.33	c core #84
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.33	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.35	c core #89
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.35	c Elapsed CPU time: 0.347947 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.351946 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.355945 s	Remaining CPU time: 1799.64 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.359945 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.363944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #94
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.37	c Elapsed CPU time: 0.367944 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.371943 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.376942 s	Remaining CPU time: 1799.62 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.380942 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.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #99
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.39	c Elapsed CPU time: 0.38894 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.39294 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.395939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #102
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 102
0.39/0.40	c Elapsed CPU time: 0.400939 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.404938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #104
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.41	c Elapsed CPU time: 0.408937 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.412937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #106
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.42	c Elapsed CPU time: 0.416936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #107
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.42	c Elapsed CPU time: 0.420936 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.423935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #109
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.43	c Elapsed CPU time: 0.427934 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.432934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #111
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.44	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #112
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.44	c Elapsed CPU time: 0.440932 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.444932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #114
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.45	c Elapsed CPU time: 0.448931 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.452931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #116
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 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.461929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #118
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.47	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #119
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.47	c Elapsed CPU time: 0.469928 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.474927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #121
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 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.482926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #123
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #124
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.49	c Elapsed CPU time: 0.491925 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #125
0.39/0.50	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #126
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 126
0.49/0.50	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #127
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 127
0.49/0.50	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #128
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.51	c Elapsed CPU time: 0.508922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #129
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.51	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #130
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.52	c Elapsed CPU time: 0.516921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #131
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.52	c Elapsed CPU time: 0.52092 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #132
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.53	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #133
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #134
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.53	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #135
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.54	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #136
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #137
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.55	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #138
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.55	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #139
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #140
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.56	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #141
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.56	c Elapsed CPU time: 0.563914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #142
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.57	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #143
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.57	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #144
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.58	c Elapsed CPU time: 0.575912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #145
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #146
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.58	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #147
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #148
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #149
0.49/0.60	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.60	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #150
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 150
0.59/0.60	c Elapsed CPU time: 0.601908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #151
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 151
0.59/0.61	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #152
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #153
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.61	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #154
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.62	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #155
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.62	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #156
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #157
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #158
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.64	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #159
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.64	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #160
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.64	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #161
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #162
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #163
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.66	c Elapsed CPU time: 0.657899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #164
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.66	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #165
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.67	c Elapsed CPU time: 0.665898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #166
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.67	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #167
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.68	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #168
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.68	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #169
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.68	c Elapsed CPU time: 0.683896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #170
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.69	c Elapsed CPU time: 0.688895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #171
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.69	c Elapsed CPU time: 0.692894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #172
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 172
0.69/0.70	c Elapsed CPU time: 0.696894 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #173
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 173
0.69/0.70	c Elapsed CPU time: 0.701893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #174
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 174
0.69/0.71	c Elapsed CPU time: 0.705892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #175
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 175
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #176
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #177
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.72	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #178
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.72	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #179
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.73	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #180
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #181
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #182
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.74	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #183
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #184
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.75	c Elapsed CPU time: 0.750885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #185
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.76	c Elapsed CPU time: 0.755885 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #186
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.76	c Elapsed CPU time: 0.760884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #187
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.77	c Elapsed CPU time: 0.764883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #188
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.77	c Elapsed CPU time: 0.769882 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #189
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.77	c Elapsed CPU time: 0.773882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #190
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.78	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #191
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.78	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #192
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #193
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.79	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #194
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.80	c Elapsed CPU time: 0.796878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #195
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 195
0.79/0.80	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #196
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 196
0.79/0.81	c Elapsed CPU time: 0.806877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #197
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 197
0.79/0.81	c Elapsed CPU time: 0.810876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #198
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.82	c Elapsed CPU time: 0.815875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #199
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #200
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.83	c Elapsed CPU time: 0.824874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #201
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.83	c Elapsed CPU time: 0.829873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #202
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.84	c Elapsed CPU time: 0.834873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #203
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #204
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.84	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #205
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.85	c Elapsed CPU time: 0.84887 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #206
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.85	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #207
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.86	c Elapsed CPU time: 0.857869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #208
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.86	c Elapsed CPU time: 0.862868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #209
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.87	c Elapsed CPU time: 0.866868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #210
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.87	c Elapsed CPU time: 0.871867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #211
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.88	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #212
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.88	c Elapsed CPU time: 0.881865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #213
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #214
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #215
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.90	c Elapsed CPU time: 0.895863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #216
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 216
0.89/0.90	c Elapsed CPU time: 0.900863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #217
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 217
0.89/0.91	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #218
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 218
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #219
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 219
0.89/0.92	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #220
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.92	c Elapsed CPU time: 0.91886 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #221
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.92	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #222
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.93	c Elapsed CPU time: 0.928858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #223
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.93	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #224
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #225
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.94	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #226
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #227
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.95	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #228
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.96	c Elapsed CPU time: 0.958854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #229
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.96	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #230
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.97	c Elapsed CPU time: 0.968852 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #231
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.97	c Elapsed CPU time: 0.973851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #232
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.98	c Elapsed CPU time: 0.978851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #233
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.98	c Elapsed CPU time: 0.98385 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #234
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.99	c Elapsed CPU time: 0.988849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #235
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.99	c Elapsed CPU time: 0.993848 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #236
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/1.00	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 1799 s
0.99/1.00	c core #237
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 237
0.99/1.00	c Elapsed CPU time: 1.00385 s	Remaining CPU time: 1799 s
0.99/1.01	c core #238
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 238
0.99/1.01	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 1798.99 s
0.99/1.01	c core #239
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 239
0.99/1.01	c Elapsed CPU time: 1.01385 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #240
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.02	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #241
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.03	c Elapsed CPU time: 1.02484 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #242
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.03	c Elapsed CPU time: 1.02984 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #243
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.04	c Elapsed CPU time: 1.03484 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #244
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.04	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #245
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.05	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #246
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.05	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #247
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.06	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #248
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.06	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #249
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #250
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.07	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #251
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #252
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.08	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #253
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.09	c Elapsed CPU time: 1.08483 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #254
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.09	c Elapsed CPU time: 1.08983 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #255
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.10	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 1798.9 s
1.09/1.10	c core #256
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 256
1.09/1.10	c Elapsed CPU time: 1.10083 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #257
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 257
1.09/1.11	c Elapsed CPU time: 1.10583 s	Remaining CPU time: 1798.89 s
1.09/1.11	c core #258
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 258
1.09/1.11	c Elapsed CPU time: 1.11183 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #259
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 259
1.09/1.12	c Elapsed CPU time: 1.11683 s	Remaining CPU time: 1798.88 s
1.09/1.12	c core #260
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 260
1.09/1.12	c Elapsed CPU time: 1.12183 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #261
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.13	c Elapsed CPU time: 1.12783 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #262
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.14	c Elapsed CPU time: 1.13283 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #263
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.14	c Elapsed CPU time: 1.13783 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #264
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.15	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #265
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #266
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.16	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #267
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.16	c Elapsed CPU time: 1.15982 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #268
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.17	c Elapsed CPU time: 1.16482 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #269
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.17	c Elapsed CPU time: 1.16982 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #270
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.09/1.18	c core #271
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.18	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #272
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.19	c Elapsed CPU time: 1.18582 s	Remaining CPU time: 1798.81 s
1.09/1.19	c core #273
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.19	c Elapsed CPU time: 1.19082 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #274
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 274
1.19/1.20	c Elapsed CPU time: 1.19582 s	Remaining CPU time: 1798.8 s
1.19/1.20	c core #275
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 275
1.19/1.21	c Elapsed CPU time: 1.20082 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #276
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 276
1.19/1.21	c Elapsed CPU time: 1.20582 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #277
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 277
1.19/1.22	c Elapsed CPU time: 1.21081 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #278
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 278
1.19/1.22	c Elapsed CPU time: 1.21582 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #279
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 279
1.19/1.23	c Elapsed CPU time: 1.22081 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #280
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 280
1.19/1.23	c Elapsed CPU time: 1.22581 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #281
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 281
1.19/1.24	c Elapsed CPU time: 1.23181 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #282
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 282
1.19/1.24	c Elapsed CPU time: 1.23681 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #283
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 283
1.19/1.25	c Elapsed CPU time: 1.24181 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #284
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 284
1.19/1.25	c Elapsed CPU time: 1.24681 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #285
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 285
1.19/1.26	c Elapsed CPU time: 1.25181 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #286
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 286
1.19/1.26	c Elapsed CPU time: 1.25781 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #287
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 287
1.19/1.27	c Elapsed CPU time: 1.26281 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #288
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 288
1.19/1.27	c Elapsed CPU time: 1.26781 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #289
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 289
1.19/1.28	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #290
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 290
1.19/1.29	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #291
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 291
1.19/1.29	c Elapsed CPU time: 1.2838 s	Remaining CPU time: 1798.72 s
1.19/1.30	c core #292
1.19/1.30	c Core size: 3	Core Weight: 1	Total Weight: 292
1.19/1.30	c Elapsed CPU time: 1.2888 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #293
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 293
1.28/1.30	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #294
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 294
1.28/1.31	c Elapsed CPU time: 1.2998 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #295
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 295
1.28/1.31	c Elapsed CPU time: 1.3048 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #296
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 296
1.28/1.32	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #297
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 297
1.28/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #298
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 298
1.28/1.33	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #299
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 299
1.28/1.33	c Elapsed CPU time: 1.3258 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #300
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 300
1.28/1.34	c Elapsed CPU time: 1.3308 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #301
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.35	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.28/1.35	c core #302
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.35	c Elapsed CPU time: 1.3418 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #303
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.36	c Elapsed CPU time: 1.3478 s	Remaining CPU time: 1798.65 s
1.28/1.36	c core #304
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.36	c Elapsed CPU time: 1.35279 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #305
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.37	c Elapsed CPU time: 1.35879 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #306
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.37	c Elapsed CPU time: 1.36379 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #307
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.38	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #308
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.38	c Elapsed CPU time: 1.37479 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #309
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.39	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #310
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.39	c Elapsed CPU time: 1.38579 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #311
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 311
1.38/1.40	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #312
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 312
1.38/1.41	c Elapsed CPU time: 1.39679 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #313
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 313
1.38/1.41	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #314
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 314
1.38/1.42	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #315
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 315
1.38/1.42	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #316
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #317
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.43	c Elapsed CPU time: 1.42478 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #318
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 318
1.38/1.44	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.38/1.44	c core #319
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.44	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.38/1.45	c core #320
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.45	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #321
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.46	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.38/1.46	c core #322
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.46	c Elapsed CPU time: 1.45178 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #323
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.47	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.38/1.47	c core #324
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.47	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #325
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.48	c Elapsed CPU time: 1.46778 s	Remaining CPU time: 1798.53 s
1.38/1.48	c core #326
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.48	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #327
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.49	c Elapsed CPU time: 1.47877 s	Remaining CPU time: 1798.52 s
1.38/1.49	c core #328
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.49	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #329
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 329
1.48/1.50	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #330
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 330
1.48/1.51	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #331
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 331
1.48/1.51	c Elapsed CPU time: 1.49977 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #332
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 332
1.48/1.52	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #333
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 333
1.48/1.52	c Elapsed CPU time: 1.51077 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #334
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 334
1.48/1.53	c Elapsed CPU time: 1.51677 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #335
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 335
1.48/1.53	c Elapsed CPU time: 1.52177 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #336
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 336
1.48/1.54	c Elapsed CPU time: 1.52677 s	Remaining CPU time: 1798.47 s
1.48/1.54	c core #337
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 337
1.48/1.54	c Elapsed CPU time: 1.53277 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #338
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 338
1.48/1.55	c Elapsed CPU time: 1.53777 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #339
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.56	c Elapsed CPU time: 1.54377 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #340
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 340
1.48/1.56	c Elapsed CPU time: 1.54876 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #341
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.57	c Elapsed CPU time: 1.55476 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #342
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 342
1.48/1.57	c Elapsed CPU time: 1.56076 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #343
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 343
1.48/1.58	c Elapsed CPU time: 1.56576 s	Remaining CPU time: 1798.43 s
1.48/1.58	c core #344
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 344
1.48/1.58	c Elapsed CPU time: 1.57176 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #345
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 345
1.48/1.59	c Elapsed CPU time: 1.57676 s	Remaining CPU time: 1798.42 s
1.48/1.59	c core #346
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 346
1.48/1.59	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.58/1.60	c core #347
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 347
1.58/1.60	c Elapsed CPU time: 1.58876 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #348
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 348
1.58/1.61	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #349
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 349
1.58/1.61	c Elapsed CPU time: 1.59976 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #350
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 350
1.58/1.62	c Elapsed CPU time: 1.60576 s	Remaining CPU time: 1798.39 s
1.58/1.62	c core #351
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 351
1.58/1.62	c Elapsed CPU time: 1.61076 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #352
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 352
1.58/1.63	c Elapsed CPU time: 1.61675 s	Remaining CPU time: 1798.38 s
1.58/1.63	c core #353
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 353
1.58/1.63	c Elapsed CPU time: 1.62175 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #354
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 354
1.58/1.64	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #355
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 355
1.58/1.65	c Elapsed CPU time: 1.63375 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #356
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 356
1.58/1.65	c Elapsed CPU time: 1.63875 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #357
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 357
1.58/1.66	c Elapsed CPU time: 1.64475 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #358
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 358
1.58/1.66	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #359
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 359
1.58/1.67	c Elapsed CPU time: 1.65475 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #360
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.67	c Elapsed CPU time: 1.66075 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #361
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 361
1.58/1.68	c Elapsed CPU time: 1.66575 s	Remaining CPU time: 1798.33 s
1.58/1.68	c core #362
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 362
1.58/1.68	c Elapsed CPU time: 1.67075 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #363
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 363
1.58/1.69	c Elapsed CPU time: 1.67674 s	Remaining CPU time: 1798.32 s
1.58/1.70	c core #364
1.58/1.70	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.70	c Elapsed CPU time: 1.68174 s	Remaining CPU time: 1798.32 s
1.68/1.70	c core #365
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 365
1.68/1.70	c Elapsed CPU time: 1.68674 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #366
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 366
1.68/1.71	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #367
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 367
1.68/1.71	c Elapsed CPU time: 1.69774 s	Remaining CPU time: 1798.3 s
1.68/1.72	c core #368
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 368
1.68/1.72	c Elapsed CPU time: 1.70274 s	Remaining CPU time: 1798.3 s
1.68/1.72	c core #369
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 369
1.68/1.72	c Elapsed CPU time: 1.70874 s	Remaining CPU time: 1798.29 s
1.68/1.73	c core #370
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 370
1.68/1.73	c Elapsed CPU time: 1.71474 s	Remaining CPU time: 1798.29 s
1.68/1.74	c core #371
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 371
1.68/1.74	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.68/1.74	c core #372
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 372
1.68/1.74	c Elapsed CPU time: 1.72574 s	Remaining CPU time: 1798.27 s
1.68/1.75	c core #373
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 373
1.68/1.75	c Elapsed CPU time: 1.73074 s	Remaining CPU time: 1798.27 s
1.68/1.75	c core #374
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 374
1.68/1.75	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.68/1.76	c core #375
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 375
1.68/1.76	c Elapsed CPU time: 1.74274 s	Remaining CPU time: 1798.26 s
1.68/1.77	c core #376
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 376
1.68/1.77	c Elapsed CPU time: 1.74873 s	Remaining CPU time: 1798.25 s
1.68/1.77	c core #377
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 377
1.68/1.77	c Elapsed CPU time: 1.75473 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #378
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 378
1.68/1.78	c Elapsed CPU time: 1.76073 s	Remaining CPU time: 1798.24 s
1.68/1.78	c core #379
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.78	c Elapsed CPU time: 1.76573 s	Remaining CPU time: 1798.23 s
1.68/1.79	c core #380
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 380
1.68/1.79	c Elapsed CPU time: 1.77073 s	Remaining CPU time: 1798.23 s
1.68/1.79	c core #381
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.79	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.77/1.80	c core #382
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 382
1.77/1.80	c Elapsed CPU time: 1.78173 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #383
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 383
1.77/1.81	c Elapsed CPU time: 1.78673 s	Remaining CPU time: 1798.21 s
1.77/1.81	c core #384
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 384
1.77/1.81	c Elapsed CPU time: 1.79273 s	Remaining CPU time: 1798.21 s
1.77/1.82	c core #385
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 385
1.77/1.82	c Elapsed CPU time: 1.79873 s	Remaining CPU time: 1798.2 s
1.77/1.82	c core #386
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 386
1.77/1.82	c Elapsed CPU time: 1.80472 s	Remaining CPU time: 1798.2 s
1.77/1.83	c core #387
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 387
1.77/1.83	c Elapsed CPU time: 1.80972 s	Remaining CPU time: 1798.19 s
1.77/1.83	c core #388
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 388
1.77/1.83	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 1798.18 s
1.77/1.84	c core #389
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 389
1.77/1.84	c Elapsed CPU time: 1.82172 s	Remaining CPU time: 1798.18 s
1.77/1.85	c core #390
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 390
1.77/1.85	c Elapsed CPU time: 1.82772 s	Remaining CPU time: 1798.17 s
1.77/1.85	c core #391
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 391
1.77/1.85	c Elapsed CPU time: 1.83372 s	Remaining CPU time: 1798.17 s
1.77/1.86	c core #392
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 392
1.77/1.86	c Elapsed CPU time: 1.83872 s	Remaining CPU time: 1798.16 s
1.77/1.86	c core #393
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 393
1.77/1.86	c Elapsed CPU time: 1.84372 s	Remaining CPU time: 1798.16 s
1.77/1.87	c core #394
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 394
1.77/1.87	c Elapsed CPU time: 1.84972 s	Remaining CPU time: 1798.15 s
1.77/1.88	c core #395
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 395
1.77/1.88	c Elapsed CPU time: 1.85572 s	Remaining CPU time: 1798.14 s
1.77/1.88	c core #396
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 396
1.77/1.88	c Elapsed CPU time: 1.86072 s	Remaining CPU time: 1798.14 s
1.77/1.89	c core #397
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 397
1.77/1.89	c Elapsed CPU time: 1.86572 s	Remaining CPU time: 1798.13 s
1.77/1.89	c core #398
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 398
1.77/1.89	c Elapsed CPU time: 1.87172 s	Remaining CPU time: 1798.13 s
1.87/1.90	c core #399
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 399
1.87/1.90	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.87/1.91	c core #400
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 400
1.87/1.91	c Elapsed CPU time: 1.88371 s	Remaining CPU time: 1798.12 s
1.87/1.91	c core #401
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 401
1.87/1.91	c Elapsed CPU time: 1.88971 s	Remaining CPU time: 1798.11 s
1.87/1.92	c core #402
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 402
1.87/1.92	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.87/1.92	c core #403
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 403
1.87/1.92	c Elapsed CPU time: 1.90071 s	Remaining CPU time: 1798.1 s
1.87/1.93	c core #404
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 404
1.87/1.93	c Elapsed CPU time: 1.90571 s	Remaining CPU time: 1798.09 s
1.87/1.93	c core #405
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 405
1.87/1.94	c Elapsed CPU time: 1.91171 s	Remaining CPU time: 1798.09 s
1.87/1.94	c core #406
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 406
1.87/1.94	c Elapsed CPU time: 1.91671 s	Remaining CPU time: 1798.08 s
1.87/1.95	c core #407
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 407
1.87/1.95	c Elapsed CPU time: 1.92271 s	Remaining CPU time: 1798.08 s
1.87/1.95	c core #408
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 408
1.87/1.95	c Elapsed CPU time: 1.92871 s	Remaining CPU time: 1798.07 s
1.87/1.96	c core #409
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 409
1.87/1.96	c Elapsed CPU time: 1.93471 s	Remaining CPU time: 1798.07 s
1.87/1.96	c core #410
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 410
1.87/1.96	c Elapsed CPU time: 1.9407 s	Remaining CPU time: 1798.06 s
1.87/1.97	c core #411
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 411
1.87/1.97	c Elapsed CPU time: 1.9467 s	Remaining CPU time: 1798.05 s
1.87/1.98	c core #412
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 412
1.87/1.98	c Elapsed CPU time: 1.9527 s	Remaining CPU time: 1798.05 s
1.87/1.98	c core #413
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 413
1.87/1.98	c Elapsed CPU time: 1.9587 s	Remaining CPU time: 1798.04 s
1.87/1.99	c core #414
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 414
1.87/1.99	c Elapsed CPU time: 1.9647 s	Remaining CPU time: 1798.04 s
1.87/2.00	c core #415
1.87/2.00	c Core size: 3	Core Weight: 1	Total Weight: 415
1.87/2.00	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 1798.03 s
1.98/2.00	c core #416
1.98/2.00	c Core size: 3	Core Weight: 1	Total Weight: 416
1.98/2.00	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.98/2.01	c core #417
1.98/2.01	c Core size: 3	Core Weight: 1	Total Weight: 417
1.98/2.01	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.98/2.01	c core #418
1.98/2.01	c Core size: 3	Core Weight: 1	Total Weight: 418
1.98/2.01	c Elapsed CPU time: 1.9867 s	Remaining CPU time: 1798.01 s
1.98/2.02	c core #419
1.98/2.02	c Core size: 3	Core Weight: 1	Total Weight: 419
1.98/2.02	c Elapsed CPU time: 1.9927 s	Remaining CPU time: 1798.01 s
1.98/2.02	c core #420
1.98/2.02	c Core size: 3	Core Weight: 1	Total Weight: 420
1.98/2.02	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.98/2.03	c core #421
1.98/2.03	c Core size: 3	Core Weight: 1	Total Weight: 421
1.98/2.03	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.98/2.04	c core #422
1.98/2.04	c Core size: 3	Core Weight: 1	Total Weight: 422
1.98/2.04	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.98/2.04	c core #423
1.98/2.04	c Core size: 3	Core Weight: 1	Total Weight: 423
1.98/2.04	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.98/2.05	c core #424
1.98/2.05	c Core size: 3	Core Weight: 1	Total Weight: 424
1.98/2.05	c Elapsed CPU time: 2.02369 s	Remaining CPU time: 1797.98 s
1.98/2.06	c core #425
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 425
1.98/2.06	c Elapsed CPU time: 2.02969 s	Remaining CPU time: 1797.97 s
1.98/2.06	c core #426
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 426
1.98/2.06	c Elapsed CPU time: 2.03569 s	Remaining CPU time: 1797.96 s
1.98/2.07	c core #427
1.98/2.07	c Core size: 3	Core Weight: 1	Total Weight: 427
1.98/2.07	c Elapsed CPU time: 2.04169 s	Remaining CPU time: 1797.96 s
1.98/2.07	c core #428
1.98/2.07	c Core size: 3	Core Weight: 1	Total Weight: 428
1.98/2.07	c Elapsed CPU time: 2.04769 s	Remaining CPU time: 1797.95 s
1.98/2.08	c core #429
1.98/2.08	c Core size: 3	Core Weight: 1	Total Weight: 429
1.98/2.08	c Elapsed CPU time: 2.05369 s	Remaining CPU time: 1797.95 s
1.98/2.09	c core #430
1.98/2.09	c Core size: 3	Core Weight: 1	Total Weight: 430
1.98/2.09	c Elapsed CPU time: 2.05969 s	Remaining CPU time: 1797.94 s
1.98/2.09	c core #431
1.98/2.09	c Core size: 3	Core Weight: 1	Total Weight: 431
1.98/2.09	c Elapsed CPU time: 2.06569 s	Remaining CPU time: 1797.93 s
1.98/2.10	c core #432
1.98/2.10	c Core size: 3	Core Weight: 1	Total Weight: 432
1.98/2.10	c Elapsed CPU time: 2.07168 s	Remaining CPU time: 1797.93 s
2.08/2.10	c core #433
2.08/2.10	c Core size: 3	Core Weight: 1	Total Weight: 433
2.08/2.10	c Elapsed CPU time: 2.07768 s	Remaining CPU time: 1797.92 s
2.08/2.11	c core #434
2.08/2.11	c Core size: 3	Core Weight: 1	Total Weight: 434
2.08/2.11	c Elapsed CPU time: 2.08368 s	Remaining CPU time: 1797.92 s
2.08/2.12	c core #435
2.08/2.12	c Core size: 3	Core Weight: 1	Total Weight: 435
2.08/2.12	c Elapsed CPU time: 2.08868 s	Remaining CPU time: 1797.91 s
2.08/2.12	c core #436
2.08/2.12	c Core size: 3	Core Weight: 1	Total Weight: 436
2.08/2.12	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 1797.91 s
2.08/2.13	c core #437
2.08/2.13	c Core size: 3	Core Weight: 1	Total Weight: 437
2.08/2.13	c Elapsed CPU time: 2.10068 s	Remaining CPU time: 1797.9 s
2.08/2.13	c core #438
2.08/2.13	c Core size: 3	Core Weight: 1	Total Weight: 438
2.08/2.13	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.08/2.14	c core #439
2.08/2.14	c Core size: 3	Core Weight: 1	Total Weight: 439
2.08/2.14	c Elapsed CPU time: 2.11268 s	Remaining CPU time: 1797.89 s
2.08/2.15	c core #440
2.08/2.15	c Core size: 3	Core Weight: 1	Total Weight: 440
2.08/2.15	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.08/2.15	c core #441
2.08/2.15	c Core size: 3	Core Weight: 1	Total Weight: 441
2.08/2.15	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.08/2.16	c core #442
2.08/2.16	c Core size: 3	Core Weight: 1	Total Weight: 442
2.08/2.16	c Elapsed CPU time: 2.13068 s	Remaining CPU time: 1797.87 s
2.08/2.17	c core #443
2.08/2.17	c Core size: 3	Core Weight: 1	Total Weight: 443
2.08/2.17	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.08/2.17	c core #444
2.08/2.17	c Core size: 3	Core Weight: 1	Total Weight: 444
2.08/2.17	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.08/2.18	c core #445
2.08/2.18	c Core size: 3	Core Weight: 1	Total Weight: 445
2.08/2.18	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.08/2.18	c core #446
2.08/2.18	c Core size: 3	Core Weight: 1	Total Weight: 446
2.08/2.18	c Elapsed CPU time: 2.15367 s	Remaining CPU time: 1797.85 s
2.08/2.19	c core #447
2.08/2.19	c Core size: 3	Core Weight: 1	Total Weight: 447
2.08/2.19	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 1797.84 s
2.08/2.20	c core #448
2.08/2.20	c Core size: 3	Core Weight: 1	Total Weight: 448
2.08/2.20	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 1797.83 s
2.18/2.20	c core #449
2.18/2.20	c Core size: 3	Core Weight: 1	Total Weight: 449
2.18/2.20	c Elapsed CPU time: 2.17267 s	Remaining CPU time: 1797.83 s
2.18/2.21	c core #450
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 450
2.18/2.21	c Elapsed CPU time: 2.17867 s	Remaining CPU time: 1797.82 s
2.18/2.21	c core #451
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 451
2.18/2.21	c Elapsed CPU time: 2.18467 s	Remaining CPU time: 1797.82 s
2.18/2.22	c core #452
2.18/2.22	c Core size: 3	Core Weight: 1	Total Weight: 452
2.18/2.22	c Elapsed CPU time: 2.19067 s	Remaining CPU time: 1797.81 s
2.18/2.23	c core #453
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 453
2.18/2.23	c Elapsed CPU time: 2.19767 s	Remaining CPU time: 1797.8 s
2.18/2.23	c core #454
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 454
2.18/2.23	c Elapsed CPU time: 2.20366 s	Remaining CPU time: 1797.8 s
2.18/2.24	c core #455
2.18/2.24	c Core size: 3	Core Weight: 1	Total Weight: 455
2.18/2.24	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 1797.79 s
2.18/2.25	c core #456
2.18/2.25	c Core size: 3	Core Weight: 1	Total Weight: 456
2.18/2.25	c Elapsed CPU time: 2.21566 s	Remaining CPU time: 1797.78 s
2.18/2.25	c core #457
2.18/2.25	c Core size: 3	Core Weight: 1	Total Weight: 457
2.18/2.25	c Elapsed CPU time: 2.22166 s	Remaining CPU time: 1797.78 s
2.18/2.26	c core #458
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 458
2.18/2.26	c Elapsed CPU time: 2.22766 s	Remaining CPU time: 1797.77 s
2.18/2.26	c core #459
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 459
2.18/2.26	c Elapsed CPU time: 2.23366 s	Remaining CPU time: 1797.77 s
2.18/2.27	c core #460
2.18/2.27	c Core size: 3	Core Weight: 1	Total Weight: 460
2.18/2.27	c Elapsed CPU time: 2.23966 s	Remaining CPU time: 1797.76 s
2.18/2.28	c core #461
2.18/2.28	c Core size: 3	Core Weight: 1	Total Weight: 461
2.18/2.28	c Elapsed CPU time: 2.24566 s	Remaining CPU time: 1797.75 s
2.18/2.28	c core #462
2.18/2.28	c Core size: 3	Core Weight: 1	Total Weight: 462
2.18/2.28	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.18/2.29	c core #463
2.18/2.29	c Core size: 3	Core Weight: 1	Total Weight: 463
2.18/2.29	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 1797.74 s
2.18/2.30	c core #464
2.18/2.30	c Core size: 3	Core Weight: 1	Total Weight: 464
2.18/2.30	c Elapsed CPU time: 2.26465 s	Remaining CPU time: 1797.74 s
2.27/2.30	c core #465
2.27/2.30	c Core size: 3	Core Weight: 1	Total Weight: 465
2.27/2.30	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.27/2.31	c core #466
2.27/2.31	c Core size: 3	Core Weight: 1	Total Weight: 466
2.27/2.31	c Elapsed CPU time: 2.27765 s	Remaining CPU time: 1797.72 s
2.27/2.31	c core #467
2.27/2.31	c Core size: 3	Core Weight: 1	Total Weight: 467
2.27/2.31	c Elapsed CPU time: 2.28365 s	Remaining CPU time: 1797.72 s
2.27/2.32	c core #468
2.27/2.32	c Core size: 3	Core Weight: 1	Total Weight: 468
2.27/2.32	c Elapsed CPU time: 2.28965 s	Remaining CPU time: 1797.71 s
2.27/2.33	c core #469
2.27/2.33	c Core size: 3	Core Weight: 1	Total Weight: 469
2.27/2.33	c Elapsed CPU time: 2.29565 s	Remaining CPU time: 1797.7 s
2.27/2.33	c core #470
2.27/2.33	c Core size: 3	Core Weight: 1	Total Weight: 470
2.27/2.33	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.27/2.34	c core #471
2.27/2.34	c Core size: 3	Core Weight: 1	Total Weight: 471
2.27/2.34	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.27/2.35	c core #472
2.27/2.35	c Core size: 3	Core Weight: 1	Total Weight: 472
2.27/2.35	c Elapsed CPU time: 2.31465 s	Remaining CPU time: 1797.69 s
2.27/2.35	c core #473
2.27/2.35	c Core size: 3	Core Weight: 1	Total Weight: 473
2.27/2.35	c Elapsed CPU time: 2.32065 s	Remaining CPU time: 1797.68 s
2.27/2.36	c core #474
2.27/2.36	c Core size: 3	Core Weight: 1	Total Weight: 474
2.27/2.36	c Elapsed CPU time: 2.32765 s	Remaining CPU time: 1797.67 s
2.27/2.36	c core #475
2.27/2.36	c Core size: 3	Core Weight: 1	Total Weight: 475
2.27/2.36	c Elapsed CPU time: 2.33365 s	Remaining CPU time: 1797.67 s
2.27/2.37	c core #476
2.27/2.37	c Core size: 3	Core Weight: 1	Total Weight: 476
2.27/2.37	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.27/2.38	c core #477
2.27/2.38	c Core size: 3	Core Weight: 1	Total Weight: 477
2.27/2.38	c Elapsed CPU time: 2.34664 s	Remaining CPU time: 1797.65 s
2.27/2.38	c core #478
2.27/2.38	c Core size: 3	Core Weight: 1	Total Weight: 478
2.27/2.38	c Elapsed CPU time: 2.35364 s	Remaining CPU time: 1797.65 s
2.27/2.39	c core #479
2.27/2.39	c Core size: 3	Core Weight: 1	Total Weight: 479
2.27/2.39	c Elapsed CPU time: 2.35964 s	Remaining CPU time: 1797.64 s
2.27/2.40	c core #480
2.27/2.40	c Core size: 3	Core Weight: 1	Total Weight: 480
2.37/2.40	c Elapsed CPU time: 2.36564 s	Remaining CPU time: 1797.63 s
2.37/2.40	c core #481
2.37/2.40	c Core size: 3	Core Weight: 1	Total Weight: 481
2.37/2.40	c Elapsed CPU time: 2.37264 s	Remaining CPU time: 1797.63 s
2.37/2.41	c core #482
2.37/2.41	c Core size: 3	Core Weight: 1	Total Weight: 482
2.37/2.41	c Elapsed CPU time: 2.37864 s	Remaining CPU time: 1797.62 s
2.37/2.42	c core #483
2.37/2.42	c Core size: 3	Core Weight: 1	Total Weight: 483
2.37/2.42	c Elapsed CPU time: 2.38464 s	Remaining CPU time: 1797.62 s
2.37/2.42	c core #484
2.37/2.42	c Core size: 3	Core Weight: 1	Total Weight: 484
2.37/2.42	c Elapsed CPU time: 2.39064 s	Remaining CPU time: 1797.61 s
2.37/2.43	c core #485
2.37/2.43	c Core size: 3	Core Weight: 1	Total Weight: 485
2.37/2.43	c Elapsed CPU time: 2.39663 s	Remaining CPU time: 1797.6 s
2.37/2.44	c core #486
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 486
2.37/2.44	c Elapsed CPU time: 2.40363 s	Remaining CPU time: 1797.6 s
2.37/2.44	c core #487
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 487
2.37/2.44	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 1797.59 s
2.37/2.45	c core #488
2.37/2.45	c Core size: 3	Core Weight: 1	Total Weight: 488
2.37/2.45	c Elapsed CPU time: 2.41563 s	Remaining CPU time: 1797.58 s
2.37/2.45	c core #489
2.37/2.45	c Core size: 3	Core Weight: 1	Total Weight: 489
2.37/2.45	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 1797.58 s
2.37/2.46	c core #490
2.37/2.46	c Core size: 3	Core Weight: 1	Total Weight: 490
2.37/2.46	c Elapsed CPU time: 2.42863 s	Remaining CPU time: 1797.57 s
2.37/2.47	c core #491
2.37/2.47	c Core size: 3	Core Weight: 1	Total Weight: 491
2.37/2.47	c Elapsed CPU time: 2.43463 s	Remaining CPU time: 1797.57 s
2.37/2.47	c core #492
2.37/2.47	c Core size: 3	Core Weight: 1	Total Weight: 492
2.37/2.47	c Elapsed CPU time: 2.44063 s	Remaining CPU time: 1797.56 s
2.37/2.48	c core #493
2.37/2.48	c Core size: 3	Core Weight: 1	Total Weight: 493
2.37/2.48	c Elapsed CPU time: 2.44663 s	Remaining CPU time: 1797.55 s
2.37/2.49	c core #494
2.37/2.49	c Core size: 3	Core Weight: 1	Total Weight: 494
2.37/2.49	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 1797.55 s
2.37/2.49	c core #495
2.37/2.49	c Core size: 3	Core Weight: 1	Total Weight: 495
2.37/2.49	c Elapsed CPU time: 2.45963 s	Remaining CPU time: 1797.54 s
2.47/2.50	c core #496
2.47/2.50	c Core size: 3	Core Weight: 1	Total Weight: 496
2.47/2.50	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.47/2.51	c core #497
2.47/2.51	c Core size: 3	Core Weight: 1	Total Weight: 497
2.47/2.51	c Elapsed CPU time: 2.47262 s	Remaining CPU time: 1797.53 s
2.47/2.51	c core #498
2.47/2.51	c Core size: 3	Core Weight: 1	Total Weight: 498
2.47/2.51	c Elapsed CPU time: 2.47962 s	Remaining CPU time: 1797.52 s
2.47/2.52	c core #499
2.47/2.52	c Core size: 3	Core Weight: 1	Total Weight: 499
2.47/2.52	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 1797.51 s
2.47/2.53	c core #500
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 500
2.47/2.53	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 1797.51 s
2.47/2.53	c core #501
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 501
2.47/2.53	c Elapsed CPU time: 2.49862 s	Remaining CPU time: 1797.5 s
2.47/2.54	c core #502
2.47/2.54	c Core size: 3	Core Weight: 1	Total Weight: 502
2.47/2.54	c Elapsed CPU time: 2.50462 s	Remaining CPU time: 1797.5 s
2.47/2.54	c core #503
2.47/2.54	c Core size: 3	Core Weight: 1	Total Weight: 503
2.47/2.54	c Elapsed CPU time: 2.51162 s	Remaining CPU time: 1797.49 s
2.47/2.55	c core #504
2.47/2.55	c Core size: 3	Core Weight: 1	Total Weight: 504
2.47/2.55	c Elapsed CPU time: 2.51762 s	Remaining CPU time: 1797.48 s
2.47/2.56	c core #505
2.47/2.56	c Core size: 3	Core Weight: 1	Total Weight: 505
2.47/2.56	c Elapsed CPU time: 2.52462 s	Remaining CPU time: 1797.48 s
2.47/2.56	c core #506
2.47/2.56	c Core size: 3	Core Weight: 1	Total Weight: 506
2.47/2.56	c Elapsed CPU time: 2.53062 s	Remaining CPU time: 1797.47 s
2.47/2.57	c core #507
2.47/2.57	c Core size: 3	Core Weight: 1	Total Weight: 507
2.47/2.57	c Elapsed CPU time: 2.53661 s	Remaining CPU time: 1797.46 s
2.47/2.58	c core #508
2.47/2.58	c Core size: 3	Core Weight: 1	Total Weight: 508
2.47/2.58	c Elapsed CPU time: 2.54361 s	Remaining CPU time: 1797.46 s
2.47/2.58	c core #509
2.47/2.58	c Core size: 3	Core Weight: 1	Total Weight: 509
2.47/2.58	c Elapsed CPU time: 2.54961 s	Remaining CPU time: 1797.45 s
2.47/2.59	c core #510
2.47/2.59	c Core size: 3	Core Weight: 1	Total Weight: 510
2.47/2.59	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 1797.44 s
2.47/2.60	c core #511
2.47/2.60	c Core size: 3	Core Weight: 1	Total Weight: 511
2.47/2.60	c Elapsed CPU time: 2.56261 s	Remaining CPU time: 1797.44 s
2.57/2.60	c core #512
2.57/2.60	c Core size: 3	Core Weight: 1	Total Weight: 512
2.57/2.60	c Elapsed CPU time: 2.56861 s	Remaining CPU time: 1797.43 s
2.57/2.61	c core #513
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 513
2.57/2.61	c Elapsed CPU time: 2.57461 s	Remaining CPU time: 1797.43 s
2.57/2.62	c core #514
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 514
2.57/2.62	c Elapsed CPU time: 2.58161 s	Remaining CPU time: 1797.42 s
2.57/2.62	c core #515
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 515
2.57/2.62	c Elapsed CPU time: 2.58761 s	Remaining CPU time: 1797.41 s
2.57/2.63	c core #516
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 516
2.57/2.63	c Elapsed CPU time: 2.59361 s	Remaining CPU time: 1797.41 s
2.57/2.63	c core #517
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 517
2.57/2.64	c Elapsed CPU time: 2.5996 s	Remaining CPU time: 1797.4 s
2.57/2.64	c core #518
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 518
2.57/2.64	c Elapsed CPU time: 2.6066 s	Remaining CPU time: 1797.39 s
2.57/2.65	c core #519
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 519
2.57/2.65	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 1797.39 s
2.57/2.65	c core #520
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 520
2.57/2.65	c Elapsed CPU time: 2.6196 s	Remaining CPU time: 1797.38 s
2.57/2.66	c core #521
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 521
2.57/2.66	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 1797.37 s
2.57/2.67	c core #522
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 522
2.57/2.67	c Elapsed CPU time: 2.6326 s	Remaining CPU time: 1797.37 s
2.57/2.67	c core #523
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 523
2.57/2.67	c Elapsed CPU time: 2.6396 s	Remaining CPU time: 1797.36 s
2.57/2.68	c core #524
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 524
2.57/2.68	c Elapsed CPU time: 2.6456 s	Remaining CPU time: 1797.35 s
2.57/2.69	c core #525
2.57/2.69	c Core size: 3	Core Weight: 1	Total Weight: 525
2.57/2.69	c Elapsed CPU time: 2.6526 s	Remaining CPU time: 1797.35 s
2.57/2.69	c core #526
2.57/2.69	c Core size: 3	Core Weight: 1	Total Weight: 526
2.57/2.69	c Elapsed CPU time: 2.6586 s	Remaining CPU time: 1797.34 s
2.67/2.70	c core #527
2.67/2.70	c Core size: 3	Core Weight: 1	Total Weight: 527
2.67/2.70	c Elapsed CPU time: 2.66459 s	Remaining CPU time: 1797.34 s
2.67/2.71	c core #528
2.67/2.71	c Core size: 3	Core Weight: 1	Total Weight: 528
2.67/2.71	c Elapsed CPU time: 2.67159 s	Remaining CPU time: 1797.33 s
2.67/2.71	c core #529
2.67/2.71	c Core size: 3	Core Weight: 1	Total Weight: 529
2.67/2.71	c Elapsed CPU time: 2.67759 s	Remaining CPU time: 1797.32 s
2.67/2.72	c core #530
2.67/2.72	c Core size: 3	Core Weight: 1	Total Weight: 530
2.67/2.72	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 1797.32 s
2.67/2.73	c core #531
2.67/2.73	c Core size: 3	Core Weight: 1	Total Weight: 531
2.67/2.73	c Elapsed CPU time: 2.69059 s	Remaining CPU time: 1797.31 s
2.67/2.73	c core #532
2.67/2.73	c Core size: 3	Core Weight: 1	Total Weight: 532
2.67/2.73	c Elapsed CPU time: 2.69759 s	Remaining CPU time: 1797.3 s
2.67/2.74	c core #533
2.67/2.74	c Core size: 3	Core Weight: 1	Total Weight: 533
2.67/2.74	c Elapsed CPU time: 2.70459 s	Remaining CPU time: 1797.3 s
2.67/2.75	c core #534
2.67/2.75	c Core size: 3	Core Weight: 1	Total Weight: 534
2.67/2.75	c Elapsed CPU time: 2.71059 s	Remaining CPU time: 1797.29 s
2.67/2.75	c core #535
2.67/2.75	c Core size: 3	Core Weight: 1	Total Weight: 535
2.67/2.75	c Elapsed CPU time: 2.71759 s	Remaining CPU time: 1797.28 s
2.67/2.76	c core #536
2.67/2.76	c Core size: 3	Core Weight: 1	Total Weight: 536
2.67/2.76	c Elapsed CPU time: 2.72459 s	Remaining CPU time: 1797.28 s
2.67/2.77	c core #537
2.67/2.77	c Core size: 3	Core Weight: 1	Total Weight: 537
2.67/2.77	c Elapsed CPU time: 2.73058 s	Remaining CPU time: 1797.27 s
2.67/2.77	c core #538
2.67/2.77	c Core size: 3	Core Weight: 1	Total Weight: 538
2.67/2.77	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.67/2.78	c core #539
2.67/2.78	c Core size: 3	Core Weight: 1	Total Weight: 539
2.67/2.78	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 1797.26 s
2.67/2.79	c core #540
2.67/2.79	c Core size: 3	Core Weight: 1	Total Weight: 540
2.67/2.79	c Elapsed CPU time: 2.74858 s	Remaining CPU time: 1797.25 s
2.67/2.79	c core #541
2.67/2.79	c Core size: 3	Core Weight: 1	Total Weight: 541
2.67/2.79	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 1797.24 s
2.76/2.80	c core #542
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 542
2.76/2.80	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #543
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 543
2.76/2.81	c Elapsed CPU time: 2.76758 s	Remaining CPU time: 1797.23 s
2.76/2.81	c core #544
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 544
2.76/2.81	c Elapsed CPU time: 2.77458 s	Remaining CPU time: 1797.23 s
2.76/2.82	c core #545
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 545
2.76/2.82	c Elapsed CPU time: 2.78158 s	Remaining CPU time: 1797.22 s
2.76/2.83	c core #546
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 546
2.76/2.83	c Elapsed CPU time: 2.78758 s	Remaining CPU time: 1797.21 s
2.76/2.83	c core #547
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 547
2.76/2.83	c Elapsed CPU time: 2.79458 s	Remaining CPU time: 1797.21 s
2.76/2.84	c core #548
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 548
2.76/2.84	c Elapsed CPU time: 2.80157 s	Remaining CPU time: 1797.2 s
2.76/2.85	c core #549
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 549
2.76/2.85	c Elapsed CPU time: 2.80757 s	Remaining CPU time: 1797.19 s
2.76/2.85	c core #550
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 550
2.76/2.85	c Elapsed CPU time: 2.81457 s	Remaining CPU time: 1797.19 s
2.76/2.86	c core #551
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 551
2.76/2.86	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.76/2.87	c core #552
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 552
2.76/2.87	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.76/2.87	c core #553
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 553
2.76/2.87	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.76/2.88	c core #554
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 554
2.76/2.88	c Elapsed CPU time: 2.84157 s	Remaining CPU time: 1797.16 s
2.76/2.89	c core #555
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 555
2.76/2.89	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 1797.15 s
2.76/2.89	c core #556
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 556
2.76/2.89	c Elapsed CPU time: 2.85457 s	Remaining CPU time: 1797.15 s
2.86/2.90	c core #557
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 557
2.86/2.90	c Elapsed CPU time: 2.85956 s	Remaining CPU time: 1797.14 s
2.86/2.91	c core #558
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 558
2.86/2.91	c Elapsed CPU time: 2.86556 s	Remaining CPU time: 1797.13 s
2.86/2.91	c core #559
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 559
2.86/2.91	c Elapsed CPU time: 2.87256 s	Remaining CPU time: 1797.13 s
2.86/2.92	c core #560
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 560
2.86/2.92	c Elapsed CPU time: 2.87956 s	Remaining CPU time: 1797.12 s
2.86/2.93	c core #561
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 561
2.86/2.93	c Elapsed CPU time: 2.88656 s	Remaining CPU time: 1797.11 s
2.86/2.94	c core #562
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 562
2.86/2.94	c Elapsed CPU time: 2.89356 s	Remaining CPU time: 1797.11 s
2.86/2.94	c core #563
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 563
2.86/2.94	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.86/2.95	c core #564
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.95	c Elapsed CPU time: 2.90656 s	Remaining CPU time: 1797.09 s
2.86/2.96	c core #565
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.96	c Elapsed CPU time: 2.91256 s	Remaining CPU time: 1797.09 s
2.86/2.96	c core #566
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.96	c Elapsed CPU time: 2.91956 s	Remaining CPU time: 1797.08 s
2.86/2.97	c core #567
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.97	c Elapsed CPU time: 2.92656 s	Remaining CPU time: 1797.07 s
2.86/2.98	c core #568
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.98	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 1797.07 s
2.86/2.98	c core #569
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.98	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 1797.06 s
2.86/2.99	c core #570
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.99	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.96/3.00	c core #571
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 571
2.96/3.00	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 1797.05 s
2.96/3.00	c core #572
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 572
2.96/3.00	c Elapsed CPU time: 2.96055 s	Remaining CPU time: 1797.04 s
2.96/3.01	c core #573
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 573
2.96/3.01	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 1797.03 s
2.96/3.02	c core #574
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 574
2.96/3.02	c Elapsed CPU time: 2.97255 s	Remaining CPU time: 1797.03 s
2.96/3.02	c core #575
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 575
2.96/3.02	c Elapsed CPU time: 2.97955 s	Remaining CPU time: 1797.02 s
2.96/3.03	c core #576
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 576
2.96/3.03	c Elapsed CPU time: 2.98655 s	Remaining CPU time: 1797.01 s
2.96/3.04	c core #577
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 577
2.96/3.04	c Elapsed CPU time: 2.99254 s	Remaining CPU time: 1797.01 s
2.96/3.04	c core #578
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 578
2.96/3.05	c Elapsed CPU time: 2.99954 s	Remaining CPU time: 1797 s
2.96/3.05	c core #579
2.96/3.05	c Core size: 3	Core Weight: 1	Total Weight: 579
2.96/3.05	c Elapsed CPU time: 3.00654 s	Remaining CPU time: 1796.99 s
2.96/3.06	c core #580
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 580
2.96/3.06	c Elapsed CPU time: 3.01354 s	Remaining CPU time: 1796.99 s
2.96/3.07	c core #581
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 581
2.96/3.07	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.96/3.07	c core #582
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 582
2.96/3.07	c Elapsed CPU time: 3.02654 s	Remaining CPU time: 1796.97 s
2.96/3.08	c core #583
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 583
2.96/3.08	c Elapsed CPU time: 3.03354 s	Remaining CPU time: 1796.97 s
2.96/3.09	c core #584
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 584
2.96/3.09	c Elapsed CPU time: 3.04054 s	Remaining CPU time: 1796.96 s
2.96/3.09	c core #585
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 585
2.96/3.09	c Elapsed CPU time: 3.04754 s	Remaining CPU time: 1796.95 s
3.06/3.10	c core #586
3.06/3.10	c Core size: 3	Core Weight: 1	Total Weight: 586
3.06/3.10	c Elapsed CPU time: 3.05454 s	Remaining CPU time: 1796.95 s
3.06/3.11	c core #587
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 587
3.06/3.11	c Elapsed CPU time: 3.06153 s	Remaining CPU time: 1796.94 s
3.06/3.11	c core #588
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 588
3.06/3.11	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
3.06/3.12	c core #589
3.06/3.12	c Core size: 3	Core Weight: 1	Total Weight: 589
3.06/3.12	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 1796.92 s
3.06/3.13	c core #590
3.06/3.13	c Core size: 3	Core Weight: 1	Total Weight: 590
3.06/3.13	c Elapsed CPU time: 3.08153 s	Remaining CPU time: 1796.92 s
3.06/3.14	c core #591
3.06/3.14	c Core size: 3	Core Weight: 1	Total Weight: 591
3.06/3.14	c Elapsed CPU time: 3.08753 s	Remaining CPU time: 1796.91 s
3.06/3.14	c core #592
3.06/3.14	c Core size: 3	Core Weight: 1	Total Weight: 592
3.06/3.14	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.06/3.15	c core #593
3.06/3.15	c Core size: 3	Core Weight: 1	Total Weight: 593
3.06/3.15	c Elapsed CPU time: 3.10153 s	Remaining CPU time: 1796.9 s
3.06/3.16	c core #594
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 594
3.06/3.16	c Elapsed CPU time: 3.10853 s	Remaining CPU time: 1796.89 s
3.06/3.16	c core #595
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 595
3.06/3.16	c Elapsed CPU time: 3.11553 s	Remaining CPU time: 1796.88 s
3.06/3.17	c core #596
3.06/3.17	c Core size: 3	Core Weight: 1	Total Weight: 596
3.06/3.17	c Elapsed CPU time: 3.12252 s	Remaining CPU time: 1796.88 s
3.06/3.18	c core #597
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 597
3.06/3.18	c Elapsed CPU time: 3.12952 s	Remaining CPU time: 1796.87 s
3.06/3.18	c core #598
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 598
3.06/3.18	c Elapsed CPU time: 3.13652 s	Remaining CPU time: 1796.86 s
3.06/3.19	c core #599
3.06/3.19	c Core size: 3	Core Weight: 1	Total Weight: 599
3.06/3.19	c Elapsed CPU time: 3.14352 s	Remaining CPU time: 1796.86 s
3.06/3.20	c core #600
3.06/3.20	c Core size: 3	Core Weight: 1	Total Weight: 600
3.06/3.20	c Elapsed CPU time: 3.15052 s	Remaining CPU time: 1796.85 s
3.16/3.20	c core #601
3.16/3.20	c Core size: 3	Core Weight: 1	Total Weight: 601
3.16/3.20	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 1796.84 s
3.16/3.21	c core #602
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 602
3.16/3.21	c Elapsed CPU time: 3.16452 s	Remaining CPU time: 1796.84 s
3.16/3.22	c core #603
3.16/3.22	c Core size: 3	Core Weight: 1	Total Weight: 603
3.16/3.22	c Elapsed CPU time: 3.17152 s	Remaining CPU time: 1796.83 s
3.16/3.23	c core #604
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 604
3.16/3.23	c Elapsed CPU time: 3.17852 s	Remaining CPU time: 1796.82 s
3.16/3.23	c core #605
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 605
3.16/3.23	c Elapsed CPU time: 3.18552 s	Remaining CPU time: 1796.81 s
3.16/3.24	c core #606
3.16/3.24	c Core size: 3	Core Weight: 1	Total Weight: 606
3.16/3.24	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 1796.81 s
3.16/3.25	c core #607
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 607
3.16/3.25	c Elapsed CPU time: 3.19951 s	Remaining CPU time: 1796.8 s
3.16/3.25	c core #608
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 608
3.16/3.25	c Elapsed CPU time: 3.20651 s	Remaining CPU time: 1796.79 s
3.16/3.26	c core #609
3.16/3.26	c Core size: 3	Core Weight: 1	Total Weight: 609
3.16/3.26	c Elapsed CPU time: 3.21351 s	Remaining CPU time: 1796.79 s
3.16/3.27	c core #610
3.16/3.27	c Core size: 3	Core Weight: 1	Total Weight: 610
3.16/3.27	c Elapsed CPU time: 3.22051 s	Remaining CPU time: 1796.78 s
3.16/3.28	c core #611
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 611
3.16/3.28	c Elapsed CPU time: 3.22751 s	Remaining CPU time: 1796.77 s
3.16/3.28	c core #612
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 612
3.16/3.28	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.16/3.29	c core #613
3.16/3.29	c Core size: 3	Core Weight: 1	Total Weight: 613
3.16/3.29	c Elapsed CPU time: 3.24051 s	Remaining CPU time: 1796.76 s
3.16/3.30	c core #614
3.16/3.30	c Core size: 3	Core Weight: 1	Total Weight: 614
3.16/3.30	c Elapsed CPU time: 3.24751 s	Remaining CPU time: 1796.75 s
3.26/3.30	c core #615
3.26/3.30	c Core size: 3	Core Weight: 1	Total Weight: 615
3.26/3.30	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 1796.75 s
3.26/3.31	c core #616
3.26/3.31	c Core size: 3	Core Weight: 1	Total Weight: 616
3.26/3.31	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 1796.74 s
3.26/3.32	c core #617
3.26/3.32	c Core size: 3	Core Weight: 1	Total Weight: 617
3.26/3.32	c Elapsed CPU time: 3.2685 s	Remaining CPU time: 1796.73 s
3.26/3.33	c core #618
3.26/3.33	c Core size: 3	Core Weight: 1	Total Weight: 618
3.26/3.33	c Elapsed CPU time: 3.2755 s	Remaining CPU time: 1796.72 s
3.26/3.33	c core #619
3.26/3.33	c Core size: 3	Core Weight: 1	Total Weight: 619
3.26/3.33	c Elapsed CPU time: 3.2825 s	Remaining CPU time: 1796.72 s
3.26/3.34	c core #620
3.26/3.34	c Core size: 3	Core Weight: 1	Total Weight: 620
3.26/3.34	c Elapsed CPU time: 3.2895 s	Remaining CPU time: 1796.71 s
3.26/3.35	c core #621
3.26/3.35	c Core size: 3	Core Weight: 1	Total Weight: 621
3.26/3.35	c Elapsed CPU time: 3.2965 s	Remaining CPU time: 1796.7 s
3.26/3.35	c core #622
3.26/3.35	c Core size: 3	Core Weight: 1	Total Weight: 622
3.26/3.35	c Elapsed CPU time: 3.3035 s	Remaining CPU time: 1796.7 s
3.26/3.36	c core #623
3.26/3.36	c Core size: 3	Core Weight: 1	Total Weight: 623
3.26/3.36	c Elapsed CPU time: 3.3105 s	Remaining CPU time: 1796.69 s
3.26/3.37	c core #624
3.26/3.37	c Core size: 3	Core Weight: 1	Total Weight: 624
3.26/3.37	c Elapsed CPU time: 3.3165 s	Remaining CPU time: 1796.68 s
3.26/3.38	c core #625
3.26/3.38	c Core size: 3	Core Weight: 1	Total Weight: 625
3.26/3.38	c Elapsed CPU time: 3.32349 s	Remaining CPU time: 1796.68 s
3.26/3.38	c core #626
3.26/3.38	c Core size: 3	Core Weight: 1	Total Weight: 626
3.26/3.38	c Elapsed CPU time: 3.33049 s	Remaining CPU time: 1796.67 s
3.26/3.39	c core #627
3.26/3.39	c Core size: 3	Core Weight: 1	Total Weight: 627
3.26/3.39	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.36/3.40	c core #628
3.36/3.40	c Core size: 3	Core Weight: 1	Total Weight: 628
3.36/3.40	c Elapsed CPU time: 3.34549 s	Remaining CPU time: 1796.65 s
3.36/3.41	c core #629
3.36/3.41	c Core size: 3	Core Weight: 1	Total Weight: 629
3.36/3.41	c Elapsed CPU time: 3.35249 s	Remaining CPU time: 1796.65 s
3.36/3.41	c core #630
3.36/3.41	c Core size: 3	Core Weight: 1	Total Weight: 630
3.36/3.41	c Elapsed CPU time: 3.35949 s	Remaining CPU time: 1796.64 s
3.36/3.42	c core #631
3.36/3.42	c Core size: 3	Core Weight: 1	Total Weight: 631
3.36/3.42	c Elapsed CPU time: 3.36649 s	Remaining CPU time: 1796.63 s
3.36/3.43	c core #632
3.36/3.43	c Core size: 3	Core Weight: 1	Total Weight: 632
3.36/3.43	c Elapsed CPU time: 3.37449 s	Remaining CPU time: 1796.63 s
3.36/3.43	c core #633
3.36/3.43	c Core size: 3	Core Weight: 1	Total Weight: 633
3.36/3.43	c Elapsed CPU time: 3.38049 s	Remaining CPU time: 1796.62 s
3.36/3.44	c core #634
3.36/3.44	c Core size: 3	Core Weight: 1	Total Weight: 634
3.36/3.44	c Elapsed CPU time: 3.38748 s	Remaining CPU time: 1796.61 s
3.36/3.45	c core #635
3.36/3.45	c Core size: 3	Core Weight: 1	Total Weight: 635
3.36/3.45	c Elapsed CPU time: 3.39548 s	Remaining CPU time: 1796.6 s
3.36/3.46	c core #636
3.36/3.46	c Core size: 3	Core Weight: 1	Total Weight: 636
3.36/3.46	c Elapsed CPU time: 3.40248 s	Remaining CPU time: 1796.6 s
3.36/3.46	c core #637
3.36/3.46	c Core size: 3	Core Weight: 1	Total Weight: 637
3.36/3.46	c Elapsed CPU time: 3.41048 s	Remaining CPU time: 1796.59 s
3.36/3.47	c core #638
3.36/3.47	c Core size: 3	Core Weight: 1	Total Weight: 638
3.36/3.47	c Elapsed CPU time: 3.41748 s	Remaining CPU time: 1796.58 s
3.36/3.48	c core #639
3.36/3.48	c Core size: 3	Core Weight: 1	Total Weight: 639
3.36/3.48	c Elapsed CPU time: 3.42448 s	Remaining CPU time: 1796.58 s
3.36/3.49	c core #640
3.36/3.49	c Core size: 3	Core Weight: 1	Total Weight: 640
3.36/3.49	c Elapsed CPU time: 3.43148 s	Remaining CPU time: 1796.57 s
3.36/3.49	c core #641
3.36/3.49	c Core size: 3	Core Weight: 1	Total Weight: 641
3.36/3.49	c Elapsed CPU time: 3.43848 s	Remaining CPU time: 1796.56 s
3.46/3.50	c core #642
3.46/3.50	c Core size: 3	Core Weight: 1	Total Weight: 642
3.46/3.50	c Elapsed CPU time: 3.44648 s	Remaining CPU time: 1796.55 s
3.46/3.51	c core #643
3.46/3.51	c Core size: 3	Core Weight: 1	Total Weight: 643
3.46/3.51	c Elapsed CPU time: 3.45347 s	Remaining CPU time: 1796.55 s
3.46/3.52	c core #644
3.46/3.52	c Core size: 3	Core Weight: 1	Total Weight: 644
3.46/3.52	c Elapsed CPU time: 3.46047 s	Remaining CPU time: 1796.54 s
3.46/3.52	c core #645
3.46/3.52	c Core size: 3	Core Weight: 1	Total Weight: 645
3.46/3.52	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.46/3.53	c core #646
3.46/3.53	c Core size: 3	Core Weight: 1	Total Weight: 646
3.46/3.53	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.46/3.54	c core #647
3.46/3.54	c Core size: 3	Core Weight: 1	Total Weight: 647
3.46/3.54	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 1796.52 s
3.46/3.54	c core #648
3.46/3.54	c Core size: 3	Core Weight: 1	Total Weight: 648
3.46/3.54	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 1796.51 s
3.46/3.55	c core #649
3.46/3.55	c Core size: 3	Core Weight: 1	Total Weight: 649
3.46/3.55	c Elapsed CPU time: 3.49547 s	Remaining CPU time: 1796.5 s
3.46/3.56	c core #650
3.46/3.56	c Core size: 3	Core Weight: 1	Total Weight: 650
3.46/3.56	c Elapsed CPU time: 3.50347 s	Remaining CPU time: 1796.5 s
3.46/3.57	c core #651
3.46/3.57	c Core size: 3	Core Weight: 1	Total Weight: 651
3.46/3.57	c Elapsed CPU time: 3.51047 s	Remaining CPU time: 1796.49 s
3.46/3.57	c core #652
3.46/3.57	c Core size: 3	Core Weight: 1	Total Weight: 652
3.46/3.57	c Elapsed CPU time: 3.51846 s	Remaining CPU time: 1796.48 s
3.46/3.58	c core #653
3.46/3.58	c Core size: 3	Core Weight: 1	Total Weight: 653
3.46/3.58	c Elapsed CPU time: 3.52546 s	Remaining CPU time: 1796.47 s
3.46/3.59	c core #654
3.46/3.59	c Core size: 3	Core Weight: 1	Total Weight: 654
3.46/3.59	c Elapsed CPU time: 3.53346 s	Remaining CPU time: 1796.47 s
3.55/3.60	c core #655
3.55/3.60	c Core size: 3	Core Weight: 1	Total Weight: 655
3.55/3.60	c Elapsed CPU time: 3.54046 s	Remaining CPU time: 1796.46 s
3.55/3.60	c core #656
3.55/3.60	c Core size: 3	Core Weight: 1	Total Weight: 656
3.55/3.60	c Elapsed CPU time: 3.54846 s	Remaining CPU time: 1796.45 s
3.55/3.61	c core #657
3.55/3.61	c Core size: 3	Core Weight: 1	Total Weight: 657
3.55/3.61	c Elapsed CPU time: 3.55546 s	Remaining CPU time: 1796.44 s
3.55/3.62	c core #658
3.55/3.62	c Core size: 3	Core Weight: 1	Total Weight: 658
3.55/3.62	c Elapsed CPU time: 3.56246 s	Remaining CPU time: 1796.44 s
3.55/3.63	c core #659
3.55/3.63	c Core size: 3	Core Weight: 1	Total Weight: 659
3.55/3.63	c Elapsed CPU time: 3.56946 s	Remaining CPU time: 1796.43 s
3.55/3.63	c core #660
3.55/3.63	c Core size: 3	Core Weight: 1	Total Weight: 660
3.55/3.63	c Elapsed CPU time: 3.57746 s	Remaining CPU time: 1796.42 s
3.55/3.64	c core #661
3.55/3.64	c Core size: 3	Core Weight: 1	Total Weight: 661
3.55/3.64	c Elapsed CPU time: 3.58446 s	Remaining CPU time: 1796.42 s
3.55/3.65	c core #662
3.55/3.65	c Core size: 3	Core Weight: 1	Total Weight: 662
3.55/3.65	c Elapsed CPU time: 3.59245 s	Remaining CPU time: 1796.41 s
3.55/3.66	c core #663
3.55/3.66	c Core size: 3	Core Weight: 1	Total Weight: 663
3.55/3.66	c Elapsed CPU time: 3.59945 s	Remaining CPU time: 1796.4 s
3.55/3.66	c core #664
3.55/3.66	c Core size: 3	Core Weight: 1	Total Weight: 664
3.55/3.66	c Elapsed CPU time: 3.60745 s	Remaining CPU time: 1796.39 s
3.55/3.67	c core #665
3.55/3.67	c Core size: 3	Core Weight: 1	Total Weight: 665
3.55/3.67	c Elapsed CPU time: 3.61445 s	Remaining CPU time: 1796.39 s
3.55/3.68	c core #666
3.55/3.68	c Core size: 3	Core Weight: 1	Total Weight: 666
3.55/3.68	c Elapsed CPU time: 3.62145 s	Remaining CPU time: 1796.38 s
3.55/3.69	c core #667
3.55/3.69	c Core size: 3	Core Weight: 1	Total Weight: 667
3.55/3.69	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.55/3.69	c core #668
3.55/3.69	c Core size: 3	Core Weight: 1	Total Weight: 668
3.55/3.69	c Elapsed CPU time: 3.63645 s	Remaining CPU time: 1796.36 s
3.65/3.70	c core #669
3.65/3.70	c Core size: 3	Core Weight: 1	Total Weight: 669
3.65/3.70	c Elapsed CPU time: 3.64345 s	Remaining CPU time: 1796.36 s
3.65/3.71	c core #670
3.65/3.71	c Core size: 3	Core Weight: 1	Total Weight: 670
3.65/3.71	c Elapsed CPU time: 3.65044 s	Remaining CPU time: 1796.35 s
3.65/3.72	c core #671
3.65/3.72	c Core size: 3	Core Weight: 1	Total Weight: 671
3.65/3.72	c Elapsed CPU time: 3.65744 s	Remaining CPU time: 1796.34 s
3.65/3.72	c core #672
3.65/3.72	c Core size: 3	Core Weight: 1	Total Weight: 672
3.65/3.72	c Elapsed CPU time: 3.66544 s	Remaining CPU time: 1796.33 s
3.65/3.73	c core #673
3.65/3.73	c Core size: 3	Core Weight: 1	Total Weight: 673
3.65/3.73	c Elapsed CPU time: 3.67244 s	Remaining CPU time: 1796.33 s
3.65/3.74	c core #674
3.65/3.74	c Core size: 3	Core Weight: 1	Total Weight: 674
3.65/3.74	c Elapsed CPU time: 3.68044 s	Remaining CPU time: 1796.32 s
3.65/3.75	c core #675
3.65/3.75	c Core size: 3	Core Weight: 1	Total Weight: 675
3.65/3.75	c Elapsed CPU time: 3.68744 s	Remaining CPU time: 1796.31 s
3.65/3.75	c core #676
3.65/3.75	c Core size: 3	Core Weight: 1	Total Weight: 676
3.65/3.75	c Elapsed CPU time: 3.69544 s	Remaining CPU time: 1796.3 s
3.65/3.76	c core #677
3.65/3.76	c Core size: 3	Core Weight: 1	Total Weight: 677
3.65/3.76	c Elapsed CPU time: 3.70344 s	Remaining CPU time: 1796.3 s
3.65/3.77	c core #678
3.65/3.77	c Core size: 3	Core Weight: 1	Total Weight: 678
3.65/3.77	c Elapsed CPU time: 3.71043 s	Remaining CPU time: 1796.29 s
3.65/3.78	c core #679
3.65/3.78	c Core size: 3	Core Weight: 1	Total Weight: 679
3.65/3.78	c Elapsed CPU time: 3.71843 s	Remaining CPU time: 1796.28 s
3.65/3.79	c core #680
3.65/3.79	c Core size: 3	Core Weight: 1	Total Weight: 680
3.65/3.79	c Elapsed CPU time: 3.72643 s	Remaining CPU time: 1796.27 s
3.65/3.79	c core #681
3.65/3.79	c Core size: 3	Core Weight: 1	Total Weight: 681
3.65/3.79	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 1796.27 s
3.75/3.80	c core #682
3.75/3.80	c Core size: 3	Core Weight: 1	Total Weight: 682
3.75/3.80	c Elapsed CPU time: 3.74143 s	Remaining CPU time: 1796.26 s
3.75/3.81	c core #683
3.75/3.81	c Core size: 3	Core Weight: 1	Total Weight: 683
3.75/3.81	c Elapsed CPU time: 3.74943 s	Remaining CPU time: 1796.25 s
3.75/3.82	c core #684
3.75/3.82	c Core size: 3	Core Weight: 1	Total Weight: 684
3.75/3.82	c Elapsed CPU time: 3.75643 s	Remaining CPU time: 1796.24 s
3.75/3.82	c core #685
3.75/3.82	c Core size: 3	Core Weight: 1	Total Weight: 685
3.75/3.82	c Elapsed CPU time: 3.76343 s	Remaining CPU time: 1796.24 s
3.75/3.83	c core #686
3.75/3.83	c Core size: 3	Core Weight: 1	Total Weight: 686
3.75/3.83	c Elapsed CPU time: 3.77143 s	Remaining CPU time: 1796.23 s
3.75/3.84	c core #687
3.75/3.84	c Core size: 3	Core Weight: 1	Total Weight: 687
3.75/3.84	c Elapsed CPU time: 3.77942 s	Remaining CPU time: 1796.22 s
3.75/3.85	c core #688
3.75/3.85	c Core size: 3	Core Weight: 1	Total Weight: 688
3.75/3.85	c Elapsed CPU time: 3.78642 s	Remaining CPU time: 1796.21 s
3.75/3.85	c core #689
3.75/3.85	c Core size: 3	Core Weight: 1	Total Weight: 689
3.75/3.85	c Elapsed CPU time: 3.79442 s	Remaining CPU time: 1796.21 s
3.75/3.86	c core #690
3.75/3.86	c Core size: 3	Core Weight: 1	Total Weight: 690
3.75/3.86	c Elapsed CPU time: 3.80142 s	Remaining CPU time: 1796.2 s
3.75/3.87	c core #691
3.75/3.87	c Core size: 3	Core Weight: 1	Total Weight: 691
3.75/3.87	c Elapsed CPU time: 3.80842 s	Remaining CPU time: 1796.19 s
3.75/3.88	c core #692
3.75/3.88	c Core size: 3	Core Weight: 1	Total Weight: 692
3.75/3.88	c Elapsed CPU time: 3.81642 s	Remaining CPU time: 1796.18 s
3.75/3.89	c core #693
3.75/3.89	c Core size: 3	Core Weight: 1	Total Weight: 693
3.75/3.89	c Elapsed CPU time: 3.82442 s	Remaining CPU time: 1796.18 s
3.75/3.89	c core #694
3.75/3.89	c Core size: 3	Core Weight: 1	Total Weight: 694
3.75/3.89	c Elapsed CPU time: 3.83242 s	Remaining CPU time: 1796.17 s
3.85/3.90	c core #695
3.85/3.90	c Core size: 3	Core Weight: 1	Total Weight: 695
3.85/3.90	c Elapsed CPU time: 3.83942 s	Remaining CPU time: 1796.16 s
3.85/3.91	c core #696
3.85/3.91	c Core size: 3	Core Weight: 1	Total Weight: 696
3.85/3.91	c Elapsed CPU time: 3.84741 s	Remaining CPU time: 1796.15 s
3.85/3.92	c core #697
3.85/3.92	c Core size: 3	Core Weight: 1	Total Weight: 697
3.85/3.92	c Elapsed CPU time: 3.85541 s	Remaining CPU time: 1796.14 s
3.85/3.92	c core #698
3.85/3.92	c Core size: 3	Core Weight: 1	Total Weight: 698
3.85/3.92	c Elapsed CPU time: 3.86341 s	Remaining CPU time: 1796.14 s
3.85/3.93	c core #699
3.85/3.93	c Core size: 3	Core Weight: 1	Total Weight: 699
3.85/3.93	c Elapsed CPU time: 3.87041 s	Remaining CPU time: 1796.13 s
3.85/3.94	c core #700
3.85/3.94	c Core size: 3	Core Weight: 1	Total Weight: 700
3.85/3.94	c Elapsed CPU time: 3.87841 s	Remaining CPU time: 1796.12 s
3.85/3.95	c core #701
3.85/3.95	c Core size: 3	Core Weight: 1	Total Weight: 701
3.85/3.95	c Elapsed CPU time: 3.88641 s	Remaining CPU time: 1796.11 s
3.85/3.96	c core #702
3.85/3.96	c Core size: 3	Core Weight: 1	Total Weight: 702
3.85/3.96	c Elapsed CPU time: 3.89441 s	Remaining CPU time: 1796.11 s
3.85/3.96	c core #703
3.85/3.96	c Core size: 3	Core Weight: 1	Total Weight: 703
3.85/3.96	c Elapsed CPU time: 3.90241 s	Remaining CPU time: 1796.1 s
3.85/3.97	c core #704
3.85/3.97	c Core size: 3	Core Weight: 1	Total Weight: 704
3.85/3.97	c Elapsed CPU time: 3.90941 s	Remaining CPU time: 1796.09 s
3.85/3.98	c core #705
3.85/3.98	c Core size: 3	Core Weight: 1	Total Weight: 705
3.85/3.98	c Elapsed CPU time: 3.9154 s	Remaining CPU time: 1796.08 s
3.85/3.99	c core #706
3.85/3.99	c Core size: 3	Core Weight: 1	Total Weight: 706
3.85/3.99	c Elapsed CPU time: 3.9224 s	Remaining CPU time: 1796.08 s
3.85/3.99	c core #707
3.85/3.99	c Core size: 3	Core Weight: 1	Total Weight: 707
3.85/3.99	c Elapsed CPU time: 3.9304 s	Remaining CPU time: 1796.07 s
3.95/4.00	c core #708
3.95/4.00	c Core size: 3	Core Weight: 1	Total Weight: 708
3.95/4.00	c Elapsed CPU time: 3.9384 s	Remaining CPU time: 1796.06 s
3.95/4.01	c core #709
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 709
3.95/4.01	c Elapsed CPU time: 3.9464 s	Remaining CPU time: 1796.05 s
3.95/4.02	c core #710
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 710
3.95/4.02	c Elapsed CPU time: 3.9544 s	Remaining CPU time: 1796.05 s
3.95/4.03	c core #711
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 711
3.95/4.03	c Elapsed CPU time: 3.9614 s	Remaining CPU time: 1796.04 s
3.95/4.03	c core #712
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 712
3.95/4.03	c Elapsed CPU time: 3.9684 s	Remaining CPU time: 1796.03 s
3.95/4.04	c core #713
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 713
3.95/4.04	c Elapsed CPU time: 3.97539 s	Remaining CPU time: 1796.02 s
3.95/4.05	c core #714
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 714
3.95/4.05	c Elapsed CPU time: 3.98339 s	Remaining CPU time: 1796.02 s
3.95/4.06	c core #715
3.95/4.06	c Core size: 3	Core Weight: 1	Total Weight: 715
3.95/4.06	c Elapsed CPU time: 3.99139 s	Remaining CPU time: 1796.01 s
3.95/4.07	c core #716
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 716
3.95/4.07	c Elapsed CPU time: 3.99939 s	Remaining CPU time: 1796 s
3.95/4.07	c core #717
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 717
3.95/4.07	c Elapsed CPU time: 4.00739 s	Remaining CPU time: 1795.99 s
3.95/4.08	c core #718
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 718
3.95/4.08	c Elapsed CPU time: 4.01539 s	Remaining CPU time: 1795.98 s
3.95/4.09	c core #719
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 719
3.95/4.09	c Elapsed CPU time: 4.02339 s	Remaining CPU time: 1795.98 s
4.04/4.10	c core #720
4.04/4.10	c Core size: 3	Core Weight: 1	Total Weight: 720
4.04/4.10	c Elapsed CPU time: 4.03139 s	Remaining CPU time: 1795.97 s
4.04/4.11	c core #721
4.04/4.11	c Core size: 3	Core Weight: 1	Total Weight: 721
4.04/4.11	c Elapsed CPU time: 4.03939 s	Remaining CPU time: 1795.96 s
4.04/4.11	c core #722
4.04/4.11	c Core size: 3	Core Weight: 1	Total Weight: 722
4.04/4.11	c Elapsed CPU time: 4.04738 s	Remaining CPU time: 1795.95 s
4.04/4.12	c core #723
4.04/4.12	c Core size: 3	Core Weight: 1	Total Weight: 723
4.04/4.12	c Elapsed CPU time: 4.05538 s	Remaining CPU time: 1795.94 s
4.04/4.13	c core #724
4.04/4.13	c Core size: 3	Core Weight: 1	Total Weight: 724
4.04/4.13	c Elapsed CPU time: 4.06338 s	Remaining CPU time: 1795.94 s
4.04/4.14	c core #725
4.04/4.14	c Core size: 3	Core Weight: 1	Total Weight: 725
4.04/4.14	c Elapsed CPU time: 4.07138 s	Remaining CPU time: 1795.93 s
4.04/4.15	c core #726
4.04/4.15	c Core size: 3	Core Weight: 1	Total Weight: 726
4.04/4.15	c Elapsed CPU time: 4.07838 s	Remaining CPU time: 1795.92 s
4.04/4.15	c core #727
4.04/4.15	c Core size: 3	Core Weight: 1	Total Weight: 727
4.04/4.15	c Elapsed CPU time: 4.08538 s	Remaining CPU time: 1795.91 s
4.04/4.16	c core #728
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 728
4.04/4.16	c Elapsed CPU time: 4.09238 s	Remaining CPU time: 1795.91 s
4.04/4.17	c core #729
4.04/4.17	c Core size: 3	Core Weight: 1	Total Weight: 729
4.04/4.17	c Elapsed CPU time: 4.09938 s	Remaining CPU time: 1795.9 s
4.04/4.18	c core #730
4.04/4.18	c Core size: 3	Core Weight: 1	Total Weight: 730
4.04/4.18	c Elapsed CPU time: 4.10738 s	Remaining CPU time: 1795.89 s
4.04/4.19	c core #731
4.04/4.19	c Core size: 3	Core Weight: 1	Total Weight: 731
4.04/4.19	c Elapsed CPU time: 4.11537 s	Remaining CPU time: 1795.88 s
4.04/4.19	c core #732
4.04/4.19	c Core size: 3	Core Weight: 1	Total Weight: 732
4.04/4.19	c Elapsed CPU time: 4.12337 s	Remaining CPU time: 1795.88 s
4.14/4.20	c core #733
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 733
4.14/4.20	c Elapsed CPU time: 4.13137 s	Remaining CPU time: 1795.87 s
4.14/4.21	c core #734
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 734
4.14/4.21	c Elapsed CPU time: 4.13937 s	Remaining CPU time: 1795.86 s
4.14/4.22	c core #735
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 735
4.14/4.22	c Elapsed CPU time: 4.14737 s	Remaining CPU time: 1795.85 s
4.14/4.23	c core #736
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 736
4.14/4.23	c Elapsed CPU time: 4.15537 s	Remaining CPU time: 1795.84 s
4.14/4.23	c core #737
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 737
4.14/4.23	c Elapsed CPU time: 4.16337 s	Remaining CPU time: 1795.84 s
4.14/4.24	c core #738
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 738
4.14/4.24	c Elapsed CPU time: 4.17136 s	Remaining CPU time: 1795.83 s
4.14/4.25	c core #739
4.14/4.25	c Core size: 3	Core Weight: 1	Total Weight: 739
4.14/4.25	c Elapsed CPU time: 4.17936 s	Remaining CPU time: 1795.82 s
4.14/4.26	c core #740
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 740
4.14/4.26	c Elapsed CPU time: 4.18736 s	Remaining CPU time: 1795.81 s
4.14/4.27	c core #741
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 741
4.14/4.27	c Elapsed CPU time: 4.19536 s	Remaining CPU time: 1795.8 s
4.14/4.27	c core #742
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 742
4.14/4.27	c Elapsed CPU time: 4.20336 s	Remaining CPU time: 1795.8 s
4.14/4.28	c core #743
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 743
4.14/4.28	c Elapsed CPU time: 4.21136 s	Remaining CPU time: 1795.79 s
4.14/4.29	c core #744
4.14/4.29	c Core size: 3	Core Weight: 1	Total Weight: 744
4.14/4.29	c Elapsed CPU time: 4.21936 s	Remaining CPU time: 1795.78 s
4.14/4.30	c core #745
4.14/4.30	c Core size: 3	Core Weight: 1	Total Weight: 745
4.14/4.30	c Elapsed CPU time: 4.22736 s	Remaining CPU time: 1795.77 s
4.24/4.31	c core #746
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 746
4.24/4.31	c Elapsed CPU time: 4.23536 s	Remaining CPU time: 1795.76 s
4.24/4.31	c core #747
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 747
4.24/4.31	c Elapsed CPU time: 4.24235 s	Remaining CPU time: 1795.76 s
4.24/4.32	c core #748
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 748
4.24/4.32	c Elapsed CPU time: 4.25135 s	Remaining CPU time: 1795.75 s
4.24/4.33	c core #749
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 749
4.24/4.33	c Elapsed CPU time: 4.25935 s	Remaining CPU time: 1795.74 s
4.24/4.34	c core #750
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 750
4.24/4.34	c Elapsed CPU time: 4.26735 s	Remaining CPU time: 1795.73 s
4.24/4.35	c core #751
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 751
4.24/4.35	c Elapsed CPU time: 4.27535 s	Remaining CPU time: 1795.72 s
4.24/4.36	c core #752
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 752
4.24/4.36	c Elapsed CPU time: 4.28335 s	Remaining CPU time: 1795.72 s
4.24/4.36	c core #753
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 753
4.24/4.36	c Elapsed CPU time: 4.29235 s	Remaining CPU time: 1795.71 s
4.24/4.37	c core #754
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 754
4.24/4.37	c Elapsed CPU time: 4.30035 s	Remaining CPU time: 1795.7 s
4.24/4.38	c core #755
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 755
4.24/4.38	c Elapsed CPU time: 4.30835 s	Remaining CPU time: 1795.69 s
4.24/4.39	c core #756
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 756
4.24/4.39	c Elapsed CPU time: 4.31634 s	Remaining CPU time: 1795.68 s
4.24/4.40	c core #757
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 757
4.24/4.40	c Elapsed CPU time: 4.32434 s	Remaining CPU time: 1795.68 s
4.34/4.40	c core #758
4.34/4.40	c Core size: 3	Core Weight: 1	Total Weight: 758
4.34/4.40	c Elapsed CPU time: 4.33234 s	Remaining CPU time: 1795.67 s
4.34/4.41	c core #759
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 759
4.34/4.41	c Elapsed CPU time: 4.34034 s	Remaining CPU time: 1795.66 s
4.34/4.42	c core #760
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 760
4.34/4.42	c Elapsed CPU time: 4.34834 s	Remaining CPU time: 1795.65 s
4.34/4.43	c core #761
4.34/4.43	c Core size: 3	Core Weight: 1	Total Weight: 761
4.34/4.43	c Elapsed CPU time: 4.35634 s	Remaining CPU time: 1795.64 s
4.34/4.44	c core #762
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 762
4.34/4.44	c Elapsed CPU time: 4.36534 s	Remaining CPU time: 1795.63 s
4.34/4.45	c core #763
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 763
4.34/4.45	c Elapsed CPU time: 4.37333 s	Remaining CPU time: 1795.63 s
4.34/4.45	c core #764
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 764
4.34/4.45	c Elapsed CPU time: 4.38033 s	Remaining CPU time: 1795.62 s
4.34/4.46	c core #765
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 765
4.34/4.46	c Elapsed CPU time: 4.38833 s	Remaining CPU time: 1795.61 s
4.34/4.47	c core #766
4.34/4.47	c Core size: 3	Core Weight: 1	Total Weight: 766
4.34/4.47	c Elapsed CPU time: 4.39633 s	Remaining CPU time: 1795.6 s
4.34/4.48	c core #767
4.34/4.48	c Core size: 3	Core Weight: 1	Total Weight: 767
4.34/4.48	c Elapsed CPU time: 4.40433 s	Remaining CPU time: 1795.6 s
4.34/4.49	c core #768
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 768
4.34/4.49	c Elapsed CPU time: 4.41233 s	Remaining CPU time: 1795.59 s
4.34/4.49	c core #769
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 769
4.34/4.49	c Elapsed CPU time: 4.42033 s	Remaining CPU time: 1795.58 s
4.44/4.50	c core #770
4.44/4.50	c Core size: 3	Core Weight: 1	Total Weight: 770
4.44/4.50	c Elapsed CPU time: 4.42933 s	Remaining CPU time: 1795.57 s
4.44/4.51	c core #771
4.44/4.51	c Core size: 3	Core Weight: 1	Total Weight: 771
4.44/4.51	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 1795.56 s
4.44/4.52	c core #772
4.44/4.52	c Core size: 3	Core Weight: 1	Total Weight: 772
4.44/4.52	c Elapsed CPU time: 4.44532 s	Remaining CPU time: 1795.55 s
4.44/4.53	c core #773
4.44/4.53	c Core size: 3	Core Weight: 1	Total Weight: 773
4.44/4.53	c Elapsed CPU time: 4.45332 s	Remaining CPU time: 1795.55 s
4.44/4.54	c core #774
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 774
4.44/4.54	c Elapsed CPU time: 4.46132 s	Remaining CPU time: 1795.54 s
4.44/4.54	c core #775
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 775
4.44/4.54	c Elapsed CPU time: 4.46932 s	Remaining CPU time: 1795.53 s
4.44/4.55	c core #776
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 776
4.44/4.55	c Elapsed CPU time: 4.47732 s	Remaining CPU time: 1795.52 s
4.44/4.56	c core #777
4.44/4.56	c Core size: 3	Core Weight: 1	Total Weight: 777
4.44/4.56	c Elapsed CPU time: 4.48532 s	Remaining CPU time: 1795.51 s
4.44/4.57	c core #778
4.44/4.57	c Core size: 3	Core Weight: 1	Total Weight: 778
4.44/4.57	c Elapsed CPU time: 4.49232 s	Remaining CPU time: 1795.51 s
4.44/4.58	c core #779
4.44/4.58	c Core size: 3	Core Weight: 1	Total Weight: 779
4.44/4.58	c Elapsed CPU time: 4.50031 s	Remaining CPU time: 1795.5 s
4.44/4.59	c core #780
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 780
4.44/4.59	c Elapsed CPU time: 4.50831 s	Remaining CPU time: 1795.49 s
4.44/4.59	c core #781
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 781
4.44/4.59	c Elapsed CPU time: 4.51631 s	Remaining CPU time: 1795.48 s
4.53/4.60	c core #782
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 782
4.53/4.60	c Elapsed CPU time: 4.52431 s	Remaining CPU time: 1795.48 s
4.53/4.61	c core #783
4.53/4.61	c Core size: 3	Core Weight: 1	Total Weight: 783
4.53/4.61	c Elapsed CPU time: 4.53231 s	Remaining CPU time: 1795.47 s
4.53/4.62	c core #784
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 784
4.53/4.62	c Elapsed CPU time: 4.54031 s	Remaining CPU time: 1795.46 s
4.53/4.63	c core #785
4.53/4.63	c Core size: 3	Core Weight: 1	Total Weight: 785
4.53/4.63	c Elapsed CPU time: 4.54831 s	Remaining CPU time: 1795.45 s
4.53/4.64	c core #786
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 786
4.53/4.64	c Elapsed CPU time: 4.55631 s	Remaining CPU time: 1795.44 s
4.53/4.65	c core #787
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 787
4.53/4.65	c Elapsed CPU time: 4.56531 s	Remaining CPU time: 1795.43 s
4.53/4.65	c core #788
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 788
4.53/4.65	c Elapsed CPU time: 4.5733 s	Remaining CPU time: 1795.43 s
4.53/4.66	c core #789
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 789
4.53/4.66	c Elapsed CPU time: 4.5823 s	Remaining CPU time: 1795.42 s
4.53/4.67	c core #790
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 790
4.53/4.67	c Elapsed CPU time: 4.5903 s	Remaining CPU time: 1795.41 s
4.53/4.68	c core #791
4.53/4.68	c Core size: 3	Core Weight: 1	Total Weight: 791
4.53/4.68	c Elapsed CPU time: 4.5993 s	Remaining CPU time: 1795.4 s
4.53/4.69	c core #792
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 792
4.53/4.69	c Elapsed CPU time: 4.6073 s	Remaining CPU time: 1795.39 s
4.63/4.70	c core #793
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 793
4.63/4.70	c Elapsed CPU time: 4.6163 s	Remaining CPU time: 1795.38 s
4.63/4.70	c core #794
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 794
4.63/4.70	c Elapsed CPU time: 4.6243 s	Remaining CPU time: 1795.38 s
4.63/4.71	c core #795
4.63/4.71	c Core size: 3	Core Weight: 1	Total Weight: 795
4.63/4.71	c Elapsed CPU time: 4.6323 s	Remaining CPU time: 1795.37 s
4.63/4.72	c core #796
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 796
4.63/4.72	c Elapsed CPU time: 4.64129 s	Remaining CPU time: 1795.36 s
4.63/4.73	c core #797
4.63/4.73	c Core size: 3	Core Weight: 1	Total Weight: 797
4.63/4.73	c Elapsed CPU time: 4.64929 s	Remaining CPU time: 1795.35 s
4.63/4.74	c core #798
4.63/4.74	c Core size: 3	Core Weight: 1	Total Weight: 798
4.63/4.74	c Elapsed CPU time: 4.65729 s	Remaining CPU time: 1795.34 s
4.63/4.75	c core #799
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 799
4.63/4.75	c Elapsed CPU time: 4.66529 s	Remaining CPU time: 1795.33 s
4.63/4.75	c core #800
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 800
4.63/4.75	c Elapsed CPU time: 4.67229 s	Remaining CPU time: 1795.33 s
4.63/4.76	c core #801
4.63/4.76	c Core size: 3	Core Weight: 1	Total Weight: 801
4.63/4.76	c Elapsed CPU time: 4.68129 s	Remaining CPU time: 1795.32 s
4.63/4.77	c core #802
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 802
4.63/4.77	c Elapsed CPU time: 4.68929 s	Remaining CPU time: 1795.31 s
4.63/4.78	c core #803
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 803
4.63/4.78	c Elapsed CPU time: 4.69829 s	Remaining CPU time: 1795.3 s
4.63/4.79	c core #804
4.63/4.79	c Core size: 3	Core Weight: 1	Total Weight: 804
4.63/4.79	c Elapsed CPU time: 4.70628 s	Remaining CPU time: 1795.29 s
4.73/4.80	c core #805
4.73/4.80	c Core size: 3	Core Weight: 1	Total Weight: 805
4.73/4.80	c Elapsed CPU time: 4.71428 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #806
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 806
4.73/4.81	c Elapsed CPU time: 4.72328 s	Remaining CPU time: 1795.28 s
4.73/4.81	c core #807
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 807
4.73/4.81	c Elapsed CPU time: 4.73128 s	Remaining CPU time: 1795.27 s
4.73/4.82	c core #808
4.73/4.82	c Core size: 3	Core Weight: 1	Total Weight: 808
4.73/4.82	c Elapsed CPU time: 4.74028 s	Remaining CPU time: 1795.26 s
4.73/4.83	c core #809
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 809
4.73/4.83	c Elapsed CPU time: 4.74828 s	Remaining CPU time: 1795.25 s
4.73/4.84	c core #810
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 810
4.73/4.84	c Elapsed CPU time: 4.75728 s	Remaining CPU time: 1795.24 s
4.73/4.85	c core #811
4.73/4.85	c Core size: 7	Core Weight: 1	Total Weight: 811
4.73/4.85	c Elapsed CPU time: 4.76628 s	Remaining CPU time: 1795.23 s
4.73/4.86	c core #812
4.73/4.86	c Core size: 7	Core Weight: 1	Total Weight: 812
4.73/4.86	c Elapsed CPU time: 4.77427 s	Remaining CPU time: 1795.23 s
4.73/4.87	c core #813
4.73/4.87	c Core size: 7	Core Weight: 1	Total Weight: 813
4.73/4.87	c Elapsed CPU time: 4.78327 s	Remaining CPU time: 1795.22 s
4.73/4.87	c core #814
4.73/4.87	c Core size: 7	Core Weight: 1	Total Weight: 814
4.73/4.87	c Elapsed CPU time: 4.79227 s	Remaining CPU time: 1795.21 s
4.73/4.88	c core #815
4.73/4.88	c Core size: 7	Core Weight: 1	Total Weight: 815
4.73/4.88	c Elapsed CPU time: 4.80127 s	Remaining CPU time: 1795.2 s
4.73/4.89	c core #816
4.73/4.89	c Core size: 7	Core Weight: 1	Total Weight: 816
4.73/4.89	c Elapsed CPU time: 4.80927 s	Remaining CPU time: 1795.19 s
4.83/4.90	c core #817
4.83/4.90	c Core size: 7	Core Weight: 1	Total Weight: 817
4.83/4.90	c Elapsed CPU time: 4.81827 s	Remaining CPU time: 1795.18 s
4.83/4.91	c core #818
4.83/4.91	c Core size: 7	Core Weight: 1	Total Weight: 818
4.83/4.91	c Elapsed CPU time: 4.82727 s	Remaining CPU time: 1795.17 s
4.83/4.92	c core #819
4.83/4.92	c Core size: 7	Core Weight: 1	Total Weight: 819
4.83/4.92	c Elapsed CPU time: 4.83626 s	Remaining CPU time: 1795.16 s
4.83/4.93	c core #820
4.83/4.93	c Core size: 7	Core Weight: 1	Total Weight: 820
4.83/4.93	c Elapsed CPU time: 4.84426 s	Remaining CPU time: 1795.16 s
4.83/4.94	c core #821
4.83/4.94	c Core size: 7	Core Weight: 1	Total Weight: 821
4.83/4.94	c Elapsed CPU time: 4.85226 s	Remaining CPU time: 1795.15 s
4.83/4.94	c core #822
4.83/4.94	c Core size: 7	Core Weight: 1	Total Weight: 822
4.83/4.94	c Elapsed CPU time: 4.86126 s	Remaining CPU time: 1795.14 s
4.83/4.95	c core #823
4.83/4.95	c Core size: 7	Core Weight: 1	Total Weight: 823
4.83/4.95	c Elapsed CPU time: 4.86926 s	Remaining CPU time: 1795.13 s
4.83/4.96	c core #824
4.83/4.96	c Core size: 7	Core Weight: 1	Total Weight: 824
4.83/4.96	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.83/4.97	c core #825
4.83/4.97	c Core size: 7	Core Weight: 1	Total Weight: 825
4.83/4.97	c Elapsed CPU time: 4.88726 s	Remaining CPU time: 1795.11 s
4.83/4.98	c core #826
4.83/4.98	c Core size: 7	Core Weight: 1	Total Weight: 826
4.83/4.98	c Elapsed CPU time: 4.89626 s	Remaining CPU time: 1795.1 s
4.83/4.99	c core #827
4.83/4.99	c Core size: 7	Core Weight: 1	Total Weight: 827
4.83/4.99	c Elapsed CPU time: 4.90525 s	Remaining CPU time: 1795.09 s
4.93/5.00	c core #828
4.93/5.00	c Core size: 7	Core Weight: 1	Total Weight: 828
4.93/5.00	c Elapsed CPU time: 4.91325 s	Remaining CPU time: 1795.09 s
4.93/5.01	c core #829
4.93/5.01	c Core size: 7	Core Weight: 1	Total Weight: 829
4.93/5.01	c Elapsed CPU time: 4.92225 s	Remaining CPU time: 1795.08 s
4.93/5.02	c core #830
4.93/5.02	c Core size: 7	Core Weight: 1	Total Weight: 830
4.93/5.02	c Elapsed CPU time: 4.93125 s	Remaining CPU time: 1795.07 s
4.93/5.02	c core #831
4.93/5.02	c Core size: 7	Core Weight: 1	Total Weight: 831
4.93/5.02	c Elapsed CPU time: 4.94025 s	Remaining CPU time: 1795.06 s
4.93/5.03	c core #832
4.93/5.03	c Core size: 7	Core Weight: 1	Total Weight: 832
4.93/5.03	c Elapsed CPU time: 4.94925 s	Remaining CPU time: 1795.05 s
4.93/5.04	c core #833
4.93/5.04	c Core size: 7	Core Weight: 1	Total Weight: 833
4.93/5.04	c Elapsed CPU time: 4.95825 s	Remaining CPU time: 1795.04 s
4.93/5.05	c core #834
4.93/5.05	c Core size: 7	Core Weight: 1	Total Weight: 834
4.93/5.05	c Elapsed CPU time: 4.96724 s	Remaining CPU time: 1795.03 s
4.93/5.06	c core #835
4.93/5.06	c Core size: 11	Core Weight: 1	Total Weight: 835
4.93/5.06	c Elapsed CPU time: 4.97624 s	Remaining CPU time: 1795.02 s
4.93/5.07	c core #836
4.93/5.07	c Core size: 7	Core Weight: 1	Total Weight: 836
4.93/5.07	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
4.93/5.08	c core #837
4.93/5.08	c Core size: 7	Core Weight: 1	Total Weight: 837
4.93/5.08	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 1795.01 s
4.93/5.09	c core #838
4.93/5.09	c Core size: 7	Core Weight: 1	Total Weight: 838
4.93/5.09	c Elapsed CPU time: 5.00124 s	Remaining CPU time: 1795 s
4.93/5.10	c core #839
4.93/5.10	c Core size: 7	Core Weight: 1	Total Weight: 839
4.93/5.10	c Elapsed CPU time: 5.00824 s	Remaining CPU time: 1794.99 s
5.03/5.10	c core #840
5.03/5.10	c Core size: 7	Core Weight: 1	Total Weight: 840
5.03/5.10	c Elapsed CPU time: 5.01724 s	Remaining CPU time: 1794.98 s
5.03/5.11	c core #841
5.03/5.11	c Core size: 7	Core Weight: 1	Total Weight: 841
5.03/5.11	c Elapsed CPU time: 5.02623 s	Remaining CPU time: 1794.97 s
5.03/5.12	c core #842
5.03/5.12	c Core size: 7	Core Weight: 1	Total Weight: 842
5.03/5.12	c Elapsed CPU time: 5.03523 s	Remaining CPU time: 1794.96 s
5.03/5.13	c core #843
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 843
5.03/5.13	c Elapsed CPU time: 5.04523 s	Remaining CPU time: 1794.95 s
5.03/5.14	c core #844
5.03/5.14	c Core size: 7	Core Weight: 1	Total Weight: 844
5.03/5.14	c Elapsed CPU time: 5.05323 s	Remaining CPU time: 1794.95 s
5.03/5.15	c core #845
5.03/5.15	c Core size: 7	Core Weight: 1	Total Weight: 845
5.03/5.15	c Elapsed CPU time: 5.06223 s	Remaining CPU time: 1794.94 s
5.03/5.16	c core #846
5.03/5.16	c Core size: 7	Core Weight: 1	Total Weight: 846
5.03/5.16	c Elapsed CPU time: 5.07123 s	Remaining CPU time: 1794.93 s
5.03/5.17	c core #847
5.03/5.17	c Core size: 7	Core Weight: 1	Total Weight: 847
5.03/5.17	c Elapsed CPU time: 5.08023 s	Remaining CPU time: 1794.92 s
5.03/5.18	c core #848
5.03/5.18	c Core size: 7	Core Weight: 1	Total Weight: 848
5.03/5.18	c Elapsed CPU time: 5.08923 s	Remaining CPU time: 1794.91 s
5.03/5.19	c core #849
5.03/5.19	c Core size: 7	Core Weight: 1	Total Weight: 849
5.03/5.19	c Elapsed CPU time: 5.09822 s	Remaining CPU time: 1794.9 s
5.13/5.20	c core #850
5.13/5.20	c Core size: 7	Core Weight: 1	Total Weight: 850
5.13/5.20	c Elapsed CPU time: 5.10822 s	Remaining CPU time: 1794.89 s
5.13/5.21	c core #851
5.13/5.21	c Core size: 7	Core Weight: 1	Total Weight: 851
5.13/5.21	c Elapsed CPU time: 5.11722 s	Remaining CPU time: 1794.88 s
5.13/5.22	c core #852
5.13/5.22	c Core size: 7	Core Weight: 1	Total Weight: 852
5.13/5.22	c Elapsed CPU time: 5.12722 s	Remaining CPU time: 1794.87 s
5.13/5.23	c core #853
5.13/5.23	c Core size: 7	Core Weight: 1	Total Weight: 853
5.13/5.23	c Elapsed CPU time: 5.13622 s	Remaining CPU time: 1794.86 s
5.13/5.24	c core #854
5.13/5.24	c Core size: 11	Core Weight: 1	Total Weight: 854
5.13/5.24	c Elapsed CPU time: 5.14622 s	Remaining CPU time: 1794.85 s
5.13/5.25	c core #855
5.13/5.25	c Core size: 7	Core Weight: 1	Total Weight: 855
5.13/5.25	c Elapsed CPU time: 5.15622 s	Remaining CPU time: 1794.84 s
5.13/5.26	c core #856
5.13/5.26	c Core size: 11	Core Weight: 1	Total Weight: 856
5.13/5.26	c Elapsed CPU time: 5.16521 s	Remaining CPU time: 1794.83 s
5.13/5.27	c core #857
5.13/5.27	c Core size: 7	Core Weight: 1	Total Weight: 857
5.13/5.27	c Elapsed CPU time: 5.17421 s	Remaining CPU time: 1794.83 s
5.13/5.27	c core #858
5.13/5.27	c Core size: 7	Core Weight: 1	Total Weight: 858
5.13/5.27	c Elapsed CPU time: 5.18421 s	Remaining CPU time: 1794.82 s
5.13/5.28	c core #859
5.13/5.28	c Core size: 7	Core Weight: 1	Total Weight: 859
5.13/5.28	c Elapsed CPU time: 5.19321 s	Remaining CPU time: 1794.81 s
5.13/5.29	c core #860
5.13/5.29	c Core size: 7	Core Weight: 1	Total Weight: 860
5.13/5.29	c Elapsed CPU time: 5.20221 s	Remaining CPU time: 1794.8 s
5.23/5.30	c core #861
5.23/5.30	c Core size: 11	Core Weight: 1	Total Weight: 861
5.23/5.30	c Elapsed CPU time: 5.21121 s	Remaining CPU time: 1794.79 s
5.23/5.31	c core #862
5.23/5.31	c Core size: 7	Core Weight: 1	Total Weight: 862
5.23/5.31	c Elapsed CPU time: 5.22121 s	Remaining CPU time: 1794.78 s
5.23/5.32	c core #863
5.23/5.32	c Core size: 7	Core Weight: 1	Total Weight: 863
5.23/5.32	c Elapsed CPU time: 5.2302 s	Remaining CPU time: 1794.77 s
5.23/5.33	c core #864
5.23/5.33	c Core size: 7	Core Weight: 1	Total Weight: 864
5.23/5.33	c Elapsed CPU time: 5.2392 s	Remaining CPU time: 1794.76 s
5.23/5.34	c core #865
5.23/5.34	c Core size: 11	Core Weight: 1	Total Weight: 865
5.23/5.34	c Elapsed CPU time: 5.2492 s	Remaining CPU time: 1794.75 s
5.23/5.35	c core #866
5.23/5.35	c Core size: 7	Core Weight: 1	Total Weight: 866
5.23/5.35	c Elapsed CPU time: 5.2592 s	Remaining CPU time: 1794.74 s
5.23/5.36	c core #867
5.23/5.36	c Core size: 7	Core Weight: 1	Total Weight: 867
5.23/5.36	c Elapsed CPU time: 5.2692 s	Remaining CPU time: 1794.73 s
5.23/5.37	c core #868
5.23/5.37	c Core size: 7	Core Weight: 1	Total Weight: 868
5.23/5.37	c Elapsed CPU time: 5.2782 s	Remaining CPU time: 1794.72 s
5.23/5.38	c core #869
5.23/5.38	c Core size: 7	Core Weight: 1	Total Weight: 869
5.23/5.38	c Elapsed CPU time: 5.2872 s	Remaining CPU time: 1794.71 s
5.23/5.39	c core #870
5.23/5.39	c Core size: 7	Core Weight: 1	Total Weight: 870
5.23/5.39	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 1794.7 s
5.33/5.40	c core #871
5.33/5.40	c Core size: 7	Core Weight: 1	Total Weight: 871
5.33/5.40	c Elapsed CPU time: 5.30619 s	Remaining CPU time: 1794.69 s
5.33/5.41	c core #872
5.33/5.41	c Core size: 7	Core Weight: 1	Total Weight: 872
5.33/5.41	c Elapsed CPU time: 5.31619 s	Remaining CPU time: 1794.68 s
5.33/5.42	c core #873
5.33/5.42	c Core size: 7	Core Weight: 1	Total Weight: 873
5.33/5.42	c Elapsed CPU time: 5.32619 s	Remaining CPU time: 1794.67 s
5.33/5.43	c core #874
5.33/5.43	c Core size: 11	Core Weight: 1	Total Weight: 874
5.33/5.43	c Elapsed CPU time: 5.33619 s	Remaining CPU time: 1794.66 s
5.33/5.44	c core #875
5.33/5.44	c Core size: 11	Core Weight: 1	Total Weight: 875
5.33/5.44	c Elapsed CPU time: 5.34619 s	Remaining CPU time: 1794.65 s
5.33/5.45	c core #876
5.33/5.45	c Core size: 7	Core Weight: 1	Total Weight: 876
5.33/5.45	c Elapsed CPU time: 5.35518 s	Remaining CPU time: 1794.64 s
5.33/5.46	c core #877
5.33/5.46	c Core size: 11	Core Weight: 1	Total Weight: 877
5.33/5.46	c Elapsed CPU time: 5.36518 s	Remaining CPU time: 1794.63 s
5.33/5.47	c core #878
5.33/5.47	c Core size: 11	Core Weight: 1	Total Weight: 878
5.33/5.47	c Elapsed CPU time: 5.37418 s	Remaining CPU time: 1794.63 s
5.33/5.48	c core #879
5.33/5.48	c Core size: 7	Core Weight: 1	Total Weight: 879
5.33/5.48	c Elapsed CPU time: 5.38318 s	Remaining CPU time: 1794.62 s
5.33/5.49	c core #880
5.33/5.49	c Core size: 11	Core Weight: 1	Total Weight: 880
5.33/5.49	c Elapsed CPU time: 5.39318 s	Remaining CPU time: 1794.61 s
5.43/5.50	c core #881
5.43/5.50	c Core size: 7	Core Weight: 1	Total Weight: 881
5.43/5.50	c Elapsed CPU time: 5.40218 s	Remaining CPU time: 1794.6 s
5.43/5.51	c core #882
5.43/5.51	c Core size: 11	Core Weight: 1	Total Weight: 882
5.43/5.51	c Elapsed CPU time: 5.41118 s	Remaining CPU time: 1794.59 s
5.43/5.52	c core #883
5.43/5.52	c Core size: 7	Core Weight: 1	Total Weight: 883
5.43/5.52	c Elapsed CPU time: 5.42117 s	Remaining CPU time: 1794.58 s
5.43/5.53	c core #884
5.43/5.53	c Core size: 7	Core Weight: 1	Total Weight: 884
5.43/5.53	c Elapsed CPU time: 5.43117 s	Remaining CPU time: 1794.57 s
5.43/5.54	c core #885
5.43/5.54	c Core size: 11	Core Weight: 1	Total Weight: 885
5.43/5.54	c Elapsed CPU time: 5.44117 s	Remaining CPU time: 1794.56 s
5.43/5.55	c core #886
5.43/5.55	c Core size: 7	Core Weight: 1	Total Weight: 886
5.43/5.55	c Elapsed CPU time: 5.45117 s	Remaining CPU time: 1794.55 s
5.43/5.56	c core #887
5.43/5.56	c Core size: 11	Core Weight: 1	Total Weight: 887
5.43/5.56	c Elapsed CPU time: 5.46117 s	Remaining CPU time: 1794.54 s
5.43/5.57	c core #888
5.43/5.57	c Core size: 7	Core Weight: 1	Total Weight: 888
5.43/5.57	c Elapsed CPU time: 5.47217 s	Remaining CPU time: 1794.53 s
5.43/5.59	c core #889
5.43/5.59	c Core size: 11	Core Weight: 1	Total Weight: 889
5.43/5.59	c Elapsed CPU time: 5.48217 s	Remaining CPU time: 1794.52 s
5.43/5.60	c core #890
5.43/5.60	c Core size: 7	Core Weight: 1	Total Weight: 890
5.43/5.60	c Elapsed CPU time: 5.49216 s	Remaining CPU time: 1794.51 s
5.52/5.61	c core #891
5.52/5.61	c Core size: 15	Core Weight: 1	Total Weight: 891
5.52/5.61	c Elapsed CPU time: 5.50216 s	Remaining CPU time: 1794.5 s
5.52/5.62	c core #892
5.52/5.62	c Core size: 11	Core Weight: 1	Total Weight: 892
5.52/5.62	c Elapsed CPU time: 5.51216 s	Remaining CPU time: 1794.49 s
5.52/5.63	c core #893
5.52/5.63	c Core size: 7	Core Weight: 1	Total Weight: 893
5.52/5.63	c Elapsed CPU time: 5.52216 s	Remaining CPU time: 1794.48 s
5.52/5.64	c core #894
5.52/5.64	c Core size: 11	Core Weight: 1	Total Weight: 894
5.52/5.64	c Elapsed CPU time: 5.53216 s	Remaining CPU time: 1794.47 s
5.52/5.65	c core #895
5.52/5.65	c Core size: 7	Core Weight: 1	Total Weight: 895
5.52/5.65	c Elapsed CPU time: 5.54116 s	Remaining CPU time: 1794.46 s
5.52/5.66	c core #896
5.52/5.66	c Core size: 7	Core Weight: 1	Total Weight: 896
5.52/5.66	c Elapsed CPU time: 5.55116 s	Remaining CPU time: 1794.45 s
5.52/5.67	c core #897
5.52/5.67	c Core size: 11	Core Weight: 1	Total Weight: 897
5.52/5.67	c Elapsed CPU time: 5.56215 s	Remaining CPU time: 1794.44 s
5.52/5.68	c core #898
5.52/5.68	c Core size: 11	Core Weight: 1	Total Weight: 898
5.52/5.68	c Elapsed CPU time: 5.57215 s	Remaining CPU time: 1794.43 s
5.52/5.69	c core #899
5.52/5.69	c Core size: 7	Core Weight: 1	Total Weight: 899
5.52/5.69	c Elapsed CPU time: 5.58315 s	Remaining CPU time: 1794.42 s
5.62/5.70	c core #900
5.62/5.70	c Core size: 27	Core Weight: 1	Total Weight: 900
5.62/5.70	c Elapsed CPU time: 5.59415 s	Remaining CPU time: 1794.41 s
5.62/5.71	c core #901
5.62/5.71	c Core size: 7	Core Weight: 1	Total Weight: 901
5.62/5.71	c Elapsed CPU time: 5.60415 s	Remaining CPU time: 1794.4 s
5.62/5.72	c core #902
5.62/5.72	c Core size: 31	Core Weight: 1	Total Weight: 902
5.62/5.72	c Elapsed CPU time: 5.61415 s	Remaining CPU time: 1794.39 s
5.62/5.73	c core #903
5.62/5.73	c Core size: 11	Core Weight: 1	Total Weight: 903
5.62/5.73	c Elapsed CPU time: 5.62415 s	Remaining CPU time: 1794.38 s
5.62/5.74	c core #904
5.62/5.74	c Core size: 7	Core Weight: 1	Total Weight: 904
5.62/5.74	c Elapsed CPU time: 5.63414 s	Remaining CPU time: 1794.37 s
5.62/5.75	c core #905
5.62/5.75	c Core size: 27	Core Weight: 1	Total Weight: 905
5.62/5.75	c Elapsed CPU time: 5.64514 s	Remaining CPU time: 1794.35 s
5.62/5.76	c core #906
5.62/5.76	c Core size: 15	Core Weight: 1	Total Weight: 906
5.62/5.76	c Elapsed CPU time: 5.65614 s	Remaining CPU time: 1794.34 s
5.62/5.77	c core #907
5.62/5.77	c Core size: 11	Core Weight: 1	Total Weight: 907
5.62/5.77	c Elapsed CPU time: 5.66614 s	Remaining CPU time: 1794.33 s
5.62/5.78	c core #908
5.62/5.78	c Core size: 19	Core Weight: 1	Total Weight: 908
5.62/5.78	c Elapsed CPU time: 5.67714 s	Remaining CPU time: 1794.32 s
5.62/5.80	c core #909
5.62/5.80	c Core size: 11	Core Weight: 1	Total Weight: 909
5.62/5.80	c Elapsed CPU time: 5.68813 s	Remaining CPU time: 1794.31 s
5.71/5.81	c core #910
5.71/5.81	c Core size: 15	Core Weight: 1	Total Weight: 910
5.71/5.81	c Elapsed CPU time: 5.69913 s	Remaining CPU time: 1794.3 s
5.71/5.82	c core #911
5.71/5.82	c Core size: 11	Core Weight: 1	Total Weight: 911
5.71/5.82	c Elapsed CPU time: 5.71013 s	Remaining CPU time: 1794.29 s
5.71/5.83	c core #912
5.71/5.83	c Core size: 11	Core Weight: 1	Total Weight: 912
5.71/5.83	c Elapsed CPU time: 5.72113 s	Remaining CPU time: 1794.28 s
5.71/5.84	c core #913
5.71/5.84	c Core size: 11	Core Weight: 1	Total Weight: 913
5.71/5.84	c Elapsed CPU time: 5.73113 s	Remaining CPU time: 1794.27 s
5.71/5.85	c core #914
5.71/5.85	c Core size: 11	Core Weight: 1	Total Weight: 914
5.71/5.85	c Elapsed CPU time: 5.74113 s	Remaining CPU time: 1794.26 s
5.71/5.86	c core #915
5.71/5.86	c Core size: 7	Core Weight: 1	Total Weight: 915
5.71/5.86	c Elapsed CPU time: 5.75213 s	Remaining CPU time: 1794.25 s
5.71/5.87	c core #916
5.71/5.87	c Core size: 11	Core Weight: 1	Total Weight: 916
5.71/5.87	c Elapsed CPU time: 5.76312 s	Remaining CPU time: 1794.24 s
5.71/5.88	c core #917
5.71/5.88	c Core size: 19	Core Weight: 1	Total Weight: 917
5.71/5.88	c Elapsed CPU time: 5.77412 s	Remaining CPU time: 1794.23 s
5.71/5.89	c core #918
5.71/5.89	c Core size: 11	Core Weight: 1	Total Weight: 918
5.71/5.89	c Elapsed CPU time: 5.78512 s	Remaining CPU time: 1794.21 s
5.81/5.90	c core #919
5.81/5.90	c Core size: 11	Core Weight: 1	Total Weight: 919
5.81/5.90	c Elapsed CPU time: 5.79512 s	Remaining CPU time: 1794.2 s
5.81/5.92	c core #920
5.81/5.92	c Core size: 31	Core Weight: 1	Total Weight: 920
5.81/5.92	c Elapsed CPU time: 5.80512 s	Remaining CPU time: 1794.19 s
5.81/5.93	c core #921
5.81/5.93	c Core size: 31	Core Weight: 1	Total Weight: 921
5.81/5.93	c Elapsed CPU time: 5.81512 s	Remaining CPU time: 1794.18 s
5.81/5.94	c core #922
5.81/5.94	c Core size: 19	Core Weight: 1	Total Weight: 922
5.81/5.94	c Elapsed CPU time: 5.82611 s	Remaining CPU time: 1794.17 s
5.81/5.95	c core #923
5.81/5.95	c Core size: 31	Core Weight: 1	Total Weight: 923
5.81/5.95	c Elapsed CPU time: 5.83811 s	Remaining CPU time: 1794.16 s
5.81/5.96	c core #924
5.81/5.96	c Core size: 15	Core Weight: 1	Total Weight: 924
5.81/5.96	c Elapsed CPU time: 5.84911 s	Remaining CPU time: 1794.15 s
5.81/5.97	c core #925
5.81/5.97	c Core size: 11	Core Weight: 1	Total Weight: 925
5.81/5.97	c Elapsed CPU time: 5.86011 s	Remaining CPU time: 1794.14 s
5.81/5.98	c core #926
5.81/5.98	c Core size: 11	Core Weight: 1	Total Weight: 926
5.81/5.98	c Elapsed CPU time: 5.87111 s	Remaining CPU time: 1794.13 s
5.81/5.99	c core #927
5.81/5.99	c Core size: 7	Core Weight: 1	Total Weight: 927
5.81/5.99	c Elapsed CPU time: 5.88211 s	Remaining CPU time: 1794.12 s
5.91/6.00	c core #928
5.91/6.00	c Core size: 15	Core Weight: 1	Total Weight: 928
5.91/6.00	c Elapsed CPU time: 5.8931 s	Remaining CPU time: 1794.11 s
5.91/6.02	c core #929
5.91/6.02	c Core size: 23	Core Weight: 1	Total Weight: 929
5.91/6.02	c Elapsed CPU time: 5.9051 s	Remaining CPU time: 1794.09 s
5.91/6.03	c core #930
5.91/6.03	c Core size: 6	Core Weight: 1	Total Weight: 930
5.91/6.03	c Elapsed CPU time: 5.9161 s	Remaining CPU time: 1794.08 s
5.91/6.04	c core #931
5.91/6.04	c Core size: 19	Core Weight: 1	Total Weight: 931
5.91/6.04	c Elapsed CPU time: 5.9271 s	Remaining CPU time: 1794.07 s
5.91/6.05	c core #932
5.91/6.05	c Core size: 23	Core Weight: 1	Total Weight: 932
5.91/6.05	c Elapsed CPU time: 5.9371 s	Remaining CPU time: 1794.06 s
5.91/6.06	c core #933
5.91/6.06	c Core size: 27	Core Weight: 1	Total Weight: 933
5.91/6.06	c Elapsed CPU time: 5.9481 s	Remaining CPU time: 1794.05 s
5.91/6.07	c core #934
5.91/6.07	c Core size: 11	Core Weight: 1	Total Weight: 934
5.91/6.07	c Elapsed CPU time: 5.95909 s	Remaining CPU time: 1794.04 s
5.91/6.08	c core #935
5.91/6.08	c Core size: 19	Core Weight: 1	Total Weight: 935
5.91/6.08	c Elapsed CPU time: 5.97009 s	Remaining CPU time: 1794.03 s
5.91/6.09	c core #936
5.91/6.09	c Core size: 15	Core Weight: 1	Total Weight: 936
5.91/6.09	c Elapsed CPU time: 5.98109 s	Remaining CPU time: 1794.02 s
6.02/6.11	c core #937
6.02/6.11	c Core size: 11	Core Weight: 1	Total Weight: 937
6.02/6.11	c Elapsed CPU time: 5.99209 s	Remaining CPU time: 1794.01 s
6.02/6.12	c core #938
6.02/6.12	c Core size: 31	Core Weight: 1	Total Weight: 938
6.02/6.12	c Elapsed CPU time: 6.00309 s	Remaining CPU time: 1794 s
6.02/6.13	c core #939
6.02/6.13	c Core size: 15	Core Weight: 1	Total Weight: 939
6.02/6.13	c Elapsed CPU time: 6.01408 s	Remaining CPU time: 1793.99 s
6.02/6.14	c core #940
6.02/6.14	c Core size: 15	Core Weight: 1	Total Weight: 940
6.02/6.14	c Elapsed CPU time: 6.02508 s	Remaining CPU time: 1793.97 s
6.02/6.15	c core #941
6.02/6.15	c Core size: 23	Core Weight: 1	Total Weight: 941
6.02/6.15	c Elapsed CPU time: 6.03608 s	Remaining CPU time: 1793.96 s
6.02/6.16	c core #942
6.02/6.16	c Core size: 23	Core Weight: 1	Total Weight: 942
6.02/6.16	c Elapsed CPU time: 6.04708 s	Remaining CPU time: 1793.95 s
6.02/6.17	c core #943
6.02/6.17	c Core size: 11	Core Weight: 1	Total Weight: 943
6.02/6.17	c Elapsed CPU time: 6.05808 s	Remaining CPU time: 1793.94 s
6.02/6.19	c core #944
6.02/6.19	c Core size: 7	Core Weight: 1	Total Weight: 944
6.02/6.19	c Elapsed CPU time: 6.07008 s	Remaining CPU time: 1793.93 s
6.12/6.20	c core #945
6.12/6.20	c Core size: 22	Core Weight: 1	Total Weight: 945
6.12/6.20	c Elapsed CPU time: 6.08108 s	Remaining CPU time: 1793.92 s
6.12/6.21	c core #946
6.12/6.21	c Core size: 19	Core Weight: 1	Total Weight: 946
6.12/6.21	c Elapsed CPU time: 6.09207 s	Remaining CPU time: 1793.91 s
6.12/6.22	c core #947
6.12/6.22	c Core size: 7	Core Weight: 1	Total Weight: 947
6.12/6.22	c Elapsed CPU time: 6.10307 s	Remaining CPU time: 1793.9 s
6.12/6.23	c core #948
6.12/6.23	c Core size: 47	Core Weight: 1	Total Weight: 948
6.12/6.23	c Elapsed CPU time: 6.11407 s	Remaining CPU time: 1793.89 s
6.12/6.24	c core #949
6.12/6.24	c Core size: 15	Core Weight: 1	Total Weight: 949
6.12/6.24	c Elapsed CPU time: 6.12507 s	Remaining CPU time: 1793.87 s
6.12/6.25	c core #950
6.12/6.25	c Core size: 15	Core Weight: 1	Total Weight: 950
6.12/6.25	c Elapsed CPU time: 6.13607 s	Remaining CPU time: 1793.86 s
6.12/6.26	c core #951
6.12/6.26	c Core size: 22	Core Weight: 1	Total Weight: 951
6.12/6.26	c Elapsed CPU time: 6.14706 s	Remaining CPU time: 1793.85 s
6.12/6.28	c core #952
6.12/6.28	c Core size: 51	Core Weight: 1	Total Weight: 952
6.12/6.28	c Elapsed CPU time: 6.15806 s	Remaining CPU time: 1793.84 s
6.12/6.29	c core #953
6.12/6.29	c Core size: 11	Core Weight: 1	Total Weight: 953
6.12/6.29	c Elapsed CPU time: 6.16806 s	Remaining CPU time: 1793.83 s
6.21/6.30	c core #954
6.21/6.30	c Core size: 39	Core Weight: 1	Total Weight: 954
6.21/6.30	c Elapsed CPU time: 6.17906 s	Remaining CPU time: 1793.82 s
6.21/6.31	c core #955
6.21/6.31	c Core size: 23	Core Weight: 1	Total Weight: 955
6.21/6.31	c Elapsed CPU time: 6.19006 s	Remaining CPU time: 1793.81 s
6.21/6.32	c core #956
6.21/6.32	c Core size: 23	Core Weight: 1	Total Weight: 956
6.21/6.32	c Elapsed CPU time: 6.20106 s	Remaining CPU time: 1793.8 s
6.21/6.33	c core #957
6.21/6.33	c Core size: 27	Core Weight: 1	Total Weight: 957
6.21/6.33	c Elapsed CPU time: 6.21206 s	Remaining CPU time: 1793.79 s
6.21/6.34	c core #958
6.21/6.34	c Core size: 75	Core Weight: 1	Total Weight: 958
6.21/6.34	c Elapsed CPU time: 6.22305 s	Remaining CPU time: 1793.78 s
6.21/6.36	c core #959
6.21/6.36	c Core size: 59	Core Weight: 1	Total Weight: 959
6.21/6.36	c Elapsed CPU time: 6.23405 s	Remaining CPU time: 1793.77 s
6.21/6.37	c core #960
6.21/6.37	c Core size: 39	Core Weight: 1	Total Weight: 960
6.21/6.37	c Elapsed CPU time: 6.24505 s	Remaining CPU time: 1793.75 s
6.21/6.38	c core #961
6.21/6.38	c Core size: 54	Core Weight: 1	Total Weight: 961
6.21/6.38	c Elapsed CPU time: 6.25705 s	Remaining CPU time: 1793.74 s
6.21/6.39	c core #962
6.21/6.39	c Core size: 46	Core Weight: 1	Total Weight: 962
6.21/6.39	c Elapsed CPU time: 6.26905 s	Remaining CPU time: 1793.73 s
6.31/6.40	c core #963
6.31/6.40	c Core size: 35	Core Weight: 1	Total Weight: 963
6.31/6.40	c Elapsed CPU time: 6.28005 s	Remaining CPU time: 1793.72 s
6.31/6.42	c core #964
6.31/6.42	c Core size: 156	Core Weight: 1	Total Weight: 964
6.31/6.42	c Elapsed CPU time: 6.29204 s	Remaining CPU time: 1793.71 s
6.31/6.43	c core #965
6.31/6.43	c Core size: 86	Core Weight: 1	Total Weight: 965
6.31/6.43	c Elapsed CPU time: 6.30404 s	Remaining CPU time: 1793.7 s
6.31/6.44	c core #966
6.31/6.44	c Core size: 39	Core Weight: 1	Total Weight: 966
6.31/6.44	c Elapsed CPU time: 6.31604 s	Remaining CPU time: 1793.68 s
6.31/6.45	c ============================[ Search Statistics ]==============================
6.31/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.45	c ===============================================================================
6.31/6.45	c |         0 |    4692     6923    15522 |     5000        0    nan |  0.000 % |
6.31/6.45	c ===============================================================================
6.31/6.45	c core #967
6.31/6.45	c Core size: 57	Core Weight: 1	Total Weight: 967
6.31/6.45	c Elapsed CPU time: 6.32904 s	Remaining CPU time: 1793.67 s
6.31/6.46	c ============================[ Search Statistics ]==============================
6.31/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.46	c ===============================================================================
6.31/6.46	c |         0 |    4722     6924    15583 |     5000        0    nan |  0.000 % |
6.31/6.47	c ===============================================================================
6.31/6.47	c core #968
6.31/6.47	c Core size: 38	Core Weight: 1	Total Weight: 968
6.31/6.47	c Elapsed CPU time: 6.34204 s	Remaining CPU time: 1793.66 s
6.31/6.48	c ============================[ Search Statistics ]==============================
6.31/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.48	c ===============================================================================
6.31/6.48	c |         0 |    4764     6925    15626 |     5000        0    nan |  0.000 % |
6.31/6.48	c ===============================================================================
6.31/6.48	c core #969
6.31/6.48	c Core size: 46	Core Weight: 1	Total Weight: 969
6.31/6.48	c Elapsed CPU time: 6.35403 s	Remaining CPU time: 1793.65 s
6.31/6.49	c ============================[ Search Statistics ]==============================
6.31/6.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.49	c ===============================================================================
6.31/6.49	c |         0 |    4794     6926    15689 |     5000        0    nan |  0.000 % |
6.31/6.49	c ===============================================================================
6.31/6.49	c core #970
6.31/6.49	c Core size: 89	Core Weight: 1	Total Weight: 970
6.31/6.49	c Elapsed CPU time: 6.36703 s	Remaining CPU time: 1793.63 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 |    4838     6927    15777 |     5000        0    nan |  0.000 % |
6.41/6.51	c ===============================================================================
6.41/6.51	c core #971
6.41/6.51	c Core size: 42	Core Weight: 1	Total Weight: 971
6.41/6.51	c Elapsed CPU time: 6.38003 s	Remaining CPU time: 1793.62 s
6.41/6.52	c ============================[ Search Statistics ]==============================
6.41/6.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.52	c ===============================================================================
6.41/6.52	c |         0 |    4875     6928    15826 |     5000        0    nan |  0.000 % |
6.41/6.52	c ===============================================================================
6.41/6.52	c core #972
6.41/6.52	c Core size: 77	Core Weight: 1	Total Weight: 972
6.41/6.52	c Elapsed CPU time: 6.39403 s	Remaining CPU time: 1793.61 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 |    4923     6929    15911 |     5000        0    nan |  0.000 % |
6.41/6.54	c ===============================================================================
6.41/6.54	c core #973
6.41/6.54	c Core size: 236	Core Weight: 1	Total Weight: 973
6.41/6.54	c Elapsed CPU time: 6.41103 s	Remaining CPU time: 1793.59 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 |    5041     6930    16153 |     5000        0    nan |  0.000 % |
6.41/6.56	c ===============================================================================
6.41/6.56	c core #974
6.41/6.56	c Core size: 319	Core Weight: 1	Total Weight: 974
6.41/6.56	c Elapsed CPU time: 6.43002 s	Remaining CPU time: 1793.57 s
6.41/6.57	c ============================[ Search Statistics ]==============================
6.41/6.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.57	c ===============================================================================
6.41/6.57	c |         0 |    5205     6931    16475 |     5000        0    nan |  0.000 % |
6.41/6.58	c ===============================================================================
6.41/6.58	c core #975
6.41/6.58	c Core size: 179	Core Weight: 1	Total Weight: 975
6.41/6.58	c Elapsed CPU time: 6.45002 s	Remaining CPU time: 1793.55 s
6.41/6.59	c ============================[ Search Statistics ]==============================
6.41/6.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.59	c ===============================================================================
6.41/6.59	c |         0 |    5295     6932    16654 |     5000        0    nan |  0.000 % |
6.52/6.60	c |       100 |    5272     6932    16654 |     5500       98      4 |  1.905 % |
6.52/6.61	c ===============================================================================
6.52/6.61	c core #976
6.52/6.61	c Core size: 400	Core Weight: 1	Total Weight: 976
6.52/6.61	c Elapsed CPU time: 6.48301 s	Remaining CPU time: 1793.52 s
6.52/6.63	c ============================[ Search Statistics ]==============================
6.52/6.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.52/6.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.52/6.63	c ===============================================================================
6.52/6.63	c |         0 |    5487     6933    17039 |     5000        0    nan |  0.000 % |
6.52/6.64	c |       101 |    5483     6933    17039 |     5500      101     14 |  1.461 % |
6.52/6.65	c |       251 |    5437     6933    17039 |     6050      246     11 |  1.930 % |
6.52/6.66	c ===============================================================================
6.52/6.66	c core #977
6.52/6.66	c Core size: 107	Core Weight: 1	Total Weight: 977
6.52/6.66	c Elapsed CPU time: 6.52501 s	Remaining CPU time: 1793.47 s
6.52/6.67	c ============================[ Search Statistics ]==============================
6.52/6.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.52/6.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.52/6.67	c ===============================================================================
6.52/6.67	c |         0 |    5542     6934    17152 |     5000        0    nan |  0.000 % |
6.52/6.69	c |       100 |    5535     6934    17152 |     5500      100      5 |  1.358 % |
6.52/6.70	c |       250 |    5520     6934    17152 |     6050      245      8 |  1.662 % |
6.60/6.71	c |       475 |    5490     6934    17152 |     6655      466      8 |  1.912 % |
6.60/6.72	c ===============================================================================
6.60/6.72	c core #978
6.60/6.72	c Core size: 454	Core Weight: 1	Total Weight: 978
6.60/6.72	c Elapsed CPU time: 6.582 s	Remaining CPU time: 1793.42 s
6.60/6.74	c ============================[ Search Statistics ]==============================
6.60/6.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.74	c ===============================================================================
6.60/6.74	c |         0 |    5761     6935    17586 |     5000        0    nan |  0.000 % |
6.60/6.75	c |       100 |    5761     6935    17586 |     5500      100      8 |  0.809 % |
6.60/6.75	c ===============================================================================
6.60/6.75	c core #979
6.60/6.75	c Core size: 69	Core Weight: 1	Total Weight: 979
6.60/6.75	c Elapsed CPU time: 6.61099 s	Remaining CPU time: 1793.39 s
6.60/6.76	c ============================[ Search Statistics ]==============================
6.60/6.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.60/6.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.60/6.76	c ===============================================================================
6.60/6.76	c |         0 |    5798     6936    17661 |     5000        0    nan |  0.000 % |
6.60/6.78	c |       100 |    5798     6936    17661 |     5500      100      5 |  0.753 % |
6.60/6.79	c |       250 |    5798     6936    17661 |     6050      250      6 |  0.753 % |
6.71/6.81	c |       475 |    5798     6936    17661 |     6655      475      6 |  0.753 % |
6.71/6.84	c |       812 |    5794     6936    17661 |     7320      809      9 |  0.822 % |
6.71/6.88	c |      1319 |    5794     6936    17661 |     8052     1316     12 |  0.822 % |
6.80/6.96	c |      2079 |    5793     6936    17661 |     8857     2005     14 |  0.839 % |
6.80/6.96	c ===============================================================================
6.80/6.98	c core #980
6.80/6.98	c Core size: 746	Core Weight: 1	Total Weight: 980
6.80/6.98	c Elapsed CPU time: 6.82796 s	Remaining CPU time: 1793.17 s
6.80/6.99	c ============================[ Search Statistics ]==============================
6.80/6.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.80/6.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.80/6.99	c ===============================================================================
6.80/6.99	c |         0 |    6141     6937    18354 |     5000        0    nan |  0.000 % |
6.90/7.01	c |       100 |    6141     6937    18354 |     5500      100      8 |  0.679 % |
6.90/7.03	c |       250 |    6141     6937    18354 |     6050      250      6 |  0.679 % |
6.90/7.05	c |       475 |    6140     6937    18354 |     6655      473      8 |  0.744 % |
6.90/7.09	c |       812 |    6137     6937    18354 |     7320      809     10 |  0.744 % |
7.00/7.15	c |      1319 |    6137     6937    18354 |     8052     1316     12 |  0.744 % |
7.10/7.23	c |      2079 |    6129     6937    18354 |     8857     2074     13 |  0.873 % |
7.21/7.37	c ===============================================================================
7.21/7.40	c core #981
7.21/7.40	c Core size: 938	Core Weight: 1	Total Weight: 981
7.21/7.40	c Elapsed CPU time: 7.2339 s	Remaining CPU time: 1792.77 s
7.31/7.41	c ============================[ Search Statistics ]==============================
7.31/7.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.31/7.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.31/7.41	c ===============================================================================
7.31/7.41	c |         0 |    6582     6938    19217 |     5000        0    nan |  0.000 % |
7.31/7.43	c |       100 |    6581     6938    19217 |     5500      100     16 |  0.378 % |
7.31/7.44	c |       250 |    6577     6938    19217 |     6050      248     14 |  0.530 % |
7.31/7.44	c ===============================================================================
7.31/7.45	c core #982
7.31/7.45	c Core size: 251	Core Weight: 1	Total Weight: 982
7.31/7.45	c Elapsed CPU time: 7.27989 s	Remaining CPU time: 1792.72 s
7.31/7.46	c ============================[ Search Statistics ]==============================
7.31/7.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.31/7.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.31/7.46	c ===============================================================================
7.31/7.46	c |         0 |    6702     6939    19457 |     5000        0    nan |  0.000 % |
7.31/7.47	c |       101 |    6701     6939    19457 |     5500      101     13 |  0.416 % |
7.31/7.49	c |       253 |    6698     6939    19457 |     6050      252     14 |  0.416 % |
7.40/7.52	c |       482 |    6698     6939    19457 |     6655      481     13 |  0.416 % |
7.40/7.55	c |       819 |    6698     6939    19457 |     7320      818     15 |  0.416 % |
7.40/7.59	c |      1325 |    6698     6939    19457 |     8052     1324     19 |  0.416 % |
7.51/7.68	c |      2084 |    6698     6939    19457 |     8857     2083     19 |  0.416 % |
7.71/7.82	c |      3223 |    6698     6939    19457 |     9743     3222     18 |  0.416 % |
7.90/8.07	c |      4933 |    6698     6939    19457 |    10717     4932     25 |  0.416 % |
8.30/8.46	c |      7497 |    6673     6939    19457 |    11789     5709     24 |  0.788 % |
8.70/8.88	c ===============================================================================
8.80/8.96	c core #983
8.80/8.96	c Core size: 698	Core Weight: 1	Total Weight: 983
8.80/8.96	c Elapsed CPU time: 8.74567 s	Remaining CPU time: 1791.25 s
8.80/8.98	c ============================[ Search Statistics ]==============================
8.80/8.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.80/8.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.80/8.98	c ===============================================================================
8.80/8.98	c |         0 |    7006     6940    20065 |     5000        0    nan |  0.000 % |
8.90/9.00	c |       104 |    7006     6940    20065 |     5500      104     20 |  0.341 % |
8.90/9.02	c |       254 |    7006     6940    20065 |     6050      254     24 |  0.341 % |
8.90/9.05	c |       479 |    7006     6940    20065 |     6655      479     18 |  0.341 % |
8.90/9.08	c |       816 |    7006     6940    20065 |     7320      816     22 |  0.341 % |
9.00/9.14	c |      1322 |    7006     6940    20065 |     8052     1322     27 |  0.341 % |
9.10/9.26	c |      2081 |    7006     6940    20065 |     8857     2081     32 |  0.341 % |
9.30/9.41	c |      3220 |    7006     6940    20065 |     9743     3220     47 |  0.341 % |
9.60/9.76	c |      4932 |    7006     6940    20065 |    10717     4932     52 |  0.341 % |
10.10/10.21	c |      7494 |    7006     6940    20065 |    11789     7494     54 |  0.341 % |
10.91/11.09	c |     11340 |    7006     6940    20065 |    12968    11340     64 |  0.341 % |
12.30/12.48	c |     17108 |    7006     6940    20065 |    14265    10526     70 |  0.341 % |
15.10/15.27	c |     25758 |    7006     6940    20065 |    15692    11864     84 |  0.341 % |
19.80/19.91	c |     38735 |    7003     6940    20065 |    17261     8830     86 |  0.398 % |
26.21/26.33	c ===============================================================================
26.70/26.80	c core #984
26.70/26.80	c Core size: 1045	Core Weight: 1	Total Weight: 984
26.70/26.80	c Elapsed CPU time: 26.364 s	Remaining CPU time: 1773.64 s
26.70/26.87	c ============================[ Search Statistics ]==============================
26.70/26.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.70/26.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
26.70/26.87	c ===============================================================================
26.70/26.87	c |         0 |    7448     6941    20949 |     5000        0    nan |  0.000 % |
26.70/26.89	c |       100 |    7448     6941    20949 |     5500      100      9 |  0.321 % |
26.80/26.91	c |       250 |    7448     6941    20949 |     6050      250     13 |  0.321 % |
26.80/26.93	c |       476 |    7448     6941    20949 |     6655      476     12 |  0.321 % |
26.80/26.97	c |       813 |    7448     6941    20949 |     7320      813     15 |  0.321 % |
26.89/27.04	c |      1319 |    7448     6941    20949 |     8052     1319     15 |  0.321 % |
27.00/27.12	c |      2078 |    7448     6941    20949 |     8857     2078     14 |  0.321 % |
27.20/27.30	c |      3217 |    7448     6941    20949 |     9743     3217     18 |  0.321 % |
27.49/27.61	c |      4926 |    7448     6941    20949 |    10717     4926     23 |  0.321 % |
27.90/28.07	c |      7489 |    7448     6941    20949 |    11789     7489     28 |  0.321 % |
28.79/28.94	c |     11333 |    7447     6941    20949 |    12968    11330     35 |  0.335 % |
30.19/30.38	c |     17099 |    7444     6941    20949 |    14265    10351     40 |  0.375 % |
32.20/32.30	c ===============================================================================
32.40/32.51	c core #985
32.40/32.51	c Core size: 1154	Core Weight: 1	Total Weight: 985
32.40/32.51	c Elapsed CPU time: 31.9881 s	Remaining CPU time: 1768.01 s
32.40/32.56	c ============================[ Search Statistics ]==============================
32.40/32.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.40/32.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.40/32.56	c ===============================================================================
32.40/32.56	c |         0 |    7934     6942    21922 |     5000        0    nan |  0.000 % |
32.40/32.58	c |       101 |    7934     6942    21922 |     5500      101     28 |  0.277 % |
32.50/32.60	c |       252 |    7934     6942    21922 |     6050      252     22 |  0.277 % |
32.50/32.64	c |       477 |    7934     6942    21922 |     6655      477     25 |  0.277 % |
32.50/32.69	c |       816 |    7934     6942    21922 |     7320      816     31 |  0.277 % |
32.59/32.79	c |      1329 |    7934     6942    21922 |     8052     1329     44 |  0.277 % |
32.69/32.90	c |      2088 |    7934     6942    21922 |     8857     2088     48 |  0.277 % |
32.90/33.05	c |      3229 |    7930     6942    21922 |     9743     3228     53 |  0.327 % |
33.30/33.46	c |      4938 |    7930     6942    21922 |    10717     4937     62 |  0.327 % |
33.99/34.13	c |      7501 |    7930     6942    21922 |    11789     7500     64 |  0.327 % |
34.70/34.89	c |     11345 |    7930     6942    21922 |    12968    11344     68 |  0.327 % |
36.39/36.50	c |     17113 |    7930     6942    21922 |    14265    10375     78 |  0.327 % |
39.49/39.64	c |     25763 |    7930     6942    21922 |    15692    11580    114 |  0.327 % |
43.09/43.23	c |     38738 |    7929     6942    21922 |    17261     8609     73 |  0.339 % |
51.59/51.76	c |     58200 |    7929     6942    21922 |    18987    10512    120 |  0.339 % |
63.59/63.71	c |     87395 |    7929     6942    21922 |    20886    10653     98 |  0.339 % |
84.59/84.78	c |    131185 |    7925     6942    21922 |    22974    11955    151 |  0.390 % |
119.17/119.37	c |    196871 |    7922     6942    21922 |    25272    19202    146 |  0.427 % |
172.36/172.58	c |    295398 |    7922     6942    21922 |    27799    12877    138 |  0.427 % |
245.24/245.41	c |    443188 |    7922     6942    21922 |    30579    22832    108 |  0.427 % |
456.29/456.59	c |    664877 |    7922     6942    21922 |    33637    14895    140 |  0.427 % |
698.93/699.26	c |    997404 |    7921     6942    21922 |    37001    18781    101 |  0.440 % |
1177.70/1178.11	c |   1496192 |    7920     6942    21922 |    40701    18883    249 |  0.453 % |

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

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


[startup+0 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 2118
/proc/meminfo: memFree=1941672/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=2964 CPUtime=0
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181964932 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135166136 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 741 248 125 292 0 418 0

[startup+0.0686749 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 2118
/proc/meminfo: memFree=1941672/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=3512 CPUtime=0.06
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 483 0 0 0 6 0 0 0 18 0 1 0 181964932 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 878 439 133 292 0 583 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3512

[startup+0.102678 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 2118
/proc/meminfo: memFree=1941672/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=3512 CPUtime=0.09
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 181964932 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 878 439 133 292 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.302698 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 2118
/proc/meminfo: memFree=1941672/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=3512 CPUtime=0.29
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 496 0 0 0 29 0 0 0 19 0 1 0 181964932 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 135173057 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 878 452 133 292 0 583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3512

[startup+0.702738 s]
/proc/loadavg: 0.86 0.97 0.99 3/64 2118
/proc/meminfo: memFree=1941672/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=3876 CPUtime=0.69
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 823 0 0 0 69 0 0 0 22 0 1 0 181964932 3969024 531 1992294400 134512640 135709839 4294956240 18446744073709551615 135382478 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 969 531 133 292 0 674 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3876

[startup+1.50182 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1939616/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=4540 CPUtime=1.48
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 1173 0 0 0 148 0 0 0 25 0 1 0 181964932 4648960 715 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 1135 715 133 292 0 840 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4540

[startup+3.10198 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1938208/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=6680 CPUtime=3.06
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 2162 0 0 0 305 1 0 0 25 0 1 0 181964932 6840320 1243 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 1670 1243 133 292 0 1375 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6680

[startup+6.30129 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1933152/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=13356 CPUtime=6.21
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 4790 0 0 0 617 4 0 0 25 0 1 0 181964932 13676544 2905 1992294400 134512640 135709839 4294956240 18446744073709551615 134585532 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 3339 2905 134 292 0 3044 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13356

[startup+12.7019 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1919912/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=25064 CPUtime=12.6
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 8090 0 0 0 1241 19 0 0 25 0 1 0 181964932 25665536 5813 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 6266 5813 136 292 0 5971 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 25064

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1893992/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=49952 CPUtime=25.4
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 14305 0 0 0 2507 33 0 0 25 0 1 0 181964932 51150848 12028 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 12488 12028 136 292 0 12193 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 49952

[startup+51.1018 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1867944/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=76580 CPUtime=50.99
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 20984 0 0 0 5028 71 0 0 25 0 1 0 181964932 78417920 18707 1992294400 134512640 135709839 4294956240 18446744073709551615 134517555 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 19145 18707 136 292 0 18850 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 76580

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1776104/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=167272 CPUtime=102.18
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 43652 0 0 0 10092 126 0 0 25 0 1 0 181964932 171286528 41375 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 41818 41375 136 292 0 41523 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 167272

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1686056/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=257852 CPUtime=162.16
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 66280 0 0 0 16036 180 0 0 25 0 1 0 181964932 264040448 64003 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 64463 64003 136 292 0 64168 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 257852

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1594792/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=348292 CPUtime=222.14
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 88873 0 0 0 21976 238 0 0 25 0 1 0 181964932 356651008 86596 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 87073 86596 136 292 0 86778 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 348292

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1512232/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=431436 CPUtime=282.12
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 109616 0 0 0 27924 288 0 0 25 0 1 0 181964932 441790464 107339 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 107859 107339 136 292 0 107564 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 431436

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2119
/proc/meminfo: memFree=1444520/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=498360 CPUtime=342.11
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 126354 0 0 0 33894 317 0 0 25 0 1 0 181964932 510320640 124077 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 124590 124077 136 292 0 124295 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 498360

[startup+402.302 s]
/proc/loadavg: 1.05 0.99 0.99 2/65 2119
/proc/meminfo: memFree=1386600/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=556648 CPUtime=402.09
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 140887 0 0 0 39863 346 0 0 25 0 1 0 181964932 570007552 138610 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 139162 138610 136 292 0 138867 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 556648

[startup+462.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 2119
/proc/meminfo: memFree=1321832/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=621404 CPUtime=462.08
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 157046 0 0 0 45827 381 0 0 25 0 1 0 181964932 636317696 154769 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 155351 154769 136 292 0 155056 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 621404

[startup+522.303 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 2119
/proc/meminfo: memFree=1252776/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=690732 CPUtime=522.07
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 174379 0 0 0 51789 418 0 0 25 0 1 0 181964932 707309568 172102 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 172683 172102 136 292 0 172388 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 690732

[startup+582.303 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 2119
/proc/meminfo: memFree=1178856/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=764220 CPUtime=582.05
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 192714 0 0 0 57742 463 0 0 25 0 1 0 181964932 782561280 190437 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 191055 190437 136 292 0 190760 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 764220

[startup+642.303 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 2119
/proc/meminfo: memFree=1100392/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=841880 CPUtime=642.04
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 212129 0 0 0 63691 513 0 0 25 0 1 0 181964932 862085120 209852 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 210470 209852 136 292 0 210175 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 841880

[startup+702.303 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 2119
/proc/meminfo: memFree=1023272/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=919700 CPUtime=702.02
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 231575 0 0 0 69639 563 0 0 25 0 1 0 181964932 941772800 229298 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 229925 229298 136 292 0 229630 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 919700

[startup+762.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2119
/proc/meminfo: memFree=938280/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1003856 CPUtime=762.01
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 252608 0 0 0 75584 617 0 0 25 0 1 0 181964932 1027948544 250331 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 250964 250332 136 292 0 250669 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 1003856

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2119
/proc/meminfo: memFree=854888/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1087736 CPUtime=821.99
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 273567 0 0 0 81546 653 0 0 25 0 1 0 181964932 1113841664 271290 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 271934 271290 136 292 0 271639 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 1087736

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=782888/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1158976 CPUtime=881.97
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 291388 0 0 0 87509 688 0 0 25 0 1 0 181964932 1186791424 289111 1992294400 134512640 135709839 4294956240 18446744073709551615 134574133 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 289744 289111 136 292 0 289449 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 1158976

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=703400/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1238680 CPUtime=941.97
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 311305 0 0 0 93469 728 0 0 25 0 1 0 181964932 1268408320 309028 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 309670 309028 136 292 0 309375 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1238680

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=646696/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1294976 CPUtime=1001.95
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 325334 0 0 0 99445 750 0 0 25 0 1 0 181964932 1326055424 323057 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 323744 323057 136 292 0 323449 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1294976

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=588136/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1354248 CPUtime=1061.93
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 340155 0 0 0 105415 778 0 0 25 0 1 0 181964932 1386749952 337878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 338562 337878 136 292 0 338267 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1354248

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=505384/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1436188 CPUtime=1121.92
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 360629 0 0 0 111382 810 0 0 25 0 1 0 181964932 1470656512 358352 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 359047 358352 136 292 0 358752 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1436188

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=437032/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1505316 CPUtime=1181.9
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 377865 0 0 0 117348 842 0 0 25 0 1 0 181964932 1541443584 375588 1992294400 134512640 135709839 4294956240 18446744073709551615 134574102 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 376329 375588 136 292 0 376034 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1505316

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2119
/proc/meminfo: memFree=380392/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1561620 CPUtime=1241.89
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 391941 0 0 0 123315 874 0 0 25 0 1 0 181964932 1599098880 389664 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 390405 389664 136 292 0 390110 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1561620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=300904/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1640008 CPUtime=1301.88
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 411519 0 0 0 129277 911 0 0 25 0 1 0 181964932 1679368192 409242 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 410002 409242 136 292 0 409707 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1640008

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=235688/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1705872 CPUtime=1361.86
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 427943 0 0 0 135245 941 0 0 25 0 1 0 181964932 1746812928 425666 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 426468 425666 136 292 0 426173 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1705872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=170088/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1770760 CPUtime=1421.85
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 444153 0 0 0 141212 973 0 0 25 0 1 0 181964932 1813258240 441876 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 442690 441876 136 292 0 442395 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1770760

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=115624/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1826156 CPUtime=1481.83
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 458009 0 0 0 147183 1000 0 0 25 0 1 0 181964932 1869983744 455732 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 456539 455732 136 292 0 456244 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1826156



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1494.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=97384/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=1843220 CPUtime=1493.73
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4194304 462280 0 0 0 148366 1007 0 0 25 0 1 0 181964932 1887457280 460003 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 460805 460003 136 292 0 460510 0
Current children cumulated CPU time (s) 1493.73
Current children cumulated vsize (KiB) 1843220

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

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

[startup+1494.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2119
/proc/meminfo: memFree=97384/2055920 swapFree=4181364/4192956
[pid=2118] ppid=2116 vsize=0 CPUtime=1493.93
/proc/2118/stat : 2118 (wbo) R 2116 2118 2075 0 -1 4195332 462280 0 0 0 148366 1027 0 0 25 0 1 0 181964932 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2118/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1493.93
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1494.48
CPU time (s): 1494.01
CPU user time (s): 1483.66
CPU system time (s): 10.3524
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1843220

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

runsolver used 1.11283 second user time and 3.17852 second system time

The end

Launcher Data 

Begin job on node36 at 2009-06-16 11:14:36
IDJOB=1875704
IDBENCH=1981
IDSOLVER=698
FILE ID=node36/1875704-1245143676
PBS_JOBID= 9363753
Free space on /tmp= 66200 MiB

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

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

MD5SUM BENCH= 363fb8dacb34b0fd2f0470bc356b38da
RANDOM SEED=158202145

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1942152 kB
Buffers:         13944 kB
Cached:          54080 kB
SwapCached:       6436 kB
Active:          52892 kB
Inactive:        23956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1942152 kB
SwapTotal:     4192956 kB
SwapFree:      4181364 kB
Dirty:            2676 kB
Writeback:           0 kB
Mapped:          13284 kB
Slab:            22980 kB
Committed_AS:   169860 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875704-1245143676.opb

Free space on /tmp at the end= 66196 MiB
End job on node36 at 2009-06-16 11:39:32