Trace number 1875577

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) 1454.43 1454.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUMa9ac890c0275c87cfec4e71469cd990a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1037
Best CPU time to get the best result obtained on this benchmark1796.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1028
Optimality of the best value was proved NO
Number of variables1964
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 1964
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 1964
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 1964
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-1875577-1245142949.opb.
0.00/0.00	c Instance file HOME/instance-1875577-1245142949.opb
0.00/0.00	c File size is 112182 bytes.
0.00/0.01	c Highest Coefficient sum: 3
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1964                                                |
0.00/0.01	c |  Number Clauses:        5964                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c core #1
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #3
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #7
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #8
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.042993 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.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #12
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.05	c Elapsed CPU time: 0.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.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #14
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.00/0.06	c Elapsed CPU time: 0.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.068989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #17
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #18
0.00/0.07	c Core size: 3	Core Weight: 1	Total Weight: 18
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #19
0.07/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.07/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #20
0.07/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.07/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.07/0.09	c core #21
0.07/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.07/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #22
0.07/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.07/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #23
0.07/0.09	c Core size: 3	Core Weight: 1	Total Weight: 23
0.07/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.07/0.10	c core #24
0.07/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.07/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #26
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.10	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #29
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #31
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.12	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #34
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.13	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #35
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #37
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.14	c Elapsed CPU time: 0.145977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #38
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #42
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.16	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #43
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.171973 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #45
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.17	c Elapsed CPU time: 0.175973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #46
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #48
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.19	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #49
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.09/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #50
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.19	c Elapsed CPU time: 0.19397 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #51
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.09/0.20	c Elapsed CPU time: 0.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.20	c core #53
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.20	c Elapsed CPU time: 0.204968 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #54
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.21	c Elapsed CPU time: 0.208968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.219966 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.223965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #61
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.23	c Elapsed CPU time: 0.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.246962 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.250961 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.254961 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.25896 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #69
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.26	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.273958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #72
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.28	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #74
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.28	c Elapsed CPU time: 0.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.19/0.30	c core #77
0.19/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.19/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #79
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.30	c Elapsed CPU time: 0.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.31	c core #82
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.31	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #84
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #85
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 85
0.29/0.33	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #86
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 86
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #87
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.33	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #89
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.34	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #92
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #94
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.36	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #97
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #99
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.38	c Elapsed CPU time: 0.381941 s	Remaining CPU time: 1799.62 s
0.29/0.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.385941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.38994 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #102
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.39	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 1799.61 s
0.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.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #104
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.40	c Elapsed CPU time: 0.401938 s	Remaining CPU time: 1799.6 s
0.39/0.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.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #107
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.41	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #112
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.43	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.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.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #116
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 116
0.39/0.45	c Elapsed CPU time: 0.450931 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #117
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.45	c Elapsed CPU time: 0.45493 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.45993 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.463929 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.467928 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.471928 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.475927 s	Remaining CPU time: 1799.52 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.479927 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.483926 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.487925 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.492925 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.496924 s	Remaining CPU time: 1799.5 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.500923 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.504923 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.508922 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.512922 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.516921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #133
0.49/0.52	c Core size: 3	Core Weight: 1	Total Weight: 133
0.49/0.52	c Elapsed CPU time: 0.52092 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.52592 s	Remaining CPU time: 1799.47 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.529919 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.533918 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.537918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #138
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.54	c Elapsed CPU time: 0.541917 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.545917 s	Remaining CPU time: 1799.45 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.550916 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.554915 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.558915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #143
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 143
0.49/0.56	c Elapsed CPU time: 0.562914 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.566913 s	Remaining CPU time: 1799.43 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.570913 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.575912 s	Remaining CPU time: 1799.42 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.579911 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #148
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 148
0.49/0.58	c Elapsed CPU time: 0.583911 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.58791 s	Remaining CPU time: 1799.41 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.592909 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.596909 s	Remaining CPU time: 1799.4 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.600908 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.604908 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.608907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #155
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 155
0.59/0.61	c Elapsed CPU time: 0.612906 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.617906 s	Remaining CPU time: 1799.38 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.621905 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.625904 s	Remaining CPU time: 1799.37 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.629904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #160
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.63	c Elapsed CPU time: 0.634903 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.638902 s	Remaining CPU time: 1799.36 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.642902 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.646901 s	Remaining CPU time: 1799.35 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.6519 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #165
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 165
0.59/0.66	c Elapsed CPU time: 0.6559 s	Remaining CPU time: 1799.34 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.659899 s	Remaining CPU time: 1799.34 s
0.59/0.66	c core #167
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 167
0.59/0.66	c Elapsed CPU time: 0.663899 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.668898 s	Remaining CPU time: 1799.33 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.672897 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.677896 s	Remaining CPU time: 1799.32 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.681896 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.685895 s	Remaining CPU time: 1799.31 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.689895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #174
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.69	c Elapsed CPU time: 0.694894 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.698893 s	Remaining CPU time: 1799.3 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.702893 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.707892 s	Remaining CPU time: 1799.29 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.711891 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.715891 s	Remaining CPU time: 1799.28 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.72089 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.724889 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.728889 s	Remaining CPU time: 1799.27 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.733888 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.737887 s	Remaining CPU time: 1799.26 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.742887 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.746886 s	Remaining CPU time: 1799.25 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.750885 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.755885 s	Remaining CPU time: 1799.24 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.759884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #190
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 190
0.69/0.76	c Elapsed CPU time: 0.764883 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.768883 s	Remaining CPU time: 1799.23 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.773882 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.777881 s	Remaining CPU time: 1799.22 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.78288 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.78688 s	Remaining CPU time: 1799.21 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.791879 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.795879 s	Remaining CPU time: 1799.2 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.800878 s	Remaining CPU time: 1799.2 s
0.79/0.80	c core #199
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 199
0.79/0.80	c Elapsed CPU time: 0.804877 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.809876 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.813876 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.818875 s	Remaining CPU time: 1799.18 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.822874 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.827874 s	Remaining CPU time: 1799.17 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.831873 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.836872 s	Remaining CPU time: 1799.16 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.840872 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.845871 s	Remaining CPU time: 1799.15 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.85087 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.85487 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.859869 s	Remaining CPU time: 1799.14 s
0.79/0.86	c core #212
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 212
0.79/0.86	c Elapsed CPU time: 0.864868 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.868867 s	Remaining CPU time: 1799.13 s
0.79/0.87	c core #214
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.87	c Elapsed CPU time: 0.873867 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.877866 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.882865 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.886865 s	Remaining CPU time: 1799.11 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.891864 s	Remaining CPU time: 1799.11 s
0.79/0.90	c core #219
0.79/0.90	c Core size: 3	Core Weight: 1	Total Weight: 219
0.79/0.90	c Elapsed CPU time: 0.896863 s	Remaining CPU time: 1799.1 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.901862 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.905862 s	Remaining CPU time: 1799.09 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.910861 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.91586 s	Remaining CPU time: 1799.08 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.92086 s	Remaining CPU time: 1799.08 s
0.89/0.92	c core #225
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 225
0.89/0.92	c Elapsed CPU time: 0.924859 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.929858 s	Remaining CPU time: 1799.07 s
0.89/0.93	c core #227
0.89/0.93	c Core size: 3	Core Weight: 1	Total Weight: 227
0.89/0.93	c Elapsed CPU time: 0.934857 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.939857 s	Remaining CPU time: 1799.06 s
0.89/0.94	c core #229
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.94	c Elapsed CPU time: 0.943856 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.948855 s	Remaining CPU time: 1799.05 s
0.89/0.95	c core #231
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.95	c Elapsed CPU time: 0.953854 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.958854 s	Remaining CPU time: 1799.04 s
0.89/0.96	c core #233
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.96	c Elapsed CPU time: 0.962853 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.967852 s	Remaining CPU time: 1799.03 s
0.89/0.97	c core #235
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.97	c Elapsed CPU time: 0.972852 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.977851 s	Remaining CPU time: 1799.02 s
0.89/0.98	c core #237
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.98	c Elapsed CPU time: 0.98185 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.986849 s	Remaining CPU time: 1799.01 s
0.89/0.99	c core #239
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.99	c Elapsed CPU time: 0.991849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #240
0.89/1.00	c Core size: 3	Core Weight: 1	Total Weight: 240
0.89/1.00	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 1799 s
1.00/1.00	c core #241
1.00/1.00	c Core size: 3	Core Weight: 1	Total Weight: 241
1.00/1.00	c Elapsed CPU time: 1.00185 s	Remaining CPU time: 1799 s
1.00/1.01	c core #242
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 242
1.00/1.01	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 1798.99 s
1.00/1.01	c core #243
1.00/1.01	c Core size: 3	Core Weight: 1	Total Weight: 243
1.00/1.01	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
1.00/1.02	c core #244
1.00/1.02	c Core size: 3	Core Weight: 1	Total Weight: 244
1.00/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
1.00/1.02	c core #245
1.00/1.02	c Core size: 3	Core Weight: 1	Total Weight: 245
1.00/1.02	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
1.00/1.03	c core #246
1.00/1.03	c Core size: 3	Core Weight: 1	Total Weight: 246
1.00/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
1.00/1.03	c core #247
1.00/1.03	c Core size: 3	Core Weight: 1	Total Weight: 247
1.00/1.03	c Elapsed CPU time: 1.02984 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #248
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 248
1.00/1.04	c Elapsed CPU time: 1.03484 s	Remaining CPU time: 1798.97 s
1.00/1.04	c core #249
1.00/1.04	c Core size: 3	Core Weight: 1	Total Weight: 249
1.00/1.04	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #250
1.00/1.05	c Core size: 3	Core Weight: 1	Total Weight: 250
1.00/1.05	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
1.00/1.05	c core #251
1.00/1.05	c Core size: 3	Core Weight: 1	Total Weight: 251
1.00/1.05	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #252
1.00/1.06	c Core size: 3	Core Weight: 1	Total Weight: 252
1.00/1.06	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 1798.95 s
1.00/1.06	c core #253
1.00/1.06	c Core size: 3	Core Weight: 1	Total Weight: 253
1.00/1.06	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #254
1.00/1.07	c Core size: 3	Core Weight: 1	Total Weight: 254
1.00/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
1.00/1.07	c core #255
1.00/1.07	c Core size: 3	Core Weight: 1	Total Weight: 255
1.00/1.07	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #256
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 256
1.00/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
1.00/1.08	c core #257
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 257
1.00/1.08	c Elapsed CPU time: 1.07883 s	Remaining CPU time: 1798.92 s
1.00/1.08	c core #258
1.00/1.08	c Core size: 3	Core Weight: 1	Total Weight: 258
1.00/1.08	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
1.00/1.09	c core #259
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 259
1.00/1.09	c Elapsed CPU time: 1.08883 s	Remaining CPU time: 1798.91 s
1.00/1.09	c core #260
1.00/1.09	c Core size: 3	Core Weight: 1	Total Weight: 260
1.00/1.09	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 s
1.00/1.10	c core #261
1.00/1.10	c Core size: 3	Core Weight: 1	Total Weight: 261
1.00/1.10	c Elapsed CPU time: 1.09883 s	Remaining CPU time: 1798.9 s
1.09/1.10	c core #262
1.09/1.10	c Core size: 3	Core Weight: 1	Total Weight: 262
1.09/1.10	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #263
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 263
1.09/1.11	c Elapsed CPU time: 1.10883 s	Remaining CPU time: 1798.89 s
1.09/1.11	c core #264
1.09/1.11	c Core size: 3	Core Weight: 1	Total Weight: 264
1.09/1.11	c Elapsed CPU time: 1.11383 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #265
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 265
1.09/1.12	c Elapsed CPU time: 1.11883 s	Remaining CPU time: 1798.88 s
1.09/1.12	c core #266
1.09/1.12	c Core size: 3	Core Weight: 1	Total Weight: 266
1.09/1.12	c Elapsed CPU time: 1.12383 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #267
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 267
1.09/1.13	c Elapsed CPU time: 1.12883 s	Remaining CPU time: 1798.87 s
1.09/1.13	c core #268
1.09/1.13	c Core size: 3	Core Weight: 1	Total Weight: 268
1.09/1.13	c Elapsed CPU time: 1.13383 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #269
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 269
1.09/1.14	c Elapsed CPU time: 1.13883 s	Remaining CPU time: 1798.86 s
1.09/1.14	c core #270
1.09/1.14	c Core size: 3	Core Weight: 1	Total Weight: 270
1.09/1.14	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #271
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 271
1.09/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.09/1.15	c core #272
1.09/1.15	c Core size: 3	Core Weight: 1	Total Weight: 272
1.09/1.15	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #273
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 273
1.09/1.16	c Elapsed CPU time: 1.15882 s	Remaining CPU time: 1798.84 s
1.09/1.16	c core #274
1.09/1.16	c Core size: 3	Core Weight: 1	Total Weight: 274
1.09/1.16	c Elapsed CPU time: 1.16382 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #275
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 275
1.09/1.17	c Elapsed CPU time: 1.16882 s	Remaining CPU time: 1798.83 s
1.09/1.17	c core #276
1.09/1.17	c Core size: 3	Core Weight: 1	Total Weight: 276
1.09/1.17	c Elapsed CPU time: 1.17382 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #277
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 277
1.09/1.18	c Elapsed CPU time: 1.17882 s	Remaining CPU time: 1798.82 s
1.09/1.18	c core #278
1.09/1.18	c Core size: 3	Core Weight: 1	Total Weight: 278
1.09/1.18	c Elapsed CPU time: 1.18382 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #279
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 279
1.09/1.19	c Elapsed CPU time: 1.18882 s	Remaining CPU time: 1798.81 s
1.09/1.19	c core #280
1.09/1.19	c Core size: 3	Core Weight: 1	Total Weight: 280
1.09/1.19	c Elapsed CPU time: 1.19282 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #281
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 281
1.19/1.20	c Elapsed CPU time: 1.19782 s	Remaining CPU time: 1798.8 s
1.19/1.20	c core #282
1.19/1.20	c Core size: 3	Core Weight: 1	Total Weight: 282
1.19/1.20	c Elapsed CPU time: 1.20282 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #283
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 283
1.19/1.21	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #284
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 284
1.19/1.22	c Elapsed CPU time: 1.21281 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #285
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 285
1.19/1.22	c Elapsed CPU time: 1.21881 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #286
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 286
1.19/1.23	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #287
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 287
1.19/1.23	c Elapsed CPU time: 1.22881 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #288
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 288
1.19/1.24	c Elapsed CPU time: 1.23381 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #289
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 289
1.19/1.24	c Elapsed CPU time: 1.23881 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #290
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 290
1.19/1.25	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #291
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 291
1.19/1.25	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #292
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 292
1.19/1.26	c Elapsed CPU time: 1.25381 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #293
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 293
1.19/1.26	c Elapsed CPU time: 1.25881 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #294
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 294
1.19/1.27	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #295
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 295
1.19/1.27	c Elapsed CPU time: 1.26881 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #296
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 296
1.19/1.28	c Elapsed CPU time: 1.27481 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #297
1.19/1.28	c Core size: 3	Core Weight: 1	Total Weight: 297
1.19/1.28	c Elapsed CPU time: 1.27981 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #298
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 298
1.19/1.29	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #299
1.19/1.29	c Core size: 3	Core Weight: 1	Total Weight: 299
1.19/1.29	c Elapsed CPU time: 1.2898 s	Remaining CPU time: 1798.71 s
1.19/1.30	c core #300
1.19/1.30	c Core size: 3	Core Weight: 1	Total Weight: 300
1.19/1.30	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #301
1.29/1.30	c Core size: 3	Core Weight: 1	Total Weight: 301
1.29/1.30	c Elapsed CPU time: 1.3008 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #302
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 302
1.29/1.31	c Elapsed CPU time: 1.3058 s	Remaining CPU time: 1798.69 s
1.29/1.31	c core #303
1.29/1.31	c Core size: 3	Core Weight: 1	Total Weight: 303
1.29/1.31	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #304
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 304
1.29/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.29/1.32	c core #305
1.29/1.32	c Core size: 3	Core Weight: 1	Total Weight: 305
1.29/1.32	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #306
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 306
1.29/1.33	c Elapsed CPU time: 1.3258 s	Remaining CPU time: 1798.67 s
1.29/1.33	c core #307
1.29/1.33	c Core size: 3	Core Weight: 1	Total Weight: 307
1.29/1.33	c Elapsed CPU time: 1.3308 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #308
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 308
1.29/1.34	c Elapsed CPU time: 1.3368 s	Remaining CPU time: 1798.66 s
1.29/1.34	c core #309
1.29/1.34	c Core size: 3	Core Weight: 1	Total Weight: 309
1.29/1.34	c Elapsed CPU time: 1.3418 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #310
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 310
1.29/1.35	c Elapsed CPU time: 1.34679 s	Remaining CPU time: 1798.65 s
1.29/1.35	c core #311
1.29/1.35	c Core size: 3	Core Weight: 1	Total Weight: 311
1.29/1.35	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #312
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 312
1.29/1.36	c Elapsed CPU time: 1.35679 s	Remaining CPU time: 1798.64 s
1.29/1.36	c core #313
1.29/1.36	c Core size: 3	Core Weight: 1	Total Weight: 313
1.29/1.36	c Elapsed CPU time: 1.36179 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #314
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 314
1.29/1.37	c Elapsed CPU time: 1.36779 s	Remaining CPU time: 1798.63 s
1.29/1.37	c core #315
1.29/1.37	c Core size: 3	Core Weight: 1	Total Weight: 315
1.29/1.37	c Elapsed CPU time: 1.37279 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #316
1.29/1.38	c Core size: 3	Core Weight: 1	Total Weight: 316
1.29/1.38	c Elapsed CPU time: 1.37779 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #317
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 317
1.29/1.39	c Elapsed CPU time: 1.38279 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #318
1.29/1.39	c Core size: 3	Core Weight: 1	Total Weight: 318
1.29/1.39	c Elapsed CPU time: 1.38879 s	Remaining CPU time: 1798.61 s
1.29/1.40	c core #319
1.29/1.40	c Core size: 3	Core Weight: 1	Total Weight: 319
1.29/1.40	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #320
1.39/1.40	c Core size: 3	Core Weight: 1	Total Weight: 320
1.39/1.40	c Elapsed CPU time: 1.39879 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #321
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 321
1.39/1.41	c Elapsed CPU time: 1.40379 s	Remaining CPU time: 1798.6 s
1.39/1.41	c core #322
1.39/1.41	c Core size: 3	Core Weight: 1	Total Weight: 322
1.39/1.41	c Elapsed CPU time: 1.40979 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #323
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 323
1.39/1.42	c Elapsed CPU time: 1.41478 s	Remaining CPU time: 1798.59 s
1.39/1.42	c core #324
1.39/1.42	c Core size: 3	Core Weight: 1	Total Weight: 324
1.39/1.42	c Elapsed CPU time: 1.41978 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #325
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 325
1.39/1.43	c Elapsed CPU time: 1.42478 s	Remaining CPU time: 1798.58 s
1.39/1.43	c core #326
1.39/1.43	c Core size: 3	Core Weight: 1	Total Weight: 326
1.39/1.43	c Elapsed CPU time: 1.43078 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #327
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 327
1.39/1.44	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.39/1.44	c core #328
1.39/1.44	c Core size: 3	Core Weight: 1	Total Weight: 328
1.39/1.44	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #329
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 329
1.39/1.45	c Elapsed CPU time: 1.44578 s	Remaining CPU time: 1798.55 s
1.39/1.45	c core #330
1.39/1.45	c Core size: 3	Core Weight: 1	Total Weight: 330
1.39/1.45	c Elapsed CPU time: 1.45178 s	Remaining CPU time: 1798.55 s
1.39/1.46	c core #331
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 331
1.39/1.46	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.39/1.46	c core #332
1.39/1.46	c Core size: 3	Core Weight: 1	Total Weight: 332
1.39/1.46	c Elapsed CPU time: 1.46178 s	Remaining CPU time: 1798.54 s
1.39/1.47	c core #333
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 333
1.39/1.47	c Elapsed CPU time: 1.46778 s	Remaining CPU time: 1798.53 s
1.39/1.47	c core #334
1.39/1.47	c Core size: 3	Core Weight: 1	Total Weight: 334
1.39/1.47	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.39/1.48	c core #335
1.39/1.48	c Core size: 3	Core Weight: 1	Total Weight: 335
1.39/1.48	c Elapsed CPU time: 1.47778 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #336
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 336
1.39/1.49	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.39/1.49	c core #337
1.39/1.49	c Core size: 3	Core Weight: 1	Total Weight: 337
1.39/1.49	c Elapsed CPU time: 1.48877 s	Remaining CPU time: 1798.51 s
1.39/1.50	c core #338
1.39/1.50	c Core size: 3	Core Weight: 1	Total Weight: 338
1.39/1.50	c Elapsed CPU time: 1.49377 s	Remaining CPU time: 1798.51 s
1.49/1.50	c core #339
1.49/1.50	c Core size: 3	Core Weight: 1	Total Weight: 339
1.49/1.50	c Elapsed CPU time: 1.49877 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #340
1.49/1.51	c Core size: 3	Core Weight: 1	Total Weight: 340
1.49/1.51	c Elapsed CPU time: 1.50477 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #341
1.49/1.51	c Core size: 3	Core Weight: 1	Total Weight: 341
1.49/1.51	c Elapsed CPU time: 1.50977 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #342
1.49/1.52	c Core size: 3	Core Weight: 1	Total Weight: 342
1.49/1.52	c Elapsed CPU time: 1.51477 s	Remaining CPU time: 1798.49 s
1.49/1.52	c core #343
1.49/1.52	c Core size: 3	Core Weight: 1	Total Weight: 343
1.49/1.52	c Elapsed CPU time: 1.51977 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #344
1.49/1.53	c Core size: 3	Core Weight: 1	Total Weight: 344
1.49/1.53	c Elapsed CPU time: 1.52477 s	Remaining CPU time: 1798.48 s
1.49/1.53	c core #345
1.49/1.53	c Core size: 3	Core Weight: 1	Total Weight: 345
1.49/1.53	c Elapsed CPU time: 1.52877 s	Remaining CPU time: 1798.47 s
1.49/1.54	c core #346
1.49/1.54	c Core size: 3	Core Weight: 1	Total Weight: 346
1.49/1.54	c Elapsed CPU time: 1.53477 s	Remaining CPU time: 1798.47 s
1.49/1.54	c core #347
1.49/1.54	c Core size: 3	Core Weight: 1	Total Weight: 347
1.49/1.54	c Elapsed CPU time: 1.53977 s	Remaining CPU time: 1798.46 s
1.49/1.55	c core #348
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 348
1.49/1.55	c Elapsed CPU time: 1.54476 s	Remaining CPU time: 1798.46 s
1.49/1.55	c core #349
1.49/1.55	c Core size: 3	Core Weight: 1	Total Weight: 349
1.49/1.55	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.49/1.56	c core #350
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 350
1.49/1.56	c Elapsed CPU time: 1.55576 s	Remaining CPU time: 1798.44 s
1.49/1.56	c core #351
1.49/1.56	c Core size: 3	Core Weight: 1	Total Weight: 351
1.49/1.56	c Elapsed CPU time: 1.56076 s	Remaining CPU time: 1798.44 s
1.49/1.57	c core #352
1.49/1.57	c Core size: 3	Core Weight: 1	Total Weight: 352
1.49/1.57	c Elapsed CPU time: 1.56676 s	Remaining CPU time: 1798.43 s
1.49/1.57	c core #353
1.49/1.57	c Core size: 3	Core Weight: 1	Total Weight: 353
1.49/1.57	c Elapsed CPU time: 1.57176 s	Remaining CPU time: 1798.43 s
1.49/1.58	c core #354
1.49/1.58	c Core size: 3	Core Weight: 1	Total Weight: 354
1.49/1.58	c Elapsed CPU time: 1.57676 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #355
1.49/1.59	c Core size: 3	Core Weight: 1	Total Weight: 355
1.49/1.59	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.49/1.59	c core #356
1.49/1.59	c Core size: 3	Core Weight: 1	Total Weight: 356
1.49/1.59	c Elapsed CPU time: 1.58776 s	Remaining CPU time: 1798.41 s
1.49/1.60	c core #357
1.49/1.60	c Core size: 3	Core Weight: 1	Total Weight: 357
1.49/1.60	c Elapsed CPU time: 1.59376 s	Remaining CPU time: 1798.41 s
1.59/1.60	c core #358
1.59/1.60	c Core size: 3	Core Weight: 1	Total Weight: 358
1.59/1.60	c Elapsed CPU time: 1.59876 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #359
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 359
1.59/1.61	c Elapsed CPU time: 1.60376 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #360
1.59/1.61	c Core size: 3	Core Weight: 1	Total Weight: 360
1.59/1.61	c Elapsed CPU time: 1.60976 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #361
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 361
1.59/1.62	c Elapsed CPU time: 1.61475 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #362
1.59/1.62	c Core size: 3	Core Weight: 1	Total Weight: 362
1.59/1.62	c Elapsed CPU time: 1.62075 s	Remaining CPU time: 1798.38 s
1.59/1.63	c core #363
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 363
1.59/1.63	c Elapsed CPU time: 1.62575 s	Remaining CPU time: 1798.37 s
1.59/1.63	c core #364
1.59/1.63	c Core size: 3	Core Weight: 1	Total Weight: 364
1.59/1.63	c Elapsed CPU time: 1.63075 s	Remaining CPU time: 1798.37 s
1.59/1.64	c core #365
1.59/1.64	c Core size: 3	Core Weight: 1	Total Weight: 365
1.59/1.64	c Elapsed CPU time: 1.63675 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #366
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 366
1.59/1.65	c Elapsed CPU time: 1.64175 s	Remaining CPU time: 1798.36 s
1.59/1.65	c core #367
1.59/1.65	c Core size: 3	Core Weight: 1	Total Weight: 367
1.59/1.65	c Elapsed CPU time: 1.64775 s	Remaining CPU time: 1798.35 s
1.59/1.66	c core #368
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 368
1.59/1.66	c Elapsed CPU time: 1.65275 s	Remaining CPU time: 1798.35 s
1.59/1.66	c core #369
1.59/1.66	c Core size: 3	Core Weight: 1	Total Weight: 369
1.59/1.66	c Elapsed CPU time: 1.65775 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #370
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 370
1.59/1.67	c Elapsed CPU time: 1.66375 s	Remaining CPU time: 1798.34 s
1.59/1.67	c core #371
1.59/1.67	c Core size: 3	Core Weight: 1	Total Weight: 371
1.59/1.67	c Elapsed CPU time: 1.66875 s	Remaining CPU time: 1798.33 s
1.59/1.68	c core #372
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 372
1.59/1.68	c Elapsed CPU time: 1.67475 s	Remaining CPU time: 1798.33 s
1.59/1.68	c core #373
1.59/1.68	c Core size: 3	Core Weight: 1	Total Weight: 373
1.59/1.68	c Elapsed CPU time: 1.67974 s	Remaining CPU time: 1798.32 s
1.59/1.69	c core #374
1.59/1.69	c Core size: 3	Core Weight: 1	Total Weight: 374
1.59/1.69	c Elapsed CPU time: 1.68574 s	Remaining CPU time: 1798.31 s
1.59/1.70	c core #375
1.59/1.70	c Core size: 3	Core Weight: 1	Total Weight: 375
1.59/1.70	c Elapsed CPU time: 1.69074 s	Remaining CPU time: 1798.31 s
1.69/1.70	c core #376
1.69/1.70	c Core size: 3	Core Weight: 1	Total Weight: 376
1.69/1.70	c Elapsed CPU time: 1.69574 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #377
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 377
1.69/1.71	c Elapsed CPU time: 1.70174 s	Remaining CPU time: 1798.3 s
1.69/1.71	c core #378
1.69/1.71	c Core size: 3	Core Weight: 1	Total Weight: 378
1.69/1.71	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #379
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 379
1.69/1.72	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #380
1.69/1.72	c Core size: 3	Core Weight: 1	Total Weight: 380
1.69/1.72	c Elapsed CPU time: 1.71774 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #381
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 381
1.69/1.73	c Elapsed CPU time: 1.72374 s	Remaining CPU time: 1798.28 s
1.69/1.73	c core #382
1.69/1.73	c Core size: 3	Core Weight: 1	Total Weight: 382
1.69/1.73	c Elapsed CPU time: 1.72874 s	Remaining CPU time: 1798.27 s
1.69/1.74	c core #383
1.69/1.74	c Core size: 3	Core Weight: 1	Total Weight: 383
1.69/1.74	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #384
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 384
1.69/1.75	c Elapsed CPU time: 1.73974 s	Remaining CPU time: 1798.26 s
1.69/1.75	c core #385
1.69/1.75	c Core size: 3	Core Weight: 1	Total Weight: 385
1.69/1.75	c Elapsed CPU time: 1.74573 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #386
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 386
1.69/1.76	c Elapsed CPU time: 1.75073 s	Remaining CPU time: 1798.25 s
1.69/1.76	c core #387
1.69/1.76	c Core size: 3	Core Weight: 1	Total Weight: 387
1.69/1.76	c Elapsed CPU time: 1.75573 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #388
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 388
1.69/1.77	c Elapsed CPU time: 1.76173 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #389
1.69/1.77	c Core size: 3	Core Weight: 1	Total Weight: 389
1.69/1.77	c Elapsed CPU time: 1.76673 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #390
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 390
1.69/1.78	c Elapsed CPU time: 1.77273 s	Remaining CPU time: 1798.23 s
1.69/1.78	c core #391
1.69/1.78	c Core size: 3	Core Weight: 1	Total Weight: 391
1.69/1.78	c Elapsed CPU time: 1.77873 s	Remaining CPU time: 1798.22 s
1.69/1.79	c core #392
1.69/1.79	c Core size: 3	Core Weight: 1	Total Weight: 392
1.69/1.79	c Elapsed CPU time: 1.78373 s	Remaining CPU time: 1798.22 s
1.69/1.80	c core #393
1.69/1.80	c Core size: 3	Core Weight: 1	Total Weight: 393
1.69/1.80	c Elapsed CPU time: 1.78973 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #394
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 394
1.79/1.80	c Elapsed CPU time: 1.79473 s	Remaining CPU time: 1798.21 s
1.79/1.81	c core #395
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 395
1.79/1.81	c Elapsed CPU time: 1.80073 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #396
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 396
1.79/1.81	c Elapsed CPU time: 1.80573 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #397
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 397
1.79/1.82	c Elapsed CPU time: 1.81172 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #398
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 398
1.79/1.82	c Elapsed CPU time: 1.81672 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #399
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 399
1.79/1.83	c Elapsed CPU time: 1.82272 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #400
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 400
1.79/1.83	c Elapsed CPU time: 1.82872 s	Remaining CPU time: 1798.17 s
1.79/1.84	c core #401
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 401
1.79/1.84	c Elapsed CPU time: 1.83372 s	Remaining CPU time: 1798.17 s
1.79/1.85	c core #402
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 402
1.79/1.85	c Elapsed CPU time: 1.83972 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #403
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 403
1.79/1.85	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.79/1.86	c core #404
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 404
1.79/1.86	c Elapsed CPU time: 1.85072 s	Remaining CPU time: 1798.15 s
1.79/1.86	c core #405
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 405
1.79/1.86	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #406
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 406
1.79/1.87	c Elapsed CPU time: 1.86272 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #407
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 407
1.79/1.87	c Elapsed CPU time: 1.86772 s	Remaining CPU time: 1798.13 s
1.79/1.88	c core #408
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 408
1.79/1.88	c Elapsed CPU time: 1.87372 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #409
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 409
1.79/1.89	c Elapsed CPU time: 1.87971 s	Remaining CPU time: 1798.12 s
1.79/1.89	c core #410
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 410
1.79/1.89	c Elapsed CPU time: 1.88571 s	Remaining CPU time: 1798.11 s
1.88/1.90	c core #411
1.88/1.90	c Core size: 3	Core Weight: 1	Total Weight: 411
1.88/1.90	c Elapsed CPU time: 1.89071 s	Remaining CPU time: 1798.11 s
1.88/1.90	c core #412
1.88/1.90	c Core size: 3	Core Weight: 1	Total Weight: 412
1.88/1.90	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.88/1.91	c core #413
1.88/1.91	c Core size: 3	Core Weight: 1	Total Weight: 413
1.88/1.91	c Elapsed CPU time: 1.90171 s	Remaining CPU time: 1798.1 s
1.88/1.91	c core #414
1.88/1.91	c Core size: 3	Core Weight: 1	Total Weight: 414
1.88/1.91	c Elapsed CPU time: 1.90771 s	Remaining CPU time: 1798.09 s
1.88/1.92	c core #415
1.88/1.92	c Core size: 3	Core Weight: 1	Total Weight: 415
1.88/1.92	c Elapsed CPU time: 1.91271 s	Remaining CPU time: 1798.09 s
1.88/1.93	c core #416
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 416
1.88/1.93	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 1798.08 s
1.88/1.93	c core #417
1.88/1.93	c Core size: 3	Core Weight: 1	Total Weight: 417
1.88/1.93	c Elapsed CPU time: 1.92371 s	Remaining CPU time: 1798.08 s
1.88/1.94	c core #418
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 418
1.88/1.94	c Elapsed CPU time: 1.92871 s	Remaining CPU time: 1798.07 s
1.88/1.94	c core #419
1.88/1.94	c Core size: 3	Core Weight: 1	Total Weight: 419
1.88/1.94	c Elapsed CPU time: 1.93371 s	Remaining CPU time: 1798.07 s
1.88/1.95	c core #420
1.88/1.95	c Core size: 3	Core Weight: 1	Total Weight: 420
1.88/1.95	c Elapsed CPU time: 1.93871 s	Remaining CPU time: 1798.06 s
1.88/1.95	c core #421
1.88/1.95	c Core size: 3	Core Weight: 1	Total Weight: 421
1.88/1.95	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 1798.06 s
1.88/1.96	c core #422
1.88/1.96	c Core size: 3	Core Weight: 1	Total Weight: 422
1.88/1.96	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 1798.05 s
1.88/1.97	c core #423
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 423
1.88/1.97	c Elapsed CPU time: 1.9557 s	Remaining CPU time: 1798.04 s
1.88/1.97	c core #424
1.88/1.97	c Core size: 3	Core Weight: 1	Total Weight: 424
1.88/1.97	c Elapsed CPU time: 1.9607 s	Remaining CPU time: 1798.04 s
1.88/1.98	c core #425
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 425
1.88/1.98	c Elapsed CPU time: 1.9667 s	Remaining CPU time: 1798.03 s
1.88/1.98	c core #426
1.88/1.98	c Core size: 3	Core Weight: 1	Total Weight: 426
1.88/1.98	c Elapsed CPU time: 1.9727 s	Remaining CPU time: 1798.03 s
1.88/1.99	c core #427
1.88/1.99	c Core size: 3	Core Weight: 1	Total Weight: 427
1.88/1.99	c Elapsed CPU time: 1.9787 s	Remaining CPU time: 1798.02 s
1.88/2.00	c core #428
1.88/2.00	c Core size: 3	Core Weight: 1	Total Weight: 428
1.88/2.00	c Elapsed CPU time: 1.9837 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #429
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 429
1.99/2.00	c Elapsed CPU time: 1.9897 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #430
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 430
1.99/2.01	c Elapsed CPU time: 1.9957 s	Remaining CPU time: 1798 s
1.99/2.01	c core #431
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 431
1.99/2.01	c Elapsed CPU time: 2.00169 s	Remaining CPU time: 1798 s
1.99/2.02	c core #432
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 432
1.99/2.02	c Elapsed CPU time: 2.00669 s	Remaining CPU time: 1797.99 s
1.99/2.02	c core #433
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 433
1.99/2.02	c Elapsed CPU time: 2.01269 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #434
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 434
1.99/2.03	c Elapsed CPU time: 2.01869 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #435
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 435
1.99/2.04	c Elapsed CPU time: 2.02469 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #436
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 436
1.99/2.04	c Elapsed CPU time: 2.03069 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #437
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 437
1.99/2.05	c Elapsed CPU time: 2.03569 s	Remaining CPU time: 1797.96 s
1.99/2.05	c core #438
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 438
1.99/2.05	c Elapsed CPU time: 2.04069 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #439
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 439
1.99/2.06	c Elapsed CPU time: 2.04669 s	Remaining CPU time: 1797.95 s
1.99/2.06	c core #440
1.99/2.06	c Core size: 3	Core Weight: 1	Total Weight: 440
1.99/2.06	c Elapsed CPU time: 2.05269 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #441
1.99/2.07	c Core size: 3	Core Weight: 1	Total Weight: 441
1.99/2.07	c Elapsed CPU time: 2.05869 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #442
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 442
1.99/2.08	c Elapsed CPU time: 2.06469 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #443
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 443
1.99/2.08	c Elapsed CPU time: 2.06968 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #444
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 444
1.99/2.09	c Elapsed CPU time: 2.07568 s	Remaining CPU time: 1797.92 s
1.99/2.09	c core #445
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 445
1.99/2.09	c Elapsed CPU time: 2.08168 s	Remaining CPU time: 1797.92 s
1.99/2.10	c core #446
1.99/2.10	c Core size: 3	Core Weight: 1	Total Weight: 446
1.99/2.10	c Elapsed CPU time: 2.08768 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #447
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 447
2.09/2.11	c Elapsed CPU time: 2.09368 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #448
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 448
2.09/2.11	c Elapsed CPU time: 2.09968 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #449
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 449
2.09/2.12	c Elapsed CPU time: 2.10668 s	Remaining CPU time: 1797.89 s
2.09/2.12	c core #450
2.09/2.12	c Core size: 3	Core Weight: 1	Total Weight: 450
2.09/2.12	c Elapsed CPU time: 2.11268 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #451
2.09/2.13	c Core size: 3	Core Weight: 1	Total Weight: 451
2.09/2.13	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #452
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 452
2.09/2.14	c Elapsed CPU time: 2.12568 s	Remaining CPU time: 1797.87 s
2.09/2.14	c core #453
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 453
2.09/2.14	c Elapsed CPU time: 2.13068 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #454
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 454
2.09/2.15	c Elapsed CPU time: 2.13667 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #455
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 455
2.09/2.16	c Elapsed CPU time: 2.14267 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #456
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 456
2.09/2.16	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #457
2.09/2.17	c Core size: 3	Core Weight: 1	Total Weight: 457
2.09/2.17	c Elapsed CPU time: 2.15467 s	Remaining CPU time: 1797.85 s
2.09/2.18	c core #458
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 458
2.09/2.18	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #459
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 459
2.09/2.18	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #460
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 460
2.09/2.19	c Elapsed CPU time: 2.17267 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #461
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 461
2.09/2.19	c Elapsed CPU time: 2.17867 s	Remaining CPU time: 1797.82 s
2.19/2.20	c core #462
2.19/2.20	c Core size: 3	Core Weight: 1	Total Weight: 462
2.19/2.20	c Elapsed CPU time: 2.18567 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #463
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 463
2.19/2.21	c Elapsed CPU time: 2.19167 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #464
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 464
2.19/2.21	c Elapsed CPU time: 2.19767 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #465
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 465
2.19/2.22	c Elapsed CPU time: 2.20366 s	Remaining CPU time: 1797.8 s
2.19/2.23	c core #466
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 466
2.19/2.23	c Elapsed CPU time: 2.21066 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #467
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 467
2.19/2.23	c Elapsed CPU time: 2.21666 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #468
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 468
2.19/2.24	c Elapsed CPU time: 2.22266 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #469
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 469
2.19/2.24	c Elapsed CPU time: 2.22866 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #470
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 470
2.19/2.25	c Elapsed CPU time: 2.23466 s	Remaining CPU time: 1797.77 s
2.19/2.26	c core #471
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 471
2.19/2.26	c Elapsed CPU time: 2.24066 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #472
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 472
2.19/2.26	c Elapsed CPU time: 2.24666 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #473
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 473
2.19/2.27	c Elapsed CPU time: 2.25266 s	Remaining CPU time: 1797.75 s
2.19/2.28	c core #474
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 474
2.19/2.28	c Elapsed CPU time: 2.25866 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #475
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 475
2.19/2.28	c Elapsed CPU time: 2.26465 s	Remaining CPU time: 1797.74 s
2.19/2.29	c core #476
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 476
2.19/2.29	c Elapsed CPU time: 2.27065 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #477
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 477
2.19/2.29	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.28/2.30	c core #478
2.28/2.30	c Core size: 3	Core Weight: 1	Total Weight: 478
2.28/2.30	c Elapsed CPU time: 2.28365 s	Remaining CPU time: 1797.72 s
2.28/2.31	c core #479
2.28/2.31	c Core size: 3	Core Weight: 1	Total Weight: 479
2.28/2.31	c Elapsed CPU time: 2.28965 s	Remaining CPU time: 1797.71 s
2.28/2.31	c core #480
2.28/2.31	c Core size: 3	Core Weight: 1	Total Weight: 480
2.28/2.31	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.28/2.32	c core #481
2.28/2.32	c Core size: 3	Core Weight: 1	Total Weight: 481
2.28/2.32	c Elapsed CPU time: 2.30265 s	Remaining CPU time: 1797.7 s
2.28/2.33	c core #482
2.28/2.33	c Core size: 3	Core Weight: 1	Total Weight: 482
2.28/2.33	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.28/2.33	c core #483
2.28/2.33	c Core size: 3	Core Weight: 1	Total Weight: 483
2.28/2.33	c Elapsed CPU time: 2.31465 s	Remaining CPU time: 1797.69 s
2.28/2.34	c core #484
2.28/2.34	c Core size: 3	Core Weight: 1	Total Weight: 484
2.28/2.34	c Elapsed CPU time: 2.32065 s	Remaining CPU time: 1797.68 s
2.28/2.34	c core #485
2.28/2.34	c Core size: 3	Core Weight: 1	Total Weight: 485
2.28/2.34	c Elapsed CPU time: 2.32765 s	Remaining CPU time: 1797.67 s
2.28/2.35	c core #486
2.28/2.35	c Core size: 3	Core Weight: 1	Total Weight: 486
2.28/2.35	c Elapsed CPU time: 2.33365 s	Remaining CPU time: 1797.67 s
2.28/2.36	c core #487
2.28/2.36	c Core size: 3	Core Weight: 1	Total Weight: 487
2.28/2.36	c Elapsed CPU time: 2.33964 s	Remaining CPU time: 1797.66 s
2.28/2.36	c core #488
2.28/2.36	c Core size: 3	Core Weight: 1	Total Weight: 488
2.28/2.36	c Elapsed CPU time: 2.34564 s	Remaining CPU time: 1797.65 s
2.28/2.37	c core #489
2.28/2.37	c Core size: 3	Core Weight: 1	Total Weight: 489
2.28/2.37	c Elapsed CPU time: 2.35164 s	Remaining CPU time: 1797.65 s
2.28/2.38	c core #490
2.28/2.38	c Core size: 3	Core Weight: 1	Total Weight: 490
2.28/2.38	c Elapsed CPU time: 2.35764 s	Remaining CPU time: 1797.64 s
2.28/2.38	c core #491
2.28/2.38	c Core size: 3	Core Weight: 1	Total Weight: 491
2.28/2.38	c Elapsed CPU time: 2.36364 s	Remaining CPU time: 1797.64 s
2.28/2.39	c core #492
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 492
2.28/2.39	c Elapsed CPU time: 2.37064 s	Remaining CPU time: 1797.63 s
2.28/2.39	c core #493
2.28/2.39	c Core size: 3	Core Weight: 1	Total Weight: 493
2.28/2.39	c Elapsed CPU time: 2.37664 s	Remaining CPU time: 1797.62 s
2.38/2.40	c core #494
2.38/2.40	c Core size: 3	Core Weight: 1	Total Weight: 494
2.38/2.40	c Elapsed CPU time: 2.38264 s	Remaining CPU time: 1797.62 s
2.38/2.41	c core #495
2.38/2.41	c Core size: 3	Core Weight: 1	Total Weight: 495
2.38/2.41	c Elapsed CPU time: 2.38964 s	Remaining CPU time: 1797.61 s
2.38/2.41	c core #496
2.38/2.41	c Core size: 3	Core Weight: 1	Total Weight: 496
2.38/2.41	c Elapsed CPU time: 2.39563 s	Remaining CPU time: 1797.6 s
2.38/2.42	c core #497
2.38/2.42	c Core size: 3	Core Weight: 1	Total Weight: 497
2.38/2.42	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.38/2.43	c core #498
2.38/2.43	c Core size: 3	Core Weight: 1	Total Weight: 498
2.38/2.43	c Elapsed CPU time: 2.40763 s	Remaining CPU time: 1797.59 s
2.38/2.43	c core #499
2.38/2.43	c Core size: 3	Core Weight: 1	Total Weight: 499
2.38/2.43	c Elapsed CPU time: 2.41363 s	Remaining CPU time: 1797.59 s
2.38/2.44	c core #500
2.38/2.44	c Core size: 3	Core Weight: 1	Total Weight: 500
2.38/2.44	c Elapsed CPU time: 2.41963 s	Remaining CPU time: 1797.58 s
2.38/2.45	c core #501
2.38/2.45	c Core size: 3	Core Weight: 1	Total Weight: 501
2.38/2.45	c Elapsed CPU time: 2.42563 s	Remaining CPU time: 1797.57 s
2.38/2.45	c core #502
2.38/2.45	c Core size: 3	Core Weight: 1	Total Weight: 502
2.38/2.45	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 1797.57 s
2.38/2.46	c core #503
2.38/2.46	c Core size: 3	Core Weight: 1	Total Weight: 503
2.38/2.46	c Elapsed CPU time: 2.43863 s	Remaining CPU time: 1797.56 s
2.38/2.47	c core #504
2.38/2.47	c Core size: 3	Core Weight: 1	Total Weight: 504
2.38/2.47	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 1797.56 s
2.38/2.47	c core #505
2.38/2.47	c Core size: 3	Core Weight: 1	Total Weight: 505
2.38/2.47	c Elapsed CPU time: 2.45163 s	Remaining CPU time: 1797.55 s
2.38/2.48	c core #506
2.38/2.48	c Core size: 3	Core Weight: 1	Total Weight: 506
2.38/2.48	c Elapsed CPU time: 2.45763 s	Remaining CPU time: 1797.54 s
2.38/2.48	c core #507
2.38/2.48	c Core size: 3	Core Weight: 1	Total Weight: 507
2.38/2.48	c Elapsed CPU time: 2.46462 s	Remaining CPU time: 1797.54 s
2.38/2.49	c core #508
2.38/2.49	c Core size: 3	Core Weight: 1	Total Weight: 508
2.38/2.49	c Elapsed CPU time: 2.47062 s	Remaining CPU time: 1797.53 s
2.48/2.50	c core #509
2.48/2.50	c Core size: 3	Core Weight: 1	Total Weight: 509
2.48/2.50	c Elapsed CPU time: 2.47762 s	Remaining CPU time: 1797.52 s
2.48/2.50	c core #510
2.48/2.50	c Core size: 3	Core Weight: 1	Total Weight: 510
2.48/2.50	c Elapsed CPU time: 2.48362 s	Remaining CPU time: 1797.52 s
2.48/2.51	c core #511
2.48/2.51	c Core size: 3	Core Weight: 1	Total Weight: 511
2.48/2.51	c Elapsed CPU time: 2.49062 s	Remaining CPU time: 1797.51 s
2.48/2.52	c core #512
2.48/2.52	c Core size: 3	Core Weight: 1	Total Weight: 512
2.48/2.52	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.48/2.52	c core #513
2.48/2.52	c Core size: 3	Core Weight: 1	Total Weight: 513
2.48/2.52	c Elapsed CPU time: 2.50362 s	Remaining CPU time: 1797.5 s
2.48/2.53	c core #514
2.48/2.53	c Core size: 3	Core Weight: 1	Total Weight: 514
2.48/2.53	c Elapsed CPU time: 2.50962 s	Remaining CPU time: 1797.49 s
2.48/2.54	c core #515
2.48/2.54	c Core size: 3	Core Weight: 1	Total Weight: 515
2.48/2.54	c Elapsed CPU time: 2.51562 s	Remaining CPU time: 1797.48 s
2.48/2.54	c core #516
2.48/2.54	c Core size: 3	Core Weight: 1	Total Weight: 516
2.48/2.54	c Elapsed CPU time: 2.52162 s	Remaining CPU time: 1797.48 s
2.48/2.55	c core #517
2.48/2.55	c Core size: 3	Core Weight: 1	Total Weight: 517
2.48/2.55	c Elapsed CPU time: 2.52761 s	Remaining CPU time: 1797.47 s
2.48/2.56	c core #518
2.48/2.56	c Core size: 3	Core Weight: 1	Total Weight: 518
2.48/2.56	c Elapsed CPU time: 2.53361 s	Remaining CPU time: 1797.47 s
2.48/2.56	c core #519
2.48/2.56	c Core size: 3	Core Weight: 1	Total Weight: 519
2.48/2.56	c Elapsed CPU time: 2.54061 s	Remaining CPU time: 1797.46 s
2.48/2.57	c core #520
2.48/2.57	c Core size: 3	Core Weight: 1	Total Weight: 520
2.48/2.57	c Elapsed CPU time: 2.54661 s	Remaining CPU time: 1797.45 s
2.48/2.57	c core #521
2.48/2.57	c Core size: 3	Core Weight: 1	Total Weight: 521
2.48/2.57	c Elapsed CPU time: 2.55261 s	Remaining CPU time: 1797.45 s
2.48/2.58	c core #522
2.48/2.58	c Core size: 3	Core Weight: 1	Total Weight: 522
2.48/2.58	c Elapsed CPU time: 2.55961 s	Remaining CPU time: 1797.44 s
2.48/2.59	c core #523
2.48/2.59	c Core size: 3	Core Weight: 1	Total Weight: 523
2.48/2.59	c Elapsed CPU time: 2.56561 s	Remaining CPU time: 1797.43 s
2.48/2.59	c core #524
2.48/2.59	c Core size: 3	Core Weight: 1	Total Weight: 524
2.48/2.59	c Elapsed CPU time: 2.57261 s	Remaining CPU time: 1797.43 s
2.58/2.60	c core #525
2.58/2.60	c Core size: 3	Core Weight: 1	Total Weight: 525
2.58/2.60	c Elapsed CPU time: 2.57861 s	Remaining CPU time: 1797.42 s
2.58/2.61	c core #526
2.58/2.61	c Core size: 3	Core Weight: 1	Total Weight: 526
2.58/2.61	c Elapsed CPU time: 2.58561 s	Remaining CPU time: 1797.41 s
2.58/2.61	c core #527
2.58/2.61	c Core size: 3	Core Weight: 1	Total Weight: 527
2.58/2.61	c Elapsed CPU time: 2.5926 s	Remaining CPU time: 1797.41 s
2.58/2.62	c core #528
2.58/2.62	c Core size: 3	Core Weight: 1	Total Weight: 528
2.58/2.62	c Elapsed CPU time: 2.5986 s	Remaining CPU time: 1797.4 s
2.58/2.63	c core #529
2.58/2.63	c Core size: 3	Core Weight: 1	Total Weight: 529
2.58/2.63	c Elapsed CPU time: 2.6056 s	Remaining CPU time: 1797.39 s
2.58/2.63	c core #530
2.58/2.63	c Core size: 3	Core Weight: 1	Total Weight: 530
2.58/2.63	c Elapsed CPU time: 2.6116 s	Remaining CPU time: 1797.39 s
2.58/2.64	c core #531
2.58/2.64	c Core size: 3	Core Weight: 1	Total Weight: 531
2.58/2.64	c Elapsed CPU time: 2.6186 s	Remaining CPU time: 1797.38 s
2.58/2.65	c core #532
2.58/2.65	c Core size: 3	Core Weight: 1	Total Weight: 532
2.58/2.65	c Elapsed CPU time: 2.6256 s	Remaining CPU time: 1797.37 s
2.58/2.65	c core #533
2.58/2.65	c Core size: 3	Core Weight: 1	Total Weight: 533
2.58/2.65	c Elapsed CPU time: 2.6316 s	Remaining CPU time: 1797.37 s
2.58/2.66	c core #534
2.58/2.66	c Core size: 3	Core Weight: 1	Total Weight: 534
2.58/2.66	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.58/2.67	c core #535
2.58/2.67	c Core size: 3	Core Weight: 1	Total Weight: 535
2.58/2.67	c Elapsed CPU time: 2.6436 s	Remaining CPU time: 1797.36 s
2.58/2.67	c core #536
2.58/2.67	c Core size: 3	Core Weight: 1	Total Weight: 536
2.58/2.67	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 1797.35 s
2.58/2.68	c core #537
2.58/2.68	c Core size: 3	Core Weight: 1	Total Weight: 537
2.58/2.68	c Elapsed CPU time: 2.6566 s	Remaining CPU time: 1797.34 s
2.58/2.69	c core #538
2.58/2.69	c Core size: 3	Core Weight: 1	Total Weight: 538
2.58/2.69	c Elapsed CPU time: 2.66359 s	Remaining CPU time: 1797.34 s
2.58/2.69	c core #539
2.58/2.69	c Core size: 3	Core Weight: 1	Total Weight: 539
2.58/2.69	c Elapsed CPU time: 2.66959 s	Remaining CPU time: 1797.33 s
2.68/2.70	c core #540
2.68/2.70	c Core size: 3	Core Weight: 1	Total Weight: 540
2.68/2.70	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 1797.32 s
2.68/2.71	c core #541
2.68/2.71	c Core size: 3	Core Weight: 1	Total Weight: 541
2.68/2.71	c Elapsed CPU time: 2.68359 s	Remaining CPU time: 1797.32 s
2.68/2.71	c core #542
2.68/2.71	c Core size: 3	Core Weight: 1	Total Weight: 542
2.68/2.71	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 1797.31 s
2.68/2.72	c core #543
2.68/2.72	c Core size: 3	Core Weight: 1	Total Weight: 543
2.68/2.72	c Elapsed CPU time: 2.69659 s	Remaining CPU time: 1797.3 s
2.68/2.73	c core #544
2.68/2.73	c Core size: 3	Core Weight: 1	Total Weight: 544
2.68/2.73	c Elapsed CPU time: 2.70259 s	Remaining CPU time: 1797.3 s
2.68/2.73	c core #545
2.68/2.73	c Core size: 3	Core Weight: 1	Total Weight: 545
2.68/2.73	c Elapsed CPU time: 2.70959 s	Remaining CPU time: 1797.29 s
2.68/2.74	c core #546
2.68/2.74	c Core size: 3	Core Weight: 1	Total Weight: 546
2.68/2.74	c Elapsed CPU time: 2.71659 s	Remaining CPU time: 1797.28 s
2.68/2.75	c core #547
2.68/2.75	c Core size: 3	Core Weight: 1	Total Weight: 547
2.68/2.75	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 1797.28 s
2.68/2.75	c core #548
2.68/2.75	c Core size: 3	Core Weight: 1	Total Weight: 548
2.68/2.75	c Elapsed CPU time: 2.72959 s	Remaining CPU time: 1797.27 s
2.68/2.76	c core #549
2.68/2.76	c Core size: 3	Core Weight: 1	Total Weight: 549
2.68/2.76	c Elapsed CPU time: 2.73658 s	Remaining CPU time: 1797.26 s
2.68/2.77	c core #550
2.68/2.77	c Core size: 3	Core Weight: 1	Total Weight: 550
2.68/2.77	c Elapsed CPU time: 2.74358 s	Remaining CPU time: 1797.26 s
2.68/2.77	c core #551
2.68/2.77	c Core size: 3	Core Weight: 1	Total Weight: 551
2.68/2.77	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.68/2.78	c core #552
2.68/2.78	c Core size: 3	Core Weight: 1	Total Weight: 552
2.68/2.78	c Elapsed CPU time: 2.75558 s	Remaining CPU time: 1797.24 s
2.68/2.79	c core #553
2.68/2.79	c Core size: 3	Core Weight: 1	Total Weight: 553
2.68/2.79	c Elapsed CPU time: 2.76258 s	Remaining CPU time: 1797.24 s
2.68/2.79	c core #554
2.68/2.79	c Core size: 3	Core Weight: 1	Total Weight: 554
2.68/2.79	c Elapsed CPU time: 2.76958 s	Remaining CPU time: 1797.23 s
2.78/2.80	c core #555
2.78/2.80	c Core size: 3	Core Weight: 1	Total Weight: 555
2.78/2.80	c Elapsed CPU time: 2.77658 s	Remaining CPU time: 1797.22 s
2.78/2.81	c core #556
2.78/2.81	c Core size: 3	Core Weight: 1	Total Weight: 556
2.78/2.81	c Elapsed CPU time: 2.78358 s	Remaining CPU time: 1797.22 s
2.78/2.81	c core #557
2.78/2.81	c Core size: 3	Core Weight: 1	Total Weight: 557
2.78/2.81	c Elapsed CPU time: 2.78958 s	Remaining CPU time: 1797.21 s
2.78/2.82	c core #558
2.78/2.82	c Core size: 3	Core Weight: 1	Total Weight: 558
2.78/2.82	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 1797.2 s
2.78/2.83	c core #559
2.78/2.83	c Core size: 3	Core Weight: 1	Total Weight: 559
2.78/2.83	c Elapsed CPU time: 2.80357 s	Remaining CPU time: 1797.2 s
2.78/2.83	c core #560
2.78/2.83	c Core size: 3	Core Weight: 1	Total Weight: 560
2.78/2.83	c Elapsed CPU time: 2.80957 s	Remaining CPU time: 1797.19 s
2.78/2.84	c core #561
2.78/2.84	c Core size: 3	Core Weight: 1	Total Weight: 561
2.78/2.84	c Elapsed CPU time: 2.81557 s	Remaining CPU time: 1797.18 s
2.78/2.85	c core #562
2.78/2.85	c Core size: 3	Core Weight: 1	Total Weight: 562
2.78/2.85	c Elapsed CPU time: 2.82257 s	Remaining CPU time: 1797.18 s
2.78/2.85	c core #563
2.78/2.85	c Core size: 3	Core Weight: 1	Total Weight: 563
2.78/2.85	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 1797.17 s
2.78/2.86	c core #564
2.78/2.86	c Core size: 3	Core Weight: 1	Total Weight: 564
2.78/2.86	c Elapsed CPU time: 2.83557 s	Remaining CPU time: 1797.16 s
2.78/2.87	c core #565
2.78/2.87	c Core size: 3	Core Weight: 1	Total Weight: 565
2.78/2.87	c Elapsed CPU time: 2.84257 s	Remaining CPU time: 1797.16 s
2.78/2.87	c core #566
2.78/2.87	c Core size: 3	Core Weight: 1	Total Weight: 566
2.78/2.87	c Elapsed CPU time: 2.84957 s	Remaining CPU time: 1797.15 s
2.78/2.88	c core #567
2.78/2.88	c Core size: 3	Core Weight: 1	Total Weight: 567
2.78/2.88	c Elapsed CPU time: 2.85656 s	Remaining CPU time: 1797.14 s
2.78/2.89	c core #568
2.78/2.89	c Core size: 3	Core Weight: 1	Total Weight: 568
2.78/2.89	c Elapsed CPU time: 2.86256 s	Remaining CPU time: 1797.14 s
2.78/2.89	c core #569
2.78/2.89	c Core size: 3	Core Weight: 1	Total Weight: 569
2.78/2.89	c Elapsed CPU time: 2.86856 s	Remaining CPU time: 1797.13 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.87556 s	Remaining CPU time: 1797.12 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.88256 s	Remaining CPU time: 1797.12 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.88956 s	Remaining CPU time: 1797.11 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.89656 s	Remaining CPU time: 1797.1 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.90256 s	Remaining CPU time: 1797.1 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.90956 s	Remaining CPU time: 1797.09 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.91656 s	Remaining CPU time: 1797.08 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.92355 s	Remaining CPU time: 1797.08 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.93055 s	Remaining CPU time: 1797.07 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.93755 s	Remaining CPU time: 1797.06 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.94355 s	Remaining CPU time: 1797.06 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.94955 s	Remaining CPU time: 1797.05 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.95655 s	Remaining CPU time: 1797.04 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.96355 s	Remaining CPU time: 1797.04 s
2.98/3.00	c core #584
2.98/3.00	c Core size: 3	Core Weight: 1	Total Weight: 584
2.98/3.00	c Elapsed CPU time: 2.97055 s	Remaining CPU time: 1797.03 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.97755 s	Remaining CPU time: 1797.02 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.98455 s	Remaining CPU time: 1797.02 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.99055 s	Remaining CPU time: 1797.01 s
2.98/3.03	c core #588
2.98/3.03	c Core size: 3	Core Weight: 1	Total Weight: 588
2.98/3.03	c Elapsed CPU time: 2.99754 s	Remaining CPU time: 1797 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.00454 s	Remaining CPU time: 1797 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.01154 s	Remaining CPU time: 1796.99 s
2.98/3.05	c core #591
2.98/3.05	c Core size: 3	Core Weight: 1	Total Weight: 591
2.98/3.05	c Elapsed CPU time: 3.01854 s	Remaining CPU time: 1796.98 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.02554 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.03254 s	Remaining CPU time: 1796.97 s
2.98/3.07	c core #594
2.98/3.07	c Core size: 3	Core Weight: 1	Total Weight: 594
2.98/3.07	c Elapsed CPU time: 3.03954 s	Remaining CPU time: 1796.96 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.04654 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.05354 s	Remaining CPU time: 1796.95 s
2.98/3.09	c core #597
2.98/3.09	c Core size: 3	Core Weight: 1	Total Weight: 597
2.98/3.09	c Elapsed CPU time: 3.06053 s	Remaining CPU time: 1796.94 s
2.98/3.10	c core #598
2.98/3.10	c Core size: 3	Core Weight: 1	Total Weight: 598
2.98/3.10	c Elapsed CPU time: 3.06753 s	Remaining CPU time: 1796.93 s
3.08/3.10	c core #599
3.08/3.10	c Core size: 3	Core Weight: 1	Total Weight: 599
3.08/3.10	c Elapsed CPU time: 3.07453 s	Remaining CPU time: 1796.93 s
3.08/3.11	c core #600
3.08/3.11	c Core size: 3	Core Weight: 1	Total Weight: 600
3.08/3.11	c Elapsed CPU time: 3.08153 s	Remaining CPU time: 1796.92 s
3.08/3.12	c core #601
3.08/3.12	c Core size: 3	Core Weight: 1	Total Weight: 601
3.08/3.12	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.08/3.12	c core #602
3.08/3.12	c Core size: 3	Core Weight: 1	Total Weight: 602
3.08/3.12	c Elapsed CPU time: 3.09453 s	Remaining CPU time: 1796.91 s
3.08/3.13	c core #603
3.08/3.13	c Core size: 3	Core Weight: 1	Total Weight: 603
3.08/3.13	c Elapsed CPU time: 3.10153 s	Remaining CPU time: 1796.9 s
3.08/3.14	c core #604
3.08/3.14	c Core size: 3	Core Weight: 1	Total Weight: 604
3.08/3.14	c Elapsed CPU time: 3.10953 s	Remaining CPU time: 1796.89 s
3.08/3.15	c core #605
3.08/3.15	c Core size: 3	Core Weight: 1	Total Weight: 605
3.08/3.15	c Elapsed CPU time: 3.11653 s	Remaining CPU time: 1796.88 s
3.08/3.15	c core #606
3.08/3.15	c Core size: 3	Core Weight: 1	Total Weight: 606
3.08/3.15	c Elapsed CPU time: 3.12352 s	Remaining CPU time: 1796.88 s
3.08/3.16	c core #607
3.08/3.16	c Core size: 3	Core Weight: 1	Total Weight: 607
3.08/3.16	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 1796.87 s
3.08/3.17	c core #608
3.08/3.17	c Core size: 3	Core Weight: 1	Total Weight: 608
3.08/3.17	c Elapsed CPU time: 3.13752 s	Remaining CPU time: 1796.86 s
3.08/3.18	c core #609
3.08/3.18	c Core size: 3	Core Weight: 1	Total Weight: 609
3.08/3.18	c Elapsed CPU time: 3.14452 s	Remaining CPU time: 1796.86 s
3.08/3.18	c core #610
3.08/3.18	c Core size: 3	Core Weight: 1	Total Weight: 610
3.08/3.18	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.08/3.19	c core #611
3.08/3.19	c Core size: 3	Core Weight: 1	Total Weight: 611
3.08/3.19	c Elapsed CPU time: 3.15852 s	Remaining CPU time: 1796.84 s
3.08/3.20	c core #612
3.08/3.20	c Core size: 3	Core Weight: 1	Total Weight: 612
3.08/3.20	c Elapsed CPU time: 3.16552 s	Remaining CPU time: 1796.83 s
3.18/3.20	c core #613
3.18/3.20	c Core size: 3	Core Weight: 1	Total Weight: 613
3.18/3.20	c Elapsed CPU time: 3.17252 s	Remaining CPU time: 1796.83 s
3.18/3.21	c core #614
3.18/3.21	c Core size: 3	Core Weight: 1	Total Weight: 614
3.18/3.21	c Elapsed CPU time: 3.17952 s	Remaining CPU time: 1796.82 s
3.18/3.22	c core #615
3.18/3.22	c Core size: 3	Core Weight: 1	Total Weight: 615
3.18/3.22	c Elapsed CPU time: 3.18552 s	Remaining CPU time: 1796.81 s
3.18/3.23	c core #616
3.18/3.23	c Core size: 3	Core Weight: 1	Total Weight: 616
3.18/3.23	c Elapsed CPU time: 3.19151 s	Remaining CPU time: 1796.81 s
3.18/3.23	c core #617
3.18/3.23	c Core size: 3	Core Weight: 1	Total Weight: 617
3.18/3.23	c Elapsed CPU time: 3.19751 s	Remaining CPU time: 1796.8 s
3.18/3.24	c core #618
3.18/3.24	c Core size: 3	Core Weight: 1	Total Weight: 618
3.18/3.24	c Elapsed CPU time: 3.20451 s	Remaining CPU time: 1796.8 s
3.18/3.25	c core #619
3.18/3.25	c Core size: 3	Core Weight: 1	Total Weight: 619
3.18/3.25	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 1796.79 s
3.18/3.25	c core #620
3.18/3.25	c Core size: 3	Core Weight: 1	Total Weight: 620
3.18/3.25	c Elapsed CPU time: 3.21851 s	Remaining CPU time: 1796.78 s
3.18/3.26	c core #621
3.18/3.26	c Core size: 3	Core Weight: 1	Total Weight: 621
3.18/3.26	c Elapsed CPU time: 3.22651 s	Remaining CPU time: 1796.77 s
3.18/3.27	c core #622
3.18/3.27	c Core size: 3	Core Weight: 1	Total Weight: 622
3.18/3.27	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.18/3.28	c core #623
3.18/3.28	c Core size: 3	Core Weight: 1	Total Weight: 623
3.18/3.28	c Elapsed CPU time: 3.24051 s	Remaining CPU time: 1796.76 s
3.18/3.28	c core #624
3.18/3.28	c Core size: 3	Core Weight: 1	Total Weight: 624
3.18/3.28	c Elapsed CPU time: 3.24751 s	Remaining CPU time: 1796.75 s
3.18/3.29	c core #625
3.18/3.29	c Core size: 3	Core Weight: 1	Total Weight: 625
3.18/3.29	c Elapsed CPU time: 3.2545 s	Remaining CPU time: 1796.75 s
3.18/3.30	c core #626
3.18/3.30	c Core size: 3	Core Weight: 1	Total Weight: 626
3.18/3.30	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 1796.74 s
3.28/3.30	c core #627
3.28/3.30	c Core size: 3	Core Weight: 1	Total Weight: 627
3.28/3.31	c Elapsed CPU time: 3.2685 s	Remaining CPU time: 1796.73 s
3.28/3.31	c core #628
3.28/3.31	c Core size: 3	Core Weight: 1	Total Weight: 628
3.28/3.31	c Elapsed CPU time: 3.2755 s	Remaining CPU time: 1796.72 s
3.28/3.32	c core #629
3.28/3.32	c Core size: 3	Core Weight: 1	Total Weight: 629
3.28/3.32	c Elapsed CPU time: 3.2835 s	Remaining CPU time: 1796.72 s
3.28/3.33	c core #630
3.28/3.33	c Core size: 3	Core Weight: 1	Total Weight: 630
3.28/3.33	c Elapsed CPU time: 3.2905 s	Remaining CPU time: 1796.71 s
3.28/3.33	c core #631
3.28/3.33	c Core size: 3	Core Weight: 1	Total Weight: 631
3.28/3.33	c Elapsed CPU time: 3.2975 s	Remaining CPU time: 1796.7 s
3.28/3.34	c core #632
3.28/3.34	c Core size: 3	Core Weight: 1	Total Weight: 632
3.28/3.34	c Elapsed CPU time: 3.3045 s	Remaining CPU time: 1796.7 s
3.28/3.35	c core #633
3.28/3.35	c Core size: 3	Core Weight: 1	Total Weight: 633
3.28/3.35	c Elapsed CPU time: 3.3105 s	Remaining CPU time: 1796.69 s
3.28/3.36	c core #634
3.28/3.36	c Core size: 3	Core Weight: 1	Total Weight: 634
3.28/3.36	c Elapsed CPU time: 3.3175 s	Remaining CPU time: 1796.68 s
3.28/3.36	c core #635
3.28/3.36	c Core size: 3	Core Weight: 1	Total Weight: 635
3.28/3.36	c Elapsed CPU time: 3.32449 s	Remaining CPU time: 1796.68 s
3.28/3.37	c core #636
3.28/3.37	c Core size: 3	Core Weight: 1	Total Weight: 636
3.28/3.37	c Elapsed CPU time: 3.33249 s	Remaining CPU time: 1796.67 s
3.28/3.38	c core #637
3.28/3.38	c Core size: 3	Core Weight: 1	Total Weight: 637
3.28/3.38	c Elapsed CPU time: 3.33949 s	Remaining CPU time: 1796.66 s
3.28/3.38	c core #638
3.28/3.38	c Core size: 3	Core Weight: 1	Total Weight: 638
3.28/3.39	c Elapsed CPU time: 3.34649 s	Remaining CPU time: 1796.65 s
3.28/3.39	c core #639
3.28/3.39	c Core size: 3	Core Weight: 1	Total Weight: 639
3.28/3.39	c Elapsed CPU time: 3.35349 s	Remaining CPU time: 1796.65 s
3.37/3.40	c core #640
3.37/3.40	c Core size: 3	Core Weight: 1	Total Weight: 640
3.37/3.40	c Elapsed CPU time: 3.36149 s	Remaining CPU time: 1796.64 s
3.37/3.41	c core #641
3.37/3.41	c Core size: 3	Core Weight: 1	Total Weight: 641
3.37/3.41	c Elapsed CPU time: 3.36849 s	Remaining CPU time: 1796.63 s
3.37/3.41	c core #642
3.37/3.41	c Core size: 3	Core Weight: 1	Total Weight: 642
3.37/3.41	c Elapsed CPU time: 3.37549 s	Remaining CPU time: 1796.62 s
3.37/3.42	c core #643
3.37/3.42	c Core size: 3	Core Weight: 1	Total Weight: 643
3.37/3.42	c Elapsed CPU time: 3.38248 s	Remaining CPU time: 1796.62 s
3.37/3.43	c core #644
3.37/3.43	c Core size: 3	Core Weight: 1	Total Weight: 644
3.37/3.43	c Elapsed CPU time: 3.38948 s	Remaining CPU time: 1796.61 s
3.37/3.44	c core #645
3.37/3.44	c Core size: 3	Core Weight: 1	Total Weight: 645
3.37/3.44	c Elapsed CPU time: 3.39648 s	Remaining CPU time: 1796.6 s
3.37/3.44	c core #646
3.37/3.44	c Core size: 3	Core Weight: 1	Total Weight: 646
3.37/3.44	c Elapsed CPU time: 3.40348 s	Remaining CPU time: 1796.6 s
3.37/3.45	c core #647
3.37/3.45	c Core size: 3	Core Weight: 1	Total Weight: 647
3.37/3.45	c Elapsed CPU time: 3.41048 s	Remaining CPU time: 1796.59 s
3.37/3.46	c core #648
3.37/3.46	c Core size: 3	Core Weight: 1	Total Weight: 648
3.37/3.46	c Elapsed CPU time: 3.41748 s	Remaining CPU time: 1796.58 s
3.37/3.47	c core #649
3.37/3.47	c Core size: 3	Core Weight: 1	Total Weight: 649
3.37/3.47	c Elapsed CPU time: 3.42448 s	Remaining CPU time: 1796.58 s
3.37/3.47	c core #650
3.37/3.47	c Core size: 3	Core Weight: 1	Total Weight: 650
3.37/3.47	c Elapsed CPU time: 3.43148 s	Remaining CPU time: 1796.57 s
3.37/3.48	c core #651
3.37/3.48	c Core size: 3	Core Weight: 1	Total Weight: 651
3.37/3.48	c Elapsed CPU time: 3.43948 s	Remaining CPU time: 1796.56 s
3.37/3.49	c core #652
3.37/3.49	c Core size: 3	Core Weight: 1	Total Weight: 652
3.37/3.49	c Elapsed CPU time: 3.44648 s	Remaining CPU time: 1796.55 s
3.37/3.50	c core #653
3.37/3.50	c Core size: 3	Core Weight: 1	Total Weight: 653
3.37/3.50	c Elapsed CPU time: 3.45447 s	Remaining CPU time: 1796.55 s
3.47/3.50	c core #654
3.47/3.50	c Core size: 3	Core Weight: 1	Total Weight: 654
3.47/3.50	c Elapsed CPU time: 3.46147 s	Remaining CPU time: 1796.54 s
3.47/3.51	c core #655
3.47/3.51	c Core size: 3	Core Weight: 1	Total Weight: 655
3.47/3.51	c Elapsed CPU time: 3.46847 s	Remaining CPU time: 1796.53 s
3.47/3.52	c core #656
3.47/3.52	c Core size: 3	Core Weight: 1	Total Weight: 656
3.47/3.52	c Elapsed CPU time: 3.47647 s	Remaining CPU time: 1796.52 s
3.47/3.53	c core #657
3.47/3.53	c Core size: 3	Core Weight: 1	Total Weight: 657
3.47/3.53	c Elapsed CPU time: 3.48347 s	Remaining CPU time: 1796.52 s
3.47/3.53	c core #658
3.47/3.53	c Core size: 3	Core Weight: 1	Total Weight: 658
3.47/3.53	c Elapsed CPU time: 3.49147 s	Remaining CPU time: 1796.51 s
3.47/3.54	c core #659
3.47/3.54	c Core size: 3	Core Weight: 1	Total Weight: 659
3.47/3.54	c Elapsed CPU time: 3.49847 s	Remaining CPU time: 1796.5 s
3.47/3.55	c core #660
3.47/3.55	c Core size: 3	Core Weight: 1	Total Weight: 660
3.47/3.55	c Elapsed CPU time: 3.50647 s	Remaining CPU time: 1796.49 s
3.47/3.56	c core #661
3.47/3.56	c Core size: 3	Core Weight: 1	Total Weight: 661
3.47/3.56	c Elapsed CPU time: 3.51347 s	Remaining CPU time: 1796.49 s
3.47/3.56	c core #662
3.47/3.56	c Core size: 3	Core Weight: 1	Total Weight: 662
3.47/3.56	c Elapsed CPU time: 3.52146 s	Remaining CPU time: 1796.48 s
3.47/3.57	c core #663
3.47/3.57	c Core size: 3	Core Weight: 1	Total Weight: 663
3.47/3.57	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 1796.47 s
3.47/3.58	c core #664
3.47/3.58	c Core size: 3	Core Weight: 1	Total Weight: 664
3.47/3.58	c Elapsed CPU time: 3.53646 s	Remaining CPU time: 1796.46 s
3.47/3.59	c core #665
3.47/3.59	c Core size: 3	Core Weight: 1	Total Weight: 665
3.47/3.59	c Elapsed CPU time: 3.54346 s	Remaining CPU time: 1796.46 s
3.47/3.59	c core #666
3.47/3.59	c Core size: 3	Core Weight: 1	Total Weight: 666
3.47/3.59	c Elapsed CPU time: 3.55046 s	Remaining CPU time: 1796.45 s
3.57/3.60	c core #667
3.57/3.60	c Core size: 3	Core Weight: 1	Total Weight: 667
3.57/3.60	c Elapsed CPU time: 3.55846 s	Remaining CPU time: 1796.44 s
3.57/3.61	c core #668
3.57/3.61	c Core size: 3	Core Weight: 1	Total Weight: 668
3.57/3.61	c Elapsed CPU time: 3.56546 s	Remaining CPU time: 1796.43 s
3.57/3.62	c core #669
3.57/3.62	c Core size: 3	Core Weight: 1	Total Weight: 669
3.57/3.62	c Elapsed CPU time: 3.57346 s	Remaining CPU time: 1796.43 s
3.57/3.62	c core #670
3.57/3.62	c Core size: 3	Core Weight: 1	Total Weight: 670
3.57/3.62	c Elapsed CPU time: 3.58046 s	Remaining CPU time: 1796.42 s
3.57/3.63	c core #671
3.57/3.63	c Core size: 3	Core Weight: 1	Total Weight: 671
3.57/3.63	c Elapsed CPU time: 3.58745 s	Remaining CPU time: 1796.41 s
3.57/3.64	c core #672
3.57/3.64	c Core size: 3	Core Weight: 1	Total Weight: 672
3.57/3.64	c Elapsed CPU time: 3.59545 s	Remaining CPU time: 1796.4 s
3.57/3.65	c core #673
3.57/3.65	c Core size: 3	Core Weight: 1	Total Weight: 673
3.57/3.65	c Elapsed CPU time: 3.60245 s	Remaining CPU time: 1796.4 s
3.57/3.65	c core #674
3.57/3.65	c Core size: 3	Core Weight: 1	Total Weight: 674
3.57/3.65	c Elapsed CPU time: 3.61045 s	Remaining CPU time: 1796.39 s
3.57/3.66	c core #675
3.57/3.66	c Core size: 3	Core Weight: 1	Total Weight: 675
3.57/3.66	c Elapsed CPU time: 3.61845 s	Remaining CPU time: 1796.38 s
3.57/3.67	c core #676
3.57/3.67	c Core size: 3	Core Weight: 1	Total Weight: 676
3.57/3.67	c Elapsed CPU time: 3.62545 s	Remaining CPU time: 1796.37 s
3.57/3.68	c core #677
3.57/3.68	c Core size: 3	Core Weight: 1	Total Weight: 677
3.57/3.68	c Elapsed CPU time: 3.63345 s	Remaining CPU time: 1796.37 s
3.57/3.68	c core #678
3.57/3.68	c Core size: 3	Core Weight: 1	Total Weight: 678
3.57/3.68	c Elapsed CPU time: 3.64045 s	Remaining CPU time: 1796.36 s
3.57/3.69	c core #679
3.57/3.69	c Core size: 3	Core Weight: 1	Total Weight: 679
3.57/3.69	c Elapsed CPU time: 3.64745 s	Remaining CPU time: 1796.35 s
3.67/3.70	c core #680
3.67/3.70	c Core size: 3	Core Weight: 1	Total Weight: 680
3.67/3.70	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 1796.35 s
3.67/3.71	c core #681
3.67/3.71	c Core size: 3	Core Weight: 1	Total Weight: 681
3.67/3.71	c Elapsed CPU time: 3.66244 s	Remaining CPU time: 1796.34 s
3.67/3.71	c core #682
3.67/3.71	c Core size: 3	Core Weight: 1	Total Weight: 682
3.67/3.71	c Elapsed CPU time: 3.66944 s	Remaining CPU time: 1796.33 s
3.67/3.72	c core #683
3.67/3.72	c Core size: 3	Core Weight: 1	Total Weight: 683
3.67/3.72	c Elapsed CPU time: 3.67644 s	Remaining CPU time: 1796.32 s
3.67/3.73	c core #684
3.67/3.73	c Core size: 3	Core Weight: 1	Total Weight: 684
3.67/3.73	c Elapsed CPU time: 3.68444 s	Remaining CPU time: 1796.32 s
3.67/3.74	c core #685
3.67/3.74	c Core size: 3	Core Weight: 1	Total Weight: 685
3.67/3.74	c Elapsed CPU time: 3.69144 s	Remaining CPU time: 1796.31 s
3.67/3.75	c core #686
3.67/3.75	c Core size: 3	Core Weight: 1	Total Weight: 686
3.67/3.75	c Elapsed CPU time: 3.69844 s	Remaining CPU time: 1796.3 s
3.67/3.75	c core #687
3.67/3.75	c Core size: 3	Core Weight: 1	Total Weight: 687
3.67/3.75	c Elapsed CPU time: 3.70644 s	Remaining CPU time: 1796.29 s
3.67/3.76	c core #688
3.67/3.76	c Core size: 3	Core Weight: 1	Total Weight: 688
3.67/3.76	c Elapsed CPU time: 3.71344 s	Remaining CPU time: 1796.29 s
3.67/3.77	c core #689
3.67/3.77	c Core size: 3	Core Weight: 1	Total Weight: 689
3.67/3.77	c Elapsed CPU time: 3.72143 s	Remaining CPU time: 1796.28 s
3.67/3.78	c core #690
3.67/3.78	c Core size: 3	Core Weight: 1	Total Weight: 690
3.67/3.78	c Elapsed CPU time: 3.72943 s	Remaining CPU time: 1796.27 s
3.67/3.78	c core #691
3.67/3.78	c Core size: 3	Core Weight: 1	Total Weight: 691
3.67/3.78	c Elapsed CPU time: 3.73543 s	Remaining CPU time: 1796.26 s
3.67/3.79	c core #692
3.67/3.79	c Core size: 3	Core Weight: 1	Total Weight: 692
3.67/3.79	c Elapsed CPU time: 3.74343 s	Remaining CPU time: 1796.26 s
3.76/3.80	c core #693
3.76/3.80	c Core size: 3	Core Weight: 1	Total Weight: 693
3.76/3.80	c Elapsed CPU time: 3.75043 s	Remaining CPU time: 1796.25 s
3.76/3.81	c core #694
3.76/3.81	c Core size: 3	Core Weight: 1	Total Weight: 694
3.76/3.81	c Elapsed CPU time: 3.75843 s	Remaining CPU time: 1796.24 s
3.76/3.81	c core #695
3.76/3.81	c Core size: 3	Core Weight: 1	Total Weight: 695
3.76/3.81	c Elapsed CPU time: 3.76643 s	Remaining CPU time: 1796.23 s
3.76/3.82	c core #696
3.76/3.82	c Core size: 3	Core Weight: 1	Total Weight: 696
3.76/3.82	c Elapsed CPU time: 3.77443 s	Remaining CPU time: 1796.23 s
3.76/3.83	c core #697
3.76/3.83	c Core size: 3	Core Weight: 1	Total Weight: 697
3.76/3.83	c Elapsed CPU time: 3.78242 s	Remaining CPU time: 1796.22 s
3.76/3.84	c core #698
3.76/3.84	c Core size: 3	Core Weight: 1	Total Weight: 698
3.76/3.84	c Elapsed CPU time: 3.78842 s	Remaining CPU time: 1796.21 s
3.76/3.84	c core #699
3.76/3.84	c Core size: 3	Core Weight: 1	Total Weight: 699
3.76/3.85	c Elapsed CPU time: 3.79642 s	Remaining CPU time: 1796.2 s
3.76/3.85	c core #700
3.76/3.85	c Core size: 3	Core Weight: 1	Total Weight: 700
3.76/3.85	c Elapsed CPU time: 3.80442 s	Remaining CPU time: 1796.2 s
3.76/3.86	c core #701
3.76/3.86	c Core size: 3	Core Weight: 1	Total Weight: 701
3.76/3.86	c Elapsed CPU time: 3.81142 s	Remaining CPU time: 1796.19 s
3.76/3.87	c core #702
3.76/3.87	c Core size: 3	Core Weight: 1	Total Weight: 702
3.76/3.87	c Elapsed CPU time: 3.81942 s	Remaining CPU time: 1796.18 s
3.76/3.88	c core #703
3.76/3.88	c Core size: 3	Core Weight: 1	Total Weight: 703
3.76/3.88	c Elapsed CPU time: 3.82742 s	Remaining CPU time: 1796.17 s
3.76/3.88	c core #704
3.76/3.88	c Core size: 3	Core Weight: 1	Total Weight: 704
3.76/3.88	c Elapsed CPU time: 3.83542 s	Remaining CPU time: 1796.16 s
3.76/3.89	c core #705
3.76/3.89	c Core size: 3	Core Weight: 1	Total Weight: 705
3.76/3.89	c Elapsed CPU time: 3.84241 s	Remaining CPU time: 1796.16 s
3.86/3.90	c core #706
3.86/3.90	c Core size: 3	Core Weight: 1	Total Weight: 706
3.86/3.90	c Elapsed CPU time: 3.85041 s	Remaining CPU time: 1796.15 s
3.86/3.91	c core #707
3.86/3.91	c Core size: 3	Core Weight: 1	Total Weight: 707
3.86/3.91	c Elapsed CPU time: 3.85741 s	Remaining CPU time: 1796.14 s
3.86/3.92	c core #708
3.86/3.92	c Core size: 3	Core Weight: 1	Total Weight: 708
3.86/3.92	c Elapsed CPU time: 3.86541 s	Remaining CPU time: 1796.13 s
3.86/3.92	c core #709
3.86/3.92	c Core size: 3	Core Weight: 1	Total Weight: 709
3.86/3.92	c Elapsed CPU time: 3.87341 s	Remaining CPU time: 1796.13 s
3.86/3.93	c core #710
3.86/3.93	c Core size: 3	Core Weight: 1	Total Weight: 710
3.86/3.93	c Elapsed CPU time: 3.88141 s	Remaining CPU time: 1796.12 s
3.86/3.94	c core #711
3.86/3.94	c Core size: 3	Core Weight: 1	Total Weight: 711
3.86/3.94	c Elapsed CPU time: 3.88941 s	Remaining CPU time: 1796.11 s
3.86/3.95	c core #712
3.86/3.95	c Core size: 3	Core Weight: 1	Total Weight: 712
3.86/3.95	c Elapsed CPU time: 3.89741 s	Remaining CPU time: 1796.1 s
3.86/3.95	c core #713
3.86/3.95	c Core size: 3	Core Weight: 1	Total Weight: 713
3.86/3.95	c Elapsed CPU time: 3.90541 s	Remaining CPU time: 1796.09 s
3.86/3.96	c core #714
3.86/3.96	c Core size: 3	Core Weight: 1	Total Weight: 714
3.86/3.96	c Elapsed CPU time: 3.91241 s	Remaining CPU time: 1796.09 s
3.86/3.97	c core #715
3.86/3.97	c Core size: 3	Core Weight: 1	Total Weight: 715
3.86/3.97	c Elapsed CPU time: 3.9204 s	Remaining CPU time: 1796.08 s
3.86/3.98	c core #716
3.86/3.98	c Core size: 3	Core Weight: 1	Total Weight: 716
3.86/3.98	c Elapsed CPU time: 3.9284 s	Remaining CPU time: 1796.07 s
3.86/3.99	c core #717
3.86/3.99	c Core size: 3	Core Weight: 1	Total Weight: 717
3.86/3.99	c Elapsed CPU time: 3.9364 s	Remaining CPU time: 1796.06 s
3.86/3.99	c core #718
3.86/3.99	c Core size: 3	Core Weight: 1	Total Weight: 718
3.86/3.99	c Elapsed CPU time: 3.9444 s	Remaining CPU time: 1796.06 s
3.96/4.00	c core #719
3.96/4.00	c Core size: 3	Core Weight: 1	Total Weight: 719
3.96/4.00	c Elapsed CPU time: 3.9524 s	Remaining CPU time: 1796.05 s
3.96/4.01	c core #720
3.96/4.01	c Core size: 3	Core Weight: 1	Total Weight: 720
3.96/4.01	c Elapsed CPU time: 3.9604 s	Remaining CPU time: 1796.04 s
3.96/4.02	c core #721
3.96/4.02	c Core size: 3	Core Weight: 1	Total Weight: 721
3.96/4.02	c Elapsed CPU time: 3.9684 s	Remaining CPU time: 1796.03 s
3.96/4.03	c core #722
3.96/4.03	c Core size: 3	Core Weight: 1	Total Weight: 722
3.96/4.03	c Elapsed CPU time: 3.97539 s	Remaining CPU time: 1796.02 s
3.96/4.03	c core #723
3.96/4.03	c Core size: 3	Core Weight: 1	Total Weight: 723
3.96/4.03	c Elapsed CPU time: 3.98239 s	Remaining CPU time: 1796.02 s
3.96/4.04	c core #724
3.96/4.04	c Core size: 3	Core Weight: 1	Total Weight: 724
3.96/4.04	c Elapsed CPU time: 3.99039 s	Remaining CPU time: 1796.01 s
3.96/4.05	c core #725
3.96/4.05	c Core size: 3	Core Weight: 1	Total Weight: 725
3.96/4.05	c Elapsed CPU time: 3.99739 s	Remaining CPU time: 1796 s
3.96/4.06	c core #726
3.96/4.06	c Core size: 3	Core Weight: 1	Total Weight: 726
3.96/4.06	c Elapsed CPU time: 4.00439 s	Remaining CPU time: 1796 s
3.96/4.06	c core #727
3.96/4.06	c Core size: 3	Core Weight: 1	Total Weight: 727
3.96/4.06	c Elapsed CPU time: 4.01139 s	Remaining CPU time: 1795.99 s
3.96/4.07	c core #728
3.96/4.07	c Core size: 3	Core Weight: 1	Total Weight: 728
3.96/4.07	c Elapsed CPU time: 4.01839 s	Remaining CPU time: 1795.98 s
3.96/4.08	c core #729
3.96/4.08	c Core size: 3	Core Weight: 1	Total Weight: 729
3.96/4.08	c Elapsed CPU time: 4.02639 s	Remaining CPU time: 1795.97 s
3.96/4.09	c core #730
3.96/4.09	c Core size: 3	Core Weight: 1	Total Weight: 730
3.96/4.09	c Elapsed CPU time: 4.03439 s	Remaining CPU time: 1795.97 s
4.06/4.10	c core #731
4.06/4.10	c Core size: 3	Core Weight: 1	Total Weight: 731
4.06/4.10	c Elapsed CPU time: 4.04338 s	Remaining CPU time: 1795.96 s
4.06/4.10	c core #732
4.06/4.10	c Core size: 3	Core Weight: 1	Total Weight: 732
4.06/4.10	c Elapsed CPU time: 4.05038 s	Remaining CPU time: 1795.95 s
4.06/4.11	c core #733
4.06/4.11	c Core size: 3	Core Weight: 1	Total Weight: 733
4.06/4.11	c Elapsed CPU time: 4.05738 s	Remaining CPU time: 1795.94 s
4.06/4.12	c core #734
4.06/4.12	c Core size: 3	Core Weight: 1	Total Weight: 734
4.06/4.12	c Elapsed CPU time: 4.06438 s	Remaining CPU time: 1795.94 s
4.06/4.13	c core #735
4.06/4.13	c Core size: 3	Core Weight: 1	Total Weight: 735
4.06/4.13	c Elapsed CPU time: 4.07138 s	Remaining CPU time: 1795.93 s
4.06/4.14	c core #736
4.06/4.14	c Core size: 3	Core Weight: 1	Total Weight: 736
4.06/4.14	c Elapsed CPU time: 4.07838 s	Remaining CPU time: 1795.92 s
4.06/4.14	c core #737
4.06/4.14	c Core size: 3	Core Weight: 1	Total Weight: 737
4.06/4.14	c Elapsed CPU time: 4.08538 s	Remaining CPU time: 1795.91 s
4.06/4.15	c core #738
4.06/4.15	c Core size: 3	Core Weight: 1	Total Weight: 738
4.06/4.15	c Elapsed CPU time: 4.09338 s	Remaining CPU time: 1795.91 s
4.06/4.16	c core #739
4.06/4.16	c Core size: 3	Core Weight: 1	Total Weight: 739
4.06/4.16	c Elapsed CPU time: 4.10038 s	Remaining CPU time: 1795.9 s
4.06/4.17	c core #740
4.06/4.17	c Core size: 3	Core Weight: 1	Total Weight: 740
4.06/4.17	c Elapsed CPU time: 4.10837 s	Remaining CPU time: 1795.89 s
4.06/4.18	c core #741
4.06/4.18	c Core size: 3	Core Weight: 1	Total Weight: 741
4.06/4.18	c Elapsed CPU time: 4.11637 s	Remaining CPU time: 1795.88 s
4.06/4.19	c core #742
4.06/4.19	c Core size: 3	Core Weight: 1	Total Weight: 742
4.06/4.19	c Elapsed CPU time: 4.12437 s	Remaining CPU time: 1795.88 s
4.06/4.19	c core #743
4.06/4.19	c Core size: 3	Core Weight: 1	Total Weight: 743
4.06/4.19	c Elapsed CPU time: 4.13237 s	Remaining CPU time: 1795.87 s
4.16/4.20	c core #744
4.16/4.20	c Core size: 3	Core Weight: 1	Total Weight: 744
4.16/4.20	c Elapsed CPU time: 4.13937 s	Remaining CPU time: 1795.86 s
4.16/4.21	c core #745
4.16/4.21	c Core size: 3	Core Weight: 1	Total Weight: 745
4.16/4.21	c Elapsed CPU time: 4.14837 s	Remaining CPU time: 1795.85 s
4.16/4.22	c core #746
4.16/4.22	c Core size: 3	Core Weight: 1	Total Weight: 746
4.16/4.22	c Elapsed CPU time: 4.15637 s	Remaining CPU time: 1795.84 s
4.16/4.23	c core #747
4.16/4.23	c Core size: 3	Core Weight: 1	Total Weight: 747
4.16/4.23	c Elapsed CPU time: 4.16437 s	Remaining CPU time: 1795.84 s
4.16/4.23	c core #748
4.16/4.23	c Core size: 3	Core Weight: 1	Total Weight: 748
4.16/4.23	c Elapsed CPU time: 4.17237 s	Remaining CPU time: 1795.83 s
4.16/4.24	c core #749
4.16/4.24	c Core size: 3	Core Weight: 1	Total Weight: 749
4.16/4.24	c Elapsed CPU time: 4.18136 s	Remaining CPU time: 1795.82 s
4.16/4.25	c core #750
4.16/4.25	c Core size: 3	Core Weight: 1	Total Weight: 750
4.16/4.25	c Elapsed CPU time: 4.18936 s	Remaining CPU time: 1795.81 s
4.16/4.26	c core #751
4.16/4.26	c Core size: 3	Core Weight: 1	Total Weight: 751
4.16/4.26	c Elapsed CPU time: 4.19736 s	Remaining CPU time: 1795.8 s
4.16/4.27	c core #752
4.16/4.27	c Core size: 3	Core Weight: 1	Total Weight: 752
4.16/4.27	c Elapsed CPU time: 4.20536 s	Remaining CPU time: 1795.79 s
4.16/4.28	c core #753
4.16/4.28	c Core size: 3	Core Weight: 1	Total Weight: 753
4.16/4.28	c Elapsed CPU time: 4.21336 s	Remaining CPU time: 1795.79 s
4.16/4.28	c core #754
4.16/4.28	c Core size: 3	Core Weight: 1	Total Weight: 754
4.16/4.28	c Elapsed CPU time: 4.22136 s	Remaining CPU time: 1795.78 s
4.16/4.29	c core #755
4.16/4.29	c Core size: 3	Core Weight: 1	Total Weight: 755
4.16/4.29	c Elapsed CPU time: 4.22936 s	Remaining CPU time: 1795.77 s
4.16/4.30	c core #756
4.16/4.30	c Core size: 3	Core Weight: 1	Total Weight: 756
4.16/4.30	c Elapsed CPU time: 4.23735 s	Remaining CPU time: 1795.76 s
4.26/4.31	c core #757
4.26/4.31	c Core size: 3	Core Weight: 1	Total Weight: 757
4.26/4.31	c Elapsed CPU time: 4.24535 s	Remaining CPU time: 1795.75 s
4.26/4.32	c core #758
4.26/4.32	c Core size: 3	Core Weight: 1	Total Weight: 758
4.26/4.32	c Elapsed CPU time: 4.25335 s	Remaining CPU time: 1795.75 s
4.26/4.32	c core #759
4.26/4.32	c Core size: 3	Core Weight: 1	Total Weight: 759
4.26/4.32	c Elapsed CPU time: 4.26135 s	Remaining CPU time: 1795.74 s
4.26/4.33	c core #760
4.26/4.33	c Core size: 3	Core Weight: 1	Total Weight: 760
4.26/4.33	c Elapsed CPU time: 4.27035 s	Remaining CPU time: 1795.73 s
4.26/4.34	c core #761
4.26/4.34	c Core size: 3	Core Weight: 1	Total Weight: 761
4.26/4.34	c Elapsed CPU time: 4.27835 s	Remaining CPU time: 1795.72 s
4.26/4.35	c core #762
4.26/4.35	c Core size: 3	Core Weight: 1	Total Weight: 762
4.26/4.35	c Elapsed CPU time: 4.28535 s	Remaining CPU time: 1795.71 s
4.26/4.36	c core #763
4.26/4.36	c Core size: 3	Core Weight: 1	Total Weight: 763
4.26/4.36	c Elapsed CPU time: 4.29335 s	Remaining CPU time: 1795.71 s
4.26/4.37	c core #764
4.26/4.37	c Core size: 3	Core Weight: 1	Total Weight: 764
4.26/4.37	c Elapsed CPU time: 4.30135 s	Remaining CPU time: 1795.7 s
4.26/4.37	c core #765
4.26/4.37	c Core size: 3	Core Weight: 1	Total Weight: 765
4.26/4.37	c Elapsed CPU time: 4.30934 s	Remaining CPU time: 1795.69 s
4.26/4.38	c core #766
4.26/4.38	c Core size: 3	Core Weight: 1	Total Weight: 766
4.26/4.38	c Elapsed CPU time: 4.31734 s	Remaining CPU time: 1795.68 s
4.26/4.39	c core #767
4.26/4.39	c Core size: 3	Core Weight: 1	Total Weight: 767
4.26/4.39	c Elapsed CPU time: 4.32434 s	Remaining CPU time: 1795.68 s
4.26/4.40	c core #768
4.26/4.40	c Core size: 3	Core Weight: 1	Total Weight: 768
4.26/4.40	c Elapsed CPU time: 4.33234 s	Remaining CPU time: 1795.67 s
4.36/4.41	c core #769
4.36/4.41	c Core size: 3	Core Weight: 1	Total Weight: 769
4.36/4.41	c Elapsed CPU time: 4.33934 s	Remaining CPU time: 1795.66 s
4.36/4.41	c core #770
4.36/4.41	c Core size: 3	Core Weight: 1	Total Weight: 770
4.36/4.41	c Elapsed CPU time: 4.34734 s	Remaining CPU time: 1795.65 s
4.36/4.42	c core #771
4.36/4.42	c Core size: 3	Core Weight: 1	Total Weight: 771
4.36/4.42	c Elapsed CPU time: 4.35634 s	Remaining CPU time: 1795.64 s
4.36/4.43	c core #772
4.36/4.43	c Core size: 3	Core Weight: 1	Total Weight: 772
4.36/4.43	c Elapsed CPU time: 4.36434 s	Remaining CPU time: 1795.64 s
4.36/4.44	c core #773
4.36/4.44	c Core size: 3	Core Weight: 1	Total Weight: 773
4.36/4.44	c Elapsed CPU time: 4.37233 s	Remaining CPU time: 1795.63 s
4.36/4.45	c core #774
4.36/4.45	c Core size: 3	Core Weight: 1	Total Weight: 774
4.36/4.45	c Elapsed CPU time: 4.38133 s	Remaining CPU time: 1795.62 s
4.36/4.46	c core #775
4.36/4.46	c Core size: 3	Core Weight: 1	Total Weight: 775
4.36/4.46	c Elapsed CPU time: 4.38933 s	Remaining CPU time: 1795.61 s
4.36/4.46	c core #776
4.36/4.46	c Core size: 3	Core Weight: 1	Total Weight: 776
4.36/4.46	c Elapsed CPU time: 4.39733 s	Remaining CPU time: 1795.6 s
4.36/4.47	c core #777
4.36/4.47	c Core size: 3	Core Weight: 1	Total Weight: 777
4.36/4.47	c Elapsed CPU time: 4.40533 s	Remaining CPU time: 1795.59 s
4.36/4.48	c core #778
4.36/4.48	c Core size: 3	Core Weight: 1	Total Weight: 778
4.36/4.48	c Elapsed CPU time: 4.41333 s	Remaining CPU time: 1795.59 s
4.36/4.49	c core #779
4.36/4.49	c Core size: 3	Core Weight: 1	Total Weight: 779
4.36/4.49	c Elapsed CPU time: 4.42133 s	Remaining CPU time: 1795.58 s
4.45/4.50	c core #780
4.45/4.50	c Core size: 3	Core Weight: 1	Total Weight: 780
4.45/4.50	c Elapsed CPU time: 4.42933 s	Remaining CPU time: 1795.57 s
4.45/4.51	c core #781
4.45/4.51	c Core size: 3	Core Weight: 1	Total Weight: 781
4.45/4.51	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 1795.56 s
4.45/4.51	c core #782
4.45/4.51	c Core size: 3	Core Weight: 1	Total Weight: 782
4.45/4.51	c Elapsed CPU time: 4.44532 s	Remaining CPU time: 1795.55 s
4.45/4.52	c core #783
4.45/4.52	c Core size: 3	Core Weight: 1	Total Weight: 783
4.45/4.52	c Elapsed CPU time: 4.45232 s	Remaining CPU time: 1795.55 s
4.45/4.53	c core #784
4.45/4.53	c Core size: 3	Core Weight: 1	Total Weight: 784
4.45/4.53	c Elapsed CPU time: 4.46032 s	Remaining CPU time: 1795.54 s
4.45/4.54	c core #785
4.45/4.54	c Core size: 3	Core Weight: 1	Total Weight: 785
4.45/4.54	c Elapsed CPU time: 4.46932 s	Remaining CPU time: 1795.53 s
4.45/4.55	c core #786
4.45/4.55	c Core size: 3	Core Weight: 1	Total Weight: 786
4.45/4.55	c Elapsed CPU time: 4.47732 s	Remaining CPU time: 1795.52 s
4.45/4.56	c core #787
4.45/4.56	c Core size: 3	Core Weight: 1	Total Weight: 787
4.45/4.56	c Elapsed CPU time: 4.48632 s	Remaining CPU time: 1795.51 s
4.45/4.57	c core #788
4.45/4.57	c Core size: 3	Core Weight: 1	Total Weight: 788
4.45/4.57	c Elapsed CPU time: 4.49432 s	Remaining CPU time: 1795.51 s
4.45/4.57	c core #789
4.45/4.57	c Core size: 3	Core Weight: 1	Total Weight: 789
4.45/4.57	c Elapsed CPU time: 4.50331 s	Remaining CPU time: 1795.5 s
4.45/4.58	c core #790
4.45/4.58	c Core size: 3	Core Weight: 1	Total Weight: 790
4.45/4.58	c Elapsed CPU time: 4.51131 s	Remaining CPU time: 1795.49 s
4.45/4.59	c core #791
4.45/4.59	c Core size: 3	Core Weight: 1	Total Weight: 791
4.45/4.59	c Elapsed CPU time: 4.52031 s	Remaining CPU time: 1795.48 s
4.55/4.60	c core #792
4.55/4.60	c Core size: 3	Core Weight: 1	Total Weight: 792
4.55/4.60	c Elapsed CPU time: 4.52831 s	Remaining CPU time: 1795.47 s
4.55/4.61	c core #793
4.55/4.61	c Core size: 3	Core Weight: 1	Total Weight: 793
4.55/4.61	c Elapsed CPU time: 4.53731 s	Remaining CPU time: 1795.46 s
4.55/4.62	c core #794
4.55/4.62	c Core size: 3	Core Weight: 1	Total Weight: 794
4.55/4.62	c Elapsed CPU time: 4.54431 s	Remaining CPU time: 1795.46 s
4.55/4.62	c core #795
4.55/4.62	c Core size: 3	Core Weight: 1	Total Weight: 795
4.55/4.62	c Elapsed CPU time: 4.55231 s	Remaining CPU time: 1795.45 s
4.55/4.63	c core #796
4.55/4.63	c Core size: 3	Core Weight: 1	Total Weight: 796
4.55/4.63	c Elapsed CPU time: 4.56031 s	Remaining CPU time: 1795.44 s
4.55/4.64	c core #797
4.55/4.64	c Core size: 3	Core Weight: 1	Total Weight: 797
4.55/4.64	c Elapsed CPU time: 4.5683 s	Remaining CPU time: 1795.43 s
4.55/4.65	c core #798
4.55/4.65	c Core size: 3	Core Weight: 1	Total Weight: 798
4.55/4.65	c Elapsed CPU time: 4.5763 s	Remaining CPU time: 1795.42 s
4.55/4.66	c core #799
4.55/4.66	c Core size: 3	Core Weight: 1	Total Weight: 799
4.55/4.66	c Elapsed CPU time: 4.5853 s	Remaining CPU time: 1795.41 s
4.55/4.67	c core #800
4.55/4.67	c Core size: 3	Core Weight: 1	Total Weight: 800
4.55/4.67	c Elapsed CPU time: 4.5933 s	Remaining CPU time: 1795.41 s
4.55/4.68	c core #801
4.55/4.68	c Core size: 3	Core Weight: 1	Total Weight: 801
4.55/4.68	c Elapsed CPU time: 4.6023 s	Remaining CPU time: 1795.4 s
4.55/4.68	c core #802
4.55/4.68	c Core size: 3	Core Weight: 1	Total Weight: 802
4.55/4.68	c Elapsed CPU time: 4.6103 s	Remaining CPU time: 1795.39 s
4.55/4.69	c core #803
4.55/4.69	c Core size: 3	Core Weight: 1	Total Weight: 803
4.55/4.69	c Elapsed CPU time: 4.6193 s	Remaining CPU time: 1795.38 s
4.65/4.70	c core #804
4.65/4.70	c Core size: 3	Core Weight: 1	Total Weight: 804
4.65/4.70	c Elapsed CPU time: 4.6273 s	Remaining CPU time: 1795.37 s
4.65/4.71	c core #805
4.65/4.71	c Core size: 3	Core Weight: 1	Total Weight: 805
4.65/4.71	c Elapsed CPU time: 4.6363 s	Remaining CPU time: 1795.36 s
4.65/4.72	c core #806
4.65/4.72	c Core size: 3	Core Weight: 1	Total Weight: 806
4.65/4.72	c Elapsed CPU time: 4.64329 s	Remaining CPU time: 1795.36 s
4.65/4.73	c core #807
4.65/4.73	c Core size: 3	Core Weight: 1	Total Weight: 807
4.65/4.73	c Elapsed CPU time: 4.65229 s	Remaining CPU time: 1795.35 s
4.65/4.74	c core #808
4.65/4.74	c Core size: 3	Core Weight: 1	Total Weight: 808
4.65/4.74	c Elapsed CPU time: 4.66029 s	Remaining CPU time: 1795.34 s
4.65/4.74	c core #809
4.65/4.74	c Core size: 3	Core Weight: 1	Total Weight: 809
4.65/4.74	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 1795.33 s
4.65/4.75	c core #810
4.65/4.75	c Core size: 7	Core Weight: 1	Total Weight: 810
4.65/4.75	c Elapsed CPU time: 4.67729 s	Remaining CPU time: 1795.32 s
4.65/4.76	c core #811
4.65/4.76	c Core size: 7	Core Weight: 1	Total Weight: 811
4.65/4.76	c Elapsed CPU time: 4.68629 s	Remaining CPU time: 1795.31 s
4.65/4.77	c core #812
4.65/4.77	c Core size: 7	Core Weight: 1	Total Weight: 812
4.65/4.77	c Elapsed CPU time: 4.69429 s	Remaining CPU time: 1795.31 s
4.65/4.78	c core #813
4.65/4.78	c Core size: 7	Core Weight: 1	Total Weight: 813
4.65/4.78	c Elapsed CPU time: 4.70228 s	Remaining CPU time: 1795.3 s
4.65/4.79	c core #814
4.65/4.79	c Core size: 7	Core Weight: 1	Total Weight: 814
4.65/4.79	c Elapsed CPU time: 4.71128 s	Remaining CPU time: 1795.29 s
4.65/4.80	c core #815
4.65/4.80	c Core size: 7	Core Weight: 1	Total Weight: 815
4.65/4.80	c Elapsed CPU time: 4.72028 s	Remaining CPU time: 1795.28 s
4.76/4.80	c core #816
4.76/4.80	c Core size: 7	Core Weight: 1	Total Weight: 816
4.76/4.80	c Elapsed CPU time: 4.72828 s	Remaining CPU time: 1795.27 s
4.76/4.81	c core #817
4.76/4.81	c Core size: 7	Core Weight: 1	Total Weight: 817
4.76/4.81	c Elapsed CPU time: 4.73428 s	Remaining CPU time: 1795.27 s
4.76/4.82	c core #818
4.76/4.82	c Core size: 7	Core Weight: 1	Total Weight: 818
4.76/4.82	c Elapsed CPU time: 4.74328 s	Remaining CPU time: 1795.26 s
4.76/4.83	c core #819
4.76/4.83	c Core size: 7	Core Weight: 1	Total Weight: 819
4.76/4.83	c Elapsed CPU time: 4.75228 s	Remaining CPU time: 1795.25 s
4.76/4.84	c core #820
4.76/4.84	c Core size: 7	Core Weight: 1	Total Weight: 820
4.76/4.84	c Elapsed CPU time: 4.76128 s	Remaining CPU time: 1795.24 s
4.76/4.85	c core #821
4.76/4.85	c Core size: 7	Core Weight: 1	Total Weight: 821
4.76/4.85	c Elapsed CPU time: 4.77027 s	Remaining CPU time: 1795.23 s
4.76/4.86	c core #822
4.76/4.86	c Core size: 11	Core Weight: 1	Total Weight: 822
4.76/4.86	c Elapsed CPU time: 4.77827 s	Remaining CPU time: 1795.22 s
4.76/4.87	c core #823
4.76/4.87	c Core size: 7	Core Weight: 1	Total Weight: 823
4.76/4.87	c Elapsed CPU time: 4.78627 s	Remaining CPU time: 1795.21 s
4.76/4.88	c core #824
4.76/4.88	c Core size: 7	Core Weight: 1	Total Weight: 824
4.76/4.88	c Elapsed CPU time: 4.79427 s	Remaining CPU time: 1795.21 s
4.76/4.88	c core #825
4.76/4.88	c Core size: 7	Core Weight: 1	Total Weight: 825
4.76/4.88	c Elapsed CPU time: 4.80327 s	Remaining CPU time: 1795.2 s
4.76/4.89	c core #826
4.76/4.89	c Core size: 7	Core Weight: 1	Total Weight: 826
4.76/4.89	c Elapsed CPU time: 4.81127 s	Remaining CPU time: 1795.19 s
4.85/4.90	c core #827
4.85/4.90	c Core size: 7	Core Weight: 1	Total Weight: 827
4.85/4.90	c Elapsed CPU time: 4.82027 s	Remaining CPU time: 1795.18 s
4.85/4.91	c core #828
4.85/4.91	c Core size: 7	Core Weight: 1	Total Weight: 828
4.85/4.91	c Elapsed CPU time: 4.82927 s	Remaining CPU time: 1795.17 s
4.85/4.92	c core #829
4.85/4.92	c Core size: 7	Core Weight: 1	Total Weight: 829
4.85/4.92	c Elapsed CPU time: 4.83826 s	Remaining CPU time: 1795.16 s
4.85/4.93	c core #830
4.85/4.93	c Core size: 11	Core Weight: 1	Total Weight: 830
4.85/4.93	c Elapsed CPU time: 4.84726 s	Remaining CPU time: 1795.15 s
4.85/4.94	c core #831
4.85/4.94	c Core size: 11	Core Weight: 1	Total Weight: 831
4.85/4.94	c Elapsed CPU time: 4.85526 s	Remaining CPU time: 1795.14 s
4.85/4.95	c core #832
4.85/4.95	c Core size: 7	Core Weight: 1	Total Weight: 832
4.85/4.95	c Elapsed CPU time: 4.86426 s	Remaining CPU time: 1795.14 s
4.85/4.96	c core #833
4.85/4.96	c Core size: 7	Core Weight: 1	Total Weight: 833
4.85/4.96	c Elapsed CPU time: 4.87326 s	Remaining CPU time: 1795.13 s
4.85/4.97	c core #834
4.85/4.97	c Core size: 7	Core Weight: 1	Total Weight: 834
4.85/4.97	c Elapsed CPU time: 4.88226 s	Remaining CPU time: 1795.12 s
4.85/4.98	c core #835
4.85/4.98	c Core size: 7	Core Weight: 1	Total Weight: 835
4.85/4.98	c Elapsed CPU time: 4.89126 s	Remaining CPU time: 1795.11 s
4.85/4.99	c core #836
4.85/4.99	c Core size: 7	Core Weight: 1	Total Weight: 836
4.85/4.99	c Elapsed CPU time: 4.90125 s	Remaining CPU time: 1795.1 s
4.85/5.00	c core #837
4.85/5.00	c Core size: 7	Core Weight: 1	Total Weight: 837
4.85/5.00	c Elapsed CPU time: 4.91025 s	Remaining CPU time: 1795.09 s
4.95/5.00	c core #838
4.95/5.00	c Core size: 7	Core Weight: 1	Total Weight: 838
4.95/5.00	c Elapsed CPU time: 4.91925 s	Remaining CPU time: 1795.08 s
4.95/5.01	c core #839
4.95/5.01	c Core size: 7	Core Weight: 1	Total Weight: 839
4.95/5.01	c Elapsed CPU time: 4.92825 s	Remaining CPU time: 1795.07 s
4.95/5.02	c core #840
4.95/5.02	c Core size: 7	Core Weight: 1	Total Weight: 840
4.95/5.02	c Elapsed CPU time: 4.93725 s	Remaining CPU time: 1795.06 s
4.95/5.03	c core #841
4.95/5.03	c Core size: 11	Core Weight: 1	Total Weight: 841
4.95/5.03	c Elapsed CPU time: 4.94625 s	Remaining CPU time: 1795.05 s
4.95/5.04	c core #842
4.95/5.04	c Core size: 11	Core Weight: 1	Total Weight: 842
4.95/5.04	c Elapsed CPU time: 4.95525 s	Remaining CPU time: 1795.04 s
4.95/5.05	c core #843
4.95/5.05	c Core size: 7	Core Weight: 1	Total Weight: 843
4.95/5.05	c Elapsed CPU time: 4.96324 s	Remaining CPU time: 1795.04 s
4.95/5.06	c core #844
4.95/5.06	c Core size: 11	Core Weight: 1	Total Weight: 844
4.95/5.06	c Elapsed CPU time: 4.97324 s	Remaining CPU time: 1795.03 s
4.95/5.07	c core #845
4.95/5.07	c Core size: 11	Core Weight: 1	Total Weight: 845
4.95/5.07	c Elapsed CPU time: 4.98224 s	Remaining CPU time: 1795.02 s
4.95/5.08	c core #846
4.95/5.08	c Core size: 7	Core Weight: 1	Total Weight: 846
4.95/5.08	c Elapsed CPU time: 4.99124 s	Remaining CPU time: 1795.01 s
4.95/5.09	c core #847
4.95/5.09	c Core size: 11	Core Weight: 1	Total Weight: 847
4.95/5.09	c Elapsed CPU time: 5.00024 s	Remaining CPU time: 1795 s
5.04/5.10	c core #848
5.04/5.10	c Core size: 7	Core Weight: 1	Total Weight: 848
5.04/5.10	c Elapsed CPU time: 5.00924 s	Remaining CPU time: 1794.99 s
5.04/5.11	c core #849
5.04/5.11	c Core size: 7	Core Weight: 1	Total Weight: 849
5.04/5.11	c Elapsed CPU time: 5.01824 s	Remaining CPU time: 1794.98 s
5.04/5.12	c core #850
5.04/5.12	c Core size: 11	Core Weight: 1	Total Weight: 850
5.04/5.12	c Elapsed CPU time: 5.02724 s	Remaining CPU time: 1794.97 s
5.04/5.13	c core #851
5.04/5.13	c Core size: 7	Core Weight: 1	Total Weight: 851
5.04/5.13	c Elapsed CPU time: 5.03623 s	Remaining CPU time: 1794.96 s
5.04/5.13	c core #852
5.04/5.13	c Core size: 7	Core Weight: 1	Total Weight: 852
5.04/5.13	c Elapsed CPU time: 5.04523 s	Remaining CPU time: 1794.95 s
5.04/5.14	c core #853
5.04/5.14	c Core size: 7	Core Weight: 1	Total Weight: 853
5.04/5.14	c Elapsed CPU time: 5.05423 s	Remaining CPU time: 1794.95 s
5.04/5.15	c core #854
5.04/5.15	c Core size: 11	Core Weight: 1	Total Weight: 854
5.04/5.15	c Elapsed CPU time: 5.06323 s	Remaining CPU time: 1794.94 s
5.04/5.16	c core #855
5.04/5.16	c Core size: 7	Core Weight: 1	Total Weight: 855
5.04/5.16	c Elapsed CPU time: 5.07223 s	Remaining CPU time: 1794.93 s
5.04/5.17	c core #856
5.04/5.17	c Core size: 11	Core Weight: 1	Total Weight: 856
5.04/5.17	c Elapsed CPU time: 5.08123 s	Remaining CPU time: 1794.92 s
5.04/5.18	c core #857
5.04/5.18	c Core size: 7	Core Weight: 1	Total Weight: 857
5.04/5.18	c Elapsed CPU time: 5.09023 s	Remaining CPU time: 1794.91 s
5.04/5.19	c core #858
5.04/5.19	c Core size: 7	Core Weight: 1	Total Weight: 858
5.04/5.19	c Elapsed CPU time: 5.10022 s	Remaining CPU time: 1794.9 s
5.14/5.20	c core #859
5.14/5.20	c Core size: 18	Core Weight: 1	Total Weight: 859
5.14/5.20	c Elapsed CPU time: 5.11022 s	Remaining CPU time: 1794.89 s
5.14/5.21	c core #860
5.14/5.21	c Core size: 7	Core Weight: 1	Total Weight: 860
5.14/5.21	c Elapsed CPU time: 5.12022 s	Remaining CPU time: 1794.88 s
5.14/5.22	c core #861
5.14/5.22	c Core size: 7	Core Weight: 1	Total Weight: 861
5.14/5.22	c Elapsed CPU time: 5.13022 s	Remaining CPU time: 1794.87 s
5.14/5.23	c core #862
5.14/5.23	c Core size: 7	Core Weight: 1	Total Weight: 862
5.14/5.23	c Elapsed CPU time: 5.13922 s	Remaining CPU time: 1794.86 s
5.14/5.24	c core #863
5.14/5.24	c Core size: 15	Core Weight: 1	Total Weight: 863
5.14/5.24	c Elapsed CPU time: 5.14922 s	Remaining CPU time: 1794.85 s
5.14/5.25	c core #864
5.14/5.25	c Core size: 11	Core Weight: 1	Total Weight: 864
5.14/5.25	c Elapsed CPU time: 5.15822 s	Remaining CPU time: 1794.84 s
5.14/5.26	c core #865
5.14/5.26	c Core size: 11	Core Weight: 1	Total Weight: 865
5.14/5.26	c Elapsed CPU time: 5.16721 s	Remaining CPU time: 1794.83 s
5.14/5.27	c core #866
5.14/5.27	c Core size: 7	Core Weight: 1	Total Weight: 866
5.14/5.27	c Elapsed CPU time: 5.17721 s	Remaining CPU time: 1794.82 s
5.14/5.28	c core #867
5.14/5.28	c Core size: 7	Core Weight: 1	Total Weight: 867
5.14/5.28	c Elapsed CPU time: 5.18721 s	Remaining CPU time: 1794.81 s
5.14/5.29	c core #868
5.14/5.29	c Core size: 7	Core Weight: 1	Total Weight: 868
5.14/5.29	c Elapsed CPU time: 5.19721 s	Remaining CPU time: 1794.8 s
5.24/5.30	c core #869
5.24/5.30	c Core size: 7	Core Weight: 1	Total Weight: 869
5.24/5.30	c Elapsed CPU time: 5.20621 s	Remaining CPU time: 1794.79 s
5.24/5.31	c core #870
5.24/5.31	c Core size: 7	Core Weight: 1	Total Weight: 870
5.24/5.31	c Elapsed CPU time: 5.21521 s	Remaining CPU time: 1794.78 s
5.24/5.32	c core #871
5.24/5.32	c Core size: 7	Core Weight: 1	Total Weight: 871
5.24/5.32	c Elapsed CPU time: 5.2242 s	Remaining CPU time: 1794.78 s
5.24/5.33	c core #872
5.24/5.33	c Core size: 11	Core Weight: 1	Total Weight: 872
5.24/5.33	c Elapsed CPU time: 5.2342 s	Remaining CPU time: 1794.77 s
5.24/5.34	c core #873
5.24/5.34	c Core size: 7	Core Weight: 1	Total Weight: 873
5.24/5.34	c Elapsed CPU time: 5.2442 s	Remaining CPU time: 1794.76 s
5.24/5.35	c core #874
5.24/5.35	c Core size: 11	Core Weight: 1	Total Weight: 874
5.24/5.35	c Elapsed CPU time: 5.2542 s	Remaining CPU time: 1794.75 s
5.24/5.36	c core #875
5.24/5.36	c Core size: 7	Core Weight: 1	Total Weight: 875
5.24/5.36	c Elapsed CPU time: 5.2622 s	Remaining CPU time: 1794.74 s
5.24/5.37	c core #876
5.24/5.37	c Core size: 7	Core Weight: 1	Total Weight: 876
5.24/5.37	c Elapsed CPU time: 5.2712 s	Remaining CPU time: 1794.73 s
5.24/5.38	c core #877
5.24/5.38	c Core size: 11	Core Weight: 1	Total Weight: 877
5.24/5.38	c Elapsed CPU time: 5.2812 s	Remaining CPU time: 1794.72 s
5.24/5.39	c core #878
5.24/5.39	c Core size: 7	Core Weight: 1	Total Weight: 878
5.24/5.39	c Elapsed CPU time: 5.2912 s	Remaining CPU time: 1794.71 s
5.24/5.40	c core #879
5.24/5.40	c Core size: 11	Core Weight: 1	Total Weight: 879
5.24/5.40	c Elapsed CPU time: 5.30119 s	Remaining CPU time: 1794.7 s
5.34/5.41	c core #880
5.34/5.41	c Core size: 7	Core Weight: 1	Total Weight: 880
5.34/5.41	c Elapsed CPU time: 5.31019 s	Remaining CPU time: 1794.69 s
5.34/5.42	c core #881
5.34/5.42	c Core size: 19	Core Weight: 1	Total Weight: 881
5.34/5.42	c Elapsed CPU time: 5.31919 s	Remaining CPU time: 1794.68 s
5.34/5.43	c core #882
5.34/5.43	c Core size: 7	Core Weight: 1	Total Weight: 882
5.34/5.43	c Elapsed CPU time: 5.32919 s	Remaining CPU time: 1794.67 s
5.34/5.44	c core #883
5.34/5.44	c Core size: 19	Core Weight: 1	Total Weight: 883
5.34/5.44	c Elapsed CPU time: 5.33919 s	Remaining CPU time: 1794.66 s
5.34/5.45	c core #884
5.34/5.45	c Core size: 7	Core Weight: 1	Total Weight: 884
5.34/5.45	c Elapsed CPU time: 5.34919 s	Remaining CPU time: 1794.65 s
5.34/5.46	c core #885
5.34/5.46	c Core size: 15	Core Weight: 1	Total Weight: 885
5.34/5.46	c Elapsed CPU time: 5.35919 s	Remaining CPU time: 1794.64 s
5.34/5.47	c core #886
5.34/5.47	c Core size: 7	Core Weight: 1	Total Weight: 886
5.34/5.47	c Elapsed CPU time: 5.36918 s	Remaining CPU time: 1794.63 s
5.34/5.48	c core #887
5.34/5.48	c Core size: 19	Core Weight: 1	Total Weight: 887
5.34/5.48	c Elapsed CPU time: 5.37918 s	Remaining CPU time: 1794.62 s
5.34/5.49	c core #888
5.34/5.49	c Core size: 7	Core Weight: 1	Total Weight: 888
5.34/5.49	c Elapsed CPU time: 5.38918 s	Remaining CPU time: 1794.61 s
5.34/5.50	c core #889
5.34/5.50	c Core size: 15	Core Weight: 1	Total Weight: 889
5.34/5.50	c Elapsed CPU time: 5.39918 s	Remaining CPU time: 1794.6 s
5.44/5.51	c core #890
5.44/5.51	c Core size: 7	Core Weight: 1	Total Weight: 890
5.44/5.51	c Elapsed CPU time: 5.40918 s	Remaining CPU time: 1794.59 s
5.44/5.52	c core #891
5.44/5.52	c Core size: 23	Core Weight: 1	Total Weight: 891
5.44/5.52	c Elapsed CPU time: 5.41918 s	Remaining CPU time: 1794.58 s
5.44/5.53	c core #892
5.44/5.53	c Core size: 7	Core Weight: 1	Total Weight: 892
5.44/5.53	c Elapsed CPU time: 5.42917 s	Remaining CPU time: 1794.57 s
5.44/5.54	c core #893
5.44/5.54	c Core size: 19	Core Weight: 1	Total Weight: 893
5.44/5.54	c Elapsed CPU time: 5.43917 s	Remaining CPU time: 1794.56 s
5.44/5.55	c core #894
5.44/5.55	c Core size: 7	Core Weight: 1	Total Weight: 894
5.44/5.55	c Elapsed CPU time: 5.44917 s	Remaining CPU time: 1794.55 s
5.44/5.56	c core #895
5.44/5.56	c Core size: 11	Core Weight: 1	Total Weight: 895
5.44/5.56	c Elapsed CPU time: 5.46017 s	Remaining CPU time: 1794.54 s
5.44/5.57	c core #896
5.44/5.57	c Core size: 15	Core Weight: 1	Total Weight: 896
5.44/5.57	c Elapsed CPU time: 5.47017 s	Remaining CPU time: 1794.53 s
5.44/5.58	c core #897
5.44/5.58	c Core size: 7	Core Weight: 1	Total Weight: 897
5.44/5.58	c Elapsed CPU time: 5.48117 s	Remaining CPU time: 1794.52 s
5.44/5.59	c core #898
5.44/5.59	c Core size: 11	Core Weight: 1	Total Weight: 898
5.44/5.59	c Elapsed CPU time: 5.49116 s	Remaining CPU time: 1794.51 s
5.54/5.60	c core #899
5.54/5.60	c Core size: 11	Core Weight: 1	Total Weight: 899
5.54/5.60	c Elapsed CPU time: 5.50116 s	Remaining CPU time: 1794.5 s
5.54/5.61	c core #900
5.54/5.61	c Core size: 11	Core Weight: 1	Total Weight: 900
5.54/5.61	c Elapsed CPU time: 5.51016 s	Remaining CPU time: 1794.49 s
5.54/5.62	c core #901
5.54/5.62	c Core size: 15	Core Weight: 1	Total Weight: 901
5.54/5.62	c Elapsed CPU time: 5.52116 s	Remaining CPU time: 1794.48 s
5.54/5.63	c core #902
5.54/5.63	c Core size: 15	Core Weight: 1	Total Weight: 902
5.54/5.63	c Elapsed CPU time: 5.53116 s	Remaining CPU time: 1794.47 s
5.54/5.64	c core #903
5.54/5.64	c Core size: 7	Core Weight: 1	Total Weight: 903
5.54/5.64	c Elapsed CPU time: 5.54216 s	Remaining CPU time: 1794.46 s
5.54/5.66	c core #904
5.54/5.66	c Core size: 7	Core Weight: 1	Total Weight: 904
5.54/5.66	c Elapsed CPU time: 5.55316 s	Remaining CPU time: 1794.45 s
5.54/5.67	c core #905
5.54/5.67	c Core size: 7	Core Weight: 1	Total Weight: 905
5.54/5.67	c Elapsed CPU time: 5.56415 s	Remaining CPU time: 1794.44 s
5.54/5.68	c core #906
5.54/5.68	c Core size: 15	Core Weight: 1	Total Weight: 906
5.54/5.68	c Elapsed CPU time: 5.57515 s	Remaining CPU time: 1794.42 s
5.54/5.69	c core #907
5.54/5.69	c Core size: 31	Core Weight: 1	Total Weight: 907
5.54/5.69	c Elapsed CPU time: 5.58515 s	Remaining CPU time: 1794.41 s
5.64/5.70	c core #908
5.64/5.70	c Core size: 15	Core Weight: 1	Total Weight: 908
5.64/5.70	c Elapsed CPU time: 5.59515 s	Remaining CPU time: 1794.4 s
5.64/5.71	c core #909
5.64/5.71	c Core size: 7	Core Weight: 1	Total Weight: 909
5.64/5.71	c Elapsed CPU time: 5.60515 s	Remaining CPU time: 1794.39 s
5.64/5.72	c core #910
5.64/5.72	c Core size: 15	Core Weight: 1	Total Weight: 910
5.64/5.72	c Elapsed CPU time: 5.61515 s	Remaining CPU time: 1794.38 s
5.64/5.73	c core #911
5.64/5.73	c Core size: 7	Core Weight: 1	Total Weight: 911
5.64/5.73	c Elapsed CPU time: 5.62514 s	Remaining CPU time: 1794.37 s
5.64/5.74	c core #912
5.64/5.74	c Core size: 11	Core Weight: 1	Total Weight: 912
5.64/5.74	c Elapsed CPU time: 5.63614 s	Remaining CPU time: 1794.36 s
5.64/5.75	c core #913
5.64/5.75	c Core size: 7	Core Weight: 1	Total Weight: 913
5.64/5.75	c Elapsed CPU time: 5.64614 s	Remaining CPU time: 1794.35 s
5.64/5.76	c core #914
5.64/5.76	c Core size: 7	Core Weight: 1	Total Weight: 914
5.64/5.76	c Elapsed CPU time: 5.65714 s	Remaining CPU time: 1794.34 s
5.64/5.77	c core #915
5.64/5.77	c Core size: 23	Core Weight: 1	Total Weight: 915
5.64/5.77	c Elapsed CPU time: 5.66814 s	Remaining CPU time: 1794.33 s
5.64/5.78	c core #916
5.64/5.78	c Core size: 19	Core Weight: 1	Total Weight: 916
5.64/5.78	c Elapsed CPU time: 5.67814 s	Remaining CPU time: 1794.32 s
5.64/5.79	c core #917
5.64/5.79	c Core size: 7	Core Weight: 1	Total Weight: 917
5.64/5.79	c Elapsed CPU time: 5.68914 s	Remaining CPU time: 1794.31 s
5.74/5.81	c core #918
5.74/5.81	c Core size: 27	Core Weight: 1	Total Weight: 918
5.74/5.81	c Elapsed CPU time: 5.70013 s	Remaining CPU time: 1794.3 s
5.74/5.82	c core #919
5.74/5.82	c Core size: 7	Core Weight: 1	Total Weight: 919
5.74/5.82	c Elapsed CPU time: 5.71113 s	Remaining CPU time: 1794.29 s
5.74/5.83	c core #920
5.74/5.83	c Core size: 19	Core Weight: 1	Total Weight: 920
5.74/5.83	c Elapsed CPU time: 5.72213 s	Remaining CPU time: 1794.28 s
5.74/5.84	c core #921
5.74/5.84	c Core size: 19	Core Weight: 1	Total Weight: 921
5.74/5.84	c Elapsed CPU time: 5.73313 s	Remaining CPU time: 1794.27 s
5.74/5.85	c core #922
5.74/5.85	c Core size: 15	Core Weight: 1	Total Weight: 922
5.74/5.85	c Elapsed CPU time: 5.74413 s	Remaining CPU time: 1794.26 s
5.74/5.86	c core #923
5.74/5.86	c Core size: 11	Core Weight: 1	Total Weight: 923
5.74/5.86	c Elapsed CPU time: 5.75413 s	Remaining CPU time: 1794.25 s
5.74/5.87	c core #924
5.74/5.87	c Core size: 11	Core Weight: 1	Total Weight: 924
5.74/5.87	c Elapsed CPU time: 5.76412 s	Remaining CPU time: 1794.24 s
5.74/5.88	c core #925
5.74/5.88	c Core size: 11	Core Weight: 1	Total Weight: 925
5.74/5.88	c Elapsed CPU time: 5.77512 s	Remaining CPU time: 1794.22 s
5.74/5.89	c core #926
5.74/5.89	c Core size: 11	Core Weight: 1	Total Weight: 926
5.74/5.89	c Elapsed CPU time: 5.78612 s	Remaining CPU time: 1794.21 s
5.83/5.90	c core #927
5.83/5.90	c Core size: 15	Core Weight: 1	Total Weight: 927
5.83/5.90	c Elapsed CPU time: 5.79612 s	Remaining CPU time: 1794.2 s
5.83/5.92	c core #928
5.83/5.92	c Core size: 15	Core Weight: 1	Total Weight: 928
5.83/5.92	c Elapsed CPU time: 5.80712 s	Remaining CPU time: 1794.19 s
5.83/5.93	c core #929
5.83/5.93	c Core size: 11	Core Weight: 1	Total Weight: 929
5.83/5.93	c Elapsed CPU time: 5.81811 s	Remaining CPU time: 1794.18 s
5.83/5.94	c core #930
5.83/5.94	c Core size: 7	Core Weight: 1	Total Weight: 930
5.83/5.94	c Elapsed CPU time: 5.82811 s	Remaining CPU time: 1794.17 s
5.83/5.95	c core #931
5.83/5.95	c Core size: 15	Core Weight: 1	Total Weight: 931
5.83/5.95	c Elapsed CPU time: 5.83911 s	Remaining CPU time: 1794.16 s
5.83/5.96	c core #932
5.83/5.96	c Core size: 27	Core Weight: 1	Total Weight: 932
5.83/5.96	c Elapsed CPU time: 5.84811 s	Remaining CPU time: 1794.15 s
5.83/5.97	c core #933
5.83/5.97	c Core size: 19	Core Weight: 1	Total Weight: 933
5.83/5.97	c Elapsed CPU time: 5.86011 s	Remaining CPU time: 1794.14 s
5.83/5.98	c core #934
5.83/5.98	c Core size: 19	Core Weight: 1	Total Weight: 934
5.83/5.98	c Elapsed CPU time: 5.87111 s	Remaining CPU time: 1794.13 s
5.83/5.99	c core #935
5.83/5.99	c Core size: 11	Core Weight: 1	Total Weight: 935
5.83/5.99	c Elapsed CPU time: 5.88211 s	Remaining CPU time: 1794.12 s
5.93/6.00	c core #936
5.93/6.00	c Core size: 19	Core Weight: 1	Total Weight: 936
5.93/6.00	c Elapsed CPU time: 5.8931 s	Remaining CPU time: 1794.11 s
5.93/6.02	c core #937
5.93/6.02	c Core size: 23	Core Weight: 1	Total Weight: 937
5.93/6.02	c Elapsed CPU time: 5.9041 s	Remaining CPU time: 1794.1 s
5.93/6.03	c core #938
5.93/6.03	c Core size: 31	Core Weight: 1	Total Weight: 938
5.93/6.03	c Elapsed CPU time: 5.9151 s	Remaining CPU time: 1794.08 s
5.93/6.04	c core #939
5.93/6.04	c Core size: 11	Core Weight: 1	Total Weight: 939
5.93/6.04	c Elapsed CPU time: 5.9261 s	Remaining CPU time: 1794.07 s
5.93/6.05	c core #940
5.93/6.05	c Core size: 7	Core Weight: 1	Total Weight: 940
5.93/6.05	c Elapsed CPU time: 5.9381 s	Remaining CPU time: 1794.06 s
5.93/6.06	c core #941
5.93/6.06	c Core size: 35	Core Weight: 1	Total Weight: 941
5.93/6.06	c Elapsed CPU time: 5.94909 s	Remaining CPU time: 1794.05 s
5.93/6.07	c core #942
5.93/6.07	c Core size: 35	Core Weight: 1	Total Weight: 942
5.93/6.07	c Elapsed CPU time: 5.96009 s	Remaining CPU time: 1794.04 s
5.93/6.08	c core #943
5.93/6.08	c Core size: 19	Core Weight: 1	Total Weight: 943
5.93/6.08	c Elapsed CPU time: 5.97109 s	Remaining CPU time: 1794.03 s
5.93/6.10	c core #944
5.93/6.10	c Core size: 23	Core Weight: 1	Total Weight: 944
5.93/6.10	c Elapsed CPU time: 5.98109 s	Remaining CPU time: 1794.02 s
6.03/6.11	c core #945
6.03/6.11	c Core size: 11	Core Weight: 1	Total Weight: 945
6.03/6.11	c Elapsed CPU time: 5.99209 s	Remaining CPU time: 1794.01 s
6.03/6.12	c core #946
6.03/6.12	c Core size: 7	Core Weight: 1	Total Weight: 946
6.03/6.12	c Elapsed CPU time: 6.00309 s	Remaining CPU time: 1794 s
6.03/6.13	c core #947
6.03/6.13	c Core size: 51	Core Weight: 1	Total Weight: 947
6.03/6.13	c Elapsed CPU time: 6.01509 s	Remaining CPU time: 1793.98 s
6.03/6.14	c core #948
6.03/6.14	c Core size: 19	Core Weight: 1	Total Weight: 948
6.03/6.14	c Elapsed CPU time: 6.02608 s	Remaining CPU time: 1793.97 s
6.03/6.15	c core #949
6.03/6.15	c Core size: 19	Core Weight: 1	Total Weight: 949
6.03/6.15	c Elapsed CPU time: 6.03708 s	Remaining CPU time: 1793.96 s
6.03/6.16	c core #950
6.03/6.16	c Core size: 11	Core Weight: 1	Total Weight: 950
6.03/6.16	c Elapsed CPU time: 6.04808 s	Remaining CPU time: 1793.95 s
6.03/6.18	c core #951
6.03/6.18	c Core size: 11	Core Weight: 1	Total Weight: 951
6.03/6.18	c Elapsed CPU time: 6.05908 s	Remaining CPU time: 1793.94 s
6.03/6.19	c core #952
6.03/6.19	c Core size: 35	Core Weight: 1	Total Weight: 952
6.03/6.19	c Elapsed CPU time: 6.07008 s	Remaining CPU time: 1793.93 s
6.14/6.20	c core #953
6.14/6.20	c Core size: 26	Core Weight: 1	Total Weight: 953
6.14/6.20	c Elapsed CPU time: 6.08108 s	Remaining CPU time: 1793.92 s
6.14/6.21	c core #954
6.14/6.21	c Core size: 63	Core Weight: 1	Total Weight: 954
6.14/6.21	c Elapsed CPU time: 6.09307 s	Remaining CPU time: 1793.91 s
6.14/6.22	c core #955
6.14/6.22	c Core size: 15	Core Weight: 1	Total Weight: 955
6.14/6.22	c Elapsed CPU time: 6.10307 s	Remaining CPU time: 1793.9 s
6.14/6.23	c core #956
6.14/6.23	c Core size: 26	Core Weight: 1	Total Weight: 956
6.14/6.23	c Elapsed CPU time: 6.11407 s	Remaining CPU time: 1793.89 s
6.14/6.25	c core #957
6.14/6.25	c Core size: 23	Core Weight: 1	Total Weight: 957
6.14/6.25	c Elapsed CPU time: 6.12607 s	Remaining CPU time: 1793.87 s
6.14/6.26	c core #958
6.14/6.26	c Core size: 47	Core Weight: 1	Total Weight: 958
6.14/6.26	c Elapsed CPU time: 6.13807 s	Remaining CPU time: 1793.86 s
6.14/6.27	c core #959
6.14/6.27	c Core size: 15	Core Weight: 1	Total Weight: 959
6.14/6.27	c Elapsed CPU time: 6.15006 s	Remaining CPU time: 1793.85 s
6.14/6.28	c core #960
6.14/6.28	c Core size: 27	Core Weight: 1	Total Weight: 960
6.14/6.28	c Elapsed CPU time: 6.16106 s	Remaining CPU time: 1793.84 s
6.14/6.29	c core #961
6.14/6.29	c Core size: 39	Core Weight: 1	Total Weight: 961
6.14/6.29	c Elapsed CPU time: 6.17306 s	Remaining CPU time: 1793.83 s
6.23/6.30	c core #962
6.23/6.30	c Core size: 31	Core Weight: 1	Total Weight: 962
6.23/6.30	c Elapsed CPU time: 6.18406 s	Remaining CPU time: 1793.82 s
6.23/6.32	c core #963
6.23/6.32	c Core size: 55	Core Weight: 1	Total Weight: 963
6.23/6.32	c Elapsed CPU time: 6.19606 s	Remaining CPU time: 1793.8 s
6.23/6.33	c core #964
6.23/6.33	c Core size: 184	Core Weight: 1	Total Weight: 964
6.23/6.33	c Elapsed CPU time: 6.20806 s	Remaining CPU time: 1793.79 s
6.23/6.34	c core #965
6.23/6.34	c Core size: 31	Core Weight: 1	Total Weight: 965
6.23/6.34	c Elapsed CPU time: 6.21905 s	Remaining CPU time: 1793.78 s
6.23/6.35	c core #966
6.23/6.35	c Core size: 23	Core Weight: 1	Total Weight: 966
6.23/6.35	c Elapsed CPU time: 6.23105 s	Remaining CPU time: 1793.77 s
6.23/6.36	c core #967
6.23/6.36	c Core size: 47	Core Weight: 1	Total Weight: 967
6.23/6.36	c Elapsed CPU time: 6.24305 s	Remaining CPU time: 1793.76 s
6.23/6.38	c core #968
6.23/6.38	c Core size: 39	Core Weight: 1	Total Weight: 968
6.23/6.38	c Elapsed CPU time: 6.25405 s	Remaining CPU time: 1793.75 s
6.23/6.39	c ============================[ Search Statistics ]==============================
6.23/6.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.23/6.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.23/6.39	c ===============================================================================
6.23/6.39	c |         0 |    4649     6932    15550 |     5000        0    nan |  0.000 % |
6.23/6.39	c ===============================================================================
6.23/6.39	c core #969
6.23/6.39	c Core size: 39	Core Weight: 1	Total Weight: 969
6.23/6.39	c Elapsed CPU time: 6.26705 s	Remaining CPU time: 1793.73 s
6.33/6.40	c ============================[ Search Statistics ]==============================
6.33/6.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.40	c ===============================================================================
6.33/6.40	c |         0 |    4676     6933    15600 |     5000        0    nan |  0.000 % |
6.33/6.40	c ===============================================================================
6.33/6.40	c core #970
6.33/6.40	c Core size: 97	Core Weight: 1	Total Weight: 970
6.33/6.40	c Elapsed CPU time: 6.28005 s	Remaining CPU time: 1793.72 s
6.33/6.41	c ============================[ Search Statistics ]==============================
6.33/6.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.41	c ===============================================================================
6.33/6.41	c |         0 |    4724     6934    15696 |     5000        0    nan |  0.000 % |
6.33/6.42	c ===============================================================================
6.33/6.42	c core #971
6.33/6.42	c Core size: 61	Core Weight: 1	Total Weight: 971
6.33/6.42	c Elapsed CPU time: 6.29404 s	Remaining CPU time: 1793.71 s
6.33/6.43	c ============================[ Search Statistics ]==============================
6.33/6.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.43	c ===============================================================================
6.33/6.43	c |         0 |    4754     6935    15756 |     5000        0    nan |  0.000 % |
6.33/6.43	c ===============================================================================
6.33/6.43	c core #972
6.33/6.43	c Core size: 148	Core Weight: 1	Total Weight: 972
6.33/6.43	c Elapsed CPU time: 6.30904 s	Remaining CPU time: 1793.69 s
6.33/6.44	c ============================[ Search Statistics ]==============================
6.33/6.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.44	c ===============================================================================
6.33/6.44	c |         0 |    4851     6936    15920 |     5000        0    nan |  0.000 % |
6.33/6.45	c ===============================================================================
6.33/6.45	c core #973
6.33/6.45	c Core size: 58	Core Weight: 1	Total Weight: 973
6.33/6.45	c Elapsed CPU time: 6.32404 s	Remaining CPU time: 1793.68 s
6.33/6.46	c ============================[ Search Statistics ]==============================
6.33/6.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.46	c ===============================================================================
6.33/6.46	c |         0 |    4886     6937    15997 |     5000        0    nan |  0.000 % |
6.33/6.47	c ===============================================================================
6.33/6.47	c core #974
6.33/6.47	c Core size: 207	Core Weight: 1	Total Weight: 974
6.33/6.47	c Elapsed CPU time: 6.34004 s	Remaining CPU time: 1793.66 s
6.33/6.48	c ============================[ Search Statistics ]==============================
6.33/6.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.33/6.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.33/6.48	c ===============================================================================
6.33/6.48	c |         0 |    5039     6938    16209 |     5000        0    nan |  0.000 % |
6.33/6.49	c |       100 |    4692     6938    16209 |     5500       90      8 |  8.980 % |
6.33/6.50	c |       250 |    4656     6938    16209 |     6050      229     12 |  9.854 % |
6.42/6.51	c ===============================================================================
6.42/6.51	c core #975
6.42/6.51	c Core size: 262	Core Weight: 1	Total Weight: 975
6.42/6.51	c Elapsed CPU time: 6.38003 s	Remaining CPU time: 1793.62 s
6.42/6.52	c ============================[ Search Statistics ]==============================
6.42/6.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.52	c ===============================================================================
6.42/6.52	c |         0 |    5170     6939    16466 |     5000        0    nan |  0.000 % |
6.42/6.53	c ===============================================================================
6.42/6.53	c core #976
6.42/6.53	c Core size: 91	Core Weight: 1	Total Weight: 976
6.42/6.53	c Elapsed CPU time: 6.40203 s	Remaining CPU time: 1793.6 s
6.42/6.55	c ============================[ Search Statistics ]==============================
6.42/6.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.55	c ===============================================================================
6.42/6.55	c |         0 |    5225     6940    16572 |     5000        0    nan |  0.000 % |
6.42/6.56	c |       100 |    5221     6940    16572 |     5500      100     14 |  3.293 % |
6.42/6.58	c |       253 |    4976     6940    16572 |     6050      240     12 |  6.679 % |
6.42/6.59	c ===============================================================================
6.42/6.60	c core #977
6.42/6.60	c Core size: 463	Core Weight: 1	Total Weight: 977
6.42/6.60	c Elapsed CPU time: 6.46102 s	Remaining CPU time: 1793.54 s
6.53/6.61	c ============================[ Search Statistics ]==============================
6.53/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.53/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.53/6.61	c ===============================================================================
6.53/6.61	c |         0 |    5468     6941    17036 |     5000        0    nan |  0.000 % |
6.53/6.62	c |       100 |    5417     6941    17036 |     5500       97      5 |  2.185 % |
6.53/6.64	c |       250 |    5310     6941    17036 |     6050      237      6 |  4.569 % |
6.53/6.65	c ===============================================================================
6.53/6.65	c core #978
6.53/6.65	c Core size: 468	Core Weight: 1	Total Weight: 978
6.53/6.65	c Elapsed CPU time: 6.50901 s	Remaining CPU time: 1793.49 s
6.53/6.66	c ============================[ Search Statistics ]==============================
6.53/6.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.53/6.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.53/6.66	c ===============================================================================
6.53/6.66	c |         0 |    5704     6942    17496 |     5000        0    nan |  0.000 % |
6.53/6.68	c |       100 |    5703     6942    17496 |     5500      100     13 |  1.215 % |
6.53/6.70	c |       250 |    5691     6942    17496 |     6050      249     11 |  1.215 % |
6.62/6.72	c |       475 |    5682     6942    17496 |     6655      473     10 |  1.371 % |
6.62/6.77	c |       812 |    5682     6942    17496 |     7320      810     11 |  1.371 % |
6.72/6.83	c |      1319 |    5674     6942    17496 |     8052     1316     11 |  1.510 % |
6.72/6.88	c ===============================================================================
6.72/6.88	c core #979
6.72/6.88	c Core size: 229	Core Weight: 1	Total Weight: 979
6.72/6.88	c Elapsed CPU time: 6.73798 s	Remaining CPU time: 1793.26 s
6.72/6.90	c ============================[ Search Statistics ]==============================
6.72/6.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.72/6.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.72/6.90	c ===============================================================================
6.72/6.90	c |         0 |    5814     6943    17715 |     5000        0    nan |  0.000 % |
6.82/6.91	c |       100 |    5814     6943    17715 |     5500      100      8 |  0.937 % |
6.82/6.93	c |       250 |    5814     6943    17715 |     6050      250      8 |  0.937 % |
6.82/6.95	c |       476 |    5814     6943    17715 |     6655      476      8 |  0.937 % |
6.82/6.99	c |       814 |    5814     6943    17715 |     7320      814     10 |  0.937 % |
6.92/7.06	c |      1321 |    5814     6943    17715 |     8052     1321     11 |  0.937 % |
6.92/7.10	c ===============================================================================
6.92/7.10	c core #980
6.92/7.10	c Core size: 191	Core Weight: 1	Total Weight: 980
6.92/7.10	c Elapsed CPU time: 6.94694 s	Remaining CPU time: 1793.05 s
7.02/7.11	c ============================[ Search Statistics ]==============================
7.02/7.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.02/7.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.02/7.11	c ===============================================================================
7.02/7.11	c |         0 |    5913     6944    17904 |     5000        0    nan |  0.000 % |
7.02/7.13	c |       100 |    5912     6944    17904 |     5500       99     13 |  0.839 % |
7.02/7.14	c |       250 |    5912     6944    17904 |     6050      249     11 |  0.839 % |
7.02/7.16	c |       479 |    5912     6944    17904 |     6655      478     11 |  0.839 % |
7.02/7.19	c |       818 |    5912     6944    17904 |     7320      817     12 |  0.839 % |
7.12/7.24	c |      1324 |    5912     6944    17904 |     8052     1323     12 |  0.839 % |
7.22/7.32	c |      2083 |    5911     6944    17904 |     8857     2000     13 |  0.855 % |
7.32/7.44	c |      3225 |    5899     6944    17904 |     9743     3137     16 |  1.057 % |
7.52/7.62	c ===============================================================================
7.52/7.65	c core #981
7.52/7.65	c Core size: 777	Core Weight: 1	Total Weight: 981
7.52/7.65	c Elapsed CPU time: 7.49286 s	Remaining CPU time: 1792.51 s
7.52/7.67	c ============================[ Search Statistics ]==============================
7.52/7.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.52/7.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.52/7.67	c ===============================================================================
7.52/7.67	c |         0 |    6257     6945    18592 |     5000        0    nan |  0.000 % |
7.52/7.69	c |       100 |    6257     6945    18592 |     5500      100      6 |  0.777 % |
7.62/7.71	c |       250 |    6256     6945    18592 |     6050      249      8 |  0.793 % |
7.62/7.72	c |       477 |    6256     6945    18592 |     6655      476      8 |  0.793 % |
7.62/7.76	c |       815 |    6251     6945    18592 |     7320      806     10 |  0.920 % |
7.72/7.83	c |      1324 |    6250     6945    18592 |     8052     1315     11 |  0.920 % |
7.82/7.93	c |      2083 |    6245     6945    18592 |     8857     2046     11 |  0.968 % |
8.02/8.10	c |      3223 |    6242     6945    18592 |     9743     3177     16 |  1.031 % |
8.02/8.11	c ===============================================================================
8.02/8.13	c core #982
8.02/8.13	c Core size: 996	Core Weight: 1	Total Weight: 982
8.02/8.13	c Elapsed CPU time: 7.95879 s	Remaining CPU time: 1792.04 s
8.02/8.15	c ============================[ Search Statistics ]==============================
8.02/8.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.02/8.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.02/8.15	c ===============================================================================
8.02/8.15	c |         0 |    6703     6946    19488 |     5000        0    nan |  0.000 % |
8.02/8.17	c |       100 |    6703     6946    19488 |     5500      100     14 |  0.667 % |
8.02/8.18	c |       250 |    6703     6946    19488 |     6050      250     14 |  0.667 % |
8.12/8.20	c |       475 |    6703     6946    19488 |     6655      475     17 |  0.667 % |
8.12/8.23	c |       814 |    6702     6946    19488 |     7320      813     15 |  0.682 % |
8.12/8.29	c |      1320 |    6702     6946    19488 |     8052     1319     16 |  0.682 % |
8.22/8.35	c |      2079 |    6702     6946    19488 |     8857     2078     16 |  0.682 % |
8.32/8.47	c |      3220 |    6702     6946    19488 |     9743     3219     19 |  0.682 % |
8.52/8.66	c |      4928 |    6702     6946    19488 |    10717     4927     28 |  0.682 % |
8.92/9.01	c |      7491 |    6702     6946    19488 |    11789     7490     31 |  0.682 % |
9.52/9.69	c |     11335 |    6702     6946    19488 |    12968    11334     38 |  0.682 % |
10.72/10.80	c |     17101 |    6698     6946    19488 |    14265    10400     36 |  0.741 % |
12.61/12.70	c |     25750 |    6698     6946    19488 |    15692    11632     48 |  0.741 % |
15.81/15.93	c |     38724 |    6698     6946    19488 |    17261     8668     45 |  0.741 % |
19.62/19.71	c ===============================================================================
20.02/20.16	c core #983
20.02/20.16	c Core size: 1473	Core Weight: 1	Total Weight: 983
20.02/20.16	c Elapsed CPU time: 19.78 s	Remaining CPU time: 1780.22 s
20.12/20.23	c ============================[ Search Statistics ]==============================
20.12/20.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.12/20.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.12/20.23	c ===============================================================================
20.12/20.23	c |         0 |    7310     6947    20701 |     5000        0    nan |  0.000 % |
20.12/20.26	c |       100 |    7310     6947    20701 |     5500      100     20 |  0.585 % |
20.12/20.27	c |       251 |    7310     6947    20701 |     6050      251     19 |  0.585 % |
20.21/20.31	c |       479 |    7310     6947    20701 |     6655      479     19 |  0.585 % |
20.21/20.34	c |       816 |    7310     6947    20701 |     7320      816     23 |  0.585 % |
20.32/20.42	c |      1322 |    7310     6947    20701 |     8052     1322     26 |  0.585 % |
20.41/20.52	c |      2083 |    7310     6947    20701 |     8857     2083     29 |  0.585 % |
20.61/20.70	c |      3225 |    7310     6947    20701 |     9743     3225     34 |  0.585 % |
20.91/21.04	c |      4933 |    7310     6947    20701 |    10717     4933     42 |  0.585 % |
21.41/21.56	c |      7495 |    7310     6947    20701 |    11789     7495     42 |  0.585 % |
22.51/22.62	c |     11340 |    7310     6947    20701 |    12968    11340     53 |  0.585 % |
23.61/23.79	c |     17106 |    7310     6947    20701 |    14265    10534     58 |  0.585 % |
26.11/26.24	c |     25755 |    7310     6947    20701 |    15692    11911     75 |  0.585 % |
30.71/30.82	c |     38731 |    7310     6947    20701 |    17261     8899     95 |  0.585 % |
36.40/36.51	c |     58198 |    7310     6947    20701 |    18987    10901     83 |  0.585 % |
47.10/47.29	c |     87397 |    7299     6947    20701 |    20886    18064     91 |  0.734 % |
64.70/64.85	c |    131187 |    7299     6947    20701 |    22974    19640     79 |  0.734 % |
70.49/70.62	c ===============================================================================
72.09/72.27	c core #984
72.09/72.27	c Core size: 1070	Core Weight: 1	Total Weight: 984
72.09/72.27	c Elapsed CPU time: 71.2662 s	Remaining CPU time: 1728.73 s
72.29/72.44	c ============================[ Search Statistics ]==============================
72.29/72.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
72.29/72.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
72.29/72.44	c ===============================================================================
72.29/72.44	c |         0 |    7757     6948    21595 |     5000        0    nan |  0.000 % |
72.29/72.48	c |       103 |    7757     6948    21595 |     5500      103     60 |  0.551 % |
72.39/72.51	c |       253 |    7757     6948    21595 |     6050      253     39 |  0.551 % |
72.39/72.53	c |       480 |    7757     6948    21595 |     6655      480     35 |  0.551 % |
72.39/72.59	c |       818 |    7757     6948    21595 |     7320      818     31 |  0.551 % |
72.50/72.65	c |      1324 |    7757     6948    21595 |     8052     1324     40 |  0.551 % |
72.59/72.80	c |      2083 |    7757     6948    21595 |     8857     2083     48 |  0.551 % |
72.79/72.99	c |      3222 |    7757     6948    21595 |     9743     3222     44 |  0.551 % |
73.39/73.50	c |      4932 |    7757     6948    21595 |    10717     4932     55 |  0.551 % |
73.79/73.93	c |      7499 |    7757     6948    21595 |    11789     7499     53 |  0.551 % |
74.70/74.85	c |     11345 |    7757     6948    21595 |    12968    11345     61 |  0.551 % |
76.59/76.80	c |     17115 |    7757     6948    21595 |    14265    10496     77 |  0.551 % |
79.49/79.63	c |     25764 |    7757     6948    21595 |    15692    11856     90 |  0.551 % |
85.79/85.95	c |     38745 |    7757     6948    21595 |    17261     8616    135 |  0.551 % |
92.19/92.33	c |     58207 |    7757     6948    21595 |    18987    10373    101 |  0.551 % |
101.18/101.35	c |     87401 |    7757     6948    21595 |    20886    10392     62 |  0.551 % |
114.37/114.53	c |    131192 |    7757     6948    21595 |    22974    11594     71 |  0.551 % |
138.67/138.83	c |    196880 |    7754     6948    21595 |    25272    18711     76 |  0.590 % |
185.16/185.32	c |    295406 |    7754     6948    21595 |    27799    13328    137 |  0.590 % |
285.42/285.63	c |    443195 |    7754     6948    21595 |    30579    26721    141 |  0.590 % |
450.67/450.97	c |    664879 |    7754     6948    21595 |    33637    22908    125 |  0.590 % |
528.85/529.17	c ===============================================================================
533.15/533.49	c core #985
533.15/533.49	c Core size: 1218	Core Weight: 1	Total Weight: 985
533.15/533.49	c Elapsed CPU time: 528.674 s	Remaining CPU time: 1271.33 s
534.04/534.31	c ============================[ Search Statistics ]==============================
534.04/534.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
534.04/534.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
534.04/534.31	c ===============================================================================
534.04/534.31	c |         0 |    8257     6949    22595 |     5000        0    nan |  0.000 % |
534.14/534.42	c |       101 |    8257     6949    22595 |     5500      101     21 |  0.518 % |
534.14/534.48	c |       251 |    8257     6949    22595 |     6050      251     38 |  0.518 % |
534.25/534.52	c |       476 |    8257     6949    22595 |     6655      476     31 |  0.518 % |
534.25/534.59	c |       813 |    8257     6949    22595 |     7320      813     33 |  0.518 % |
534.34/534.65	c |      1319 |    8257     6949    22595 |     8052     1319     29 |  0.518 % |
534.44/534.79	c |      2078 |    8257     6949    22595 |     8857     2078     33 |  0.518 % |
534.74/535.00	c |      3218 |    8257     6949    22595 |     9743     3218     39 |  0.518 % |
534.94/535.30	c |      4929 |    8257     6949    22595 |    10717     4929     51 |  0.518 % |
535.64/535.95	c |      7491 |    8257     6949    22595 |    11789     7491     55 |  0.518 % |
536.64/536.95	c |     11335 |    8257     6949    22595 |    12968    11335     62 |  0.518 % |
538.54/538.83	c |     17102 |    8257     6949    22595 |    14265    10391     80 |  0.518 % |
541.24/541.51	c |     25751 |    8257     6949    22595 |    15692    11763     68 |  0.518 % |
545.24/545.59	c |     38726 |    8257     6949    22595 |    17261     8626     99 |  0.518 % |
552.74/553.07	c |     58187 |    8257     6949    22595 |    18987     9880     93 |  0.518 % |
565.04/565.40	c |     87386 |    8257     6949    22595 |    20886    19423    144 |  0.518 % |
585.02/585.33	c |    131176 |    8254     6949    22595 |    22974    20529    107 |  0.554 % |
619.81/620.17	c |    196860 |    8254     6949    22595 |    25272    14610    168 |  0.554 % |
686.18/686.52	c |    295386 |    8254     6949    22595 |    27799    20685    185 |  0.554 % |
773.16/773.50	c |    443175 |    8254     6949    22595 |    30579    19107    160 |  0.554 % |
925.11/925.58	c |    664863 |    8254     6949    22595 |    33637    16334    165 |  0.554 % |
1098.66/1099.13	c |    997388 |    8254     6949    22595 |    37001    19909    110 |  0.554 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4581
/proc/meminfo: memFree=1869848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=2964 CPUtime=0
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 181895855 3035136 248 1992294400 134512640 135709839 4294956240 18446744073709551615 135166764 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 741 248 125 292 0 418 0

[startup+0.082716 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4581
/proc/meminfo: memFree=1869848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=3512 CPUtime=0.07
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 482 0 0 0 7 0 0 0 18 0 1 0 181895855 3596288 438 1992294400 134512640 135709839 4294956240 18446744073709551615 134584467 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 878 438 133 292 0 583 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3512

[startup+0.101719 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4581
/proc/meminfo: memFree=1869848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=3512 CPUtime=0.09
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 495 0 0 0 9 0 0 0 18 0 1 0 181895855 3596288 451 1992294400 134512640 135709839 4294956240 18446744073709551615 134570391 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 878 451 133 292 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3512

[startup+0.301754 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4581
/proc/meminfo: memFree=1869848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=3680 CPUtime=0.29
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 537 0 0 0 29 0 0 0 19 0 1 0 181895855 3768320 480 1992294400 134512640 135709839 4294956240 18446744073709551615 134517472 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 920 480 133 292 0 625 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3680

[startup+0.701824 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 4581
/proc/meminfo: memFree=1869848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=3828 CPUtime=0.69
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 718 0 0 0 69 0 0 0 22 0 1 0 181895855 3919872 536 1992294400 134512640 135709839 4294956240 18446744073709551615 135183279 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 957 536 133 292 0 662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3828

[startup+1.50196 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1867856/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=4608 CPUtime=1.49
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 1115 0 0 0 149 0 0 0 25 0 1 0 181895855 4718592 732 1992294400 134512640 135709839 4294956240 18446744073709551615 134569956 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 1152 732 133 292 0 857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4608

[startup+3.10124 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1866256/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=6700 CPUtime=3.08
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 2122 0 0 0 306 2 0 0 25 0 1 0 181895855 6860800 1256 1992294400 134512640 135709839 4294956240 18446744073709551615 134571159 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 1675 1256 133 292 0 1380 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6700

[startup+6.30181 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1861008/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=13848 CPUtime=6.23
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 5640 0 0 0 617 6 0 0 25 0 1 0 181895855 14180352 2990 1992294400 134512640 135709839 4294956240 18446744073709551615 135166068 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 3462 2990 134 292 0 3167 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13848

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1847504/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=25660 CPUtime=12.61
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 8746 0 0 0 1242 19 0 0 25 0 1 0 181895855 26275840 5963 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 6415 5963 136 292 0 6120 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 25660

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1830544/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=40880 CPUtime=25.41
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 12594 0 0 0 2501 40 0 0 25 0 1 0 181895855 41861120 9771 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 10220 9771 136 292 0 9925 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 40880

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1788304/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=84360 CPUtime=51
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 23467 0 0 0 5027 73 0 0 25 0 1 0 181895855 86384640 20644 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 21090 20644 136 292 0 20795 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 84360

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1747024/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=124632 CPUtime=102.18
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 33532 0 0 0 10091 127 0 0 25 0 1 0 181895855 127623168 30709 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 31158 30709 136 292 0 30863 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 124632

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1655056/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=217308 CPUtime=162.16
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 56714 0 0 0 16017 199 0 0 25 0 1 0 181895855 222523392 53891 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 54327 53891 136 292 0 54032 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 217308

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1568400/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=303012 CPUtime=222.15
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 78111 0 0 0 21970 245 0 0 25 0 1 0 181895855 310284288 75288 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 75753 75288 136 292 0 75458 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 303012

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1494224/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=377792 CPUtime=282.12
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 96777 0 0 0 27930 282 0 0 25 0 1 0 181895855 386859008 93954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 94448 93954 136 292 0 94153 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 377792

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1415440/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=455708 CPUtime=342.11
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 116205 0 0 0 33892 319 0 0 25 0 1 0 181895855 466644992 113382 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 113927 113382 136 292 0 113632 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 455708

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1351440/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=520628 CPUtime=402.09
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 132387 0 0 0 39858 351 0 0 25 0 1 0 181895855 533123072 129564 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 130157 129564 136 292 0 129862 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 520628

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4582
/proc/meminfo: memFree=1263504/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=607848 CPUtime=462.06
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 154172 0 0 0 45800 406 0 0 25 0 1 0 181895855 622436352 151349 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 151962 151349 136 292 0 151667 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 607848

[startup+522.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 4582
/proc/meminfo: memFree=1189456/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=682616 CPUtime=522.04
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 172864 0 0 0 51755 449 0 0 25 0 1 0 181895855 698998784 170041 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 170654 170041 136 292 0 170359 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 682616

[startup+582.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 4582
/proc/meminfo: memFree=1174928/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=695864 CPUtime=582.03
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 176150 0 0 0 57699 504 0 0 25 0 1 0 181895855 712564736 173327 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 173966 173327 136 292 0 173671 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 695864

[startup+642.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 4582
/proc/meminfo: memFree=1174288/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=695864 CPUtime=642.01
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 176318 0 0 0 63652 549 0 0 25 0 1 0 181895855 712564736 173495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 173966 173495 136 292 0 173671 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 695864

[startup+702.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 4582
/proc/meminfo: memFree=1116048/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=754336 CPUtime=701.98
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 190949 0 0 0 69604 594 0 0 25 0 1 0 181895855 772440064 188126 1992294400 134512640 135709839 4294956240 18446744073709551615 134574218 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 188584 188126 136 292 0 188289 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 754336

[startup+762.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 4582
/proc/meminfo: memFree=1044880/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=825116 CPUtime=761.97
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 208601 0 0 0 75555 642 0 0 25 0 1 0 181895855 844918784 205778 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 206279 205778 136 292 0 205984 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 825116

[startup+822.303 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4582
/proc/meminfo: memFree=956816/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=913720 CPUtime=821.95
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 230751 0 0 0 81502 693 0 0 25 0 1 0 181895855 935649280 227928 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 228430 227928 136 292 0 228135 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 913720

[startup+882.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4582
/proc/meminfo: memFree=862864/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1007036 CPUtime=881.93
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 254058 0 0 0 87460 733 0 0 25 0 1 0 181895855 1031204864 251235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 251759 251235 136 292 0 251464 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1007036

[startup+942.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4582
/proc/meminfo: memFree=770064/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1100580 CPUtime=941.91
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 277428 0 0 0 93413 778 0 0 25 0 1 0 181895855 1126993920 274605 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 275145 274605 136 292 0 274850 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1100580

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=664976/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1204792 CPUtime=1001.89
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 303494 0 0 0 99347 842 0 0 25 0 1 0 181895855 1233707008 300671 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 301198 300671 136 292 0 300903 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 1204792

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=580432/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1289792 CPUtime=1061.87
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 324744 0 0 0 105293 894 0 0 25 0 1 0 181895855 1320747008 321921 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 322448 321921 136 292 0 322153 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1289792

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=486160/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1383164 CPUtime=1121.84
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 348048 0 0 0 111236 948 0 0 25 0 1 0 181895855 1416359936 345225 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 345791 345225 136 292 0 345496 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1383164

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=405328/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1464656 CPUtime=1181.82
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 368411 0 0 0 117196 986 0 0 25 0 1 0 181895855 1499807744 365588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 366164 365588 136 292 0 365869 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1464656

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=319888/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1549120 CPUtime=1241.8
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 389506 0 0 0 123154 1026 0 0 25 0 1 0 181895855 1586298880 386683 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 387280 386683 136 292 0 386985 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1549120

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=250640/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1617820 CPUtime=1301.79
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 406648 0 0 0 129120 1059 0 0 25 0 1 0 181895855 1656647680 403825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 404455 403825 136 292 0 404160 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1617820

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=154640/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1714980 CPUtime=1361.77
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 430961 0 0 0 135070 1107 0 0 25 0 1 0 181895855 1756139520 428138 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 428745 428138 136 292 0 428450 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1714980

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 4582
/proc/meminfo: memFree=67216/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1801236 CPUtime=1421.75
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 452491 0 0 0 141031 1144 0 0 25 0 1 0 181895855 1844465664 449668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 450309 449668 136 292 0 450014 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1801236



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1454.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=24848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=1843300 CPUtime=1454.14
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4194304 462980 0 0 0 144253 1161 0 0 25 0 1 0 181895855 1887539200 460157 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 460825 460157 136 292 0 460530 0
Current children cumulated CPU time (s) 1454.14
Current children cumulated vsize (KiB) 1843300

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

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

[startup+1454.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=24848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=0 CPUtime=1454.24
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4195332 462980 0 0 0 144253 1171 0 0 25 0 1 0 181895855 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1454.24
Current children cumulated vsize (KiB) 0

[startup+1454.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4582
/proc/meminfo: memFree=24848/2055920 swapFree=4191900/4192956
[pid=4581] ppid=4579 vsize=0 CPUtime=1454.34
/proc/4581/stat : 4581 (wbo) R 4579 4581 4538 0 -1 4195332 462980 0 0 0 144253 1181 0 0 25 0 1 0 181895855 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4581/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1454.34
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1454.99
CPU time (s): 1454.43
CPU user time (s): 1442.53
CPU system time (s): 11.9012
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 1843300

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

runsolver used 1.42478 second user time and 2.66959 second system time

The end

Launcher Data 

Begin job on node4 at 2009-06-16 11:02:29
IDJOB=1875577
IDBENCH=1978
IDSOLVER=698
FILE ID=node4/1875577-1245142949
PBS_JOBID= 9363739
Free space on /tmp= 66408 MiB

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

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

MD5SUM BENCH= a9ac890c0275c87cfec4e71469cd990a
RANDOM SEED=73094688

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1870328 kB
Buffers:         22176 kB
Cached:          95340 kB
SwapCached:        260 kB
Active:          17668 kB
Inactive:       113040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870328 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2564 kB
Writeback:           0 kB
Mapped:          21660 kB
Slab:            40784 kB
Committed_AS:   136232 kB
PageTables:       1472 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-1875577-1245142949.opb

Free space on /tmp at the end= 66404 MiB
End job on node4 at 2009-06-16 11:26:46