Trace number 1875536

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? (TO) 1800.26 1800.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f2000.opb
MD5SUMfad56081e554a0467e4020315c4dfc76
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4000
Total number of constraints10500
Number of constraints which are clauses10500
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 constraint3
Number of terms in the objective function 4000
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 4000
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4000
Number of bits of the biggest sum of numbers12
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-1875536-1245160551.opb.
0.00/0.00	c Instance file HOME/instance-1875536-1245160551.opb
0.00/0.00	c File size is 367884 bytes.
0.01/0.05	c Highest Coefficient sum: 4
0.01/0.05	c ============================[ Problem Statistics ]=============================
0.01/0.05	c |                                                                             |
0.01/0.05	c |  Parsing time:          0.05         s                                      |
0.01/0.05	c |  Number Variables:      4000                                                |
0.01/0.05	c |  Number Clauses:        14500                                               |
0.01/0.05	c |  Number Cardinality:    0                                                   |
0.01/0.05	c |  Number PB Constraints: 0                                                   |
0.01/0.05	c core #1
0.01/0.05	c Core size: 4	Core Weight: 1	Total Weight: 1
0.01/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.01/0.06	c core #2
0.01/0.06	c Core size: 4	Core Weight: 1	Total Weight: 2
0.01/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.01/0.07	c core #3
0.01/0.07	c Core size: 4	Core Weight: 1	Total Weight: 3
0.01/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #4
0.01/0.07	c Core size: 4	Core Weight: 1	Total Weight: 4
0.01/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.01/0.08	c core #5
0.01/0.08	c Core size: 4	Core Weight: 1	Total Weight: 5
0.01/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.01/0.09	c core #6
0.01/0.09	c Core size: 4	Core Weight: 1	Total Weight: 6
0.01/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #7
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 7
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #8
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 8
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #9
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 9
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #10
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 10
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #11
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 11
0.09/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #12
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 12
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #13
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 13
0.09/0.15	c Elapsed CPU time: 0.150977 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #14
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 14
0.09/0.16	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #15
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 15
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #16
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 16
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #17
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 17
0.09/0.19	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #18
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 18
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #19
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 19
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #20
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 20
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #21
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 21
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #22
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 22
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #23
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 23
0.19/0.24	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #24
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 24
0.19/0.25	c Elapsed CPU time: 0.245962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #25
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 25
0.19/0.25	c Elapsed CPU time: 0.254961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #26
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 26
0.19/0.26	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #27
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 27
0.19/0.27	c Elapsed CPU time: 0.271958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #28
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 28
0.19/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #29
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 29
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #30
0.29/0.30	c Core size: 4	Core Weight: 1	Total Weight: 30
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #31
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 31
0.29/0.31	c Elapsed CPU time: 0.306953 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #32
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 32
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #33
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 33
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #34
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 34
0.29/0.33	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #35
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 35
0.29/0.34	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #36
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 36
0.29/0.35	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #37
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 37
0.29/0.36	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #38
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 38
0.29/0.37	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #39
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 39
0.29/0.37	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #40
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 40
0.29/0.38	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #41
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 41
0.29/0.39	c Elapsed CPU time: 0.39194 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #42
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 42
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #43
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 43
0.39/0.41	c Elapsed CPU time: 0.408937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #44
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 44
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #45
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 45
0.39/0.43	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #46
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 46
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #47
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 47
0.39/0.44	c Elapsed CPU time: 0.442932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #48
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 48
0.39/0.45	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #49
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 49
0.39/0.46	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #50
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 50
0.39/0.47	c Elapsed CPU time: 0.468928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #51
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 51
0.39/0.48	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #52
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 52
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.50	c core #53
0.39/0.50	c Core size: 4	Core Weight: 1	Total Weight: 53
0.39/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #54
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 54
0.49/0.50	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #55
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 55
0.49/0.51	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #56
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 56
0.49/0.52	c Elapsed CPU time: 0.52192 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #57
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 57
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #58
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 58
0.49/0.54	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #59
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 59
0.49/0.55	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #60
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 60
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #61
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 61
0.49/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #62
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 62
0.49/0.57	c Elapsed CPU time: 0.573912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #63
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 63
0.49/0.58	c Elapsed CPU time: 0.581911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #64
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 64
0.49/0.59	c Elapsed CPU time: 0.59091 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #65
0.59/0.60	c Core size: 4	Core Weight: 1	Total Weight: 65
0.59/0.60	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #66
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 66
0.59/0.61	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #67
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 67
0.59/0.62	c Elapsed CPU time: 0.616906 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #68
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 68
0.59/0.63	c Elapsed CPU time: 0.625904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #69
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 69
0.59/0.63	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #70
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 70
0.59/0.64	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #71
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 71
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #72
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 72
0.59/0.66	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #73
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 73
0.59/0.67	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #74
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 74
0.59/0.68	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #75
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 75
0.59/0.69	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 1799.31 s
0.59/0.70	c core #76
0.59/0.70	c Core size: 4	Core Weight: 1	Total Weight: 76
0.59/0.70	c Elapsed CPU time: 0.696894 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #77
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 77
0.69/0.71	c Elapsed CPU time: 0.705892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #78
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 78
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #79
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 79
0.69/0.72	c Elapsed CPU time: 0.72289 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #80
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: 80
0.69/0.73	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #81
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 81
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #82
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 82
0.69/0.75	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #83
0.69/0.76	c Core size: 4	Core Weight: 1	Total Weight: 83
0.69/0.76	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #84
0.69/0.77	c Core size: 4	Core Weight: 1	Total Weight: 84
0.69/0.77	c Elapsed CPU time: 0.767883 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #85
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 85
0.69/0.78	c Elapsed CPU time: 0.775882 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #86
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 86
0.69/0.79	c Elapsed CPU time: 0.78488 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #87
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 87
0.69/0.79	c Elapsed CPU time: 0.793879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #88
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: 88
0.79/0.80	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #89
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 89
0.79/0.81	c Elapsed CPU time: 0.811876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #90
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 90
0.79/0.82	c Elapsed CPU time: 0.820875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #91
0.79/0.83	c Core size: 4	Core Weight: 1	Total Weight: 91
0.79/0.83	c Elapsed CPU time: 0.829873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #92
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 92
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #93
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 93
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #94
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 94
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #95
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 95
0.79/0.87	c Elapsed CPU time: 0.865868 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #96
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 96
0.79/0.88	c Elapsed CPU time: 0.874867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #97
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 97
0.79/0.88	c Elapsed CPU time: 0.883865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #98
0.79/0.89	c Core size: 4	Core Weight: 1	Total Weight: 98
0.79/0.89	c Elapsed CPU time: 0.892864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #99
0.89/0.90	c Core size: 4	Core Weight: 1	Total Weight: 99
0.89/0.90	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #100
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 100
0.89/0.91	c Elapsed CPU time: 0.912861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #101
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 101
0.89/0.92	c Elapsed CPU time: 0.922859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #102
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 102
0.89/0.93	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #103
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 103
0.89/0.94	c Elapsed CPU time: 0.942856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #104
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 104
0.89/0.95	c Elapsed CPU time: 0.951855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #105
0.89/0.96	c Core size: 4	Core Weight: 1	Total Weight: 105
0.89/0.96	c Elapsed CPU time: 0.960853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #106
0.89/0.97	c Core size: 4	Core Weight: 1	Total Weight: 106
0.89/0.97	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #107
0.89/0.98	c Core size: 4	Core Weight: 1	Total Weight: 107
0.89/0.98	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #108
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: 108
0.89/0.99	c Elapsed CPU time: 0.989849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #109
0.89/1.00	c Core size: 4	Core Weight: 1	Total Weight: 109
0.89/1.00	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 1799 s
1.00/1.01	c core #110
1.00/1.01	c Core size: 4	Core Weight: 1	Total Weight: 110
1.00/1.01	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 1798.99 s
1.00/1.02	c core #111
1.00/1.02	c Core size: 4	Core Weight: 1	Total Weight: 111
1.00/1.02	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 1798.98 s
1.00/1.03	c core #112
1.00/1.03	c Core size: 4	Core Weight: 1	Total Weight: 112
1.00/1.03	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #113
1.00/1.04	c Core size: 4	Core Weight: 1	Total Weight: 113
1.00/1.04	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #114
1.00/1.05	c Core size: 4	Core Weight: 1	Total Weight: 114
1.00/1.05	c Elapsed CPU time: 1.04684 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #115
1.00/1.06	c Core size: 4	Core Weight: 1	Total Weight: 115
1.00/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #116
1.00/1.07	c Core size: 4	Core Weight: 1	Total Weight: 116
1.00/1.07	c Elapsed CPU time: 1.06584 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #117
1.00/1.08	c Core size: 4	Core Weight: 1	Total Weight: 117
1.00/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
1.00/1.09	c core #118
1.00/1.09	c Core size: 4	Core Weight: 1	Total Weight: 118
1.00/1.09	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
1.00/1.10	c core #119
1.00/1.10	c Core size: 4	Core Weight: 1	Total Weight: 119
1.00/1.10	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 1798.91 s
1.09/1.11	c core #120
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: 120
1.09/1.11	c Elapsed CPU time: 1.10583 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #121
1.09/1.12	c Core size: 4	Core Weight: 1	Total Weight: 121
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.13	c core #122
1.09/1.13	c Core size: 4	Core Weight: 1	Total Weight: 122
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.14	c core #123
1.09/1.14	c Core size: 4	Core Weight: 1	Total Weight: 123
1.09/1.14	c Elapsed CPU time: 1.13583 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #124
1.09/1.15	c Core size: 4	Core Weight: 1	Total Weight: 124
1.09/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #125
1.09/1.16	c Core size: 4	Core Weight: 1	Total Weight: 125
1.09/1.16	c Elapsed CPU time: 1.15482 s	Remaining CPU time: 1798.85 s
1.09/1.17	c core #126
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: 126
1.09/1.17	c Elapsed CPU time: 1.16482 s	Remaining CPU time: 1798.84 s
1.09/1.18	c core #127
1.09/1.18	c Core size: 4	Core Weight: 1	Total Weight: 127
1.09/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #128
1.09/1.19	c Core size: 4	Core Weight: 1	Total Weight: 128
1.09/1.19	c Elapsed CPU time: 1.18582 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #129
1.19/1.20	c Core size: 4	Core Weight: 1	Total Weight: 129
1.19/1.20	c Elapsed CPU time: 1.19582 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #130
1.19/1.21	c Core size: 4	Core Weight: 1	Total Weight: 130
1.19/1.21	c Elapsed CPU time: 1.20582 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #131
1.19/1.22	c Core size: 4	Core Weight: 1	Total Weight: 131
1.19/1.22	c Elapsed CPU time: 1.21582 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #132
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: 132
1.19/1.23	c Elapsed CPU time: 1.22481 s	Remaining CPU time: 1798.78 s
1.19/1.24	c core #133
1.19/1.24	c Core size: 4	Core Weight: 1	Total Weight: 133
1.19/1.24	c Elapsed CPU time: 1.23381 s	Remaining CPU time: 1798.77 s
1.19/1.25	c core #134
1.19/1.25	c Core size: 4	Core Weight: 1	Total Weight: 134
1.19/1.25	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #135
1.19/1.26	c Core size: 4	Core Weight: 1	Total Weight: 135
1.19/1.26	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.19/1.27	c core #136
1.19/1.27	c Core size: 4	Core Weight: 1	Total Weight: 136
1.19/1.27	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 1798.74 s
1.19/1.28	c core #137
1.19/1.28	c Core size: 4	Core Weight: 1	Total Weight: 137
1.19/1.28	c Elapsed CPU time: 1.27381 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #138
1.19/1.29	c Core size: 4	Core Weight: 1	Total Weight: 138
1.19/1.29	c Elapsed CPU time: 1.2838 s	Remaining CPU time: 1798.72 s
1.19/1.30	c core #139
1.19/1.30	c Core size: 4	Core Weight: 1	Total Weight: 139
1.19/1.30	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #140
1.29/1.31	c Core size: 4	Core Weight: 1	Total Weight: 140
1.29/1.31	c Elapsed CPU time: 1.3038 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #141
1.29/1.32	c Core size: 4	Core Weight: 1	Total Weight: 141
1.29/1.32	c Elapsed CPU time: 1.3138 s	Remaining CPU time: 1798.69 s
1.29/1.33	c core #142
1.29/1.33	c Core size: 4	Core Weight: 1	Total Weight: 142
1.29/1.33	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #143
1.29/1.34	c Core size: 4	Core Weight: 1	Total Weight: 143
1.29/1.34	c Elapsed CPU time: 1.3338 s	Remaining CPU time: 1798.67 s
1.29/1.35	c core #144
1.29/1.35	c Core size: 4	Core Weight: 1	Total Weight: 144
1.29/1.35	c Elapsed CPU time: 1.34479 s	Remaining CPU time: 1798.66 s
1.29/1.36	c core #145
1.29/1.36	c Core size: 4	Core Weight: 1	Total Weight: 145
1.29/1.36	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 1798.65 s
1.29/1.37	c core #146
1.29/1.37	c Core size: 4	Core Weight: 1	Total Weight: 146
1.29/1.37	c Elapsed CPU time: 1.36479 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #147
1.29/1.38	c Core size: 4	Core Weight: 1	Total Weight: 147
1.29/1.38	c Elapsed CPU time: 1.37379 s	Remaining CPU time: 1798.63 s
1.29/1.39	c core #148
1.29/1.39	c Core size: 4	Core Weight: 1	Total Weight: 148
1.29/1.39	c Elapsed CPU time: 1.38379 s	Remaining CPU time: 1798.62 s
1.39/1.40	c core #149
1.39/1.40	c Core size: 4	Core Weight: 1	Total Weight: 149
1.39/1.40	c Elapsed CPU time: 1.39279 s	Remaining CPU time: 1798.61 s
1.39/1.41	c core #150
1.39/1.41	c Core size: 4	Core Weight: 1	Total Weight: 150
1.39/1.41	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.39/1.42	c core #151
1.39/1.42	c Core size: 4	Core Weight: 1	Total Weight: 151
1.39/1.42	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.39/1.43	c core #152
1.39/1.43	c Core size: 4	Core Weight: 1	Total Weight: 152
1.39/1.43	c Elapsed CPU time: 1.42278 s	Remaining CPU time: 1798.58 s
1.39/1.44	c core #153
1.39/1.44	c Core size: 4	Core Weight: 1	Total Weight: 153
1.39/1.44	c Elapsed CPU time: 1.43278 s	Remaining CPU time: 1798.57 s
1.39/1.45	c core #154
1.39/1.45	c Core size: 4	Core Weight: 1	Total Weight: 154
1.39/1.45	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.39/1.46	c core #155
1.39/1.46	c Core size: 4	Core Weight: 1	Total Weight: 155
1.39/1.46	c Elapsed CPU time: 1.45178 s	Remaining CPU time: 1798.55 s
1.39/1.47	c core #156
1.39/1.47	c Core size: 4	Core Weight: 1	Total Weight: 156
1.39/1.47	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.39/1.48	c core #157
1.39/1.48	c Core size: 4	Core Weight: 1	Total Weight: 157
1.39/1.48	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #158
1.39/1.49	c Core size: 4	Core Weight: 1	Total Weight: 158
1.39/1.49	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #159
1.48/1.50	c Core size: 4	Core Weight: 1	Total Weight: 159
1.48/1.50	c Elapsed CPU time: 1.49377 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #160
1.48/1.51	c Core size: 4	Core Weight: 1	Total Weight: 160
1.48/1.51	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #161
1.48/1.52	c Core size: 4	Core Weight: 1	Total Weight: 161
1.48/1.52	c Elapsed CPU time: 1.51377 s	Remaining CPU time: 1798.49 s
1.48/1.53	c core #162
1.48/1.53	c Core size: 4	Core Weight: 1	Total Weight: 162
1.48/1.53	c Elapsed CPU time: 1.52377 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #163
1.48/1.54	c Core size: 4	Core Weight: 1	Total Weight: 163
1.48/1.54	c Elapsed CPU time: 1.53377 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #164
1.48/1.55	c Core size: 4	Core Weight: 1	Total Weight: 164
1.48/1.55	c Elapsed CPU time: 1.54377 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #165
1.48/1.56	c Core size: 4	Core Weight: 1	Total Weight: 165
1.48/1.56	c Elapsed CPU time: 1.55276 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #166
1.48/1.57	c Core size: 4	Core Weight: 1	Total Weight: 166
1.48/1.57	c Elapsed CPU time: 1.56376 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #167
1.48/1.58	c Core size: 4	Core Weight: 1	Total Weight: 167
1.48/1.58	c Elapsed CPU time: 1.57376 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #168
1.48/1.59	c Core size: 4	Core Weight: 1	Total Weight: 168
1.48/1.59	c Elapsed CPU time: 1.58376 s	Remaining CPU time: 1798.42 s
1.58/1.60	c core #169
1.58/1.60	c Core size: 4	Core Weight: 1	Total Weight: 169
1.58/1.60	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.58/1.61	c core #170
1.58/1.61	c Core size: 4	Core Weight: 1	Total Weight: 170
1.58/1.61	c Elapsed CPU time: 1.60376 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #171
1.58/1.62	c Core size: 4	Core Weight: 1	Total Weight: 171
1.58/1.62	c Elapsed CPU time: 1.61375 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #172
1.58/1.63	c Core size: 4	Core Weight: 1	Total Weight: 172
1.58/1.63	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #173
1.58/1.64	c Core size: 4	Core Weight: 1	Total Weight: 173
1.58/1.64	c Elapsed CPU time: 1.63375 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #174
1.58/1.65	c Core size: 4	Core Weight: 1	Total Weight: 174
1.58/1.65	c Elapsed CPU time: 1.64475 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #175
1.58/1.66	c Core size: 4	Core Weight: 1	Total Weight: 175
1.58/1.66	c Elapsed CPU time: 1.65375 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #176
1.58/1.67	c Core size: 4	Core Weight: 1	Total Weight: 176
1.58/1.67	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #177
1.58/1.68	c Core size: 4	Core Weight: 1	Total Weight: 177
1.58/1.68	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #178
1.58/1.69	c Core size: 4	Core Weight: 1	Total Weight: 178
1.58/1.69	c Elapsed CPU time: 1.68474 s	Remaining CPU time: 1798.32 s
1.68/1.70	c core #179
1.68/1.70	c Core size: 4	Core Weight: 1	Total Weight: 179
1.68/1.70	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #180
1.68/1.71	c Core size: 4	Core Weight: 1	Total Weight: 180
1.68/1.71	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #181
1.68/1.73	c Core size: 4	Core Weight: 1	Total Weight: 181
1.68/1.73	c Elapsed CPU time: 1.71474 s	Remaining CPU time: 1798.29 s
1.68/1.74	c core #182
1.68/1.74	c Core size: 4	Core Weight: 1	Total Weight: 182
1.68/1.74	c Elapsed CPU time: 1.72474 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #183
1.68/1.75	c Core size: 4	Core Weight: 1	Total Weight: 183
1.68/1.75	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #184
1.68/1.76	c Core size: 4	Core Weight: 1	Total Weight: 184
1.68/1.76	c Elapsed CPU time: 1.74473 s	Remaining CPU time: 1798.26 s
1.68/1.77	c core #185
1.68/1.77	c Core size: 4	Core Weight: 1	Total Weight: 185
1.68/1.77	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #186
1.68/1.78	c Core size: 4	Core Weight: 1	Total Weight: 186
1.68/1.78	c Elapsed CPU time: 1.76473 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #187
1.68/1.79	c Core size: 4	Core Weight: 1	Total Weight: 187
1.68/1.79	c Elapsed CPU time: 1.77473 s	Remaining CPU time: 1798.23 s
1.68/1.80	c core #188
1.68/1.80	c Core size: 4	Core Weight: 1	Total Weight: 188
1.68/1.80	c Elapsed CPU time: 1.78473 s	Remaining CPU time: 1798.22 s
1.78/1.81	c core #189
1.78/1.81	c Core size: 4	Core Weight: 1	Total Weight: 189
1.78/1.81	c Elapsed CPU time: 1.79473 s	Remaining CPU time: 1798.21 s
1.78/1.82	c core #190
1.78/1.82	c Core size: 4	Core Weight: 1	Total Weight: 190
1.78/1.82	c Elapsed CPU time: 1.80573 s	Remaining CPU time: 1798.19 s
1.78/1.83	c core #191
1.78/1.83	c Core size: 4	Core Weight: 1	Total Weight: 191
1.78/1.83	c Elapsed CPU time: 1.81572 s	Remaining CPU time: 1798.18 s
1.78/1.84	c core #192
1.78/1.84	c Core size: 4	Core Weight: 1	Total Weight: 192
1.78/1.84	c Elapsed CPU time: 1.82572 s	Remaining CPU time: 1798.17 s
1.78/1.85	c core #193
1.78/1.85	c Core size: 4	Core Weight: 1	Total Weight: 193
1.78/1.85	c Elapsed CPU time: 1.83572 s	Remaining CPU time: 1798.16 s
1.78/1.86	c core #194
1.78/1.86	c Core size: 4	Core Weight: 1	Total Weight: 194
1.78/1.86	c Elapsed CPU time: 1.84672 s	Remaining CPU time: 1798.15 s
1.78/1.87	c core #195
1.78/1.87	c Core size: 4	Core Weight: 1	Total Weight: 195
1.78/1.87	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.78/1.88	c core #196
1.78/1.88	c Core size: 4	Core Weight: 1	Total Weight: 196
1.78/1.88	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 1798.13 s
1.78/1.89	c core #197
1.78/1.89	c Core size: 4	Core Weight: 1	Total Weight: 197
1.78/1.89	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.88/1.90	c core #198
1.88/1.90	c Core size: 4	Core Weight: 1	Total Weight: 198
1.88/1.90	c Elapsed CPU time: 1.88871 s	Remaining CPU time: 1798.11 s
1.88/1.91	c core #199
1.88/1.91	c Core size: 4	Core Weight: 1	Total Weight: 199
1.88/1.91	c Elapsed CPU time: 1.89871 s	Remaining CPU time: 1798.1 s
1.88/1.92	c core #200
1.88/1.92	c Core size: 4	Core Weight: 1	Total Weight: 200
1.88/1.92	c Elapsed CPU time: 1.90871 s	Remaining CPU time: 1798.09 s
1.88/1.93	c core #201
1.88/1.93	c Core size: 4	Core Weight: 1	Total Weight: 201
1.88/1.93	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 1798.08 s
1.88/1.94	c core #202
1.88/1.94	c Core size: 4	Core Weight: 1	Total Weight: 202
1.88/1.94	c Elapsed CPU time: 1.92871 s	Remaining CPU time: 1798.07 s
1.88/1.95	c core #203
1.88/1.95	c Core size: 4	Core Weight: 1	Total Weight: 203
1.88/1.95	c Elapsed CPU time: 1.93771 s	Remaining CPU time: 1798.06 s
1.88/1.96	c core #204
1.88/1.96	c Core size: 4	Core Weight: 1	Total Weight: 204
1.88/1.96	c Elapsed CPU time: 1.9487 s	Remaining CPU time: 1798.05 s
1.88/1.97	c core #205
1.88/1.97	c Core size: 4	Core Weight: 1	Total Weight: 205
1.88/1.97	c Elapsed CPU time: 1.9587 s	Remaining CPU time: 1798.04 s
1.88/1.98	c core #206
1.88/1.98	c Core size: 4	Core Weight: 1	Total Weight: 206
1.88/1.98	c Elapsed CPU time: 1.9697 s	Remaining CPU time: 1798.03 s
1.88/1.99	c core #207
1.88/1.99	c Core size: 4	Core Weight: 1	Total Weight: 207
1.88/1.99	c Elapsed CPU time: 1.9797 s	Remaining CPU time: 1798.02 s
1.99/2.01	c core #208
1.99/2.01	c Core size: 4	Core Weight: 1	Total Weight: 208
1.99/2.01	c Elapsed CPU time: 1.9907 s	Remaining CPU time: 1798.01 s
1.99/2.02	c core #209
1.99/2.02	c Core size: 4	Core Weight: 1	Total Weight: 209
1.99/2.02	c Elapsed CPU time: 2.00069 s	Remaining CPU time: 1798 s
1.99/2.03	c core #210
1.99/2.03	c Core size: 4	Core Weight: 1	Total Weight: 210
1.99/2.03	c Elapsed CPU time: 2.01169 s	Remaining CPU time: 1797.99 s
1.99/2.04	c core #211
1.99/2.04	c Core size: 4	Core Weight: 1	Total Weight: 211
1.99/2.04	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.99/2.05	c core #212
1.99/2.05	c Core size: 4	Core Weight: 1	Total Weight: 212
1.99/2.05	c Elapsed CPU time: 2.03169 s	Remaining CPU time: 1797.97 s
1.99/2.06	c core #213
1.99/2.06	c Core size: 4	Core Weight: 1	Total Weight: 213
1.99/2.06	c Elapsed CPU time: 2.04169 s	Remaining CPU time: 1797.96 s
1.99/2.07	c core #214
1.99/2.07	c Core size: 4	Core Weight: 1	Total Weight: 214
1.99/2.07	c Elapsed CPU time: 2.05169 s	Remaining CPU time: 1797.95 s
1.99/2.08	c core #215
1.99/2.08	c Core size: 4	Core Weight: 1	Total Weight: 215
1.99/2.08	c Elapsed CPU time: 2.06169 s	Remaining CPU time: 1797.94 s
1.99/2.09	c core #216
1.99/2.09	c Core size: 4	Core Weight: 1	Total Weight: 216
1.99/2.09	c Elapsed CPU time: 2.07268 s	Remaining CPU time: 1797.93 s
1.99/2.10	c core #217
1.99/2.10	c Core size: 4	Core Weight: 1	Total Weight: 217
1.99/2.10	c Elapsed CPU time: 2.08268 s	Remaining CPU time: 1797.92 s
2.09/2.11	c core #218
2.09/2.11	c Core size: 4	Core Weight: 1	Total Weight: 218
2.09/2.11	c Elapsed CPU time: 2.09368 s	Remaining CPU time: 1797.91 s
2.09/2.12	c core #219
2.09/2.12	c Core size: 4	Core Weight: 1	Total Weight: 219
2.09/2.12	c Elapsed CPU time: 2.10468 s	Remaining CPU time: 1797.9 s
2.09/2.13	c core #220
2.09/2.13	c Core size: 4	Core Weight: 1	Total Weight: 220
2.09/2.13	c Elapsed CPU time: 2.11468 s	Remaining CPU time: 1797.89 s
2.09/2.14	c core #221
2.09/2.14	c Core size: 4	Core Weight: 1	Total Weight: 221
2.09/2.14	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.09/2.15	c core #222
2.09/2.15	c Core size: 4	Core Weight: 1	Total Weight: 222
2.09/2.15	c Elapsed CPU time: 2.13567 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #223
2.09/2.16	c Core size: 4	Core Weight: 1	Total Weight: 223
2.09/2.16	c Elapsed CPU time: 2.14567 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #224
2.09/2.17	c Core size: 4	Core Weight: 1	Total Weight: 224
2.09/2.17	c Elapsed CPU time: 2.15667 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #225
2.09/2.18	c Core size: 4	Core Weight: 1	Total Weight: 225
2.09/2.18	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 1797.83 s
2.09/2.20	c core #226
2.09/2.20	c Core size: 4	Core Weight: 1	Total Weight: 226
2.09/2.20	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 1797.82 s
2.19/2.21	c core #227
2.19/2.21	c Core size: 4	Core Weight: 1	Total Weight: 227
2.19/2.21	c Elapsed CPU time: 2.18767 s	Remaining CPU time: 1797.81 s
2.19/2.22	c core #228
2.19/2.22	c Core size: 4	Core Weight: 1	Total Weight: 228
2.19/2.22	c Elapsed CPU time: 2.19867 s	Remaining CPU time: 1797.8 s
2.19/2.23	c core #229
2.19/2.23	c Core size: 4	Core Weight: 1	Total Weight: 229
2.19/2.23	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 1797.79 s
2.19/2.24	c core #230
2.19/2.24	c Core size: 4	Core Weight: 1	Total Weight: 230
2.19/2.24	c Elapsed CPU time: 2.22066 s	Remaining CPU time: 1797.78 s
2.19/2.25	c core #231
2.19/2.25	c Core size: 4	Core Weight: 1	Total Weight: 231
2.19/2.25	c Elapsed CPU time: 2.23066 s	Remaining CPU time: 1797.77 s
2.19/2.26	c core #232
2.19/2.26	c Core size: 4	Core Weight: 1	Total Weight: 232
2.19/2.26	c Elapsed CPU time: 2.24166 s	Remaining CPU time: 1797.76 s
2.19/2.27	c core #233
2.19/2.27	c Core size: 4	Core Weight: 1	Total Weight: 233
2.19/2.27	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.19/2.28	c core #234
2.19/2.28	c Core size: 4	Core Weight: 1	Total Weight: 234
2.19/2.28	c Elapsed CPU time: 2.26365 s	Remaining CPU time: 1797.74 s
2.19/2.29	c core #235
2.19/2.29	c Core size: 4	Core Weight: 1	Total Weight: 235
2.19/2.29	c Elapsed CPU time: 2.27365 s	Remaining CPU time: 1797.73 s
2.28/2.31	c core #236
2.28/2.31	c Core size: 4	Core Weight: 1	Total Weight: 236
2.28/2.31	c Elapsed CPU time: 2.28465 s	Remaining CPU time: 1797.72 s
2.28/2.32	c core #237
2.28/2.32	c Core size: 4	Core Weight: 1	Total Weight: 237
2.28/2.32	c Elapsed CPU time: 2.29565 s	Remaining CPU time: 1797.7 s
2.28/2.33	c core #238
2.28/2.33	c Core size: 4	Core Weight: 1	Total Weight: 238
2.28/2.33	c Elapsed CPU time: 2.30665 s	Remaining CPU time: 1797.69 s
2.28/2.34	c core #239
2.28/2.34	c Core size: 4	Core Weight: 1	Total Weight: 239
2.28/2.34	c Elapsed CPU time: 2.31765 s	Remaining CPU time: 1797.68 s
2.28/2.35	c core #240
2.28/2.35	c Core size: 4	Core Weight: 1	Total Weight: 240
2.28/2.35	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 1797.67 s
2.28/2.36	c core #241
2.28/2.36	c Core size: 4	Core Weight: 1	Total Weight: 241
2.28/2.36	c Elapsed CPU time: 2.33964 s	Remaining CPU time: 1797.66 s
2.28/2.37	c core #242
2.28/2.37	c Core size: 4	Core Weight: 1	Total Weight: 242
2.28/2.37	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 1797.65 s
2.28/2.38	c core #243
2.28/2.38	c Core size: 4	Core Weight: 1	Total Weight: 243
2.28/2.38	c Elapsed CPU time: 2.36164 s	Remaining CPU time: 1797.64 s
2.28/2.39	c core #244
2.28/2.39	c Core size: 4	Core Weight: 1	Total Weight: 244
2.28/2.39	c Elapsed CPU time: 2.37264 s	Remaining CPU time: 1797.63 s
2.38/2.40	c core #245
2.38/2.40	c Core size: 4	Core Weight: 1	Total Weight: 245
2.38/2.40	c Elapsed CPU time: 2.38364 s	Remaining CPU time: 1797.62 s
2.38/2.42	c core #246
2.38/2.42	c Core size: 4	Core Weight: 1	Total Weight: 246
2.38/2.42	c Elapsed CPU time: 2.39464 s	Remaining CPU time: 1797.61 s
2.38/2.43	c core #247
2.38/2.43	c Core size: 4	Core Weight: 1	Total Weight: 247
2.38/2.43	c Elapsed CPU time: 2.40563 s	Remaining CPU time: 1797.59 s
2.38/2.44	c core #248
2.38/2.44	c Core size: 4	Core Weight: 1	Total Weight: 248
2.38/2.44	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 1797.58 s
2.38/2.45	c core #249
2.38/2.45	c Core size: 4	Core Weight: 1	Total Weight: 249
2.38/2.45	c Elapsed CPU time: 2.42763 s	Remaining CPU time: 1797.57 s
2.38/2.46	c core #250
2.38/2.46	c Core size: 4	Core Weight: 1	Total Weight: 250
2.38/2.46	c Elapsed CPU time: 2.43963 s	Remaining CPU time: 1797.56 s
2.38/2.47	c core #251
2.38/2.47	c Core size: 4	Core Weight: 1	Total Weight: 251
2.38/2.47	c Elapsed CPU time: 2.45063 s	Remaining CPU time: 1797.55 s
2.38/2.48	c core #252
2.38/2.48	c Core size: 4	Core Weight: 1	Total Weight: 252
2.38/2.48	c Elapsed CPU time: 2.46263 s	Remaining CPU time: 1797.54 s
2.48/2.50	c core #253
2.48/2.50	c Core size: 4	Core Weight: 1	Total Weight: 253
2.48/2.50	c Elapsed CPU time: 2.47462 s	Remaining CPU time: 1797.53 s
2.48/2.51	c core #254
2.48/2.51	c Core size: 4	Core Weight: 1	Total Weight: 254
2.48/2.51	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 1797.51 s
2.48/2.52	c core #255
2.48/2.52	c Core size: 4	Core Weight: 1	Total Weight: 255
2.48/2.52	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.48/2.53	c core #256
2.48/2.53	c Core size: 4	Core Weight: 1	Total Weight: 256
2.48/2.53	c Elapsed CPU time: 2.50862 s	Remaining CPU time: 1797.49 s
2.48/2.54	c core #257
2.48/2.54	c Core size: 4	Core Weight: 1	Total Weight: 257
2.48/2.54	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 1797.48 s
2.48/2.55	c core #258
2.48/2.55	c Core size: 4	Core Weight: 1	Total Weight: 258
2.48/2.55	c Elapsed CPU time: 2.53161 s	Remaining CPU time: 1797.47 s
2.48/2.56	c core #259
2.48/2.56	c Core size: 4	Core Weight: 1	Total Weight: 259
2.48/2.56	c Elapsed CPU time: 2.54261 s	Remaining CPU time: 1797.46 s
2.48/2.58	c core #260
2.48/2.58	c Core size: 4	Core Weight: 1	Total Weight: 260
2.48/2.58	c Elapsed CPU time: 2.55361 s	Remaining CPU time: 1797.45 s
2.48/2.59	c core #261
2.48/2.59	c Core size: 4	Core Weight: 1	Total Weight: 261
2.48/2.59	c Elapsed CPU time: 2.56461 s	Remaining CPU time: 1797.44 s
2.58/2.60	c core #262
2.58/2.60	c Core size: 4	Core Weight: 1	Total Weight: 262
2.58/2.60	c Elapsed CPU time: 2.57561 s	Remaining CPU time: 1797.42 s
2.58/2.61	c core #263
2.58/2.61	c Core size: 4	Core Weight: 1	Total Weight: 263
2.58/2.61	c Elapsed CPU time: 2.58661 s	Remaining CPU time: 1797.41 s
2.58/2.62	c core #264
2.58/2.62	c Core size: 4	Core Weight: 1	Total Weight: 264
2.58/2.62	c Elapsed CPU time: 2.5986 s	Remaining CPU time: 1797.4 s
2.58/2.63	c core #265
2.58/2.63	c Core size: 4	Core Weight: 1	Total Weight: 265
2.58/2.63	c Elapsed CPU time: 2.6096 s	Remaining CPU time: 1797.39 s
2.58/2.64	c core #266
2.58/2.64	c Core size: 4	Core Weight: 1	Total Weight: 266
2.58/2.64	c Elapsed CPU time: 2.6216 s	Remaining CPU time: 1797.38 s
2.58/2.66	c core #267
2.58/2.66	c Core size: 4	Core Weight: 1	Total Weight: 267
2.58/2.66	c Elapsed CPU time: 2.6326 s	Remaining CPU time: 1797.37 s
2.58/2.67	c core #268
2.58/2.67	c Core size: 4	Core Weight: 1	Total Weight: 268
2.58/2.67	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.58/2.68	c core #269
2.58/2.68	c Core size: 4	Core Weight: 1	Total Weight: 269
2.58/2.68	c Elapsed CPU time: 2.6556 s	Remaining CPU time: 1797.34 s
2.58/2.69	c core #270
2.58/2.69	c Core size: 4	Core Weight: 1	Total Weight: 270
2.58/2.69	c Elapsed CPU time: 2.66659 s	Remaining CPU time: 1797.33 s
2.68/2.70	c core #271
2.68/2.70	c Core size: 4	Core Weight: 1	Total Weight: 271
2.68/2.70	c Elapsed CPU time: 2.67859 s	Remaining CPU time: 1797.32 s
2.68/2.71	c core #272
2.68/2.71	c Core size: 4	Core Weight: 1	Total Weight: 272
2.68/2.71	c Elapsed CPU time: 2.69059 s	Remaining CPU time: 1797.31 s
2.68/2.72	c core #273
2.68/2.72	c Core size: 4	Core Weight: 1	Total Weight: 273
2.68/2.72	c Elapsed CPU time: 2.70159 s	Remaining CPU time: 1797.3 s
2.68/2.74	c core #274
2.68/2.74	c Core size: 4	Core Weight: 1	Total Weight: 274
2.68/2.74	c Elapsed CPU time: 2.71359 s	Remaining CPU time: 1797.29 s
2.68/2.75	c core #275
2.68/2.75	c Core size: 4	Core Weight: 1	Total Weight: 275
2.68/2.75	c Elapsed CPU time: 2.72459 s	Remaining CPU time: 1797.28 s
2.68/2.76	c core #276
2.68/2.76	c Core size: 4	Core Weight: 1	Total Weight: 276
2.68/2.76	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.68/2.77	c core #277
2.68/2.77	c Core size: 4	Core Weight: 1	Total Weight: 277
2.68/2.77	c Elapsed CPU time: 2.74758 s	Remaining CPU time: 1797.25 s
2.68/2.78	c core #278
2.68/2.78	c Core size: 4	Core Weight: 1	Total Weight: 278
2.68/2.78	c Elapsed CPU time: 2.75958 s	Remaining CPU time: 1797.24 s
2.68/2.79	c core #279
2.68/2.79	c Core size: 4	Core Weight: 1	Total Weight: 279
2.68/2.79	c Elapsed CPU time: 2.77158 s	Remaining CPU time: 1797.23 s
2.78/2.81	c core #280
2.78/2.81	c Core size: 4	Core Weight: 1	Total Weight: 280
2.78/2.81	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.78/2.82	c core #281
2.78/2.82	c Core size: 4	Core Weight: 1	Total Weight: 281
2.78/2.82	c Elapsed CPU time: 2.79358 s	Remaining CPU time: 1797.21 s
2.78/2.83	c core #282
2.78/2.83	c Core size: 4	Core Weight: 1	Total Weight: 282
2.78/2.83	c Elapsed CPU time: 2.80557 s	Remaining CPU time: 1797.19 s
2.78/2.84	c core #283
2.78/2.84	c Core size: 4	Core Weight: 1	Total Weight: 283
2.78/2.84	c Elapsed CPU time: 2.81757 s	Remaining CPU time: 1797.18 s
2.78/2.85	c core #284
2.78/2.85	c Core size: 4	Core Weight: 1	Total Weight: 284
2.78/2.85	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.78/2.86	c core #285
2.78/2.86	c Core size: 4	Core Weight: 1	Total Weight: 285
2.78/2.87	c Elapsed CPU time: 2.84057 s	Remaining CPU time: 1797.16 s
2.78/2.88	c core #286
2.78/2.88	c Core size: 4	Core Weight: 1	Total Weight: 286
2.78/2.88	c Elapsed CPU time: 2.85257 s	Remaining CPU time: 1797.15 s
2.78/2.89	c core #287
2.78/2.89	c Core size: 4	Core Weight: 1	Total Weight: 287
2.78/2.89	c Elapsed CPU time: 2.86356 s	Remaining CPU time: 1797.14 s
2.88/2.90	c core #288
2.88/2.90	c Core size: 4	Core Weight: 1	Total Weight: 288
2.88/2.90	c Elapsed CPU time: 2.87456 s	Remaining CPU time: 1797.13 s
2.88/2.91	c core #289
2.88/2.91	c Core size: 4	Core Weight: 1	Total Weight: 289
2.88/2.91	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 1797.11 s
2.88/2.92	c core #290
2.88/2.92	c Core size: 4	Core Weight: 1	Total Weight: 290
2.88/2.92	c Elapsed CPU time: 2.89856 s	Remaining CPU time: 1797.1 s
2.88/2.94	c core #291
2.88/2.94	c Core size: 4	Core Weight: 1	Total Weight: 291
2.88/2.94	c Elapsed CPU time: 2.91156 s	Remaining CPU time: 1797.09 s
2.88/2.95	c core #292
2.88/2.95	c Core size: 4	Core Weight: 1	Total Weight: 292
2.88/2.95	c Elapsed CPU time: 2.92256 s	Remaining CPU time: 1797.08 s
2.88/2.96	c core #293
2.88/2.96	c Core size: 4	Core Weight: 1	Total Weight: 293
2.88/2.96	c Elapsed CPU time: 2.93455 s	Remaining CPU time: 1797.07 s
2.88/2.97	c core #294
2.88/2.97	c Core size: 4	Core Weight: 1	Total Weight: 294
2.88/2.97	c Elapsed CPU time: 2.94655 s	Remaining CPU time: 1797.05 s
2.88/2.99	c core #295
2.88/2.99	c Core size: 4	Core Weight: 1	Total Weight: 295
2.88/2.99	c Elapsed CPU time: 2.95855 s	Remaining CPU time: 1797.04 s
2.97/3.00	c core #296
2.97/3.00	c Core size: 4	Core Weight: 1	Total Weight: 296
2.97/3.00	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 s
2.97/3.01	c core #297
2.97/3.01	c Core size: 4	Core Weight: 1	Total Weight: 297
2.97/3.01	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 1797.02 s
2.97/3.02	c core #298
2.97/3.02	c Core size: 4	Core Weight: 1	Total Weight: 298
2.97/3.02	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 1797.01 s
2.97/3.04	c core #299
2.97/3.04	c Core size: 4	Core Weight: 1	Total Weight: 299
2.97/3.04	c Elapsed CPU time: 3.00554 s	Remaining CPU time: 1796.99 s
2.97/3.05	c core #300
2.97/3.05	c Core size: 4	Core Weight: 1	Total Weight: 300
2.97/3.05	c Elapsed CPU time: 3.01854 s	Remaining CPU time: 1796.98 s
2.97/3.06	c core #301
2.97/3.06	c Core size: 4	Core Weight: 1	Total Weight: 301
2.97/3.06	c Elapsed CPU time: 3.03054 s	Remaining CPU time: 1796.97 s
2.97/3.07	c core #302
2.97/3.07	c Core size: 4	Core Weight: 1	Total Weight: 302
2.97/3.07	c Elapsed CPU time: 3.04354 s	Remaining CPU time: 1796.96 s
2.97/3.09	c core #303
2.97/3.09	c Core size: 4	Core Weight: 1	Total Weight: 303
2.97/3.09	c Elapsed CPU time: 3.05553 s	Remaining CPU time: 1796.94 s
3.07/3.10	c core #304
3.07/3.10	c Core size: 4	Core Weight: 1	Total Weight: 304
3.07/3.10	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
3.07/3.11	c core #305
3.07/3.11	c Core size: 4	Core Weight: 1	Total Weight: 305
3.07/3.11	c Elapsed CPU time: 3.08053 s	Remaining CPU time: 1796.92 s
3.07/3.12	c core #306
3.07/3.12	c Core size: 4	Core Weight: 1	Total Weight: 306
3.07/3.12	c Elapsed CPU time: 3.09253 s	Remaining CPU time: 1796.91 s
3.07/3.14	c core #307
3.07/3.14	c Core size: 4	Core Weight: 1	Total Weight: 307
3.07/3.14	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 1796.9 s
3.07/3.15	c core #308
3.07/3.15	c Core size: 4	Core Weight: 1	Total Weight: 308
3.07/3.15	c Elapsed CPU time: 3.11653 s	Remaining CPU time: 1796.88 s
3.07/3.16	c core #309
3.07/3.16	c Core size: 4	Core Weight: 1	Total Weight: 309
3.07/3.16	c Elapsed CPU time: 3.12852 s	Remaining CPU time: 1796.87 s
3.07/3.17	c core #310
3.07/3.17	c Core size: 4	Core Weight: 1	Total Weight: 310
3.07/3.17	c Elapsed CPU time: 3.14052 s	Remaining CPU time: 1796.86 s
3.07/3.19	c core #311
3.07/3.19	c Core size: 4	Core Weight: 1	Total Weight: 311
3.07/3.19	c Elapsed CPU time: 3.15252 s	Remaining CPU time: 1796.85 s
3.18/3.20	c core #312
3.18/3.20	c Core size: 4	Core Weight: 1	Total Weight: 312
3.18/3.20	c Elapsed CPU time: 3.16552 s	Remaining CPU time: 1796.83 s
3.18/3.21	c core #313
3.18/3.21	c Core size: 4	Core Weight: 1	Total Weight: 313
3.18/3.21	c Elapsed CPU time: 3.17752 s	Remaining CPU time: 1796.82 s
3.18/3.23	c core #314
3.18/3.23	c Core size: 4	Core Weight: 1	Total Weight: 314
3.18/3.23	c Elapsed CPU time: 3.19051 s	Remaining CPU time: 1796.81 s
3.18/3.24	c core #315
3.18/3.24	c Core size: 4	Core Weight: 1	Total Weight: 315
3.18/3.24	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.18/3.25	c core #316
3.18/3.25	c Core size: 4	Core Weight: 1	Total Weight: 316
3.18/3.25	c Elapsed CPU time: 3.21551 s	Remaining CPU time: 1796.78 s
3.18/3.26	c core #317
3.18/3.26	c Core size: 4	Core Weight: 1	Total Weight: 317
3.18/3.26	c Elapsed CPU time: 3.22751 s	Remaining CPU time: 1796.77 s
3.18/3.28	c core #318
3.18/3.28	c Core size: 4	Core Weight: 1	Total Weight: 318
3.18/3.28	c Elapsed CPU time: 3.23951 s	Remaining CPU time: 1796.76 s
3.18/3.29	c core #319
3.18/3.29	c Core size: 4	Core Weight: 1	Total Weight: 319
3.18/3.29	c Elapsed CPU time: 3.25251 s	Remaining CPU time: 1796.75 s
3.28/3.30	c core #320
3.28/3.30	c Core size: 4	Core Weight: 1	Total Weight: 320
3.28/3.30	c Elapsed CPU time: 3.2655 s	Remaining CPU time: 1796.73 s
3.28/3.31	c core #321
3.28/3.31	c Core size: 4	Core Weight: 1	Total Weight: 321
3.28/3.31	c Elapsed CPU time: 3.2775 s	Remaining CPU time: 1796.72 s
3.28/3.33	c core #322
3.28/3.33	c Core size: 4	Core Weight: 1	Total Weight: 322
3.28/3.33	c Elapsed CPU time: 3.2905 s	Remaining CPU time: 1796.71 s
3.28/3.34	c core #323
3.28/3.34	c Core size: 4	Core Weight: 1	Total Weight: 323
3.28/3.34	c Elapsed CPU time: 3.3025 s	Remaining CPU time: 1796.7 s
3.28/3.35	c core #324
3.28/3.35	c Core size: 4	Core Weight: 1	Total Weight: 324
3.28/3.35	c Elapsed CPU time: 3.3165 s	Remaining CPU time: 1796.68 s
3.28/3.36	c core #325
3.28/3.36	c Core size: 4	Core Weight: 1	Total Weight: 325
3.28/3.36	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.28/3.38	c core #326
3.28/3.38	c Core size: 4	Core Weight: 1	Total Weight: 326
3.28/3.38	c Elapsed CPU time: 3.34149 s	Remaining CPU time: 1796.66 s
3.28/3.39	c core #327
3.28/3.39	c Core size: 4	Core Weight: 1	Total Weight: 327
3.28/3.39	c Elapsed CPU time: 3.35449 s	Remaining CPU time: 1796.65 s
3.37/3.40	c core #328
3.37/3.40	c Core size: 4	Core Weight: 1	Total Weight: 328
3.37/3.40	c Elapsed CPU time: 3.36749 s	Remaining CPU time: 1796.63 s
3.37/3.42	c core #329
3.37/3.42	c Core size: 4	Core Weight: 1	Total Weight: 329
3.37/3.42	c Elapsed CPU time: 3.37949 s	Remaining CPU time: 1796.62 s
3.37/3.43	c core #330
3.37/3.43	c Core size: 4	Core Weight: 1	Total Weight: 330
3.37/3.43	c Elapsed CPU time: 3.39248 s	Remaining CPU time: 1796.61 s
3.37/3.44	c core #331
3.37/3.44	c Core size: 4	Core Weight: 1	Total Weight: 331
3.37/3.44	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 1796.59 s
3.37/3.46	c core #332
3.37/3.46	c Core size: 4	Core Weight: 1	Total Weight: 332
3.37/3.46	c Elapsed CPU time: 3.41848 s	Remaining CPU time: 1796.58 s
3.37/3.47	c core #333
3.37/3.47	c Core size: 4	Core Weight: 1	Total Weight: 333
3.37/3.47	c Elapsed CPU time: 3.43148 s	Remaining CPU time: 1796.57 s
3.37/3.48	c core #334
3.37/3.48	c Core size: 4	Core Weight: 1	Total Weight: 334
3.37/3.48	c Elapsed CPU time: 3.44448 s	Remaining CPU time: 1796.56 s
3.37/3.49	c core #335
3.37/3.49	c Core size: 4	Core Weight: 1	Total Weight: 335
3.37/3.49	c Elapsed CPU time: 3.45747 s	Remaining CPU time: 1796.54 s
3.47/3.51	c core #336
3.47/3.51	c Core size: 4	Core Weight: 1	Total Weight: 336
3.47/3.51	c Elapsed CPU time: 3.47147 s	Remaining CPU time: 1796.53 s
3.47/3.52	c core #337
3.47/3.52	c Core size: 4	Core Weight: 1	Total Weight: 337
3.47/3.52	c Elapsed CPU time: 3.48447 s	Remaining CPU time: 1796.52 s
3.47/3.54	c core #338
3.47/3.54	c Core size: 4	Core Weight: 1	Total Weight: 338
3.47/3.54	c Elapsed CPU time: 3.49747 s	Remaining CPU time: 1796.5 s
3.47/3.55	c core #339
3.47/3.55	c Core size: 4	Core Weight: 1	Total Weight: 339
3.47/3.55	c Elapsed CPU time: 3.50947 s	Remaining CPU time: 1796.49 s
3.47/3.56	c core #340
3.47/3.56	c Core size: 4	Core Weight: 1	Total Weight: 340
3.47/3.56	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.47/3.57	c core #341
3.47/3.57	c Core size: 4	Core Weight: 1	Total Weight: 341
3.47/3.57	c Elapsed CPU time: 3.53546 s	Remaining CPU time: 1796.46 s
3.47/3.59	c core #342
3.47/3.59	c Core size: 4	Core Weight: 1	Total Weight: 342
3.47/3.59	c Elapsed CPU time: 3.54846 s	Remaining CPU time: 1796.45 s
3.57/3.60	c core #343
3.57/3.60	c Core size: 4	Core Weight: 1	Total Weight: 343
3.57/3.60	c Elapsed CPU time: 3.56146 s	Remaining CPU time: 1796.44 s
3.57/3.61	c core #344
3.57/3.61	c Core size: 4	Core Weight: 1	Total Weight: 344
3.57/3.61	c Elapsed CPU time: 3.57446 s	Remaining CPU time: 1796.43 s
3.57/3.63	c core #345
3.57/3.63	c Core size: 4	Core Weight: 1	Total Weight: 345
3.57/3.63	c Elapsed CPU time: 3.58845 s	Remaining CPU time: 1796.41 s
3.57/3.64	c core #346
3.57/3.64	c Core size: 4	Core Weight: 1	Total Weight: 346
3.57/3.64	c Elapsed CPU time: 3.60145 s	Remaining CPU time: 1796.4 s
3.57/3.65	c core #347
3.57/3.65	c Core size: 4	Core Weight: 1	Total Weight: 347
3.57/3.65	c Elapsed CPU time: 3.61445 s	Remaining CPU time: 1796.39 s
3.57/3.67	c core #348
3.57/3.67	c Core size: 4	Core Weight: 1	Total Weight: 348
3.57/3.67	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.57/3.68	c core #349
3.57/3.68	c Core size: 4	Core Weight: 1	Total Weight: 349
3.57/3.68	c Elapsed CPU time: 3.64145 s	Remaining CPU time: 1796.36 s
3.57/3.69	c core #350
3.57/3.69	c Core size: 4	Core Weight: 1	Total Weight: 350
3.57/3.69	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 1796.35 s
3.67/3.71	c core #351
3.67/3.71	c Core size: 4	Core Weight: 1	Total Weight: 351
3.67/3.71	c Elapsed CPU time: 3.66844 s	Remaining CPU time: 1796.33 s
3.67/3.72	c core #352
3.67/3.72	c Core size: 4	Core Weight: 1	Total Weight: 352
3.67/3.72	c Elapsed CPU time: 3.68144 s	Remaining CPU time: 1796.32 s
3.67/3.73	c core #353
3.67/3.73	c Core size: 4	Core Weight: 1	Total Weight: 353
3.67/3.73	c Elapsed CPU time: 3.69444 s	Remaining CPU time: 1796.31 s
3.67/3.75	c core #354
3.67/3.75	c Core size: 4	Core Weight: 1	Total Weight: 354
3.67/3.75	c Elapsed CPU time: 3.70744 s	Remaining CPU time: 1796.29 s
3.67/3.76	c core #355
3.67/3.76	c Core size: 4	Core Weight: 1	Total Weight: 355
3.67/3.76	c Elapsed CPU time: 3.72043 s	Remaining CPU time: 1796.28 s
3.67/3.77	c core #356
3.67/3.77	c Core size: 4	Core Weight: 1	Total Weight: 356
3.67/3.77	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 1796.27 s
3.67/3.79	c core #357
3.67/3.79	c Core size: 4	Core Weight: 1	Total Weight: 357
3.67/3.79	c Elapsed CPU time: 3.74643 s	Remaining CPU time: 1796.25 s
3.77/3.80	c core #358
3.77/3.80	c Core size: 4	Core Weight: 1	Total Weight: 358
3.77/3.80	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.77/3.81	c core #359
3.77/3.81	c Core size: 4	Core Weight: 1	Total Weight: 359
3.77/3.81	c Elapsed CPU time: 3.77343 s	Remaining CPU time: 1796.23 s
3.77/3.83	c core #360
3.77/3.83	c Core size: 4	Core Weight: 1	Total Weight: 360
3.77/3.83	c Elapsed CPU time: 3.78642 s	Remaining CPU time: 1796.21 s
3.77/3.84	c core #361
3.77/3.84	c Core size: 4	Core Weight: 1	Total Weight: 361
3.77/3.84	c Elapsed CPU time: 3.80042 s	Remaining CPU time: 1796.2 s
3.77/3.85	c core #362
3.77/3.85	c Core size: 4	Core Weight: 1	Total Weight: 362
3.77/3.85	c Elapsed CPU time: 3.81342 s	Remaining CPU time: 1796.19 s
3.77/3.87	c core #363
3.77/3.87	c Core size: 4	Core Weight: 1	Total Weight: 363
3.77/3.87	c Elapsed CPU time: 3.82642 s	Remaining CPU time: 1796.17 s
3.77/3.88	c core #364
3.77/3.88	c Core size: 4	Core Weight: 1	Total Weight: 364
3.77/3.88	c Elapsed CPU time: 3.83942 s	Remaining CPU time: 1796.16 s
3.77/3.89	c core #365
3.77/3.89	c Core size: 4	Core Weight: 1	Total Weight: 365
3.77/3.89	c Elapsed CPU time: 3.85141 s	Remaining CPU time: 1796.15 s
3.87/3.91	c core #366
3.87/3.91	c Core size: 4	Core Weight: 1	Total Weight: 366
3.87/3.91	c Elapsed CPU time: 3.86441 s	Remaining CPU time: 1796.14 s
3.87/3.92	c core #367
3.87/3.92	c Core size: 4	Core Weight: 1	Total Weight: 367
3.87/3.92	c Elapsed CPU time: 3.87641 s	Remaining CPU time: 1796.12 s
3.87/3.93	c core #368
3.87/3.93	c Core size: 4	Core Weight: 1	Total Weight: 368
3.87/3.93	c Elapsed CPU time: 3.89141 s	Remaining CPU time: 1796.11 s
3.87/3.95	c core #369
3.87/3.95	c Core size: 4	Core Weight: 1	Total Weight: 369
3.87/3.95	c Elapsed CPU time: 3.90441 s	Remaining CPU time: 1796.1 s
3.87/3.96	c core #370
3.87/3.96	c Core size: 4	Core Weight: 1	Total Weight: 370
3.87/3.96	c Elapsed CPU time: 3.9174 s	Remaining CPU time: 1796.08 s
3.87/3.98	c core #371
3.87/3.98	c Core size: 4	Core Weight: 1	Total Weight: 371
3.87/3.98	c Elapsed CPU time: 3.9314 s	Remaining CPU time: 1796.07 s
3.87/3.99	c core #372
3.87/3.99	c Core size: 4	Core Weight: 1	Total Weight: 372
3.87/3.99	c Elapsed CPU time: 3.9444 s	Remaining CPU time: 1796.06 s
3.97/4.00	c core #373
3.97/4.00	c Core size: 4	Core Weight: 1	Total Weight: 373
3.97/4.00	c Elapsed CPU time: 3.9584 s	Remaining CPU time: 1796.04 s
3.97/4.02	c core #374
3.97/4.02	c Core size: 4	Core Weight: 1	Total Weight: 374
3.97/4.02	c Elapsed CPU time: 3.9714 s	Remaining CPU time: 1796.03 s
3.97/4.03	c core #375
3.97/4.03	c Core size: 4	Core Weight: 1	Total Weight: 375
3.97/4.03	c Elapsed CPU time: 3.98539 s	Remaining CPU time: 1796.01 s
3.97/4.04	c core #376
3.97/4.04	c Core size: 4	Core Weight: 1	Total Weight: 376
3.97/4.04	c Elapsed CPU time: 3.99939 s	Remaining CPU time: 1796 s
3.97/4.06	c core #377
3.97/4.06	c Core size: 4	Core Weight: 1	Total Weight: 377
3.97/4.06	c Elapsed CPU time: 4.01239 s	Remaining CPU time: 1795.99 s
3.97/4.07	c core #378
3.97/4.07	c Core size: 4	Core Weight: 1	Total Weight: 378
3.97/4.07	c Elapsed CPU time: 4.02639 s	Remaining CPU time: 1795.97 s
3.97/4.08	c core #379
3.97/4.08	c Core size: 4	Core Weight: 1	Total Weight: 379
3.97/4.08	c Elapsed CPU time: 4.04038 s	Remaining CPU time: 1795.96 s
4.07/4.10	c core #380
4.07/4.10	c Core size: 4	Core Weight: 1	Total Weight: 380
4.07/4.10	c Elapsed CPU time: 4.05338 s	Remaining CPU time: 1795.95 s
4.07/4.11	c core #381
4.07/4.11	c Core size: 4	Core Weight: 1	Total Weight: 381
4.07/4.11	c Elapsed CPU time: 4.06638 s	Remaining CPU time: 1795.93 s
4.07/4.13	c core #382
4.07/4.13	c Core size: 4	Core Weight: 1	Total Weight: 382
4.07/4.13	c Elapsed CPU time: 4.08038 s	Remaining CPU time: 1795.92 s
4.07/4.14	c core #383
4.07/4.14	c Core size: 4	Core Weight: 1	Total Weight: 383
4.07/4.14	c Elapsed CPU time: 4.09338 s	Remaining CPU time: 1795.91 s
4.07/4.15	c core #384
4.07/4.15	c Core size: 4	Core Weight: 1	Total Weight: 384
4.07/4.15	c Elapsed CPU time: 4.10738 s	Remaining CPU time: 1795.89 s
4.07/4.17	c core #385
4.07/4.17	c Core size: 4	Core Weight: 1	Total Weight: 385
4.07/4.17	c Elapsed CPU time: 4.12037 s	Remaining CPU time: 1795.88 s
4.07/4.18	c core #386
4.07/4.18	c Core size: 4	Core Weight: 1	Total Weight: 386
4.07/4.18	c Elapsed CPU time: 4.13437 s	Remaining CPU time: 1795.87 s
4.07/4.19	c core #387
4.07/4.19	c Core size: 4	Core Weight: 1	Total Weight: 387
4.07/4.19	c Elapsed CPU time: 4.14737 s	Remaining CPU time: 1795.85 s
4.17/4.21	c core #388
4.17/4.21	c Core size: 4	Core Weight: 1	Total Weight: 388
4.17/4.21	c Elapsed CPU time: 4.16137 s	Remaining CPU time: 1795.84 s
4.17/4.22	c core #389
4.17/4.22	c Core size: 4	Core Weight: 1	Total Weight: 389
4.17/4.22	c Elapsed CPU time: 4.17436 s	Remaining CPU time: 1795.83 s
4.17/4.23	c core #390
4.17/4.23	c Core size: 4	Core Weight: 1	Total Weight: 390
4.17/4.23	c Elapsed CPU time: 4.18836 s	Remaining CPU time: 1795.81 s
4.17/4.25	c core #391
4.17/4.25	c Core size: 4	Core Weight: 1	Total Weight: 391
4.17/4.25	c Elapsed CPU time: 4.20136 s	Remaining CPU time: 1795.8 s
4.17/4.26	c core #392
4.17/4.26	c Core size: 4	Core Weight: 1	Total Weight: 392
4.17/4.26	c Elapsed CPU time: 4.21536 s	Remaining CPU time: 1795.78 s
4.17/4.27	c core #393
4.17/4.27	c Core size: 4	Core Weight: 1	Total Weight: 393
4.17/4.27	c Elapsed CPU time: 4.22936 s	Remaining CPU time: 1795.77 s
4.17/4.29	c core #394
4.17/4.29	c Core size: 4	Core Weight: 1	Total Weight: 394
4.17/4.29	c Elapsed CPU time: 4.24235 s	Remaining CPU time: 1795.76 s
4.27/4.30	c core #395
4.27/4.30	c Core size: 4	Core Weight: 1	Total Weight: 395
4.27/4.30	c Elapsed CPU time: 4.25635 s	Remaining CPU time: 1795.74 s
4.27/4.32	c core #396
4.27/4.32	c Core size: 4	Core Weight: 1	Total Weight: 396
4.27/4.32	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.27/4.33	c core #397
4.27/4.33	c Core size: 4	Core Weight: 1	Total Weight: 397
4.27/4.33	c Elapsed CPU time: 4.28335 s	Remaining CPU time: 1795.72 s
4.27/4.34	c core #398
4.27/4.34	c Core size: 4	Core Weight: 1	Total Weight: 398
4.27/4.34	c Elapsed CPU time: 4.29635 s	Remaining CPU time: 1795.7 s
4.27/4.36	c core #399
4.27/4.36	c Core size: 4	Core Weight: 1	Total Weight: 399
4.27/4.36	c Elapsed CPU time: 4.31034 s	Remaining CPU time: 1795.69 s
4.27/4.37	c core #400
4.27/4.37	c Core size: 4	Core Weight: 1	Total Weight: 400
4.27/4.37	c Elapsed CPU time: 4.32434 s	Remaining CPU time: 1795.68 s
4.27/4.38	c core #401
4.27/4.38	c Core size: 4	Core Weight: 1	Total Weight: 401
4.27/4.38	c Elapsed CPU time: 4.33834 s	Remaining CPU time: 1795.66 s
4.27/4.40	c core #402
4.27/4.40	c Core size: 4	Core Weight: 1	Total Weight: 402
4.27/4.40	c Elapsed CPU time: 4.35134 s	Remaining CPU time: 1795.65 s
4.37/4.41	c core #403
4.37/4.41	c Core size: 4	Core Weight: 1	Total Weight: 403
4.37/4.41	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 1795.64 s
4.37/4.43	c core #404
4.37/4.43	c Core size: 4	Core Weight: 1	Total Weight: 404
4.37/4.43	c Elapsed CPU time: 4.37833 s	Remaining CPU time: 1795.62 s
4.37/4.44	c core #405
4.37/4.44	c Core size: 4	Core Weight: 1	Total Weight: 405
4.37/4.44	c Elapsed CPU time: 4.39233 s	Remaining CPU time: 1795.61 s
4.37/4.45	c core #406
4.37/4.45	c Core size: 4	Core Weight: 1	Total Weight: 406
4.37/4.45	c Elapsed CPU time: 4.40733 s	Remaining CPU time: 1795.59 s
4.37/4.47	c core #407
4.37/4.47	c Core size: 4	Core Weight: 1	Total Weight: 407
4.37/4.47	c Elapsed CPU time: 4.42033 s	Remaining CPU time: 1795.58 s
4.37/4.48	c core #408
4.37/4.48	c Core size: 4	Core Weight: 1	Total Weight: 408
4.37/4.48	c Elapsed CPU time: 4.43433 s	Remaining CPU time: 1795.57 s
4.37/4.50	c core #409
4.37/4.50	c Core size: 4	Core Weight: 1	Total Weight: 409
4.37/4.50	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 1795.55 s
4.46/4.51	c core #410
4.46/4.51	c Core size: 4	Core Weight: 1	Total Weight: 410
4.46/4.51	c Elapsed CPU time: 4.46132 s	Remaining CPU time: 1795.54 s
4.46/4.52	c core #411
4.46/4.52	c Core size: 4	Core Weight: 1	Total Weight: 411
4.46/4.52	c Elapsed CPU time: 4.47432 s	Remaining CPU time: 1795.53 s
4.46/4.54	c core #412
4.46/4.54	c Core size: 4	Core Weight: 1	Total Weight: 412
4.46/4.54	c Elapsed CPU time: 4.48832 s	Remaining CPU time: 1795.51 s
4.46/4.55	c core #413
4.46/4.55	c Core size: 4	Core Weight: 1	Total Weight: 413
4.46/4.55	c Elapsed CPU time: 4.50131 s	Remaining CPU time: 1795.5 s
4.46/4.56	c core #414
4.46/4.56	c Core size: 4	Core Weight: 1	Total Weight: 414
4.46/4.56	c Elapsed CPU time: 4.51531 s	Remaining CPU time: 1795.48 s
4.46/4.58	c core #415
4.46/4.58	c Core size: 4	Core Weight: 1	Total Weight: 415
4.46/4.58	c Elapsed CPU time: 4.52831 s	Remaining CPU time: 1795.47 s
4.46/4.59	c core #416
4.46/4.59	c Core size: 4	Core Weight: 1	Total Weight: 416
4.46/4.59	c Elapsed CPU time: 4.54331 s	Remaining CPU time: 1795.46 s
4.56/4.61	c core #417
4.56/4.61	c Core size: 4	Core Weight: 1	Total Weight: 417
4.56/4.61	c Elapsed CPU time: 4.55731 s	Remaining CPU time: 1795.44 s
4.56/4.62	c core #418
4.56/4.62	c Core size: 4	Core Weight: 1	Total Weight: 418
4.56/4.62	c Elapsed CPU time: 4.5713 s	Remaining CPU time: 1795.43 s
4.56/4.63	c core #419
4.56/4.63	c Core size: 4	Core Weight: 1	Total Weight: 419
4.56/4.63	c Elapsed CPU time: 4.5853 s	Remaining CPU time: 1795.41 s
4.56/4.65	c core #420
4.56/4.65	c Core size: 4	Core Weight: 1	Total Weight: 420
4.56/4.65	c Elapsed CPU time: 4.5983 s	Remaining CPU time: 1795.4 s
4.56/4.66	c core #421
4.56/4.66	c Core size: 4	Core Weight: 1	Total Weight: 421
4.56/4.66	c Elapsed CPU time: 4.6123 s	Remaining CPU time: 1795.39 s
4.56/4.68	c core #422
4.56/4.68	c Core size: 4	Core Weight: 1	Total Weight: 422
4.56/4.68	c Elapsed CPU time: 4.6263 s	Remaining CPU time: 1795.37 s
4.56/4.69	c core #423
4.56/4.69	c Core size: 4	Core Weight: 1	Total Weight: 423
4.56/4.69	c Elapsed CPU time: 4.64029 s	Remaining CPU time: 1795.36 s
4.66/4.70	c core #424
4.66/4.70	c Core size: 4	Core Weight: 1	Total Weight: 424
4.66/4.70	c Elapsed CPU time: 4.65329 s	Remaining CPU time: 1795.35 s
4.66/4.72	c core #425
4.66/4.72	c Core size: 4	Core Weight: 1	Total Weight: 425
4.66/4.72	c Elapsed CPU time: 4.66729 s	Remaining CPU time: 1795.33 s
4.66/4.73	c core #426
4.66/4.73	c Core size: 4	Core Weight: 1	Total Weight: 426
4.66/4.73	c Elapsed CPU time: 4.68129 s	Remaining CPU time: 1795.32 s
4.66/4.75	c core #427
4.66/4.75	c Core size: 4	Core Weight: 1	Total Weight: 427
4.66/4.75	c Elapsed CPU time: 4.69529 s	Remaining CPU time: 1795.3 s
4.66/4.76	c core #428
4.66/4.76	c Core size: 4	Core Weight: 1	Total Weight: 428
4.66/4.76	c Elapsed CPU time: 4.70928 s	Remaining CPU time: 1795.29 s
4.66/4.77	c core #429
4.66/4.77	c Core size: 4	Core Weight: 1	Total Weight: 429
4.66/4.77	c Elapsed CPU time: 4.72328 s	Remaining CPU time: 1795.28 s
4.66/4.79	c core #430
4.66/4.79	c Core size: 4	Core Weight: 1	Total Weight: 430
4.66/4.79	c Elapsed CPU time: 4.73728 s	Remaining CPU time: 1795.26 s
4.76/4.80	c core #431
4.76/4.80	c Core size: 4	Core Weight: 1	Total Weight: 431
4.76/4.80	c Elapsed CPU time: 4.75228 s	Remaining CPU time: 1795.25 s
4.76/4.82	c core #432
4.76/4.82	c Core size: 4	Core Weight: 1	Total Weight: 432
4.76/4.82	c Elapsed CPU time: 4.76628 s	Remaining CPU time: 1795.23 s
4.76/4.83	c core #433
4.76/4.83	c Core size: 4	Core Weight: 1	Total Weight: 433
4.76/4.83	c Elapsed CPU time: 4.78027 s	Remaining CPU time: 1795.22 s
4.76/4.85	c core #434
4.76/4.85	c Core size: 4	Core Weight: 1	Total Weight: 434
4.76/4.85	c Elapsed CPU time: 4.79427 s	Remaining CPU time: 1795.21 s
4.76/4.86	c core #435
4.76/4.86	c Core size: 4	Core Weight: 1	Total Weight: 435
4.76/4.86	c Elapsed CPU time: 4.80927 s	Remaining CPU time: 1795.19 s
4.76/4.87	c core #436
4.76/4.87	c Core size: 4	Core Weight: 1	Total Weight: 436
4.76/4.87	c Elapsed CPU time: 4.82227 s	Remaining CPU time: 1795.18 s
4.76/4.89	c core #437
4.76/4.89	c Core size: 4	Core Weight: 1	Total Weight: 437
4.76/4.89	c Elapsed CPU time: 4.83626 s	Remaining CPU time: 1795.16 s
4.86/4.90	c core #438
4.86/4.90	c Core size: 4	Core Weight: 1	Total Weight: 438
4.86/4.90	c Elapsed CPU time: 4.85026 s	Remaining CPU time: 1795.15 s
4.86/4.92	c core #439
4.86/4.92	c Core size: 4	Core Weight: 1	Total Weight: 439
4.86/4.92	c Elapsed CPU time: 4.86426 s	Remaining CPU time: 1795.14 s
4.86/4.93	c core #440
4.86/4.93	c Core size: 4	Core Weight: 1	Total Weight: 440
4.86/4.93	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.86/4.95	c core #441
4.86/4.95	c Core size: 4	Core Weight: 1	Total Weight: 441
4.86/4.95	c Elapsed CPU time: 4.89226 s	Remaining CPU time: 1795.11 s
4.86/4.96	c core #442
4.86/4.96	c Core size: 4	Core Weight: 1	Total Weight: 442
4.86/4.96	c Elapsed CPU time: 4.90625 s	Remaining CPU time: 1795.09 s
4.86/4.97	c core #443
4.86/4.97	c Core size: 4	Core Weight: 1	Total Weight: 443
4.86/4.97	c Elapsed CPU time: 4.92025 s	Remaining CPU time: 1795.08 s
4.86/4.99	c core #444
4.86/4.99	c Core size: 4	Core Weight: 1	Total Weight: 444
4.86/4.99	c Elapsed CPU time: 4.93525 s	Remaining CPU time: 1795.06 s
4.96/5.00	c core #445
4.96/5.00	c Core size: 4	Core Weight: 1	Total Weight: 445
4.96/5.00	c Elapsed CPU time: 4.94925 s	Remaining CPU time: 1795.05 s
4.96/5.02	c core #446
4.96/5.02	c Core size: 4	Core Weight: 1	Total Weight: 446
4.96/5.02	c Elapsed CPU time: 4.96324 s	Remaining CPU time: 1795.04 s
4.96/5.03	c core #447
4.96/5.03	c Core size: 4	Core Weight: 1	Total Weight: 447
4.96/5.03	c Elapsed CPU time: 4.97724 s	Remaining CPU time: 1795.02 s
4.96/5.05	c core #448
4.96/5.05	c Core size: 4	Core Weight: 1	Total Weight: 448
4.96/5.05	c Elapsed CPU time: 4.99124 s	Remaining CPU time: 1795.01 s
4.96/5.06	c core #449
4.96/5.06	c Core size: 4	Core Weight: 1	Total Weight: 449
4.96/5.06	c Elapsed CPU time: 5.00524 s	Remaining CPU time: 1794.99 s
4.96/5.07	c core #450
4.96/5.07	c Core size: 4	Core Weight: 1	Total Weight: 450
4.96/5.08	c Elapsed CPU time: 5.01924 s	Remaining CPU time: 1794.98 s
4.96/5.09	c core #451
4.96/5.09	c Core size: 4	Core Weight: 1	Total Weight: 451
4.96/5.09	c Elapsed CPU time: 5.03323 s	Remaining CPU time: 1794.97 s
5.06/5.10	c core #452
5.06/5.10	c Core size: 4	Core Weight: 1	Total Weight: 452
5.06/5.10	c Elapsed CPU time: 5.04723 s	Remaining CPU time: 1794.95 s
5.06/5.12	c core #453
5.06/5.12	c Core size: 4	Core Weight: 1	Total Weight: 453
5.06/5.12	c Elapsed CPU time: 5.06223 s	Remaining CPU time: 1794.94 s
5.06/5.13	c core #454
5.06/5.13	c Core size: 4	Core Weight: 1	Total Weight: 454
5.06/5.13	c Elapsed CPU time: 5.07723 s	Remaining CPU time: 1794.92 s
5.06/5.15	c core #455
5.06/5.15	c Core size: 4	Core Weight: 1	Total Weight: 455
5.06/5.15	c Elapsed CPU time: 5.09123 s	Remaining CPU time: 1794.91 s
5.06/5.16	c core #456
5.06/5.16	c Core size: 4	Core Weight: 1	Total Weight: 456
5.06/5.16	c Elapsed CPU time: 5.10522 s	Remaining CPU time: 1794.89 s
5.06/5.18	c core #457
5.06/5.18	c Core size: 4	Core Weight: 1	Total Weight: 457
5.06/5.18	c Elapsed CPU time: 5.11922 s	Remaining CPU time: 1794.88 s
5.06/5.19	c core #458
5.06/5.19	c Core size: 4	Core Weight: 1	Total Weight: 458
5.06/5.19	c Elapsed CPU time: 5.13322 s	Remaining CPU time: 1794.87 s
5.15/5.20	c core #459
5.15/5.20	c Core size: 4	Core Weight: 1	Total Weight: 459
5.15/5.21	c Elapsed CPU time: 5.14722 s	Remaining CPU time: 1794.85 s
5.15/5.22	c core #460
5.15/5.22	c Core size: 4	Core Weight: 1	Total Weight: 460
5.15/5.22	c Elapsed CPU time: 5.16122 s	Remaining CPU time: 1794.84 s
5.15/5.23	c core #461
5.15/5.23	c Core size: 4	Core Weight: 1	Total Weight: 461
5.15/5.23	c Elapsed CPU time: 5.17621 s	Remaining CPU time: 1794.82 s
5.15/5.25	c core #462
5.15/5.25	c Core size: 4	Core Weight: 1	Total Weight: 462
5.15/5.25	c Elapsed CPU time: 5.19021 s	Remaining CPU time: 1794.81 s
5.15/5.26	c core #463
5.15/5.26	c Core size: 4	Core Weight: 1	Total Weight: 463
5.15/5.26	c Elapsed CPU time: 5.20421 s	Remaining CPU time: 1794.8 s
5.15/5.28	c core #464
5.15/5.28	c Core size: 4	Core Weight: 1	Total Weight: 464
5.15/5.28	c Elapsed CPU time: 5.21721 s	Remaining CPU time: 1794.78 s
5.15/5.29	c core #465
5.15/5.29	c Core size: 4	Core Weight: 1	Total Weight: 465
5.15/5.29	c Elapsed CPU time: 5.2322 s	Remaining CPU time: 1794.77 s
5.25/5.31	c core #466
5.25/5.31	c Core size: 4	Core Weight: 1	Total Weight: 466
5.25/5.31	c Elapsed CPU time: 5.2462 s	Remaining CPU time: 1794.75 s
5.25/5.32	c core #467
5.25/5.32	c Core size: 4	Core Weight: 1	Total Weight: 467
5.25/5.32	c Elapsed CPU time: 5.2612 s	Remaining CPU time: 1794.74 s
5.25/5.34	c core #468
5.25/5.34	c Core size: 4	Core Weight: 1	Total Weight: 468
5.25/5.34	c Elapsed CPU time: 5.2752 s	Remaining CPU time: 1794.72 s
5.25/5.35	c core #469
5.25/5.35	c Core size: 4	Core Weight: 1	Total Weight: 469
5.25/5.35	c Elapsed CPU time: 5.29019 s	Remaining CPU time: 1794.71 s
5.25/5.36	c core #470
5.25/5.36	c Core size: 4	Core Weight: 1	Total Weight: 470
5.25/5.36	c Elapsed CPU time: 5.30519 s	Remaining CPU time: 1794.69 s
5.25/5.38	c core #471
5.25/5.38	c Core size: 4	Core Weight: 1	Total Weight: 471
5.25/5.38	c Elapsed CPU time: 5.32019 s	Remaining CPU time: 1794.68 s
5.25/5.39	c core #472
5.25/5.39	c Core size: 4	Core Weight: 1	Total Weight: 472
5.25/5.39	c Elapsed CPU time: 5.33419 s	Remaining CPU time: 1794.67 s
5.36/5.41	c core #473
5.36/5.41	c Core size: 4	Core Weight: 1	Total Weight: 473
5.36/5.41	c Elapsed CPU time: 5.34919 s	Remaining CPU time: 1794.65 s
5.36/5.42	c core #474
5.36/5.42	c Core size: 4	Core Weight: 1	Total Weight: 474
5.36/5.42	c Elapsed CPU time: 5.36418 s	Remaining CPU time: 1794.64 s
5.36/5.44	c core #475
5.36/5.44	c Core size: 4	Core Weight: 1	Total Weight: 475
5.36/5.44	c Elapsed CPU time: 5.37918 s	Remaining CPU time: 1794.62 s
5.36/5.45	c core #476
5.36/5.45	c Core size: 4	Core Weight: 1	Total Weight: 476
5.36/5.45	c Elapsed CPU time: 5.39418 s	Remaining CPU time: 1794.61 s
5.36/5.47	c core #477
5.36/5.47	c Core size: 4	Core Weight: 1	Total Weight: 477
5.36/5.47	c Elapsed CPU time: 5.40818 s	Remaining CPU time: 1794.59 s
5.36/5.48	c core #478
5.36/5.48	c Core size: 4	Core Weight: 1	Total Weight: 478
5.36/5.48	c Elapsed CPU time: 5.42218 s	Remaining CPU time: 1794.58 s
5.36/5.50	c core #479
5.36/5.50	c Core size: 4	Core Weight: 1	Total Weight: 479
5.36/5.50	c Elapsed CPU time: 5.43717 s	Remaining CPU time: 1794.56 s
5.45/5.51	c core #480
5.45/5.51	c Core size: 4	Core Weight: 1	Total Weight: 480
5.45/5.51	c Elapsed CPU time: 5.45217 s	Remaining CPU time: 1794.55 s
5.45/5.53	c core #481
5.45/5.53	c Core size: 4	Core Weight: 1	Total Weight: 481
5.45/5.53	c Elapsed CPU time: 5.46717 s	Remaining CPU time: 1794.53 s
5.45/5.54	c core #482
5.45/5.54	c Core size: 4	Core Weight: 1	Total Weight: 482
5.45/5.54	c Elapsed CPU time: 5.48217 s	Remaining CPU time: 1794.52 s
5.45/5.56	c core #483
5.45/5.56	c Core size: 4	Core Weight: 1	Total Weight: 483
5.45/5.56	c Elapsed CPU time: 5.49716 s	Remaining CPU time: 1794.5 s
5.45/5.57	c core #484
5.45/5.57	c Core size: 4	Core Weight: 1	Total Weight: 484
5.45/5.57	c Elapsed CPU time: 5.51216 s	Remaining CPU time: 1794.49 s
5.45/5.59	c core #485
5.45/5.59	c Core size: 4	Core Weight: 1	Total Weight: 485
5.45/5.59	c Elapsed CPU time: 5.52716 s	Remaining CPU time: 1794.47 s
5.55/5.60	c core #486
5.55/5.60	c Core size: 4	Core Weight: 1	Total Weight: 486
5.55/5.60	c Elapsed CPU time: 5.54116 s	Remaining CPU time: 1794.46 s
5.55/5.62	c core #487
5.55/5.62	c Core size: 4	Core Weight: 1	Total Weight: 487
5.55/5.62	c Elapsed CPU time: 5.55616 s	Remaining CPU time: 1794.44 s
5.55/5.63	c core #488
5.55/5.63	c Core size: 4	Core Weight: 1	Total Weight: 488
5.55/5.63	c Elapsed CPU time: 5.57015 s	Remaining CPU time: 1794.43 s
5.55/5.65	c core #489
5.55/5.65	c Core size: 4	Core Weight: 1	Total Weight: 489
5.55/5.65	c Elapsed CPU time: 5.58515 s	Remaining CPU time: 1794.41 s
5.55/5.66	c core #490
5.55/5.66	c Core size: 4	Core Weight: 1	Total Weight: 490
5.55/5.66	c Elapsed CPU time: 5.60015 s	Remaining CPU time: 1794.4 s
5.55/5.68	c core #491
5.55/5.68	c Core size: 4	Core Weight: 1	Total Weight: 491
5.55/5.68	c Elapsed CPU time: 5.61515 s	Remaining CPU time: 1794.38 s
5.55/5.69	c core #492
5.55/5.69	c Core size: 4	Core Weight: 1	Total Weight: 492
5.55/5.69	c Elapsed CPU time: 5.62914 s	Remaining CPU time: 1794.37 s
5.65/5.71	c core #493
5.65/5.71	c Core size: 4	Core Weight: 1	Total Weight: 493
5.65/5.71	c Elapsed CPU time: 5.64314 s	Remaining CPU time: 1794.36 s
5.65/5.72	c core #494
5.65/5.72	c Core size: 4	Core Weight: 1	Total Weight: 494
5.65/5.72	c Elapsed CPU time: 5.65814 s	Remaining CPU time: 1794.34 s
5.65/5.74	c core #495
5.65/5.74	c Core size: 4	Core Weight: 1	Total Weight: 495
5.65/5.74	c Elapsed CPU time: 5.67314 s	Remaining CPU time: 1794.33 s
5.65/5.75	c core #496
5.65/5.75	c Core size: 4	Core Weight: 1	Total Weight: 496
5.65/5.75	c Elapsed CPU time: 5.68813 s	Remaining CPU time: 1794.31 s
5.65/5.77	c core #497
5.65/5.77	c Core size: 4	Core Weight: 1	Total Weight: 497
5.65/5.77	c Elapsed CPU time: 5.70313 s	Remaining CPU time: 1794.3 s
5.65/5.78	c core #498
5.65/5.78	c Core size: 4	Core Weight: 1	Total Weight: 498
5.65/5.78	c Elapsed CPU time: 5.71813 s	Remaining CPU time: 1794.28 s
5.65/5.80	c core #499
5.65/5.80	c Core size: 4	Core Weight: 1	Total Weight: 499
5.65/5.80	c Elapsed CPU time: 5.73313 s	Remaining CPU time: 1794.27 s
5.75/5.81	c core #500
5.75/5.81	c Core size: 4	Core Weight: 1	Total Weight: 500
5.75/5.81	c Elapsed CPU time: 5.74713 s	Remaining CPU time: 1794.25 s
5.75/5.83	c core #501
5.75/5.83	c Core size: 4	Core Weight: 1	Total Weight: 501
5.75/5.83	c Elapsed CPU time: 5.76012 s	Remaining CPU time: 1794.24 s
5.75/5.84	c core #502
5.75/5.84	c Core size: 4	Core Weight: 1	Total Weight: 502
5.75/5.84	c Elapsed CPU time: 5.77512 s	Remaining CPU time: 1794.22 s
5.75/5.85	c core #503
5.75/5.85	c Core size: 4	Core Weight: 1	Total Weight: 503
5.75/5.86	c Elapsed CPU time: 5.79012 s	Remaining CPU time: 1794.21 s
5.75/5.87	c core #504
5.75/5.87	c Core size: 4	Core Weight: 1	Total Weight: 504
5.75/5.87	c Elapsed CPU time: 5.80512 s	Remaining CPU time: 1794.19 s
5.75/5.88	c core #505
5.75/5.88	c Core size: 4	Core Weight: 1	Total Weight: 505
5.75/5.88	c Elapsed CPU time: 5.81912 s	Remaining CPU time: 1794.18 s
5.85/5.90	c core #506
5.85/5.90	c Core size: 4	Core Weight: 1	Total Weight: 506
5.85/5.90	c Elapsed CPU time: 5.83411 s	Remaining CPU time: 1794.17 s
5.85/5.91	c core #507
5.85/5.91	c Core size: 4	Core Weight: 1	Total Weight: 507
5.85/5.91	c Elapsed CPU time: 5.84911 s	Remaining CPU time: 1794.15 s
5.85/5.93	c core #508
5.85/5.93	c Core size: 4	Core Weight: 1	Total Weight: 508
5.85/5.93	c Elapsed CPU time: 5.86411 s	Remaining CPU time: 1794.14 s
5.85/5.94	c core #509
5.85/5.94	c Core size: 4	Core Weight: 1	Total Weight: 509
5.85/5.94	c Elapsed CPU time: 5.87911 s	Remaining CPU time: 1794.12 s
5.85/5.96	c core #510
5.85/5.96	c Core size: 4	Core Weight: 1	Total Weight: 510
5.85/5.96	c Elapsed CPU time: 5.8931 s	Remaining CPU time: 1794.11 s
5.85/5.97	c core #511
5.85/5.97	c Core size: 4	Core Weight: 1	Total Weight: 511
5.85/5.97	c Elapsed CPU time: 5.9071 s	Remaining CPU time: 1794.09 s
5.85/5.99	c core #512
5.85/5.99	c Core size: 4	Core Weight: 1	Total Weight: 512
5.85/5.99	c Elapsed CPU time: 5.9211 s	Remaining CPU time: 1794.08 s
5.95/6.00	c core #513
5.95/6.00	c Core size: 4	Core Weight: 1	Total Weight: 513
5.95/6.00	c Elapsed CPU time: 5.9361 s	Remaining CPU time: 1794.06 s
5.95/6.02	c core #514
5.95/6.02	c Core size: 4	Core Weight: 1	Total Weight: 514
5.95/6.02	c Elapsed CPU time: 5.9511 s	Remaining CPU time: 1794.05 s
5.95/6.03	c core #515
5.95/6.03	c Core size: 4	Core Weight: 1	Total Weight: 515
5.95/6.03	c Elapsed CPU time: 5.96609 s	Remaining CPU time: 1794.03 s
5.95/6.05	c core #516
5.95/6.05	c Core size: 4	Core Weight: 1	Total Weight: 516
5.95/6.05	c Elapsed CPU time: 5.98109 s	Remaining CPU time: 1794.02 s
5.95/6.06	c core #517
5.95/6.06	c Core size: 4	Core Weight: 1	Total Weight: 517
5.95/6.06	c Elapsed CPU time: 5.99609 s	Remaining CPU time: 1794 s
5.95/6.08	c core #518
5.95/6.08	c Core size: 4	Core Weight: 1	Total Weight: 518
5.95/6.08	c Elapsed CPU time: 6.01009 s	Remaining CPU time: 1793.99 s
5.95/6.09	c core #519
5.95/6.09	c Core size: 4	Core Weight: 1	Total Weight: 519
5.95/6.09	c Elapsed CPU time: 6.02508 s	Remaining CPU time: 1793.97 s
6.05/6.11	c core #520
6.05/6.11	c Core size: 4	Core Weight: 1	Total Weight: 520
6.05/6.11	c Elapsed CPU time: 6.04008 s	Remaining CPU time: 1793.96 s
6.05/6.12	c core #521
6.05/6.12	c Core size: 4	Core Weight: 1	Total Weight: 521
6.05/6.12	c Elapsed CPU time: 6.05408 s	Remaining CPU time: 1793.95 s
6.05/6.14	c core #522
6.05/6.14	c Core size: 4	Core Weight: 1	Total Weight: 522
6.05/6.14	c Elapsed CPU time: 6.06908 s	Remaining CPU time: 1793.93 s
6.05/6.15	c core #523
6.05/6.15	c Core size: 4	Core Weight: 1	Total Weight: 523
6.05/6.15	c Elapsed CPU time: 6.08308 s	Remaining CPU time: 1793.92 s
6.05/6.17	c core #524
6.05/6.17	c Core size: 4	Core Weight: 1	Total Weight: 524
6.05/6.17	c Elapsed CPU time: 6.09807 s	Remaining CPU time: 1793.9 s
6.05/6.18	c core #525
6.05/6.18	c Core size: 4	Core Weight: 1	Total Weight: 525
6.05/6.18	c Elapsed CPU time: 6.11307 s	Remaining CPU time: 1793.89 s
6.15/6.20	c core #526
6.15/6.20	c Core size: 4	Core Weight: 1	Total Weight: 526
6.15/6.20	c Elapsed CPU time: 6.12807 s	Remaining CPU time: 1793.87 s
6.15/6.21	c core #527
6.15/6.21	c Core size: 4	Core Weight: 1	Total Weight: 527
6.15/6.21	c Elapsed CPU time: 6.14307 s	Remaining CPU time: 1793.86 s
6.15/6.23	c core #528
6.15/6.23	c Core size: 4	Core Weight: 1	Total Weight: 528
6.15/6.23	c Elapsed CPU time: 6.15906 s	Remaining CPU time: 1793.84 s
6.15/6.24	c core #529
6.15/6.24	c Core size: 4	Core Weight: 1	Total Weight: 529
6.15/6.24	c Elapsed CPU time: 6.17406 s	Remaining CPU time: 1793.83 s
6.15/6.26	c core #530
6.15/6.26	c Core size: 4	Core Weight: 1	Total Weight: 530
6.15/6.26	c Elapsed CPU time: 6.18906 s	Remaining CPU time: 1793.81 s
6.15/6.27	c core #531
6.15/6.27	c Core size: 4	Core Weight: 1	Total Weight: 531
6.15/6.27	c Elapsed CPU time: 6.20406 s	Remaining CPU time: 1793.8 s
6.15/6.29	c core #532
6.15/6.29	c Core size: 4	Core Weight: 1	Total Weight: 532
6.15/6.29	c Elapsed CPU time: 6.21805 s	Remaining CPU time: 1793.78 s
6.25/6.30	c core #533
6.25/6.30	c Core size: 4	Core Weight: 1	Total Weight: 533
6.25/6.30	c Elapsed CPU time: 6.23305 s	Remaining CPU time: 1793.77 s
6.25/6.32	c core #534
6.25/6.32	c Core size: 4	Core Weight: 1	Total Weight: 534
6.25/6.32	c Elapsed CPU time: 6.24805 s	Remaining CPU time: 1793.75 s
6.25/6.33	c core #535
6.25/6.33	c Core size: 4	Core Weight: 1	Total Weight: 535
6.25/6.33	c Elapsed CPU time: 6.26305 s	Remaining CPU time: 1793.74 s
6.25/6.35	c core #536
6.25/6.35	c Core size: 4	Core Weight: 1	Total Weight: 536
6.25/6.35	c Elapsed CPU time: 6.27904 s	Remaining CPU time: 1793.72 s
6.25/6.37	c core #537
6.25/6.37	c Core size: 4	Core Weight: 1	Total Weight: 537
6.25/6.37	c Elapsed CPU time: 6.29404 s	Remaining CPU time: 1793.71 s
6.25/6.38	c core #538
6.25/6.38	c Core size: 4	Core Weight: 1	Total Weight: 538
6.25/6.38	c Elapsed CPU time: 6.30904 s	Remaining CPU time: 1793.69 s
6.25/6.40	c core #539
6.25/6.40	c Core size: 4	Core Weight: 1	Total Weight: 539
6.25/6.40	c Elapsed CPU time: 6.32404 s	Remaining CPU time: 1793.68 s
6.35/6.41	c core #540
6.35/6.41	c Core size: 4	Core Weight: 1	Total Weight: 540
6.35/6.41	c Elapsed CPU time: 6.33904 s	Remaining CPU time: 1793.66 s
6.35/6.43	c core #541
6.35/6.43	c Core size: 4	Core Weight: 1	Total Weight: 541
6.35/6.43	c Elapsed CPU time: 6.35303 s	Remaining CPU time: 1793.65 s
6.35/6.44	c core #542
6.35/6.44	c Core size: 4	Core Weight: 1	Total Weight: 542
6.35/6.44	c Elapsed CPU time: 6.36803 s	Remaining CPU time: 1793.63 s
6.35/6.46	c core #543
6.35/6.46	c Core size: 4	Core Weight: 1	Total Weight: 543
6.35/6.46	c Elapsed CPU time: 6.38403 s	Remaining CPU time: 1793.62 s
6.35/6.47	c core #544
6.35/6.47	c Core size: 4	Core Weight: 1	Total Weight: 544
6.35/6.47	c Elapsed CPU time: 6.39903 s	Remaining CPU time: 1793.6 s
6.35/6.49	c core #545
6.35/6.49	c Core size: 4	Core Weight: 1	Total Weight: 545
6.35/6.49	c Elapsed CPU time: 6.41402 s	Remaining CPU time: 1793.59 s
6.45/6.50	c core #546
6.45/6.50	c Core size: 4	Core Weight: 1	Total Weight: 546
6.45/6.50	c Elapsed CPU time: 6.42902 s	Remaining CPU time: 1793.57 s
6.45/6.52	c core #547
6.45/6.52	c Core size: 4	Core Weight: 1	Total Weight: 547
6.45/6.52	c Elapsed CPU time: 6.44402 s	Remaining CPU time: 1793.56 s
6.45/6.53	c core #548
6.45/6.53	c Core size: 4	Core Weight: 1	Total Weight: 548
6.45/6.53	c Elapsed CPU time: 6.46002 s	Remaining CPU time: 1793.54 s
6.45/6.55	c core #549
6.45/6.55	c Core size: 4	Core Weight: 1	Total Weight: 549
6.45/6.55	c Elapsed CPU time: 6.47501 s	Remaining CPU time: 1793.52 s
6.45/6.56	c core #550
6.45/6.56	c Core size: 4	Core Weight: 1	Total Weight: 550
6.45/6.56	c Elapsed CPU time: 6.49001 s	Remaining CPU time: 1793.51 s
6.45/6.58	c core #551
6.45/6.58	c Core size: 4	Core Weight: 1	Total Weight: 551
6.45/6.58	c Elapsed CPU time: 6.50501 s	Remaining CPU time: 1793.49 s
6.45/6.60	c core #552
6.45/6.60	c Core size: 4	Core Weight: 1	Total Weight: 552
6.45/6.60	c Elapsed CPU time: 6.52001 s	Remaining CPU time: 1793.48 s
6.55/6.61	c core #553
6.55/6.61	c Core size: 4	Core Weight: 1	Total Weight: 553
6.55/6.61	c Elapsed CPU time: 6.53501 s	Remaining CPU time: 1793.46 s
6.55/6.63	c core #554
6.55/6.63	c Core size: 4	Core Weight: 1	Total Weight: 554
6.55/6.63	c Elapsed CPU time: 6.551 s	Remaining CPU time: 1793.45 s
6.55/6.64	c core #555
6.55/6.64	c Core size: 4	Core Weight: 1	Total Weight: 555
6.55/6.64	c Elapsed CPU time: 6.565 s	Remaining CPU time: 1793.43 s
6.55/6.66	c core #556
6.55/6.66	c Core size: 4	Core Weight: 1	Total Weight: 556
6.55/6.66	c Elapsed CPU time: 6.58 s	Remaining CPU time: 1793.42 s
6.55/6.67	c core #557
6.55/6.67	c Core size: 4	Core Weight: 1	Total Weight: 557
6.55/6.67	c Elapsed CPU time: 6.596 s	Remaining CPU time: 1793.4 s
6.55/6.69	c core #558
6.55/6.69	c Core size: 4	Core Weight: 1	Total Weight: 558
6.55/6.69	c Elapsed CPU time: 6.61199 s	Remaining CPU time: 1793.39 s
6.64/6.70	c core #559
6.64/6.70	c Core size: 4	Core Weight: 1	Total Weight: 559
6.64/6.70	c Elapsed CPU time: 6.62699 s	Remaining CPU time: 1793.37 s
6.64/6.72	c core #560
6.64/6.72	c Core size: 4	Core Weight: 1	Total Weight: 560
6.64/6.72	c Elapsed CPU time: 6.64199 s	Remaining CPU time: 1793.36 s
6.64/6.73	c core #561
6.64/6.73	c Core size: 4	Core Weight: 1	Total Weight: 561
6.64/6.73	c Elapsed CPU time: 6.65699 s	Remaining CPU time: 1793.34 s
6.64/6.75	c core #562
6.64/6.75	c Core size: 4	Core Weight: 1	Total Weight: 562
6.64/6.75	c Elapsed CPU time: 6.67199 s	Remaining CPU time: 1793.33 s
6.64/6.77	c core #563
6.64/6.77	c Core size: 4	Core Weight: 1	Total Weight: 563
6.64/6.77	c Elapsed CPU time: 6.68798 s	Remaining CPU time: 1793.31 s
6.64/6.78	c core #564
6.64/6.78	c Core size: 4	Core Weight: 1	Total Weight: 564
6.64/6.78	c Elapsed CPU time: 6.70398 s	Remaining CPU time: 1793.3 s
6.74/6.80	c core #565
6.74/6.80	c Core size: 4	Core Weight: 1	Total Weight: 565
6.74/6.80	c Elapsed CPU time: 6.71898 s	Remaining CPU time: 1793.28 s
6.74/6.81	c core #566
6.74/6.81	c Core size: 4	Core Weight: 1	Total Weight: 566
6.74/6.81	c Elapsed CPU time: 6.73498 s	Remaining CPU time: 1793.27 s
6.74/6.83	c core #567
6.74/6.83	c Core size: 4	Core Weight: 1	Total Weight: 567
6.74/6.83	c Elapsed CPU time: 6.74997 s	Remaining CPU time: 1793.25 s
6.74/6.84	c core #568
6.74/6.84	c Core size: 4	Core Weight: 1	Total Weight: 568
6.74/6.84	c Elapsed CPU time: 6.76597 s	Remaining CPU time: 1793.23 s
6.74/6.86	c core #569
6.74/6.86	c Core size: 4	Core Weight: 1	Total Weight: 569
6.74/6.86	c Elapsed CPU time: 6.78197 s	Remaining CPU time: 1793.22 s
6.74/6.88	c core #570
6.74/6.88	c Core size: 4	Core Weight: 1	Total Weight: 570
6.74/6.88	c Elapsed CPU time: 6.79797 s	Remaining CPU time: 1793.2 s
6.74/6.89	c core #571
6.74/6.89	c Core size: 4	Core Weight: 1	Total Weight: 571
6.74/6.89	c Elapsed CPU time: 6.81296 s	Remaining CPU time: 1793.19 s
6.84/6.91	c core #572
6.84/6.91	c Core size: 4	Core Weight: 1	Total Weight: 572
6.84/6.91	c Elapsed CPU time: 6.82796 s	Remaining CPU time: 1793.17 s
6.84/6.92	c core #573
6.84/6.92	c Core size: 4	Core Weight: 1	Total Weight: 573
6.84/6.92	c Elapsed CPU time: 6.84396 s	Remaining CPU time: 1793.16 s
6.84/6.94	c core #574
6.84/6.94	c Core size: 4	Core Weight: 1	Total Weight: 574
6.84/6.94	c Elapsed CPU time: 6.86096 s	Remaining CPU time: 1793.14 s
6.84/6.96	c core #575
6.84/6.96	c Core size: 4	Core Weight: 1	Total Weight: 575
6.84/6.96	c Elapsed CPU time: 6.87595 s	Remaining CPU time: 1793.12 s
6.84/6.97	c core #576
6.84/6.97	c Core size: 4	Core Weight: 1	Total Weight: 576
6.84/6.97	c Elapsed CPU time: 6.89195 s	Remaining CPU time: 1793.11 s
6.84/6.99	c core #577
6.84/6.99	c Core size: 4	Core Weight: 1	Total Weight: 577
6.84/6.99	c Elapsed CPU time: 6.90595 s	Remaining CPU time: 1793.09 s
6.94/7.00	c core #578
6.94/7.00	c Core size: 4	Core Weight: 1	Total Weight: 578
6.94/7.00	c Elapsed CPU time: 6.92195 s	Remaining CPU time: 1793.08 s
6.94/7.02	c core #579
6.94/7.02	c Core size: 4	Core Weight: 1	Total Weight: 579
6.94/7.02	c Elapsed CPU time: 6.93795 s	Remaining CPU time: 1793.06 s
6.94/7.04	c core #580
6.94/7.04	c Core size: 4	Core Weight: 1	Total Weight: 580
6.94/7.04	c Elapsed CPU time: 6.95394 s	Remaining CPU time: 1793.05 s
6.94/7.05	c core #581
6.94/7.05	c Core size: 4	Core Weight: 1	Total Weight: 581
6.94/7.05	c Elapsed CPU time: 6.96994 s	Remaining CPU time: 1793.03 s
6.94/7.07	c core #582
6.94/7.07	c Core size: 4	Core Weight: 1	Total Weight: 582
6.94/7.07	c Elapsed CPU time: 6.98494 s	Remaining CPU time: 1793.02 s
6.94/7.08	c core #583
6.94/7.08	c Core size: 4	Core Weight: 1	Total Weight: 583
6.94/7.08	c Elapsed CPU time: 6.99894 s	Remaining CPU time: 1793 s
7.04/7.10	c core #584
7.04/7.10	c Core size: 4	Core Weight: 1	Total Weight: 584
7.04/7.10	c Elapsed CPU time: 7.01493 s	Remaining CPU time: 1792.99 s
7.04/7.11	c core #585
7.04/7.11	c Core size: 4	Core Weight: 1	Total Weight: 585
7.04/7.11	c Elapsed CPU time: 7.03093 s	Remaining CPU time: 1792.97 s
7.04/7.13	c core #586
7.04/7.13	c Core size: 4	Core Weight: 1	Total Weight: 586
7.04/7.13	c Elapsed CPU time: 7.04593 s	Remaining CPU time: 1792.95 s
7.04/7.14	c core #587
7.04/7.14	c Core size: 4	Core Weight: 1	Total Weight: 587
7.04/7.15	c Elapsed CPU time: 7.06193 s	Remaining CPU time: 1792.94 s
7.04/7.16	c core #588
7.04/7.16	c Core size: 4	Core Weight: 1	Total Weight: 588
7.04/7.16	c Elapsed CPU time: 7.07692 s	Remaining CPU time: 1792.92 s
7.04/7.18	c core #589
7.04/7.18	c Core size: 4	Core Weight: 1	Total Weight: 589
7.04/7.18	c Elapsed CPU time: 7.09192 s	Remaining CPU time: 1792.91 s
7.04/7.19	c core #590
7.04/7.19	c Core size: 4	Core Weight: 1	Total Weight: 590
7.04/7.19	c Elapsed CPU time: 7.10792 s	Remaining CPU time: 1792.89 s
7.14/7.21	c core #591
7.14/7.21	c Core size: 4	Core Weight: 1	Total Weight: 591
7.14/7.21	c Elapsed CPU time: 7.12392 s	Remaining CPU time: 1792.88 s
7.14/7.22	c core #592
7.14/7.22	c Core size: 4	Core Weight: 1	Total Weight: 592
7.14/7.22	c Elapsed CPU time: 7.13891 s	Remaining CPU time: 1792.86 s
7.14/7.24	c core #593
7.14/7.24	c Core size: 4	Core Weight: 1	Total Weight: 593
7.14/7.24	c Elapsed CPU time: 7.15391 s	Remaining CPU time: 1792.85 s
7.14/7.26	c core #594
7.14/7.26	c Core size: 4	Core Weight: 1	Total Weight: 594
7.14/7.26	c Elapsed CPU time: 7.17091 s	Remaining CPU time: 1792.83 s
7.14/7.27	c core #595
7.14/7.27	c Core size: 4	Core Weight: 1	Total Weight: 595
7.14/7.27	c Elapsed CPU time: 7.18691 s	Remaining CPU time: 1792.81 s
7.14/7.29	c core #596
7.14/7.29	c Core size: 4	Core Weight: 1	Total Weight: 596
7.14/7.29	c Elapsed CPU time: 7.2009 s	Remaining CPU time: 1792.8 s
7.23/7.30	c core #597
7.23/7.30	c Core size: 4	Core Weight: 1	Total Weight: 597
7.23/7.30	c Elapsed CPU time: 7.2159 s	Remaining CPU time: 1792.78 s
7.23/7.32	c core #598
7.23/7.32	c Core size: 4	Core Weight: 1	Total Weight: 598
7.23/7.32	c Elapsed CPU time: 7.2299 s	Remaining CPU time: 1792.77 s
7.23/7.34	c core #599
7.23/7.34	c Core size: 4	Core Weight: 1	Total Weight: 599
7.23/7.34	c Elapsed CPU time: 7.2459 s	Remaining CPU time: 1792.75 s
7.23/7.35	c core #600
7.23/7.35	c Core size: 4	Core Weight: 1	Total Weight: 600
7.23/7.35	c Elapsed CPU time: 7.2619 s	Remaining CPU time: 1792.74 s
7.23/7.37	c core #601
7.23/7.37	c Core size: 4	Core Weight: 1	Total Weight: 601
7.23/7.37	c Elapsed CPU time: 7.27789 s	Remaining CPU time: 1792.72 s
7.23/7.38	c core #602
7.23/7.38	c Core size: 4	Core Weight: 1	Total Weight: 602
7.23/7.38	c Elapsed CPU time: 7.29389 s	Remaining CPU time: 1792.71 s
7.34/7.40	c core #603
7.34/7.40	c Core size: 4	Core Weight: 1	Total Weight: 603
7.34/7.40	c Elapsed CPU time: 7.30989 s	Remaining CPU time: 1792.69 s
7.34/7.42	c core #604
7.34/7.42	c Core size: 4	Core Weight: 1	Total Weight: 604
7.34/7.42	c Elapsed CPU time: 7.32589 s	Remaining CPU time: 1792.67 s
7.34/7.43	c core #605
7.34/7.43	c Core size: 4	Core Weight: 1	Total Weight: 605
7.34/7.43	c Elapsed CPU time: 7.34088 s	Remaining CPU time: 1792.66 s
7.34/7.45	c core #606
7.34/7.45	c Core size: 4	Core Weight: 1	Total Weight: 606
7.34/7.45	c Elapsed CPU time: 7.35688 s	Remaining CPU time: 1792.64 s
7.34/7.46	c core #607
7.34/7.46	c Core size: 4	Core Weight: 1	Total Weight: 607
7.34/7.46	c Elapsed CPU time: 7.37288 s	Remaining CPU time: 1792.63 s
7.34/7.48	c core #608
7.34/7.48	c Core size: 4	Core Weight: 1	Total Weight: 608
7.34/7.48	c Elapsed CPU time: 7.38788 s	Remaining CPU time: 1792.61 s
7.34/7.50	c core #609
7.34/7.50	c Core size: 4	Core Weight: 1	Total Weight: 609
7.34/7.50	c Elapsed CPU time: 7.40287 s	Remaining CPU time: 1792.6 s
7.44/7.51	c core #610
7.44/7.51	c Core size: 4	Core Weight: 1	Total Weight: 610
7.44/7.51	c Elapsed CPU time: 7.41887 s	Remaining CPU time: 1792.58 s
7.44/7.53	c core #611
7.44/7.53	c Core size: 4	Core Weight: 1	Total Weight: 611
7.44/7.53	c Elapsed CPU time: 7.43487 s	Remaining CPU time: 1792.57 s
7.44/7.54	c core #612
7.44/7.54	c Core size: 4	Core Weight: 1	Total Weight: 612
7.44/7.54	c Elapsed CPU time: 7.45087 s	Remaining CPU time: 1792.55 s
7.44/7.56	c core #613
7.44/7.56	c Core size: 4	Core Weight: 1	Total Weight: 613
7.44/7.56	c Elapsed CPU time: 7.46786 s	Remaining CPU time: 1792.53 s
7.44/7.58	c core #614
7.44/7.58	c Core size: 4	Core Weight: 1	Total Weight: 614
7.44/7.58	c Elapsed CPU time: 7.48386 s	Remaining CPU time: 1792.52 s
7.44/7.59	c core #615
7.44/7.59	c Core size: 4	Core Weight: 1	Total Weight: 615
7.44/7.59	c Elapsed CPU time: 7.49986 s	Remaining CPU time: 1792.5 s
7.54/7.61	c core #616
7.54/7.61	c Core size: 4	Core Weight: 1	Total Weight: 616
7.54/7.61	c Elapsed CPU time: 7.51586 s	Remaining CPU time: 1792.48 s
7.54/7.62	c core #617
7.54/7.62	c Core size: 4	Core Weight: 1	Total Weight: 617
7.54/7.62	c Elapsed CPU time: 7.53185 s	Remaining CPU time: 1792.47 s
7.54/7.64	c core #618
7.54/7.64	c Core size: 4	Core Weight: 1	Total Weight: 618
7.54/7.64	c Elapsed CPU time: 7.54885 s	Remaining CPU time: 1792.45 s
7.54/7.66	c core #619
7.54/7.66	c Core size: 4	Core Weight: 1	Total Weight: 619
7.54/7.66	c Elapsed CPU time: 7.56485 s	Remaining CPU time: 1792.44 s
7.54/7.67	c core #620
7.54/7.67	c Core size: 4	Core Weight: 1	Total Weight: 620
7.54/7.67	c Elapsed CPU time: 7.58085 s	Remaining CPU time: 1792.42 s
7.54/7.69	c core #621
7.54/7.69	c Core size: 4	Core Weight: 1	Total Weight: 621
7.54/7.69	c Elapsed CPU time: 7.59685 s	Remaining CPU time: 1792.4 s
7.64/7.71	c core #622
7.64/7.71	c Core size: 4	Core Weight: 1	Total Weight: 622
7.64/7.71	c Elapsed CPU time: 7.61384 s	Remaining CPU time: 1792.39 s
7.64/7.72	c core #623
7.64/7.72	c Core size: 4	Core Weight: 1	Total Weight: 623
7.64/7.72	c Elapsed CPU time: 7.62984 s	Remaining CPU time: 1792.37 s
7.64/7.74	c core #624
7.64/7.74	c Core size: 4	Core Weight: 1	Total Weight: 624
7.64/7.74	c Elapsed CPU time: 7.64584 s	Remaining CPU time: 1792.35 s
7.64/7.76	c core #625
7.64/7.76	c Core size: 4	Core Weight: 1	Total Weight: 625
7.64/7.76	c Elapsed CPU time: 7.66183 s	Remaining CPU time: 1792.34 s
7.64/7.77	c core #626
7.64/7.77	c Core size: 4	Core Weight: 1	Total Weight: 626
7.64/7.77	c Elapsed CPU time: 7.67783 s	Remaining CPU time: 1792.32 s
7.64/7.79	c core #627
7.64/7.79	c Core size: 4	Core Weight: 1	Total Weight: 627
7.64/7.79	c Elapsed CPU time: 7.69383 s	Remaining CPU time: 1792.31 s
7.74/7.80	c core #628
7.74/7.80	c Core size: 4	Core Weight: 1	Total Weight: 628
7.74/7.80	c Elapsed CPU time: 7.71083 s	Remaining CPU time: 1792.29 s
7.74/7.82	c core #629
7.74/7.82	c Core size: 4	Core Weight: 1	Total Weight: 629
7.74/7.82	c Elapsed CPU time: 7.72682 s	Remaining CPU time: 1792.27 s
7.74/7.84	c core #630
7.74/7.84	c Core size: 4	Core Weight: 1	Total Weight: 630
7.74/7.84	c Elapsed CPU time: 7.74382 s	Remaining CPU time: 1792.26 s
7.74/7.85	c core #631
7.74/7.85	c Core size: 4	Core Weight: 1	Total Weight: 631
7.74/7.85	c Elapsed CPU time: 7.75882 s	Remaining CPU time: 1792.24 s
7.74/7.87	c core #632
7.74/7.87	c Core size: 4	Core Weight: 1	Total Weight: 632
7.74/7.87	c Elapsed CPU time: 7.77582 s	Remaining CPU time: 1792.22 s
7.74/7.89	c core #633
7.74/7.89	c Core size: 4	Core Weight: 1	Total Weight: 633
7.74/7.89	c Elapsed CPU time: 7.79181 s	Remaining CPU time: 1792.21 s
7.84/7.90	c core #634
7.84/7.90	c Core size: 4	Core Weight: 1	Total Weight: 634
7.84/7.90	c Elapsed CPU time: 7.80781 s	Remaining CPU time: 1792.19 s
7.84/7.92	c core #635
7.84/7.92	c Core size: 4	Core Weight: 1	Total Weight: 635
7.84/7.92	c Elapsed CPU time: 7.82481 s	Remaining CPU time: 1792.18 s
7.84/7.94	c core #636
7.84/7.94	c Core size: 4	Core Weight: 1	Total Weight: 636
7.84/7.94	c Elapsed CPU time: 7.84081 s	Remaining CPU time: 1792.16 s
7.84/7.95	c core #637
7.84/7.95	c Core size: 4	Core Weight: 1	Total Weight: 637
7.84/7.95	c Elapsed CPU time: 7.8568 s	Remaining CPU time: 1792.14 s
7.84/7.97	c core #638
7.84/7.97	c Core size: 4	Core Weight: 1	Total Weight: 638
7.84/7.97	c Elapsed CPU time: 7.8728 s	Remaining CPU time: 1792.13 s
7.84/7.99	c core #639
7.84/7.99	c Core size: 4	Core Weight: 1	Total Weight: 639
7.84/7.99	c Elapsed CPU time: 7.8888 s	Remaining CPU time: 1792.11 s
7.93/8.00	c core #640
7.93/8.00	c Core size: 4	Core Weight: 1	Total Weight: 640
7.93/8.00	c Elapsed CPU time: 7.9038 s	Remaining CPU time: 1792.1 s
7.93/8.02	c core #641
7.93/8.02	c Core size: 4	Core Weight: 1	Total Weight: 641
7.93/8.02	c Elapsed CPU time: 7.9208 s	Remaining CPU time: 1792.08 s
7.93/8.04	c core #642
7.93/8.04	c Core size: 4	Core Weight: 1	Total Weight: 642
7.93/8.04	c Elapsed CPU time: 7.93779 s	Remaining CPU time: 1792.06 s
7.93/8.05	c core #643
7.93/8.05	c Core size: 4	Core Weight: 1	Total Weight: 643
7.93/8.05	c Elapsed CPU time: 7.95479 s	Remaining CPU time: 1792.05 s
7.93/8.07	c core #644
7.93/8.07	c Core size: 4	Core Weight: 1	Total Weight: 644
7.93/8.07	c Elapsed CPU time: 7.97179 s	Remaining CPU time: 1792.03 s
7.93/8.09	c core #645
7.93/8.09	c Core size: 4	Core Weight: 1	Total Weight: 645
7.93/8.09	c Elapsed CPU time: 7.98778 s	Remaining CPU time: 1792.01 s
8.03/8.10	c core #646
8.03/8.10	c Core size: 4	Core Weight: 1	Total Weight: 646
8.03/8.10	c Elapsed CPU time: 8.00278 s	Remaining CPU time: 1792 s
8.03/8.12	c core #647
8.03/8.12	c Core size: 4	Core Weight: 1	Total Weight: 647
8.03/8.12	c Elapsed CPU time: 8.01878 s	Remaining CPU time: 1791.98 s
8.03/8.14	c core #648
8.03/8.14	c Core size: 4	Core Weight: 1	Total Weight: 648
8.03/8.14	c Elapsed CPU time: 8.03478 s	Remaining CPU time: 1791.97 s
8.03/8.15	c core #649
8.03/8.15	c Core size: 4	Core Weight: 1	Total Weight: 649
8.03/8.15	c Elapsed CPU time: 8.05078 s	Remaining CPU time: 1791.95 s
8.03/8.17	c core #650
8.03/8.17	c Core size: 4	Core Weight: 1	Total Weight: 650
8.03/8.17	c Elapsed CPU time: 8.06777 s	Remaining CPU time: 1791.93 s
8.03/8.19	c core #651
8.03/8.19	c Core size: 4	Core Weight: 1	Total Weight: 651
8.03/8.19	c Elapsed CPU time: 8.08477 s	Remaining CPU time: 1791.92 s
8.13/8.21	c core #652
8.13/8.21	c Core size: 4	Core Weight: 1	Total Weight: 652
8.13/8.21	c Elapsed CPU time: 8.10177 s	Remaining CPU time: 1791.9 s
8.13/8.22	c core #653
8.13/8.22	c Core size: 4	Core Weight: 1	Total Weight: 653
8.13/8.22	c Elapsed CPU time: 8.11876 s	Remaining CPU time: 1791.88 s
8.13/8.24	c core #654
8.13/8.24	c Core size: 4	Core Weight: 1	Total Weight: 654
8.13/8.24	c Elapsed CPU time: 8.13576 s	Remaining CPU time: 1791.86 s
8.13/8.26	c core #655
8.13/8.26	c Core size: 4	Core Weight: 1	Total Weight: 655
8.13/8.26	c Elapsed CPU time: 8.15276 s	Remaining CPU time: 1791.85 s
8.13/8.27	c core #656
8.13/8.27	c Core size: 4	Core Weight: 1	Total Weight: 656
8.13/8.27	c Elapsed CPU time: 8.16976 s	Remaining CPU time: 1791.83 s
8.13/8.29	c core #657
8.13/8.29	c Core size: 4	Core Weight: 1	Total Weight: 657
8.13/8.29	c Elapsed CPU time: 8.18675 s	Remaining CPU time: 1791.81 s
8.23/8.31	c core #658
8.23/8.31	c Core size: 4	Core Weight: 1	Total Weight: 658
8.23/8.31	c Elapsed CPU time: 8.20375 s	Remaining CPU time: 1791.8 s
8.23/8.33	c core #659
8.23/8.33	c Core size: 4	Core Weight: 1	Total Weight: 659
8.23/8.33	c Elapsed CPU time: 8.22075 s	Remaining CPU time: 1791.78 s
8.23/8.34	c core #660
8.23/8.34	c Core size: 4	Core Weight: 1	Total Weight: 660
8.23/8.34	c Elapsed CPU time: 8.23775 s	Remaining CPU time: 1791.76 s
8.23/8.36	c core #661
8.23/8.36	c Core size: 4	Core Weight: 1	Total Weight: 661
8.23/8.36	c Elapsed CPU time: 8.25474 s	Remaining CPU time: 1791.75 s
8.23/8.38	c core #662
8.23/8.38	c Core size: 4	Core Weight: 1	Total Weight: 662
8.23/8.38	c Elapsed CPU time: 8.27174 s	Remaining CPU time: 1791.73 s
8.23/8.39	c core #663
8.23/8.39	c Core size: 4	Core Weight: 1	Total Weight: 663
8.23/8.39	c Elapsed CPU time: 8.28774 s	Remaining CPU time: 1791.71 s
8.32/8.41	c core #664
8.32/8.41	c Core size: 4	Core Weight: 1	Total Weight: 664
8.32/8.41	c Elapsed CPU time: 8.30374 s	Remaining CPU time: 1791.7 s
8.32/8.43	c core #665
8.32/8.43	c Core size: 4	Core Weight: 1	Total Weight: 665
8.32/8.43	c Elapsed CPU time: 8.31973 s	Remaining CPU time: 1791.68 s
8.32/8.44	c core #666
8.32/8.44	c Core size: 4	Core Weight: 1	Total Weight: 666
8.32/8.44	c Elapsed CPU time: 8.33673 s	Remaining CPU time: 1791.66 s
8.32/8.46	c core #667
8.32/8.46	c Core size: 4	Core Weight: 1	Total Weight: 667
8.32/8.46	c Elapsed CPU time: 8.35373 s	Remaining CPU time: 1791.65 s
8.32/8.48	c core #668
8.32/8.48	c Core size: 4	Core Weight: 1	Total Weight: 668
8.32/8.48	c Elapsed CPU time: 8.37073 s	Remaining CPU time: 1791.63 s
8.32/8.50	c core #669
8.32/8.50	c Core size: 4	Core Weight: 1	Total Weight: 669
8.32/8.50	c Elapsed CPU time: 8.38772 s	Remaining CPU time: 1791.61 s
8.42/8.51	c core #670
8.42/8.51	c Core size: 4	Core Weight: 1	Total Weight: 670
8.42/8.51	c Elapsed CPU time: 8.40472 s	Remaining CPU time: 1791.6 s
8.42/8.53	c core #671
8.42/8.53	c Core size: 4	Core Weight: 1	Total Weight: 671
8.42/8.53	c Elapsed CPU time: 8.42172 s	Remaining CPU time: 1791.58 s
8.42/8.55	c core #672
8.42/8.55	c Core size: 4	Core Weight: 1	Total Weight: 672
8.42/8.55	c Elapsed CPU time: 8.43872 s	Remaining CPU time: 1791.56 s
8.42/8.56	c core #673
8.42/8.56	c Core size: 4	Core Weight: 1	Total Weight: 673
8.42/8.56	c Elapsed CPU time: 8.45571 s	Remaining CPU time: 1791.54 s
8.42/8.58	c core #674
8.42/8.58	c Core size: 4	Core Weight: 1	Total Weight: 674
8.42/8.58	c Elapsed CPU time: 8.47271 s	Remaining CPU time: 1791.53 s
8.52/8.60	c core #675
8.52/8.60	c Core size: 4	Core Weight: 1	Total Weight: 675
8.52/8.60	c Elapsed CPU time: 8.48871 s	Remaining CPU time: 1791.51 s
8.52/8.62	c core #676
8.52/8.62	c Core size: 4	Core Weight: 1	Total Weight: 676
8.52/8.62	c Elapsed CPU time: 8.50671 s	Remaining CPU time: 1791.49 s
8.52/8.63	c core #677
8.52/8.63	c Core size: 4	Core Weight: 1	Total Weight: 677
8.52/8.63	c Elapsed CPU time: 8.5237 s	Remaining CPU time: 1791.48 s
8.52/8.65	c core #678
8.52/8.65	c Core size: 4	Core Weight: 1	Total Weight: 678
8.52/8.65	c Elapsed CPU time: 8.5407 s	Remaining CPU time: 1791.46 s
8.52/8.67	c core #679
8.52/8.67	c Core size: 4	Core Weight: 1	Total Weight: 679
8.52/8.67	c Elapsed CPU time: 8.5587 s	Remaining CPU time: 1791.44 s
8.52/8.69	c core #680
8.52/8.69	c Core size: 4	Core Weight: 1	Total Weight: 680
8.52/8.69	c Elapsed CPU time: 8.5757 s	Remaining CPU time: 1791.42 s
8.62/8.70	c core #681
8.62/8.70	c Core size: 4	Core Weight: 1	Total Weight: 681
8.62/8.70	c Elapsed CPU time: 8.59369 s	Remaining CPU time: 1791.41 s
8.62/8.72	c core #682
8.62/8.72	c Core size: 4	Core Weight: 1	Total Weight: 682
8.62/8.72	c Elapsed CPU time: 8.61069 s	Remaining CPU time: 1791.39 s
8.62/8.74	c core #683
8.62/8.74	c Core size: 4	Core Weight: 1	Total Weight: 683
8.62/8.74	c Elapsed CPU time: 8.62769 s	Remaining CPU time: 1791.37 s
8.62/8.76	c core #684
8.62/8.76	c Core size: 4	Core Weight: 1	Total Weight: 684
8.62/8.76	c Elapsed CPU time: 8.64368 s	Remaining CPU time: 1791.36 s
8.62/8.77	c core #685
8.62/8.77	c Core size: 4	Core Weight: 1	Total Weight: 685
8.62/8.77	c Elapsed CPU time: 8.66068 s	Remaining CPU time: 1791.34 s
8.62/8.79	c core #686
8.62/8.79	c Core size: 4	Core Weight: 1	Total Weight: 686
8.62/8.79	c Elapsed CPU time: 8.67868 s	Remaining CPU time: 1791.32 s
8.72/8.81	c core #687
8.72/8.81	c Core size: 4	Core Weight: 1	Total Weight: 687
8.72/8.81	c Elapsed CPU time: 8.69568 s	Remaining CPU time: 1791.3 s
8.72/8.83	c core #688
8.72/8.83	c Core size: 4	Core Weight: 1	Total Weight: 688
8.72/8.83	c Elapsed CPU time: 8.71268 s	Remaining CPU time: 1791.29 s
8.72/8.84	c core #689
8.72/8.84	c Core size: 4	Core Weight: 1	Total Weight: 689
8.72/8.84	c Elapsed CPU time: 8.73067 s	Remaining CPU time: 1791.27 s
8.72/8.86	c core #690
8.72/8.86	c Core size: 4	Core Weight: 1	Total Weight: 690
8.72/8.86	c Elapsed CPU time: 8.74767 s	Remaining CPU time: 1791.25 s
8.72/8.88	c core #691
8.72/8.88	c Core size: 4	Core Weight: 1	Total Weight: 691
8.72/8.88	c Elapsed CPU time: 8.76567 s	Remaining CPU time: 1791.23 s
8.82/8.90	c core #692
8.82/8.90	c Core size: 4	Core Weight: 1	Total Weight: 692
8.82/8.90	c Elapsed CPU time: 8.78466 s	Remaining CPU time: 1791.22 s
8.82/8.92	c core #693
8.82/8.92	c Core size: 4	Core Weight: 1	Total Weight: 693
8.82/8.92	c Elapsed CPU time: 8.80266 s	Remaining CPU time: 1791.2 s
8.82/8.93	c core #694
8.82/8.93	c Core size: 4	Core Weight: 1	Total Weight: 694
8.82/8.93	c Elapsed CPU time: 8.82066 s	Remaining CPU time: 1791.18 s
8.82/8.95	c core #695
8.82/8.95	c Core size: 4	Core Weight: 1	Total Weight: 695
8.82/8.95	c Elapsed CPU time: 8.83866 s	Remaining CPU time: 1791.16 s
8.82/8.97	c core #696
8.82/8.97	c Core size: 4	Core Weight: 1	Total Weight: 696
8.82/8.97	c Elapsed CPU time: 8.85665 s	Remaining CPU time: 1791.14 s
8.82/8.99	c core #697
8.82/8.99	c Core size: 4	Core Weight: 1	Total Weight: 697
8.82/8.99	c Elapsed CPU time: 8.87465 s	Remaining CPU time: 1791.13 s
8.92/9.01	c core #698
8.92/9.01	c Core size: 4	Core Weight: 1	Total Weight: 698
8.92/9.01	c Elapsed CPU time: 8.89265 s	Remaining CPU time: 1791.11 s
8.92/9.02	c core #699
8.92/9.02	c Core size: 4	Core Weight: 1	Total Weight: 699
8.92/9.02	c Elapsed CPU time: 8.91065 s	Remaining CPU time: 1791.09 s
8.92/9.04	c core #700
8.92/9.04	c Core size: 4	Core Weight: 1	Total Weight: 700
8.92/9.04	c Elapsed CPU time: 8.92864 s	Remaining CPU time: 1791.07 s
8.92/9.06	c core #701
8.92/9.06	c Core size: 4	Core Weight: 1	Total Weight: 701
8.92/9.06	c Elapsed CPU time: 8.94664 s	Remaining CPU time: 1791.05 s
8.92/9.08	c core #702
8.92/9.08	c Core size: 4	Core Weight: 1	Total Weight: 702
8.92/9.08	c Elapsed CPU time: 8.96364 s	Remaining CPU time: 1791.04 s
8.92/9.10	c core #703
8.92/9.10	c Core size: 4	Core Weight: 1	Total Weight: 703
8.92/9.10	c Elapsed CPU time: 8.98163 s	Remaining CPU time: 1791.02 s
9.02/9.11	c core #704
9.02/9.11	c Core size: 4	Core Weight: 1	Total Weight: 704
9.02/9.11	c Elapsed CPU time: 8.99863 s	Remaining CPU time: 1791 s
9.02/9.13	c core #705
9.02/9.13	c Core size: 4	Core Weight: 1	Total Weight: 705
9.02/9.13	c Elapsed CPU time: 9.01763 s	Remaining CPU time: 1790.98 s
9.02/9.15	c core #706
9.02/9.15	c Core size: 4	Core Weight: 1	Total Weight: 706
9.02/9.15	c Elapsed CPU time: 9.03563 s	Remaining CPU time: 1790.96 s
9.02/9.17	c core #707
9.02/9.17	c Core size: 4	Core Weight: 1	Total Weight: 707
9.02/9.17	c Elapsed CPU time: 9.05362 s	Remaining CPU time: 1790.95 s
9.02/9.19	c core #708
9.02/9.19	c Core size: 4	Core Weight: 1	Total Weight: 708
9.02/9.19	c Elapsed CPU time: 9.07062 s	Remaining CPU time: 1790.93 s
9.12/9.20	c core #709
9.12/9.20	c Core size: 4	Core Weight: 1	Total Weight: 709
9.12/9.20	c Elapsed CPU time: 9.08862 s	Remaining CPU time: 1790.91 s
9.12/9.22	c core #710
9.12/9.22	c Core size: 4	Core Weight: 1	Total Weight: 710
9.12/9.22	c Elapsed CPU time: 9.10661 s	Remaining CPU time: 1790.89 s
9.12/9.24	c core #711
9.12/9.24	c Core size: 4	Core Weight: 1	Total Weight: 711
9.12/9.24	c Elapsed CPU time: 9.12461 s	Remaining CPU time: 1790.88 s
9.12/9.26	c core #712
9.12/9.26	c Core size: 4	Core Weight: 1	Total Weight: 712
9.12/9.26	c Elapsed CPU time: 9.14261 s	Remaining CPU time: 1790.86 s
9.12/9.28	c core #713
9.12/9.28	c Core size: 4	Core Weight: 1	Total Weight: 713
9.12/9.28	c Elapsed CPU time: 9.16061 s	Remaining CPU time: 1790.84 s
9.12/9.29	c core #714
9.12/9.29	c Core size: 4	Core Weight: 1	Total Weight: 714
9.12/9.29	c Elapsed CPU time: 9.1786 s	Remaining CPU time: 1790.82 s
9.22/9.31	c core #715
9.22/9.31	c Core size: 4	Core Weight: 1	Total Weight: 715
9.22/9.31	c Elapsed CPU time: 9.1966 s	Remaining CPU time: 1790.8 s
9.22/9.33	c core #716
9.22/9.33	c Core size: 4	Core Weight: 1	Total Weight: 716
9.22/9.33	c Elapsed CPU time: 9.2136 s	Remaining CPU time: 1790.79 s
9.22/9.35	c core #717
9.22/9.35	c Core size: 4	Core Weight: 1	Total Weight: 717
9.22/9.35	c Elapsed CPU time: 9.2306 s	Remaining CPU time: 1790.77 s
9.22/9.36	c core #718
9.22/9.36	c Core size: 4	Core Weight: 1	Total Weight: 718
9.22/9.37	c Elapsed CPU time: 9.24959 s	Remaining CPU time: 1790.75 s
9.22/9.38	c core #719
9.22/9.38	c Core size: 4	Core Weight: 1	Total Weight: 719
9.22/9.38	c Elapsed CPU time: 9.26659 s	Remaining CPU time: 1790.73 s
9.33/9.40	c core #720
9.33/9.40	c Core size: 4	Core Weight: 1	Total Weight: 720
9.33/9.40	c Elapsed CPU time: 9.28359 s	Remaining CPU time: 1790.72 s
9.33/9.42	c core #721
9.33/9.42	c Core size: 4	Core Weight: 1	Total Weight: 721
9.33/9.42	c Elapsed CPU time: 9.30059 s	Remaining CPU time: 1790.7 s
9.33/9.44	c core #722
9.33/9.44	c Core size: 4	Core Weight: 1	Total Weight: 722
9.33/9.44	c Elapsed CPU time: 9.31758 s	Remaining CPU time: 1790.68 s
9.33/9.46	c core #723
9.33/9.46	c Core size: 4	Core Weight: 1	Total Weight: 723
9.33/9.46	c Elapsed CPU time: 9.33658 s	Remaining CPU time: 1790.66 s
9.33/9.47	c core #724
9.33/9.47	c Core size: 4	Core Weight: 1	Total Weight: 724
9.33/9.47	c Elapsed CPU time: 9.35458 s	Remaining CPU time: 1790.65 s
9.33/9.49	c core #725
9.33/9.49	c Core size: 4	Core Weight: 1	Total Weight: 725
9.33/9.49	c Elapsed CPU time: 9.37257 s	Remaining CPU time: 1790.63 s
9.42/9.51	c core #726
9.42/9.51	c Core size: 4	Core Weight: 1	Total Weight: 726
9.42/9.51	c Elapsed CPU time: 9.39157 s	Remaining CPU time: 1790.61 s
9.42/9.53	c core #727
9.42/9.53	c Core size: 4	Core Weight: 1	Total Weight: 727
9.42/9.53	c Elapsed CPU time: 9.40957 s	Remaining CPU time: 1790.59 s
9.42/9.55	c core #728
9.42/9.55	c Core size: 4	Core Weight: 1	Total Weight: 728
9.42/9.55	c Elapsed CPU time: 9.42857 s	Remaining CPU time: 1790.57 s
9.42/9.57	c core #729
9.42/9.57	c Core size: 4	Core Weight: 1	Total Weight: 729
9.42/9.57	c Elapsed CPU time: 9.44656 s	Remaining CPU time: 1790.55 s
9.42/9.58	c core #730
9.42/9.58	c Core size: 4	Core Weight: 1	Total Weight: 730
9.42/9.58	c Elapsed CPU time: 9.46456 s	Remaining CPU time: 1790.54 s
9.52/9.60	c core #731
9.52/9.60	c Core size: 4	Core Weight: 1	Total Weight: 731
9.52/9.60	c Elapsed CPU time: 9.48256 s	Remaining CPU time: 1790.52 s
9.52/9.62	c core #732
9.52/9.62	c Core size: 4	Core Weight: 1	Total Weight: 732
9.52/9.62	c Elapsed CPU time: 9.50056 s	Remaining CPU time: 1790.5 s
9.52/9.64	c core #733
9.52/9.64	c Core size: 4	Core Weight: 1	Total Weight: 733
9.52/9.64	c Elapsed CPU time: 9.51855 s	Remaining CPU time: 1790.48 s
9.52/9.66	c core #734
9.52/9.66	c Core size: 4	Core Weight: 1	Total Weight: 734
9.52/9.66	c Elapsed CPU time: 9.53755 s	Remaining CPU time: 1790.46 s
9.52/9.68	c core #735
9.52/9.68	c Core size: 4	Core Weight: 1	Total Weight: 735
9.52/9.68	c Elapsed CPU time: 9.55555 s	Remaining CPU time: 1790.44 s
9.52/9.69	c core #736
9.52/9.69	c Core size: 4	Core Weight: 1	Total Weight: 736
9.52/9.69	c Elapsed CPU time: 9.57454 s	Remaining CPU time: 1790.43 s
9.62/9.71	c core #737
9.62/9.71	c Core size: 4	Core Weight: 1	Total Weight: 737
9.62/9.71	c Elapsed CPU time: 9.59254 s	Remaining CPU time: 1790.41 s
9.62/9.73	c core #738
9.62/9.73	c Core size: 4	Core Weight: 1	Total Weight: 738
9.62/9.73	c Elapsed CPU time: 9.61054 s	Remaining CPU time: 1790.39 s
9.62/9.75	c core #739
9.62/9.75	c Core size: 4	Core Weight: 1	Total Weight: 739
9.62/9.75	c Elapsed CPU time: 9.62854 s	Remaining CPU time: 1790.37 s
9.62/9.77	c core #740
9.62/9.77	c Core size: 4	Core Weight: 1	Total Weight: 740
9.62/9.77	c Elapsed CPU time: 9.64653 s	Remaining CPU time: 1790.35 s
9.62/9.79	c core #741
9.62/9.79	c Core size: 4	Core Weight: 1	Total Weight: 741
9.62/9.79	c Elapsed CPU time: 9.66453 s	Remaining CPU time: 1790.34 s
9.72/9.80	c core #742
9.72/9.80	c Core size: 4	Core Weight: 1	Total Weight: 742
9.72/9.80	c Elapsed CPU time: 9.68253 s	Remaining CPU time: 1790.32 s
9.72/9.82	c core #743
9.72/9.82	c Core size: 4	Core Weight: 1	Total Weight: 743
9.72/9.82	c Elapsed CPU time: 9.70153 s	Remaining CPU time: 1790.3 s
9.72/9.84	c core #744
9.72/9.84	c Core size: 4	Core Weight: 1	Total Weight: 744
9.72/9.84	c Elapsed CPU time: 9.71952 s	Remaining CPU time: 1790.28 s
9.72/9.86	c core #745
9.72/9.86	c Core size: 4	Core Weight: 1	Total Weight: 745
9.72/9.86	c Elapsed CPU time: 9.73752 s	Remaining CPU time: 1790.26 s
9.72/9.88	c core #746
9.72/9.88	c Core size: 4	Core Weight: 1	Total Weight: 746
9.72/9.88	c Elapsed CPU time: 9.75752 s	Remaining CPU time: 1790.24 s
9.72/9.90	c core #747
9.72/9.90	c Core size: 4	Core Weight: 1	Total Weight: 747
9.72/9.90	c Elapsed CPU time: 9.77651 s	Remaining CPU time: 1790.22 s
9.82/9.92	c core #748
9.82/9.92	c Core size: 4	Core Weight: 1	Total Weight: 748
9.82/9.92	c Elapsed CPU time: 9.79451 s	Remaining CPU time: 1790.21 s
9.82/9.94	c core #749
9.82/9.94	c Core size: 4	Core Weight: 1	Total Weight: 749
9.82/9.94	c Elapsed CPU time: 9.81351 s	Remaining CPU time: 1790.19 s
9.82/9.96	c core #750
9.82/9.96	c Core size: 4	Core Weight: 1	Total Weight: 750
9.82/9.96	c Elapsed CPU time: 9.8325 s	Remaining CPU time: 1790.17 s
9.82/9.97	c core #751
9.82/9.97	c Core size: 4	Core Weight: 1	Total Weight: 751
9.82/9.97	c Elapsed CPU time: 9.8505 s	Remaining CPU time: 1790.15 s
9.82/9.99	c core #752
9.82/9.99	c Core size: 4	Core Weight: 1	Total Weight: 752
9.82/9.99	c Elapsed CPU time: 9.8695 s	Remaining CPU time: 1790.13 s
9.92/10.01	c core #753
9.92/10.01	c Core size: 4	Core Weight: 1	Total Weight: 753
9.92/10.01	c Elapsed CPU time: 9.8885 s	Remaining CPU time: 1790.11 s
9.92/10.03	c core #754
9.92/10.03	c Core size: 4	Core Weight: 1	Total Weight: 754
9.92/10.03	c Elapsed CPU time: 9.90749 s	Remaining CPU time: 1790.09 s
9.92/10.05	c core #755
9.92/10.05	c Core size: 4	Core Weight: 1	Total Weight: 755
9.92/10.05	c Elapsed CPU time: 9.92649 s	Remaining CPU time: 1790.07 s
9.92/10.07	c core #756
9.92/10.07	c Core size: 4	Core Weight: 1	Total Weight: 756
9.92/10.07	c Elapsed CPU time: 9.94549 s	Remaining CPU time: 1790.05 s
9.92/10.09	c core #757
9.92/10.09	c Core size: 4	Core Weight: 1	Total Weight: 757
9.92/10.09	c Elapsed CPU time: 9.96448 s	Remaining CPU time: 1790.04 s
10.02/10.11	c core #758
10.02/10.11	c Core size: 4	Core Weight: 1	Total Weight: 758
10.02/10.11	c Elapsed CPU time: 9.98248 s	Remaining CPU time: 1790.02 s
10.02/10.12	c core #759
10.02/10.12	c Core size: 4	Core Weight: 1	Total Weight: 759
10.02/10.12	c Elapsed CPU time: 10.0015 s	Remaining CPU time: 1790 s
10.02/10.14	c core #760
10.02/10.14	c Core size: 4	Core Weight: 1	Total Weight: 760
10.02/10.14	c Elapsed CPU time: 10.0195 s	Remaining CPU time: 1789.98 s
10.02/10.16	c core #761
10.02/10.16	c Core size: 4	Core Weight: 1	Total Weight: 761
10.02/10.16	c Elapsed CPU time: 10.0385 s	Remaining CPU time: 1789.96 s
10.02/10.18	c core #762
10.02/10.18	c Core size: 4	Core Weight: 1	Total Weight: 762
10.02/10.18	c Elapsed CPU time: 10.0575 s	Remaining CPU time: 1789.94 s
10.12/10.20	c core #763
10.12/10.20	c Core size: 4	Core Weight: 1	Total Weight: 763
10.12/10.20	c Elapsed CPU time: 10.0775 s	Remaining CPU time: 1789.92 s
10.12/10.22	c core #764
10.12/10.22	c Core size: 4	Core Weight: 1	Total Weight: 764
10.12/10.22	c Elapsed CPU time: 10.0965 s	Remaining CPU time: 1789.9 s
10.12/10.24	c core #765
10.12/10.24	c Core size: 4	Core Weight: 1	Total Weight: 765
10.12/10.24	c Elapsed CPU time: 10.1155 s	Remaining CPU time: 1789.88 s
10.12/10.26	c core #766
10.12/10.26	c Core size: 4	Core Weight: 1	Total Weight: 766
10.12/10.26	c Elapsed CPU time: 10.1345 s	Remaining CPU time: 1789.87 s
10.12/10.28	c core #767
10.12/10.28	c Core size: 4	Core Weight: 1	Total Weight: 767
10.12/10.28	c Elapsed CPU time: 10.1525 s	Remaining CPU time: 1789.85 s
10.12/10.30	c core #768
10.12/10.30	c Core size: 4	Core Weight: 1	Total Weight: 768
10.12/10.30	c Elapsed CPU time: 10.1715 s	Remaining CPU time: 1789.83 s
10.22/10.31	c core #769
10.22/10.31	c Core size: 4	Core Weight: 1	Total Weight: 769
10.22/10.31	c Elapsed CPU time: 10.1895 s	Remaining CPU time: 1789.81 s
10.22/10.33	c core #770
10.22/10.33	c Core size: 4	Core Weight: 1	Total Weight: 770
10.22/10.33	c Elapsed CPU time: 10.2084 s	Remaining CPU time: 1789.79 s
10.22/10.35	c core #771
10.22/10.35	c Core size: 4	Core Weight: 1	Total Weight: 771
10.22/10.35	c Elapsed CPU time: 10.2274 s	Remaining CPU time: 1789.77 s
10.22/10.37	c core #772
10.22/10.37	c Core size: 4	Core Weight: 1	Total Weight: 772
10.22/10.37	c Elapsed CPU time: 10.2454 s	Remaining CPU time: 1789.75 s
10.22/10.39	c core #773
10.22/10.39	c Core size: 4	Core Weight: 1	Total Weight: 773
10.22/10.39	c Elapsed CPU time: 10.2644 s	Remaining CPU time: 1789.74 s
10.32/10.41	c core #774
10.32/10.41	c Core size: 4	Core Weight: 1	Total Weight: 774
10.32/10.41	c Elapsed CPU time: 10.2834 s	Remaining CPU time: 1789.72 s
10.32/10.43	c core #775
10.32/10.43	c Core size: 4	Core Weight: 1	Total Weight: 775
10.32/10.43	c Elapsed CPU time: 10.3024 s	Remaining CPU time: 1789.7 s
10.32/10.45	c core #776
10.32/10.45	c Core size: 4	Core Weight: 1	Total Weight: 776
10.32/10.45	c Elapsed CPU time: 10.3214 s	Remaining CPU time: 1789.68 s
10.32/10.47	c core #777
10.32/10.47	c Core size: 4	Core Weight: 1	Total Weight: 777
10.32/10.47	c Elapsed CPU time: 10.3404 s	Remaining CPU time: 1789.66 s
10.32/10.48	c core #778
10.32/10.48	c Core size: 4	Core Weight: 1	Total Weight: 778
10.32/10.48	c Elapsed CPU time: 10.3594 s	Remaining CPU time: 1789.64 s
10.42/10.50	c core #779
10.42/10.50	c Core size: 4	Core Weight: 1	Total Weight: 779
10.42/10.50	c Elapsed CPU time: 10.3784 s	Remaining CPU time: 1789.62 s
10.42/10.52	c core #780
10.42/10.52	c Core size: 4	Core Weight: 1	Total Weight: 780
10.42/10.52	c Elapsed CPU time: 10.3974 s	Remaining CPU time: 1789.6 s
10.42/10.54	c core #781
10.42/10.54	c Core size: 4	Core Weight: 1	Total Weight: 781
10.42/10.54	c Elapsed CPU time: 10.4164 s	Remaining CPU time: 1789.58 s
10.42/10.56	c core #782
10.42/10.56	c Core size: 4	Core Weight: 1	Total Weight: 782
10.42/10.56	c Elapsed CPU time: 10.4354 s	Remaining CPU time: 1789.56 s
10.42/10.58	c core #783
10.42/10.58	c Core size: 4	Core Weight: 1	Total Weight: 783
10.42/10.58	c Elapsed CPU time: 10.4544 s	Remaining CPU time: 1789.55 s
10.52/10.60	c core #784
10.52/10.60	c Core size: 4	Core Weight: 1	Total Weight: 784
10.52/10.60	c Elapsed CPU time: 10.4734 s	Remaining CPU time: 1789.53 s
10.52/10.62	c core #785
10.52/10.62	c Core size: 4	Core Weight: 1	Total Weight: 785
10.52/10.62	c Elapsed CPU time: 10.4924 s	Remaining CPU time: 1789.51 s
10.52/10.64	c core #786
10.52/10.64	c Core size: 4	Core Weight: 1	Total Weight: 786
10.52/10.64	c Elapsed CPU time: 10.5124 s	Remaining CPU time: 1789.49 s
10.52/10.66	c core #787
10.52/10.66	c Core size: 4	Core Weight: 1	Total Weight: 787
10.52/10.66	c Elapsed CPU time: 10.5314 s	Remaining CPU time: 1789.47 s
10.52/10.68	c core #788
10.52/10.68	c Core size: 4	Core Weight: 1	Total Weight: 788
10.52/10.68	c Elapsed CPU time: 10.5504 s	Remaining CPU time: 1789.45 s
10.52/10.69	c core #789
10.52/10.69	c Core size: 4	Core Weight: 1	Total Weight: 789
10.52/10.69	c Elapsed CPU time: 10.5694 s	Remaining CPU time: 1789.43 s
10.62/10.71	c core #790
10.62/10.71	c Core size: 4	Core Weight: 1	Total Weight: 790
10.62/10.71	c Elapsed CPU time: 10.5894 s	Remaining CPU time: 1789.41 s
10.62/10.73	c core #791
10.62/10.73	c Core size: 4	Core Weight: 1	Total Weight: 791
10.62/10.73	c Elapsed CPU time: 10.6084 s	Remaining CPU time: 1789.39 s
10.62/10.75	c core #792
10.62/10.75	c Core size: 4	Core Weight: 1	Total Weight: 792
10.62/10.75	c Elapsed CPU time: 10.6264 s	Remaining CPU time: 1789.37 s
10.62/10.77	c core #793
10.62/10.77	c Core size: 4	Core Weight: 1	Total Weight: 793
10.62/10.77	c Elapsed CPU time: 10.6454 s	Remaining CPU time: 1789.35 s
10.62/10.79	c core #794
10.62/10.79	c Core size: 4	Core Weight: 1	Total Weight: 794
10.62/10.79	c Elapsed CPU time: 10.6654 s	Remaining CPU time: 1789.33 s
10.72/10.81	c core #795
10.72/10.81	c Core size: 4	Core Weight: 1	Total Weight: 795
10.72/10.81	c Elapsed CPU time: 10.6844 s	Remaining CPU time: 1789.32 s
10.72/10.83	c core #796
10.72/10.83	c Core size: 4	Core Weight: 1	Total Weight: 796
10.72/10.83	c Elapsed CPU time: 10.7034 s	Remaining CPU time: 1789.3 s
10.72/10.85	c core #797
10.72/10.85	c Core size: 4	Core Weight: 1	Total Weight: 797
10.72/10.85	c Elapsed CPU time: 10.7224 s	Remaining CPU time: 1789.28 s
10.72/10.87	c core #798
10.72/10.87	c Core size: 4	Core Weight: 1	Total Weight: 798
10.72/10.87	c Elapsed CPU time: 10.7414 s	Remaining CPU time: 1789.26 s
10.72/10.89	c core #799
10.72/10.89	c Core size: 4	Core Weight: 1	Total Weight: 799
10.72/10.89	c Elapsed CPU time: 10.7604 s	Remaining CPU time: 1789.24 s
10.82/10.91	c core #800
10.82/10.91	c Core size: 4	Core Weight: 1	Total Weight: 800
10.82/10.91	c Elapsed CPU time: 10.7804 s	Remaining CPU time: 1789.22 s
10.82/10.93	c core #801
10.82/10.93	c Core size: 4	Core Weight: 1	Total Weight: 801
10.82/10.93	c Elapsed CPU time: 10.7994 s	Remaining CPU time: 1789.2 s
10.82/10.95	c core #802
10.82/10.95	c Core size: 4	Core Weight: 1	Total Weight: 802
10.82/10.95	c Elapsed CPU time: 10.8194 s	Remaining CPU time: 1789.18 s
10.82/10.97	c core #803
10.82/10.97	c Core size: 4	Core Weight: 1	Total Weight: 803
10.82/10.97	c Elapsed CPU time: 10.8384 s	Remaining CPU time: 1789.16 s
10.82/10.99	c core #804
10.82/10.99	c Core size: 4	Core Weight: 1	Total Weight: 804
10.82/10.99	c Elapsed CPU time: 10.8573 s	Remaining CPU time: 1789.14 s
10.92/11.01	c core #805
10.92/11.01	c Core size: 4	Core Weight: 1	Total Weight: 805
10.92/11.01	c Elapsed CPU time: 10.8773 s	Remaining CPU time: 1789.12 s
10.92/11.03	c core #806
10.92/11.03	c Core size: 4	Core Weight: 1	Total Weight: 806
10.92/11.03	c Elapsed CPU time: 10.8963 s	Remaining CPU time: 1789.1 s
10.92/11.04	c core #807
10.92/11.04	c Core size: 4	Core Weight: 1	Total Weight: 807
10.92/11.04	c Elapsed CPU time: 10.9153 s	Remaining CPU time: 1789.08 s
10.92/11.06	c core #808
10.92/11.06	c Core size: 4	Core Weight: 1	Total Weight: 808
10.92/11.06	c Elapsed CPU time: 10.9353 s	Remaining CPU time: 1789.06 s
10.92/11.08	c core #809
10.92/11.08	c Core size: 4	Core Weight: 1	Total Weight: 809
10.92/11.08	c Elapsed CPU time: 10.9553 s	Remaining CPU time: 1789.04 s
11.01/11.10	c core #810
11.01/11.10	c Core size: 4	Core Weight: 1	Total Weight: 810
11.01/11.10	c Elapsed CPU time: 10.9743 s	Remaining CPU time: 1789.03 s
11.01/11.12	c core #811
11.01/11.12	c Core size: 4	Core Weight: 1	Total Weight: 811
11.01/11.12	c Elapsed CPU time: 10.9933 s	Remaining CPU time: 1789.01 s
11.01/11.14	c core #812
11.01/11.14	c Core size: 4	Core Weight: 1	Total Weight: 812
11.01/11.14	c Elapsed CPU time: 11.0133 s	Remaining CPU time: 1788.99 s
11.01/11.16	c core #813
11.01/11.16	c Core size: 4	Core Weight: 1	Total Weight: 813
11.01/11.16	c Elapsed CPU time: 11.0333 s	Remaining CPU time: 1788.97 s
11.01/11.18	c core #814
11.01/11.18	c Core size: 4	Core Weight: 1	Total Weight: 814
11.01/11.18	c Elapsed CPU time: 11.0523 s	Remaining CPU time: 1788.95 s
11.11/11.20	c core #815
11.11/11.20	c Core size: 4	Core Weight: 1	Total Weight: 815
11.11/11.20	c Elapsed CPU time: 11.0713 s	Remaining CPU time: 1788.93 s
11.11/11.22	c core #816
11.11/11.22	c Core size: 4	Core Weight: 1	Total Weight: 816
11.11/11.22	c Elapsed CPU time: 11.0903 s	Remaining CPU time: 1788.91 s
11.11/11.24	c core #817
11.11/11.24	c Core size: 4	Core Weight: 1	Total Weight: 817
11.11/11.24	c Elapsed CPU time: 11.1093 s	Remaining CPU time: 1788.89 s
11.11/11.26	c core #818
11.11/11.26	c Core size: 4	Core Weight: 1	Total Weight: 818
11.11/11.26	c Elapsed CPU time: 11.1293 s	Remaining CPU time: 1788.87 s
11.11/11.28	c core #819
11.11/11.28	c Core size: 4	Core Weight: 1	Total Weight: 819
11.11/11.28	c Elapsed CPU time: 11.1473 s	Remaining CPU time: 1788.85 s
11.21/11.30	c core #820
11.21/11.30	c Core size: 4	Core Weight: 1	Total Weight: 820
11.21/11.30	c Elapsed CPU time: 11.1663 s	Remaining CPU time: 1788.83 s
11.21/11.32	c core #821
11.21/11.32	c Core size: 4	Core Weight: 1	Total Weight: 821
11.21/11.32	c Elapsed CPU time: 11.1863 s	Remaining CPU time: 1788.81 s
11.21/11.34	c core #822
11.21/11.34	c Core size: 4	Core Weight: 1	Total Weight: 822
11.21/11.34	c Elapsed CPU time: 11.2063 s	Remaining CPU time: 1788.79 s
11.21/11.36	c core #823
11.21/11.36	c Core size: 4	Core Weight: 1	Total Weight: 823
11.21/11.36	c Elapsed CPU time: 11.2253 s	Remaining CPU time: 1788.77 s
11.21/11.38	c core #824
11.21/11.38	c Core size: 4	Core Weight: 1	Total Weight: 824
11.21/11.38	c Elapsed CPU time: 11.2443 s	Remaining CPU time: 1788.76 s
11.31/11.40	c core #825
11.31/11.40	c Core size: 4	Core Weight: 1	Total Weight: 825
11.31/11.40	c Elapsed CPU time: 11.2633 s	Remaining CPU time: 1788.74 s
11.31/11.42	c core #826
11.31/11.42	c Core size: 4	Core Weight: 1	Total Weight: 826
11.31/11.42	c Elapsed CPU time: 11.2833 s	Remaining CPU time: 1788.72 s
11.31/11.44	c core #827
11.31/11.44	c Core size: 4	Core Weight: 1	Total Weight: 827
11.31/11.44	c Elapsed CPU time: 11.3023 s	Remaining CPU time: 1788.7 s
11.31/11.46	c core #828
11.31/11.46	c Core size: 4	Core Weight: 1	Total Weight: 828
11.31/11.46	c Elapsed CPU time: 11.3223 s	Remaining CPU time: 1788.68 s
11.31/11.48	c core #829
11.31/11.48	c Core size: 4	Core Weight: 1	Total Weight: 829
11.31/11.48	c Elapsed CPU time: 11.3423 s	Remaining CPU time: 1788.66 s
11.41/11.50	c core #830
11.41/11.50	c Core size: 4	Core Weight: 1	Total Weight: 830
11.41/11.50	c Elapsed CPU time: 11.3623 s	Remaining CPU time: 1788.64 s
11.41/11.52	c core #831
11.41/11.52	c Core size: 4	Core Weight: 1	Total Weight: 831
11.41/11.52	c Elapsed CPU time: 11.3823 s	Remaining CPU time: 1788.62 s
11.41/11.54	c core #832
11.41/11.54	c Core size: 4	Core Weight: 1	Total Weight: 832
11.41/11.54	c Elapsed CPU time: 11.4003 s	Remaining CPU time: 1788.6 s
11.41/11.56	c core #833
11.41/11.56	c Core size: 4	Core Weight: 1	Total Weight: 833
11.41/11.56	c Elapsed CPU time: 11.4193 s	Remaining CPU time: 1788.58 s
11.41/11.58	c core #834
11.41/11.58	c Core size: 4	Core Weight: 1	Total Weight: 834
11.41/11.58	c Elapsed CPU time: 11.4393 s	Remaining CPU time: 1788.56 s
11.51/11.60	c core #835
11.51/11.60	c Core size: 4	Core Weight: 1	Total Weight: 835
11.51/11.60	c Elapsed CPU time: 11.4583 s	Remaining CPU time: 1788.54 s
11.51/11.62	c core #836
11.51/11.62	c Core size: 4	Core Weight: 1	Total Weight: 836
11.51/11.62	c Elapsed CPU time: 11.4783 s	Remaining CPU time: 1788.52 s
11.51/11.64	c core #837
11.51/11.64	c Core size: 4	Core Weight: 1	Total Weight: 837
11.51/11.64	c Elapsed CPU time: 11.4983 s	Remaining CPU time: 1788.5 s
11.51/11.66	c core #838
11.51/11.66	c Core size: 4	Core Weight: 1	Total Weight: 838
11.51/11.66	c Elapsed CPU time: 11.5172 s	Remaining CPU time: 1788.48 s
11.51/11.68	c core #839
11.51/11.68	c Core size: 4	Core Weight: 1	Total Weight: 839
11.51/11.68	c Elapsed CPU time: 11.5372 s	Remaining CPU time: 1788.46 s
11.61/11.70	c core #840
11.61/11.70	c Core size: 4	Core Weight: 1	Total Weight: 840
11.61/11.70	c Elapsed CPU time: 11.5562 s	Remaining CPU time: 1788.44 s
11.61/11.72	c core #841
11.61/11.72	c Core size: 4	Core Weight: 1	Total Weight: 841
11.61/11.72	c Elapsed CPU time: 11.5742 s	Remaining CPU time: 1788.43 s
11.61/11.74	c core #842
11.61/11.74	c Core size: 4	Core Weight: 1	Total Weight: 842
11.61/11.74	c Elapsed CPU time: 11.5952 s	Remaining CPU time: 1788.4 s
11.61/11.76	c core #843
11.61/11.76	c Core size: 4	Core Weight: 1	Total Weight: 843
11.61/11.76	c Elapsed CPU time: 11.6152 s	Remaining CPU time: 1788.38 s
11.61/11.78	c core #844
11.61/11.78	c Core size: 4	Core Weight: 1	Total Weight: 844
11.61/11.78	c Elapsed CPU time: 11.6352 s	Remaining CPU time: 1788.36 s
11.71/11.80	c core #845
11.71/11.80	c Core size: 4	Core Weight: 1	Total Weight: 845
11.71/11.80	c Elapsed CPU time: 11.6552 s	Remaining CPU time: 1788.34 s
11.71/11.82	c core #846
11.71/11.82	c Core size: 4	Core Weight: 1	Total Weight: 846
11.71/11.82	c Elapsed CPU time: 11.6752 s	Remaining CPU time: 1788.32 s
11.71/11.84	c core #847
11.71/11.84	c Core size: 4	Core Weight: 1	Total Weight: 847
11.71/11.84	c Elapsed CPU time: 11.6942 s	Remaining CPU time: 1788.31 s
11.71/11.86	c core #848
11.71/11.86	c Core size: 4	Core Weight: 1	Total Weight: 848
11.71/11.86	c Elapsed CPU time: 11.7142 s	Remaining CPU time: 1788.29 s
11.71/11.88	c core #849
11.71/11.88	c Core size: 4	Core Weight: 1	Total Weight: 849
11.71/11.88	c Elapsed CPU time: 11.7342 s	Remaining CPU time: 1788.27 s
11.80/11.90	c core #850
11.80/11.90	c Core size: 4	Core Weight: 1	Total Weight: 850
11.80/11.90	c Elapsed CPU time: 11.7542 s	Remaining CPU time: 1788.25 s
11.80/11.92	c core #851
11.80/11.92	c Core size: 4	Core Weight: 1	Total Weight: 851
11.80/11.92	c Elapsed CPU time: 11.7742 s	Remaining CPU time: 1788.23 s
11.80/11.94	c core #852
11.80/11.94	c Core size: 4	Core Weight: 1	Total Weight: 852
11.80/11.94	c Elapsed CPU time: 11.7942 s	Remaining CPU time: 1788.21 s
11.80/11.96	c core #853
11.80/11.96	c Core size: 4	Core Weight: 1	Total Weight: 853
11.80/11.96	c Elapsed CPU time: 11.8142 s	Remaining CPU time: 1788.19 s
11.80/11.98	c core #854
11.80/11.98	c Core size: 4	Core Weight: 1	Total Weight: 854
11.80/11.98	c Elapsed CPU time: 11.8342 s	Remaining CPU time: 1788.17 s
11.91/12.00	c core #855
11.91/12.00	c Core size: 4	Core Weight: 1	Total Weight: 855
11.91/12.00	c Elapsed CPU time: 11.8542 s	Remaining CPU time: 1788.15 s
11.91/12.02	c core #856
11.91/12.02	c Core size: 4	Core Weight: 1	Total Weight: 856
11.91/12.02	c Elapsed CPU time: 11.8742 s	Remaining CPU time: 1788.13 s
11.91/12.04	c core #857
11.91/12.04	c Core size: 4	Core Weight: 1	Total Weight: 857
11.91/12.04	c Elapsed CPU time: 11.8952 s	Remaining CPU time: 1788.1 s
11.91/12.06	c core #858
11.91/12.06	c Core size: 4	Core Weight: 1	Total Weight: 858
11.91/12.06	c Elapsed CPU time: 11.9152 s	Remaining CPU time: 1788.08 s
11.91/12.08	c core #859
11.91/12.08	c Core size: 4	Core Weight: 1	Total Weight: 859
11.91/12.08	c Elapsed CPU time: 11.9352 s	Remaining CPU time: 1788.06 s
12.01/12.10	c core #860
12.01/12.10	c Core size: 4	Core Weight: 1	Total Weight: 860
12.01/12.10	c Elapsed CPU time: 11.9552 s	Remaining CPU time: 1788.04 s
12.01/12.12	c core #861
12.01/12.12	c Core size: 4	Core Weight: 1	Total Weight: 861
12.01/12.12	c Elapsed CPU time: 11.9752 s	Remaining CPU time: 1788.02 s
12.01/12.15	c core #862
12.01/12.15	c Core size: 4	Core Weight: 1	Total Weight: 862
12.01/12.15	c Elapsed CPU time: 11.9962 s	Remaining CPU time: 1788 s
12.01/12.17	c core #863
12.01/12.17	c Core size: 4	Core Weight: 1	Total Weight: 863
12.01/12.17	c Elapsed CPU time: 12.0162 s	Remaining CPU time: 1787.98 s
12.01/12.19	c core #864
12.01/12.19	c Core size: 4	Core Weight: 1	Total Weight: 864
12.01/12.19	c Elapsed CPU time: 12.0372 s	Remaining CPU time: 1787.96 s
12.10/12.21	c core #865
12.10/12.21	c Core size: 4	Core Weight: 1	Total Weight: 865
12.10/12.21	c Elapsed CPU time: 12.0572 s	Remaining CPU time: 1787.94 s
12.10/12.23	c core #866
12.10/12.23	c Core size: 4	Core Weight: 1	Total Weight: 866
12.10/12.23	c Elapsed CPU time: 12.0772 s	Remaining CPU time: 1787.92 s
12.10/12.25	c core #867
12.10/12.25	c Core size: 4	Core Weight: 1	Total Weight: 867
12.10/12.25	c Elapsed CPU time: 12.0972 s	Remaining CPU time: 1787.9 s
12.10/12.27	c core #868
12.10/12.27	c Core size: 4	Core Weight: 1	Total Weight: 868
12.10/12.27	c Elapsed CPU time: 12.1172 s	Remaining CPU time: 1787.88 s
12.10/12.29	c core #869
12.10/12.29	c Core size: 4	Core Weight: 1	Total Weight: 869
12.10/12.29	c Elapsed CPU time: 12.1382 s	Remaining CPU time: 1787.86 s
12.20/12.31	c core #870
12.20/12.31	c Core size: 4	Core Weight: 1	Total Weight: 870
12.20/12.31	c Elapsed CPU time: 12.1582 s	Remaining CPU time: 1787.84 s
12.20/12.33	c core #871
12.20/12.33	c Core size: 4	Core Weight: 1	Total Weight: 871
12.20/12.33	c Elapsed CPU time: 12.1791 s	Remaining CPU time: 1787.82 s
12.20/12.35	c core #872
12.20/12.35	c Core size: 4	Core Weight: 1	Total Weight: 872
12.20/12.35	c Elapsed CPU time: 12.2001 s	Remaining CPU time: 1787.8 s
12.20/12.37	c core #873
12.20/12.37	c Core size: 4	Core Weight: 1	Total Weight: 873
12.20/12.37	c Elapsed CPU time: 12.2201 s	Remaining CPU time: 1787.78 s
12.20/12.39	c core #874
12.20/12.39	c Core size: 4	Core Weight: 1	Total Weight: 874
12.20/12.39	c Elapsed CPU time: 12.2411 s	Remaining CPU time: 1787.76 s
12.30/12.41	c core #875
12.30/12.41	c Core size: 4	Core Weight: 1	Total Weight: 875
12.30/12.41	c Elapsed CPU time: 12.2621 s	Remaining CPU time: 1787.74 s
12.30/12.43	c core #876
12.30/12.43	c Core size: 4	Core Weight: 1	Total Weight: 876
12.30/12.43	c Elapsed CPU time: 12.2831 s	Remaining CPU time: 1787.72 s
12.30/12.45	c core #877
12.30/12.45	c Core size: 4	Core Weight: 1	Total Weight: 877
12.30/12.45	c Elapsed CPU time: 12.3021 s	Remaining CPU time: 1787.7 s
12.30/12.47	c core #878
12.30/12.47	c Core size: 4	Core Weight: 1	Total Weight: 878
12.30/12.47	c Elapsed CPU time: 12.3231 s	Remaining CPU time: 1787.68 s
12.30/12.49	c core #879
12.30/12.49	c Core size: 4	Core Weight: 1	Total Weight: 879
12.30/12.50	c Elapsed CPU time: 12.3431 s	Remaining CPU time: 1787.66 s
12.40/12.52	c core #880
12.40/12.52	c Core size: 4	Core Weight: 1	Total Weight: 880
12.40/12.52	c Elapsed CPU time: 12.3641 s	Remaining CPU time: 1787.64 s
12.40/12.54	c core #881
12.40/12.54	c Core size: 4	Core Weight: 1	Total Weight: 881
12.40/12.54	c Elapsed CPU time: 12.3841 s	Remaining CPU time: 1787.62 s
12.40/12.56	c core #882
12.40/12.56	c Core size: 4	Core Weight: 1	Total Weight: 882
12.40/12.56	c Elapsed CPU time: 12.4041 s	Remaining CPU time: 1787.6 s
12.40/12.58	c core #883
12.40/12.58	c Core size: 4	Core Weight: 1	Total Weight: 883
12.40/12.58	c Elapsed CPU time: 12.4241 s	Remaining CPU time: 1787.58 s
12.50/12.60	c core #884
12.50/12.60	c Core size: 4	Core Weight: 1	Total Weight: 884
12.50/12.60	c Elapsed CPU time: 12.4441 s	Remaining CPU time: 1787.56 s
12.50/12.62	c core #885
12.50/12.62	c Core size: 4	Core Weight: 1	Total Weight: 885
12.50/12.62	c Elapsed CPU time: 12.4641 s	Remaining CPU time: 1787.54 s
12.50/12.64	c core #886
12.50/12.64	c Core size: 4	Core Weight: 1	Total Weight: 886
12.50/12.64	c Elapsed CPU time: 12.4841 s	Remaining CPU time: 1787.52 s
12.50/12.66	c core #887
12.50/12.66	c Core size: 4	Core Weight: 1	Total Weight: 887
12.50/12.66	c Elapsed CPU time: 12.5051 s	Remaining CPU time: 1787.49 s
12.50/12.68	c core #888
12.50/12.68	c Core size: 4	Core Weight: 1	Total Weight: 888
12.50/12.68	c Elapsed CPU time: 12.5251 s	Remaining CPU time: 1787.47 s
12.60/12.70	c core #889
12.60/12.70	c Core size: 4	Core Weight: 1	Total Weight: 889
12.60/12.70	c Elapsed CPU time: 12.5461 s	Remaining CPU time: 1787.45 s
12.60/12.72	c core #890
12.60/12.72	c Core size: 4	Core Weight: 1	Total Weight: 890
12.60/12.72	c Elapsed CPU time: 12.5671 s	Remaining CPU time: 1787.43 s
12.60/12.74	c core #891
12.60/12.74	c Core size: 4	Core Weight: 1	Total Weight: 891
12.60/12.74	c Elapsed CPU time: 12.5881 s	Remaining CPU time: 1787.41 s
12.60/12.76	c core #892
12.60/12.76	c Core size: 4	Core Weight: 1	Total Weight: 892
12.60/12.76	c Elapsed CPU time: 12.6091 s	Remaining CPU time: 1787.39 s
12.60/12.78	c core #893
12.60/12.78	c Core size: 4	Core Weight: 1	Total Weight: 893
12.60/12.78	c Elapsed CPU time: 12.6301 s	Remaining CPU time: 1787.37 s
12.70/12.81	c core #894
12.70/12.81	c Core size: 4	Core Weight: 1	Total Weight: 894
12.70/12.81	c Elapsed CPU time: 12.6521 s	Remaining CPU time: 1787.35 s
12.70/12.83	c core #895
12.70/12.83	c Core size: 4	Core Weight: 1	Total Weight: 895
12.70/12.83	c Elapsed CPU time: 12.6721 s	Remaining CPU time: 1787.33 s
12.70/12.85	c core #896
12.70/12.85	c Core size: 4	Core Weight: 1	Total Weight: 896
12.70/12.85	c Elapsed CPU time: 12.6921 s	Remaining CPU time: 1787.31 s
12.70/12.87	c core #897
12.70/12.87	c Core size: 4	Core Weight: 1	Total Weight: 897
12.70/12.87	c Elapsed CPU time: 12.7131 s	Remaining CPU time: 1787.29 s
12.70/12.89	c core #898
12.70/12.89	c Core size: 4	Core Weight: 1	Total Weight: 898
12.70/12.89	c Elapsed CPU time: 12.7341 s	Remaining CPU time: 1787.27 s
12.80/12.91	c core #899
12.80/12.91	c Core size: 4	Core Weight: 1	Total Weight: 899
12.80/12.91	c Elapsed CPU time: 12.7541 s	Remaining CPU time: 1787.25 s
12.80/12.93	c core #900
12.80/12.93	c Core size: 4	Core Weight: 1	Total Weight: 900
12.80/12.93	c Elapsed CPU time: 12.7741 s	Remaining CPU time: 1787.23 s
12.80/12.95	c core #901
12.80/12.95	c Core size: 4	Core Weight: 1	Total Weight: 901
12.80/12.95	c Elapsed CPU time: 12.7951 s	Remaining CPU time: 1787.2 s
12.80/12.97	c core #902
12.80/12.97	c Core size: 4	Core Weight: 1	Total Weight: 902
12.80/12.97	c Elapsed CPU time: 12.8161 s	Remaining CPU time: 1787.18 s
12.80/12.99	c core #903
12.80/12.99	c Core size: 4	Core Weight: 1	Total Weight: 903
12.80/12.99	c Elapsed CPU time: 12.837 s	Remaining CPU time: 1787.16 s
12.89/13.01	c core #904
12.89/13.01	c Core size: 4	Core Weight: 1	Total Weight: 904
12.89/13.01	c Elapsed CPU time: 12.857 s	Remaining CPU time: 1787.14 s
12.89/13.04	c core #905
12.89/13.04	c Core size: 4	Core Weight: 1	Total Weight: 905
12.89/13.04	c Elapsed CPU time: 12.878 s	Remaining CPU time: 1787.12 s
12.89/13.06	c core #906
12.89/13.06	c Core size: 4	Core Weight: 1	Total Weight: 906
12.89/13.06	c Elapsed CPU time: 12.9 s	Remaining CPU time: 1787.1 s
12.89/13.08	c core #907
12.89/13.08	c Core size: 4	Core Weight: 1	Total Weight: 907
12.89/13.08	c Elapsed CPU time: 12.92 s	Remaining CPU time: 1787.08 s
12.89/13.10	c core #908
12.89/13.10	c Core size: 4	Core Weight: 1	Total Weight: 908
12.89/13.10	c Elapsed CPU time: 12.941 s	Remaining CPU time: 1787.06 s
13.00/13.12	c core #909
13.00/13.12	c Core size: 4	Core Weight: 1	Total Weight: 909
13.00/13.12	c Elapsed CPU time: 12.962 s	Remaining CPU time: 1787.04 s
13.00/13.14	c core #910
13.00/13.14	c Core size: 4	Core Weight: 1	Total Weight: 910
13.00/13.14	c Elapsed CPU time: 12.983 s	Remaining CPU time: 1787.02 s
13.00/13.16	c core #911
13.00/13.16	c Core size: 4	Core Weight: 1	Total Weight: 911
13.00/13.16	c Elapsed CPU time: 13.004 s	Remaining CPU time: 1787 s
13.00/13.18	c core #912
13.00/13.18	c Core size: 4	Core Weight: 1	Total Weight: 912
13.00/13.18	c Elapsed CPU time: 13.025 s	Remaining CPU time: 1786.97 s
13.10/13.20	c core #913
13.10/13.20	c Core size: 4	Core Weight: 1	Total Weight: 913
13.10/13.21	c Elapsed CPU time: 13.046 s	Remaining CPU time: 1786.95 s
13.10/13.23	c core #914
13.10/13.23	c Core size: 4	Core Weight: 1	Total Weight: 914
13.10/13.23	c Elapsed CPU time: 13.067 s	Remaining CPU time: 1786.93 s
13.10/13.25	c core #915
13.10/13.25	c Core size: 4	Core Weight: 1	Total Weight: 915
13.10/13.25	c Elapsed CPU time: 13.088 s	Remaining CPU time: 1786.91 s
13.10/13.27	c core #916
13.10/13.27	c Core size: 4	Core Weight: 1	Total Weight: 916
13.10/13.27	c Elapsed CPU time: 13.11 s	Remaining CPU time: 1786.89 s
13.10/13.29	c core #917
13.10/13.29	c Core size: 4	Core Weight: 1	Total Weight: 917
13.10/13.29	c Elapsed CPU time: 13.131 s	Remaining CPU time: 1786.87 s
13.19/13.31	c core #918
13.19/13.31	c Core size: 4	Core Weight: 1	Total Weight: 918
13.19/13.31	c Elapsed CPU time: 13.153 s	Remaining CPU time: 1786.85 s
13.19/13.33	c core #919
13.19/13.33	c Core size: 4	Core Weight: 1	Total Weight: 919
13.19/13.33	c Elapsed CPU time: 13.174 s	Remaining CPU time: 1786.83 s
13.19/13.35	c core #920
13.19/13.35	c Core size: 4	Core Weight: 1	Total Weight: 920
13.19/13.35	c Elapsed CPU time: 13.195 s	Remaining CPU time: 1786.81 s
13.19/13.38	c core #921
13.19/13.38	c Core size: 4	Core Weight: 1	Total Weight: 921
13.19/13.38	c Elapsed CPU time: 13.217 s	Remaining CPU time: 1786.78 s
13.29/13.40	c core #922
13.29/13.40	c Core size: 4	Core Weight: 1	Total Weight: 922
13.29/13.40	c Elapsed CPU time: 13.238 s	Remaining CPU time: 1786.76 s
13.29/13.42	c core #923
13.29/13.42	c Core size: 4	Core Weight: 1	Total Weight: 923
13.29/13.42	c Elapsed CPU time: 13.259 s	Remaining CPU time: 1786.74 s
13.29/13.44	c core #924
13.29/13.44	c Core size: 4	Core Weight: 1	Total Weight: 924
13.29/13.44	c Elapsed CPU time: 13.281 s	Remaining CPU time: 1786.72 s
13.29/13.46	c core #925
13.29/13.46	c Core size: 4	Core Weight: 1	Total Weight: 925
13.29/13.46	c Elapsed CPU time: 13.302 s	Remaining CPU time: 1786.7 s
13.29/13.48	c core #926
13.29/13.48	c Core size: 4	Core Weight: 1	Total Weight: 926
13.29/13.48	c Elapsed CPU time: 13.324 s	Remaining CPU time: 1786.68 s
13.39/13.50	c core #927
13.39/13.50	c Core size: 4	Core Weight: 1	Total Weight: 927
13.39/13.50	c Elapsed CPU time: 13.345 s	Remaining CPU time: 1786.66 s
13.39/13.53	c core #928
13.39/13.53	c Core size: 4	Core Weight: 1	Total Weight: 928
13.39/13.53	c Elapsed CPU time: 13.367 s	Remaining CPU time: 1786.63 s
13.39/13.55	c core #929
13.39/13.55	c Core size: 4	Core Weight: 1	Total Weight: 929
13.39/13.55	c Elapsed CPU time: 13.388 s	Remaining CPU time: 1786.61 s
13.39/13.57	c core #930
13.39/13.57	c Core size: 4	Core Weight: 1	Total Weight: 930
13.39/13.57	c Elapsed CPU time: 13.41 s	Remaining CPU time: 1786.59 s
13.39/13.59	c core #931
13.39/13.59	c Core size: 4	Core Weight: 1	Total Weight: 931
13.39/13.59	c Elapsed CPU time: 13.431 s	Remaining CPU time: 1786.57 s
13.49/13.61	c core #932
13.49/13.61	c Core size: 4	Core Weight: 1	Total Weight: 932
13.49/13.61	c Elapsed CPU time: 13.453 s	Remaining CPU time: 1786.55 s
13.49/13.63	c core #933
13.49/13.63	c Core size: 4	Core Weight: 1	Total Weight: 933
13.49/13.63	c Elapsed CPU time: 13.475 s	Remaining CPU time: 1786.53 s
13.49/13.66	c core #934
13.49/13.66	c Core size: 4	Core Weight: 1	Total Weight: 934
13.49/13.66	c Elapsed CPU time: 13.4959 s	Remaining CPU time: 1786.5 s
13.49/13.68	c core #935
13.49/13.68	c Core size: 4	Core Weight: 1	Total Weight: 935
13.49/13.68	c Elapsed CPU time: 13.5169 s	Remaining CPU time: 1786.48 s
13.59/13.70	c core #936
13.59/13.70	c Core size: 4	Core Weight: 1	Total Weight: 936
13.59/13.70	c Elapsed CPU time: 13.5389 s	Remaining CPU time: 1786.46 s
13.59/13.72	c core #937
13.59/13.72	c Core size: 4	Core Weight: 1	Total Weight: 937
13.59/13.72	c Elapsed CPU time: 13.5599 s	Remaining CPU time: 1786.44 s
13.59/13.74	c core #938
13.59/13.74	c Core size: 4	Core Weight: 1	Total Weight: 938
13.59/13.74	c Elapsed CPU time: 13.5809 s	Remaining CPU time: 1786.42 s
13.59/13.76	c core #939
13.59/13.76	c Core size: 4	Core Weight: 1	Total Weight: 939
13.59/13.76	c Elapsed CPU time: 13.6019 s	Remaining CPU time: 1786.4 s
13.59/13.79	c core #940
13.59/13.79	c Core size: 4	Core Weight: 1	Total Weight: 940
13.59/13.79	c Elapsed CPU time: 13.6239 s	Remaining CPU time: 1786.38 s
13.70/13.81	c core #941
13.70/13.81	c Core size: 4	Core Weight: 1	Total Weight: 941
13.70/13.81	c Elapsed CPU time: 13.6459 s	Remaining CPU time: 1786.35 s
13.70/13.83	c core #942
13.70/13.83	c Core size: 4	Core Weight: 1	Total Weight: 942
13.70/13.83	c Elapsed CPU time: 13.6669 s	Remaining CPU time: 1786.33 s
13.70/13.85	c core #943
13.70/13.85	c Core size: 4	Core Weight: 1	Total Weight: 943
13.70/13.85	c Elapsed CPU time: 13.6869 s	Remaining CPU time: 1786.31 s
13.70/13.87	c core #944
13.70/13.87	c Core size: 4	Core Weight: 1	Total Weight: 944
13.70/13.87	c Elapsed CPU time: 13.7079 s	Remaining CPU time: 1786.29 s
13.70/13.89	c core #945
13.70/13.89	c Core size: 4	Core Weight: 1	Total Weight: 945
13.70/13.89	c Elapsed CPU time: 13.7289 s	Remaining CPU time: 1786.27 s
13.79/13.92	c core #946
13.79/13.92	c Core size: 4	Core Weight: 1	Total Weight: 946
13.79/13.92	c Elapsed CPU time: 13.7509 s	Remaining CPU time: 1786.25 s
13.79/13.94	c core #947
13.79/13.94	c Core size: 4	Core Weight: 1	Total Weight: 947
13.79/13.94	c Elapsed CPU time: 13.7719 s	Remaining CPU time: 1786.23 s
13.79/13.96	c core #948
13.79/13.96	c Core size: 4	Core Weight: 1	Total Weight: 948
13.79/13.96	c Elapsed CPU time: 13.7939 s	Remaining CPU time: 1786.21 s
13.79/13.98	c core #949
13.79/13.98	c Core size: 4	Core Weight: 1	Total Weight: 949
13.79/13.98	c Elapsed CPU time: 13.8159 s	Remaining CPU time: 1786.18 s
13.89/14.00	c core #950
13.89/14.00	c Core size: 4	Core Weight: 1	Total Weight: 950
13.89/14.00	c Elapsed CPU time: 13.8379 s	Remaining CPU time: 1786.16 s
13.89/14.03	c core #951
13.89/14.03	c Core size: 4	Core Weight: 1	Total Weight: 951
13.89/14.03	c Elapsed CPU time: 13.8589 s	Remaining CPU time: 1786.14 s
13.89/14.05	c core #952
13.89/14.05	c Core size: 4	Core Weight: 1	Total Weight: 952
13.89/14.05	c Elapsed CPU time: 13.8809 s	Remaining CPU time: 1786.12 s
13.89/14.07	c core #953
13.89/14.07	c Core size: 4	Core Weight: 1	Total Weight: 953
13.89/14.07	c Elapsed CPU time: 13.9029 s	Remaining CPU time: 1786.1 s
13.89/14.09	c core #954
13.89/14.09	c Core size: 4	Core Weight: 1	Total Weight: 954
13.89/14.09	c Elapsed CPU time: 13.9249 s	Remaining CPU time: 1786.08 s
13.99/14.11	c core #955
13.99/14.11	c Core size: 4	Core Weight: 1	Total Weight: 955
13.99/14.11	c Elapsed CPU time: 13.9459 s	Remaining CPU time: 1786.05 s
13.99/14.14	c core #956
13.99/14.14	c Core size: 4	Core Weight: 1	Total Weight: 956
13.99/14.14	c Elapsed CPU time: 13.9679 s	Remaining CPU time: 1786.03 s
13.99/14.16	c core #957
13.99/14.16	c Core size: 4	Core Weight: 1	Total Weight: 957
13.99/14.16	c Elapsed CPU time: 13.9899 s	Remaining CPU time: 1786.01 s
13.99/14.18	c core #958
13.99/14.18	c Core size: 4	Core Weight: 1	Total Weight: 958
13.99/14.18	c Elapsed CPU time: 14.0119 s	Remaining CPU time: 1785.99 s
14.10/14.20	c core #959
14.10/14.20	c Core size: 4	Core Weight: 1	Total Weight: 959
14.10/14.20	c Elapsed CPU time: 14.0339 s	Remaining CPU time: 1785.97 s
14.10/14.23	c core #960
14.10/14.23	c Core size: 4	Core Weight: 1	Total Weight: 960
14.10/14.23	c Elapsed CPU time: 14.0559 s	Remaining CPU time: 1785.94 s
14.10/14.25	c core #961
14.10/14.25	c Core size: 4	Core Weight: 1	Total Weight: 961
14.10/14.25	c Elapsed CPU time: 14.0779 s	Remaining CPU time: 1785.92 s
14.10/14.27	c core #962
14.10/14.27	c Core size: 4	Core Weight: 1	Total Weight: 962
14.10/14.27	c Elapsed CPU time: 14.0999 s	Remaining CPU time: 1785.9 s
14.10/14.29	c core #963
14.10/14.29	c Core size: 4	Core Weight: 1	Total Weight: 963
14.10/14.29	c Elapsed CPU time: 14.1219 s	Remaining CPU time: 1785.88 s
14.19/14.31	c core #964
14.19/14.31	c Core size: 4	Core Weight: 1	Total Weight: 964
14.19/14.31	c Elapsed CPU time: 14.1438 s	Remaining CPU time: 1785.86 s
14.19/14.34	c core #965
14.19/14.34	c Core size: 4	Core Weight: 1	Total Weight: 965
14.19/14.34	c Elapsed CPU time: 14.1668 s	Remaining CPU time: 1785.83 s
14.19/14.36	c core #966
14.19/14.36	c Core size: 4	Core Weight: 1	Total Weight: 966
14.19/14.36	c Elapsed CPU time: 14.1888 s	Remaining CPU time: 1785.81 s
14.19/14.38	c core #967
14.19/14.38	c Core size: 4	Core Weight: 1	Total Weight: 967
14.19/14.38	c Elapsed CPU time: 14.2118 s	Remaining CPU time: 1785.79 s
14.29/14.40	c core #968
14.29/14.40	c Core size: 4	Core Weight: 1	Total Weight: 968
14.29/14.40	c Elapsed CPU time: 14.2338 s	Remaining CPU time: 1785.77 s
14.29/14.43	c core #969
14.29/14.43	c Core size: 4	Core Weight: 1	Total Weight: 969
14.29/14.43	c Elapsed CPU time: 14.2558 s	Remaining CPU time: 1785.74 s
14.29/14.45	c core #970
14.29/14.45	c Core size: 4	Core Weight: 1	Total Weight: 970
14.29/14.45	c Elapsed CPU time: 14.2778 s	Remaining CPU time: 1785.72 s
14.29/14.47	c core #971
14.29/14.47	c Core size: 4	Core Weight: 1	Total Weight: 971
14.29/14.47	c Elapsed CPU time: 14.2998 s	Remaining CPU time: 1785.7 s
14.29/14.49	c core #972
14.29/14.49	c Core size: 4	Core Weight: 1	Total Weight: 972
14.29/14.49	c Elapsed CPU time: 14.3218 s	Remaining CPU time: 1785.68 s
14.39/14.52	c core #973
14.39/14.52	c Core size: 4	Core Weight: 1	Total Weight: 973
14.39/14.52	c Elapsed CPU time: 14.3438 s	Remaining CPU time: 1785.66 s
14.39/14.54	c core #974
14.39/14.54	c Core size: 4	Core Weight: 1	Total Weight: 974
14.39/14.54	c Elapsed CPU time: 14.3658 s	Remaining CPU time: 1785.63 s
14.39/14.56	c core #975
14.39/14.56	c Core size: 7	Core Weight: 1	Total Weight: 975
14.39/14.56	c Elapsed CPU time: 14.3878 s	Remaining CPU time: 1785.61 s
14.39/14.58	c core #976
14.39/14.58	c Core size: 7	Core Weight: 1	Total Weight: 976
14.39/14.58	c Elapsed CPU time: 14.4098 s	Remaining CPU time: 1785.59 s
14.49/14.61	c core #977
14.49/14.61	c Core size: 10	Core Weight: 1	Total Weight: 977
14.49/14.61	c Elapsed CPU time: 14.4328 s	Remaining CPU time: 1785.57 s
14.49/14.63	c core #978
14.49/14.63	c Core size: 7	Core Weight: 1	Total Weight: 978
14.49/14.63	c Elapsed CPU time: 14.4538 s	Remaining CPU time: 1785.55 s
14.49/14.65	c core #979
14.49/14.65	c Core size: 7	Core Weight: 1	Total Weight: 979
14.49/14.65	c Elapsed CPU time: 14.4778 s	Remaining CPU time: 1785.52 s
14.49/14.67	c core #980
14.49/14.67	c Core size: 7	Core Weight: 1	Total Weight: 980
14.49/14.67	c Elapsed CPU time: 14.4998 s	Remaining CPU time: 1785.5 s
14.49/14.70	c core #981
14.49/14.70	c Core size: 7	Core Weight: 1	Total Weight: 981
14.49/14.70	c Elapsed CPU time: 14.5228 s	Remaining CPU time: 1785.48 s
14.59/14.72	c core #982
14.59/14.72	c Core size: 7	Core Weight: 1	Total Weight: 982
14.59/14.72	c Elapsed CPU time: 14.5458 s	Remaining CPU time: 1785.45 s
14.59/14.74	c core #983
14.59/14.74	c Core size: 7	Core Weight: 1	Total Weight: 983
14.59/14.74	c Elapsed CPU time: 14.5678 s	Remaining CPU time: 1785.43 s
14.59/14.76	c core #984
14.59/14.76	c Core size: 7	Core Weight: 1	Total Weight: 984
14.59/14.76	c Elapsed CPU time: 14.5908 s	Remaining CPU time: 1785.41 s
14.59/14.79	c core #985
14.59/14.79	c Core size: 7	Core Weight: 1	Total Weight: 985
14.59/14.79	c Elapsed CPU time: 14.6128 s	Remaining CPU time: 1785.39 s
14.69/14.81	c core #986
14.69/14.81	c Core size: 7	Core Weight: 1	Total Weight: 986
14.69/14.81	c Elapsed CPU time: 14.6358 s	Remaining CPU time: 1785.36 s
14.69/14.83	c core #987
14.69/14.83	c Core size: 13	Core Weight: 1	Total Weight: 987
14.69/14.83	c Elapsed CPU time: 14.6598 s	Remaining CPU time: 1785.34 s
14.69/14.85	c core #988
14.69/14.85	c Core size: 10	Core Weight: 1	Total Weight: 988
14.69/14.85	c Elapsed CPU time: 14.6818 s	Remaining CPU time: 1785.32 s
14.69/14.88	c core #989
14.69/14.88	c Core size: 7	Core Weight: 1	Total Weight: 989
14.69/14.88	c Elapsed CPU time: 14.7048 s	Remaining CPU time: 1785.3 s
14.79/14.90	c core #990
14.79/14.90	c Core size: 7	Core Weight: 1	Total Weight: 990
14.79/14.90	c Elapsed CPU time: 14.7278 s	Remaining CPU time: 1785.27 s
14.79/14.92	c core #991
14.79/14.92	c Core size: 10	Core Weight: 1	Total Weight: 991
14.79/14.92	c Elapsed CPU time: 14.7518 s	Remaining CPU time: 1785.25 s
14.79/14.95	c core #992
14.79/14.95	c Core size: 7	Core Weight: 1	Total Weight: 992
14.79/14.95	c Elapsed CPU time: 14.7738 s	Remaining CPU time: 1785.23 s
14.79/14.97	c core #993
14.79/14.97	c Core size: 7	Core Weight: 1	Total Weight: 993
14.79/14.97	c Elapsed CPU time: 14.7957 s	Remaining CPU time: 1785.2 s
14.79/14.99	c core #994
14.79/14.99	c Core size: 7	Core Weight: 1	Total Weight: 994
14.79/14.99	c Elapsed CPU time: 14.8187 s	Remaining CPU time: 1785.18 s
14.89/15.01	c core #995
14.89/15.01	c Core size: 7	Core Weight: 1	Total Weight: 995
14.89/15.02	c Elapsed CPU time: 14.8407 s	Remaining CPU time: 1785.16 s
14.89/15.04	c core #996
14.89/15.04	c Core size: 10	Core Weight: 1	Total Weight: 996
14.89/15.04	c Elapsed CPU time: 14.8647 s	Remaining CPU time: 1785.14 s
14.89/15.06	c core #997
14.89/15.06	c Core size: 13	Core Weight: 1	Total Weight: 997
14.89/15.06	c Elapsed CPU time: 14.8877 s	Remaining CPU time: 1785.11 s
14.89/15.08	c core #998
14.89/15.08	c Core size: 13	Core Weight: 1	Total Weight: 998
14.89/15.08	c Elapsed CPU time: 14.9097 s	Remaining CPU time: 1785.09 s
14.99/15.11	c core #999
14.99/15.11	c Core size: 7	Core Weight: 1	Total Weight: 999
14.99/15.11	c Elapsed CPU time: 14.9327 s	Remaining CPU time: 1785.07 s
14.99/15.13	c core #1000
14.99/15.13	c Core size: 7	Core Weight: 1	Total Weight: 1000
14.99/15.13	c Elapsed CPU time: 14.9557 s	Remaining CPU time: 1785.04 s
14.99/15.15	c core #1001
14.99/15.15	c Core size: 7	Core Weight: 1	Total Weight: 1001
14.99/15.15	c Elapsed CPU time: 14.9777 s	Remaining CPU time: 1785.02 s
14.99/15.18	c core #1002
14.99/15.18	c Core size: 10	Core Weight: 1	Total Weight: 1002
14.99/15.18	c Elapsed CPU time: 15.0017 s	Remaining CPU time: 1785 s
15.08/15.20	c core #1003
15.08/15.20	c Core size: 13	Core Weight: 1	Total Weight: 1003
15.08/15.20	c Elapsed CPU time: 15.0247 s	Remaining CPU time: 1784.98 s
15.08/15.22	c core #1004
15.08/15.22	c Core size: 7	Core Weight: 1	Total Weight: 1004
15.08/15.22	c Elapsed CPU time: 15.0467 s	Remaining CPU time: 1784.95 s
15.08/15.25	c core #1005
15.08/15.25	c Core size: 7	Core Weight: 1	Total Weight: 1005
15.08/15.25	c Elapsed CPU time: 15.0697 s	Remaining CPU time: 1784.93 s
15.08/15.27	c core #1006
15.08/15.27	c Core size: 16	Core Weight: 1	Total Weight: 1006
15.08/15.27	c Elapsed CPU time: 15.0947 s	Remaining CPU time: 1784.91 s
15.08/15.29	c core #1007
15.08/15.29	c Core size: 7	Core Weight: 1	Total Weight: 1007
15.08/15.29	c Elapsed CPU time: 15.1167 s	Remaining CPU time: 1784.88 s
15.19/15.32	c core #1008
15.19/15.32	c Core size: 10	Core Weight: 1	Total Weight: 1008
15.19/15.32	c Elapsed CPU time: 15.1407 s	Remaining CPU time: 1784.86 s
15.19/15.34	c core #1009
15.19/15.34	c Core size: 13	Core Weight: 1	Total Weight: 1009
15.19/15.34	c Elapsed CPU time: 15.1637 s	Remaining CPU time: 1784.84 s
15.19/15.36	c core #1010
15.19/15.36	c Core size: 16	Core Weight: 1	Total Weight: 1010
15.19/15.36	c Elapsed CPU time: 15.1877 s	Remaining CPU time: 1784.81 s
15.19/15.39	c core #1011
15.19/15.39	c Core size: 7	Core Weight: 1	Total Weight: 1011
15.19/15.39	c Elapsed CPU time: 15.2087 s	Remaining CPU time: 1784.79 s
15.29/15.41	c core #1012
15.29/15.41	c Core size: 13	Core Weight: 1	Total Weight: 1012
15.29/15.41	c Elapsed CPU time: 15.2307 s	Remaining CPU time: 1784.77 s
15.29/15.43	c core #1013
15.29/15.43	c Core size: 7	Core Weight: 1	Total Weight: 1013
15.29/15.43	c Elapsed CPU time: 15.2537 s	Remaining CPU time: 1784.75 s
15.29/15.46	c core #1014
15.29/15.46	c Core size: 16	Core Weight: 1	Total Weight: 1014
15.29/15.46	c Elapsed CPU time: 15.2787 s	Remaining CPU time: 1784.72 s
15.29/15.48	c core #1015
15.29/15.48	c Core size: 7	Core Weight: 1	Total Weight: 1015
15.29/15.48	c Elapsed CPU time: 15.3007 s	Remaining CPU time: 1784.7 s
15.39/15.50	c core #1016
15.39/15.50	c Core size: 7	Core Weight: 1	Total Weight: 1016
15.39/15.50	c Elapsed CPU time: 15.3237 s	Remaining CPU time: 1784.68 s
15.39/15.53	c core #1017
15.39/15.53	c Core size: 7	Core Weight: 1	Total Weight: 1017
15.39/15.53	c Elapsed CPU time: 15.3467 s	Remaining CPU time: 1784.65 s
15.39/15.55	c core #1018
15.39/15.55	c Core size: 16	Core Weight: 1	Total Weight: 1018
15.39/15.55	c Elapsed CPU time: 15.3727 s	Remaining CPU time: 1784.63 s
15.39/15.58	c core #1019
15.39/15.58	c Core size: 18	Core Weight: 1	Total Weight: 1019
15.39/15.58	c Elapsed CPU time: 15.3957 s	Remaining CPU time: 1784.6 s
15.49/15.60	c core #1020
15.49/15.60	c Core size: 7	Core Weight: 1	Total Weight: 1020
15.49/15.60	c Elapsed CPU time: 15.4177 s	Remaining CPU time: 1784.58 s
15.49/15.62	c core #1021
15.49/15.62	c Core size: 7	Core Weight: 1	Total Weight: 1021
15.49/15.62	c Elapsed CPU time: 15.4407 s	Remaining CPU time: 1784.56 s
15.49/15.65	c core #1022
15.49/15.65	c Core size: 7	Core Weight: 1	Total Weight: 1022
15.49/15.65	c Elapsed CPU time: 15.4646 s	Remaining CPU time: 1784.54 s
15.49/15.67	c core #1023
15.49/15.67	c Core size: 7	Core Weight: 1	Total Weight: 1023
15.49/15.67	c Elapsed CPU time: 15.4886 s	Remaining CPU time: 1784.51 s
15.49/15.70	c core #1024
15.49/15.70	c Core size: 13	Core Weight: 1	Total Weight: 1024
15.49/15.70	c Elapsed CPU time: 15.5136 s	Remaining CPU time: 1784.49 s
15.59/15.72	c core #1025
15.59/15.72	c Core size: 10	Core Weight: 1	Total Weight: 1025
15.59/15.72	c Elapsed CPU time: 15.5346 s	Remaining CPU time: 1784.47 s
15.59/15.74	c core #1026
15.59/15.74	c Core size: 26	Core Weight: 1	Total Weight: 1026
15.59/15.74	c Elapsed CPU time: 15.5596 s	Remaining CPU time: 1784.44 s
15.59/15.76	c core #1027
15.59/15.76	c Core size: 7	Core Weight: 1	Total Weight: 1027
15.59/15.76	c Elapsed CPU time: 15.5806 s	Remaining CPU time: 1784.42 s
15.59/15.79	c core #1028
15.59/15.79	c Core size: 25	Core Weight: 1	Total Weight: 1028
15.59/15.79	c Elapsed CPU time: 15.6076 s	Remaining CPU time: 1784.39 s
15.69/15.81	c core #1029
15.69/15.81	c Core size: 7	Core Weight: 1	Total Weight: 1029
15.69/15.81	c Elapsed CPU time: 15.6296 s	Remaining CPU time: 1784.37 s
15.69/15.84	c core #1030
15.69/15.84	c Core size: 13	Core Weight: 1	Total Weight: 1030
15.69/15.84	c Elapsed CPU time: 15.6556 s	Remaining CPU time: 1784.34 s
15.69/15.86	c core #1031
15.69/15.86	c Core size: 10	Core Weight: 1	Total Weight: 1031
15.69/15.86	c Elapsed CPU time: 15.6776 s	Remaining CPU time: 1784.32 s
15.69/15.89	c core #1032
15.69/15.89	c Core size: 58	Core Weight: 1	Total Weight: 1032
15.69/15.89	c Elapsed CPU time: 15.7026 s	Remaining CPU time: 1784.3 s
15.79/15.91	c core #1033
15.79/15.91	c Core size: 25	Core Weight: 1	Total Weight: 1033
15.79/15.91	c Elapsed CPU time: 15.7256 s	Remaining CPU time: 1784.27 s
15.79/15.93	c core #1034
15.79/15.93	c Core size: 10	Core Weight: 1	Total Weight: 1034
15.79/15.93	c Elapsed CPU time: 15.7506 s	Remaining CPU time: 1784.25 s
15.79/15.96	c core #1035
15.79/15.96	c Core size: 52	Core Weight: 1	Total Weight: 1035
15.79/15.96	c Elapsed CPU time: 15.7766 s	Remaining CPU time: 1784.22 s
15.79/15.98	c core #1036
15.79/15.98	c Core size: 37	Core Weight: 1	Total Weight: 1036
15.79/15.98	c Elapsed CPU time: 15.7996 s	Remaining CPU time: 1784.2 s
15.89/16.01	c core #1037
15.89/16.01	c Core size: 37	Core Weight: 1	Total Weight: 1037
15.89/16.01	c Elapsed CPU time: 15.8236 s	Remaining CPU time: 1784.18 s
15.89/16.03	c core #1038
15.89/16.03	c Core size: 22	Core Weight: 1	Total Weight: 1038
15.89/16.03	c Elapsed CPU time: 15.8486 s	Remaining CPU time: 1784.15 s
15.89/16.06	c core #1039
15.89/16.06	c Core size: 7	Core Weight: 1	Total Weight: 1039
15.89/16.06	c Elapsed CPU time: 15.8726 s	Remaining CPU time: 1784.13 s
15.89/16.08	c core #1040
15.89/16.08	c Core size: 31	Core Weight: 1	Total Weight: 1040
15.89/16.08	c Elapsed CPU time: 15.8976 s	Remaining CPU time: 1784.1 s
15.99/16.10	c core #1041
15.99/16.10	c Core size: 19	Core Weight: 1	Total Weight: 1041
15.99/16.10	c Elapsed CPU time: 15.9196 s	Remaining CPU time: 1784.08 s
15.99/16.13	c core #1042
15.99/16.13	c Core size: 7	Core Weight: 1	Total Weight: 1042
15.99/16.13	c Elapsed CPU time: 15.9436 s	Remaining CPU time: 1784.06 s
15.99/16.15	c core #1043
15.99/16.15	c Core size: 10	Core Weight: 1	Total Weight: 1043
15.99/16.15	c Elapsed CPU time: 15.9686 s	Remaining CPU time: 1784.03 s
15.99/16.18	c core #1044
15.99/16.18	c Core size: 223	Core Weight: 1	Total Weight: 1044
15.99/16.18	c Elapsed CPU time: 15.9926 s	Remaining CPU time: 1784.01 s
16.09/16.20	c core #1045
16.09/16.20	c Core size: 10	Core Weight: 1	Total Weight: 1045
16.09/16.20	c Elapsed CPU time: 16.0166 s	Remaining CPU time: 1783.98 s
16.09/16.23	c core #1046
16.09/16.23	c Core size: 28	Core Weight: 1	Total Weight: 1046
16.09/16.23	c Elapsed CPU time: 16.0416 s	Remaining CPU time: 1783.96 s
16.09/16.25	c core #1047
16.09/16.25	c Core size: 16	Core Weight: 1	Total Weight: 1047
16.09/16.25	c Elapsed CPU time: 16.0656 s	Remaining CPU time: 1783.93 s
16.09/16.28	c core #1048
16.09/16.28	c Core size: 19	Core Weight: 1	Total Weight: 1048
16.09/16.28	c Elapsed CPU time: 16.0906 s	Remaining CPU time: 1783.91 s
16.19/16.30	c core #1049
16.19/16.30	c Core size: 232	Core Weight: 1	Total Weight: 1049
16.19/16.30	c Elapsed CPU time: 16.1175 s	Remaining CPU time: 1783.88 s
16.19/16.33	c core #1050
16.19/16.33	c Core size: 22	Core Weight: 1	Total Weight: 1050
16.19/16.33	c Elapsed CPU time: 16.1405 s	Remaining CPU time: 1783.86 s
16.19/16.35	c core #1051
16.19/16.35	c Core size: 7	Core Weight: 1	Total Weight: 1051
16.19/16.35	c Elapsed CPU time: 16.1645 s	Remaining CPU time: 1783.84 s
16.19/16.37	c core #1052
16.19/16.37	c Core size: 30	Core Weight: 1	Total Weight: 1052
16.19/16.37	c Elapsed CPU time: 16.1895 s	Remaining CPU time: 1783.81 s
16.19/16.40	c core #1053
16.19/16.40	c Core size: 7	Core Weight: 1	Total Weight: 1053
16.19/16.40	c Elapsed CPU time: 16.2125 s	Remaining CPU time: 1783.79 s
16.29/16.42	c core #1054
16.29/16.42	c Core size: 16	Core Weight: 1	Total Weight: 1054
16.29/16.42	c Elapsed CPU time: 16.2385 s	Remaining CPU time: 1783.76 s
16.29/16.45	c core #1055
16.29/16.45	c Core size: 288	Core Weight: 1	Total Weight: 1055
16.29/16.45	c Elapsed CPU time: 16.2645 s	Remaining CPU time: 1783.74 s
16.29/16.47	c core #1056
16.29/16.47	c Core size: 18	Core Weight: 1	Total Weight: 1056
16.29/16.47	c Elapsed CPU time: 16.2875 s	Remaining CPU time: 1783.71 s
16.29/16.50	c core #1057
16.29/16.50	c Core size: 146	Core Weight: 1	Total Weight: 1057
16.29/16.50	c Elapsed CPU time: 16.3135 s	Remaining CPU time: 1783.69 s
16.39/16.52	c core #1058
16.39/16.52	c Core size: 9	Core Weight: 1	Total Weight: 1058
16.39/16.52	c Elapsed CPU time: 16.3365 s	Remaining CPU time: 1783.66 s
16.39/16.55	c core #1059
16.39/16.55	c Core size: 159	Core Weight: 1	Total Weight: 1059
16.39/16.55	c Elapsed CPU time: 16.3635 s	Remaining CPU time: 1783.64 s
16.39/16.57	c core #1060
16.39/16.57	c Core size: 184	Core Weight: 1	Total Weight: 1060
16.39/16.57	c Elapsed CPU time: 16.3885 s	Remaining CPU time: 1783.61 s
16.49/16.60	c core #1061
16.49/16.60	c Core size: 44	Core Weight: 1	Total Weight: 1061
16.49/16.60	c Elapsed CPU time: 16.4135 s	Remaining CPU time: 1783.59 s
16.49/16.63	c core #1062
16.49/16.63	c Core size: 57	Core Weight: 1	Total Weight: 1062
16.49/16.63	c Elapsed CPU time: 16.4395 s	Remaining CPU time: 1783.56 s
16.49/16.65	c ============================[ Search Statistics ]==============================
16.49/16.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.49/16.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.49/16.65	c ===============================================================================
16.49/16.65	c |         0 |    7593    15562    40483 |     5187        0    nan |  0.000 % |
16.49/16.66	c ===============================================================================
16.49/16.66	c core #1063
16.49/16.66	c Core size: 58	Core Weight: 1	Total Weight: 1063
16.49/16.66	c Elapsed CPU time: 16.4695 s	Remaining CPU time: 1783.53 s
16.49/16.68	c ============================[ Search Statistics ]==============================
16.49/16.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.49/16.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.49/16.68	c ===============================================================================
16.49/16.68	c |         0 |    7633    15563    40573 |     5187        0    nan |  0.000 % |
16.49/16.68	c ===============================================================================
16.49/16.68	c core #1064
16.49/16.68	c Core size: 143	Core Weight: 1	Total Weight: 1064
16.49/16.68	c Elapsed CPU time: 16.4975 s	Remaining CPU time: 1783.5 s
16.58/16.71	c ============================[ Search Statistics ]==============================
16.58/16.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.58/16.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.58/16.71	c ===============================================================================
16.58/16.71	c |         0 |    7733    15564    40791 |     5188        0    nan |  0.000 % |
16.58/16.71	c ===============================================================================
16.58/16.71	c core #1065
16.58/16.71	c Core size: 59	Core Weight: 1	Total Weight: 1065
16.58/16.71	c Elapsed CPU time: 16.5275 s	Remaining CPU time: 1783.47 s
16.58/16.74	c ============================[ Search Statistics ]==============================
16.58/16.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.58/16.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.58/16.74	c ===============================================================================
16.58/16.74	c |         0 |    7786    15565    40882 |     5188        0    nan |  0.000 % |
16.58/16.74	c ===============================================================================
16.58/16.74	c core #1066
16.58/16.74	c Core size: 151	Core Weight: 1	Total Weight: 1066
16.58/16.74	c Elapsed CPU time: 16.5565 s	Remaining CPU time: 1783.44 s
16.58/16.77	c ============================[ Search Statistics ]==============================
16.58/16.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.58/16.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.58/16.77	c ===============================================================================
16.58/16.77	c |         0 |    7884    15566    41098 |     5188        0    nan |  0.000 % |
16.58/16.77	c ===============================================================================
16.58/16.77	c core #1067
16.58/16.77	c Core size: 74	Core Weight: 1	Total Weight: 1067
16.58/16.77	c Elapsed CPU time: 16.5835 s	Remaining CPU time: 1783.42 s
16.58/16.80	c ============================[ Search Statistics ]==============================
16.58/16.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.58/16.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.58/16.80	c ===============================================================================
16.58/16.80	c |         0 |    7927    15567    41189 |     5189        0    nan |  0.000 % |
16.68/16.80	c ===============================================================================
16.68/16.80	c core #1068
16.68/16.80	c Core size: 185	Core Weight: 1	Total Weight: 1068
16.68/16.80	c Elapsed CPU time: 16.6135 s	Remaining CPU time: 1783.39 s
16.68/16.83	c ============================[ Search Statistics ]==============================
16.68/16.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.68/16.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.68/16.83	c ===============================================================================
16.68/16.83	c |         0 |    8042    15568    41435 |     5189        0    nan |  0.000 % |
16.68/16.83	c ===============================================================================
16.68/16.83	c core #1069
16.68/16.83	c Core size: 95	Core Weight: 1	Total Weight: 1069
16.68/16.83	c Elapsed CPU time: 16.6435 s	Remaining CPU time: 1783.36 s
16.68/16.86	c ============================[ Search Statistics ]==============================
16.68/16.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.68/16.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.68/16.86	c ===============================================================================
16.68/16.86	c |         0 |    8100    15569    41558 |     5189        0    nan |  0.000 % |
16.68/16.87	c ===============================================================================
16.68/16.87	c core #1070
16.68/16.87	c Core size: 140	Core Weight: 1	Total Weight: 1070
16.68/16.87	c Elapsed CPU time: 16.6755 s	Remaining CPU time: 1783.32 s
16.68/16.89	c ============================[ Search Statistics ]==============================
16.68/16.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.68/16.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.68/16.89	c ===============================================================================
16.68/16.89	c |         0 |    8176    15570    41720 |     5190        0    nan |  0.000 % |
16.78/16.90	c ===============================================================================
16.78/16.90	c core #1071
16.78/16.90	c Core size: 178	Core Weight: 1	Total Weight: 1071
16.78/16.90	c Elapsed CPU time: 16.7055 s	Remaining CPU time: 1783.29 s
16.78/16.92	c ============================[ Search Statistics ]==============================
16.78/16.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.78/16.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.78/16.92	c ===============================================================================
16.78/16.92	c |         0 |    8277    15571    41933 |     5190        0    nan |  0.000 % |
16.78/16.94	c ===============================================================================
16.78/16.94	c core #1072
16.78/16.94	c Core size: 288	Core Weight: 1	Total Weight: 1072
16.78/16.94	c Elapsed CPU time: 16.7525 s	Remaining CPU time: 1783.25 s
16.78/16.97	c ============================[ Search Statistics ]==============================
16.78/16.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.78/16.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.78/16.97	c ===============================================================================
16.78/16.97	c |         0 |    8451    15572    42304 |     5190        0    nan |  0.000 % |
16.78/16.99	c |       101 |    8444    15572    42304 |     5709      101     13 |  1.836 % |
16.78/17.00	c ===============================================================================
16.78/17.00	c core #1073
16.78/17.00	c Core size: 655	Core Weight: 1	Total Weight: 1073
16.78/17.00	c Elapsed CPU time: 16.8024 s	Remaining CPU time: 1783.2 s
16.88/17.02	c ============================[ Search Statistics ]==============================
16.88/17.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.88/17.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.88/17.02	c ===============================================================================
16.88/17.02	c |         0 |    8802    15573    43039 |     5191        0    nan |  0.000 % |
16.88/17.04	c |       100 |    8802    15573    43039 |     5710      100     20 |  0.755 % |
16.88/17.06	c |       251 |    8802    15573    43039 |     6281      251     16 |  0.755 % |
16.98/17.10	c |       478 |    8800    15573    43039 |     6909      320     12 |  0.778 % |
16.98/17.14	c ===============================================================================
16.98/17.14	c core #1074
16.98/17.14	c Core size: 2395	Core Weight: 1	Total Weight: 1074
16.98/17.14	c Elapsed CPU time: 16.9464 s	Remaining CPU time: 1783.05 s
16.98/17.17	c Learning 1 hard constraints
16.98/17.17	c ============================[ Search Statistics ]==============================
16.98/17.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.98/17.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.98/17.17	c ===============================================================================
16.98/17.17	c |         0 |    9895    15575    45262 |     5191        0    nan |  0.000 % |
17.07/17.20	c |       100 |    9895    15575    45262 |     5710      100     22 |  0.312 % |
17.07/17.25	c |       250 |    9895    15575    45262 |     6281      250     19 |  0.312 % |
17.17/17.33	c |       479 |    9895    15575    45262 |     6910      479     15 |  0.312 % |
17.27/17.43	c |       816 |    9895    15575    45262 |     7601      816     15 |  0.312 % |
17.48/17.61	c |      1322 |    9895    15575    45262 |     8361     1322     16 |  0.312 % |
17.68/17.87	c |      2081 |    9895    15575    45262 |     9197     2081     17 |  0.312 % |
18.08/18.26	c |      3223 |    9891    15575    45262 |    10117     1160     10 |  0.353 % |
18.18/18.32	c ===============================================================================
18.18/18.36	c core #1075
18.18/18.36	c Core size: 3497	Core Weight: 1	Total Weight: 1075
18.18/18.36	c Elapsed CPU time: 18.1492 s	Remaining CPU time: 1781.85 s
18.18/18.39	c Learning 3 hard constraints
18.18/18.39	c ============================[ Search Statistics ]==============================
18.18/18.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.18/18.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
18.18/18.39	c ===============================================================================
18.18/18.39	c |         0 |   11380    15579    48262 |     5193        0    nan |  0.000 % |
18.27/18.44	c |       101 |   11380    15579    48262 |     5712      101    103 |  0.105 % |
18.27/18.49	c |       255 |   11380    15579    48262 |     6283      255     80 |  0.105 % |
18.47/18.60	c |       480 |   11380    15579    48262 |     6911      480     52 |  0.105 % |
18.57/18.77	c |       817 |   11380    15579    48262 |     7603      817     38 |  0.105 % |
18.87/19.02	c |      1325 |   11380    15579    48262 |     8363     1325     34 |  0.105 % |
19.17/19.37	c |      2086 |   11380    15579    48262 |     9199     2086     30 |  0.105 % |
19.68/19.86	c |      3226 |   11380    15579    48262 |    10119     3226     32 |  0.105 % |
20.57/20.74	c |      4935 |   11380    15579    48262 |    11131     4935     37 |  0.105 % |
21.87/22.06	c |      7504 |   11380    15579    48262 |    12244     7504     36 |  0.105 % |
25.27/25.49	c |     11349 |   11380    15579    48262 |    13469    11349     52 |  0.105 % |
30.07/30.23	c |     17118 |   11380    15579    48262 |    14816    10327     79 |  0.105 % |
39.57/39.74	c |     25767 |   11380    15579    48262 |    16297    11461    104 |  0.105 % |
56.86/57.09	c |     38742 |   11380    15579    48262 |    17927    16100    138 |  0.105 % |
78.26/78.47	c |     58205 |   11380    15579    48262 |    19720    17233    110 |  0.105 % |
93.85/94.09	c ===============================================================================
95.06/95.28	c core #1076
95.06/95.28	c Core size: 8254	Core Weight: 1	Total Weight: 1076
95.06/95.28	c Elapsed CPU time: 94.7386 s	Remaining CPU time: 1705.26 s
95.15/95.39	c Learning 2 hard constraints
95.15/95.39	c ============================[ Search Statistics ]==============================
95.15/95.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
95.15/95.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
95.15/95.39	c ===============================================================================
95.15/95.39	c |         0 |   14379    15582    54272 |     5194        0    nan |  0.000 % |
95.25/95.44	c |       101 |   14379    15582    54272 |     5713      101     54 |  0.042 % |
95.35/95.54	c |       251 |   14379    15582    54272 |     6284      251     37 |  0.042 % |
95.55/95.71	c |       478 |   14379    15582    54272 |     6913      478     37 |  0.042 % |
95.75/95.92	c |       818 |   14379    15582    54272 |     7604      818     40 |  0.042 % |
96.05/96.26	c |      1324 |   14379    15582    54272 |     8364     1324     41 |  0.042 % |
96.56/96.74	c |      2084 |   14379    15582    54272 |     9201     2084     39 |  0.042 % |
97.15/97.37	c |      3224 |   14379    15582    54272 |    10121     3224     59 |  0.042 % |
98.05/98.28	c |      4932 |   14379    15582    54272 |    11133     4932     69 |  0.042 % |
99.35/99.54	c |      7494 |   14379    15582    54272 |    12247     7494     90 |  0.042 % |
102.54/102.75	c |     11339 |   14379    15582    54272 |    13471    11339     83 |  0.042 % |
107.95/108.11	c |     17108 |   14379    15582    54272 |    14819    10296     76 |  0.042 % |
116.24/116.45	c |     25759 |   14379    15582    54272 |    16300    11444     81 |  0.042 % |
133.74/133.94	c |     38734 |   14379    15582    54272 |    17931    16191    107 |  0.042 % |
155.83/156.08	c |     58198 |   14379    15582    54272 |    19724    17550     91 |  0.042 % |
190.03/190.22	c |     87391 |   14379    15582    54272 |    21696    16467    139 |  0.042 % |
263.90/264.11	c |    131180 |   14379    15582    54272 |    23866    15571    199 |  0.042 % |
375.67/375.91	c |    196865 |   14379    15582    54272 |    26252    19850    171 |  0.042 % |
543.43/543.74	c |    295396 |   14379    15582    54272 |    28878    19945    227 |  0.042 % |
788.37/788.71	c |    443193 |   14379    15582    54272 |    31766    20666    235 |  0.042 % |
1357.00/1357.53	c |    664877 |   14379    15582    54272 |    34942    15258    249 |  0.042 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.91 3/65 2816
/proc/meminfo: memFree=1936896/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=3212 CPUtime=0
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 1967328 3289088 253 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 803 253 122 292 0 418 0

[startup+0.0148201 s]
/proc/loadavg: 1.00 0.99 0.91 3/65 2816
/proc/meminfo: memFree=1936896/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=3556 CPUtime=0.01
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 397 0 0 0 1 0 0 0 20 0 1 0 1967328 3641344 381 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 889 381 142 292 0 504 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3556

[startup+0.102827 s]
/proc/loadavg: 1.00 0.99 0.91 3/65 2816
/proc/meminfo: memFree=1936896/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=4772 CPUtime=0.09
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 852 0 0 0 9 0 0 0 20 0 1 0 1967328 4886528 746 1992294400 134512640 135709839 4294956240 18446744073709551615 135165939 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 1193 746 133 292 0 898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4772

[startup+0.301845 s]
/proc/loadavg: 1.00 0.99 0.91 3/65 2816
/proc/meminfo: memFree=1936896/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=5152 CPUtime=0.29
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 955 0 0 0 29 0 0 0 22 0 1 0 1967328 5275648 825 1992294400 134512640 135709839 4294956240 18446744073709551615 135165939 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 1288 825 133 292 0 993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5152

[startup+0.702885 s]
/proc/loadavg: 1.00 0.99 0.91 3/65 2816
/proc/meminfo: memFree=1936896/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=5388 CPUtime=0.69
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 1231 0 0 0 69 0 0 0 25 0 1 0 1967328 5517312 875 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 1347 875 133 292 0 1052 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5388

[startup+1.50196 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1933688/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=5508 CPUtime=1.48
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 1466 0 0 0 148 0 0 0 25 0 1 0 1967328 5640192 922 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 1377 922 133 292 0 1082 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5508

[startup+3.10111 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1933240/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=6312 CPUtime=3.07
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 2491 0 0 0 306 1 0 0 25 0 1 0 1967328 6463488 1114 1992294400 134512640 135709839 4294956240 18446744073709551615 135164476 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 1578 1114 133 292 0 1283 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 6312

[startup+6.30142 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1930936/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=8164 CPUtime=6.25
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 4346 0 0 0 622 3 0 0 25 0 1 0 1967328 8359936 1589 1992294400 134512640 135709839 4294956240 18446744073709551615 135173077 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 2041 1589 133 292 0 1746 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8164

[startup+12.701 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1925688/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=13152 CPUtime=12.6
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 9247 0 0 0 1254 6 0 0 25 0 1 0 1967328 13467648 2810 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 3288 2810 133 292 0 2993 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 13152

[startup+25.5012 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1915064/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=23748 CPUtime=25.37
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 13091 0 0 0 2526 11 0 0 25 0 1 0 1967328 24317952 5471 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 5937 5471 136 292 0 5642 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 23748

[startup+51.1017 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1896056/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=43392 CPUtime=50.96
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 18010 0 0 0 5074 22 0 0 25 0 1 0 1967328 44433408 10390 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 10848 10390 136 292 0 10553 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 43392

[startup+102.306 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1858040/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=80604 CPUtime=102.15
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 27299 0 0 0 10172 43 0 0 25 0 1 0 1967328 82538496 19612 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 20151 19612 136 292 0 19856 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 80604

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1847032/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=91960 CPUtime=162.14
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 30169 0 0 0 16152 62 0 0 25 0 1 0 1967328 94167040 22482 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 22990 22482 136 292 0 22695 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 91960

[startup+222.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1809592/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=129020 CPUtime=222.11
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 39429 0 0 0 22133 78 0 0 25 0 1 0 1967328 132116480 31742 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 32255 31742 136 292 0 31960 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 129020

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2817
/proc/meminfo: memFree=1765944/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=172952 CPUtime=282.1
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 50416 0 0 0 28112 98 0 0 25 0 1 0 1967328 177102848 42729 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 43238 42729 136 292 0 42943 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 172952

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1732664/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=205732 CPUtime=342.08
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 58543 0 0 0 34096 112 0 0 25 0 1 0 1967328 210669568 50856 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 51433 50856 136 292 0 51138 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 205732

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1693560/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=245208 CPUtime=402.06
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 68426 0 0 0 40075 131 0 0 25 0 1 0 1967328 251092992 60739 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 61302 60739 136 292 0 61007 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 245208

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1654456/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=284128 CPUtime=462.05
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 78086 0 0 0 46057 148 0 0 25 0 1 0 1967328 290947072 70399 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 71032 70399 136 292 0 70737 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 284128

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1611064/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=327840 CPUtime=522.03
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 88986 0 0 0 52037 166 0 0 25 0 1 0 1967328 335708160 81299 1992294400 134512640 135709839 4294956240 18446744073709551615 134574170 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 81960 81299 136 292 0 81665 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 327840

[startup+582.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1576312/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=362216 CPUtime=582.01
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 97562 0 0 0 58021 180 0 0 25 0 1 0 1967328 370909184 89875 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 90554 89875 136 292 0 90259 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 362216

[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1537464/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=400868 CPUtime=642
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 107180 0 0 0 64003 197 0 0 25 0 1 0 1967328 410488832 99493 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 100217 99493 136 292 0 99922 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 400868

[startup+702.302 s]

################
# More data... #
################

[startup+882.303 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1365944/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=572192 CPUtime=881.93
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 149969 0 0 0 87924 269 0 0 25 0 1 0 1967328 585924608 142282 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 143048 142282 136 292 0 142753 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 572192

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1324856/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=613580 CPUtime=941.92
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 160298 0 0 0 93910 282 0 0 25 0 1 0 1967328 628305920 152611 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 153395 152611 136 292 0 153100 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 613580

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1289080/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=649160 CPUtime=1001.9
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 169168 0 0 0 99892 298 0 0 25 0 1 0 1967328 664739840 161481 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 162290 161481 136 292 0 161995 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 649160

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1256824/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=681776 CPUtime=1061.88
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 177287 0 0 0 105876 312 0 0 25 0 1 0 1967328 698138624 169600 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 170444 169600 136 292 0 170149 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 681776

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1227832/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=710420 CPUtime=1121.87
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 184443 0 0 0 111863 324 0 0 25 0 1 0 1967328 727470080 176756 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 177605 176756 136 292 0 177310 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 710420

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1189752/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=749176 CPUtime=1181.86
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 194122 0 0 0 117849 337 0 0 25 0 1 0 1967328 767156224 186435 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 187294 186435 136 292 0 186999 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 749176

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1154488/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=783796 CPUtime=1241.83
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 202774 0 0 0 123833 350 0 0 25 0 1 0 1967328 802607104 195087 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 195949 195087 136 292 0 195654 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 783796

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1124280/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=813688 CPUtime=1301.82
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 210232 0 0 0 129820 362 0 0 25 0 1 0 1967328 833216512 202545 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 203422 202545 136 292 0 203127 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 813688

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1097912/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=840520 CPUtime=1361.8
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 216939 0 0 0 135808 372 0 0 25 0 1 0 1967328 860692480 209252 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 210130 209252 136 292 0 209835 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 840520

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1065784/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=872036 CPUtime=1421.79
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 224805 0 0 0 141792 387 0 0 25 0 1 0 1967328 892964864 217118 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 218009 217118 136 292 0 217714 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 872036

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=1036408/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=901648 CPUtime=1481.77
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 232161 0 0 0 147777 400 0 0 25 0 1 0 1967328 923287552 224474 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 225412 224474 136 292 0 225117 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 901648

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=996472/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=941392 CPUtime=1541.76
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 242107 0 0 0 153759 417 0 0 25 0 1 0 1967328 963985408 234420 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 235348 234420 136 292 0 235053 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 941392

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=957496/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=981076 CPUtime=1601.74
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 251974 0 0 0 159744 430 0 0 25 0 1 0 1967328 1004621824 244287 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 245269 244287 136 292 0 244974 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 981076

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=920760/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=1017308 CPUtime=1661.72
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 260993 0 0 0 165729 443 0 0 25 0 1 0 1967328 1041723392 253306 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 254327 253306 136 292 0 254032 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1017308

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=874168/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=1064172 CPUtime=1721.7
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 272663 0 0 0 171714 456 0 0 25 0 1 0 1967328 1089712128 264976 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 266043 264976 136 292 0 265748 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1064172

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=840056/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=1098220 CPUtime=1781.69
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 281157 0 0 0 177699 470 0 0 25 0 1 0 1967328 1124577280 273470 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 274555 273470 136 292 0 274260 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1098220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=828216/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=1109712 CPUtime=1800.09
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4194304 284027 0 0 0 179534 475 0 0 25 0 1 0 1967328 1136345088 276340 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 277428 276340 136 292 0 277133 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1109712

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 0.99 0.91 2/66 2823
/proc/meminfo: memFree=828216/2055920 swapFree=4192956/4192956
[pid=2816] ppid=2814 vsize=0 CPUtime=1800.19
/proc/2816/stat : 2816 (wbo) R 2814 2816 2663 0 -1 4195332 284027 0 0 0 179534 485 0 0 25 0 1 0 1967328 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2816/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.86
CPU time (s): 1800.26
CPU user time (s): 1795.35
CPU system time (s): 4.91025
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 1109712

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

runsolver used 1.63375 second user time and 3.48947 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-16 15:55:51
IDJOB=1875536
IDBENCH=2191
IDSOLVER=698
FILE ID=node8/1875536-1245160551
PBS_JOBID= 9363820
Free space on /tmp= 66288 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f2000.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-1875536-1245160551/watcher-1875536-1245160551 -o /tmp/evaluation-result-1875536-1245160551/solver-1875536-1245160551 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875536-1245160551.opb

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

MD5SUM BENCH= fad56081e554a0467e4020315c4dfc76
RANDOM SEED=668088829

node8.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.236
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.236
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1937248 kB
Buffers:         19312 kB
Cached:          57188 kB
SwapCached:          0 kB
Active:          52640 kB
Inactive:        37580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1937248 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2732 kB
Writeback:           0 kB
Mapped:          23496 kB
Slab:            14228 kB
Committed_AS:    52232 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875536-1245160551.opb

Free space on /tmp at the end= 66284 MiB
End job on node8 at 2009-06-16 16:25:54