Trace number 1875588

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) 1652.41 1652.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
MD5SUMe9984c89af246abdf2b2a4294753ea30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1049
Best CPU time to get the best result obtained on this benchmark1797.36
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1036
Optimality of the best value was proved NO
Number of variables1963
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 1963
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 1963
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 1963
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-1875588-1245143868.opb.
0.00/0.00	c Instance file HOME/instance-1875588-1245143868.opb
0.00/0.00	c File size is 112303 bytes.
0.00/0.01	c Highest Coefficient sum: 3
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1963                                                |
0.00/0.01	c |  Number Clauses:        5963                                                |
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.014997 s	Remaining CPU time: 1799.99 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.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #8
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #11
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #12
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #14
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #15
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #16
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #18
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #19
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #20
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.00/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.00/0.09	c core #21
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #22
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #23
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.00/0.10	c core #24
0.00/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #26
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #29
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.12	c Elapsed CPU time: 0.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.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #37
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #38
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.156976 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.160975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #43
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.17	c Elapsed CPU time: 0.167974 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.170974 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.174973 s	Remaining CPU time: 1799.83 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.178972 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.181972 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.185971 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.189971 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.19297 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #51
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.20	c Elapsed CPU time: 0.19697 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.200969 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.204968 s	Remaining CPU time: 1799.8 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.208968 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.212967 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.216967 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.220966 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.224965 s	Remaining CPU time: 1799.78 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.227965 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.231964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #61
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.24	c Elapsed CPU time: 0.235964 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.239963 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.243962 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.26	c core #66
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.26	c Elapsed CPU time: 0.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.28	c core #71
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.28	c Elapsed CPU time: 0.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.288956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #75
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.29	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #76
0.19/0.30	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #77
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #79
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.31	c Elapsed CPU time: 0.308953 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.312952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #81
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.32	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #82
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #84
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.33	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #85
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #86
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.34	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #87
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.34	c Elapsed CPU time: 0.338948 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.342947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #89
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #91
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.36	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #92
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #94
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.37	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #96
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.38	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #97
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #99
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.39	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #101
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 101
0.39/0.40	c Elapsed CPU time: 0.395939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #102
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 102
0.39/0.40	c Elapsed CPU time: 0.399939 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #103
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.41	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #104
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.41	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.411937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #106
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.42	c Elapsed CPU time: 0.415936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #107
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.42	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #108
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.43	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #109
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.43	c Elapsed CPU time: 0.428934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #111
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.44	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #112
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.44	c Elapsed CPU time: 0.440932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #113
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.45	c Elapsed CPU time: 0.444932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #114
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.45	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #115
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.45	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #116
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #117
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.46	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #118
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.47	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #119
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.47	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #120
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.48	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #121
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.48	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #122
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.48	c Elapsed CPU time: 0.482926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #123
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #124
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #125
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 125
0.49/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #126
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 126
0.49/0.50	c Elapsed CPU time: 0.499924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #127
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 127
0.49/0.50	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #128
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #129
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.51	c Elapsed CPU time: 0.511922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #130
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.52	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #131
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.52	c Elapsed CPU time: 0.52092 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #132
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.53	c Elapsed CPU time: 0.52492 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #133
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.53	c Elapsed CPU time: 0.528919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #134
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.53	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #135
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.54	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #136
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.54	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #137
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.55	c Elapsed CPU time: 0.545917 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #138
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.55	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #139
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.56	c Elapsed CPU time: 0.554915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #140
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.56	c Elapsed CPU time: 0.558915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #141
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #142
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.57	c Elapsed CPU time: 0.567913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #143
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.57	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #144
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.58	c Elapsed CPU time: 0.575912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #145
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #146
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.59	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #147
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #148
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.59	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #149
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 149
0.59/0.60	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #150
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 150
0.59/0.60	c Elapsed CPU time: 0.601908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #151
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 151
0.59/0.61	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #152
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.61	c Elapsed CPU time: 0.610907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #153
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.62	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #154
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.62	c Elapsed CPU time: 0.619905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #155
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.63	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #156
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #157
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #158
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.64	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #159
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.64	c Elapsed CPU time: 0.640902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #160
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.65	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #161
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #162
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.66	c Elapsed CPU time: 0.6539 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #163
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.66	c Elapsed CPU time: 0.657899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #164
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.66	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #165
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.67	c Elapsed CPU time: 0.666898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #166
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.67	c Elapsed CPU time: 0.671897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #167
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.68	c Elapsed CPU time: 0.675897 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #168
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.68	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #169
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.69	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #170
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.69	c Elapsed CPU time: 0.688895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #171
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #172
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 172
0.69/0.70	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #173
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 173
0.69/0.70	c Elapsed CPU time: 0.701893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #174
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 174
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #175
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 175
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #176
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.72	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #177
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.72	c Elapsed CPU time: 0.72089 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #178
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.73	c Elapsed CPU time: 0.724889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #179
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.73	c Elapsed CPU time: 0.729889 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #180
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.74	c Elapsed CPU time: 0.733888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #181
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.74	c Elapsed CPU time: 0.738887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #182
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #183
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #184
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.75	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #185
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.76	c Elapsed CPU time: 0.755885 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #186
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.76	c Elapsed CPU time: 0.760884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #187
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.77	c Elapsed CPU time: 0.764883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #188
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.77	c Elapsed CPU time: 0.769882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #189
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.78	c Elapsed CPU time: 0.773882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #190
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.78	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #191
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.79	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #192
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #193
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.80	c Elapsed CPU time: 0.792879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #194
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 194
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #195
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 195
0.79/0.80	c Elapsed CPU time: 0.801878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #196
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 196
0.79/0.81	c Elapsed CPU time: 0.806877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #197
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 197
0.79/0.81	c Elapsed CPU time: 0.810876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #198
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.82	c Elapsed CPU time: 0.815875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #199
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.82	c Elapsed CPU time: 0.820875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #200
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.83	c Elapsed CPU time: 0.824874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #201
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.83	c Elapsed CPU time: 0.829873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #202
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.84	c Elapsed CPU time: 0.834873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #203
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #204
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.85	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #205
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #206
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.86	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #207
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.86	c Elapsed CPU time: 0.857869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #208
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.86	c Elapsed CPU time: 0.861868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #209
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.87	c Elapsed CPU time: 0.866868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #210
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.87	c Elapsed CPU time: 0.871867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #211
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.88	c Elapsed CPU time: 0.875866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #212
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #213
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.89	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #214
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.89	c Elapsed CPU time: 0.889864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #215
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 215
0.89/0.90	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #216
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 216
0.89/0.90	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #217
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 217
0.89/0.91	c Elapsed CPU time: 0.903862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #218
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 218
0.89/0.91	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #219
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 219
0.89/0.92	c Elapsed CPU time: 0.912861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #220
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.92	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #221
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.93	c Elapsed CPU time: 0.922859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #222
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #223
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.93	c Elapsed CPU time: 0.931858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #224
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #225
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.94	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #226
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #227
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.95	c Elapsed CPU time: 0.951855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #228
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.96	c Elapsed CPU time: 0.956854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #229
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.96	c Elapsed CPU time: 0.961853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #230
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #231
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.97	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #232
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #233
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.98	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #234
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.99	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #235
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.99	c Elapsed CPU time: 0.990849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #236
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 236
0.99/1.00	c Elapsed CPU time: 0.995848 s	Remaining CPU time: 1799 s
0.99/1.00	c core #237
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 237
0.99/1.00	c Elapsed CPU time: 1.00085 s	Remaining CPU time: 1799 s
0.99/1.01	c core #238
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 238
0.99/1.01	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 1798.99 s
0.99/1.01	c core #239
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 239
0.99/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #240
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
0.99/1.02	c core #241
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.02	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #242
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
0.99/1.03	c core #243
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.03	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #244
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.04	c Elapsed CPU time: 1.03584 s	Remaining CPU time: 1798.96 s
0.99/1.04	c core #245
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.04	c Elapsed CPU time: 1.04084 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #246
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.05	c Elapsed CPU time: 1.04584 s	Remaining CPU time: 1798.95 s
0.99/1.05	c core #247
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.05	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #248
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
0.99/1.06	c core #249
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.06	c Elapsed CPU time: 1.06084 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #250
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.07	c Elapsed CPU time: 1.06584 s	Remaining CPU time: 1798.93 s
0.99/1.07	c core #251
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.07	c Elapsed CPU time: 1.07084 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #252
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.08	c Elapsed CPU time: 1.07584 s	Remaining CPU time: 1798.92 s
0.99/1.08	c core #253
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.08	c Elapsed CPU time: 1.08083 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #254
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.09	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
0.99/1.09	c core #255
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.09	c Elapsed CPU time: 1.09083 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #256
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.10	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 1798.9 s
1.09/1.10	c core #257
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 257
1.09/1.10	c Elapsed CPU time: 1.10083 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #258
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 258
1.09/1.11	c Elapsed CPU time: 1.10583 s	Remaining CPU time: 1798.89 s
1.09/1.11	c core #259
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 259
1.09/1.11	c Elapsed CPU time: 1.11083 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #260
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 260
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #261
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.12	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #262
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #263
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.13	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #264
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.14	c Elapsed CPU time: 1.13483 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #265
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.15	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #266
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.09/1.15	c core #267
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.16	c Elapsed CPU time: 1.15082 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #268
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.16	c Elapsed CPU time: 1.15582 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #269
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #270
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.17	c Elapsed CPU time: 1.16682 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #271
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.18	c Elapsed CPU time: 1.17182 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #272
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.18	c Elapsed CPU time: 1.17682 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #273
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.19	c Elapsed CPU time: 1.18182 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #274
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 274
1.09/1.19	c Elapsed CPU time: 1.18682 s	Remaining CPU time: 1798.81 s
1.09/1.20	c core #275
1.09/1.20	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.20	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #276
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 276
1.19/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #277
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 277
1.19/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #278
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 278
1.19/1.21	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #279
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 279
1.19/1.22	c Elapsed CPU time: 1.21281 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #280
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 280
1.19/1.22	c Elapsed CPU time: 1.21781 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #281
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 281
1.19/1.23	c Elapsed CPU time: 1.22281 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #282
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 282
1.19/1.24	c Elapsed CPU time: 1.22881 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #283
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 283
1.19/1.24	c Elapsed CPU time: 1.23381 s	Remaining CPU time: 1798.77 s
1.19/1.25	c core #284
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 284
1.19/1.25	c Elapsed CPU time: 1.23881 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #285
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 285
1.19/1.25	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #286
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 286
1.19/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #287
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 287
1.19/1.26	c Elapsed CPU time: 1.25481 s	Remaining CPU time: 1798.75 s
1.19/1.27	c core #288
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 288
1.19/1.27	c Elapsed CPU time: 1.25981 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #289
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 289
1.19/1.27	c Elapsed CPU time: 1.26481 s	Remaining CPU time: 1798.74 s
1.19/1.28	c core #290
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 290
1.19/1.28	c Elapsed CPU time: 1.27081 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #291
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 291
1.19/1.28	c Elapsed CPU time: 1.27581 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #292
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 292
1.19/1.29	c Elapsed CPU time: 1.28181 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #293
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 293
1.19/1.29	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #294
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 294
1.28/1.30	c Elapsed CPU time: 1.2918 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #295
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 295
1.28/1.31	c Elapsed CPU time: 1.2978 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #296
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 296
1.28/1.31	c Elapsed CPU time: 1.3028 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #297
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 297
1.28/1.32	c Elapsed CPU time: 1.3078 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #298
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 298
1.28/1.32	c Elapsed CPU time: 1.3128 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #299
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 299
1.28/1.33	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #300
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 300
1.28/1.33	c Elapsed CPU time: 1.3228 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #301
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.34	c Elapsed CPU time: 1.3288 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #302
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.34	c Elapsed CPU time: 1.3338 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #303
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.35	c Elapsed CPU time: 1.3398 s	Remaining CPU time: 1798.66 s
1.28/1.35	c core #304
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.35	c Elapsed CPU time: 1.34479 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #305
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.36	c Elapsed CPU time: 1.34979 s	Remaining CPU time: 1798.65 s
1.28/1.36	c core #306
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.36	c Elapsed CPU time: 1.35579 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #307
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.37	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #308
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.37	c Elapsed CPU time: 1.36579 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #309
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.38	c Elapsed CPU time: 1.37079 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #310
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.39	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #311
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 311
1.28/1.39	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.28/1.40	c core #312
1.28/1.40	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.40	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #313
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 313
1.38/1.40	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #314
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 314
1.38/1.41	c Elapsed CPU time: 1.39679 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #315
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 315
1.38/1.41	c Elapsed CPU time: 1.40179 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #316
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.42	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #317
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.42	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #318
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 318
1.38/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #319
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.43	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #320
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.44	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #321
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.45	c Elapsed CPU time: 1.43478 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #322
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.45	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #323
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.46	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.38/1.46	c core #324
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.46	c Elapsed CPU time: 1.45178 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #325
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.47	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.38/1.47	c core #326
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.47	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #327
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.48	c Elapsed CPU time: 1.46778 s	Remaining CPU time: 1798.53 s
1.38/1.48	c core #328
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.48	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #329
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 329
1.38/1.49	c Elapsed CPU time: 1.47877 s	Remaining CPU time: 1798.52 s
1.38/1.50	c core #330
1.38/1.50	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.50	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #331
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 331
1.48/1.50	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #332
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 332
1.48/1.51	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #333
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 333
1.48/1.51	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #334
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 334
1.48/1.52	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #335
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 335
1.48/1.52	c Elapsed CPU time: 1.51177 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #336
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 336
1.48/1.53	c Elapsed CPU time: 1.51677 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #337
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 337
1.48/1.53	c Elapsed CPU time: 1.52277 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #338
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 338
1.48/1.54	c Elapsed CPU time: 1.52777 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #339
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.55	c Elapsed CPU time: 1.53377 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #340
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 340
1.48/1.55	c Elapsed CPU time: 1.53877 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #341
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.56	c Elapsed CPU time: 1.54377 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #342
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 342
1.48/1.56	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #343
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 343
1.48/1.57	c Elapsed CPU time: 1.55476 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #344
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 344
1.48/1.57	c Elapsed CPU time: 1.56076 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #345
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 345
1.48/1.58	c Elapsed CPU time: 1.56576 s	Remaining CPU time: 1798.43 s
1.48/1.58	c core #346
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 346
1.48/1.58	c Elapsed CPU time: 1.57176 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #347
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 347
1.48/1.59	c Elapsed CPU time: 1.57776 s	Remaining CPU time: 1798.42 s
1.48/1.60	c core #348
1.48/1.60	c Core size: 3	Core Weight: 1	Total Weight: 348
1.48/1.60	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.58/1.60	c core #349
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 349
1.58/1.60	c Elapsed CPU time: 1.58776 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #350
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 350
1.58/1.61	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #351
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 351
1.58/1.61	c Elapsed CPU time: 1.59976 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #352
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 352
1.58/1.62	c Elapsed CPU time: 1.60476 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #353
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 353
1.58/1.62	c Elapsed CPU time: 1.60976 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #354
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 354
1.58/1.63	c Elapsed CPU time: 1.61575 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #355
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 355
1.58/1.64	c Elapsed CPU time: 1.62075 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #356
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 356
1.58/1.64	c Elapsed CPU time: 1.62675 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #357
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 357
1.58/1.65	c Elapsed CPU time: 1.63275 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #358
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 358
1.58/1.65	c Elapsed CPU time: 1.63875 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #359
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 359
1.58/1.66	c Elapsed CPU time: 1.64375 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #360
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.66	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #361
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 361
1.58/1.67	c Elapsed CPU time: 1.65575 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #362
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 362
1.58/1.68	c Elapsed CPU time: 1.66175 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #363
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 363
1.58/1.68	c Elapsed CPU time: 1.66775 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #364
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.69	c Elapsed CPU time: 1.67375 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #365
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 365
1.58/1.69	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 1798.32 s
1.68/1.70	c core #366
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 366
1.68/1.70	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.68/1.71	c core #367
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 367
1.68/1.71	c Elapsed CPU time: 1.68874 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #368
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 368
1.68/1.71	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #369
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 369
1.68/1.72	c Elapsed CPU time: 1.70074 s	Remaining CPU time: 1798.3 s
1.68/1.72	c core #370
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 370
1.68/1.72	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 1798.29 s
1.68/1.73	c core #371
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 371
1.68/1.73	c Elapsed CPU time: 1.71174 s	Remaining CPU time: 1798.29 s
1.68/1.73	c core #372
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 372
1.68/1.73	c Elapsed CPU time: 1.71774 s	Remaining CPU time: 1798.28 s
1.68/1.74	c core #373
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 373
1.68/1.74	c Elapsed CPU time: 1.72374 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #374
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 374
1.68/1.75	c Elapsed CPU time: 1.72974 s	Remaining CPU time: 1798.27 s
1.68/1.75	c core #375
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 375
1.68/1.75	c Elapsed CPU time: 1.73574 s	Remaining CPU time: 1798.26 s
1.68/1.76	c core #376
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 376
1.68/1.76	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.68/1.76	c core #377
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 377
1.68/1.76	c Elapsed CPU time: 1.74773 s	Remaining CPU time: 1798.25 s
1.68/1.77	c core #378
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 378
1.68/1.77	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #379
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.78	c Elapsed CPU time: 1.75873 s	Remaining CPU time: 1798.24 s
1.68/1.78	c core #380
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 380
1.68/1.78	c Elapsed CPU time: 1.76473 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #381
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.79	c Elapsed CPU time: 1.77073 s	Remaining CPU time: 1798.23 s
1.68/1.79	c core #382
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 382
1.68/1.79	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.77/1.80	c core #383
1.77/1.80	c Core size: 3	Core Weight: 1	Total Weight: 383
1.77/1.80	c Elapsed CPU time: 1.78173 s	Remaining CPU time: 1798.22 s
1.77/1.81	c core #384
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 384
1.77/1.81	c Elapsed CPU time: 1.78773 s	Remaining CPU time: 1798.21 s
1.77/1.81	c core #385
1.77/1.81	c Core size: 3	Core Weight: 1	Total Weight: 385
1.77/1.81	c Elapsed CPU time: 1.79373 s	Remaining CPU time: 1798.21 s
1.77/1.82	c core #386
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 386
1.77/1.82	c Elapsed CPU time: 1.79973 s	Remaining CPU time: 1798.2 s
1.77/1.82	c core #387
1.77/1.82	c Core size: 3	Core Weight: 1	Total Weight: 387
1.77/1.82	c Elapsed CPU time: 1.80573 s	Remaining CPU time: 1798.19 s
1.77/1.83	c core #388
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 388
1.77/1.83	c Elapsed CPU time: 1.81172 s	Remaining CPU time: 1798.19 s
1.77/1.83	c core #389
1.77/1.83	c Core size: 3	Core Weight: 1	Total Weight: 389
1.77/1.84	c Elapsed CPU time: 1.81672 s	Remaining CPU time: 1798.18 s
1.77/1.84	c core #390
1.77/1.84	c Core size: 3	Core Weight: 1	Total Weight: 390
1.77/1.84	c Elapsed CPU time: 1.82172 s	Remaining CPU time: 1798.18 s
1.77/1.85	c core #391
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 391
1.77/1.85	c Elapsed CPU time: 1.82672 s	Remaining CPU time: 1798.17 s
1.77/1.85	c core #392
1.77/1.85	c Core size: 3	Core Weight: 1	Total Weight: 392
1.77/1.85	c Elapsed CPU time: 1.83172 s	Remaining CPU time: 1798.17 s
1.77/1.86	c core #393
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 393
1.77/1.86	c Elapsed CPU time: 1.83772 s	Remaining CPU time: 1798.16 s
1.77/1.86	c core #394
1.77/1.86	c Core size: 3	Core Weight: 1	Total Weight: 394
1.77/1.86	c Elapsed CPU time: 1.84272 s	Remaining CPU time: 1798.16 s
1.77/1.87	c core #395
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 395
1.77/1.87	c Elapsed CPU time: 1.84872 s	Remaining CPU time: 1798.15 s
1.77/1.87	c core #396
1.77/1.87	c Core size: 3	Core Weight: 1	Total Weight: 396
1.77/1.87	c Elapsed CPU time: 1.85372 s	Remaining CPU time: 1798.15 s
1.77/1.88	c core #397
1.77/1.88	c Core size: 3	Core Weight: 1	Total Weight: 397
1.77/1.88	c Elapsed CPU time: 1.85872 s	Remaining CPU time: 1798.14 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.86372 s	Remaining CPU time: 1798.14 s
1.77/1.89	c core #399
1.77/1.89	c Core size: 3	Core Weight: 1	Total Weight: 399
1.77/1.89	c Elapsed CPU time: 1.86871 s	Remaining CPU time: 1798.13 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.87372 s	Remaining CPU time: 1798.13 s
1.87/1.90	c core #401
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 401
1.87/1.90	c Elapsed CPU time: 1.87971 s	Remaining CPU time: 1798.12 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.88471 s	Remaining CPU time: 1798.12 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.88971 s	Remaining CPU time: 1798.11 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.89471 s	Remaining CPU time: 1798.11 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.90071 s	Remaining CPU time: 1798.1 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.90571 s	Remaining CPU time: 1798.09 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.91071 s	Remaining CPU time: 1798.09 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.91571 s	Remaining CPU time: 1798.08 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.92171 s	Remaining CPU time: 1798.08 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.92671 s	Remaining CPU time: 1798.07 s
1.87/1.95	c core #411
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 411
1.87/1.95	c Elapsed CPU time: 1.93171 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.93771 s	Remaining CPU time: 1798.06 s
1.87/1.96	c core #413
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 413
1.87/1.96	c Elapsed CPU time: 1.9427 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.9477 s	Remaining CPU time: 1798.05 s
1.87/1.97	c core #415
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 415
1.87/1.97	c Elapsed CPU time: 1.9527 s	Remaining CPU time: 1798.05 s
1.87/1.98	c core #416
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 416
1.87/1.98	c Elapsed CPU time: 1.9587 s	Remaining CPU time: 1798.04 s
1.87/1.98	c core #417
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 417
1.87/1.98	c Elapsed CPU time: 1.9637 s	Remaining CPU time: 1798.04 s
1.87/1.99	c core #418
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 418
1.87/1.99	c Elapsed CPU time: 1.9697 s	Remaining CPU time: 1798.03 s
1.87/1.99	c core #419
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 419
1.87/1.99	c Elapsed CPU time: 1.9747 s	Remaining CPU time: 1798.03 s
1.97/2.00	c core #420
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 420
1.97/2.00	c Elapsed CPU time: 1.9797 s	Remaining CPU time: 1798.02 s
1.97/2.01	c core #421
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 421
1.97/2.01	c Elapsed CPU time: 1.9857 s	Remaining CPU time: 1798.01 s
1.97/2.01	c core #422
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 422
1.97/2.01	c Elapsed CPU time: 1.9897 s	Remaining CPU time: 1798.01 s
1.97/2.02	c core #423
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 423
1.97/2.02	c Elapsed CPU time: 1.9957 s	Remaining CPU time: 1798 s
1.97/2.02	c core #424
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 424
1.97/2.02	c Elapsed CPU time: 2.00169 s	Remaining CPU time: 1798 s
1.97/2.03	c core #425
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 425
1.97/2.03	c Elapsed CPU time: 2.00669 s	Remaining CPU time: 1797.99 s
1.97/2.03	c core #426
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 426
1.97/2.03	c Elapsed CPU time: 2.01269 s	Remaining CPU time: 1797.99 s
1.97/2.04	c core #427
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 427
1.97/2.04	c Elapsed CPU time: 2.01769 s	Remaining CPU time: 1797.98 s
1.97/2.04	c core #428
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 428
1.97/2.04	c Elapsed CPU time: 2.02369 s	Remaining CPU time: 1797.98 s
1.97/2.05	c core #429
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 429
1.97/2.05	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
1.97/2.05	c core #430
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 430
1.97/2.05	c Elapsed CPU time: 2.03369 s	Remaining CPU time: 1797.97 s
1.97/2.06	c core #431
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 431
1.97/2.06	c Elapsed CPU time: 2.03969 s	Remaining CPU time: 1797.96 s
1.97/2.07	c core #432
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 432
1.97/2.07	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.97/2.07	c core #433
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 433
1.97/2.07	c Elapsed CPU time: 2.04969 s	Remaining CPU time: 1797.95 s
1.97/2.08	c core #434
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 434
1.97/2.08	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 1797.94 s
1.97/2.08	c core #435
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 435
1.97/2.08	c Elapsed CPU time: 2.06069 s	Remaining CPU time: 1797.94 s
1.97/2.09	c core #436
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 436
1.97/2.09	c Elapsed CPU time: 2.06669 s	Remaining CPU time: 1797.93 s
1.97/2.09	c core #437
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 437
1.97/2.09	c Elapsed CPU time: 2.07168 s	Remaining CPU time: 1797.93 s
2.08/2.10	c core #438
2.08/2.10	c Core size: 3	Core Weight: 1	Total Weight: 438
2.08/2.10	c Elapsed CPU time: 2.07768 s	Remaining CPU time: 1797.92 s
2.08/2.10	c core #439
2.08/2.10	c Core size: 3	Core Weight: 1	Total Weight: 439
2.08/2.10	c Elapsed CPU time: 2.08268 s	Remaining CPU time: 1797.92 s
2.08/2.11	c core #440
2.08/2.11	c Core size: 3	Core Weight: 1	Total Weight: 440
2.08/2.11	c Elapsed CPU time: 2.08868 s	Remaining CPU time: 1797.91 s
2.08/2.11	c core #441
2.08/2.11	c Core size: 3	Core Weight: 1	Total Weight: 441
2.08/2.11	c Elapsed CPU time: 2.09368 s	Remaining CPU time: 1797.91 s
2.08/2.12	c core #442
2.08/2.12	c Core size: 3	Core Weight: 1	Total Weight: 442
2.08/2.12	c Elapsed CPU time: 2.09968 s	Remaining CPU time: 1797.9 s
2.08/2.13	c core #443
2.08/2.13	c Core size: 3	Core Weight: 1	Total Weight: 443
2.08/2.13	c Elapsed CPU time: 2.10468 s	Remaining CPU time: 1797.9 s
2.08/2.13	c core #444
2.08/2.13	c Core size: 3	Core Weight: 1	Total Weight: 444
2.08/2.13	c Elapsed CPU time: 2.11068 s	Remaining CPU time: 1797.89 s
2.08/2.14	c core #445
2.08/2.14	c Core size: 3	Core Weight: 1	Total Weight: 445
2.08/2.14	c Elapsed CPU time: 2.11668 s	Remaining CPU time: 1797.88 s
2.08/2.14	c core #446
2.08/2.14	c Core size: 3	Core Weight: 1	Total Weight: 446
2.08/2.14	c Elapsed CPU time: 2.12168 s	Remaining CPU time: 1797.88 s
2.08/2.15	c core #447
2.08/2.15	c Core size: 3	Core Weight: 1	Total Weight: 447
2.08/2.15	c Elapsed CPU time: 2.12768 s	Remaining CPU time: 1797.87 s
2.08/2.15	c core #448
2.08/2.15	c Core size: 3	Core Weight: 1	Total Weight: 448
2.08/2.15	c Elapsed CPU time: 2.13267 s	Remaining CPU time: 1797.87 s
2.08/2.16	c core #449
2.08/2.16	c Core size: 3	Core Weight: 1	Total Weight: 449
2.08/2.16	c Elapsed CPU time: 2.13867 s	Remaining CPU time: 1797.86 s
2.08/2.16	c core #450
2.08/2.16	c Core size: 3	Core Weight: 1	Total Weight: 450
2.08/2.16	c Elapsed CPU time: 2.14367 s	Remaining CPU time: 1797.86 s
2.08/2.17	c core #451
2.08/2.17	c Core size: 3	Core Weight: 1	Total Weight: 451
2.08/2.17	c Elapsed CPU time: 2.14967 s	Remaining CPU time: 1797.85 s
2.08/2.18	c core #452
2.08/2.18	c Core size: 3	Core Weight: 1	Total Weight: 452
2.08/2.18	c Elapsed CPU time: 2.15467 s	Remaining CPU time: 1797.85 s
2.08/2.18	c core #453
2.08/2.18	c Core size: 3	Core Weight: 1	Total Weight: 453
2.08/2.18	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 1797.84 s
2.08/2.19	c core #454
2.08/2.19	c Core size: 3	Core Weight: 1	Total Weight: 454
2.08/2.19	c Elapsed CPU time: 2.16567 s	Remaining CPU time: 1797.83 s
2.08/2.19	c core #455
2.08/2.19	c Core size: 3	Core Weight: 1	Total Weight: 455
2.08/2.19	c Elapsed CPU time: 2.17167 s	Remaining CPU time: 1797.83 s
2.08/2.20	c core #456
2.08/2.20	c Core size: 3	Core Weight: 1	Total Weight: 456
2.08/2.20	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 1797.82 s
2.18/2.21	c core #457
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 457
2.18/2.21	c Elapsed CPU time: 2.18367 s	Remaining CPU time: 1797.82 s
2.18/2.21	c core #458
2.18/2.21	c Core size: 3	Core Weight: 1	Total Weight: 458
2.18/2.21	c Elapsed CPU time: 2.18967 s	Remaining CPU time: 1797.81 s
2.18/2.22	c core #459
2.18/2.22	c Core size: 3	Core Weight: 1	Total Weight: 459
2.18/2.22	c Elapsed CPU time: 2.19667 s	Remaining CPU time: 1797.8 s
2.18/2.23	c core #460
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 460
2.18/2.23	c Elapsed CPU time: 2.20267 s	Remaining CPU time: 1797.8 s
2.18/2.23	c core #461
2.18/2.23	c Core size: 3	Core Weight: 1	Total Weight: 461
2.18/2.23	c Elapsed CPU time: 2.20866 s	Remaining CPU time: 1797.79 s
2.18/2.24	c core #462
2.18/2.24	c Core size: 3	Core Weight: 1	Total Weight: 462
2.18/2.24	c Elapsed CPU time: 2.21466 s	Remaining CPU time: 1797.79 s
2.18/2.24	c core #463
2.18/2.24	c Core size: 3	Core Weight: 1	Total Weight: 463
2.18/2.24	c Elapsed CPU time: 2.21966 s	Remaining CPU time: 1797.78 s
2.18/2.25	c core #464
2.18/2.25	c Core size: 3	Core Weight: 1	Total Weight: 464
2.18/2.25	c Elapsed CPU time: 2.22566 s	Remaining CPU time: 1797.77 s
2.18/2.26	c core #465
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 465
2.18/2.26	c Elapsed CPU time: 2.23166 s	Remaining CPU time: 1797.77 s
2.18/2.26	c core #466
2.18/2.26	c Core size: 3	Core Weight: 1	Total Weight: 466
2.18/2.26	c Elapsed CPU time: 2.23766 s	Remaining CPU time: 1797.76 s
2.18/2.27	c core #467
2.18/2.27	c Core size: 3	Core Weight: 1	Total Weight: 467
2.18/2.27	c Elapsed CPU time: 2.24366 s	Remaining CPU time: 1797.76 s
2.18/2.27	c core #468
2.18/2.27	c Core size: 3	Core Weight: 1	Total Weight: 468
2.18/2.27	c Elapsed CPU time: 2.24866 s	Remaining CPU time: 1797.75 s
2.18/2.28	c core #469
2.18/2.28	c Core size: 3	Core Weight: 1	Total Weight: 469
2.18/2.28	c Elapsed CPU time: 2.25466 s	Remaining CPU time: 1797.75 s
2.18/2.29	c core #470
2.18/2.29	c Core size: 3	Core Weight: 1	Total Weight: 470
2.18/2.29	c Elapsed CPU time: 2.26166 s	Remaining CPU time: 1797.74 s
2.18/2.29	c core #471
2.18/2.29	c Core size: 3	Core Weight: 1	Total Weight: 471
2.18/2.29	c Elapsed CPU time: 2.26765 s	Remaining CPU time: 1797.73 s
2.18/2.30	c core #472
2.18/2.30	c Core size: 3	Core Weight: 1	Total Weight: 472
2.18/2.30	c Elapsed CPU time: 2.27365 s	Remaining CPU time: 1797.73 s
2.28/2.31	c core #473
2.28/2.31	c Core size: 3	Core Weight: 1	Total Weight: 473
2.28/2.31	c Elapsed CPU time: 2.27965 s	Remaining CPU time: 1797.72 s
2.28/2.31	c core #474
2.28/2.31	c Core size: 3	Core Weight: 1	Total Weight: 474
2.28/2.31	c Elapsed CPU time: 2.28665 s	Remaining CPU time: 1797.71 s
2.28/2.32	c core #475
2.28/2.32	c Core size: 3	Core Weight: 1	Total Weight: 475
2.28/2.32	c Elapsed CPU time: 2.29265 s	Remaining CPU time: 1797.71 s
2.28/2.32	c core #476
2.28/2.32	c Core size: 3	Core Weight: 1	Total Weight: 476
2.28/2.32	c Elapsed CPU time: 2.29865 s	Remaining CPU time: 1797.7 s
2.28/2.33	c core #477
2.28/2.33	c Core size: 3	Core Weight: 1	Total Weight: 477
2.28/2.33	c Elapsed CPU time: 2.30465 s	Remaining CPU time: 1797.7 s
2.28/2.34	c core #478
2.28/2.34	c Core size: 3	Core Weight: 1	Total Weight: 478
2.28/2.34	c Elapsed CPU time: 2.31065 s	Remaining CPU time: 1797.69 s
2.28/2.34	c core #479
2.28/2.34	c Core size: 3	Core Weight: 1	Total Weight: 479
2.28/2.34	c Elapsed CPU time: 2.31665 s	Remaining CPU time: 1797.68 s
2.28/2.35	c core #480
2.28/2.35	c Core size: 3	Core Weight: 1	Total Weight: 480
2.28/2.35	c Elapsed CPU time: 2.32265 s	Remaining CPU time: 1797.68 s
2.28/2.36	c core #481
2.28/2.36	c Core size: 3	Core Weight: 1	Total Weight: 481
2.28/2.36	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 1797.67 s
2.28/2.36	c core #482
2.28/2.36	c Core size: 3	Core Weight: 1	Total Weight: 482
2.28/2.36	c Elapsed CPU time: 2.33465 s	Remaining CPU time: 1797.67 s
2.28/2.37	c core #483
2.28/2.37	c Core size: 3	Core Weight: 1	Total Weight: 483
2.28/2.37	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.28/2.37	c core #484
2.28/2.37	c Core size: 3	Core Weight: 1	Total Weight: 484
2.28/2.37	c Elapsed CPU time: 2.34664 s	Remaining CPU time: 1797.65 s
2.28/2.38	c core #485
2.28/2.38	c Core size: 3	Core Weight: 1	Total Weight: 485
2.28/2.38	c Elapsed CPU time: 2.35264 s	Remaining CPU time: 1797.65 s
2.28/2.39	c core #486
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 486
2.28/2.39	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 1797.64 s
2.28/2.39	c core #487
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 487
2.28/2.39	c Elapsed CPU time: 2.36564 s	Remaining CPU time: 1797.63 s
2.37/2.40	c core #488
2.37/2.40	c Core size: 3	Core Weight: 1	Total Weight: 488
2.37/2.40	c Elapsed CPU time: 2.37164 s	Remaining CPU time: 1797.63 s
2.37/2.41	c core #489
2.37/2.41	c Core size: 3	Core Weight: 1	Total Weight: 489
2.37/2.41	c Elapsed CPU time: 2.37864 s	Remaining CPU time: 1797.62 s
2.37/2.41	c core #490
2.37/2.41	c Core size: 3	Core Weight: 1	Total Weight: 490
2.37/2.41	c Elapsed CPU time: 2.38464 s	Remaining CPU time: 1797.62 s
2.37/2.42	c core #491
2.37/2.42	c Core size: 3	Core Weight: 1	Total Weight: 491
2.37/2.42	c Elapsed CPU time: 2.39064 s	Remaining CPU time: 1797.61 s
2.37/2.43	c core #492
2.37/2.43	c Core size: 3	Core Weight: 1	Total Weight: 492
2.37/2.43	c Elapsed CPU time: 2.39764 s	Remaining CPU time: 1797.6 s
2.37/2.43	c core #493
2.37/2.43	c Core size: 3	Core Weight: 1	Total Weight: 493
2.37/2.43	c Elapsed CPU time: 2.40363 s	Remaining CPU time: 1797.6 s
2.37/2.44	c core #494
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 494
2.37/2.44	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 1797.59 s
2.37/2.44	c core #495
2.37/2.44	c Core size: 3	Core Weight: 1	Total Weight: 495
2.37/2.44	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 1797.58 s
2.37/2.45	c core #496
2.37/2.45	c Core size: 3	Core Weight: 1	Total Weight: 496
2.37/2.45	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 1797.58 s
2.37/2.46	c core #497
2.37/2.46	c Core size: 3	Core Weight: 1	Total Weight: 497
2.37/2.46	c Elapsed CPU time: 2.42863 s	Remaining CPU time: 1797.57 s
2.37/2.46	c core #498
2.37/2.46	c Core size: 3	Core Weight: 1	Total Weight: 498
2.37/2.46	c Elapsed CPU time: 2.43463 s	Remaining CPU time: 1797.57 s
2.37/2.47	c core #499
2.37/2.47	c Core size: 3	Core Weight: 1	Total Weight: 499
2.37/2.47	c Elapsed CPU time: 2.44063 s	Remaining CPU time: 1797.56 s
2.37/2.48	c core #500
2.37/2.48	c Core size: 3	Core Weight: 1	Total Weight: 500
2.37/2.48	c Elapsed CPU time: 2.44763 s	Remaining CPU time: 1797.55 s
2.37/2.48	c core #501
2.37/2.48	c Core size: 3	Core Weight: 1	Total Weight: 501
2.37/2.48	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 1797.55 s
2.37/2.49	c core #502
2.37/2.49	c Core size: 3	Core Weight: 1	Total Weight: 502
2.37/2.49	c Elapsed CPU time: 2.45963 s	Remaining CPU time: 1797.54 s
2.37/2.50	c core #503
2.37/2.50	c Core size: 3	Core Weight: 1	Total Weight: 503
2.37/2.50	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.47/2.50	c core #504
2.47/2.50	c Core size: 3	Core Weight: 1	Total Weight: 504
2.47/2.50	c Elapsed CPU time: 2.47362 s	Remaining CPU time: 1797.53 s
2.47/2.51	c core #505
2.47/2.51	c Core size: 3	Core Weight: 1	Total Weight: 505
2.47/2.51	c Elapsed CPU time: 2.47962 s	Remaining CPU time: 1797.52 s
2.47/2.52	c core #506
2.47/2.52	c Core size: 3	Core Weight: 1	Total Weight: 506
2.47/2.52	c Elapsed CPU time: 2.48662 s	Remaining CPU time: 1797.51 s
2.47/2.52	c core #507
2.47/2.52	c Core size: 3	Core Weight: 1	Total Weight: 507
2.47/2.52	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 1797.51 s
2.47/2.53	c core #508
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 508
2.47/2.53	c Elapsed CPU time: 2.49962 s	Remaining CPU time: 1797.5 s
2.47/2.53	c core #509
2.47/2.53	c Core size: 3	Core Weight: 1	Total Weight: 509
2.47/2.53	c Elapsed CPU time: 2.50562 s	Remaining CPU time: 1797.49 s
2.47/2.54	c core #510
2.47/2.54	c Core size: 3	Core Weight: 1	Total Weight: 510
2.47/2.54	c Elapsed CPU time: 2.51162 s	Remaining CPU time: 1797.49 s
2.47/2.55	c core #511
2.47/2.55	c Core size: 3	Core Weight: 1	Total Weight: 511
2.47/2.55	c Elapsed CPU time: 2.51862 s	Remaining CPU time: 1797.48 s
2.47/2.55	c core #512
2.47/2.55	c Core size: 3	Core Weight: 1	Total Weight: 512
2.47/2.55	c Elapsed CPU time: 2.52462 s	Remaining CPU time: 1797.48 s
2.47/2.56	c core #513
2.47/2.56	c Core size: 3	Core Weight: 1	Total Weight: 513
2.47/2.56	c Elapsed CPU time: 2.53161 s	Remaining CPU time: 1797.47 s
2.47/2.57	c core #514
2.47/2.57	c Core size: 3	Core Weight: 1	Total Weight: 514
2.47/2.57	c Elapsed CPU time: 2.53761 s	Remaining CPU time: 1797.46 s
2.47/2.57	c core #515
2.47/2.57	c Core size: 3	Core Weight: 1	Total Weight: 515
2.47/2.57	c Elapsed CPU time: 2.54361 s	Remaining CPU time: 1797.46 s
2.47/2.58	c core #516
2.47/2.58	c Core size: 3	Core Weight: 1	Total Weight: 516
2.47/2.58	c Elapsed CPU time: 2.55061 s	Remaining CPU time: 1797.45 s
2.47/2.59	c core #517
2.47/2.59	c Core size: 3	Core Weight: 1	Total Weight: 517
2.47/2.59	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 1797.44 s
2.47/2.59	c core #518
2.47/2.59	c Core size: 3	Core Weight: 1	Total Weight: 518
2.47/2.59	c Elapsed CPU time: 2.56361 s	Remaining CPU time: 1797.44 s
2.57/2.60	c core #519
2.57/2.60	c Core size: 3	Core Weight: 1	Total Weight: 519
2.57/2.60	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 1797.43 s
2.57/2.61	c core #520
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 520
2.57/2.61	c Elapsed CPU time: 2.57661 s	Remaining CPU time: 1797.42 s
2.57/2.61	c core #521
2.57/2.61	c Core size: 3	Core Weight: 1	Total Weight: 521
2.57/2.61	c Elapsed CPU time: 2.58361 s	Remaining CPU time: 1797.42 s
2.57/2.62	c core #522
2.57/2.62	c Core size: 3	Core Weight: 1	Total Weight: 522
2.57/2.62	c Elapsed CPU time: 2.58961 s	Remaining CPU time: 1797.41 s
2.57/2.63	c core #523
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 523
2.57/2.63	c Elapsed CPU time: 2.5956 s	Remaining CPU time: 1797.4 s
2.57/2.63	c core #524
2.57/2.63	c Core size: 3	Core Weight: 1	Total Weight: 524
2.57/2.63	c Elapsed CPU time: 2.6016 s	Remaining CPU time: 1797.4 s
2.57/2.64	c core #525
2.57/2.64	c Core size: 3	Core Weight: 1	Total Weight: 525
2.57/2.64	c Elapsed CPU time: 2.6076 s	Remaining CPU time: 1797.39 s
2.57/2.65	c core #526
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 526
2.57/2.65	c Elapsed CPU time: 2.6136 s	Remaining CPU time: 1797.39 s
2.57/2.65	c core #527
2.57/2.65	c Core size: 3	Core Weight: 1	Total Weight: 527
2.57/2.65	c Elapsed CPU time: 2.6206 s	Remaining CPU time: 1797.38 s
2.57/2.66	c core #528
2.57/2.66	c Core size: 3	Core Weight: 1	Total Weight: 528
2.57/2.66	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 1797.37 s
2.57/2.67	c core #529
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 529
2.57/2.67	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 1797.37 s
2.57/2.67	c core #530
2.57/2.67	c Core size: 3	Core Weight: 1	Total Weight: 530
2.57/2.67	c Elapsed CPU time: 2.6396 s	Remaining CPU time: 1797.36 s
2.57/2.68	c core #531
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 531
2.57/2.68	c Elapsed CPU time: 2.6466 s	Remaining CPU time: 1797.35 s
2.57/2.68	c core #532
2.57/2.68	c Core size: 3	Core Weight: 1	Total Weight: 532
2.57/2.68	c Elapsed CPU time: 2.6526 s	Remaining CPU time: 1797.35 s
2.57/2.69	c core #533
2.57/2.69	c Core size: 3	Core Weight: 1	Total Weight: 533
2.57/2.69	c Elapsed CPU time: 2.65959 s	Remaining CPU time: 1797.34 s
2.67/2.70	c core #534
2.67/2.70	c Core size: 3	Core Weight: 1	Total Weight: 534
2.67/2.70	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 1797.33 s
2.67/2.70	c core #535
2.67/2.70	c Core size: 3	Core Weight: 1	Total Weight: 535
2.67/2.70	c Elapsed CPU time: 2.67159 s	Remaining CPU time: 1797.33 s
2.67/2.71	c core #536
2.67/2.71	c Core size: 3	Core Weight: 1	Total Weight: 536
2.67/2.71	c Elapsed CPU time: 2.67859 s	Remaining CPU time: 1797.32 s
2.67/2.72	c core #537
2.67/2.72	c Core size: 3	Core Weight: 1	Total Weight: 537
2.67/2.72	c Elapsed CPU time: 2.68559 s	Remaining CPU time: 1797.31 s
2.67/2.72	c core #538
2.67/2.72	c Core size: 3	Core Weight: 1	Total Weight: 538
2.67/2.72	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 1797.31 s
2.67/2.73	c core #539
2.67/2.73	c Core size: 3	Core Weight: 1	Total Weight: 539
2.67/2.73	c Elapsed CPU time: 2.69859 s	Remaining CPU time: 1797.3 s
2.67/2.74	c core #540
2.67/2.74	c Core size: 3	Core Weight: 1	Total Weight: 540
2.67/2.74	c Elapsed CPU time: 2.70559 s	Remaining CPU time: 1797.29 s
2.67/2.74	c core #541
2.67/2.74	c Core size: 3	Core Weight: 1	Total Weight: 541
2.67/2.75	c Elapsed CPU time: 2.71159 s	Remaining CPU time: 1797.29 s
2.67/2.75	c core #542
2.67/2.75	c Core size: 3	Core Weight: 1	Total Weight: 542
2.67/2.75	c Elapsed CPU time: 2.71859 s	Remaining CPU time: 1797.28 s
2.67/2.76	c core #543
2.67/2.76	c Core size: 3	Core Weight: 1	Total Weight: 543
2.67/2.76	c Elapsed CPU time: 2.72559 s	Remaining CPU time: 1797.27 s
2.67/2.76	c core #544
2.67/2.76	c Core size: 3	Core Weight: 1	Total Weight: 544
2.67/2.76	c Elapsed CPU time: 2.73158 s	Remaining CPU time: 1797.27 s
2.67/2.77	c core #545
2.67/2.77	c Core size: 3	Core Weight: 1	Total Weight: 545
2.67/2.77	c Elapsed CPU time: 2.73858 s	Remaining CPU time: 1797.26 s
2.67/2.78	c core #546
2.67/2.78	c Core size: 3	Core Weight: 1	Total Weight: 546
2.67/2.78	c Elapsed CPU time: 2.74558 s	Remaining CPU time: 1797.25 s
2.67/2.78	c core #547
2.67/2.78	c Core size: 3	Core Weight: 1	Total Weight: 547
2.67/2.78	c Elapsed CPU time: 2.75158 s	Remaining CPU time: 1797.25 s
2.67/2.79	c core #548
2.67/2.79	c Core size: 3	Core Weight: 1	Total Weight: 548
2.67/2.79	c Elapsed CPU time: 2.75858 s	Remaining CPU time: 1797.24 s
2.77/2.80	c core #549
2.77/2.80	c Core size: 3	Core Weight: 1	Total Weight: 549
2.77/2.80	c Elapsed CPU time: 2.76558 s	Remaining CPU time: 1797.23 s
2.77/2.81	c core #550
2.77/2.81	c Core size: 3	Core Weight: 1	Total Weight: 550
2.77/2.81	c Elapsed CPU time: 2.77258 s	Remaining CPU time: 1797.23 s
2.77/2.81	c core #551
2.77/2.81	c Core size: 3	Core Weight: 1	Total Weight: 551
2.77/2.81	c Elapsed CPU time: 2.77858 s	Remaining CPU time: 1797.22 s
2.77/2.82	c core #552
2.77/2.82	c Core size: 3	Core Weight: 1	Total Weight: 552
2.77/2.82	c Elapsed CPU time: 2.78558 s	Remaining CPU time: 1797.21 s
2.77/2.83	c core #553
2.77/2.83	c Core size: 3	Core Weight: 1	Total Weight: 553
2.77/2.83	c Elapsed CPU time: 2.79157 s	Remaining CPU time: 1797.21 s
2.77/2.83	c core #554
2.77/2.83	c Core size: 3	Core Weight: 1	Total Weight: 554
2.77/2.83	c Elapsed CPU time: 2.79757 s	Remaining CPU time: 1797.2 s
2.77/2.84	c core #555
2.77/2.84	c Core size: 3	Core Weight: 1	Total Weight: 555
2.77/2.84	c Elapsed CPU time: 2.80457 s	Remaining CPU time: 1797.2 s
2.77/2.85	c core #556
2.77/2.85	c Core size: 3	Core Weight: 1	Total Weight: 556
2.77/2.85	c Elapsed CPU time: 2.81057 s	Remaining CPU time: 1797.19 s
2.77/2.85	c core #557
2.77/2.85	c Core size: 3	Core Weight: 1	Total Weight: 557
2.77/2.85	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 1797.18 s
2.77/2.86	c core #558
2.77/2.86	c Core size: 3	Core Weight: 1	Total Weight: 558
2.77/2.86	c Elapsed CPU time: 2.82357 s	Remaining CPU time: 1797.18 s
2.77/2.87	c core #559
2.77/2.87	c Core size: 3	Core Weight: 1	Total Weight: 559
2.77/2.87	c Elapsed CPU time: 2.82957 s	Remaining CPU time: 1797.17 s
2.77/2.87	c core #560
2.77/2.87	c Core size: 3	Core Weight: 1	Total Weight: 560
2.77/2.87	c Elapsed CPU time: 2.83557 s	Remaining CPU time: 1797.16 s
2.77/2.88	c core #561
2.77/2.88	c Core size: 3	Core Weight: 1	Total Weight: 561
2.77/2.88	c Elapsed CPU time: 2.84257 s	Remaining CPU time: 1797.16 s
2.77/2.89	c core #562
2.77/2.89	c Core size: 3	Core Weight: 1	Total Weight: 562
2.77/2.89	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 1797.15 s
2.77/2.89	c core #563
2.77/2.89	c Core size: 3	Core Weight: 1	Total Weight: 563
2.77/2.89	c Elapsed CPU time: 2.85457 s	Remaining CPU time: 1797.15 s
2.86/2.90	c core #564
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.90	c Elapsed CPU time: 2.86156 s	Remaining CPU time: 1797.14 s
2.86/2.91	c core #565
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.91	c Elapsed CPU time: 2.86756 s	Remaining CPU time: 1797.13 s
2.86/2.91	c core #566
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.91	c Elapsed CPU time: 2.87356 s	Remaining CPU time: 1797.13 s
2.86/2.92	c core #567
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.92	c Elapsed CPU time: 2.88056 s	Remaining CPU time: 1797.12 s
2.86/2.93	c core #568
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.93	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 1797.11 s
2.86/2.93	c core #569
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.93	c Elapsed CPU time: 2.89456 s	Remaining CPU time: 1797.11 s
2.86/2.94	c core #570
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.94	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.86/2.95	c core #571
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 571
2.86/2.95	c Elapsed CPU time: 2.90756 s	Remaining CPU time: 1797.09 s
2.86/2.95	c core #572
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 572
2.86/2.95	c Elapsed CPU time: 2.91456 s	Remaining CPU time: 1797.09 s
2.86/2.96	c core #573
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 573
2.86/2.96	c Elapsed CPU time: 2.92156 s	Remaining CPU time: 1797.08 s
2.86/2.97	c core #574
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 574
2.86/2.97	c Elapsed CPU time: 2.92855 s	Remaining CPU time: 1797.07 s
2.86/2.97	c core #575
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 575
2.86/2.97	c Elapsed CPU time: 2.93555 s	Remaining CPU time: 1797.06 s
2.86/2.98	c core #576
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 576
2.86/2.98	c Elapsed CPU time: 2.94155 s	Remaining CPU time: 1797.06 s
2.86/2.99	c core #577
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 577
2.86/2.99	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.86/2.99	c core #578
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 578
2.86/2.99	c Elapsed CPU time: 2.95355 s	Remaining CPU time: 1797.05 s
2.96/3.00	c core #579
2.96/3.00	c Core size: 3	Core Weight: 1	Total Weight: 579
2.96/3.00	c Elapsed CPU time: 2.96055 s	Remaining CPU time: 1797.04 s
2.96/3.01	c core #580
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 580
2.96/3.01	c Elapsed CPU time: 2.96755 s	Remaining CPU time: 1797.03 s
2.96/3.01	c core #581
2.96/3.01	c Core size: 3	Core Weight: 1	Total Weight: 581
2.96/3.01	c Elapsed CPU time: 2.97455 s	Remaining CPU time: 1797.03 s
2.96/3.02	c core #582
2.96/3.02	c Core size: 3	Core Weight: 1	Total Weight: 582
2.96/3.02	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 1797.02 s
2.96/3.03	c core #583
2.96/3.03	c Core size: 3	Core Weight: 1	Total Weight: 583
2.96/3.03	c Elapsed CPU time: 2.98855 s	Remaining CPU time: 1797.01 s
2.96/3.04	c core #584
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 584
2.96/3.04	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 1797 s
2.96/3.04	c core #585
2.96/3.04	c Core size: 3	Core Weight: 1	Total Weight: 585
2.96/3.04	c Elapsed CPU time: 3.00254 s	Remaining CPU time: 1797 s
2.96/3.05	c core #586
2.96/3.05	c Core size: 3	Core Weight: 1	Total Weight: 586
2.96/3.05	c Elapsed CPU time: 3.00854 s	Remaining CPU time: 1796.99 s
2.96/3.06	c core #587
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 587
2.96/3.06	c Elapsed CPU time: 3.01454 s	Remaining CPU time: 1796.99 s
2.96/3.06	c core #588
2.96/3.06	c Core size: 3	Core Weight: 1	Total Weight: 588
2.96/3.06	c Elapsed CPU time: 3.02054 s	Remaining CPU time: 1796.98 s
2.96/3.07	c core #589
2.96/3.07	c Core size: 3	Core Weight: 1	Total Weight: 589
2.96/3.07	c Elapsed CPU time: 3.02654 s	Remaining CPU time: 1796.97 s
2.96/3.08	c core #590
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 590
2.96/3.08	c Elapsed CPU time: 3.03254 s	Remaining CPU time: 1796.97 s
2.96/3.08	c core #591
2.96/3.08	c Core size: 3	Core Weight: 1	Total Weight: 591
2.96/3.08	c Elapsed CPU time: 3.03854 s	Remaining CPU time: 1796.96 s
2.96/3.09	c core #592
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 592
2.96/3.09	c Elapsed CPU time: 3.04554 s	Remaining CPU time: 1796.95 s
2.96/3.09	c core #593
2.96/3.09	c Core size: 3	Core Weight: 1	Total Weight: 593
2.96/3.09	c Elapsed CPU time: 3.05154 s	Remaining CPU time: 1796.95 s
3.06/3.10	c core #594
3.06/3.10	c Core size: 3	Core Weight: 1	Total Weight: 594
3.06/3.10	c Elapsed CPU time: 3.05754 s	Remaining CPU time: 1796.94 s
3.06/3.11	c core #595
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 595
3.06/3.11	c Elapsed CPU time: 3.06353 s	Remaining CPU time: 1796.94 s
3.06/3.11	c core #596
3.06/3.11	c Core size: 3	Core Weight: 1	Total Weight: 596
3.06/3.11	c Elapsed CPU time: 3.06953 s	Remaining CPU time: 1796.93 s
3.06/3.12	c core #597
3.06/3.12	c Core size: 3	Core Weight: 1	Total Weight: 597
3.06/3.12	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 1796.92 s
3.06/3.13	c core #598
3.06/3.13	c Core size: 3	Core Weight: 1	Total Weight: 598
3.06/3.13	c Elapsed CPU time: 3.08153 s	Remaining CPU time: 1796.92 s
3.06/3.13	c core #599
3.06/3.13	c Core size: 3	Core Weight: 1	Total Weight: 599
3.06/3.13	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.06/3.14	c core #600
3.06/3.14	c Core size: 3	Core Weight: 1	Total Weight: 600
3.06/3.14	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.06/3.14	c core #601
3.06/3.14	c Core size: 3	Core Weight: 1	Total Weight: 601
3.06/3.14	c Elapsed CPU time: 3.10053 s	Remaining CPU time: 1796.9 s
3.06/3.15	c core #602
3.06/3.15	c Core size: 3	Core Weight: 1	Total Weight: 602
3.06/3.15	c Elapsed CPU time: 3.10653 s	Remaining CPU time: 1796.89 s
3.06/3.16	c core #603
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 603
3.06/3.16	c Elapsed CPU time: 3.11353 s	Remaining CPU time: 1796.89 s
3.06/3.16	c core #604
3.06/3.16	c Core size: 3	Core Weight: 1	Total Weight: 604
3.06/3.16	c Elapsed CPU time: 3.11952 s	Remaining CPU time: 1796.88 s
3.06/3.17	c core #605
3.06/3.17	c Core size: 3	Core Weight: 1	Total Weight: 605
3.06/3.17	c Elapsed CPU time: 3.12552 s	Remaining CPU time: 1796.87 s
3.06/3.18	c core #606
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 606
3.06/3.18	c Elapsed CPU time: 3.13252 s	Remaining CPU time: 1796.87 s
3.06/3.18	c core #607
3.06/3.18	c Core size: 3	Core Weight: 1	Total Weight: 607
3.06/3.18	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.06/3.19	c core #608
3.06/3.19	c Core size: 3	Core Weight: 1	Total Weight: 608
3.06/3.19	c Elapsed CPU time: 3.14552 s	Remaining CPU time: 1796.85 s
3.06/3.20	c core #609
3.06/3.20	c Core size: 3	Core Weight: 1	Total Weight: 609
3.06/3.20	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.16/3.20	c core #610
3.16/3.20	c Core size: 3	Core Weight: 1	Total Weight: 610
3.16/3.20	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 1796.84 s
3.16/3.21	c core #611
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 611
3.16/3.21	c Elapsed CPU time: 3.16452 s	Remaining CPU time: 1796.84 s
3.16/3.21	c core #612
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 612
3.16/3.21	c Elapsed CPU time: 3.17052 s	Remaining CPU time: 1796.83 s
3.16/3.22	c core #613
3.16/3.22	c Core size: 3	Core Weight: 1	Total Weight: 613
3.16/3.22	c Elapsed CPU time: 3.17652 s	Remaining CPU time: 1796.82 s
3.16/3.23	c core #614
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 614
3.16/3.23	c Elapsed CPU time: 3.18352 s	Remaining CPU time: 1796.82 s
3.16/3.23	c core #615
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 615
3.16/3.23	c Elapsed CPU time: 3.18952 s	Remaining CPU time: 1796.81 s
3.16/3.24	c core #616
3.16/3.24	c Core size: 3	Core Weight: 1	Total Weight: 616
3.16/3.24	c Elapsed CPU time: 3.19651 s	Remaining CPU time: 1796.8 s
3.16/3.25	c core #617
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 617
3.16/3.25	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.16/3.25	c core #618
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 618
3.16/3.25	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 1796.79 s
3.16/3.26	c core #619
3.16/3.26	c Core size: 3	Core Weight: 1	Total Weight: 619
3.16/3.26	c Elapsed CPU time: 3.21551 s	Remaining CPU time: 1796.78 s
3.16/3.27	c core #620
3.16/3.27	c Core size: 3	Core Weight: 1	Total Weight: 620
3.16/3.27	c Elapsed CPU time: 3.22151 s	Remaining CPU time: 1796.78 s
3.16/3.27	c core #621
3.16/3.27	c Core size: 3	Core Weight: 1	Total Weight: 621
3.16/3.27	c Elapsed CPU time: 3.22751 s	Remaining CPU time: 1796.77 s
3.16/3.28	c core #622
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 622
3.16/3.28	c Elapsed CPU time: 3.23451 s	Remaining CPU time: 1796.77 s
3.16/3.28	c core #623
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 623
3.16/3.28	c Elapsed CPU time: 3.24151 s	Remaining CPU time: 1796.76 s
3.16/3.29	c core #624
3.16/3.29	c Core size: 3	Core Weight: 1	Total Weight: 624
3.16/3.29	c Elapsed CPU time: 3.24751 s	Remaining CPU time: 1796.75 s
3.26/3.30	c core #625
3.26/3.30	c Core size: 3	Core Weight: 1	Total Weight: 625
3.26/3.30	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 1796.75 s
3.26/3.31	c core #626
3.26/3.31	c Core size: 3	Core Weight: 1	Total Weight: 626
3.26/3.31	c Elapsed CPU time: 3.2625 s	Remaining CPU time: 1796.74 s
3.26/3.32	c core #627
3.26/3.32	c Core size: 3	Core Weight: 1	Total Weight: 627
3.26/3.32	c Elapsed CPU time: 3.2695 s	Remaining CPU time: 1796.73 s
3.26/3.32	c core #628
3.26/3.32	c Core size: 3	Core Weight: 1	Total Weight: 628
3.26/3.32	c Elapsed CPU time: 3.2765 s	Remaining CPU time: 1796.72 s
3.26/3.33	c core #629
3.26/3.33	c Core size: 3	Core Weight: 1	Total Weight: 629
3.26/3.33	c Elapsed CPU time: 3.2835 s	Remaining CPU time: 1796.72 s
3.26/3.34	c core #630
3.26/3.34	c Core size: 3	Core Weight: 1	Total Weight: 630
3.26/3.34	c Elapsed CPU time: 3.2905 s	Remaining CPU time: 1796.71 s
3.26/3.35	c core #631
3.26/3.35	c Core size: 3	Core Weight: 1	Total Weight: 631
3.26/3.35	c Elapsed CPU time: 3.2975 s	Remaining CPU time: 1796.7 s
3.26/3.35	c core #632
3.26/3.35	c Core size: 3	Core Weight: 1	Total Weight: 632
3.26/3.35	c Elapsed CPU time: 3.3045 s	Remaining CPU time: 1796.7 s
3.26/3.36	c core #633
3.26/3.36	c Core size: 3	Core Weight: 1	Total Weight: 633
3.26/3.36	c Elapsed CPU time: 3.3115 s	Remaining CPU time: 1796.69 s
3.26/3.37	c core #634
3.26/3.37	c Core size: 3	Core Weight: 1	Total Weight: 634
3.26/3.37	c Elapsed CPU time: 3.31849 s	Remaining CPU time: 1796.68 s
3.26/3.37	c core #635
3.26/3.37	c Core size: 3	Core Weight: 1	Total Weight: 635
3.26/3.37	c Elapsed CPU time: 3.32549 s	Remaining CPU time: 1796.67 s
3.26/3.38	c core #636
3.26/3.38	c Core size: 3	Core Weight: 1	Total Weight: 636
3.26/3.38	c Elapsed CPU time: 3.33249 s	Remaining CPU time: 1796.67 s
3.26/3.39	c core #637
3.26/3.39	c Core size: 3	Core Weight: 1	Total Weight: 637
3.26/3.39	c Elapsed CPU time: 3.33949 s	Remaining CPU time: 1796.66 s
3.26/3.39	c core #638
3.26/3.39	c Core size: 3	Core Weight: 1	Total Weight: 638
3.26/3.39	c Elapsed CPU time: 3.34649 s	Remaining CPU time: 1796.65 s
3.36/3.40	c core #639
3.36/3.40	c Core size: 3	Core Weight: 1	Total Weight: 639
3.36/3.40	c Elapsed CPU time: 3.35349 s	Remaining CPU time: 1796.65 s
3.36/3.41	c core #640
3.36/3.41	c Core size: 3	Core Weight: 1	Total Weight: 640
3.36/3.41	c Elapsed CPU time: 3.36049 s	Remaining CPU time: 1796.64 s
3.36/3.42	c core #641
3.36/3.42	c Core size: 3	Core Weight: 1	Total Weight: 641
3.36/3.42	c Elapsed CPU time: 3.36749 s	Remaining CPU time: 1796.63 s
3.36/3.42	c core #642
3.36/3.42	c Core size: 3	Core Weight: 1	Total Weight: 642
3.36/3.42	c Elapsed CPU time: 3.37449 s	Remaining CPU time: 1796.63 s
3.36/3.43	c core #643
3.36/3.43	c Core size: 3	Core Weight: 1	Total Weight: 643
3.36/3.43	c Elapsed CPU time: 3.38149 s	Remaining CPU time: 1796.62 s
3.36/3.44	c core #644
3.36/3.44	c Core size: 3	Core Weight: 1	Total Weight: 644
3.36/3.44	c Elapsed CPU time: 3.38848 s	Remaining CPU time: 1796.61 s
3.36/3.44	c core #645
3.36/3.44	c Core size: 3	Core Weight: 1	Total Weight: 645
3.36/3.44	c Elapsed CPU time: 3.39548 s	Remaining CPU time: 1796.6 s
3.36/3.45	c core #646
3.36/3.45	c Core size: 3	Core Weight: 1	Total Weight: 646
3.36/3.45	c Elapsed CPU time: 3.40248 s	Remaining CPU time: 1796.6 s
3.36/3.46	c core #647
3.36/3.46	c Core size: 3	Core Weight: 1	Total Weight: 647
3.36/3.46	c Elapsed CPU time: 3.40948 s	Remaining CPU time: 1796.59 s
3.36/3.47	c core #648
3.36/3.47	c Core size: 3	Core Weight: 1	Total Weight: 648
3.36/3.47	c Elapsed CPU time: 3.41648 s	Remaining CPU time: 1796.58 s
3.36/3.47	c core #649
3.36/3.47	c Core size: 3	Core Weight: 1	Total Weight: 649
3.36/3.47	c Elapsed CPU time: 3.42348 s	Remaining CPU time: 1796.58 s
3.36/3.48	c core #650
3.36/3.48	c Core size: 3	Core Weight: 1	Total Weight: 650
3.36/3.48	c Elapsed CPU time: 3.43048 s	Remaining CPU time: 1796.57 s
3.36/3.49	c core #651
3.36/3.49	c Core size: 3	Core Weight: 1	Total Weight: 651
3.36/3.49	c Elapsed CPU time: 3.43848 s	Remaining CPU time: 1796.56 s
3.36/3.50	c core #652
3.36/3.50	c Core size: 3	Core Weight: 1	Total Weight: 652
3.36/3.50	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.45/3.50	c core #653
3.45/3.50	c Core size: 3	Core Weight: 1	Total Weight: 653
3.45/3.50	c Elapsed CPU time: 3.45248 s	Remaining CPU time: 1796.55 s
3.45/3.51	c core #654
3.45/3.51	c Core size: 3	Core Weight: 1	Total Weight: 654
3.45/3.51	c Elapsed CPU time: 3.45947 s	Remaining CPU time: 1796.54 s
3.45/3.52	c core #655
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 655
3.45/3.52	c Elapsed CPU time: 3.46647 s	Remaining CPU time: 1796.53 s
3.45/3.53	c core #656
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 656
3.45/3.53	c Elapsed CPU time: 3.47347 s	Remaining CPU time: 1796.53 s
3.45/3.53	c core #657
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 657
3.45/3.53	c Elapsed CPU time: 3.48047 s	Remaining CPU time: 1796.52 s
3.45/3.54	c core #658
3.45/3.54	c Core size: 3	Core Weight: 1	Total Weight: 658
3.45/3.54	c Elapsed CPU time: 3.48747 s	Remaining CPU time: 1796.51 s
3.45/3.55	c core #659
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 659
3.45/3.55	c Elapsed CPU time: 3.49547 s	Remaining CPU time: 1796.5 s
3.45/3.55	c core #660
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 660
3.45/3.55	c Elapsed CPU time: 3.50247 s	Remaining CPU time: 1796.5 s
3.45/3.56	c core #661
3.45/3.56	c Core size: 3	Core Weight: 1	Total Weight: 661
3.45/3.56	c Elapsed CPU time: 3.50947 s	Remaining CPU time: 1796.49 s
3.45/3.57	c core #662
3.45/3.57	c Core size: 3	Core Weight: 1	Total Weight: 662
3.45/3.57	c Elapsed CPU time: 3.51647 s	Remaining CPU time: 1796.48 s
3.45/3.58	c core #663
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 663
3.45/3.58	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.45/3.58	c core #664
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 664
3.45/3.58	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 1796.47 s
3.45/3.59	c core #665
3.45/3.59	c Core size: 3	Core Weight: 1	Total Weight: 665
3.45/3.59	c Elapsed CPU time: 3.53746 s	Remaining CPU time: 1796.46 s
3.55/3.60	c core #666
3.55/3.60	c Core size: 3	Core Weight: 1	Total Weight: 666
3.55/3.60	c Elapsed CPU time: 3.54446 s	Remaining CPU time: 1796.46 s
3.55/3.61	c core #667
3.55/3.61	c Core size: 3	Core Weight: 1	Total Weight: 667
3.55/3.61	c Elapsed CPU time: 3.55246 s	Remaining CPU time: 1796.45 s
3.55/3.61	c core #668
3.55/3.61	c Core size: 3	Core Weight: 1	Total Weight: 668
3.55/3.61	c Elapsed CPU time: 3.55946 s	Remaining CPU time: 1796.44 s
3.55/3.62	c core #669
3.55/3.62	c Core size: 3	Core Weight: 1	Total Weight: 669
3.55/3.62	c Elapsed CPU time: 3.56646 s	Remaining CPU time: 1796.43 s
3.55/3.63	c core #670
3.55/3.63	c Core size: 3	Core Weight: 1	Total Weight: 670
3.55/3.63	c Elapsed CPU time: 3.57346 s	Remaining CPU time: 1796.43 s
3.55/3.64	c core #671
3.55/3.64	c Core size: 3	Core Weight: 1	Total Weight: 671
3.55/3.64	c Elapsed CPU time: 3.58046 s	Remaining CPU time: 1796.42 s
3.55/3.64	c core #672
3.55/3.64	c Core size: 3	Core Weight: 1	Total Weight: 672
3.55/3.64	c Elapsed CPU time: 3.58745 s	Remaining CPU time: 1796.41 s
3.55/3.65	c core #673
3.55/3.65	c Core size: 3	Core Weight: 1	Total Weight: 673
3.55/3.65	c Elapsed CPU time: 3.59545 s	Remaining CPU time: 1796.4 s
3.55/3.66	c core #674
3.55/3.66	c Core size: 3	Core Weight: 1	Total Weight: 674
3.55/3.66	c Elapsed CPU time: 3.60245 s	Remaining CPU time: 1796.4 s
3.55/3.67	c core #675
3.55/3.67	c Core size: 3	Core Weight: 1	Total Weight: 675
3.55/3.67	c Elapsed CPU time: 3.60945 s	Remaining CPU time: 1796.39 s
3.55/3.67	c core #676
3.55/3.67	c Core size: 3	Core Weight: 1	Total Weight: 676
3.55/3.67	c Elapsed CPU time: 3.61645 s	Remaining CPU time: 1796.38 s
3.55/3.68	c core #677
3.55/3.68	c Core size: 3	Core Weight: 1	Total Weight: 677
3.55/3.68	c Elapsed CPU time: 3.62345 s	Remaining CPU time: 1796.38 s
3.55/3.69	c core #678
3.55/3.69	c Core size: 3	Core Weight: 1	Total Weight: 678
3.55/3.69	c Elapsed CPU time: 3.63045 s	Remaining CPU time: 1796.37 s
3.55/3.69	c core #679
3.55/3.69	c Core size: 3	Core Weight: 1	Total Weight: 679
3.55/3.69	c Elapsed CPU time: 3.63745 s	Remaining CPU time: 1796.36 s
3.64/3.70	c core #680
3.64/3.70	c Core size: 3	Core Weight: 1	Total Weight: 680
3.64/3.70	c Elapsed CPU time: 3.64445 s	Remaining CPU time: 1796.36 s
3.64/3.71	c core #681
3.64/3.71	c Core size: 3	Core Weight: 1	Total Weight: 681
3.64/3.71	c Elapsed CPU time: 3.65144 s	Remaining CPU time: 1796.35 s
3.64/3.72	c core #682
3.64/3.72	c Core size: 3	Core Weight: 1	Total Weight: 682
3.64/3.72	c Elapsed CPU time: 3.65844 s	Remaining CPU time: 1796.34 s
3.64/3.72	c core #683
3.64/3.72	c Core size: 3	Core Weight: 1	Total Weight: 683
3.64/3.72	c Elapsed CPU time: 3.66644 s	Remaining CPU time: 1796.33 s
3.64/3.73	c core #684
3.64/3.73	c Core size: 3	Core Weight: 1	Total Weight: 684
3.64/3.73	c Elapsed CPU time: 3.67344 s	Remaining CPU time: 1796.33 s
3.64/3.74	c core #685
3.64/3.74	c Core size: 3	Core Weight: 1	Total Weight: 685
3.64/3.74	c Elapsed CPU time: 3.68044 s	Remaining CPU time: 1796.32 s
3.64/3.75	c core #686
3.64/3.75	c Core size: 3	Core Weight: 1	Total Weight: 686
3.64/3.75	c Elapsed CPU time: 3.68844 s	Remaining CPU time: 1796.31 s
3.64/3.75	c core #687
3.64/3.75	c Core size: 3	Core Weight: 1	Total Weight: 687
3.64/3.76	c Elapsed CPU time: 3.69544 s	Remaining CPU time: 1796.3 s
3.64/3.76	c core #688
3.64/3.76	c Core size: 3	Core Weight: 1	Total Weight: 688
3.64/3.76	c Elapsed CPU time: 3.70344 s	Remaining CPU time: 1796.3 s
3.64/3.77	c core #689
3.64/3.77	c Core size: 3	Core Weight: 1	Total Weight: 689
3.64/3.77	c Elapsed CPU time: 3.71043 s	Remaining CPU time: 1796.29 s
3.64/3.78	c core #690
3.64/3.78	c Core size: 3	Core Weight: 1	Total Weight: 690
3.64/3.78	c Elapsed CPU time: 3.71843 s	Remaining CPU time: 1796.28 s
3.64/3.78	c core #691
3.64/3.78	c Core size: 3	Core Weight: 1	Total Weight: 691
3.64/3.79	c Elapsed CPU time: 3.72543 s	Remaining CPU time: 1796.27 s
3.64/3.79	c core #692
3.64/3.79	c Core size: 3	Core Weight: 1	Total Weight: 692
3.64/3.79	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 1796.27 s
3.74/3.80	c core #693
3.74/3.80	c Core size: 3	Core Weight: 1	Total Weight: 693
3.74/3.80	c Elapsed CPU time: 3.74043 s	Remaining CPU time: 1796.26 s
3.74/3.81	c core #694
3.74/3.81	c Core size: 3	Core Weight: 1	Total Weight: 694
3.74/3.81	c Elapsed CPU time: 3.74843 s	Remaining CPU time: 1796.25 s
3.74/3.82	c core #695
3.74/3.82	c Core size: 3	Core Weight: 1	Total Weight: 695
3.74/3.82	c Elapsed CPU time: 3.75643 s	Remaining CPU time: 1796.24 s
3.74/3.82	c core #696
3.74/3.82	c Core size: 3	Core Weight: 1	Total Weight: 696
3.74/3.82	c Elapsed CPU time: 3.76343 s	Remaining CPU time: 1796.24 s
3.74/3.83	c core #697
3.74/3.83	c Core size: 3	Core Weight: 1	Total Weight: 697
3.74/3.83	c Elapsed CPU time: 3.77143 s	Remaining CPU time: 1796.23 s
3.74/3.84	c core #698
3.74/3.84	c Core size: 3	Core Weight: 1	Total Weight: 698
3.74/3.84	c Elapsed CPU time: 3.77842 s	Remaining CPU time: 1796.22 s
3.74/3.85	c core #699
3.74/3.85	c Core size: 3	Core Weight: 1	Total Weight: 699
3.74/3.85	c Elapsed CPU time: 3.78642 s	Remaining CPU time: 1796.21 s
3.74/3.85	c core #700
3.74/3.85	c Core size: 3	Core Weight: 1	Total Weight: 700
3.74/3.85	c Elapsed CPU time: 3.79342 s	Remaining CPU time: 1796.21 s
3.74/3.86	c core #701
3.74/3.86	c Core size: 3	Core Weight: 1	Total Weight: 701
3.74/3.86	c Elapsed CPU time: 3.80142 s	Remaining CPU time: 1796.2 s
3.74/3.87	c core #702
3.74/3.87	c Core size: 3	Core Weight: 1	Total Weight: 702
3.74/3.87	c Elapsed CPU time: 3.80942 s	Remaining CPU time: 1796.19 s
3.74/3.88	c core #703
3.74/3.88	c Core size: 3	Core Weight: 1	Total Weight: 703
3.74/3.88	c Elapsed CPU time: 3.81642 s	Remaining CPU time: 1796.18 s
3.74/3.88	c core #704
3.74/3.88	c Core size: 3	Core Weight: 1	Total Weight: 704
3.74/3.88	c Elapsed CPU time: 3.82442 s	Remaining CPU time: 1796.18 s
3.74/3.89	c core #705
3.74/3.89	c Core size: 3	Core Weight: 1	Total Weight: 705
3.74/3.89	c Elapsed CPU time: 3.83142 s	Remaining CPU time: 1796.17 s
3.84/3.90	c core #706
3.84/3.90	c Core size: 3	Core Weight: 1	Total Weight: 706
3.84/3.90	c Elapsed CPU time: 3.83942 s	Remaining CPU time: 1796.16 s
3.84/3.91	c core #707
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 707
3.84/3.91	c Elapsed CPU time: 3.84741 s	Remaining CPU time: 1796.15 s
3.84/3.91	c core #708
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 708
3.84/3.91	c Elapsed CPU time: 3.85441 s	Remaining CPU time: 1796.15 s
3.84/3.92	c core #709
3.84/3.92	c Core size: 3	Core Weight: 1	Total Weight: 709
3.84/3.92	c Elapsed CPU time: 3.86141 s	Remaining CPU time: 1796.14 s
3.84/3.93	c core #710
3.84/3.93	c Core size: 3	Core Weight: 1	Total Weight: 710
3.84/3.93	c Elapsed CPU time: 3.86841 s	Remaining CPU time: 1796.13 s
3.84/3.94	c core #711
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 711
3.84/3.94	c Elapsed CPU time: 3.87541 s	Remaining CPU time: 1796.12 s
3.84/3.94	c core #712
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 712
3.84/3.94	c Elapsed CPU time: 3.88341 s	Remaining CPU time: 1796.12 s
3.84/3.95	c core #713
3.84/3.95	c Core size: 3	Core Weight: 1	Total Weight: 713
3.84/3.95	c Elapsed CPU time: 3.89141 s	Remaining CPU time: 1796.11 s
3.84/3.96	c core #714
3.84/3.96	c Core size: 3	Core Weight: 1	Total Weight: 714
3.84/3.96	c Elapsed CPU time: 3.89941 s	Remaining CPU time: 1796.1 s
3.84/3.97	c core #715
3.84/3.97	c Core size: 3	Core Weight: 1	Total Weight: 715
3.84/3.97	c Elapsed CPU time: 3.90641 s	Remaining CPU time: 1796.09 s
3.84/3.98	c core #716
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 716
3.84/3.98	c Elapsed CPU time: 3.91341 s	Remaining CPU time: 1796.09 s
3.84/3.98	c core #717
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 717
3.84/3.98	c Elapsed CPU time: 3.9214 s	Remaining CPU time: 1796.08 s
3.84/3.99	c core #718
3.84/3.99	c Core size: 3	Core Weight: 1	Total Weight: 718
3.84/3.99	c Elapsed CPU time: 3.9294 s	Remaining CPU time: 1796.07 s
3.95/4.00	c core #719
3.95/4.00	c Core size: 3	Core Weight: 1	Total Weight: 719
3.95/4.00	c Elapsed CPU time: 3.9364 s	Remaining CPU time: 1796.06 s
3.95/4.01	c core #720
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 720
3.95/4.01	c Elapsed CPU time: 3.9444 s	Remaining CPU time: 1796.06 s
3.95/4.01	c core #721
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 721
3.95/4.01	c Elapsed CPU time: 3.9524 s	Remaining CPU time: 1796.05 s
3.95/4.02	c core #722
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 722
3.95/4.02	c Elapsed CPU time: 3.9594 s	Remaining CPU time: 1796.04 s
3.95/4.03	c core #723
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 723
3.95/4.03	c Elapsed CPU time: 3.9674 s	Remaining CPU time: 1796.03 s
3.95/4.04	c core #724
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 724
3.95/4.04	c Elapsed CPU time: 3.97439 s	Remaining CPU time: 1796.03 s
3.95/4.04	c core #725
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 725
3.95/4.04	c Elapsed CPU time: 3.98139 s	Remaining CPU time: 1796.02 s
3.95/4.05	c core #726
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 726
3.95/4.05	c Elapsed CPU time: 3.98839 s	Remaining CPU time: 1796.01 s
3.95/4.06	c core #727
3.95/4.06	c Core size: 3	Core Weight: 1	Total Weight: 727
3.95/4.06	c Elapsed CPU time: 3.99639 s	Remaining CPU time: 1796 s
3.95/4.07	c core #728
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 728
3.95/4.07	c Elapsed CPU time: 4.00339 s	Remaining CPU time: 1796 s
3.95/4.07	c core #729
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 729
3.95/4.07	c Elapsed CPU time: 4.01039 s	Remaining CPU time: 1795.99 s
3.95/4.08	c core #730
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 730
3.95/4.08	c Elapsed CPU time: 4.01839 s	Remaining CPU time: 1795.98 s
3.95/4.09	c core #731
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 731
3.95/4.09	c Elapsed CPU time: 4.02639 s	Remaining CPU time: 1795.97 s
4.05/4.10	c core #732
4.05/4.10	c Core size: 3	Core Weight: 1	Total Weight: 732
4.05/4.10	c Elapsed CPU time: 4.03439 s	Remaining CPU time: 1795.97 s
4.05/4.11	c core #733
4.05/4.11	c Core size: 3	Core Weight: 1	Total Weight: 733
4.05/4.11	c Elapsed CPU time: 4.04139 s	Remaining CPU time: 1795.96 s
4.05/4.11	c core #734
4.05/4.11	c Core size: 3	Core Weight: 1	Total Weight: 734
4.05/4.11	c Elapsed CPU time: 4.04838 s	Remaining CPU time: 1795.95 s
4.05/4.12	c core #735
4.05/4.12	c Core size: 3	Core Weight: 1	Total Weight: 735
4.05/4.12	c Elapsed CPU time: 4.05538 s	Remaining CPU time: 1795.94 s
4.05/4.13	c core #736
4.05/4.13	c Core size: 3	Core Weight: 1	Total Weight: 736
4.05/4.13	c Elapsed CPU time: 4.06338 s	Remaining CPU time: 1795.94 s
4.05/4.14	c core #737
4.05/4.14	c Core size: 3	Core Weight: 1	Total Weight: 737
4.05/4.14	c Elapsed CPU time: 4.07138 s	Remaining CPU time: 1795.93 s
4.05/4.15	c core #738
4.05/4.15	c Core size: 3	Core Weight: 1	Total Weight: 738
4.05/4.15	c Elapsed CPU time: 4.07938 s	Remaining CPU time: 1795.92 s
4.05/4.15	c core #739
4.05/4.15	c Core size: 3	Core Weight: 1	Total Weight: 739
4.05/4.15	c Elapsed CPU time: 4.08738 s	Remaining CPU time: 1795.91 s
4.05/4.16	c core #740
4.05/4.16	c Core size: 3	Core Weight: 1	Total Weight: 740
4.05/4.16	c Elapsed CPU time: 4.09538 s	Remaining CPU time: 1795.9 s
4.05/4.17	c core #741
4.05/4.17	c Core size: 3	Core Weight: 1	Total Weight: 741
4.05/4.17	c Elapsed CPU time: 4.10238 s	Remaining CPU time: 1795.9 s
4.05/4.18	c core #742
4.05/4.18	c Core size: 3	Core Weight: 1	Total Weight: 742
4.05/4.18	c Elapsed CPU time: 4.11038 s	Remaining CPU time: 1795.89 s
4.05/4.19	c core #743
4.05/4.19	c Core size: 3	Core Weight: 1	Total Weight: 743
4.05/4.19	c Elapsed CPU time: 4.11837 s	Remaining CPU time: 1795.88 s
4.05/4.19	c core #744
4.05/4.19	c Core size: 3	Core Weight: 1	Total Weight: 744
4.05/4.19	c Elapsed CPU time: 4.12637 s	Remaining CPU time: 1795.87 s
4.14/4.20	c core #745
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 745
4.14/4.20	c Elapsed CPU time: 4.13337 s	Remaining CPU time: 1795.87 s
4.14/4.21	c core #746
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 746
4.14/4.21	c Elapsed CPU time: 4.14137 s	Remaining CPU time: 1795.86 s
4.14/4.22	c core #747
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 747
4.14/4.22	c Elapsed CPU time: 4.14937 s	Remaining CPU time: 1795.85 s
4.14/4.22	c core #748
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 748
4.14/4.22	c Elapsed CPU time: 4.15737 s	Remaining CPU time: 1795.84 s
4.14/4.23	c core #749
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 749
4.14/4.23	c Elapsed CPU time: 4.16537 s	Remaining CPU time: 1795.83 s
4.14/4.24	c core #750
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 750
4.14/4.24	c Elapsed CPU time: 4.17237 s	Remaining CPU time: 1795.83 s
4.14/4.25	c core #751
4.14/4.25	c Core size: 3	Core Weight: 1	Total Weight: 751
4.14/4.25	c Elapsed CPU time: 4.17936 s	Remaining CPU time: 1795.82 s
4.14/4.26	c core #752
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 752
4.14/4.26	c Elapsed CPU time: 4.18736 s	Remaining CPU time: 1795.81 s
4.14/4.26	c core #753
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 753
4.14/4.26	c Elapsed CPU time: 4.19536 s	Remaining CPU time: 1795.8 s
4.14/4.27	c core #754
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 754
4.14/4.27	c Elapsed CPU time: 4.20336 s	Remaining CPU time: 1795.8 s
4.14/4.28	c core #755
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 755
4.14/4.28	c Elapsed CPU time: 4.21136 s	Remaining CPU time: 1795.79 s
4.14/4.29	c core #756
4.14/4.29	c Core size: 3	Core Weight: 1	Total Weight: 756
4.14/4.29	c Elapsed CPU time: 4.21936 s	Remaining CPU time: 1795.78 s
4.14/4.30	c core #757
4.14/4.30	c Core size: 3	Core Weight: 1	Total Weight: 757
4.14/4.30	c Elapsed CPU time: 4.22736 s	Remaining CPU time: 1795.77 s
4.24/4.30	c core #758
4.24/4.30	c Core size: 3	Core Weight: 1	Total Weight: 758
4.24/4.30	c Elapsed CPU time: 4.23536 s	Remaining CPU time: 1795.76 s
4.24/4.31	c core #759
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 759
4.24/4.31	c Elapsed CPU time: 4.24335 s	Remaining CPU time: 1795.76 s
4.24/4.32	c core #760
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 760
4.24/4.32	c Elapsed CPU time: 4.25135 s	Remaining CPU time: 1795.75 s
4.24/4.33	c core #761
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 761
4.24/4.33	c Elapsed CPU time: 4.25935 s	Remaining CPU time: 1795.74 s
4.24/4.34	c core #762
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 762
4.24/4.34	c Elapsed CPU time: 4.26735 s	Remaining CPU time: 1795.73 s
4.24/4.34	c core #763
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 763
4.24/4.34	c Elapsed CPU time: 4.27535 s	Remaining CPU time: 1795.72 s
4.24/4.35	c core #764
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 764
4.24/4.35	c Elapsed CPU time: 4.28335 s	Remaining CPU time: 1795.72 s
4.24/4.36	c core #765
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 765
4.24/4.36	c Elapsed CPU time: 4.29135 s	Remaining CPU time: 1795.71 s
4.24/4.37	c core #766
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 766
4.24/4.37	c Elapsed CPU time: 4.29935 s	Remaining CPU time: 1795.7 s
4.24/4.38	c core #767
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 767
4.24/4.38	c Elapsed CPU time: 4.30734 s	Remaining CPU time: 1795.69 s
4.24/4.38	c core #768
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 768
4.24/4.38	c Elapsed CPU time: 4.31534 s	Remaining CPU time: 1795.68 s
4.24/4.39	c core #769
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 769
4.24/4.39	c Elapsed CPU time: 4.32334 s	Remaining CPU time: 1795.68 s
4.24/4.40	c core #770
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 770
4.24/4.40	c Elapsed CPU time: 4.33134 s	Remaining CPU time: 1795.67 s
4.35/4.41	c core #771
4.35/4.41	c Core size: 3	Core Weight: 1	Total Weight: 771
4.35/4.41	c Elapsed CPU time: 4.33934 s	Remaining CPU time: 1795.66 s
4.35/4.42	c core #772
4.35/4.42	c Core size: 3	Core Weight: 1	Total Weight: 772
4.35/4.42	c Elapsed CPU time: 4.34734 s	Remaining CPU time: 1795.65 s
4.35/4.42	c core #773
4.35/4.42	c Core size: 3	Core Weight: 1	Total Weight: 773
4.35/4.42	c Elapsed CPU time: 4.35534 s	Remaining CPU time: 1795.64 s
4.35/4.43	c core #774
4.35/4.43	c Core size: 3	Core Weight: 1	Total Weight: 774
4.35/4.43	c Elapsed CPU time: 4.36334 s	Remaining CPU time: 1795.64 s
4.35/4.44	c core #775
4.35/4.44	c Core size: 3	Core Weight: 1	Total Weight: 775
4.35/4.44	c Elapsed CPU time: 4.37134 s	Remaining CPU time: 1795.63 s
4.35/4.45	c core #776
4.35/4.45	c Core size: 3	Core Weight: 1	Total Weight: 776
4.35/4.45	c Elapsed CPU time: 4.37933 s	Remaining CPU time: 1795.62 s
4.35/4.46	c core #777
4.35/4.46	c Core size: 3	Core Weight: 1	Total Weight: 777
4.35/4.46	c Elapsed CPU time: 4.38733 s	Remaining CPU time: 1795.61 s
4.35/4.46	c core #778
4.35/4.46	c Core size: 3	Core Weight: 1	Total Weight: 778
4.35/4.46	c Elapsed CPU time: 4.39533 s	Remaining CPU time: 1795.6 s
4.35/4.47	c core #779
4.35/4.47	c Core size: 3	Core Weight: 1	Total Weight: 779
4.35/4.47	c Elapsed CPU time: 4.40333 s	Remaining CPU time: 1795.6 s
4.35/4.48	c core #780
4.35/4.48	c Core size: 3	Core Weight: 1	Total Weight: 780
4.35/4.48	c Elapsed CPU time: 4.41133 s	Remaining CPU time: 1795.59 s
4.35/4.49	c core #781
4.35/4.49	c Core size: 3	Core Weight: 1	Total Weight: 781
4.35/4.49	c Elapsed CPU time: 4.41933 s	Remaining CPU time: 1795.58 s
4.35/4.50	c core #782
4.35/4.50	c Core size: 3	Core Weight: 1	Total Weight: 782
4.35/4.50	c Elapsed CPU time: 4.42733 s	Remaining CPU time: 1795.57 s
4.44/4.51	c core #783
4.44/4.51	c Core size: 3	Core Weight: 1	Total Weight: 783
4.44/4.51	c Elapsed CPU time: 4.43433 s	Remaining CPU time: 1795.57 s
4.44/4.51	c core #784
4.44/4.51	c Core size: 3	Core Weight: 1	Total Weight: 784
4.44/4.51	c Elapsed CPU time: 4.44132 s	Remaining CPU time: 1795.56 s
4.44/4.52	c core #785
4.44/4.52	c Core size: 3	Core Weight: 1	Total Weight: 785
4.44/4.52	c Elapsed CPU time: 4.44932 s	Remaining CPU time: 1795.55 s
4.44/4.53	c core #786
4.44/4.53	c Core size: 3	Core Weight: 1	Total Weight: 786
4.44/4.53	c Elapsed CPU time: 4.45732 s	Remaining CPU time: 1795.54 s
4.44/4.54	c core #787
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 787
4.44/4.54	c Elapsed CPU time: 4.46532 s	Remaining CPU time: 1795.53 s
4.44/4.55	c core #788
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 788
4.44/4.55	c Elapsed CPU time: 4.47332 s	Remaining CPU time: 1795.53 s
4.44/4.55	c core #789
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 789
4.44/4.55	c Elapsed CPU time: 4.48132 s	Remaining CPU time: 1795.52 s
4.44/4.56	c core #790
4.44/4.56	c Core size: 3	Core Weight: 1	Total Weight: 790
4.44/4.56	c Elapsed CPU time: 4.48932 s	Remaining CPU time: 1795.51 s
4.44/4.57	c core #791
4.44/4.57	c Core size: 3	Core Weight: 1	Total Weight: 791
4.44/4.57	c Elapsed CPU time: 4.49732 s	Remaining CPU time: 1795.5 s
4.44/4.58	c core #792
4.44/4.58	c Core size: 3	Core Weight: 1	Total Weight: 792
4.44/4.58	c Elapsed CPU time: 4.50531 s	Remaining CPU time: 1795.49 s
4.44/4.59	c core #793
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 793
4.44/4.59	c Elapsed CPU time: 4.51331 s	Remaining CPU time: 1795.49 s
4.44/4.60	c core #794
4.44/4.60	c Core size: 3	Core Weight: 1	Total Weight: 794
4.44/4.60	c Elapsed CPU time: 4.52131 s	Remaining CPU time: 1795.48 s
4.54/4.60	c core #795
4.54/4.60	c Core size: 3	Core Weight: 1	Total Weight: 795
4.54/4.60	c Elapsed CPU time: 4.52931 s	Remaining CPU time: 1795.47 s
4.54/4.61	c core #796
4.54/4.61	c Core size: 3	Core Weight: 1	Total Weight: 796
4.54/4.61	c Elapsed CPU time: 4.53731 s	Remaining CPU time: 1795.46 s
4.54/4.62	c core #797
4.54/4.62	c Core size: 3	Core Weight: 1	Total Weight: 797
4.54/4.62	c Elapsed CPU time: 4.54531 s	Remaining CPU time: 1795.45 s
4.54/4.63	c core #798
4.54/4.63	c Core size: 3	Core Weight: 1	Total Weight: 798
4.54/4.63	c Elapsed CPU time: 4.55431 s	Remaining CPU time: 1795.45 s
4.54/4.64	c core #799
4.54/4.64	c Core size: 3	Core Weight: 1	Total Weight: 799
4.54/4.64	c Elapsed CPU time: 4.56231 s	Remaining CPU time: 1795.44 s
4.54/4.65	c core #800
4.54/4.65	c Core size: 3	Core Weight: 1	Total Weight: 800
4.54/4.65	c Elapsed CPU time: 4.57031 s	Remaining CPU time: 1795.43 s
4.54/4.65	c core #801
4.54/4.65	c Core size: 3	Core Weight: 1	Total Weight: 801
4.54/4.65	c Elapsed CPU time: 4.5793 s	Remaining CPU time: 1795.42 s
4.54/4.66	c core #802
4.54/4.66	c Core size: 3	Core Weight: 1	Total Weight: 802
4.54/4.66	c Elapsed CPU time: 4.5873 s	Remaining CPU time: 1795.41 s
4.54/4.67	c core #803
4.54/4.67	c Core size: 3	Core Weight: 1	Total Weight: 803
4.54/4.67	c Elapsed CPU time: 4.5953 s	Remaining CPU time: 1795.4 s
4.54/4.68	c core #804
4.54/4.68	c Core size: 3	Core Weight: 1	Total Weight: 804
4.54/4.68	c Elapsed CPU time: 4.6033 s	Remaining CPU time: 1795.4 s
4.54/4.69	c core #805
4.54/4.69	c Core size: 3	Core Weight: 1	Total Weight: 805
4.54/4.69	c Elapsed CPU time: 4.6113 s	Remaining CPU time: 1795.39 s
4.54/4.69	c core #806
4.54/4.69	c Core size: 3	Core Weight: 1	Total Weight: 806
4.54/4.69	c Elapsed CPU time: 4.6193 s	Remaining CPU time: 1795.38 s
4.64/4.70	c core #807
4.64/4.70	c Core size: 3	Core Weight: 1	Total Weight: 807
4.64/4.70	c Elapsed CPU time: 4.6273 s	Remaining CPU time: 1795.37 s
4.64/4.71	c core #808
4.64/4.71	c Core size: 3	Core Weight: 1	Total Weight: 808
4.64/4.71	c Elapsed CPU time: 4.6353 s	Remaining CPU time: 1795.36 s
4.64/4.72	c core #809
4.64/4.72	c Core size: 3	Core Weight: 1	Total Weight: 809
4.64/4.72	c Elapsed CPU time: 4.64429 s	Remaining CPU time: 1795.36 s
4.64/4.73	c core #810
4.64/4.73	c Core size: 3	Core Weight: 1	Total Weight: 810
4.64/4.73	c Elapsed CPU time: 4.65229 s	Remaining CPU time: 1795.35 s
4.64/4.74	c core #811
4.64/4.74	c Core size: 3	Core Weight: 1	Total Weight: 811
4.64/4.74	c Elapsed CPU time: 4.66129 s	Remaining CPU time: 1795.34 s
4.64/4.74	c core #812
4.64/4.74	c Core size: 3	Core Weight: 1	Total Weight: 812
4.64/4.74	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 1795.33 s
4.64/4.75	c core #813
4.64/4.75	c Core size: 3	Core Weight: 1	Total Weight: 813
4.64/4.75	c Elapsed CPU time: 4.67729 s	Remaining CPU time: 1795.32 s
4.64/4.76	c core #814
4.64/4.76	c Core size: 3	Core Weight: 1	Total Weight: 814
4.64/4.76	c Elapsed CPU time: 4.68529 s	Remaining CPU time: 1795.31 s
4.64/4.77	c core #815
4.64/4.77	c Core size: 3	Core Weight: 1	Total Weight: 815
4.64/4.77	c Elapsed CPU time: 4.69429 s	Remaining CPU time: 1795.31 s
4.64/4.78	c core #816
4.64/4.78	c Core size: 7	Core Weight: 1	Total Weight: 816
4.64/4.78	c Elapsed CPU time: 4.70228 s	Remaining CPU time: 1795.3 s
4.64/4.79	c core #817
4.64/4.79	c Core size: 7	Core Weight: 1	Total Weight: 817
4.64/4.79	c Elapsed CPU time: 4.71128 s	Remaining CPU time: 1795.29 s
4.73/4.80	c core #818
4.73/4.80	c Core size: 6	Core Weight: 1	Total Weight: 818
4.73/4.80	c Elapsed CPU time: 4.71928 s	Remaining CPU time: 1795.28 s
4.73/4.80	c core #819
4.73/4.80	c Core size: 7	Core Weight: 1	Total Weight: 819
4.73/4.80	c Elapsed CPU time: 4.72728 s	Remaining CPU time: 1795.27 s
4.73/4.81	c core #820
4.73/4.81	c Core size: 7	Core Weight: 1	Total Weight: 820
4.73/4.81	c Elapsed CPU time: 4.73528 s	Remaining CPU time: 1795.26 s
4.73/4.82	c core #821
4.73/4.82	c Core size: 7	Core Weight: 1	Total Weight: 821
4.73/4.82	c Elapsed CPU time: 4.74328 s	Remaining CPU time: 1795.26 s
4.73/4.83	c core #822
4.73/4.83	c Core size: 11	Core Weight: 1	Total Weight: 822
4.73/4.83	c Elapsed CPU time: 4.75228 s	Remaining CPU time: 1795.25 s
4.73/4.84	c core #823
4.73/4.84	c Core size: 7	Core Weight: 1	Total Weight: 823
4.73/4.84	c Elapsed CPU time: 4.76028 s	Remaining CPU time: 1795.24 s
4.73/4.85	c core #824
4.73/4.85	c Core size: 7	Core Weight: 1	Total Weight: 824
4.73/4.85	c Elapsed CPU time: 4.76927 s	Remaining CPU time: 1795.23 s
4.73/4.86	c core #825
4.73/4.86	c Core size: 7	Core Weight: 1	Total Weight: 825
4.73/4.86	c Elapsed CPU time: 4.77727 s	Remaining CPU time: 1795.22 s
4.73/4.86	c core #826
4.73/4.86	c Core size: 7	Core Weight: 1	Total Weight: 826
4.73/4.86	c Elapsed CPU time: 4.78627 s	Remaining CPU time: 1795.21 s
4.73/4.87	c core #827
4.73/4.87	c Core size: 7	Core Weight: 1	Total Weight: 827
4.73/4.87	c Elapsed CPU time: 4.79527 s	Remaining CPU time: 1795.2 s
4.73/4.88	c core #828
4.73/4.88	c Core size: 7	Core Weight: 1	Total Weight: 828
4.73/4.88	c Elapsed CPU time: 4.80327 s	Remaining CPU time: 1795.2 s
4.73/4.89	c core #829
4.73/4.89	c Core size: 7	Core Weight: 1	Total Weight: 829
4.73/4.89	c Elapsed CPU time: 4.81227 s	Remaining CPU time: 1795.19 s
4.83/4.90	c core #830
4.83/4.90	c Core size: 7	Core Weight: 1	Total Weight: 830
4.83/4.90	c Elapsed CPU time: 4.82127 s	Remaining CPU time: 1795.18 s
4.83/4.91	c core #831
4.83/4.91	c Core size: 15	Core Weight: 1	Total Weight: 831
4.83/4.91	c Elapsed CPU time: 4.83026 s	Remaining CPU time: 1795.17 s
4.83/4.92	c core #832
4.83/4.92	c Core size: 7	Core Weight: 1	Total Weight: 832
4.83/4.92	c Elapsed CPU time: 4.83826 s	Remaining CPU time: 1795.16 s
4.83/4.93	c core #833
4.83/4.93	c Core size: 7	Core Weight: 1	Total Weight: 833
4.83/4.93	c Elapsed CPU time: 4.84726 s	Remaining CPU time: 1795.15 s
4.83/4.93	c core #834
4.83/4.93	c Core size: 7	Core Weight: 1	Total Weight: 834
4.83/4.93	c Elapsed CPU time: 4.85626 s	Remaining CPU time: 1795.14 s
4.83/4.94	c core #835
4.83/4.94	c Core size: 7	Core Weight: 1	Total Weight: 835
4.83/4.94	c Elapsed CPU time: 4.86426 s	Remaining CPU time: 1795.14 s
4.83/4.95	c core #836
4.83/4.95	c Core size: 7	Core Weight: 1	Total Weight: 836
4.83/4.95	c Elapsed CPU time: 4.87326 s	Remaining CPU time: 1795.13 s
4.83/4.96	c core #837
4.83/4.96	c Core size: 7	Core Weight: 1	Total Weight: 837
4.83/4.96	c Elapsed CPU time: 4.88226 s	Remaining CPU time: 1795.12 s
4.83/4.97	c core #838
4.83/4.97	c Core size: 6	Core Weight: 1	Total Weight: 838
4.83/4.97	c Elapsed CPU time: 4.89126 s	Remaining CPU time: 1795.11 s
4.83/4.98	c core #839
4.83/4.98	c Core size: 7	Core Weight: 1	Total Weight: 839
4.83/4.98	c Elapsed CPU time: 4.90025 s	Remaining CPU time: 1795.1 s
4.83/4.99	c core #840
4.83/4.99	c Core size: 7	Core Weight: 1	Total Weight: 840
4.83/4.99	c Elapsed CPU time: 4.90925 s	Remaining CPU time: 1795.09 s
4.93/5.00	c core #841
4.93/5.00	c Core size: 7	Core Weight: 1	Total Weight: 841
4.93/5.00	c Elapsed CPU time: 4.91825 s	Remaining CPU time: 1795.08 s
4.93/5.01	c core #842
4.93/5.01	c Core size: 11	Core Weight: 1	Total Weight: 842
4.93/5.01	c Elapsed CPU time: 4.92725 s	Remaining CPU time: 1795.07 s
4.93/5.01	c core #843
4.93/5.01	c Core size: 7	Core Weight: 1	Total Weight: 843
4.93/5.01	c Elapsed CPU time: 4.93625 s	Remaining CPU time: 1795.06 s
4.93/5.02	c core #844
4.93/5.02	c Core size: 7	Core Weight: 1	Total Weight: 844
4.93/5.02	c Elapsed CPU time: 4.94425 s	Remaining CPU time: 1795.06 s
4.93/5.03	c core #845
4.93/5.03	c Core size: 7	Core Weight: 1	Total Weight: 845
4.93/5.03	c Elapsed CPU time: 4.95325 s	Remaining CPU time: 1795.05 s
4.93/5.04	c core #846
4.93/5.04	c Core size: 7	Core Weight: 1	Total Weight: 846
4.93/5.04	c Elapsed CPU time: 4.96225 s	Remaining CPU time: 1795.04 s
4.93/5.05	c core #847
4.93/5.05	c Core size: 7	Core Weight: 1	Total Weight: 847
4.93/5.05	c Elapsed CPU time: 4.97124 s	Remaining CPU time: 1795.03 s
4.93/5.06	c core #848
4.93/5.06	c Core size: 7	Core Weight: 1	Total Weight: 848
4.93/5.06	c Elapsed CPU time: 4.97924 s	Remaining CPU time: 1795.02 s
4.93/5.07	c core #849
4.93/5.07	c Core size: 7	Core Weight: 1	Total Weight: 849
4.93/5.07	c Elapsed CPU time: 4.98824 s	Remaining CPU time: 1795.01 s
4.93/5.08	c core #850
4.93/5.08	c Core size: 7	Core Weight: 1	Total Weight: 850
4.93/5.08	c Elapsed CPU time: 4.99724 s	Remaining CPU time: 1795 s
4.93/5.09	c core #851
4.93/5.09	c Core size: 7	Core Weight: 1	Total Weight: 851
4.93/5.09	c Elapsed CPU time: 5.00624 s	Remaining CPU time: 1794.99 s
4.93/5.10	c core #852
4.93/5.10	c Core size: 7	Core Weight: 1	Total Weight: 852
4.93/5.10	c Elapsed CPU time: 5.01524 s	Remaining CPU time: 1794.98 s
5.03/5.11	c core #853
5.03/5.11	c Core size: 11	Core Weight: 1	Total Weight: 853
5.03/5.11	c Elapsed CPU time: 5.02424 s	Remaining CPU time: 1794.98 s
5.03/5.11	c core #854
5.03/5.11	c Core size: 7	Core Weight: 1	Total Weight: 854
5.03/5.11	c Elapsed CPU time: 5.03223 s	Remaining CPU time: 1794.97 s
5.03/5.12	c core #855
5.03/5.12	c Core size: 7	Core Weight: 1	Total Weight: 855
5.03/5.12	c Elapsed CPU time: 5.04023 s	Remaining CPU time: 1794.96 s
5.03/5.13	c core #856
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 856
5.03/5.13	c Elapsed CPU time: 5.04923 s	Remaining CPU time: 1794.95 s
5.03/5.14	c core #857
5.03/5.14	c Core size: 7	Core Weight: 1	Total Weight: 857
5.03/5.14	c Elapsed CPU time: 5.05823 s	Remaining CPU time: 1794.94 s
5.03/5.15	c core #858
5.03/5.15	c Core size: 7	Core Weight: 1	Total Weight: 858
5.03/5.15	c Elapsed CPU time: 5.06823 s	Remaining CPU time: 1794.93 s
5.03/5.16	c core #859
5.03/5.16	c Core size: 7	Core Weight: 1	Total Weight: 859
5.03/5.16	c Elapsed CPU time: 5.07723 s	Remaining CPU time: 1794.92 s
5.03/5.17	c core #860
5.03/5.17	c Core size: 11	Core Weight: 1	Total Weight: 860
5.03/5.17	c Elapsed CPU time: 5.08623 s	Remaining CPU time: 1794.91 s
5.03/5.18	c core #861
5.03/5.18	c Core size: 7	Core Weight: 1	Total Weight: 861
5.03/5.18	c Elapsed CPU time: 5.09523 s	Remaining CPU time: 1794.9 s
5.03/5.19	c core #862
5.03/5.19	c Core size: 7	Core Weight: 1	Total Weight: 862
5.03/5.19	c Elapsed CPU time: 5.10422 s	Remaining CPU time: 1794.9 s
5.13/5.20	c core #863
5.13/5.20	c Core size: 7	Core Weight: 1	Total Weight: 863
5.13/5.20	c Elapsed CPU time: 5.11322 s	Remaining CPU time: 1794.89 s
5.13/5.21	c core #864
5.13/5.21	c Core size: 7	Core Weight: 1	Total Weight: 864
5.13/5.21	c Elapsed CPU time: 5.12322 s	Remaining CPU time: 1794.88 s
5.13/5.22	c core #865
5.13/5.22	c Core size: 7	Core Weight: 1	Total Weight: 865
5.13/5.22	c Elapsed CPU time: 5.13222 s	Remaining CPU time: 1794.87 s
5.13/5.23	c core #866
5.13/5.23	c Core size: 7	Core Weight: 1	Total Weight: 866
5.13/5.23	c Elapsed CPU time: 5.14122 s	Remaining CPU time: 1794.86 s
5.13/5.23	c core #867
5.13/5.23	c Core size: 7	Core Weight: 1	Total Weight: 867
5.13/5.23	c Elapsed CPU time: 5.15022 s	Remaining CPU time: 1794.85 s
5.13/5.24	c core #868
5.13/5.24	c Core size: 7	Core Weight: 1	Total Weight: 868
5.13/5.24	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.13/5.25	c core #869
5.13/5.25	c Core size: 7	Core Weight: 1	Total Weight: 869
5.13/5.25	c Elapsed CPU time: 5.16821 s	Remaining CPU time: 1794.83 s
5.13/5.26	c core #870
5.13/5.26	c Core size: 7	Core Weight: 1	Total Weight: 870
5.13/5.26	c Elapsed CPU time: 5.17721 s	Remaining CPU time: 1794.82 s
5.13/5.27	c core #871
5.13/5.27	c Core size: 7	Core Weight: 1	Total Weight: 871
5.13/5.27	c Elapsed CPU time: 5.18621 s	Remaining CPU time: 1794.81 s
5.13/5.28	c core #872
5.13/5.28	c Core size: 7	Core Weight: 1	Total Weight: 872
5.13/5.28	c Elapsed CPU time: 5.19521 s	Remaining CPU time: 1794.8 s
5.13/5.29	c core #873
5.13/5.29	c Core size: 11	Core Weight: 1	Total Weight: 873
5.13/5.29	c Elapsed CPU time: 5.20521 s	Remaining CPU time: 1794.79 s
5.22/5.30	c core #874
5.22/5.30	c Core size: 7	Core Weight: 1	Total Weight: 874
5.22/5.30	c Elapsed CPU time: 5.21421 s	Remaining CPU time: 1794.79 s
5.22/5.31	c core #875
5.22/5.31	c Core size: 7	Core Weight: 1	Total Weight: 875
5.22/5.31	c Elapsed CPU time: 5.2242 s	Remaining CPU time: 1794.78 s
5.22/5.32	c core #876
5.22/5.32	c Core size: 7	Core Weight: 1	Total Weight: 876
5.22/5.32	c Elapsed CPU time: 5.2332 s	Remaining CPU time: 1794.77 s
5.22/5.33	c core #877
5.22/5.33	c Core size: 7	Core Weight: 1	Total Weight: 877
5.22/5.33	c Elapsed CPU time: 5.2432 s	Remaining CPU time: 1794.76 s
5.22/5.34	c core #878
5.22/5.34	c Core size: 7	Core Weight: 1	Total Weight: 878
5.22/5.34	c Elapsed CPU time: 5.2532 s	Remaining CPU time: 1794.75 s
5.22/5.35	c core #879
5.22/5.35	c Core size: 15	Core Weight: 1	Total Weight: 879
5.22/5.35	c Elapsed CPU time: 5.2632 s	Remaining CPU time: 1794.74 s
5.22/5.36	c core #880
5.22/5.36	c Core size: 7	Core Weight: 1	Total Weight: 880
5.22/5.36	c Elapsed CPU time: 5.2722 s	Remaining CPU time: 1794.73 s
5.22/5.37	c core #881
5.22/5.37	c Core size: 7	Core Weight: 1	Total Weight: 881
5.22/5.37	c Elapsed CPU time: 5.2822 s	Remaining CPU time: 1794.72 s
5.22/5.38	c core #882
5.22/5.38	c Core size: 7	Core Weight: 1	Total Weight: 882
5.22/5.38	c Elapsed CPU time: 5.29219 s	Remaining CPU time: 1794.71 s
5.22/5.39	c core #883
5.22/5.39	c Core size: 7	Core Weight: 1	Total Weight: 883
5.22/5.39	c Elapsed CPU time: 5.30119 s	Remaining CPU time: 1794.7 s
5.32/5.40	c core #884
5.32/5.40	c Core size: 7	Core Weight: 1	Total Weight: 884
5.32/5.40	c Elapsed CPU time: 5.31019 s	Remaining CPU time: 1794.69 s
5.32/5.41	c core #885
5.32/5.41	c Core size: 11	Core Weight: 1	Total Weight: 885
5.32/5.41	c Elapsed CPU time: 5.31919 s	Remaining CPU time: 1794.68 s
5.32/5.42	c core #886
5.32/5.42	c Core size: 7	Core Weight: 1	Total Weight: 886
5.32/5.42	c Elapsed CPU time: 5.32919 s	Remaining CPU time: 1794.67 s
5.32/5.43	c core #887
5.32/5.43	c Core size: 7	Core Weight: 1	Total Weight: 887
5.32/5.43	c Elapsed CPU time: 5.33919 s	Remaining CPU time: 1794.66 s
5.32/5.44	c core #888
5.32/5.44	c Core size: 7	Core Weight: 1	Total Weight: 888
5.32/5.44	c Elapsed CPU time: 5.34919 s	Remaining CPU time: 1794.65 s
5.32/5.45	c core #889
5.32/5.45	c Core size: 7	Core Weight: 1	Total Weight: 889
5.32/5.45	c Elapsed CPU time: 5.35818 s	Remaining CPU time: 1794.64 s
5.32/5.46	c core #890
5.32/5.46	c Core size: 11	Core Weight: 1	Total Weight: 890
5.32/5.46	c Elapsed CPU time: 5.36718 s	Remaining CPU time: 1794.63 s
5.32/5.47	c core #891
5.32/5.47	c Core size: 7	Core Weight: 1	Total Weight: 891
5.32/5.47	c Elapsed CPU time: 5.37718 s	Remaining CPU time: 1794.62 s
5.32/5.48	c core #892
5.32/5.48	c Core size: 7	Core Weight: 1	Total Weight: 892
5.32/5.48	c Elapsed CPU time: 5.38718 s	Remaining CPU time: 1794.61 s
5.32/5.49	c core #893
5.32/5.49	c Core size: 19	Core Weight: 1	Total Weight: 893
5.32/5.49	c Elapsed CPU time: 5.39718 s	Remaining CPU time: 1794.6 s
5.32/5.50	c core #894
5.32/5.50	c Core size: 11	Core Weight: 1	Total Weight: 894
5.32/5.50	c Elapsed CPU time: 5.40718 s	Remaining CPU time: 1794.59 s
5.43/5.51	c core #895
5.43/5.51	c Core size: 27	Core Weight: 1	Total Weight: 895
5.43/5.51	c Elapsed CPU time: 5.41718 s	Remaining CPU time: 1794.58 s
5.43/5.52	c core #896
5.43/5.52	c Core size: 7	Core Weight: 1	Total Weight: 896
5.43/5.52	c Elapsed CPU time: 5.42717 s	Remaining CPU time: 1794.57 s
5.43/5.53	c core #897
5.43/5.53	c Core size: 11	Core Weight: 1	Total Weight: 897
5.43/5.53	c Elapsed CPU time: 5.43717 s	Remaining CPU time: 1794.56 s
5.43/5.54	c core #898
5.43/5.54	c Core size: 7	Core Weight: 1	Total Weight: 898
5.43/5.54	c Elapsed CPU time: 5.44717 s	Remaining CPU time: 1794.55 s
5.43/5.55	c core #899
5.43/5.55	c Core size: 7	Core Weight: 1	Total Weight: 899
5.43/5.55	c Elapsed CPU time: 5.45817 s	Remaining CPU time: 1794.54 s
5.43/5.56	c core #900
5.43/5.56	c Core size: 11	Core Weight: 1	Total Weight: 900
5.43/5.56	c Elapsed CPU time: 5.46817 s	Remaining CPU time: 1794.53 s
5.43/5.57	c core #901
5.43/5.57	c Core size: 7	Core Weight: 1	Total Weight: 901
5.43/5.57	c Elapsed CPU time: 5.47817 s	Remaining CPU time: 1794.52 s
5.43/5.58	c core #902
5.43/5.58	c Core size: 11	Core Weight: 1	Total Weight: 902
5.43/5.58	c Elapsed CPU time: 5.48817 s	Remaining CPU time: 1794.51 s
5.43/5.59	c core #903
5.43/5.59	c Core size: 7	Core Weight: 1	Total Weight: 903
5.43/5.59	c Elapsed CPU time: 5.49816 s	Remaining CPU time: 1794.5 s
5.43/5.60	c core #904
5.43/5.60	c Core size: 19	Core Weight: 1	Total Weight: 904
5.43/5.60	c Elapsed CPU time: 5.50816 s	Remaining CPU time: 1794.49 s
5.53/5.61	c core #905
5.53/5.61	c Core size: 11	Core Weight: 1	Total Weight: 905
5.53/5.61	c Elapsed CPU time: 5.51916 s	Remaining CPU time: 1794.48 s
5.53/5.62	c core #906
5.53/5.62	c Core size: 11	Core Weight: 1	Total Weight: 906
5.53/5.62	c Elapsed CPU time: 5.52916 s	Remaining CPU time: 1794.47 s
5.53/5.63	c core #907
5.53/5.63	c Core size: 11	Core Weight: 1	Total Weight: 907
5.53/5.63	c Elapsed CPU time: 5.53916 s	Remaining CPU time: 1794.46 s
5.53/5.64	c core #908
5.53/5.64	c Core size: 11	Core Weight: 1	Total Weight: 908
5.53/5.64	c Elapsed CPU time: 5.54916 s	Remaining CPU time: 1794.45 s
5.53/5.65	c core #909
5.53/5.65	c Core size: 7	Core Weight: 1	Total Weight: 909
5.53/5.65	c Elapsed CPU time: 5.56015 s	Remaining CPU time: 1794.44 s
5.53/5.66	c core #910
5.53/5.66	c Core size: 15	Core Weight: 1	Total Weight: 910
5.53/5.66	c Elapsed CPU time: 5.56915 s	Remaining CPU time: 1794.43 s
5.53/5.67	c core #911
5.53/5.67	c Core size: 7	Core Weight: 1	Total Weight: 911
5.53/5.67	c Elapsed CPU time: 5.57915 s	Remaining CPU time: 1794.42 s
5.53/5.68	c core #912
5.53/5.68	c Core size: 11	Core Weight: 1	Total Weight: 912
5.53/5.68	c Elapsed CPU time: 5.59015 s	Remaining CPU time: 1794.41 s
5.53/5.69	c core #913
5.53/5.69	c Core size: 7	Core Weight: 1	Total Weight: 913
5.53/5.69	c Elapsed CPU time: 5.60015 s	Remaining CPU time: 1794.4 s
5.62/5.70	c core #914
5.62/5.70	c Core size: 15	Core Weight: 1	Total Weight: 914
5.62/5.70	c Elapsed CPU time: 5.61115 s	Remaining CPU time: 1794.39 s
5.62/5.71	c core #915
5.62/5.71	c Core size: 15	Core Weight: 1	Total Weight: 915
5.62/5.71	c Elapsed CPU time: 5.62214 s	Remaining CPU time: 1794.38 s
5.62/5.72	c core #916
5.62/5.72	c Core size: 7	Core Weight: 1	Total Weight: 916
5.62/5.72	c Elapsed CPU time: 5.63214 s	Remaining CPU time: 1794.37 s
5.62/5.73	c core #917
5.62/5.73	c Core size: 15	Core Weight: 1	Total Weight: 917
5.62/5.73	c Elapsed CPU time: 5.64214 s	Remaining CPU time: 1794.36 s
5.62/5.74	c core #918
5.62/5.74	c Core size: 7	Core Weight: 1	Total Weight: 918
5.62/5.75	c Elapsed CPU time: 5.65214 s	Remaining CPU time: 1794.35 s
5.62/5.76	c core #919
5.62/5.76	c Core size: 11	Core Weight: 1	Total Weight: 919
5.62/5.76	c Elapsed CPU time: 5.66314 s	Remaining CPU time: 1794.34 s
5.62/5.77	c core #920
5.62/5.77	c Core size: 11	Core Weight: 1	Total Weight: 920
5.62/5.77	c Elapsed CPU time: 5.67414 s	Remaining CPU time: 1794.33 s
5.62/5.78	c core #921
5.62/5.78	c Core size: 7	Core Weight: 1	Total Weight: 921
5.62/5.78	c Elapsed CPU time: 5.68414 s	Remaining CPU time: 1794.32 s
5.62/5.79	c core #922
5.62/5.79	c Core size: 27	Core Weight: 1	Total Weight: 922
5.62/5.79	c Elapsed CPU time: 5.69413 s	Remaining CPU time: 1794.31 s
5.73/5.80	c core #923
5.73/5.80	c Core size: 15	Core Weight: 1	Total Weight: 923
5.73/5.80	c Elapsed CPU time: 5.70413 s	Remaining CPU time: 1794.3 s
5.73/5.81	c core #924
5.73/5.81	c Core size: 7	Core Weight: 1	Total Weight: 924
5.73/5.81	c Elapsed CPU time: 5.71513 s	Remaining CPU time: 1794.28 s
5.73/5.82	c core #925
5.73/5.82	c Core size: 31	Core Weight: 1	Total Weight: 925
5.73/5.82	c Elapsed CPU time: 5.72613 s	Remaining CPU time: 1794.27 s
5.73/5.83	c core #926
5.73/5.83	c Core size: 11	Core Weight: 1	Total Weight: 926
5.73/5.83	c Elapsed CPU time: 5.73613 s	Remaining CPU time: 1794.26 s
5.73/5.84	c core #927
5.73/5.84	c Core size: 11	Core Weight: 1	Total Weight: 927
5.73/5.84	c Elapsed CPU time: 5.74613 s	Remaining CPU time: 1794.25 s
5.73/5.85	c core #928
5.73/5.85	c Core size: 7	Core Weight: 1	Total Weight: 928
5.73/5.85	c Elapsed CPU time: 5.75612 s	Remaining CPU time: 1794.24 s
5.73/5.86	c core #929
5.73/5.86	c Core size: 11	Core Weight: 1	Total Weight: 929
5.73/5.86	c Elapsed CPU time: 5.76612 s	Remaining CPU time: 1794.23 s
5.73/5.88	c core #930
5.73/5.88	c Core size: 19	Core Weight: 1	Total Weight: 930
5.73/5.88	c Elapsed CPU time: 5.77612 s	Remaining CPU time: 1794.22 s
5.73/5.89	c core #931
5.73/5.89	c Core size: 11	Core Weight: 1	Total Weight: 931
5.73/5.89	c Elapsed CPU time: 5.78712 s	Remaining CPU time: 1794.21 s
5.82/5.90	c core #932
5.82/5.90	c Core size: 51	Core Weight: 1	Total Weight: 932
5.82/5.90	c Elapsed CPU time: 5.79812 s	Remaining CPU time: 1794.2 s
5.82/5.91	c core #933
5.82/5.91	c Core size: 7	Core Weight: 1	Total Weight: 933
5.82/5.91	c Elapsed CPU time: 5.80912 s	Remaining CPU time: 1794.19 s
5.82/5.92	c core #934
5.82/5.92	c Core size: 19	Core Weight: 1	Total Weight: 934
5.82/5.92	c Elapsed CPU time: 5.82012 s	Remaining CPU time: 1794.18 s
5.82/5.93	c core #935
5.82/5.93	c Core size: 27	Core Weight: 1	Total Weight: 935
5.82/5.93	c Elapsed CPU time: 5.83111 s	Remaining CPU time: 1794.17 s
5.82/5.94	c core #936
5.82/5.94	c Core size: 19	Core Weight: 1	Total Weight: 936
5.82/5.94	c Elapsed CPU time: 5.84211 s	Remaining CPU time: 1794.16 s
5.82/5.95	c core #937
5.82/5.95	c Core size: 15	Core Weight: 1	Total Weight: 937
5.82/5.95	c Elapsed CPU time: 5.85311 s	Remaining CPU time: 1794.15 s
5.82/5.96	c core #938
5.82/5.96	c Core size: 11	Core Weight: 1	Total Weight: 938
5.82/5.96	c Elapsed CPU time: 5.86411 s	Remaining CPU time: 1794.14 s
5.82/5.98	c core #939
5.82/5.98	c Core size: 7	Core Weight: 1	Total Weight: 939
5.82/5.98	c Elapsed CPU time: 5.87511 s	Remaining CPU time: 1794.12 s
5.82/5.99	c core #940
5.82/5.99	c Core size: 7	Core Weight: 1	Total Weight: 940
5.82/5.99	c Elapsed CPU time: 5.88511 s	Remaining CPU time: 1794.11 s
5.92/6.00	c core #941
5.92/6.00	c Core size: 23	Core Weight: 1	Total Weight: 941
5.92/6.00	c Elapsed CPU time: 5.8971 s	Remaining CPU time: 1794.1 s
5.92/6.01	c core #942
5.92/6.01	c Core size: 11	Core Weight: 1	Total Weight: 942
5.92/6.01	c Elapsed CPU time: 5.9081 s	Remaining CPU time: 1794.09 s
5.92/6.02	c core #943
5.92/6.02	c Core size: 11	Core Weight: 1	Total Weight: 943
5.92/6.02	c Elapsed CPU time: 5.9181 s	Remaining CPU time: 1794.08 s
5.92/6.03	c core #944
5.92/6.03	c Core size: 35	Core Weight: 1	Total Weight: 944
5.92/6.03	c Elapsed CPU time: 5.9291 s	Remaining CPU time: 1794.07 s
5.92/6.04	c core #945
5.92/6.04	c Core size: 11	Core Weight: 1	Total Weight: 945
5.92/6.04	c Elapsed CPU time: 5.9411 s	Remaining CPU time: 1794.06 s
5.92/6.05	c core #946
5.92/6.05	c Core size: 43	Core Weight: 1	Total Weight: 946
5.92/6.05	c Elapsed CPU time: 5.95209 s	Remaining CPU time: 1794.05 s
5.92/6.07	c core #947
5.92/6.07	c Core size: 23	Core Weight: 1	Total Weight: 947
5.92/6.07	c Elapsed CPU time: 5.96309 s	Remaining CPU time: 1794.04 s
5.92/6.08	c core #948
5.92/6.08	c Core size: 35	Core Weight: 1	Total Weight: 948
5.92/6.08	c Elapsed CPU time: 5.97409 s	Remaining CPU time: 1794.03 s
5.92/6.09	c core #949
5.92/6.09	c Core size: 31	Core Weight: 1	Total Weight: 949
5.92/6.09	c Elapsed CPU time: 5.98609 s	Remaining CPU time: 1794.01 s
6.02/6.10	c core #950
6.02/6.10	c Core size: 27	Core Weight: 1	Total Weight: 950
6.02/6.10	c Elapsed CPU time: 5.99709 s	Remaining CPU time: 1794 s
6.02/6.11	c core #951
6.02/6.11	c Core size: 23	Core Weight: 1	Total Weight: 951
6.02/6.11	c Elapsed CPU time: 6.00809 s	Remaining CPU time: 1793.99 s
6.02/6.12	c core #952
6.02/6.12	c Core size: 11	Core Weight: 1	Total Weight: 952
6.02/6.12	c Elapsed CPU time: 6.01908 s	Remaining CPU time: 1793.98 s
6.02/6.13	c core #953
6.02/6.13	c Core size: 23	Core Weight: 1	Total Weight: 953
6.02/6.13	c Elapsed CPU time: 6.03008 s	Remaining CPU time: 1793.97 s
6.02/6.15	c core #954
6.02/6.15	c Core size: 27	Core Weight: 1	Total Weight: 954
6.02/6.15	c Elapsed CPU time: 6.04108 s	Remaining CPU time: 1793.96 s
6.02/6.16	c core #955
6.02/6.16	c Core size: 39	Core Weight: 1	Total Weight: 955
6.02/6.16	c Elapsed CPU time: 6.05308 s	Remaining CPU time: 1793.95 s
6.02/6.17	c core #956
6.02/6.17	c Core size: 39	Core Weight: 1	Total Weight: 956
6.02/6.17	c Elapsed CPU time: 6.06408 s	Remaining CPU time: 1793.94 s
6.02/6.18	c core #957
6.02/6.18	c Core size: 15	Core Weight: 1	Total Weight: 957
6.02/6.18	c Elapsed CPU time: 6.07608 s	Remaining CPU time: 1793.92 s
6.02/6.19	c core #958
6.02/6.19	c Core size: 27	Core Weight: 1	Total Weight: 958
6.02/6.19	c Elapsed CPU time: 6.08707 s	Remaining CPU time: 1793.91 s
6.12/6.20	c core #959
6.12/6.20	c Core size: 39	Core Weight: 1	Total Weight: 959
6.12/6.20	c Elapsed CPU time: 6.09807 s	Remaining CPU time: 1793.9 s
6.12/6.22	c core #960
6.12/6.22	c Core size: 35	Core Weight: 1	Total Weight: 960
6.12/6.22	c Elapsed CPU time: 6.10907 s	Remaining CPU time: 1793.89 s
6.12/6.23	c core #961
6.12/6.23	c Core size: 15	Core Weight: 1	Total Weight: 961
6.12/6.23	c Elapsed CPU time: 6.12107 s	Remaining CPU time: 1793.88 s
6.12/6.24	c core #962
6.12/6.24	c Core size: 23	Core Weight: 1	Total Weight: 962
6.12/6.24	c Elapsed CPU time: 6.13307 s	Remaining CPU time: 1793.87 s
6.12/6.25	c core #963
6.12/6.25	c Core size: 39	Core Weight: 1	Total Weight: 963
6.12/6.25	c Elapsed CPU time: 6.14407 s	Remaining CPU time: 1793.86 s
6.12/6.26	c core #964
6.12/6.26	c Core size: 71	Core Weight: 1	Total Weight: 964
6.12/6.26	c Elapsed CPU time: 6.15606 s	Remaining CPU time: 1793.84 s
6.12/6.27	c core #965
6.12/6.27	c Core size: 59	Core Weight: 1	Total Weight: 965
6.12/6.27	c Elapsed CPU time: 6.16806 s	Remaining CPU time: 1793.83 s
6.12/6.29	c core #966
6.12/6.29	c Core size: 39	Core Weight: 1	Total Weight: 966
6.12/6.29	c Elapsed CPU time: 6.17906 s	Remaining CPU time: 1793.82 s
6.21/6.30	c core #967
6.21/6.30	c Core size: 19	Core Weight: 1	Total Weight: 967
6.21/6.30	c Elapsed CPU time: 6.19006 s	Remaining CPU time: 1793.81 s
6.21/6.31	c core #968
6.21/6.31	c Core size: 51	Core Weight: 1	Total Weight: 968
6.21/6.31	c Elapsed CPU time: 6.20106 s	Remaining CPU time: 1793.8 s
6.21/6.32	c core #969
6.21/6.32	c Core size: 46	Core Weight: 1	Total Weight: 969
6.21/6.32	c Elapsed CPU time: 6.21305 s	Remaining CPU time: 1793.79 s
6.21/6.33	c core #970
6.21/6.33	c Core size: 87	Core Weight: 1	Total Weight: 970
6.21/6.33	c Elapsed CPU time: 6.22605 s	Remaining CPU time: 1793.77 s
6.21/6.35	c core #971
6.21/6.35	c Core size: 43	Core Weight: 1	Total Weight: 971
6.21/6.35	c Elapsed CPU time: 6.23805 s	Remaining CPU time: 1793.76 s
6.21/6.36	c core #972
6.21/6.36	c Core size: 90	Core Weight: 1	Total Weight: 972
6.21/6.36	c Elapsed CPU time: 6.25005 s	Remaining CPU time: 1793.75 s
6.21/6.37	c ============================[ Search Statistics ]==============================
6.21/6.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.21/6.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.21/6.37	c ===============================================================================
6.21/6.37	c |         0 |    4581     6935    15592 |     5000        0    nan |  0.000 % |
6.21/6.37	c ===============================================================================
6.21/6.37	c core #973
6.21/6.37	c Core size: 71	Core Weight: 1	Total Weight: 973
6.21/6.37	c Elapsed CPU time: 6.26205 s	Remaining CPU time: 1793.74 s
6.21/6.38	c ============================[ Search Statistics ]==============================
6.21/6.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.21/6.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.21/6.38	c ===============================================================================
6.21/6.38	c |         0 |    4722     6936    15678 |     5000        0    nan |  0.000 % |
6.21/6.39	c ===============================================================================
6.21/6.39	c core #974
6.21/6.39	c Core size: 101	Core Weight: 1	Total Weight: 974
6.21/6.39	c Elapsed CPU time: 6.27604 s	Remaining CPU time: 1793.72 s
6.31/6.40	c ============================[ Search Statistics ]==============================
6.31/6.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.40	c ===============================================================================
6.31/6.40	c |         0 |    4787     6937    15783 |     5000        0    nan |  0.000 % |
6.31/6.40	c ===============================================================================
6.31/6.40	c core #975
6.31/6.40	c Core size: 250	Core Weight: 1	Total Weight: 975
6.31/6.40	c Elapsed CPU time: 6.29204 s	Remaining CPU time: 1793.71 s
6.31/6.41	c ============================[ Search Statistics ]==============================
6.31/6.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.41	c ===============================================================================
6.31/6.41	c |         0 |    4909     6938    16027 |     5000        0    nan |  0.000 % |
6.31/6.42	c ===============================================================================
6.31/6.42	c core #976
6.31/6.42	c Core size: 54	Core Weight: 1	Total Weight: 976
6.31/6.42	c Elapsed CPU time: 6.30704 s	Remaining CPU time: 1793.69 s
6.31/6.43	c ============================[ Search Statistics ]==============================
6.31/6.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.43	c ===============================================================================
6.31/6.43	c |         0 |    4939     6939    16090 |     5000        0    nan |  0.000 % |
6.31/6.43	c ===============================================================================
6.31/6.43	c core #977
6.31/6.43	c Core size: 235	Core Weight: 1	Total Weight: 977
6.31/6.43	c Elapsed CPU time: 6.32404 s	Remaining CPU time: 1793.68 s
6.31/6.45	c ============================[ Search Statistics ]==============================
6.31/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.45	c ===============================================================================
6.31/6.45	c |         0 |    5068     6940    16332 |     5000        0    nan |  0.000 % |
6.31/6.45	c ===============================================================================
6.31/6.45	c core #978
6.31/6.45	c Core size: 96	Core Weight: 1	Total Weight: 978
6.31/6.45	c Elapsed CPU time: 6.33804 s	Remaining CPU time: 1793.66 s
6.31/6.46	c ============================[ Search Statistics ]==============================
6.31/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.46	c ===============================================================================
6.31/6.46	c |         0 |    5115     6941    16426 |     5000        0    nan |  0.000 % |
6.31/6.47	c ===============================================================================
6.31/6.47	c core #979
6.31/6.47	c Core size: 180	Core Weight: 1	Total Weight: 979
6.31/6.47	c Elapsed CPU time: 6.35403 s	Remaining CPU time: 1793.65 s
6.31/6.48	c ============================[ Search Statistics ]==============================
6.31/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.48	c ===============================================================================
6.31/6.48	c |         0 |    5245     6942    16605 |     5000        0    nan |  0.000 % |
6.31/6.49	c ===============================================================================
6.31/6.49	c core #980
6.31/6.49	c Core size: 156	Core Weight: 1	Total Weight: 980
6.31/6.49	c Elapsed CPU time: 6.37203 s	Remaining CPU time: 1793.63 s
6.42/6.50	c ============================[ Search Statistics ]==============================
6.42/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.50	c ===============================================================================
6.42/6.50	c |         0 |    5336     6943    16773 |     5000        0    nan |  0.000 % |
6.42/6.51	c |       100 |    5327     6943    16773 |     5500      100      6 |  1.836 % |
6.42/6.51	c ===============================================================================
6.42/6.52	c core #981
6.42/6.52	c Core size: 138	Core Weight: 1	Total Weight: 981
6.42/6.52	c Elapsed CPU time: 6.39903 s	Remaining CPU time: 1793.6 s
6.42/6.53	c ============================[ Search Statistics ]==============================
6.42/6.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.53	c ===============================================================================
6.42/6.53	c |         0 |    5413     6944    16908 |     5000        0    nan |  0.000 % |
6.42/6.54	c |       100 |    5413     6944    16908 |     5500      100     11 |  0.843 % |
6.42/6.55	c |       250 |    5413     6944    16908 |     6050      250     12 |  0.843 % |
6.42/6.57	c |       475 |    5412     6944    16908 |     6655      472     10 |  0.861 % |
6.42/6.58	c ===============================================================================
6.42/6.58	c core #982
6.42/6.58	c Core size: 548	Core Weight: 1	Total Weight: 982
6.42/6.58	c Elapsed CPU time: 6.46302 s	Remaining CPU time: 1793.54 s
6.42/6.60	c ============================[ Search Statistics ]==============================
6.42/6.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.60	c ===============================================================================
6.42/6.60	c |         0 |    5662     6945    17406 |     5000        0    nan |  0.000 % |
6.51/6.61	c |       102 |    5660     6945    17406 |     5500      102      5 |  0.858 % |
6.51/6.62	c |       252 |    5656     6945    17406 |     6050      251      4 |  1.034 % |
6.51/6.63	c ===============================================================================
6.51/6.63	c core #983
6.51/6.63	c Core size: 113	Core Weight: 1	Total Weight: 983
6.51/6.63	c Elapsed CPU time: 6.50101 s	Remaining CPU time: 1793.5 s
6.51/6.64	c ============================[ Search Statistics ]==============================
6.51/6.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.64	c ===============================================================================
6.51/6.64	c |         0 |    5724     6946    17519 |     5000        0    nan |  0.000 % |
6.51/6.65	c |       101 |    5724     6946    17519 |     5500      101     30 |  0.677 % |
6.51/6.66	c |       252 |    5724     6946    17519 |     6050      252     24 |  0.677 % |
6.51/6.67	c ===============================================================================
6.51/6.68	c core #984
6.51/6.68	c Core size: 205	Core Weight: 1	Total Weight: 984
6.51/6.68	c Elapsed CPU time: 6.547 s	Remaining CPU time: 1793.45 s
6.51/6.69	c ============================[ Search Statistics ]==============================
6.51/6.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.51/6.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.51/6.69	c ===============================================================================
6.51/6.69	c |         0 |    5835     6947    17728 |     5000        0    nan |  0.000 % |
6.62/6.70	c |       100 |    5833     6947    17728 |     5500      100      8 |  0.631 % |
6.62/6.71	c |       250 |    5826     6947    17728 |     6050      248      7 |  0.631 % |
6.62/6.73	c |       479 |    5826     6947    17728 |     6655      477      8 |  0.631 % |
6.62/6.77	c |       816 |    5825     6947    17728 |     7320      813      8 |  0.648 % |
6.70/6.82	c |      1323 |    5820     6947    17728 |     8052     1217      9 |  0.733 % |
6.70/6.85	c ===============================================================================
6.70/6.86	c core #985
6.70/6.86	c Core size: 781	Core Weight: 1	Total Weight: 985
6.70/6.86	c Elapsed CPU time: 6.71998 s	Remaining CPU time: 1793.28 s
6.70/6.87	c ============================[ Search Statistics ]==============================
6.70/6.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.70/6.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.70/6.87	c ===============================================================================
6.70/6.87	c |         0 |    6195     6948    18450 |     5000        0    nan |  0.000 % |
6.70/6.88	c |       100 |    6195     6948    18450 |     5500      100      9 |  0.386 % |
6.70/6.89	c |       253 |    6195     6948    18450 |     6050      253     12 |  0.386 % |
6.81/6.91	c |       478 |    6195     6948    18450 |     6655      478     14 |  0.386 % |
6.81/6.95	c |       815 |    6195     6948    18450 |     7320      815     14 |  0.386 % |
6.91/7.01	c |      1321 |    6195     6948    18450 |     8052     1321     15 |  0.386 % |
7.01/7.11	c |      2084 |    6195     6948    18450 |     8857     2084     20 |  0.386 % |
7.10/7.27	c |      3223 |    6195     6948    18450 |     9743     3223     21 |  0.386 % |
7.50/7.65	c |      4931 |    6174     6948    18450 |    10717     4925     29 |  0.772 % |
8.10/8.26	c |      7494 |    6168     6948    18450 |    11789     7475     37 |  0.820 % |
9.50/9.61	c |     11341 |    6162     6948    18450 |    12968    11321     43 |  1.045 % |
9.61/9.74	c ===============================================================================
9.71/9.84	c core #986
9.71/9.84	c Core size: 915	Core Weight: 1	Total Weight: 986
9.71/9.84	c Elapsed CPU time: 9.66053 s	Remaining CPU time: 1790.34 s
9.71/9.87	c ============================[ Search Statistics ]==============================
9.71/9.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.71/9.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.71/9.87	c ===============================================================================
9.71/9.87	c |         0 |    6601     6949    19261 |     5000        0    nan |  0.000 % |
9.71/9.89	c |       100 |    6601     6949    19261 |     5500      100     14 |  0.332 % |
9.81/9.91	c |       251 |    6601     6949    19261 |     6050      251     13 |  0.332 % |
9.81/9.93	c |       476 |    6601     6949    19261 |     6655      476     19 |  0.332 % |
9.81/9.97	c |       813 |    6601     6949    19261 |     7320      813     22 |  0.332 % |
9.91/10.04	c |      1319 |    6601     6949    19261 |     8052     1319     29 |  0.332 % |
10.00/10.18	c |      2082 |    6600     6949    19261 |     8857     2081     37 |  0.347 % |
10.21/10.36	c |      3222 |    6600     6949    19261 |     9743     3221     36 |  0.347 % |
10.51/10.63	c |      4930 |    6599     6949    19261 |    10717     4928     34 |  0.362 % |
11.20/11.32	c |      7493 |    6599     6949    19261 |    11789     7491     46 |  0.362 % |
12.11/12.22	c |     11337 |    6599     6949    19261 |    12968    11335     51 |  0.362 % |
13.40/13.57	c |     17103 |    6597     6949    19261 |    14265    10388     55 |  0.393 % |
16.10/16.27	c |     25756 |    6596     6949    19261 |    15692    11730     66 |  0.408 % |
20.00/20.19	c |     38730 |    6596     6949    19261 |    17261     8698     54 |  0.408 % |
26.09/26.25	c |     58194 |    6595     6949    19261 |    18987    10602     63 |  0.423 % |
29.00/29.17	c ===============================================================================
29.70/29.83	c core #987
29.70/29.83	c Core size: 1165	Core Weight: 1	Total Weight: 987
29.70/29.83	c Elapsed CPU time: 29.3725 s	Remaining CPU time: 1770.63 s
29.79/29.91	c ============================[ Search Statistics ]==============================
29.79/29.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
29.79/29.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
29.79/29.91	c ===============================================================================
29.79/29.91	c |         0 |    7103     6950    20266 |     5000        0    nan |  0.000 % |
29.79/29.93	c |       100 |    7103     6950    20266 |     5500      100      8 |  0.281 % |
29.79/29.94	c |       252 |    7103     6950    20266 |     6050      252      8 |  0.281 % |
29.79/29.97	c |       477 |    7103     6950    20266 |     6655      477      8 |  0.281 % |
29.90/30.00	c |       816 |    7103     6950    20266 |     7320      816      7 |  0.281 % |
29.90/30.05	c |      1322 |    7099     6950    20266 |     8052     1252      8 |  0.337 % |
29.99/30.14	c |      2081 |    7098     6950    20266 |     8857     1938      9 |  0.351 % |
30.09/30.28	c ===============================================================================
30.19/30.30	c core #988
30.19/30.30	c Core size: 866	Core Weight: 1	Total Weight: 988
30.19/30.30	c Elapsed CPU time: 29.8305 s	Remaining CPU time: 1770.17 s
30.19/30.32	c ============================[ Search Statistics ]==============================
30.19/30.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.19/30.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.19/30.32	c ===============================================================================
30.19/30.32	c |         0 |    7482     6951    21024 |     5000        0    nan |  0.000 % |
30.19/30.34	c |       101 |    7482     6951    21024 |     5500      101     14 |  0.267 % |
30.19/30.35	c |       251 |    7481     6951    21024 |     6050      249     14 |  0.280 % |
30.19/30.38	c |       479 |    7477     6951    21024 |     6655      476     14 |  0.333 % |
30.29/30.41	c |       818 |    7477     6951    21024 |     7320      815     15 |  0.333 % |
30.29/30.47	c |      1325 |    7477     6951    21024 |     8052     1322     14 |  0.333 % |
30.39/30.57	c |      2086 |    7477     6951    21024 |     8857     2083     15 |  0.333 % |
30.59/30.70	c |      3225 |    7477     6951    21024 |     9743     3222     17 |  0.333 % |
30.79/30.97	c |      4933 |    7477     6951    21024 |    10717     4930     18 |  0.333 % |
31.39/31.54	c |      7497 |    7477     6951    21024 |    11789     7494     25 |  0.333 % |
32.29/32.41	c |     11341 |    7472     6951    21024 |    12968    10457     32 |  0.400 % |
32.49/32.67	c ===============================================================================
32.59/32.78	c core #989
32.59/32.78	c Core size: 1286	Core Weight: 1	Total Weight: 989
32.59/32.78	c Elapsed CPU time: 32.2281 s	Remaining CPU time: 1767.77 s
32.69/32.82	c ============================[ Search Statistics ]==============================
32.69/32.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.69/32.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.69/32.82	c ===============================================================================
32.69/32.82	c |         0 |    8042     6952    22129 |     5000        0    nan |  0.000 % |
32.69/32.85	c |       101 |    8042     6952    22129 |     5500      101     24 |  0.124 % |
32.69/32.86	c |       253 |    8042     6952    22129 |     6050      253     26 |  0.124 % |
32.69/32.89	c |       478 |    8042     6952    22129 |     6655      478     19 |  0.124 % |
32.80/32.92	c |       817 |    8042     6952    22129 |     7320      817     21 |  0.124 % |
32.80/32.99	c |      1325 |    8042     6952    22129 |     8052     1325     20 |  0.124 % |
32.89/33.09	c |      2085 |    8042     6952    22129 |     8857     2085     26 |  0.124 % |
33.09/33.28	c |      3224 |    8042     6952    22129 |     9743     3224     30 |  0.124 % |
33.49/33.62	c |      4935 |    8042     6952    22129 |    10717     4935     39 |  0.124 % |
33.89/34.05	c |      7497 |    8042     6952    22129 |    11789     7497     37 |  0.124 % |
34.50/34.61	c |     11346 |    8042     6952    22129 |    12968    11346     36 |  0.124 % |
35.79/35.97	c |     17114 |    8042     6952    22129 |    14265    10365     49 |  0.124 % |
37.69/37.87	c |     25765 |    8042     6952    22129 |    15692    11350     56 |  0.124 % |
40.59/40.78	c |     38739 |    8042     6952    22129 |    17261    16349     62 |  0.124 % |
45.69/45.89	c |     58202 |    8042     6952    22129 |    18987    18060     60 |  0.124 % |
56.79/56.95	c |     87394 |    8042     6952    22129 |    20886    18219    119 |  0.124 % |
74.08/74.29	c |    131183 |    8042     6952    22129 |    22974    19037    124 |  0.124 % |
101.67/101.86	c |    196867 |    8042     6952    22129 |    25272    13509    124 |  0.124 % |
137.97/138.15	c |    295396 |    8042     6952    22129 |    27799    21779     80 |  0.124 % |
215.94/216.13	c |    443186 |    8042     6952    22129 |    30579    25297     95 |  0.124 % |
306.91/307.14	c |    664873 |    8042     6952    22129 |    33637    20631     50 |  0.124 % |
501.75/502.07	c |    997405 |    8042     6952    22129 |    37001    29432    121 |  0.124 % |
797.37/797.72	c |   1496195 |    8042     6952    22129 |    40701    25213     82 |  0.124 % |
1285.63/1286.10	c |   2244377 |    8042     6952    22129 |    44771    36704    140 |  0.124 % |

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-1875588-1245143868/watcher-1875588-1245143868 -o /tmp/evaluation-result-1875588-1245143868/solver-1875588-1245143868 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875588-1245143868.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.84 0.95 0.98 3/64 2394
/proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=2964 CPUtime=0
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181987521 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135172946 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 741 248 125 292 0 418 0

[startup+0.10254 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2394
/proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=3512 CPUtime=0.09
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 496 0 0 0 9 0 0 0 18 0 1 0 181987521 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 878 452 133 292 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.201551 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2394
/proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=3512 CPUtime=0.19
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 496 0 0 0 19 0 0 0 18 0 1 0 181987521 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 135163540 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 878 452 133 292 0 583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3512

[startup+0.301563 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2394
/proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=3680 CPUtime=0.29
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 574 0 0 0 29 0 0 0 19 0 1 0 181987521 3768320 466 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 920 466 133 292 0 625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3680

[startup+0.701607 s]
/proc/loadavg: 0.84 0.95 0.98 3/64 2394
/proc/meminfo: memFree=1869856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=3764 CPUtime=0.69
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 903 0 0 0 69 0 0 0 22 0 1 0 181987521 3854336 521 1992294400 134512640 135709839 4294956240 18446744073709551615 135166032 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 941 521 133 292 0 646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3764

[startup+1.50269 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 2395
/proc/meminfo: memFree=1867800/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=4620 CPUtime=1.48
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 1297 0 0 0 148 0 0 0 25 0 1 0 181987521 4730880 735 1992294400 134512640 135709839 4294956240 18446744073709551615 135165936 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 1155 735 133 292 0 860 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4620

[startup+3.10188 s]
/proc/loadavg: 0.84 0.95 0.98 2/65 2395
/proc/meminfo: memFree=1866392/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=6720 CPUtime=3.06
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 2509 0 0 0 305 1 0 0 25 0 1 0 181987521 6881280 1249 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0
/proc/2394/statm: 1680 1249 133 292 0 1385 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6720

[startup+6.30123 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 2395
/proc/meminfo: memFree=1860768/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=13916 CPUtime=6.21
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 5625 0 0 0 618 3 0 0 25 0 1 0 181987521 14249984 3014 1992294400 134512640 135709839 4294956240 18446744073709551615 134585798 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 3479 3014 134 292 0 3184 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13916

[startup+12.7019 s]
/proc/loadavg: 0.87 0.95 0.98 2/65 2395
/proc/meminfo: memFree=1850856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=20896 CPUtime=12.6
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 7408 0 0 0 1244 16 0 0 25 0 1 0 181987521 21397504 4760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 5224 4760 136 292 0 4929 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 20896

[startup+25.5014 s]
/proc/loadavg: 0.89 0.95 0.98 2/65 2395
/proc/meminfo: memFree=1829288/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=42844 CPUtime=25.4
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 12888 0 0 0 2508 32 0 0 25 0 1 0 181987521 43872256 10240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 10711 10240 136 292 0 10416 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 42844

[startup+51.1012 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 2395
/proc/meminfo: memFree=1804392/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=68132 CPUtime=50.98
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 19274 0 0 0 5021 77 0 0 25 0 1 0 181987521 69767168 16587 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 17033 16587 136 292 0 16738 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 68132

[startup+102.302 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 2395
/proc/meminfo: memFree=1707368/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=164056 CPUtime=102.18
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 43264 0 0 0 10082 136 0 0 25 0 1 0 181987521 167993344 40577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 41014 40577 136 292 0 40719 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 164056

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1621864/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=250004 CPUtime=162.15
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 64740 0 0 0 16018 197 0 0 25 0 1 0 181987521 256004096 62053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 62501 62053 136 292 0 62206 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 250004

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1553832/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=317512 CPUtime=222.14
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 81581 0 0 0 21970 244 0 0 25 0 1 0 181987521 325132288 78894 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 79378 78894 136 292 0 79083 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 317512

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1480680/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=391052 CPUtime=282.12
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 99965 0 0 0 27912 300 0 0 25 0 1 0 181987521 400437248 97278 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 97763 97278 136 292 0 97468 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 391052

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1409704/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=461532 CPUtime=342.11
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 117585 0 0 0 33855 356 0 0 25 0 1 0 181987521 472608768 114898 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 115383 114898 136 292 0 115088 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 461532

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1346408/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=524832 CPUtime=402.09
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 133394 0 0 0 39812 397 0 0 25 0 1 0 181987521 537427968 130707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 131208 130707 136 292 0 130913 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 524832

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1272552/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=598536 CPUtime=462.07
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 151790 0 0 0 45764 443 0 0 25 0 1 0 181987521 612900864 149103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 149634 149103 136 292 0 149339 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 598536

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1200296/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=671036 CPUtime=522.05
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 169922 0 0 0 51712 493 0 0 25 0 1 0 181987521 687140864 167235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 167759 167235 136 292 0 167464 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 671036

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1130664/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=740208 CPUtime=582.04
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 187200 0 0 0 57664 540 0 0 25 0 1 0 181987521 757972992 184513 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 185052 184513 136 292 0 184757 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 740208

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1069672/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=801716 CPUtime=642.02
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 202569 0 0 0 63629 573 0 0 25 0 1 0 181987521 820957184 199882 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 200429 199882 136 292 0 200134 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 801716

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=1009448/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=861388 CPUtime=702
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 217453 0 0 0 69591 609 0 0 25 0 1 0 181987521 882061312 214766 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 215347 214766 136 292 0 215052 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 861388

[startup+762.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=940264/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=929764 CPUtime=761.99
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 234559 0 0 0 75539 660 0 0 25 0 1 0 181987521 952078336 231872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 232441 231872 136 292 0 232146 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 929764

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=873448/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=997240 CPUtime=821.96
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 251383 0 0 0 81489 707 0 0 25 0 1 0 181987521 1021173760 248696 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 249310 248696 136 292 0 249015 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 997240

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=817768/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1052440 CPUtime=881.95
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 265178 0 0 0 87452 743 0 0 25 0 1 0 181987521 1077698560 262491 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 263110 262491 136 292 0 262815 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 1052440

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=763048/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1107316 CPUtime=941.93
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 278870 0 0 0 93410 783 0 0 25 0 1 0 181987521 1133891584 276183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 276829 276183 136 292 0 276534 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1107316

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=702824/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1167256 CPUtime=1001.91
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 293859 0 0 0 99363 828 0 0 25 0 1 0 181987521 1195270144 291172 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 291814 291172 136 292 0 291519 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 1167256

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=637544/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1233004 CPUtime=1061.89
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 310312 0 0 0 105318 871 0 0 25 0 1 0 181987521 1262596096 307625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 308251 307625 136 292 0 307956 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1233004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=578536/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1291432 CPUtime=1121.88
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 324879 0 0 0 111287 901 0 0 25 0 1 0 181987521 1322426368 322192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 322858 322192 136 292 0 322563 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1291432

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=509544/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1360816 CPUtime=1181.86
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 342252 0 0 0 117245 941 0 0 25 0 1 0 181987521 1393475584 339565 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 340204 339565 136 292 0 339909 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1360816

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=441896/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1427560 CPUtime=1241.84
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 358932 0 0 0 123201 983 0 0 25 0 1 0 181987521 1461821440 356245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 356890 356245 136 292 0 356595 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1427560

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=383016/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1487040 CPUtime=1301.82
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 373787 0 0 0 129161 1021 0 0 25 0 1 0 181987521 1522728960 371100 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 371760 371100 136 292 0 371465 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1487040

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=314856/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1554524 CPUtime=1361.81
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 390644 0 0 0 135113 1068 0 0 25 0 1 0 181987521 1591832576 387957 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 388631 387957 136 292 0 388336 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1554524

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=258216/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1610576 CPUtime=1421.8
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 404655 0 0 0 141076 1104 0 0 25 0 1 0 181987521 1649229824 401968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 402644 401968 136 292 0 402349 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1610576

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=195560/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1673732 CPUtime=1481.77
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 420410 0 0 0 147039 1138 0 0 25 0 1 0 181987521 1713901568 417723 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 418433 417723 136 292 0 418138 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1673732

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=132328/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1736412 CPUtime=1541.75
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 436087 0 0 0 152998 1177 0 0 25 0 1 0 181987521 1778085888 433400 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 434103 433400 136 292 0 433808 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1736412

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=79400/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1790128 CPUtime=1601.74
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 449452 0 0 0 158966 1208 0 0 25 0 1 0 181987521 1833091072 446765 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 447532 446765 136 292 0 447237 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1790128



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1652.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=25256/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=1843324 CPUtime=1652.12
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4194304 462758 0 0 0 163974 1238 0 0 25 0 1 0 181987521 1887563776 460071 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 460831 460071 136 292 0 460536 0
Current children cumulated CPU time (s) 1652.12
Current children cumulated vsize (KiB) 1843324

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

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

[startup+1652.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 2395
/proc/meminfo: memFree=25256/2055920 swapFree=4191900/4192956
[pid=2394] ppid=2392 vsize=0 CPUtime=1652.32
/proc/2394/stat : 2394 (wbo) R 2392 2394 2351 0 -1 4195332 462758 0 0 0 163974 1258 0 0 25 0 1 0 181987521 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2394/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1652.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1652.99
CPU time (s): 1652.41
CPU user time (s): 1639.74
CPU system time (s): 12.6691
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1843324

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

runsolver used 1.23581 second user time and 3.48647 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 11:17:48
IDJOB=1875588
IDBENCH=1982
IDSOLVER=698
FILE ID=node9/1875588-1245143868
PBS_JOBID= 9363758
Free space on /tmp= 66160 MiB

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

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

MD5SUM BENCH= e9984c89af246abdf2b2a4294753ea30
RANDOM SEED=1901365784

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1870400 kB
Buffers:         25952 kB
Cached:          93944 kB
SwapCached:        260 kB
Active:          17364 kB
Inactive:       115184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870400 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2644 kB
Writeback:           0 kB
Mapped:          21852 kB
Slab:            39080 kB
Committed_AS:   154272 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875588-1245143868.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 11:45:23