Trace number 1875587

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) 1401.44 1402.1

General information on the benchmark

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

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875587-1245144155.opb.
0.00/0.00	c Instance file HOME/instance-1875587-1245144155.opb
0.00/0.00	c File size is 112300 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:      1968                                                |
0.00/0.01	c |  Number Clauses:        5968                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #8
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #11
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #12
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #14
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #15
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #16
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.00/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.00/0.08	c core #18
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.08	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #19
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.00/0.08	c Elapsed CPU time: 0.078987 s	Remaining CPU time: 1799.92 s
0.00/0.08	c core #20
0.00/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.00/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.00/0.09	c core #21
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.00/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #22
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.00/0.09	c Elapsed CPU time: 0.089986 s	Remaining CPU time: 1799.91 s
0.00/0.09	c core #23
0.00/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.00/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.00/0.10	c core #24
0.00/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.00/0.10	c core #25
0.00/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.00/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.10/0.10	c core #26
0.10/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.10/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.10/0.11	c core #27
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.10/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.10/0.11	c core #28
0.10/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.10/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.10/0.12	c core #29
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.10/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #30
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.10/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.10/0.12	c core #31
0.10/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.10/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.10/0.13	c core #32
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.10/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #33
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.10/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.10/0.13	c core #34
0.10/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.10/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.10/0.14	c core #35
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.10/0.14	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #36
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.10/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.10/0.14	c core #37
0.10/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.10/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #38
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.10/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.10/0.15	c core #39
0.10/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.10/0.15	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 1799.85 s
0.10/0.16	c core #40
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.10/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #41
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.10/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.10/0.16	c core #42
0.10/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.10/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.10/0.17	c core #43
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.10/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.10/0.17	c core #44
0.10/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.10/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.10/0.18	c core #45
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.10/0.18	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #46
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.10/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.10/0.18	c core #47
0.10/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.10/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.10/0.19	c core #48
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.10/0.19	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #49
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.10/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.10/0.19	c core #50
0.10/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.10/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #51
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.20	c Elapsed CPU time: 0.197969 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.201969 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.205968 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.212967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #58
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.22	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.230964 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.234964 s	Remaining CPU time: 1799.77 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.238963 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.242963 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.245962 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.249962 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.253961 s	Remaining CPU time: 1799.75 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.25796 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.26196 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.265959 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.269958 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.272958 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.276957 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.280957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #74
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.29	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 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.288956 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.29/0.30	c core #77
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.30	c Elapsed CPU time: 0.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.299954 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.303953 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.307953 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.311952 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.32695 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.330949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #87
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.34	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 1799.67 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.36	c core #92
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.36	c Elapsed CPU time: 0.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.366944 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.370943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #97
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.38	c Elapsed CPU time: 0.374943 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.378942 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.382941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #102
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.40	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #103
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #107
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.42	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #112
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.438933 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.442932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #115
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 115
0.39/0.45	c Elapsed CPU time: 0.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.46	c core #117
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.46	c Elapsed CPU time: 0.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.47	c core #120
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 120
0.39/0.47	c Elapsed CPU time: 0.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.468928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #122
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 122
0.39/0.48	c Elapsed CPU time: 0.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.49	c core #125
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 125
0.39/0.49	c Elapsed CPU time: 0.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.50	c core #127
0.39/0.50	c Core size: 3	Core Weight: 1	Total Weight: 127
0.39/0.50	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.508922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #132
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 132
0.49/0.52	c Elapsed CPU time: 0.513921 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.517921 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #134
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 134
0.49/0.53	c Elapsed CPU time: 0.52192 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.52592 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.529919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #137
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 137
0.49/0.54	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 1799.47 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.537918 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #139
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 139
0.49/0.55	c Elapsed CPU time: 0.541917 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.545917 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.549916 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.553915 s	Remaining CPU time: 1799.45 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.557915 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #144
0.49/0.57	c Core size: 3	Core Weight: 1	Total Weight: 144
0.49/0.57	c Elapsed CPU time: 0.561914 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.565913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #146
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 146
0.49/0.58	c Elapsed CPU time: 0.570913 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.574912 s	Remaining CPU time: 1799.43 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.578911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #149
0.49/0.59	c Core size: 3	Core Weight: 1	Total Weight: 149
0.49/0.59	c Elapsed CPU time: 0.582911 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.58691 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #151
0.49/0.60	c Core size: 3	Core Weight: 1	Total Weight: 151
0.49/0.60	c Elapsed CPU time: 0.59091 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #152
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.60	c Elapsed CPU time: 0.595909 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.599908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #154
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 154
0.59/0.61	c Elapsed CPU time: 0.603908 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.607907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #156
0.59/0.62	c Core size: 3	Core Weight: 1	Total Weight: 156
0.59/0.62	c Elapsed CPU time: 0.612906 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.616906 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #158
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 158
0.59/0.63	c Elapsed CPU time: 0.620905 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.624905 s	Remaining CPU time: 1799.38 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.628904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #161
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 161
0.59/0.64	c Elapsed CPU time: 0.632903 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.637903 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #163
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 163
0.59/0.65	c Elapsed CPU time: 0.641902 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.645901 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.649901 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.67	c core #168
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 168
0.59/0.67	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #169
0.59/0.67	c Core size: 3	Core Weight: 1	Total Weight: 169
0.59/0.67	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #170
0.59/0.68	c Core size: 3	Core Weight: 1	Total Weight: 170
0.59/0.68	c Elapsed CPU time: 0.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.69	c core #172
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 172
0.59/0.69	c Elapsed CPU time: 0.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.689895 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #175
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 175
0.69/0.70	c Elapsed CPU time: 0.693894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #176
0.69/0.70	c Core size: 3	Core Weight: 1	Total Weight: 176
0.69/0.70	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #177
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 177
0.69/0.71	c Elapsed CPU time: 0.702893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #178
0.69/0.71	c Core size: 3	Core Weight: 1	Total Weight: 178
0.69/0.71	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #179
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 179
0.69/0.72	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #180
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.72	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #181
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.72	c Elapsed CPU time: 0.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.724889 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.74	c core #184
0.69/0.74	c Core size: 3	Core Weight: 1	Total Weight: 184
0.69/0.74	c Elapsed CPU time: 0.733888 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.75	c core #186
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 186
0.69/0.75	c Elapsed CPU time: 0.742887 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.746886 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #188
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 188
0.69/0.76	c Elapsed CPU time: 0.751885 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.755885 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #190
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.77	c Elapsed CPU time: 0.760884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #191
0.69/0.77	c Core size: 3	Core Weight: 1	Total Weight: 191
0.69/0.77	c Elapsed CPU time: 0.764883 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.769882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #193
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 193
0.69/0.78	c Elapsed CPU time: 0.773882 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.778881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #195
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.79	c Elapsed CPU time: 0.78288 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.78788 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #197
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.80	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #198
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.80	c Elapsed CPU time: 0.796878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #199
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.81	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #200
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.81	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #201
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #202
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.82	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #203
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.82	c Elapsed CPU time: 0.819875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #204
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 204
0.79/0.83	c Elapsed CPU time: 0.824874 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.828873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #206
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 206
0.79/0.84	c Elapsed CPU time: 0.833873 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.837872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #208
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.85	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #209
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #210
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.86	c Elapsed CPU time: 0.85187 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #211
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.86	c Elapsed CPU time: 0.856869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #212
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.87	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #213
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.87	c Elapsed CPU time: 0.865868 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #214
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.88	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #215
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 215
0.79/0.88	c Elapsed CPU time: 0.875866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #216
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.88	c Elapsed CPU time: 0.879866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #217
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 217
0.79/0.89	c Elapsed CPU time: 0.884865 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.889864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #219
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 219
0.89/0.90	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #220
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.90	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #221
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 221
0.89/0.91	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #222
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.91	c Elapsed CPU time: 0.907861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #223
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.92	c Elapsed CPU time: 0.911861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #224
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.92	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #225
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.93	c Elapsed CPU time: 0.921859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #226
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 226
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #227
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.94	c Elapsed CPU time: 0.931858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #228
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 228
0.89/0.94	c Elapsed CPU time: 0.936857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #229
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.95	c Elapsed CPU time: 0.941856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #230
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.95	c Elapsed CPU time: 0.945856 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #231
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.96	c Elapsed CPU time: 0.950855 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.955854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #233
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.97	c Elapsed CPU time: 0.960853 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.965853 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #235
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.98	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #236
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 236
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #237
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.99	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #238
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 238
0.89/0.99	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #239
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/1.00	c Elapsed CPU time: 0.990849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #240
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.00	c Elapsed CPU time: 0.994848 s	Remaining CPU time: 1799.01 s
0.99/1.01	c core #241
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.01	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #242
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.01	c Elapsed CPU time: 1.00485 s	Remaining CPU time: 1799 s
0.99/1.02	c core #243
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.02	c Elapsed CPU time: 1.00985 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.01484 s	Remaining CPU time: 1798.99 s
0.99/1.03	c core #245
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.03	c Elapsed CPU time: 1.01984 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.02484 s	Remaining CPU time: 1798.98 s
0.99/1.04	c core #247
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.04	c Elapsed CPU time: 1.02984 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.03484 s	Remaining CPU time: 1798.97 s
0.99/1.05	c core #249
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.05	c Elapsed CPU time: 1.03984 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.04484 s	Remaining CPU time: 1798.96 s
0.99/1.06	c core #251
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.06	c Elapsed CPU time: 1.04984 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.05484 s	Remaining CPU time: 1798.95 s
0.99/1.07	c core #253
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.07	c Elapsed CPU time: 1.05984 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.06484 s	Remaining CPU time: 1798.94 s
0.99/1.08	c core #255
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.08	c Elapsed CPU time: 1.06984 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.07484 s	Remaining CPU time: 1798.93 s
0.99/1.09	c core #257
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.09	c Elapsed CPU time: 1.07984 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.08483 s	Remaining CPU time: 1798.92 s
0.99/1.10	c core #259
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.10	c Elapsed CPU time: 1.08983 s	Remaining CPU time: 1798.91 s
1.10/1.10	c core #260
1.10/1.10	c Core size: 3	Core Weight: 1	Total Weight: 260
1.10/1.10	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.10/1.11	c core #261
1.10/1.11	c Core size: 3	Core Weight: 1	Total Weight: 261
1.10/1.11	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.10/1.11	c core #262
1.10/1.11	c Core size: 3	Core Weight: 1	Total Weight: 262
1.10/1.11	c Elapsed CPU time: 1.10483 s	Remaining CPU time: 1798.9 s
1.10/1.12	c core #263
1.10/1.12	c Core size: 3	Core Weight: 1	Total Weight: 263
1.10/1.12	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.10/1.12	c core #264
1.10/1.12	c Core size: 3	Core Weight: 1	Total Weight: 264
1.10/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.10/1.13	c core #265
1.10/1.13	c Core size: 3	Core Weight: 1	Total Weight: 265
1.10/1.13	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.10/1.13	c core #266
1.10/1.13	c Core size: 3	Core Weight: 1	Total Weight: 266
1.10/1.13	c Elapsed CPU time: 1.12483 s	Remaining CPU time: 1798.88 s
1.10/1.14	c core #267
1.10/1.14	c Core size: 3	Core Weight: 1	Total Weight: 267
1.10/1.14	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 1798.87 s
1.10/1.14	c core #268
1.10/1.14	c Core size: 3	Core Weight: 1	Total Weight: 268
1.10/1.14	c Elapsed CPU time: 1.13483 s	Remaining CPU time: 1798.87 s
1.10/1.15	c core #269
1.10/1.15	c Core size: 3	Core Weight: 1	Total Weight: 269
1.10/1.15	c Elapsed CPU time: 1.13983 s	Remaining CPU time: 1798.86 s
1.10/1.15	c core #270
1.10/1.15	c Core size: 3	Core Weight: 1	Total Weight: 270
1.10/1.15	c Elapsed CPU time: 1.14583 s	Remaining CPU time: 1798.85 s
1.10/1.16	c core #271
1.10/1.16	c Core size: 3	Core Weight: 1	Total Weight: 271
1.10/1.16	c Elapsed CPU time: 1.15082 s	Remaining CPU time: 1798.85 s
1.10/1.16	c core #272
1.10/1.16	c Core size: 3	Core Weight: 1	Total Weight: 272
1.10/1.16	c Elapsed CPU time: 1.15582 s	Remaining CPU time: 1798.84 s
1.10/1.17	c core #273
1.10/1.17	c Core size: 3	Core Weight: 1	Total Weight: 273
1.10/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.10/1.17	c core #274
1.10/1.17	c Core size: 3	Core Weight: 1	Total Weight: 274
1.10/1.17	c Elapsed CPU time: 1.16582 s	Remaining CPU time: 1798.83 s
1.10/1.18	c core #275
1.10/1.18	c Core size: 3	Core Weight: 1	Total Weight: 275
1.10/1.18	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 1798.83 s
1.10/1.18	c core #276
1.10/1.18	c Core size: 3	Core Weight: 1	Total Weight: 276
1.10/1.18	c Elapsed CPU time: 1.17582 s	Remaining CPU time: 1798.82 s
1.10/1.19	c core #277
1.10/1.19	c Core size: 3	Core Weight: 1	Total Weight: 277
1.10/1.19	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 1798.82 s
1.10/1.19	c core #278
1.10/1.19	c Core size: 3	Core Weight: 1	Total Weight: 278
1.10/1.19	c Elapsed CPU time: 1.18582 s	Remaining CPU time: 1798.81 s
1.10/1.20	c core #279
1.10/1.20	c Core size: 3	Core Weight: 1	Total Weight: 279
1.10/1.20	c Elapsed CPU time: 1.19182 s	Remaining CPU time: 1798.81 s
1.20/1.20	c core #280
1.20/1.20	c Core size: 3	Core Weight: 1	Total Weight: 280
1.20/1.20	c Elapsed CPU time: 1.19682 s	Remaining CPU time: 1798.8 s
1.20/1.21	c core #281
1.20/1.21	c Core size: 3	Core Weight: 1	Total Weight: 281
1.20/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.20/1.21	c core #282
1.20/1.21	c Core size: 3	Core Weight: 1	Total Weight: 282
1.20/1.21	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.20/1.22	c core #283
1.20/1.22	c Core size: 3	Core Weight: 1	Total Weight: 283
1.20/1.22	c Elapsed CPU time: 1.21182 s	Remaining CPU time: 1798.79 s
1.20/1.22	c core #284
1.20/1.22	c Core size: 3	Core Weight: 1	Total Weight: 284
1.20/1.22	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.20/1.23	c core #285
1.20/1.23	c Core size: 3	Core Weight: 1	Total Weight: 285
1.20/1.23	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 1798.78 s
1.20/1.23	c core #286
1.20/1.23	c Core size: 3	Core Weight: 1	Total Weight: 286
1.20/1.23	c Elapsed CPU time: 1.22781 s	Remaining CPU time: 1798.77 s
1.20/1.24	c core #287
1.20/1.24	c Core size: 3	Core Weight: 1	Total Weight: 287
1.20/1.24	c Elapsed CPU time: 1.23281 s	Remaining CPU time: 1798.77 s
1.20/1.24	c core #288
1.20/1.24	c Core size: 3	Core Weight: 1	Total Weight: 288
1.20/1.24	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.20/1.25	c core #289
1.20/1.25	c Core size: 3	Core Weight: 1	Total Weight: 289
1.20/1.25	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 1798.76 s
1.20/1.25	c core #290
1.20/1.25	c Core size: 3	Core Weight: 1	Total Weight: 290
1.20/1.25	c Elapsed CPU time: 1.24781 s	Remaining CPU time: 1798.75 s
1.20/1.26	c core #291
1.20/1.26	c Core size: 3	Core Weight: 1	Total Weight: 291
1.20/1.26	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.20/1.27	c core #292
1.20/1.27	c Core size: 3	Core Weight: 1	Total Weight: 292
1.20/1.27	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 1798.74 s
1.20/1.27	c core #293
1.20/1.27	c Core size: 3	Core Weight: 1	Total Weight: 293
1.20/1.27	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 1798.74 s
1.20/1.28	c core #294
1.20/1.28	c Core size: 3	Core Weight: 1	Total Weight: 294
1.20/1.28	c Elapsed CPU time: 1.26881 s	Remaining CPU time: 1798.73 s
1.20/1.28	c core #295
1.20/1.28	c Core size: 3	Core Weight: 1	Total Weight: 295
1.20/1.28	c Elapsed CPU time: 1.27381 s	Remaining CPU time: 1798.73 s
1.20/1.29	c core #296
1.20/1.29	c Core size: 3	Core Weight: 1	Total Weight: 296
1.20/1.29	c Elapsed CPU time: 1.2788 s	Remaining CPU time: 1798.72 s
1.20/1.29	c core #297
1.20/1.29	c Core size: 3	Core Weight: 1	Total Weight: 297
1.20/1.29	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 1798.72 s
1.20/1.30	c core #298
1.20/1.30	c Core size: 3	Core Weight: 1	Total Weight: 298
1.20/1.30	c Elapsed CPU time: 1.2898 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #299
1.29/1.30	c Core size: 3	Core Weight: 1	Total Weight: 299
1.29/1.30	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #300
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 300
1.29/1.31	c Elapsed CPU time: 1.2998 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #301
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 301
1.29/1.31	c Elapsed CPU time: 1.3048 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #302
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 302
1.29/1.32	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #303
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 303
1.29/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #304
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 304
1.29/1.33	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #305
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 305
1.29/1.33	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #306
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 306
1.29/1.34	c Elapsed CPU time: 1.3298 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #307
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 307
1.29/1.34	c Elapsed CPU time: 1.3358 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #308
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 308
1.29/1.35	c Elapsed CPU time: 1.3408 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #309
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 309
1.29/1.35	c Elapsed CPU time: 1.3458 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #310
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 310
1.29/1.36	c Elapsed CPU time: 1.35079 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #311
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 311
1.29/1.36	c Elapsed CPU time: 1.35679 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #312
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 312
1.29/1.37	c Elapsed CPU time: 1.36179 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #313
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 313
1.29/1.37	c Elapsed CPU time: 1.36679 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #314
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 314
1.29/1.38	c Elapsed CPU time: 1.37179 s	Remaining CPU time: 1798.63 s
1.29/1.39	c core #315
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 315
1.29/1.39	c Elapsed CPU time: 1.37779 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #316
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 316
1.29/1.39	c Elapsed CPU time: 1.38279 s	Remaining CPU time: 1798.62 s
1.29/1.40	c core #317
1.29/1.40	c Core size: 3	Core Weight: 1	Total Weight: 317
1.29/1.40	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #318
1.39/1.40	c Core size: 3	Core Weight: 1	Total Weight: 318
1.39/1.40	c Elapsed CPU time: 1.39279 s	Remaining CPU time: 1798.61 s
1.39/1.41	c core #319
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 319
1.39/1.41	c Elapsed CPU time: 1.39779 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #320
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 320
1.39/1.41	c Elapsed CPU time: 1.40279 s	Remaining CPU time: 1798.6 s
1.39/1.42	c core #321
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 321
1.39/1.42	c Elapsed CPU time: 1.40878 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #322
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 322
1.39/1.42	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 1798.59 s
1.39/1.43	c core #323
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 323
1.39/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #324
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 324
1.39/1.43	c Elapsed CPU time: 1.42378 s	Remaining CPU time: 1798.58 s
1.39/1.44	c core #325
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 325
1.39/1.44	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #326
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 326
1.39/1.44	c Elapsed CPU time: 1.43478 s	Remaining CPU time: 1798.57 s
1.39/1.45	c core #327
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 327
1.39/1.45	c Elapsed CPU time: 1.43978 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #328
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 328
1.39/1.45	c Elapsed CPU time: 1.44478 s	Remaining CPU time: 1798.56 s
1.39/1.46	c core #329
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 329
1.39/1.46	c Elapsed CPU time: 1.45078 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #330
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 330
1.39/1.46	c Elapsed CPU time: 1.45578 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #331
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 331
1.39/1.47	c Elapsed CPU time: 1.46078 s	Remaining CPU time: 1798.54 s
1.39/1.48	c core #332
1.39/1.48	c Core size: 3	Core Weight: 1	Total Weight: 332
1.39/1.48	c Elapsed CPU time: 1.46678 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #333
1.39/1.48	c Core size: 3	Core Weight: 1	Total Weight: 333
1.39/1.48	c Elapsed CPU time: 1.47178 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #334
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 334
1.39/1.49	c Elapsed CPU time: 1.47677 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #335
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 335
1.39/1.49	c Elapsed CPU time: 1.48277 s	Remaining CPU time: 1798.52 s
1.39/1.50	c core #336
1.39/1.50	c Core size: 3	Core Weight: 1	Total Weight: 336
1.39/1.50	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #337
1.49/1.50	c Core size: 3	Core Weight: 1	Total Weight: 337
1.49/1.50	c Elapsed CPU time: 1.49377 s	Remaining CPU time: 1798.51 s
1.49/1.51	c core #338
1.49/1.51	c Core size: 3	Core Weight: 1	Total Weight: 338
1.49/1.51	c Elapsed CPU time: 1.49877 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #339
1.49/1.51	c Core size: 3	Core Weight: 1	Total Weight: 339
1.49/1.51	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 1798.5 s
1.49/1.52	c core #340
1.49/1.52	c Core size: 3	Core Weight: 1	Total Weight: 340
1.49/1.52	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #341
1.49/1.52	c Core size: 3	Core Weight: 1	Total Weight: 341
1.49/1.52	c Elapsed CPU time: 1.51477 s	Remaining CPU time: 1798.49 s
1.49/1.53	c core #342
1.49/1.53	c Core size: 3	Core Weight: 1	Total Weight: 342
1.49/1.53	c Elapsed CPU time: 1.51977 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #343
1.49/1.53	c Core size: 3	Core Weight: 1	Total Weight: 343
1.49/1.53	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.49/1.54	c core #344
1.49/1.54	c Core size: 3	Core Weight: 1	Total Weight: 344
1.49/1.54	c Elapsed CPU time: 1.53077 s	Remaining CPU time: 1798.47 s
1.49/1.54	c core #345
1.49/1.54	c Core size: 3	Core Weight: 1	Total Weight: 345
1.49/1.54	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.49/1.55	c core #346
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 346
1.49/1.55	c Elapsed CPU time: 1.54177 s	Remaining CPU time: 1798.46 s
1.49/1.56	c core #347
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 347
1.49/1.56	c Elapsed CPU time: 1.54676 s	Remaining CPU time: 1798.45 s
1.49/1.56	c core #348
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 348
1.49/1.56	c Elapsed CPU time: 1.55176 s	Remaining CPU time: 1798.45 s
1.49/1.57	c core #349
1.49/1.57	c Core size: 3	Core Weight: 1	Total Weight: 349
1.49/1.57	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 1798.44 s
1.49/1.57	c core #350
1.49/1.57	c Core size: 3	Core Weight: 1	Total Weight: 350
1.49/1.57	c Elapsed CPU time: 1.56276 s	Remaining CPU time: 1798.44 s
1.49/1.58	c core #351
1.49/1.58	c Core size: 3	Core Weight: 1	Total Weight: 351
1.49/1.58	c Elapsed CPU time: 1.56876 s	Remaining CPU time: 1798.43 s
1.49/1.58	c core #352
1.49/1.58	c Core size: 3	Core Weight: 1	Total Weight: 352
1.49/1.58	c Elapsed CPU time: 1.57376 s	Remaining CPU time: 1798.43 s
1.49/1.59	c core #353
1.49/1.59	c Core size: 3	Core Weight: 1	Total Weight: 353
1.49/1.59	c Elapsed CPU time: 1.57976 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #354
1.49/1.59	c Core size: 3	Core Weight: 1	Total Weight: 354
1.49/1.59	c Elapsed CPU time: 1.58476 s	Remaining CPU time: 1798.42 s
1.59/1.60	c core #355
1.59/1.60	c Core size: 3	Core Weight: 1	Total Weight: 355
1.59/1.60	c Elapsed CPU time: 1.59076 s	Remaining CPU time: 1798.41 s
1.59/1.60	c core #356
1.59/1.60	c Core size: 3	Core Weight: 1	Total Weight: 356
1.59/1.60	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #357
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 357
1.59/1.61	c Elapsed CPU time: 1.60176 s	Remaining CPU time: 1798.4 s
1.59/1.62	c core #358
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 358
1.59/1.62	c Elapsed CPU time: 1.60676 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #359
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 359
1.59/1.62	c Elapsed CPU time: 1.61275 s	Remaining CPU time: 1798.39 s
1.59/1.63	c core #360
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 360
1.59/1.63	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #361
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 361
1.59/1.63	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 1798.38 s
1.59/1.64	c core #362
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 362
1.59/1.64	c Elapsed CPU time: 1.62875 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #363
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 363
1.59/1.64	c Elapsed CPU time: 1.63375 s	Remaining CPU time: 1798.37 s
1.59/1.65	c core #364
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 364
1.59/1.65	c Elapsed CPU time: 1.63975 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #365
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 365
1.59/1.65	c Elapsed CPU time: 1.64475 s	Remaining CPU time: 1798.36 s
1.59/1.66	c core #366
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 366
1.59/1.66	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 1798.35 s
1.59/1.67	c core #367
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 367
1.59/1.67	c Elapsed CPU time: 1.65675 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #368
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 368
1.59/1.67	c Elapsed CPU time: 1.66275 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #369
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 369
1.59/1.68	c Elapsed CPU time: 1.66675 s	Remaining CPU time: 1798.33 s
1.59/1.68	c core #370
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 370
1.59/1.68	c Elapsed CPU time: 1.67274 s	Remaining CPU time: 1798.33 s
1.59/1.69	c core #371
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 371
1.59/1.69	c Elapsed CPU time: 1.67874 s	Remaining CPU time: 1798.32 s
1.59/1.69	c core #372
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 372
1.59/1.69	c Elapsed CPU time: 1.68474 s	Remaining CPU time: 1798.32 s
1.69/1.70	c core #373
1.69/1.70	c Core size: 3	Core Weight: 1	Total Weight: 373
1.69/1.70	c Elapsed CPU time: 1.68974 s	Remaining CPU time: 1798.31 s
1.69/1.71	c core #374
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 374
1.69/1.71	c Elapsed CPU time: 1.69574 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #375
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 375
1.69/1.71	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 1798.3 s
1.69/1.72	c core #376
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 376
1.69/1.72	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #377
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 377
1.69/1.72	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.69/1.73	c core #378
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 378
1.69/1.73	c Elapsed CPU time: 1.71774 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #379
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 379
1.69/1.73	c Elapsed CPU time: 1.72274 s	Remaining CPU time: 1798.28 s
1.69/1.74	c core #380
1.69/1.74	c Core size: 3	Core Weight: 1	Total Weight: 380
1.69/1.74	c Elapsed CPU time: 1.72874 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #381
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 381
1.69/1.75	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #382
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 382
1.69/1.75	c Elapsed CPU time: 1.73974 s	Remaining CPU time: 1798.26 s
1.69/1.76	c core #383
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 383
1.69/1.76	c Elapsed CPU time: 1.74573 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #384
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 384
1.69/1.76	c Elapsed CPU time: 1.75173 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #385
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 385
1.69/1.77	c Elapsed CPU time: 1.75573 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #386
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 386
1.69/1.77	c Elapsed CPU time: 1.76173 s	Remaining CPU time: 1798.24 s
1.69/1.78	c core #387
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 387
1.69/1.78	c Elapsed CPU time: 1.76773 s	Remaining CPU time: 1798.23 s
1.69/1.79	c core #388
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 388
1.69/1.79	c Elapsed CPU time: 1.77373 s	Remaining CPU time: 1798.23 s
1.69/1.79	c core #389
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 389
1.69/1.79	c Elapsed CPU time: 1.77873 s	Remaining CPU time: 1798.22 s
1.69/1.80	c core #390
1.69/1.80	c Core size: 3	Core Weight: 1	Total Weight: 390
1.69/1.80	c Elapsed CPU time: 1.78473 s	Remaining CPU time: 1798.22 s
1.79/1.80	c core #391
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 391
1.79/1.80	c Elapsed CPU time: 1.79073 s	Remaining CPU time: 1798.21 s
1.79/1.81	c core #392
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 392
1.79/1.81	c Elapsed CPU time: 1.79673 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #393
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 393
1.79/1.81	c Elapsed CPU time: 1.80173 s	Remaining CPU time: 1798.2 s
1.79/1.82	c core #394
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 394
1.79/1.82	c Elapsed CPU time: 1.80773 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #395
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 395
1.79/1.83	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #396
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 396
1.79/1.83	c Elapsed CPU time: 1.81972 s	Remaining CPU time: 1798.18 s
1.79/1.84	c core #397
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 397
1.79/1.84	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.79/1.84	c core #398
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 398
1.79/1.84	c Elapsed CPU time: 1.83072 s	Remaining CPU time: 1798.17 s
1.79/1.85	c core #399
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 399
1.79/1.85	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #400
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 400
1.79/1.85	c Elapsed CPU time: 1.84272 s	Remaining CPU time: 1798.16 s
1.79/1.86	c core #401
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 401
1.79/1.86	c Elapsed CPU time: 1.84872 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #402
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 402
1.79/1.87	c Elapsed CPU time: 1.85372 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #403
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 403
1.79/1.87	c Elapsed CPU time: 1.85972 s	Remaining CPU time: 1798.14 s
1.79/1.88	c core #404
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 404
1.79/1.88	c Elapsed CPU time: 1.86572 s	Remaining CPU time: 1798.13 s
1.79/1.88	c core #405
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 405
1.79/1.88	c Elapsed CPU time: 1.87172 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #406
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 406
1.79/1.89	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.79/1.90	c core #407
1.79/1.90	c Core size: 3	Core Weight: 1	Total Weight: 407
1.79/1.90	c Elapsed CPU time: 1.88371 s	Remaining CPU time: 1798.12 s
1.89/1.90	c core #408
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 408
1.89/1.90	c Elapsed CPU time: 1.88871 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #409
1.89/1.91	c Core size: 3	Core Weight: 1	Total Weight: 409
1.89/1.91	c Elapsed CPU time: 1.89471 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #410
1.89/1.91	c Core size: 3	Core Weight: 1	Total Weight: 410
1.89/1.91	c Elapsed CPU time: 1.90071 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #411
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 411
1.89/1.92	c Elapsed CPU time: 1.90671 s	Remaining CPU time: 1798.09 s
1.89/1.92	c core #412
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 412
1.89/1.92	c Elapsed CPU time: 1.91271 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #413
1.89/1.93	c Core size: 3	Core Weight: 1	Total Weight: 413
1.89/1.93	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #414
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 414
1.89/1.94	c Elapsed CPU time: 1.92371 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #415
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 415
1.89/1.94	c Elapsed CPU time: 1.92871 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #416
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 416
1.89/1.95	c Elapsed CPU time: 1.93471 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #417
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 417
1.89/1.95	c Elapsed CPU time: 1.9407 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #418
1.89/1.96	c Core size: 3	Core Weight: 1	Total Weight: 418
1.89/1.96	c Elapsed CPU time: 1.9467 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #419
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 419
1.89/1.97	c Elapsed CPU time: 1.9517 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #420
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 420
1.89/1.97	c Elapsed CPU time: 1.9577 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #421
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 421
1.89/1.98	c Elapsed CPU time: 1.9637 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #422
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 422
1.89/1.98	c Elapsed CPU time: 1.9697 s	Remaining CPU time: 1798.03 s
1.89/1.99	c core #423
1.89/1.99	c Core size: 3	Core Weight: 1	Total Weight: 423
1.89/1.99	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.89/1.99	c core #424
1.89/1.99	c Core size: 3	Core Weight: 1	Total Weight: 424
1.89/1.99	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #425
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 425
1.99/2.00	c Elapsed CPU time: 1.9867 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #426
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 426
1.99/2.01	c Elapsed CPU time: 1.9927 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #427
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 427
1.99/2.01	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.99/2.02	c core #428
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 428
1.99/2.02	c Elapsed CPU time: 2.00469 s	Remaining CPU time: 1798 s
1.99/2.02	c core #429
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 429
1.99/2.02	c Elapsed CPU time: 2.00969 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #430
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 430
1.99/2.03	c Elapsed CPU time: 2.01569 s	Remaining CPU time: 1797.98 s
1.99/2.03	c core #431
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 431
1.99/2.03	c Elapsed CPU time: 2.02169 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #432
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 432
1.99/2.04	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #433
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 433
1.99/2.05	c Elapsed CPU time: 2.03269 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #434
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 434
1.99/2.05	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #435
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 435
1.99/2.06	c Elapsed CPU time: 2.04469 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #436
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 436
1.99/2.06	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #437
1.99/2.07	c Core size: 3	Core Weight: 1	Total Weight: 437
1.99/2.07	c Elapsed CPU time: 2.05669 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #438
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 438
1.99/2.08	c Elapsed CPU time: 2.06269 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #439
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 439
1.99/2.08	c Elapsed CPU time: 2.06868 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #440
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 440
1.99/2.09	c Elapsed CPU time: 2.07368 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #441
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 441
1.99/2.09	c Elapsed CPU time: 2.07968 s	Remaining CPU time: 1797.92 s
2.09/2.10	c core #442
2.09/2.10	c Core size: 3	Core Weight: 1	Total Weight: 442
2.09/2.10	c Elapsed CPU time: 2.08568 s	Remaining CPU time: 1797.91 s
2.09/2.10	c core #443
2.09/2.10	c Core size: 3	Core Weight: 1	Total Weight: 443
2.09/2.10	c Elapsed CPU time: 2.09168 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #444
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 444
2.09/2.11	c Elapsed CPU time: 2.09768 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #445
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 445
2.09/2.12	c Elapsed CPU time: 2.10268 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #446
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 446
2.09/2.12	c Elapsed CPU time: 2.10868 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #447
2.09/2.13	c Core size: 3	Core Weight: 1	Total Weight: 447
2.09/2.13	c Elapsed CPU time: 2.11468 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #448
2.09/2.13	c Core size: 3	Core Weight: 1	Total Weight: 448
2.09/2.13	c Elapsed CPU time: 2.12068 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #449
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 449
2.09/2.14	c Elapsed CPU time: 2.12668 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #450
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 450
2.09/2.15	c Elapsed CPU time: 2.13368 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #451
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 451
2.09/2.15	c Elapsed CPU time: 2.13967 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #452
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 452
2.09/2.16	c Elapsed CPU time: 2.14567 s	Remaining CPU time: 1797.85 s
2.09/2.16	c core #453
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 453
2.09/2.16	c Elapsed CPU time: 2.15167 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #454
2.09/2.17	c Core size: 3	Core Weight: 1	Total Weight: 454
2.09/2.17	c Elapsed CPU time: 2.15767 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #455
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 455
2.09/2.18	c Elapsed CPU time: 2.16267 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #456
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 456
2.09/2.18	c Elapsed CPU time: 2.16867 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #457
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 457
2.09/2.19	c Elapsed CPU time: 2.17467 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #458
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 458
2.09/2.19	c Elapsed CPU time: 2.18067 s	Remaining CPU time: 1797.82 s
2.19/2.20	c core #459
2.19/2.20	c Core size: 3	Core Weight: 1	Total Weight: 459
2.19/2.20	c Elapsed CPU time: 2.18667 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #460
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 460
2.19/2.21	c Elapsed CPU time: 2.19267 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #461
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 461
2.19/2.21	c Elapsed CPU time: 2.19867 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #462
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 462
2.19/2.22	c Elapsed CPU time: 2.20466 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #463
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 463
2.19/2.22	c Elapsed CPU time: 2.21166 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #464
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 464
2.19/2.23	c Elapsed CPU time: 2.21666 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #465
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 465
2.19/2.24	c Elapsed CPU time: 2.22266 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #466
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 466
2.19/2.24	c Elapsed CPU time: 2.22866 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #467
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 467
2.19/2.25	c Elapsed CPU time: 2.23466 s	Remaining CPU time: 1797.77 s
2.19/2.26	c core #468
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 468
2.19/2.26	c Elapsed CPU time: 2.24066 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #469
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 469
2.19/2.26	c Elapsed CPU time: 2.24666 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #470
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 470
2.19/2.27	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #471
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 471
2.19/2.27	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #472
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 472
2.19/2.28	c Elapsed CPU time: 2.26465 s	Remaining CPU time: 1797.74 s
2.19/2.29	c core #473
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 473
2.19/2.29	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #474
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 474
2.19/2.29	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.19/2.30	c core #475
2.19/2.30	c Core size: 3	Core Weight: 1	Total Weight: 475
2.19/2.30	c Elapsed CPU time: 2.28265 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #476
2.29/2.30	c Core size: 3	Core Weight: 1	Total Weight: 476
2.29/2.30	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #477
2.29/2.31	c Core size: 3	Core Weight: 1	Total Weight: 477
2.29/2.31	c Elapsed CPU time: 2.29565 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #478
2.29/2.32	c Core size: 3	Core Weight: 1	Total Weight: 478
2.29/2.32	c Elapsed CPU time: 2.30165 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #479
2.29/2.32	c Core size: 3	Core Weight: 1	Total Weight: 479
2.29/2.32	c Elapsed CPU time: 2.30765 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #480
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 480
2.29/2.33	c Elapsed CPU time: 2.31365 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #481
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 481
2.29/2.33	c Elapsed CPU time: 2.31965 s	Remaining CPU time: 1797.68 s
2.29/2.34	c core #482
2.29/2.34	c Core size: 3	Core Weight: 1	Total Weight: 482
2.29/2.34	c Elapsed CPU time: 2.32565 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #483
2.29/2.35	c Core size: 3	Core Weight: 1	Total Weight: 483
2.29/2.35	c Elapsed CPU time: 2.33164 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #484
2.29/2.35	c Core size: 3	Core Weight: 1	Total Weight: 484
2.29/2.35	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #485
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 485
2.29/2.36	c Elapsed CPU time: 2.34464 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #486
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 486
2.29/2.36	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #487
2.29/2.37	c Core size: 3	Core Weight: 1	Total Weight: 487
2.29/2.37	c Elapsed CPU time: 2.35664 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #488
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 488
2.29/2.38	c Elapsed CPU time: 2.36264 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #489
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 489
2.29/2.38	c Elapsed CPU time: 2.36864 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #490
2.29/2.39	c Core size: 3	Core Weight: 1	Total Weight: 490
2.29/2.39	c Elapsed CPU time: 2.37464 s	Remaining CPU time: 1797.63 s
2.29/2.40	c core #491
2.29/2.40	c Core size: 3	Core Weight: 1	Total Weight: 491
2.29/2.40	c Elapsed CPU time: 2.38064 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #492
2.39/2.40	c Core size: 3	Core Weight: 1	Total Weight: 492
2.39/2.40	c Elapsed CPU time: 2.38764 s	Remaining CPU time: 1797.61 s
2.39/2.41	c core #493
2.39/2.41	c Core size: 3	Core Weight: 1	Total Weight: 493
2.39/2.41	c Elapsed CPU time: 2.39364 s	Remaining CPU time: 1797.61 s
2.39/2.41	c core #494
2.39/2.41	c Core size: 3	Core Weight: 1	Total Weight: 494
2.39/2.41	c Elapsed CPU time: 2.39963 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #495
2.39/2.42	c Core size: 3	Core Weight: 1	Total Weight: 495
2.39/2.42	c Elapsed CPU time: 2.40663 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #496
2.39/2.43	c Core size: 3	Core Weight: 1	Total Weight: 496
2.39/2.43	c Elapsed CPU time: 2.41263 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #497
2.39/2.43	c Core size: 3	Core Weight: 1	Total Weight: 497
2.39/2.43	c Elapsed CPU time: 2.41863 s	Remaining CPU time: 1797.58 s
2.39/2.44	c core #498
2.39/2.44	c Core size: 3	Core Weight: 1	Total Weight: 498
2.39/2.44	c Elapsed CPU time: 2.42463 s	Remaining CPU time: 1797.58 s
2.39/2.45	c core #499
2.39/2.45	c Core size: 3	Core Weight: 1	Total Weight: 499
2.39/2.45	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 1797.57 s
2.39/2.45	c core #500
2.39/2.45	c Core size: 3	Core Weight: 1	Total Weight: 500
2.39/2.45	c Elapsed CPU time: 2.43763 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #501
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 501
2.39/2.46	c Elapsed CPU time: 2.44363 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #502
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 502
2.39/2.46	c Elapsed CPU time: 2.44963 s	Remaining CPU time: 1797.55 s
2.39/2.47	c core #503
2.39/2.47	c Core size: 3	Core Weight: 1	Total Weight: 503
2.39/2.47	c Elapsed CPU time: 2.45663 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #504
2.39/2.48	c Core size: 3	Core Weight: 1	Total Weight: 504
2.39/2.48	c Elapsed CPU time: 2.46263 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #505
2.39/2.48	c Core size: 3	Core Weight: 1	Total Weight: 505
2.39/2.48	c Elapsed CPU time: 2.46862 s	Remaining CPU time: 1797.53 s
2.39/2.49	c core #506
2.39/2.49	c Core size: 3	Core Weight: 1	Total Weight: 506
2.39/2.49	c Elapsed CPU time: 2.47562 s	Remaining CPU time: 1797.52 s
2.39/2.50	c core #507
2.39/2.50	c Core size: 3	Core Weight: 1	Total Weight: 507
2.39/2.50	c Elapsed CPU time: 2.48162 s	Remaining CPU time: 1797.52 s
2.49/2.50	c core #508
2.49/2.50	c Core size: 3	Core Weight: 1	Total Weight: 508
2.49/2.50	c Elapsed CPU time: 2.48762 s	Remaining CPU time: 1797.51 s
2.49/2.51	c core #509
2.49/2.51	c Core size: 3	Core Weight: 1	Total Weight: 509
2.49/2.51	c Elapsed CPU time: 2.49462 s	Remaining CPU time: 1797.51 s
2.49/2.51	c core #510
2.49/2.51	c Core size: 3	Core Weight: 1	Total Weight: 510
2.49/2.51	c Elapsed CPU time: 2.50062 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #511
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 511
2.49/2.52	c Elapsed CPU time: 2.50662 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #512
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 512
2.49/2.53	c Elapsed CPU time: 2.51362 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #513
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 513
2.49/2.53	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 1797.48 s
2.49/2.54	c core #514
2.49/2.54	c Core size: 3	Core Weight: 1	Total Weight: 514
2.49/2.54	c Elapsed CPU time: 2.52562 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #515
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 515
2.49/2.55	c Elapsed CPU time: 2.53261 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #516
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 516
2.49/2.55	c Elapsed CPU time: 2.53861 s	Remaining CPU time: 1797.46 s
2.49/2.56	c core #517
2.49/2.56	c Core size: 3	Core Weight: 1	Total Weight: 517
2.49/2.56	c Elapsed CPU time: 2.54461 s	Remaining CPU time: 1797.46 s
2.49/2.57	c core #518
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 518
2.49/2.57	c Elapsed CPU time: 2.55161 s	Remaining CPU time: 1797.45 s
2.49/2.57	c core #519
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 519
2.49/2.57	c Elapsed CPU time: 2.55761 s	Remaining CPU time: 1797.44 s
2.49/2.58	c core #520
2.49/2.58	c Core size: 3	Core Weight: 1	Total Weight: 520
2.49/2.58	c Elapsed CPU time: 2.56461 s	Remaining CPU time: 1797.44 s
2.49/2.59	c core #521
2.49/2.59	c Core size: 3	Core Weight: 1	Total Weight: 521
2.49/2.59	c Elapsed CPU time: 2.57061 s	Remaining CPU time: 1797.43 s
2.49/2.59	c core #522
2.49/2.59	c Core size: 3	Core Weight: 1	Total Weight: 522
2.49/2.59	c Elapsed CPU time: 2.57761 s	Remaining CPU time: 1797.42 s
2.59/2.60	c core #523
2.59/2.60	c Core size: 3	Core Weight: 1	Total Weight: 523
2.59/2.60	c Elapsed CPU time: 2.58261 s	Remaining CPU time: 1797.42 s
2.59/2.60	c core #524
2.59/2.60	c Core size: 3	Core Weight: 1	Total Weight: 524
2.59/2.60	c Elapsed CPU time: 2.58961 s	Remaining CPU time: 1797.41 s
2.59/2.61	c core #525
2.59/2.61	c Core size: 3	Core Weight: 1	Total Weight: 525
2.59/2.61	c Elapsed CPU time: 2.5956 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #526
2.59/2.62	c Core size: 3	Core Weight: 1	Total Weight: 526
2.59/2.62	c Elapsed CPU time: 2.6016 s	Remaining CPU time: 1797.4 s
2.59/2.62	c core #527
2.59/2.62	c Core size: 3	Core Weight: 1	Total Weight: 527
2.59/2.62	c Elapsed CPU time: 2.6086 s	Remaining CPU time: 1797.39 s
2.59/2.63	c core #528
2.59/2.63	c Core size: 3	Core Weight: 1	Total Weight: 528
2.59/2.63	c Elapsed CPU time: 2.6146 s	Remaining CPU time: 1797.39 s
2.59/2.64	c core #529
2.59/2.64	c Core size: 3	Core Weight: 1	Total Weight: 529
2.59/2.64	c Elapsed CPU time: 2.6206 s	Remaining CPU time: 1797.38 s
2.59/2.64	c core #530
2.59/2.64	c Core size: 3	Core Weight: 1	Total Weight: 530
2.59/2.64	c Elapsed CPU time: 2.6276 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #531
2.59/2.65	c Core size: 3	Core Weight: 1	Total Weight: 531
2.59/2.65	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 1797.37 s
2.59/2.66	c core #532
2.59/2.66	c Core size: 3	Core Weight: 1	Total Weight: 532
2.59/2.66	c Elapsed CPU time: 2.6406 s	Remaining CPU time: 1797.36 s
2.59/2.66	c core #533
2.59/2.66	c Core size: 3	Core Weight: 1	Total Weight: 533
2.59/2.66	c Elapsed CPU time: 2.6466 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #534
2.59/2.67	c Core size: 3	Core Weight: 1	Total Weight: 534
2.59/2.67	c Elapsed CPU time: 2.6526 s	Remaining CPU time: 1797.35 s
2.59/2.67	c core #535
2.59/2.67	c Core size: 3	Core Weight: 1	Total Weight: 535
2.59/2.67	c Elapsed CPU time: 2.65959 s	Remaining CPU time: 1797.34 s
2.59/2.68	c core #536
2.59/2.68	c Core size: 3	Core Weight: 1	Total Weight: 536
2.59/2.68	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 1797.33 s
2.59/2.69	c core #537
2.59/2.69	c Core size: 3	Core Weight: 1	Total Weight: 537
2.59/2.69	c Elapsed CPU time: 2.67159 s	Remaining CPU time: 1797.33 s
2.59/2.69	c core #538
2.59/2.69	c Core size: 3	Core Weight: 1	Total Weight: 538
2.59/2.69	c Elapsed CPU time: 2.67859 s	Remaining CPU time: 1797.32 s
2.69/2.70	c core #539
2.69/2.70	c Core size: 3	Core Weight: 1	Total Weight: 539
2.69/2.70	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 1797.32 s
2.69/2.71	c core #540
2.69/2.71	c Core size: 3	Core Weight: 1	Total Weight: 540
2.69/2.71	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 1797.31 s
2.69/2.71	c core #541
2.69/2.71	c Core size: 3	Core Weight: 1	Total Weight: 541
2.69/2.71	c Elapsed CPU time: 2.69759 s	Remaining CPU time: 1797.3 s
2.69/2.72	c core #542
2.69/2.72	c Core size: 3	Core Weight: 1	Total Weight: 542
2.69/2.72	c Elapsed CPU time: 2.70459 s	Remaining CPU time: 1797.3 s
2.69/2.73	c core #543
2.69/2.73	c Core size: 3	Core Weight: 1	Total Weight: 543
2.69/2.73	c Elapsed CPU time: 2.71059 s	Remaining CPU time: 1797.29 s
2.69/2.73	c core #544
2.69/2.73	c Core size: 3	Core Weight: 1	Total Weight: 544
2.69/2.73	c Elapsed CPU time: 2.71759 s	Remaining CPU time: 1797.28 s
2.69/2.74	c core #545
2.69/2.74	c Core size: 3	Core Weight: 1	Total Weight: 545
2.69/2.74	c Elapsed CPU time: 2.72358 s	Remaining CPU time: 1797.28 s
2.69/2.75	c core #546
2.69/2.75	c Core size: 3	Core Weight: 1	Total Weight: 546
2.69/2.75	c Elapsed CPU time: 2.73058 s	Remaining CPU time: 1797.27 s
2.69/2.75	c core #547
2.69/2.75	c Core size: 3	Core Weight: 1	Total Weight: 547
2.69/2.75	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.69/2.76	c core #548
2.69/2.76	c Core size: 3	Core Weight: 1	Total Weight: 548
2.69/2.76	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 1797.26 s
2.69/2.77	c core #549
2.69/2.77	c Core size: 3	Core Weight: 1	Total Weight: 549
2.69/2.77	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.69/2.77	c core #550
2.69/2.77	c Core size: 3	Core Weight: 1	Total Weight: 550
2.69/2.77	c Elapsed CPU time: 2.75658 s	Remaining CPU time: 1797.24 s
2.69/2.78	c core #551
2.69/2.78	c Core size: 3	Core Weight: 1	Total Weight: 551
2.69/2.78	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.69/2.78	c core #552
2.69/2.78	c Core size: 3	Core Weight: 1	Total Weight: 552
2.69/2.78	c Elapsed CPU time: 2.76958 s	Remaining CPU time: 1797.23 s
2.69/2.79	c core #553
2.69/2.79	c Core size: 3	Core Weight: 1	Total Weight: 553
2.69/2.79	c Elapsed CPU time: 2.77558 s	Remaining CPU time: 1797.22 s
2.79/2.80	c core #554
2.79/2.80	c Core size: 3	Core Weight: 1	Total Weight: 554
2.79/2.80	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.79/2.80	c core #555
2.79/2.80	c Core size: 3	Core Weight: 1	Total Weight: 555
2.79/2.80	c Elapsed CPU time: 2.78858 s	Remaining CPU time: 1797.21 s
2.79/2.81	c core #556
2.79/2.81	c Core size: 3	Core Weight: 1	Total Weight: 556
2.79/2.81	c Elapsed CPU time: 2.79557 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #557
2.79/2.82	c Core size: 3	Core Weight: 1	Total Weight: 557
2.79/2.82	c Elapsed CPU time: 2.80157 s	Remaining CPU time: 1797.2 s
2.79/2.82	c core #558
2.79/2.82	c Core size: 3	Core Weight: 1	Total Weight: 558
2.79/2.82	c Elapsed CPU time: 2.80857 s	Remaining CPU time: 1797.19 s
2.79/2.83	c core #559
2.79/2.83	c Core size: 3	Core Weight: 1	Total Weight: 559
2.79/2.83	c Elapsed CPU time: 2.81457 s	Remaining CPU time: 1797.19 s
2.79/2.84	c core #560
2.79/2.84	c Core size: 3	Core Weight: 1	Total Weight: 560
2.79/2.84	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.79/2.84	c core #561
2.79/2.84	c Core size: 3	Core Weight: 1	Total Weight: 561
2.79/2.84	c Elapsed CPU time: 2.82757 s	Remaining CPU time: 1797.17 s
2.79/2.85	c core #562
2.79/2.85	c Core size: 3	Core Weight: 1	Total Weight: 562
2.79/2.85	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.79/2.86	c core #563
2.79/2.86	c Core size: 3	Core Weight: 1	Total Weight: 563
2.79/2.86	c Elapsed CPU time: 2.84057 s	Remaining CPU time: 1797.16 s
2.79/2.86	c core #564
2.79/2.86	c Core size: 3	Core Weight: 1	Total Weight: 564
2.79/2.86	c Elapsed CPU time: 2.84757 s	Remaining CPU time: 1797.15 s
2.79/2.87	c core #565
2.79/2.87	c Core size: 3	Core Weight: 1	Total Weight: 565
2.79/2.87	c Elapsed CPU time: 2.85357 s	Remaining CPU time: 1797.15 s
2.79/2.88	c core #566
2.79/2.88	c Core size: 3	Core Weight: 1	Total Weight: 566
2.79/2.88	c Elapsed CPU time: 2.86057 s	Remaining CPU time: 1797.14 s
2.79/2.88	c core #567
2.79/2.88	c Core size: 3	Core Weight: 1	Total Weight: 567
2.79/2.88	c Elapsed CPU time: 2.86656 s	Remaining CPU time: 1797.13 s
2.79/2.89	c core #568
2.79/2.89	c Core size: 3	Core Weight: 1	Total Weight: 568
2.79/2.89	c Elapsed CPU time: 2.87356 s	Remaining CPU time: 1797.13 s
2.79/2.90	c core #569
2.79/2.90	c Core size: 3	Core Weight: 1	Total Weight: 569
2.79/2.90	c Elapsed CPU time: 2.87956 s	Remaining CPU time: 1797.12 s
2.89/2.90	c core #570
2.89/2.90	c Core size: 3	Core Weight: 1	Total Weight: 570
2.89/2.90	c Elapsed CPU time: 2.88656 s	Remaining CPU time: 1797.11 s
2.89/2.91	c core #571
2.89/2.91	c Core size: 3	Core Weight: 1	Total Weight: 571
2.89/2.91	c Elapsed CPU time: 2.89356 s	Remaining CPU time: 1797.11 s
2.89/2.92	c core #572
2.89/2.92	c Core size: 3	Core Weight: 1	Total Weight: 572
2.89/2.92	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.89/2.92	c core #573
2.89/2.92	c Core size: 3	Core Weight: 1	Total Weight: 573
2.89/2.92	c Elapsed CPU time: 2.90656 s	Remaining CPU time: 1797.09 s
2.89/2.93	c core #574
2.89/2.93	c Core size: 3	Core Weight: 1	Total Weight: 574
2.89/2.93	c Elapsed CPU time: 2.91356 s	Remaining CPU time: 1797.09 s
2.89/2.94	c core #575
2.89/2.94	c Core size: 3	Core Weight: 1	Total Weight: 575
2.89/2.94	c Elapsed CPU time: 2.92056 s	Remaining CPU time: 1797.08 s
2.89/2.94	c core #576
2.89/2.94	c Core size: 3	Core Weight: 1	Total Weight: 576
2.89/2.94	c Elapsed CPU time: 2.92656 s	Remaining CPU time: 1797.07 s
2.89/2.95	c core #577
2.89/2.95	c Core size: 3	Core Weight: 1	Total Weight: 577
2.89/2.95	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 1797.07 s
2.89/2.96	c core #578
2.89/2.96	c Core size: 3	Core Weight: 1	Total Weight: 578
2.89/2.96	c Elapsed CPU time: 2.93855 s	Remaining CPU time: 1797.06 s
2.89/2.96	c core #579
2.89/2.96	c Core size: 3	Core Weight: 1	Total Weight: 579
2.89/2.96	c Elapsed CPU time: 2.94555 s	Remaining CPU time: 1797.05 s
2.89/2.97	c core #580
2.89/2.97	c Core size: 3	Core Weight: 1	Total Weight: 580
2.89/2.97	c Elapsed CPU time: 2.95255 s	Remaining CPU time: 1797.05 s
2.89/2.98	c core #581
2.89/2.98	c Core size: 3	Core Weight: 1	Total Weight: 581
2.89/2.98	c Elapsed CPU time: 2.95955 s	Remaining CPU time: 1797.04 s
2.89/2.98	c core #582
2.89/2.98	c Core size: 3	Core Weight: 1	Total Weight: 582
2.89/2.98	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 1797.03 s
2.89/2.99	c core #583
2.89/2.99	c Core size: 3	Core Weight: 1	Total Weight: 583
2.89/2.99	c Elapsed CPU time: 2.97255 s	Remaining CPU time: 1797.03 s
2.89/3.00	c core #584
2.89/3.00	c Core size: 3	Core Weight: 1	Total Weight: 584
2.89/3.00	c Elapsed CPU time: 2.97955 s	Remaining CPU time: 1797.02 s
2.98/3.00	c core #585
2.98/3.00	c Core size: 3	Core Weight: 1	Total Weight: 585
2.98/3.00	c Elapsed CPU time: 2.98655 s	Remaining CPU time: 1797.01 s
2.98/3.01	c core #586
2.98/3.01	c Core size: 3	Core Weight: 1	Total Weight: 586
2.98/3.01	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 1797.01 s
2.98/3.02	c core #587
2.98/3.02	c Core size: 3	Core Weight: 1	Total Weight: 587
2.98/3.02	c Elapsed CPU time: 2.99954 s	Remaining CPU time: 1797 s
2.98/3.02	c core #588
2.98/3.02	c Core size: 3	Core Weight: 1	Total Weight: 588
2.98/3.02	c Elapsed CPU time: 3.00654 s	Remaining CPU time: 1796.99 s
2.98/3.03	c core #589
2.98/3.03	c Core size: 3	Core Weight: 1	Total Weight: 589
2.98/3.03	c Elapsed CPU time: 3.01254 s	Remaining CPU time: 1796.99 s
2.98/3.04	c core #590
2.98/3.04	c Core size: 3	Core Weight: 1	Total Weight: 590
2.98/3.04	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 1796.98 s
2.98/3.04	c core #591
2.98/3.04	c Core size: 3	Core Weight: 1	Total Weight: 591
2.98/3.04	c Elapsed CPU time: 3.02654 s	Remaining CPU time: 1796.97 s
2.98/3.05	c core #592
2.98/3.05	c Core size: 3	Core Weight: 1	Total Weight: 592
2.98/3.05	c Elapsed CPU time: 3.03354 s	Remaining CPU time: 1796.97 s
2.98/3.06	c core #593
2.98/3.06	c Core size: 3	Core Weight: 1	Total Weight: 593
2.98/3.06	c Elapsed CPU time: 3.03954 s	Remaining CPU time: 1796.96 s
2.98/3.06	c core #594
2.98/3.06	c Core size: 3	Core Weight: 1	Total Weight: 594
2.98/3.06	c Elapsed CPU time: 3.04554 s	Remaining CPU time: 1796.95 s
2.98/3.07	c core #595
2.98/3.07	c Core size: 3	Core Weight: 1	Total Weight: 595
2.98/3.07	c Elapsed CPU time: 3.05253 s	Remaining CPU time: 1796.95 s
2.98/3.08	c core #596
2.98/3.08	c Core size: 3	Core Weight: 1	Total Weight: 596
2.98/3.08	c Elapsed CPU time: 3.05953 s	Remaining CPU time: 1796.94 s
2.98/3.08	c core #597
2.98/3.08	c Core size: 3	Core Weight: 1	Total Weight: 597
2.98/3.08	c Elapsed CPU time: 3.06553 s	Remaining CPU time: 1796.93 s
2.98/3.09	c core #598
2.98/3.09	c Core size: 3	Core Weight: 1	Total Weight: 598
2.98/3.09	c Elapsed CPU time: 3.07253 s	Remaining CPU time: 1796.93 s
3.09/3.10	c core #599
3.09/3.10	c Core size: 3	Core Weight: 1	Total Weight: 599
3.09/3.10	c Elapsed CPU time: 3.07953 s	Remaining CPU time: 1796.92 s
3.09/3.10	c core #600
3.09/3.10	c Core size: 3	Core Weight: 1	Total Weight: 600
3.09/3.10	c Elapsed CPU time: 3.08653 s	Remaining CPU time: 1796.91 s
3.09/3.11	c core #601
3.09/3.11	c Core size: 3	Core Weight: 1	Total Weight: 601
3.09/3.11	c Elapsed CPU time: 3.09353 s	Remaining CPU time: 1796.91 s
3.09/3.12	c core #602
3.09/3.12	c Core size: 3	Core Weight: 1	Total Weight: 602
3.09/3.12	c Elapsed CPU time: 3.09953 s	Remaining CPU time: 1796.9 s
3.09/3.13	c core #603
3.09/3.13	c Core size: 3	Core Weight: 1	Total Weight: 603
3.09/3.13	c Elapsed CPU time: 3.10653 s	Remaining CPU time: 1796.89 s
3.09/3.13	c core #604
3.09/3.13	c Core size: 3	Core Weight: 1	Total Weight: 604
3.09/3.13	c Elapsed CPU time: 3.11353 s	Remaining CPU time: 1796.89 s
3.09/3.14	c core #605
3.09/3.14	c Core size: 3	Core Weight: 1	Total Weight: 605
3.09/3.14	c Elapsed CPU time: 3.12052 s	Remaining CPU time: 1796.88 s
3.09/3.15	c core #606
3.09/3.15	c Core size: 3	Core Weight: 1	Total Weight: 606
3.09/3.15	c Elapsed CPU time: 3.12752 s	Remaining CPU time: 1796.87 s
3.09/3.15	c core #607
3.09/3.15	c Core size: 3	Core Weight: 1	Total Weight: 607
3.09/3.15	c Elapsed CPU time: 3.13452 s	Remaining CPU time: 1796.87 s
3.09/3.16	c core #608
3.09/3.16	c Core size: 3	Core Weight: 1	Total Weight: 608
3.09/3.16	c Elapsed CPU time: 3.14052 s	Remaining CPU time: 1796.86 s
3.09/3.17	c core #609
3.09/3.17	c Core size: 3	Core Weight: 1	Total Weight: 609
3.09/3.17	c Elapsed CPU time: 3.14752 s	Remaining CPU time: 1796.85 s
3.09/3.17	c core #610
3.09/3.17	c Core size: 3	Core Weight: 1	Total Weight: 610
3.09/3.17	c Elapsed CPU time: 3.15452 s	Remaining CPU time: 1796.85 s
3.09/3.18	c core #611
3.09/3.18	c Core size: 3	Core Weight: 1	Total Weight: 611
3.09/3.18	c Elapsed CPU time: 3.16052 s	Remaining CPU time: 1796.84 s
3.09/3.19	c core #612
3.09/3.19	c Core size: 3	Core Weight: 1	Total Weight: 612
3.09/3.19	c Elapsed CPU time: 3.16752 s	Remaining CPU time: 1796.83 s
3.09/3.19	c core #613
3.09/3.19	c Core size: 3	Core Weight: 1	Total Weight: 613
3.09/3.19	c Elapsed CPU time: 3.17452 s	Remaining CPU time: 1796.83 s
3.19/3.20	c core #614
3.19/3.20	c Core size: 3	Core Weight: 1	Total Weight: 614
3.19/3.20	c Elapsed CPU time: 3.18152 s	Remaining CPU time: 1796.82 s
3.19/3.21	c core #615
3.19/3.21	c Core size: 3	Core Weight: 1	Total Weight: 615
3.19/3.21	c Elapsed CPU time: 3.18851 s	Remaining CPU time: 1796.81 s
3.19/3.21	c core #616
3.19/3.21	c Core size: 3	Core Weight: 1	Total Weight: 616
3.19/3.21	c Elapsed CPU time: 3.19551 s	Remaining CPU time: 1796.8 s
3.19/3.22	c core #617
3.19/3.22	c Core size: 3	Core Weight: 1	Total Weight: 617
3.19/3.22	c Elapsed CPU time: 3.20251 s	Remaining CPU time: 1796.8 s
3.19/3.23	c core #618
3.19/3.23	c Core size: 3	Core Weight: 1	Total Weight: 618
3.19/3.23	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 1796.79 s
3.19/3.23	c core #619
3.19/3.23	c Core size: 3	Core Weight: 1	Total Weight: 619
3.19/3.23	c Elapsed CPU time: 3.21651 s	Remaining CPU time: 1796.78 s
3.19/3.24	c core #620
3.19/3.24	c Core size: 3	Core Weight: 1	Total Weight: 620
3.19/3.24	c Elapsed CPU time: 3.22351 s	Remaining CPU time: 1796.78 s
3.19/3.25	c core #621
3.19/3.25	c Core size: 3	Core Weight: 1	Total Weight: 621
3.19/3.25	c Elapsed CPU time: 3.22951 s	Remaining CPU time: 1796.77 s
3.19/3.26	c core #622
3.19/3.26	c Core size: 3	Core Weight: 1	Total Weight: 622
3.19/3.26	c Elapsed CPU time: 3.23651 s	Remaining CPU time: 1796.76 s
3.19/3.26	c core #623
3.19/3.26	c Core size: 3	Core Weight: 1	Total Weight: 623
3.19/3.26	c Elapsed CPU time: 3.24351 s	Remaining CPU time: 1796.76 s
3.19/3.27	c core #624
3.19/3.27	c Core size: 3	Core Weight: 1	Total Weight: 624
3.19/3.27	c Elapsed CPU time: 3.2505 s	Remaining CPU time: 1796.75 s
3.19/3.28	c core #625
3.19/3.28	c Core size: 3	Core Weight: 1	Total Weight: 625
3.19/3.28	c Elapsed CPU time: 3.2575 s	Remaining CPU time: 1796.74 s
3.19/3.28	c core #626
3.19/3.28	c Core size: 3	Core Weight: 1	Total Weight: 626
3.19/3.28	c Elapsed CPU time: 3.2645 s	Remaining CPU time: 1796.74 s
3.19/3.29	c core #627
3.19/3.29	c Core size: 3	Core Weight: 1	Total Weight: 627
3.19/3.29	c Elapsed CPU time: 3.2715 s	Remaining CPU time: 1796.73 s
3.19/3.30	c core #628
3.19/3.30	c Core size: 3	Core Weight: 1	Total Weight: 628
3.19/3.30	c Elapsed CPU time: 3.2785 s	Remaining CPU time: 1796.72 s
3.30/3.30	c core #629
3.30/3.30	c Core size: 3	Core Weight: 1	Total Weight: 629
3.30/3.30	c Elapsed CPU time: 3.2855 s	Remaining CPU time: 1796.71 s
3.30/3.31	c core #630
3.30/3.31	c Core size: 3	Core Weight: 1	Total Weight: 630
3.30/3.31	c Elapsed CPU time: 3.2925 s	Remaining CPU time: 1796.71 s
3.30/3.32	c core #631
3.30/3.32	c Core size: 3	Core Weight: 1	Total Weight: 631
3.30/3.32	c Elapsed CPU time: 3.2995 s	Remaining CPU time: 1796.7 s
3.30/3.32	c core #632
3.30/3.32	c Core size: 3	Core Weight: 1	Total Weight: 632
3.30/3.32	c Elapsed CPU time: 3.3065 s	Remaining CPU time: 1796.69 s
3.30/3.33	c core #633
3.30/3.33	c Core size: 3	Core Weight: 1	Total Weight: 633
3.30/3.33	c Elapsed CPU time: 3.3135 s	Remaining CPU time: 1796.69 s
3.30/3.34	c core #634
3.30/3.34	c Core size: 3	Core Weight: 1	Total Weight: 634
3.30/3.34	c Elapsed CPU time: 3.3205 s	Remaining CPU time: 1796.68 s
3.30/3.35	c core #635
3.30/3.35	c Core size: 3	Core Weight: 1	Total Weight: 635
3.30/3.35	c Elapsed CPU time: 3.32749 s	Remaining CPU time: 1796.67 s
3.30/3.35	c core #636
3.30/3.35	c Core size: 3	Core Weight: 1	Total Weight: 636
3.30/3.35	c Elapsed CPU time: 3.33449 s	Remaining CPU time: 1796.67 s
3.30/3.36	c core #637
3.30/3.36	c Core size: 3	Core Weight: 1	Total Weight: 637
3.30/3.36	c Elapsed CPU time: 3.34149 s	Remaining CPU time: 1796.66 s
3.30/3.37	c core #638
3.30/3.37	c Core size: 3	Core Weight: 1	Total Weight: 638
3.30/3.37	c Elapsed CPU time: 3.34849 s	Remaining CPU time: 1796.65 s
3.30/3.37	c core #639
3.30/3.37	c Core size: 3	Core Weight: 1	Total Weight: 639
3.30/3.37	c Elapsed CPU time: 3.35549 s	Remaining CPU time: 1796.64 s
3.30/3.38	c core #640
3.30/3.38	c Core size: 3	Core Weight: 1	Total Weight: 640
3.30/3.38	c Elapsed CPU time: 3.36249 s	Remaining CPU time: 1796.64 s
3.30/3.39	c core #641
3.30/3.39	c Core size: 3	Core Weight: 1	Total Weight: 641
3.30/3.39	c Elapsed CPU time: 3.36949 s	Remaining CPU time: 1796.63 s
3.30/3.40	c core #642
3.30/3.40	c Core size: 3	Core Weight: 1	Total Weight: 642
3.30/3.40	c Elapsed CPU time: 3.37649 s	Remaining CPU time: 1796.62 s
3.40/3.40	c core #643
3.40/3.40	c Core size: 3	Core Weight: 1	Total Weight: 643
3.40/3.40	c Elapsed CPU time: 3.38348 s	Remaining CPU time: 1796.62 s
3.40/3.41	c core #644
3.40/3.41	c Core size: 3	Core Weight: 1	Total Weight: 644
3.40/3.41	c Elapsed CPU time: 3.39048 s	Remaining CPU time: 1796.61 s
3.40/3.42	c core #645
3.40/3.42	c Core size: 3	Core Weight: 1	Total Weight: 645
3.40/3.42	c Elapsed CPU time: 3.39848 s	Remaining CPU time: 1796.6 s
3.40/3.42	c core #646
3.40/3.42	c Core size: 3	Core Weight: 1	Total Weight: 646
3.40/3.42	c Elapsed CPU time: 3.40448 s	Remaining CPU time: 1796.6 s
3.40/3.43	c core #647
3.40/3.43	c Core size: 3	Core Weight: 1	Total Weight: 647
3.40/3.43	c Elapsed CPU time: 3.41148 s	Remaining CPU time: 1796.59 s
3.40/3.44	c core #648
3.40/3.44	c Core size: 3	Core Weight: 1	Total Weight: 648
3.40/3.44	c Elapsed CPU time: 3.41848 s	Remaining CPU time: 1796.58 s
3.40/3.45	c core #649
3.40/3.45	c Core size: 3	Core Weight: 1	Total Weight: 649
3.40/3.45	c Elapsed CPU time: 3.42548 s	Remaining CPU time: 1796.57 s
3.40/3.45	c core #650
3.40/3.45	c Core size: 3	Core Weight: 1	Total Weight: 650
3.40/3.45	c Elapsed CPU time: 3.43348 s	Remaining CPU time: 1796.57 s
3.40/3.46	c core #651
3.40/3.46	c Core size: 3	Core Weight: 1	Total Weight: 651
3.40/3.46	c Elapsed CPU time: 3.44048 s	Remaining CPU time: 1796.56 s
3.40/3.47	c core #652
3.40/3.47	c Core size: 3	Core Weight: 1	Total Weight: 652
3.40/3.47	c Elapsed CPU time: 3.44747 s	Remaining CPU time: 1796.55 s
3.40/3.47	c core #653
3.40/3.47	c Core size: 3	Core Weight: 1	Total Weight: 653
3.40/3.47	c Elapsed CPU time: 3.45347 s	Remaining CPU time: 1796.55 s
3.40/3.48	c core #654
3.40/3.48	c Core size: 3	Core Weight: 1	Total Weight: 654
3.40/3.48	c Elapsed CPU time: 3.46047 s	Remaining CPU time: 1796.54 s
3.40/3.49	c core #655
3.40/3.49	c Core size: 3	Core Weight: 1	Total Weight: 655
3.40/3.49	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.40/3.50	c core #656
3.40/3.50	c Core size: 3	Core Weight: 1	Total Weight: 656
3.40/3.50	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.49/3.50	c core #657
3.49/3.50	c Core size: 3	Core Weight: 1	Total Weight: 657
3.49/3.50	c Elapsed CPU time: 3.48247 s	Remaining CPU time: 1796.52 s
3.49/3.51	c core #658
3.49/3.51	c Core size: 3	Core Weight: 1	Total Weight: 658
3.49/3.51	c Elapsed CPU time: 3.48947 s	Remaining CPU time: 1796.51 s
3.49/3.52	c core #659
3.49/3.52	c Core size: 3	Core Weight: 1	Total Weight: 659
3.49/3.52	c Elapsed CPU time: 3.49647 s	Remaining CPU time: 1796.5 s
3.49/3.52	c core #660
3.49/3.52	c Core size: 3	Core Weight: 1	Total Weight: 660
3.49/3.52	c Elapsed CPU time: 3.50347 s	Remaining CPU time: 1796.5 s
3.49/3.53	c core #661
3.49/3.53	c Core size: 3	Core Weight: 1	Total Weight: 661
3.49/3.53	c Elapsed CPU time: 3.51047 s	Remaining CPU time: 1796.49 s
3.49/3.54	c core #662
3.49/3.54	c Core size: 3	Core Weight: 1	Total Weight: 662
3.49/3.54	c Elapsed CPU time: 3.51747 s	Remaining CPU time: 1796.48 s
3.49/3.55	c core #663
3.49/3.55	c Core size: 3	Core Weight: 1	Total Weight: 663
3.49/3.55	c Elapsed CPU time: 3.52446 s	Remaining CPU time: 1796.48 s
3.49/3.55	c core #664
3.49/3.55	c Core size: 3	Core Weight: 1	Total Weight: 664
3.49/3.55	c Elapsed CPU time: 3.53246 s	Remaining CPU time: 1796.47 s
3.49/3.56	c core #665
3.49/3.56	c Core size: 3	Core Weight: 1	Total Weight: 665
3.49/3.56	c Elapsed CPU time: 3.53946 s	Remaining CPU time: 1796.46 s
3.49/3.57	c core #666
3.49/3.57	c Core size: 3	Core Weight: 1	Total Weight: 666
3.49/3.57	c Elapsed CPU time: 3.54646 s	Remaining CPU time: 1796.45 s
3.49/3.57	c core #667
3.49/3.57	c Core size: 3	Core Weight: 1	Total Weight: 667
3.49/3.57	c Elapsed CPU time: 3.55346 s	Remaining CPU time: 1796.45 s
3.49/3.58	c core #668
3.49/3.58	c Core size: 3	Core Weight: 1	Total Weight: 668
3.49/3.58	c Elapsed CPU time: 3.56046 s	Remaining CPU time: 1796.44 s
3.49/3.59	c core #669
3.49/3.59	c Core size: 3	Core Weight: 1	Total Weight: 669
3.49/3.59	c Elapsed CPU time: 3.56746 s	Remaining CPU time: 1796.43 s
3.49/3.60	c core #670
3.49/3.60	c Core size: 3	Core Weight: 1	Total Weight: 670
3.49/3.60	c Elapsed CPU time: 3.57446 s	Remaining CPU time: 1796.43 s
3.59/3.60	c core #671
3.59/3.60	c Core size: 3	Core Weight: 1	Total Weight: 671
3.59/3.60	c Elapsed CPU time: 3.58245 s	Remaining CPU time: 1796.42 s
3.59/3.61	c core #672
3.59/3.61	c Core size: 3	Core Weight: 1	Total Weight: 672
3.59/3.61	c Elapsed CPU time: 3.58945 s	Remaining CPU time: 1796.41 s
3.59/3.62	c core #673
3.59/3.62	c Core size: 3	Core Weight: 1	Total Weight: 673
3.59/3.62	c Elapsed CPU time: 3.59645 s	Remaining CPU time: 1796.4 s
3.59/3.62	c core #674
3.59/3.62	c Core size: 3	Core Weight: 1	Total Weight: 674
3.59/3.62	c Elapsed CPU time: 3.60345 s	Remaining CPU time: 1796.4 s
3.59/3.63	c core #675
3.59/3.63	c Core size: 3	Core Weight: 1	Total Weight: 675
3.59/3.63	c Elapsed CPU time: 3.61145 s	Remaining CPU time: 1796.39 s
3.59/3.64	c core #676
3.59/3.64	c Core size: 3	Core Weight: 1	Total Weight: 676
3.59/3.64	c Elapsed CPU time: 3.61845 s	Remaining CPU time: 1796.38 s
3.59/3.65	c core #677
3.59/3.65	c Core size: 3	Core Weight: 1	Total Weight: 677
3.59/3.65	c Elapsed CPU time: 3.62545 s	Remaining CPU time: 1796.37 s
3.59/3.65	c core #678
3.59/3.65	c Core size: 3	Core Weight: 1	Total Weight: 678
3.59/3.65	c Elapsed CPU time: 3.63245 s	Remaining CPU time: 1796.37 s
3.59/3.66	c core #679
3.59/3.66	c Core size: 3	Core Weight: 1	Total Weight: 679
3.59/3.66	c Elapsed CPU time: 3.63945 s	Remaining CPU time: 1796.36 s
3.59/3.67	c core #680
3.59/3.67	c Core size: 3	Core Weight: 1	Total Weight: 680
3.59/3.67	c Elapsed CPU time: 3.64745 s	Remaining CPU time: 1796.35 s
3.59/3.67	c core #681
3.59/3.67	c Core size: 3	Core Weight: 1	Total Weight: 681
3.59/3.67	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 1796.35 s
3.59/3.68	c core #682
3.59/3.68	c Core size: 3	Core Weight: 1	Total Weight: 682
3.59/3.68	c Elapsed CPU time: 3.66144 s	Remaining CPU time: 1796.34 s
3.59/3.69	c core #683
3.59/3.69	c Core size: 3	Core Weight: 1	Total Weight: 683
3.59/3.69	c Elapsed CPU time: 3.66844 s	Remaining CPU time: 1796.33 s
3.69/3.70	c core #684
3.69/3.70	c Core size: 3	Core Weight: 1	Total Weight: 684
3.69/3.70	c Elapsed CPU time: 3.67544 s	Remaining CPU time: 1796.32 s
3.69/3.70	c core #685
3.69/3.70	c Core size: 3	Core Weight: 1	Total Weight: 685
3.69/3.70	c Elapsed CPU time: 3.68344 s	Remaining CPU time: 1796.32 s
3.69/3.71	c core #686
3.69/3.71	c Core size: 3	Core Weight: 1	Total Weight: 686
3.69/3.71	c Elapsed CPU time: 3.69044 s	Remaining CPU time: 1796.31 s
3.69/3.72	c core #687
3.69/3.72	c Core size: 3	Core Weight: 1	Total Weight: 687
3.69/3.72	c Elapsed CPU time: 3.69744 s	Remaining CPU time: 1796.3 s
3.69/3.73	c core #688
3.69/3.73	c Core size: 3	Core Weight: 1	Total Weight: 688
3.69/3.73	c Elapsed CPU time: 3.70444 s	Remaining CPU time: 1796.3 s
3.69/3.73	c core #689
3.69/3.73	c Core size: 3	Core Weight: 1	Total Weight: 689
3.69/3.73	c Elapsed CPU time: 3.71143 s	Remaining CPU time: 1796.29 s
3.69/3.74	c core #690
3.69/3.74	c Core size: 3	Core Weight: 1	Total Weight: 690
3.69/3.74	c Elapsed CPU time: 3.71843 s	Remaining CPU time: 1796.28 s
3.69/3.75	c core #691
3.69/3.75	c Core size: 3	Core Weight: 1	Total Weight: 691
3.69/3.75	c Elapsed CPU time: 3.72643 s	Remaining CPU time: 1796.27 s
3.69/3.76	c core #692
3.69/3.76	c Core size: 3	Core Weight: 1	Total Weight: 692
3.69/3.76	c Elapsed CPU time: 3.73343 s	Remaining CPU time: 1796.27 s
3.69/3.76	c core #693
3.69/3.76	c Core size: 3	Core Weight: 1	Total Weight: 693
3.69/3.76	c Elapsed CPU time: 3.74043 s	Remaining CPU time: 1796.26 s
3.69/3.77	c core #694
3.69/3.77	c Core size: 3	Core Weight: 1	Total Weight: 694
3.69/3.77	c Elapsed CPU time: 3.74843 s	Remaining CPU time: 1796.25 s
3.69/3.78	c core #695
3.69/3.78	c Core size: 3	Core Weight: 1	Total Weight: 695
3.69/3.78	c Elapsed CPU time: 3.75543 s	Remaining CPU time: 1796.24 s
3.69/3.78	c core #696
3.69/3.78	c Core size: 3	Core Weight: 1	Total Weight: 696
3.69/3.78	c Elapsed CPU time: 3.76243 s	Remaining CPU time: 1796.24 s
3.69/3.79	c core #697
3.69/3.79	c Core size: 3	Core Weight: 1	Total Weight: 697
3.69/3.79	c Elapsed CPU time: 3.77043 s	Remaining CPU time: 1796.23 s
3.79/3.80	c core #698
3.79/3.80	c Core size: 3	Core Weight: 1	Total Weight: 698
3.79/3.80	c Elapsed CPU time: 3.77643 s	Remaining CPU time: 1796.22 s
3.79/3.81	c core #699
3.79/3.81	c Core size: 3	Core Weight: 1	Total Weight: 699
3.79/3.81	c Elapsed CPU time: 3.78442 s	Remaining CPU time: 1796.22 s
3.79/3.81	c core #700
3.79/3.81	c Core size: 3	Core Weight: 1	Total Weight: 700
3.79/3.81	c Elapsed CPU time: 3.79142 s	Remaining CPU time: 1796.21 s
3.79/3.82	c core #701
3.79/3.82	c Core size: 3	Core Weight: 1	Total Weight: 701
3.79/3.82	c Elapsed CPU time: 3.79942 s	Remaining CPU time: 1796.2 s
3.79/3.83	c core #702
3.79/3.83	c Core size: 3	Core Weight: 1	Total Weight: 702
3.79/3.83	c Elapsed CPU time: 3.80642 s	Remaining CPU time: 1796.19 s
3.79/3.84	c core #703
3.79/3.84	c Core size: 3	Core Weight: 1	Total Weight: 703
3.79/3.84	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 1796.19 s
3.79/3.84	c core #704
3.79/3.84	c Core size: 3	Core Weight: 1	Total Weight: 704
3.79/3.84	c Elapsed CPU time: 3.82042 s	Remaining CPU time: 1796.18 s
3.79/3.85	c core #705
3.79/3.85	c Core size: 3	Core Weight: 1	Total Weight: 705
3.79/3.85	c Elapsed CPU time: 3.82842 s	Remaining CPU time: 1796.17 s
3.79/3.86	c core #706
3.79/3.86	c Core size: 3	Core Weight: 1	Total Weight: 706
3.79/3.86	c Elapsed CPU time: 3.83542 s	Remaining CPU time: 1796.16 s
3.79/3.87	c core #707
3.79/3.87	c Core size: 3	Core Weight: 1	Total Weight: 707
3.79/3.87	c Elapsed CPU time: 3.84342 s	Remaining CPU time: 1796.16 s
3.79/3.87	c core #708
3.79/3.87	c Core size: 3	Core Weight: 1	Total Weight: 708
3.79/3.87	c Elapsed CPU time: 3.85041 s	Remaining CPU time: 1796.15 s
3.79/3.88	c core #709
3.79/3.88	c Core size: 3	Core Weight: 1	Total Weight: 709
3.79/3.88	c Elapsed CPU time: 3.85741 s	Remaining CPU time: 1796.14 s
3.79/3.89	c core #710
3.79/3.89	c Core size: 3	Core Weight: 1	Total Weight: 710
3.79/3.89	c Elapsed CPU time: 3.86441 s	Remaining CPU time: 1796.14 s
3.89/3.90	c core #711
3.89/3.90	c Core size: 3	Core Weight: 1	Total Weight: 711
3.89/3.90	c Elapsed CPU time: 3.87241 s	Remaining CPU time: 1796.13 s
3.89/3.90	c core #712
3.89/3.90	c Core size: 3	Core Weight: 1	Total Weight: 712
3.89/3.90	c Elapsed CPU time: 3.87941 s	Remaining CPU time: 1796.12 s
3.89/3.91	c core #713
3.89/3.91	c Core size: 3	Core Weight: 1	Total Weight: 713
3.89/3.91	c Elapsed CPU time: 3.88741 s	Remaining CPU time: 1796.11 s
3.89/3.92	c core #714
3.89/3.92	c Core size: 3	Core Weight: 1	Total Weight: 714
3.89/3.92	c Elapsed CPU time: 3.89541 s	Remaining CPU time: 1796.1 s
3.89/3.93	c core #715
3.89/3.93	c Core size: 3	Core Weight: 1	Total Weight: 715
3.89/3.93	c Elapsed CPU time: 3.90241 s	Remaining CPU time: 1796.1 s
3.89/3.93	c core #716
3.89/3.93	c Core size: 3	Core Weight: 1	Total Weight: 716
3.89/3.93	c Elapsed CPU time: 3.9104 s	Remaining CPU time: 1796.09 s
3.89/3.94	c core #717
3.89/3.94	c Core size: 3	Core Weight: 1	Total Weight: 717
3.89/3.94	c Elapsed CPU time: 3.9174 s	Remaining CPU time: 1796.08 s
3.89/3.95	c core #718
3.89/3.95	c Core size: 3	Core Weight: 1	Total Weight: 718
3.89/3.95	c Elapsed CPU time: 3.9254 s	Remaining CPU time: 1796.07 s
3.89/3.96	c core #719
3.89/3.96	c Core size: 3	Core Weight: 1	Total Weight: 719
3.89/3.96	c Elapsed CPU time: 3.9334 s	Remaining CPU time: 1796.07 s
3.89/3.97	c core #720
3.89/3.97	c Core size: 3	Core Weight: 1	Total Weight: 720
3.89/3.97	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 1796.06 s
3.89/3.97	c core #721
3.89/3.97	c Core size: 3	Core Weight: 1	Total Weight: 721
3.89/3.97	c Elapsed CPU time: 3.9484 s	Remaining CPU time: 1796.05 s
3.89/3.98	c core #722
3.89/3.98	c Core size: 3	Core Weight: 1	Total Weight: 722
3.89/3.98	c Elapsed CPU time: 3.9554 s	Remaining CPU time: 1796.04 s
3.89/3.99	c core #723
3.89/3.99	c Core size: 3	Core Weight: 1	Total Weight: 723
3.89/3.99	c Elapsed CPU time: 3.9634 s	Remaining CPU time: 1796.04 s
3.89/4.00	c core #724
3.89/4.00	c Core size: 3	Core Weight: 1	Total Weight: 724
3.89/4.00	c Elapsed CPU time: 3.9704 s	Remaining CPU time: 1796.03 s
3.99/4.00	c core #725
3.99/4.00	c Core size: 3	Core Weight: 1	Total Weight: 725
3.99/4.00	c Elapsed CPU time: 3.97839 s	Remaining CPU time: 1796.02 s
3.99/4.01	c core #726
3.99/4.01	c Core size: 3	Core Weight: 1	Total Weight: 726
3.99/4.01	c Elapsed CPU time: 3.98639 s	Remaining CPU time: 1796.01 s
3.99/4.02	c core #727
3.99/4.02	c Core size: 3	Core Weight: 1	Total Weight: 727
3.99/4.02	c Elapsed CPU time: 3.99239 s	Remaining CPU time: 1796.01 s
3.99/4.03	c core #728
3.99/4.03	c Core size: 3	Core Weight: 1	Total Weight: 728
3.99/4.03	c Elapsed CPU time: 4.00039 s	Remaining CPU time: 1796 s
3.99/4.03	c core #729
3.99/4.03	c Core size: 3	Core Weight: 1	Total Weight: 729
3.99/4.03	c Elapsed CPU time: 4.00739 s	Remaining CPU time: 1795.99 s
3.99/4.04	c core #730
3.99/4.04	c Core size: 3	Core Weight: 1	Total Weight: 730
3.99/4.04	c Elapsed CPU time: 4.01539 s	Remaining CPU time: 1795.98 s
3.99/4.05	c core #731
3.99/4.05	c Core size: 3	Core Weight: 1	Total Weight: 731
3.99/4.05	c Elapsed CPU time: 4.02239 s	Remaining CPU time: 1795.98 s
3.99/4.06	c core #732
3.99/4.06	c Core size: 3	Core Weight: 1	Total Weight: 732
3.99/4.06	c Elapsed CPU time: 4.03039 s	Remaining CPU time: 1795.97 s
3.99/4.06	c core #733
3.99/4.06	c Core size: 3	Core Weight: 1	Total Weight: 733
3.99/4.06	c Elapsed CPU time: 4.03839 s	Remaining CPU time: 1795.96 s
3.99/4.07	c core #734
3.99/4.07	c Core size: 3	Core Weight: 1	Total Weight: 734
3.99/4.07	c Elapsed CPU time: 4.04538 s	Remaining CPU time: 1795.95 s
3.99/4.08	c core #735
3.99/4.08	c Core size: 3	Core Weight: 1	Total Weight: 735
3.99/4.08	c Elapsed CPU time: 4.05338 s	Remaining CPU time: 1795.95 s
3.99/4.09	c core #736
3.99/4.09	c Core size: 3	Core Weight: 1	Total Weight: 736
3.99/4.09	c Elapsed CPU time: 4.06138 s	Remaining CPU time: 1795.94 s
3.99/4.09	c core #737
3.99/4.09	c Core size: 3	Core Weight: 1	Total Weight: 737
3.99/4.09	c Elapsed CPU time: 4.06838 s	Remaining CPU time: 1795.93 s
4.09/4.10	c core #738
4.09/4.10	c Core size: 3	Core Weight: 1	Total Weight: 738
4.09/4.10	c Elapsed CPU time: 4.07638 s	Remaining CPU time: 1795.92 s
4.09/4.11	c core #739
4.09/4.11	c Core size: 3	Core Weight: 1	Total Weight: 739
4.09/4.11	c Elapsed CPU time: 4.08438 s	Remaining CPU time: 1795.92 s
4.09/4.12	c core #740
4.09/4.12	c Core size: 3	Core Weight: 1	Total Weight: 740
4.09/4.12	c Elapsed CPU time: 4.09138 s	Remaining CPU time: 1795.91 s
4.09/4.13	c core #741
4.09/4.13	c Core size: 3	Core Weight: 1	Total Weight: 741
4.09/4.13	c Elapsed CPU time: 4.09938 s	Remaining CPU time: 1795.9 s
4.09/4.13	c core #742
4.09/4.13	c Core size: 3	Core Weight: 1	Total Weight: 742
4.09/4.13	c Elapsed CPU time: 4.10738 s	Remaining CPU time: 1795.89 s
4.09/4.14	c core #743
4.09/4.14	c Core size: 3	Core Weight: 1	Total Weight: 743
4.09/4.14	c Elapsed CPU time: 4.11437 s	Remaining CPU time: 1795.89 s
4.09/4.15	c core #744
4.09/4.15	c Core size: 3	Core Weight: 1	Total Weight: 744
4.09/4.15	c Elapsed CPU time: 4.12237 s	Remaining CPU time: 1795.88 s
4.09/4.16	c core #745
4.09/4.16	c Core size: 3	Core Weight: 1	Total Weight: 745
4.09/4.16	c Elapsed CPU time: 4.12937 s	Remaining CPU time: 1795.87 s
4.09/4.16	c core #746
4.09/4.16	c Core size: 3	Core Weight: 1	Total Weight: 746
4.09/4.16	c Elapsed CPU time: 4.13737 s	Remaining CPU time: 1795.86 s
4.09/4.17	c core #747
4.09/4.17	c Core size: 3	Core Weight: 1	Total Weight: 747
4.09/4.17	c Elapsed CPU time: 4.14537 s	Remaining CPU time: 1795.85 s
4.09/4.18	c core #748
4.09/4.18	c Core size: 3	Core Weight: 1	Total Weight: 748
4.09/4.18	c Elapsed CPU time: 4.15337 s	Remaining CPU time: 1795.85 s
4.09/4.19	c core #749
4.09/4.19	c Core size: 3	Core Weight: 1	Total Weight: 749
4.09/4.19	c Elapsed CPU time: 4.16037 s	Remaining CPU time: 1795.84 s
4.09/4.19	c core #750
4.09/4.19	c Core size: 3	Core Weight: 1	Total Weight: 750
4.09/4.19	c Elapsed CPU time: 4.16737 s	Remaining CPU time: 1795.83 s
4.18/4.20	c core #751
4.18/4.20	c Core size: 3	Core Weight: 1	Total Weight: 751
4.18/4.20	c Elapsed CPU time: 4.17537 s	Remaining CPU time: 1795.82 s
4.18/4.21	c core #752
4.18/4.21	c Core size: 3	Core Weight: 1	Total Weight: 752
4.18/4.21	c Elapsed CPU time: 4.18336 s	Remaining CPU time: 1795.82 s
4.18/4.22	c core #753
4.18/4.22	c Core size: 3	Core Weight: 1	Total Weight: 753
4.18/4.22	c Elapsed CPU time: 4.19036 s	Remaining CPU time: 1795.81 s
4.18/4.23	c core #754
4.18/4.23	c Core size: 3	Core Weight: 1	Total Weight: 754
4.18/4.23	c Elapsed CPU time: 4.19836 s	Remaining CPU time: 1795.8 s
4.18/4.23	c core #755
4.18/4.23	c Core size: 3	Core Weight: 1	Total Weight: 755
4.18/4.23	c Elapsed CPU time: 4.20436 s	Remaining CPU time: 1795.8 s
4.18/4.24	c core #756
4.18/4.24	c Core size: 3	Core Weight: 1	Total Weight: 756
4.18/4.24	c Elapsed CPU time: 4.21236 s	Remaining CPU time: 1795.79 s
4.18/4.25	c core #757
4.18/4.25	c Core size: 3	Core Weight: 1	Total Weight: 757
4.18/4.25	c Elapsed CPU time: 4.22036 s	Remaining CPU time: 1795.78 s
4.18/4.26	c core #758
4.18/4.26	c Core size: 3	Core Weight: 1	Total Weight: 758
4.18/4.26	c Elapsed CPU time: 4.22836 s	Remaining CPU time: 1795.77 s
4.18/4.26	c core #759
4.18/4.26	c Core size: 3	Core Weight: 1	Total Weight: 759
4.18/4.26	c Elapsed CPU time: 4.23536 s	Remaining CPU time: 1795.76 s
4.18/4.27	c core #760
4.18/4.27	c Core size: 3	Core Weight: 1	Total Weight: 760
4.18/4.27	c Elapsed CPU time: 4.24335 s	Remaining CPU time: 1795.76 s
4.18/4.28	c core #761
4.18/4.28	c Core size: 3	Core Weight: 1	Total Weight: 761
4.18/4.28	c Elapsed CPU time: 4.25135 s	Remaining CPU time: 1795.75 s
4.18/4.29	c core #762
4.18/4.29	c Core size: 3	Core Weight: 1	Total Weight: 762
4.18/4.29	c Elapsed CPU time: 4.25935 s	Remaining CPU time: 1795.74 s
4.18/4.30	c core #763
4.18/4.30	c Core size: 3	Core Weight: 1	Total Weight: 763
4.18/4.30	c Elapsed CPU time: 4.26735 s	Remaining CPU time: 1795.73 s
4.29/4.30	c core #764
4.29/4.30	c Core size: 3	Core Weight: 1	Total Weight: 764
4.29/4.30	c Elapsed CPU time: 4.27535 s	Remaining CPU time: 1795.72 s
4.29/4.31	c core #765
4.29/4.31	c Core size: 3	Core Weight: 1	Total Weight: 765
4.29/4.31	c Elapsed CPU time: 4.28335 s	Remaining CPU time: 1795.72 s
4.29/4.32	c core #766
4.29/4.32	c Core size: 3	Core Weight: 1	Total Weight: 766
4.29/4.32	c Elapsed CPU time: 4.29135 s	Remaining CPU time: 1795.71 s
4.29/4.33	c core #767
4.29/4.33	c Core size: 3	Core Weight: 1	Total Weight: 767
4.29/4.33	c Elapsed CPU time: 4.29835 s	Remaining CPU time: 1795.7 s
4.29/4.34	c core #768
4.29/4.34	c Core size: 3	Core Weight: 1	Total Weight: 768
4.29/4.34	c Elapsed CPU time: 4.30534 s	Remaining CPU time: 1795.69 s
4.29/4.34	c core #769
4.29/4.34	c Core size: 3	Core Weight: 1	Total Weight: 769
4.29/4.34	c Elapsed CPU time: 4.31334 s	Remaining CPU time: 1795.69 s
4.29/4.35	c core #770
4.29/4.35	c Core size: 3	Core Weight: 1	Total Weight: 770
4.29/4.35	c Elapsed CPU time: 4.32134 s	Remaining CPU time: 1795.68 s
4.29/4.36	c core #771
4.29/4.36	c Core size: 3	Core Weight: 1	Total Weight: 771
4.29/4.36	c Elapsed CPU time: 4.32934 s	Remaining CPU time: 1795.67 s
4.29/4.37	c core #772
4.29/4.37	c Core size: 3	Core Weight: 1	Total Weight: 772
4.29/4.37	c Elapsed CPU time: 4.33634 s	Remaining CPU time: 1795.66 s
4.29/4.37	c core #773
4.29/4.37	c Core size: 3	Core Weight: 1	Total Weight: 773
4.29/4.37	c Elapsed CPU time: 4.34434 s	Remaining CPU time: 1795.66 s
4.29/4.38	c core #774
4.29/4.38	c Core size: 3	Core Weight: 1	Total Weight: 774
4.29/4.38	c Elapsed CPU time: 4.35234 s	Remaining CPU time: 1795.65 s
4.29/4.39	c core #775
4.29/4.39	c Core size: 3	Core Weight: 1	Total Weight: 775
4.29/4.39	c Elapsed CPU time: 4.36034 s	Remaining CPU time: 1795.64 s
4.29/4.40	c core #776
4.29/4.40	c Core size: 3	Core Weight: 1	Total Weight: 776
4.29/4.40	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 1795.63 s
4.39/4.41	c core #777
4.39/4.41	c Core size: 3	Core Weight: 1	Total Weight: 777
4.39/4.41	c Elapsed CPU time: 4.37434 s	Remaining CPU time: 1795.63 s
4.39/4.41	c core #778
4.39/4.41	c Core size: 3	Core Weight: 1	Total Weight: 778
4.39/4.41	c Elapsed CPU time: 4.38233 s	Remaining CPU time: 1795.62 s
4.39/4.42	c core #779
4.39/4.42	c Core size: 3	Core Weight: 1	Total Weight: 779
4.39/4.42	c Elapsed CPU time: 4.39133 s	Remaining CPU time: 1795.61 s
4.39/4.43	c core #780
4.39/4.43	c Core size: 3	Core Weight: 1	Total Weight: 780
4.39/4.43	c Elapsed CPU time: 4.39833 s	Remaining CPU time: 1795.6 s
4.39/4.44	c core #781
4.39/4.44	c Core size: 3	Core Weight: 1	Total Weight: 781
4.39/4.44	c Elapsed CPU time: 4.40633 s	Remaining CPU time: 1795.59 s
4.39/4.45	c core #782
4.39/4.45	c Core size: 3	Core Weight: 1	Total Weight: 782
4.39/4.45	c Elapsed CPU time: 4.41533 s	Remaining CPU time: 1795.58 s
4.39/4.46	c core #783
4.39/4.46	c Core size: 3	Core Weight: 1	Total Weight: 783
4.39/4.46	c Elapsed CPU time: 4.42333 s	Remaining CPU time: 1795.58 s
4.39/4.46	c core #784
4.39/4.46	c Core size: 3	Core Weight: 1	Total Weight: 784
4.39/4.46	c Elapsed CPU time: 4.43133 s	Remaining CPU time: 1795.57 s
4.39/4.47	c core #785
4.39/4.47	c Core size: 3	Core Weight: 1	Total Weight: 785
4.39/4.47	c Elapsed CPU time: 4.44032 s	Remaining CPU time: 1795.56 s
4.39/4.48	c core #786
4.39/4.48	c Core size: 3	Core Weight: 1	Total Weight: 786
4.39/4.48	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 1795.55 s
4.39/4.49	c core #787
4.39/4.49	c Core size: 3	Core Weight: 1	Total Weight: 787
4.39/4.49	c Elapsed CPU time: 4.45632 s	Remaining CPU time: 1795.54 s
4.39/4.50	c core #788
4.39/4.50	c Core size: 3	Core Weight: 1	Total Weight: 788
4.39/4.50	c Elapsed CPU time: 4.46432 s	Remaining CPU time: 1795.54 s
4.49/4.51	c core #789
4.49/4.51	c Core size: 3	Core Weight: 1	Total Weight: 789
4.49/4.51	c Elapsed CPU time: 4.47132 s	Remaining CPU time: 1795.53 s
4.49/4.51	c core #790
4.49/4.51	c Core size: 3	Core Weight: 1	Total Weight: 790
4.49/4.51	c Elapsed CPU time: 4.47932 s	Remaining CPU time: 1795.52 s
4.49/4.52	c core #791
4.49/4.52	c Core size: 3	Core Weight: 1	Total Weight: 791
4.49/4.52	c Elapsed CPU time: 4.48732 s	Remaining CPU time: 1795.51 s
4.49/4.53	c core #792
4.49/4.53	c Core size: 3	Core Weight: 1	Total Weight: 792
4.49/4.53	c Elapsed CPU time: 4.49532 s	Remaining CPU time: 1795.5 s
4.49/4.54	c core #793
4.49/4.54	c Core size: 3	Core Weight: 1	Total Weight: 793
4.49/4.54	c Elapsed CPU time: 4.50331 s	Remaining CPU time: 1795.5 s
4.49/4.55	c core #794
4.49/4.55	c Core size: 3	Core Weight: 1	Total Weight: 794
4.49/4.55	c Elapsed CPU time: 4.51131 s	Remaining CPU time: 1795.49 s
4.49/4.56	c core #795
4.49/4.56	c Core size: 3	Core Weight: 1	Total Weight: 795
4.49/4.56	c Elapsed CPU time: 4.51931 s	Remaining CPU time: 1795.48 s
4.49/4.56	c core #796
4.49/4.56	c Core size: 3	Core Weight: 1	Total Weight: 796
4.49/4.56	c Elapsed CPU time: 4.52831 s	Remaining CPU time: 1795.47 s
4.49/4.57	c core #797
4.49/4.57	c Core size: 3	Core Weight: 1	Total Weight: 797
4.49/4.57	c Elapsed CPU time: 4.53631 s	Remaining CPU time: 1795.46 s
4.49/4.58	c core #798
4.49/4.58	c Core size: 3	Core Weight: 1	Total Weight: 798
4.49/4.58	c Elapsed CPU time: 4.54531 s	Remaining CPU time: 1795.45 s
4.49/4.59	c core #799
4.49/4.59	c Core size: 3	Core Weight: 1	Total Weight: 799
4.49/4.59	c Elapsed CPU time: 4.55331 s	Remaining CPU time: 1795.45 s
4.59/4.60	c core #800
4.59/4.60	c Core size: 3	Core Weight: 1	Total Weight: 800
4.59/4.60	c Elapsed CPU time: 4.56131 s	Remaining CPU time: 1795.44 s
4.59/4.61	c core #801
4.59/4.61	c Core size: 3	Core Weight: 1	Total Weight: 801
4.59/4.61	c Elapsed CPU time: 4.5693 s	Remaining CPU time: 1795.43 s
4.59/4.61	c core #802
4.59/4.61	c Core size: 3	Core Weight: 1	Total Weight: 802
4.59/4.61	c Elapsed CPU time: 4.5773 s	Remaining CPU time: 1795.42 s
4.59/4.62	c core #803
4.59/4.62	c Core size: 3	Core Weight: 1	Total Weight: 803
4.59/4.62	c Elapsed CPU time: 4.5863 s	Remaining CPU time: 1795.41 s
4.59/4.63	c core #804
4.59/4.63	c Core size: 3	Core Weight: 1	Total Weight: 804
4.59/4.63	c Elapsed CPU time: 4.5943 s	Remaining CPU time: 1795.41 s
4.59/4.64	c core #805
4.59/4.64	c Core size: 3	Core Weight: 1	Total Weight: 805
4.59/4.64	c Elapsed CPU time: 4.6033 s	Remaining CPU time: 1795.4 s
4.59/4.65	c core #806
4.59/4.65	c Core size: 3	Core Weight: 1	Total Weight: 806
4.59/4.65	c Elapsed CPU time: 4.6113 s	Remaining CPU time: 1795.39 s
4.59/4.66	c core #807
4.59/4.66	c Core size: 3	Core Weight: 1	Total Weight: 807
4.59/4.66	c Elapsed CPU time: 4.6203 s	Remaining CPU time: 1795.38 s
4.59/4.67	c core #808
4.59/4.67	c Core size: 3	Core Weight: 1	Total Weight: 808
4.59/4.67	c Elapsed CPU time: 4.6283 s	Remaining CPU time: 1795.37 s
4.59/4.67	c core #809
4.59/4.67	c Core size: 3	Core Weight: 1	Total Weight: 809
4.59/4.67	c Elapsed CPU time: 4.63729 s	Remaining CPU time: 1795.36 s
4.59/4.68	c core #810
4.59/4.68	c Core size: 3	Core Weight: 1	Total Weight: 810
4.59/4.68	c Elapsed CPU time: 4.64529 s	Remaining CPU time: 1795.35 s
4.59/4.69	c core #811
4.59/4.69	c Core size: 3	Core Weight: 1	Total Weight: 811
4.59/4.69	c Elapsed CPU time: 4.65429 s	Remaining CPU time: 1795.35 s
4.68/4.70	c core #812
4.68/4.70	c Core size: 3	Core Weight: 1	Total Weight: 812
4.68/4.70	c Elapsed CPU time: 4.66229 s	Remaining CPU time: 1795.34 s
4.68/4.71	c core #813
4.68/4.71	c Core size: 3	Core Weight: 1	Total Weight: 813
4.68/4.71	c Elapsed CPU time: 4.67029 s	Remaining CPU time: 1795.33 s
4.68/4.72	c core #814
4.68/4.72	c Core size: 3	Core Weight: 1	Total Weight: 814
4.68/4.72	c Elapsed CPU time: 4.67929 s	Remaining CPU time: 1795.32 s
4.68/4.73	c core #815
4.68/4.73	c Core size: 3	Core Weight: 1	Total Weight: 815
4.68/4.73	c Elapsed CPU time: 4.68729 s	Remaining CPU time: 1795.31 s
4.68/4.73	c core #816
4.68/4.73	c Core size: 3	Core Weight: 1	Total Weight: 816
4.68/4.73	c Elapsed CPU time: 4.69629 s	Remaining CPU time: 1795.3 s
4.68/4.74	c core #817
4.68/4.74	c Core size: 3	Core Weight: 1	Total Weight: 817
4.68/4.74	c Elapsed CPU time: 4.70528 s	Remaining CPU time: 1795.29 s
4.68/4.75	c core #818
4.68/4.75	c Core size: 3	Core Weight: 1	Total Weight: 818
4.68/4.75	c Elapsed CPU time: 4.71328 s	Remaining CPU time: 1795.29 s
4.68/4.76	c core #819
4.68/4.76	c Core size: 3	Core Weight: 1	Total Weight: 819
4.68/4.76	c Elapsed CPU time: 4.72228 s	Remaining CPU time: 1795.28 s
4.68/4.77	c core #820
4.68/4.77	c Core size: 3	Core Weight: 1	Total Weight: 820
4.68/4.77	c Elapsed CPU time: 4.73028 s	Remaining CPU time: 1795.27 s
4.68/4.78	c core #821
4.68/4.78	c Core size: 3	Core Weight: 1	Total Weight: 821
4.68/4.78	c Elapsed CPU time: 4.73928 s	Remaining CPU time: 1795.26 s
4.68/4.79	c core #822
4.68/4.79	c Core size: 3	Core Weight: 1	Total Weight: 822
4.68/4.79	c Elapsed CPU time: 4.74828 s	Remaining CPU time: 1795.25 s
4.68/4.79	c core #823
4.68/4.79	c Core size: 3	Core Weight: 1	Total Weight: 823
4.68/4.79	c Elapsed CPU time: 4.75728 s	Remaining CPU time: 1795.24 s
4.78/4.80	c core #824
4.78/4.80	c Core size: 3	Core Weight: 1	Total Weight: 824
4.78/4.80	c Elapsed CPU time: 4.76527 s	Remaining CPU time: 1795.23 s
4.78/4.81	c core #825
4.78/4.81	c Core size: 3	Core Weight: 1	Total Weight: 825
4.78/4.81	c Elapsed CPU time: 4.77427 s	Remaining CPU time: 1795.23 s
4.78/4.82	c core #826
4.78/4.82	c Core size: 7	Core Weight: 1	Total Weight: 826
4.78/4.82	c Elapsed CPU time: 4.78327 s	Remaining CPU time: 1795.22 s
4.78/4.83	c core #827
4.78/4.83	c Core size: 7	Core Weight: 1	Total Weight: 827
4.78/4.83	c Elapsed CPU time: 4.79027 s	Remaining CPU time: 1795.21 s
4.78/4.84	c core #828
4.78/4.84	c Core size: 7	Core Weight: 1	Total Weight: 828
4.78/4.84	c Elapsed CPU time: 4.79827 s	Remaining CPU time: 1795.2 s
4.78/4.85	c core #829
4.78/4.85	c Core size: 7	Core Weight: 1	Total Weight: 829
4.78/4.85	c Elapsed CPU time: 4.80727 s	Remaining CPU time: 1795.19 s
4.78/4.86	c core #830
4.78/4.86	c Core size: 7	Core Weight: 1	Total Weight: 830
4.78/4.86	c Elapsed CPU time: 4.81627 s	Remaining CPU time: 1795.18 s
4.78/4.87	c core #831
4.78/4.87	c Core size: 7	Core Weight: 1	Total Weight: 831
4.78/4.87	c Elapsed CPU time: 4.82527 s	Remaining CPU time: 1795.17 s
4.78/4.87	c core #832
4.78/4.87	c Core size: 7	Core Weight: 1	Total Weight: 832
4.78/4.87	c Elapsed CPU time: 4.83427 s	Remaining CPU time: 1795.17 s
4.78/4.88	c core #833
4.78/4.88	c Core size: 7	Core Weight: 1	Total Weight: 833
4.78/4.88	c Elapsed CPU time: 4.84226 s	Remaining CPU time: 1795.16 s
4.78/4.89	c core #834
4.78/4.89	c Core size: 7	Core Weight: 1	Total Weight: 834
4.78/4.89	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 1795.15 s
4.88/4.90	c core #835
4.88/4.90	c Core size: 7	Core Weight: 1	Total Weight: 835
4.88/4.90	c Elapsed CPU time: 4.86026 s	Remaining CPU time: 1795.14 s
4.88/4.91	c core #836
4.88/4.91	c Core size: 7	Core Weight: 1	Total Weight: 836
4.88/4.91	c Elapsed CPU time: 4.86926 s	Remaining CPU time: 1795.13 s
4.88/4.92	c core #837
4.88/4.92	c Core size: 7	Core Weight: 1	Total Weight: 837
4.88/4.92	c Elapsed CPU time: 4.87826 s	Remaining CPU time: 1795.12 s
4.88/4.93	c core #838
4.88/4.93	c Core size: 7	Core Weight: 1	Total Weight: 838
4.88/4.93	c Elapsed CPU time: 4.88626 s	Remaining CPU time: 1795.11 s
4.88/4.94	c core #839
4.88/4.94	c Core size: 7	Core Weight: 1	Total Weight: 839
4.88/4.94	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 1795.11 s
4.88/4.94	c core #840
4.88/4.94	c Core size: 7	Core Weight: 1	Total Weight: 840
4.88/4.94	c Elapsed CPU time: 4.90325 s	Remaining CPU time: 1795.1 s
4.88/4.95	c core #841
4.88/4.95	c Core size: 7	Core Weight: 1	Total Weight: 841
4.88/4.95	c Elapsed CPU time: 4.91225 s	Remaining CPU time: 1795.09 s
4.88/4.96	c core #842
4.88/4.96	c Core size: 7	Core Weight: 1	Total Weight: 842
4.88/4.96	c Elapsed CPU time: 4.92125 s	Remaining CPU time: 1795.08 s
4.88/4.97	c core #843
4.88/4.97	c Core size: 7	Core Weight: 1	Total Weight: 843
4.88/4.97	c Elapsed CPU time: 4.93025 s	Remaining CPU time: 1795.07 s
4.88/4.98	c core #844
4.88/4.98	c Core size: 7	Core Weight: 1	Total Weight: 844
4.88/4.98	c Elapsed CPU time: 4.93925 s	Remaining CPU time: 1795.06 s
4.88/4.99	c core #845
4.88/4.99	c Core size: 7	Core Weight: 1	Total Weight: 845
4.88/4.99	c Elapsed CPU time: 4.94825 s	Remaining CPU time: 1795.05 s
4.98/5.00	c core #846
4.98/5.00	c Core size: 7	Core Weight: 1	Total Weight: 846
4.98/5.00	c Elapsed CPU time: 4.95725 s	Remaining CPU time: 1795.04 s
4.98/5.01	c core #847
4.98/5.01	c Core size: 7	Core Weight: 1	Total Weight: 847
4.98/5.01	c Elapsed CPU time: 4.96624 s	Remaining CPU time: 1795.03 s
4.98/5.02	c core #848
4.98/5.02	c Core size: 7	Core Weight: 1	Total Weight: 848
4.98/5.02	c Elapsed CPU time: 4.97524 s	Remaining CPU time: 1795.02 s
4.98/5.03	c core #849
4.98/5.03	c Core size: 11	Core Weight: 1	Total Weight: 849
4.98/5.03	c Elapsed CPU time: 4.98424 s	Remaining CPU time: 1795.02 s
4.98/5.03	c core #850
4.98/5.03	c Core size: 7	Core Weight: 1	Total Weight: 850
4.98/5.03	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 1795.01 s
4.98/5.04	c core #851
4.98/5.04	c Core size: 11	Core Weight: 1	Total Weight: 851
4.98/5.04	c Elapsed CPU time: 5.00224 s	Remaining CPU time: 1795 s
4.98/5.05	c core #852
4.98/5.05	c Core size: 7	Core Weight: 1	Total Weight: 852
4.98/5.05	c Elapsed CPU time: 5.01124 s	Remaining CPU time: 1794.99 s
4.98/5.06	c core #853
4.98/5.06	c Core size: 7	Core Weight: 1	Total Weight: 853
4.98/5.06	c Elapsed CPU time: 5.02024 s	Remaining CPU time: 1794.98 s
4.98/5.07	c core #854
4.98/5.07	c Core size: 7	Core Weight: 1	Total Weight: 854
4.98/5.07	c Elapsed CPU time: 5.02923 s	Remaining CPU time: 1794.97 s
4.98/5.08	c core #855
4.98/5.08	c Core size: 7	Core Weight: 1	Total Weight: 855
4.98/5.08	c Elapsed CPU time: 5.03823 s	Remaining CPU time: 1794.96 s
4.98/5.09	c core #856
4.98/5.09	c Core size: 11	Core Weight: 1	Total Weight: 856
4.98/5.09	c Elapsed CPU time: 5.04723 s	Remaining CPU time: 1794.95 s
5.08/5.10	c core #857
5.08/5.10	c Core size: 7	Core Weight: 1	Total Weight: 857
5.08/5.10	c Elapsed CPU time: 5.05523 s	Remaining CPU time: 1794.94 s
5.08/5.11	c core #858
5.08/5.11	c Core size: 7	Core Weight: 1	Total Weight: 858
5.08/5.11	c Elapsed CPU time: 5.06323 s	Remaining CPU time: 1794.94 s
5.08/5.12	c core #859
5.08/5.12	c Core size: 15	Core Weight: 1	Total Weight: 859
5.08/5.12	c Elapsed CPU time: 5.07323 s	Remaining CPU time: 1794.93 s
5.08/5.13	c core #860
5.08/5.13	c Core size: 7	Core Weight: 1	Total Weight: 860
5.08/5.13	c Elapsed CPU time: 5.08223 s	Remaining CPU time: 1794.92 s
5.08/5.14	c core #861
5.08/5.14	c Core size: 7	Core Weight: 1	Total Weight: 861
5.08/5.14	c Elapsed CPU time: 5.09123 s	Remaining CPU time: 1794.91 s
5.08/5.15	c core #862
5.08/5.15	c Core size: 11	Core Weight: 1	Total Weight: 862
5.08/5.15	c Elapsed CPU time: 5.09922 s	Remaining CPU time: 1794.9 s
5.08/5.16	c core #863
5.08/5.16	c Core size: 7	Core Weight: 1	Total Weight: 863
5.08/5.16	c Elapsed CPU time: 5.10822 s	Remaining CPU time: 1794.89 s
5.08/5.17	c core #864
5.08/5.17	c Core size: 7	Core Weight: 1	Total Weight: 864
5.08/5.17	c Elapsed CPU time: 5.11822 s	Remaining CPU time: 1794.88 s
5.08/5.18	c core #865
5.08/5.18	c Core size: 7	Core Weight: 1	Total Weight: 865
5.08/5.18	c Elapsed CPU time: 5.12822 s	Remaining CPU time: 1794.87 s
5.08/5.19	c core #866
5.08/5.19	c Core size: 7	Core Weight: 1	Total Weight: 866
5.08/5.19	c Elapsed CPU time: 5.13722 s	Remaining CPU time: 1794.86 s
5.08/5.20	c core #867
5.08/5.20	c Core size: 7	Core Weight: 1	Total Weight: 867
5.08/5.20	c Elapsed CPU time: 5.14722 s	Remaining CPU time: 1794.85 s
5.17/5.20	c core #868
5.17/5.20	c Core size: 7	Core Weight: 1	Total Weight: 868
5.17/5.20	c Elapsed CPU time: 5.15622 s	Remaining CPU time: 1794.84 s
5.17/5.21	c core #869
5.17/5.21	c Core size: 7	Core Weight: 1	Total Weight: 869
5.17/5.21	c Elapsed CPU time: 5.16521 s	Remaining CPU time: 1794.83 s
5.17/5.22	c core #870
5.17/5.22	c Core size: 7	Core Weight: 1	Total Weight: 870
5.17/5.22	c Elapsed CPU time: 5.17521 s	Remaining CPU time: 1794.82 s
5.17/5.23	c core #871
5.17/5.23	c Core size: 11	Core Weight: 1	Total Weight: 871
5.17/5.23	c Elapsed CPU time: 5.18421 s	Remaining CPU time: 1794.82 s
5.17/5.24	c core #872
5.17/5.24	c Core size: 7	Core Weight: 1	Total Weight: 872
5.17/5.24	c Elapsed CPU time: 5.19321 s	Remaining CPU time: 1794.81 s
5.17/5.25	c core #873
5.17/5.25	c Core size: 7	Core Weight: 1	Total Weight: 873
5.17/5.25	c Elapsed CPU time: 5.20321 s	Remaining CPU time: 1794.8 s
5.17/5.26	c core #874
5.17/5.26	c Core size: 7	Core Weight: 1	Total Weight: 874
5.17/5.26	c Elapsed CPU time: 5.21221 s	Remaining CPU time: 1794.79 s
5.17/5.27	c core #875
5.17/5.27	c Core size: 7	Core Weight: 1	Total Weight: 875
5.17/5.27	c Elapsed CPU time: 5.22221 s	Remaining CPU time: 1794.78 s
5.17/5.28	c core #876
5.17/5.28	c Core size: 11	Core Weight: 1	Total Weight: 876
5.17/5.28	c Elapsed CPU time: 5.2312 s	Remaining CPU time: 1794.77 s
5.17/5.29	c core #877
5.17/5.29	c Core size: 19	Core Weight: 1	Total Weight: 877
5.17/5.29	c Elapsed CPU time: 5.2412 s	Remaining CPU time: 1794.76 s
5.28/5.30	c core #878
5.28/5.30	c Core size: 15	Core Weight: 1	Total Weight: 878
5.28/5.30	c Elapsed CPU time: 5.2512 s	Remaining CPU time: 1794.75 s
5.28/5.31	c core #879
5.28/5.31	c Core size: 19	Core Weight: 1	Total Weight: 879
5.28/5.31	c Elapsed CPU time: 5.2612 s	Remaining CPU time: 1794.74 s
5.28/5.32	c core #880
5.28/5.32	c Core size: 11	Core Weight: 1	Total Weight: 880
5.28/5.32	c Elapsed CPU time: 5.2692 s	Remaining CPU time: 1794.73 s
5.28/5.33	c core #881
5.28/5.33	c Core size: 19	Core Weight: 1	Total Weight: 881
5.28/5.33	c Elapsed CPU time: 5.2782 s	Remaining CPU time: 1794.72 s
5.28/5.34	c core #882
5.28/5.34	c Core size: 7	Core Weight: 1	Total Weight: 882
5.28/5.34	c Elapsed CPU time: 5.2882 s	Remaining CPU time: 1794.71 s
5.28/5.35	c core #883
5.28/5.35	c Core size: 11	Core Weight: 1	Total Weight: 883
5.28/5.35	c Elapsed CPU time: 5.29719 s	Remaining CPU time: 1794.7 s
5.28/5.36	c core #884
5.28/5.36	c Core size: 7	Core Weight: 1	Total Weight: 884
5.28/5.36	c Elapsed CPU time: 5.30719 s	Remaining CPU time: 1794.69 s
5.28/5.37	c core #885
5.28/5.37	c Core size: 11	Core Weight: 1	Total Weight: 885
5.28/5.37	c Elapsed CPU time: 5.31619 s	Remaining CPU time: 1794.68 s
5.28/5.38	c core #886
5.28/5.38	c Core size: 7	Core Weight: 1	Total Weight: 886
5.28/5.38	c Elapsed CPU time: 5.32619 s	Remaining CPU time: 1794.67 s
5.28/5.39	c core #887
5.28/5.39	c Core size: 7	Core Weight: 1	Total Weight: 887
5.28/5.39	c Elapsed CPU time: 5.33619 s	Remaining CPU time: 1794.66 s
5.38/5.40	c core #888
5.38/5.40	c Core size: 7	Core Weight: 1	Total Weight: 888
5.38/5.40	c Elapsed CPU time: 5.34619 s	Remaining CPU time: 1794.65 s
5.38/5.41	c core #889
5.38/5.41	c Core size: 11	Core Weight: 1	Total Weight: 889
5.38/5.41	c Elapsed CPU time: 5.35618 s	Remaining CPU time: 1794.64 s
5.38/5.42	c core #890
5.38/5.42	c Core size: 7	Core Weight: 1	Total Weight: 890
5.38/5.42	c Elapsed CPU time: 5.36618 s	Remaining CPU time: 1794.63 s
5.38/5.43	c core #891
5.38/5.43	c Core size: 7	Core Weight: 1	Total Weight: 891
5.38/5.43	c Elapsed CPU time: 5.37618 s	Remaining CPU time: 1794.62 s
5.38/5.44	c core #892
5.38/5.44	c Core size: 7	Core Weight: 1	Total Weight: 892
5.38/5.44	c Elapsed CPU time: 5.38518 s	Remaining CPU time: 1794.61 s
5.38/5.45	c core #893
5.38/5.45	c Core size: 7	Core Weight: 1	Total Weight: 893
5.38/5.45	c Elapsed CPU time: 5.39518 s	Remaining CPU time: 1794.6 s
5.38/5.46	c core #894
5.38/5.46	c Core size: 7	Core Weight: 1	Total Weight: 894
5.38/5.46	c Elapsed CPU time: 5.40518 s	Remaining CPU time: 1794.59 s
5.38/5.47	c core #895
5.38/5.47	c Core size: 19	Core Weight: 1	Total Weight: 895
5.38/5.47	c Elapsed CPU time: 5.41518 s	Remaining CPU time: 1794.58 s
5.38/5.48	c core #896
5.38/5.48	c Core size: 7	Core Weight: 1	Total Weight: 896
5.38/5.48	c Elapsed CPU time: 5.42518 s	Remaining CPU time: 1794.57 s
5.38/5.49	c core #897
5.38/5.49	c Core size: 11	Core Weight: 1	Total Weight: 897
5.38/5.49	c Elapsed CPU time: 5.43517 s	Remaining CPU time: 1794.56 s
5.48/5.50	c core #898
5.48/5.50	c Core size: 15	Core Weight: 1	Total Weight: 898
5.48/5.50	c Elapsed CPU time: 5.44517 s	Remaining CPU time: 1794.55 s
5.48/5.51	c core #899
5.48/5.51	c Core size: 15	Core Weight: 1	Total Weight: 899
5.48/5.51	c Elapsed CPU time: 5.45517 s	Remaining CPU time: 1794.54 s
5.48/5.52	c core #900
5.48/5.52	c Core size: 15	Core Weight: 1	Total Weight: 900
5.48/5.52	c Elapsed CPU time: 5.46517 s	Remaining CPU time: 1794.53 s
5.48/5.53	c core #901
5.48/5.53	c Core size: 11	Core Weight: 1	Total Weight: 901
5.48/5.53	c Elapsed CPU time: 5.47517 s	Remaining CPU time: 1794.52 s
5.48/5.54	c core #902
5.48/5.54	c Core size: 11	Core Weight: 1	Total Weight: 902
5.48/5.54	c Elapsed CPU time: 5.48517 s	Remaining CPU time: 1794.51 s
5.48/5.55	c core #903
5.48/5.55	c Core size: 11	Core Weight: 1	Total Weight: 903
5.48/5.55	c Elapsed CPU time: 5.49516 s	Remaining CPU time: 1794.5 s
5.48/5.56	c core #904
5.48/5.56	c Core size: 7	Core Weight: 1	Total Weight: 904
5.48/5.56	c Elapsed CPU time: 5.50516 s	Remaining CPU time: 1794.49 s
5.48/5.57	c core #905
5.48/5.57	c Core size: 15	Core Weight: 1	Total Weight: 905
5.48/5.57	c Elapsed CPU time: 5.51516 s	Remaining CPU time: 1794.48 s
5.48/5.58	c core #906
5.48/5.58	c Core size: 19	Core Weight: 1	Total Weight: 906
5.48/5.58	c Elapsed CPU time: 5.52516 s	Remaining CPU time: 1794.47 s
5.48/5.59	c core #907
5.48/5.59	c Core size: 11	Core Weight: 1	Total Weight: 907
5.48/5.59	c Elapsed CPU time: 5.53416 s	Remaining CPU time: 1794.47 s
5.58/5.60	c core #908
5.58/5.60	c Core size: 7	Core Weight: 1	Total Weight: 908
5.58/5.60	c Elapsed CPU time: 5.54416 s	Remaining CPU time: 1794.46 s
5.58/5.61	c core #909
5.58/5.61	c Core size: 7	Core Weight: 1	Total Weight: 909
5.58/5.61	c Elapsed CPU time: 5.55415 s	Remaining CPU time: 1794.45 s
5.58/5.63	c core #910
5.58/5.63	c Core size: 15	Core Weight: 1	Total Weight: 910
5.58/5.63	c Elapsed CPU time: 5.56415 s	Remaining CPU time: 1794.44 s
5.58/5.64	c core #911
5.58/5.64	c Core size: 15	Core Weight: 1	Total Weight: 911
5.58/5.64	c Elapsed CPU time: 5.57515 s	Remaining CPU time: 1794.42 s
5.58/5.65	c core #912
5.58/5.65	c Core size: 11	Core Weight: 1	Total Weight: 912
5.58/5.65	c Elapsed CPU time: 5.58415 s	Remaining CPU time: 1794.42 s
5.58/5.66	c core #913
5.58/5.66	c Core size: 11	Core Weight: 1	Total Weight: 913
5.58/5.66	c Elapsed CPU time: 5.59515 s	Remaining CPU time: 1794.4 s
5.58/5.67	c core #914
5.58/5.67	c Core size: 11	Core Weight: 1	Total Weight: 914
5.58/5.67	c Elapsed CPU time: 5.60515 s	Remaining CPU time: 1794.39 s
5.58/5.68	c core #915
5.58/5.68	c Core size: 11	Core Weight: 1	Total Weight: 915
5.58/5.68	c Elapsed CPU time: 5.61615 s	Remaining CPU time: 1794.38 s
5.58/5.69	c core #916
5.58/5.69	c Core size: 7	Core Weight: 1	Total Weight: 916
5.58/5.69	c Elapsed CPU time: 5.62714 s	Remaining CPU time: 1794.37 s
5.67/5.70	c core #917
5.67/5.70	c Core size: 7	Core Weight: 1	Total Weight: 917
5.67/5.70	c Elapsed CPU time: 5.63714 s	Remaining CPU time: 1794.36 s
5.67/5.71	c core #918
5.67/5.71	c Core size: 11	Core Weight: 1	Total Weight: 918
5.67/5.71	c Elapsed CPU time: 5.64714 s	Remaining CPU time: 1794.35 s
5.67/5.72	c core #919
5.67/5.72	c Core size: 23	Core Weight: 1	Total Weight: 919
5.67/5.72	c Elapsed CPU time: 5.65814 s	Remaining CPU time: 1794.34 s
5.67/5.73	c core #920
5.67/5.73	c Core size: 11	Core Weight: 1	Total Weight: 920
5.67/5.73	c Elapsed CPU time: 5.66914 s	Remaining CPU time: 1794.33 s
5.67/5.74	c core #921
5.67/5.74	c Core size: 7	Core Weight: 1	Total Weight: 921
5.67/5.74	c Elapsed CPU time: 5.67914 s	Remaining CPU time: 1794.32 s
5.67/5.75	c core #922
5.67/5.75	c Core size: 11	Core Weight: 1	Total Weight: 922
5.67/5.75	c Elapsed CPU time: 5.69013 s	Remaining CPU time: 1794.31 s
5.67/5.76	c core #923
5.67/5.76	c Core size: 11	Core Weight: 1	Total Weight: 923
5.67/5.76	c Elapsed CPU time: 5.70113 s	Remaining CPU time: 1794.3 s
5.67/5.77	c core #924
5.67/5.77	c Core size: 7	Core Weight: 1	Total Weight: 924
5.67/5.77	c Elapsed CPU time: 5.71113 s	Remaining CPU time: 1794.29 s
5.67/5.79	c core #925
5.67/5.79	c Core size: 11	Core Weight: 1	Total Weight: 925
5.67/5.79	c Elapsed CPU time: 5.72213 s	Remaining CPU time: 1794.28 s
5.67/5.80	c core #926
5.67/5.80	c Core size: 11	Core Weight: 1	Total Weight: 926
5.67/5.80	c Elapsed CPU time: 5.73313 s	Remaining CPU time: 1794.27 s
5.77/5.81	c core #927
5.77/5.81	c Core size: 7	Core Weight: 1	Total Weight: 927
5.77/5.81	c Elapsed CPU time: 5.74413 s	Remaining CPU time: 1794.26 s
5.77/5.82	c core #928
5.77/5.82	c Core size: 27	Core Weight: 1	Total Weight: 928
5.77/5.82	c Elapsed CPU time: 5.75512 s	Remaining CPU time: 1794.24 s
5.77/5.83	c core #929
5.77/5.83	c Core size: 15	Core Weight: 1	Total Weight: 929
5.77/5.83	c Elapsed CPU time: 5.76612 s	Remaining CPU time: 1794.23 s
5.77/5.84	c core #930
5.77/5.84	c Core size: 15	Core Weight: 1	Total Weight: 930
5.77/5.84	c Elapsed CPU time: 5.77612 s	Remaining CPU time: 1794.22 s
5.77/5.85	c core #931
5.77/5.85	c Core size: 15	Core Weight: 1	Total Weight: 931
5.77/5.85	c Elapsed CPU time: 5.78612 s	Remaining CPU time: 1794.21 s
5.77/5.86	c core #932
5.77/5.86	c Core size: 7	Core Weight: 1	Total Weight: 932
5.77/5.86	c Elapsed CPU time: 5.79812 s	Remaining CPU time: 1794.2 s
5.77/5.87	c core #933
5.77/5.87	c Core size: 19	Core Weight: 1	Total Weight: 933
5.77/5.87	c Elapsed CPU time: 5.80912 s	Remaining CPU time: 1794.19 s
5.77/5.88	c core #934
5.77/5.88	c Core size: 27	Core Weight: 1	Total Weight: 934
5.77/5.88	c Elapsed CPU time: 5.82012 s	Remaining CPU time: 1794.18 s
5.77/5.90	c core #935
5.77/5.90	c Core size: 15	Core Weight: 1	Total Weight: 935
5.77/5.90	c Elapsed CPU time: 5.83011 s	Remaining CPU time: 1794.17 s
5.87/5.91	c core #936
5.87/5.91	c Core size: 11	Core Weight: 1	Total Weight: 936
5.87/5.91	c Elapsed CPU time: 5.84011 s	Remaining CPU time: 1794.16 s
5.87/5.92	c core #937
5.87/5.92	c Core size: 15	Core Weight: 1	Total Weight: 937
5.87/5.92	c Elapsed CPU time: 5.85211 s	Remaining CPU time: 1794.15 s
5.87/5.93	c core #938
5.87/5.93	c Core size: 27	Core Weight: 1	Total Weight: 938
5.87/5.93	c Elapsed CPU time: 5.86311 s	Remaining CPU time: 1794.14 s
5.87/5.94	c core #939
5.87/5.94	c Core size: 23	Core Weight: 1	Total Weight: 939
5.87/5.94	c Elapsed CPU time: 5.87411 s	Remaining CPU time: 1794.13 s
5.87/5.95	c core #940
5.87/5.95	c Core size: 11	Core Weight: 1	Total Weight: 940
5.87/5.95	c Elapsed CPU time: 5.88511 s	Remaining CPU time: 1794.11 s
5.87/5.96	c core #941
5.87/5.96	c Core size: 30	Core Weight: 1	Total Weight: 941
5.87/5.96	c Elapsed CPU time: 5.8961 s	Remaining CPU time: 1794.1 s
5.87/5.97	c core #942
5.87/5.97	c Core size: 19	Core Weight: 1	Total Weight: 942
5.87/5.97	c Elapsed CPU time: 5.9061 s	Remaining CPU time: 1794.09 s
5.87/5.98	c core #943
5.87/5.98	c Core size: 19	Core Weight: 1	Total Weight: 943
5.87/5.98	c Elapsed CPU time: 5.9171 s	Remaining CPU time: 1794.08 s
5.87/5.99	c core #944
5.87/5.99	c Core size: 19	Core Weight: 1	Total Weight: 944
5.87/5.99	c Elapsed CPU time: 5.9271 s	Remaining CPU time: 1794.07 s
5.96/6.01	c core #945
5.96/6.01	c Core size: 11	Core Weight: 1	Total Weight: 945
5.96/6.01	c Elapsed CPU time: 5.9391 s	Remaining CPU time: 1794.06 s
5.96/6.02	c core #946
5.96/6.02	c Core size: 15	Core Weight: 1	Total Weight: 946
5.96/6.02	c Elapsed CPU time: 5.9501 s	Remaining CPU time: 1794.05 s
5.96/6.03	c core #947
5.96/6.03	c Core size: 15	Core Weight: 1	Total Weight: 947
5.96/6.03	c Elapsed CPU time: 5.96109 s	Remaining CPU time: 1794.04 s
5.96/6.04	c core #948
5.96/6.04	c Core size: 23	Core Weight: 1	Total Weight: 948
5.96/6.04	c Elapsed CPU time: 5.97209 s	Remaining CPU time: 1794.03 s
5.96/6.05	c core #949
5.96/6.05	c Core size: 11	Core Weight: 1	Total Weight: 949
5.96/6.05	c Elapsed CPU time: 5.98409 s	Remaining CPU time: 1794.02 s
5.96/6.06	c core #950
5.96/6.06	c Core size: 19	Core Weight: 1	Total Weight: 950
5.96/6.06	c Elapsed CPU time: 5.99509 s	Remaining CPU time: 1794 s
5.96/6.07	c core #951
5.96/6.07	c Core size: 35	Core Weight: 1	Total Weight: 951
5.96/6.07	c Elapsed CPU time: 6.00609 s	Remaining CPU time: 1793.99 s
5.96/6.09	c core #952
5.96/6.09	c Core size: 15	Core Weight: 1	Total Weight: 952
5.96/6.09	c Elapsed CPU time: 6.01708 s	Remaining CPU time: 1793.98 s
6.06/6.10	c core #953
6.06/6.10	c Core size: 15	Core Weight: 1	Total Weight: 953
6.06/6.10	c Elapsed CPU time: 6.02908 s	Remaining CPU time: 1793.97 s
6.06/6.11	c core #954
6.06/6.11	c Core size: 11	Core Weight: 1	Total Weight: 954
6.06/6.11	c Elapsed CPU time: 6.04008 s	Remaining CPU time: 1793.96 s
6.06/6.12	c core #955
6.06/6.12	c Core size: 27	Core Weight: 1	Total Weight: 955
6.06/6.12	c Elapsed CPU time: 6.05208 s	Remaining CPU time: 1793.95 s
6.06/6.13	c core #956
6.06/6.13	c Core size: 23	Core Weight: 1	Total Weight: 956
6.06/6.13	c Elapsed CPU time: 6.06308 s	Remaining CPU time: 1793.94 s
6.06/6.14	c core #957
6.06/6.14	c Core size: 23	Core Weight: 1	Total Weight: 957
6.06/6.14	c Elapsed CPU time: 6.07508 s	Remaining CPU time: 1793.92 s
6.06/6.16	c core #958
6.06/6.16	c Core size: 11	Core Weight: 1	Total Weight: 958
6.06/6.16	c Elapsed CPU time: 6.08707 s	Remaining CPU time: 1793.91 s
6.06/6.17	c core #959
6.06/6.17	c Core size: 19	Core Weight: 1	Total Weight: 959
6.06/6.17	c Elapsed CPU time: 6.09807 s	Remaining CPU time: 1793.9 s
6.06/6.18	c core #960
6.06/6.18	c Core size: 47	Core Weight: 1	Total Weight: 960
6.06/6.18	c Elapsed CPU time: 6.10907 s	Remaining CPU time: 1793.89 s
6.06/6.19	c core #961
6.06/6.19	c Core size: 31	Core Weight: 1	Total Weight: 961
6.06/6.19	c Elapsed CPU time: 6.12007 s	Remaining CPU time: 1793.88 s
6.16/6.20	c core #962
6.16/6.20	c Core size: 55	Core Weight: 1	Total Weight: 962
6.16/6.20	c Elapsed CPU time: 6.13207 s	Remaining CPU time: 1793.87 s
6.16/6.21	c core #963
6.16/6.21	c Core size: 15	Core Weight: 1	Total Weight: 963
6.16/6.21	c Elapsed CPU time: 6.14307 s	Remaining CPU time: 1793.86 s
6.16/6.23	c core #964
6.16/6.23	c Core size: 19	Core Weight: 1	Total Weight: 964
6.16/6.23	c Elapsed CPU time: 6.15506 s	Remaining CPU time: 1793.84 s
6.16/6.24	c core #965
6.16/6.24	c Core size: 95	Core Weight: 1	Total Weight: 965
6.16/6.24	c Elapsed CPU time: 6.16706 s	Remaining CPU time: 1793.83 s
6.16/6.25	c core #966
6.16/6.25	c Core size: 43	Core Weight: 1	Total Weight: 966
6.16/6.25	c Elapsed CPU time: 6.17806 s	Remaining CPU time: 1793.82 s
6.16/6.26	c core #967
6.16/6.26	c Core size: 31	Core Weight: 1	Total Weight: 967
6.16/6.26	c Elapsed CPU time: 6.19006 s	Remaining CPU time: 1793.81 s
6.16/6.27	c core #968
6.16/6.27	c Core size: 119	Core Weight: 1	Total Weight: 968
6.16/6.27	c Elapsed CPU time: 6.20106 s	Remaining CPU time: 1793.8 s
6.16/6.29	c core #969
6.16/6.29	c Core size: 62	Core Weight: 1	Total Weight: 969
6.16/6.29	c Elapsed CPU time: 6.21305 s	Remaining CPU time: 1793.79 s
6.26/6.30	c core #970
6.26/6.30	c Core size: 67	Core Weight: 1	Total Weight: 970
6.26/6.30	c Elapsed CPU time: 6.22405 s	Remaining CPU time: 1793.78 s
6.26/6.31	c core #971
6.26/6.31	c Core size: 67	Core Weight: 1	Total Weight: 971
6.26/6.31	c Elapsed CPU time: 6.23605 s	Remaining CPU time: 1793.76 s
6.26/6.32	c core #972
6.26/6.32	c Core size: 51	Core Weight: 1	Total Weight: 972
6.26/6.32	c Elapsed CPU time: 6.24805 s	Remaining CPU time: 1793.75 s
6.26/6.33	c core #973
6.26/6.33	c Core size: 47	Core Weight: 1	Total Weight: 973
6.26/6.33	c Elapsed CPU time: 6.26005 s	Remaining CPU time: 1793.74 s
6.26/6.35	c ============================[ Search Statistics ]==============================
6.26/6.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.26/6.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.26/6.35	c ===============================================================================
6.26/6.35	c |         0 |    4676     6941    15562 |     5000        0    nan |  0.000 % |
6.26/6.35	c ===============================================================================
6.26/6.35	c core #974
6.26/6.35	c Core size: 69	Core Weight: 1	Total Weight: 974
6.26/6.35	c Elapsed CPU time: 6.27305 s	Remaining CPU time: 1793.73 s
6.26/6.36	c ============================[ Search Statistics ]==============================
6.26/6.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.26/6.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.26/6.36	c ===============================================================================
6.26/6.36	c |         0 |    4716     6942    15639 |     5000        0    nan |  0.000 % |
6.26/6.36	c ===============================================================================
6.26/6.36	c core #975
6.26/6.36	c Core size: 63	Core Weight: 1	Total Weight: 975
6.26/6.36	c Elapsed CPU time: 6.28604 s	Remaining CPU time: 1793.71 s
6.26/6.37	c ============================[ Search Statistics ]==============================
6.26/6.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.26/6.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.26/6.37	c ===============================================================================
6.26/6.37	c |         0 |    4770     6943    15719 |     5000        0    nan |  0.000 % |
6.26/6.38	c ===============================================================================
6.26/6.38	c core #976
6.26/6.38	c Core size: 64	Core Weight: 1	Total Weight: 976
6.26/6.38	c Elapsed CPU time: 6.29804 s	Remaining CPU time: 1793.7 s
6.26/6.39	c ============================[ Search Statistics ]==============================
6.26/6.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.26/6.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.26/6.39	c ===============================================================================
6.26/6.39	c |         0 |    4801     6944    15781 |     5000        0    nan |  0.000 % |
6.26/6.39	c ===============================================================================
6.26/6.39	c core #977
6.26/6.39	c Core size: 93	Core Weight: 1	Total Weight: 977
6.26/6.39	c Elapsed CPU time: 6.31204 s	Remaining CPU time: 1793.69 s
6.36/6.40	c ============================[ Search Statistics ]==============================
6.36/6.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.36/6.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.36/6.40	c ===============================================================================
6.36/6.40	c |         0 |    4847     6945    15873 |     5000        0    nan |  0.000 % |
6.36/6.41	c ===============================================================================
6.36/6.41	c core #978
6.36/6.41	c Core size: 58	Core Weight: 1	Total Weight: 978
6.36/6.41	c Elapsed CPU time: 6.32804 s	Remaining CPU time: 1793.67 s
6.36/6.42	c ============================[ Search Statistics ]==============================
6.36/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.36/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.36/6.42	c ===============================================================================
6.36/6.42	c |         0 |    4888     6946    15938 |     5000        0    nan |  0.000 % |
6.36/6.42	c ===============================================================================
6.36/6.42	c core #979
6.36/6.42	c Core size: 222	Core Weight: 1	Total Weight: 979
6.36/6.42	c Elapsed CPU time: 6.34403 s	Remaining CPU time: 1793.66 s
6.36/6.43	c ============================[ Search Statistics ]==============================
6.36/6.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.36/6.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.36/6.43	c ===============================================================================
6.36/6.43	c |         0 |    4996     6947    16154 |     5000        0    nan |  0.000 % |
6.36/6.44	c ===============================================================================
6.36/6.44	c core #980
6.36/6.44	c Core size: 126	Core Weight: 1	Total Weight: 980
6.36/6.44	c Elapsed CPU time: 6.35903 s	Remaining CPU time: 1793.64 s
6.36/6.45	c ============================[ Search Statistics ]==============================
6.36/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.36/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.36/6.45	c ===============================================================================
6.36/6.45	c |         0 |    5089     6948    16285 |     5000        0    nan |  0.000 % |
6.36/6.46	c |       101 |    5089     6948    16285 |     5500      101     12 |  1.739 % |
6.36/6.46	c ===============================================================================
6.36/6.46	c core #981
6.36/6.46	c Core size: 321	Core Weight: 1	Total Weight: 981
6.36/6.46	c Elapsed CPU time: 6.37903 s	Remaining CPU time: 1793.62 s
6.36/6.47	c ============================[ Search Statistics ]==============================
6.36/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.36/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.36/6.48	c ===============================================================================
6.36/6.48	c |         0 |    5265     6949    16610 |     5000        0    nan |  0.000 % |
6.36/6.49	c ===============================================================================
6.36/6.49	c core #982
6.36/6.49	c Core size: 215	Core Weight: 1	Total Weight: 982
6.36/6.49	c Elapsed CPU time: 6.40603 s	Remaining CPU time: 1793.59 s
6.46/6.50	c ============================[ Search Statistics ]==============================
6.46/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.46/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.46/6.50	c ===============================================================================
6.46/6.50	c |         0 |    5372     6950    16823 |     5000        0    nan |  0.000 % |
6.46/6.51	c |       101 |    5372     6950    16823 |     5500      101      8 |  1.250 % |
6.46/6.52	c ===============================================================================
6.46/6.53	c core #983
6.46/6.53	c Core size: 331	Core Weight: 1	Total Weight: 983
6.46/6.53	c Elapsed CPU time: 6.44102 s	Remaining CPU time: 1793.56 s
6.46/6.54	c ============================[ Search Statistics ]==============================
6.46/6.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.46/6.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.46/6.54	c ===============================================================================
6.46/6.54	c |         0 |    5527     6951    17133 |     5000        0    nan |  0.000 % |
6.46/6.55	c |       100 |    5465     6951    17133 |     5500       96     11 |  2.324 % |
6.46/6.57	c |       251 |    5465     6951    17133 |     6050      247     11 |  2.396 % |
6.46/6.59	c |       476 |    5460     6951    17133 |     6655      470     12 |  2.413 % |
6.57/6.62	c |       814 |    5460     6951    17133 |     7320      808     15 |  2.413 % |
6.57/6.66	c |      1320 |    5343     6951    17133 |     8052     1259     17 |  5.648 % |
6.57/6.67	c ===============================================================================
6.57/6.68	c core #984
6.57/6.68	c Core size: 516	Core Weight: 1	Total Weight: 984
6.57/6.68	c Elapsed CPU time: 6.588 s	Remaining CPU time: 1793.41 s
6.57/6.69	c ============================[ Search Statistics ]==============================
6.57/6.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.57/6.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.57/6.69	c ===============================================================================
6.57/6.69	c |         0 |    5781     6952    17644 |     5000        0    nan |  0.000 % |
6.66/6.71	c |       100 |    5780     6952    17644 |     5500      100      4 |  1.130 % |
6.66/6.72	c |       251 |    5776     6952    17644 |     6050      246      5 |  1.147 % |
6.66/6.75	c ===============================================================================
6.66/6.75	c core #985
6.66/6.75	c Core size: 503	Core Weight: 1	Total Weight: 985
6.66/6.75	c Elapsed CPU time: 6.65599 s	Remaining CPU time: 1793.34 s
6.66/6.76	c ============================[ Search Statistics ]==============================
6.66/6.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.66/6.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.66/6.76	c ===============================================================================
6.66/6.76	c |         0 |    6014     6953    18109 |     5000        0    nan |  0.000 % |
6.66/6.78	c |       102 |    6014     6953    18109 |     5500      102     10 |  0.988 % |
6.66/6.79	c |       252 |    6014     6953    18109 |     6050      252      8 |  0.988 % |
6.76/6.81	c |       477 |    6010     6953    18109 |     6655      476      8 |  1.054 % |
6.76/6.85	c |       814 |    6008     6953    18109 |     7320      812      9 |  1.087 % |
6.76/6.87	c ===============================================================================
6.76/6.88	c core #986
6.76/6.88	c Core size: 402	Core Weight: 1	Total Weight: 986
6.76/6.88	c Elapsed CPU time: 6.77997 s	Remaining CPU time: 1793.22 s
6.76/6.89	c ============================[ Search Statistics ]==============================
6.76/6.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.76/6.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.76/6.89	c ===============================================================================
6.76/6.89	c |         0 |    6219     6954    18486 |     5000        0    nan |  0.000 % |
6.86/6.91	c |       101 |    6219     6954    18486 |     5500      101     16 |  0.607 % |
6.86/6.93	c |       251 |    6219     6954    18486 |     6050      251     14 |  0.607 % |
6.86/6.95	c |       476 |    6219     6954    18486 |     6655      476     14 |  0.607 % |
6.86/6.98	c |       814 |    6219     6954    18486 |     7320      814     16 |  0.607 % |
6.96/7.05	c |      1321 |    6219     6954    18486 |     8052     1321     16 |  0.607 % |
7.06/7.15	c |      2081 |    6219     6954    18486 |     8857     2081     18 |  0.607 % |
7.26/7.35	c |      3220 |    6204     6954    18486 |     9743     3216     21 |  0.847 % |
7.56/7.65	c |      4930 |    6203     6954    18486 |    10717     4909     23 |  0.863 % |
8.15/8.20	c |      7492 |    6203     6954    18486 |    11789     7471     31 |  0.863 % |
8.95/9.04	c |     11338 |    6203     6954    18486 |    12968    11317     35 |  0.863 % |
9.26/9.35	c ===============================================================================
9.36/9.47	c core #987
9.36/9.47	c Core size: 874	Core Weight: 1	Total Weight: 987
9.36/9.47	c Elapsed CPU time: 9.32558 s	Remaining CPU time: 1790.67 s
9.36/9.50	c ============================[ Search Statistics ]==============================
9.36/9.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.36/9.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.36/9.50	c ===============================================================================
9.36/9.50	c |         0 |    6600     6955    19248 |     5000        0    nan |  0.000 % |
9.46/9.51	c |       110 |    6600     6955    19248 |     5500      110     37 |  0.572 % |
9.46/9.53	c |       261 |    6600     6955    19248 |     6050      261     21 |  0.572 % |
9.46/9.55	c |       488 |    6600     6955    19248 |     6655      488     18 |  0.572 % |
9.46/9.59	c |       825 |    6596     6955    19248 |     7320      824     19 |  0.633 % |
9.55/9.63	c |      1332 |    6595     6955    19248 |     8052     1327     20 |  0.648 % |
9.66/9.73	c |      2093 |    6595     6955    19248 |     8857     2088     29 |  0.648 % |
9.76/9.86	c |      3234 |    6595     6955    19248 |     9743     3229     31 |  0.648 % |
10.05/10.19	c |      4942 |    6595     6955    19248 |    10717     4937     36 |  0.648 % |
10.76/10.82	c |      7505 |    6383     6955    19248 |    11789     3549     33 |  3.842 % |
10.76/10.83	c ===============================================================================
10.86/10.92	c core #988
10.86/10.92	c Core size: 821	Core Weight: 1	Total Weight: 988
10.86/10.92	c Elapsed CPU time: 10.7504 s	Remaining CPU time: 1789.25 s
10.86/10.94	c ============================[ Search Statistics ]==============================
10.86/10.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.86/10.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.86/10.94	c ===============================================================================
10.86/10.94	c |         0 |    6954     6956    19956 |     5000        0    nan |  0.000 % |
10.86/10.95	c |       101 |    6954     6956    19956 |     5500      101     10 |  0.543 % |
10.86/10.96	c |       251 |    6954     6956    19956 |     6050      251     10 |  0.543 % |
10.86/10.99	c |       476 |    6954     6956    19956 |     6655      476     11 |  0.543 % |
10.96/11.03	c |       817 |    6954     6956    19956 |     7320      817     12 |  0.543 % |
10.96/11.07	c |      1324 |    6954     6956    19956 |     8052     1324     11 |  0.543 % |
11.06/11.16	c |      2083 |    6954     6956    19956 |     8857     2083     13 |  0.543 % |
11.15/11.28	c |      3223 |    6954     6956    19956 |     9743     3223     13 |  0.544 % |
11.46/11.51	c |      4932 |    6937     6956    19956 |    10717     4688     17 |  0.787 % |
11.76/11.87	c ===============================================================================
11.86/11.93	c core #989
11.86/11.93	c Core size: 892	Core Weight: 1	Total Weight: 989
11.86/11.93	c Elapsed CPU time: 11.7202 s	Remaining CPU time: 1788.28 s
11.86/11.95	c ============================[ Search Statistics ]==============================
11.86/11.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.86/11.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.86/11.95	c ===============================================================================
11.86/11.95	c |         0 |    7340     6957    20728 |     5000        0    nan |  0.000 % |
11.86/11.97	c |       100 |    7339     6957    20728 |     5500      100     13 |  0.529 % |
11.86/11.99	c |       250 |    7339     6957    20728 |     6050      249     15 |  0.529 % |
11.95/12.01	c |       475 |    7339     6957    20728 |     6655      474     17 |  0.529 % |
11.95/12.05	c |       812 |    7339     6957    20728 |     7320      811     17 |  0.529 % |
12.06/12.10	c |      1318 |    7339     6957    20728 |     8052     1317     19 |  0.529 % |
12.15/12.22	c |      2077 |    7339     6957    20728 |     8857     2076     21 |  0.529 % |
12.26/12.36	c |      3216 |    7339     6957    20728 |     9743     3215     29 |  0.529 % |
12.55/12.63	c |      4926 |    7339     6957    20728 |    10717     4925     31 |  0.529 % |
12.96/13.09	c |      7489 |    7339     6957    20728 |    11789     7488     36 |  0.529 % |
13.95/14.01	c |     11338 |    7339     6957    20728 |    12968    11337     44 |  0.529 % |
15.15/15.22	c |     17104 |    7339     6957    20728 |    14265    10387     53 |  0.529 % |
17.05/17.20	c |     25753 |    7335     6957    20728 |    15692    11722     63 |  0.583 % |
21.05/21.14	c |     38727 |    7335     6957    20728 |    17261     8664     91 |  0.583 % |
31.05/31.19	c |     58189 |    7335     6957    20728 |    18987    10566    130 |  0.583 % |
45.43/45.58	c |     87382 |    7329     6957    20728 |    20886    10751    130 |  0.664 % |
72.73/72.84	c |    131175 |    7329     6957    20728 |    22974    12187    156 |  0.664 % |
104.42/104.54	c |    196863 |    7329     6957    20728 |    25272    19558    156 |  0.664 % |
162.09/162.22	c |    295394 |    7322     6957    20728 |    27799    15489    163 |  0.759 % |
182.38/182.56	c ===============================================================================
185.79/185.94	c core #990
185.79/185.94	c Core size: 1774	Core Weight: 1	Total Weight: 990
185.79/185.94	c Elapsed CPU time: 184.122 s	Remaining CPU time: 1615.88 s
186.08/186.29	c ============================[ Search Statistics ]==============================
186.08/186.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.08/186.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.08/186.29	c ===============================================================================
186.08/186.29	c |         0 |    8075     6958    22202 |     5000        0    nan |  0.000 % |
186.18/186.36	c |       100 |    8075     6958    22202 |     5500      100     48 |  0.419 % |
186.18/186.38	c |       250 |    8075     6958    22202 |     6050      250     31 |  0.419 % |
186.28/186.42	c |       475 |    8075     6958    22202 |     6655      475     36 |  0.419 % |
186.28/186.48	c |       812 |    8075     6958    22202 |     7320      812     37 |  0.419 % |
186.48/186.60	c |      1322 |    8075     6958    22202 |     8052     1322     46 |  0.419 % |
186.58/186.73	c |      2084 |    8075     6958    22202 |     8857     2084     60 |  0.419 % |
186.78/186.99	c |      3223 |    8075     6958    22202 |     9743     3223     59 |  0.419 % |
187.38/187.55	c |      4931 |    8075     6958    22202 |    10717     4931     74 |  0.419 % |
188.09/188.20	c |      7493 |    8075     6958    22202 |    11789     7493     79 |  0.419 % |
189.09/189.20	c |     11340 |    8075     6958    22202 |    12968    11340     70 |  0.419 % |
190.48/190.67	c |     17106 |    8075     6958    22202 |    14265    10065     67 |  0.419 % |
193.38/193.53	c |     25755 |    8075     6958    22202 |    15692    11324    115 |  0.419 % |
197.58/197.75	c |     38729 |    8075     6958    22202 |    17261    16212    107 |  0.419 % |
207.27/207.42	c |     58196 |    8075     6958    22202 |    18987    17778    163 |  0.419 % |
221.47/221.69	c |     87388 |    8075     6958    22202 |    20886    17576     99 |  0.419 % |
239.67/239.81	c |    131177 |    8075     6958    22202 |    22974    18155    112 |  0.419 % |
270.65/270.86	c |    196864 |    8075     6958    22202 |    25272    11685     95 |  0.419 % |
310.44/310.64	c |    295392 |    8074     6958    22202 |    27799    18949     70 |  0.432 % |
373.21/373.46	c ===============================================================================
377.22/377.41	c core #991
377.22/377.41	c Core size: 1207	Core Weight: 1	Total Weight: 991
377.22/377.41	c Elapsed CPU time: 373.85 s	Remaining CPU time: 1426.15 s
377.61/377.84	c ============================[ Search Statistics ]==============================
377.61/377.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
377.61/377.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
377.61/377.84	c ===============================================================================
377.61/377.84	c |         0 |    8566     6959    23184 |     5000        0    nan |  0.000 % |
377.71/377.93	c |       102 |    8566     6959    23184 |     5500      102     23 |  0.395 % |
377.71/377.97	c |       253 |    8566     6959    23184 |     6050      253     24 |  0.395 % |
377.81/378.00	c |       478 |    8566     6959    23184 |     6655      478     23 |  0.395 % |
377.81/378.05	c |       818 |    8566     6959    23184 |     7320      818     32 |  0.395 % |
377.91/378.12	c |      1324 |    8566     6959    23184 |     8052     1324     27 |  0.395 % |
378.01/378.24	c |      2086 |    8566     6959    23184 |     8857     2086     38 |  0.395 % |
378.21/378.47	c |      3225 |    8566     6959    23184 |     9743     3225     36 |  0.395 % |
378.61/378.81	c |      4934 |    8566     6959    23184 |    10717     4934     45 |  0.395 % |
379.11/379.35	c |      7496 |    8566     6959    23184 |    11789     7496     43 |  0.395 % |
380.51/380.71	c |     11340 |    8566     6959    23184 |    12968    11340     66 |  0.395 % |
382.50/382.78	c |     17107 |    8566     6959    23184 |    14265    10513     85 |  0.395 % |
384.70/384.96	c |     25757 |    8566     6959    23184 |    15692    11706     64 |  0.395 % |
387.90/388.10	c |     38731 |    8566     6959    23184 |    17261     8587     59 |  0.395 % |
394.20/394.41	c |     58194 |    8566     6959    23184 |    18987    18498    121 |  0.395 % |
406.20/406.48	c |     87387 |    8566     6959    23184 |    20886    17960    103 |  0.395 % |
429.39/429.64	c |    131178 |    8566     6959    23184 |    22974    16992    144 |  0.395 % |
454.78/455.00	c |    196863 |    8566     6959    23184 |    25272    22606    136 |  0.395 % |
515.76/516.05	c |    295389 |    8566     6959    23184 |    27799    24836    284 |  0.395 % |
577.54/577.85	c |    443178 |    8566     6959    23184 |    30579    17574     76 |  0.395 % |
694.09/694.40	c |    664862 |    8565     6959    23184 |    33637    25652    120 |  0.407 % |
894.82/895.23	c |    997387 |    8565     6959    23184 |    37001    15656    114 |  0.407 % |
1219.30/1219.85	c |   1496177 |    8565     6959    23184 |    40701    31406    109 |  0.407 % |

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-1875587-1245144155/watcher-1875587-1245144155 -o /tmp/evaluation-result-1875587-1245144155/solver-1875587-1245144155 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875587-1245144155.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.78 0.95 0.98 3/64 4167
/proc/meminfo: memFree=1750408/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=2964 CPUtime=0
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 182016335 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134542188 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 741 248 125 292 0 418 0

[startup+0.106649 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 4167
/proc/meminfo: memFree=1750408/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=3512 CPUtime=0.1
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 491 0 0 0 10 0 0 0 18 0 1 0 182016335 3596288 447 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 878 447 133 292 0 583 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3512

[startup+0.201657 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 4167
/proc/meminfo: memFree=1750408/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=3512 CPUtime=0.19
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 513 0 0 0 19 0 0 0 18 0 1 0 182016335 3596288 456 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 878 456 133 292 0 583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3512

[startup+0.301677 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 4167
/proc/meminfo: memFree=1750408/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=3512 CPUtime=0.29
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 513 0 0 0 29 0 0 0 19 0 1 0 182016335 3596288 456 1992294400 134512640 135709839 4294956240 18446744073709551615 135182899 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 878 456 133 292 0 583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3512

[startup+0.701755 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 4167
/proc/meminfo: memFree=1750408/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=3976 CPUtime=0.69
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 835 0 0 0 69 0 0 0 22 0 1 0 182016335 4071424 541 1992294400 134512640 135709839 4294956240 18446744073709551615 134517328 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 994 541 133 292 0 699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3976

[startup+1.50191 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 4168
/proc/meminfo: memFree=1748288/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=4604 CPUtime=1.49
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 1207 0 0 0 148 1 0 0 25 0 1 0 182016335 4714496 731 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 1151 731 133 292 0 856 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4604

[startup+3.10123 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 4168
/proc/meminfo: memFree=1746816/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=6888 CPUtime=3.09
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 2460 0 0 0 307 2 0 0 25 0 1 0 182016335 7053312 1286 1992294400 134512640 135709839 4294956240 18446744073709551615 134530774 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 1722 1286 133 292 0 1427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6888

[startup+6.30185 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 4168
/proc/meminfo: memFree=1741312/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=13756 CPUtime=6.26
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 5650 0 0 0 622 4 0 0 25 0 1 0 182016335 14086144 2979 1992294400 134512640 135709839 4294956240 18446744073709551615 135162161 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 3439 2979 134 292 0 3144 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13756

[startup+12.7011 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 4168
/proc/meminfo: memFree=1731272/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=20852 CPUtime=12.65
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 7676 0 0 0 1245 20 0 0 25 0 1 0 182016335 21352448 4764 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 5213 4764 136 292 0 4918 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20852

[startup+25.5026 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 4168
/proc/meminfo: memFree=1708872/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=43688 CPUtime=25.45
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 13399 0 0 0 2503 42 0 0 25 0 1 0 182016335 44736512 10487 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 10922 10487 136 292 0 10627 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 43688

[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 4168
/proc/meminfo: memFree=1666440/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=86424 CPUtime=51.04
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 24058 0 0 0 5039 65 0 0 25 0 1 0 182016335 88498176 21146 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 21606 21146 136 292 0 21311 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 86424

[startup+102.302 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 4168
/proc/meminfo: memFree=1582024/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=169964 CPUtime=102.22
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 44930 0 0 0 10111 111 0 0 25 0 1 0 182016335 174043136 42018 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 42491 42018 136 292 0 42196 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 169964

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1497672/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=254856 CPUtime=162.19
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 66162 0 0 0 16058 161 0 0 25 0 1 0 182016335 260972544 63250 1992294400 134512640 135709839 4294956240 18446744073709551615 134572719 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 63714 63250 136 292 0 63419 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 254856

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1470920/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=280936 CPUtime=222.18
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 72635 0 0 0 22016 202 0 0 25 0 1 0 182016335 287678464 69723 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 70234 69723 136 292 0 69939 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 280936

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1419528/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=332996 CPUtime=282.15
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 85691 0 0 0 27945 270 0 0 25 0 1 0 182016335 340987904 82779 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 83249 82779 136 292 0 82954 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 332996

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1336328/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=415204 CPUtime=342.13
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 106241 0 0 0 33896 317 0 0 25 0 1 0 182016335 425168896 103329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 103801 103329 136 292 0 103506 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 415204

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1291656/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=459604 CPUtime=402.1
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 117343 0 0 0 39842 368 0 0 25 0 1 0 182016335 470634496 114431 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 114901 114431 136 292 0 114606 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 459604

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1260296/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=491324 CPUtime=462.08
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 125306 0 0 0 45784 424 0 0 25 0 1 0 182016335 503115776 122394 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 122831 122394 136 292 0 122536 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 491324

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1164040/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=589156 CPUtime=522.05
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 149732 0 0 0 51723 482 0 0 25 0 1 0 182016335 603295744 146820 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 147289 146820 136 292 0 146994 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 589156

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=1073864/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=677244 CPUtime=582.03
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 171731 0 0 0 57657 546 0 0 25 0 1 0 182016335 693497856 168819 1992294400 134512640 135709839 4294956240 18446744073709551615 134569406 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 169311 168819 136 292 0 169016 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 677244

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=992776/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=758992 CPUtime=642.01
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 192162 0 0 0 63602 599 0 0 25 0 1 0 182016335 777207808 189250 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 189748 189250 136 292 0 189453 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 758992

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=901192/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=850080 CPUtime=701.98
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 214907 0 0 0 69544 654 0 0 25 0 1 0 182016335 870481920 211995 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 212520 211995 136 292 0 212225 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 850080

[startup+762.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=807304/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=943016 CPUtime=761.96
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 238133 0 0 0 75488 708 0 0 25 0 1 0 182016335 965648384 235221 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 235754 235221 136 292 0 235459 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 943016

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=715080/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1036220 CPUtime=821.94
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 261388 0 0 0 81428 766 0 0 25 0 1 0 182016335 1061089280 258476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 259055 258476 136 292 0 258760 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 1036220

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=622344/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1127872 CPUtime=881.92
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 284297 0 0 0 87368 824 0 0 25 0 1 0 182016335 1154940928 281385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 281968 281385 136 292 0 281673 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 1127872

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=532552/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1218132 CPUtime=941.9
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 306861 0 0 0 93305 885 0 0 25 0 1 0 182016335 1247367168 303949 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 304533 303949 136 292 0 304238 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1218132

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=451976/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1298080 CPUtime=1001.87
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 326804 0 0 0 99253 934 0 0 25 0 1 0 182016335 1329233920 323892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 324520 323892 136 292 0 324225 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 1298080

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=376968/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1373632 CPUtime=1061.85
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 345707 0 0 0 105210 975 0 0 25 0 1 0 182016335 1406599168 342795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 343408 342795 136 292 0 343113 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 1373632

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=292808/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1456928 CPUtime=1121.83
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 366521 0 0 0 111162 1021 0 0 25 0 1 0 182016335 1491894272 363609 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 364232 363609 136 292 0 363937 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 1456928

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=219208/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1531936 CPUtime=1181.81
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 385257 0 0 0 117122 1059 0 0 25 0 1 0 182016335 1568702464 382345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 382984 382345 136 292 0 382689 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1531936

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=126920/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1622928 CPUtime=1241.78
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 407957 0 0 0 123058 1120 0 0 25 0 1 0 182016335 1661878272 405045 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 405732 405045 136 292 0 405437 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1622928

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=47816/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1702628 CPUtime=1301.76
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 427889 0 0 0 129016 1160 0 0 25 0 1 0 182016335 1743491072 424977 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 425657 424977 136 292 0 425362 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1702628

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=15112/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1791880 CPUtime=1361.65
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 450171 0 0 0 134958 1207 0 0 25 0 1 0 182016335 1834885120 447259 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 447970 447259 136 292 0 447675 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 1791880



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1401.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=15368/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=1843236 CPUtime=1401.14
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4194304 462994 0 0 0 138885 1229 0 0 25 0 1 0 182016335 1887473664 460082 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 460809 460082 136 292 0 460514 0
Current children cumulated CPU time (s) 1401.14
Current children cumulated vsize (KiB) 1843236

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

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

[startup+1401.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=15368/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=0 CPUtime=1401.24
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4195332 462994 0 0 0 138885 1239 0 0 25 0 1 0 182016335 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1401.24
Current children cumulated vsize (KiB) 0

[startup+1402 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4168
/proc/meminfo: memFree=15368/2055924 swapFree=4191900/4192956
[pid=4167] ppid=4165 vsize=0 CPUtime=1401.34
/proc/4167/stat : 4167 (wbo) R 4165 4167 4124 0 -1 4195332 462994 0 0 0 138885 1249 0 0 25 0 1 0 182016335 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4167/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1401.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1402.1
CPU time (s): 1401.44
CPU user time (s): 1388.85
CPU system time (s): 12.5861
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 1843236

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

runsolver used 1.12083 second user time and 2.90856 second system time

The end

Launcher Data 

Begin job on node6 at 2009-06-16 11:22:35
IDJOB=1875587
IDBENCH=1983
IDSOLVER=698
FILE ID=node6/1875587-1245144155
PBS_JOBID= 9363762
Free space on /tmp= 66240 MiB

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

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

MD5SUM BENCH= a5f043ce08e99e0db4435bd2e8b3d7e9
RANDOM SEED=1291193953

node6.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.265
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.265
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:      2055924 kB
MemFree:       1751080 kB
Buffers:         25524 kB
Cached:         207320 kB
SwapCached:        260 kB
Active:          18196 kB
Inactive:       227816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1751080 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2612 kB
Writeback:           0 kB
Mapped:          21664 kB
Slab:            44844 kB
Committed_AS:   155552 kB
PageTables:       1456 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-1875587-1245144155.opb

Free space on /tmp at the end= 66240 MiB
End job on node6 at 2009-06-16 11:45:59