Trace number 1875748

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (MO) 1561.66 1562.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM1a62ccf42beef1991aac7e4813cc0d13
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1038
Best CPU time to get the best result obtained on this benchmark1797.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1031
Optimality of the best value was proved NO
Number of variables1959
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1959
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 1959
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1959
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875748-1245143429.opb.
0.00/0.00	c Instance file HOME/instance-1875748-1245143429.opb
0.00/0.00	c File size is 112283 bytes.
0.00/0.01	c Highest Coefficient sum: 3
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1959                                                |
0.00/0.01	c |  Number Clauses:        5959                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.01/0.02	c core #2
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.01/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #3
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #4
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.03	c core #5
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.01/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #6
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.01/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #7
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.01/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #8
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.01/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #9
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.01/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.01/0.05	c core #10
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.01/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #11
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.01/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #12
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.01/0.06	c core #13
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.01/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #14
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.01/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #15
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.01/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.01/0.07	c core #16
0.01/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.01/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #17
0.01/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.01/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #18
0.01/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.01/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.01/0.08	c core #19
0.01/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.01/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c core #20
0.01/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.01/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.01/0.09	c core #21
0.01/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.01/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c core #22
0.01/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.01/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c core #23
0.01/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.01/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.01/0.10	c core #24
0.01/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.01/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #26
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #29
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #31
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.12	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #34
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #35
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #37
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #38
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #43
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #45
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #46
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #48
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #49
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #50
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.19	c Elapsed CPU time: 0.19597 s	Remaining CPU time: 1799.8 s
0.09/0.20	c core #51
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.09/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #52
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #53
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #54
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #58
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.22	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.228965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.232964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #61
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.24	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #62
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #63
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #64
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.25	c Elapsed CPU time: 0.247962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #65
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 65
0.19/0.25	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #66
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.25	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #67
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.26	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #69
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.27	c Elapsed CPU time: 0.266959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #70
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.27	c Elapsed CPU time: 0.270958 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #71
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #72
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.28	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #74
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.28	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #75
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #76
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.29	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #77
0.19/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.19/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #79
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #80
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 80
0.29/0.31	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #81
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.31	c Elapsed CPU time: 0.312952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #82
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #84
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #85
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.33	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #86
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #87
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.33	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #89
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.34	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #92
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #94
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.36	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #97
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #99
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.38	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #100
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.38	c Elapsed CPU time: 0.385941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.38994 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #102
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.39	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #103
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 103
0.29/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.401938 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #105
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.40	c Elapsed CPU time: 0.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #107
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #110
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.42	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #112
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.43	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.437933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #114
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #115
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.44	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #116
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.45	c Elapsed CPU time: 0.449931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #117
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.45	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #118
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 118
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #119
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.46	c Elapsed CPU time: 0.461929 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #120
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.46	c Elapsed CPU time: 0.465929 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #121
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 121
0.39/0.47	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #122
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.47	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #123
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.48	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #124
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.48	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #125
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.48	c Elapsed CPU time: 0.485926 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #126
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 126
0.39/0.49	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #127
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.49	c Elapsed CPU time: 0.493924 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #128
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 128
0.49/0.50	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #129
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.50	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #130
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 130
0.49/0.51	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #131
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 131
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #132
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.51	c Elapsed CPU time: 0.514921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #133
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #134
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.52	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #135
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.53	c Elapsed CPU time: 0.526919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #136
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 136
0.49/0.53	c Elapsed CPU time: 0.530919 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #137
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.53	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #138
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #139
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.54	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #140
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.55	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #141
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.55	c Elapsed CPU time: 0.551916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #142
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 142
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #143
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.56	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #144
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.56	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #145
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 145
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #146
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.57	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #147
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.58	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #148
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #149
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.58	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #150
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 150
0.49/0.59	c Elapsed CPU time: 0.58891 s	Remaining CPU time: 1799.41 s
0.49/0.59	c core #151
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.59	c Elapsed CPU time: 0.592909 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #152
0.49/0.60	c Core size: 3	Core Weight: 1	Total Weight: 152
0.49/0.60	c Elapsed CPU time: 0.596909 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #153
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.60	c Elapsed CPU time: 0.600908 s	Remaining CPU time: 1799.4 s
0.59/0.60	c core #154
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.60	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #155
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #156
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.61	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #157
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 157
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #158
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.62	c Elapsed CPU time: 0.621905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #159
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.63	c Elapsed CPU time: 0.625904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #160
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.63	c Elapsed CPU time: 0.630904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #161
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.63	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #162
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 162
0.59/0.64	c Elapsed CPU time: 0.638902 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #163
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.64	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #164
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.65	c Elapsed CPU time: 0.646901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #165
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.65	c Elapsed CPU time: 0.650901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #166
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.66	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #167
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.66	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #168
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.66	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #169
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.67	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #170
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.67	c Elapsed CPU time: 0.671897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #171
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 171
0.59/0.68	c Elapsed CPU time: 0.675897 s	Remaining CPU time: 1799.32 s
0.59/0.68	c core #172
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.68	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #173
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.69	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #174
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.69	c Elapsed CPU time: 0.688895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #175
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 175
0.59/0.69	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #176
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.70	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #177
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.70	c Elapsed CPU time: 0.701893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #178
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #179
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #180
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #181
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.72	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #182
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 182
0.69/0.73	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #183
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 183
0.69/0.73	c Elapsed CPU time: 0.728889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #184
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.73	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #185
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 185
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #186
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.74	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #187
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.75	c Elapsed CPU time: 0.745886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #188
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.75	c Elapsed CPU time: 0.750885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #189
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.76	c Elapsed CPU time: 0.754885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #190
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.76	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #191
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.76	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #192
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 192
0.69/0.77	c Elapsed CPU time: 0.768883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #193
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.77	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #194
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.78	c Elapsed CPU time: 0.776881 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #195
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #196
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.79	c Elapsed CPU time: 0.78588 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #197
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.79	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #198
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 198
0.69/0.80	c Elapsed CPU time: 0.794879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #199
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.80	c Elapsed CPU time: 0.798878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #200
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.81	c Elapsed CPU time: 0.803877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #201
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.81	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #202
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.81	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #203
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.82	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 1799.18 s
0.79/0.82	c core #204
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.82	c Elapsed CPU time: 0.821875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #205
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.83	c Elapsed CPU time: 0.826874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #206
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.83	c Elapsed CPU time: 0.830873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #207
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.84	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 1799.16 s
0.79/0.84	c core #208
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.84	c Elapsed CPU time: 0.839872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #209
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.85	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #210
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.85	c Elapsed CPU time: 0.84887 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #211
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.86	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #212
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.86	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #213
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.87	c Elapsed CPU time: 0.862868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #214
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.87	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #215
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.87	c Elapsed CPU time: 0.872867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #216
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.88	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #217
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.88	c Elapsed CPU time: 0.881865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #218
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #219
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #220
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.90	c Elapsed CPU time: 0.895863 s	Remaining CPU time: 1799.1 s
0.89/0.90	c core #221
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.90	c Elapsed CPU time: 0.900863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #222
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.91	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #223
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.91	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #224
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.92	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #225
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.92	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #226
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.93	c Elapsed CPU time: 0.924859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #227
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.93	c Elapsed CPU time: 0.929858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #228
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.94	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #229
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #230
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.95	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #231
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #232
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.96	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #233
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.96	c Elapsed CPU time: 0.958854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #234
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.97	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #235
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.97	c Elapsed CPU time: 0.968852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #236
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.98	c Elapsed CPU time: 0.973851 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #237
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.98	c Elapsed CPU time: 0.977851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #238
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.98	c Elapsed CPU time: 0.98285 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #239
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.99	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #240
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/0.99	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #241
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 241
0.89/1.00	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 1799 s
0.99/1.00	c core #242
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.00	c Elapsed CPU time: 1.00085 s	Remaining CPU time: 1799 s
0.99/1.01	c core #243
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.01	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #244
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.02	c Elapsed CPU time: 1.01185 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #245
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.02	c Elapsed CPU time: 1.01684 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #246
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.03	c Elapsed CPU time: 1.02184 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #247
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.03	c Elapsed CPU time: 1.02684 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #248
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.04	c Elapsed CPU time: 1.03184 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #249
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.04	c Elapsed CPU time: 1.03684 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #250
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.05	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #251
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.05	c Elapsed CPU time: 1.04684 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #252
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.06	c Elapsed CPU time: 1.05184 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #253
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.06	c Elapsed CPU time: 1.05684 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #254
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.07	c Elapsed CPU time: 1.06284 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #255
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.07	c Elapsed CPU time: 1.06784 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #256
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.08	c Elapsed CPU time: 1.07284 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #257
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.08	c Elapsed CPU time: 1.07784 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #258
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.09	c Elapsed CPU time: 1.08283 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #259
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.09	c Elapsed CPU time: 1.08783 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #260
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 260
0.99/1.10	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #261
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 261
1.09/1.10	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #262
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.11	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #263
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.11	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #264
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.13	c core #265
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.13	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #266
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.09/1.14	c core #267
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.14	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #268
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.14	c Elapsed CPU time: 1.13583 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #269
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.15	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #270
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #271
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.16	c Elapsed CPU time: 1.15082 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #272
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.16	c Elapsed CPU time: 1.15582 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #273
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #274
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 274
1.09/1.17	c Elapsed CPU time: 1.16682 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #275
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.18	c Elapsed CPU time: 1.17182 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #276
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.18	c Elapsed CPU time: 1.17682 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #277
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.19	c Elapsed CPU time: 1.18282 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #278
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 278
1.09/1.19	c Elapsed CPU time: 1.18782 s	Remaining CPU time: 1798.81 s
1.18/1.20	c core #279
1.18/1.20	c Core size: 3	Core Weight: 1	Total Weight: 279
1.18/1.20	c Elapsed CPU time: 1.19282 s	Remaining CPU time: 1798.81 s
1.18/1.21	c core #280
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 280
1.18/1.21	c Elapsed CPU time: 1.19782 s	Remaining CPU time: 1798.8 s
1.18/1.21	c core #281
1.18/1.21	c Core size: 3	Core Weight: 1	Total Weight: 281
1.18/1.21	c Elapsed CPU time: 1.20282 s	Remaining CPU time: 1798.8 s
1.18/1.22	c core #282
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 282
1.18/1.22	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 1798.79 s
1.18/1.22	c core #283
1.18/1.22	c Core size: 3	Core Weight: 1	Total Weight: 283
1.18/1.22	c Elapsed CPU time: 1.21382 s	Remaining CPU time: 1798.79 s
1.18/1.23	c core #284
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 284
1.18/1.23	c Elapsed CPU time: 1.21881 s	Remaining CPU time: 1798.78 s
1.18/1.23	c core #285
1.18/1.23	c Core size: 3	Core Weight: 1	Total Weight: 285
1.18/1.23	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.18/1.24	c core #286
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 286
1.18/1.24	c Elapsed CPU time: 1.22881 s	Remaining CPU time: 1798.77 s
1.18/1.24	c core #287
1.18/1.24	c Core size: 3	Core Weight: 1	Total Weight: 287
1.18/1.24	c Elapsed CPU time: 1.23381 s	Remaining CPU time: 1798.77 s
1.18/1.25	c core #288
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 288
1.18/1.25	c Elapsed CPU time: 1.23881 s	Remaining CPU time: 1798.76 s
1.18/1.25	c core #289
1.18/1.25	c Core size: 3	Core Weight: 1	Total Weight: 289
1.18/1.25	c Elapsed CPU time: 1.24481 s	Remaining CPU time: 1798.76 s
1.18/1.26	c core #290
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 290
1.18/1.26	c Elapsed CPU time: 1.24981 s	Remaining CPU time: 1798.75 s
1.18/1.26	c core #291
1.18/1.26	c Core size: 3	Core Weight: 1	Total Weight: 291
1.18/1.26	c Elapsed CPU time: 1.25481 s	Remaining CPU time: 1798.75 s
1.18/1.27	c core #292
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 292
1.18/1.27	c Elapsed CPU time: 1.26081 s	Remaining CPU time: 1798.74 s
1.18/1.27	c core #293
1.18/1.27	c Core size: 3	Core Weight: 1	Total Weight: 293
1.18/1.27	c Elapsed CPU time: 1.26581 s	Remaining CPU time: 1798.73 s
1.18/1.28	c core #294
1.18/1.28	c Core size: 3	Core Weight: 1	Total Weight: 294
1.18/1.28	c Elapsed CPU time: 1.27081 s	Remaining CPU time: 1798.73 s
1.18/1.29	c core #295
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 295
1.18/1.29	c Elapsed CPU time: 1.2768 s	Remaining CPU time: 1798.72 s
1.18/1.29	c core #296
1.18/1.29	c Core size: 3	Core Weight: 1	Total Weight: 296
1.18/1.29	c Elapsed CPU time: 1.28181 s	Remaining CPU time: 1798.72 s
1.18/1.30	c core #297
1.18/1.30	c Core size: 3	Core Weight: 1	Total Weight: 297
1.18/1.30	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #298
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 298
1.28/1.30	c Elapsed CPU time: 1.2918 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #299
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 299
1.28/1.31	c Elapsed CPU time: 1.2968 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #300
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 300
1.28/1.31	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #301
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.32	c Elapsed CPU time: 1.3078 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #302
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.32	c Elapsed CPU time: 1.3128 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #303
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.33	c Elapsed CPU time: 1.3178 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #304
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.33	c Elapsed CPU time: 1.3228 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #305
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.34	c Elapsed CPU time: 1.3278 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #306
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.34	c Elapsed CPU time: 1.3328 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #307
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.35	c Elapsed CPU time: 1.3378 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #308
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.36	c Elapsed CPU time: 1.34279 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #309
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.36	c Elapsed CPU time: 1.34879 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #310
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.37	c Elapsed CPU time: 1.35379 s	Remaining CPU time: 1798.65 s
1.28/1.37	c core #311
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 311
1.28/1.37	c Elapsed CPU time: 1.35979 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #312
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.38	c Elapsed CPU time: 1.36479 s	Remaining CPU time: 1798.64 s
1.28/1.38	c core #313
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 313
1.28/1.38	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 1798.63 s
1.28/1.39	c core #314
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 314
1.28/1.39	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #315
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 315
1.28/1.39	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #316
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 316
1.38/1.40	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #317
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 317
1.38/1.41	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.41	c core #318
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 318
1.38/1.41	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #319
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 319
1.38/1.42	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #320
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.42	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #321
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.43	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.38/1.43	c core #322
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #323
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.44	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #324
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.44	c Elapsed CPU time: 1.42878 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #325
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.45	c Elapsed CPU time: 1.43478 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #326
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.45	c Elapsed CPU time: 1.43978 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #327
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.46	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #328
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.47	c Elapsed CPU time: 1.45078 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #329
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 329
1.38/1.47	c Elapsed CPU time: 1.45578 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #330
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.48	c Elapsed CPU time: 1.46078 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #331
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 331
1.38/1.48	c Elapsed CPU time: 1.46678 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #332
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 332
1.38/1.49	c Elapsed CPU time: 1.47178 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #333
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 333
1.38/1.49	c Elapsed CPU time: 1.47677 s	Remaining CPU time: 1798.52 s
1.47/1.50	c core #334
1.47/1.50	c Core size: 3	Core Weight: 1	Total Weight: 334
1.47/1.50	c Elapsed CPU time: 1.48277 s	Remaining CPU time: 1798.52 s
1.47/1.50	c core #335
1.47/1.50	c Core size: 3	Core Weight: 1	Total Weight: 335
1.47/1.50	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 1798.51 s
1.47/1.51	c core #336
1.47/1.51	c Core size: 3	Core Weight: 1	Total Weight: 336
1.47/1.51	c Elapsed CPU time: 1.49277 s	Remaining CPU time: 1798.51 s
1.47/1.52	c core #337
1.47/1.52	c Core size: 3	Core Weight: 1	Total Weight: 337
1.47/1.52	c Elapsed CPU time: 1.49877 s	Remaining CPU time: 1798.5 s
1.47/1.52	c core #338
1.47/1.52	c Core size: 3	Core Weight: 1	Total Weight: 338
1.47/1.52	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.47/1.53	c core #339
1.47/1.53	c Core size: 3	Core Weight: 1	Total Weight: 339
1.47/1.53	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 1798.49 s
1.47/1.53	c core #340
1.47/1.53	c Core size: 3	Core Weight: 1	Total Weight: 340
1.47/1.53	c Elapsed CPU time: 1.51477 s	Remaining CPU time: 1798.49 s
1.47/1.54	c core #341
1.47/1.54	c Core size: 3	Core Weight: 1	Total Weight: 341
1.47/1.54	c Elapsed CPU time: 1.52077 s	Remaining CPU time: 1798.48 s
1.47/1.54	c core #342
1.47/1.54	c Core size: 3	Core Weight: 1	Total Weight: 342
1.47/1.54	c Elapsed CPU time: 1.52577 s	Remaining CPU time: 1798.47 s
1.47/1.55	c core #343
1.47/1.55	c Core size: 3	Core Weight: 1	Total Weight: 343
1.47/1.55	c Elapsed CPU time: 1.53177 s	Remaining CPU time: 1798.47 s
1.47/1.56	c core #344
1.47/1.56	c Core size: 3	Core Weight: 1	Total Weight: 344
1.47/1.56	c Elapsed CPU time: 1.53677 s	Remaining CPU time: 1798.46 s
1.47/1.56	c core #345
1.47/1.56	c Core size: 3	Core Weight: 1	Total Weight: 345
1.47/1.56	c Elapsed CPU time: 1.54277 s	Remaining CPU time: 1798.46 s
1.47/1.57	c core #346
1.47/1.57	c Core size: 3	Core Weight: 1	Total Weight: 346
1.47/1.57	c Elapsed CPU time: 1.54776 s	Remaining CPU time: 1798.45 s
1.47/1.57	c core #347
1.47/1.57	c Core size: 3	Core Weight: 1	Total Weight: 347
1.47/1.57	c Elapsed CPU time: 1.55276 s	Remaining CPU time: 1798.45 s
1.47/1.58	c core #348
1.47/1.58	c Core size: 3	Core Weight: 1	Total Weight: 348
1.47/1.58	c Elapsed CPU time: 1.55876 s	Remaining CPU time: 1798.44 s
1.47/1.58	c core #349
1.47/1.58	c Core size: 3	Core Weight: 1	Total Weight: 349
1.47/1.58	c Elapsed CPU time: 1.56476 s	Remaining CPU time: 1798.44 s
1.47/1.59	c core #350
1.47/1.59	c Core size: 3	Core Weight: 1	Total Weight: 350
1.47/1.59	c Elapsed CPU time: 1.56976 s	Remaining CPU time: 1798.43 s
1.47/1.59	c core #351
1.47/1.59	c Core size: 3	Core Weight: 1	Total Weight: 351
1.47/1.59	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 1798.42 s
1.57/1.60	c core #352
1.57/1.60	c Core size: 3	Core Weight: 1	Total Weight: 352
1.57/1.60	c Elapsed CPU time: 1.57976 s	Remaining CPU time: 1798.42 s
1.57/1.61	c core #353
1.57/1.61	c Core size: 3	Core Weight: 1	Total Weight: 353
1.57/1.61	c Elapsed CPU time: 1.58476 s	Remaining CPU time: 1798.42 s
1.57/1.61	c core #354
1.57/1.61	c Core size: 3	Core Weight: 1	Total Weight: 354
1.57/1.61	c Elapsed CPU time: 1.59076 s	Remaining CPU time: 1798.41 s
1.57/1.62	c core #355
1.57/1.62	c Core size: 3	Core Weight: 1	Total Weight: 355
1.57/1.62	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 1798.4 s
1.57/1.62	c core #356
1.57/1.62	c Core size: 3	Core Weight: 1	Total Weight: 356
1.57/1.62	c Elapsed CPU time: 1.60076 s	Remaining CPU time: 1798.4 s
1.57/1.63	c core #357
1.57/1.63	c Core size: 3	Core Weight: 1	Total Weight: 357
1.57/1.63	c Elapsed CPU time: 1.60676 s	Remaining CPU time: 1798.39 s
1.57/1.63	c core #358
1.57/1.63	c Core size: 3	Core Weight: 1	Total Weight: 358
1.57/1.63	c Elapsed CPU time: 1.61175 s	Remaining CPU time: 1798.39 s
1.57/1.64	c core #359
1.57/1.64	c Core size: 3	Core Weight: 1	Total Weight: 359
1.57/1.64	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.57/1.65	c core #360
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 360
1.57/1.65	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 1798.38 s
1.57/1.65	c core #361
1.57/1.65	c Core size: 3	Core Weight: 1	Total Weight: 361
1.57/1.65	c Elapsed CPU time: 1.62875 s	Remaining CPU time: 1798.37 s
1.57/1.66	c core #362
1.57/1.66	c Core size: 3	Core Weight: 1	Total Weight: 362
1.57/1.66	c Elapsed CPU time: 1.63375 s	Remaining CPU time: 1798.37 s
1.57/1.66	c core #363
1.57/1.66	c Core size: 3	Core Weight: 1	Total Weight: 363
1.57/1.66	c Elapsed CPU time: 1.63975 s	Remaining CPU time: 1798.36 s
1.57/1.67	c core #364
1.57/1.67	c Core size: 3	Core Weight: 1	Total Weight: 364
1.57/1.67	c Elapsed CPU time: 1.64475 s	Remaining CPU time: 1798.36 s
1.57/1.67	c core #365
1.57/1.67	c Core size: 3	Core Weight: 1	Total Weight: 365
1.57/1.67	c Elapsed CPU time: 1.64975 s	Remaining CPU time: 1798.35 s
1.57/1.68	c core #366
1.57/1.68	c Core size: 3	Core Weight: 1	Total Weight: 366
1.57/1.68	c Elapsed CPU time: 1.65575 s	Remaining CPU time: 1798.34 s
1.57/1.69	c core #367
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 367
1.57/1.69	c Elapsed CPU time: 1.66175 s	Remaining CPU time: 1798.34 s
1.57/1.69	c core #368
1.57/1.69	c Core size: 3	Core Weight: 1	Total Weight: 368
1.57/1.69	c Elapsed CPU time: 1.66675 s	Remaining CPU time: 1798.33 s
1.67/1.70	c core #369
1.67/1.70	c Core size: 3	Core Weight: 1	Total Weight: 369
1.67/1.70	c Elapsed CPU time: 1.67175 s	Remaining CPU time: 1798.33 s
1.67/1.70	c core #370
1.67/1.70	c Core size: 3	Core Weight: 1	Total Weight: 370
1.67/1.70	c Elapsed CPU time: 1.67774 s	Remaining CPU time: 1798.32 s
1.67/1.71	c core #371
1.67/1.71	c Core size: 3	Core Weight: 1	Total Weight: 371
1.67/1.71	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.67/1.71	c core #372
1.67/1.71	c Core size: 3	Core Weight: 1	Total Weight: 372
1.67/1.72	c Elapsed CPU time: 1.68974 s	Remaining CPU time: 1798.31 s
1.67/1.72	c core #373
1.67/1.72	c Core size: 3	Core Weight: 1	Total Weight: 373
1.67/1.72	c Elapsed CPU time: 1.69574 s	Remaining CPU time: 1798.3 s
1.67/1.73	c core #374
1.67/1.73	c Core size: 3	Core Weight: 1	Total Weight: 374
1.67/1.73	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 1798.3 s
1.67/1.73	c core #375
1.67/1.73	c Core size: 3	Core Weight: 1	Total Weight: 375
1.67/1.73	c Elapsed CPU time: 1.70774 s	Remaining CPU time: 1798.29 s
1.67/1.74	c core #376
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 376
1.67/1.74	c Elapsed CPU time: 1.71374 s	Remaining CPU time: 1798.29 s
1.67/1.74	c core #377
1.67/1.74	c Core size: 3	Core Weight: 1	Total Weight: 377
1.67/1.74	c Elapsed CPU time: 1.71974 s	Remaining CPU time: 1798.28 s
1.67/1.75	c core #378
1.67/1.75	c Core size: 3	Core Weight: 1	Total Weight: 378
1.67/1.75	c Elapsed CPU time: 1.72574 s	Remaining CPU time: 1798.27 s
1.67/1.76	c core #379
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 379
1.67/1.76	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 1798.27 s
1.67/1.76	c core #380
1.67/1.76	c Core size: 3	Core Weight: 1	Total Weight: 380
1.67/1.76	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.67/1.77	c core #381
1.67/1.77	c Core size: 3	Core Weight: 1	Total Weight: 381
1.67/1.77	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.67/1.77	c core #382
1.67/1.77	c Core size: 3	Core Weight: 1	Total Weight: 382
1.67/1.77	c Elapsed CPU time: 1.74773 s	Remaining CPU time: 1798.25 s
1.67/1.78	c core #383
1.67/1.78	c Core size: 3	Core Weight: 1	Total Weight: 383
1.67/1.78	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.67/1.79	c core #384
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 384
1.67/1.79	c Elapsed CPU time: 1.75973 s	Remaining CPU time: 1798.24 s
1.67/1.79	c core #385
1.67/1.79	c Core size: 3	Core Weight: 1	Total Weight: 385
1.67/1.79	c Elapsed CPU time: 1.76573 s	Remaining CPU time: 1798.23 s
1.76/1.80	c core #386
1.76/1.80	c Core size: 3	Core Weight: 1	Total Weight: 386
1.76/1.80	c Elapsed CPU time: 1.77173 s	Remaining CPU time: 1798.23 s
1.76/1.80	c core #387
1.76/1.80	c Core size: 3	Core Weight: 1	Total Weight: 387
1.76/1.80	c Elapsed CPU time: 1.77773 s	Remaining CPU time: 1798.22 s
1.76/1.81	c core #388
1.76/1.81	c Core size: 3	Core Weight: 1	Total Weight: 388
1.76/1.81	c Elapsed CPU time: 1.78373 s	Remaining CPU time: 1798.22 s
1.76/1.82	c core #389
1.76/1.82	c Core size: 3	Core Weight: 1	Total Weight: 389
1.76/1.82	c Elapsed CPU time: 1.78973 s	Remaining CPU time: 1798.21 s
1.76/1.82	c core #390
1.76/1.82	c Core size: 3	Core Weight: 1	Total Weight: 390
1.76/1.82	c Elapsed CPU time: 1.79573 s	Remaining CPU time: 1798.2 s
1.76/1.83	c core #391
1.76/1.83	c Core size: 3	Core Weight: 1	Total Weight: 391
1.76/1.83	c Elapsed CPU time: 1.80173 s	Remaining CPU time: 1798.2 s
1.76/1.83	c core #392
1.76/1.83	c Core size: 3	Core Weight: 1	Total Weight: 392
1.76/1.83	c Elapsed CPU time: 1.80773 s	Remaining CPU time: 1798.19 s
1.76/1.84	c core #393
1.76/1.84	c Core size: 3	Core Weight: 1	Total Weight: 393
1.76/1.84	c Elapsed CPU time: 1.81272 s	Remaining CPU time: 1798.19 s
1.76/1.85	c core #394
1.76/1.85	c Core size: 3	Core Weight: 1	Total Weight: 394
1.76/1.85	c Elapsed CPU time: 1.81872 s	Remaining CPU time: 1798.18 s
1.76/1.85	c core #395
1.76/1.85	c Core size: 3	Core Weight: 1	Total Weight: 395
1.76/1.85	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.76/1.86	c core #396
1.76/1.86	c Core size: 3	Core Weight: 1	Total Weight: 396
1.76/1.86	c Elapsed CPU time: 1.83072 s	Remaining CPU time: 1798.17 s
1.76/1.86	c core #397
1.76/1.86	c Core size: 3	Core Weight: 1	Total Weight: 397
1.76/1.86	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.76/1.87	c core #398
1.76/1.87	c Core size: 3	Core Weight: 1	Total Weight: 398
1.76/1.87	c Elapsed CPU time: 1.84272 s	Remaining CPU time: 1798.16 s
1.76/1.88	c core #399
1.76/1.88	c Core size: 3	Core Weight: 1	Total Weight: 399
1.76/1.88	c Elapsed CPU time: 1.84872 s	Remaining CPU time: 1798.15 s
1.76/1.88	c core #400
1.76/1.88	c Core size: 3	Core Weight: 1	Total Weight: 400
1.76/1.88	c Elapsed CPU time: 1.85472 s	Remaining CPU time: 1798.15 s
1.76/1.89	c core #401
1.76/1.89	c Core size: 3	Core Weight: 1	Total Weight: 401
1.76/1.89	c Elapsed CPU time: 1.86072 s	Remaining CPU time: 1798.14 s
1.76/1.89	c core #402
1.76/1.89	c Core size: 3	Core Weight: 1	Total Weight: 402
1.76/1.89	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 1798.13 s
1.87/1.90	c core #403
1.87/1.90	c Core size: 3	Core Weight: 1	Total Weight: 403
1.87/1.90	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.87/1.91	c core #404
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 404
1.87/1.91	c Elapsed CPU time: 1.87871 s	Remaining CPU time: 1798.12 s
1.87/1.91	c core #405
1.87/1.91	c Core size: 3	Core Weight: 1	Total Weight: 405
1.87/1.91	c Elapsed CPU time: 1.88471 s	Remaining CPU time: 1798.12 s
1.87/1.92	c core #406
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 406
1.87/1.92	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
1.87/1.92	c core #407
1.87/1.92	c Core size: 3	Core Weight: 1	Total Weight: 407
1.87/1.92	c Elapsed CPU time: 1.89671 s	Remaining CPU time: 1798.1 s
1.87/1.93	c core #408
1.87/1.93	c Core size: 3	Core Weight: 1	Total Weight: 408
1.87/1.93	c Elapsed CPU time: 1.90271 s	Remaining CPU time: 1798.1 s
1.87/1.94	c core #409
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 409
1.87/1.94	c Elapsed CPU time: 1.90871 s	Remaining CPU time: 1798.09 s
1.87/1.94	c core #410
1.87/1.94	c Core size: 3	Core Weight: 1	Total Weight: 410
1.87/1.94	c Elapsed CPU time: 1.91471 s	Remaining CPU time: 1798.09 s
1.87/1.95	c core #411
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 411
1.87/1.95	c Elapsed CPU time: 1.92071 s	Remaining CPU time: 1798.08 s
1.87/1.95	c core #412
1.87/1.95	c Core size: 3	Core Weight: 1	Total Weight: 412
1.87/1.95	c Elapsed CPU time: 1.92671 s	Remaining CPU time: 1798.07 s
1.87/1.96	c core #413
1.87/1.96	c Core size: 3	Core Weight: 1	Total Weight: 413
1.87/1.96	c Elapsed CPU time: 1.93371 s	Remaining CPU time: 1798.07 s
1.87/1.97	c core #414
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 414
1.87/1.97	c Elapsed CPU time: 1.93971 s	Remaining CPU time: 1798.06 s
1.87/1.97	c core #415
1.87/1.97	c Core size: 3	Core Weight: 1	Total Weight: 415
1.87/1.97	c Elapsed CPU time: 1.9457 s	Remaining CPU time: 1798.05 s
1.87/1.98	c core #416
1.87/1.98	c Core size: 3	Core Weight: 1	Total Weight: 416
1.87/1.98	c Elapsed CPU time: 1.9517 s	Remaining CPU time: 1798.05 s
1.87/1.99	c core #417
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 417
1.87/1.99	c Elapsed CPU time: 1.9577 s	Remaining CPU time: 1798.04 s
1.87/1.99	c core #418
1.87/1.99	c Core size: 3	Core Weight: 1	Total Weight: 418
1.87/1.99	c Elapsed CPU time: 1.9637 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #419
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 419
1.97/2.00	c Elapsed CPU time: 1.9697 s	Remaining CPU time: 1798.03 s
1.97/2.00	c core #420
1.97/2.00	c Core size: 3	Core Weight: 1	Total Weight: 420
1.97/2.00	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.97/2.01	c core #421
1.97/2.01	c Core size: 3	Core Weight: 1	Total Weight: 421
1.97/2.01	c Elapsed CPU time: 1.9817 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #422
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 422
1.97/2.02	c Elapsed CPU time: 1.9877 s	Remaining CPU time: 1798.01 s
1.97/2.02	c core #423
1.97/2.02	c Core size: 3	Core Weight: 1	Total Weight: 423
1.97/2.02	c Elapsed CPU time: 1.9927 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #424
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 424
1.97/2.03	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.97/2.03	c core #425
1.97/2.03	c Core size: 3	Core Weight: 1	Total Weight: 425
1.97/2.03	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.97/2.04	c core #426
1.97/2.04	c Core size: 3	Core Weight: 1	Total Weight: 426
1.97/2.04	c Elapsed CPU time: 2.01069 s	Remaining CPU time: 1797.99 s
1.97/2.05	c core #427
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 427
1.97/2.05	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.97/2.05	c core #428
1.97/2.05	c Core size: 3	Core Weight: 1	Total Weight: 428
1.97/2.05	c Elapsed CPU time: 2.02269 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #429
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 429
1.97/2.06	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 1797.97 s
1.97/2.06	c core #430
1.97/2.06	c Core size: 3	Core Weight: 1	Total Weight: 430
1.97/2.06	c Elapsed CPU time: 2.03469 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #431
1.97/2.07	c Core size: 3	Core Weight: 1	Total Weight: 431
1.97/2.07	c Elapsed CPU time: 2.04069 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #432
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 432
1.97/2.08	c Elapsed CPU time: 2.04669 s	Remaining CPU time: 1797.95 s
1.97/2.08	c core #433
1.97/2.08	c Core size: 3	Core Weight: 1	Total Weight: 433
1.97/2.08	c Elapsed CPU time: 2.05269 s	Remaining CPU time: 1797.95 s
1.97/2.09	c core #434
1.97/2.09	c Core size: 3	Core Weight: 1	Total Weight: 434
1.97/2.09	c Elapsed CPU time: 2.05869 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #435
1.97/2.10	c Core size: 3	Core Weight: 1	Total Weight: 435
1.97/2.10	c Elapsed CPU time: 2.06469 s	Remaining CPU time: 1797.94 s
2.07/2.10	c core #436
2.07/2.10	c Core size: 3	Core Weight: 1	Total Weight: 436
2.07/2.10	c Elapsed CPU time: 2.07069 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #437
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 437
2.07/2.11	c Elapsed CPU time: 2.07668 s	Remaining CPU time: 1797.92 s
2.07/2.11	c core #438
2.07/2.11	c Core size: 3	Core Weight: 1	Total Weight: 438
2.07/2.11	c Elapsed CPU time: 2.08268 s	Remaining CPU time: 1797.92 s
2.07/2.12	c core #439
2.07/2.12	c Core size: 3	Core Weight: 1	Total Weight: 439
2.07/2.12	c Elapsed CPU time: 2.08868 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #440
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 440
2.07/2.13	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #441
2.07/2.13	c Core size: 3	Core Weight: 1	Total Weight: 441
2.07/2.13	c Elapsed CPU time: 2.10068 s	Remaining CPU time: 1797.9 s
2.07/2.14	c core #442
2.07/2.14	c Core size: 3	Core Weight: 1	Total Weight: 442
2.07/2.14	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #443
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 443
2.07/2.15	c Elapsed CPU time: 2.11268 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #444
2.07/2.15	c Core size: 3	Core Weight: 1	Total Weight: 444
2.07/2.15	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #445
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 445
2.07/2.16	c Elapsed CPU time: 2.12468 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #446
2.07/2.16	c Core size: 3	Core Weight: 1	Total Weight: 446
2.07/2.16	c Elapsed CPU time: 2.13068 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #447
2.07/2.17	c Core size: 3	Core Weight: 1	Total Weight: 447
2.07/2.17	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #448
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 448
2.07/2.18	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #449
2.07/2.18	c Core size: 3	Core Weight: 1	Total Weight: 449
2.07/2.18	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #450
2.07/2.19	c Core size: 3	Core Weight: 1	Total Weight: 450
2.07/2.19	c Elapsed CPU time: 2.15467 s	Remaining CPU time: 1797.85 s
2.07/2.20	c core #451
2.07/2.20	c Core size: 3	Core Weight: 1	Total Weight: 451
2.07/2.20	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 1797.84 s
2.17/2.20	c core #452
2.17/2.20	c Core size: 3	Core Weight: 1	Total Weight: 452
2.17/2.20	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #453
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 453
2.17/2.21	c Elapsed CPU time: 2.17267 s	Remaining CPU time: 1797.83 s
2.17/2.21	c core #454
2.17/2.21	c Core size: 3	Core Weight: 1	Total Weight: 454
2.17/2.21	c Elapsed CPU time: 2.17867 s	Remaining CPU time: 1797.82 s
2.17/2.22	c core #455
2.17/2.22	c Core size: 3	Core Weight: 1	Total Weight: 455
2.17/2.22	c Elapsed CPU time: 2.18467 s	Remaining CPU time: 1797.82 s
2.17/2.23	c core #456
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 456
2.17/2.23	c Elapsed CPU time: 2.19167 s	Remaining CPU time: 1797.81 s
2.17/2.23	c core #457
2.17/2.23	c Core size: 3	Core Weight: 1	Total Weight: 457
2.17/2.23	c Elapsed CPU time: 2.19767 s	Remaining CPU time: 1797.8 s
2.17/2.24	c core #458
2.17/2.24	c Core size: 3	Core Weight: 1	Total Weight: 458
2.17/2.24	c Elapsed CPU time: 2.20366 s	Remaining CPU time: 1797.8 s
2.17/2.25	c core #459
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 459
2.17/2.25	c Elapsed CPU time: 2.20966 s	Remaining CPU time: 1797.79 s
2.17/2.25	c core #460
2.17/2.25	c Core size: 3	Core Weight: 1	Total Weight: 460
2.17/2.25	c Elapsed CPU time: 2.21566 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #461
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 461
2.17/2.26	c Elapsed CPU time: 2.22266 s	Remaining CPU time: 1797.78 s
2.17/2.26	c core #462
2.17/2.26	c Core size: 3	Core Weight: 1	Total Weight: 462
2.17/2.26	c Elapsed CPU time: 2.22866 s	Remaining CPU time: 1797.77 s
2.17/2.27	c core #463
2.17/2.27	c Core size: 3	Core Weight: 1	Total Weight: 463
2.17/2.27	c Elapsed CPU time: 2.23466 s	Remaining CPU time: 1797.77 s
2.17/2.28	c core #464
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 464
2.17/2.28	c Elapsed CPU time: 2.24066 s	Remaining CPU time: 1797.76 s
2.17/2.28	c core #465
2.17/2.28	c Core size: 3	Core Weight: 1	Total Weight: 465
2.17/2.28	c Elapsed CPU time: 2.24666 s	Remaining CPU time: 1797.75 s
2.17/2.29	c core #466
2.17/2.29	c Core size: 3	Core Weight: 1	Total Weight: 466
2.17/2.29	c Elapsed CPU time: 2.25366 s	Remaining CPU time: 1797.75 s
2.17/2.30	c core #467
2.17/2.30	c Core size: 3	Core Weight: 1	Total Weight: 467
2.17/2.30	c Elapsed CPU time: 2.25966 s	Remaining CPU time: 1797.74 s
2.26/2.30	c core #468
2.26/2.30	c Core size: 3	Core Weight: 1	Total Weight: 468
2.26/2.30	c Elapsed CPU time: 2.26666 s	Remaining CPU time: 1797.73 s
2.26/2.31	c core #469
2.26/2.31	c Core size: 3	Core Weight: 1	Total Weight: 469
2.26/2.31	c Elapsed CPU time: 2.27265 s	Remaining CPU time: 1797.73 s
2.26/2.32	c core #470
2.26/2.32	c Core size: 3	Core Weight: 1	Total Weight: 470
2.26/2.32	c Elapsed CPU time: 2.27965 s	Remaining CPU time: 1797.72 s
2.26/2.32	c core #471
2.26/2.32	c Core size: 3	Core Weight: 1	Total Weight: 471
2.26/2.32	c Elapsed CPU time: 2.28565 s	Remaining CPU time: 1797.71 s
2.26/2.33	c core #472
2.26/2.33	c Core size: 3	Core Weight: 1	Total Weight: 472
2.26/2.33	c Elapsed CPU time: 2.29165 s	Remaining CPU time: 1797.71 s
2.26/2.33	c core #473
2.26/2.33	c Core size: 3	Core Weight: 1	Total Weight: 473
2.26/2.33	c Elapsed CPU time: 2.29865 s	Remaining CPU time: 1797.7 s
2.26/2.34	c core #474
2.26/2.34	c Core size: 3	Core Weight: 1	Total Weight: 474
2.26/2.34	c Elapsed CPU time: 2.30465 s	Remaining CPU time: 1797.7 s
2.26/2.35	c core #475
2.26/2.35	c Core size: 3	Core Weight: 1	Total Weight: 475
2.26/2.35	c Elapsed CPU time: 2.31065 s	Remaining CPU time: 1797.69 s
2.26/2.35	c core #476
2.26/2.35	c Core size: 3	Core Weight: 1	Total Weight: 476
2.26/2.35	c Elapsed CPU time: 2.31665 s	Remaining CPU time: 1797.68 s
2.26/2.36	c core #477
2.26/2.36	c Core size: 3	Core Weight: 1	Total Weight: 477
2.26/2.36	c Elapsed CPU time: 2.32265 s	Remaining CPU time: 1797.68 s
2.26/2.37	c core #478
2.26/2.37	c Core size: 3	Core Weight: 1	Total Weight: 478
2.26/2.37	c Elapsed CPU time: 2.32965 s	Remaining CPU time: 1797.67 s
2.26/2.37	c core #479
2.26/2.37	c Core size: 3	Core Weight: 1	Total Weight: 479
2.26/2.37	c Elapsed CPU time: 2.33465 s	Remaining CPU time: 1797.67 s
2.26/2.38	c core #480
2.26/2.38	c Core size: 3	Core Weight: 1	Total Weight: 480
2.26/2.38	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 1797.66 s
2.26/2.39	c core #481
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 481
2.26/2.39	c Elapsed CPU time: 2.34764 s	Remaining CPU time: 1797.65 s
2.26/2.39	c core #482
2.26/2.39	c Core size: 3	Core Weight: 1	Total Weight: 482
2.26/2.39	c Elapsed CPU time: 2.35364 s	Remaining CPU time: 1797.65 s
2.36/2.40	c core #483
2.36/2.40	c Core size: 3	Core Weight: 1	Total Weight: 483
2.36/2.40	c Elapsed CPU time: 2.36064 s	Remaining CPU time: 1797.64 s
2.36/2.41	c core #484
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 484
2.36/2.41	c Elapsed CPU time: 2.36664 s	Remaining CPU time: 1797.63 s
2.36/2.41	c core #485
2.36/2.41	c Core size: 3	Core Weight: 1	Total Weight: 485
2.36/2.41	c Elapsed CPU time: 2.37364 s	Remaining CPU time: 1797.63 s
2.36/2.42	c core #486
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 486
2.36/2.42	c Elapsed CPU time: 2.37964 s	Remaining CPU time: 1797.62 s
2.36/2.42	c core #487
2.36/2.42	c Core size: 3	Core Weight: 1	Total Weight: 487
2.36/2.42	c Elapsed CPU time: 2.38564 s	Remaining CPU time: 1797.61 s
2.36/2.43	c core #488
2.36/2.43	c Core size: 3	Core Weight: 1	Total Weight: 488
2.36/2.43	c Elapsed CPU time: 2.39164 s	Remaining CPU time: 1797.61 s
2.36/2.44	c core #489
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 489
2.36/2.44	c Elapsed CPU time: 2.39864 s	Remaining CPU time: 1797.6 s
2.36/2.44	c core #490
2.36/2.44	c Core size: 3	Core Weight: 1	Total Weight: 490
2.36/2.44	c Elapsed CPU time: 2.40363 s	Remaining CPU time: 1797.6 s
2.36/2.45	c core #491
2.36/2.45	c Core size: 3	Core Weight: 1	Total Weight: 491
2.36/2.45	c Elapsed CPU time: 2.41063 s	Remaining CPU time: 1797.59 s
2.36/2.46	c core #492
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 492
2.36/2.46	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 1797.58 s
2.36/2.46	c core #493
2.36/2.46	c Core size: 3	Core Weight: 1	Total Weight: 493
2.36/2.46	c Elapsed CPU time: 2.42363 s	Remaining CPU time: 1797.58 s
2.36/2.47	c core #494
2.36/2.47	c Core size: 3	Core Weight: 1	Total Weight: 494
2.36/2.47	c Elapsed CPU time: 2.42863 s	Remaining CPU time: 1797.57 s
2.36/2.48	c core #495
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 495
2.36/2.48	c Elapsed CPU time: 2.43563 s	Remaining CPU time: 1797.56 s
2.36/2.48	c core #496
2.36/2.48	c Core size: 3	Core Weight: 1	Total Weight: 496
2.36/2.48	c Elapsed CPU time: 2.44163 s	Remaining CPU time: 1797.56 s
2.36/2.49	c core #497
2.36/2.49	c Core size: 3	Core Weight: 1	Total Weight: 497
2.36/2.49	c Elapsed CPU time: 2.44863 s	Remaining CPU time: 1797.55 s
2.36/2.50	c core #498
2.36/2.50	c Core size: 3	Core Weight: 1	Total Weight: 498
2.36/2.50	c Elapsed CPU time: 2.45463 s	Remaining CPU time: 1797.55 s
2.46/2.50	c core #499
2.46/2.50	c Core size: 3	Core Weight: 1	Total Weight: 499
2.46/2.50	c Elapsed CPU time: 2.46163 s	Remaining CPU time: 1797.54 s
2.46/2.51	c core #500
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 500
2.46/2.51	c Elapsed CPU time: 2.46762 s	Remaining CPU time: 1797.53 s
2.46/2.51	c core #501
2.46/2.51	c Core size: 3	Core Weight: 1	Total Weight: 501
2.46/2.51	c Elapsed CPU time: 2.47462 s	Remaining CPU time: 1797.53 s
2.46/2.52	c core #502
2.46/2.52	c Core size: 3	Core Weight: 1	Total Weight: 502
2.46/2.52	c Elapsed CPU time: 2.48062 s	Remaining CPU time: 1797.52 s
2.46/2.53	c core #503
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 503
2.46/2.53	c Elapsed CPU time: 2.48762 s	Remaining CPU time: 1797.51 s
2.46/2.53	c core #504
2.46/2.53	c Core size: 3	Core Weight: 1	Total Weight: 504
2.46/2.53	c Elapsed CPU time: 2.49362 s	Remaining CPU time: 1797.51 s
2.46/2.54	c core #505
2.46/2.54	c Core size: 3	Core Weight: 1	Total Weight: 505
2.46/2.54	c Elapsed CPU time: 2.50062 s	Remaining CPU time: 1797.5 s
2.46/2.55	c core #506
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 506
2.46/2.55	c Elapsed CPU time: 2.50662 s	Remaining CPU time: 1797.49 s
2.46/2.55	c core #507
2.46/2.55	c Core size: 3	Core Weight: 1	Total Weight: 507
2.46/2.55	c Elapsed CPU time: 2.51362 s	Remaining CPU time: 1797.49 s
2.46/2.56	c core #508
2.46/2.56	c Core size: 3	Core Weight: 1	Total Weight: 508
2.46/2.56	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 1797.48 s
2.46/2.57	c core #509
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 509
2.46/2.57	c Elapsed CPU time: 2.52662 s	Remaining CPU time: 1797.47 s
2.46/2.57	c core #510
2.46/2.57	c Core size: 3	Core Weight: 1	Total Weight: 510
2.46/2.57	c Elapsed CPU time: 2.53261 s	Remaining CPU time: 1797.47 s
2.46/2.58	c core #511
2.46/2.58	c Core size: 3	Core Weight: 1	Total Weight: 511
2.46/2.58	c Elapsed CPU time: 2.53861 s	Remaining CPU time: 1797.46 s
2.46/2.59	c core #512
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 512
2.46/2.59	c Elapsed CPU time: 2.54561 s	Remaining CPU time: 1797.45 s
2.46/2.59	c core #513
2.46/2.59	c Core size: 3	Core Weight: 1	Total Weight: 513
2.46/2.59	c Elapsed CPU time: 2.55161 s	Remaining CPU time: 1797.45 s
2.56/2.60	c core #514
2.56/2.60	c Core size: 3	Core Weight: 1	Total Weight: 514
2.56/2.60	c Elapsed CPU time: 2.55861 s	Remaining CPU time: 1797.44 s
2.56/2.61	c core #515
2.56/2.61	c Core size: 3	Core Weight: 1	Total Weight: 515
2.56/2.61	c Elapsed CPU time: 2.56561 s	Remaining CPU time: 1797.43 s
2.56/2.61	c core #516
2.56/2.61	c Core size: 3	Core Weight: 1	Total Weight: 516
2.56/2.61	c Elapsed CPU time: 2.57261 s	Remaining CPU time: 1797.43 s
2.56/2.62	c core #517
2.56/2.62	c Core size: 3	Core Weight: 1	Total Weight: 517
2.56/2.62	c Elapsed CPU time: 2.57861 s	Remaining CPU time: 1797.42 s
2.56/2.63	c core #518
2.56/2.63	c Core size: 3	Core Weight: 1	Total Weight: 518
2.56/2.63	c Elapsed CPU time: 2.58461 s	Remaining CPU time: 1797.42 s
2.56/2.63	c core #519
2.56/2.63	c Core size: 3	Core Weight: 1	Total Weight: 519
2.56/2.63	c Elapsed CPU time: 2.59161 s	Remaining CPU time: 1797.41 s
2.56/2.64	c core #520
2.56/2.64	c Core size: 3	Core Weight: 1	Total Weight: 520
2.56/2.64	c Elapsed CPU time: 2.5986 s	Remaining CPU time: 1797.4 s
2.56/2.65	c core #521
2.56/2.65	c Core size: 3	Core Weight: 1	Total Weight: 521
2.56/2.65	c Elapsed CPU time: 2.6046 s	Remaining CPU time: 1797.4 s
2.56/2.65	c core #522
2.56/2.65	c Core size: 3	Core Weight: 1	Total Weight: 522
2.56/2.65	c Elapsed CPU time: 2.6116 s	Remaining CPU time: 1797.39 s
2.56/2.66	c core #523
2.56/2.66	c Core size: 3	Core Weight: 1	Total Weight: 523
2.56/2.66	c Elapsed CPU time: 2.6176 s	Remaining CPU time: 1797.38 s
2.56/2.67	c core #524
2.56/2.67	c Core size: 3	Core Weight: 1	Total Weight: 524
2.56/2.67	c Elapsed CPU time: 2.6246 s	Remaining CPU time: 1797.38 s
2.56/2.67	c core #525
2.56/2.67	c Core size: 3	Core Weight: 1	Total Weight: 525
2.56/2.67	c Elapsed CPU time: 2.6306 s	Remaining CPU time: 1797.37 s
2.56/2.68	c core #526
2.56/2.68	c Core size: 3	Core Weight: 1	Total Weight: 526
2.56/2.68	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.56/2.69	c core #527
2.56/2.69	c Core size: 3	Core Weight: 1	Total Weight: 527
2.56/2.69	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.56/2.69	c core #528
2.56/2.69	c Core size: 3	Core Weight: 1	Total Weight: 528
2.56/2.69	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 1797.35 s
2.66/2.70	c core #529
2.66/2.70	c Core size: 3	Core Weight: 1	Total Weight: 529
2.66/2.70	c Elapsed CPU time: 2.6576 s	Remaining CPU time: 1797.34 s
2.66/2.71	c core #530
2.66/2.71	c Core size: 3	Core Weight: 1	Total Weight: 530
2.66/2.71	c Elapsed CPU time: 2.66359 s	Remaining CPU time: 1797.34 s
2.66/2.71	c core #531
2.66/2.71	c Core size: 3	Core Weight: 1	Total Weight: 531
2.66/2.71	c Elapsed CPU time: 2.67059 s	Remaining CPU time: 1797.33 s
2.66/2.72	c core #532
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 532
2.66/2.72	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 1797.32 s
2.66/2.72	c core #533
2.66/2.72	c Core size: 3	Core Weight: 1	Total Weight: 533
2.66/2.72	c Elapsed CPU time: 2.68359 s	Remaining CPU time: 1797.32 s
2.66/2.73	c core #534
2.66/2.73	c Core size: 3	Core Weight: 1	Total Weight: 534
2.66/2.73	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 1797.31 s
2.66/2.74	c core #535
2.66/2.74	c Core size: 3	Core Weight: 1	Total Weight: 535
2.66/2.74	c Elapsed CPU time: 2.69559 s	Remaining CPU time: 1797.3 s
2.66/2.75	c core #536
2.66/2.75	c Core size: 3	Core Weight: 1	Total Weight: 536
2.66/2.75	c Elapsed CPU time: 2.70259 s	Remaining CPU time: 1797.3 s
2.66/2.75	c core #537
2.66/2.75	c Core size: 3	Core Weight: 1	Total Weight: 537
2.66/2.75	c Elapsed CPU time: 2.70959 s	Remaining CPU time: 1797.29 s
2.66/2.76	c core #538
2.66/2.76	c Core size: 3	Core Weight: 1	Total Weight: 538
2.66/2.76	c Elapsed CPU time: 2.71659 s	Remaining CPU time: 1797.28 s
2.66/2.77	c core #539
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 539
2.66/2.77	c Elapsed CPU time: 2.72358 s	Remaining CPU time: 1797.28 s
2.66/2.77	c core #540
2.66/2.77	c Core size: 3	Core Weight: 1	Total Weight: 540
2.66/2.77	c Elapsed CPU time: 2.72959 s	Remaining CPU time: 1797.27 s
2.66/2.78	c core #541
2.66/2.78	c Core size: 3	Core Weight: 1	Total Weight: 541
2.66/2.78	c Elapsed CPU time: 2.73558 s	Remaining CPU time: 1797.26 s
2.66/2.79	c core #542
2.66/2.79	c Core size: 3	Core Weight: 1	Total Weight: 542
2.66/2.79	c Elapsed CPU time: 2.74258 s	Remaining CPU time: 1797.26 s
2.66/2.79	c core #543
2.66/2.79	c Core size: 3	Core Weight: 1	Total Weight: 543
2.66/2.79	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.76/2.80	c core #544
2.76/2.80	c Core size: 3	Core Weight: 1	Total Weight: 544
2.76/2.80	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #545
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 545
2.76/2.81	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.76/2.81	c core #546
2.76/2.81	c Core size: 3	Core Weight: 1	Total Weight: 546
2.76/2.81	c Elapsed CPU time: 2.76958 s	Remaining CPU time: 1797.23 s
2.76/2.82	c core #547
2.76/2.82	c Core size: 3	Core Weight: 1	Total Weight: 547
2.76/2.82	c Elapsed CPU time: 2.77558 s	Remaining CPU time: 1797.22 s
2.76/2.83	c core #548
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 548
2.76/2.83	c Elapsed CPU time: 2.78158 s	Remaining CPU time: 1797.22 s
2.76/2.83	c core #549
2.76/2.83	c Core size: 3	Core Weight: 1	Total Weight: 549
2.76/2.83	c Elapsed CPU time: 2.78858 s	Remaining CPU time: 1797.21 s
2.76/2.84	c core #550
2.76/2.84	c Core size: 3	Core Weight: 1	Total Weight: 550
2.76/2.84	c Elapsed CPU time: 2.79557 s	Remaining CPU time: 1797.2 s
2.76/2.85	c core #551
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 551
2.76/2.85	c Elapsed CPU time: 2.80157 s	Remaining CPU time: 1797.2 s
2.76/2.85	c core #552
2.76/2.85	c Core size: 3	Core Weight: 1	Total Weight: 552
2.76/2.85	c Elapsed CPU time: 2.80857 s	Remaining CPU time: 1797.19 s
2.76/2.86	c core #553
2.76/2.86	c Core size: 3	Core Weight: 1	Total Weight: 553
2.76/2.86	c Elapsed CPU time: 2.81557 s	Remaining CPU time: 1797.18 s
2.76/2.87	c core #554
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 554
2.76/2.87	c Elapsed CPU time: 2.82257 s	Remaining CPU time: 1797.18 s
2.76/2.87	c core #555
2.76/2.87	c Core size: 3	Core Weight: 1	Total Weight: 555
2.76/2.87	c Elapsed CPU time: 2.82957 s	Remaining CPU time: 1797.17 s
2.76/2.88	c core #556
2.76/2.88	c Core size: 3	Core Weight: 1	Total Weight: 556
2.76/2.88	c Elapsed CPU time: 2.83657 s	Remaining CPU time: 1797.16 s
2.76/2.89	c core #557
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 557
2.76/2.89	c Elapsed CPU time: 2.84257 s	Remaining CPU time: 1797.16 s
2.76/2.89	c core #558
2.76/2.89	c Core size: 3	Core Weight: 1	Total Weight: 558
2.76/2.89	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 1797.15 s
2.86/2.90	c core #559
2.86/2.90	c Core size: 3	Core Weight: 1	Total Weight: 559
2.86/2.90	c Elapsed CPU time: 2.85556 s	Remaining CPU time: 1797.14 s
2.86/2.91	c core #560
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 560
2.86/2.91	c Elapsed CPU time: 2.86256 s	Remaining CPU time: 1797.14 s
2.86/2.91	c core #561
2.86/2.91	c Core size: 3	Core Weight: 1	Total Weight: 561
2.86/2.92	c Elapsed CPU time: 2.86956 s	Remaining CPU time: 1797.13 s
2.86/2.92	c core #562
2.86/2.92	c Core size: 3	Core Weight: 1	Total Weight: 562
2.86/2.92	c Elapsed CPU time: 2.87656 s	Remaining CPU time: 1797.12 s
2.86/2.93	c core #563
2.86/2.93	c Core size: 3	Core Weight: 1	Total Weight: 563
2.86/2.93	c Elapsed CPU time: 2.88256 s	Remaining CPU time: 1797.12 s
2.86/2.94	c core #564
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 564
2.86/2.94	c Elapsed CPU time: 2.88856 s	Remaining CPU time: 1797.11 s
2.86/2.94	c core #565
2.86/2.94	c Core size: 3	Core Weight: 1	Total Weight: 565
2.86/2.94	c Elapsed CPU time: 2.89556 s	Remaining CPU time: 1797.1 s
2.86/2.95	c core #566
2.86/2.95	c Core size: 3	Core Weight: 1	Total Weight: 566
2.86/2.95	c Elapsed CPU time: 2.90256 s	Remaining CPU time: 1797.1 s
2.86/2.96	c core #567
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 567
2.86/2.96	c Elapsed CPU time: 2.90956 s	Remaining CPU time: 1797.09 s
2.86/2.96	c core #568
2.86/2.96	c Core size: 3	Core Weight: 1	Total Weight: 568
2.86/2.96	c Elapsed CPU time: 2.91656 s	Remaining CPU time: 1797.08 s
2.86/2.97	c core #569
2.86/2.97	c Core size: 3	Core Weight: 1	Total Weight: 569
2.86/2.97	c Elapsed CPU time: 2.92355 s	Remaining CPU time: 1797.08 s
2.86/2.98	c core #570
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 570
2.86/2.98	c Elapsed CPU time: 2.93055 s	Remaining CPU time: 1797.07 s
2.86/2.98	c core #571
2.86/2.98	c Core size: 3	Core Weight: 1	Total Weight: 571
2.86/2.98	c Elapsed CPU time: 2.93655 s	Remaining CPU time: 1797.06 s
2.86/2.99	c core #572
2.86/2.99	c Core size: 3	Core Weight: 1	Total Weight: 572
2.86/2.99	c Elapsed CPU time: 2.94255 s	Remaining CPU time: 1797.06 s
2.95/3.00	c core #573
2.95/3.00	c Core size: 3	Core Weight: 1	Total Weight: 573
2.95/3.00	c Elapsed CPU time: 2.94955 s	Remaining CPU time: 1797.05 s
2.95/3.00	c core #574
2.95/3.00	c Core size: 3	Core Weight: 1	Total Weight: 574
2.95/3.00	c Elapsed CPU time: 2.95655 s	Remaining CPU time: 1797.04 s
2.95/3.01	c core #575
2.95/3.01	c Core size: 3	Core Weight: 1	Total Weight: 575
2.95/3.01	c Elapsed CPU time: 2.96355 s	Remaining CPU time: 1797.04 s
2.95/3.02	c core #576
2.95/3.02	c Core size: 3	Core Weight: 1	Total Weight: 576
2.95/3.02	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 s
2.95/3.03	c core #577
2.95/3.03	c Core size: 3	Core Weight: 1	Total Weight: 577
2.95/3.03	c Elapsed CPU time: 2.97755 s	Remaining CPU time: 1797.02 s
2.95/3.03	c core #578
2.95/3.03	c Core size: 3	Core Weight: 1	Total Weight: 578
2.95/3.03	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 1797.02 s
2.95/3.04	c core #579
2.95/3.04	c Core size: 3	Core Weight: 1	Total Weight: 579
2.95/3.04	c Elapsed CPU time: 2.99154 s	Remaining CPU time: 1797.01 s
2.95/3.05	c core #580
2.95/3.05	c Core size: 3	Core Weight: 1	Total Weight: 580
2.95/3.05	c Elapsed CPU time: 2.99854 s	Remaining CPU time: 1797 s
2.95/3.05	c core #581
2.95/3.05	c Core size: 3	Core Weight: 1	Total Weight: 581
2.95/3.05	c Elapsed CPU time: 3.00554 s	Remaining CPU time: 1796.99 s
2.95/3.06	c core #582
2.95/3.06	c Core size: 3	Core Weight: 1	Total Weight: 582
2.95/3.06	c Elapsed CPU time: 3.01154 s	Remaining CPU time: 1796.99 s
2.95/3.07	c core #583
2.95/3.07	c Core size: 3	Core Weight: 1	Total Weight: 583
2.95/3.07	c Elapsed CPU time: 3.01754 s	Remaining CPU time: 1796.98 s
2.95/3.07	c core #584
2.95/3.07	c Core size: 3	Core Weight: 1	Total Weight: 584
2.95/3.07	c Elapsed CPU time: 3.02454 s	Remaining CPU time: 1796.98 s
2.95/3.08	c core #585
2.95/3.08	c Core size: 3	Core Weight: 1	Total Weight: 585
2.95/3.08	c Elapsed CPU time: 3.03154 s	Remaining CPU time: 1796.97 s
2.95/3.09	c core #586
2.95/3.09	c Core size: 3	Core Weight: 1	Total Weight: 586
2.95/3.09	c Elapsed CPU time: 3.03854 s	Remaining CPU time: 1796.96 s
2.95/3.09	c core #587
2.95/3.09	c Core size: 3	Core Weight: 1	Total Weight: 587
2.95/3.09	c Elapsed CPU time: 3.04554 s	Remaining CPU time: 1796.95 s
3.05/3.10	c core #588
3.05/3.10	c Core size: 3	Core Weight: 1	Total Weight: 588
3.05/3.10	c Elapsed CPU time: 3.05253 s	Remaining CPU time: 1796.95 s
3.05/3.11	c core #589
3.05/3.11	c Core size: 3	Core Weight: 1	Total Weight: 589
3.05/3.11	c Elapsed CPU time: 3.05953 s	Remaining CPU time: 1796.94 s
3.05/3.12	c core #590
3.05/3.12	c Core size: 3	Core Weight: 1	Total Weight: 590
3.05/3.12	c Elapsed CPU time: 3.06653 s	Remaining CPU time: 1796.93 s
3.05/3.12	c core #591
3.05/3.12	c Core size: 3	Core Weight: 1	Total Weight: 591
3.05/3.12	c Elapsed CPU time: 3.07353 s	Remaining CPU time: 1796.93 s
3.05/3.13	c core #592
3.05/3.13	c Core size: 3	Core Weight: 1	Total Weight: 592
3.05/3.13	c Elapsed CPU time: 3.08053 s	Remaining CPU time: 1796.92 s
3.05/3.14	c core #593
3.05/3.14	c Core size: 3	Core Weight: 1	Total Weight: 593
3.05/3.14	c Elapsed CPU time: 3.08753 s	Remaining CPU time: 1796.91 s
3.05/3.14	c core #594
3.05/3.14	c Core size: 3	Core Weight: 1	Total Weight: 594
3.05/3.14	c Elapsed CPU time: 3.09553 s	Remaining CPU time: 1796.9 s
3.05/3.15	c core #595
3.05/3.15	c Core size: 3	Core Weight: 1	Total Weight: 595
3.05/3.15	c Elapsed CPU time: 3.10253 s	Remaining CPU time: 1796.9 s
3.05/3.16	c core #596
3.05/3.16	c Core size: 3	Core Weight: 1	Total Weight: 596
3.05/3.16	c Elapsed CPU time: 3.10953 s	Remaining CPU time: 1796.89 s
3.05/3.17	c core #597
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 597
3.05/3.17	c Elapsed CPU time: 3.11653 s	Remaining CPU time: 1796.88 s
3.05/3.17	c core #598
3.05/3.17	c Core size: 3	Core Weight: 1	Total Weight: 598
3.05/3.17	c Elapsed CPU time: 3.12352 s	Remaining CPU time: 1796.88 s
3.05/3.18	c core #599
3.05/3.18	c Core size: 3	Core Weight: 1	Total Weight: 599
3.05/3.18	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 1796.87 s
3.05/3.19	c core #600
3.05/3.19	c Core size: 3	Core Weight: 1	Total Weight: 600
3.05/3.19	c Elapsed CPU time: 3.13752 s	Remaining CPU time: 1796.86 s
3.05/3.19	c core #601
3.05/3.19	c Core size: 3	Core Weight: 1	Total Weight: 601
3.05/3.19	c Elapsed CPU time: 3.14452 s	Remaining CPU time: 1796.86 s
3.05/3.20	c core #602
3.05/3.20	c Core size: 3	Core Weight: 1	Total Weight: 602
3.05/3.20	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.16/3.21	c core #603
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 603
3.16/3.21	c Elapsed CPU time: 3.15852 s	Remaining CPU time: 1796.84 s
3.16/3.21	c core #604
3.16/3.21	c Core size: 3	Core Weight: 1	Total Weight: 604
3.16/3.21	c Elapsed CPU time: 3.16552 s	Remaining CPU time: 1796.83 s
3.16/3.22	c core #605
3.16/3.22	c Core size: 3	Core Weight: 1	Total Weight: 605
3.16/3.22	c Elapsed CPU time: 3.17252 s	Remaining CPU time: 1796.83 s
3.16/3.23	c core #606
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 606
3.16/3.23	c Elapsed CPU time: 3.17952 s	Remaining CPU time: 1796.82 s
3.16/3.23	c core #607
3.16/3.23	c Core size: 3	Core Weight: 1	Total Weight: 607
3.16/3.23	c Elapsed CPU time: 3.18651 s	Remaining CPU time: 1796.81 s
3.16/3.24	c core #608
3.16/3.24	c Core size: 3	Core Weight: 1	Total Weight: 608
3.16/3.24	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 1796.81 s
3.16/3.25	c core #609
3.16/3.25	c Core size: 3	Core Weight: 1	Total Weight: 609
3.16/3.25	c Elapsed CPU time: 3.19951 s	Remaining CPU time: 1796.8 s
3.16/3.26	c core #610
3.16/3.26	c Core size: 3	Core Weight: 1	Total Weight: 610
3.16/3.26	c Elapsed CPU time: 3.20651 s	Remaining CPU time: 1796.79 s
3.16/3.26	c core #611
3.16/3.26	c Core size: 3	Core Weight: 1	Total Weight: 611
3.16/3.26	c Elapsed CPU time: 3.21351 s	Remaining CPU time: 1796.79 s
3.16/3.27	c core #612
3.16/3.27	c Core size: 3	Core Weight: 1	Total Weight: 612
3.16/3.27	c Elapsed CPU time: 3.22051 s	Remaining CPU time: 1796.78 s
3.16/3.28	c core #613
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 613
3.16/3.28	c Elapsed CPU time: 3.22751 s	Remaining CPU time: 1796.77 s
3.16/3.28	c core #614
3.16/3.28	c Core size: 3	Core Weight: 1	Total Weight: 614
3.16/3.29	c Elapsed CPU time: 3.23451 s	Remaining CPU time: 1796.77 s
3.16/3.29	c core #615
3.16/3.29	c Core size: 3	Core Weight: 1	Total Weight: 615
3.16/3.29	c Elapsed CPU time: 3.24151 s	Remaining CPU time: 1796.76 s
3.16/3.30	c core #616
3.16/3.30	c Core size: 3	Core Weight: 1	Total Weight: 616
3.16/3.30	c Elapsed CPU time: 3.24851 s	Remaining CPU time: 1796.75 s
3.25/3.31	c core #617
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 617
3.25/3.31	c Elapsed CPU time: 3.2555 s	Remaining CPU time: 1796.74 s
3.25/3.31	c core #618
3.25/3.31	c Core size: 3	Core Weight: 1	Total Weight: 618
3.25/3.31	c Elapsed CPU time: 3.2625 s	Remaining CPU time: 1796.74 s
3.25/3.32	c core #619
3.25/3.32	c Core size: 3	Core Weight: 1	Total Weight: 619
3.25/3.32	c Elapsed CPU time: 3.2705 s	Remaining CPU time: 1796.73 s
3.25/3.33	c core #620
3.25/3.33	c Core size: 3	Core Weight: 1	Total Weight: 620
3.25/3.33	c Elapsed CPU time: 3.2775 s	Remaining CPU time: 1796.72 s
3.25/3.34	c core #621
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 621
3.25/3.34	c Elapsed CPU time: 3.2845 s	Remaining CPU time: 1796.72 s
3.25/3.34	c core #622
3.25/3.34	c Core size: 3	Core Weight: 1	Total Weight: 622
3.25/3.34	c Elapsed CPU time: 3.2925 s	Remaining CPU time: 1796.71 s
3.25/3.35	c core #623
3.25/3.35	c Core size: 3	Core Weight: 1	Total Weight: 623
3.25/3.35	c Elapsed CPU time: 3.2995 s	Remaining CPU time: 1796.7 s
3.25/3.36	c core #624
3.25/3.36	c Core size: 3	Core Weight: 1	Total Weight: 624
3.25/3.36	c Elapsed CPU time: 3.3065 s	Remaining CPU time: 1796.69 s
3.25/3.37	c core #625
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 625
3.25/3.37	c Elapsed CPU time: 3.3135 s	Remaining CPU time: 1796.69 s
3.25/3.37	c core #626
3.25/3.37	c Core size: 3	Core Weight: 1	Total Weight: 626
3.25/3.37	c Elapsed CPU time: 3.3205 s	Remaining CPU time: 1796.68 s
3.25/3.38	c core #627
3.25/3.38	c Core size: 3	Core Weight: 1	Total Weight: 627
3.25/3.38	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.25/3.39	c core #628
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 628
3.25/3.39	c Elapsed CPU time: 3.33549 s	Remaining CPU time: 1796.66 s
3.25/3.39	c core #629
3.25/3.39	c Core size: 3	Core Weight: 1	Total Weight: 629
3.25/3.39	c Elapsed CPU time: 3.34249 s	Remaining CPU time: 1796.66 s
3.35/3.40	c core #630
3.35/3.40	c Core size: 3	Core Weight: 1	Total Weight: 630
3.35/3.40	c Elapsed CPU time: 3.34949 s	Remaining CPU time: 1796.65 s
3.35/3.41	c core #631
3.35/3.41	c Core size: 3	Core Weight: 1	Total Weight: 631
3.35/3.41	c Elapsed CPU time: 3.35649 s	Remaining CPU time: 1796.64 s
3.35/3.42	c core #632
3.35/3.42	c Core size: 3	Core Weight: 1	Total Weight: 632
3.35/3.42	c Elapsed CPU time: 3.36349 s	Remaining CPU time: 1796.64 s
3.35/3.42	c core #633
3.35/3.42	c Core size: 3	Core Weight: 1	Total Weight: 633
3.35/3.42	c Elapsed CPU time: 3.37049 s	Remaining CPU time: 1796.63 s
3.35/3.43	c core #634
3.35/3.43	c Core size: 3	Core Weight: 1	Total Weight: 634
3.35/3.43	c Elapsed CPU time: 3.37849 s	Remaining CPU time: 1796.62 s
3.35/3.44	c core #635
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 635
3.35/3.44	c Elapsed CPU time: 3.38549 s	Remaining CPU time: 1796.61 s
3.35/3.44	c core #636
3.35/3.44	c Core size: 3	Core Weight: 1	Total Weight: 636
3.35/3.44	c Elapsed CPU time: 3.39248 s	Remaining CPU time: 1796.61 s
3.35/3.45	c core #637
3.35/3.45	c Core size: 3	Core Weight: 1	Total Weight: 637
3.35/3.45	c Elapsed CPU time: 3.39948 s	Remaining CPU time: 1796.6 s
3.35/3.46	c core #638
3.35/3.46	c Core size: 3	Core Weight: 1	Total Weight: 638
3.35/3.46	c Elapsed CPU time: 3.40648 s	Remaining CPU time: 1796.59 s
3.35/3.47	c core #639
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 639
3.35/3.47	c Elapsed CPU time: 3.41348 s	Remaining CPU time: 1796.59 s
3.35/3.47	c core #640
3.35/3.47	c Core size: 3	Core Weight: 1	Total Weight: 640
3.35/3.47	c Elapsed CPU time: 3.42148 s	Remaining CPU time: 1796.58 s
3.35/3.48	c core #641
3.35/3.48	c Core size: 3	Core Weight: 1	Total Weight: 641
3.35/3.48	c Elapsed CPU time: 3.42848 s	Remaining CPU time: 1796.57 s
3.35/3.49	c core #642
3.35/3.49	c Core size: 3	Core Weight: 1	Total Weight: 642
3.35/3.49	c Elapsed CPU time: 3.43548 s	Remaining CPU time: 1796.56 s
3.35/3.50	c core #643
3.35/3.50	c Core size: 3	Core Weight: 1	Total Weight: 643
3.35/3.50	c Elapsed CPU time: 3.44248 s	Remaining CPU time: 1796.56 s
3.45/3.50	c core #644
3.45/3.50	c Core size: 3	Core Weight: 1	Total Weight: 644
3.45/3.50	c Elapsed CPU time: 3.44948 s	Remaining CPU time: 1796.55 s
3.45/3.51	c core #645
3.45/3.51	c Core size: 3	Core Weight: 1	Total Weight: 645
3.45/3.51	c Elapsed CPU time: 3.45647 s	Remaining CPU time: 1796.54 s
3.45/3.52	c core #646
3.45/3.52	c Core size: 3	Core Weight: 1	Total Weight: 646
3.45/3.52	c Elapsed CPU time: 3.46347 s	Remaining CPU time: 1796.54 s
3.45/3.53	c core #647
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 647
3.45/3.53	c Elapsed CPU time: 3.47047 s	Remaining CPU time: 1796.53 s
3.45/3.53	c core #648
3.45/3.53	c Core size: 3	Core Weight: 1	Total Weight: 648
3.45/3.53	c Elapsed CPU time: 3.47747 s	Remaining CPU time: 1796.52 s
3.45/3.54	c core #649
3.45/3.54	c Core size: 3	Core Weight: 1	Total Weight: 649
3.45/3.54	c Elapsed CPU time: 3.48447 s	Remaining CPU time: 1796.52 s
3.45/3.55	c core #650
3.45/3.55	c Core size: 3	Core Weight: 1	Total Weight: 650
3.45/3.55	c Elapsed CPU time: 3.49247 s	Remaining CPU time: 1796.51 s
3.45/3.56	c core #651
3.45/3.56	c Core size: 3	Core Weight: 1	Total Weight: 651
3.45/3.56	c Elapsed CPU time: 3.49947 s	Remaining CPU time: 1796.5 s
3.45/3.56	c core #652
3.45/3.56	c Core size: 3	Core Weight: 1	Total Weight: 652
3.45/3.56	c Elapsed CPU time: 3.50747 s	Remaining CPU time: 1796.49 s
3.45/3.57	c core #653
3.45/3.57	c Core size: 3	Core Weight: 1	Total Weight: 653
3.45/3.57	c Elapsed CPU time: 3.51446 s	Remaining CPU time: 1796.49 s
3.45/3.58	c core #654
3.45/3.58	c Core size: 3	Core Weight: 1	Total Weight: 654
3.45/3.58	c Elapsed CPU time: 3.52146 s	Remaining CPU time: 1796.48 s
3.45/3.59	c core #655
3.45/3.59	c Core size: 3	Core Weight: 1	Total Weight: 655
3.45/3.59	c Elapsed CPU time: 3.52846 s	Remaining CPU time: 1796.47 s
3.45/3.59	c core #656
3.45/3.59	c Core size: 3	Core Weight: 1	Total Weight: 656
3.45/3.59	c Elapsed CPU time: 3.53546 s	Remaining CPU time: 1796.46 s
3.54/3.60	c core #657
3.54/3.60	c Core size: 3	Core Weight: 1	Total Weight: 657
3.54/3.60	c Elapsed CPU time: 3.54246 s	Remaining CPU time: 1796.46 s
3.54/3.61	c core #658
3.54/3.61	c Core size: 3	Core Weight: 1	Total Weight: 658
3.54/3.61	c Elapsed CPU time: 3.54946 s	Remaining CPU time: 1796.45 s
3.54/3.62	c core #659
3.54/3.62	c Core size: 3	Core Weight: 1	Total Weight: 659
3.54/3.62	c Elapsed CPU time: 3.55746 s	Remaining CPU time: 1796.44 s
3.54/3.62	c core #660
3.54/3.62	c Core size: 3	Core Weight: 1	Total Weight: 660
3.54/3.62	c Elapsed CPU time: 3.56446 s	Remaining CPU time: 1796.44 s
3.54/3.63	c core #661
3.54/3.63	c Core size: 3	Core Weight: 1	Total Weight: 661
3.54/3.63	c Elapsed CPU time: 3.57146 s	Remaining CPU time: 1796.43 s
3.54/3.64	c core #662
3.54/3.64	c Core size: 3	Core Weight: 1	Total Weight: 662
3.54/3.64	c Elapsed CPU time: 3.57845 s	Remaining CPU time: 1796.42 s
3.54/3.65	c core #663
3.54/3.65	c Core size: 3	Core Weight: 1	Total Weight: 663
3.54/3.65	c Elapsed CPU time: 3.58645 s	Remaining CPU time: 1796.41 s
3.54/3.65	c core #664
3.54/3.65	c Core size: 3	Core Weight: 1	Total Weight: 664
3.54/3.65	c Elapsed CPU time: 3.59345 s	Remaining CPU time: 1796.41 s
3.54/3.66	c core #665
3.54/3.66	c Core size: 3	Core Weight: 1	Total Weight: 665
3.54/3.66	c Elapsed CPU time: 3.60145 s	Remaining CPU time: 1796.4 s
3.54/3.67	c core #666
3.54/3.67	c Core size: 3	Core Weight: 1	Total Weight: 666
3.54/3.67	c Elapsed CPU time: 3.60845 s	Remaining CPU time: 1796.39 s
3.54/3.68	c core #667
3.54/3.68	c Core size: 3	Core Weight: 1	Total Weight: 667
3.54/3.68	c Elapsed CPU time: 3.61645 s	Remaining CPU time: 1796.38 s
3.54/3.68	c core #668
3.54/3.68	c Core size: 3	Core Weight: 1	Total Weight: 668
3.54/3.68	c Elapsed CPU time: 3.62445 s	Remaining CPU time: 1796.38 s
3.54/3.69	c core #669
3.54/3.69	c Core size: 3	Core Weight: 1	Total Weight: 669
3.54/3.69	c Elapsed CPU time: 3.63145 s	Remaining CPU time: 1796.37 s
3.64/3.70	c core #670
3.64/3.70	c Core size: 3	Core Weight: 1	Total Weight: 670
3.64/3.70	c Elapsed CPU time: 3.63945 s	Remaining CPU time: 1796.36 s
3.64/3.71	c core #671
3.64/3.71	c Core size: 3	Core Weight: 1	Total Weight: 671
3.64/3.71	c Elapsed CPU time: 3.64644 s	Remaining CPU time: 1796.35 s
3.64/3.71	c core #672
3.64/3.71	c Core size: 3	Core Weight: 1	Total Weight: 672
3.64/3.71	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 1796.35 s
3.64/3.72	c core #673
3.64/3.72	c Core size: 3	Core Weight: 1	Total Weight: 673
3.64/3.72	c Elapsed CPU time: 3.66144 s	Remaining CPU time: 1796.34 s
3.64/3.73	c core #674
3.64/3.73	c Core size: 3	Core Weight: 1	Total Weight: 674
3.64/3.73	c Elapsed CPU time: 3.66844 s	Remaining CPU time: 1796.33 s
3.64/3.74	c core #675
3.64/3.74	c Core size: 3	Core Weight: 1	Total Weight: 675
3.64/3.74	c Elapsed CPU time: 3.67644 s	Remaining CPU time: 1796.32 s
3.64/3.74	c core #676
3.64/3.74	c Core size: 3	Core Weight: 1	Total Weight: 676
3.64/3.74	c Elapsed CPU time: 3.68344 s	Remaining CPU time: 1796.32 s
3.64/3.75	c core #677
3.64/3.75	c Core size: 3	Core Weight: 1	Total Weight: 677
3.64/3.75	c Elapsed CPU time: 3.69144 s	Remaining CPU time: 1796.31 s
3.64/3.76	c core #678
3.64/3.76	c Core size: 3	Core Weight: 1	Total Weight: 678
3.64/3.76	c Elapsed CPU time: 3.69944 s	Remaining CPU time: 1796.3 s
3.64/3.77	c core #679
3.64/3.77	c Core size: 3	Core Weight: 1	Total Weight: 679
3.64/3.77	c Elapsed CPU time: 3.70744 s	Remaining CPU time: 1796.29 s
3.64/3.77	c core #680
3.64/3.77	c Core size: 3	Core Weight: 1	Total Weight: 680
3.64/3.77	c Elapsed CPU time: 3.71443 s	Remaining CPU time: 1796.29 s
3.64/3.78	c core #681
3.64/3.78	c Core size: 3	Core Weight: 1	Total Weight: 681
3.64/3.78	c Elapsed CPU time: 3.72243 s	Remaining CPU time: 1796.28 s
3.64/3.79	c core #682
3.64/3.79	c Core size: 3	Core Weight: 1	Total Weight: 682
3.64/3.79	c Elapsed CPU time: 3.72943 s	Remaining CPU time: 1796.27 s
3.74/3.80	c core #683
3.74/3.80	c Core size: 3	Core Weight: 1	Total Weight: 683
3.74/3.80	c Elapsed CPU time: 3.73743 s	Remaining CPU time: 1796.26 s
3.74/3.81	c core #684
3.74/3.81	c Core size: 3	Core Weight: 1	Total Weight: 684
3.74/3.81	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 1796.25 s
3.74/3.81	c core #685
3.74/3.81	c Core size: 3	Core Weight: 1	Total Weight: 685
3.74/3.81	c Elapsed CPU time: 3.75343 s	Remaining CPU time: 1796.25 s
3.74/3.82	c core #686
3.74/3.82	c Core size: 3	Core Weight: 1	Total Weight: 686
3.74/3.82	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 1796.24 s
3.74/3.83	c core #687
3.74/3.83	c Core size: 3	Core Weight: 1	Total Weight: 687
3.74/3.83	c Elapsed CPU time: 3.76743 s	Remaining CPU time: 1796.23 s
3.74/3.84	c core #688
3.74/3.84	c Core size: 3	Core Weight: 1	Total Weight: 688
3.74/3.84	c Elapsed CPU time: 3.77543 s	Remaining CPU time: 1796.22 s
3.74/3.84	c core #689
3.74/3.84	c Core size: 3	Core Weight: 1	Total Weight: 689
3.74/3.84	c Elapsed CPU time: 3.78342 s	Remaining CPU time: 1796.22 s
3.74/3.85	c core #690
3.74/3.85	c Core size: 3	Core Weight: 1	Total Weight: 690
3.74/3.85	c Elapsed CPU time: 3.79142 s	Remaining CPU time: 1796.21 s
3.74/3.86	c core #691
3.74/3.86	c Core size: 3	Core Weight: 1	Total Weight: 691
3.74/3.86	c Elapsed CPU time: 3.79842 s	Remaining CPU time: 1796.2 s
3.74/3.87	c core #692
3.74/3.87	c Core size: 3	Core Weight: 1	Total Weight: 692
3.74/3.87	c Elapsed CPU time: 3.80642 s	Remaining CPU time: 1796.19 s
3.74/3.87	c core #693
3.74/3.87	c Core size: 3	Core Weight: 1	Total Weight: 693
3.74/3.88	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 1796.19 s
3.74/3.88	c core #694
3.74/3.88	c Core size: 3	Core Weight: 1	Total Weight: 694
3.74/3.88	c Elapsed CPU time: 3.82142 s	Remaining CPU time: 1796.18 s
3.74/3.89	c core #695
3.74/3.89	c Core size: 3	Core Weight: 1	Total Weight: 695
3.74/3.89	c Elapsed CPU time: 3.82842 s	Remaining CPU time: 1796.17 s
3.84/3.90	c core #696
3.84/3.90	c Core size: 3	Core Weight: 1	Total Weight: 696
3.84/3.90	c Elapsed CPU time: 3.83642 s	Remaining CPU time: 1796.16 s
3.84/3.91	c core #697
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 697
3.84/3.91	c Elapsed CPU time: 3.84442 s	Remaining CPU time: 1796.16 s
3.84/3.91	c core #698
3.84/3.91	c Core size: 3	Core Weight: 1	Total Weight: 698
3.84/3.91	c Elapsed CPU time: 3.85241 s	Remaining CPU time: 1796.15 s
3.84/3.92	c core #699
3.84/3.92	c Core size: 3	Core Weight: 1	Total Weight: 699
3.84/3.92	c Elapsed CPU time: 3.85941 s	Remaining CPU time: 1796.14 s
3.84/3.93	c core #700
3.84/3.93	c Core size: 3	Core Weight: 1	Total Weight: 700
3.84/3.93	c Elapsed CPU time: 3.86641 s	Remaining CPU time: 1796.13 s
3.84/3.94	c core #701
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 701
3.84/3.94	c Elapsed CPU time: 3.87441 s	Remaining CPU time: 1796.13 s
3.84/3.94	c core #702
3.84/3.94	c Core size: 3	Core Weight: 1	Total Weight: 702
3.84/3.94	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.84/3.95	c core #703
3.84/3.95	c Core size: 3	Core Weight: 1	Total Weight: 703
3.84/3.95	c Elapsed CPU time: 3.88841 s	Remaining CPU time: 1796.11 s
3.84/3.96	c core #704
3.84/3.96	c Core size: 3	Core Weight: 1	Total Weight: 704
3.84/3.96	c Elapsed CPU time: 3.89641 s	Remaining CPU time: 1796.1 s
3.84/3.97	c core #705
3.84/3.97	c Core size: 3	Core Weight: 1	Total Weight: 705
3.84/3.97	c Elapsed CPU time: 3.90441 s	Remaining CPU time: 1796.1 s
3.84/3.98	c core #706
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 706
3.84/3.98	c Elapsed CPU time: 3.91241 s	Remaining CPU time: 1796.09 s
3.84/3.98	c core #707
3.84/3.98	c Core size: 3	Core Weight: 1	Total Weight: 707
3.84/3.98	c Elapsed CPU time: 3.9204 s	Remaining CPU time: 1796.08 s
3.84/3.99	c core #708
3.84/3.99	c Core size: 3	Core Weight: 1	Total Weight: 708
3.84/3.99	c Elapsed CPU time: 3.9284 s	Remaining CPU time: 1796.07 s
3.95/4.00	c core #709
3.95/4.00	c Core size: 3	Core Weight: 1	Total Weight: 709
3.95/4.00	c Elapsed CPU time: 3.9344 s	Remaining CPU time: 1796.07 s
3.95/4.01	c core #710
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 710
3.95/4.01	c Elapsed CPU time: 3.9424 s	Remaining CPU time: 1796.06 s
3.95/4.02	c core #711
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 711
3.95/4.02	c Elapsed CPU time: 3.9504 s	Remaining CPU time: 1796.05 s
3.95/4.02	c core #712
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 712
3.95/4.02	c Elapsed CPU time: 3.9574 s	Remaining CPU time: 1796.04 s
3.95/4.03	c core #713
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 713
3.95/4.03	c Elapsed CPU time: 3.9644 s	Remaining CPU time: 1796.04 s
3.95/4.04	c core #714
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 714
3.95/4.04	c Elapsed CPU time: 3.9714 s	Remaining CPU time: 1796.03 s
3.95/4.05	c core #715
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 715
3.95/4.05	c Elapsed CPU time: 3.9794 s	Remaining CPU time: 1796.02 s
3.95/4.05	c core #716
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 716
3.95/4.05	c Elapsed CPU time: 3.98739 s	Remaining CPU time: 1796.01 s
3.95/4.06	c core #717
3.95/4.06	c Core size: 3	Core Weight: 1	Total Weight: 717
3.95/4.06	c Elapsed CPU time: 3.99539 s	Remaining CPU time: 1796 s
3.95/4.07	c core #718
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 718
3.95/4.07	c Elapsed CPU time: 4.00239 s	Remaining CPU time: 1796 s
3.95/4.08	c core #719
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 719
3.95/4.08	c Elapsed CPU time: 4.01039 s	Remaining CPU time: 1795.99 s
3.95/4.09	c core #720
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 720
3.95/4.09	c Elapsed CPU time: 4.01839 s	Remaining CPU time: 1795.98 s
3.95/4.09	c core #721
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 721
3.95/4.09	c Elapsed CPU time: 4.02639 s	Remaining CPU time: 1795.97 s
4.04/4.10	c core #722
4.04/4.10	c Core size: 3	Core Weight: 1	Total Weight: 722
4.04/4.10	c Elapsed CPU time: 4.03439 s	Remaining CPU time: 1795.97 s
4.04/4.11	c core #723
4.04/4.11	c Core size: 3	Core Weight: 1	Total Weight: 723
4.04/4.11	c Elapsed CPU time: 4.04239 s	Remaining CPU time: 1795.96 s
4.04/4.12	c core #724
4.04/4.12	c Core size: 3	Core Weight: 1	Total Weight: 724
4.04/4.12	c Elapsed CPU time: 4.05038 s	Remaining CPU time: 1795.95 s
4.04/4.12	c core #725
4.04/4.12	c Core size: 3	Core Weight: 1	Total Weight: 725
4.04/4.13	c Elapsed CPU time: 4.05838 s	Remaining CPU time: 1795.94 s
4.04/4.13	c core #726
4.04/4.13	c Core size: 3	Core Weight: 1	Total Weight: 726
4.04/4.13	c Elapsed CPU time: 4.06638 s	Remaining CPU time: 1795.93 s
4.04/4.14	c core #727
4.04/4.14	c Core size: 3	Core Weight: 1	Total Weight: 727
4.04/4.14	c Elapsed CPU time: 4.07338 s	Remaining CPU time: 1795.93 s
4.04/4.15	c core #728
4.04/4.15	c Core size: 3	Core Weight: 1	Total Weight: 728
4.04/4.15	c Elapsed CPU time: 4.08138 s	Remaining CPU time: 1795.92 s
4.04/4.16	c core #729
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 729
4.04/4.16	c Elapsed CPU time: 4.08938 s	Remaining CPU time: 1795.91 s
4.04/4.16	c core #730
4.04/4.16	c Core size: 3	Core Weight: 1	Total Weight: 730
4.04/4.16	c Elapsed CPU time: 4.09638 s	Remaining CPU time: 1795.9 s
4.04/4.17	c core #731
4.04/4.17	c Core size: 3	Core Weight: 1	Total Weight: 731
4.04/4.17	c Elapsed CPU time: 4.10438 s	Remaining CPU time: 1795.9 s
4.04/4.18	c core #732
4.04/4.18	c Core size: 3	Core Weight: 1	Total Weight: 732
4.04/4.18	c Elapsed CPU time: 4.11137 s	Remaining CPU time: 1795.89 s
4.04/4.19	c core #733
4.04/4.19	c Core size: 3	Core Weight: 1	Total Weight: 733
4.04/4.19	c Elapsed CPU time: 4.11937 s	Remaining CPU time: 1795.88 s
4.14/4.20	c core #734
4.14/4.20	c Core size: 3	Core Weight: 1	Total Weight: 734
4.14/4.20	c Elapsed CPU time: 4.12737 s	Remaining CPU time: 1795.87 s
4.14/4.21	c core #735
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 735
4.14/4.21	c Elapsed CPU time: 4.13537 s	Remaining CPU time: 1795.86 s
4.14/4.21	c core #736
4.14/4.21	c Core size: 3	Core Weight: 1	Total Weight: 736
4.14/4.21	c Elapsed CPU time: 4.14237 s	Remaining CPU time: 1795.86 s
4.14/4.22	c core #737
4.14/4.22	c Core size: 3	Core Weight: 1	Total Weight: 737
4.14/4.22	c Elapsed CPU time: 4.14937 s	Remaining CPU time: 1795.85 s
4.14/4.23	c core #738
4.14/4.23	c Core size: 3	Core Weight: 1	Total Weight: 738
4.14/4.23	c Elapsed CPU time: 4.15637 s	Remaining CPU time: 1795.84 s
4.14/4.24	c core #739
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 739
4.14/4.24	c Elapsed CPU time: 4.16437 s	Remaining CPU time: 1795.84 s
4.14/4.24	c core #740
4.14/4.24	c Core size: 3	Core Weight: 1	Total Weight: 740
4.14/4.24	c Elapsed CPU time: 4.17237 s	Remaining CPU time: 1795.83 s
4.14/4.25	c core #741
4.14/4.25	c Core size: 3	Core Weight: 1	Total Weight: 741
4.14/4.25	c Elapsed CPU time: 4.18036 s	Remaining CPU time: 1795.82 s
4.14/4.26	c core #742
4.14/4.26	c Core size: 3	Core Weight: 1	Total Weight: 742
4.14/4.26	c Elapsed CPU time: 4.18836 s	Remaining CPU time: 1795.81 s
4.14/4.27	c core #743
4.14/4.27	c Core size: 3	Core Weight: 1	Total Weight: 743
4.14/4.27	c Elapsed CPU time: 4.19636 s	Remaining CPU time: 1795.8 s
4.14/4.28	c core #744
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 744
4.14/4.28	c Elapsed CPU time: 4.20436 s	Remaining CPU time: 1795.8 s
4.14/4.28	c core #745
4.14/4.28	c Core size: 3	Core Weight: 1	Total Weight: 745
4.14/4.28	c Elapsed CPU time: 4.21236 s	Remaining CPU time: 1795.79 s
4.14/4.29	c core #746
4.14/4.29	c Core size: 3	Core Weight: 1	Total Weight: 746
4.14/4.29	c Elapsed CPU time: 4.22036 s	Remaining CPU time: 1795.78 s
4.14/4.30	c core #747
4.14/4.30	c Core size: 3	Core Weight: 1	Total Weight: 747
4.24/4.30	c Elapsed CPU time: 4.22836 s	Remaining CPU time: 1795.77 s
4.24/4.31	c core #748
4.24/4.31	c Core size: 3	Core Weight: 1	Total Weight: 748
4.24/4.31	c Elapsed CPU time: 4.23635 s	Remaining CPU time: 1795.76 s
4.24/4.32	c core #749
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 749
4.24/4.32	c Elapsed CPU time: 4.24435 s	Remaining CPU time: 1795.76 s
4.24/4.32	c core #750
4.24/4.32	c Core size: 3	Core Weight: 1	Total Weight: 750
4.24/4.32	c Elapsed CPU time: 4.25235 s	Remaining CPU time: 1795.75 s
4.24/4.33	c core #751
4.24/4.33	c Core size: 3	Core Weight: 1	Total Weight: 751
4.24/4.33	c Elapsed CPU time: 4.26035 s	Remaining CPU time: 1795.74 s
4.24/4.34	c core #752
4.24/4.34	c Core size: 3	Core Weight: 1	Total Weight: 752
4.24/4.34	c Elapsed CPU time: 4.26835 s	Remaining CPU time: 1795.73 s
4.24/4.35	c core #753
4.24/4.35	c Core size: 3	Core Weight: 1	Total Weight: 753
4.24/4.35	c Elapsed CPU time: 4.27635 s	Remaining CPU time: 1795.72 s
4.24/4.36	c core #754
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 754
4.24/4.36	c Elapsed CPU time: 4.28435 s	Remaining CPU time: 1795.72 s
4.24/4.36	c core #755
4.24/4.36	c Core size: 3	Core Weight: 1	Total Weight: 755
4.24/4.37	c Elapsed CPU time: 4.29335 s	Remaining CPU time: 1795.71 s
4.24/4.37	c core #756
4.24/4.37	c Core size: 3	Core Weight: 1	Total Weight: 756
4.24/4.37	c Elapsed CPU time: 4.30135 s	Remaining CPU time: 1795.7 s
4.24/4.38	c core #757
4.24/4.38	c Core size: 3	Core Weight: 1	Total Weight: 757
4.24/4.38	c Elapsed CPU time: 4.30835 s	Remaining CPU time: 1795.69 s
4.24/4.39	c core #758
4.24/4.39	c Core size: 3	Core Weight: 1	Total Weight: 758
4.24/4.39	c Elapsed CPU time: 4.31634 s	Remaining CPU time: 1795.68 s
4.24/4.40	c core #759
4.24/4.40	c Core size: 3	Core Weight: 1	Total Weight: 759
4.24/4.40	c Elapsed CPU time: 4.32434 s	Remaining CPU time: 1795.68 s
4.34/4.41	c core #760
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 760
4.34/4.41	c Elapsed CPU time: 4.33234 s	Remaining CPU time: 1795.67 s
4.34/4.41	c core #761
4.34/4.41	c Core size: 3	Core Weight: 1	Total Weight: 761
4.34/4.41	c Elapsed CPU time: 4.34034 s	Remaining CPU time: 1795.66 s
4.34/4.42	c core #762
4.34/4.42	c Core size: 3	Core Weight: 1	Total Weight: 762
4.34/4.42	c Elapsed CPU time: 4.34834 s	Remaining CPU time: 1795.65 s
4.34/4.43	c core #763
4.34/4.43	c Core size: 3	Core Weight: 1	Total Weight: 763
4.34/4.43	c Elapsed CPU time: 4.35634 s	Remaining CPU time: 1795.64 s
4.34/4.44	c core #764
4.34/4.44	c Core size: 3	Core Weight: 1	Total Weight: 764
4.34/4.44	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 1795.64 s
4.34/4.45	c core #765
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 765
4.34/4.45	c Elapsed CPU time: 4.37233 s	Remaining CPU time: 1795.63 s
4.34/4.45	c core #766
4.34/4.45	c Core size: 3	Core Weight: 1	Total Weight: 766
4.34/4.45	c Elapsed CPU time: 4.38033 s	Remaining CPU time: 1795.62 s
4.34/4.46	c core #767
4.34/4.46	c Core size: 3	Core Weight: 1	Total Weight: 767
4.34/4.46	c Elapsed CPU time: 4.38833 s	Remaining CPU time: 1795.61 s
4.34/4.47	c core #768
4.34/4.47	c Core size: 3	Core Weight: 1	Total Weight: 768
4.34/4.47	c Elapsed CPU time: 4.39633 s	Remaining CPU time: 1795.6 s
4.34/4.48	c core #769
4.34/4.48	c Core size: 3	Core Weight: 1	Total Weight: 769
4.34/4.48	c Elapsed CPU time: 4.40433 s	Remaining CPU time: 1795.6 s
4.34/4.49	c core #770
4.34/4.49	c Core size: 3	Core Weight: 1	Total Weight: 770
4.34/4.49	c Elapsed CPU time: 4.41233 s	Remaining CPU time: 1795.59 s
4.34/4.50	c core #771
4.34/4.50	c Core size: 3	Core Weight: 1	Total Weight: 771
4.34/4.50	c Elapsed CPU time: 4.42033 s	Remaining CPU time: 1795.58 s
4.44/4.50	c core #772
4.44/4.50	c Core size: 3	Core Weight: 1	Total Weight: 772
4.44/4.50	c Elapsed CPU time: 4.42833 s	Remaining CPU time: 1795.57 s
4.44/4.51	c core #773
4.44/4.51	c Core size: 3	Core Weight: 1	Total Weight: 773
4.44/4.51	c Elapsed CPU time: 4.43532 s	Remaining CPU time: 1795.56 s
4.44/4.52	c core #774
4.44/4.52	c Core size: 3	Core Weight: 1	Total Weight: 774
4.44/4.52	c Elapsed CPU time: 4.44332 s	Remaining CPU time: 1795.56 s
4.44/4.53	c core #775
4.44/4.53	c Core size: 3	Core Weight: 1	Total Weight: 775
4.44/4.53	c Elapsed CPU time: 4.45132 s	Remaining CPU time: 1795.55 s
4.44/4.54	c core #776
4.44/4.54	c Core size: 3	Core Weight: 1	Total Weight: 776
4.44/4.54	c Elapsed CPU time: 4.45932 s	Remaining CPU time: 1795.54 s
4.44/4.55	c core #777
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 777
4.44/4.55	c Elapsed CPU time: 4.46732 s	Remaining CPU time: 1795.53 s
4.44/4.55	c core #778
4.44/4.55	c Core size: 3	Core Weight: 1	Total Weight: 778
4.44/4.55	c Elapsed CPU time: 4.47532 s	Remaining CPU time: 1795.52 s
4.44/4.56	c core #779
4.44/4.56	c Core size: 3	Core Weight: 1	Total Weight: 779
4.44/4.56	c Elapsed CPU time: 4.48332 s	Remaining CPU time: 1795.52 s
4.44/4.57	c core #780
4.44/4.57	c Core size: 3	Core Weight: 1	Total Weight: 780
4.44/4.57	c Elapsed CPU time: 4.49132 s	Remaining CPU time: 1795.51 s
4.44/4.58	c core #781
4.44/4.58	c Core size: 3	Core Weight: 1	Total Weight: 781
4.44/4.58	c Elapsed CPU time: 4.49932 s	Remaining CPU time: 1795.5 s
4.44/4.59	c core #782
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 782
4.44/4.59	c Elapsed CPU time: 4.50731 s	Remaining CPU time: 1795.49 s
4.44/4.59	c core #783
4.44/4.59	c Core size: 3	Core Weight: 1	Total Weight: 783
4.44/4.60	c Elapsed CPU time: 4.51431 s	Remaining CPU time: 1795.49 s
4.53/4.60	c core #784
4.53/4.60	c Core size: 3	Core Weight: 1	Total Weight: 784
4.53/4.60	c Elapsed CPU time: 4.52231 s	Remaining CPU time: 1795.48 s
4.53/4.61	c core #785
4.53/4.61	c Core size: 3	Core Weight: 1	Total Weight: 785
4.53/4.61	c Elapsed CPU time: 4.53031 s	Remaining CPU time: 1795.47 s
4.53/4.62	c core #786
4.53/4.62	c Core size: 3	Core Weight: 1	Total Weight: 786
4.53/4.62	c Elapsed CPU time: 4.53831 s	Remaining CPU time: 1795.46 s
4.53/4.63	c core #787
4.53/4.63	c Core size: 3	Core Weight: 1	Total Weight: 787
4.53/4.63	c Elapsed CPU time: 4.54731 s	Remaining CPU time: 1795.45 s
4.53/4.64	c core #788
4.53/4.64	c Core size: 3	Core Weight: 1	Total Weight: 788
4.53/4.64	c Elapsed CPU time: 4.55531 s	Remaining CPU time: 1795.44 s
4.53/4.65	c core #789
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 789
4.53/4.65	c Elapsed CPU time: 4.56431 s	Remaining CPU time: 1795.44 s
4.53/4.65	c core #790
4.53/4.65	c Core size: 3	Core Weight: 1	Total Weight: 790
4.53/4.65	c Elapsed CPU time: 4.5733 s	Remaining CPU time: 1795.43 s
4.53/4.66	c core #791
4.53/4.66	c Core size: 3	Core Weight: 1	Total Weight: 791
4.53/4.66	c Elapsed CPU time: 4.5813 s	Remaining CPU time: 1795.42 s
4.53/4.67	c core #792
4.53/4.67	c Core size: 3	Core Weight: 1	Total Weight: 792
4.53/4.67	c Elapsed CPU time: 4.5893 s	Remaining CPU time: 1795.41 s
4.53/4.68	c core #793
4.53/4.68	c Core size: 3	Core Weight: 1	Total Weight: 793
4.53/4.68	c Elapsed CPU time: 4.5973 s	Remaining CPU time: 1795.4 s
4.53/4.69	c core #794
4.53/4.69	c Core size: 3	Core Weight: 1	Total Weight: 794
4.53/4.69	c Elapsed CPU time: 4.6053 s	Remaining CPU time: 1795.39 s
4.53/4.70	c core #795
4.53/4.70	c Core size: 3	Core Weight: 1	Total Weight: 795
4.53/4.70	c Elapsed CPU time: 4.6133 s	Remaining CPU time: 1795.39 s
4.63/4.70	c core #796
4.63/4.70	c Core size: 3	Core Weight: 1	Total Weight: 796
4.63/4.70	c Elapsed CPU time: 4.6213 s	Remaining CPU time: 1795.38 s
4.63/4.71	c core #797
4.63/4.71	c Core size: 3	Core Weight: 1	Total Weight: 797
4.63/4.71	c Elapsed CPU time: 4.6303 s	Remaining CPU time: 1795.37 s
4.63/4.72	c core #798
4.63/4.72	c Core size: 3	Core Weight: 1	Total Weight: 798
4.63/4.72	c Elapsed CPU time: 4.63829 s	Remaining CPU time: 1795.36 s
4.63/4.73	c core #799
4.63/4.73	c Core size: 3	Core Weight: 1	Total Weight: 799
4.63/4.73	c Elapsed CPU time: 4.64629 s	Remaining CPU time: 1795.35 s
4.63/4.74	c core #800
4.63/4.74	c Core size: 3	Core Weight: 1	Total Weight: 800
4.63/4.74	c Elapsed CPU time: 4.65529 s	Remaining CPU time: 1795.34 s
4.63/4.75	c core #801
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 801
4.63/4.75	c Elapsed CPU time: 4.66429 s	Remaining CPU time: 1795.34 s
4.63/4.75	c core #802
4.63/4.75	c Core size: 3	Core Weight: 1	Total Weight: 802
4.63/4.75	c Elapsed CPU time: 4.67229 s	Remaining CPU time: 1795.33 s
4.63/4.76	c core #803
4.63/4.76	c Core size: 3	Core Weight: 1	Total Weight: 803
4.63/4.76	c Elapsed CPU time: 4.68129 s	Remaining CPU time: 1795.32 s
4.63/4.77	c core #804
4.63/4.77	c Core size: 3	Core Weight: 1	Total Weight: 804
4.63/4.77	c Elapsed CPU time: 4.68929 s	Remaining CPU time: 1795.31 s
4.63/4.78	c core #805
4.63/4.78	c Core size: 3	Core Weight: 1	Total Weight: 805
4.63/4.78	c Elapsed CPU time: 4.69829 s	Remaining CPU time: 1795.3 s
4.63/4.79	c core #806
4.63/4.79	c Core size: 3	Core Weight: 1	Total Weight: 806
4.63/4.79	c Elapsed CPU time: 4.70628 s	Remaining CPU time: 1795.29 s
4.73/4.80	c core #807
4.73/4.80	c Core size: 3	Core Weight: 1	Total Weight: 807
4.73/4.80	c Elapsed CPU time: 4.71328 s	Remaining CPU time: 1795.29 s
4.73/4.81	c core #808
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 808
4.73/4.81	c Elapsed CPU time: 4.72128 s	Remaining CPU time: 1795.28 s
4.73/4.81	c core #809
4.73/4.81	c Core size: 3	Core Weight: 1	Total Weight: 809
4.73/4.81	c Elapsed CPU time: 4.72928 s	Remaining CPU time: 1795.27 s
4.73/4.82	c core #810
4.73/4.82	c Core size: 3	Core Weight: 1	Total Weight: 810
4.73/4.82	c Elapsed CPU time: 4.73728 s	Remaining CPU time: 1795.26 s
4.73/4.83	c core #811
4.73/4.83	c Core size: 3	Core Weight: 1	Total Weight: 811
4.73/4.83	c Elapsed CPU time: 4.74628 s	Remaining CPU time: 1795.25 s
4.73/4.84	c core #812
4.73/4.84	c Core size: 3	Core Weight: 1	Total Weight: 812
4.73/4.84	c Elapsed CPU time: 4.75528 s	Remaining CPU time: 1795.24 s
4.73/4.85	c core #813
4.73/4.85	c Core size: 3	Core Weight: 1	Total Weight: 813
4.73/4.85	c Elapsed CPU time: 4.76328 s	Remaining CPU time: 1795.24 s
4.73/4.86	c core #814
4.73/4.86	c Core size: 3	Core Weight: 1	Total Weight: 814
4.73/4.86	c Elapsed CPU time: 4.77227 s	Remaining CPU time: 1795.23 s
4.73/4.87	c core #815
4.73/4.87	c Core size: 3	Core Weight: 1	Total Weight: 815
4.73/4.87	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 1795.22 s
4.73/4.88	c core #816
4.73/4.88	c Core size: 3	Core Weight: 1	Total Weight: 816
4.73/4.88	c Elapsed CPU time: 4.78927 s	Remaining CPU time: 1795.21 s
4.73/4.88	c core #817
4.73/4.88	c Core size: 7	Core Weight: 1	Total Weight: 817
4.73/4.88	c Elapsed CPU time: 4.79827 s	Remaining CPU time: 1795.2 s
4.73/4.89	c core #818
4.73/4.89	c Core size: 7	Core Weight: 1	Total Weight: 818
4.73/4.89	c Elapsed CPU time: 4.80627 s	Remaining CPU time: 1795.19 s
4.83/4.90	c core #819
4.83/4.90	c Core size: 7	Core Weight: 1	Total Weight: 819
4.83/4.90	c Elapsed CPU time: 4.81527 s	Remaining CPU time: 1795.18 s
4.83/4.91	c core #820
4.83/4.91	c Core size: 7	Core Weight: 1	Total Weight: 820
4.83/4.91	c Elapsed CPU time: 4.82427 s	Remaining CPU time: 1795.18 s
4.83/4.92	c core #821
4.83/4.92	c Core size: 7	Core Weight: 1	Total Weight: 821
4.83/4.92	c Elapsed CPU time: 4.83226 s	Remaining CPU time: 1795.17 s
4.83/4.93	c core #822
4.83/4.93	c Core size: 7	Core Weight: 1	Total Weight: 822
4.83/4.93	c Elapsed CPU time: 4.84026 s	Remaining CPU time: 1795.16 s
4.83/4.94	c core #823
4.83/4.94	c Core size: 7	Core Weight: 1	Total Weight: 823
4.83/4.94	c Elapsed CPU time: 4.84926 s	Remaining CPU time: 1795.15 s
4.83/4.95	c core #824
4.83/4.95	c Core size: 7	Core Weight: 1	Total Weight: 824
4.83/4.95	c Elapsed CPU time: 4.85826 s	Remaining CPU time: 1795.14 s
4.83/4.95	c core #825
4.83/4.95	c Core size: 7	Core Weight: 1	Total Weight: 825
4.83/4.95	c Elapsed CPU time: 4.86726 s	Remaining CPU time: 1795.13 s
4.83/4.96	c core #826
4.83/4.96	c Core size: 7	Core Weight: 1	Total Weight: 826
4.83/4.96	c Elapsed CPU time: 4.87626 s	Remaining CPU time: 1795.12 s
4.83/4.97	c core #827
4.83/4.97	c Core size: 7	Core Weight: 1	Total Weight: 827
4.83/4.97	c Elapsed CPU time: 4.88526 s	Remaining CPU time: 1795.11 s
4.83/4.98	c core #828
4.83/4.98	c Core size: 7	Core Weight: 1	Total Weight: 828
4.83/4.98	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 1795.11 s
4.83/4.99	c core #829
4.83/4.99	c Core size: 7	Core Weight: 1	Total Weight: 829
4.83/4.99	c Elapsed CPU time: 4.90225 s	Remaining CPU time: 1795.1 s
4.93/5.00	c core #830
4.93/5.00	c Core size: 7	Core Weight: 1	Total Weight: 830
4.93/5.00	c Elapsed CPU time: 4.91025 s	Remaining CPU time: 1795.09 s
4.93/5.01	c core #831
4.93/5.01	c Core size: 7	Core Weight: 1	Total Weight: 831
4.93/5.01	c Elapsed CPU time: 4.91825 s	Remaining CPU time: 1795.08 s
4.93/5.02	c core #832
4.93/5.02	c Core size: 11	Core Weight: 1	Total Weight: 832
4.93/5.02	c Elapsed CPU time: 4.92625 s	Remaining CPU time: 1795.07 s
4.93/5.03	c core #833
4.93/5.03	c Core size: 7	Core Weight: 1	Total Weight: 833
4.93/5.03	c Elapsed CPU time: 4.93425 s	Remaining CPU time: 1795.07 s
4.93/5.04	c core #834
4.93/5.04	c Core size: 7	Core Weight: 1	Total Weight: 834
4.93/5.04	c Elapsed CPU time: 4.94325 s	Remaining CPU time: 1795.06 s
4.93/5.04	c core #835
4.93/5.04	c Core size: 11	Core Weight: 1	Total Weight: 835
4.93/5.04	c Elapsed CPU time: 4.95125 s	Remaining CPU time: 1795.05 s
4.93/5.05	c core #836
4.93/5.05	c Core size: 7	Core Weight: 1	Total Weight: 836
4.93/5.05	c Elapsed CPU time: 4.95925 s	Remaining CPU time: 1795.04 s
4.93/5.06	c core #837
4.93/5.06	c Core size: 15	Core Weight: 1	Total Weight: 837
4.93/5.06	c Elapsed CPU time: 4.96724 s	Remaining CPU time: 1795.03 s
4.93/5.07	c core #838
4.93/5.07	c Core size: 7	Core Weight: 1	Total Weight: 838
4.93/5.07	c Elapsed CPU time: 4.97424 s	Remaining CPU time: 1795.03 s
4.93/5.08	c core #839
4.93/5.08	c Core size: 7	Core Weight: 1	Total Weight: 839
4.93/5.08	c Elapsed CPU time: 4.98224 s	Remaining CPU time: 1795.02 s
4.93/5.09	c core #840
4.93/5.09	c Core size: 7	Core Weight: 1	Total Weight: 840
4.93/5.09	c Elapsed CPU time: 4.99124 s	Remaining CPU time: 1795.01 s
4.93/5.10	c core #841
4.93/5.10	c Core size: 7	Core Weight: 1	Total Weight: 841
4.93/5.10	c Elapsed CPU time: 5.00024 s	Remaining CPU time: 1795 s
5.03/5.11	c core #842
5.03/5.11	c Core size: 7	Core Weight: 1	Total Weight: 842
5.03/5.11	c Elapsed CPU time: 5.01024 s	Remaining CPU time: 1794.99 s
5.03/5.12	c core #843
5.03/5.12	c Core size: 7	Core Weight: 1	Total Weight: 843
5.03/5.12	c Elapsed CPU time: 5.01924 s	Remaining CPU time: 1794.98 s
5.03/5.13	c core #844
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 844
5.03/5.13	c Elapsed CPU time: 5.02823 s	Remaining CPU time: 1794.97 s
5.03/5.13	c core #845
5.03/5.13	c Core size: 7	Core Weight: 1	Total Weight: 845
5.03/5.13	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 1794.96 s
5.03/5.14	c core #846
5.03/5.14	c Core size: 7	Core Weight: 1	Total Weight: 846
5.03/5.14	c Elapsed CPU time: 5.04623 s	Remaining CPU time: 1794.95 s
5.03/5.15	c core #847
5.03/5.15	c Core size: 11	Core Weight: 1	Total Weight: 847
5.03/5.15	c Elapsed CPU time: 5.05523 s	Remaining CPU time: 1794.94 s
5.03/5.16	c core #848
5.03/5.16	c Core size: 7	Core Weight: 1	Total Weight: 848
5.03/5.16	c Elapsed CPU time: 5.06423 s	Remaining CPU time: 1794.94 s
5.03/5.17	c core #849
5.03/5.17	c Core size: 11	Core Weight: 1	Total Weight: 849
5.03/5.17	c Elapsed CPU time: 5.07323 s	Remaining CPU time: 1794.93 s
5.03/5.18	c core #850
5.03/5.18	c Core size: 11	Core Weight: 1	Total Weight: 850
5.03/5.18	c Elapsed CPU time: 5.08223 s	Remaining CPU time: 1794.92 s
5.03/5.19	c core #851
5.03/5.19	c Core size: 7	Core Weight: 1	Total Weight: 851
5.03/5.19	c Elapsed CPU time: 5.09123 s	Remaining CPU time: 1794.91 s
5.12/5.20	c core #852
5.12/5.20	c Core size: 7	Core Weight: 1	Total Weight: 852
5.12/5.20	c Elapsed CPU time: 5.10022 s	Remaining CPU time: 1794.9 s
5.12/5.21	c core #853
5.12/5.21	c Core size: 7	Core Weight: 1	Total Weight: 853
5.12/5.21	c Elapsed CPU time: 5.11022 s	Remaining CPU time: 1794.89 s
5.12/5.22	c core #854
5.12/5.22	c Core size: 7	Core Weight: 1	Total Weight: 854
5.12/5.22	c Elapsed CPU time: 5.11922 s	Remaining CPU time: 1794.88 s
5.12/5.23	c core #855
5.12/5.23	c Core size: 7	Core Weight: 1	Total Weight: 855
5.12/5.23	c Elapsed CPU time: 5.12922 s	Remaining CPU time: 1794.87 s
5.12/5.24	c core #856
5.12/5.24	c Core size: 11	Core Weight: 1	Total Weight: 856
5.12/5.24	c Elapsed CPU time: 5.13822 s	Remaining CPU time: 1794.86 s
5.12/5.25	c core #857
5.12/5.25	c Core size: 11	Core Weight: 1	Total Weight: 857
5.12/5.25	c Elapsed CPU time: 5.14722 s	Remaining CPU time: 1794.85 s
5.12/5.25	c core #858
5.12/5.25	c Core size: 7	Core Weight: 1	Total Weight: 858
5.12/5.25	c Elapsed CPU time: 5.15622 s	Remaining CPU time: 1794.84 s
5.12/5.26	c core #859
5.12/5.26	c Core size: 7	Core Weight: 1	Total Weight: 859
5.12/5.26	c Elapsed CPU time: 5.16621 s	Remaining CPU time: 1794.83 s
5.12/5.27	c core #860
5.12/5.27	c Core size: 7	Core Weight: 1	Total Weight: 860
5.12/5.27	c Elapsed CPU time: 5.17621 s	Remaining CPU time: 1794.82 s
5.12/5.28	c core #861
5.12/5.28	c Core size: 11	Core Weight: 1	Total Weight: 861
5.12/5.28	c Elapsed CPU time: 5.18521 s	Remaining CPU time: 1794.81 s
5.12/5.29	c core #862
5.12/5.29	c Core size: 7	Core Weight: 1	Total Weight: 862
5.12/5.29	c Elapsed CPU time: 5.19521 s	Remaining CPU time: 1794.8 s
5.22/5.30	c core #863
5.22/5.30	c Core size: 7	Core Weight: 1	Total Weight: 863
5.22/5.30	c Elapsed CPU time: 5.20521 s	Remaining CPU time: 1794.79 s
5.22/5.31	c core #864
5.22/5.31	c Core size: 7	Core Weight: 1	Total Weight: 864
5.22/5.31	c Elapsed CPU time: 5.21421 s	Remaining CPU time: 1794.79 s
5.22/5.32	c core #865
5.22/5.32	c Core size: 11	Core Weight: 1	Total Weight: 865
5.22/5.32	c Elapsed CPU time: 5.2242 s	Remaining CPU time: 1794.78 s
5.22/5.33	c core #866
5.22/5.33	c Core size: 11	Core Weight: 1	Total Weight: 866
5.22/5.33	c Elapsed CPU time: 5.2332 s	Remaining CPU time: 1794.77 s
5.22/5.34	c core #867
5.22/5.34	c Core size: 15	Core Weight: 1	Total Weight: 867
5.22/5.34	c Elapsed CPU time: 5.2432 s	Remaining CPU time: 1794.76 s
5.22/5.35	c core #868
5.22/5.35	c Core size: 11	Core Weight: 1	Total Weight: 868
5.22/5.35	c Elapsed CPU time: 5.2532 s	Remaining CPU time: 1794.75 s
5.22/5.36	c core #869
5.22/5.36	c Core size: 7	Core Weight: 1	Total Weight: 869
5.22/5.36	c Elapsed CPU time: 5.2632 s	Remaining CPU time: 1794.74 s
5.22/5.37	c core #870
5.22/5.37	c Core size: 7	Core Weight: 1	Total Weight: 870
5.22/5.37	c Elapsed CPU time: 5.2732 s	Remaining CPU time: 1794.73 s
5.22/5.38	c core #871
5.22/5.38	c Core size: 7	Core Weight: 1	Total Weight: 871
5.22/5.38	c Elapsed CPU time: 5.2822 s	Remaining CPU time: 1794.72 s
5.22/5.39	c core #872
5.22/5.39	c Core size: 7	Core Weight: 1	Total Weight: 872
5.22/5.39	c Elapsed CPU time: 5.29219 s	Remaining CPU time: 1794.71 s
5.22/5.40	c core #873
5.22/5.40	c Core size: 7	Core Weight: 1	Total Weight: 873
5.22/5.40	c Elapsed CPU time: 5.30219 s	Remaining CPU time: 1794.7 s
5.33/5.41	c core #874
5.33/5.41	c Core size: 7	Core Weight: 1	Total Weight: 874
5.33/5.41	c Elapsed CPU time: 5.31219 s	Remaining CPU time: 1794.69 s
5.33/5.42	c core #875
5.33/5.42	c Core size: 7	Core Weight: 1	Total Weight: 875
5.33/5.42	c Elapsed CPU time: 5.32219 s	Remaining CPU time: 1794.68 s
5.33/5.43	c core #876
5.33/5.43	c Core size: 7	Core Weight: 1	Total Weight: 876
5.33/5.43	c Elapsed CPU time: 5.33219 s	Remaining CPU time: 1794.67 s
5.33/5.44	c core #877
5.33/5.44	c Core size: 7	Core Weight: 1	Total Weight: 877
5.33/5.44	c Elapsed CPU time: 5.34219 s	Remaining CPU time: 1794.66 s
5.33/5.45	c core #878
5.33/5.45	c Core size: 15	Core Weight: 1	Total Weight: 878
5.33/5.45	c Elapsed CPU time: 5.35219 s	Remaining CPU time: 1794.65 s
5.33/5.46	c core #879
5.33/5.46	c Core size: 11	Core Weight: 1	Total Weight: 879
5.33/5.46	c Elapsed CPU time: 5.36218 s	Remaining CPU time: 1794.64 s
5.33/5.47	c core #880
5.33/5.47	c Core size: 11	Core Weight: 1	Total Weight: 880
5.33/5.47	c Elapsed CPU time: 5.37218 s	Remaining CPU time: 1794.63 s
5.33/5.48	c core #881
5.33/5.48	c Core size: 11	Core Weight: 1	Total Weight: 881
5.33/5.48	c Elapsed CPU time: 5.38218 s	Remaining CPU time: 1794.62 s
5.33/5.49	c core #882
5.33/5.49	c Core size: 11	Core Weight: 1	Total Weight: 882
5.33/5.49	c Elapsed CPU time: 5.39218 s	Remaining CPU time: 1794.61 s
5.33/5.50	c core #883
5.33/5.50	c Core size: 11	Core Weight: 1	Total Weight: 883
5.33/5.50	c Elapsed CPU time: 5.40218 s	Remaining CPU time: 1794.6 s
5.43/5.51	c core #884
5.43/5.51	c Core size: 15	Core Weight: 1	Total Weight: 884
5.43/5.51	c Elapsed CPU time: 5.41218 s	Remaining CPU time: 1794.59 s
5.43/5.52	c core #885
5.43/5.52	c Core size: 11	Core Weight: 1	Total Weight: 885
5.43/5.52	c Elapsed CPU time: 5.42218 s	Remaining CPU time: 1794.58 s
5.43/5.53	c core #886
5.43/5.53	c Core size: 7	Core Weight: 1	Total Weight: 886
5.43/5.53	c Elapsed CPU time: 5.43217 s	Remaining CPU time: 1794.57 s
5.43/5.54	c core #887
5.43/5.54	c Core size: 15	Core Weight: 1	Total Weight: 887
5.43/5.54	c Elapsed CPU time: 5.44217 s	Remaining CPU time: 1794.56 s
5.43/5.55	c core #888
5.43/5.55	c Core size: 7	Core Weight: 1	Total Weight: 888
5.43/5.55	c Elapsed CPU time: 5.45217 s	Remaining CPU time: 1794.55 s
5.43/5.56	c core #889
5.43/5.56	c Core size: 6	Core Weight: 1	Total Weight: 889
5.43/5.56	c Elapsed CPU time: 5.46217 s	Remaining CPU time: 1794.54 s
5.43/5.57	c core #890
5.43/5.57	c Core size: 7	Core Weight: 1	Total Weight: 890
5.43/5.57	c Elapsed CPU time: 5.47117 s	Remaining CPU time: 1794.53 s
5.43/5.58	c core #891
5.43/5.58	c Core size: 11	Core Weight: 1	Total Weight: 891
5.43/5.58	c Elapsed CPU time: 5.48117 s	Remaining CPU time: 1794.52 s
5.43/5.59	c core #892
5.43/5.59	c Core size: 11	Core Weight: 1	Total Weight: 892
5.43/5.59	c Elapsed CPU time: 5.49017 s	Remaining CPU time: 1794.51 s
5.52/5.60	c core #893
5.52/5.60	c Core size: 27	Core Weight: 1	Total Weight: 893
5.52/5.60	c Elapsed CPU time: 5.50016 s	Remaining CPU time: 1794.5 s
5.52/5.61	c core #894
5.52/5.61	c Core size: 11	Core Weight: 1	Total Weight: 894
5.52/5.61	c Elapsed CPU time: 5.50916 s	Remaining CPU time: 1794.49 s
5.52/5.62	c core #895
5.52/5.62	c Core size: 19	Core Weight: 1	Total Weight: 895
5.52/5.62	c Elapsed CPU time: 5.52016 s	Remaining CPU time: 1794.48 s
5.52/5.63	c core #896
5.52/5.63	c Core size: 10	Core Weight: 1	Total Weight: 896
5.52/5.63	c Elapsed CPU time: 5.53016 s	Remaining CPU time: 1794.47 s
5.52/5.64	c core #897
5.52/5.64	c Core size: 11	Core Weight: 1	Total Weight: 897
5.52/5.64	c Elapsed CPU time: 5.54016 s	Remaining CPU time: 1794.46 s
5.52/5.65	c core #898
5.52/5.65	c Core size: 7	Core Weight: 1	Total Weight: 898
5.52/5.65	c Elapsed CPU time: 5.55016 s	Remaining CPU time: 1794.45 s
5.52/5.66	c core #899
5.52/5.66	c Core size: 7	Core Weight: 1	Total Weight: 899
5.52/5.66	c Elapsed CPU time: 5.56015 s	Remaining CPU time: 1794.44 s
5.52/5.68	c core #900
5.52/5.68	c Core size: 15	Core Weight: 1	Total Weight: 900
5.52/5.68	c Elapsed CPU time: 5.57015 s	Remaining CPU time: 1794.43 s
5.52/5.69	c core #901
5.52/5.69	c Core size: 15	Core Weight: 1	Total Weight: 901
5.52/5.69	c Elapsed CPU time: 5.58015 s	Remaining CPU time: 1794.42 s
5.52/5.70	c core #902
5.52/5.70	c Core size: 11	Core Weight: 1	Total Weight: 902
5.52/5.70	c Elapsed CPU time: 5.59015 s	Remaining CPU time: 1794.41 s
5.62/5.71	c core #903
5.62/5.71	c Core size: 11	Core Weight: 1	Total Weight: 903
5.62/5.71	c Elapsed CPU time: 5.59915 s	Remaining CPU time: 1794.4 s
5.62/5.72	c core #904
5.62/5.72	c Core size: 11	Core Weight: 1	Total Weight: 904
5.62/5.72	c Elapsed CPU time: 5.60815 s	Remaining CPU time: 1794.39 s
5.62/5.73	c core #905
5.62/5.73	c Core size: 23	Core Weight: 1	Total Weight: 905
5.62/5.73	c Elapsed CPU time: 5.61914 s	Remaining CPU time: 1794.38 s
5.62/5.74	c core #906
5.62/5.74	c Core size: 11	Core Weight: 1	Total Weight: 906
5.62/5.74	c Elapsed CPU time: 5.63014 s	Remaining CPU time: 1794.37 s
5.62/5.75	c core #907
5.62/5.75	c Core size: 27	Core Weight: 1	Total Weight: 907
5.62/5.75	c Elapsed CPU time: 5.64014 s	Remaining CPU time: 1794.36 s
5.62/5.76	c core #908
5.62/5.76	c Core size: 39	Core Weight: 1	Total Weight: 908
5.62/5.76	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 1794.35 s
5.62/5.77	c core #909
5.62/5.77	c Core size: 19	Core Weight: 1	Total Weight: 909
5.62/5.77	c Elapsed CPU time: 5.66214 s	Remaining CPU time: 1794.34 s
5.62/5.78	c core #910
5.62/5.78	c Core size: 15	Core Weight: 1	Total Weight: 910
5.62/5.78	c Elapsed CPU time: 5.67314 s	Remaining CPU time: 1794.33 s
5.62/5.79	c core #911
5.62/5.79	c Core size: 7	Core Weight: 1	Total Weight: 911
5.62/5.79	c Elapsed CPU time: 5.68314 s	Remaining CPU time: 1794.32 s
5.71/5.80	c core #912
5.71/5.80	c Core size: 23	Core Weight: 1	Total Weight: 912
5.71/5.80	c Elapsed CPU time: 5.69313 s	Remaining CPU time: 1794.31 s
5.71/5.81	c core #913
5.71/5.81	c Core size: 11	Core Weight: 1	Total Weight: 913
5.71/5.81	c Elapsed CPU time: 5.70413 s	Remaining CPU time: 1794.3 s
5.71/5.83	c core #914
5.71/5.83	c Core size: 27	Core Weight: 1	Total Weight: 914
5.71/5.83	c Elapsed CPU time: 5.71413 s	Remaining CPU time: 1794.29 s
5.71/5.84	c core #915
5.71/5.84	c Core size: 34	Core Weight: 1	Total Weight: 915
5.71/5.84	c Elapsed CPU time: 5.72513 s	Remaining CPU time: 1794.27 s
5.71/5.85	c core #916
5.71/5.85	c Core size: 15	Core Weight: 1	Total Weight: 916
5.71/5.85	c Elapsed CPU time: 5.73513 s	Remaining CPU time: 1794.26 s
5.71/5.86	c core #917
5.71/5.86	c Core size: 11	Core Weight: 1	Total Weight: 917
5.71/5.86	c Elapsed CPU time: 5.74513 s	Remaining CPU time: 1794.25 s
5.71/5.87	c core #918
5.71/5.87	c Core size: 15	Core Weight: 1	Total Weight: 918
5.71/5.87	c Elapsed CPU time: 5.75612 s	Remaining CPU time: 1794.24 s
5.71/5.88	c core #919
5.71/5.88	c Core size: 23	Core Weight: 1	Total Weight: 919
5.71/5.88	c Elapsed CPU time: 5.76712 s	Remaining CPU time: 1794.23 s
5.71/5.89	c core #920
5.71/5.89	c Core size: 19	Core Weight: 1	Total Weight: 920
5.71/5.89	c Elapsed CPU time: 5.77712 s	Remaining CPU time: 1794.22 s
5.81/5.90	c core #921
5.81/5.90	c Core size: 15	Core Weight: 1	Total Weight: 921
5.81/5.90	c Elapsed CPU time: 5.78812 s	Remaining CPU time: 1794.21 s
5.81/5.91	c core #922
5.81/5.91	c Core size: 19	Core Weight: 1	Total Weight: 922
5.81/5.91	c Elapsed CPU time: 5.79912 s	Remaining CPU time: 1794.2 s
5.81/5.92	c core #923
5.81/5.92	c Core size: 15	Core Weight: 1	Total Weight: 923
5.81/5.92	c Elapsed CPU time: 5.81012 s	Remaining CPU time: 1794.19 s
5.81/5.94	c core #924
5.81/5.94	c Core size: 27	Core Weight: 1	Total Weight: 924
5.81/5.94	c Elapsed CPU time: 5.82111 s	Remaining CPU time: 1794.18 s
5.81/5.95	c core #925
5.81/5.95	c Core size: 23	Core Weight: 1	Total Weight: 925
5.81/5.95	c Elapsed CPU time: 5.83211 s	Remaining CPU time: 1794.17 s
5.81/5.96	c core #926
5.81/5.96	c Core size: 11	Core Weight: 1	Total Weight: 926
5.81/5.96	c Elapsed CPU time: 5.84311 s	Remaining CPU time: 1794.16 s
5.81/5.97	c core #927
5.81/5.97	c Core size: 23	Core Weight: 1	Total Weight: 927
5.81/5.97	c Elapsed CPU time: 5.85411 s	Remaining CPU time: 1794.15 s
5.81/5.98	c core #928
5.81/5.98	c Core size: 23	Core Weight: 1	Total Weight: 928
5.81/5.98	c Elapsed CPU time: 5.86511 s	Remaining CPU time: 1794.13 s
5.81/5.99	c core #929
5.81/5.99	c Core size: 19	Core Weight: 1	Total Weight: 929
5.81/5.99	c Elapsed CPU time: 5.87511 s	Remaining CPU time: 1794.12 s
5.91/6.00	c core #930
5.91/6.00	c Core size: 15	Core Weight: 1	Total Weight: 930
5.91/6.00	c Elapsed CPU time: 5.88711 s	Remaining CPU time: 1794.11 s
5.91/6.01	c core #931
5.91/6.01	c Core size: 11	Core Weight: 1	Total Weight: 931
5.91/6.01	c Elapsed CPU time: 5.8981 s	Remaining CPU time: 1794.1 s
5.91/6.03	c core #932
5.91/6.03	c Core size: 27	Core Weight: 1	Total Weight: 932
5.91/6.03	c Elapsed CPU time: 5.9081 s	Remaining CPU time: 1794.09 s
5.91/6.04	c core #933
5.91/6.04	c Core size: 19	Core Weight: 1	Total Weight: 933
5.91/6.04	c Elapsed CPU time: 5.9191 s	Remaining CPU time: 1794.08 s
5.91/6.05	c core #934
5.91/6.05	c Core size: 7	Core Weight: 1	Total Weight: 934
5.91/6.05	c Elapsed CPU time: 5.9301 s	Remaining CPU time: 1794.07 s
5.91/6.06	c core #935
5.91/6.06	c Core size: 27	Core Weight: 1	Total Weight: 935
5.91/6.06	c Elapsed CPU time: 5.9411 s	Remaining CPU time: 1794.06 s
5.91/6.07	c core #936
5.91/6.07	c Core size: 11	Core Weight: 1	Total Weight: 936
5.91/6.07	c Elapsed CPU time: 5.95209 s	Remaining CPU time: 1794.05 s
5.91/6.08	c core #937
5.91/6.08	c Core size: 27	Core Weight: 1	Total Weight: 937
5.91/6.08	c Elapsed CPU time: 5.96309 s	Remaining CPU time: 1794.04 s
5.91/6.09	c core #938
5.91/6.09	c Core size: 19	Core Weight: 1	Total Weight: 938
5.91/6.09	c Elapsed CPU time: 5.97409 s	Remaining CPU time: 1794.03 s
6.01/6.10	c core #939
6.01/6.10	c Core size: 11	Core Weight: 1	Total Weight: 939
6.01/6.10	c Elapsed CPU time: 5.98609 s	Remaining CPU time: 1794.01 s
6.01/6.12	c core #940
6.01/6.12	c Core size: 19	Core Weight: 1	Total Weight: 940
6.01/6.12	c Elapsed CPU time: 5.99709 s	Remaining CPU time: 1794 s
6.01/6.13	c core #941
6.01/6.13	c Core size: 15	Core Weight: 1	Total Weight: 941
6.01/6.13	c Elapsed CPU time: 6.00709 s	Remaining CPU time: 1793.99 s
6.01/6.14	c core #942
6.01/6.14	c Core size: 31	Core Weight: 1	Total Weight: 942
6.01/6.14	c Elapsed CPU time: 6.01908 s	Remaining CPU time: 1793.98 s
6.01/6.15	c core #943
6.01/6.15	c Core size: 23	Core Weight: 1	Total Weight: 943
6.01/6.15	c Elapsed CPU time: 6.03108 s	Remaining CPU time: 1793.97 s
6.01/6.16	c core #944
6.01/6.16	c Core size: 15	Core Weight: 1	Total Weight: 944
6.01/6.16	c Elapsed CPU time: 6.04208 s	Remaining CPU time: 1793.96 s
6.01/6.17	c core #945
6.01/6.17	c Core size: 35	Core Weight: 1	Total Weight: 945
6.01/6.17	c Elapsed CPU time: 6.05308 s	Remaining CPU time: 1793.95 s
6.01/6.19	c core #946
6.01/6.19	c Core size: 27	Core Weight: 1	Total Weight: 946
6.01/6.19	c Elapsed CPU time: 6.06508 s	Remaining CPU time: 1793.93 s
6.11/6.20	c core #947
6.11/6.20	c Core size: 27	Core Weight: 1	Total Weight: 947
6.11/6.20	c Elapsed CPU time: 6.07608 s	Remaining CPU time: 1793.92 s
6.11/6.21	c core #948
6.11/6.21	c Core size: 31	Core Weight: 1	Total Weight: 948
6.11/6.21	c Elapsed CPU time: 6.08707 s	Remaining CPU time: 1793.91 s
6.11/6.22	c core #949
6.11/6.22	c Core size: 31	Core Weight: 1	Total Weight: 949
6.11/6.22	c Elapsed CPU time: 6.09907 s	Remaining CPU time: 1793.9 s
6.11/6.23	c core #950
6.11/6.23	c Core size: 27	Core Weight: 1	Total Weight: 950
6.11/6.23	c Elapsed CPU time: 6.11007 s	Remaining CPU time: 1793.89 s
6.11/6.24	c core #951
6.11/6.24	c Core size: 43	Core Weight: 1	Total Weight: 951
6.11/6.24	c Elapsed CPU time: 6.12207 s	Remaining CPU time: 1793.88 s
6.11/6.26	c core #952
6.11/6.26	c Core size: 55	Core Weight: 1	Total Weight: 952
6.11/6.26	c Elapsed CPU time: 6.13407 s	Remaining CPU time: 1793.87 s
6.11/6.27	c core #953
6.11/6.27	c Core size: 31	Core Weight: 1	Total Weight: 953
6.11/6.27	c Elapsed CPU time: 6.14506 s	Remaining CPU time: 1793.85 s
6.11/6.28	c core #954
6.11/6.28	c Core size: 35	Core Weight: 1	Total Weight: 954
6.11/6.28	c Elapsed CPU time: 6.15706 s	Remaining CPU time: 1793.84 s
6.11/6.29	c core #955
6.11/6.29	c Core size: 74	Core Weight: 1	Total Weight: 955
6.11/6.29	c Elapsed CPU time: 6.16806 s	Remaining CPU time: 1793.83 s
6.21/6.30	c core #956
6.21/6.30	c Core size: 35	Core Weight: 1	Total Weight: 956
6.21/6.30	c Elapsed CPU time: 6.17906 s	Remaining CPU time: 1793.82 s
6.21/6.32	c core #957
6.21/6.32	c Core size: 63	Core Weight: 1	Total Weight: 957
6.21/6.32	c Elapsed CPU time: 6.19106 s	Remaining CPU time: 1793.81 s
6.21/6.33	c core #958
6.21/6.33	c Core size: 23	Core Weight: 1	Total Weight: 958
6.21/6.33	c Elapsed CPU time: 6.20306 s	Remaining CPU time: 1793.8 s
6.21/6.34	c core #959
6.21/6.34	c Core size: 23	Core Weight: 1	Total Weight: 959
6.21/6.34	c Elapsed CPU time: 6.21505 s	Remaining CPU time: 1793.78 s
6.21/6.35	c core #960
6.21/6.35	c Core size: 66	Core Weight: 1	Total Weight: 960
6.21/6.35	c Elapsed CPU time: 6.22605 s	Remaining CPU time: 1793.77 s
6.21/6.36	c core #961
6.21/6.36	c Core size: 34	Core Weight: 1	Total Weight: 961
6.21/6.36	c Elapsed CPU time: 6.23805 s	Remaining CPU time: 1793.76 s
6.21/6.37	c core #962
6.21/6.37	c Core size: 31	Core Weight: 1	Total Weight: 962
6.21/6.37	c Elapsed CPU time: 6.25005 s	Remaining CPU time: 1793.75 s
6.21/6.39	c core #963
6.21/6.39	c Core size: 31	Core Weight: 1	Total Weight: 963
6.21/6.39	c Elapsed CPU time: 6.26205 s	Remaining CPU time: 1793.74 s
6.31/6.40	c core #964
6.31/6.40	c Core size: 27	Core Weight: 1	Total Weight: 964
6.31/6.40	c Elapsed CPU time: 6.27405 s	Remaining CPU time: 1793.73 s
6.31/6.41	c core #965
6.31/6.41	c Core size: 94	Core Weight: 1	Total Weight: 965
6.31/6.41	c Elapsed CPU time: 6.28604 s	Remaining CPU time: 1793.71 s
6.31/6.42	c ============================[ Search Statistics ]==============================
6.31/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.42	c ===============================================================================
6.31/6.42	c |         0 |    4330     6924    15580 |     5000        0    nan |  0.000 % |
6.31/6.42	c ===============================================================================
6.31/6.42	c core #966
6.31/6.42	c Core size: 66	Core Weight: 1	Total Weight: 966
6.31/6.42	c Elapsed CPU time: 6.30004 s	Remaining CPU time: 1793.7 s
6.31/6.44	c ============================[ Search Statistics ]==============================
6.31/6.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.44	c ===============================================================================
6.31/6.44	c |         0 |    4461     6925    15664 |     5000        0    nan |  0.000 % |
6.31/6.44	c ===============================================================================
6.31/6.44	c core #967
6.31/6.44	c Core size: 147	Core Weight: 1	Total Weight: 967
6.31/6.44	c Elapsed CPU time: 6.31404 s	Remaining CPU time: 1793.69 s
6.31/6.45	c ============================[ Search Statistics ]==============================
6.31/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.45	c ===============================================================================
6.31/6.45	c |         0 |    4610     6926    15829 |     5000        0    nan |  0.000 % |
6.31/6.45	c ===============================================================================
6.31/6.45	c core #968
6.31/6.45	c Core size: 91	Core Weight: 1	Total Weight: 968
6.31/6.45	c Elapsed CPU time: 6.32704 s	Remaining CPU time: 1793.67 s
6.31/6.46	c ============================[ Search Statistics ]==============================
6.31/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.46	c ===============================================================================
6.31/6.46	c |         0 |    4820     6927    15940 |     5000        0    nan |  0.000 % |
6.31/6.47	c ===============================================================================
6.31/6.47	c core #969
6.31/6.47	c Core size: 62	Core Weight: 1	Total Weight: 969
6.31/6.47	c Elapsed CPU time: 6.34004 s	Remaining CPU time: 1793.66 s
6.31/6.48	c ============================[ Search Statistics ]==============================
6.31/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.48	c ===============================================================================
6.31/6.48	c |         0 |    4853     6928    16005 |     5000        0    nan |  0.000 % |
6.31/6.48	c ===============================================================================
6.31/6.48	c core #970
6.31/6.48	c Core size: 158	Core Weight: 1	Total Weight: 970
6.31/6.48	c Elapsed CPU time: 6.35603 s	Remaining CPU time: 1793.64 s
6.31/6.49	c ============================[ Search Statistics ]==============================
6.31/6.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.31/6.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.31/6.49	c ===============================================================================
6.31/6.49	c |         0 |    4957     6929    16183 |     5000        0    nan |  0.000 % |
6.41/6.50	c ===============================================================================
6.41/6.50	c core #971
6.41/6.50	c Core size: 62	Core Weight: 1	Total Weight: 971
6.41/6.50	c Elapsed CPU time: 6.37403 s	Remaining CPU time: 1793.63 s
6.41/6.51	c ============================[ Search Statistics ]==============================
6.41/6.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.51	c ===============================================================================
6.41/6.51	c |         0 |    5057     6930    16265 |     5000        0    nan |  0.000 % |
6.41/6.52	c |       100 |    5054     6930    16265 |     5500      100     12 |  2.499 % |
6.41/6.54	c |       252 |    4985     6930    16265 |     6050      244     11 |  3.545 % |
6.41/6.55	c ===============================================================================
6.41/6.55	c core #972
6.41/6.55	c Core size: 329	Core Weight: 1	Total Weight: 972
6.41/6.55	c Elapsed CPU time: 6.42102 s	Remaining CPU time: 1793.58 s
6.41/6.56	c ============================[ Search Statistics ]==============================
6.41/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.56	c ===============================================================================
6.41/6.56	c |         0 |    5229     6931    16607 |     5000        0    nan |  0.000 % |
6.41/6.57	c ===============================================================================
6.41/6.57	c core #973
6.41/6.57	c Core size: 66	Core Weight: 1	Total Weight: 973
6.41/6.57	c Elapsed CPU time: 6.44002 s	Remaining CPU time: 1793.56 s
6.41/6.58	c ============================[ Search Statistics ]==============================
6.41/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.41/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.41/6.58	c ===============================================================================
6.41/6.58	c |         0 |    5272     6932    16680 |     5000        0    nan |  0.000 % |
6.41/6.59	c |       100 |    5272     6932    16680 |     5500      100      5 |  1.514 % |
6.41/6.59	c ===============================================================================
6.41/6.59	c core #974
6.41/6.59	c Core size: 61	Core Weight: 1	Total Weight: 974
6.41/6.59	c Elapsed CPU time: 6.46202 s	Remaining CPU time: 1793.54 s
6.50/6.61	c ============================[ Search Statistics ]==============================
6.50/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.61	c ===============================================================================
6.50/6.61	c |         0 |    5306     6933    16746 |     5000        0    nan |  0.000 % |
6.50/6.62	c |       100 |    5255     6933    16746 |     5500      100      6 |  5.164 % |
6.50/6.62	c ===============================================================================
6.50/6.62	c core #975
6.50/6.62	c Core size: 145	Core Weight: 1	Total Weight: 975
6.50/6.62	c Elapsed CPU time: 6.48501 s	Remaining CPU time: 1793.51 s
6.50/6.63	c ============================[ Search Statistics ]==============================
6.50/6.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.63	c ===============================================================================
6.50/6.63	c |         0 |    5378     6934    16890 |     5000        0    nan |  0.000 % |
6.50/6.64	c |       100 |    5378     6934    16890 |     5500      100     19 |  1.412 % |
6.50/6.66	c |       250 |    5378     6934    16890 |     6050      250     18 |  1.412 % |
6.50/6.68	c |       478 |    5378     6934    16890 |     6655      478     20 |  1.412 % |
6.61/6.72	c |       818 |    5173     6934    16890 |     7320      785     21 |  5.170 % |
6.61/6.75	c ===============================================================================
6.61/6.76	c core #976
6.61/6.76	c Core size: 694	Core Weight: 1	Total Weight: 976
6.61/6.76	c Elapsed CPU time: 6.62099 s	Remaining CPU time: 1793.38 s
6.61/6.77	c ============================[ Search Statistics ]==============================
6.61/6.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.61/6.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.61/6.77	c ===============================================================================
6.61/6.77	c |         0 |    5703     6935    17540 |     5000        0    nan |  0.000 % |
6.61/6.79	c |       100 |    5703     6935    17540 |     5500      100     26 |  1.332 % |
6.70/6.80	c |       250 |    5703     6935    17540 |     6050      250     19 |  1.332 % |
6.70/6.83	c |       475 |    5681     6935    17540 |     6655      470     15 |  1.713 % |
6.70/6.89	c |       812 |    5657     6935    17540 |     7320      798     17 |  2.128 % |
6.81/6.98	c |      1318 |    5656     6935    17540 |     8052     1295     20 |  2.145 % |
6.91/7.06	c ===============================================================================
6.91/7.07	c core #977
6.91/7.07	c Core size: 557	Core Weight: 1	Total Weight: 977
6.91/7.07	c Elapsed CPU time: 6.92795 s	Remaining CPU time: 1793.07 s
6.91/7.09	c ============================[ Search Statistics ]==============================
6.91/7.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.91/7.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.91/7.09	c ===============================================================================
6.91/7.09	c |         0 |    5971     6936    18047 |     5000        0    nan |  0.000 % |
7.00/7.10	c |       100 |    5970     6936    18047 |     5500      100     22 |  1.011 % |
7.00/7.12	c |       251 |    5970     6936    18047 |     6050      250     19 |  1.011 % |
7.00/7.14	c |       476 |    5970     6936    18047 |     6655      475     20 |  1.011 % |
7.00/7.20	c |       813 |    5970     6936    18047 |     7320      812     19 |  1.011 % |
7.10/7.26	c |      1319 |    5970     6936    18047 |     8052     1318     21 |  1.011 % |
7.21/7.37	c |      2078 |    5970     6936    18047 |     8857     2077     23 |  1.012 % |
7.40/7.52	c |      3220 |    5970     6936    18047 |     9743     3219     24 |  1.011 % |
7.70/7.84	c |      4929 |    5961     6936    18047 |    10717     4888     30 |  1.161 % |
8.20/8.38	c |      7493 |    5957     6936    18047 |    11789     7451     33 |  1.227 % |
9.60/9.78	c |     11337 |    5956     6936    18047 |    12968    11295     43 |  1.310 % |
11.00/11.19	c ===============================================================================
11.20/11.33	c core #978
11.20/11.33	c Core size: 1204	Core Weight: 1	Total Weight: 978
11.20/11.33	c Elapsed CPU time: 11.1303 s	Remaining CPU time: 1788.87 s
11.20/11.36	c ============================[ Search Statistics ]==============================
11.20/11.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.20/11.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.20/11.36	c ===============================================================================
11.20/11.36	c |         0 |    6505     6937    19115 |     5000        0    nan |  0.000 % |
11.20/11.38	c |       100 |    6504     6937    19115 |     5500      100     25 |  0.929 % |
11.30/11.40	c |       250 |    6485     6937    19115 |     6050      239     20 |  1.219 % |
11.30/11.44	c |       476 |    6485     6937    19115 |     6655      465     25 |  1.219 % |
11.30/11.49	c |       817 |    6485     6937    19115 |     7320      806     27 |  1.219 % |
11.40/11.57	c |      1323 |    6479     6937    19115 |     8052     1310     26 |  1.325 % |
11.50/11.67	c |      2082 |    6424     6937    19115 |     8857     2008     23 |  2.193 % |
11.50/11.67	c ===============================================================================
11.50/11.67	c core #979
11.50/11.67	c Core size: 291	Core Weight: 1	Total Weight: 979
11.50/11.67	c Elapsed CPU time: 11.4583 s	Remaining CPU time: 1788.54 s
11.50/11.68	c ============================[ Search Statistics ]==============================
11.50/11.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.50/11.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.50/11.68	c ===============================================================================
11.50/11.68	c |         0 |    6650     6938    19396 |     5000        0    nan |  0.000 % |
11.50/11.69	c |       101 |    6650     6938    19396 |     5500      101     16 |  0.806 % |
11.60/11.71	c |       251 |    6650     6938    19396 |     6050      251     27 |  0.805 % |
11.60/11.75	c |       476 |    6650     6938    19396 |     6655      476     37 |  0.805 % |
11.70/11.83	c |       814 |    6650     6938    19396 |     7320      814     32 |  0.805 % |
11.70/11.89	c |      1321 |    6650     6938    19396 |     8052     1321     31 |  0.806 % |
11.90/12.02	c |      2081 |    6650     6938    19396 |     8857     2081     30 |  0.805 % |
12.11/12.22	c |      3222 |    6650     6938    19396 |     9743     3222     48 |  0.805 % |
12.40/12.54	c |      4930 |    6650     6938    19396 |    10717     4930     47 |  0.805 % |
12.50/12.67	c ===============================================================================
12.50/12.67	c core #980
12.50/12.67	c Core size: 116	Core Weight: 1	Total Weight: 980
12.50/12.67	c Elapsed CPU time: 12.4301 s	Remaining CPU time: 1787.57 s
12.50/12.69	c ============================[ Search Statistics ]==============================
12.50/12.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.50/12.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.50/12.69	c ===============================================================================
12.50/12.69	c |         0 |    6706     6939    19508 |     5000        0    nan |  0.000 % |
12.60/12.70	c |       100 |    6706     6939    19508 |     5500      100     17 |  0.799 % |
12.60/12.72	c |       250 |    6706     6939    19508 |     6050      250     11 |  0.799 % |
12.60/12.73	c |       478 |    6706     6939    19508 |     6655      478     11 |  0.799 % |
12.60/12.77	c |       815 |    6695     6939    19508 |     7320      675     17 |  0.962 % |
12.70/12.87	c |      1321 |    6695     6939    19508 |     8052     1181     30 |  0.962 % |
12.80/12.98	c |      2080 |    6695     6939    19508 |     8857     1940     34 |  0.962 % |
12.90/13.05	c ===============================================================================
12.90/13.05	c core #981
12.90/13.05	c Core size: 360	Core Weight: 1	Total Weight: 981
12.90/13.05	c Elapsed CPU time: 12.7971 s	Remaining CPU time: 1787.2 s
12.90/13.07	c ============================[ Search Statistics ]==============================
12.90/13.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.90/13.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.90/13.07	c ===============================================================================
12.90/13.07	c |         0 |    6872     6940    19840 |     5000        0    nan |  0.000 % |
12.90/13.08	c |       101 |    6872     6940    19840 |     5500      101     23 |  0.780 % |
12.90/13.10	c |       253 |    6872     6940    19840 |     6050      253     23 |  0.780 % |
13.00/13.13	c |       480 |    6872     6940    19840 |     6655      480     27 |  0.780 % |
13.10/13.22	c |       818 |    6872     6940    19840 |     7320      818     28 |  0.780 % |
13.20/13.30	c |      1324 |    6872     6940    19840 |     8052     1324     39 |  0.780 % |
13.30/13.42	c |      2083 |    6872     6940    19840 |     8857     2083     46 |  0.780 % |
13.50/13.60	c |      3222 |    6864     6940    19840 |     9743     3221     44 |  0.895 % |
13.80/13.98	c |      4930 |    6864     6940    19840 |    10717     4928     54 |  0.895 % |
14.40/14.59	c |      7492 |    6864     6940    19840 |    11789     7490     57 |  0.895 % |
15.30/15.46	c |     11340 |    6863     6940    19840 |    12968    11336     56 |  0.910 % |
17.00/17.13	c |     17108 |    6849     6940    19840 |    14265    10328     76 |  1.199 % |
17.50/17.64	c ===============================================================================
17.59/17.71	c core #982
17.59/17.71	c Core size: 837	Core Weight: 1	Total Weight: 982
17.59/17.71	c Elapsed CPU time: 17.3644 s	Remaining CPU time: 1782.64 s
17.59/17.75	c ============================[ Search Statistics ]==============================
17.59/17.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.59/17.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.59/17.75	c ===============================================================================
17.59/17.75	c |         0 |    7256     6941    20607 |     5000        0    nan |  0.000 % |
17.59/17.76	c |       103 |    7256     6941    20607 |     5500      103     43 |  0.712 % |
17.59/17.78	c |       255 |    7256     6941    20607 |     6050      255     36 |  0.712 % |
17.70/17.81	c |       481 |    7256     6941    20607 |     6655      481     40 |  0.712 % |
17.70/17.86	c |       818 |    7255     6941    20607 |     7320      817     33 |  0.725 % |
17.80/17.91	c |      1324 |    7255     6941    20607 |     8052     1323     38 |  0.725 % |
17.89/18.03	c |      2088 |    7255     6941    20607 |     8857     2087     39 |  0.725 % |
18.20/18.31	c |      3227 |    7255     6941    20607 |     9743     3226     65 |  0.725 % |
18.50/18.67	c |      4935 |    7255     6941    20607 |    10717     4934     65 |  0.725 % |
19.10/19.28	c |      7500 |    7255     6941    20607 |    11789     7499     74 |  0.725 % |
20.10/20.29	c |     11352 |    7255     6941    20607 |    12968    11351     88 |  0.725 % |
21.69/21.84	c |     17118 |    7255     6941    20607 |    14265    10315     93 |  0.725 % |
24.69/24.81	c |     25770 |    7255     6941    20607 |    15692    11708     69 |  0.725 % |
28.29/28.43	c |     38745 |    7251     6941    20607 |    17261     8647     66 |  0.780 % |
34.39/34.52	c |     58209 |    7249     6941    20607 |    18987    10383    106 |  0.835 % |
47.08/47.25	c |     87401 |    7242     6941    20607 |    20886    10457    162 |  0.903 % |
59.58/59.74	c ===============================================================================
60.47/60.64	c core #983
60.47/60.64	c Core size: 1227	Core Weight: 1	Total Weight: 983
60.47/60.64	c Elapsed CPU time: 59.7109 s	Remaining CPU time: 1740.29 s
60.57/60.77	c ============================[ Search Statistics ]==============================
60.57/60.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.57/60.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
60.57/60.77	c ===============================================================================
60.57/60.77	c |         0 |    7770     6942    21635 |     5000        0    nan |  0.000 % |
60.68/60.81	c |       100 |    7770     6942    21635 |     5500      100     25 |  0.665 % |
60.68/60.82	c |       250 |    7770     6942    21635 |     6050      250     22 |  0.665 % |
60.68/60.84	c |       475 |    7770     6942    21635 |     6655      475     24 |  0.665 % |
60.78/60.90	c |       813 |    7770     6942    21635 |     7320      813     38 |  0.665 % |
60.87/61.03	c |      1320 |    7770     6942    21635 |     8052     1320     61 |  0.665 % |
61.07/61.22	c |      2080 |    7770     6942    21635 |     8857     2080     70 |  0.665 % |
61.27/61.47	c |      3225 |    7770     6942    21635 |     9743     3225     77 |  0.665 % |
61.78/61.94	c |      4935 |    7770     6942    21635 |    10717     4935    104 |  0.665 % |
62.58/62.74	c |      7497 |    7770     6942    21635 |    11789     7497    125 |  0.665 % |
63.57/63.72	c |     11343 |    7770     6942    21635 |    12968    11343    108 |  0.665 % |
65.67/65.82	c |     17111 |    7770     6942    21635 |    14265    10454     95 |  0.665 % |
68.67/68.80	c |     25760 |    7770     6942    21635 |    15692    11543    102 |  0.665 % |
75.07/75.27	c |     38736 |    7770     6942    21635 |    17261     8549    121 |  0.665 % |
82.97/83.16	c |     58198 |    7770     6942    21635 |    18987    10015    141 |  0.665 % |
97.27/97.41	c |     87392 |    7770     6942    21635 |    20886    19055    190 |  0.665 % |
121.25/121.45	c |    131184 |    7769     6942    21635 |    22974    19451    196 |  0.678 % |
165.74/165.93	c |    196870 |    7769     6942    21635 |    25272    13759    290 |  0.678 % |
241.21/241.48	c |    295399 |    7769     6942    21635 |    27799    18916    237 |  0.678 % |
359.47/359.71	c |    443188 |    7769     6942    21635 |    30579    27602    353 |  0.678 % |
561.60/562.00	c |    664878 |    7769     6942    21635 |    33637    29600    228 |  0.678 % |
828.81/829.29	c |    997405 |    7769     6942    21635 |    37001    15289    112 |  0.678 % |
932.97/933.41	c ===============================================================================
937.38/937.83	c core #984
937.38/937.83	c Core size: 1362	Core Weight: 1	Total Weight: 984
937.38/937.83	c Elapsed CPU time: 930.052 s	Remaining CPU time: 869.948 s
938.48/938.98	c ============================[ Search Statistics ]==============================
938.48/938.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
938.48/938.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
938.48/938.98	c ===============================================================================
938.48/938.98	c |         0 |    8337     6943    22760 |     5000        0    nan |  0.000 % |
938.58/939.09	c |       104 |    8337     6943    22760 |     5500      104     71 |  0.549 % |
938.67/939.18	c |       254 |    8337     6943    22760 |     6050      254     41 |  0.549 % |
938.77/939.20	c |       481 |    8337     6943    22760 |     6655      481     30 |  0.549 % |
938.77/939.29	c |       821 |    8337     6943    22760 |     7320      821     34 |  0.549 % |
938.87/939.36	c |      1327 |    8337     6943    22760 |     8052     1327     31 |  0.549 % |
939.08/939.51	c |      2088 |    8337     6943    22760 |     8857     2088     29 |  0.549 % |
939.17/939.68	c |      3229 |    8337     6943    22760 |     9743     3229     40 |  0.549 % |
939.58/940.08	c |      4940 |    8337     6943    22760 |    10717     4940     57 |  0.549 % |
940.08/940.55	c |      7502 |    8337     6943    22760 |    11789     7502     58 |  0.549 % |
941.08/941.50	c |     11348 |    8337     6943    22760 |    12968    11348     61 |  0.549 % |
943.07/943.59	c |     17114 |    8337     6943    22760 |    14265    10049     97 |  0.549 % |
945.68/946.19	c |     25764 |    8337     6943    22760 |    15692    11160    101 |  0.549 % |
952.47/952.97	c |     38738 |    8337     6943    22760 |    17261    16136    142 |  0.549 % |
961.77/962.21	c |     58200 |    8337     6943    22760 |    18987    17403    168 |  0.549 % |
979.36/979.89	c |     87392 |    8336     6943    22760 |    20886    15235    228 |  0.561 % |
1005.65/1006.10	c |    131181 |    8336     6943    22760 |    22974    15110    188 |  0.561 % |
1041.34/1041.84	c |    196872 |    8336     6943    22760 |    25272    21125    178 |  0.561 % |
1111.11/1111.61	c |    295398 |    8336     6943    22760 |    27799    14267    184 |  0.561 % |
1238.37/1238.92	c |    443190 |    8336     6943    22760 |    30579    24158    188 |  0.561 % |
1383.93/1384.56	c |    664873 |    8336     6943    22760 |    33637    23590    190 |  0.561 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9053
/proc/meminfo: memFree=1852928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=2964 CPUtime=0
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181943758 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 741 248 125 292 0 418 0

[startup+0.0178691 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9053
/proc/meminfo: memFree=1852928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=3144 CPUtime=0.01
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 371 0 0 0 1 0 0 0 18 0 1 0 181943758 3219456 327 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 786 327 133 292 0 491 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3144

[startup+0.102884 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9053
/proc/meminfo: memFree=1852928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=3512 CPUtime=0.09
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 496 0 0 0 9 0 0 0 18 0 1 0 181943758 3596288 452 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 878 452 133 292 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.30292 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9053
/proc/meminfo: memFree=1852928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=3552 CPUtime=0.29
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 570 0 0 0 29 0 0 0 19 0 1 0 181943758 3637248 468 1992294400 134512640 135709839 4294956240 18446744073709551615 135165907 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 888 468 133 292 0 593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3552

[startup+0.701994 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9053
/proc/meminfo: memFree=1852928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=3888 CPUtime=0.69
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 653 0 0 0 69 0 0 0 23 0 1 0 181943758 3981312 534 1992294400 134512640 135709839 4294956240 18446744073709551615 134605310 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 972 534 133 292 0 677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3888

[startup+1.50114 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1850936/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=4700 CPUtime=1.47
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 1141 0 0 0 147 0 0 0 25 0 1 0 181943758 4812800 723 1992294400 134512640 135709839 4294956240 18446744073709551615 135166130 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 1175 723 133 292 0 880 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 4700

[startup+3.10144 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1849592/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=6696 CPUtime=3.05
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 2307 0 0 0 304 1 0 0 25 0 1 0 181943758 6856704 1233 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 1674 1233 133 292 0 1379 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6696

[startup+6.30203 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1844408/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=13732 CPUtime=6.21
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 5150 0 0 0 617 4 0 0 25 0 1 0 181943758 14061568 2968 1992294400 134512640 135709839 4294956240 18446744073709551615 135166081 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 3433 2968 134 292 0 3138 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13732

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1831992/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=22632 CPUtime=12.6
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 7542 0 0 0 1245 15 0 0 25 0 1 0 181943758 23175168 5209 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 5658 5209 136 292 0 5363 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 22632

[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1821624/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=33656 CPUtime=25.39
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 10301 0 0 0 2502 37 0 0 25 0 1 0 181943758 34463744 7968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 8414 7968 136 292 0 8119 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 33656

[startup+51.1023 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1774840/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=80784 CPUtime=50.98
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 22092 0 0 0 5025 73 0 0 25 0 1 0 181943758 82722816 19759 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 20196 19759 136 292 0 19901 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 80784

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1711928/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=142712 CPUtime=102.16
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 37568 0 0 0 10083 133 0 0 25 0 1 0 181943758 146137088 35235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 35678 35235 136 292 0 35383 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 142712

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1603128/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=252352 CPUtime=162.14
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 64972 0 0 0 16014 200 0 0 25 0 1 0 181943758 258408448 62639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 63088 62639 136 292 0 62793 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 252352

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1508280/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=346060 CPUtime=222.12
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 88374 0 0 0 21961 251 0 0 25 0 1 0 181943758 354365440 86041 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 86515 86041 136 292 0 86220 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 346060

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1414584/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=440412 CPUtime=282.1
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 111940 0 0 0 27911 299 0 0 25 0 1 0 181943758 450981888 109607 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 110103 109607 136 292 0 109808 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 440412

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1318392/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=535756 CPUtime=342.07
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 135766 0 0 0 33872 335 0 0 25 0 1 0 181943758 548614144 133433 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 133939 133433 136 292 0 133644 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 535756

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1227640/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=627152 CPUtime=402.05
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 158607 0 0 0 39819 386 0 0 25 0 1 0 181943758 642203648 156274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 156788 156274 136 292 0 156493 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 627152

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1148536/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=705276 CPUtime=462.04
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 178108 0 0 0 45778 426 0 0 25 0 1 0 181943758 722202624 175775 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 176319 175775 136 292 0 176024 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 705276

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=1060728/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=793992 CPUtime=522.02
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 200304 0 0 0 51739 463 0 0 25 0 1 0 181943758 813047808 197971 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 198498 197971 136 292 0 198203 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 793992

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=963896/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=889732 CPUtime=582
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 224209 0 0 0 57680 520 0 0 25 0 1 0 181943758 911085568 221876 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 222433 221876 136 292 0 222138 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 889732

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=896632/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=956384 CPUtime=641.98
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 240878 0 0 0 63636 562 0 0 25 0 1 0 181943758 979337216 238545 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 239096 238545 136 292 0 238801 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 956384

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=834040/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1019792 CPUtime=701.96
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 256707 0 0 0 69599 597 0 0 25 0 1 0 181943758 1044267008 254374 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 254948 254374 136 292 0 254653 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 1019792

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=770232/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1082576 CPUtime=761.94
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 272403 0 0 0 75567 627 0 0 25 0 1 0 181943758 1108557824 270070 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 270644 270070 136 292 0 270349 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 1082576

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=707128/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1146364 CPUtime=821.91
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 288323 0 0 0 81529 662 0 0 25 0 1 0 181943758 1173876736 285990 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 286591 285990 136 292 0 286296 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 1146364

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=629240/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1223536 CPUtime=881.89
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 307628 0 0 0 87484 705 0 0 25 0 1 0 181943758 1252900864 305295 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 305884 305295 136 292 0 305589 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 1223536

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=565880/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1286508 CPUtime=941.87
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 323360 0 0 0 93447 740 0 0 25 0 1 0 181943758 1317384192 321027 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 321627 321027 136 292 0 321332 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 1286508

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=565816/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1286508 CPUtime=1001.85
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 323364 0 0 0 99400 785 0 0 25 0 1 0 181943758 1317384192 321031 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 321627 321031 136 292 0 321332 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 1286508

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=565688/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1286508 CPUtime=1061.84
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 323390 0 0 0 105346 838 0 0 25 0 1 0 181943758 1317384192 321057 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 321627 321057 136 292 0 321332 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1286508

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=557112/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1294976 CPUtime=1121.81
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 325611 0 0 0 111307 874 0 0 25 0 1 0 181943758 1326055424 323278 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 323744 323278 136 292 0 323449 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1294976

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=495992/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1356500 CPUtime=1181.79
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 340986 0 0 0 117272 907 0 0 25 0 1 0 181943758 1389056000 338653 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 339125 338653 136 292 0 338830 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 1356500

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=434680/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1417040 CPUtime=1241.77
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 356102 0 0 0 123235 942 0 0 25 0 1 0 181943758 1451048960 353769 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 354260 353769 136 292 0 353965 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1417040

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=362104/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1489244 CPUtime=1301.76
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 374124 0 0 0 129180 996 0 0 25 0 1 0 181943758 1524985856 371791 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 372311 371791 136 292 0 372016 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1489244

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=284856/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1567060 CPUtime=1361.73
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 393580 0 0 0 135141 1032 0 0 25 0 1 0 181943758 1604669440 391247 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 391765 391247 136 292 0 391470 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1567060

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=195960/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1655084 CPUtime=1421.72
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 415596 0 0 0 141085 1087 0 0 25 0 1 0 181943758 1694806016 413263 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 413771 413263 136 292 0 413476 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1655084

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=116088/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1735532 CPUtime=1481.69
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 435691 0 0 0 147048 1121 0 0 25 0 1 0 181943758 1777184768 433358 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 433883 433358 136 292 0 433588 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1735532

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=36408/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1814660 CPUtime=1541.67
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 455439 0 0 0 153006 1161 0 0 25 0 1 0 181943758 1858211840 453106 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 453665 453106 136 292 0 453370 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1814660



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1562.01 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=15032/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=1843212 CPUtime=1561.37
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4194304 462583 0 0 0 154963 1174 0 0 25 0 1 0 181943758 1887449088 460250 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 460803 460250 136 292 0 460508 0
Current children cumulated CPU time (s) 1561.37
Current children cumulated vsize (KiB) 1843212

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

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

[startup+1562.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 9054
/proc/meminfo: memFree=15032/2055920 swapFree=4192812/4192956
[pid=9053] ppid=9051 vsize=0 CPUtime=1561.56
/proc/9053/stat : 9053 (wbo) R 9051 9053 9010 0 -1 4195332 462583 0 0 0 154963 1193 0 0 25 0 1 0 181943758 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/9053/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1561.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1562.29
CPU time (s): 1561.66
CPU user time (s): 1549.64
CPU system time (s): 12.0242
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 1843212

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

runsolver used 1.36979 second user time and 3.06053 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-16 11:10:29
IDJOB=1875748
IDBENCH=1980
IDSOLVER=698
FILE ID=node7/1875748-1245143429
PBS_JOBID= 9363748
Free space on /tmp= 66272 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875748-1245143429/watcher-1875748-1245143429 -o /tmp/evaluation-result-1875748-1245143429/solver-1875748-1245143429 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875748-1245143429.opb

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

MD5SUM BENCH= 1a62ccf42beef1991aac7e4813cc0d13
RANDOM SEED=892658395

node7.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.274
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.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1853408 kB
Buffers:         30276 kB
Cached:         102596 kB
SwapCached:          0 kB
Active:          30716 kB
Inactive:       116024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853408 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2616 kB
Writeback:           0 kB
Mapped:          23620 kB
Slab:            41732 kB
Committed_AS:   155856 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875748-1245143429.opb

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-16 11:36:34