Trace number 1875589

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) 1497.66 1498.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
MD5SUMeb191f4787a2203be4bff8f6c7c8f66d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1046
Best CPU time to get the best result obtained on this benchmark1797.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1037
Optimality of the best value was proved NO
Number of variables1961
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 1961
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 1961
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 1961
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-1875589-1245144306.opb.
0.00/0.00	c Instance file HOME/instance-1875589-1245144306.opb
0.00/0.00	c File size is 112187 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:      1961                                                |
0.00/0.01	c |  Number Clauses:        5961                                                |
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.018997 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.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.029995 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.033994 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.036994 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.040993 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.043993 s	Remaining CPU time: 1799.96 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.047992 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.050992 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.054991 s	Remaining CPU time: 1799.95 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.057991 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.06199 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.00/0.07	c core #16
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #18
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #19
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #20
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.00/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.00/0.09	c core #21
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #22
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #23
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.00/0.10	c core #24
0.00/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/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.102984 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.106983 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.113982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #29
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.12	c Elapsed CPU time: 0.117982 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.121981 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.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12998 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.132979 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.136979 s	Remaining CPU time: 1799.86 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.140978 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.144977 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #37
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.15	c Elapsed CPU time: 0.147977 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.151976 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.155976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.159975 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.163975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #42
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 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.171973 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.175973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #45
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.18	c Elapsed CPU time: 0.178972 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.182972 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.186971 s	Remaining CPU time: 1799.81 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.19097 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.19497 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #50
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #51
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.20	c Elapsed CPU time: 0.202969 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.206968 s	Remaining CPU time: 1799.79 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.209968 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.213967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #55
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 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.221966 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.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #58
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.23	c Elapsed CPU time: 0.229965 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.233964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #60
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.24	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 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.241963 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.245962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #63
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 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.253961 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.25796 s	Remaining CPU time: 1799.74 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.26096 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.264959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #68
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 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.272958 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.276957 s	Remaining CPU time: 1799.72 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.280957 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.284956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #73
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 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.292955 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.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #76
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 76
0.29/0.30	c Elapsed CPU time: 0.300954 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.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #78
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.31	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 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.312952 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.316951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #81
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.32	c Elapsed CPU time: 0.320951 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.32495 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #83
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.33	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 1799.67 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.332949 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.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #86
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.34	c Elapsed CPU time: 0.340948 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.344947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #88
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.35	c Elapsed CPU time: 0.348946 s	Remaining CPU time: 1799.65 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.352946 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.356945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #91
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.36	c Elapsed CPU time: 0.360945 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.364944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #93
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.37	c Elapsed CPU time: 0.368943 s	Remaining CPU time: 1799.63 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.372943 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.376942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #96
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.38	c Elapsed CPU time: 0.380942 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.384941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #98
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.39	c Elapsed CPU time: 0.38994 s	Remaining CPU time: 1799.61 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.39394 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #100
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #101
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 101
0.39/0.40	c Elapsed CPU time: 0.401938 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.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #103
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 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.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #105
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 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.421935 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.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #108
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.43	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 1799.57 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.433934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #110
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 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.441932 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.445932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #113
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 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.45393 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #115
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 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.461929 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.465929 s	Remaining CPU time: 1799.53 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.469928 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.473927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #120
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 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.482926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #122
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 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.490925 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.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #125
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 125
0.49/0.50	c Elapsed CPU time: 0.499924 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.503923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #127
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 127
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 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.511922 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.515921 s	Remaining CPU time: 1799.48 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.51992 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.52392 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.527919 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.531919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #134
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.54	c Elapsed CPU time: 0.536918 s	Remaining CPU time: 1799.46 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.539917 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.544917 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.548916 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.552915 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.556915 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.560914 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.564914 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.568913 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.572912 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.576912 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.58591 s	Remaining CPU time: 1799.41 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.58991 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.593909 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.60	c core #151
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 151
0.59/0.60	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.610907 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.622905 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.625904 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.629904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #158
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.63	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 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.638902 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.642902 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.646901 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.6519 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.6559 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.659899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #165
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.66	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 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.667898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #167
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.67	c Elapsed CPU time: 0.672897 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.676897 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.680896 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #170
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.68	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 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.689895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #172
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 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.697893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #174
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 174
0.69/0.70	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 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.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #176
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #177
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.71	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 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.71989 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #179
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.72	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 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.727889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #181
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 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.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #183
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 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.745886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #185
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #186
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.75	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #187
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.76	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #188
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.76	c Elapsed CPU time: 0.762884 s	Remaining CPU time: 1799.24 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.767883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #190
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.77	c Elapsed CPU time: 0.771882 s	Remaining CPU time: 1799.23 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.775882 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #192
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.78	c Elapsed CPU time: 0.780881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #193
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.78	c Elapsed CPU time: 0.78488 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #194
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.79	c Elapsed CPU time: 0.789879 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #195
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.79	c Elapsed CPU time: 0.793879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #196
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 196
0.79/0.80	c Elapsed CPU time: 0.798878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #197
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 197
0.79/0.80	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #198
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.81	c Elapsed CPU time: 0.807877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #199
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.81	c Elapsed CPU time: 0.811876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #200
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.82	c Elapsed CPU time: 0.816875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #201
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.82	c Elapsed CPU time: 0.820875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #202
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.83	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #203
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.83	c Elapsed CPU time: 0.829873 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #204
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.83	c Elapsed CPU time: 0.834873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #205
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #206
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.84	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #207
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #208
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.85	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #209
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #210
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.86	c Elapsed CPU time: 0.861868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #211
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.87	c Elapsed CPU time: 0.866868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #212
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.87	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #213
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.88	c Elapsed CPU time: 0.875866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #214
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.88	c Elapsed CPU time: 0.879866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #215
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.88	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #216
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.89	c Elapsed CPU time: 0.888864 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #217
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.89	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #218
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 218
0.89/0.90	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #219
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 219
0.89/0.90	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #220
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.91	c Elapsed CPU time: 0.907861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #221
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.91	c Elapsed CPU time: 0.911861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #222
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.92	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #223
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.92	c Elapsed CPU time: 0.921859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #224
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #225
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.93	c Elapsed CPU time: 0.931858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #226
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #227
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.94	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #228
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #229
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.95	c Elapsed CPU time: 0.951855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #230
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.96	c Elapsed CPU time: 0.956854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #231
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.96	c Elapsed CPU time: 0.961853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #232
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #233
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #234
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.98	c Elapsed CPU time: 0.976851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #235
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.98	c Elapsed CPU time: 0.98185 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #236
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #237
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.99	c Elapsed CPU time: 0.991849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #238
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/1.00	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 1799 s
0.99/1.00	c core #239
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 239
0.99/1.00	c Elapsed CPU time: 1.00185 s	Remaining CPU time: 1799 s
0.99/1.01	c core #240
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.01	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 1798.99 s
0.99/1.01	c core #241
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #242
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
0.99/1.02	c core #243
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.02	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #244
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
0.99/1.03	c core #245
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.03	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #246
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.04	c Elapsed CPU time: 1.03584 s	Remaining CPU time: 1798.96 s
0.99/1.04	c core #247
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.04	c Elapsed CPU time: 1.04084 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #248
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.05	c Elapsed CPU time: 1.04584 s	Remaining CPU time: 1798.95 s
0.99/1.05	c core #249
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.05	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #250
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
0.99/1.06	c core #251
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.06	c Elapsed CPU time: 1.06084 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #252
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #253
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.07	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #254
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #255
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.08	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #256
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.09	c Elapsed CPU time: 1.08483 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #257
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.09	c Elapsed CPU time: 1.08983 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #258
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.10	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #259
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.10	c Elapsed CPU time: 1.09983 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #260
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 260
1.09/1.11	c Elapsed CPU time: 1.10483 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #261
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.11	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #262
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #263
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.12	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #264
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #265
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.13	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #266
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.14	c Elapsed CPU time: 1.13483 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #267
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.14	c Elapsed CPU time: 1.13983 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #268
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.15	c Elapsed CPU time: 1.14482 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #269
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.15	c Elapsed CPU time: 1.14983 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #270
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.16	c Elapsed CPU time: 1.15482 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #271
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.16	c Elapsed CPU time: 1.15982 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #272
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.17	c Elapsed CPU time: 1.16482 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #273
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.17	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #274
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 274
1.09/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.09/1.18	c core #275
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.18	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #276
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.19	c Elapsed CPU time: 1.18682 s	Remaining CPU time: 1798.81 s
1.09/1.20	c core #277
1.09/1.20	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.20	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 1798.81 s
1.09/1.20	c core #278
1.09/1.20	c Core size: 3	Core Weight: 1	Total Weight: 278
1.19/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #279
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 279
1.19/1.21	c Elapsed CPU time: 1.20282 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #280
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 280
1.19/1.21	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #281
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 281
1.19/1.22	c Elapsed CPU time: 1.21281 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #282
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 282
1.19/1.22	c Elapsed CPU time: 1.21781 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #283
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 283
1.19/1.23	c Elapsed CPU time: 1.22281 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #284
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 284
1.19/1.23	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #285
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 285
1.19/1.24	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #286
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 286
1.19/1.24	c Elapsed CPU time: 1.23681 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #287
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 287
1.19/1.25	c Elapsed CPU time: 1.24181 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #288
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 288
1.19/1.25	c Elapsed CPU time: 1.24781 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #289
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 289
1.19/1.26	c Elapsed CPU time: 1.25281 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #290
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 290
1.19/1.26	c Elapsed CPU time: 1.25781 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #291
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 291
1.19/1.27	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 1798.74 s
1.19/1.28	c core #292
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 292
1.19/1.28	c Elapsed CPU time: 1.26881 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #293
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 293
1.19/1.28	c Elapsed CPU time: 1.27481 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #294
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 294
1.19/1.29	c Elapsed CPU time: 1.27981 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #295
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 295
1.19/1.29	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 1798.72 s
1.28/1.30	c core #296
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 296
1.28/1.30	c Elapsed CPU time: 1.2898 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #297
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 297
1.28/1.30	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #298
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 298
1.28/1.31	c Elapsed CPU time: 1.3008 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #299
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 299
1.28/1.31	c Elapsed CPU time: 1.3058 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #300
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 300
1.28/1.32	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #301
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #302
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.33	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #303
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.34	c Elapsed CPU time: 1.3268 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #304
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.34	c Elapsed CPU time: 1.3318 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #305
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.35	c Elapsed CPU time: 1.3378 s	Remaining CPU time: 1798.66 s
1.28/1.35	c core #306
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.35	c Elapsed CPU time: 1.34279 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #307
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.36	c Elapsed CPU time: 1.34879 s	Remaining CPU time: 1798.65 s
1.28/1.36	c core #308
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.36	c Elapsed CPU time: 1.35379 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #309
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.37	c Elapsed CPU time: 1.35979 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #310
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.37	c Elapsed CPU time: 1.36479 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #311
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 311
1.28/1.38	c Elapsed CPU time: 1.37079 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #312
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.38	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #313
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 313
1.28/1.39	c Elapsed CPU time: 1.38179 s	Remaining CPU time: 1798.62 s
1.28/1.40	c core #314
1.28/1.40	c Core size: 3	Core Weight: 1	Total Weight: 314
1.28/1.40	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #315
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 315
1.38/1.40	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #316
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.41	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #317
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.41	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #318
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 318
1.38/1.42	c Elapsed CPU time: 1.40878 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #319
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.42	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #320
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #321
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.43	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #322
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.44	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.38/1.44	c core #323
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.44	c Elapsed CPU time: 1.43478 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #324
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.45	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #325
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.46	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.38/1.46	c core #326
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.46	c Elapsed CPU time: 1.45178 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #327
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.47	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.38/1.47	c core #328
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.47	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #329
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 329
1.38/1.48	c Elapsed CPU time: 1.46778 s	Remaining CPU time: 1798.53 s
1.38/1.48	c core #330
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.48	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #331
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 331
1.38/1.49	c Elapsed CPU time: 1.47877 s	Remaining CPU time: 1798.52 s
1.38/1.49	c core #332
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 332
1.38/1.49	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #333
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 333
1.48/1.50	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #334
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 334
1.48/1.51	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #335
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 335
1.48/1.51	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #336
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 336
1.48/1.52	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #337
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 337
1.48/1.52	c Elapsed CPU time: 1.51177 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #338
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 338
1.48/1.53	c Elapsed CPU time: 1.51677 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #339
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.53	c Elapsed CPU time: 1.52177 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #340
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 340
1.48/1.54	c Elapsed CPU time: 1.52777 s	Remaining CPU time: 1798.47 s
1.48/1.54	c core #341
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.55	c Elapsed CPU time: 1.53277 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #342
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 342
1.48/1.55	c Elapsed CPU time: 1.53777 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #343
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 343
1.48/1.56	c Elapsed CPU time: 1.54377 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #344
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 344
1.48/1.56	c Elapsed CPU time: 1.54876 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #345
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 345
1.48/1.57	c Elapsed CPU time: 1.55476 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #346
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 346
1.48/1.57	c Elapsed CPU time: 1.55976 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #347
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 347
1.48/1.58	c Elapsed CPU time: 1.56576 s	Remaining CPU time: 1798.43 s
1.48/1.58	c core #348
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 348
1.48/1.58	c Elapsed CPU time: 1.57176 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #349
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 349
1.48/1.59	c Elapsed CPU time: 1.57676 s	Remaining CPU time: 1798.42 s
1.48/1.60	c core #350
1.48/1.60	c Core size: 3	Core Weight: 1	Total Weight: 350
1.48/1.60	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.58/1.60	c core #351
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 351
1.58/1.60	c Elapsed CPU time: 1.58876 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #352
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 352
1.58/1.61	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #353
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 353
1.58/1.61	c Elapsed CPU time: 1.59976 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #354
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 354
1.58/1.62	c Elapsed CPU time: 1.60476 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #355
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 355
1.58/1.62	c Elapsed CPU time: 1.61076 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #356
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 356
1.58/1.63	c Elapsed CPU time: 1.61575 s	Remaining CPU time: 1798.38 s
1.58/1.63	c core #357
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 357
1.58/1.63	c Elapsed CPU time: 1.62075 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #358
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 358
1.58/1.64	c Elapsed CPU time: 1.62675 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #359
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 359
1.58/1.65	c Elapsed CPU time: 1.63175 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #360
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.65	c Elapsed CPU time: 1.63675 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #361
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 361
1.58/1.66	c Elapsed CPU time: 1.64275 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #362
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 362
1.58/1.66	c Elapsed CPU time: 1.64775 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #363
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 363
1.58/1.67	c Elapsed CPU time: 1.65375 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #364
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.67	c Elapsed CPU time: 1.65875 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #365
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 365
1.58/1.68	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 1798.34 s
1.58/1.69	c core #366
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 366
1.58/1.69	c Elapsed CPU time: 1.66975 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #367
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 367
1.58/1.69	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.58/1.70	c core #368
1.58/1.70	c Core size: 3	Core Weight: 1	Total Weight: 368
1.58/1.70	c Elapsed CPU time: 1.68074 s	Remaining CPU time: 1798.32 s
1.68/1.70	c core #369
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 369
1.68/1.70	c Elapsed CPU time: 1.68574 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #370
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 370
1.68/1.71	c Elapsed CPU time: 1.68974 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #371
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 371
1.68/1.71	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #372
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 372
1.68/1.72	c Elapsed CPU time: 1.70074 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #373
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 373
1.68/1.73	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 1798.29 s
1.68/1.73	c core #374
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 374
1.68/1.73	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.68/1.74	c core #375
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 375
1.68/1.74	c Elapsed CPU time: 1.71874 s	Remaining CPU time: 1798.28 s
1.68/1.74	c core #376
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 376
1.68/1.74	c Elapsed CPU time: 1.72474 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #377
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 377
1.68/1.75	c Elapsed CPU time: 1.73074 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #378
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 378
1.68/1.76	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.68/1.76	c core #379
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.76	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.68/1.77	c core #380
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 380
1.68/1.77	c Elapsed CPU time: 1.74673 s	Remaining CPU time: 1798.25 s
1.68/1.77	c core #381
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.77	c Elapsed CPU time: 1.75273 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #382
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 382
1.68/1.78	c Elapsed CPU time: 1.75773 s	Remaining CPU time: 1798.24 s
1.68/1.78	c core #383
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 383
1.68/1.78	c Elapsed CPU time: 1.76273 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #384
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 384
1.68/1.79	c Elapsed CPU time: 1.76873 s	Remaining CPU time: 1798.23 s
1.68/1.80	c core #385
1.68/1.80	c Core size: 3	Core Weight: 1	Total Weight: 385
1.68/1.80	c Elapsed CPU time: 1.77473 s	Remaining CPU time: 1798.23 s
1.78/1.80	c core #386
1.78/1.80	c Core size: 3	Core Weight: 1	Total Weight: 386
1.78/1.80	c Elapsed CPU time: 1.78073 s	Remaining CPU time: 1798.22 s
1.78/1.81	c core #387
1.78/1.81	c Core size: 3	Core Weight: 1	Total Weight: 387
1.78/1.81	c Elapsed CPU time: 1.78673 s	Remaining CPU time: 1798.21 s
1.78/1.81	c core #388
1.78/1.81	c Core size: 3	Core Weight: 1	Total Weight: 388
1.78/1.81	c Elapsed CPU time: 1.79173 s	Remaining CPU time: 1798.21 s
1.78/1.82	c core #389
1.78/1.82	c Core size: 3	Core Weight: 1	Total Weight: 389
1.78/1.82	c Elapsed CPU time: 1.79673 s	Remaining CPU time: 1798.2 s
1.78/1.82	c core #390
1.78/1.82	c Core size: 3	Core Weight: 1	Total Weight: 390
1.78/1.82	c Elapsed CPU time: 1.80273 s	Remaining CPU time: 1798.2 s
1.78/1.83	c core #391
1.78/1.83	c Core size: 3	Core Weight: 1	Total Weight: 391
1.78/1.83	c Elapsed CPU time: 1.80872 s	Remaining CPU time: 1798.19 s
1.78/1.84	c core #392
1.78/1.84	c Core size: 3	Core Weight: 1	Total Weight: 392
1.78/1.84	c Elapsed CPU time: 1.81472 s	Remaining CPU time: 1798.19 s
1.78/1.84	c core #393
1.78/1.84	c Core size: 3	Core Weight: 1	Total Weight: 393
1.78/1.84	c Elapsed CPU time: 1.82072 s	Remaining CPU time: 1798.18 s
1.78/1.85	c core #394
1.78/1.85	c Core size: 3	Core Weight: 1	Total Weight: 394
1.78/1.85	c Elapsed CPU time: 1.82672 s	Remaining CPU time: 1798.17 s
1.78/1.85	c core #395
1.78/1.85	c Core size: 3	Core Weight: 1	Total Weight: 395
1.78/1.85	c Elapsed CPU time: 1.83272 s	Remaining CPU time: 1798.17 s
1.78/1.86	c core #396
1.78/1.86	c Core size: 3	Core Weight: 1	Total Weight: 396
1.78/1.86	c Elapsed CPU time: 1.83872 s	Remaining CPU time: 1798.16 s
1.78/1.87	c core #397
1.78/1.87	c Core size: 3	Core Weight: 1	Total Weight: 397
1.78/1.87	c Elapsed CPU time: 1.84472 s	Remaining CPU time: 1798.16 s
1.78/1.87	c core #398
1.78/1.87	c Core size: 3	Core Weight: 1	Total Weight: 398
1.78/1.87	c Elapsed CPU time: 1.85072 s	Remaining CPU time: 1798.15 s
1.78/1.88	c core #399
1.78/1.88	c Core size: 3	Core Weight: 1	Total Weight: 399
1.78/1.88	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.78/1.88	c core #400
1.78/1.88	c Core size: 3	Core Weight: 1	Total Weight: 400
1.78/1.88	c Elapsed CPU time: 1.86172 s	Remaining CPU time: 1798.14 s
1.78/1.89	c core #401
1.78/1.89	c Core size: 3	Core Weight: 1	Total Weight: 401
1.78/1.89	c Elapsed CPU time: 1.86772 s	Remaining CPU time: 1798.13 s
1.78/1.90	c core #402
1.78/1.90	c Core size: 3	Core Weight: 1	Total Weight: 402
1.78/1.90	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.88/1.90	c core #403
1.88/1.90	c Core size: 3	Core Weight: 1	Total Weight: 403
1.88/1.90	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.88/1.91	c core #404
1.88/1.91	c Core size: 3	Core Weight: 1	Total Weight: 404
1.88/1.91	c Elapsed CPU time: 1.88271 s	Remaining CPU time: 1798.12 s
1.88/1.91	c core #405
1.88/1.91	c Core size: 3	Core Weight: 1	Total Weight: 405
1.88/1.91	c Elapsed CPU time: 1.88871 s	Remaining CPU time: 1798.11 s
1.88/1.92	c core #406
1.88/1.92	c Core size: 3	Core Weight: 1	Total Weight: 406
1.88/1.92	c Elapsed CPU time: 1.89471 s	Remaining CPU time: 1798.11 s
1.88/1.93	c core #407
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 407
1.88/1.93	c Elapsed CPU time: 1.90071 s	Remaining CPU time: 1798.1 s
1.88/1.93	c core #408
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 408
1.88/1.93	c Elapsed CPU time: 1.90671 s	Remaining CPU time: 1798.09 s
1.88/1.94	c core #409
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 409
1.88/1.94	c Elapsed CPU time: 1.91271 s	Remaining CPU time: 1798.09 s
1.88/1.94	c core #410
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 410
1.88/1.94	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 1798.08 s
1.88/1.95	c core #411
1.88/1.95	c Core size: 3	Core Weight: 1	Total Weight: 411
1.88/1.95	c Elapsed CPU time: 1.92471 s	Remaining CPU time: 1798.08 s
1.88/1.96	c core #412
1.88/1.96	c Core size: 3	Core Weight: 1	Total Weight: 412
1.88/1.96	c Elapsed CPU time: 1.93071 s	Remaining CPU time: 1798.07 s
1.88/1.96	c core #413
1.88/1.96	c Core size: 3	Core Weight: 1	Total Weight: 413
1.88/1.96	c Elapsed CPU time: 1.9367 s	Remaining CPU time: 1798.06 s
1.88/1.97	c core #414
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 414
1.88/1.97	c Elapsed CPU time: 1.9427 s	Remaining CPU time: 1798.06 s
1.88/1.97	c core #415
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 415
1.88/1.97	c Elapsed CPU time: 1.9487 s	Remaining CPU time: 1798.05 s
1.88/1.98	c core #416
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 416
1.88/1.98	c Elapsed CPU time: 1.9547 s	Remaining CPU time: 1798.05 s
1.88/1.99	c core #417
1.88/1.99	c Core size: 3	Core Weight: 1	Total Weight: 417
1.88/1.99	c Elapsed CPU time: 1.9607 s	Remaining CPU time: 1798.04 s
1.88/1.99	c core #418
1.88/1.99	c Core size: 3	Core Weight: 1	Total Weight: 418
1.88/1.99	c Elapsed CPU time: 1.9667 s	Remaining CPU time: 1798.03 s
1.98/2.00	c core #419
1.98/2.00	c Core size: 3	Core Weight: 1	Total Weight: 419
1.98/2.00	c Elapsed CPU time: 1.9727 s	Remaining CPU time: 1798.03 s
1.98/2.00	c core #420
1.98/2.00	c Core size: 3	Core Weight: 1	Total Weight: 420
1.98/2.00	c Elapsed CPU time: 1.9787 s	Remaining CPU time: 1798.02 s
1.98/2.01	c core #421
1.98/2.01	c Core size: 3	Core Weight: 1	Total Weight: 421
1.98/2.01	c Elapsed CPU time: 1.9847 s	Remaining CPU time: 1798.02 s
1.98/2.02	c core #422
1.98/2.02	c Core size: 3	Core Weight: 1	Total Weight: 422
1.98/2.02	c Elapsed CPU time: 1.9907 s	Remaining CPU time: 1798.01 s
1.98/2.02	c core #423
1.98/2.02	c Core size: 3	Core Weight: 1	Total Weight: 423
1.98/2.02	c Elapsed CPU time: 1.9967 s	Remaining CPU time: 1798 s
1.98/2.03	c core #424
1.98/2.03	c Core size: 3	Core Weight: 1	Total Weight: 424
1.98/2.03	c Elapsed CPU time: 2.0027 s	Remaining CPU time: 1798 s
1.98/2.03	c core #425
1.98/2.03	c Core size: 3	Core Weight: 1	Total Weight: 425
1.98/2.03	c Elapsed CPU time: 2.00869 s	Remaining CPU time: 1797.99 s
1.98/2.04	c core #426
1.98/2.04	c Core size: 3	Core Weight: 1	Total Weight: 426
1.98/2.04	c Elapsed CPU time: 2.01469 s	Remaining CPU time: 1797.99 s
1.98/2.05	c core #427
1.98/2.05	c Core size: 3	Core Weight: 1	Total Weight: 427
1.98/2.05	c Elapsed CPU time: 2.02069 s	Remaining CPU time: 1797.98 s
1.98/2.05	c core #428
1.98/2.05	c Core size: 3	Core Weight: 1	Total Weight: 428
1.98/2.05	c Elapsed CPU time: 2.02669 s	Remaining CPU time: 1797.97 s
1.98/2.06	c core #429
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 429
1.98/2.06	c Elapsed CPU time: 2.03269 s	Remaining CPU time: 1797.97 s
1.98/2.06	c core #430
1.98/2.06	c Core size: 3	Core Weight: 1	Total Weight: 430
1.98/2.06	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 1797.96 s
1.98/2.07	c core #431
1.98/2.07	c Core size: 3	Core Weight: 1	Total Weight: 431
1.98/2.07	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.98/2.08	c core #432
1.98/2.08	c Core size: 3	Core Weight: 1	Total Weight: 432
1.98/2.08	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.98/2.08	c core #433
1.98/2.08	c Core size: 3	Core Weight: 1	Total Weight: 433
1.98/2.08	c Elapsed CPU time: 2.05669 s	Remaining CPU time: 1797.94 s
1.98/2.09	c core #434
1.98/2.09	c Core size: 3	Core Weight: 1	Total Weight: 434
1.98/2.09	c Elapsed CPU time: 2.06269 s	Remaining CPU time: 1797.94 s
1.98/2.10	c core #435
1.98/2.10	c Core size: 3	Core Weight: 1	Total Weight: 435
1.98/2.10	c Elapsed CPU time: 2.06868 s	Remaining CPU time: 1797.93 s
2.07/2.10	c core #436
2.07/2.10	c Core size: 3	Core Weight: 1	Total Weight: 436
2.07/2.10	c Elapsed CPU time: 2.07568 s	Remaining CPU time: 1797.92 s
2.07/2.11	c core #437
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 437
2.07/2.11	c Elapsed CPU time: 2.08168 s	Remaining CPU time: 1797.92 s
2.07/2.11	c core #438
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 438
2.07/2.11	c Elapsed CPU time: 2.08768 s	Remaining CPU time: 1797.91 s
2.07/2.12	c core #439
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 439
2.07/2.12	c Elapsed CPU time: 2.09368 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #440
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 440
2.07/2.13	c Elapsed CPU time: 2.10068 s	Remaining CPU time: 1797.9 s
2.07/2.13	c core #441
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 441
2.07/2.13	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.07/2.14	c core #442
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 442
2.07/2.14	c Elapsed CPU time: 2.11268 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #443
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 443
2.07/2.15	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.07/2.15	c core #444
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 444
2.07/2.15	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #445
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 445
2.07/2.16	c Elapsed CPU time: 2.12968 s	Remaining CPU time: 1797.87 s
2.07/2.16	c core #446
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 446
2.07/2.16	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.07/2.17	c core #447
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 447
2.07/2.17	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #448
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 448
2.07/2.18	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.07/2.18	c core #449
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 449
2.07/2.18	c Elapsed CPU time: 2.15467 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #450
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 450
2.07/2.19	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 1797.84 s
2.07/2.20	c core #451
2.07/2.20	c Core size: 3	Core Weight: 1	Total Weight: 451
2.07/2.20	c Elapsed CPU time: 2.16767 s	Remaining CPU time: 1797.83 s
2.18/2.20	c core #452
2.18/2.20	c Core size: 3	Core Weight: 1	Total Weight: 452
2.18/2.20	c Elapsed CPU time: 2.17367 s	Remaining CPU time: 1797.83 s
2.18/2.21	c core #453
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 453
2.18/2.21	c Elapsed CPU time: 2.17967 s	Remaining CPU time: 1797.82 s
2.18/2.21	c core #454
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 454
2.18/2.21	c Elapsed CPU time: 2.18667 s	Remaining CPU time: 1797.81 s
2.18/2.22	c core #455
2.18/2.22	c Core size: 3	Core Weight: 1	Total Weight: 455
2.18/2.22	c Elapsed CPU time: 2.19267 s	Remaining CPU time: 1797.81 s
2.18/2.23	c core #456
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 456
2.18/2.23	c Elapsed CPU time: 2.19867 s	Remaining CPU time: 1797.8 s
2.18/2.23	c core #457
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 457
2.18/2.23	c Elapsed CPU time: 2.20466 s	Remaining CPU time: 1797.8 s
2.18/2.24	c core #458
2.18/2.24	c Core size: 3	Core Weight: 1	Total Weight: 458
2.18/2.24	c Elapsed CPU time: 2.21066 s	Remaining CPU time: 1797.79 s
2.18/2.25	c core #459
2.18/2.25	c Core size: 3	Core Weight: 1	Total Weight: 459
2.18/2.25	c Elapsed CPU time: 2.21766 s	Remaining CPU time: 1797.78 s
2.18/2.25	c core #460
2.18/2.25	c Core size: 3	Core Weight: 1	Total Weight: 460
2.18/2.25	c Elapsed CPU time: 2.22266 s	Remaining CPU time: 1797.78 s
2.18/2.26	c core #461
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 461
2.18/2.26	c Elapsed CPU time: 2.22866 s	Remaining CPU time: 1797.77 s
2.18/2.26	c core #462
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 462
2.18/2.26	c Elapsed CPU time: 2.23466 s	Remaining CPU time: 1797.77 s
2.18/2.27	c core #463
2.18/2.27	c Core size: 3	Core Weight: 1	Total Weight: 463
2.18/2.27	c Elapsed CPU time: 2.24066 s	Remaining CPU time: 1797.76 s
2.18/2.28	c core #464
2.18/2.28	c Core size: 3	Core Weight: 1	Total Weight: 464
2.18/2.28	c Elapsed CPU time: 2.24666 s	Remaining CPU time: 1797.75 s
2.18/2.28	c core #465
2.18/2.28	c Core size: 3	Core Weight: 1	Total Weight: 465
2.18/2.28	c Elapsed CPU time: 2.25366 s	Remaining CPU time: 1797.75 s
2.18/2.29	c core #466
2.18/2.29	c Core size: 3	Core Weight: 1	Total Weight: 466
2.18/2.29	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 1797.74 s
2.18/2.30	c core #467
2.18/2.30	c Core size: 3	Core Weight: 1	Total Weight: 467
2.18/2.30	c Elapsed CPU time: 2.26465 s	Remaining CPU time: 1797.74 s
2.27/2.30	c core #468
2.27/2.30	c Core size: 3	Core Weight: 1	Total Weight: 468
2.27/2.30	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.27/2.31	c core #469
2.27/2.31	c Core size: 3	Core Weight: 1	Total Weight: 469
2.27/2.31	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.27/2.32	c core #470
2.27/2.32	c Core size: 3	Core Weight: 1	Total Weight: 470
2.27/2.32	c Elapsed CPU time: 2.28265 s	Remaining CPU time: 1797.72 s
2.27/2.32	c core #471
2.27/2.32	c Core size: 3	Core Weight: 1	Total Weight: 471
2.27/2.32	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.27/2.33	c core #472
2.27/2.33	c Core size: 3	Core Weight: 1	Total Weight: 472
2.27/2.33	c Elapsed CPU time: 2.29465 s	Remaining CPU time: 1797.71 s
2.27/2.33	c core #473
2.27/2.33	c Core size: 3	Core Weight: 1	Total Weight: 473
2.27/2.33	c Elapsed CPU time: 2.30065 s	Remaining CPU time: 1797.7 s
2.27/2.34	c core #474
2.27/2.34	c Core size: 3	Core Weight: 1	Total Weight: 474
2.27/2.34	c Elapsed CPU time: 2.30665 s	Remaining CPU time: 1797.69 s
2.27/2.35	c core #475
2.27/2.35	c Core size: 3	Core Weight: 1	Total Weight: 475
2.27/2.35	c Elapsed CPU time: 2.31265 s	Remaining CPU time: 1797.69 s
2.27/2.35	c core #476
2.27/2.35	c Core size: 3	Core Weight: 1	Total Weight: 476
2.27/2.35	c Elapsed CPU time: 2.31865 s	Remaining CPU time: 1797.68 s
2.27/2.36	c core #477
2.27/2.36	c Core size: 3	Core Weight: 1	Total Weight: 477
2.27/2.36	c Elapsed CPU time: 2.32465 s	Remaining CPU time: 1797.68 s
2.27/2.37	c core #478
2.27/2.37	c Core size: 3	Core Weight: 1	Total Weight: 478
2.27/2.37	c Elapsed CPU time: 2.33065 s	Remaining CPU time: 1797.67 s
2.27/2.37	c core #479
2.27/2.37	c Core size: 3	Core Weight: 1	Total Weight: 479
2.27/2.37	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.27/2.38	c core #480
2.27/2.38	c Core size: 3	Core Weight: 1	Total Weight: 480
2.27/2.38	c Elapsed CPU time: 2.34364 s	Remaining CPU time: 1797.66 s
2.27/2.39	c core #481
2.27/2.39	c Core size: 3	Core Weight: 1	Total Weight: 481
2.27/2.39	c Elapsed CPU time: 2.34964 s	Remaining CPU time: 1797.65 s
2.27/2.39	c core #482
2.27/2.39	c Core size: 3	Core Weight: 1	Total Weight: 482
2.27/2.39	c Elapsed CPU time: 2.35564 s	Remaining CPU time: 1797.64 s
2.37/2.40	c core #483
2.37/2.40	c Core size: 3	Core Weight: 1	Total Weight: 483
2.37/2.40	c Elapsed CPU time: 2.36164 s	Remaining CPU time: 1797.64 s
2.37/2.40	c core #484
2.37/2.40	c Core size: 3	Core Weight: 1	Total Weight: 484
2.37/2.40	c Elapsed CPU time: 2.36764 s	Remaining CPU time: 1797.63 s
2.37/2.41	c core #485
2.37/2.41	c Core size: 3	Core Weight: 1	Total Weight: 485
2.37/2.41	c Elapsed CPU time: 2.37464 s	Remaining CPU time: 1797.63 s
2.37/2.42	c core #486
2.37/2.42	c Core size: 3	Core Weight: 1	Total Weight: 486
2.37/2.42	c Elapsed CPU time: 2.38064 s	Remaining CPU time: 1797.62 s
2.37/2.42	c core #487
2.37/2.42	c Core size: 3	Core Weight: 1	Total Weight: 487
2.37/2.42	c Elapsed CPU time: 2.38664 s	Remaining CPU time: 1797.61 s
2.37/2.43	c core #488
2.37/2.43	c Core size: 3	Core Weight: 1	Total Weight: 488
2.37/2.43	c Elapsed CPU time: 2.39364 s	Remaining CPU time: 1797.61 s
2.37/2.44	c core #489
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 489
2.37/2.44	c Elapsed CPU time: 2.39963 s	Remaining CPU time: 1797.6 s
2.37/2.44	c core #490
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 490
2.37/2.44	c Elapsed CPU time: 2.40663 s	Remaining CPU time: 1797.59 s
2.37/2.45	c core #491
2.37/2.45	c Core size: 3	Core Weight: 1	Total Weight: 491
2.37/2.45	c Elapsed CPU time: 2.41163 s	Remaining CPU time: 1797.59 s
2.37/2.46	c core #492
2.37/2.46	c Core size: 3	Core Weight: 1	Total Weight: 492
2.37/2.46	c Elapsed CPU time: 2.41863 s	Remaining CPU time: 1797.58 s
2.37/2.46	c core #493
2.37/2.46	c Core size: 3	Core Weight: 1	Total Weight: 493
2.37/2.46	c Elapsed CPU time: 2.42363 s	Remaining CPU time: 1797.58 s
2.37/2.47	c core #494
2.37/2.47	c Core size: 3	Core Weight: 1	Total Weight: 494
2.37/2.47	c Elapsed CPU time: 2.43063 s	Remaining CPU time: 1797.57 s
2.37/2.48	c core #495
2.37/2.48	c Core size: 3	Core Weight: 1	Total Weight: 495
2.37/2.48	c Elapsed CPU time: 2.43663 s	Remaining CPU time: 1797.56 s
2.37/2.48	c core #496
2.37/2.48	c Core size: 3	Core Weight: 1	Total Weight: 496
2.37/2.48	c Elapsed CPU time: 2.44263 s	Remaining CPU time: 1797.56 s
2.37/2.49	c core #497
2.37/2.49	c Core size: 3	Core Weight: 1	Total Weight: 497
2.37/2.49	c Elapsed CPU time: 2.44863 s	Remaining CPU time: 1797.55 s
2.37/2.49	c core #498
2.37/2.49	c Core size: 3	Core Weight: 1	Total Weight: 498
2.37/2.49	c Elapsed CPU time: 2.45463 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #499
2.46/2.50	c Core size: 3	Core Weight: 1	Total Weight: 499
2.46/2.50	c Elapsed CPU time: 2.46062 s	Remaining CPU time: 1797.54 s
2.46/2.51	c core #500
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 500
2.46/2.51	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.46/2.51	c core #501
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 501
2.46/2.51	c Elapsed CPU time: 2.47262 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #502
2.46/2.52	c Core size: 3	Core Weight: 1	Total Weight: 502
2.46/2.52	c Elapsed CPU time: 2.47862 s	Remaining CPU time: 1797.52 s
2.46/2.53	c core #503
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 503
2.46/2.53	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 1797.51 s
2.46/2.53	c core #504
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 504
2.46/2.53	c Elapsed CPU time: 2.49162 s	Remaining CPU time: 1797.51 s
2.46/2.54	c core #505
2.46/2.54	c Core size: 3	Core Weight: 1	Total Weight: 505
2.46/2.54	c Elapsed CPU time: 2.49862 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #506
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 506
2.46/2.55	c Elapsed CPU time: 2.50462 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #507
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 507
2.46/2.55	c Elapsed CPU time: 2.51162 s	Remaining CPU time: 1797.49 s
2.46/2.56	c core #508
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 508
2.46/2.56	c Elapsed CPU time: 2.51762 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #509
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 509
2.46/2.57	c Elapsed CPU time: 2.52362 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #510
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 510
2.46/2.57	c Elapsed CPU time: 2.52961 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #511
2.46/2.58	c Core size: 3	Core Weight: 1	Total Weight: 511
2.46/2.58	c Elapsed CPU time: 2.53561 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #512
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 512
2.46/2.59	c Elapsed CPU time: 2.54161 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #513
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 513
2.46/2.59	c Elapsed CPU time: 2.54761 s	Remaining CPU time: 1797.45 s
2.57/2.60	c core #514
2.57/2.60	c Core size: 3	Core Weight: 1	Total Weight: 514
2.57/2.60	c Elapsed CPU time: 2.55361 s	Remaining CPU time: 1797.45 s
2.57/2.61	c core #515
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 515
2.57/2.61	c Elapsed CPU time: 2.56061 s	Remaining CPU time: 1797.44 s
2.57/2.61	c core #516
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 516
2.57/2.61	c Elapsed CPU time: 2.56661 s	Remaining CPU time: 1797.43 s
2.57/2.62	c core #517
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 517
2.57/2.62	c Elapsed CPU time: 2.57361 s	Remaining CPU time: 1797.43 s
2.57/2.62	c core #518
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 518
2.57/2.63	c Elapsed CPU time: 2.57961 s	Remaining CPU time: 1797.42 s
2.57/2.63	c core #519
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 519
2.57/2.63	c Elapsed CPU time: 2.58661 s	Remaining CPU time: 1797.41 s
2.57/2.64	c core #520
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 520
2.57/2.64	c Elapsed CPU time: 2.5926 s	Remaining CPU time: 1797.41 s
2.57/2.64	c core #521
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 521
2.57/2.64	c Elapsed CPU time: 2.5996 s	Remaining CPU time: 1797.4 s
2.57/2.65	c core #522
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 522
2.57/2.65	c Elapsed CPU time: 2.6056 s	Remaining CPU time: 1797.39 s
2.57/2.66	c core #523
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 523
2.57/2.66	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 1797.39 s
2.57/2.66	c core #524
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 524
2.57/2.66	c Elapsed CPU time: 2.6186 s	Remaining CPU time: 1797.38 s
2.57/2.67	c core #525
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 525
2.57/2.67	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 1797.38 s
2.57/2.68	c core #526
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 526
2.57/2.68	c Elapsed CPU time: 2.6316 s	Remaining CPU time: 1797.37 s
2.57/2.68	c core #527
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 527
2.57/2.68	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.57/2.69	c core #528
2.57/2.69	c Core size: 3	Core Weight: 1	Total Weight: 528
2.57/2.69	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.66/2.70	c core #529
2.66/2.70	c Core size: 3	Core Weight: 1	Total Weight: 529
2.66/2.70	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 1797.35 s
2.66/2.70	c core #530
2.66/2.70	c Core size: 3	Core Weight: 1	Total Weight: 530
2.66/2.70	c Elapsed CPU time: 2.6556 s	Remaining CPU time: 1797.34 s
2.66/2.71	c core #531
2.66/2.71	c Core size: 3	Core Weight: 1	Total Weight: 531
2.66/2.71	c Elapsed CPU time: 2.6626 s	Remaining CPU time: 1797.34 s
2.66/2.72	c core #532
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 532
2.66/2.72	c Elapsed CPU time: 2.66959 s	Remaining CPU time: 1797.33 s
2.66/2.72	c core #533
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 533
2.66/2.72	c Elapsed CPU time: 2.67559 s	Remaining CPU time: 1797.32 s
2.66/2.73	c core #534
2.66/2.73	c Core size: 3	Core Weight: 1	Total Weight: 534
2.66/2.73	c Elapsed CPU time: 2.68259 s	Remaining CPU time: 1797.32 s
2.66/2.74	c core #535
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 535
2.66/2.74	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 1797.31 s
2.66/2.74	c core #536
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 536
2.66/2.74	c Elapsed CPU time: 2.69659 s	Remaining CPU time: 1797.3 s
2.66/2.75	c core #537
2.66/2.75	c Core size: 3	Core Weight: 1	Total Weight: 537
2.66/2.75	c Elapsed CPU time: 2.70159 s	Remaining CPU time: 1797.3 s
2.66/2.76	c core #538
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 538
2.66/2.76	c Elapsed CPU time: 2.70859 s	Remaining CPU time: 1797.29 s
2.66/2.76	c core #539
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 539
2.66/2.76	c Elapsed CPU time: 2.71559 s	Remaining CPU time: 1797.28 s
2.66/2.77	c core #540
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 540
2.66/2.77	c Elapsed CPU time: 2.72159 s	Remaining CPU time: 1797.28 s
2.66/2.78	c core #541
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 541
2.66/2.78	c Elapsed CPU time: 2.72858 s	Remaining CPU time: 1797.27 s
2.66/2.78	c core #542
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 542
2.66/2.78	c Elapsed CPU time: 2.73558 s	Remaining CPU time: 1797.26 s
2.66/2.79	c core #543
2.66/2.79	c Core size: 3	Core Weight: 1	Total Weight: 543
2.66/2.79	c Elapsed CPU time: 2.74258 s	Remaining CPU time: 1797.26 s
2.76/2.80	c core #544
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 544
2.76/2.80	c Elapsed CPU time: 2.74858 s	Remaining CPU time: 1797.25 s
2.76/2.80	c core #545
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 545
2.76/2.80	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #546
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 546
2.76/2.81	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.76/2.82	c core #547
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 547
2.76/2.82	c Elapsed CPU time: 2.76758 s	Remaining CPU time: 1797.23 s
2.76/2.83	c core #548
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 548
2.76/2.83	c Elapsed CPU time: 2.77358 s	Remaining CPU time: 1797.23 s
2.76/2.83	c core #549
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 549
2.76/2.83	c Elapsed CPU time: 2.78058 s	Remaining CPU time: 1797.22 s
2.76/2.84	c core #550
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 550
2.76/2.84	c Elapsed CPU time: 2.78758 s	Remaining CPU time: 1797.21 s
2.76/2.84	c core #551
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 551
2.76/2.84	c Elapsed CPU time: 2.79358 s	Remaining CPU time: 1797.21 s
2.76/2.85	c core #552
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 552
2.76/2.85	c Elapsed CPU time: 2.80057 s	Remaining CPU time: 1797.2 s
2.76/2.86	c core #553
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 553
2.76/2.86	c Elapsed CPU time: 2.80657 s	Remaining CPU time: 1797.19 s
2.76/2.87	c core #554
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 554
2.76/2.87	c Elapsed CPU time: 2.81357 s	Remaining CPU time: 1797.19 s
2.76/2.87	c core #555
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 555
2.76/2.87	c Elapsed CPU time: 2.82057 s	Remaining CPU time: 1797.18 s
2.76/2.88	c core #556
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 556
2.76/2.88	c Elapsed CPU time: 2.82757 s	Remaining CPU time: 1797.17 s
2.76/2.89	c core #557
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 557
2.76/2.89	c Elapsed CPU time: 2.83357 s	Remaining CPU time: 1797.17 s
2.76/2.89	c core #558
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 558
2.76/2.89	c Elapsed CPU time: 2.83957 s	Remaining CPU time: 1797.16 s
2.86/2.90	c core #559
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 559
2.86/2.90	c Elapsed CPU time: 2.84657 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #560
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 560
2.86/2.91	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #561
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 561
2.86/2.91	c Elapsed CPU time: 2.86057 s	Remaining CPU time: 1797.14 s
2.86/2.92	c core #562
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 562
2.86/2.92	c Elapsed CPU time: 2.86756 s	Remaining CPU time: 1797.13 s
2.86/2.93	c core #563
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 563
2.86/2.93	c Elapsed CPU time: 2.87356 s	Remaining CPU time: 1797.13 s
2.86/2.93	c core #564
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.93	c Elapsed CPU time: 2.88056 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #565
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.94	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 1797.11 s
2.86/2.95	c core #566
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.95	c Elapsed CPU time: 2.89456 s	Remaining CPU time: 1797.11 s
2.86/2.95	c core #567
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.95	c Elapsed CPU time: 2.90156 s	Remaining CPU time: 1797.1 s
2.86/2.96	c core #568
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.96	c Elapsed CPU time: 2.90756 s	Remaining CPU time: 1797.09 s
2.86/2.97	c core #569
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.97	c Elapsed CPU time: 2.91356 s	Remaining CPU time: 1797.09 s
2.86/2.97	c core #570
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.97	c Elapsed CPU time: 2.92056 s	Remaining CPU time: 1797.08 s
2.86/2.98	c core #571
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 571
2.86/2.98	c Elapsed CPU time: 2.92755 s	Remaining CPU time: 1797.07 s
2.86/2.99	c core #572
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 572
2.86/2.99	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 1797.07 s
2.86/2.99	c core #573
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 573
2.86/2.99	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 1797.06 s
2.96/3.00	c core #574
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 574
2.96/3.00	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.96/3.01	c core #575
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 575
2.96/3.01	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 1797.05 s
2.96/3.01	c core #576
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 576
2.96/3.01	c Elapsed CPU time: 2.95955 s	Remaining CPU time: 1797.04 s
2.96/3.02	c core #577
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 577
2.96/3.02	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 1797.03 s
2.96/3.03	c core #578
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 578
2.96/3.03	c Elapsed CPU time: 2.97355 s	Remaining CPU time: 1797.03 s
2.96/3.03	c core #579
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 579
2.96/3.03	c Elapsed CPU time: 2.98055 s	Remaining CPU time: 1797.02 s
2.96/3.04	c core #580
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 580
2.96/3.04	c Elapsed CPU time: 2.98655 s	Remaining CPU time: 1797.01 s
2.96/3.05	c core #581
2.96/3.05	c Core size: 3	Core Weight: 1	Total Weight: 581
2.96/3.05	c Elapsed CPU time: 2.99254 s	Remaining CPU time: 1797.01 s
2.96/3.06	c core #582
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 582
2.96/3.06	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 1797 s
2.96/3.06	c core #583
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 583
2.96/3.06	c Elapsed CPU time: 3.00554 s	Remaining CPU time: 1796.99 s
2.96/3.07	c core #584
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 584
2.96/3.07	c Elapsed CPU time: 3.01154 s	Remaining CPU time: 1796.99 s
2.96/3.08	c core #585
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 585
2.96/3.08	c Elapsed CPU time: 3.01854 s	Remaining CPU time: 1796.98 s
2.96/3.08	c core #586
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 586
2.96/3.08	c Elapsed CPU time: 3.02554 s	Remaining CPU time: 1796.97 s
2.96/3.09	c core #587
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 587
2.96/3.09	c Elapsed CPU time: 3.03254 s	Remaining CPU time: 1796.97 s
3.05/3.10	c core #588
3.05/3.10	c Core size: 3	Core Weight: 1	Total Weight: 588
3.05/3.10	c Elapsed CPU time: 3.03954 s	Remaining CPU time: 1796.96 s
3.05/3.10	c core #589
3.05/3.10	c Core size: 3	Core Weight: 1	Total Weight: 589
3.05/3.10	c Elapsed CPU time: 3.04654 s	Remaining CPU time: 1796.95 s
3.05/3.11	c core #590
3.05/3.11	c Core size: 3	Core Weight: 1	Total Weight: 590
3.05/3.11	c Elapsed CPU time: 3.05354 s	Remaining CPU time: 1796.95 s
3.05/3.12	c core #591
3.05/3.12	c Core size: 3	Core Weight: 1	Total Weight: 591
3.05/3.12	c Elapsed CPU time: 3.06053 s	Remaining CPU time: 1796.94 s
3.05/3.13	c core #592
3.05/3.13	c Core size: 3	Core Weight: 1	Total Weight: 592
3.05/3.13	c Elapsed CPU time: 3.06753 s	Remaining CPU time: 1796.93 s
3.05/3.13	c core #593
3.05/3.13	c Core size: 3	Core Weight: 1	Total Weight: 593
3.05/3.13	c Elapsed CPU time: 3.07453 s	Remaining CPU time: 1796.93 s
3.05/3.14	c core #594
3.05/3.14	c Core size: 3	Core Weight: 1	Total Weight: 594
3.05/3.14	c Elapsed CPU time: 3.08053 s	Remaining CPU time: 1796.92 s
3.05/3.15	c core #595
3.05/3.15	c Core size: 3	Core Weight: 1	Total Weight: 595
3.05/3.15	c Elapsed CPU time: 3.08753 s	Remaining CPU time: 1796.91 s
3.05/3.15	c core #596
3.05/3.15	c Core size: 3	Core Weight: 1	Total Weight: 596
3.05/3.15	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.05/3.16	c core #597
3.05/3.16	c Core size: 3	Core Weight: 1	Total Weight: 597
3.05/3.16	c Elapsed CPU time: 3.10153 s	Remaining CPU time: 1796.9 s
3.05/3.17	c core #598
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 598
3.05/3.17	c Elapsed CPU time: 3.10853 s	Remaining CPU time: 1796.89 s
3.05/3.17	c core #599
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 599
3.05/3.17	c Elapsed CPU time: 3.11553 s	Remaining CPU time: 1796.88 s
3.05/3.18	c core #600
3.05/3.18	c Core size: 3	Core Weight: 1	Total Weight: 600
3.05/3.18	c Elapsed CPU time: 3.12252 s	Remaining CPU time: 1796.88 s
3.05/3.19	c core #601
3.05/3.19	c Core size: 3	Core Weight: 1	Total Weight: 601
3.05/3.19	c Elapsed CPU time: 3.12952 s	Remaining CPU time: 1796.87 s
3.05/3.20	c core #602
3.05/3.20	c Core size: 3	Core Weight: 1	Total Weight: 602
3.05/3.20	c Elapsed CPU time: 3.13652 s	Remaining CPU time: 1796.86 s
3.15/3.20	c core #603
3.15/3.20	c Core size: 3	Core Weight: 1	Total Weight: 603
3.15/3.20	c Elapsed CPU time: 3.14352 s	Remaining CPU time: 1796.86 s
3.15/3.21	c core #604
3.15/3.21	c Core size: 3	Core Weight: 1	Total Weight: 604
3.15/3.21	c Elapsed CPU time: 3.15052 s	Remaining CPU time: 1796.85 s
3.15/3.22	c core #605
3.15/3.22	c Core size: 3	Core Weight: 1	Total Weight: 605
3.15/3.22	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 1796.84 s
3.15/3.22	c core #606
3.15/3.22	c Core size: 3	Core Weight: 1	Total Weight: 606
3.15/3.22	c Elapsed CPU time: 3.16352 s	Remaining CPU time: 1796.84 s
3.15/3.23	c core #607
3.15/3.23	c Core size: 3	Core Weight: 1	Total Weight: 607
3.15/3.23	c Elapsed CPU time: 3.17052 s	Remaining CPU time: 1796.83 s
3.15/3.24	c core #608
3.15/3.24	c Core size: 3	Core Weight: 1	Total Weight: 608
3.15/3.24	c Elapsed CPU time: 3.17652 s	Remaining CPU time: 1796.82 s
3.15/3.24	c core #609
3.15/3.24	c Core size: 3	Core Weight: 1	Total Weight: 609
3.15/3.24	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 1796.82 s
3.15/3.25	c core #610
3.15/3.25	c Core size: 3	Core Weight: 1	Total Weight: 610
3.15/3.25	c Elapsed CPU time: 3.19151 s	Remaining CPU time: 1796.81 s
3.15/3.26	c core #611
3.15/3.26	c Core size: 3	Core Weight: 1	Total Weight: 611
3.15/3.26	c Elapsed CPU time: 3.19851 s	Remaining CPU time: 1796.8 s
3.15/3.27	c core #612
3.15/3.27	c Core size: 3	Core Weight: 1	Total Weight: 612
3.15/3.27	c Elapsed CPU time: 3.20551 s	Remaining CPU time: 1796.79 s
3.15/3.27	c core #613
3.15/3.27	c Core size: 3	Core Weight: 1	Total Weight: 613
3.15/3.27	c Elapsed CPU time: 3.21251 s	Remaining CPU time: 1796.79 s
3.15/3.28	c core #614
3.15/3.28	c Core size: 3	Core Weight: 1	Total Weight: 614
3.15/3.28	c Elapsed CPU time: 3.21951 s	Remaining CPU time: 1796.78 s
3.15/3.29	c core #615
3.15/3.29	c Core size: 3	Core Weight: 1	Total Weight: 615
3.15/3.29	c Elapsed CPU time: 3.22651 s	Remaining CPU time: 1796.77 s
3.15/3.29	c core #616
3.15/3.29	c Core size: 3	Core Weight: 1	Total Weight: 616
3.15/3.29	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.25/3.30	c core #617
3.25/3.30	c Core size: 3	Core Weight: 1	Total Weight: 617
3.25/3.30	c Elapsed CPU time: 3.24051 s	Remaining CPU time: 1796.76 s
3.25/3.31	c core #618
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 618
3.25/3.31	c Elapsed CPU time: 3.24751 s	Remaining CPU time: 1796.75 s
3.25/3.31	c core #619
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 619
3.25/3.31	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 1796.75 s
3.25/3.32	c core #620
3.25/3.32	c Core size: 3	Core Weight: 1	Total Weight: 620
3.25/3.32	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 1796.74 s
3.25/3.33	c core #621
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 621
3.25/3.33	c Elapsed CPU time: 3.2695 s	Remaining CPU time: 1796.73 s
3.25/3.34	c core #622
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 622
3.25/3.34	c Elapsed CPU time: 3.2765 s	Remaining CPU time: 1796.72 s
3.25/3.34	c core #623
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 623
3.25/3.34	c Elapsed CPU time: 3.2835 s	Remaining CPU time: 1796.72 s
3.25/3.35	c core #624
3.25/3.35	c Core size: 3	Core Weight: 1	Total Weight: 624
3.25/3.35	c Elapsed CPU time: 3.2905 s	Remaining CPU time: 1796.71 s
3.25/3.36	c core #625
3.25/3.36	c Core size: 3	Core Weight: 1	Total Weight: 625
3.25/3.36	c Elapsed CPU time: 3.2985 s	Remaining CPU time: 1796.7 s
3.25/3.37	c core #626
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 626
3.25/3.37	c Elapsed CPU time: 3.3055 s	Remaining CPU time: 1796.69 s
3.25/3.37	c core #627
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 627
3.25/3.37	c Elapsed CPU time: 3.3125 s	Remaining CPU time: 1796.69 s
3.25/3.38	c core #628
3.25/3.38	c Core size: 3	Core Weight: 1	Total Weight: 628
3.25/3.38	c Elapsed CPU time: 3.31949 s	Remaining CPU time: 1796.68 s
3.25/3.39	c core #629
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 629
3.25/3.39	c Elapsed CPU time: 3.32649 s	Remaining CPU time: 1796.67 s
3.25/3.39	c core #630
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 630
3.25/3.39	c Elapsed CPU time: 3.33349 s	Remaining CPU time: 1796.67 s
3.35/3.40	c core #631
3.35/3.40	c Core size: 3	Core Weight: 1	Total Weight: 631
3.35/3.40	c Elapsed CPU time: 3.34049 s	Remaining CPU time: 1796.66 s
3.35/3.41	c core #632
3.35/3.41	c Core size: 3	Core Weight: 1	Total Weight: 632
3.35/3.41	c Elapsed CPU time: 3.34749 s	Remaining CPU time: 1796.65 s
3.35/3.42	c core #633
3.35/3.42	c Core size: 3	Core Weight: 1	Total Weight: 633
3.35/3.42	c Elapsed CPU time: 3.35449 s	Remaining CPU time: 1796.65 s
3.35/3.42	c core #634
3.35/3.42	c Core size: 3	Core Weight: 1	Total Weight: 634
3.35/3.42	c Elapsed CPU time: 3.36049 s	Remaining CPU time: 1796.64 s
3.35/3.43	c core #635
3.35/3.43	c Core size: 3	Core Weight: 1	Total Weight: 635
3.35/3.43	c Elapsed CPU time: 3.36749 s	Remaining CPU time: 1796.63 s
3.35/3.44	c core #636
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 636
3.35/3.44	c Elapsed CPU time: 3.37549 s	Remaining CPU time: 1796.62 s
3.35/3.44	c core #637
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 637
3.35/3.44	c Elapsed CPU time: 3.38248 s	Remaining CPU time: 1796.62 s
3.35/3.45	c core #638
3.35/3.45	c Core size: 3	Core Weight: 1	Total Weight: 638
3.35/3.45	c Elapsed CPU time: 3.38948 s	Remaining CPU time: 1796.61 s
3.35/3.46	c core #639
3.35/3.46	c Core size: 3	Core Weight: 1	Total Weight: 639
3.35/3.46	c Elapsed CPU time: 3.39648 s	Remaining CPU time: 1796.6 s
3.35/3.47	c core #640
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 640
3.35/3.47	c Elapsed CPU time: 3.40348 s	Remaining CPU time: 1796.6 s
3.35/3.47	c core #641
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 641
3.35/3.47	c Elapsed CPU time: 3.41048 s	Remaining CPU time: 1796.59 s
3.35/3.48	c core #642
3.35/3.48	c Core size: 3	Core Weight: 1	Total Weight: 642
3.35/3.48	c Elapsed CPU time: 3.41748 s	Remaining CPU time: 1796.58 s
3.35/3.49	c core #643
3.35/3.49	c Core size: 3	Core Weight: 1	Total Weight: 643
3.35/3.49	c Elapsed CPU time: 3.42448 s	Remaining CPU time: 1796.58 s
3.35/3.49	c core #644
3.35/3.49	c Core size: 3	Core Weight: 1	Total Weight: 644
3.35/3.49	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 1796.57 s
3.45/3.50	c core #645
3.45/3.50	c Core size: 3	Core Weight: 1	Total Weight: 645
3.45/3.50	c Elapsed CPU time: 3.43848 s	Remaining CPU time: 1796.56 s
3.45/3.51	c core #646
3.45/3.51	c Core size: 3	Core Weight: 1	Total Weight: 646
3.45/3.51	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.45/3.52	c core #647
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 647
3.45/3.52	c Elapsed CPU time: 3.45248 s	Remaining CPU time: 1796.55 s
3.45/3.52	c core #648
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 648
3.45/3.52	c Elapsed CPU time: 3.45947 s	Remaining CPU time: 1796.54 s
3.45/3.53	c core #649
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 649
3.45/3.53	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.45/3.54	c core #650
3.45/3.54	c Core size: 3	Core Weight: 1	Total Weight: 650
3.45/3.54	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.45/3.55	c core #651
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 651
3.45/3.55	c Elapsed CPU time: 3.48247 s	Remaining CPU time: 1796.52 s
3.45/3.55	c core #652
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 652
3.45/3.55	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 1796.51 s
3.45/3.56	c core #653
3.45/3.56	c Core size: 3	Core Weight: 1	Total Weight: 653
3.45/3.56	c Elapsed CPU time: 3.49647 s	Remaining CPU time: 1796.5 s
3.45/3.57	c core #654
3.45/3.57	c Core size: 3	Core Weight: 1	Total Weight: 654
3.45/3.57	c Elapsed CPU time: 3.50347 s	Remaining CPU time: 1796.5 s
3.45/3.58	c core #655
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 655
3.45/3.58	c Elapsed CPU time: 3.51047 s	Remaining CPU time: 1796.49 s
3.45/3.58	c core #656
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 656
3.45/3.58	c Elapsed CPU time: 3.51846 s	Remaining CPU time: 1796.48 s
3.45/3.59	c core #657
3.45/3.59	c Core size: 3	Core Weight: 1	Total Weight: 657
3.45/3.59	c Elapsed CPU time: 3.52546 s	Remaining CPU time: 1796.47 s
3.55/3.60	c core #658
3.55/3.60	c Core size: 3	Core Weight: 1	Total Weight: 658
3.55/3.60	c Elapsed CPU time: 3.53346 s	Remaining CPU time: 1796.47 s
3.55/3.61	c core #659
3.55/3.61	c Core size: 3	Core Weight: 1	Total Weight: 659
3.55/3.61	c Elapsed CPU time: 3.54046 s	Remaining CPU time: 1796.46 s
3.55/3.61	c core #660
3.55/3.61	c Core size: 3	Core Weight: 1	Total Weight: 660
3.55/3.61	c Elapsed CPU time: 3.54846 s	Remaining CPU time: 1796.45 s
3.55/3.62	c core #661
3.55/3.62	c Core size: 3	Core Weight: 1	Total Weight: 661
3.55/3.62	c Elapsed CPU time: 3.55546 s	Remaining CPU time: 1796.44 s
3.55/3.63	c core #662
3.55/3.63	c Core size: 3	Core Weight: 1	Total Weight: 662
3.55/3.63	c Elapsed CPU time: 3.56346 s	Remaining CPU time: 1796.44 s
3.55/3.64	c core #663
3.55/3.64	c Core size: 3	Core Weight: 1	Total Weight: 663
3.55/3.64	c Elapsed CPU time: 3.57046 s	Remaining CPU time: 1796.43 s
3.55/3.64	c core #664
3.55/3.64	c Core size: 3	Core Weight: 1	Total Weight: 664
3.55/3.64	c Elapsed CPU time: 3.57746 s	Remaining CPU time: 1796.42 s
3.55/3.65	c core #665
3.55/3.65	c Core size: 3	Core Weight: 1	Total Weight: 665
3.55/3.65	c Elapsed CPU time: 3.58446 s	Remaining CPU time: 1796.42 s
3.55/3.66	c core #666
3.55/3.66	c Core size: 3	Core Weight: 1	Total Weight: 666
3.55/3.66	c Elapsed CPU time: 3.59145 s	Remaining CPU time: 1796.41 s
3.55/3.67	c core #667
3.55/3.67	c Core size: 3	Core Weight: 1	Total Weight: 667
3.55/3.67	c Elapsed CPU time: 3.59845 s	Remaining CPU time: 1796.4 s
3.55/3.67	c core #668
3.55/3.67	c Core size: 3	Core Weight: 1	Total Weight: 668
3.55/3.67	c Elapsed CPU time: 3.60545 s	Remaining CPU time: 1796.39 s
3.55/3.68	c core #669
3.55/3.68	c Core size: 3	Core Weight: 1	Total Weight: 669
3.55/3.68	c Elapsed CPU time: 3.61345 s	Remaining CPU time: 1796.39 s
3.55/3.69	c core #670
3.55/3.69	c Core size: 3	Core Weight: 1	Total Weight: 670
3.55/3.69	c Elapsed CPU time: 3.62045 s	Remaining CPU time: 1796.38 s
3.55/3.70	c core #671
3.55/3.70	c Core size: 3	Core Weight: 1	Total Weight: 671
3.65/3.70	c Elapsed CPU time: 3.62745 s	Remaining CPU time: 1796.37 s
3.65/3.70	c core #672
3.65/3.70	c Core size: 3	Core Weight: 1	Total Weight: 672
3.65/3.70	c Elapsed CPU time: 3.63545 s	Remaining CPU time: 1796.36 s
3.65/3.71	c core #673
3.65/3.71	c Core size: 3	Core Weight: 1	Total Weight: 673
3.65/3.71	c Elapsed CPU time: 3.64245 s	Remaining CPU time: 1796.36 s
3.65/3.72	c core #674
3.65/3.72	c Core size: 3	Core Weight: 1	Total Weight: 674
3.65/3.72	c Elapsed CPU time: 3.64945 s	Remaining CPU time: 1796.35 s
3.65/3.73	c core #675
3.65/3.73	c Core size: 3	Core Weight: 1	Total Weight: 675
3.65/3.73	c Elapsed CPU time: 3.65744 s	Remaining CPU time: 1796.34 s
3.65/3.73	c core #676
3.65/3.73	c Core size: 3	Core Weight: 1	Total Weight: 676
3.65/3.73	c Elapsed CPU time: 3.66444 s	Remaining CPU time: 1796.34 s
3.65/3.74	c core #677
3.65/3.74	c Core size: 3	Core Weight: 1	Total Weight: 677
3.65/3.74	c Elapsed CPU time: 3.67144 s	Remaining CPU time: 1796.33 s
3.65/3.75	c core #678
3.65/3.75	c Core size: 3	Core Weight: 1	Total Weight: 678
3.65/3.75	c Elapsed CPU time: 3.67844 s	Remaining CPU time: 1796.32 s
3.65/3.76	c core #679
3.65/3.76	c Core size: 3	Core Weight: 1	Total Weight: 679
3.65/3.76	c Elapsed CPU time: 3.68544 s	Remaining CPU time: 1796.31 s
3.65/3.76	c core #680
3.65/3.76	c Core size: 3	Core Weight: 1	Total Weight: 680
3.65/3.76	c Elapsed CPU time: 3.69344 s	Remaining CPU time: 1796.31 s
3.65/3.77	c core #681
3.65/3.77	c Core size: 3	Core Weight: 1	Total Weight: 681
3.65/3.77	c Elapsed CPU time: 3.70044 s	Remaining CPU time: 1796.3 s
3.65/3.78	c core #682
3.65/3.78	c Core size: 3	Core Weight: 1	Total Weight: 682
3.65/3.78	c Elapsed CPU time: 3.70744 s	Remaining CPU time: 1796.29 s
3.65/3.79	c core #683
3.65/3.79	c Core size: 3	Core Weight: 1	Total Weight: 683
3.65/3.79	c Elapsed CPU time: 3.71443 s	Remaining CPU time: 1796.29 s
3.65/3.79	c core #684
3.65/3.79	c Core size: 3	Core Weight: 1	Total Weight: 684
3.65/3.79	c Elapsed CPU time: 3.72243 s	Remaining CPU time: 1796.28 s
3.75/3.80	c core #685
3.75/3.80	c Core size: 3	Core Weight: 1	Total Weight: 685
3.75/3.80	c Elapsed CPU time: 3.73043 s	Remaining CPU time: 1796.27 s
3.75/3.81	c core #686
3.75/3.81	c Core size: 3	Core Weight: 1	Total Weight: 686
3.75/3.81	c Elapsed CPU time: 3.73743 s	Remaining CPU time: 1796.26 s
3.75/3.82	c core #687
3.75/3.82	c Core size: 3	Core Weight: 1	Total Weight: 687
3.75/3.82	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
3.75/3.82	c core #688
3.75/3.82	c Core size: 3	Core Weight: 1	Total Weight: 688
3.75/3.82	c Elapsed CPU time: 3.75243 s	Remaining CPU time: 1796.25 s
3.75/3.83	c core #689
3.75/3.83	c Core size: 3	Core Weight: 1	Total Weight: 689
3.75/3.83	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.75/3.84	c core #690
3.75/3.84	c Core size: 3	Core Weight: 1	Total Weight: 690
3.75/3.84	c Elapsed CPU time: 3.76743 s	Remaining CPU time: 1796.23 s
3.75/3.85	c core #691
3.75/3.85	c Core size: 3	Core Weight: 1	Total Weight: 691
3.75/3.85	c Elapsed CPU time: 3.77543 s	Remaining CPU time: 1796.22 s
3.75/3.85	c core #692
3.75/3.85	c Core size: 3	Core Weight: 1	Total Weight: 692
3.75/3.85	c Elapsed CPU time: 3.78342 s	Remaining CPU time: 1796.22 s
3.75/3.86	c core #693
3.75/3.86	c Core size: 3	Core Weight: 1	Total Weight: 693
3.75/3.86	c Elapsed CPU time: 3.79142 s	Remaining CPU time: 1796.21 s
3.75/3.87	c core #694
3.75/3.87	c Core size: 3	Core Weight: 1	Total Weight: 694
3.75/3.87	c Elapsed CPU time: 3.79842 s	Remaining CPU time: 1796.2 s
3.75/3.88	c core #695
3.75/3.88	c Core size: 3	Core Weight: 1	Total Weight: 695
3.75/3.88	c Elapsed CPU time: 3.80642 s	Remaining CPU time: 1796.19 s
3.75/3.89	c core #696
3.75/3.89	c Core size: 3	Core Weight: 1	Total Weight: 696
3.75/3.89	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 1796.19 s
3.75/3.89	c core #697
3.75/3.89	c Core size: 3	Core Weight: 1	Total Weight: 697
3.75/3.89	c Elapsed CPU time: 3.82142 s	Remaining CPU time: 1796.18 s
3.85/3.90	c core #698
3.85/3.90	c Core size: 3	Core Weight: 1	Total Weight: 698
3.85/3.90	c Elapsed CPU time: 3.82942 s	Remaining CPU time: 1796.17 s
3.85/3.91	c core #699
3.85/3.91	c Core size: 3	Core Weight: 1	Total Weight: 699
3.85/3.91	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.85/3.92	c core #700
3.85/3.92	c Core size: 3	Core Weight: 1	Total Weight: 700
3.85/3.92	c Elapsed CPU time: 3.84342 s	Remaining CPU time: 1796.16 s
3.85/3.92	c core #701
3.85/3.92	c Core size: 3	Core Weight: 1	Total Weight: 701
3.85/3.92	c Elapsed CPU time: 3.85141 s	Remaining CPU time: 1796.15 s
3.85/3.93	c core #702
3.85/3.93	c Core size: 3	Core Weight: 1	Total Weight: 702
3.85/3.93	c Elapsed CPU time: 3.85841 s	Remaining CPU time: 1796.14 s
3.85/3.94	c core #703
3.85/3.94	c Core size: 3	Core Weight: 1	Total Weight: 703
3.85/3.94	c Elapsed CPU time: 3.86541 s	Remaining CPU time: 1796.13 s
3.85/3.95	c core #704
3.85/3.95	c Core size: 3	Core Weight: 1	Total Weight: 704
3.85/3.95	c Elapsed CPU time: 3.87341 s	Remaining CPU time: 1796.13 s
3.85/3.95	c core #705
3.85/3.95	c Core size: 3	Core Weight: 1	Total Weight: 705
3.85/3.95	c Elapsed CPU time: 3.88041 s	Remaining CPU time: 1796.12 s
3.85/3.96	c core #706
3.85/3.96	c Core size: 3	Core Weight: 1	Total Weight: 706
3.85/3.96	c Elapsed CPU time: 3.88741 s	Remaining CPU time: 1796.11 s
3.85/3.97	c core #707
3.85/3.97	c Core size: 3	Core Weight: 1	Total Weight: 707
3.85/3.97	c Elapsed CPU time: 3.89441 s	Remaining CPU time: 1796.11 s
3.85/3.98	c core #708
3.85/3.98	c Core size: 3	Core Weight: 1	Total Weight: 708
3.85/3.98	c Elapsed CPU time: 3.90141 s	Remaining CPU time: 1796.1 s
3.85/3.98	c core #709
3.85/3.98	c Core size: 3	Core Weight: 1	Total Weight: 709
3.85/3.98	c Elapsed CPU time: 3.90841 s	Remaining CPU time: 1796.09 s
3.85/3.99	c core #710
3.85/3.99	c Core size: 3	Core Weight: 1	Total Weight: 710
3.85/3.99	c Elapsed CPU time: 3.9164 s	Remaining CPU time: 1796.08 s
3.95/4.00	c core #711
3.95/4.00	c Core size: 3	Core Weight: 1	Total Weight: 711
3.95/4.00	c Elapsed CPU time: 3.9244 s	Remaining CPU time: 1796.08 s
3.95/4.01	c core #712
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 712
3.95/4.01	c Elapsed CPU time: 3.9324 s	Remaining CPU time: 1796.07 s
3.95/4.02	c core #713
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 713
3.95/4.02	c Elapsed CPU time: 3.9394 s	Remaining CPU time: 1796.06 s
3.95/4.02	c core #714
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 714
3.95/4.02	c Elapsed CPU time: 3.9474 s	Remaining CPU time: 1796.05 s
3.95/4.03	c core #715
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 715
3.95/4.03	c Elapsed CPU time: 3.9554 s	Remaining CPU time: 1796.04 s
3.95/4.04	c core #716
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 716
3.95/4.04	c Elapsed CPU time: 3.9634 s	Remaining CPU time: 1796.04 s
3.95/4.05	c core #717
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 717
3.95/4.05	c Elapsed CPU time: 3.9714 s	Remaining CPU time: 1796.03 s
3.95/4.05	c core #718
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 718
3.95/4.05	c Elapsed CPU time: 3.97839 s	Remaining CPU time: 1796.02 s
3.95/4.06	c core #719
3.95/4.06	c Core size: 3	Core Weight: 1	Total Weight: 719
3.95/4.06	c Elapsed CPU time: 3.98539 s	Remaining CPU time: 1796.01 s
3.95/4.07	c core #720
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 720
3.95/4.07	c Elapsed CPU time: 3.99339 s	Remaining CPU time: 1796.01 s
3.95/4.08	c core #721
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 721
3.95/4.08	c Elapsed CPU time: 4.00139 s	Remaining CPU time: 1796 s
3.95/4.09	c core #722
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 722
3.95/4.09	c Elapsed CPU time: 4.00939 s	Remaining CPU time: 1795.99 s
3.95/4.09	c core #723
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 723
3.95/4.09	c Elapsed CPU time: 4.01739 s	Remaining CPU time: 1795.98 s
4.04/4.10	c core #724
4.04/4.10	c Core size: 3	Core Weight: 1	Total Weight: 724
4.04/4.10	c Elapsed CPU time: 4.02439 s	Remaining CPU time: 1795.98 s
4.04/4.11	c core #725
4.04/4.11	c Core size: 3	Core Weight: 1	Total Weight: 725
4.04/4.11	c Elapsed CPU time: 4.03139 s	Remaining CPU time: 1795.97 s
4.04/4.12	c core #726
4.04/4.12	c Core size: 3	Core Weight: 1	Total Weight: 726
4.04/4.12	c Elapsed CPU time: 4.03839 s	Remaining CPU time: 1795.96 s
4.04/4.13	c core #727
4.04/4.13	c Core size: 3	Core Weight: 1	Total Weight: 727
4.04/4.13	c Elapsed CPU time: 4.04538 s	Remaining CPU time: 1795.95 s
4.04/4.13	c core #728
4.04/4.13	c Core size: 3	Core Weight: 1	Total Weight: 728
4.04/4.13	c Elapsed CPU time: 4.05338 s	Remaining CPU time: 1795.95 s
4.04/4.14	c core #729
4.04/4.14	c Core size: 3	Core Weight: 1	Total Weight: 729
4.04/4.14	c Elapsed CPU time: 4.06038 s	Remaining CPU time: 1795.94 s
4.04/4.15	c core #730
4.04/4.15	c Core size: 3	Core Weight: 1	Total Weight: 730
4.04/4.15	c Elapsed CPU time: 4.06738 s	Remaining CPU time: 1795.93 s
4.04/4.16	c core #731
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 731
4.04/4.16	c Elapsed CPU time: 4.07538 s	Remaining CPU time: 1795.92 s
4.04/4.16	c core #732
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 732
4.04/4.17	c Elapsed CPU time: 4.08338 s	Remaining CPU time: 1795.92 s
4.04/4.17	c core #733
4.04/4.17	c Core size: 3	Core Weight: 1	Total Weight: 733
4.04/4.17	c Elapsed CPU time: 4.09138 s	Remaining CPU time: 1795.91 s
4.04/4.18	c core #734
4.04/4.18	c Core size: 3	Core Weight: 1	Total Weight: 734
4.04/4.18	c Elapsed CPU time: 4.09938 s	Remaining CPU time: 1795.9 s
4.04/4.19	c core #735
4.04/4.19	c Core size: 3	Core Weight: 1	Total Weight: 735
4.04/4.19	c Elapsed CPU time: 4.10738 s	Remaining CPU time: 1795.89 s
4.14/4.20	c core #736
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 736
4.14/4.20	c Elapsed CPU time: 4.11537 s	Remaining CPU time: 1795.88 s
4.14/4.20	c core #737
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 737
4.14/4.21	c Elapsed CPU time: 4.12337 s	Remaining CPU time: 1795.88 s
4.14/4.21	c core #738
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 738
4.14/4.21	c Elapsed CPU time: 4.13137 s	Remaining CPU time: 1795.87 s
4.14/4.22	c core #739
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 739
4.14/4.22	c Elapsed CPU time: 4.13937 s	Remaining CPU time: 1795.86 s
4.14/4.23	c core #740
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 740
4.14/4.23	c Elapsed CPU time: 4.14737 s	Remaining CPU time: 1795.85 s
4.14/4.24	c core #741
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 741
4.14/4.24	c Elapsed CPU time: 4.15537 s	Remaining CPU time: 1795.84 s
4.14/4.24	c core #742
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 742
4.14/4.24	c Elapsed CPU time: 4.16337 s	Remaining CPU time: 1795.84 s
4.14/4.25	c core #743
4.14/4.25	c Core size: 3	Core Weight: 1	Total Weight: 743
4.14/4.25	c Elapsed CPU time: 4.17136 s	Remaining CPU time: 1795.83 s
4.14/4.26	c core #744
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 744
4.14/4.26	c Elapsed CPU time: 4.17836 s	Remaining CPU time: 1795.82 s
4.14/4.27	c core #745
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 745
4.14/4.27	c Elapsed CPU time: 4.18536 s	Remaining CPU time: 1795.81 s
4.14/4.28	c core #746
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 746
4.14/4.28	c Elapsed CPU time: 4.19336 s	Remaining CPU time: 1795.81 s
4.14/4.28	c core #747
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 747
4.14/4.28	c Elapsed CPU time: 4.20036 s	Remaining CPU time: 1795.8 s
4.14/4.29	c core #748
4.14/4.29	c Core size: 3	Core Weight: 1	Total Weight: 748
4.14/4.29	c Elapsed CPU time: 4.20736 s	Remaining CPU time: 1795.79 s
4.24/4.30	c core #749
4.24/4.30	c Core size: 3	Core Weight: 1	Total Weight: 749
4.24/4.30	c Elapsed CPU time: 4.21536 s	Remaining CPU time: 1795.78 s
4.24/4.31	c core #750
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 750
4.24/4.31	c Elapsed CPU time: 4.22336 s	Remaining CPU time: 1795.78 s
4.24/4.32	c core #751
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 751
4.24/4.32	c Elapsed CPU time: 4.23136 s	Remaining CPU time: 1795.77 s
4.24/4.32	c core #752
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 752
4.24/4.32	c Elapsed CPU time: 4.23935 s	Remaining CPU time: 1795.76 s
4.24/4.33	c core #753
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 753
4.24/4.33	c Elapsed CPU time: 4.24735 s	Remaining CPU time: 1795.75 s
4.24/4.34	c core #754
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 754
4.24/4.34	c Elapsed CPU time: 4.25535 s	Remaining CPU time: 1795.74 s
4.24/4.35	c core #755
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 755
4.24/4.35	c Elapsed CPU time: 4.26335 s	Remaining CPU time: 1795.74 s
4.24/4.36	c core #756
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 756
4.24/4.36	c Elapsed CPU time: 4.27135 s	Remaining CPU time: 1795.73 s
4.24/4.36	c core #757
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 757
4.24/4.36	c Elapsed CPU time: 4.27935 s	Remaining CPU time: 1795.72 s
4.24/4.37	c core #758
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 758
4.24/4.37	c Elapsed CPU time: 4.28735 s	Remaining CPU time: 1795.71 s
4.24/4.38	c core #759
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 759
4.24/4.38	c Elapsed CPU time: 4.29535 s	Remaining CPU time: 1795.7 s
4.24/4.39	c core #760
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 760
4.24/4.39	c Elapsed CPU time: 4.30335 s	Remaining CPU time: 1795.7 s
4.24/4.40	c core #761
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 761
4.24/4.40	c Elapsed CPU time: 4.31134 s	Remaining CPU time: 1795.69 s
4.34/4.41	c core #762
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 762
4.34/4.41	c Elapsed CPU time: 4.31934 s	Remaining CPU time: 1795.68 s
4.34/4.41	c core #763
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 763
4.34/4.41	c Elapsed CPU time: 4.32734 s	Remaining CPU time: 1795.67 s
4.34/4.42	c core #764
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 764
4.34/4.42	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 1795.66 s
4.34/4.43	c core #765
4.34/4.43	c Core size: 3	Core Weight: 1	Total Weight: 765
4.34/4.43	c Elapsed CPU time: 4.34334 s	Remaining CPU time: 1795.66 s
4.34/4.44	c core #766
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 766
4.34/4.44	c Elapsed CPU time: 4.35134 s	Remaining CPU time: 1795.65 s
4.34/4.45	c core #767
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 767
4.34/4.45	c Elapsed CPU time: 4.35934 s	Remaining CPU time: 1795.64 s
4.34/4.45	c core #768
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 768
4.34/4.45	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 1795.63 s
4.34/4.46	c core #769
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 769
4.34/4.46	c Elapsed CPU time: 4.37533 s	Remaining CPU time: 1795.62 s
4.34/4.47	c core #770
4.34/4.47	c Core size: 3	Core Weight: 1	Total Weight: 770
4.34/4.47	c Elapsed CPU time: 4.38333 s	Remaining CPU time: 1795.62 s
4.34/4.48	c core #771
4.34/4.48	c Core size: 3	Core Weight: 1	Total Weight: 771
4.34/4.48	c Elapsed CPU time: 4.39133 s	Remaining CPU time: 1795.61 s
4.34/4.49	c core #772
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 772
4.34/4.49	c Elapsed CPU time: 4.39933 s	Remaining CPU time: 1795.6 s
4.34/4.50	c core #773
4.34/4.50	c Core size: 3	Core Weight: 1	Total Weight: 773
4.34/4.50	c Elapsed CPU time: 4.40733 s	Remaining CPU time: 1795.59 s
4.44/4.50	c core #774
4.44/4.50	c Core size: 3	Core Weight: 1	Total Weight: 774
4.44/4.50	c Elapsed CPU time: 4.41633 s	Remaining CPU time: 1795.58 s
4.44/4.51	c core #775
4.44/4.51	c Core size: 3	Core Weight: 1	Total Weight: 775
4.44/4.51	c Elapsed CPU time: 4.42433 s	Remaining CPU time: 1795.58 s
4.44/4.52	c core #776
4.44/4.52	c Core size: 3	Core Weight: 1	Total Weight: 776
4.44/4.52	c Elapsed CPU time: 4.43233 s	Remaining CPU time: 1795.57 s
4.44/4.53	c core #777
4.44/4.53	c Core size: 3	Core Weight: 1	Total Weight: 777
4.44/4.53	c Elapsed CPU time: 4.44032 s	Remaining CPU time: 1795.56 s
4.44/4.54	c core #778
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 778
4.44/4.54	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 1795.55 s
4.44/4.54	c core #779
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 779
4.44/4.54	c Elapsed CPU time: 4.45632 s	Remaining CPU time: 1795.54 s
4.44/4.55	c core #780
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 780
4.44/4.55	c Elapsed CPU time: 4.46532 s	Remaining CPU time: 1795.53 s
4.44/4.56	c core #781
4.44/4.56	c Core size: 3	Core Weight: 1	Total Weight: 781
4.44/4.56	c Elapsed CPU time: 4.47332 s	Remaining CPU time: 1795.53 s
4.44/4.57	c core #782
4.44/4.57	c Core size: 3	Core Weight: 1	Total Weight: 782
4.44/4.57	c Elapsed CPU time: 4.48132 s	Remaining CPU time: 1795.52 s
4.44/4.58	c core #783
4.44/4.58	c Core size: 3	Core Weight: 1	Total Weight: 783
4.44/4.58	c Elapsed CPU time: 4.48932 s	Remaining CPU time: 1795.51 s
4.44/4.59	c core #784
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 784
4.44/4.59	c Elapsed CPU time: 4.49732 s	Remaining CPU time: 1795.5 s
4.44/4.59	c core #785
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 785
4.44/4.59	c Elapsed CPU time: 4.50531 s	Remaining CPU time: 1795.49 s
4.53/4.60	c core #786
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 786
4.53/4.60	c Elapsed CPU time: 4.51331 s	Remaining CPU time: 1795.49 s
4.53/4.61	c core #787
4.53/4.61	c Core size: 3	Core Weight: 1	Total Weight: 787
4.53/4.61	c Elapsed CPU time: 4.52231 s	Remaining CPU time: 1795.48 s
4.53/4.62	c core #788
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 788
4.53/4.62	c Elapsed CPU time: 4.53031 s	Remaining CPU time: 1795.47 s
4.53/4.63	c core #789
4.53/4.63	c Core size: 3	Core Weight: 1	Total Weight: 789
4.53/4.63	c Elapsed CPU time: 4.53931 s	Remaining CPU time: 1795.46 s
4.53/4.64	c core #790
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 790
4.53/4.64	c Elapsed CPU time: 4.54631 s	Remaining CPU time: 1795.45 s
4.53/4.64	c core #791
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 791
4.53/4.64	c Elapsed CPU time: 4.55431 s	Remaining CPU time: 1795.45 s
4.53/4.65	c core #792
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 792
4.53/4.65	c Elapsed CPU time: 4.56331 s	Remaining CPU time: 1795.44 s
4.53/4.66	c core #793
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 793
4.53/4.66	c Elapsed CPU time: 4.5713 s	Remaining CPU time: 1795.43 s
4.53/4.67	c core #794
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 794
4.53/4.67	c Elapsed CPU time: 4.5803 s	Remaining CPU time: 1795.42 s
4.53/4.68	c core #795
4.53/4.68	c Core size: 3	Core Weight: 1	Total Weight: 795
4.53/4.68	c Elapsed CPU time: 4.5883 s	Remaining CPU time: 1795.41 s
4.53/4.69	c core #796
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 796
4.53/4.69	c Elapsed CPU time: 4.5963 s	Remaining CPU time: 1795.4 s
4.53/4.69	c core #797
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 797
4.53/4.69	c Elapsed CPU time: 4.6053 s	Remaining CPU time: 1795.39 s
4.63/4.70	c core #798
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 798
4.63/4.70	c Elapsed CPU time: 4.6133 s	Remaining CPU time: 1795.39 s
4.63/4.71	c core #799
4.63/4.71	c Core size: 3	Core Weight: 1	Total Weight: 799
4.63/4.71	c Elapsed CPU time: 4.6213 s	Remaining CPU time: 1795.38 s
4.63/4.72	c core #800
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 800
4.63/4.72	c Elapsed CPU time: 4.6293 s	Remaining CPU time: 1795.37 s
4.63/4.73	c core #801
4.63/4.73	c Core size: 3	Core Weight: 1	Total Weight: 801
4.63/4.73	c Elapsed CPU time: 4.63829 s	Remaining CPU time: 1795.36 s
4.63/4.74	c core #802
4.63/4.74	c Core size: 3	Core Weight: 1	Total Weight: 802
4.63/4.74	c Elapsed CPU time: 4.64629 s	Remaining CPU time: 1795.35 s
4.63/4.75	c core #803
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 803
4.63/4.75	c Elapsed CPU time: 4.65429 s	Remaining CPU time: 1795.35 s
4.63/4.75	c core #804
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 804
4.63/4.75	c Elapsed CPU time: 4.66229 s	Remaining CPU time: 1795.34 s
4.63/4.76	c core #805
4.63/4.76	c Core size: 3	Core Weight: 1	Total Weight: 805
4.63/4.76	c Elapsed CPU time: 4.67029 s	Remaining CPU time: 1795.33 s
4.63/4.77	c core #806
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 806
4.63/4.77	c Elapsed CPU time: 4.67929 s	Remaining CPU time: 1795.32 s
4.63/4.78	c core #807
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 807
4.63/4.78	c Elapsed CPU time: 4.68729 s	Remaining CPU time: 1795.31 s
4.63/4.79	c core #808
4.63/4.79	c Core size: 3	Core Weight: 1	Total Weight: 808
4.63/4.79	c Elapsed CPU time: 4.69529 s	Remaining CPU time: 1795.3 s
4.63/4.80	c core #809
4.63/4.80	c Core size: 3	Core Weight: 1	Total Weight: 809
4.63/4.80	c Elapsed CPU time: 4.70328 s	Remaining CPU time: 1795.3 s
4.73/4.80	c core #810
4.73/4.80	c Core size: 3	Core Weight: 1	Total Weight: 810
4.73/4.80	c Elapsed CPU time: 4.71128 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #811
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 811
4.73/4.81	c Elapsed CPU time: 4.72028 s	Remaining CPU time: 1795.28 s
4.73/4.82	c core #812
4.73/4.82	c Core size: 3	Core Weight: 1	Total Weight: 812
4.73/4.82	c Elapsed CPU time: 4.72828 s	Remaining CPU time: 1795.27 s
4.73/4.83	c core #813
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 813
4.73/4.83	c Elapsed CPU time: 4.73528 s	Remaining CPU time: 1795.26 s
4.73/4.84	c core #814
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 814
4.73/4.84	c Elapsed CPU time: 4.74228 s	Remaining CPU time: 1795.26 s
4.73/4.85	c core #815
4.73/4.85	c Core size: 3	Core Weight: 1	Total Weight: 815
4.73/4.85	c Elapsed CPU time: 4.75128 s	Remaining CPU time: 1795.25 s
4.73/4.86	c core #816
4.73/4.86	c Core size: 3	Core Weight: 1	Total Weight: 816
4.73/4.86	c Elapsed CPU time: 4.75828 s	Remaining CPU time: 1795.24 s
4.73/4.86	c core #817
4.73/4.86	c Core size: 3	Core Weight: 1	Total Weight: 817
4.73/4.86	c Elapsed CPU time: 4.76628 s	Remaining CPU time: 1795.23 s
4.73/4.87	c core #818
4.73/4.87	c Core size: 3	Core Weight: 1	Total Weight: 818
4.73/4.87	c Elapsed CPU time: 4.77327 s	Remaining CPU time: 1795.23 s
4.73/4.88	c core #819
4.73/4.88	c Core size: 3	Core Weight: 1	Total Weight: 819
4.73/4.88	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 1795.22 s
4.73/4.89	c core #820
4.73/4.89	c Core size: 3	Core Weight: 1	Total Weight: 820
4.73/4.89	c Elapsed CPU time: 4.78927 s	Remaining CPU time: 1795.21 s
4.73/4.90	c core #821
4.73/4.90	c Core size: 3	Core Weight: 1	Total Weight: 821
4.73/4.90	c Elapsed CPU time: 4.79727 s	Remaining CPU time: 1795.2 s
4.83/4.90	c core #822
4.83/4.90	c Core size: 3	Core Weight: 1	Total Weight: 822
4.83/4.90	c Elapsed CPU time: 4.80527 s	Remaining CPU time: 1795.19 s
4.83/4.91	c core #823
4.83/4.91	c Core size: 3	Core Weight: 1	Total Weight: 823
4.83/4.91	c Elapsed CPU time: 4.81327 s	Remaining CPU time: 1795.19 s
4.83/4.92	c core #824
4.83/4.92	c Core size: 3	Core Weight: 1	Total Weight: 824
4.83/4.92	c Elapsed CPU time: 4.82127 s	Remaining CPU time: 1795.18 s
4.83/4.93	c core #825
4.83/4.93	c Core size: 3	Core Weight: 1	Total Weight: 825
4.83/4.93	c Elapsed CPU time: 4.82927 s	Remaining CPU time: 1795.17 s
4.83/4.94	c core #826
4.83/4.94	c Core size: 3	Core Weight: 1	Total Weight: 826
4.83/4.94	c Elapsed CPU time: 4.83726 s	Remaining CPU time: 1795.16 s
4.83/4.94	c core #827
4.83/4.94	c Core size: 3	Core Weight: 1	Total Weight: 827
4.83/4.94	c Elapsed CPU time: 4.84526 s	Remaining CPU time: 1795.15 s
4.83/4.95	c core #828
4.83/4.95	c Core size: 7	Core Weight: 1	Total Weight: 828
4.83/4.95	c Elapsed CPU time: 4.85326 s	Remaining CPU time: 1795.15 s
4.83/4.96	c core #829
4.83/4.96	c Core size: 7	Core Weight: 1	Total Weight: 829
4.83/4.96	c Elapsed CPU time: 4.86126 s	Remaining CPU time: 1795.14 s
4.83/4.97	c core #830
4.83/4.97	c Core size: 7	Core Weight: 1	Total Weight: 830
4.83/4.97	c Elapsed CPU time: 4.87026 s	Remaining CPU time: 1795.13 s
4.83/4.98	c core #831
4.83/4.98	c Core size: 7	Core Weight: 1	Total Weight: 831
4.83/4.98	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.83/4.98	c core #832
4.83/4.98	c Core size: 7	Core Weight: 1	Total Weight: 832
4.83/4.98	c Elapsed CPU time: 4.88626 s	Remaining CPU time: 1795.11 s
4.83/4.99	c core #833
4.83/4.99	c Core size: 7	Core Weight: 1	Total Weight: 833
4.83/4.99	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 1795.11 s
4.93/5.00	c core #834
4.93/5.00	c Core size: 7	Core Weight: 1	Total Weight: 834
4.93/5.00	c Elapsed CPU time: 4.90225 s	Remaining CPU time: 1795.1 s
4.93/5.01	c core #835
4.93/5.01	c Core size: 7	Core Weight: 1	Total Weight: 835
4.93/5.01	c Elapsed CPU time: 4.91025 s	Remaining CPU time: 1795.09 s
4.93/5.02	c core #836
4.93/5.02	c Core size: 7	Core Weight: 1	Total Weight: 836
4.93/5.02	c Elapsed CPU time: 4.91825 s	Remaining CPU time: 1795.08 s
4.93/5.03	c core #837
4.93/5.03	c Core size: 7	Core Weight: 1	Total Weight: 837
4.93/5.03	c Elapsed CPU time: 4.92725 s	Remaining CPU time: 1795.07 s
4.93/5.03	c core #838
4.93/5.03	c Core size: 7	Core Weight: 1	Total Weight: 838
4.93/5.03	c Elapsed CPU time: 4.93525 s	Remaining CPU time: 1795.06 s
4.93/5.04	c core #839
4.93/5.04	c Core size: 7	Core Weight: 1	Total Weight: 839
4.93/5.04	c Elapsed CPU time: 4.94325 s	Remaining CPU time: 1795.06 s
4.93/5.05	c core #840
4.93/5.05	c Core size: 7	Core Weight: 1	Total Weight: 840
4.93/5.05	c Elapsed CPU time: 4.95125 s	Remaining CPU time: 1795.05 s
4.93/5.06	c core #841
4.93/5.06	c Core size: 7	Core Weight: 1	Total Weight: 841
4.93/5.06	c Elapsed CPU time: 4.95925 s	Remaining CPU time: 1795.04 s
4.93/5.07	c core #842
4.93/5.07	c Core size: 7	Core Weight: 1	Total Weight: 842
4.93/5.07	c Elapsed CPU time: 4.96724 s	Remaining CPU time: 1795.03 s
4.93/5.07	c core #843
4.93/5.07	c Core size: 7	Core Weight: 1	Total Weight: 843
4.93/5.07	c Elapsed CPU time: 4.97624 s	Remaining CPU time: 1795.02 s
4.93/5.08	c core #844
4.93/5.08	c Core size: 7	Core Weight: 1	Total Weight: 844
4.93/5.08	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
4.93/5.09	c core #845
4.93/5.09	c Core size: 7	Core Weight: 1	Total Weight: 845
4.93/5.09	c Elapsed CPU time: 4.99224 s	Remaining CPU time: 1795.01 s
5.03/5.10	c core #846
5.03/5.10	c Core size: 7	Core Weight: 1	Total Weight: 846
5.03/5.10	c Elapsed CPU time: 5.00124 s	Remaining CPU time: 1795 s
5.03/5.11	c core #847
5.03/5.11	c Core size: 7	Core Weight: 1	Total Weight: 847
5.03/5.11	c Elapsed CPU time: 5.00924 s	Remaining CPU time: 1794.99 s
5.03/5.12	c core #848
5.03/5.12	c Core size: 7	Core Weight: 1	Total Weight: 848
5.03/5.12	c Elapsed CPU time: 5.01824 s	Remaining CPU time: 1794.98 s
5.03/5.13	c core #849
5.03/5.13	c Core size: 11	Core Weight: 1	Total Weight: 849
5.03/5.13	c Elapsed CPU time: 5.02623 s	Remaining CPU time: 1794.97 s
5.03/5.13	c core #850
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 850
5.03/5.13	c Elapsed CPU time: 5.03523 s	Remaining CPU time: 1794.96 s
5.03/5.14	c core #851
5.03/5.14	c Core size: 7	Core Weight: 1	Total Weight: 851
5.03/5.14	c Elapsed CPU time: 5.04323 s	Remaining CPU time: 1794.96 s
5.03/5.15	c core #852
5.03/5.15	c Core size: 7	Core Weight: 1	Total Weight: 852
5.03/5.15	c Elapsed CPU time: 5.05123 s	Remaining CPU time: 1794.95 s
5.03/5.16	c core #853
5.03/5.16	c Core size: 7	Core Weight: 1	Total Weight: 853
5.03/5.16	c Elapsed CPU time: 5.06023 s	Remaining CPU time: 1794.94 s
5.03/5.17	c core #854
5.03/5.17	c Core size: 7	Core Weight: 1	Total Weight: 854
5.03/5.17	c Elapsed CPU time: 5.06823 s	Remaining CPU time: 1794.93 s
5.03/5.18	c core #855
5.03/5.18	c Core size: 7	Core Weight: 1	Total Weight: 855
5.03/5.18	c Elapsed CPU time: 5.07623 s	Remaining CPU time: 1794.92 s
5.03/5.18	c core #856
5.03/5.18	c Core size: 7	Core Weight: 1	Total Weight: 856
5.03/5.18	c Elapsed CPU time: 5.08523 s	Remaining CPU time: 1794.91 s
5.03/5.19	c core #857
5.03/5.19	c Core size: 7	Core Weight: 1	Total Weight: 857
5.03/5.19	c Elapsed CPU time: 5.09223 s	Remaining CPU time: 1794.91 s
5.13/5.20	c core #858
5.13/5.20	c Core size: 11	Core Weight: 1	Total Weight: 858
5.13/5.20	c Elapsed CPU time: 5.10122 s	Remaining CPU time: 1794.9 s
5.13/5.21	c core #859
5.13/5.21	c Core size: 7	Core Weight: 1	Total Weight: 859
5.13/5.21	c Elapsed CPU time: 5.11022 s	Remaining CPU time: 1794.89 s
5.13/5.22	c core #860
5.13/5.22	c Core size: 7	Core Weight: 1	Total Weight: 860
5.13/5.22	c Elapsed CPU time: 5.11822 s	Remaining CPU time: 1794.88 s
5.13/5.23	c core #861
5.13/5.23	c Core size: 7	Core Weight: 1	Total Weight: 861
5.13/5.23	c Elapsed CPU time: 5.12722 s	Remaining CPU time: 1794.87 s
5.13/5.24	c core #862
5.13/5.24	c Core size: 7	Core Weight: 1	Total Weight: 862
5.13/5.24	c Elapsed CPU time: 5.13622 s	Remaining CPU time: 1794.86 s
5.13/5.25	c core #863
5.13/5.25	c Core size: 11	Core Weight: 1	Total Weight: 863
5.13/5.25	c Elapsed CPU time: 5.14522 s	Remaining CPU time: 1794.85 s
5.13/5.25	c core #864
5.13/5.25	c Core size: 7	Core Weight: 1	Total Weight: 864
5.13/5.25	c Elapsed CPU time: 5.15422 s	Remaining CPU time: 1794.85 s
5.13/5.26	c core #865
5.13/5.26	c Core size: 7	Core Weight: 1	Total Weight: 865
5.13/5.26	c Elapsed CPU time: 5.16322 s	Remaining CPU time: 1794.84 s
5.13/5.27	c core #866
5.13/5.27	c Core size: 7	Core Weight: 1	Total Weight: 866
5.13/5.27	c Elapsed CPU time: 5.17221 s	Remaining CPU time: 1794.83 s
5.13/5.28	c core #867
5.13/5.28	c Core size: 11	Core Weight: 1	Total Weight: 867
5.13/5.28	c Elapsed CPU time: 5.18021 s	Remaining CPU time: 1794.82 s
5.13/5.29	c core #868
5.13/5.29	c Core size: 11	Core Weight: 1	Total Weight: 868
5.13/5.29	c Elapsed CPU time: 5.18921 s	Remaining CPU time: 1794.81 s
5.23/5.30	c core #869
5.23/5.30	c Core size: 15	Core Weight: 1	Total Weight: 869
5.23/5.30	c Elapsed CPU time: 5.19821 s	Remaining CPU time: 1794.8 s
5.23/5.31	c core #870
5.23/5.31	c Core size: 11	Core Weight: 1	Total Weight: 870
5.23/5.31	c Elapsed CPU time: 5.20721 s	Remaining CPU time: 1794.79 s
5.23/5.32	c core #871
5.23/5.32	c Core size: 7	Core Weight: 1	Total Weight: 871
5.23/5.32	c Elapsed CPU time: 5.21621 s	Remaining CPU time: 1794.78 s
5.23/5.33	c core #872
5.23/5.33	c Core size: 15	Core Weight: 1	Total Weight: 872
5.23/5.33	c Elapsed CPU time: 5.2252 s	Remaining CPU time: 1794.77 s
5.23/5.33	c core #873
5.23/5.33	c Core size: 11	Core Weight: 1	Total Weight: 873
5.23/5.33	c Elapsed CPU time: 5.2342 s	Remaining CPU time: 1794.77 s
5.23/5.34	c core #874
5.23/5.34	c Core size: 7	Core Weight: 1	Total Weight: 874
5.23/5.34	c Elapsed CPU time: 5.2432 s	Remaining CPU time: 1794.76 s
5.23/5.35	c core #875
5.23/5.35	c Core size: 11	Core Weight: 1	Total Weight: 875
5.23/5.35	c Elapsed CPU time: 5.2522 s	Remaining CPU time: 1794.75 s
5.23/5.36	c core #876
5.23/5.36	c Core size: 7	Core Weight: 1	Total Weight: 876
5.23/5.36	c Elapsed CPU time: 5.2612 s	Remaining CPU time: 1794.74 s
5.23/5.37	c core #877
5.23/5.37	c Core size: 11	Core Weight: 1	Total Weight: 877
5.23/5.37	c Elapsed CPU time: 5.2702 s	Remaining CPU time: 1794.73 s
5.23/5.38	c core #878
5.23/5.38	c Core size: 11	Core Weight: 1	Total Weight: 878
5.23/5.38	c Elapsed CPU time: 5.2792 s	Remaining CPU time: 1794.72 s
5.23/5.39	c core #879
5.23/5.39	c Core size: 7	Core Weight: 1	Total Weight: 879
5.23/5.39	c Elapsed CPU time: 5.2882 s	Remaining CPU time: 1794.71 s
5.33/5.40	c core #880
5.33/5.40	c Core size: 7	Core Weight: 1	Total Weight: 880
5.33/5.40	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 1794.7 s
5.33/5.41	c core #881
5.33/5.41	c Core size: 7	Core Weight: 1	Total Weight: 881
5.33/5.41	c Elapsed CPU time: 5.30519 s	Remaining CPU time: 1794.69 s
5.33/5.42	c core #882
5.33/5.42	c Core size: 15	Core Weight: 1	Total Weight: 882
5.33/5.42	c Elapsed CPU time: 5.31419 s	Remaining CPU time: 1794.69 s
5.33/5.43	c core #883
5.33/5.43	c Core size: 15	Core Weight: 1	Total Weight: 883
5.33/5.43	c Elapsed CPU time: 5.32319 s	Remaining CPU time: 1794.68 s
5.33/5.43	c core #884
5.33/5.43	c Core size: 7	Core Weight: 1	Total Weight: 884
5.33/5.43	c Elapsed CPU time: 5.33219 s	Remaining CPU time: 1794.67 s
5.33/5.44	c core #885
5.33/5.44	c Core size: 7	Core Weight: 1	Total Weight: 885
5.33/5.44	c Elapsed CPU time: 5.34019 s	Remaining CPU time: 1794.66 s
5.33/5.45	c core #886
5.33/5.45	c Core size: 11	Core Weight: 1	Total Weight: 886
5.33/5.45	c Elapsed CPU time: 5.34919 s	Remaining CPU time: 1794.65 s
5.33/5.46	c core #887
5.33/5.46	c Core size: 7	Core Weight: 1	Total Weight: 887
5.33/5.46	c Elapsed CPU time: 5.35818 s	Remaining CPU time: 1794.64 s
5.33/5.47	c core #888
5.33/5.47	c Core size: 7	Core Weight: 1	Total Weight: 888
5.33/5.47	c Elapsed CPU time: 5.36818 s	Remaining CPU time: 1794.63 s
5.33/5.48	c core #889
5.33/5.48	c Core size: 15	Core Weight: 1	Total Weight: 889
5.33/5.48	c Elapsed CPU time: 5.37718 s	Remaining CPU time: 1794.62 s
5.33/5.49	c core #890
5.33/5.49	c Core size: 11	Core Weight: 1	Total Weight: 890
5.33/5.49	c Elapsed CPU time: 5.38618 s	Remaining CPU time: 1794.61 s
5.43/5.50	c core #891
5.43/5.50	c Core size: 7	Core Weight: 1	Total Weight: 891
5.43/5.50	c Elapsed CPU time: 5.39618 s	Remaining CPU time: 1794.6 s
5.43/5.51	c core #892
5.43/5.51	c Core size: 7	Core Weight: 1	Total Weight: 892
5.43/5.51	c Elapsed CPU time: 5.40518 s	Remaining CPU time: 1794.59 s
5.43/5.52	c core #893
5.43/5.52	c Core size: 7	Core Weight: 1	Total Weight: 893
5.43/5.52	c Elapsed CPU time: 5.41518 s	Remaining CPU time: 1794.58 s
5.43/5.53	c core #894
5.43/5.53	c Core size: 15	Core Weight: 1	Total Weight: 894
5.43/5.53	c Elapsed CPU time: 5.42518 s	Remaining CPU time: 1794.57 s
5.43/5.54	c core #895
5.43/5.54	c Core size: 7	Core Weight: 1	Total Weight: 895
5.43/5.54	c Elapsed CPU time: 5.43517 s	Remaining CPU time: 1794.56 s
5.43/5.55	c core #896
5.43/5.55	c Core size: 7	Core Weight: 1	Total Weight: 896
5.43/5.55	c Elapsed CPU time: 5.44617 s	Remaining CPU time: 1794.55 s
5.43/5.56	c core #897
5.43/5.56	c Core size: 11	Core Weight: 1	Total Weight: 897
5.43/5.56	c Elapsed CPU time: 5.45617 s	Remaining CPU time: 1794.54 s
5.43/5.57	c core #898
5.43/5.57	c Core size: 7	Core Weight: 1	Total Weight: 898
5.43/5.57	c Elapsed CPU time: 5.46617 s	Remaining CPU time: 1794.53 s
5.43/5.58	c core #899
5.43/5.58	c Core size: 7	Core Weight: 1	Total Weight: 899
5.43/5.58	c Elapsed CPU time: 5.47617 s	Remaining CPU time: 1794.52 s
5.43/5.59	c core #900
5.43/5.59	c Core size: 15	Core Weight: 1	Total Weight: 900
5.43/5.59	c Elapsed CPU time: 5.48616 s	Remaining CPU time: 1794.51 s
5.53/5.61	c core #901
5.53/5.61	c Core size: 19	Core Weight: 1	Total Weight: 901
5.53/5.61	c Elapsed CPU time: 5.49616 s	Remaining CPU time: 1794.5 s
5.53/5.62	c core #902
5.53/5.62	c Core size: 7	Core Weight: 1	Total Weight: 902
5.53/5.62	c Elapsed CPU time: 5.50616 s	Remaining CPU time: 1794.49 s
5.53/5.63	c core #903
5.53/5.63	c Core size: 27	Core Weight: 1	Total Weight: 903
5.53/5.63	c Elapsed CPU time: 5.51616 s	Remaining CPU time: 1794.48 s
5.53/5.64	c core #904
5.53/5.64	c Core size: 7	Core Weight: 1	Total Weight: 904
5.53/5.64	c Elapsed CPU time: 5.52616 s	Remaining CPU time: 1794.47 s
5.53/5.65	c core #905
5.53/5.65	c Core size: 23	Core Weight: 1	Total Weight: 905
5.53/5.65	c Elapsed CPU time: 5.53616 s	Remaining CPU time: 1794.46 s
5.53/5.66	c core #906
5.53/5.66	c Core size: 7	Core Weight: 1	Total Weight: 906
5.53/5.66	c Elapsed CPU time: 5.54616 s	Remaining CPU time: 1794.45 s
5.53/5.67	c core #907
5.53/5.67	c Core size: 15	Core Weight: 1	Total Weight: 907
5.53/5.67	c Elapsed CPU time: 5.55616 s	Remaining CPU time: 1794.44 s
5.53/5.68	c core #908
5.53/5.68	c Core size: 15	Core Weight: 1	Total Weight: 908
5.53/5.68	c Elapsed CPU time: 5.56715 s	Remaining CPU time: 1794.43 s
5.53/5.69	c core #909
5.53/5.69	c Core size: 19	Core Weight: 1	Total Weight: 909
5.53/5.69	c Elapsed CPU time: 5.57715 s	Remaining CPU time: 1794.42 s
5.62/5.70	c core #910
5.62/5.70	c Core size: 11	Core Weight: 1	Total Weight: 910
5.62/5.70	c Elapsed CPU time: 5.58815 s	Remaining CPU time: 1794.41 s
5.62/5.71	c core #911
5.62/5.71	c Core size: 19	Core Weight: 1	Total Weight: 911
5.62/5.71	c Elapsed CPU time: 5.59815 s	Remaining CPU time: 1794.4 s
5.62/5.72	c core #912
5.62/5.72	c Core size: 11	Core Weight: 1	Total Weight: 912
5.62/5.72	c Elapsed CPU time: 5.60915 s	Remaining CPU time: 1794.39 s
5.62/5.73	c core #913
5.62/5.73	c Core size: 23	Core Weight: 1	Total Weight: 913
5.62/5.73	c Elapsed CPU time: 5.61914 s	Remaining CPU time: 1794.38 s
5.62/5.74	c core #914
5.62/5.74	c Core size: 11	Core Weight: 1	Total Weight: 914
5.62/5.74	c Elapsed CPU time: 5.62914 s	Remaining CPU time: 1794.37 s
5.62/5.75	c core #915
5.62/5.75	c Core size: 11	Core Weight: 1	Total Weight: 915
5.62/5.75	c Elapsed CPU time: 5.63914 s	Remaining CPU time: 1794.36 s
5.62/5.76	c core #916
5.62/5.76	c Core size: 7	Core Weight: 1	Total Weight: 916
5.62/5.76	c Elapsed CPU time: 5.64914 s	Remaining CPU time: 1794.35 s
5.62/5.77	c core #917
5.62/5.77	c Core size: 27	Core Weight: 1	Total Weight: 917
5.62/5.77	c Elapsed CPU time: 5.65914 s	Remaining CPU time: 1794.34 s
5.62/5.78	c core #918
5.62/5.78	c Core size: 11	Core Weight: 1	Total Weight: 918
5.62/5.78	c Elapsed CPU time: 5.66914 s	Remaining CPU time: 1794.33 s
5.62/5.80	c core #919
5.62/5.80	c Core size: 23	Core Weight: 1	Total Weight: 919
5.62/5.80	c Elapsed CPU time: 5.67914 s	Remaining CPU time: 1794.32 s
5.72/5.81	c core #920
5.72/5.81	c Core size: 15	Core Weight: 1	Total Weight: 920
5.72/5.81	c Elapsed CPU time: 5.68914 s	Remaining CPU time: 1794.31 s
5.72/5.82	c core #921
5.72/5.82	c Core size: 11	Core Weight: 1	Total Weight: 921
5.72/5.82	c Elapsed CPU time: 5.70013 s	Remaining CPU time: 1794.3 s
5.72/5.83	c core #922
5.72/5.83	c Core size: 19	Core Weight: 1	Total Weight: 922
5.72/5.83	c Elapsed CPU time: 5.71113 s	Remaining CPU time: 1794.29 s
5.72/5.84	c core #923
5.72/5.84	c Core size: 14	Core Weight: 1	Total Weight: 923
5.72/5.84	c Elapsed CPU time: 5.72113 s	Remaining CPU time: 1794.28 s
5.72/5.85	c core #924
5.72/5.85	c Core size: 7	Core Weight: 1	Total Weight: 924
5.72/5.85	c Elapsed CPU time: 5.73113 s	Remaining CPU time: 1794.27 s
5.72/5.86	c core #925
5.72/5.86	c Core size: 11	Core Weight: 1	Total Weight: 925
5.72/5.86	c Elapsed CPU time: 5.74213 s	Remaining CPU time: 1794.26 s
5.72/5.87	c core #926
5.72/5.87	c Core size: 11	Core Weight: 1	Total Weight: 926
5.72/5.87	c Elapsed CPU time: 5.75213 s	Remaining CPU time: 1794.25 s
5.72/5.88	c core #927
5.72/5.88	c Core size: 15	Core Weight: 1	Total Weight: 927
5.72/5.88	c Elapsed CPU time: 5.76312 s	Remaining CPU time: 1794.24 s
5.72/5.89	c core #928
5.72/5.89	c Core size: 7	Core Weight: 1	Total Weight: 928
5.72/5.89	c Elapsed CPU time: 5.77412 s	Remaining CPU time: 1794.23 s
5.82/5.90	c core #929
5.82/5.90	c Core size: 11	Core Weight: 1	Total Weight: 929
5.82/5.90	c Elapsed CPU time: 5.78512 s	Remaining CPU time: 1794.21 s
5.82/5.92	c core #930
5.82/5.92	c Core size: 7	Core Weight: 1	Total Weight: 930
5.82/5.92	c Elapsed CPU time: 5.79612 s	Remaining CPU time: 1794.2 s
5.82/5.93	c core #931
5.82/5.93	c Core size: 11	Core Weight: 1	Total Weight: 931
5.82/5.93	c Elapsed CPU time: 5.80712 s	Remaining CPU time: 1794.19 s
5.82/5.94	c core #932
5.82/5.94	c Core size: 23	Core Weight: 1	Total Weight: 932
5.82/5.94	c Elapsed CPU time: 5.81811 s	Remaining CPU time: 1794.18 s
5.82/5.95	c core #933
5.82/5.95	c Core size: 15	Core Weight: 1	Total Weight: 933
5.82/5.95	c Elapsed CPU time: 5.82811 s	Remaining CPU time: 1794.17 s
5.82/5.96	c core #934
5.82/5.96	c Core size: 31	Core Weight: 1	Total Weight: 934
5.82/5.96	c Elapsed CPU time: 5.84011 s	Remaining CPU time: 1794.16 s
5.82/5.97	c core #935
5.82/5.97	c Core size: 15	Core Weight: 1	Total Weight: 935
5.82/5.97	c Elapsed CPU time: 5.85011 s	Remaining CPU time: 1794.15 s
5.82/5.98	c core #936
5.82/5.98	c Core size: 31	Core Weight: 1	Total Weight: 936
5.82/5.98	c Elapsed CPU time: 5.86111 s	Remaining CPU time: 1794.14 s
5.82/5.99	c core #937
5.82/5.99	c Core size: 7	Core Weight: 1	Total Weight: 937
5.82/5.99	c Elapsed CPU time: 5.87211 s	Remaining CPU time: 1794.13 s
5.92/6.00	c core #938
5.92/6.00	c Core size: 7	Core Weight: 1	Total Weight: 938
5.92/6.00	c Elapsed CPU time: 5.88311 s	Remaining CPU time: 1794.12 s
5.92/6.01	c core #939
5.92/6.01	c Core size: 23	Core Weight: 1	Total Weight: 939
5.92/6.01	c Elapsed CPU time: 5.8941 s	Remaining CPU time: 1794.11 s
5.92/6.03	c core #940
5.92/6.03	c Core size: 31	Core Weight: 1	Total Weight: 940
5.92/6.03	c Elapsed CPU time: 5.9051 s	Remaining CPU time: 1794.09 s
5.92/6.04	c core #941
5.92/6.04	c Core size: 31	Core Weight: 1	Total Weight: 941
5.92/6.04	c Elapsed CPU time: 5.9161 s	Remaining CPU time: 1794.08 s
5.92/6.05	c core #942
5.92/6.05	c Core size: 11	Core Weight: 1	Total Weight: 942
5.92/6.05	c Elapsed CPU time: 5.9271 s	Remaining CPU time: 1794.07 s
5.92/6.06	c core #943
5.92/6.06	c Core size: 7	Core Weight: 1	Total Weight: 943
5.92/6.06	c Elapsed CPU time: 5.9381 s	Remaining CPU time: 1794.06 s
5.92/6.07	c core #944
5.92/6.07	c Core size: 23	Core Weight: 1	Total Weight: 944
5.92/6.07	c Elapsed CPU time: 5.9501 s	Remaining CPU time: 1794.05 s
5.92/6.08	c core #945
5.92/6.08	c Core size: 35	Core Weight: 1	Total Weight: 945
5.92/6.08	c Elapsed CPU time: 5.96109 s	Remaining CPU time: 1794.04 s
5.92/6.09	c core #946
5.92/6.09	c Core size: 11	Core Weight: 1	Total Weight: 946
5.92/6.09	c Elapsed CPU time: 5.97209 s	Remaining CPU time: 1794.03 s
6.02/6.11	c core #947
6.02/6.11	c Core size: 23	Core Weight: 1	Total Weight: 947
6.02/6.11	c Elapsed CPU time: 5.98409 s	Remaining CPU time: 1794.02 s
6.02/6.12	c core #948
6.02/6.12	c Core size: 11	Core Weight: 1	Total Weight: 948
6.02/6.12	c Elapsed CPU time: 5.99509 s	Remaining CPU time: 1794 s
6.02/6.13	c core #949
6.02/6.13	c Core size: 19	Core Weight: 1	Total Weight: 949
6.02/6.13	c Elapsed CPU time: 6.00609 s	Remaining CPU time: 1793.99 s
6.02/6.14	c core #950
6.02/6.14	c Core size: 34	Core Weight: 1	Total Weight: 950
6.02/6.14	c Elapsed CPU time: 6.01708 s	Remaining CPU time: 1793.98 s
6.02/6.15	c core #951
6.02/6.15	c Core size: 7	Core Weight: 1	Total Weight: 951
6.02/6.15	c Elapsed CPU time: 6.02708 s	Remaining CPU time: 1793.97 s
6.02/6.16	c core #952
6.02/6.16	c Core size: 10	Core Weight: 1	Total Weight: 952
6.02/6.16	c Elapsed CPU time: 6.03908 s	Remaining CPU time: 1793.96 s
6.02/6.17	c core #953
6.02/6.17	c Core size: 39	Core Weight: 1	Total Weight: 953
6.02/6.17	c Elapsed CPU time: 6.05008 s	Remaining CPU time: 1793.95 s
6.02/6.18	c core #954
6.02/6.18	c Core size: 23	Core Weight: 1	Total Weight: 954
6.02/6.18	c Elapsed CPU time: 6.06108 s	Remaining CPU time: 1793.94 s
6.02/6.20	c core #955
6.02/6.20	c Core size: 22	Core Weight: 1	Total Weight: 955
6.02/6.20	c Elapsed CPU time: 6.07208 s	Remaining CPU time: 1793.93 s
6.12/6.21	c core #956
6.12/6.21	c Core size: 27	Core Weight: 1	Total Weight: 956
6.12/6.21	c Elapsed CPU time: 6.08308 s	Remaining CPU time: 1793.92 s
6.12/6.22	c core #957
6.12/6.22	c Core size: 11	Core Weight: 1	Total Weight: 957
6.12/6.22	c Elapsed CPU time: 6.09407 s	Remaining CPU time: 1793.91 s
6.12/6.23	c core #958
6.12/6.23	c Core size: 27	Core Weight: 1	Total Weight: 958
6.12/6.23	c Elapsed CPU time: 6.10607 s	Remaining CPU time: 1793.89 s
6.12/6.24	c core #959
6.12/6.24	c Core size: 43	Core Weight: 1	Total Weight: 959
6.12/6.24	c Elapsed CPU time: 6.11707 s	Remaining CPU time: 1793.88 s
6.12/6.25	c core #960
6.12/6.25	c Core size: 79	Core Weight: 1	Total Weight: 960
6.12/6.25	c Elapsed CPU time: 6.12807 s	Remaining CPU time: 1793.87 s
6.12/6.26	c core #961
6.12/6.26	c Core size: 43	Core Weight: 1	Total Weight: 961
6.12/6.26	c Elapsed CPU time: 6.14007 s	Remaining CPU time: 1793.86 s
6.12/6.28	c core #962
6.12/6.28	c Core size: 19	Core Weight: 1	Total Weight: 962
6.12/6.28	c Elapsed CPU time: 6.15106 s	Remaining CPU time: 1793.85 s
6.12/6.29	c core #963
6.12/6.29	c Core size: 43	Core Weight: 1	Total Weight: 963
6.12/6.29	c Elapsed CPU time: 6.16206 s	Remaining CPU time: 1793.84 s
6.22/6.30	c core #964
6.22/6.30	c Core size: 14	Core Weight: 1	Total Weight: 964
6.22/6.30	c Elapsed CPU time: 6.17306 s	Remaining CPU time: 1793.83 s
6.22/6.31	c core #965
6.22/6.31	c Core size: 19	Core Weight: 1	Total Weight: 965
6.22/6.31	c Elapsed CPU time: 6.18506 s	Remaining CPU time: 1793.81 s
6.22/6.32	c core #966
6.22/6.32	c Core size: 23	Core Weight: 1	Total Weight: 966
6.22/6.32	c Elapsed CPU time: 6.19706 s	Remaining CPU time: 1793.8 s
6.22/6.34	c core #967
6.22/6.34	c Core size: 59	Core Weight: 1	Total Weight: 967
6.22/6.34	c Elapsed CPU time: 6.20806 s	Remaining CPU time: 1793.79 s
6.22/6.35	c core #968
6.22/6.35	c Core size: 47	Core Weight: 1	Total Weight: 968
6.22/6.35	c Elapsed CPU time: 6.22005 s	Remaining CPU time: 1793.78 s
6.22/6.36	c core #969
6.22/6.36	c Core size: 34	Core Weight: 1	Total Weight: 969
6.22/6.36	c Elapsed CPU time: 6.23205 s	Remaining CPU time: 1793.77 s
6.22/6.37	c core #970
6.22/6.37	c Core size: 59	Core Weight: 1	Total Weight: 970
6.22/6.37	c Elapsed CPU time: 6.24405 s	Remaining CPU time: 1793.76 s
6.22/6.38	c core #971
6.22/6.38	c Core size: 27	Core Weight: 1	Total Weight: 971
6.22/6.38	c Elapsed CPU time: 6.25605 s	Remaining CPU time: 1793.74 s
6.22/6.39	c core #972
6.22/6.39	c Core size: 59	Core Weight: 1	Total Weight: 972
6.22/6.39	c Elapsed CPU time: 6.26705 s	Remaining CPU time: 1793.73 s
6.31/6.41	c core #973
6.31/6.41	c Core size: 42	Core Weight: 1	Total Weight: 973
6.31/6.41	c Elapsed CPU time: 6.27804 s	Remaining CPU time: 1793.72 s
6.31/6.42	c core #974
6.31/6.42	c Core size: 103	Core Weight: 1	Total Weight: 974
6.31/6.42	c Elapsed CPU time: 6.29004 s	Remaining CPU time: 1793.71 s
6.31/6.43	c core #975
6.31/6.43	c Core size: 78	Core Weight: 1	Total Weight: 975
6.31/6.43	c Elapsed CPU time: 6.30204 s	Remaining CPU time: 1793.7 s
6.31/6.44	c core #976
6.31/6.44	c Core size: 26	Core Weight: 1	Total Weight: 976
6.31/6.44	c Elapsed CPU time: 6.31404 s	Remaining CPU time: 1793.69 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 |    4802     6937    15735 |     5000        0    nan |  0.000 % |
6.31/6.46	c ===============================================================================
6.31/6.46	c core #977
6.31/6.46	c Core size: 38	Core Weight: 1	Total Weight: 977
6.31/6.46	c Elapsed CPU time: 6.32704 s	Remaining CPU time: 1793.67 s
6.31/6.47	c ============================[ Search Statistics ]==============================
6.31/6.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.47	c ===============================================================================
6.31/6.47	c |         0 |    4823     6938    15780 |     5000        0    nan |  0.000 % |
6.31/6.47	c ===============================================================================
6.31/6.47	c core #978
6.31/6.47	c Core size: 81	Core Weight: 1	Total Weight: 978
6.31/6.47	c Elapsed CPU time: 6.34004 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 |    4862     6939    15858 |     5000        0    nan |  0.000 % |
6.31/6.48	c ===============================================================================
6.31/6.48	c core #979
6.31/6.48	c Core size: 82	Core Weight: 1	Total Weight: 979
6.31/6.48	c Elapsed CPU time: 6.35303 s	Remaining CPU time: 1793.65 s
6.31/6.50	c ============================[ Search Statistics ]==============================
6.31/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.50	c ===============================================================================
6.31/6.50	c |         0 |    4911     6940    15947 |     5000        0    nan |  0.000 % |
6.41/6.50	c ===============================================================================
6.41/6.50	c core #980
6.41/6.50	c Core size: 124	Core Weight: 1	Total Weight: 980
6.41/6.50	c Elapsed CPU time: 6.36603 s	Remaining CPU time: 1793.63 s
6.41/6.51	c ============================[ Search Statistics ]==============================
6.41/6.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.51	c ===============================================================================
6.41/6.51	c |         0 |    4972     6941    16069 |     5000        0    nan |  0.000 % |
6.41/6.51	c ===============================================================================
6.41/6.51	c core #981
6.41/6.51	c Core size: 84	Core Weight: 1	Total Weight: 981
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 |    5015     6942    16154 |     5000        0    nan |  0.000 % |
6.41/6.53	c ===============================================================================
6.41/6.53	c core #982
6.41/6.53	c Core size: 69	Core Weight: 1	Total Weight: 982
6.41/6.53	c Elapsed CPU time: 6.39503 s	Remaining CPU time: 1793.6 s
6.41/6.54	c ============================[ Search Statistics ]==============================
6.41/6.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.54	c ===============================================================================
6.41/6.54	c |         0 |    5049     6943    16222 |     5000        0    nan |  0.000 % |
6.41/6.54	c ===============================================================================
6.41/6.54	c core #983
6.41/6.54	c Core size: 114	Core Weight: 1	Total Weight: 983
6.41/6.54	c Elapsed CPU time: 6.41003 s	Remaining CPU time: 1793.59 s
6.41/6.55	c ============================[ Search Statistics ]==============================
6.41/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.56	c ===============================================================================
6.41/6.56	c |         0 |    5117     6944    16344 |     5000        0    nan |  0.000 % |
6.41/6.56	c ===============================================================================
6.41/6.56	c core #984
6.41/6.56	c Core size: 255	Core Weight: 1	Total Weight: 984
6.41/6.56	c Elapsed CPU time: 6.42602 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 |    5237     6945    16584 |     5000        0    nan |  0.000 % |
6.41/6.58	c ===============================================================================
6.41/6.58	c core #985
6.41/6.58	c Core size: 218	Core Weight: 1	Total Weight: 985
6.41/6.58	c Elapsed CPU time: 6.44402 s	Remaining CPU time: 1793.56 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 |    5368     6946    16823 |     5000        0    nan |  0.000 % |
6.52/6.60	c |       100 |    5357     6946    16823 |     5500      100      4 |  1.736 % |
6.52/6.61	c |       251 |    5318     6946    16823 |     6050      236      6 |  1.958 % |
6.52/6.63	c |       476 |    5197     6946    16823 |     6655      416      8 |  4.008 % |
6.52/6.66	c ===============================================================================
6.52/6.66	c core #986
6.52/6.66	c Core size: 724	Core Weight: 1	Total Weight: 986
6.52/6.66	c Elapsed CPU time: 6.51701 s	Remaining CPU time: 1793.48 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 |    5714     6947    17508 |     5000        0    nan |  0.000 % |
6.52/6.68	c ===============================================================================
6.52/6.68	c core #987
6.52/6.68	c Core size: 126	Core Weight: 1	Total Weight: 987
6.52/6.68	c Elapsed CPU time: 6.53501 s	Remaining CPU time: 1793.46 s
6.52/6.69	c ============================[ Search Statistics ]==============================
6.52/6.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.52/6.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.52/6.69	c ===============================================================================
6.52/6.69	c |         0 |    5781     6948    17633 |     5000        0    nan |  0.000 % |
6.61/6.71	c |       100 |    5778     6948    17633 |     5500       99     14 |  0.619 % |
6.61/6.72	c |       258 |    5778     6948    17633 |     6050      257     15 |  0.619 % |
6.61/6.76	c |       485 |    5778     6948    17633 |     6655      484     14 |  0.619 % |
6.71/6.80	c |       822 |    5778     6948    17633 |     7320      821     15 |  0.619 % |
6.71/6.86	c |      1336 |    5778     6948    17633 |     8052     1335     21 |  0.619 % |
6.81/6.99	c |      2095 |    5778     6948    17633 |     8857     2094     22 |  0.619 % |
7.01/7.18	c |      3240 |    5774     6948    17633 |     9743     3238     28 |  0.688 % |
7.21/7.35	c ===============================================================================
7.21/7.37	c core #988
7.21/7.37	c Core size: 1056	Core Weight: 1	Total Weight: 988
7.21/7.37	c Elapsed CPU time: 7.2089 s	Remaining CPU time: 1792.79 s
7.21/7.39	c ============================[ Search Statistics ]==============================
7.21/7.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.21/7.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.21/7.39	c ===============================================================================
7.21/7.39	c |         0 |    6267     6949    18595 |     5000        0    nan |  0.000 % |
7.31/7.40	c |       103 |    6265     6949    18595 |     5500      103      6 |  0.509 % |
7.31/7.41	c ===============================================================================
7.31/7.41	c core #989
7.31/7.41	c Core size: 178	Core Weight: 1	Total Weight: 989
7.31/7.41	c Elapsed CPU time: 7.2419 s	Remaining CPU time: 1792.76 s
7.31/7.42	c ============================[ Search Statistics ]==============================
7.31/7.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.31/7.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.31/7.42	c ===============================================================================
7.31/7.42	c |         0 |    6353     6950    18767 |     5000        0    nan |  0.000 % |
7.31/7.43	c |       100 |    6349     6950    18767 |     5500       99      7 |  0.455 % |
7.31/7.44	c |       250 |    6349     6950    18767 |     6050      249      9 |  0.455 % |
7.31/7.46	c |       475 |    6346     6950    18767 |     6655      472      8 |  0.502 % |
7.31/7.48	c |       815 |    6346     6950    18767 |     7320      810     11 |  0.502 % |
7.41/7.51	c ===============================================================================
7.41/7.52	c core #990
7.41/7.52	c Core size: 415	Core Weight: 1	Total Weight: 990
7.41/7.52	c Elapsed CPU time: 7.34688 s	Remaining CPU time: 1792.65 s
7.41/7.53	c ============================[ Search Statistics ]==============================
7.41/7.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.41/7.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.41/7.54	c ===============================================================================
7.41/7.54	c |         0 |    6547     6951    19154 |     5000        0    nan |  0.000 % |
7.41/7.55	c |       100 |    6547     6951    19154 |     5500      100     13 |  0.350 % |
7.41/7.58	c |       252 |    6536     6951    19154 |     6050      251     18 |  0.518 % |
7.51/7.61	c |       477 |    6532     6951    19154 |     6655      475     15 |  0.578 % |
7.51/7.66	c |       814 |    6532     6951    19154 |     7320      812     20 |  0.578 % |
7.61/7.75	c |      1320 |    6531     6951    19154 |     8052     1317     23 |  0.594 % |
7.81/7.91	c |      2080 |    6530     6951    19154 |     8857     2076     29 |  0.609 % |
8.01/8.11	c |      3219 |    6530     6951    19154 |     9743     3215     35 |  0.609 % |
8.30/8.46	c |      4928 |    6530     6951    19154 |    10717     4924     42 |  0.609 % |
9.01/9.10	c |      7491 |    6529     6951    19154 |    11789     7331     46 |  0.624 % |
10.11/10.28	c |     11335 |    6529     6951    19154 |    12968    11175     61 |  0.624 % |
12.00/12.14	c |     17102 |    6529     6951    19154 |    14265    10272     71 |  0.624 % |
15.20/15.34	c |     25751 |    6497     6951    19154 |    15692    11657     73 |  1.111 % |
19.00/19.14	c ===============================================================================
19.40/19.58	c core #991
19.40/19.58	c Core size: 751	Core Weight: 1	Total Weight: 991
19.40/19.58	c Elapsed CPU time: 19.2541 s	Remaining CPU time: 1780.75 s
19.50/19.62	c ============================[ Search Statistics ]==============================
19.50/19.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.50/19.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.50/19.62	c ===============================================================================
19.50/19.62	c |         0 |    6873     6952    19806 |     5000        0    nan |  0.000 % |
19.50/19.64	c |       101 |    6873     6952    19806 |     5500      101     21 |  0.334 % |
19.50/19.66	c |       251 |    6873     6952    19806 |     6050      251     19 |  0.334 % |
19.50/19.70	c |       477 |    6873     6952    19806 |     6655      477     21 |  0.334 % |
19.60/19.75	c |       819 |    6873     6952    19806 |     7320      819     23 |  0.334 % |
19.70/19.81	c |      1326 |    6873     6952    19806 |     8052     1326     23 |  0.334 % |
19.81/19.97	c |      2089 |    6873     6952    19806 |     8857     2089     29 |  0.334 % |
20.10/20.24	c |      3228 |    6870     6952    19806 |     9743     3227     35 |  0.377 % |
20.50/20.60	c |      4936 |    6870     6952    19806 |    10717     4935     40 |  0.377 % |
21.00/21.18	c |      7499 |    6866     6952    19806 |    11789     7497     42 |  0.435 % |
21.91/22.09	c |     11343 |    6866     6952    19806 |    12968    11341     50 |  0.435 % |
23.59/23.71	c |     17110 |    6841     6952    19806 |    14265    10508     56 |  0.798 % |
26.30/26.45	c |     25761 |    6834     6952    19806 |    15692    11901     64 |  0.899 % |
30.80/30.93	c ===============================================================================
31.19/31.31	c core #992
31.19/31.31	c Core size: 1284	Core Weight: 1	Total Weight: 992
31.19/31.31	c Elapsed CPU time: 30.8023 s	Remaining CPU time: 1769.2 s
31.19/31.36	c ============================[ Search Statistics ]==============================
31.19/31.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
31.19/31.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
31.19/31.36	c ===============================================================================
31.19/31.36	c |         0 |    7431     6953    20918 |     5000        0    nan |  0.000 % |
31.19/31.39	c |       102 |    7431     6953    20918 |     5500      102     41 |  0.201 % |
31.30/31.41	c |       252 |    7431     6953    20918 |     6050      252     34 |  0.202 % |
31.30/31.45	c |       477 |    7431     6953    20918 |     6655      477     32 |  0.201 % |
31.40/31.50	c |       816 |    7431     6953    20918 |     7320      816     30 |  0.201 % |
31.40/31.60	c |      1322 |    7431     6953    20918 |     8052     1322     35 |  0.201 % |
31.59/31.72	c |      2084 |    7431     6953    20918 |     8857     2084     31 |  0.201 % |
31.69/31.90	c |      3224 |    7431     6953    20918 |     9743     3224     36 |  0.201 % |
32.09/32.23	c |      4933 |    7431     6953    20918 |    10717     4933     38 |  0.201 % |
32.60/32.76	c |      7495 |    7431     6953    20918 |    11789     7495     40 |  0.201 % |
33.69/33.86	c |     11339 |    7431     6953    20918 |    12968    11339     45 |  0.201 % |
35.19/35.36	c |     17105 |    7431     6953    20918 |    14265    10137     71 |  0.201 % |
37.49/37.64	c |     25757 |    7428     6953    20918 |    15692    11532     57 |  0.242 % |
41.09/41.28	c |     38731 |    7428     6953    20918 |    17261     8669     58 |  0.242 % |
48.18/48.32	c |     58192 |    7406     6953    20918 |    18987     7579     64 |  0.537 % |
60.49/60.66	c |     87386 |    7406     6953    20918 |    20886    17481     97 |  0.537 % |
83.08/83.23	c |    131184 |    7406     6953    20918 |    22974    18672    114 |  0.538 % |
83.28/83.45	c ===============================================================================
85.38/85.54	c core #993
85.38/85.54	c Core size: 982	Core Weight: 1	Total Weight: 993
85.38/85.54	c Elapsed CPU time: 84.4272 s	Remaining CPU time: 1715.57 s
85.48/85.70	c ============================[ Search Statistics ]==============================
85.48/85.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.58/85.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
85.58/85.70	c ===============================================================================
85.58/85.70	c |         0 |    7842     6954    21740 |     5000        0    nan |  0.000 % |
85.58/85.74	c |       101 |    7842     6954    21740 |     5500      101     48 |  0.191 % |
85.58/85.75	c |       252 |    7842     6954    21740 |     6050      252     29 |  0.191 % |
85.58/85.79	c |       479 |    7842     6954    21740 |     6655      479     23 |  0.191 % |
85.68/85.82	c |       817 |    7842     6954    21740 |     7320      817     22 |  0.191 % |
85.68/85.90	c |      1323 |    7842     6954    21740 |     8052     1323     28 |  0.191 % |
85.88/86.03	c |      2085 |    7842     6954    21740 |     8857     2085     39 |  0.191 % |
86.08/86.26	c |      3224 |    7842     6954    21740 |     9743     3224     45 |  0.191 % |
86.48/86.69	c |      4932 |    7842     6954    21740 |    10717     4932     52 |  0.191 % |
87.17/87.30	c |      7495 |    7842     6954    21740 |    11789     7495     56 |  0.191 % |
88.28/88.46	c |     11342 |    7842     6954    21740 |    12968    11342     63 |  0.191 % |
90.08/90.27	c |     17108 |    7842     6954    21740 |    14265    10517     69 |  0.191 % |
92.88/93.00	c |     25757 |    7842     6954    21740 |    15692    11660     89 |  0.191 % |
96.97/97.19	c |     38734 |    7841     6954    21740 |    17261     8432     64 |  0.204 % |
102.37/102.54	c |     58195 |    7837     6954    21740 |    18987    10277     89 |  0.255 % |
114.56/114.78	c |     87387 |    7835     6954    21740 |    20886    19510    139 |  0.280 % |
132.86/133.01	c |    131176 |    7834     6954    21740 |    22974    20559     84 |  0.293 % |
166.45/166.64	c |    196862 |    7834     6954    21740 |    25272    15473    225 |  0.293 % |
219.34/219.57	c |    295392 |    7820     6954    21740 |    27799    22036    111 |  0.471 % |
221.73/221.94	c ===============================================================================
223.64/223.80	c core #994
223.64/223.80	c Core size: 1853	Core Weight: 1	Total Weight: 994
223.64/223.80	c Elapsed CPU time: 221.102 s	Remaining CPU time: 1578.9 s
223.94/224.14	c ============================[ Search Statistics ]==============================
223.94/224.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.94/224.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
223.94/224.14	c ===============================================================================
223.94/224.14	c |         0 |    8596     6955    23248 |     5000        0    nan |  0.000 % |
223.94/224.19	c |       100 |    8596     6955    23248 |     5500      100     13 |  0.174 % |
224.03/224.24	c |       251 |    8596     6955    23248 |     6050      251     26 |  0.174 % |
224.03/224.27	c |       476 |    8596     6955    23248 |     6655      476     24 |  0.174 % |
224.14/224.37	c |       815 |    8596     6955    23248 |     7320      815     30 |  0.174 % |
224.24/224.45	c |      1321 |    8596     6955    23248 |     8052     1321     24 |  0.174 % |
224.44/224.62	c |      2080 |    8596     6955    23248 |     8857     2080     31 |  0.174 % |
224.63/224.84	c |      3226 |    8596     6955    23248 |     9743     3226     37 |  0.174 % |
225.13/225.30	c |      4934 |    8596     6955    23248 |    10717     4934     48 |  0.174 % |
225.83/226.03	c |      7498 |    8596     6955    23248 |    11789     7498     57 |  0.174 % |
226.73/226.97	c |     11343 |    8596     6955    23248 |    12968    11343     59 |  0.174 % |
228.53/228.72	c |     17112 |    8596     6955    23248 |    14265    10390     65 |  0.174 % |
231.43/231.67	c |     25761 |    8596     6955    23248 |    15692    11577     63 |  0.174 % |
235.53/235.70	c |     38737 |    8596     6955    23248 |    17261     8483     74 |  0.174 % |
242.42/242.60	c |     58198 |    8596     6955    23248 |    18987    10197     72 |  0.174 % |
254.83/255.06	c |     87390 |    8596     6955    23248 |    20886     9978     60 |  0.174 % |
278.52/278.75	c |    131181 |    8596     6955    23248 |    22974    20908    115 |  0.174 % |
312.70/312.95	c |    196867 |    8596     6955    23248 |    25272    14745    134 |  0.174 % |
380.40/380.69	c |    295397 |    8596     6955    23248 |    27799    19982    173 |  0.174 % |
452.47/452.78	c |    443187 |    8591     6955    23248 |    30579    19291     66 |  0.232 % |
516.55/516.82	c ===============================================================================
519.75/520.09	c core #995
519.75/520.09	c Core size: 1207	Core Weight: 1	Total Weight: 995
519.75/520.09	c Elapsed CPU time: 514.818 s	Remaining CPU time: 1285.18 s
520.35/520.68	c ============================[ Search Statistics ]==============================
520.35/520.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
520.35/520.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
520.35/520.68	c ===============================================================================
520.35/520.68	c |         0 |    9081     6956    24218 |     5000        0    nan |  0.000 % |
520.45/520.79	c |       100 |    9081     6956    24218 |     5500      100     15 |  0.165 % |
520.54/520.81	c |       250 |    9081     6956    24218 |     6050      250     17 |  0.165 % |
520.54/520.85	c |       475 |    9081     6956    24218 |     6655      475     21 |  0.165 % |
520.65/520.92	c |       814 |    9081     6956    24218 |     7320      814     28 |  0.165 % |
520.74/521.05	c |      1323 |    9081     6956    24218 |     8052     1323     42 |  0.165 % |
520.95/521.20	c |      2084 |    9081     6956    24218 |     8857     2084     45 |  0.165 % |
521.25/521.55	c |      3223 |    9081     6956    24218 |     9743     3223     51 |  0.165 % |
521.54/521.85	c |      4933 |    9081     6956    24218 |    10717     4933     46 |  0.165 % |
522.14/522.44	c |      7495 |    9081     6956    24218 |    11789     7495     58 |  0.165 % |
523.05/523.36	c |     11341 |    9081     6956    24218 |    12968    11341     67 |  0.165 % |
524.75/525.08	c |     17109 |    9081     6956    24218 |    14265    10220     77 |  0.165 % |
527.44/527.76	c |     25758 |    9081     6956    24218 |    15692    11522     83 |  0.165 % |
533.84/534.13	c |     38732 |    9081     6956    24218 |    17261     8202    106 |  0.165 % |
541.14/541.42	c |     58193 |    9081     6956    24218 |    18987     9713    128 |  0.165 % |
561.93/562.26	c |     87385 |    9081     6956    24218 |    20886    18803    196 |  0.165 % |
581.63/581.95	c |    131176 |    9081     6956    24218 |    22974    18808    196 |  0.165 % |
622.02/622.31	c |    196861 |    9081     6956    24218 |    25272    12559    258 |  0.165 % |
709.69/710.02	c |    295388 |    9081     6956    24218 |    27799    18273    289 |  0.165 % |
815.96/816.34	c |    443178 |    9081     6956    24218 |    30579    25252    145 |  0.165 % |
1024.90/1025.33	c |    664861 |    9081     6956    24218 |    33637    15946    200 |  0.165 % |
1470.76/1471.38	c |    997387 |    9081     6956    24218 |    37001    26906    371 |  0.165 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.95 0.96 3/64 3503
/proc/meminfo: memFree=1806576/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=2964 CPUtime=0
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182031729 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 741 248 125 292 0 418 0

[startup+0.10268 s]
/proc/loadavg: 0.92 0.95 0.96 3/64 3503
/proc/meminfo: memFree=1806576/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=3512 CPUtime=0.09
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 480 0 0 0 9 0 0 0 18 0 1 0 182031729 3596288 436 1992294400 134512640 135709839 4294956240 18446744073709551615 134570368 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 878 436 133 292 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.202692 s]
/proc/loadavg: 0.92 0.95 0.96 3/64 3503
/proc/meminfo: memFree=1806576/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=3512 CPUtime=0.19
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 497 0 0 0 19 0 0 0 18 0 1 0 182031729 3596288 453 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 878 453 133 292 0 583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3512

[startup+0.302704 s]
/proc/loadavg: 0.92 0.95 0.96 3/64 3503
/proc/meminfo: memFree=1806576/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=3660 CPUtime=0.29
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 574 0 0 0 29 0 0 0 19 0 1 0 182031729 3747840 473 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 915 473 133 292 0 620 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3660

[startup+0.701751 s]
/proc/loadavg: 0.92 0.95 0.96 3/64 3503
/proc/meminfo: memFree=1806576/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=3852 CPUtime=0.69
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 797 0 0 0 69 0 0 0 22 0 1 0 182031729 3944448 525 1992294400 134512640 135709839 4294956240 18446744073709551615 135183509 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 963 525 133 292 0 668 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3852

[startup+1.50184 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 3504
/proc/meminfo: memFree=1804520/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=4744 CPUtime=1.48
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 1079 0 0 0 148 0 0 0 25 0 1 0 182031729 4857856 750 1992294400 134512640 135709839 4294956240 18446744073709551615 134530668 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 1186 750 133 292 0 891 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4744

[startup+3.10103 s]
/proc/loadavg: 0.93 0.95 0.96 2/65 3504
/proc/meminfo: memFree=1802984/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=6744 CPUtime=3.05
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 2352 0 0 0 303 2 0 0 25 0 1 0 182031729 6905856 1255 1992294400 134512640 135709839 4294956240 18446744073709551615 135382478 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 1686 1255 133 292 0 1391 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6744

[startup+6.30141 s]
/proc/loadavg: 0.93 0.96 0.96 2/65 3504
/proc/meminfo: memFree=1797608/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=13420 CPUtime=6.22
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 5272 0 0 0 617 5 0 0 25 0 1 0 182031729 13742080 2908 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 3355 2908 134 292 0 3060 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 13420

[startup+12.7012 s]
/proc/loadavg: 0.94 0.96 0.96 2/65 3504
/proc/meminfo: memFree=1785384/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=24008 CPUtime=12.61
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 8169 0 0 0 1244 17 0 0 25 0 1 0 182031729 24584192 5546 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 6002 5546 136 292 0 5707 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 24008

[startup+25.5017 s]
/proc/loadavg: 0.95 0.96 0.96 2/65 3504
/proc/meminfo: memFree=1772840/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=35892 CPUtime=25.4
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 11163 0 0 0 2505 35 0 0 25 0 1 0 182031729 36753408 8540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 8973 8540 136 292 0 8678 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 35892

[startup+51.1017 s]
/proc/loadavg: 0.97 0.96 0.96 2/65 3504
/proc/meminfo: memFree=1740520/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=68592 CPUtime=50.99
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 19317 0 0 0 5030 69 0 0 25 0 1 0 182031729 70238208 16694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 17148 16694 136 292 0 16853 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 68592

[startup+102.302 s]
/proc/loadavg: 0.98 0.96 0.96 2/65 3504
/proc/meminfo: memFree=1689768/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=118584 CPUtime=102.18
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 31800 0 0 0 10092 126 0 0 25 0 1 0 182031729 121430016 29177 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 29646 29177 136 292 0 29351 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 118584

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1594152/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=215152 CPUtime=162.16
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 55952 0 0 0 16020 196 0 0 25 0 1 0 182031729 220315648 53329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 53788 53329 136 292 0 53493 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 215152

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1505000/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=302948 CPUtime=222.13
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 77922 0 0 0 21959 254 0 0 25 0 1 0 182031729 310218752 75299 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 75737 75299 136 292 0 75442 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 302948

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1502376/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=305340 CPUtime=282.12
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 78508 0 0 0 27900 312 0 0 25 0 1 0 182031729 312668160 75885 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 76335 75885 136 292 0 76040 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 305340

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1415464/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=392268 CPUtime=342.1
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 100239 0 0 0 33845 365 0 0 25 0 1 0 182031729 401682432 97616 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 98067 97616 136 292 0 97772 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 392268

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1338472/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=469940 CPUtime=402.08
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 119652 0 0 0 39789 419 0 0 25 0 1 0 182031729 481218560 117029 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 117485 117029 136 292 0 117190 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 469940

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1269992/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=537544 CPUtime=462.06
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 136551 0 0 0 45742 464 0 0 25 0 1 0 182031729 550445056 133928 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 134386 133928 136 292 0 134091 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 537544

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1212264/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=594900 CPUtime=522.05
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 150872 0 0 0 51698 507 0 0 25 0 1 0 182031729 609177600 148249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 148725 148249 136 292 0 148430 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 594900

[startup+582.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1193384/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=613776 CPUtime=582.02
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 155631 0 0 0 57638 564 0 0 25 0 1 0 182031729 628506624 153008 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 153444 153008 136 292 0 153149 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 613776

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1107176/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=701052 CPUtime=642.01
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 177450 0 0 0 63582 619 0 0 25 0 1 0 182031729 717877248 174827 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 175263 174827 136 292 0 174968 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 701052

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=1029544/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=777556 CPUtime=701.99
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 196575 0 0 0 69545 654 0 0 25 0 1 0 182031729 796217344 193952 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 194389 193952 136 292 0 194094 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 777556

[startup+762.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=968168/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=838356 CPUtime=761.97
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 211734 0 0 0 75509 688 0 0 25 0 1 0 182031729 858476544 209111 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 209589 209111 136 292 0 209294 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 838356

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=898472/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=908956 CPUtime=821.95
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 229378 0 0 0 81468 727 0 0 25 0 1 0 182031729 930770944 226755 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 227239 226755 136 292 0 226944 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 908956

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=809768/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=996644 CPUtime=881.94
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 251273 0 0 0 87431 763 0 0 25 0 1 0 182031729 1020563456 248650 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 249161 248650 136 292 0 248866 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 996644

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=731176/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1075596 CPUtime=941.92
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 271029 0 0 0 93393 799 0 0 25 0 1 0 182031729 1101410304 268406 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 268899 268406 136 292 0 268604 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 1075596

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=649960/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1156180 CPUtime=1001.9
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 291164 0 0 0 99356 834 0 0 25 0 1 0 182031729 1183928320 288541 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 289045 288541 136 292 0 288750 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1156180

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=571752/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1235028 CPUtime=1061.88
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 310854 0 0 0 105316 872 0 0 25 0 1 0 182031729 1264668672 308231 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 308757 308231 136 292 0 308462 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1235028

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=492904/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1313488 CPUtime=1121.86
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 330435 0 0 0 111280 906 0 0 25 0 1 0 182031729 1345011712 327812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 328372 327812 136 292 0 328077 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1313488

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=407080/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1399144 CPUtime=1181.85
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 351822 0 0 0 117250 935 0 0 25 0 1 0 182031729 1432723456 349199 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 349786 349199 136 292 0 349491 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1399144

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=316840/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1489248 CPUtime=1241.83
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 374346 0 0 0 123218 965 0 0 25 0 1 0 182031729 1524989952 371723 1992294400 134512640 135709839 4294956240 18446744073709551615 134572390 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 372312 371723 136 292 0 372017 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1489248

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=225448/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1581264 CPUtime=1301.82
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 397330 0 0 0 129187 995 0 0 25 0 1 0 182031729 1619214336 394707 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 395316 394707 136 292 0 395021 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1581264

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=145000/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1660992 CPUtime=1361.8
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 417253 0 0 0 135157 1023 0 0 25 0 1 0 182031729 1700855808 414630 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 415248 414630 136 292 0 414953 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1660992

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=56488/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1748524 CPUtime=1421.78
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 439124 0 0 0 141127 1051 0 0 25 0 1 0 182031729 1790488576 436501 1992294400 134512640 135709839 4294956240 18446744073709551615 134572322 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 437131 436501 136 292 0 436836 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1748524

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=14824/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1823128 CPUtime=1481.76
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 457777 0 0 0 147096 1080 0 0 25 0 1 0 182031729 1866883072 455154 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 455782 455154 136 292 0 455487 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1823128



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1497.9 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=16168/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=1843236 CPUtime=1497.35
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4194304 462806 0 0 0 148642 1093 0 0 25 0 1 0 182031729 1887473664 460183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 460809 460183 136 292 0 460514 0
Current children cumulated CPU time (s) 1497.35
Current children cumulated vsize (KiB) 1843236

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

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

[startup+1498.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/65 3504
/proc/meminfo: memFree=16168/2055920 swapFree=4191900/4192956
[pid=3503] ppid=3501 vsize=0 CPUtime=1497.56
/proc/3503/stat : 3503 (wbo) R 3501 3503 3460 0 -1 4195332 462806 0 0 0 148643 1113 0 0 25 0 1 0 182031729 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3503/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1497.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1498.19
CPU time (s): 1497.66
CPU user time (s): 1486.43
CPU system time (s): 11.2253
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1843236

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

runsolver used 1.35379 second user time and 2.93055 second system time

The end

Launcher Data 

Begin job on node1 at 2009-06-16 11:25:06
IDJOB=1875589
IDBENCH=1984
IDSOLVER=698
FILE ID=node1/1875589-1245144306
PBS_JOBID= 9363766
Free space on /tmp= 66220 MiB

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

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

MD5SUM BENCH= eb191f4787a2203be4bff8f6c7c8f66d
RANDOM SEED=472179240

node1.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.245
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.245
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:       1807184 kB
Buffers:         26832 kB
Cached:         142500 kB
SwapCached:        260 kB
Active:          29296 kB
Inactive:       153252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807184 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2636 kB
Writeback:           0 kB
Mapped:          22408 kB
Slab:            52124 kB
Committed_AS:   149128 kB
PageTables:       1436 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-1875589-1245144306.opb

Free space on /tmp at the end= 66220 MiB
End job on node1 at 2009-06-16 11:50:06