Trace number 1875676

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) 1552.43 1553

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUMff2125c4e604678d0c316c16eb28ba7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1053
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1035
Optimality of the best value was proved NO
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875676-1245145997.opb.
0.00/0.00	c Instance file HOME/instance-1875676-1245145997.opb
0.00/0.00	c File size is 112221 bytes.
0.00/0.01	c Highest Coefficient sum: 3
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1968                                                |
0.00/0.01	c |  Number Clauses:        5968                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.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.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.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.03/0.03	c core #7
0.03/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.03/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #8
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.03/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.03/0.04	c core #9
0.03/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.03/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.03/0.05	c core #10
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.03/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.03/0.05	c core #11
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.03/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.03/0.05	c core #12
0.03/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.03/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.03/0.06	c core #13
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.03/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #14
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.03/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
0.03/0.06	c core #15
0.03/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.03/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.03/0.07	c core #16
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.03/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.03/0.07	c core #17
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.03/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.03/0.07	c core #18
0.03/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.03/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #19
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.03/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.03/0.08	c core #20
0.03/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.03/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.03/0.09	c core #21
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.03/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.03/0.09	c core #22
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.03/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.03/0.09	c core #23
0.03/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.03/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.03/0.10	c core #24
0.03/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.03/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.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #29
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.11	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.120981 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.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.131979 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.135979 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.139978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #37
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.14	c Elapsed CPU time: 0.146977 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.150977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.165974 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.168974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #45
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.17	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #46
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.18	c Elapsed CPU time: 0.180972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #48
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.19	c Elapsed CPU time: 0.187971 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.19197 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #50
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.19	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.09/0.20	c core #51
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.09/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #52
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #53
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.20	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #54
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #58
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.22	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #61
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.23	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #62
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.24	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #63
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.24	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #64
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.25	c Elapsed CPU time: 0.247962 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.251961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #66
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.25	c Elapsed CPU time: 0.255961 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.25996 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #69
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.27	c Elapsed CPU time: 0.267959 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.271958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #71
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.27	c Elapsed CPU time: 0.275958 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.279957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #74
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.29	c Elapsed CPU time: 0.287956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #75
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.29	c Elapsed CPU time: 0.291955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #76
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.29	c Elapsed CPU time: 0.295955 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #77
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #79
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.30	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #80
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 80
0.29/0.31	c Elapsed CPU time: 0.310952 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #81
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.31	c Elapsed CPU time: 0.314952 s	Remaining CPU time: 1799.69 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.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.32295 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #84
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.32	c Elapsed CPU time: 0.32695 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.330949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #86
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.33	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 1799.67 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.337948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #89
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.34	c Elapsed CPU time: 0.345947 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.349946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.352946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #92
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.360945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #94
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.36	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 1799.64 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.368943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.372943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #97
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.38	c Elapsed CPU time: 0.376942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #99
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.38	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.387941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #102
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.39	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #103
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #107
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.41	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #112
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.437933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #114
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #115
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #116
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #117
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.45	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #118
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.46	c Elapsed CPU time: 0.45893 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #119
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #120
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.47	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #121
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.47	c Elapsed CPU time: 0.470928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #122
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.47	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #123
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #124
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.48	c Elapsed CPU time: 0.482926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #125
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #126
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 126
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #127
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.49	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #128
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.50	c Elapsed CPU time: 0.498924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #129
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.50	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #130
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #131
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #132
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.52	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #133
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.52	c Elapsed CPU time: 0.51992 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #134
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.52	c Elapsed CPU time: 0.52392 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #135
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.53	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #136
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.53	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #137
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.54	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #138
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #139
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.54	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #140
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.55	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #141
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.55	c Elapsed CPU time: 0.551916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #142
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #143
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.56	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #144
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #145
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #146
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #147
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.58	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #148
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #149
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.58	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #150
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 150
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #151
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #152
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.60	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #153
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.60	c Elapsed CPU time: 0.601908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #154
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.61	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #155
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #156
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.61	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #157
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #158
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.62	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #159
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.63	c Elapsed CPU time: 0.626904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #160
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.63	c Elapsed CPU time: 0.630904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #161
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.63	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #162
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.64	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #163
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.64	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #164
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.65	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #165
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.65	c Elapsed CPU time: 0.6519 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #166
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.66	c Elapsed CPU time: 0.6559 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #167
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.66	c Elapsed CPU time: 0.659899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #168
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.66	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #169
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.67	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #170
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.67	c Elapsed CPU time: 0.672897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #171
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.68	c Elapsed CPU time: 0.676897 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #172
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.68	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #173
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.69	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #174
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.69	c Elapsed CPU time: 0.689895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #175
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 175
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #176
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #177
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.70	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #178
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #179
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #180
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.72	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #181
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.72	c Elapsed CPU time: 0.71889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #182
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.73	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #183
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.73	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #184
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #185
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #186
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.74	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #187
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.75	c Elapsed CPU time: 0.745886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #188
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.75	c Elapsed CPU time: 0.750885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #189
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.76	c Elapsed CPU time: 0.754885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #190
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.76	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #191
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.77	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #192
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.77	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #193
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.77	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #194
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.78	c Elapsed CPU time: 0.777881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #195
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #196
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.79	c Elapsed CPU time: 0.78688 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #197
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.79	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #198
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.80	c Elapsed CPU time: 0.795879 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #199
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.80	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #200
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.81	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #201
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #202
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.82	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #203
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.82	c Elapsed CPU time: 0.818875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #204
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.83	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #205
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.83	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #206
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.83	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #207
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.84	c Elapsed CPU time: 0.836872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #208
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.84	c Elapsed CPU time: 0.841872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #209
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.85	c core #210
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.85	c Elapsed CPU time: 0.85187 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #211
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.86	c Elapsed CPU time: 0.855869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #212
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.86	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #213
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.87	c Elapsed CPU time: 0.865868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #214
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.87	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #215
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.88	c Elapsed CPU time: 0.874867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #216
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.88	c Elapsed CPU time: 0.879866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #217
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.89	c Elapsed CPU time: 0.883865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #218
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.89	c Elapsed CPU time: 0.888864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #219
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.90	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #220
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.90	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #221
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.91	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #222
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.91	c Elapsed CPU time: 0.907861 s	Remaining CPU time: 1799.09 s
0.89/0.91	c core #223
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.91	c Elapsed CPU time: 0.911861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #224
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.92	c Elapsed CPU time: 0.91686 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #225
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.92	c Elapsed CPU time: 0.921859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #226
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #227
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.93	c Elapsed CPU time: 0.931858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #228
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #229
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.94	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #230
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #231
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.95	c Elapsed CPU time: 0.951855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #232
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.96	c Elapsed CPU time: 0.956854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #233
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.96	c Elapsed CPU time: 0.961853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #234
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #235
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #236
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #237
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.98	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #238
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.99	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #239
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.99	c Elapsed CPU time: 0.990849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #240
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/1.00	c Elapsed CPU time: 0.995848 s	Remaining CPU time: 1799 s
0.99/1.00	c core #241
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.00	c Elapsed CPU time: 1.00085 s	Remaining CPU time: 1799 s
0.99/1.01	c core #242
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.01	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 1798.99 s
0.99/1.01	c core #243
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #244
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
0.99/1.02	c core #245
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.02	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #246
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
0.99/1.03	c core #247
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.03	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #248
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.04	c Elapsed CPU time: 1.03584 s	Remaining CPU time: 1798.96 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.04084 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #250
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.05	c Elapsed CPU time: 1.04584 s	Remaining CPU time: 1798.95 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.05084 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #252
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.06	c Elapsed CPU time: 1.05584 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.06084 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #254
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.07	c Elapsed CPU time: 1.06584 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.07084 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #256
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.08	c Elapsed CPU time: 1.07584 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.08083 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #258
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.09	c Elapsed CPU time: 1.08583 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.09083 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #260
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 260
1.09/1.10	c Elapsed CPU time: 1.09583 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.10083 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #262
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.11	c Elapsed CPU time: 1.10683 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.11183 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #264
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.12	c Elapsed CPU time: 1.11683 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.12283 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #266
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.13	c Elapsed CPU time: 1.12783 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.13283 s	Remaining CPU time: 1798.87 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.13883 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.14383 s	Remaining CPU time: 1798.86 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.14882 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.15482 s	Remaining CPU time: 1798.85 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.15982 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.16482 s	Remaining CPU time: 1798.84 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.17082 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #275
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.18	c Elapsed CPU time: 1.17582 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.18082 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #277
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.19	c Elapsed CPU time: 1.18682 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #278
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 278
1.18/1.20	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #279
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 279
1.18/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #280
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 280
1.18/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #281
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 281
1.18/1.21	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.18/1.22	c core #282
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 282
1.18/1.22	c Elapsed CPU time: 1.21182 s	Remaining CPU time: 1798.79 s
1.18/1.23	c core #283
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 283
1.18/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.18/1.23	c core #284
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 284
1.18/1.23	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 1798.78 s
1.18/1.24	c core #285
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 285
1.18/1.24	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.18/1.24	c core #286
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 286
1.18/1.24	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #287
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 287
1.18/1.25	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.18/1.25	c core #288
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 288
1.18/1.25	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #289
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 289
1.18/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.18/1.26	c core #290
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 290
1.18/1.26	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #291
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 291
1.18/1.27	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 1798.74 s
1.18/1.27	c core #292
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 292
1.18/1.27	c Elapsed CPU time: 1.26481 s	Remaining CPU time: 1798.74 s
1.18/1.28	c core #293
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 293
1.18/1.28	c Elapsed CPU time: 1.26981 s	Remaining CPU time: 1798.73 s
1.18/1.28	c core #294
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 294
1.18/1.28	c Elapsed CPU time: 1.27481 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #295
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 295
1.18/1.29	c Elapsed CPU time: 1.27981 s	Remaining CPU time: 1798.72 s
1.18/1.29	c core #296
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 296
1.18/1.29	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 1798.72 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.2908 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.2958 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.3008 s	Remaining CPU time: 1798.7 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.3058 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.3118 s	Remaining CPU time: 1798.69 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.3158 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #303
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.33	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 1798.68 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.3258 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #305
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.34	c Elapsed CPU time: 1.3308 s	Remaining CPU time: 1798.67 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.3358 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.3408 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #308
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.36	c Elapsed CPU time: 1.3458 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.35079 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #310
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.37	c Elapsed CPU time: 1.35679 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.36179 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #312
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.38	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 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.37279 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #314
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 314
1.28/1.39	c Elapsed CPU time: 1.37879 s	Remaining CPU time: 1798.62 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.38379 s	Remaining CPU time: 1798.62 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.38979 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #317
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.41	c Elapsed CPU time: 1.39479 s	Remaining CPU time: 1798.61 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.39979 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #319
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.42	c Elapsed CPU time: 1.40579 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.41078 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #321
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.43	c Elapsed CPU time: 1.41678 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.42078 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #323
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.44	c Elapsed CPU time: 1.42678 s	Remaining CPU time: 1798.57 s
1.38/1.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.43178 s	Remaining CPU time: 1798.57 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.43778 s	Remaining CPU time: 1798.56 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.44278 s	Remaining CPU time: 1798.56 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.44778 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #328
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.47	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 1798.55 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.45878 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #330
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.48	c Elapsed CPU time: 1.46478 s	Remaining CPU time: 1798.54 s
1.38/1.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.46978 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #332
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 332
1.38/1.49	c Elapsed CPU time: 1.47578 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.48077 s	Remaining CPU time: 1798.52 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.48677 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #335
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 335
1.48/1.51	c Elapsed CPU time: 1.49277 s	Remaining CPU time: 1798.51 s
1.48/1.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.49777 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #337
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 337
1.48/1.52	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.48/1.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.50877 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #339
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.53	c Elapsed CPU time: 1.51477 s	Remaining CPU time: 1798.49 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.52077 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #341
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.54	c Elapsed CPU time: 1.52577 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.53177 s	Remaining CPU time: 1798.47 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.53677 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.54177 s	Remaining CPU time: 1798.46 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.54776 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.55276 s	Remaining CPU time: 1798.45 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.55776 s	Remaining CPU time: 1798.44 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.56276 s	Remaining CPU time: 1798.44 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.56776 s	Remaining CPU time: 1798.43 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.57376 s	Remaining CPU time: 1798.43 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.57976 s	Remaining CPU time: 1798.42 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.58476 s	Remaining CPU time: 1798.42 s
1.58/1.61	c core #353
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 353
1.58/1.61	c Elapsed CPU time: 1.58976 s	Remaining CPU time: 1798.41 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.59576 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.60176 s	Remaining CPU time: 1798.4 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.60776 s	Remaining CPU time: 1798.39 s
1.58/1.64	c core #357
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 357
1.58/1.64	c Elapsed CPU time: 1.61275 s	Remaining CPU time: 1798.39 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.61875 s	Remaining CPU time: 1798.38 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.62475 s	Remaining CPU time: 1798.38 s
1.58/1.65	c core #360
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.65	c Elapsed CPU time: 1.63075 s	Remaining CPU time: 1798.37 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.63575 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.64075 s	Remaining CPU time: 1798.36 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.64675 s	Remaining CPU time: 1798.35 s
1.58/1.68	c core #364
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.68	c Elapsed CPU time: 1.65175 s	Remaining CPU time: 1798.35 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.65675 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.66275 s	Remaining CPU time: 1798.34 s
1.58/1.69	c core #367
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 367
1.58/1.69	c Elapsed CPU time: 1.66875 s	Remaining CPU time: 1798.33 s
1.68/1.70	c core #368
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 368
1.68/1.70	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.68/1.71	c core #369
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 369
1.68/1.71	c Elapsed CPU time: 1.68074 s	Remaining CPU time: 1798.32 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.68674 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #371
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 371
1.68/1.72	c Elapsed CPU time: 1.69274 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.69774 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.70274 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #374
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 374
1.68/1.73	c Elapsed CPU time: 1.70874 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.71474 s	Remaining CPU time: 1798.29 s
1.68/1.75	c core #376
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 376
1.68/1.75	c Elapsed CPU time: 1.72074 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.72674 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.73274 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #379
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.76	c Elapsed CPU time: 1.73774 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.74373 s	Remaining CPU time: 1798.26 s
1.68/1.78	c core #381
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.78	c Elapsed CPU time: 1.74973 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.75573 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #383
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 383
1.68/1.79	c Elapsed CPU time: 1.76173 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.76673 s	Remaining CPU time: 1798.23 s
1.77/1.80	c core #385
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 385
1.77/1.80	c Elapsed CPU time: 1.77173 s	Remaining CPU time: 1798.23 s
1.77/1.80	c core #386
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 386
1.77/1.80	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #387
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 387
1.77/1.81	c Elapsed CPU time: 1.78273 s	Remaining CPU time: 1798.22 s
1.77/1.82	c core #388
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 388
1.77/1.82	c Elapsed CPU time: 1.78873 s	Remaining CPU time: 1798.21 s
1.77/1.82	c core #389
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 389
1.77/1.82	c Elapsed CPU time: 1.79473 s	Remaining CPU time: 1798.21 s
1.77/1.83	c core #390
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 390
1.77/1.83	c Elapsed CPU time: 1.80073 s	Remaining CPU time: 1798.2 s
1.77/1.83	c core #391
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 391
1.77/1.83	c Elapsed CPU time: 1.80673 s	Remaining CPU time: 1798.19 s
1.77/1.84	c core #392
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 392
1.77/1.84	c Elapsed CPU time: 1.81272 s	Remaining CPU time: 1798.19 s
1.77/1.85	c core #393
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 393
1.77/1.85	c Elapsed CPU time: 1.81872 s	Remaining CPU time: 1798.18 s
1.77/1.85	c core #394
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 394
1.77/1.85	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.77/1.86	c core #395
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 395
1.77/1.86	c Elapsed CPU time: 1.83072 s	Remaining CPU time: 1798.17 s
1.77/1.86	c core #396
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 396
1.77/1.86	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.77/1.87	c core #397
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 397
1.77/1.87	c Elapsed CPU time: 1.84272 s	Remaining CPU time: 1798.16 s
1.77/1.88	c core #398
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 398
1.77/1.88	c Elapsed CPU time: 1.84872 s	Remaining CPU time: 1798.15 s
1.77/1.88	c core #399
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 399
1.77/1.88	c Elapsed CPU time: 1.85472 s	Remaining CPU time: 1798.15 s
1.77/1.89	c core #400
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 400
1.77/1.89	c Elapsed CPU time: 1.86072 s	Remaining CPU time: 1798.14 s
1.77/1.89	c core #401
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 401
1.77/1.89	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 1798.13 s
1.87/1.90	c core #402
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 402
1.87/1.90	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.87/1.91	c core #403
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 403
1.87/1.91	c Elapsed CPU time: 1.87871 s	Remaining CPU time: 1798.12 s
1.87/1.91	c core #404
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 404
1.87/1.91	c Elapsed CPU time: 1.88471 s	Remaining CPU time: 1798.12 s
1.87/1.92	c core #405
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 405
1.87/1.92	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
1.87/1.93	c core #406
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 406
1.87/1.93	c Elapsed CPU time: 1.89671 s	Remaining CPU time: 1798.1 s
1.87/1.93	c core #407
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 407
1.87/1.93	c Elapsed CPU time: 1.90271 s	Remaining CPU time: 1798.1 s
1.87/1.94	c core #408
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 408
1.87/1.94	c Elapsed CPU time: 1.90871 s	Remaining CPU time: 1798.09 s
1.87/1.94	c core #409
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 409
1.87/1.94	c Elapsed CPU time: 1.91471 s	Remaining CPU time: 1798.09 s
1.87/1.95	c core #410
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 410
1.87/1.95	c Elapsed CPU time: 1.92071 s	Remaining CPU time: 1798.08 s
1.87/1.96	c core #411
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 411
1.87/1.96	c Elapsed CPU time: 1.92671 s	Remaining CPU time: 1798.07 s
1.87/1.96	c core #412
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 412
1.87/1.96	c Elapsed CPU time: 1.93271 s	Remaining CPU time: 1798.07 s
1.87/1.97	c core #413
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 413
1.87/1.97	c Elapsed CPU time: 1.93871 s	Remaining CPU time: 1798.06 s
1.87/1.97	c core #414
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 414
1.87/1.97	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 1798.06 s
1.87/1.98	c core #415
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 415
1.87/1.98	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 1798.05 s
1.87/1.99	c core #416
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 416
1.87/1.99	c Elapsed CPU time: 1.9567 s	Remaining CPU time: 1798.04 s
1.87/1.99	c core #417
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 417
1.87/1.99	c Elapsed CPU time: 1.9627 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #418
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 418
1.97/2.00	c Elapsed CPU time: 1.9687 s	Remaining CPU time: 1798.03 s
1.97/2.00	c core #419
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 419
1.97/2.00	c Elapsed CPU time: 1.9747 s	Remaining CPU time: 1798.03 s
1.97/2.01	c core #420
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 420
1.97/2.01	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #421
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 421
1.97/2.02	c Elapsed CPU time: 1.9867 s	Remaining CPU time: 1798.01 s
1.97/2.02	c core #422
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 422
1.97/2.02	c Elapsed CPU time: 1.9927 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #423
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 423
1.97/2.03	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.97/2.03	c core #424
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 424
1.97/2.03	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.97/2.04	c core #425
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 425
1.97/2.04	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.97/2.05	c core #426
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 426
1.97/2.05	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.97/2.05	c core #427
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 427
1.97/2.05	c Elapsed CPU time: 2.02269 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #428
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 428
1.97/2.06	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
1.97/2.06	c core #429
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 429
1.97/2.06	c Elapsed CPU time: 2.03369 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #430
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 430
1.97/2.07	c Elapsed CPU time: 2.03969 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #431
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 431
1.97/2.08	c Elapsed CPU time: 2.04569 s	Remaining CPU time: 1797.95 s
1.97/2.08	c core #432
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 432
1.97/2.08	c Elapsed CPU time: 2.05169 s	Remaining CPU time: 1797.95 s
1.97/2.09	c core #433
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 433
1.97/2.09	c Elapsed CPU time: 2.05769 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #434
1.97/2.10	c Core size: 3	Core Weight: 1	Total Weight: 434
1.97/2.10	c Elapsed CPU time: 2.06369 s	Remaining CPU time: 1797.94 s
2.07/2.10	c core #435
2.07/2.10	c Core size: 3	Core Weight: 1	Total Weight: 435
2.07/2.10	c Elapsed CPU time: 2.06968 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #436
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 436
2.07/2.11	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.12	c core #438
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 438
2.07/2.12	c Elapsed CPU time: 2.08768 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #439
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 439
2.07/2.13	c Elapsed CPU time: 2.09468 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.14	c core #441
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 441
2.07/2.14	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #442
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 442
2.07/2.15	c Elapsed CPU time: 2.11168 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.11768 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #444
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 444
2.07/2.16	c Elapsed CPU time: 2.12368 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.17	c core #446
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 446
2.07/2.17	c Elapsed CPU time: 2.13567 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #447
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 447
2.07/2.18	c Elapsed CPU time: 2.14167 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.14767 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #449
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 449
2.07/2.19	c Elapsed CPU time: 2.15367 s	Remaining CPU time: 1797.85 s
2.07/2.20	c core #450
2.07/2.20	c Core size: 3	Core Weight: 1	Total Weight: 450
2.07/2.20	c Elapsed CPU time: 2.15967 s	Remaining CPU time: 1797.84 s
2.17/2.20	c core #451
2.17/2.20	c Core size: 3	Core Weight: 1	Total Weight: 451
2.17/2.20	c Elapsed CPU time: 2.16567 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #452
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 452
2.17/2.21	c Elapsed CPU time: 2.17167 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #453
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 453
2.17/2.21	c Elapsed CPU time: 2.17867 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #454
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 454
2.17/2.22	c Elapsed CPU time: 2.18467 s	Remaining CPU time: 1797.82 s
2.17/2.23	c core #455
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 455
2.17/2.23	c Elapsed CPU time: 2.19067 s	Remaining CPU time: 1797.81 s
2.17/2.23	c core #456
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 456
2.17/2.23	c Elapsed CPU time: 2.19667 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #457
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 457
2.17/2.24	c Elapsed CPU time: 2.20267 s	Remaining CPU time: 1797.8 s
2.17/2.25	c core #458
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 458
2.17/2.25	c Elapsed CPU time: 2.20866 s	Remaining CPU time: 1797.79 s
2.17/2.25	c core #459
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 459
2.17/2.25	c Elapsed CPU time: 2.21466 s	Remaining CPU time: 1797.79 s
2.17/2.26	c core #460
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 460
2.17/2.26	c Elapsed CPU time: 2.22066 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #461
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 461
2.17/2.26	c Elapsed CPU time: 2.22566 s	Remaining CPU time: 1797.77 s
2.17/2.27	c core #462
2.17/2.27	c Core size: 3	Core Weight: 1	Total Weight: 462
2.17/2.27	c Elapsed CPU time: 2.23166 s	Remaining CPU time: 1797.77 s
2.17/2.28	c core #463
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 463
2.17/2.28	c Elapsed CPU time: 2.23866 s	Remaining CPU time: 1797.76 s
2.17/2.28	c core #464
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 464
2.17/2.28	c Elapsed CPU time: 2.24466 s	Remaining CPU time: 1797.76 s
2.17/2.29	c core #465
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 465
2.17/2.29	c Elapsed CPU time: 2.25166 s	Remaining CPU time: 1797.75 s
2.17/2.30	c core #466
2.17/2.30	c Core size: 3	Core Weight: 1	Total Weight: 466
2.17/2.30	c Elapsed CPU time: 2.25766 s	Remaining CPU time: 1797.74 s
2.26/2.30	c core #467
2.26/2.30	c Core size: 3	Core Weight: 1	Total Weight: 467
2.26/2.30	c Elapsed CPU time: 2.26365 s	Remaining CPU time: 1797.74 s
2.26/2.31	c core #468
2.26/2.31	c Core size: 3	Core Weight: 1	Total Weight: 468
2.26/2.31	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.26/2.32	c core #469
2.26/2.32	c Core size: 3	Core Weight: 1	Total Weight: 469
2.26/2.32	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.26/2.32	c core #470
2.26/2.32	c Core size: 3	Core Weight: 1	Total Weight: 470
2.26/2.32	c Elapsed CPU time: 2.28365 s	Remaining CPU time: 1797.72 s
2.26/2.33	c core #471
2.26/2.33	c Core size: 3	Core Weight: 1	Total Weight: 471
2.26/2.33	c Elapsed CPU time: 2.28965 s	Remaining CPU time: 1797.71 s
2.26/2.34	c core #472
2.26/2.34	c Core size: 3	Core Weight: 1	Total Weight: 472
2.26/2.34	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.26/2.34	c core #473
2.26/2.34	c Core size: 3	Core Weight: 1	Total Weight: 473
2.26/2.34	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.26/2.35	c core #474
2.26/2.35	c Core size: 3	Core Weight: 1	Total Weight: 474
2.26/2.35	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.26/2.35	c core #475
2.26/2.35	c Core size: 3	Core Weight: 1	Total Weight: 475
2.26/2.35	c Elapsed CPU time: 2.31565 s	Remaining CPU time: 1797.68 s
2.26/2.36	c core #476
2.26/2.36	c Core size: 3	Core Weight: 1	Total Weight: 476
2.26/2.36	c Elapsed CPU time: 2.32165 s	Remaining CPU time: 1797.68 s
2.26/2.37	c core #477
2.26/2.37	c Core size: 3	Core Weight: 1	Total Weight: 477
2.26/2.37	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 1797.67 s
2.26/2.37	c core #478
2.26/2.37	c Core size: 3	Core Weight: 1	Total Weight: 478
2.26/2.37	c Elapsed CPU time: 2.33465 s	Remaining CPU time: 1797.67 s
2.26/2.38	c core #479
2.26/2.38	c Core size: 3	Core Weight: 1	Total Weight: 479
2.26/2.38	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.26/2.39	c core #480
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 480
2.26/2.39	c Elapsed CPU time: 2.34764 s	Remaining CPU time: 1797.65 s
2.26/2.39	c core #481
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 481
2.26/2.39	c Elapsed CPU time: 2.35364 s	Remaining CPU time: 1797.65 s
2.36/2.40	c core #482
2.36/2.40	c Core size: 3	Core Weight: 1	Total Weight: 482
2.36/2.40	c Elapsed CPU time: 2.35964 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #483
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 483
2.36/2.41	c Elapsed CPU time: 2.36664 s	Remaining CPU time: 1797.63 s
2.36/2.41	c core #484
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 484
2.36/2.41	c Elapsed CPU time: 2.37264 s	Remaining CPU time: 1797.63 s
2.36/2.42	c core #485
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 485
2.36/2.42	c Elapsed CPU time: 2.37964 s	Remaining CPU time: 1797.62 s
2.36/2.43	c core #486
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 486
2.36/2.43	c Elapsed CPU time: 2.38564 s	Remaining CPU time: 1797.61 s
2.36/2.43	c core #487
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 487
2.36/2.43	c Elapsed CPU time: 2.39264 s	Remaining CPU time: 1797.61 s
2.36/2.44	c core #488
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 488
2.36/2.44	c Elapsed CPU time: 2.39864 s	Remaining CPU time: 1797.6 s
2.36/2.44	c core #489
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 489
2.36/2.45	c Elapsed CPU time: 2.40463 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #490
2.36/2.45	c Core size: 3	Core Weight: 1	Total Weight: 490
2.36/2.45	c Elapsed CPU time: 2.41163 s	Remaining CPU time: 1797.59 s
2.36/2.46	c core #491
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 491
2.36/2.46	c Elapsed CPU time: 2.41863 s	Remaining CPU time: 1797.58 s
2.36/2.46	c core #492
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 492
2.36/2.46	c Elapsed CPU time: 2.42463 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #493
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 493
2.36/2.47	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #494
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 494
2.36/2.48	c Elapsed CPU time: 2.43763 s	Remaining CPU time: 1797.56 s
2.36/2.48	c core #495
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 495
2.36/2.48	c Elapsed CPU time: 2.44363 s	Remaining CPU time: 1797.56 s
2.36/2.49	c core #496
2.36/2.49	c Core size: 3	Core Weight: 1	Total Weight: 496
2.36/2.49	c Elapsed CPU time: 2.44963 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #497
2.46/2.50	c Core size: 3	Core Weight: 1	Total Weight: 497
2.46/2.50	c Elapsed CPU time: 2.45663 s	Remaining CPU time: 1797.54 s
2.46/2.50	c core #498
2.46/2.50	c Core size: 3	Core Weight: 1	Total Weight: 498
2.46/2.50	c Elapsed CPU time: 2.46263 s	Remaining CPU time: 1797.54 s
2.46/2.51	c core #499
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 499
2.46/2.51	c Elapsed CPU time: 2.46962 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #500
2.46/2.52	c Core size: 3	Core Weight: 1	Total Weight: 500
2.46/2.52	c Elapsed CPU time: 2.47562 s	Remaining CPU time: 1797.52 s
2.46/2.52	c core #501
2.46/2.52	c Core size: 3	Core Weight: 1	Total Weight: 501
2.46/2.52	c Elapsed CPU time: 2.48262 s	Remaining CPU time: 1797.52 s
2.46/2.53	c core #502
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 502
2.46/2.53	c Elapsed CPU time: 2.48862 s	Remaining CPU time: 1797.51 s
2.46/2.54	c core #503
2.46/2.54	c Core size: 3	Core Weight: 1	Total Weight: 503
2.46/2.54	c Elapsed CPU time: 2.49562 s	Remaining CPU time: 1797.5 s
2.46/2.54	c core #504
2.46/2.54	c Core size: 3	Core Weight: 1	Total Weight: 504
2.46/2.54	c Elapsed CPU time: 2.50162 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #505
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 505
2.46/2.55	c Elapsed CPU time: 2.50862 s	Remaining CPU time: 1797.49 s
2.46/2.56	c core #506
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 506
2.46/2.56	c Elapsed CPU time: 2.51562 s	Remaining CPU time: 1797.48 s
2.46/2.56	c core #507
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 507
2.46/2.56	c Elapsed CPU time: 2.52162 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #508
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 508
2.46/2.57	c Elapsed CPU time: 2.52761 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #509
2.46/2.58	c Core size: 3	Core Weight: 1	Total Weight: 509
2.46/2.58	c Elapsed CPU time: 2.53461 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #510
2.46/2.58	c Core size: 3	Core Weight: 1	Total Weight: 510
2.46/2.58	c Elapsed CPU time: 2.54061 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #511
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 511
2.46/2.59	c Elapsed CPU time: 2.54761 s	Remaining CPU time: 1797.45 s
2.46/2.60	c core #512
2.46/2.60	c Core size: 3	Core Weight: 1	Total Weight: 512
2.46/2.60	c Elapsed CPU time: 2.55461 s	Remaining CPU time: 1797.45 s
2.56/2.60	c core #513
2.56/2.60	c Core size: 3	Core Weight: 1	Total Weight: 513
2.56/2.60	c Elapsed CPU time: 2.56061 s	Remaining CPU time: 1797.44 s
2.56/2.61	c core #514
2.56/2.61	c Core size: 3	Core Weight: 1	Total Weight: 514
2.56/2.61	c Elapsed CPU time: 2.56661 s	Remaining CPU time: 1797.43 s
2.56/2.62	c core #515
2.56/2.62	c Core size: 3	Core Weight: 1	Total Weight: 515
2.56/2.62	c Elapsed CPU time: 2.57361 s	Remaining CPU time: 1797.43 s
2.56/2.62	c core #516
2.56/2.62	c Core size: 3	Core Weight: 1	Total Weight: 516
2.56/2.62	c Elapsed CPU time: 2.57961 s	Remaining CPU time: 1797.42 s
2.56/2.63	c core #517
2.56/2.63	c Core size: 3	Core Weight: 1	Total Weight: 517
2.56/2.63	c Elapsed CPU time: 2.58661 s	Remaining CPU time: 1797.41 s
2.56/2.64	c core #518
2.56/2.64	c Core size: 3	Core Weight: 1	Total Weight: 518
2.56/2.64	c Elapsed CPU time: 2.5926 s	Remaining CPU time: 1797.41 s
2.56/2.64	c core #519
2.56/2.64	c Core size: 3	Core Weight: 1	Total Weight: 519
2.56/2.64	c Elapsed CPU time: 2.5996 s	Remaining CPU time: 1797.4 s
2.56/2.65	c core #520
2.56/2.65	c Core size: 3	Core Weight: 1	Total Weight: 520
2.56/2.65	c Elapsed CPU time: 2.6056 s	Remaining CPU time: 1797.39 s
2.56/2.66	c core #521
2.56/2.66	c Core size: 3	Core Weight: 1	Total Weight: 521
2.56/2.66	c Elapsed CPU time: 2.6106 s	Remaining CPU time: 1797.39 s
2.56/2.66	c core #522
2.56/2.66	c Core size: 3	Core Weight: 1	Total Weight: 522
2.56/2.66	c Elapsed CPU time: 2.6176 s	Remaining CPU time: 1797.38 s
2.56/2.67	c core #523
2.56/2.67	c Core size: 3	Core Weight: 1	Total Weight: 523
2.56/2.67	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 1797.38 s
2.56/2.68	c core #524
2.56/2.68	c Core size: 3	Core Weight: 1	Total Weight: 524
2.56/2.68	c Elapsed CPU time: 2.6306 s	Remaining CPU time: 1797.37 s
2.56/2.68	c core #525
2.56/2.68	c Core size: 3	Core Weight: 1	Total Weight: 525
2.56/2.68	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.56/2.69	c core #526
2.56/2.69	c Core size: 3	Core Weight: 1	Total Weight: 526
2.56/2.69	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.56/2.70	c core #527
2.56/2.70	c Core size: 3	Core Weight: 1	Total Weight: 527
2.56/2.70	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 1797.35 s
2.66/2.70	c core #528
2.66/2.70	c Core size: 3	Core Weight: 1	Total Weight: 528
2.66/2.70	c Elapsed CPU time: 2.6576 s	Remaining CPU time: 1797.34 s
2.66/2.71	c core #529
2.66/2.71	c Core size: 3	Core Weight: 1	Total Weight: 529
2.66/2.71	c Elapsed CPU time: 2.66359 s	Remaining CPU time: 1797.34 s
2.66/2.72	c core #530
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 530
2.66/2.72	c Elapsed CPU time: 2.67059 s	Remaining CPU time: 1797.33 s
2.66/2.72	c core #531
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 531
2.66/2.72	c Elapsed CPU time: 2.67759 s	Remaining CPU time: 1797.32 s
2.66/2.73	c core #532
2.66/2.73	c Core size: 3	Core Weight: 1	Total Weight: 532
2.66/2.73	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 1797.32 s
2.66/2.74	c core #533
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 533
2.66/2.74	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 1797.31 s
2.66/2.74	c core #534
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 534
2.66/2.74	c Elapsed CPU time: 2.69759 s	Remaining CPU time: 1797.3 s
2.66/2.75	c core #535
2.66/2.75	c Core size: 3	Core Weight: 1	Total Weight: 535
2.66/2.75	c Elapsed CPU time: 2.70359 s	Remaining CPU time: 1797.3 s
2.66/2.76	c core #536
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 536
2.66/2.76	c Elapsed CPU time: 2.71059 s	Remaining CPU time: 1797.29 s
2.66/2.76	c core #537
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 537
2.66/2.76	c Elapsed CPU time: 2.71759 s	Remaining CPU time: 1797.28 s
2.66/2.77	c core #538
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 538
2.66/2.77	c Elapsed CPU time: 2.72358 s	Remaining CPU time: 1797.28 s
2.66/2.78	c core #539
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 539
2.66/2.78	c Elapsed CPU time: 2.73058 s	Remaining CPU time: 1797.27 s
2.66/2.78	c core #540
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 540
2.66/2.78	c Elapsed CPU time: 2.73758 s	Remaining CPU time: 1797.26 s
2.66/2.79	c core #541
2.66/2.79	c Core size: 3	Core Weight: 1	Total Weight: 541
2.66/2.79	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 1797.26 s
2.66/2.80	c core #542
2.66/2.80	c Core size: 3	Core Weight: 1	Total Weight: 542
2.66/2.80	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.76/2.80	c core #543
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 543
2.76/2.80	c Elapsed CPU time: 2.75658 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #544
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 544
2.76/2.81	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.76/2.82	c core #545
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 545
2.76/2.82	c Elapsed CPU time: 2.76958 s	Remaining CPU time: 1797.23 s
2.76/2.82	c core #546
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 546
2.76/2.82	c Elapsed CPU time: 2.77658 s	Remaining CPU time: 1797.22 s
2.76/2.83	c core #547
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 547
2.76/2.83	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.76/2.84	c core #548
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 548
2.76/2.84	c Elapsed CPU time: 2.78858 s	Remaining CPU time: 1797.21 s
2.76/2.84	c core #549
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 549
2.76/2.84	c Elapsed CPU time: 2.79557 s	Remaining CPU time: 1797.2 s
2.76/2.85	c core #550
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 550
2.76/2.85	c Elapsed CPU time: 2.80257 s	Remaining CPU time: 1797.2 s
2.76/2.86	c core #551
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 551
2.76/2.86	c Elapsed CPU time: 2.80957 s	Remaining CPU time: 1797.19 s
2.76/2.86	c core #552
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 552
2.76/2.86	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 1797.18 s
2.76/2.87	c core #553
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 553
2.76/2.87	c Elapsed CPU time: 2.82357 s	Remaining CPU time: 1797.18 s
2.76/2.88	c core #554
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 554
2.76/2.88	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.76/2.88	c core #555
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 555
2.76/2.88	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.76/2.89	c core #556
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 556
2.76/2.89	c Elapsed CPU time: 2.84157 s	Remaining CPU time: 1797.16 s
2.86/2.90	c core #557
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 557
2.86/2.90	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 1797.15 s
2.86/2.91	c core #558
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 558
2.86/2.91	c Elapsed CPU time: 2.85556 s	Remaining CPU time: 1797.14 s
2.86/2.91	c core #559
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 559
2.86/2.91	c Elapsed CPU time: 2.86256 s	Remaining CPU time: 1797.14 s
2.86/2.92	c core #560
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 560
2.86/2.92	c Elapsed CPU time: 2.86856 s	Remaining CPU time: 1797.13 s
2.86/2.93	c core #561
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 561
2.86/2.93	c Elapsed CPU time: 2.87556 s	Remaining CPU time: 1797.12 s
2.86/2.93	c core #562
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 562
2.86/2.93	c Elapsed CPU time: 2.88156 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #563
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 563
2.86/2.94	c Elapsed CPU time: 2.88856 s	Remaining CPU time: 1797.11 s
2.86/2.95	c core #564
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.95	c Elapsed CPU time: 2.89556 s	Remaining CPU time: 1797.1 s
2.86/2.95	c core #565
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.95	c Elapsed CPU time: 2.90256 s	Remaining CPU time: 1797.1 s
2.86/2.96	c core #566
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.96	c Elapsed CPU time: 2.90956 s	Remaining CPU time: 1797.09 s
2.86/2.97	c core #567
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.97	c Elapsed CPU time: 2.91656 s	Remaining CPU time: 1797.08 s
2.86/2.97	c core #568
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.97	c Elapsed CPU time: 2.92355 s	Remaining CPU time: 1797.08 s
2.86/2.98	c core #569
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.98	c Elapsed CPU time: 2.93055 s	Remaining CPU time: 1797.07 s
2.86/2.99	c core #570
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.99	c Elapsed CPU time: 2.93655 s	Remaining CPU time: 1797.06 s
2.86/3.00	c core #571
2.86/3.00	c Core size: 3	Core Weight: 1	Total Weight: 571
2.86/3.00	c Elapsed CPU time: 2.94255 s	Remaining CPU time: 1797.06 s
2.96/3.00	c core #572
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 572
2.96/3.00	c Elapsed CPU time: 2.94955 s	Remaining CPU time: 1797.05 s
2.96/3.01	c core #573
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 573
2.96/3.01	c Elapsed CPU time: 2.95655 s	Remaining CPU time: 1797.04 s
2.96/3.02	c core #574
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 574
2.96/3.02	c Elapsed CPU time: 2.96355 s	Remaining CPU time: 1797.04 s
2.96/3.02	c core #575
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 575
2.96/3.02	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 s
2.96/3.03	c core #576
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 576
2.96/3.03	c Elapsed CPU time: 2.97755 s	Remaining CPU time: 1797.02 s
2.96/3.04	c core #577
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 577
2.96/3.04	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 1797.02 s
2.96/3.04	c core #578
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 578
2.96/3.04	c Elapsed CPU time: 2.99154 s	Remaining CPU time: 1797.01 s
2.96/3.05	c core #579
2.96/3.05	c Core size: 3	Core Weight: 1	Total Weight: 579
2.96/3.05	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 1797 s
2.96/3.06	c core #580
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 580
2.96/3.06	c Elapsed CPU time: 3.00554 s	Remaining CPU time: 1796.99 s
2.96/3.06	c core #581
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 581
2.96/3.06	c Elapsed CPU time: 3.01254 s	Remaining CPU time: 1796.99 s
2.96/3.07	c core #582
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 582
2.96/3.07	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.96/3.08	c core #583
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 583
2.96/3.08	c Elapsed CPU time: 3.02654 s	Remaining CPU time: 1796.97 s
2.96/3.09	c core #584
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 584
2.96/3.09	c Elapsed CPU time: 3.03354 s	Remaining CPU time: 1796.97 s
2.96/3.09	c core #585
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 585
2.96/3.09	c Elapsed CPU time: 3.04054 s	Remaining CPU time: 1796.96 s
3.06/3.10	c core #586
3.06/3.10	c Core size: 3	Core Weight: 1	Total Weight: 586
3.06/3.10	c Elapsed CPU time: 3.04654 s	Remaining CPU time: 1796.95 s
3.06/3.11	c core #587
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 587
3.06/3.11	c Elapsed CPU time: 3.05454 s	Remaining CPU time: 1796.95 s
3.06/3.11	c core #588
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 588
3.06/3.11	c Elapsed CPU time: 3.06153 s	Remaining CPU time: 1796.94 s
3.06/3.12	c core #589
3.06/3.12	c Core size: 3	Core Weight: 1	Total Weight: 589
3.06/3.12	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
3.06/3.13	c core #590
3.06/3.13	c Core size: 3	Core Weight: 1	Total Weight: 590
3.06/3.13	c Elapsed CPU time: 3.07453 s	Remaining CPU time: 1796.93 s
3.06/3.13	c core #591
3.06/3.13	c Core size: 3	Core Weight: 1	Total Weight: 591
3.06/3.13	c Elapsed CPU time: 3.08153 s	Remaining CPU time: 1796.92 s
3.06/3.14	c core #592
3.06/3.14	c Core size: 3	Core Weight: 1	Total Weight: 592
3.06/3.14	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.06/3.15	c core #593
3.06/3.15	c Core size: 3	Core Weight: 1	Total Weight: 593
3.06/3.15	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.06/3.16	c core #594
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 594
3.06/3.16	c Elapsed CPU time: 3.10153 s	Remaining CPU time: 1796.9 s
3.06/3.16	c core #595
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 595
3.06/3.16	c Elapsed CPU time: 3.10853 s	Remaining CPU time: 1796.89 s
3.06/3.17	c core #596
3.06/3.17	c Core size: 3	Core Weight: 1	Total Weight: 596
3.06/3.17	c Elapsed CPU time: 3.11453 s	Remaining CPU time: 1796.89 s
3.06/3.18	c core #597
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 597
3.06/3.18	c Elapsed CPU time: 3.12153 s	Remaining CPU time: 1796.88 s
3.06/3.18	c core #598
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 598
3.06/3.18	c Elapsed CPU time: 3.12852 s	Remaining CPU time: 1796.87 s
3.06/3.19	c core #599
3.06/3.19	c Core size: 3	Core Weight: 1	Total Weight: 599
3.06/3.19	c Elapsed CPU time: 3.13552 s	Remaining CPU time: 1796.86 s
3.06/3.20	c core #600
3.06/3.20	c Core size: 3	Core Weight: 1	Total Weight: 600
3.06/3.20	c Elapsed CPU time: 3.14252 s	Remaining CPU time: 1796.86 s
3.16/3.21	c core #601
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 601
3.16/3.21	c Elapsed CPU time: 3.14952 s	Remaining CPU time: 1796.85 s
3.16/3.21	c core #602
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 602
3.16/3.21	c Elapsed CPU time: 3.15652 s	Remaining CPU time: 1796.84 s
3.16/3.22	c core #603
3.16/3.22	c Core size: 3	Core Weight: 1	Total Weight: 603
3.16/3.22	c Elapsed CPU time: 3.16252 s	Remaining CPU time: 1796.84 s
3.16/3.23	c core #604
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 604
3.16/3.23	c Elapsed CPU time: 3.16852 s	Remaining CPU time: 1796.83 s
3.16/3.23	c core #605
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 605
3.16/3.23	c Elapsed CPU time: 3.17452 s	Remaining CPU time: 1796.83 s
3.16/3.24	c core #606
3.16/3.24	c Core size: 3	Core Weight: 1	Total Weight: 606
3.16/3.24	c Elapsed CPU time: 3.18152 s	Remaining CPU time: 1796.82 s
3.16/3.25	c core #607
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 607
3.16/3.25	c Elapsed CPU time: 3.18851 s	Remaining CPU time: 1796.81 s
3.16/3.25	c core #608
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 608
3.16/3.25	c Elapsed CPU time: 3.19551 s	Remaining CPU time: 1796.8 s
3.16/3.26	c core #609
3.16/3.26	c Core size: 3	Core Weight: 1	Total Weight: 609
3.16/3.26	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.16/3.27	c core #610
3.16/3.27	c Core size: 3	Core Weight: 1	Total Weight: 610
3.16/3.27	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 1796.79 s
3.16/3.28	c core #611
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 611
3.16/3.28	c Elapsed CPU time: 3.21651 s	Remaining CPU time: 1796.78 s
3.16/3.28	c core #612
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 612
3.16/3.28	c Elapsed CPU time: 3.22451 s	Remaining CPU time: 1796.78 s
3.16/3.29	c core #613
3.16/3.29	c Core size: 3	Core Weight: 1	Total Weight: 613
3.16/3.29	c Elapsed CPU time: 3.23151 s	Remaining CPU time: 1796.77 s
3.16/3.30	c core #614
3.16/3.30	c Core size: 3	Core Weight: 1	Total Weight: 614
3.16/3.30	c Elapsed CPU time: 3.23851 s	Remaining CPU time: 1796.76 s
3.25/3.31	c core #615
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 615
3.25/3.31	c Elapsed CPU time: 3.24551 s	Remaining CPU time: 1796.75 s
3.25/3.31	c core #616
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 616
3.25/3.31	c Elapsed CPU time: 3.25351 s	Remaining CPU time: 1796.75 s
3.25/3.32	c core #617
3.25/3.32	c Core size: 3	Core Weight: 1	Total Weight: 617
3.25/3.32	c Elapsed CPU time: 3.2595 s	Remaining CPU time: 1796.74 s
3.25/3.33	c core #618
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 618
3.25/3.33	c Elapsed CPU time: 3.2665 s	Remaining CPU time: 1796.73 s
3.25/3.33	c core #619
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 619
3.25/3.33	c Elapsed CPU time: 3.2745 s	Remaining CPU time: 1796.73 s
3.25/3.34	c core #620
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 620
3.25/3.34	c Elapsed CPU time: 3.2815 s	Remaining CPU time: 1796.72 s
3.25/3.35	c core #621
3.25/3.35	c Core size: 3	Core Weight: 1	Total Weight: 621
3.25/3.35	c Elapsed CPU time: 3.2885 s	Remaining CPU time: 1796.71 s
3.25/3.36	c core #622
3.25/3.36	c Core size: 3	Core Weight: 1	Total Weight: 622
3.25/3.36	c Elapsed CPU time: 3.2955 s	Remaining CPU time: 1796.7 s
3.25/3.36	c core #623
3.25/3.36	c Core size: 3	Core Weight: 1	Total Weight: 623
3.25/3.36	c Elapsed CPU time: 3.3035 s	Remaining CPU time: 1796.7 s
3.25/3.37	c core #624
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 624
3.25/3.37	c Elapsed CPU time: 3.3105 s	Remaining CPU time: 1796.69 s
3.25/3.38	c core #625
3.25/3.38	c Core size: 3	Core Weight: 1	Total Weight: 625
3.25/3.38	c Elapsed CPU time: 3.3175 s	Remaining CPU time: 1796.68 s
3.25/3.39	c core #626
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 626
3.25/3.39	c Elapsed CPU time: 3.32449 s	Remaining CPU time: 1796.68 s
3.25/3.39	c core #627
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 627
3.25/3.39	c Elapsed CPU time: 3.33149 s	Remaining CPU time: 1796.67 s
3.35/3.40	c core #628
3.35/3.40	c Core size: 3	Core Weight: 1	Total Weight: 628
3.35/3.40	c Elapsed CPU time: 3.33849 s	Remaining CPU time: 1796.66 s
3.35/3.41	c core #629
3.35/3.41	c Core size: 3	Core Weight: 1	Total Weight: 629
3.35/3.41	c Elapsed CPU time: 3.34549 s	Remaining CPU time: 1796.65 s
3.35/3.41	c core #630
3.35/3.41	c Core size: 3	Core Weight: 1	Total Weight: 630
3.35/3.41	c Elapsed CPU time: 3.35149 s	Remaining CPU time: 1796.65 s
3.35/3.42	c core #631
3.35/3.42	c Core size: 3	Core Weight: 1	Total Weight: 631
3.35/3.42	c Elapsed CPU time: 3.35849 s	Remaining CPU time: 1796.64 s
3.35/3.43	c core #632
3.35/3.43	c Core size: 3	Core Weight: 1	Total Weight: 632
3.35/3.43	c Elapsed CPU time: 3.36549 s	Remaining CPU time: 1796.63 s
3.35/3.44	c core #633
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 633
3.35/3.44	c Elapsed CPU time: 3.37249 s	Remaining CPU time: 1796.63 s
3.35/3.44	c core #634
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 634
3.35/3.44	c Elapsed CPU time: 3.37949 s	Remaining CPU time: 1796.62 s
3.35/3.45	c core #635
3.35/3.45	c Core size: 3	Core Weight: 1	Total Weight: 635
3.35/3.45	c Elapsed CPU time: 3.38648 s	Remaining CPU time: 1796.61 s
3.35/3.46	c core #636
3.35/3.46	c Core size: 3	Core Weight: 1	Total Weight: 636
3.35/3.46	c Elapsed CPU time: 3.39348 s	Remaining CPU time: 1796.61 s
3.35/3.47	c core #637
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 637
3.35/3.47	c Elapsed CPU time: 3.40148 s	Remaining CPU time: 1796.6 s
3.35/3.47	c core #638
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 638
3.35/3.47	c Elapsed CPU time: 3.40848 s	Remaining CPU time: 1796.59 s
3.35/3.48	c core #639
3.35/3.48	c Core size: 3	Core Weight: 1	Total Weight: 639
3.35/3.48	c Elapsed CPU time: 3.41548 s	Remaining CPU time: 1796.58 s
3.35/3.49	c core #640
3.35/3.49	c Core size: 3	Core Weight: 1	Total Weight: 640
3.35/3.49	c Elapsed CPU time: 3.42348 s	Remaining CPU time: 1796.58 s
3.35/3.49	c core #641
3.35/3.49	c Core size: 3	Core Weight: 1	Total Weight: 641
3.35/3.49	c Elapsed CPU time: 3.43048 s	Remaining CPU time: 1796.57 s
3.45/3.50	c core #642
3.45/3.50	c Core size: 3	Core Weight: 1	Total Weight: 642
3.45/3.50	c Elapsed CPU time: 3.43748 s	Remaining CPU time: 1796.56 s
3.45/3.51	c core #643
3.45/3.51	c Core size: 3	Core Weight: 1	Total Weight: 643
3.45/3.51	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.45/3.52	c core #644
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 644
3.45/3.52	c Elapsed CPU time: 3.45248 s	Remaining CPU time: 1796.55 s
3.45/3.52	c core #645
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 645
3.45/3.52	c Elapsed CPU time: 3.45947 s	Remaining CPU time: 1796.54 s
3.45/3.53	c core #646
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 646
3.45/3.53	c Elapsed CPU time: 3.46647 s	Remaining CPU time: 1796.53 s
3.45/3.54	c core #647
3.45/3.54	c Core size: 3	Core Weight: 1	Total Weight: 647
3.45/3.54	c Elapsed CPU time: 3.47347 s	Remaining CPU time: 1796.53 s
3.45/3.55	c core #648
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 648
3.45/3.55	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 1796.52 s
3.45/3.55	c core #649
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 649
3.45/3.55	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 1796.51 s
3.45/3.56	c core #650
3.45/3.56	c Core size: 3	Core Weight: 1	Total Weight: 650
3.45/3.56	c Elapsed CPU time: 3.49647 s	Remaining CPU time: 1796.5 s
3.45/3.57	c core #651
3.45/3.57	c Core size: 3	Core Weight: 1	Total Weight: 651
3.45/3.57	c Elapsed CPU time: 3.50347 s	Remaining CPU time: 1796.5 s
3.45/3.58	c core #652
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 652
3.45/3.58	c Elapsed CPU time: 3.51047 s	Remaining CPU time: 1796.49 s
3.45/3.58	c core #653
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 653
3.45/3.58	c Elapsed CPU time: 3.51747 s	Remaining CPU time: 1796.48 s
3.45/3.59	c core #654
3.45/3.59	c Core size: 3	Core Weight: 1	Total Weight: 654
3.45/3.59	c Elapsed CPU time: 3.52446 s	Remaining CPU time: 1796.48 s
3.54/3.60	c core #655
3.54/3.60	c Core size: 3	Core Weight: 1	Total Weight: 655
3.54/3.60	c Elapsed CPU time: 3.53246 s	Remaining CPU time: 1796.47 s
3.54/3.61	c core #656
3.54/3.61	c Core size: 3	Core Weight: 1	Total Weight: 656
3.54/3.61	c Elapsed CPU time: 3.53946 s	Remaining CPU time: 1796.46 s
3.54/3.61	c core #657
3.54/3.61	c Core size: 3	Core Weight: 1	Total Weight: 657
3.54/3.61	c Elapsed CPU time: 3.54746 s	Remaining CPU time: 1796.45 s
3.54/3.62	c core #658
3.54/3.62	c Core size: 3	Core Weight: 1	Total Weight: 658
3.54/3.62	c Elapsed CPU time: 3.55446 s	Remaining CPU time: 1796.45 s
3.54/3.63	c core #659
3.54/3.63	c Core size: 3	Core Weight: 1	Total Weight: 659
3.54/3.63	c Elapsed CPU time: 3.56246 s	Remaining CPU time: 1796.44 s
3.54/3.64	c core #660
3.54/3.64	c Core size: 3	Core Weight: 1	Total Weight: 660
3.54/3.64	c Elapsed CPU time: 3.56946 s	Remaining CPU time: 1796.43 s
3.54/3.64	c core #661
3.54/3.64	c Core size: 3	Core Weight: 1	Total Weight: 661
3.54/3.64	c Elapsed CPU time: 3.57746 s	Remaining CPU time: 1796.42 s
3.54/3.65	c core #662
3.54/3.65	c Core size: 3	Core Weight: 1	Total Weight: 662
3.54/3.65	c Elapsed CPU time: 3.58446 s	Remaining CPU time: 1796.42 s
3.54/3.66	c core #663
3.54/3.66	c Core size: 3	Core Weight: 1	Total Weight: 663
3.54/3.66	c Elapsed CPU time: 3.59145 s	Remaining CPU time: 1796.41 s
3.54/3.67	c core #664
3.54/3.67	c Core size: 3	Core Weight: 1	Total Weight: 664
3.54/3.67	c Elapsed CPU time: 3.59845 s	Remaining CPU time: 1796.4 s
3.54/3.67	c core #665
3.54/3.67	c Core size: 3	Core Weight: 1	Total Weight: 665
3.54/3.67	c Elapsed CPU time: 3.60545 s	Remaining CPU time: 1796.39 s
3.54/3.68	c core #666
3.54/3.68	c Core size: 3	Core Weight: 1	Total Weight: 666
3.54/3.68	c Elapsed CPU time: 3.61245 s	Remaining CPU time: 1796.39 s
3.54/3.69	c core #667
3.54/3.69	c Core size: 3	Core Weight: 1	Total Weight: 667
3.54/3.69	c Elapsed CPU time: 3.62045 s	Remaining CPU time: 1796.38 s
3.64/3.70	c core #668
3.64/3.70	c Core size: 3	Core Weight: 1	Total Weight: 668
3.64/3.70	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.64/3.70	c core #669
3.64/3.70	c Core size: 3	Core Weight: 1	Total Weight: 669
3.64/3.70	c Elapsed CPU time: 3.63545 s	Remaining CPU time: 1796.36 s
3.64/3.71	c core #670
3.64/3.71	c Core size: 3	Core Weight: 1	Total Weight: 670
3.64/3.71	c Elapsed CPU time: 3.64245 s	Remaining CPU time: 1796.36 s
3.64/3.72	c core #671
3.64/3.72	c Core size: 3	Core Weight: 1	Total Weight: 671
3.64/3.72	c Elapsed CPU time: 3.65044 s	Remaining CPU time: 1796.35 s
3.64/3.73	c core #672
3.64/3.73	c Core size: 3	Core Weight: 1	Total Weight: 672
3.64/3.73	c Elapsed CPU time: 3.65744 s	Remaining CPU time: 1796.34 s
3.64/3.73	c core #673
3.64/3.73	c Core size: 3	Core Weight: 1	Total Weight: 673
3.64/3.73	c Elapsed CPU time: 3.66544 s	Remaining CPU time: 1796.33 s
3.64/3.74	c core #674
3.64/3.74	c Core size: 3	Core Weight: 1	Total Weight: 674
3.64/3.74	c Elapsed CPU time: 3.67344 s	Remaining CPU time: 1796.33 s
3.64/3.75	c core #675
3.64/3.75	c Core size: 3	Core Weight: 1	Total Weight: 675
3.64/3.75	c Elapsed CPU time: 3.67944 s	Remaining CPU time: 1796.32 s
3.64/3.76	c core #676
3.64/3.76	c Core size: 3	Core Weight: 1	Total Weight: 676
3.64/3.76	c Elapsed CPU time: 3.68744 s	Remaining CPU time: 1796.31 s
3.64/3.77	c core #677
3.64/3.77	c Core size: 3	Core Weight: 1	Total Weight: 677
3.64/3.77	c Elapsed CPU time: 3.69544 s	Remaining CPU time: 1796.3 s
3.64/3.77	c core #678
3.64/3.77	c Core size: 3	Core Weight: 1	Total Weight: 678
3.64/3.77	c Elapsed CPU time: 3.70244 s	Remaining CPU time: 1796.3 s
3.64/3.78	c core #679
3.64/3.78	c Core size: 3	Core Weight: 1	Total Weight: 679
3.64/3.78	c Elapsed CPU time: 3.70944 s	Remaining CPU time: 1796.29 s
3.64/3.79	c core #680
3.64/3.79	c Core size: 3	Core Weight: 1	Total Weight: 680
3.64/3.79	c Elapsed CPU time: 3.71743 s	Remaining CPU time: 1796.28 s
3.74/3.80	c core #681
3.74/3.80	c Core size: 3	Core Weight: 1	Total Weight: 681
3.74/3.80	c Elapsed CPU time: 3.72543 s	Remaining CPU time: 1796.27 s
3.74/3.80	c core #682
3.74/3.80	c Core size: 3	Core Weight: 1	Total Weight: 682
3.74/3.80	c Elapsed CPU time: 3.73243 s	Remaining CPU time: 1796.27 s
3.74/3.81	c core #683
3.74/3.81	c Core size: 3	Core Weight: 1	Total Weight: 683
3.74/3.81	c Elapsed CPU time: 3.73943 s	Remaining CPU time: 1796.26 s
3.74/3.82	c core #684
3.74/3.82	c Core size: 3	Core Weight: 1	Total Weight: 684
3.74/3.82	c Elapsed CPU time: 3.74643 s	Remaining CPU time: 1796.25 s
3.74/3.83	c core #685
3.74/3.83	c Core size: 3	Core Weight: 1	Total Weight: 685
3.74/3.83	c Elapsed CPU time: 3.75443 s	Remaining CPU time: 1796.25 s
3.74/3.83	c core #686
3.74/3.83	c Core size: 3	Core Weight: 1	Total Weight: 686
3.74/3.83	c Elapsed CPU time: 3.76243 s	Remaining CPU time: 1796.24 s
3.74/3.84	c core #687
3.74/3.84	c Core size: 3	Core Weight: 1	Total Weight: 687
3.74/3.84	c Elapsed CPU time: 3.76943 s	Remaining CPU time: 1796.23 s
3.74/3.85	c core #688
3.74/3.85	c Core size: 3	Core Weight: 1	Total Weight: 688
3.74/3.85	c Elapsed CPU time: 3.77643 s	Remaining CPU time: 1796.22 s
3.74/3.86	c core #689
3.74/3.86	c Core size: 3	Core Weight: 1	Total Weight: 689
3.74/3.86	c Elapsed CPU time: 3.78442 s	Remaining CPU time: 1796.22 s
3.74/3.87	c core #690
3.74/3.87	c Core size: 3	Core Weight: 1	Total Weight: 690
3.74/3.87	c Elapsed CPU time: 3.79142 s	Remaining CPU time: 1796.21 s
3.74/3.87	c core #691
3.74/3.87	c Core size: 3	Core Weight: 1	Total Weight: 691
3.74/3.87	c Elapsed CPU time: 3.79942 s	Remaining CPU time: 1796.2 s
3.74/3.88	c core #692
3.74/3.88	c Core size: 3	Core Weight: 1	Total Weight: 692
3.74/3.88	c Elapsed CPU time: 3.80742 s	Remaining CPU time: 1796.19 s
3.74/3.89	c core #693
3.74/3.89	c Core size: 3	Core Weight: 1	Total Weight: 693
3.74/3.89	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 1796.19 s
3.74/3.90	c core #694
3.74/3.90	c Core size: 3	Core Weight: 1	Total Weight: 694
3.74/3.90	c Elapsed CPU time: 3.82142 s	Remaining CPU time: 1796.18 s
3.84/3.90	c core #695
3.84/3.90	c Core size: 3	Core Weight: 1	Total Weight: 695
3.84/3.90	c Elapsed CPU time: 3.82942 s	Remaining CPU time: 1796.17 s
3.84/3.91	c core #696
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 696
3.84/3.91	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.84/3.92	c core #697
3.84/3.92	c Core size: 3	Core Weight: 1	Total Weight: 697
3.84/3.92	c Elapsed CPU time: 3.84342 s	Remaining CPU time: 1796.16 s
3.84/3.93	c core #698
3.84/3.93	c Core size: 3	Core Weight: 1	Total Weight: 698
3.84/3.93	c Elapsed CPU time: 3.85141 s	Remaining CPU time: 1796.15 s
3.84/3.93	c core #699
3.84/3.93	c Core size: 3	Core Weight: 1	Total Weight: 699
3.84/3.93	c Elapsed CPU time: 3.85941 s	Remaining CPU time: 1796.14 s
3.84/3.94	c core #700
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 700
3.84/3.94	c Elapsed CPU time: 3.86641 s	Remaining CPU time: 1796.13 s
3.84/3.95	c core #701
3.84/3.95	c Core size: 3	Core Weight: 1	Total Weight: 701
3.84/3.95	c Elapsed CPU time: 3.87441 s	Remaining CPU time: 1796.13 s
3.84/3.96	c core #702
3.84/3.96	c Core size: 3	Core Weight: 1	Total Weight: 702
3.84/3.96	c Elapsed CPU time: 3.88241 s	Remaining CPU time: 1796.12 s
3.84/3.97	c core #703
3.84/3.97	c Core size: 3	Core Weight: 1	Total Weight: 703
3.84/3.97	c Elapsed CPU time: 3.88941 s	Remaining CPU time: 1796.11 s
3.84/3.97	c core #704
3.84/3.97	c Core size: 3	Core Weight: 1	Total Weight: 704
3.84/3.97	c Elapsed CPU time: 3.89741 s	Remaining CPU time: 1796.1 s
3.84/3.98	c core #705
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 705
3.84/3.98	c Elapsed CPU time: 3.90541 s	Remaining CPU time: 1796.09 s
3.84/3.99	c core #706
3.84/3.99	c Core size: 3	Core Weight: 1	Total Weight: 706
3.84/3.99	c Elapsed CPU time: 3.91241 s	Remaining CPU time: 1796.09 s
3.93/4.00	c core #707
3.93/4.00	c Core size: 3	Core Weight: 1	Total Weight: 707
3.93/4.00	c Elapsed CPU time: 3.9204 s	Remaining CPU time: 1796.08 s
3.93/4.00	c core #708
3.93/4.00	c Core size: 3	Core Weight: 1	Total Weight: 708
3.93/4.01	c Elapsed CPU time: 3.9284 s	Remaining CPU time: 1796.07 s
3.93/4.01	c core #709
3.93/4.01	c Core size: 3	Core Weight: 1	Total Weight: 709
3.93/4.01	c Elapsed CPU time: 3.9364 s	Remaining CPU time: 1796.06 s
3.93/4.02	c core #710
3.93/4.02	c Core size: 3	Core Weight: 1	Total Weight: 710
3.93/4.02	c Elapsed CPU time: 3.9444 s	Remaining CPU time: 1796.06 s
3.93/4.03	c core #711
3.93/4.03	c Core size: 3	Core Weight: 1	Total Weight: 711
3.93/4.03	c Elapsed CPU time: 3.9524 s	Remaining CPU time: 1796.05 s
3.93/4.04	c core #712
3.93/4.04	c Core size: 3	Core Weight: 1	Total Weight: 712
3.93/4.04	c Elapsed CPU time: 3.9604 s	Remaining CPU time: 1796.04 s
3.93/4.04	c core #713
3.93/4.04	c Core size: 3	Core Weight: 1	Total Weight: 713
3.93/4.04	c Elapsed CPU time: 3.9684 s	Remaining CPU time: 1796.03 s
3.93/4.05	c core #714
3.93/4.05	c Core size: 3	Core Weight: 1	Total Weight: 714
3.93/4.05	c Elapsed CPU time: 3.97539 s	Remaining CPU time: 1796.02 s
3.93/4.06	c core #715
3.93/4.06	c Core size: 3	Core Weight: 1	Total Weight: 715
3.93/4.06	c Elapsed CPU time: 3.98239 s	Remaining CPU time: 1796.02 s
3.93/4.07	c core #716
3.93/4.07	c Core size: 3	Core Weight: 1	Total Weight: 716
3.93/4.07	c Elapsed CPU time: 3.99039 s	Remaining CPU time: 1796.01 s
3.93/4.08	c core #717
3.93/4.08	c Core size: 3	Core Weight: 1	Total Weight: 717
3.93/4.08	c Elapsed CPU time: 3.99839 s	Remaining CPU time: 1796 s
3.93/4.08	c core #718
3.93/4.08	c Core size: 3	Core Weight: 1	Total Weight: 718
3.93/4.08	c Elapsed CPU time: 4.00639 s	Remaining CPU time: 1795.99 s
3.93/4.09	c core #719
3.93/4.09	c Core size: 3	Core Weight: 1	Total Weight: 719
3.93/4.09	c Elapsed CPU time: 4.01439 s	Remaining CPU time: 1795.99 s
4.03/4.10	c core #720
4.03/4.10	c Core size: 3	Core Weight: 1	Total Weight: 720
4.03/4.10	c Elapsed CPU time: 4.02139 s	Remaining CPU time: 1795.98 s
4.03/4.11	c core #721
4.03/4.11	c Core size: 3	Core Weight: 1	Total Weight: 721
4.03/4.11	c Elapsed CPU time: 4.02839 s	Remaining CPU time: 1795.97 s
4.03/4.12	c core #722
4.03/4.12	c Core size: 3	Core Weight: 1	Total Weight: 722
4.03/4.12	c Elapsed CPU time: 4.03539 s	Remaining CPU time: 1795.96 s
4.03/4.12	c core #723
4.03/4.12	c Core size: 3	Core Weight: 1	Total Weight: 723
4.03/4.12	c Elapsed CPU time: 4.04338 s	Remaining CPU time: 1795.96 s
4.03/4.13	c core #724
4.03/4.13	c Core size: 3	Core Weight: 1	Total Weight: 724
4.03/4.13	c Elapsed CPU time: 4.05038 s	Remaining CPU time: 1795.95 s
4.03/4.14	c core #725
4.03/4.14	c Core size: 3	Core Weight: 1	Total Weight: 725
4.03/4.14	c Elapsed CPU time: 4.05838 s	Remaining CPU time: 1795.94 s
4.03/4.15	c core #726
4.03/4.15	c Core size: 3	Core Weight: 1	Total Weight: 726
4.03/4.15	c Elapsed CPU time: 4.06638 s	Remaining CPU time: 1795.93 s
4.03/4.16	c core #727
4.03/4.16	c Core size: 3	Core Weight: 1	Total Weight: 727
4.03/4.16	c Elapsed CPU time: 4.07438 s	Remaining CPU time: 1795.93 s
4.03/4.16	c core #728
4.03/4.16	c Core size: 3	Core Weight: 1	Total Weight: 728
4.03/4.16	c Elapsed CPU time: 4.08238 s	Remaining CPU time: 1795.92 s
4.03/4.17	c core #729
4.03/4.17	c Core size: 3	Core Weight: 1	Total Weight: 729
4.03/4.17	c Elapsed CPU time: 4.09038 s	Remaining CPU time: 1795.91 s
4.03/4.18	c core #730
4.03/4.18	c Core size: 3	Core Weight: 1	Total Weight: 730
4.03/4.18	c Elapsed CPU time: 4.09838 s	Remaining CPU time: 1795.9 s
4.03/4.19	c core #731
4.03/4.19	c Core size: 3	Core Weight: 1	Total Weight: 731
4.03/4.19	c Elapsed CPU time: 4.10637 s	Remaining CPU time: 1795.89 s
4.03/4.19	c core #732
4.03/4.19	c Core size: 3	Core Weight: 1	Total Weight: 732
4.03/4.19	c Elapsed CPU time: 4.11337 s	Remaining CPU time: 1795.89 s
4.14/4.20	c core #733
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 733
4.14/4.20	c Elapsed CPU time: 4.12037 s	Remaining CPU time: 1795.88 s
4.14/4.21	c core #734
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 734
4.14/4.21	c Elapsed CPU time: 4.12837 s	Remaining CPU time: 1795.87 s
4.14/4.22	c core #735
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 735
4.14/4.22	c Elapsed CPU time: 4.13637 s	Remaining CPU time: 1795.86 s
4.14/4.23	c core #736
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 736
4.14/4.23	c Elapsed CPU time: 4.14437 s	Remaining CPU time: 1795.86 s
4.14/4.23	c core #737
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 737
4.14/4.23	c Elapsed CPU time: 4.15237 s	Remaining CPU time: 1795.85 s
4.14/4.24	c core #738
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 738
4.14/4.24	c Elapsed CPU time: 4.16037 s	Remaining CPU time: 1795.84 s
4.14/4.25	c core #739
4.14/4.25	c Core size: 3	Core Weight: 1	Total Weight: 739
4.14/4.25	c Elapsed CPU time: 4.16837 s	Remaining CPU time: 1795.83 s
4.14/4.26	c core #740
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 740
4.14/4.26	c Elapsed CPU time: 4.17636 s	Remaining CPU time: 1795.82 s
4.14/4.27	c core #741
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 741
4.14/4.27	c Elapsed CPU time: 4.18436 s	Remaining CPU time: 1795.82 s
4.14/4.28	c core #742
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 742
4.14/4.28	c Elapsed CPU time: 4.19236 s	Remaining CPU time: 1795.81 s
4.14/4.28	c core #743
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 743
4.14/4.28	c Elapsed CPU time: 4.20036 s	Remaining CPU time: 1795.8 s
4.14/4.29	c core #744
4.14/4.29	c Core size: 3	Core Weight: 1	Total Weight: 744
4.14/4.29	c Elapsed CPU time: 4.20836 s	Remaining CPU time: 1795.79 s
4.14/4.30	c core #745
4.14/4.30	c Core size: 3	Core Weight: 1	Total Weight: 745
4.24/4.30	c Elapsed CPU time: 4.21636 s	Remaining CPU time: 1795.78 s
4.24/4.31	c core #746
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 746
4.24/4.31	c Elapsed CPU time: 4.22436 s	Remaining CPU time: 1795.78 s
4.24/4.32	c core #747
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 747
4.24/4.32	c Elapsed CPU time: 4.23236 s	Remaining CPU time: 1795.77 s
4.24/4.32	c core #748
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 748
4.24/4.32	c Elapsed CPU time: 4.24036 s	Remaining CPU time: 1795.76 s
4.24/4.33	c core #749
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 749
4.24/4.33	c Elapsed CPU time: 4.24835 s	Remaining CPU time: 1795.75 s
4.24/4.34	c core #750
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 750
4.24/4.34	c Elapsed CPU time: 4.25635 s	Remaining CPU time: 1795.74 s
4.24/4.35	c core #751
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 751
4.24/4.35	c Elapsed CPU time: 4.26435 s	Remaining CPU time: 1795.74 s
4.24/4.36	c core #752
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 752
4.24/4.36	c Elapsed CPU time: 4.27235 s	Remaining CPU time: 1795.73 s
4.24/4.37	c core #753
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 753
4.24/4.37	c Elapsed CPU time: 4.28035 s	Remaining CPU time: 1795.72 s
4.24/4.37	c core #754
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 754
4.24/4.37	c Elapsed CPU time: 4.28835 s	Remaining CPU time: 1795.71 s
4.24/4.38	c core #755
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 755
4.24/4.38	c Elapsed CPU time: 4.29635 s	Remaining CPU time: 1795.7 s
4.24/4.39	c core #756
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 756
4.24/4.39	c Elapsed CPU time: 4.30434 s	Remaining CPU time: 1795.7 s
4.24/4.40	c core #757
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 757
4.24/4.40	c Elapsed CPU time: 4.31234 s	Remaining CPU time: 1795.69 s
4.34/4.41	c core #758
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 758
4.34/4.41	c Elapsed CPU time: 4.32034 s	Remaining CPU time: 1795.68 s
4.34/4.42	c core #759
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 759
4.34/4.42	c Elapsed CPU time: 4.32834 s	Remaining CPU time: 1795.67 s
4.34/4.42	c core #760
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 760
4.34/4.42	c Elapsed CPU time: 4.33634 s	Remaining CPU time: 1795.66 s
4.34/4.43	c core #761
4.34/4.43	c Core size: 3	Core Weight: 1	Total Weight: 761
4.34/4.43	c Elapsed CPU time: 4.34434 s	Remaining CPU time: 1795.66 s
4.34/4.44	c core #762
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 762
4.34/4.44	c Elapsed CPU time: 4.35234 s	Remaining CPU time: 1795.65 s
4.34/4.45	c core #763
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 763
4.34/4.45	c Elapsed CPU time: 4.36134 s	Remaining CPU time: 1795.64 s
4.34/4.46	c core #764
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 764
4.34/4.46	c Elapsed CPU time: 4.36934 s	Remaining CPU time: 1795.63 s
4.34/4.46	c core #765
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 765
4.34/4.46	c Elapsed CPU time: 4.37733 s	Remaining CPU time: 1795.62 s
4.34/4.47	c core #766
4.34/4.47	c Core size: 3	Core Weight: 1	Total Weight: 766
4.34/4.47	c Elapsed CPU time: 4.38533 s	Remaining CPU time: 1795.61 s
4.34/4.48	c core #767
4.34/4.48	c Core size: 3	Core Weight: 1	Total Weight: 767
4.34/4.48	c Elapsed CPU time: 4.39333 s	Remaining CPU time: 1795.61 s
4.34/4.49	c core #768
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 768
4.34/4.49	c Elapsed CPU time: 4.40033 s	Remaining CPU time: 1795.6 s
4.43/4.50	c core #769
4.43/4.50	c Core size: 3	Core Weight: 1	Total Weight: 769
4.43/4.50	c Elapsed CPU time: 4.40833 s	Remaining CPU time: 1795.59 s
4.43/4.51	c core #770
4.43/4.51	c Core size: 3	Core Weight: 1	Total Weight: 770
4.43/4.51	c Elapsed CPU time: 4.41733 s	Remaining CPU time: 1795.58 s
4.43/4.52	c core #771
4.43/4.52	c Core size: 3	Core Weight: 1	Total Weight: 771
4.43/4.52	c Elapsed CPU time: 4.42533 s	Remaining CPU time: 1795.57 s
4.43/4.52	c core #772
4.43/4.52	c Core size: 3	Core Weight: 1	Total Weight: 772
4.43/4.52	c Elapsed CPU time: 4.43333 s	Remaining CPU time: 1795.57 s
4.43/4.53	c core #773
4.43/4.53	c Core size: 3	Core Weight: 1	Total Weight: 773
4.43/4.53	c Elapsed CPU time: 4.44132 s	Remaining CPU time: 1795.56 s
4.43/4.54	c core #774
4.43/4.54	c Core size: 3	Core Weight: 1	Total Weight: 774
4.43/4.54	c Elapsed CPU time: 4.44932 s	Remaining CPU time: 1795.55 s
4.43/4.55	c core #775
4.43/4.55	c Core size: 3	Core Weight: 1	Total Weight: 775
4.43/4.55	c Elapsed CPU time: 4.45732 s	Remaining CPU time: 1795.54 s
4.43/4.56	c core #776
4.43/4.56	c Core size: 3	Core Weight: 1	Total Weight: 776
4.43/4.56	c Elapsed CPU time: 4.46632 s	Remaining CPU time: 1795.53 s
4.43/4.56	c core #777
4.43/4.56	c Core size: 3	Core Weight: 1	Total Weight: 777
4.43/4.56	c Elapsed CPU time: 4.47432 s	Remaining CPU time: 1795.53 s
4.43/4.57	c core #778
4.43/4.57	c Core size: 3	Core Weight: 1	Total Weight: 778
4.43/4.57	c Elapsed CPU time: 4.48232 s	Remaining CPU time: 1795.52 s
4.43/4.58	c core #779
4.43/4.58	c Core size: 3	Core Weight: 1	Total Weight: 779
4.43/4.58	c Elapsed CPU time: 4.49032 s	Remaining CPU time: 1795.51 s
4.43/4.59	c core #780
4.43/4.59	c Core size: 3	Core Weight: 1	Total Weight: 780
4.43/4.59	c Elapsed CPU time: 4.49932 s	Remaining CPU time: 1795.5 s
4.53/4.60	c core #781
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 781
4.53/4.60	c Elapsed CPU time: 4.50731 s	Remaining CPU time: 1795.49 s
4.53/4.61	c core #782
4.53/4.61	c Core size: 3	Core Weight: 1	Total Weight: 782
4.53/4.61	c Elapsed CPU time: 4.51631 s	Remaining CPU time: 1795.48 s
4.53/4.62	c core #783
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 783
4.53/4.62	c Elapsed CPU time: 4.52431 s	Remaining CPU time: 1795.48 s
4.53/4.62	c core #784
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 784
4.53/4.62	c Elapsed CPU time: 4.53331 s	Remaining CPU time: 1795.47 s
4.53/4.63	c core #785
4.53/4.63	c Core size: 3	Core Weight: 1	Total Weight: 785
4.53/4.63	c Elapsed CPU time: 4.54031 s	Remaining CPU time: 1795.46 s
4.53/4.64	c core #786
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 786
4.53/4.64	c Elapsed CPU time: 4.54931 s	Remaining CPU time: 1795.45 s
4.53/4.65	c core #787
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 787
4.53/4.65	c Elapsed CPU time: 4.55731 s	Remaining CPU time: 1795.44 s
4.53/4.66	c core #788
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 788
4.53/4.66	c Elapsed CPU time: 4.56531 s	Remaining CPU time: 1795.43 s
4.53/4.67	c core #789
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 789
4.53/4.67	c Elapsed CPU time: 4.5733 s	Remaining CPU time: 1795.43 s
4.53/4.67	c core #790
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 790
4.53/4.67	c Elapsed CPU time: 4.5813 s	Remaining CPU time: 1795.42 s
4.53/4.68	c core #791
4.53/4.68	c Core size: 3	Core Weight: 1	Total Weight: 791
4.53/4.68	c Elapsed CPU time: 4.5893 s	Remaining CPU time: 1795.41 s
4.53/4.69	c core #792
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 792
4.53/4.69	c Elapsed CPU time: 4.5983 s	Remaining CPU time: 1795.4 s
4.63/4.70	c core #793
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 793
4.63/4.70	c Elapsed CPU time: 4.6063 s	Remaining CPU time: 1795.39 s
4.63/4.71	c core #794
4.63/4.71	c Core size: 3	Core Weight: 1	Total Weight: 794
4.63/4.71	c Elapsed CPU time: 4.6143 s	Remaining CPU time: 1795.39 s
4.63/4.72	c core #795
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 795
4.63/4.72	c Elapsed CPU time: 4.6233 s	Remaining CPU time: 1795.38 s
4.63/4.72	c core #796
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 796
4.63/4.72	c Elapsed CPU time: 4.6323 s	Remaining CPU time: 1795.37 s
4.63/4.73	c core #797
4.63/4.73	c Core size: 3	Core Weight: 1	Total Weight: 797
4.63/4.73	c Elapsed CPU time: 4.63929 s	Remaining CPU time: 1795.36 s
4.63/4.74	c core #798
4.63/4.74	c Core size: 3	Core Weight: 1	Total Weight: 798
4.63/4.74	c Elapsed CPU time: 4.64829 s	Remaining CPU time: 1795.35 s
4.63/4.75	c core #799
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 799
4.63/4.75	c Elapsed CPU time: 4.65629 s	Remaining CPU time: 1795.34 s
4.63/4.76	c core #800
4.63/4.76	c Core size: 3	Core Weight: 1	Total Weight: 800
4.63/4.76	c Elapsed CPU time: 4.66529 s	Remaining CPU time: 1795.33 s
4.63/4.77	c core #801
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 801
4.63/4.77	c Elapsed CPU time: 4.67329 s	Remaining CPU time: 1795.33 s
4.63/4.78	c core #802
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 802
4.63/4.78	c Elapsed CPU time: 4.68229 s	Remaining CPU time: 1795.32 s
4.63/4.78	c core #803
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 803
4.63/4.78	c Elapsed CPU time: 4.69029 s	Remaining CPU time: 1795.31 s
4.63/4.79	c core #804
4.63/4.79	c Core size: 3	Core Weight: 1	Total Weight: 804
4.63/4.79	c Elapsed CPU time: 4.69928 s	Remaining CPU time: 1795.3 s
4.73/4.80	c core #805
4.73/4.80	c Core size: 3	Core Weight: 1	Total Weight: 805
4.73/4.80	c Elapsed CPU time: 4.70728 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #806
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 806
4.73/4.81	c Elapsed CPU time: 4.71428 s	Remaining CPU time: 1795.29 s
4.73/4.82	c core #807
4.73/4.82	c Core size: 3	Core Weight: 1	Total Weight: 807
4.73/4.82	c Elapsed CPU time: 4.72328 s	Remaining CPU time: 1795.28 s
4.73/4.83	c core #808
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 808
4.73/4.83	c Elapsed CPU time: 4.73228 s	Remaining CPU time: 1795.27 s
4.73/4.84	c core #809
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 809
4.73/4.84	c Elapsed CPU time: 4.74028 s	Remaining CPU time: 1795.26 s
4.73/4.84	c core #810
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 810
4.73/4.84	c Elapsed CPU time: 4.74928 s	Remaining CPU time: 1795.25 s
4.73/4.85	c core #811
4.73/4.85	c Core size: 3	Core Weight: 1	Total Weight: 811
4.73/4.85	c Elapsed CPU time: 4.75728 s	Remaining CPU time: 1795.24 s
4.73/4.86	c core #812
4.73/4.86	c Core size: 3	Core Weight: 1	Total Weight: 812
4.73/4.86	c Elapsed CPU time: 4.76628 s	Remaining CPU time: 1795.23 s
4.73/4.87	c core #813
4.73/4.87	c Core size: 3	Core Weight: 1	Total Weight: 813
4.73/4.87	c Elapsed CPU time: 4.77527 s	Remaining CPU time: 1795.22 s
4.73/4.88	c core #814
4.73/4.88	c Core size: 3	Core Weight: 1	Total Weight: 814
4.73/4.88	c Elapsed CPU time: 4.78327 s	Remaining CPU time: 1795.22 s
4.73/4.89	c core #815
4.73/4.89	c Core size: 3	Core Weight: 1	Total Weight: 815
4.73/4.89	c Elapsed CPU time: 4.79127 s	Remaining CPU time: 1795.21 s
4.82/4.90	c core #816
4.82/4.90	c Core size: 3	Core Weight: 1	Total Weight: 816
4.82/4.90	c Elapsed CPU time: 4.80027 s	Remaining CPU time: 1795.2 s
4.82/4.91	c core #817
4.82/4.91	c Core size: 3	Core Weight: 1	Total Weight: 817
4.82/4.91	c Elapsed CPU time: 4.80927 s	Remaining CPU time: 1795.19 s
4.82/4.91	c core #818
4.82/4.91	c Core size: 7	Core Weight: 1	Total Weight: 818
4.82/4.91	c Elapsed CPU time: 4.81827 s	Remaining CPU time: 1795.18 s
4.82/4.92	c core #819
4.82/4.92	c Core size: 7	Core Weight: 1	Total Weight: 819
4.82/4.92	c Elapsed CPU time: 4.82627 s	Remaining CPU time: 1795.17 s
4.82/4.93	c core #820
4.82/4.93	c Core size: 7	Core Weight: 1	Total Weight: 820
4.82/4.93	c Elapsed CPU time: 4.83427 s	Remaining CPU time: 1795.17 s
4.82/4.94	c core #821
4.82/4.94	c Core size: 7	Core Weight: 1	Total Weight: 821
4.82/4.94	c Elapsed CPU time: 4.84226 s	Remaining CPU time: 1795.16 s
4.82/4.95	c core #822
4.82/4.95	c Core size: 7	Core Weight: 1	Total Weight: 822
4.82/4.95	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 1795.15 s
4.82/4.96	c core #823
4.82/4.96	c Core size: 7	Core Weight: 1	Total Weight: 823
4.82/4.96	c Elapsed CPU time: 4.86026 s	Remaining CPU time: 1795.14 s
4.82/4.97	c core #824
4.82/4.97	c Core size: 7	Core Weight: 1	Total Weight: 824
4.82/4.97	c Elapsed CPU time: 4.86926 s	Remaining CPU time: 1795.13 s
4.82/4.98	c core #825
4.82/4.98	c Core size: 7	Core Weight: 1	Total Weight: 825
4.82/4.98	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.82/4.99	c core #826
4.82/4.99	c Core size: 7	Core Weight: 1	Total Weight: 826
4.82/4.99	c Elapsed CPU time: 4.88726 s	Remaining CPU time: 1795.11 s
4.82/5.00	c core #827
4.82/5.00	c Core size: 7	Core Weight: 1	Total Weight: 827
4.82/5.00	c Elapsed CPU time: 4.89626 s	Remaining CPU time: 1795.1 s
4.92/5.00	c core #828
4.92/5.00	c Core size: 7	Core Weight: 1	Total Weight: 828
4.92/5.00	c Elapsed CPU time: 4.90425 s	Remaining CPU time: 1795.1 s
4.92/5.01	c core #829
4.92/5.01	c Core size: 7	Core Weight: 1	Total Weight: 829
4.92/5.01	c Elapsed CPU time: 4.91325 s	Remaining CPU time: 1795.09 s
4.92/5.02	c core #830
4.92/5.02	c Core size: 11	Core Weight: 1	Total Weight: 830
4.92/5.02	c Elapsed CPU time: 4.92225 s	Remaining CPU time: 1795.08 s
4.92/5.03	c core #831
4.92/5.03	c Core size: 7	Core Weight: 1	Total Weight: 831
4.92/5.03	c Elapsed CPU time: 4.93025 s	Remaining CPU time: 1795.07 s
4.92/5.04	c core #832
4.92/5.04	c Core size: 7	Core Weight: 1	Total Weight: 832
4.92/5.04	c Elapsed CPU time: 4.93925 s	Remaining CPU time: 1795.06 s
4.92/5.05	c core #833
4.92/5.05	c Core size: 7	Core Weight: 1	Total Weight: 833
4.92/5.05	c Elapsed CPU time: 4.94825 s	Remaining CPU time: 1795.05 s
4.92/5.06	c core #834
4.92/5.06	c Core size: 7	Core Weight: 1	Total Weight: 834
4.92/5.06	c Elapsed CPU time: 4.95725 s	Remaining CPU time: 1795.04 s
4.92/5.07	c core #835
4.92/5.07	c Core size: 11	Core Weight: 1	Total Weight: 835
4.92/5.07	c Elapsed CPU time: 4.96624 s	Remaining CPU time: 1795.03 s
4.92/5.08	c core #836
4.92/5.08	c Core size: 7	Core Weight: 1	Total Weight: 836
4.92/5.08	c Elapsed CPU time: 4.97524 s	Remaining CPU time: 1795.02 s
4.92/5.09	c core #837
4.92/5.09	c Core size: 7	Core Weight: 1	Total Weight: 837
4.92/5.09	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
4.92/5.09	c core #838
4.92/5.09	c Core size: 11	Core Weight: 1	Total Weight: 838
4.92/5.09	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 1795.01 s
5.02/5.10	c core #839
5.02/5.10	c Core size: 11	Core Weight: 1	Total Weight: 839
5.02/5.10	c Elapsed CPU time: 5.00324 s	Remaining CPU time: 1795 s
5.02/5.11	c core #840
5.02/5.11	c Core size: 7	Core Weight: 1	Total Weight: 840
5.02/5.11	c Elapsed CPU time: 5.01124 s	Remaining CPU time: 1794.99 s
5.02/5.12	c core #841
5.02/5.12	c Core size: 7	Core Weight: 1	Total Weight: 841
5.02/5.12	c Elapsed CPU time: 5.02024 s	Remaining CPU time: 1794.98 s
5.02/5.13	c core #842
5.02/5.13	c Core size: 7	Core Weight: 1	Total Weight: 842
5.02/5.13	c Elapsed CPU time: 5.02923 s	Remaining CPU time: 1794.97 s
5.02/5.14	c core #843
5.02/5.14	c Core size: 7	Core Weight: 1	Total Weight: 843
5.02/5.14	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 1794.96 s
5.02/5.15	c core #844
5.02/5.15	c Core size: 7	Core Weight: 1	Total Weight: 844
5.02/5.15	c Elapsed CPU time: 5.04523 s	Remaining CPU time: 1794.95 s
5.02/5.16	c core #845
5.02/5.16	c Core size: 7	Core Weight: 1	Total Weight: 845
5.02/5.16	c Elapsed CPU time: 5.05423 s	Remaining CPU time: 1794.95 s
5.02/5.17	c core #846
5.02/5.17	c Core size: 7	Core Weight: 1	Total Weight: 846
5.02/5.17	c Elapsed CPU time: 5.06323 s	Remaining CPU time: 1794.94 s
5.02/5.18	c core #847
5.02/5.18	c Core size: 7	Core Weight: 1	Total Weight: 847
5.02/5.18	c Elapsed CPU time: 5.07223 s	Remaining CPU time: 1794.93 s
5.02/5.19	c core #848
5.02/5.19	c Core size: 7	Core Weight: 1	Total Weight: 848
5.02/5.19	c Elapsed CPU time: 5.08123 s	Remaining CPU time: 1794.92 s
5.02/5.20	c core #849
5.02/5.20	c Core size: 7	Core Weight: 1	Total Weight: 849
5.02/5.20	c Elapsed CPU time: 5.09123 s	Remaining CPU time: 1794.91 s
5.12/5.20	c core #850
5.12/5.20	c Core size: 7	Core Weight: 1	Total Weight: 850
5.12/5.20	c Elapsed CPU time: 5.10022 s	Remaining CPU time: 1794.9 s
5.12/5.21	c core #851
5.12/5.21	c Core size: 11	Core Weight: 1	Total Weight: 851
5.12/5.21	c Elapsed CPU time: 5.10822 s	Remaining CPU time: 1794.89 s
5.12/5.22	c core #852
5.12/5.22	c Core size: 11	Core Weight: 1	Total Weight: 852
5.12/5.22	c Elapsed CPU time: 5.11722 s	Remaining CPU time: 1794.88 s
5.12/5.23	c core #853
5.12/5.23	c Core size: 7	Core Weight: 1	Total Weight: 853
5.12/5.23	c Elapsed CPU time: 5.12622 s	Remaining CPU time: 1794.87 s
5.12/5.24	c core #854
5.12/5.24	c Core size: 7	Core Weight: 1	Total Weight: 854
5.12/5.24	c Elapsed CPU time: 5.13522 s	Remaining CPU time: 1794.86 s
5.12/5.25	c core #855
5.12/5.25	c Core size: 7	Core Weight: 1	Total Weight: 855
5.12/5.25	c Elapsed CPU time: 5.14422 s	Remaining CPU time: 1794.86 s
5.12/5.26	c core #856
5.12/5.26	c Core size: 7	Core Weight: 1	Total Weight: 856
5.12/5.26	c Elapsed CPU time: 5.15422 s	Remaining CPU time: 1794.85 s
5.12/5.27	c core #857
5.12/5.27	c Core size: 7	Core Weight: 1	Total Weight: 857
5.12/5.27	c Elapsed CPU time: 5.16421 s	Remaining CPU time: 1794.84 s
5.12/5.28	c core #858
5.12/5.28	c Core size: 7	Core Weight: 1	Total Weight: 858
5.12/5.28	c Elapsed CPU time: 5.17321 s	Remaining CPU time: 1794.83 s
5.12/5.29	c core #859
5.12/5.29	c Core size: 7	Core Weight: 1	Total Weight: 859
5.12/5.29	c Elapsed CPU time: 5.18321 s	Remaining CPU time: 1794.82 s
5.21/5.30	c core #860
5.21/5.30	c Core size: 19	Core Weight: 1	Total Weight: 860
5.21/5.30	c Elapsed CPU time: 5.19221 s	Remaining CPU time: 1794.81 s
5.21/5.31	c core #861
5.21/5.31	c Core size: 7	Core Weight: 1	Total Weight: 861
5.21/5.31	c Elapsed CPU time: 5.20121 s	Remaining CPU time: 1794.8 s
5.21/5.32	c core #862
5.21/5.32	c Core size: 11	Core Weight: 1	Total Weight: 862
5.21/5.32	c Elapsed CPU time: 5.21121 s	Remaining CPU time: 1794.79 s
5.21/5.33	c core #863
5.21/5.33	c Core size: 7	Core Weight: 1	Total Weight: 863
5.21/5.33	c Elapsed CPU time: 5.22021 s	Remaining CPU time: 1794.78 s
5.21/5.34	c core #864
5.21/5.34	c Core size: 7	Core Weight: 1	Total Weight: 864
5.21/5.34	c Elapsed CPU time: 5.22921 s	Remaining CPU time: 1794.77 s
5.21/5.35	c core #865
5.21/5.35	c Core size: 7	Core Weight: 1	Total Weight: 865
5.21/5.35	c Elapsed CPU time: 5.2382 s	Remaining CPU time: 1794.76 s
5.21/5.36	c core #866
5.21/5.36	c Core size: 7	Core Weight: 1	Total Weight: 866
5.21/5.36	c Elapsed CPU time: 5.2482 s	Remaining CPU time: 1794.75 s
5.21/5.37	c core #867
5.21/5.37	c Core size: 7	Core Weight: 1	Total Weight: 867
5.21/5.37	c Elapsed CPU time: 5.2582 s	Remaining CPU time: 1794.74 s
5.21/5.38	c core #868
5.21/5.38	c Core size: 7	Core Weight: 1	Total Weight: 868
5.21/5.38	c Elapsed CPU time: 5.2672 s	Remaining CPU time: 1794.73 s
5.21/5.39	c core #869
5.21/5.39	c Core size: 7	Core Weight: 1	Total Weight: 869
5.21/5.39	c Elapsed CPU time: 5.2762 s	Remaining CPU time: 1794.72 s
5.21/5.40	c core #870
5.21/5.40	c Core size: 7	Core Weight: 1	Total Weight: 870
5.21/5.40	c Elapsed CPU time: 5.2852 s	Remaining CPU time: 1794.71 s
5.32/5.41	c core #871
5.32/5.41	c Core size: 11	Core Weight: 1	Total Weight: 871
5.32/5.41	c Elapsed CPU time: 5.29519 s	Remaining CPU time: 1794.7 s
5.32/5.42	c core #872
5.32/5.42	c Core size: 11	Core Weight: 1	Total Weight: 872
5.32/5.42	c Elapsed CPU time: 5.30519 s	Remaining CPU time: 1794.69 s
5.32/5.42	c core #873
5.32/5.42	c Core size: 7	Core Weight: 1	Total Weight: 873
5.32/5.42	c Elapsed CPU time: 5.31519 s	Remaining CPU time: 1794.68 s
5.32/5.43	c core #874
5.32/5.43	c Core size: 7	Core Weight: 1	Total Weight: 874
5.32/5.43	c Elapsed CPU time: 5.32519 s	Remaining CPU time: 1794.67 s
5.32/5.44	c core #875
5.32/5.44	c Core size: 11	Core Weight: 1	Total Weight: 875
5.32/5.45	c Elapsed CPU time: 5.33519 s	Remaining CPU time: 1794.66 s
5.32/5.45	c core #876
5.32/5.45	c Core size: 7	Core Weight: 1	Total Weight: 876
5.32/5.45	c Elapsed CPU time: 5.34419 s	Remaining CPU time: 1794.66 s
5.32/5.46	c core #877
5.32/5.46	c Core size: 11	Core Weight: 1	Total Weight: 877
5.32/5.47	c Elapsed CPU time: 5.35419 s	Remaining CPU time: 1794.65 s
5.32/5.48	c core #878
5.32/5.48	c Core size: 7	Core Weight: 1	Total Weight: 878
5.32/5.48	c Elapsed CPU time: 5.36318 s	Remaining CPU time: 1794.64 s
5.32/5.49	c core #879
5.32/5.49	c Core size: 7	Core Weight: 1	Total Weight: 879
5.32/5.49	c Elapsed CPU time: 5.37318 s	Remaining CPU time: 1794.63 s
5.32/5.50	c core #880
5.32/5.50	c Core size: 15	Core Weight: 1	Total Weight: 880
5.32/5.50	c Elapsed CPU time: 5.38418 s	Remaining CPU time: 1794.62 s
5.42/5.51	c core #881
5.42/5.51	c Core size: 7	Core Weight: 1	Total Weight: 881
5.42/5.51	c Elapsed CPU time: 5.39318 s	Remaining CPU time: 1794.61 s
5.42/5.52	c core #882
5.42/5.52	c Core size: 7	Core Weight: 1	Total Weight: 882
5.42/5.52	c Elapsed CPU time: 5.40318 s	Remaining CPU time: 1794.6 s
5.42/5.53	c core #883
5.42/5.53	c Core size: 7	Core Weight: 1	Total Weight: 883
5.42/5.53	c Elapsed CPU time: 5.41318 s	Remaining CPU time: 1794.59 s
5.42/5.54	c core #884
5.42/5.54	c Core size: 7	Core Weight: 1	Total Weight: 884
5.42/5.54	c Elapsed CPU time: 5.42317 s	Remaining CPU time: 1794.58 s
5.42/5.55	c core #885
5.42/5.55	c Core size: 15	Core Weight: 1	Total Weight: 885
5.42/5.55	c Elapsed CPU time: 5.43317 s	Remaining CPU time: 1794.57 s
5.42/5.56	c core #886
5.42/5.56	c Core size: 11	Core Weight: 1	Total Weight: 886
5.42/5.56	c Elapsed CPU time: 5.44317 s	Remaining CPU time: 1794.56 s
5.42/5.57	c core #887
5.42/5.57	c Core size: 7	Core Weight: 1	Total Weight: 887
5.42/5.57	c Elapsed CPU time: 5.45317 s	Remaining CPU time: 1794.55 s
5.42/5.58	c core #888
5.42/5.58	c Core size: 14	Core Weight: 1	Total Weight: 888
5.42/5.58	c Elapsed CPU time: 5.46317 s	Remaining CPU time: 1794.54 s
5.42/5.59	c core #889
5.42/5.59	c Core size: 11	Core Weight: 1	Total Weight: 889
5.42/5.59	c Elapsed CPU time: 5.47317 s	Remaining CPU time: 1794.53 s
5.52/5.60	c core #890
5.52/5.60	c Core size: 7	Core Weight: 1	Total Weight: 890
5.52/5.60	c Elapsed CPU time: 5.48317 s	Remaining CPU time: 1794.52 s
5.52/5.61	c core #891
5.52/5.61	c Core size: 7	Core Weight: 1	Total Weight: 891
5.52/5.61	c Elapsed CPU time: 5.49316 s	Remaining CPU time: 1794.51 s
5.52/5.62	c core #892
5.52/5.62	c Core size: 11	Core Weight: 1	Total Weight: 892
5.52/5.62	c Elapsed CPU time: 5.50316 s	Remaining CPU time: 1794.5 s
5.52/5.63	c core #893
5.52/5.63	c Core size: 15	Core Weight: 1	Total Weight: 893
5.52/5.63	c Elapsed CPU time: 5.51216 s	Remaining CPU time: 1794.49 s
5.52/5.64	c core #894
5.52/5.64	c Core size: 7	Core Weight: 1	Total Weight: 894
5.52/5.64	c Elapsed CPU time: 5.52116 s	Remaining CPU time: 1794.48 s
5.52/5.65	c core #895
5.52/5.65	c Core size: 11	Core Weight: 1	Total Weight: 895
5.52/5.65	c Elapsed CPU time: 5.53116 s	Remaining CPU time: 1794.47 s
5.52/5.66	c core #896
5.52/5.66	c Core size: 15	Core Weight: 1	Total Weight: 896
5.52/5.66	c Elapsed CPU time: 5.54116 s	Remaining CPU time: 1794.46 s
5.52/5.67	c core #897
5.52/5.67	c Core size: 7	Core Weight: 1	Total Weight: 897
5.52/5.67	c Elapsed CPU time: 5.55116 s	Remaining CPU time: 1794.45 s
5.52/5.68	c core #898
5.52/5.68	c Core size: 7	Core Weight: 1	Total Weight: 898
5.52/5.68	c Elapsed CPU time: 5.56115 s	Remaining CPU time: 1794.44 s
5.52/5.69	c core #899
5.52/5.69	c Core size: 11	Core Weight: 1	Total Weight: 899
5.52/5.69	c Elapsed CPU time: 5.57115 s	Remaining CPU time: 1794.43 s
5.62/5.70	c core #900
5.62/5.70	c Core size: 7	Core Weight: 1	Total Weight: 900
5.62/5.70	c Elapsed CPU time: 5.58115 s	Remaining CPU time: 1794.42 s
5.62/5.71	c core #901
5.62/5.71	c Core size: 19	Core Weight: 1	Total Weight: 901
5.62/5.71	c Elapsed CPU time: 5.59215 s	Remaining CPU time: 1794.41 s
5.62/5.72	c core #902
5.62/5.72	c Core size: 7	Core Weight: 1	Total Weight: 902
5.62/5.72	c Elapsed CPU time: 5.60115 s	Remaining CPU time: 1794.4 s
5.62/5.73	c core #903
5.62/5.73	c Core size: 15	Core Weight: 1	Total Weight: 903
5.62/5.73	c Elapsed CPU time: 5.61115 s	Remaining CPU time: 1794.39 s
5.62/5.74	c core #904
5.62/5.74	c Core size: 11	Core Weight: 1	Total Weight: 904
5.62/5.74	c Elapsed CPU time: 5.62115 s	Remaining CPU time: 1794.38 s
5.62/5.75	c core #905
5.62/5.75	c Core size: 11	Core Weight: 1	Total Weight: 905
5.62/5.75	c Elapsed CPU time: 5.63114 s	Remaining CPU time: 1794.37 s
5.62/5.76	c core #906
5.62/5.76	c Core size: 11	Core Weight: 1	Total Weight: 906
5.62/5.76	c Elapsed CPU time: 5.64114 s	Remaining CPU time: 1794.36 s
5.62/5.77	c core #907
5.62/5.77	c Core size: 7	Core Weight: 1	Total Weight: 907
5.62/5.77	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 1794.35 s
5.62/5.78	c core #908
5.62/5.78	c Core size: 7	Core Weight: 1	Total Weight: 908
5.62/5.78	c Elapsed CPU time: 5.66114 s	Remaining CPU time: 1794.34 s
5.62/5.79	c core #909
5.62/5.79	c Core size: 7	Core Weight: 1	Total Weight: 909
5.62/5.79	c Elapsed CPU time: 5.67114 s	Remaining CPU time: 1794.33 s
5.71/5.80	c core #910
5.71/5.80	c Core size: 7	Core Weight: 1	Total Weight: 910
5.71/5.80	c Elapsed CPU time: 5.68114 s	Remaining CPU time: 1794.32 s
5.71/5.81	c core #911
5.71/5.81	c Core size: 11	Core Weight: 1	Total Weight: 911
5.71/5.81	c Elapsed CPU time: 5.69213 s	Remaining CPU time: 1794.31 s
5.71/5.82	c core #912
5.71/5.82	c Core size: 11	Core Weight: 1	Total Weight: 912
5.71/5.82	c Elapsed CPU time: 5.70313 s	Remaining CPU time: 1794.3 s
5.71/5.83	c core #913
5.71/5.83	c Core size: 19	Core Weight: 1	Total Weight: 913
5.71/5.83	c Elapsed CPU time: 5.71313 s	Remaining CPU time: 1794.29 s
5.71/5.84	c core #914
5.71/5.84	c Core size: 7	Core Weight: 1	Total Weight: 914
5.71/5.84	c Elapsed CPU time: 5.72413 s	Remaining CPU time: 1794.28 s
5.71/5.85	c core #915
5.71/5.85	c Core size: 11	Core Weight: 1	Total Weight: 915
5.71/5.85	c Elapsed CPU time: 5.73513 s	Remaining CPU time: 1794.26 s
5.71/5.86	c core #916
5.71/5.86	c Core size: 11	Core Weight: 1	Total Weight: 916
5.71/5.86	c Elapsed CPU time: 5.74513 s	Remaining CPU time: 1794.25 s
5.71/5.87	c core #917
5.71/5.87	c Core size: 11	Core Weight: 1	Total Weight: 917
5.71/5.87	c Elapsed CPU time: 5.75512 s	Remaining CPU time: 1794.24 s
5.71/5.89	c core #918
5.71/5.89	c Core size: 15	Core Weight: 1	Total Weight: 918
5.71/5.89	c Elapsed CPU time: 5.76612 s	Remaining CPU time: 1794.23 s
5.71/5.90	c core #919
5.71/5.90	c Core size: 11	Core Weight: 1	Total Weight: 919
5.71/5.90	c Elapsed CPU time: 5.77612 s	Remaining CPU time: 1794.22 s
5.81/5.91	c core #920
5.81/5.91	c Core size: 11	Core Weight: 1	Total Weight: 920
5.81/5.91	c Elapsed CPU time: 5.78612 s	Remaining CPU time: 1794.21 s
5.81/5.92	c core #921
5.81/5.92	c Core size: 27	Core Weight: 1	Total Weight: 921
5.81/5.92	c Elapsed CPU time: 5.79612 s	Remaining CPU time: 1794.2 s
5.81/5.93	c core #922
5.81/5.93	c Core size: 7	Core Weight: 1	Total Weight: 922
5.81/5.93	c Elapsed CPU time: 5.80712 s	Remaining CPU time: 1794.19 s
5.81/5.94	c core #923
5.81/5.94	c Core size: 19	Core Weight: 1	Total Weight: 923
5.81/5.94	c Elapsed CPU time: 5.81811 s	Remaining CPU time: 1794.18 s
5.81/5.95	c core #924
5.81/5.95	c Core size: 7	Core Weight: 1	Total Weight: 924
5.81/5.95	c Elapsed CPU time: 5.82911 s	Remaining CPU time: 1794.17 s
5.81/5.96	c core #925
5.81/5.96	c Core size: 35	Core Weight: 1	Total Weight: 925
5.81/5.96	c Elapsed CPU time: 5.83911 s	Remaining CPU time: 1794.16 s
5.81/5.97	c core #926
5.81/5.97	c Core size: 11	Core Weight: 1	Total Weight: 926
5.81/5.97	c Elapsed CPU time: 5.84911 s	Remaining CPU time: 1794.15 s
5.81/5.98	c core #927
5.81/5.98	c Core size: 19	Core Weight: 1	Total Weight: 927
5.81/5.98	c Elapsed CPU time: 5.85911 s	Remaining CPU time: 1794.14 s
5.81/5.99	c core #928
5.81/5.99	c Core size: 15	Core Weight: 1	Total Weight: 928
5.81/5.99	c Elapsed CPU time: 5.87011 s	Remaining CPU time: 1794.13 s
5.91/6.01	c core #929
5.91/6.01	c Core size: 19	Core Weight: 1	Total Weight: 929
5.91/6.01	c Elapsed CPU time: 5.8811 s	Remaining CPU time: 1794.12 s
5.91/6.02	c core #930
5.91/6.02	c Core size: 15	Core Weight: 1	Total Weight: 930
5.91/6.02	c Elapsed CPU time: 5.8921 s	Remaining CPU time: 1794.11 s
5.91/6.03	c core #931
5.91/6.03	c Core size: 7	Core Weight: 1	Total Weight: 931
5.91/6.03	c Elapsed CPU time: 5.9021 s	Remaining CPU time: 1794.1 s
5.91/6.04	c core #932
5.91/6.04	c Core size: 19	Core Weight: 1	Total Weight: 932
5.91/6.04	c Elapsed CPU time: 5.9141 s	Remaining CPU time: 1794.09 s
5.91/6.05	c core #933
5.91/6.05	c Core size: 19	Core Weight: 1	Total Weight: 933
5.91/6.05	c Elapsed CPU time: 5.9251 s	Remaining CPU time: 1794.07 s
5.91/6.06	c core #934
5.91/6.06	c Core size: 7	Core Weight: 1	Total Weight: 934
5.91/6.06	c Elapsed CPU time: 5.9361 s	Remaining CPU time: 1794.06 s
5.91/6.07	c core #935
5.91/6.07	c Core size: 11	Core Weight: 1	Total Weight: 935
5.91/6.07	c Elapsed CPU time: 5.9471 s	Remaining CPU time: 1794.05 s
5.91/6.08	c core #936
5.91/6.08	c Core size: 7	Core Weight: 1	Total Weight: 936
5.91/6.08	c Elapsed CPU time: 5.95809 s	Remaining CPU time: 1794.04 s
5.91/6.09	c core #937
5.91/6.09	c Core size: 15	Core Weight: 1	Total Weight: 937
5.91/6.09	c Elapsed CPU time: 5.96909 s	Remaining CPU time: 1794.03 s
6.01/6.11	c core #938
6.01/6.11	c Core size: 7	Core Weight: 1	Total Weight: 938
6.01/6.11	c Elapsed CPU time: 5.98009 s	Remaining CPU time: 1794.02 s
6.01/6.12	c core #939
6.01/6.12	c Core size: 15	Core Weight: 1	Total Weight: 939
6.01/6.12	c Elapsed CPU time: 5.99109 s	Remaining CPU time: 1794.01 s
6.01/6.13	c core #940
6.01/6.13	c Core size: 15	Core Weight: 1	Total Weight: 940
6.01/6.13	c Elapsed CPU time: 6.00109 s	Remaining CPU time: 1794 s
6.01/6.14	c core #941
6.01/6.14	c Core size: 15	Core Weight: 1	Total Weight: 941
6.01/6.14	c Elapsed CPU time: 6.01209 s	Remaining CPU time: 1793.99 s
6.01/6.15	c core #942
6.01/6.15	c Core size: 14	Core Weight: 1	Total Weight: 942
6.01/6.15	c Elapsed CPU time: 6.02408 s	Remaining CPU time: 1793.98 s
6.01/6.16	c core #943
6.01/6.16	c Core size: 7	Core Weight: 1	Total Weight: 943
6.01/6.16	c Elapsed CPU time: 6.03508 s	Remaining CPU time: 1793.96 s
6.01/6.17	c core #944
6.01/6.17	c Core size: 11	Core Weight: 1	Total Weight: 944
6.01/6.17	c Elapsed CPU time: 6.04708 s	Remaining CPU time: 1793.95 s
6.01/6.18	c core #945
6.01/6.18	c Core size: 7	Core Weight: 1	Total Weight: 945
6.01/6.18	c Elapsed CPU time: 6.05808 s	Remaining CPU time: 1793.94 s
6.01/6.20	c core #946
6.01/6.20	c Core size: 39	Core Weight: 1	Total Weight: 946
6.01/6.20	c Elapsed CPU time: 6.06908 s	Remaining CPU time: 1793.93 s
6.11/6.21	c core #947
6.11/6.21	c Core size: 39	Core Weight: 1	Total Weight: 947
6.11/6.21	c Elapsed CPU time: 6.08108 s	Remaining CPU time: 1793.92 s
6.11/6.22	c core #948
6.11/6.22	c Core size: 15	Core Weight: 1	Total Weight: 948
6.11/6.22	c Elapsed CPU time: 6.09207 s	Remaining CPU time: 1793.91 s
6.11/6.23	c core #949
6.11/6.23	c Core size: 11	Core Weight: 1	Total Weight: 949
6.11/6.23	c Elapsed CPU time: 6.10307 s	Remaining CPU time: 1793.9 s
6.11/6.24	c core #950
6.11/6.24	c Core size: 7	Core Weight: 1	Total Weight: 950
6.11/6.24	c Elapsed CPU time: 6.11407 s	Remaining CPU time: 1793.89 s
6.11/6.25	c core #951
6.11/6.25	c Core size: 39	Core Weight: 1	Total Weight: 951
6.11/6.25	c Elapsed CPU time: 6.12507 s	Remaining CPU time: 1793.87 s
6.11/6.26	c core #952
6.11/6.26	c Core size: 27	Core Weight: 1	Total Weight: 952
6.11/6.26	c Elapsed CPU time: 6.13607 s	Remaining CPU time: 1793.86 s
6.11/6.28	c core #953
6.11/6.28	c Core size: 31	Core Weight: 1	Total Weight: 953
6.11/6.28	c Elapsed CPU time: 6.14706 s	Remaining CPU time: 1793.85 s
6.11/6.29	c core #954
6.11/6.29	c Core size: 35	Core Weight: 1	Total Weight: 954
6.11/6.29	c Elapsed CPU time: 6.15806 s	Remaining CPU time: 1793.84 s
6.20/6.30	c core #955
6.20/6.30	c Core size: 35	Core Weight: 1	Total Weight: 955
6.20/6.30	c Elapsed CPU time: 6.16906 s	Remaining CPU time: 1793.83 s
6.20/6.31	c core #956
6.20/6.31	c Core size: 27	Core Weight: 1	Total Weight: 956
6.20/6.31	c Elapsed CPU time: 6.18006 s	Remaining CPU time: 1793.82 s
6.20/6.32	c core #957
6.20/6.32	c Core size: 19	Core Weight: 1	Total Weight: 957
6.20/6.32	c Elapsed CPU time: 6.19206 s	Remaining CPU time: 1793.81 s
6.20/6.33	c core #958
6.20/6.33	c Core size: 63	Core Weight: 1	Total Weight: 958
6.20/6.33	c Elapsed CPU time: 6.20406 s	Remaining CPU time: 1793.8 s
6.20/6.35	c core #959
6.20/6.35	c Core size: 31	Core Weight: 1	Total Weight: 959
6.20/6.35	c Elapsed CPU time: 6.21505 s	Remaining CPU time: 1793.78 s
6.20/6.36	c core #960
6.20/6.36	c Core size: 15	Core Weight: 1	Total Weight: 960
6.20/6.36	c Elapsed CPU time: 6.22705 s	Remaining CPU time: 1793.77 s
6.20/6.37	c core #961
6.20/6.37	c Core size: 106	Core Weight: 1	Total Weight: 961
6.20/6.37	c Elapsed CPU time: 6.23905 s	Remaining CPU time: 1793.76 s
6.20/6.38	c core #962
6.20/6.38	c Core size: 27	Core Weight: 1	Total Weight: 962
6.20/6.38	c Elapsed CPU time: 6.25105 s	Remaining CPU time: 1793.75 s
6.20/6.39	c core #963
6.20/6.39	c Core size: 15	Core Weight: 1	Total Weight: 963
6.20/6.39	c Elapsed CPU time: 6.26305 s	Remaining CPU time: 1793.74 s
6.30/6.41	c core #964
6.30/6.41	c Core size: 94	Core Weight: 1	Total Weight: 964
6.30/6.41	c Elapsed CPU time: 6.27505 s	Remaining CPU time: 1793.72 s
6.30/6.42	c core #965
6.30/6.42	c Core size: 79	Core Weight: 1	Total Weight: 965
6.30/6.42	c Elapsed CPU time: 6.28704 s	Remaining CPU time: 1793.71 s
6.30/6.43	c core #966
6.30/6.43	c Core size: 63	Core Weight: 1	Total Weight: 966
6.30/6.43	c Elapsed CPU time: 6.29904 s	Remaining CPU time: 1793.7 s
6.30/6.44	c core #967
6.30/6.44	c Core size: 47	Core Weight: 1	Total Weight: 967
6.30/6.44	c Elapsed CPU time: 6.31104 s	Remaining CPU time: 1793.69 s
6.30/6.45	c core #968
6.30/6.45	c Core size: 62	Core Weight: 1	Total Weight: 968
6.30/6.45	c Elapsed CPU time: 6.32204 s	Remaining CPU time: 1793.68 s
6.30/6.47	c core #969
6.30/6.47	c Core size: 75	Core Weight: 1	Total Weight: 969
6.30/6.47	c Elapsed CPU time: 6.33304 s	Remaining CPU time: 1793.67 s
6.30/6.48	c ============================[ Search Statistics ]==============================
6.30/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.30/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.30/6.48	c ===============================================================================
6.30/6.48	c |         0 |    4452     6937    15436 |     5000        0    nan |  0.000 % |
6.30/6.48	c ===============================================================================
6.30/6.48	c core #970
6.30/6.48	c Core size: 58	Core Weight: 1	Total Weight: 970
6.30/6.48	c Elapsed CPU time: 6.34703 s	Remaining CPU time: 1793.65 s
6.30/6.49	c ============================[ Search Statistics ]==============================
6.30/6.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.30/6.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.30/6.49	c ===============================================================================
6.30/6.49	c |         0 |    4518     6938    15522 |     5000        0    nan |  0.000 % |
6.30/6.49	c ===============================================================================
6.30/6.49	c core #971
6.30/6.49	c Core size: 87	Core Weight: 1	Total Weight: 971
6.30/6.49	c Elapsed CPU time: 6.35903 s	Remaining CPU time: 1793.64 s
6.41/6.50	c ============================[ Search Statistics ]==============================
6.41/6.50	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 |    4625     6939    15634 |     5000        0    nan |  0.000 % |
6.41/6.51	c ===============================================================================
6.41/6.51	c core #972
6.41/6.51	c Core size: 105	Core Weight: 1	Total Weight: 972
6.41/6.51	c Elapsed CPU time: 6.37403 s	Remaining CPU time: 1793.63 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 |    4719     6940    15756 |     5000        0    nan |  0.000 % |
6.41/6.52	c ===============================================================================
6.41/6.52	c core #973
6.41/6.52	c Core size: 66	Core Weight: 1	Total Weight: 973
6.41/6.52	c Elapsed CPU time: 6.38703 s	Remaining CPU time: 1793.61 s
6.41/6.53	c ============================[ Search Statistics ]==============================
6.41/6.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.53	c ===============================================================================
6.41/6.53	c |         0 |    4772     6941    15827 |     5000        0    nan |  0.000 % |
6.41/6.54	c ===============================================================================
6.41/6.54	c core #974
6.41/6.54	c Core size: 81	Core Weight: 1	Total Weight: 974
6.41/6.54	c Elapsed CPU time: 6.40103 s	Remaining CPU time: 1793.6 s
6.41/6.55	c ============================[ Search Statistics ]==============================
6.41/6.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.55	c ===============================================================================
6.41/6.55	c |         0 |    4814     6942    15914 |     5000        0    nan |  0.000 % |
6.41/6.55	c ===============================================================================
6.41/6.55	c core #975
6.41/6.55	c Core size: 84	Core Weight: 1	Total Weight: 975
6.41/6.55	c Elapsed CPU time: 6.41502 s	Remaining CPU time: 1793.58 s
6.41/6.56	c ============================[ Search Statistics ]==============================
6.41/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.56	c ===============================================================================
6.41/6.56	c |         0 |    4855     6943    15996 |     5000        0    nan |  0.000 % |
6.41/6.57	c ===============================================================================
6.41/6.57	c core #976
6.41/6.57	c Core size: 292	Core Weight: 1	Total Weight: 976
6.41/6.57	c Elapsed CPU time: 6.43202 s	Remaining CPU time: 1793.57 s
6.41/6.58	c ============================[ Search Statistics ]==============================
6.41/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.58	c ===============================================================================
6.41/6.58	c |         0 |    5031     6944    16305 |     5000        0    nan |  0.000 % |
6.41/6.59	c ===============================================================================
6.41/6.59	c core #977
6.41/6.59	c Core size: 154	Core Weight: 1	Total Weight: 977
6.41/6.59	c Elapsed CPU time: 6.44802 s	Remaining CPU time: 1793.55 s
6.41/6.60	c ============================[ Search Statistics ]==============================
6.41/6.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.60	c ===============================================================================
6.41/6.60	c |         0 |    5147     6945    16464 |     5000        0    nan |  0.000 % |
6.51/6.60	c ===============================================================================
6.51/6.60	c core #978
6.51/6.60	c Core size: 93	Core Weight: 1	Total Weight: 978
6.51/6.60	c Elapsed CPU time: 6.46302 s	Remaining CPU time: 1793.54 s
6.51/6.61	c ============================[ Search Statistics ]==============================
6.51/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.61	c ===============================================================================
6.51/6.61	c |         0 |    5212     6946    16563 |     5000        0    nan |  0.000 % |
6.51/6.62	c |       101 |    5210     6946    16563 |     5500      101      6 |  2.127 % |
6.51/6.63	c ===============================================================================
6.51/6.64	c core #979
6.51/6.64	c Core size: 409	Core Weight: 1	Total Weight: 979
6.51/6.64	c Elapsed CPU time: 6.49501 s	Remaining CPU time: 1793.5 s
6.51/6.65	c ============================[ Search Statistics ]==============================
6.51/6.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.65	c ===============================================================================
6.51/6.65	c |         0 |    5410     6947    16956 |     5000        0    nan |  0.000 % |
6.51/6.66	c |       100 |    5389     6947    16956 |     5500       88      5 |  2.107 % |
6.51/6.67	c ===============================================================================
6.51/6.67	c core #980
6.51/6.67	c Core size: 210	Core Weight: 1	Total Weight: 980
6.51/6.67	c Elapsed CPU time: 6.52401 s	Remaining CPU time: 1793.48 s
6.51/6.68	c ============================[ Search Statistics ]==============================
6.51/6.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.68	c ===============================================================================
6.51/6.68	c |         0 |    5516     6948    17165 |     5000        0    nan |  0.000 % |
6.51/6.69	c |       100 |    5515     6948    17165 |     5500      100      7 |  1.606 % |
6.59/6.70	c |       253 |    5515     6948    17165 |     6050      252      8 |  1.606 % |
6.59/6.72	c |       478 |    5515     6948    17165 |     6655      477      9 |  1.606 % |
6.59/6.72	c ===============================================================================
6.59/6.73	c core #981
6.59/6.73	c Core size: 564	Core Weight: 1	Total Weight: 981
6.59/6.73	c Elapsed CPU time: 6.578 s	Remaining CPU time: 1793.42 s
6.59/6.74	c ============================[ Search Statistics ]==============================
6.59/6.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.59/6.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.59/6.74	c ===============================================================================
6.59/6.74	c |         0 |    5787     6949    17697 |     5000        0    nan |  0.000 % |
6.59/6.75	c |       100 |    5787     6949    17697 |     5500      100     29 |  1.380 % |
6.59/6.77	c |       250 |    5787     6949    17697 |     6050      250     21 |  1.380 % |
6.59/6.79	c |       478 |    5784     6949    17697 |     6655      476     17 |  1.534 % |
6.70/6.83	c |       817 |    5784     6949    17697 |     7320      815     28 |  1.534 % |
6.70/6.89	c |      1324 |    5778     6949    17697 |     8052     1321     30 |  1.534 % |
6.80/6.99	c |      2083 |    5760     6949    17697 |     8857     1434     26 |  1.840 % |
6.90/7.00	c ===============================================================================
6.90/7.02	c core #982
6.90/7.02	c Core size: 514	Core Weight: 1	Total Weight: 982
6.90/7.02	c Elapsed CPU time: 6.86496 s	Remaining CPU time: 1793.14 s
6.90/7.03	c ============================[ Search Statistics ]==============================
6.90/7.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.90/7.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.90/7.03	c ===============================================================================
6.90/7.03	c |         0 |    6029     6950    18172 |     5000        0    nan |  0.000 % |
6.90/7.05	c |       100 |    6029     6950    18172 |     5500      100     16 |  1.164 % |
6.90/7.06	c |       250 |    6025     6950    18172 |     6050      249     12 |  1.230 % |
6.90/7.09	c |       475 |    6025     6950    18172 |     6655      474     10 |  1.230 % |
7.00/7.11	c |       813 |    6025     6950    18172 |     7320      812     11 |  1.230 % |
7.00/7.16	c |      1320 |    6024     6950    18172 |     8052     1318     14 |  1.246 % |
7.10/7.24	c |      2080 |    6023     6950    18172 |     8857     2078     16 |  1.262 % |
7.20/7.37	c |      3219 |    6019     6950    18172 |     9743     3212     20 |  1.328 % |
7.50/7.67	c |      4930 |    6019     6950    18172 |    10717     4923     27 |  1.328 % |
7.60/7.71	c ===============================================================================
7.60/7.76	c core #983
7.60/7.76	c Core size: 965	Core Weight: 1	Total Weight: 983
7.60/7.76	c Elapsed CPU time: 7.58885 s	Remaining CPU time: 1792.41 s
7.60/7.78	c ============================[ Search Statistics ]==============================
7.60/7.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.60/7.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.60/7.78	c ===============================================================================
7.60/7.78	c |         0 |    6495     6951    19038 |     5000        0    nan |  0.000 % |
7.60/7.79	c |       100 |    6495     6951    19038 |     5500      100     25 |  0.536 % |
7.69/7.81	c |       252 |    6495     6951    19038 |     6050      252     20 |  0.536 % |
7.69/7.83	c |       479 |    6495     6951    19038 |     6655      479     22 |  0.536 % |
7.80/7.90	c |       818 |    6490     6951    19038 |     7320      817     38 |  0.613 % |
7.80/7.98	c |      1324 |    6490     6951    19038 |     8052     1323     40 |  0.613 % |
8.00/8.10	c |      2086 |    6490     6951    19038 |     8857     2085     37 |  0.613 % |
8.19/8.33	c |      3226 |    6490     6951    19038 |     9743     3225     46 |  0.613 % |
8.49/8.68	c |      4936 |    6490     6951    19038 |    10717     4935     43 |  0.613 % |
9.09/9.28	c |      7506 |    6490     6951    19038 |    11789     7505     51 |  0.613 % |
10.09/10.23	c |     11352 |    6490     6951    19038 |    12968    11351     51 |  0.613 % |
11.49/11.63	c |     17119 |    6482     6951    19038 |    14265    10091     41 |  0.842 % |
11.90/12.01	c ===============================================================================
12.00/12.10	c core #984
12.00/12.10	c Core size: 1241	Core Weight: 1	Total Weight: 984
12.00/12.10	c Elapsed CPU time: 11.8542 s	Remaining CPU time: 1788.15 s
12.00/12.13	c ============================[ Search Statistics ]==============================
12.00/12.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.00/12.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.00/12.13	c ===============================================================================
12.00/12.13	c |         0 |    7034     6952    20116 |     5000        0    nan |  0.000 % |
12.00/12.15	c |       101 |    7034     6952    20116 |     5500      101      7 |  0.495 % |
12.00/12.17	c |       251 |    7034     6952    20116 |     6050      251      9 |  0.495 % |
12.00/12.19	c |       477 |    7034     6952    20116 |     6655      477     15 |  0.495 % |
12.10/12.23	c |       815 |    7034     6952    20116 |     7320      815     16 |  0.495 % |
12.10/12.28	c |      1321 |    7034     6952    20116 |     8052     1321     22 |  0.495 % |
12.19/12.38	c |      2082 |    7029     6952    20116 |     8857     2075     28 |  0.566 % |
12.40/12.54	c |      3222 |    7029     6952    20116 |     9743     3215     30 |  0.566 % |
12.70/12.80	c |      4930 |    7029     6952    20116 |    10717     4923     29 |  0.566 % |
13.10/13.28	c |      7492 |    7022     6952    20116 |    11789     7484     31 |  0.665 % |
13.89/14.04	c ===============================================================================
13.99/14.11	c core #985
13.99/14.11	c Core size: 1009	Core Weight: 1	Total Weight: 985
13.99/14.11	c Elapsed CPU time: 13.8189 s	Remaining CPU time: 1786.18 s
13.99/14.13	c ============================[ Search Statistics ]==============================
13.99/14.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.99/14.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.99/14.13	c ===============================================================================
13.99/14.13	c |         0 |    7479     6953    21001 |     5000        0    nan |  0.000 % |
13.99/14.15	c |       102 |    7479     6953    21001 |     5500      102     25 |  0.386 % |
13.99/14.16	c |       252 |    7479     6953    21001 |     6050      252     22 |  0.386 % |
13.99/14.19	c |       477 |    7479     6953    21001 |     6655      477     20 |  0.386 % |
14.09/14.25	c |       815 |    7479     6953    21001 |     7320      815     22 |  0.386 % |
14.09/14.30	c |      1322 |    7479     6953    21001 |     8052     1322     26 |  0.386 % |
14.29/14.41	c |      2081 |    7479     6953    21001 |     8857     2081     24 |  0.386 % |
14.40/14.58	c |      3220 |    7479     6953    21001 |     9743     3220     30 |  0.386 % |
14.69/14.89	c |      4929 |    7479     6953    21001 |    10717     4929     35 |  0.386 % |
15.09/15.28	c |      7491 |    7479     6953    21001 |    11789     7491     34 |  0.386 % |
15.80/15.98	c |     11335 |    7478     6953    21001 |    12968    11333     35 |  0.400 % |
17.09/17.28	c |     17101 |    7471     6953    21001 |    14265    10376     50 |  0.493 % |
19.09/19.29	c |     25750 |    7467     6953    21001 |    15692    11795     51 |  0.546 % |
22.39/22.54	c |     38725 |    7467     6953    21001 |    17261     8792     57 |  0.546 % |
27.79/27.94	c |     58186 |    7464     6953    21001 |    18987    10735     75 |  0.586 % |
38.58/38.78	c |     87378 |    7463     6953    21001 |    20886    10831     80 |  0.599 % |
40.49/40.63	c ===============================================================================
41.08/41.23	c core #986
41.08/41.23	c Core size: 857	Core Weight: 1	Total Weight: 986
41.08/41.23	c Elapsed CPU time: 40.4978 s	Remaining CPU time: 1759.5 s
41.18/41.33	c ============================[ Search Statistics ]==============================
41.18/41.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
41.18/41.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
41.18/41.34	c ===============================================================================
41.18/41.34	c |         0 |    7842     6954    21726 |     5000        0    nan |  0.000 % |
41.18/41.37	c |       100 |    7842     6954    21726 |     5500      100     31 |  0.343 % |
41.18/41.39	c |       250 |    7842     6954    21726 |     6050      250     28 |  0.343 % |
41.28/41.42	c |       475 |    7842     6954    21726 |     6655      475     35 |  0.343 % |
41.28/41.47	c |       812 |    7842     6954    21726 |     7320      812     26 |  0.343 % |
41.38/41.54	c |      1319 |    7842     6954    21726 |     8052     1319     26 |  0.343 % |
41.49/41.64	c |      2083 |    7842     6954    21726 |     8857     2083     29 |  0.343 % |
41.69/41.81	c |      3223 |    7842     6954    21726 |     9743     3223     26 |  0.343 % |
41.88/42.09	c |      4931 |    7842     6954    21726 |    10717     4931     28 |  0.343 % |
42.69/42.82	c |      7493 |    7842     6954    21726 |    11789     7493     38 |  0.343 % |
43.98/44.17	c |     11338 |    7842     6954    21726 |    12968    11338     46 |  0.343 % |
45.88/46.06	c |     17104 |    7835     6954    21726 |    14265    10484     52 |  0.432 % |
49.38/49.55	c |     25757 |    7835     6954    21726 |    15692    11839     64 |  0.432 % |
53.17/53.35	c |     38734 |    7835     6954    21726 |    17261     8676     62 |  0.432 % |
62.48/62.61	c |     58195 |    7835     6954    21726 |    18987    10598     76 |  0.432 % |
78.07/78.24	c |     87388 |    7835     6954    21726 |    20886    10847    107 |  0.432 % |
103.36/103.59	c |    131177 |    7829     6954    21726 |    22974    12119    120 |  0.508 % |
158.84/159.04	c |    196870 |    7826     6954    21726 |    25272    19772    138 |  0.546 % |
173.34/173.52	c ===============================================================================
175.94/176.19	c core #987
175.94/176.19	c Core size: 1223	Core Weight: 1	Total Weight: 987
175.94/176.19	c Elapsed CPU time: 174.356 s	Remaining CPU time: 1625.64 s
176.24/176.42	c ============================[ Search Statistics ]==============================
176.24/176.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
176.24/176.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
176.24/176.42	c ===============================================================================
176.24/176.42	c |         0 |    8341     6955    22724 |     5000        0    nan |  0.000 % |
176.24/176.48	c |       100 |    8341     6955    22724 |     5500      100     18 |  0.323 % |
176.34/176.51	c |       250 |    8341     6955    22724 |     6050      250     19 |  0.323 % |
176.34/176.54	c |       475 |    8341     6955    22724 |     6655      475     20 |  0.323 % |
176.34/176.58	c |       812 |    8341     6955    22724 |     7320      812     23 |  0.323 % |
176.44/176.69	c |      1318 |    8341     6955    22724 |     8052     1318     32 |  0.323 % |
176.64/176.83	c |      2077 |    8341     6955    22724 |     8857     2077     46 |  0.323 % |
176.85/177.06	c |      3217 |    8341     6955    22724 |     9743     3217     49 |  0.323 % |
177.24/177.43	c |      4925 |    8341     6955    22724 |    10717     4925     91 |  0.323 % |
177.74/177.94	c |      7492 |    8341     6955    22724 |    11789     7492     77 |  0.323 % |
179.04/179.22	c |     11336 |    8341     6955    22724 |    12968    11336     85 |  0.323 % |
180.74/180.96	c |     17105 |    8341     6955    22724 |    14265    10338     99 |  0.323 % |
184.04/184.24	c |     25756 |    8341     6955    22724 |    15692    11527    148 |  0.323 % |
188.83/189.04	c |     38730 |    8340     6955    22724 |    17261     8433    116 |  0.335 % |
194.73/194.99	c |     58191 |    8340     6955    22724 |    18987    10328     76 |  0.335 % |
205.23/205.41	c |     87386 |    8340     6955    22724 |    20886    10426     95 |  0.335 % |
223.33/223.52	c |    131175 |    8334     6955    22724 |    22974    11584    133 |  0.406 % |
262.01/262.25	c |    196862 |    8334     6955    22724 |    25272    19041    203 |  0.406 % |
313.40/313.66	c |    295388 |    8334     6955    22724 |    27799    13829    101 |  0.406 % |
385.67/385.96	c |    443179 |    8334     6955    22724 |    30579    28040     94 |  0.406 % |
494.54/494.87	c |    664865 |    8333     6955    22724 |    33637    23806    107 |  0.418 % |
567.22/567.60	c ===============================================================================
574.72/575.07	c core #988
574.72/575.07	c Core size: 1888	Core Weight: 1	Total Weight: 988
574.72/575.07	c Elapsed CPU time: 569.448 s	Remaining CPU time: 1230.55 s
575.52/575.89	c ============================[ Search Statistics ]==============================
575.52/575.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
575.52/575.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
575.52/575.89	c ===============================================================================
575.52/575.89	c |         0 |    9103     6956    24251 |     5000        0    nan |  0.000 % |
575.62/575.99	c |       100 |    9103     6956    24251 |     5500      100     28 |  0.274 % |
575.72/576.05	c |       250 |    9103     6956    24251 |     6050      250     32 |  0.274 % |
575.81/576.11	c |       477 |    9103     6956    24251 |     6655      477     35 |  0.274 % |
575.91/576.20	c |       814 |    9103     6956    24251 |     7320      814     35 |  0.274 % |
575.91/576.30	c |      1320 |    9103     6956    24251 |     8052     1320     41 |  0.274 % |
576.12/576.45	c |      2080 |    9103     6956    24251 |     8857     2080     52 |  0.274 % |
576.41/576.73	c |      3219 |    9103     6956    24251 |     9743     3219     53 |  0.274 % |
576.71/577.06	c |      4927 |    9103     6956    24251 |    10717     4927     63 |  0.274 % |
577.51/577.81	c |      7489 |    9103     6956    24251 |    11789     7489     80 |  0.274 % |
578.81/579.16	c |     11334 |    9103     6956    24251 |    12968    11334     88 |  0.274 % |
581.52/581.89	c |     17100 |    9103     6956    24251 |    14265    10291    141 |  0.274 % |
584.92/585.29	c |     25750 |    9103     6956    24251 |    15692    11680     97 |  0.274 % |
591.00/591.35	c |     38725 |    9103     6956    24251 |    17261     8412    135 |  0.274 % |
604.61/604.98	c |     58186 |    9103     6956    24251 |    18987     9541    249 |  0.274 % |
620.39/620.79	c |     87379 |    9103     6956    24251 |    20886    18658    146 |  0.274 % |
646.99/647.39	c |    131169 |    9103     6956    24251 |    22974    19583    302 |  0.274 % |
678.88/679.21	c |    196871 |    9103     6956    24251 |    25272    14624    216 |  0.274 % |
739.56/740.00	c |    295399 |    9103     6956    24251 |    27799    18426    160 |  0.274 % |
853.93/854.32	c |    443190 |    9103     6956    24251 |    30579    24974    191 |  0.274 % |
1048.17/1048.63	c |    664873 |    9103     6956    24251 |    33637    12825    197 |  0.274 % |
1302.40/1302.95	c |    997398 |    9103     6956    24251 |    37001    32710    217 |  0.274 % |

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-1875676-1245145997/watcher-1875676-1245145997 -o /tmp/evaluation-result-1875676-1245145997/solver-1875676-1245145997 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875676-1245145997.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.99 0.97 0.99 3/64 1650
/proc/meminfo: memFree=1781144/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=2964 CPUtime=0
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182192614 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135173051 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 741 248 125 292 0 418 0

[startup+0.0386321 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1650
/proc/meminfo: memFree=1781144/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=3608 CPUtime=0.03
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 490 0 0 0 3 0 0 0 18 0 1 0 182192614 3694592 446 1992294400 134512640 135709839 4294956240 18446744073709551615 134530251 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 902 446 133 292 0 607 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3608

[startup+0.101641 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1650
/proc/meminfo: memFree=1781144/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=3464 CPUtime=0.09
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 491 0 0 0 9 0 0 0 18 0 1 0 182192614 3547136 446 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 866 446 133 292 0 571 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3464

[startup+0.301669 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1650
/proc/meminfo: memFree=1781144/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=3640 CPUtime=0.29
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 854 0 0 0 29 0 0 0 19 0 1 0 182192614 3727360 455 1992294400 134512640 135709839 4294956240 18446744073709551615 135173035 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 910 455 133 292 0 615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3640

[startup+0.701726 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 1650
/proc/meminfo: memFree=1781144/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=3840 CPUtime=0.69
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 1073 0 0 0 69 0 0 0 22 0 1 0 182192614 3932160 538 1992294400 134512640 135709839 4294956240 18446744073709551615 134573649 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 960 538 133 292 0 665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3840

[startup+1.50184 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1779024/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=4684 CPUtime=1.48
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 1599 0 0 0 147 1 0 0 25 0 1 0 182192614 4796416 735 1992294400 134512640 135709839 4294956240 18446744073709551615 134605137 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 1171 735 133 292 0 876 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4684

[startup+3.10206 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1777488/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=6632 CPUtime=3.06
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 2608 0 0 0 304 2 0 0 25 0 1 0 182192614 6791168 1231 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 1658 1231 133 292 0 1363 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6632

[startup+6.30152 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1772688/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=13336 CPUtime=6.2
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 5192 0 0 0 616 4 0 0 25 0 1 0 182192614 13656064 2867 1992294400 134512640 135709839 4294956240 18446744073709551615 135162139 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 3334 2867 134 292 0 3039 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 13336

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1760280/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=23896 CPUtime=12.59
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 8182 0 0 0 1242 17 0 0 25 0 1 0 182192614 24469504 5513 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 5974 5513 136 292 0 5679 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 23896

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1741528/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=41980 CPUtime=25.39
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 12732 0 0 0 2495 44 0 0 25 0 1 0 182192614 42987520 10063 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 10495 10063 136 292 0 10200 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 41980

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1651
/proc/meminfo: memFree=1714392/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=68348 CPUtime=50.98
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 19303 0 0 0 5022 76 0 0 25 0 1 0 182192614 69988352 16634 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 17087 16634 136 292 0 16792 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 68348

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1652888/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=129828 CPUtime=102.17
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 34667 0 0 0 10093 124 0 0 25 0 1 0 182192614 132943872 31998 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 32457 31998 136 292 0 32162 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 129828

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1585752/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=197264 CPUtime=162.14
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 51519 0 0 0 16052 162 0 0 25 0 1 0 182192614 201998336 48850 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 49316 48850 136 292 0 49021 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 197264

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1551320/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=231316 CPUtime=222.12
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 60061 0 0 0 21986 226 0 0 25 0 1 0 182192614 236867584 57392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 57829 57392 136 292 0 57534 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 231316

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1453976/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=329300 CPUtime=282.11
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 84553 0 0 0 27927 284 0 0 25 0 1 0 182192614 337203200 81884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 82325 81884 136 292 0 82030 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 329300

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1360024/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=422180 CPUtime=342.09
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 107754 0 0 0 33868 341 0 0 25 0 1 0 182192614 432312320 105085 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 105545 105085 136 292 0 105250 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 422180

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1282008/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=501008 CPUtime=402.07
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 127430 0 0 0 39804 403 0 0 25 0 1 0 182192614 513032192 124761 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 125252 124761 136 292 0 124957 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 501008

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1653
/proc/meminfo: memFree=1208856/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=573436 CPUtime=462.06
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 145516 0 0 0 45757 449 0 0 25 0 1 0 182192614 587198464 142847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 143359 142847 136 292 0 143064 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 573436

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=1131608/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=651608 CPUtime=522.03
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 165090 0 0 0 51697 506 0 0 25 0 1 0 182192614 667246592 162421 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 162902 162421 136 292 0 162607 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 651608

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=1063192/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=718528 CPUtime=582.01
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 181754 0 0 0 57657 544 0 0 25 0 1 0 182192614 735772672 179085 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 179632 179085 136 292 0 179337 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 718528

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=1062872/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=718528 CPUtime=641.99
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 181820 0 0 0 63610 589 0 0 25 0 1 0 182192614 735772672 179151 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 179632 179151 136 292 0 179337 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 718528

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=1004952/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=777108 CPUtime=701.98
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 196452 0 0 0 69553 645 0 0 25 0 1 0 182192614 795758592 193783 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 194277 193783 136 292 0 193982 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 777108

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=938072/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=843408 CPUtime=761.96
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 212987 0 0 0 75513 683 0 0 25 0 1 0 182192614 863649792 210318 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 210852 210318 136 292 0 210557 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 843408

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=876248/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=905628 CPUtime=821.93
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 228502 0 0 0 81475 718 0 0 25 0 1 0 182192614 927363072 225833 1992294400 134512640 135709839 4294956240 18446744073709551615 134611812 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 226407 225833 136 292 0 226112 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 905628

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=806104/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=975324 CPUtime=881.92
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 245911 0 0 0 87430 762 0 0 25 0 1 0 182192614 998731776 243242 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 243831 243242 136 292 0 243536 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 975324

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=730328/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1051532 CPUtime=941.9
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 264952 0 0 0 93384 806 0 0 25 0 1 0 182192614 1076768768 262283 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 262883 262283 136 292 0 262588 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1051532

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=661336/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1119904 CPUtime=1001.89
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 282037 0 0 0 99347 842 0 0 25 0 1 0 182192614 1146781696 279368 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 279976 279368 136 292 0 279681 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1119904

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=597080/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1185420 CPUtime=1061.87
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 298382 0 0 0 105310 877 0 0 25 0 1 0 182192614 1213870080 295713 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 296355 295713 136 292 0 296060 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1185420

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=509848/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1271616 CPUtime=1121.85
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 319912 0 0 0 111258 927 0 0 25 0 1 0 182192614 1302134784 317243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 317904 317243 136 292 0 317609 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1271616

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=423320/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1358332 CPUtime=1181.83
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 341601 0 0 0 117205 978 0 0 25 0 1 0 182192614 1390931968 338932 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 339583 338932 136 292 0 339288 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1358332

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=360728/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1420212 CPUtime=1241.82
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 357018 0 0 0 123172 1010 0 0 25 0 1 0 182192614 1454297088 354349 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 355053 354349 136 292 0 354758 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1420212

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=284248/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1496380 CPUtime=1301.8
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 376031 0 0 0 129137 1043 0 0 25 0 1 0 182192614 1532293120 373362 1992294400 134512640 135709839 4294956240 18446744073709551615 134574051 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 374095 373362 136 292 0 373800 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1496380

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=182680/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1598460 CPUtime=1361.78
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 401548 0 0 0 135081 1097 0 0 25 0 1 0 182192614 1636823040 398879 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 399615 398879 136 292 0 399320 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1598460

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=101912/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1678604 CPUtime=1421.77
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 421568 0 0 0 141043 1134 0 0 25 0 1 0 182192614 1718890496 418899 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 419651 418899 136 292 0 419356 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1678604

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=22040/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1759040 CPUtime=1481.75
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 441670 0 0 0 147006 1169 0 0 25 0 1 0 182192614 1801256960 439001 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 439760 439001 136 292 0 439465 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1759040

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=16280/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1833224 CPUtime=1541.73
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 460181 0 0 0 152973 1200 0 0 25 0 1 0 182192614 1877221376 457512 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 458306 457512 136 292 0 458011 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1833224



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1552.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=15704/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=1843268 CPUtime=1552.13
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4194304 462683 0 0 0 154009 1204 0 0 25 0 1 0 182192614 1887506432 460014 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 460817 460014 136 292 0 460522 0
Current children cumulated CPU time (s) 1552.13
Current children cumulated vsize (KiB) 1843268

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

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

[startup+1552.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=15704/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=0 CPUtime=1552.23
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4195332 462683 0 0 0 154009 1214 0 0 25 0 1 0 182192614 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1552.23
Current children cumulated vsize (KiB) 0

[startup+1552.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1659
/proc/meminfo: memFree=15704/2055920 swapFree=4181384/4192956
[pid=1650] ppid=1648 vsize=0 CPUtime=1552.32
/proc/1650/stat : 1650 (wbo) R 1648 1650 1571 0 -1 4195332 462683 0 0 0 154009 1223 0 0 25 0 1 0 182192614 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/1650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1552.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1553
CPU time (s): 1552.43
CPU user time (s): 1540.1
CPU system time (s): 12.3371
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 1843268

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

runsolver used 1.13183 second user time and 3.41548 second system time

The end

Launcher Data 

Begin job on node49 at 2009-06-16 11:53:17
IDJOB=1875676
IDBENCH=1992
IDSOLVER=698
FILE ID=node49/1875676-1245145997
PBS_JOBID= 9363763
Free space on /tmp= 66028 MiB

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

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

MD5SUM BENCH= ff2125c4e604678d0c316c16eb28ba7d
RANDOM SEED=975611364

node49.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.232
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.232
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:       1781496 kB
Buffers:         50784 kB
Cached:         148364 kB
SwapCached:       4580 kB
Active:          25164 kB
Inactive:       182100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781496 kB
SwapTotal:     4192956 kB
SwapFree:      4181384 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          13804 kB
Slab:            52964 kB
Committed_AS:   162516 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875676-1245145997.opb

Free space on /tmp at the end= 66024 MiB
End job on node49 at 2009-06-16 12:19:12