Trace number 1875703

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) 1638.2 1638.88

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
MD5SUMe19b588c94d7a5fd177e87fa7a6307a3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1047
Best CPU time to get the best result obtained on this benchmark1797.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1033
Optimality of the best value was proved NO
Number of variables1960
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 1960
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 1960
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 1960
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-1875703-1245143201.opb.
0.00/0.00	c Instance file HOME/instance-1875703-1245143201.opb
0.00/0.00	c File size is 112132 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.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      1960                                                |
0.00/0.02	c |  Number Clauses:        5960                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c core #1
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.016997 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.03	c core #4
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #5
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #6
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #7
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.04	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #8
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #9
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 9
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #10
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 10
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #11
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 11
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #12
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 12
0.00/0.06	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #13
0.00/0.06	c Core size: 3	Core Weight: 1	Total Weight: 13
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.05/0.06	c core #14
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 14
0.05/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.05/0.07	c core #15
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 15
0.05/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #16
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 16
0.05/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #17
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 17
0.05/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.05/0.08	c core #18
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 18
0.05/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #19
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 19
0.05/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #20
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 20
0.05/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.05/0.09	c core #21
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 21
0.05/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.05/0.09	c core #22
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 22
0.05/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.05/0.10	c core #23
0.05/0.10	c Core size: 3	Core Weight: 1	Total Weight: 23
0.05/0.10	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.09/0.10	c core #24
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 24
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #25
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #26
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #27
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #28
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.11	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #29
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #30
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #31
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #32
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.13	c Elapsed CPU time: 0.12798 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #33
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #34
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #35
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #36
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #37
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.15	c Elapsed CPU time: 0.146977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #38
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.15	c Elapsed CPU time: 0.150977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #39
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 39
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #40
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 40
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #41
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 41
0.09/0.16	c Elapsed CPU time: 0.161975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #42
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 42
0.09/0.17	c Elapsed CPU time: 0.164974 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #43
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 43
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #44
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 44
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #45
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 45
0.09/0.18	c Elapsed CPU time: 0.176973 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #46
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 46
0.09/0.18	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #47
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 47
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #48
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 48
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #49
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 49
0.09/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #50
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 50
0.09/0.20	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #51
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.20	c Elapsed CPU time: 0.198969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #52
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.20	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #53
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #54
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 54
0.19/0.21	c Elapsed CPU time: 0.209968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #55
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 55
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #56
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 56
0.19/0.22	c Elapsed CPU time: 0.217966 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #57
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 57
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #58
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 58
0.19/0.23	c Elapsed CPU time: 0.224965 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #59
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 59
0.19/0.23	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #60
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 60
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #61
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 61
0.19/0.24	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #62
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 62
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #63
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 63
0.19/0.24	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #64
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 64
0.19/0.25	c Elapsed CPU time: 0.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.249962 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #66
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 66
0.19/0.26	c Elapsed CPU time: 0.253961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #67
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 67
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #68
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 68
0.19/0.26	c Elapsed CPU time: 0.26196 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #69
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 69
0.19/0.27	c Elapsed CPU time: 0.265959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #70
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 70
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #71
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 71
0.19/0.28	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #72
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 72
0.19/0.28	c Elapsed CPU time: 0.276957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #73
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 73
0.19/0.28	c Elapsed CPU time: 0.280957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #74
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 74
0.19/0.29	c Elapsed CPU time: 0.284956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #75
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 75
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.19/0.30	c core #76
0.19/0.30	c Core size: 3	Core Weight: 1	Total Weight: 76
0.19/0.30	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #77
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 77
0.29/0.30	c Elapsed CPU time: 0.296954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #78
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 78
0.29/0.30	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #79
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 79
0.29/0.31	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #80
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 80
0.29/0.31	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #81
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 81
0.29/0.31	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #82
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 82
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #83
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 83
0.29/0.32	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #84
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 84
0.29/0.33	c Elapsed CPU time: 0.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.34	c core #87
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 87
0.29/0.34	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #88
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 88
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #89
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 89
0.29/0.35	c Elapsed CPU time: 0.342947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #90
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 90
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #91
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 91
0.29/0.35	c Elapsed CPU time: 0.350946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #92
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 92
0.29/0.36	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #93
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 93
0.29/0.36	c Elapsed CPU time: 0.358945 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #94
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 94
0.29/0.37	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #95
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 95
0.29/0.37	c Elapsed CPU time: 0.366944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #96
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 96
0.29/0.37	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #97
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 97
0.29/0.38	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #98
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 98
0.29/0.38	c Elapsed CPU time: 0.378942 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #99
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 99
0.29/0.39	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #100
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 100
0.29/0.39	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #101
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 101
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #102
0.29/0.40	c Core size: 3	Core Weight: 1	Total Weight: 102
0.29/0.40	c Elapsed CPU time: 0.394939 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #103
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 103
0.39/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #104
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 104
0.39/0.41	c Elapsed CPU time: 0.402938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #105
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 105
0.39/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #106
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 106
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #107
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 107
0.39/0.42	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #108
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 108
0.39/0.42	c Elapsed CPU time: 0.418936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #109
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 109
0.39/0.42	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #110
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 110
0.39/0.43	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #111
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 111
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #112
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 112
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #113
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 113
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #114
0.39/0.45	c Core size: 3	Core Weight: 1	Total Weight: 114
0.39/0.45	c Elapsed CPU time: 0.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.46	c core #117
0.39/0.46	c Core size: 3	Core Weight: 1	Total Weight: 117
0.39/0.46	c Elapsed CPU time: 0.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.45893 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #119
0.39/0.47	c Core size: 3	Core Weight: 1	Total Weight: 119
0.39/0.47	c Elapsed CPU time: 0.462929 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.466929 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.470928 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.474927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #123
0.39/0.48	c Core size: 3	Core Weight: 1	Total Weight: 123
0.39/0.48	c Elapsed CPU time: 0.478927 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #124
0.39/0.49	c Core size: 3	Core Weight: 1	Total Weight: 124
0.39/0.49	c Elapsed CPU time: 0.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.486925 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.491925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #127
0.49/0.50	c Core size: 3	Core Weight: 1	Total Weight: 127
0.49/0.50	c Elapsed CPU time: 0.495924 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.499924 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #129
0.49/0.51	c Core size: 3	Core Weight: 1	Total Weight: 129
0.49/0.51	c Elapsed CPU time: 0.503923 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.507922 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.511922 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.515921 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.51992 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.52392 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #135
0.49/0.53	c Core size: 3	Core Weight: 1	Total Weight: 135
0.49/0.53	c Elapsed CPU time: 0.527919 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.531919 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.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #138
0.49/0.54	c Core size: 3	Core Weight: 1	Total Weight: 138
0.49/0.54	c Elapsed CPU time: 0.540917 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.544917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #140
0.49/0.55	c Core size: 3	Core Weight: 1	Total Weight: 140
0.49/0.55	c Elapsed CPU time: 0.548916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #141
0.49/0.56	c Core size: 3	Core Weight: 1	Total Weight: 141
0.49/0.56	c Elapsed CPU time: 0.552915 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.556915 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.560914 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.565913 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.569913 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.573912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #147
0.49/0.58	c Core size: 3	Core Weight: 1	Total Weight: 147
0.49/0.58	c Elapsed CPU time: 0.577912 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.581911 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.58691 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.59091 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.594909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #152
0.59/0.60	c Core size: 3	Core Weight: 1	Total Weight: 152
0.59/0.60	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #153
0.59/0.61	c Core size: 3	Core Weight: 1	Total Weight: 153
0.59/0.61	c Elapsed CPU time: 0.602908 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.607907 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.611906 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.615906 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.619905 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.623905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #159
0.59/0.63	c Core size: 3	Core Weight: 1	Total Weight: 159
0.59/0.63	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #160
0.59/0.64	c Core size: 3	Core Weight: 1	Total Weight: 160
0.59/0.64	c Elapsed CPU time: 0.632903 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.636903 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.640902 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.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #164
0.59/0.65	c Core size: 3	Core Weight: 1	Total Weight: 164
0.59/0.65	c Elapsed CPU time: 0.649901 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.6539 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #166
0.59/0.66	c Core size: 3	Core Weight: 1	Total Weight: 166
0.59/0.66	c Elapsed CPU time: 0.657899 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.661899 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.666898 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.670898 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.675897 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.679896 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.683896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #173
0.59/0.69	c Core size: 3	Core Weight: 1	Total Weight: 173
0.59/0.69	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 1799.31 s
0.59/0.70	c core #174
0.59/0.70	c Core size: 3	Core Weight: 1	Total Weight: 174
0.59/0.70	c Elapsed CPU time: 0.692894 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.696894 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.700893 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.705892 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.709892 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.713891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #180
0.69/0.72	c Core size: 3	Core Weight: 1	Total Weight: 180
0.69/0.72	c Elapsed CPU time: 0.71889 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #181
0.69/0.73	c Core size: 3	Core Weight: 1	Total Weight: 181
0.69/0.73	c Elapsed CPU time: 0.72289 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.726889 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.731888 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.735888 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.739887 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.744886 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #187
0.69/0.75	c Core size: 3	Core Weight: 1	Total Weight: 187
0.69/0.75	c Elapsed CPU time: 0.748886 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.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #189
0.69/0.76	c Core size: 3	Core Weight: 1	Total Weight: 189
0.69/0.76	c Elapsed CPU time: 0.757884 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.761884 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.766883 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.770882 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.774882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #194
0.69/0.78	c Core size: 3	Core Weight: 1	Total Weight: 194
0.69/0.78	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #195
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 195
0.69/0.79	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #196
0.69/0.79	c Core size: 3	Core Weight: 1	Total Weight: 196
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #197
0.69/0.80	c Core size: 3	Core Weight: 1	Total Weight: 197
0.69/0.80	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #198
0.79/0.80	c Core size: 3	Core Weight: 1	Total Weight: 198
0.79/0.80	c Elapsed CPU time: 0.796878 s	Remaining CPU time: 1799.2 s
0.79/0.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.800878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #200
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 200
0.79/0.81	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.79/0.81	c core #201
0.79/0.81	c Core size: 3	Core Weight: 1	Total Weight: 201
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #202
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 202
0.79/0.82	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #203
0.79/0.82	c Core size: 3	Core Weight: 1	Total Weight: 203
0.79/0.82	c Elapsed CPU time: 0.818875 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.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #205
0.79/0.83	c Core size: 3	Core Weight: 1	Total Weight: 205
0.79/0.83	c Elapsed CPU time: 0.827874 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.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #207
0.79/0.84	c Core size: 3	Core Weight: 1	Total Weight: 207
0.79/0.84	c Elapsed CPU time: 0.837872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #208
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 208
0.79/0.85	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #209
0.79/0.85	c Core size: 3	Core Weight: 1	Total Weight: 209
0.79/0.85	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #210
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 210
0.79/0.86	c Elapsed CPU time: 0.85187 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #211
0.79/0.86	c Core size: 3	Core Weight: 1	Total Weight: 211
0.79/0.86	c Elapsed CPU time: 0.855869 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.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #213
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 213
0.79/0.87	c Elapsed CPU time: 0.864868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #214
0.79/0.87	c Core size: 3	Core Weight: 1	Total Weight: 214
0.79/0.87	c Elapsed CPU time: 0.869867 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.873867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #216
0.79/0.88	c Core size: 3	Core Weight: 1	Total Weight: 216
0.79/0.88	c Elapsed CPU time: 0.878866 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.883865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #218
0.79/0.89	c Core size: 3	Core Weight: 1	Total Weight: 218
0.79/0.89	c Elapsed CPU time: 0.887865 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.892864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #220
0.89/0.90	c Core size: 3	Core Weight: 1	Total Weight: 220
0.89/0.90	c Elapsed CPU time: 0.897863 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.901862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #222
0.89/0.91	c Core size: 3	Core Weight: 1	Total Weight: 222
0.89/0.91	c Elapsed CPU time: 0.906862 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #223
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 223
0.89/0.92	c Elapsed CPU time: 0.911861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #224
0.89/0.92	c Core size: 3	Core Weight: 1	Total Weight: 224
0.89/0.92	c Elapsed CPU time: 0.91686 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.92086 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.925859 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.930858 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.934857 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #229
0.89/0.94	c Core size: 3	Core Weight: 1	Total Weight: 229
0.89/0.94	c Elapsed CPU time: 0.939857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #230
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 230
0.89/0.95	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #231
0.89/0.95	c Core size: 3	Core Weight: 1	Total Weight: 231
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #232
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 232
0.89/0.96	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #233
0.89/0.96	c Core size: 3	Core Weight: 1	Total Weight: 233
0.89/0.96	c Elapsed CPU time: 0.958854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #234
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 234
0.89/0.97	c Elapsed CPU time: 0.962853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #235
0.89/0.97	c Core size: 3	Core Weight: 1	Total Weight: 235
0.89/0.97	c Elapsed CPU time: 0.967852 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.971852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #237
0.89/0.98	c Core size: 3	Core Weight: 1	Total Weight: 237
0.89/0.98	c Elapsed CPU time: 0.976851 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.98185 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #239
0.89/0.99	c Core size: 3	Core Weight: 1	Total Weight: 239
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #240
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 240
0.99/1.00	c Elapsed CPU time: 0.991849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #241
0.99/1.00	c Core size: 3	Core Weight: 1	Total Weight: 241
0.99/1.00	c Elapsed CPU time: 0.996848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #242
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 242
0.99/1.01	c Elapsed CPU time: 1.00085 s	Remaining CPU time: 1799 s
0.99/1.01	c core #243
0.99/1.01	c Core size: 3	Core Weight: 1	Total Weight: 243
0.99/1.01	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #244
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 244
0.99/1.02	c Elapsed CPU time: 1.01085 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #245
0.99/1.02	c Core size: 3	Core Weight: 1	Total Weight: 245
0.99/1.02	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #246
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 246
0.99/1.03	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #247
0.99/1.03	c Core size: 3	Core Weight: 1	Total Weight: 247
0.99/1.03	c Elapsed CPU time: 1.02584 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #248
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 248
0.99/1.04	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #249
0.99/1.04	c Core size: 3	Core Weight: 1	Total Weight: 249
0.99/1.04	c Elapsed CPU time: 1.03484 s	Remaining CPU time: 1798.97 s
0.99/1.05	c core #250
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 250
0.99/1.05	c Elapsed CPU time: 1.03984 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #251
0.99/1.05	c Core size: 3	Core Weight: 1	Total Weight: 251
0.99/1.05	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
0.99/1.06	c core #252
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 252
0.99/1.06	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #253
0.99/1.06	c Core size: 3	Core Weight: 1	Total Weight: 253
0.99/1.06	c Elapsed CPU time: 1.05484 s	Remaining CPU time: 1798.95 s
0.99/1.07	c core #254
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 254
0.99/1.07	c Elapsed CPU time: 1.05984 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #255
0.99/1.07	c Core size: 3	Core Weight: 1	Total Weight: 255
0.99/1.07	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 1798.94 s
0.99/1.08	c core #256
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 256
0.99/1.08	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #257
0.99/1.08	c Core size: 3	Core Weight: 1	Total Weight: 257
0.99/1.08	c Elapsed CPU time: 1.07384 s	Remaining CPU time: 1798.93 s
0.99/1.09	c core #258
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 258
0.99/1.09	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #259
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 259
0.99/1.09	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #260
0.99/1.09	c Core size: 3	Core Weight: 1	Total Weight: 260
0.99/1.09	c Elapsed CPU time: 1.08883 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #261
0.99/1.10	c Core size: 3	Core Weight: 1	Total Weight: 261
0.99/1.10	c Elapsed CPU time: 1.09383 s	Remaining CPU time: 1798.91 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.09883 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.10383 s	Remaining CPU time: 1798.9 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.10883 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.11383 s	Remaining CPU time: 1798.89 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.11883 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.12383 s	Remaining CPU time: 1798.88 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.12883 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.13383 s	Remaining CPU time: 1798.87 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.13883 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.14383 s	Remaining CPU time: 1798.86 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.14783 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.15282 s	Remaining CPU time: 1798.85 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.15782 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.16282 s	Remaining CPU time: 1798.84 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.16782 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.17282 s	Remaining CPU time: 1798.83 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.17782 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.18282 s	Remaining CPU time: 1798.82 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.18782 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.19282 s	Remaining CPU time: 1798.81 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.19782 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.20282 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #284
1.19/1.21	c Core size: 3	Core Weight: 1	Total Weight: 284
1.19/1.21	c Elapsed CPU time: 1.20782 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.21382 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #286
1.19/1.22	c Core size: 3	Core Weight: 1	Total Weight: 286
1.19/1.22	c Elapsed CPU time: 1.21881 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.22381 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #288
1.19/1.23	c Core size: 3	Core Weight: 1	Total Weight: 288
1.19/1.23	c Elapsed CPU time: 1.22881 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.23381 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #290
1.19/1.24	c Core size: 3	Core Weight: 1	Total Weight: 290
1.19/1.24	c Elapsed CPU time: 1.23881 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.24381 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #292
1.19/1.25	c Core size: 3	Core Weight: 1	Total Weight: 292
1.19/1.25	c Elapsed CPU time: 1.24881 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.25381 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #294
1.19/1.26	c Core size: 3	Core Weight: 1	Total Weight: 294
1.19/1.26	c Elapsed CPU time: 1.25881 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.26381 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #296
1.19/1.27	c Core size: 3	Core Weight: 1	Total Weight: 296
1.19/1.27	c Elapsed CPU time: 1.26881 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.27381 s	Remaining CPU time: 1798.73 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.2788 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.2838 s	Remaining CPU time: 1798.72 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.2888 s	Remaining CPU time: 1798.71 s
1.28/1.30	c core #301
1.28/1.30	c Core size: 3	Core Weight: 1	Total Weight: 301
1.28/1.30	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 1798.71 s
1.28/1.31	c core #302
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 302
1.28/1.31	c Elapsed CPU time: 1.2988 s	Remaining CPU time: 1798.7 s
1.28/1.31	c core #303
1.28/1.31	c Core size: 3	Core Weight: 1	Total Weight: 303
1.28/1.31	c Elapsed CPU time: 1.3038 s	Remaining CPU time: 1798.7 s
1.28/1.32	c core #304
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 304
1.28/1.32	c Elapsed CPU time: 1.3088 s	Remaining CPU time: 1798.69 s
1.28/1.32	c core #305
1.28/1.32	c Core size: 3	Core Weight: 1	Total Weight: 305
1.28/1.32	c Elapsed CPU time: 1.3138 s	Remaining CPU time: 1798.69 s
1.28/1.33	c core #306
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 306
1.28/1.33	c Elapsed CPU time: 1.3198 s	Remaining CPU time: 1798.68 s
1.28/1.33	c core #307
1.28/1.33	c Core size: 3	Core Weight: 1	Total Weight: 307
1.28/1.33	c Elapsed CPU time: 1.3248 s	Remaining CPU time: 1798.68 s
1.28/1.34	c core #308
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 308
1.28/1.34	c Elapsed CPU time: 1.3298 s	Remaining CPU time: 1798.67 s
1.28/1.34	c core #309
1.28/1.34	c Core size: 3	Core Weight: 1	Total Weight: 309
1.28/1.34	c Elapsed CPU time: 1.3348 s	Remaining CPU time: 1798.67 s
1.28/1.35	c core #310
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 310
1.28/1.35	c Elapsed CPU time: 1.3398 s	Remaining CPU time: 1798.66 s
1.28/1.35	c core #311
1.28/1.35	c Core size: 3	Core Weight: 1	Total Weight: 311
1.28/1.35	c Elapsed CPU time: 1.34479 s	Remaining CPU time: 1798.66 s
1.28/1.36	c core #312
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 312
1.28/1.36	c Elapsed CPU time: 1.34979 s	Remaining CPU time: 1798.65 s
1.28/1.36	c core #313
1.28/1.36	c Core size: 3	Core Weight: 1	Total Weight: 313
1.28/1.36	c Elapsed CPU time: 1.35579 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #314
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 314
1.28/1.37	c Elapsed CPU time: 1.36079 s	Remaining CPU time: 1798.64 s
1.28/1.37	c core #315
1.28/1.37	c Core size: 3	Core Weight: 1	Total Weight: 315
1.28/1.37	c Elapsed CPU time: 1.36579 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #316
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 316
1.28/1.38	c Elapsed CPU time: 1.37079 s	Remaining CPU time: 1798.63 s
1.28/1.38	c core #317
1.28/1.38	c Core size: 3	Core Weight: 1	Total Weight: 317
1.28/1.38	c Elapsed CPU time: 1.37579 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #318
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 318
1.28/1.39	c Elapsed CPU time: 1.38179 s	Remaining CPU time: 1798.62 s
1.28/1.39	c core #319
1.28/1.39	c Core size: 3	Core Weight: 1	Total Weight: 319
1.28/1.39	c Elapsed CPU time: 1.38679 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #320
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 320
1.38/1.40	c Elapsed CPU time: 1.39179 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #321
1.38/1.40	c Core size: 3	Core Weight: 1	Total Weight: 321
1.38/1.40	c Elapsed CPU time: 1.39679 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #322
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 322
1.38/1.41	c Elapsed CPU time: 1.40179 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #323
1.38/1.41	c Core size: 3	Core Weight: 1	Total Weight: 323
1.38/1.41	c Elapsed CPU time: 1.40679 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #324
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 324
1.38/1.42	c Elapsed CPU time: 1.41278 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #325
1.38/1.42	c Core size: 3	Core Weight: 1	Total Weight: 325
1.38/1.42	c Elapsed CPU time: 1.41778 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #326
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 326
1.38/1.43	c Elapsed CPU time: 1.42278 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #327
1.38/1.43	c Core size: 3	Core Weight: 1	Total Weight: 327
1.38/1.43	c Elapsed CPU time: 1.42778 s	Remaining CPU time: 1798.57 s
1.38/1.44	c core #328
1.38/1.44	c Core size: 3	Core Weight: 1	Total Weight: 328
1.38/1.44	c Elapsed CPU time: 1.43278 s	Remaining CPU time: 1798.57 s
1.38/1.45	c core #329
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 329
1.38/1.45	c Elapsed CPU time: 1.43778 s	Remaining CPU time: 1798.56 s
1.38/1.45	c core #330
1.38/1.45	c Core size: 3	Core Weight: 1	Total Weight: 330
1.38/1.45	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #331
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 331
1.38/1.46	c Elapsed CPU time: 1.44778 s	Remaining CPU time: 1798.55 s
1.38/1.46	c core #332
1.38/1.46	c Core size: 3	Core Weight: 1	Total Weight: 332
1.38/1.46	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 1798.55 s
1.38/1.47	c core #333
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 333
1.38/1.47	c Elapsed CPU time: 1.45878 s	Remaining CPU time: 1798.54 s
1.38/1.47	c core #334
1.38/1.47	c Core size: 3	Core Weight: 1	Total Weight: 334
1.38/1.47	c Elapsed CPU time: 1.46378 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #335
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 335
1.38/1.48	c Elapsed CPU time: 1.46878 s	Remaining CPU time: 1798.53 s
1.38/1.48	c core #336
1.38/1.48	c Core size: 3	Core Weight: 1	Total Weight: 336
1.38/1.48	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 1798.53 s
1.38/1.49	c core #337
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 337
1.38/1.49	c Elapsed CPU time: 1.47978 s	Remaining CPU time: 1798.52 s
1.38/1.49	c core #338
1.38/1.49	c Core size: 3	Core Weight: 1	Total Weight: 338
1.38/1.49	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #339
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 339
1.48/1.50	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 1798.51 s
1.48/1.50	c core #340
1.48/1.50	c Core size: 3	Core Weight: 1	Total Weight: 340
1.48/1.50	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #341
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 341
1.48/1.51	c Elapsed CPU time: 1.50077 s	Remaining CPU time: 1798.5 s
1.48/1.51	c core #342
1.48/1.51	c Core size: 3	Core Weight: 1	Total Weight: 342
1.48/1.51	c Elapsed CPU time: 1.50577 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #343
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 343
1.48/1.52	c Elapsed CPU time: 1.51077 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #344
1.48/1.52	c Core size: 3	Core Weight: 1	Total Weight: 344
1.48/1.52	c Elapsed CPU time: 1.51577 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #345
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 345
1.48/1.53	c Elapsed CPU time: 1.52177 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #346
1.48/1.53	c Core size: 3	Core Weight: 1	Total Weight: 346
1.48/1.53	c Elapsed CPU time: 1.52677 s	Remaining CPU time: 1798.47 s
1.48/1.54	c core #347
1.48/1.54	c Core size: 3	Core Weight: 1	Total Weight: 347
1.48/1.54	c Elapsed CPU time: 1.53177 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #348
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 348
1.48/1.55	c Elapsed CPU time: 1.53777 s	Remaining CPU time: 1798.46 s
1.48/1.55	c core #349
1.48/1.55	c Core size: 3	Core Weight: 1	Total Weight: 349
1.48/1.55	c Elapsed CPU time: 1.54277 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #350
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 350
1.48/1.56	c Elapsed CPU time: 1.54776 s	Remaining CPU time: 1798.45 s
1.48/1.56	c core #351
1.48/1.56	c Core size: 3	Core Weight: 1	Total Weight: 351
1.48/1.56	c Elapsed CPU time: 1.55376 s	Remaining CPU time: 1798.45 s
1.48/1.57	c core #352
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 352
1.48/1.57	c Elapsed CPU time: 1.55876 s	Remaining CPU time: 1798.44 s
1.48/1.57	c core #353
1.48/1.57	c Core size: 3	Core Weight: 1	Total Weight: 353
1.48/1.57	c Elapsed CPU time: 1.56476 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #354
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 354
1.48/1.58	c Elapsed CPU time: 1.56976 s	Remaining CPU time: 1798.43 s
1.48/1.58	c core #355
1.48/1.58	c Core size: 3	Core Weight: 1	Total Weight: 355
1.48/1.58	c Elapsed CPU time: 1.57476 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #356
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 356
1.48/1.59	c Elapsed CPU time: 1.57976 s	Remaining CPU time: 1798.42 s
1.48/1.59	c core #357
1.48/1.59	c Core size: 3	Core Weight: 1	Total Weight: 357
1.48/1.59	c Elapsed CPU time: 1.58576 s	Remaining CPU time: 1798.41 s
1.58/1.60	c core #358
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 358
1.58/1.60	c Elapsed CPU time: 1.59176 s	Remaining CPU time: 1798.41 s
1.58/1.60	c core #359
1.58/1.60	c Core size: 3	Core Weight: 1	Total Weight: 359
1.58/1.60	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 1798.4 s
1.58/1.61	c core #360
1.58/1.61	c Core size: 3	Core Weight: 1	Total Weight: 360
1.58/1.61	c Elapsed CPU time: 1.60176 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #361
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 361
1.58/1.62	c Elapsed CPU time: 1.60776 s	Remaining CPU time: 1798.39 s
1.58/1.62	c core #362
1.58/1.62	c Core size: 3	Core Weight: 1	Total Weight: 362
1.58/1.62	c Elapsed CPU time: 1.61275 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #363
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 363
1.58/1.63	c Elapsed CPU time: 1.61775 s	Remaining CPU time: 1798.38 s
1.58/1.63	c core #364
1.58/1.63	c Core size: 3	Core Weight: 1	Total Weight: 364
1.58/1.63	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #365
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 365
1.58/1.64	c Elapsed CPU time: 1.62875 s	Remaining CPU time: 1798.37 s
1.58/1.64	c core #366
1.58/1.64	c Core size: 3	Core Weight: 1	Total Weight: 366
1.58/1.64	c Elapsed CPU time: 1.63475 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #367
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 367
1.58/1.65	c Elapsed CPU time: 1.63975 s	Remaining CPU time: 1798.36 s
1.58/1.65	c core #368
1.58/1.65	c Core size: 3	Core Weight: 1	Total Weight: 368
1.58/1.65	c Elapsed CPU time: 1.64575 s	Remaining CPU time: 1798.35 s
1.58/1.66	c core #369
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 369
1.58/1.66	c Elapsed CPU time: 1.65075 s	Remaining CPU time: 1798.35 s
1.58/1.66	c core #370
1.58/1.66	c Core size: 3	Core Weight: 1	Total Weight: 370
1.58/1.66	c Elapsed CPU time: 1.65675 s	Remaining CPU time: 1798.34 s
1.58/1.67	c core #371
1.58/1.67	c Core size: 3	Core Weight: 1	Total Weight: 371
1.58/1.67	c Elapsed CPU time: 1.66175 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #372
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 372
1.58/1.68	c Elapsed CPU time: 1.66775 s	Remaining CPU time: 1798.33 s
1.58/1.68	c core #373
1.58/1.68	c Core size: 3	Core Weight: 1	Total Weight: 373
1.58/1.68	c Elapsed CPU time: 1.67274 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #374
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 374
1.58/1.69	c Elapsed CPU time: 1.67774 s	Remaining CPU time: 1798.32 s
1.58/1.69	c core #375
1.58/1.69	c Core size: 3	Core Weight: 1	Total Weight: 375
1.58/1.69	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.58/1.70	c core #376
1.58/1.70	c Core size: 3	Core Weight: 1	Total Weight: 376
1.58/1.70	c Elapsed CPU time: 1.68874 s	Remaining CPU time: 1798.31 s
1.68/1.70	c core #377
1.68/1.70	c Core size: 3	Core Weight: 1	Total Weight: 377
1.68/1.70	c Elapsed CPU time: 1.69474 s	Remaining CPU time: 1798.31 s
1.68/1.71	c core #378
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 378
1.68/1.71	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 1798.3 s
1.68/1.71	c core #379
1.68/1.71	c Core size: 3	Core Weight: 1	Total Weight: 379
1.68/1.71	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 1798.29 s
1.68/1.72	c core #380
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 380
1.68/1.72	c Elapsed CPU time: 1.71074 s	Remaining CPU time: 1798.29 s
1.68/1.72	c core #381
1.68/1.72	c Core size: 3	Core Weight: 1	Total Weight: 381
1.68/1.72	c Elapsed CPU time: 1.71574 s	Remaining CPU time: 1798.28 s
1.68/1.73	c core #382
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 382
1.68/1.73	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.68/1.73	c core #383
1.68/1.73	c Core size: 3	Core Weight: 1	Total Weight: 383
1.68/1.73	c Elapsed CPU time: 1.72574 s	Remaining CPU time: 1798.27 s
1.68/1.74	c core #384
1.68/1.74	c Core size: 3	Core Weight: 1	Total Weight: 384
1.68/1.74	c Elapsed CPU time: 1.73174 s	Remaining CPU time: 1798.27 s
1.68/1.75	c core #385
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 385
1.68/1.75	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.68/1.75	c core #386
1.68/1.75	c Core size: 3	Core Weight: 1	Total Weight: 386
1.68/1.75	c Elapsed CPU time: 1.74274 s	Remaining CPU time: 1798.26 s
1.68/1.76	c core #387
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 387
1.68/1.76	c Elapsed CPU time: 1.74873 s	Remaining CPU time: 1798.25 s
1.68/1.76	c core #388
1.68/1.76	c Core size: 3	Core Weight: 1	Total Weight: 388
1.68/1.76	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.68/1.77	c core #389
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 389
1.68/1.77	c Elapsed CPU time: 1.75973 s	Remaining CPU time: 1798.24 s
1.68/1.77	c core #390
1.68/1.77	c Core size: 3	Core Weight: 1	Total Weight: 390
1.68/1.77	c Elapsed CPU time: 1.76473 s	Remaining CPU time: 1798.24 s
1.68/1.78	c core #391
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 391
1.68/1.78	c Elapsed CPU time: 1.76973 s	Remaining CPU time: 1798.23 s
1.68/1.78	c core #392
1.68/1.78	c Core size: 3	Core Weight: 1	Total Weight: 392
1.68/1.78	c Elapsed CPU time: 1.77473 s	Remaining CPU time: 1798.23 s
1.68/1.79	c core #393
1.68/1.79	c Core size: 3	Core Weight: 1	Total Weight: 393
1.68/1.79	c Elapsed CPU time: 1.78073 s	Remaining CPU time: 1798.22 s
1.68/1.80	c core #394
1.68/1.80	c Core size: 3	Core Weight: 1	Total Weight: 394
1.68/1.80	c Elapsed CPU time: 1.78573 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #395
1.79/1.80	c Core size: 3	Core Weight: 1	Total Weight: 395
1.79/1.80	c Elapsed CPU time: 1.79173 s	Remaining CPU time: 1798.21 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.79673 s	Remaining CPU time: 1798.2 s
1.79/1.81	c core #397
1.79/1.81	c Core size: 3	Core Weight: 1	Total Weight: 397
1.79/1.81	c Elapsed CPU time: 1.80273 s	Remaining CPU time: 1798.2 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.80773 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #399
1.79/1.82	c Core size: 3	Core Weight: 1	Total Weight: 399
1.79/1.82	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 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.81972 s	Remaining CPU time: 1798.18 s
1.79/1.83	c core #401
1.79/1.83	c Core size: 3	Core Weight: 1	Total Weight: 401
1.79/1.83	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.79/1.84	c core #402
1.79/1.84	c Core size: 3	Core Weight: 1	Total Weight: 402
1.79/1.84	c Elapsed CPU time: 1.83072 s	Remaining CPU time: 1798.17 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.83672 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #404
1.79/1.85	c Core size: 3	Core Weight: 1	Total Weight: 404
1.79/1.85	c Elapsed CPU time: 1.84172 s	Remaining CPU time: 1798.16 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.84772 s	Remaining CPU time: 1798.15 s
1.79/1.86	c core #406
1.79/1.86	c Core size: 3	Core Weight: 1	Total Weight: 406
1.79/1.86	c Elapsed CPU time: 1.85372 s	Remaining CPU time: 1798.15 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.85872 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #408
1.79/1.87	c Core size: 3	Core Weight: 1	Total Weight: 408
1.79/1.87	c Elapsed CPU time: 1.86472 s	Remaining CPU time: 1798.14 s
1.79/1.88	c core #409
1.79/1.88	c Core size: 3	Core Weight: 1	Total Weight: 409
1.79/1.88	c Elapsed CPU time: 1.87072 s	Remaining CPU time: 1798.13 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.87571 s	Remaining CPU time: 1798.12 s
1.79/1.89	c core #411
1.79/1.89	c Core size: 3	Core Weight: 1	Total Weight: 411
1.79/1.89	c Elapsed CPU time: 1.88171 s	Remaining CPU time: 1798.12 s
1.89/1.90	c core #412
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 412
1.89/1.90	c Elapsed CPU time: 1.88771 s	Remaining CPU time: 1798.11 s
1.89/1.90	c core #413
1.89/1.90	c Core size: 3	Core Weight: 1	Total Weight: 413
1.89/1.90	c Elapsed CPU time: 1.89271 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #414
1.89/1.91	c Core size: 3	Core Weight: 1	Total Weight: 414
1.89/1.91	c Elapsed CPU time: 1.89871 s	Remaining CPU time: 1798.1 s
1.89/1.91	c core #415
1.89/1.91	c Core size: 3	Core Weight: 1	Total Weight: 415
1.89/1.91	c Elapsed CPU time: 1.90471 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #416
1.89/1.92	c Core size: 3	Core Weight: 1	Total Weight: 416
1.89/1.92	c Elapsed CPU time: 1.90971 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #417
1.89/1.93	c Core size: 3	Core Weight: 1	Total Weight: 417
1.89/1.93	c Elapsed CPU time: 1.91571 s	Remaining CPU time: 1798.08 s
1.89/1.93	c core #418
1.89/1.93	c Core size: 3	Core Weight: 1	Total Weight: 418
1.89/1.93	c Elapsed CPU time: 1.92171 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #419
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 419
1.89/1.94	c Elapsed CPU time: 1.92771 s	Remaining CPU time: 1798.07 s
1.89/1.94	c core #420
1.89/1.94	c Core size: 3	Core Weight: 1	Total Weight: 420
1.89/1.94	c Elapsed CPU time: 1.93371 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #421
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 421
1.89/1.95	c Elapsed CPU time: 1.93871 s	Remaining CPU time: 1798.06 s
1.89/1.95	c core #422
1.89/1.95	c Core size: 3	Core Weight: 1	Total Weight: 422
1.89/1.95	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #423
1.89/1.96	c Core size: 3	Core Weight: 1	Total Weight: 423
1.89/1.96	c Elapsed CPU time: 1.9507 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #424
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 424
1.89/1.97	c Elapsed CPU time: 1.9567 s	Remaining CPU time: 1798.04 s
1.89/1.97	c core #425
1.89/1.97	c Core size: 3	Core Weight: 1	Total Weight: 425
1.89/1.97	c Elapsed CPU time: 1.9617 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #426
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 426
1.89/1.98	c Elapsed CPU time: 1.9677 s	Remaining CPU time: 1798.03 s
1.89/1.98	c core #427
1.89/1.98	c Core size: 3	Core Weight: 1	Total Weight: 427
1.89/1.98	c Elapsed CPU time: 1.9737 s	Remaining CPU time: 1798.03 s
1.89/1.99	c core #428
1.89/1.99	c Core size: 3	Core Weight: 1	Total Weight: 428
1.89/1.99	c Elapsed CPU time: 1.9797 s	Remaining CPU time: 1798.02 s
1.89/2.00	c core #429
1.89/2.00	c Core size: 3	Core Weight: 1	Total Weight: 429
1.89/2.00	c Elapsed CPU time: 1.9847 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #430
1.99/2.00	c Core size: 3	Core Weight: 1	Total Weight: 430
1.99/2.00	c Elapsed CPU time: 1.9907 s	Remaining CPU time: 1798.01 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: 1.9967 s	Remaining CPU time: 1798 s
1.99/2.01	c core #432
1.99/2.01	c Core size: 3	Core Weight: 1	Total Weight: 432
1.99/2.01	c Elapsed CPU time: 2.0027 s	Remaining CPU time: 1798 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.00769 s	Remaining CPU time: 1797.99 s
1.99/2.02	c core #434
1.99/2.02	c Core size: 3	Core Weight: 1	Total Weight: 434
1.99/2.02	c Elapsed CPU time: 2.01369 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #435
1.99/2.03	c Core size: 3	Core Weight: 1	Total Weight: 435
1.99/2.03	c Elapsed CPU time: 2.01969 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.02569 s	Remaining CPU time: 1797.97 s
1.99/2.04	c core #437
1.99/2.04	c Core size: 3	Core Weight: 1	Total Weight: 437
1.99/2.04	c Elapsed CPU time: 2.03169 s	Remaining CPU time: 1797.97 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.03769 s	Remaining CPU time: 1797.96 s
1.99/2.05	c core #439
1.99/2.05	c Core size: 3	Core Weight: 1	Total Weight: 439
1.99/2.05	c Elapsed CPU time: 2.04369 s	Remaining CPU time: 1797.96 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.04869 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.05469 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #442
1.99/2.07	c Core size: 3	Core Weight: 1	Total Weight: 442
1.99/2.07	c Elapsed CPU time: 2.06069 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.06669 s	Remaining CPU time: 1797.93 s
1.99/2.08	c core #444
1.99/2.08	c Core size: 3	Core Weight: 1	Total Weight: 444
1.99/2.08	c Elapsed CPU time: 2.07268 s	Remaining CPU time: 1797.93 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.07868 s	Remaining CPU time: 1797.92 s
1.99/2.09	c core #446
1.99/2.09	c Core size: 3	Core Weight: 1	Total Weight: 446
1.99/2.09	c Elapsed CPU time: 2.08468 s	Remaining CPU time: 1797.92 s
1.99/2.10	c core #447
1.99/2.10	c Core size: 3	Core Weight: 1	Total Weight: 447
1.99/2.10	c Elapsed CPU time: 2.08968 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.09568 s	Remaining CPU time: 1797.9 s
2.09/2.11	c core #449
2.09/2.11	c Core size: 3	Core Weight: 1	Total Weight: 449
2.09/2.11	c Elapsed CPU time: 2.10168 s	Remaining CPU time: 1797.9 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.10768 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.11468 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #452
2.09/2.13	c Core size: 3	Core Weight: 1	Total Weight: 452
2.09/2.13	c Elapsed CPU time: 2.12068 s	Remaining CPU time: 1797.88 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.12668 s	Remaining CPU time: 1797.87 s
2.09/2.14	c core #454
2.09/2.14	c Core size: 3	Core Weight: 1	Total Weight: 454
2.09/2.14	c Elapsed CPU time: 2.13267 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #455
2.09/2.15	c Core size: 3	Core Weight: 1	Total Weight: 455
2.09/2.15	c Elapsed CPU time: 2.13867 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.14467 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #457
2.09/2.16	c Core size: 3	Core Weight: 1	Total Weight: 457
2.09/2.16	c Elapsed CPU time: 2.15167 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #458
2.09/2.17	c Core size: 3	Core Weight: 1	Total Weight: 458
2.09/2.17	c Elapsed CPU time: 2.15767 s	Remaining CPU time: 1797.84 s
2.09/2.17	c core #459
2.09/2.17	c Core size: 3	Core Weight: 1	Total Weight: 459
2.09/2.17	c Elapsed CPU time: 2.16367 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #460
2.09/2.18	c Core size: 3	Core Weight: 1	Total Weight: 460
2.09/2.18	c Elapsed CPU time: 2.16967 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.17567 s	Remaining CPU time: 1797.82 s
2.09/2.19	c core #462
2.09/2.19	c Core size: 3	Core Weight: 1	Total Weight: 462
2.09/2.19	c Elapsed CPU time: 2.18167 s	Remaining CPU time: 1797.82 s
2.09/2.20	c core #463
2.09/2.20	c Core size: 3	Core Weight: 1	Total Weight: 463
2.09/2.20	c Elapsed CPU time: 2.18767 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.19367 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #465
2.19/2.21	c Core size: 3	Core Weight: 1	Total Weight: 465
2.19/2.21	c Elapsed CPU time: 2.19966 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #466
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 466
2.19/2.22	c Elapsed CPU time: 2.20666 s	Remaining CPU time: 1797.79 s
2.19/2.22	c core #467
2.19/2.22	c Core size: 3	Core Weight: 1	Total Weight: 467
2.19/2.22	c Elapsed CPU time: 2.21266 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #468
2.19/2.23	c Core size: 3	Core Weight: 1	Total Weight: 468
2.19/2.23	c Elapsed CPU time: 2.21866 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.22466 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #470
2.19/2.24	c Core size: 3	Core Weight: 1	Total Weight: 470
2.19/2.24	c Elapsed CPU time: 2.23066 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #471
2.19/2.25	c Core size: 3	Core Weight: 1	Total Weight: 471
2.19/2.25	c Elapsed CPU time: 2.23666 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.24366 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #473
2.19/2.26	c Core size: 3	Core Weight: 1	Total Weight: 473
2.19/2.26	c Elapsed CPU time: 2.24966 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #474
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 474
2.19/2.27	c Elapsed CPU time: 2.25566 s	Remaining CPU time: 1797.74 s
2.19/2.27	c core #475
2.19/2.27	c Core size: 3	Core Weight: 1	Total Weight: 475
2.19/2.27	c Elapsed CPU time: 2.26266 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #476
2.19/2.28	c Core size: 3	Core Weight: 1	Total Weight: 476
2.19/2.28	c Elapsed CPU time: 2.26865 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.27565 s	Remaining CPU time: 1797.72 s
2.19/2.29	c core #478
2.19/2.29	c Core size: 3	Core Weight: 1	Total Weight: 478
2.19/2.29	c Elapsed CPU time: 2.28165 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #479
2.29/2.30	c Core size: 3	Core Weight: 1	Total Weight: 479
2.29/2.30	c Elapsed CPU time: 2.28765 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #480
2.29/2.31	c Core size: 3	Core Weight: 1	Total Weight: 480
2.29/2.31	c Elapsed CPU time: 2.29365 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #481
2.29/2.31	c Core size: 3	Core Weight: 1	Total Weight: 481
2.29/2.31	c Elapsed CPU time: 2.29965 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #482
2.29/2.32	c Core size: 3	Core Weight: 1	Total Weight: 482
2.29/2.32	c Elapsed CPU time: 2.30665 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #483
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 483
2.29/2.33	c Elapsed CPU time: 2.31265 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #484
2.29/2.33	c Core size: 3	Core Weight: 1	Total Weight: 484
2.29/2.33	c Elapsed CPU time: 2.31965 s	Remaining CPU time: 1797.68 s
2.29/2.34	c core #485
2.29/2.34	c Core size: 3	Core Weight: 1	Total Weight: 485
2.29/2.34	c Elapsed CPU time: 2.32565 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #486
2.29/2.35	c Core size: 3	Core Weight: 1	Total Weight: 486
2.29/2.35	c Elapsed CPU time: 2.33164 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #487
2.29/2.35	c Core size: 3	Core Weight: 1	Total Weight: 487
2.29/2.35	c Elapsed CPU time: 2.33764 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #488
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 488
2.29/2.36	c Elapsed CPU time: 2.34364 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #489
2.29/2.36	c Core size: 3	Core Weight: 1	Total Weight: 489
2.29/2.36	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #490
2.29/2.37	c Core size: 3	Core Weight: 1	Total Weight: 490
2.29/2.37	c Elapsed CPU time: 2.35764 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #491
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 491
2.29/2.38	c Elapsed CPU time: 2.36364 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #492
2.29/2.38	c Core size: 3	Core Weight: 1	Total Weight: 492
2.29/2.38	c Elapsed CPU time: 2.37064 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #493
2.29/2.39	c Core size: 3	Core Weight: 1	Total Weight: 493
2.29/2.39	c Elapsed CPU time: 2.37664 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #494
2.39/2.40	c Core size: 3	Core Weight: 1	Total Weight: 494
2.39/2.40	c Elapsed CPU time: 2.38364 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #495
2.39/2.40	c Core size: 3	Core Weight: 1	Total Weight: 495
2.39/2.40	c Elapsed CPU time: 2.38964 s	Remaining CPU time: 1797.61 s
2.39/2.41	c core #496
2.39/2.41	c Core size: 3	Core Weight: 1	Total Weight: 496
2.39/2.41	c Elapsed CPU time: 2.39663 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #497
2.39/2.42	c Core size: 3	Core Weight: 1	Total Weight: 497
2.39/2.42	c Elapsed CPU time: 2.40263 s	Remaining CPU time: 1797.6 s
2.39/2.42	c core #498
2.39/2.42	c Core size: 3	Core Weight: 1	Total Weight: 498
2.39/2.42	c Elapsed CPU time: 2.40963 s	Remaining CPU time: 1797.59 s
2.39/2.43	c core #499
2.39/2.43	c Core size: 3	Core Weight: 1	Total Weight: 499
2.39/2.43	c Elapsed CPU time: 2.41563 s	Remaining CPU time: 1797.58 s
2.39/2.44	c core #500
2.39/2.44	c Core size: 3	Core Weight: 1	Total Weight: 500
2.39/2.44	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 1797.58 s
2.39/2.44	c core #501
2.39/2.44	c Core size: 3	Core Weight: 1	Total Weight: 501
2.39/2.44	c Elapsed CPU time: 2.42963 s	Remaining CPU time: 1797.57 s
2.39/2.45	c core #502
2.39/2.45	c Core size: 3	Core Weight: 1	Total Weight: 502
2.39/2.45	c Elapsed CPU time: 2.43563 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #503
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 503
2.39/2.46	c Elapsed CPU time: 2.44263 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #504
2.39/2.46	c Core size: 3	Core Weight: 1	Total Weight: 504
2.39/2.46	c Elapsed CPU time: 2.44863 s	Remaining CPU time: 1797.55 s
2.39/2.47	c core #505
2.39/2.47	c Core size: 3	Core Weight: 1	Total Weight: 505
2.39/2.47	c Elapsed CPU time: 2.45563 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #506
2.39/2.48	c Core size: 3	Core Weight: 1	Total Weight: 506
2.39/2.48	c Elapsed CPU time: 2.46163 s	Remaining CPU time: 1797.54 s
2.39/2.48	c core #507
2.39/2.48	c Core size: 3	Core Weight: 1	Total Weight: 507
2.39/2.48	c Elapsed CPU time: 2.46762 s	Remaining CPU time: 1797.53 s
2.39/2.49	c core #508
2.39/2.49	c Core size: 3	Core Weight: 1	Total Weight: 508
2.39/2.49	c Elapsed CPU time: 2.47362 s	Remaining CPU time: 1797.53 s
2.39/2.50	c core #509
2.39/2.50	c Core size: 3	Core Weight: 1	Total Weight: 509
2.39/2.50	c Elapsed CPU time: 2.47962 s	Remaining CPU time: 1797.52 s
2.49/2.50	c core #510
2.49/2.50	c Core size: 3	Core Weight: 1	Total Weight: 510
2.49/2.50	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 1797.51 s
2.49/2.51	c core #511
2.49/2.51	c Core size: 3	Core Weight: 1	Total Weight: 511
2.49/2.51	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 1797.51 s
2.49/2.52	c core #512
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 512
2.49/2.52	c Elapsed CPU time: 2.49862 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #513
2.49/2.52	c Core size: 3	Core Weight: 1	Total Weight: 513
2.49/2.52	c Elapsed CPU time: 2.50562 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #514
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 514
2.49/2.53	c Elapsed CPU time: 2.51162 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #515
2.49/2.53	c Core size: 3	Core Weight: 1	Total Weight: 515
2.49/2.53	c Elapsed CPU time: 2.51862 s	Remaining CPU time: 1797.48 s
2.49/2.54	c core #516
2.49/2.54	c Core size: 3	Core Weight: 1	Total Weight: 516
2.49/2.54	c Elapsed CPU time: 2.52462 s	Remaining CPU time: 1797.48 s
2.49/2.55	c core #517
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 517
2.49/2.55	c Elapsed CPU time: 2.53161 s	Remaining CPU time: 1797.47 s
2.49/2.55	c core #518
2.49/2.55	c Core size: 3	Core Weight: 1	Total Weight: 518
2.49/2.55	c Elapsed CPU time: 2.53761 s	Remaining CPU time: 1797.46 s
2.49/2.56	c core #519
2.49/2.56	c Core size: 3	Core Weight: 1	Total Weight: 519
2.49/2.56	c Elapsed CPU time: 2.54361 s	Remaining CPU time: 1797.46 s
2.49/2.57	c core #520
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 520
2.49/2.57	c Elapsed CPU time: 2.54961 s	Remaining CPU time: 1797.45 s
2.49/2.57	c core #521
2.49/2.57	c Core size: 3	Core Weight: 1	Total Weight: 521
2.49/2.57	c Elapsed CPU time: 2.55661 s	Remaining CPU time: 1797.44 s
2.49/2.58	c core #522
2.49/2.58	c Core size: 3	Core Weight: 1	Total Weight: 522
2.49/2.58	c Elapsed CPU time: 2.56361 s	Remaining CPU time: 1797.44 s
2.49/2.59	c core #523
2.49/2.59	c Core size: 3	Core Weight: 1	Total Weight: 523
2.49/2.59	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 1797.43 s
2.49/2.59	c core #524
2.49/2.59	c Core size: 3	Core Weight: 1	Total Weight: 524
2.49/2.59	c Elapsed CPU time: 2.57661 s	Remaining CPU time: 1797.42 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.58261 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.58961 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.5956 s	Remaining CPU time: 1797.4 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.6026 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.6086 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.6156 s	Remaining CPU time: 1797.38 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.6216 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.6286 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.6346 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.6406 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.6476 s	Remaining CPU time: 1797.35 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.6536 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.66059 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.66759 s	Remaining CPU time: 1797.33 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.67359 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.68059 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.68759 s	Remaining CPU time: 1797.31 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.69359 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.69959 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.70659 s	Remaining CPU time: 1797.29 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.71359 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.71959 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.72659 s	Remaining CPU time: 1797.27 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.73358 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.73858 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.74558 s	Remaining CPU time: 1797.25 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.75258 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.75958 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.76658 s	Remaining CPU time: 1797.23 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.77358 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.78058 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.78758 s	Remaining CPU time: 1797.21 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.79358 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.80057 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.80757 s	Remaining CPU time: 1797.19 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.81357 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.82057 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.82757 s	Remaining CPU time: 1797.17 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.83357 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.83957 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.84657 s	Remaining CPU time: 1797.15 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.85357 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.86057 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.86756 s	Remaining CPU time: 1797.13 s
2.78/2.90	c core #569
2.78/2.90	c Core size: 3	Core Weight: 1	Total Weight: 569
2.78/2.90	c Elapsed CPU time: 2.87356 s	Remaining CPU time: 1797.13 s
2.88/2.90	c core #570
2.88/2.90	c Core size: 3	Core Weight: 1	Total Weight: 570
2.88/2.90	c Elapsed CPU time: 2.87956 s	Remaining CPU time: 1797.12 s
2.88/2.91	c core #571
2.88/2.91	c Core size: 3	Core Weight: 1	Total Weight: 571
2.88/2.91	c Elapsed CPU time: 2.88656 s	Remaining CPU time: 1797.11 s
2.88/2.92	c core #572
2.88/2.92	c Core size: 3	Core Weight: 1	Total Weight: 572
2.88/2.92	c Elapsed CPU time: 2.89356 s	Remaining CPU time: 1797.11 s
2.88/2.92	c core #573
2.88/2.92	c Core size: 3	Core Weight: 1	Total Weight: 573
2.88/2.92	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.88/2.93	c core #574
2.88/2.93	c Core size: 3	Core Weight: 1	Total Weight: 574
2.88/2.93	c Elapsed CPU time: 2.90756 s	Remaining CPU time: 1797.09 s
2.88/2.94	c core #575
2.88/2.94	c Core size: 3	Core Weight: 1	Total Weight: 575
2.88/2.94	c Elapsed CPU time: 2.91456 s	Remaining CPU time: 1797.09 s
2.88/2.94	c core #576
2.88/2.94	c Core size: 3	Core Weight: 1	Total Weight: 576
2.88/2.94	c Elapsed CPU time: 2.92156 s	Remaining CPU time: 1797.08 s
2.88/2.95	c core #577
2.88/2.95	c Core size: 3	Core Weight: 1	Total Weight: 577
2.88/2.95	c Elapsed CPU time: 2.92855 s	Remaining CPU time: 1797.07 s
2.88/2.96	c core #578
2.88/2.96	c Core size: 3	Core Weight: 1	Total Weight: 578
2.88/2.96	c Elapsed CPU time: 2.93555 s	Remaining CPU time: 1797.06 s
2.88/2.96	c core #579
2.88/2.96	c Core size: 3	Core Weight: 1	Total Weight: 579
2.88/2.96	c Elapsed CPU time: 2.94155 s	Remaining CPU time: 1797.06 s
2.88/2.97	c core #580
2.88/2.97	c Core size: 3	Core Weight: 1	Total Weight: 580
2.88/2.97	c Elapsed CPU time: 2.94855 s	Remaining CPU time: 1797.05 s
2.88/2.98	c core #581
2.88/2.98	c Core size: 3	Core Weight: 1	Total Weight: 581
2.88/2.98	c Elapsed CPU time: 2.95455 s	Remaining CPU time: 1797.05 s
2.88/2.99	c core #582
2.88/2.99	c Core size: 3	Core Weight: 1	Total Weight: 582
2.88/2.99	c Elapsed CPU time: 2.96055 s	Remaining CPU time: 1797.04 s
2.88/2.99	c core #583
2.88/2.99	c Core size: 3	Core Weight: 1	Total Weight: 583
2.88/2.99	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 1797.03 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.97455 s	Remaining CPU time: 1797.03 s
2.98/3.01	c core #585
2.98/3.01	c Core size: 3	Core Weight: 1	Total Weight: 585
2.98/3.01	c Elapsed CPU time: 2.98155 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.98855 s	Remaining CPU time: 1797.01 s
2.98/3.02	c core #587
2.98/3.02	c Core size: 3	Core Weight: 1	Total Weight: 587
2.98/3.02	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 1797 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: 3.00254 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.04	c Elapsed CPU time: 3.00954 s	Remaining CPU time: 1796.99 s
2.98/3.04	c core #590
2.98/3.04	c Core size: 3	Core Weight: 1	Total Weight: 590
2.98/3.04	c Elapsed CPU time: 3.01654 s	Remaining CPU time: 1796.98 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.02354 s	Remaining CPU time: 1796.98 s
2.98/3.06	c core #592
2.98/3.06	c Core size: 3	Core Weight: 1	Total Weight: 592
2.98/3.06	c Elapsed CPU time: 3.03054 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.03654 s	Remaining CPU time: 1796.96 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.04354 s	Remaining CPU time: 1796.96 s
2.98/3.08	c core #595
2.98/3.08	c Core size: 3	Core Weight: 1	Total Weight: 595
2.98/3.08	c Elapsed CPU time: 3.04954 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.05553 s	Remaining CPU time: 1796.94 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.06153 s	Remaining CPU time: 1796.94 s
3.07/3.10	c core #598
3.07/3.10	c Core size: 3	Core Weight: 1	Total Weight: 598
3.07/3.10	c Elapsed CPU time: 3.06853 s	Remaining CPU time: 1796.93 s
3.07/3.11	c core #599
3.07/3.11	c Core size: 3	Core Weight: 1	Total Weight: 599
3.07/3.11	c Elapsed CPU time: 3.07553 s	Remaining CPU time: 1796.92 s
3.07/3.11	c core #600
3.07/3.11	c Core size: 3	Core Weight: 1	Total Weight: 600
3.07/3.11	c Elapsed CPU time: 3.08253 s	Remaining CPU time: 1796.92 s
3.07/3.12	c core #601
3.07/3.12	c Core size: 3	Core Weight: 1	Total Weight: 601
3.07/3.12	c Elapsed CPU time: 3.08953 s	Remaining CPU time: 1796.91 s
3.07/3.13	c core #602
3.07/3.13	c Core size: 3	Core Weight: 1	Total Weight: 602
3.07/3.13	c Elapsed CPU time: 3.09653 s	Remaining CPU time: 1796.9 s
3.07/3.13	c core #603
3.07/3.13	c Core size: 3	Core Weight: 1	Total Weight: 603
3.07/3.13	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 1796.9 s
3.07/3.14	c core #604
3.07/3.14	c Core size: 3	Core Weight: 1	Total Weight: 604
3.07/3.14	c Elapsed CPU time: 3.11053 s	Remaining CPU time: 1796.89 s
3.07/3.15	c core #605
3.07/3.15	c Core size: 3	Core Weight: 1	Total Weight: 605
3.07/3.15	c Elapsed CPU time: 3.11753 s	Remaining CPU time: 1796.88 s
3.07/3.16	c core #606
3.07/3.16	c Core size: 3	Core Weight: 1	Total Weight: 606
3.07/3.16	c Elapsed CPU time: 3.12552 s	Remaining CPU time: 1796.87 s
3.07/3.16	c core #607
3.07/3.16	c Core size: 3	Core Weight: 1	Total Weight: 607
3.07/3.16	c Elapsed CPU time: 3.13252 s	Remaining CPU time: 1796.87 s
3.07/3.17	c core #608
3.07/3.17	c Core size: 3	Core Weight: 1	Total Weight: 608
3.07/3.17	c Elapsed CPU time: 3.13952 s	Remaining CPU time: 1796.86 s
3.07/3.18	c core #609
3.07/3.18	c Core size: 3	Core Weight: 1	Total Weight: 609
3.07/3.18	c Elapsed CPU time: 3.14652 s	Remaining CPU time: 1796.85 s
3.07/3.18	c core #610
3.07/3.18	c Core size: 3	Core Weight: 1	Total Weight: 610
3.07/3.18	c Elapsed CPU time: 3.15352 s	Remaining CPU time: 1796.85 s
3.07/3.19	c core #611
3.07/3.19	c Core size: 3	Core Weight: 1	Total Weight: 611
3.07/3.19	c Elapsed CPU time: 3.16052 s	Remaining CPU time: 1796.84 s
3.07/3.20	c core #612
3.07/3.20	c Core size: 3	Core Weight: 1	Total Weight: 612
3.07/3.20	c Elapsed CPU time: 3.16752 s	Remaining CPU time: 1796.83 s
3.17/3.21	c core #613
3.17/3.21	c Core size: 3	Core Weight: 1	Total Weight: 613
3.17/3.21	c Elapsed CPU time: 3.17452 s	Remaining CPU time: 1796.83 s
3.17/3.21	c core #614
3.17/3.21	c Core size: 3	Core Weight: 1	Total Weight: 614
3.17/3.21	c Elapsed CPU time: 3.18152 s	Remaining CPU time: 1796.82 s
3.17/3.22	c core #615
3.17/3.22	c Core size: 3	Core Weight: 1	Total Weight: 615
3.17/3.22	c Elapsed CPU time: 3.18851 s	Remaining CPU time: 1796.81 s
3.17/3.23	c core #616
3.17/3.23	c Core size: 3	Core Weight: 1	Total Weight: 616
3.17/3.23	c Elapsed CPU time: 3.19651 s	Remaining CPU time: 1796.8 s
3.17/3.23	c core #617
3.17/3.23	c Core size: 3	Core Weight: 1	Total Weight: 617
3.17/3.23	c Elapsed CPU time: 3.20351 s	Remaining CPU time: 1796.8 s
3.17/3.24	c core #618
3.17/3.24	c Core size: 3	Core Weight: 1	Total Weight: 618
3.17/3.24	c Elapsed CPU time: 3.21051 s	Remaining CPU time: 1796.79 s
3.17/3.25	c core #619
3.17/3.25	c Core size: 3	Core Weight: 1	Total Weight: 619
3.17/3.25	c Elapsed CPU time: 3.21751 s	Remaining CPU time: 1796.78 s
3.17/3.26	c core #620
3.17/3.26	c Core size: 3	Core Weight: 1	Total Weight: 620
3.17/3.26	c Elapsed CPU time: 3.22451 s	Remaining CPU time: 1796.78 s
3.17/3.26	c core #621
3.17/3.26	c Core size: 3	Core Weight: 1	Total Weight: 621
3.17/3.26	c Elapsed CPU time: 3.23151 s	Remaining CPU time: 1796.77 s
3.17/3.27	c core #622
3.17/3.27	c Core size: 3	Core Weight: 1	Total Weight: 622
3.17/3.27	c Elapsed CPU time: 3.23951 s	Remaining CPU time: 1796.76 s
3.17/3.28	c core #623
3.17/3.28	c Core size: 3	Core Weight: 1	Total Weight: 623
3.17/3.28	c Elapsed CPU time: 3.24651 s	Remaining CPU time: 1796.75 s
3.17/3.28	c core #624
3.17/3.28	c Core size: 3	Core Weight: 1	Total Weight: 624
3.17/3.28	c Elapsed CPU time: 3.25351 s	Remaining CPU time: 1796.75 s
3.17/3.29	c core #625
3.17/3.29	c Core size: 3	Core Weight: 1	Total Weight: 625
3.17/3.29	c Elapsed CPU time: 3.2605 s	Remaining CPU time: 1796.74 s
3.17/3.30	c core #626
3.17/3.30	c Core size: 3	Core Weight: 1	Total Weight: 626
3.17/3.30	c Elapsed CPU time: 3.2675 s	Remaining CPU time: 1796.73 s
3.27/3.31	c core #627
3.27/3.31	c Core size: 3	Core Weight: 1	Total Weight: 627
3.27/3.31	c Elapsed CPU time: 3.2745 s	Remaining CPU time: 1796.73 s
3.27/3.31	c core #628
3.27/3.31	c Core size: 3	Core Weight: 1	Total Weight: 628
3.27/3.31	c Elapsed CPU time: 3.2815 s	Remaining CPU time: 1796.72 s
3.27/3.32	c core #629
3.27/3.32	c Core size: 3	Core Weight: 1	Total Weight: 629
3.27/3.32	c Elapsed CPU time: 3.2885 s	Remaining CPU time: 1796.71 s
3.27/3.33	c core #630
3.27/3.33	c Core size: 3	Core Weight: 1	Total Weight: 630
3.27/3.33	c Elapsed CPU time: 3.2955 s	Remaining CPU time: 1796.7 s
3.27/3.34	c core #631
3.27/3.34	c Core size: 3	Core Weight: 1	Total Weight: 631
3.27/3.34	c Elapsed CPU time: 3.3025 s	Remaining CPU time: 1796.7 s
3.27/3.34	c core #632
3.27/3.34	c Core size: 3	Core Weight: 1	Total Weight: 632
3.27/3.34	c Elapsed CPU time: 3.3095 s	Remaining CPU time: 1796.69 s
3.27/3.35	c core #633
3.27/3.35	c Core size: 3	Core Weight: 1	Total Weight: 633
3.27/3.35	c Elapsed CPU time: 3.3165 s	Remaining CPU time: 1796.68 s
3.27/3.36	c core #634
3.27/3.36	c Core size: 3	Core Weight: 1	Total Weight: 634
3.27/3.36	c Elapsed CPU time: 3.32449 s	Remaining CPU time: 1796.68 s
3.27/3.36	c core #635
3.27/3.36	c Core size: 3	Core Weight: 1	Total Weight: 635
3.27/3.36	c Elapsed CPU time: 3.33049 s	Remaining CPU time: 1796.67 s
3.27/3.37	c core #636
3.27/3.37	c Core size: 3	Core Weight: 1	Total Weight: 636
3.27/3.37	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.27/3.38	c core #637
3.27/3.38	c Core size: 3	Core Weight: 1	Total Weight: 637
3.27/3.38	c Elapsed CPU time: 3.34549 s	Remaining CPU time: 1796.65 s
3.27/3.39	c core #638
3.27/3.39	c Core size: 3	Core Weight: 1	Total Weight: 638
3.27/3.39	c Elapsed CPU time: 3.35249 s	Remaining CPU time: 1796.65 s
3.27/3.39	c core #639
3.27/3.39	c Core size: 3	Core Weight: 1	Total Weight: 639
3.27/3.39	c Elapsed CPU time: 3.36049 s	Remaining CPU time: 1796.64 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.36749 s	Remaining CPU time: 1796.63 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.37449 s	Remaining CPU time: 1796.63 s
3.37/3.42	c core #642
3.37/3.42	c Core size: 3	Core Weight: 1	Total Weight: 642
3.37/3.42	c Elapsed CPU time: 3.38149 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.38848 s	Remaining CPU time: 1796.61 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.39548 s	Remaining CPU time: 1796.6 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.40248 s	Remaining CPU time: 1796.6 s
3.37/3.45	c core #646
3.37/3.45	c Core size: 3	Core Weight: 1	Total Weight: 646
3.37/3.45	c Elapsed CPU time: 3.40948 s	Remaining CPU time: 1796.59 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.41648 s	Remaining CPU time: 1796.58 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.42348 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.43048 s	Remaining CPU time: 1796.57 s
3.37/3.48	c core #650
3.37/3.48	c Core size: 3	Core Weight: 1	Total Weight: 650
3.37/3.48	c Elapsed CPU time: 3.43848 s	Remaining CPU time: 1796.56 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.44548 s	Remaining CPU time: 1796.55 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.45248 s	Remaining CPU time: 1796.55 s
3.46/3.50	c core #653
3.46/3.50	c Core size: 3	Core Weight: 1	Total Weight: 653
3.46/3.50	c Elapsed CPU time: 3.46047 s	Remaining CPU time: 1796.54 s
3.46/3.51	c core #654
3.46/3.51	c Core size: 3	Core Weight: 1	Total Weight: 654
3.46/3.51	c Elapsed CPU time: 3.46747 s	Remaining CPU time: 1796.53 s
3.46/3.51	c core #655
3.46/3.51	c Core size: 3	Core Weight: 1	Total Weight: 655
3.46/3.51	c Elapsed CPU time: 3.47447 s	Remaining CPU time: 1796.53 s
3.46/3.52	c core #656
3.46/3.52	c Core size: 3	Core Weight: 1	Total Weight: 656
3.46/3.52	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 1796.52 s
3.46/3.53	c core #657
3.46/3.53	c Core size: 3	Core Weight: 1	Total Weight: 657
3.46/3.53	c Elapsed CPU time: 3.48847 s	Remaining CPU time: 1796.51 s
3.46/3.54	c core #658
3.46/3.54	c Core size: 3	Core Weight: 1	Total Weight: 658
3.46/3.54	c Elapsed CPU time: 3.49547 s	Remaining CPU time: 1796.5 s
3.46/3.54	c core #659
3.46/3.54	c Core size: 3	Core Weight: 1	Total Weight: 659
3.46/3.54	c Elapsed CPU time: 3.50347 s	Remaining CPU time: 1796.5 s
3.46/3.55	c core #660
3.46/3.55	c Core size: 3	Core Weight: 1	Total Weight: 660
3.46/3.55	c Elapsed CPU time: 3.51047 s	Remaining CPU time: 1796.49 s
3.46/3.56	c core #661
3.46/3.56	c Core size: 3	Core Weight: 1	Total Weight: 661
3.46/3.56	c Elapsed CPU time: 3.51747 s	Remaining CPU time: 1796.48 s
3.46/3.57	c core #662
3.46/3.57	c Core size: 3	Core Weight: 1	Total Weight: 662
3.46/3.57	c Elapsed CPU time: 3.52446 s	Remaining CPU time: 1796.48 s
3.46/3.57	c core #663
3.46/3.57	c Core size: 3	Core Weight: 1	Total Weight: 663
3.46/3.57	c Elapsed CPU time: 3.53246 s	Remaining CPU time: 1796.47 s
3.46/3.58	c core #664
3.46/3.58	c Core size: 3	Core Weight: 1	Total Weight: 664
3.46/3.58	c Elapsed CPU time: 3.53946 s	Remaining CPU time: 1796.46 s
3.46/3.59	c core #665
3.46/3.59	c Core size: 3	Core Weight: 1	Total Weight: 665
3.46/3.59	c Elapsed CPU time: 3.54746 s	Remaining CPU time: 1796.45 s
3.46/3.60	c core #666
3.46/3.60	c Core size: 3	Core Weight: 1	Total Weight: 666
3.46/3.60	c Elapsed CPU time: 3.55446 s	Remaining CPU time: 1796.45 s
3.56/3.60	c core #667
3.56/3.60	c Core size: 3	Core Weight: 1	Total Weight: 667
3.56/3.60	c Elapsed CPU time: 3.56246 s	Remaining CPU time: 1796.44 s
3.56/3.61	c core #668
3.56/3.61	c Core size: 3	Core Weight: 1	Total Weight: 668
3.56/3.61	c Elapsed CPU time: 3.56946 s	Remaining CPU time: 1796.43 s
3.56/3.62	c core #669
3.56/3.62	c Core size: 3	Core Weight: 1	Total Weight: 669
3.56/3.62	c Elapsed CPU time: 3.57646 s	Remaining CPU time: 1796.42 s
3.56/3.63	c core #670
3.56/3.63	c Core size: 3	Core Weight: 1	Total Weight: 670
3.56/3.63	c Elapsed CPU time: 3.58345 s	Remaining CPU time: 1796.42 s
3.56/3.63	c core #671
3.56/3.63	c Core size: 3	Core Weight: 1	Total Weight: 671
3.56/3.63	c Elapsed CPU time: 3.59145 s	Remaining CPU time: 1796.41 s
3.56/3.64	c core #672
3.56/3.64	c Core size: 3	Core Weight: 1	Total Weight: 672
3.56/3.64	c Elapsed CPU time: 3.59845 s	Remaining CPU time: 1796.4 s
3.56/3.65	c core #673
3.56/3.65	c Core size: 3	Core Weight: 1	Total Weight: 673
3.56/3.65	c Elapsed CPU time: 3.60645 s	Remaining CPU time: 1796.39 s
3.56/3.66	c core #674
3.56/3.66	c Core size: 3	Core Weight: 1	Total Weight: 674
3.56/3.66	c Elapsed CPU time: 3.61445 s	Remaining CPU time: 1796.39 s
3.56/3.66	c core #675
3.56/3.66	c Core size: 3	Core Weight: 1	Total Weight: 675
3.56/3.66	c Elapsed CPU time: 3.62045 s	Remaining CPU time: 1796.38 s
3.56/3.67	c core #676
3.56/3.67	c Core size: 3	Core Weight: 1	Total Weight: 676
3.56/3.67	c Elapsed CPU time: 3.62845 s	Remaining CPU time: 1796.37 s
3.56/3.68	c core #677
3.56/3.68	c Core size: 3	Core Weight: 1	Total Weight: 677
3.56/3.68	c Elapsed CPU time: 3.63545 s	Remaining CPU time: 1796.36 s
3.56/3.69	c core #678
3.56/3.69	c Core size: 3	Core Weight: 1	Total Weight: 678
3.56/3.69	c Elapsed CPU time: 3.64245 s	Remaining CPU time: 1796.36 s
3.56/3.69	c core #679
3.56/3.69	c Core size: 3	Core Weight: 1	Total Weight: 679
3.56/3.69	c Elapsed CPU time: 3.65044 s	Remaining CPU time: 1796.35 s
3.66/3.70	c core #680
3.66/3.70	c Core size: 3	Core Weight: 1	Total Weight: 680
3.66/3.70	c Elapsed CPU time: 3.65744 s	Remaining CPU time: 1796.34 s
3.66/3.71	c core #681
3.66/3.71	c Core size: 3	Core Weight: 1	Total Weight: 681
3.66/3.71	c Elapsed CPU time: 3.66444 s	Remaining CPU time: 1796.34 s
3.66/3.72	c core #682
3.66/3.72	c Core size: 3	Core Weight: 1	Total Weight: 682
3.66/3.72	c Elapsed CPU time: 3.67144 s	Remaining CPU time: 1796.33 s
3.66/3.72	c core #683
3.66/3.72	c Core size: 3	Core Weight: 1	Total Weight: 683
3.66/3.72	c Elapsed CPU time: 3.67944 s	Remaining CPU time: 1796.32 s
3.66/3.73	c core #684
3.66/3.73	c Core size: 3	Core Weight: 1	Total Weight: 684
3.66/3.73	c Elapsed CPU time: 3.68644 s	Remaining CPU time: 1796.31 s
3.66/3.74	c core #685
3.66/3.74	c Core size: 3	Core Weight: 1	Total Weight: 685
3.66/3.74	c Elapsed CPU time: 3.69444 s	Remaining CPU time: 1796.31 s
3.66/3.75	c core #686
3.66/3.75	c Core size: 3	Core Weight: 1	Total Weight: 686
3.66/3.75	c Elapsed CPU time: 3.70244 s	Remaining CPU time: 1796.3 s
3.66/3.75	c core #687
3.66/3.75	c Core size: 3	Core Weight: 1	Total Weight: 687
3.66/3.75	c Elapsed CPU time: 3.70944 s	Remaining CPU time: 1796.29 s
3.66/3.76	c core #688
3.66/3.76	c Core size: 3	Core Weight: 1	Total Weight: 688
3.66/3.76	c Elapsed CPU time: 3.71644 s	Remaining CPU time: 1796.28 s
3.66/3.77	c core #689
3.66/3.77	c Core size: 3	Core Weight: 1	Total Weight: 689
3.66/3.77	c Elapsed CPU time: 3.72443 s	Remaining CPU time: 1796.28 s
3.66/3.78	c core #690
3.66/3.78	c Core size: 3	Core Weight: 1	Total Weight: 690
3.66/3.78	c Elapsed CPU time: 3.73243 s	Remaining CPU time: 1796.27 s
3.66/3.79	c core #691
3.66/3.79	c Core size: 3	Core Weight: 1	Total Weight: 691
3.66/3.79	c Elapsed CPU time: 3.73943 s	Remaining CPU time: 1796.26 s
3.66/3.79	c core #692
3.66/3.79	c Core size: 3	Core Weight: 1	Total Weight: 692
3.66/3.79	c Elapsed CPU time: 3.74743 s	Remaining CPU time: 1796.25 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.75443 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.76143 s	Remaining CPU time: 1796.24 s
3.76/3.82	c core #695
3.76/3.82	c Core size: 3	Core Weight: 1	Total Weight: 695
3.76/3.82	c Elapsed CPU time: 3.76943 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.77743 s	Remaining CPU time: 1796.22 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.78542 s	Remaining CPU time: 1796.21 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.79242 s	Remaining CPU time: 1796.21 s
3.76/3.85	c core #699
3.76/3.85	c Core size: 3	Core Weight: 1	Total Weight: 699
3.76/3.85	c Elapsed CPU time: 3.80042 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.80842 s	Remaining CPU time: 1796.19 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.81642 s	Remaining CPU time: 1796.18 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.82342 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.83142 s	Remaining CPU time: 1796.17 s
3.76/3.89	c core #704
3.76/3.89	c Core size: 3	Core Weight: 1	Total Weight: 704
3.76/3.89	c Elapsed CPU time: 3.83942 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.84641 s	Remaining CPU time: 1796.15 s
3.85/3.90	c core #706
3.85/3.90	c Core size: 3	Core Weight: 1	Total Weight: 706
3.85/3.90	c Elapsed CPU time: 3.85341 s	Remaining CPU time: 1796.15 s
3.85/3.91	c core #707
3.85/3.91	c Core size: 3	Core Weight: 1	Total Weight: 707
3.85/3.91	c Elapsed CPU time: 3.86141 s	Remaining CPU time: 1796.14 s
3.85/3.92	c core #708
3.85/3.92	c Core size: 3	Core Weight: 1	Total Weight: 708
3.85/3.92	c Elapsed CPU time: 3.86941 s	Remaining CPU time: 1796.13 s
3.85/3.93	c core #709
3.85/3.93	c Core size: 3	Core Weight: 1	Total Weight: 709
3.85/3.93	c Elapsed CPU time: 3.87741 s	Remaining CPU time: 1796.12 s
3.85/3.93	c core #710
3.85/3.93	c Core size: 3	Core Weight: 1	Total Weight: 710
3.85/3.93	c Elapsed CPU time: 3.88541 s	Remaining CPU time: 1796.11 s
3.85/3.94	c core #711
3.85/3.94	c Core size: 3	Core Weight: 1	Total Weight: 711
3.85/3.94	c Elapsed CPU time: 3.89341 s	Remaining CPU time: 1796.11 s
3.85/3.95	c core #712
3.85/3.95	c Core size: 3	Core Weight: 1	Total Weight: 712
3.85/3.95	c Elapsed CPU time: 3.90041 s	Remaining CPU time: 1796.1 s
3.85/3.96	c core #713
3.85/3.96	c Core size: 3	Core Weight: 1	Total Weight: 713
3.85/3.96	c Elapsed CPU time: 3.90841 s	Remaining CPU time: 1796.09 s
3.85/3.96	c core #714
3.85/3.96	c Core size: 3	Core Weight: 1	Total Weight: 714
3.85/3.96	c Elapsed CPU time: 3.9164 s	Remaining CPU time: 1796.08 s
3.85/3.97	c core #715
3.85/3.97	c Core size: 3	Core Weight: 1	Total Weight: 715
3.85/3.97	c Elapsed CPU time: 3.9244 s	Remaining CPU time: 1796.08 s
3.85/3.98	c core #716
3.85/3.98	c Core size: 3	Core Weight: 1	Total Weight: 716
3.85/3.98	c Elapsed CPU time: 3.9324 s	Remaining CPU time: 1796.07 s
3.85/3.99	c core #717
3.85/3.99	c Core size: 3	Core Weight: 1	Total Weight: 717
3.85/3.99	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 1796.06 s
3.85/4.00	c core #718
3.85/4.00	c Core size: 3	Core Weight: 1	Total Weight: 718
3.85/4.00	c Elapsed CPU time: 3.9484 s	Remaining CPU time: 1796.05 s
3.95/4.00	c core #719
3.95/4.00	c Core size: 3	Core Weight: 1	Total Weight: 719
3.95/4.00	c Elapsed CPU time: 3.9554 s	Remaining CPU time: 1796.04 s
3.95/4.01	c core #720
3.95/4.01	c Core size: 3	Core Weight: 1	Total Weight: 720
3.95/4.01	c Elapsed CPU time: 3.9624 s	Remaining CPU time: 1796.04 s
3.95/4.02	c core #721
3.95/4.02	c Core size: 3	Core Weight: 1	Total Weight: 721
3.95/4.02	c Elapsed CPU time: 3.9704 s	Remaining CPU time: 1796.03 s
3.95/4.03	c core #722
3.95/4.03	c Core size: 3	Core Weight: 1	Total Weight: 722
3.95/4.03	c Elapsed CPU time: 3.97839 s	Remaining CPU time: 1796.02 s
3.95/4.04	c core #723
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 723
3.95/4.04	c Elapsed CPU time: 3.98639 s	Remaining CPU time: 1796.01 s
3.95/4.04	c core #724
3.95/4.04	c Core size: 3	Core Weight: 1	Total Weight: 724
3.95/4.04	c Elapsed CPU time: 3.99439 s	Remaining CPU time: 1796.01 s
3.95/4.05	c core #725
3.95/4.05	c Core size: 3	Core Weight: 1	Total Weight: 725
3.95/4.05	c Elapsed CPU time: 4.00239 s	Remaining CPU time: 1796 s
3.95/4.06	c core #726
3.95/4.06	c Core size: 3	Core Weight: 1	Total Weight: 726
3.95/4.06	c Elapsed CPU time: 4.01139 s	Remaining CPU time: 1795.99 s
3.95/4.07	c core #727
3.95/4.07	c Core size: 3	Core Weight: 1	Total Weight: 727
3.95/4.07	c Elapsed CPU time: 4.01839 s	Remaining CPU time: 1795.98 s
3.95/4.08	c core #728
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 728
3.95/4.08	c Elapsed CPU time: 4.02639 s	Remaining CPU time: 1795.97 s
3.95/4.08	c core #729
3.95/4.08	c Core size: 3	Core Weight: 1	Total Weight: 729
3.95/4.08	c Elapsed CPU time: 4.03339 s	Remaining CPU time: 1795.97 s
3.95/4.09	c core #730
3.95/4.09	c Core size: 3	Core Weight: 1	Total Weight: 730
3.95/4.09	c Elapsed CPU time: 4.04139 s	Remaining CPU time: 1795.96 s
4.05/4.10	c core #731
4.05/4.10	c Core size: 3	Core Weight: 1	Total Weight: 731
4.05/4.10	c Elapsed CPU time: 4.04938 s	Remaining CPU time: 1795.95 s
4.05/4.11	c core #732
4.05/4.11	c Core size: 3	Core Weight: 1	Total Weight: 732
4.05/4.11	c Elapsed CPU time: 4.05738 s	Remaining CPU time: 1795.94 s
4.05/4.11	c core #733
4.05/4.11	c Core size: 3	Core Weight: 1	Total Weight: 733
4.05/4.11	c Elapsed CPU time: 4.06538 s	Remaining CPU time: 1795.93 s
4.05/4.12	c core #734
4.05/4.12	c Core size: 3	Core Weight: 1	Total Weight: 734
4.05/4.12	c Elapsed CPU time: 4.07338 s	Remaining CPU time: 1795.93 s
4.05/4.13	c core #735
4.05/4.13	c Core size: 3	Core Weight: 1	Total Weight: 735
4.05/4.13	c Elapsed CPU time: 4.08138 s	Remaining CPU time: 1795.92 s
4.05/4.14	c core #736
4.05/4.14	c Core size: 3	Core Weight: 1	Total Weight: 736
4.05/4.14	c Elapsed CPU time: 4.08938 s	Remaining CPU time: 1795.91 s
4.05/4.15	c core #737
4.05/4.15	c Core size: 3	Core Weight: 1	Total Weight: 737
4.05/4.15	c Elapsed CPU time: 4.09638 s	Remaining CPU time: 1795.9 s
4.05/4.15	c core #738
4.05/4.15	c Core size: 3	Core Weight: 1	Total Weight: 738
4.05/4.15	c Elapsed CPU time: 4.10438 s	Remaining CPU time: 1795.9 s
4.05/4.16	c core #739
4.05/4.16	c Core size: 3	Core Weight: 1	Total Weight: 739
4.05/4.16	c Elapsed CPU time: 4.11237 s	Remaining CPU time: 1795.89 s
4.05/4.17	c core #740
4.05/4.17	c Core size: 3	Core Weight: 1	Total Weight: 740
4.05/4.17	c Elapsed CPU time: 4.12037 s	Remaining CPU time: 1795.88 s
4.05/4.18	c core #741
4.05/4.18	c Core size: 3	Core Weight: 1	Total Weight: 741
4.05/4.18	c Elapsed CPU time: 4.12837 s	Remaining CPU time: 1795.87 s
4.05/4.19	c core #742
4.05/4.19	c Core size: 3	Core Weight: 1	Total Weight: 742
4.05/4.19	c Elapsed CPU time: 4.13637 s	Remaining CPU time: 1795.86 s
4.05/4.19	c core #743
4.05/4.19	c Core size: 3	Core Weight: 1	Total Weight: 743
4.05/4.19	c Elapsed CPU time: 4.14537 s	Remaining CPU time: 1795.85 s
4.15/4.20	c core #744
4.15/4.20	c Core size: 3	Core Weight: 1	Total Weight: 744
4.15/4.20	c Elapsed CPU time: 4.15337 s	Remaining CPU time: 1795.85 s
4.15/4.21	c core #745
4.15/4.21	c Core size: 3	Core Weight: 1	Total Weight: 745
4.15/4.21	c Elapsed CPU time: 4.16137 s	Remaining CPU time: 1795.84 s
4.15/4.22	c core #746
4.15/4.22	c Core size: 3	Core Weight: 1	Total Weight: 746
4.15/4.22	c Elapsed CPU time: 4.16937 s	Remaining CPU time: 1795.83 s
4.15/4.23	c core #747
4.15/4.23	c Core size: 3	Core Weight: 1	Total Weight: 747
4.15/4.23	c Elapsed CPU time: 4.17736 s	Remaining CPU time: 1795.82 s
4.15/4.23	c core #748
4.15/4.23	c Core size: 3	Core Weight: 1	Total Weight: 748
4.15/4.23	c Elapsed CPU time: 4.18536 s	Remaining CPU time: 1795.81 s
4.15/4.24	c core #749
4.15/4.24	c Core size: 3	Core Weight: 1	Total Weight: 749
4.15/4.24	c Elapsed CPU time: 4.19236 s	Remaining CPU time: 1795.81 s
4.15/4.25	c core #750
4.15/4.25	c Core size: 3	Core Weight: 1	Total Weight: 750
4.15/4.25	c Elapsed CPU time: 4.20036 s	Remaining CPU time: 1795.8 s
4.15/4.26	c core #751
4.15/4.26	c Core size: 3	Core Weight: 1	Total Weight: 751
4.15/4.26	c Elapsed CPU time: 4.20836 s	Remaining CPU time: 1795.79 s
4.15/4.27	c core #752
4.15/4.27	c Core size: 3	Core Weight: 1	Total Weight: 752
4.15/4.27	c Elapsed CPU time: 4.21636 s	Remaining CPU time: 1795.78 s
4.15/4.28	c core #753
4.15/4.28	c Core size: 3	Core Weight: 1	Total Weight: 753
4.15/4.28	c Elapsed CPU time: 4.22436 s	Remaining CPU time: 1795.78 s
4.15/4.28	c core #754
4.15/4.28	c Core size: 3	Core Weight: 1	Total Weight: 754
4.15/4.28	c Elapsed CPU time: 4.23236 s	Remaining CPU time: 1795.77 s
4.15/4.29	c core #755
4.15/4.29	c Core size: 3	Core Weight: 1	Total Weight: 755
4.15/4.29	c Elapsed CPU time: 4.24136 s	Remaining CPU time: 1795.76 s
4.15/4.30	c core #756
4.15/4.30	c Core size: 3	Core Weight: 1	Total Weight: 756
4.15/4.30	c Elapsed CPU time: 4.24935 s	Remaining CPU time: 1795.75 s
4.25/4.31	c core #757
4.25/4.31	c Core size: 3	Core Weight: 1	Total Weight: 757
4.25/4.31	c Elapsed CPU time: 4.25735 s	Remaining CPU time: 1795.74 s
4.25/4.32	c core #758
4.25/4.32	c Core size: 3	Core Weight: 1	Total Weight: 758
4.25/4.32	c Elapsed CPU time: 4.26535 s	Remaining CPU time: 1795.73 s
4.25/4.32	c core #759
4.25/4.32	c Core size: 3	Core Weight: 1	Total Weight: 759
4.25/4.32	c Elapsed CPU time: 4.27235 s	Remaining CPU time: 1795.73 s
4.25/4.33	c core #760
4.25/4.33	c Core size: 3	Core Weight: 1	Total Weight: 760
4.25/4.33	c Elapsed CPU time: 4.28035 s	Remaining CPU time: 1795.72 s
4.25/4.34	c core #761
4.25/4.34	c Core size: 3	Core Weight: 1	Total Weight: 761
4.25/4.34	c Elapsed CPU time: 4.28835 s	Remaining CPU time: 1795.71 s
4.25/4.35	c core #762
4.25/4.35	c Core size: 3	Core Weight: 1	Total Weight: 762
4.25/4.35	c Elapsed CPU time: 4.29635 s	Remaining CPU time: 1795.7 s
4.25/4.36	c core #763
4.25/4.36	c Core size: 3	Core Weight: 1	Total Weight: 763
4.25/4.36	c Elapsed CPU time: 4.30434 s	Remaining CPU time: 1795.7 s
4.25/4.37	c core #764
4.25/4.37	c Core size: 3	Core Weight: 1	Total Weight: 764
4.25/4.37	c Elapsed CPU time: 4.31234 s	Remaining CPU time: 1795.69 s
4.25/4.37	c core #765
4.25/4.37	c Core size: 3	Core Weight: 1	Total Weight: 765
4.25/4.37	c Elapsed CPU time: 4.32034 s	Remaining CPU time: 1795.68 s
4.25/4.38	c core #766
4.25/4.38	c Core size: 3	Core Weight: 1	Total Weight: 766
4.25/4.38	c Elapsed CPU time: 4.32834 s	Remaining CPU time: 1795.67 s
4.25/4.39	c core #767
4.25/4.39	c Core size: 3	Core Weight: 1	Total Weight: 767
4.25/4.39	c Elapsed CPU time: 4.33634 s	Remaining CPU time: 1795.66 s
4.25/4.40	c core #768
4.25/4.40	c Core size: 3	Core Weight: 1	Total Weight: 768
4.25/4.40	c Elapsed CPU time: 4.34434 s	Remaining CPU time: 1795.66 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.35234 s	Remaining CPU time: 1795.65 s
4.36/4.42	c core #770
4.36/4.42	c Core size: 3	Core Weight: 1	Total Weight: 770
4.36/4.42	c Elapsed CPU time: 4.36034 s	Remaining CPU time: 1795.64 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.36834 s	Remaining CPU time: 1795.63 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.37633 s	Remaining CPU time: 1795.62 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.38433 s	Remaining CPU time: 1795.62 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.39133 s	Remaining CPU time: 1795.61 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.39933 s	Remaining CPU time: 1795.6 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.40733 s	Remaining CPU time: 1795.59 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.41633 s	Remaining CPU time: 1795.58 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.42433 s	Remaining CPU time: 1795.58 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.43233 s	Remaining CPU time: 1795.57 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.44032 s	Remaining CPU time: 1795.56 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.44832 s	Remaining CPU time: 1795.55 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.45732 s	Remaining CPU time: 1795.54 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.46532 s	Remaining CPU time: 1795.53 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.47332 s	Remaining CPU time: 1795.53 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.48232 s	Remaining CPU time: 1795.52 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.49032 s	Remaining CPU time: 1795.51 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.49832 s	Remaining CPU time: 1795.5 s
4.45/4.56	c core #788
4.45/4.56	c Core size: 3	Core Weight: 1	Total Weight: 788
4.45/4.56	c Elapsed CPU time: 4.50631 s	Remaining CPU time: 1795.49 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.51431 s	Remaining CPU time: 1795.49 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.52231 s	Remaining CPU time: 1795.48 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.53031 s	Remaining CPU time: 1795.47 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.53831 s	Remaining CPU time: 1795.46 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.54631 s	Remaining CPU time: 1795.45 s
4.55/4.61	c core #794
4.55/4.61	c Core size: 3	Core Weight: 1	Total Weight: 794
4.55/4.61	c Elapsed CPU time: 4.55431 s	Remaining CPU time: 1795.45 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.56231 s	Remaining CPU time: 1795.44 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.5713 s	Remaining CPU time: 1795.43 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.5793 s	Remaining CPU time: 1795.42 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.5873 s	Remaining CPU time: 1795.41 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.5953 s	Remaining CPU time: 1795.4 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.6033 s	Remaining CPU time: 1795.4 s
4.55/4.67	c core #801
4.55/4.67	c Core size: 3	Core Weight: 1	Total Weight: 801
4.55/4.67	c Elapsed CPU time: 4.6113 s	Remaining CPU time: 1795.39 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.6193 s	Remaining CPU time: 1795.38 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.6283 s	Remaining CPU time: 1795.37 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.6363 s	Remaining CPU time: 1795.36 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.64529 s	Remaining CPU time: 1795.35 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.65229 s	Remaining CPU time: 1795.35 s
4.65/4.72	c core #807
4.65/4.72	c Core size: 3	Core Weight: 1	Total Weight: 807
4.65/4.72	c Elapsed CPU time: 4.66129 s	Remaining CPU time: 1795.34 s
4.65/4.73	c core #808
4.65/4.73	c Core size: 3	Core Weight: 1	Total Weight: 808
4.65/4.73	c Elapsed CPU time: 4.66929 s	Remaining CPU time: 1795.33 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.67829 s	Remaining CPU time: 1795.32 s
4.65/4.75	c core #810
4.65/4.75	c Core size: 3	Core Weight: 1	Total Weight: 810
4.65/4.75	c Elapsed CPU time: 4.68629 s	Remaining CPU time: 1795.31 s
4.65/4.76	c core #811
4.65/4.76	c Core size: 3	Core Weight: 1	Total Weight: 811
4.65/4.76	c Elapsed CPU time: 4.69529 s	Remaining CPU time: 1795.3 s
4.65/4.77	c core #812
4.65/4.77	c Core size: 3	Core Weight: 1	Total Weight: 812
4.65/4.77	c Elapsed CPU time: 4.70428 s	Remaining CPU time: 1795.3 s
4.65/4.78	c core #813
4.65/4.78	c Core size: 3	Core Weight: 1	Total Weight: 813
4.65/4.78	c Elapsed CPU time: 4.71328 s	Remaining CPU time: 1795.29 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.72028 s	Remaining CPU time: 1795.28 s
4.65/4.79	c core #815
4.65/4.79	c Core size: 7	Core Weight: 1	Total Weight: 815
4.65/4.79	c Elapsed CPU time: 4.72928 s	Remaining CPU time: 1795.27 s
4.75/4.80	c core #816
4.75/4.80	c Core size: 7	Core Weight: 1	Total Weight: 816
4.75/4.80	c Elapsed CPU time: 4.73828 s	Remaining CPU time: 1795.26 s
4.75/4.81	c core #817
4.75/4.81	c Core size: 7	Core Weight: 1	Total Weight: 817
4.75/4.81	c Elapsed CPU time: 4.74628 s	Remaining CPU time: 1795.25 s
4.75/4.82	c core #818
4.75/4.82	c Core size: 7	Core Weight: 1	Total Weight: 818
4.75/4.82	c Elapsed CPU time: 4.75428 s	Remaining CPU time: 1795.25 s
4.75/4.83	c core #819
4.75/4.83	c Core size: 7	Core Weight: 1	Total Weight: 819
4.75/4.83	c Elapsed CPU time: 4.76328 s	Remaining CPU time: 1795.24 s
4.75/4.84	c core #820
4.75/4.84	c Core size: 7	Core Weight: 1	Total Weight: 820
4.75/4.84	c Elapsed CPU time: 4.77227 s	Remaining CPU time: 1795.23 s
4.75/4.85	c core #821
4.75/4.85	c Core size: 7	Core Weight: 1	Total Weight: 821
4.75/4.85	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 1795.22 s
4.75/4.86	c core #822
4.75/4.86	c Core size: 7	Core Weight: 1	Total Weight: 822
4.75/4.86	c Elapsed CPU time: 4.79027 s	Remaining CPU time: 1795.21 s
4.75/4.87	c core #823
4.75/4.87	c Core size: 7	Core Weight: 1	Total Weight: 823
4.75/4.87	c Elapsed CPU time: 4.79927 s	Remaining CPU time: 1795.2 s
4.75/4.88	c core #824
4.75/4.88	c Core size: 7	Core Weight: 1	Total Weight: 824
4.75/4.88	c Elapsed CPU time: 4.80827 s	Remaining CPU time: 1795.19 s
4.75/4.88	c core #825
4.75/4.88	c Core size: 7	Core Weight: 1	Total Weight: 825
4.75/4.88	c Elapsed CPU time: 4.81727 s	Remaining CPU time: 1795.18 s
4.75/4.89	c core #826
4.75/4.89	c Core size: 11	Core Weight: 1	Total Weight: 826
4.75/4.89	c Elapsed CPU time: 4.82527 s	Remaining CPU time: 1795.17 s
4.84/4.90	c core #827
4.84/4.90	c Core size: 11	Core Weight: 1	Total Weight: 827
4.84/4.90	c Elapsed CPU time: 4.83427 s	Remaining CPU time: 1795.17 s
4.84/4.91	c core #828
4.84/4.91	c Core size: 7	Core Weight: 1	Total Weight: 828
4.84/4.91	c Elapsed CPU time: 4.84326 s	Remaining CPU time: 1795.16 s
4.84/4.92	c core #829
4.84/4.92	c Core size: 7	Core Weight: 1	Total Weight: 829
4.84/4.92	c Elapsed CPU time: 4.85126 s	Remaining CPU time: 1795.15 s
4.84/4.93	c core #830
4.84/4.93	c Core size: 7	Core Weight: 1	Total Weight: 830
4.84/4.93	c Elapsed CPU time: 4.85926 s	Remaining CPU time: 1795.14 s
4.84/4.94	c core #831
4.84/4.94	c Core size: 7	Core Weight: 1	Total Weight: 831
4.84/4.94	c Elapsed CPU time: 4.86726 s	Remaining CPU time: 1795.13 s
4.84/4.95	c core #832
4.84/4.95	c Core size: 7	Core Weight: 1	Total Weight: 832
4.84/4.95	c Elapsed CPU time: 4.87526 s	Remaining CPU time: 1795.12 s
4.84/4.96	c core #833
4.84/4.96	c Core size: 15	Core Weight: 1	Total Weight: 833
4.84/4.96	c Elapsed CPU time: 4.88426 s	Remaining CPU time: 1795.12 s
4.84/4.96	c core #834
4.84/4.96	c Core size: 7	Core Weight: 1	Total Weight: 834
4.84/4.96	c Elapsed CPU time: 4.89326 s	Remaining CPU time: 1795.11 s
4.84/4.97	c core #835
4.84/4.97	c Core size: 11	Core Weight: 1	Total Weight: 835
4.84/4.97	c Elapsed CPU time: 4.90225 s	Remaining CPU time: 1795.1 s
4.84/4.98	c core #836
4.84/4.98	c Core size: 7	Core Weight: 1	Total Weight: 836
4.84/4.98	c Elapsed CPU time: 4.91125 s	Remaining CPU time: 1795.09 s
4.84/4.99	c core #837
4.84/4.99	c Core size: 7	Core Weight: 1	Total Weight: 837
4.84/4.99	c Elapsed CPU time: 4.92025 s	Remaining CPU time: 1795.08 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.92925 s	Remaining CPU time: 1795.07 s
4.95/5.01	c core #839
4.95/5.01	c Core size: 11	Core Weight: 1	Total Weight: 839
4.95/5.01	c Elapsed CPU time: 4.93825 s	Remaining CPU time: 1795.06 s
4.95/5.02	c core #840
4.95/5.02	c Core size: 11	Core Weight: 1	Total Weight: 840
4.95/5.02	c Elapsed CPU time: 4.94625 s	Remaining CPU time: 1795.05 s
4.95/5.03	c core #841
4.95/5.03	c Core size: 7	Core Weight: 1	Total Weight: 841
4.95/5.03	c Elapsed CPU time: 4.95525 s	Remaining CPU time: 1795.04 s
4.95/5.04	c core #842
4.95/5.04	c Core size: 7	Core Weight: 1	Total Weight: 842
4.95/5.04	c Elapsed CPU time: 4.96425 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.97324 s	Remaining CPU time: 1795.03 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.98224 s	Remaining CPU time: 1795.02 s
4.95/5.07	c core #845
4.95/5.07	c Core size: 7	Core Weight: 1	Total Weight: 845
4.95/5.07	c Elapsed CPU time: 4.99024 s	Remaining CPU time: 1795.01 s
4.95/5.07	c core #846
4.95/5.07	c Core size: 7	Core Weight: 1	Total Weight: 846
4.95/5.07	c Elapsed CPU time: 4.99924 s	Remaining CPU time: 1795 s
4.95/5.08	c core #847
4.95/5.08	c Core size: 7	Core Weight: 1	Total Weight: 847
4.95/5.08	c Elapsed CPU time: 5.00924 s	Remaining CPU time: 1794.99 s
4.95/5.09	c core #848
4.95/5.09	c Core size: 11	Core Weight: 1	Total Weight: 848
4.95/5.09	c Elapsed CPU time: 5.01824 s	Remaining CPU time: 1794.98 s
5.05/5.10	c core #849
5.05/5.10	c Core size: 7	Core Weight: 1	Total Weight: 849
5.05/5.10	c Elapsed CPU time: 5.02724 s	Remaining CPU time: 1794.97 s
5.05/5.11	c core #850
5.05/5.11	c Core size: 7	Core Weight: 1	Total Weight: 850
5.05/5.11	c Elapsed CPU time: 5.03723 s	Remaining CPU time: 1794.96 s
5.05/5.12	c core #851
5.05/5.12	c Core size: 7	Core Weight: 1	Total Weight: 851
5.05/5.12	c Elapsed CPU time: 5.04623 s	Remaining CPU time: 1794.95 s
5.05/5.13	c core #852
5.05/5.13	c Core size: 7	Core Weight: 1	Total Weight: 852
5.05/5.13	c Elapsed CPU time: 5.05523 s	Remaining CPU time: 1794.94 s
5.05/5.14	c core #853
5.05/5.14	c Core size: 7	Core Weight: 1	Total Weight: 853
5.05/5.14	c Elapsed CPU time: 5.06423 s	Remaining CPU time: 1794.94 s
5.05/5.15	c core #854
5.05/5.15	c Core size: 7	Core Weight: 1	Total Weight: 854
5.05/5.15	c Elapsed CPU time: 5.07323 s	Remaining CPU time: 1794.93 s
5.05/5.16	c core #855
5.05/5.16	c Core size: 11	Core Weight: 1	Total Weight: 855
5.05/5.16	c Elapsed CPU time: 5.08223 s	Remaining CPU time: 1794.92 s
5.05/5.17	c core #856
5.05/5.17	c Core size: 7	Core Weight: 1	Total Weight: 856
5.05/5.17	c Elapsed CPU time: 5.09123 s	Remaining CPU time: 1794.91 s
5.05/5.18	c core #857
5.05/5.18	c Core size: 7	Core Weight: 1	Total Weight: 857
5.05/5.18	c Elapsed CPU time: 5.10022 s	Remaining CPU time: 1794.9 s
5.05/5.19	c core #858
5.05/5.19	c Core size: 7	Core Weight: 1	Total Weight: 858
5.05/5.19	c Elapsed CPU time: 5.10922 s	Remaining CPU time: 1794.89 s
5.05/5.20	c core #859
5.05/5.20	c Core size: 7	Core Weight: 1	Total Weight: 859
5.05/5.20	c Elapsed CPU time: 5.11922 s	Remaining CPU time: 1794.88 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.12822 s	Remaining CPU time: 1794.87 s
5.14/5.21	c core #861
5.14/5.21	c Core size: 7	Core Weight: 1	Total Weight: 861
5.14/5.22	c Elapsed CPU time: 5.13822 s	Remaining CPU time: 1794.86 s
5.14/5.22	c core #862
5.14/5.22	c Core size: 11	Core Weight: 1	Total Weight: 862
5.14/5.22	c Elapsed CPU time: 5.14722 s	Remaining CPU time: 1794.85 s
5.14/5.23	c core #863
5.14/5.23	c Core size: 7	Core Weight: 1	Total Weight: 863
5.14/5.23	c Elapsed CPU time: 5.15622 s	Remaining CPU time: 1794.84 s
5.14/5.24	c core #864
5.14/5.24	c Core size: 15	Core Weight: 1	Total Weight: 864
5.14/5.24	c Elapsed CPU time: 5.16521 s	Remaining CPU time: 1794.83 s
5.14/5.25	c core #865
5.14/5.25	c Core size: 11	Core Weight: 1	Total Weight: 865
5.14/5.25	c Elapsed CPU time: 5.17421 s	Remaining CPU time: 1794.83 s
5.14/5.26	c core #866
5.14/5.26	c Core size: 15	Core Weight: 1	Total Weight: 866
5.14/5.26	c Elapsed CPU time: 5.18221 s	Remaining CPU time: 1794.82 s
5.14/5.27	c core #867
5.14/5.27	c Core size: 7	Core Weight: 1	Total Weight: 867
5.14/5.27	c Elapsed CPU time: 5.19121 s	Remaining CPU time: 1794.81 s
5.14/5.28	c core #868
5.14/5.28	c Core size: 7	Core Weight: 1	Total Weight: 868
5.14/5.28	c Elapsed CPU time: 5.20121 s	Remaining CPU time: 1794.8 s
5.14/5.29	c core #869
5.14/5.29	c Core size: 11	Core Weight: 1	Total Weight: 869
5.14/5.29	c Elapsed CPU time: 5.21121 s	Remaining CPU time: 1794.79 s
5.24/5.30	c core #870
5.24/5.30	c Core size: 15	Core Weight: 1	Total Weight: 870
5.24/5.30	c Elapsed CPU time: 5.22021 s	Remaining CPU time: 1794.78 s
5.24/5.31	c core #871
5.24/5.31	c Core size: 11	Core Weight: 1	Total Weight: 871
5.24/5.31	c Elapsed CPU time: 5.22921 s	Remaining CPU time: 1794.77 s
5.24/5.32	c core #872
5.24/5.32	c Core size: 7	Core Weight: 1	Total Weight: 872
5.24/5.32	c Elapsed CPU time: 5.2392 s	Remaining CPU time: 1794.76 s
5.24/5.33	c core #873
5.24/5.33	c Core size: 7	Core Weight: 1	Total Weight: 873
5.24/5.33	c Elapsed CPU time: 5.2492 s	Remaining CPU time: 1794.75 s
5.24/5.34	c core #874
5.24/5.34	c Core size: 19	Core Weight: 1	Total Weight: 874
5.24/5.34	c Elapsed CPU time: 5.2592 s	Remaining CPU time: 1794.74 s
5.24/5.35	c core #875
5.24/5.35	c Core size: 7	Core Weight: 1	Total Weight: 875
5.24/5.35	c Elapsed CPU time: 5.2682 s	Remaining CPU time: 1794.73 s
5.24/5.36	c core #876
5.24/5.36	c Core size: 7	Core Weight: 1	Total Weight: 876
5.24/5.36	c Elapsed CPU time: 5.2782 s	Remaining CPU time: 1794.72 s
5.24/5.37	c core #877
5.24/5.37	c Core size: 6	Core Weight: 1	Total Weight: 877
5.24/5.37	c Elapsed CPU time: 5.2882 s	Remaining CPU time: 1794.71 s
5.24/5.38	c core #878
5.24/5.38	c Core size: 7	Core Weight: 1	Total Weight: 878
5.24/5.38	c Elapsed CPU time: 5.29819 s	Remaining CPU time: 1794.7 s
5.24/5.39	c core #879
5.24/5.39	c Core size: 7	Core Weight: 1	Total Weight: 879
5.24/5.39	c Elapsed CPU time: 5.30819 s	Remaining CPU time: 1794.69 s
5.24/5.40	c core #880
5.24/5.40	c Core size: 15	Core Weight: 1	Total Weight: 880
5.24/5.40	c Elapsed CPU time: 5.31819 s	Remaining CPU time: 1794.68 s
5.34/5.41	c core #881
5.34/5.41	c Core size: 19	Core Weight: 1	Total Weight: 881
5.34/5.41	c Elapsed CPU time: 5.32819 s	Remaining CPU time: 1794.67 s
5.34/5.42	c core #882
5.34/5.42	c Core size: 14	Core Weight: 1	Total Weight: 882
5.34/5.42	c Elapsed CPU time: 5.33719 s	Remaining CPU time: 1794.66 s
5.34/5.43	c core #883
5.34/5.43	c Core size: 11	Core Weight: 1	Total Weight: 883
5.34/5.43	c Elapsed CPU time: 5.34719 s	Remaining CPU time: 1794.65 s
5.34/5.44	c core #884
5.34/5.44	c Core size: 7	Core Weight: 1	Total Weight: 884
5.34/5.44	c Elapsed CPU time: 5.35719 s	Remaining CPU time: 1794.64 s
5.34/5.45	c core #885
5.34/5.45	c Core size: 11	Core Weight: 1	Total Weight: 885
5.34/5.45	c Elapsed CPU time: 5.36718 s	Remaining CPU time: 1794.63 s
5.34/5.46	c core #886
5.34/5.46	c Core size: 11	Core Weight: 1	Total Weight: 886
5.34/5.46	c Elapsed CPU time: 5.37618 s	Remaining CPU time: 1794.62 s
5.34/5.47	c core #887
5.34/5.47	c Core size: 15	Core Weight: 1	Total Weight: 887
5.34/5.47	c Elapsed CPU time: 5.38618 s	Remaining CPU time: 1794.61 s
5.34/5.48	c core #888
5.34/5.48	c Core size: 19	Core Weight: 1	Total Weight: 888
5.34/5.48	c Elapsed CPU time: 5.39618 s	Remaining CPU time: 1794.6 s
5.34/5.49	c core #889
5.34/5.49	c Core size: 7	Core Weight: 1	Total Weight: 889
5.34/5.49	c Elapsed CPU time: 5.40618 s	Remaining CPU time: 1794.59 s
5.34/5.50	c core #890
5.34/5.50	c Core size: 11	Core Weight: 1	Total Weight: 890
5.34/5.50	c Elapsed CPU time: 5.41618 s	Remaining CPU time: 1794.58 s
5.44/5.51	c core #891
5.44/5.51	c Core size: 11	Core Weight: 1	Total Weight: 891
5.44/5.51	c Elapsed CPU time: 5.42717 s	Remaining CPU time: 1794.57 s
5.44/5.52	c core #892
5.44/5.52	c Core size: 27	Core Weight: 1	Total Weight: 892
5.44/5.52	c Elapsed CPU time: 5.43717 s	Remaining CPU time: 1794.56 s
5.44/5.53	c core #893
5.44/5.53	c Core size: 15	Core Weight: 1	Total Weight: 893
5.44/5.53	c Elapsed CPU time: 5.44717 s	Remaining CPU time: 1794.55 s
5.44/5.54	c core #894
5.44/5.54	c Core size: 11	Core Weight: 1	Total Weight: 894
5.44/5.54	c Elapsed CPU time: 5.45717 s	Remaining CPU time: 1794.54 s
5.44/5.55	c core #895
5.44/5.55	c Core size: 7	Core Weight: 1	Total Weight: 895
5.44/5.55	c Elapsed CPU time: 5.46717 s	Remaining CPU time: 1794.53 s
5.44/5.56	c core #896
5.44/5.56	c Core size: 7	Core Weight: 1	Total Weight: 896
5.44/5.56	c Elapsed CPU time: 5.47717 s	Remaining CPU time: 1794.52 s
5.44/5.57	c core #897
5.44/5.57	c Core size: 7	Core Weight: 1	Total Weight: 897
5.44/5.57	c Elapsed CPU time: 5.48717 s	Remaining CPU time: 1794.51 s
5.44/5.58	c core #898
5.44/5.58	c Core size: 11	Core Weight: 1	Total Weight: 898
5.44/5.58	c Elapsed CPU time: 5.49716 s	Remaining CPU time: 1794.5 s
5.44/5.59	c core #899
5.44/5.59	c Core size: 11	Core Weight: 1	Total Weight: 899
5.44/5.59	c Elapsed CPU time: 5.50816 s	Remaining CPU time: 1794.49 s
5.54/5.60	c core #900
5.54/5.60	c Core size: 7	Core Weight: 1	Total Weight: 900
5.54/5.60	c Elapsed CPU time: 5.51816 s	Remaining CPU time: 1794.48 s
5.54/5.61	c core #901
5.54/5.61	c Core size: 7	Core Weight: 1	Total Weight: 901
5.54/5.61	c Elapsed CPU time: 5.52816 s	Remaining CPU time: 1794.47 s
5.54/5.62	c core #902
5.54/5.62	c Core size: 7	Core Weight: 1	Total Weight: 902
5.54/5.62	c Elapsed CPU time: 5.53816 s	Remaining CPU time: 1794.46 s
5.54/5.63	c core #903
5.54/5.63	c Core size: 15	Core Weight: 1	Total Weight: 903
5.54/5.63	c Elapsed CPU time: 5.54816 s	Remaining CPU time: 1794.45 s
5.54/5.64	c core #904
5.54/5.64	c Core size: 11	Core Weight: 1	Total Weight: 904
5.54/5.64	c Elapsed CPU time: 5.55915 s	Remaining CPU time: 1794.44 s
5.54/5.65	c core #905
5.54/5.65	c Core size: 11	Core Weight: 1	Total Weight: 905
5.54/5.65	c Elapsed CPU time: 5.56915 s	Remaining CPU time: 1794.43 s
5.54/5.66	c core #906
5.54/5.66	c Core size: 11	Core Weight: 1	Total Weight: 906
5.54/5.66	c Elapsed CPU time: 5.57915 s	Remaining CPU time: 1794.42 s
5.54/5.67	c core #907
5.54/5.67	c Core size: 11	Core Weight: 1	Total Weight: 907
5.54/5.67	c Elapsed CPU time: 5.58915 s	Remaining CPU time: 1794.41 s
5.54/5.68	c core #908
5.54/5.68	c Core size: 7	Core Weight: 1	Total Weight: 908
5.54/5.68	c Elapsed CPU time: 5.59915 s	Remaining CPU time: 1794.4 s
5.54/5.69	c core #909
5.54/5.69	c Core size: 7	Core Weight: 1	Total Weight: 909
5.54/5.69	c Elapsed CPU time: 5.60915 s	Remaining CPU time: 1794.39 s
5.64/5.71	c core #910
5.64/5.71	c Core size: 11	Core Weight: 1	Total Weight: 910
5.64/5.71	c Elapsed CPU time: 5.62014 s	Remaining CPU time: 1794.38 s
5.64/5.72	c core #911
5.64/5.72	c Core size: 7	Core Weight: 1	Total Weight: 911
5.64/5.72	c Elapsed CPU time: 5.63014 s	Remaining CPU time: 1794.37 s
5.64/5.73	c core #912
5.64/5.73	c Core size: 11	Core Weight: 1	Total Weight: 912
5.64/5.73	c Elapsed CPU time: 5.64114 s	Remaining CPU time: 1794.36 s
5.64/5.74	c core #913
5.64/5.74	c Core size: 27	Core Weight: 1	Total Weight: 913
5.64/5.74	c Elapsed CPU time: 5.65114 s	Remaining CPU time: 1794.35 s
5.64/5.75	c core #914
5.64/5.75	c Core size: 7	Core Weight: 1	Total Weight: 914
5.64/5.75	c Elapsed CPU time: 5.66114 s	Remaining CPU time: 1794.34 s
5.64/5.76	c core #915
5.64/5.76	c Core size: 23	Core Weight: 1	Total Weight: 915
5.64/5.76	c Elapsed CPU time: 5.67214 s	Remaining CPU time: 1794.33 s
5.64/5.77	c core #916
5.64/5.77	c Core size: 7	Core Weight: 1	Total Weight: 916
5.64/5.77	c Elapsed CPU time: 5.68214 s	Remaining CPU time: 1794.32 s
5.64/5.78	c core #917
5.64/5.78	c Core size: 7	Core Weight: 1	Total Weight: 917
5.64/5.78	c Elapsed CPU time: 5.69313 s	Remaining CPU time: 1794.31 s
5.64/5.79	c core #918
5.64/5.79	c Core size: 11	Core Weight: 1	Total Weight: 918
5.64/5.79	c Elapsed CPU time: 5.70313 s	Remaining CPU time: 1794.3 s
5.73/5.80	c core #919
5.73/5.80	c Core size: 7	Core Weight: 1	Total Weight: 919
5.73/5.80	c Elapsed CPU time: 5.71413 s	Remaining CPU time: 1794.29 s
5.73/5.81	c core #920
5.73/5.81	c Core size: 19	Core Weight: 1	Total Weight: 920
5.73/5.81	c Elapsed CPU time: 5.72413 s	Remaining CPU time: 1794.28 s
5.73/5.82	c core #921
5.73/5.82	c Core size: 19	Core Weight: 1	Total Weight: 921
5.73/5.82	c Elapsed CPU time: 5.73513 s	Remaining CPU time: 1794.26 s
5.73/5.83	c core #922
5.73/5.83	c Core size: 15	Core Weight: 1	Total Weight: 922
5.73/5.83	c Elapsed CPU time: 5.74513 s	Remaining CPU time: 1794.25 s
5.73/5.85	c core #923
5.73/5.85	c Core size: 23	Core Weight: 1	Total Weight: 923
5.73/5.85	c Elapsed CPU time: 5.75512 s	Remaining CPU time: 1794.24 s
5.73/5.86	c core #924
5.73/5.86	c Core size: 15	Core Weight: 1	Total Weight: 924
5.73/5.86	c Elapsed CPU time: 5.76712 s	Remaining CPU time: 1794.23 s
5.73/5.87	c core #925
5.73/5.87	c Core size: 19	Core Weight: 1	Total Weight: 925
5.73/5.87	c Elapsed CPU time: 5.77712 s	Remaining CPU time: 1794.22 s
5.73/5.88	c core #926
5.73/5.88	c Core size: 11	Core Weight: 1	Total Weight: 926
5.73/5.88	c Elapsed CPU time: 5.78812 s	Remaining CPU time: 1794.21 s
5.73/5.89	c core #927
5.73/5.89	c Core size: 23	Core Weight: 1	Total Weight: 927
5.73/5.89	c Elapsed CPU time: 5.79912 s	Remaining CPU time: 1794.2 s
5.83/5.90	c core #928
5.83/5.90	c Core size: 23	Core Weight: 1	Total Weight: 928
5.83/5.90	c Elapsed CPU time: 5.81012 s	Remaining CPU time: 1794.19 s
5.83/5.91	c core #929
5.83/5.91	c Core size: 15	Core Weight: 1	Total Weight: 929
5.83/5.91	c Elapsed CPU time: 5.82012 s	Remaining CPU time: 1794.18 s
5.83/5.92	c core #930
5.83/5.92	c Core size: 19	Core Weight: 1	Total Weight: 930
5.83/5.92	c Elapsed CPU time: 5.83111 s	Remaining CPU time: 1794.17 s
5.83/5.93	c core #931
5.83/5.93	c Core size: 11	Core Weight: 1	Total Weight: 931
5.83/5.93	c Elapsed CPU time: 5.84111 s	Remaining CPU time: 1794.16 s
5.83/5.94	c core #932
5.83/5.94	c Core size: 31	Core Weight: 1	Total Weight: 932
5.83/5.94	c Elapsed CPU time: 5.85111 s	Remaining CPU time: 1794.15 s
5.83/5.96	c core #933
5.83/5.96	c Core size: 15	Core Weight: 1	Total Weight: 933
5.83/5.96	c Elapsed CPU time: 5.86111 s	Remaining CPU time: 1794.14 s
5.83/5.97	c core #934
5.83/5.97	c Core size: 15	Core Weight: 1	Total Weight: 934
5.83/5.97	c Elapsed CPU time: 5.87111 s	Remaining CPU time: 1794.13 s
5.83/5.98	c core #935
5.83/5.98	c Core size: 19	Core Weight: 1	Total Weight: 935
5.83/5.98	c Elapsed CPU time: 5.88211 s	Remaining CPU time: 1794.12 s
5.83/5.99	c core #936
5.83/5.99	c Core size: 7	Core Weight: 1	Total Weight: 936
5.83/5.99	c Elapsed CPU time: 5.8921 s	Remaining CPU time: 1794.11 s
5.94/6.00	c core #937
5.94/6.00	c Core size: 15	Core Weight: 1	Total Weight: 937
5.94/6.00	c Elapsed CPU time: 5.9031 s	Remaining CPU time: 1794.1 s
5.94/6.01	c core #938
5.94/6.01	c Core size: 11	Core Weight: 1	Total Weight: 938
5.94/6.01	c Elapsed CPU time: 5.9131 s	Remaining CPU time: 1794.09 s
5.94/6.02	c core #939
5.94/6.02	c Core size: 55	Core Weight: 1	Total Weight: 939
5.94/6.02	c Elapsed CPU time: 5.9241 s	Remaining CPU time: 1794.08 s
5.94/6.03	c core #940
5.94/6.03	c Core size: 7	Core Weight: 1	Total Weight: 940
5.94/6.03	c Elapsed CPU time: 5.9351 s	Remaining CPU time: 1794.06 s
5.94/6.04	c core #941
5.94/6.04	c Core size: 11	Core Weight: 1	Total Weight: 941
5.94/6.04	c Elapsed CPU time: 5.9461 s	Remaining CPU time: 1794.05 s
5.94/6.05	c core #942
5.94/6.05	c Core size: 11	Core Weight: 1	Total Weight: 942
5.94/6.06	c Elapsed CPU time: 5.95709 s	Remaining CPU time: 1794.04 s
5.94/6.07	c core #943
5.94/6.07	c Core size: 15	Core Weight: 1	Total Weight: 943
5.94/6.07	c Elapsed CPU time: 5.96809 s	Remaining CPU time: 1794.03 s
5.94/6.08	c core #944
5.94/6.08	c Core size: 27	Core Weight: 1	Total Weight: 944
5.94/6.08	c Elapsed CPU time: 5.97909 s	Remaining CPU time: 1794.02 s
5.94/6.09	c core #945
5.94/6.09	c Core size: 11	Core Weight: 1	Total Weight: 945
5.94/6.09	c Elapsed CPU time: 5.99009 s	Remaining CPU time: 1794.01 s
6.03/6.10	c core #946
6.03/6.10	c Core size: 22	Core Weight: 1	Total Weight: 946
6.03/6.10	c Elapsed CPU time: 6.00009 s	Remaining CPU time: 1794 s
6.03/6.11	c core #947
6.03/6.11	c Core size: 39	Core Weight: 1	Total Weight: 947
6.03/6.11	c Elapsed CPU time: 6.01109 s	Remaining CPU time: 1793.99 s
6.03/6.12	c core #948
6.03/6.12	c Core size: 31	Core Weight: 1	Total Weight: 948
6.03/6.12	c Elapsed CPU time: 6.02208 s	Remaining CPU time: 1793.98 s
6.03/6.13	c core #949
6.03/6.13	c Core size: 27	Core Weight: 1	Total Weight: 949
6.03/6.13	c Elapsed CPU time: 6.03408 s	Remaining CPU time: 1793.97 s
6.03/6.15	c core #950
6.03/6.15	c Core size: 39	Core Weight: 1	Total Weight: 950
6.03/6.15	c Elapsed CPU time: 6.04508 s	Remaining CPU time: 1793.95 s
6.03/6.16	c core #951
6.03/6.16	c Core size: 15	Core Weight: 1	Total Weight: 951
6.03/6.16	c Elapsed CPU time: 6.05608 s	Remaining CPU time: 1793.94 s
6.03/6.17	c core #952
6.03/6.17	c Core size: 31	Core Weight: 1	Total Weight: 952
6.03/6.17	c Elapsed CPU time: 6.06808 s	Remaining CPU time: 1793.93 s
6.03/6.18	c core #953
6.03/6.18	c Core size: 22	Core Weight: 1	Total Weight: 953
6.03/6.18	c Elapsed CPU time: 6.08007 s	Remaining CPU time: 1793.92 s
6.03/6.19	c core #954
6.03/6.19	c Core size: 35	Core Weight: 1	Total Weight: 954
6.03/6.19	c Elapsed CPU time: 6.09107 s	Remaining CPU time: 1793.91 s
6.13/6.20	c core #955
6.13/6.20	c Core size: 19	Core Weight: 1	Total Weight: 955
6.13/6.20	c Elapsed CPU time: 6.10207 s	Remaining CPU time: 1793.9 s
6.13/6.22	c core #956
6.13/6.22	c Core size: 43	Core Weight: 1	Total Weight: 956
6.13/6.22	c Elapsed CPU time: 6.11507 s	Remaining CPU time: 1793.88 s
6.13/6.23	c core #957
6.13/6.23	c Core size: 47	Core Weight: 1	Total Weight: 957
6.13/6.23	c Elapsed CPU time: 6.12507 s	Remaining CPU time: 1793.87 s
6.13/6.24	c core #958
6.13/6.24	c Core size: 23	Core Weight: 1	Total Weight: 958
6.13/6.24	c Elapsed CPU time: 6.13607 s	Remaining CPU time: 1793.86 s
6.13/6.25	c core #959
6.13/6.25	c Core size: 35	Core Weight: 1	Total Weight: 959
6.13/6.25	c Elapsed CPU time: 6.14806 s	Remaining CPU time: 1793.85 s
6.13/6.26	c core #960
6.13/6.26	c Core size: 31	Core Weight: 1	Total Weight: 960
6.13/6.26	c Elapsed CPU time: 6.16006 s	Remaining CPU time: 1793.84 s
6.13/6.28	c core #961
6.13/6.28	c Core size: 23	Core Weight: 1	Total Weight: 961
6.13/6.28	c Elapsed CPU time: 6.17206 s	Remaining CPU time: 1793.83 s
6.13/6.29	c core #962
6.13/6.29	c Core size: 39	Core Weight: 1	Total Weight: 962
6.13/6.29	c Elapsed CPU time: 6.18306 s	Remaining CPU time: 1793.82 s
6.23/6.30	c core #963
6.23/6.30	c Core size: 38	Core Weight: 1	Total Weight: 963
6.23/6.30	c Elapsed CPU time: 6.19406 s	Remaining CPU time: 1793.81 s
6.23/6.31	c core #964
6.23/6.31	c Core size: 75	Core Weight: 1	Total Weight: 964
6.23/6.31	c Elapsed CPU time: 6.20506 s	Remaining CPU time: 1793.79 s
6.23/6.32	c core #965
6.23/6.32	c Core size: 22	Core Weight: 1	Total Weight: 965
6.23/6.32	c Elapsed CPU time: 6.21605 s	Remaining CPU time: 1793.78 s
6.23/6.34	c core #966
6.23/6.34	c Core size: 15	Core Weight: 1	Total Weight: 966
6.23/6.34	c Elapsed CPU time: 6.22805 s	Remaining CPU time: 1793.77 s
6.23/6.35	c core #967
6.23/6.35	c Core size: 42	Core Weight: 1	Total Weight: 967
6.23/6.35	c Elapsed CPU time: 6.24005 s	Remaining CPU time: 1793.76 s
6.23/6.36	c core #968
6.23/6.36	c Core size: 55	Core Weight: 1	Total Weight: 968
6.23/6.36	c Elapsed CPU time: 6.25205 s	Remaining CPU time: 1793.75 s
6.23/6.37	c core #969
6.23/6.37	c Core size: 51	Core Weight: 1	Total Weight: 969
6.23/6.37	c Elapsed CPU time: 6.26305 s	Remaining CPU time: 1793.74 s
6.23/6.38	c core #970
6.23/6.38	c Core size: 66	Core Weight: 1	Total Weight: 970
6.23/6.38	c Elapsed CPU time: 6.27505 s	Remaining CPU time: 1793.72 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 |    4659     6930    15549 |     5000        0    nan |  0.000 % |
6.23/6.40	c ===============================================================================
6.23/6.40	c core #971
6.23/6.40	c Core size: 85	Core Weight: 1	Total Weight: 971
6.23/6.40	c Elapsed CPU time: 6.28804 s	Remaining CPU time: 1793.71 s
6.32/6.41	c ============================[ Search Statistics ]==============================
6.32/6.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.41	c ===============================================================================
6.32/6.41	c |         0 |    4701     6931    15633 |     5000        0    nan |  0.000 % |
6.32/6.41	c ===============================================================================
6.32/6.41	c core #972
6.32/6.41	c Core size: 109	Core Weight: 1	Total Weight: 972
6.32/6.41	c Elapsed CPU time: 6.30204 s	Remaining CPU time: 1793.7 s
6.32/6.42	c ============================[ Search Statistics ]==============================
6.32/6.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.42	c ===============================================================================
6.32/6.42	c |         0 |    4755     6932    15741 |     5000        0    nan |  0.000 % |
6.32/6.42	c ===============================================================================
6.32/6.42	c core #973
6.32/6.42	c Core size: 95	Core Weight: 1	Total Weight: 973
6.32/6.42	c Elapsed CPU time: 6.31604 s	Remaining CPU time: 1793.68 s
6.32/6.44	c ============================[ Search Statistics ]==============================
6.32/6.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.44	c ===============================================================================
6.32/6.44	c |         0 |    4811     6933    15840 |     5000        0    nan |  0.000 % |
6.32/6.44	c ===============================================================================
6.32/6.44	c core #974
6.32/6.44	c Core size: 88	Core Weight: 1	Total Weight: 974
6.32/6.44	c Elapsed CPU time: 6.33004 s	Remaining CPU time: 1793.67 s
6.32/6.45	c ============================[ Search Statistics ]==============================
6.32/6.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.45	c ===============================================================================
6.32/6.45	c |         0 |    4854     6934    15926 |     5000        0    nan |  0.000 % |
6.32/6.46	c ===============================================================================
6.32/6.46	c core #975
6.32/6.46	c Core size: 73	Core Weight: 1	Total Weight: 975
6.32/6.46	c Elapsed CPU time: 6.34603 s	Remaining CPU time: 1793.65 s
6.32/6.47	c ============================[ Search Statistics ]==============================
6.32/6.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.47	c ===============================================================================
6.32/6.47	c |         0 |    4899     6935    16003 |     5000        0    nan |  0.000 % |
6.32/6.48	c ===============================================================================
6.32/6.48	c core #976
6.32/6.48	c Core size: 228	Core Weight: 1	Total Weight: 976
6.32/6.48	c Elapsed CPU time: 6.36403 s	Remaining CPU time: 1793.64 s
6.32/6.49	c ============================[ Search Statistics ]==============================
6.32/6.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.32/6.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.32/6.49	c ===============================================================================
6.32/6.49	c |         0 |    5029     6936    16239 |     5000        0    nan |  0.000 % |
6.32/6.50	c ===============================================================================
6.32/6.50	c core #977
6.32/6.50	c Core size: 178	Core Weight: 1	Total Weight: 977
6.32/6.50	c Elapsed CPU time: 6.38403 s	Remaining CPU time: 1793.62 s
6.42/6.51	c ============================[ Search Statistics ]==============================
6.42/6.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.51	c ===============================================================================
6.42/6.51	c |         0 |    5144     6937    16425 |     5000        0    nan |  0.000 % |
6.42/6.51	c ===============================================================================
6.42/6.51	c core #978
6.42/6.51	c Core size: 121	Core Weight: 1	Total Weight: 978
6.42/6.51	c Elapsed CPU time: 6.39903 s	Remaining CPU time: 1793.6 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 |    5207     6938    16554 |     5000        0    nan |  0.000 % |
6.42/6.53	c |       100 |    5207     6938    16554 |     5500      100     22 |  2.069 % |
6.42/6.55	c ===============================================================================
6.42/6.55	c core #979
6.42/6.55	c Core size: 192	Core Weight: 1	Total Weight: 979
6.42/6.55	c Elapsed CPU time: 6.43002 s	Remaining CPU time: 1793.57 s
6.42/6.56	c ============================[ Search Statistics ]==============================
6.42/6.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.56	c ===============================================================================
6.42/6.56	c |         0 |    5317     6939    16750 |     5000        0    nan |  0.000 % |
6.42/6.57	c ===============================================================================
6.42/6.57	c core #980
6.42/6.57	c Core size: 131	Core Weight: 1	Total Weight: 980
6.42/6.57	c Elapsed CPU time: 6.45002 s	Remaining CPU time: 1793.55 s
6.42/6.58	c ============================[ Search Statistics ]==============================
6.42/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.42/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.42/6.58	c ===============================================================================
6.42/6.58	c |         0 |    5393     6940    16888 |     5000        0    nan |  0.000 % |
6.42/6.59	c |       100 |    5391     6940    16888 |     5500      100      5 |  1.535 % |
6.53/6.60	c |       250 |    5388     6940    16888 |     6050      248      6 |  1.553 % |
6.53/6.62	c |       475 |    5383     6940    16888 |     6655      470      6 |  1.681 % |
6.53/6.63	c ===============================================================================
6.53/6.64	c core #981
6.53/6.64	c Core size: 759	Core Weight: 1	Total Weight: 981
6.53/6.64	c Elapsed CPU time: 6.51401 s	Remaining CPU time: 1793.49 s
6.53/6.65	c ============================[ Search Statistics ]==============================
6.53/6.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.53/6.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.53/6.65	c ===============================================================================
6.53/6.65	c |         0 |    5749     6941    17599 |     5000        0    nan |  0.000 % |
6.53/6.66	c |       100 |    5749     6941    17599 |     5500      100      7 |  1.339 % |
6.53/6.67	c |       250 |    5749     6941    17599 |     6050      250     11 |  1.339 % |
6.62/6.70	c |       475 |    5749     6941    17599 |     6655      475     10 |  1.339 % |
6.62/6.74	c |       812 |    5748     6941    17599 |     7320      810     10 |  1.356 % |
6.71/6.82	c |      1318 |    5748     6941    17599 |     8052     1316     11 |  1.356 % |
6.82/6.92	c |      2078 |    5747     6941    17599 |     8857     2064     14 |  1.373 % |
6.91/7.08	c ===============================================================================
7.02/7.10	c core #982
7.02/7.10	c Core size: 708	Core Weight: 1	Total Weight: 982
7.02/7.10	c Elapsed CPU time: 6.95794 s	Remaining CPU time: 1793.04 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 |    6070     6942    18241 |     5000        0    nan |  0.000 % |
7.02/7.13	c |       101 |    6070     6942    18241 |     5500      101     12 |  1.269 % |
7.02/7.14	c |       251 |    6070     6942    18241 |     6050      251     11 |  1.269 % |
7.02/7.17	c |       476 |    6070     6942    18241 |     6655      476     13 |  1.269 % |
7.12/7.21	c |       813 |    6070     6942    18241 |     7320      813     15 |  1.269 % |
7.12/7.28	c |      1319 |    6070     6942    18241 |     8052     1319     16 |  1.269 % |
7.32/7.41	c |      2079 |    6070     6942    18241 |     8857     2079     21 |  1.269 % |
7.41/7.56	c |      3218 |    6070     6942    18241 |     9743     3218     24 |  1.269 % |
7.72/7.86	c |      4930 |    6067     6942    18241 |    10717     4929     28 |  1.350 % |
8.12/8.29	c |      7492 |    6065     6942    18241 |    11789     7490     28 |  1.350 % |
8.82/8.93	c |     11336 |    6057     6942    18241 |    12968    11333     27 |  1.480 % |
9.02/9.13	c ===============================================================================
9.02/9.16	c core #983
9.02/9.16	c Core size: 746	Core Weight: 1	Total Weight: 983
9.02/9.16	c Elapsed CPU time: 8.96964 s	Remaining CPU time: 1791.03 s
9.02/9.19	c ============================[ Search Statistics ]==============================
9.02/9.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.02/9.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.02/9.19	c ===============================================================================
9.02/9.19	c |         0 |    6389     6943    18879 |     5000        0    nan |  0.000 % |
9.11/9.20	c |       100 |    6389     6943    18879 |     5500      100     13 |  1.206 % |
9.11/9.22	c |       250 |    6389     6943    18879 |     6050      250     10 |  1.206 % |
9.11/9.24	c |       475 |    6389     6943    18879 |     6655      475     13 |  1.206 % |
9.11/9.27	c |       812 |    6389     6943    18879 |     7320      812     13 |  1.206 % |
9.22/9.32	c |      1318 |    6388     6943    18879 |     8052     1315     14 |  1.222 % |
9.31/9.40	c |      2077 |    6376     6943    18879 |     8857     2073     13 |  1.438 % |
9.31/9.45	c ===============================================================================
9.31/9.46	c core #984
9.31/9.46	c Core size: 446	Core Weight: 1	Total Weight: 984
9.31/9.46	c Elapsed CPU time: 9.24659 s	Remaining CPU time: 1790.75 s
9.31/9.47	c ============================[ Search Statistics ]==============================
9.31/9.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.31/9.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.31/9.47	c ===============================================================================
9.31/9.47	c |         0 |    6593     6944    19287 |     5000        0    nan |  0.000 % |
9.31/9.48	c |       100 |    6593     6944    19287 |     5500      100      9 |  1.169 % |
9.31/9.49	c |       250 |    6593     6944    19287 |     6050      250      8 |  1.169 % |
9.42/9.52	c |       476 |    6593     6944    19287 |     6655      476     15 |  1.169 % |
9.42/9.57	c |       815 |    6593     6944    19287 |     7320      815     15 |  1.169 % |
9.51/9.63	c |      1322 |    6593     6944    19287 |     8052     1322     16 |  1.169 % |
9.62/9.76	c |      2081 |    6593     6944    19287 |     8857     2081     22 |  1.169 % |
9.82/9.94	c |      3221 |    6593     6944    19287 |     9743     3221     27 |  1.169 % |
10.11/10.22	c |      4929 |    6585     6944    19287 |    10717     4928     29 |  1.289 % |
10.51/10.70	c |      7492 |    6585     6944    19287 |    11789     7491     31 |  1.289 % |
11.31/11.48	c |     11336 |    6585     6944    19287 |    12968    11335     38 |  1.289 % |
12.71/12.83	c |     17103 |    6582     6944    19287 |    14265    10479     43 |  1.334 % |
15.12/15.25	c |     25754 |    6503     6944    19287 |    15692     8890     57 |  2.518 % |
16.11/16.27	c ===============================================================================
16.41/16.53	c core #985
16.41/16.53	c Core size: 1027	Core Weight: 1	Total Weight: 985
16.41/16.53	c Elapsed CPU time: 16.1875 s	Remaining CPU time: 1783.81 s
16.41/16.58	c ============================[ Search Statistics ]==============================
16.41/16.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.41/16.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
16.41/16.58	c ===============================================================================
16.41/16.58	c |         0 |    7049     6945    20182 |     5000        0    nan |  0.000 % |
16.51/16.60	c |       100 |    7049     6945    20182 |     5500      100     49 |  0.830 % |
16.51/16.62	c |       251 |    7049     6945    20182 |     6050      251     27 |  0.830 % |
16.51/16.64	c |       476 |    7049     6945    20182 |     6655      476     21 |  0.830 % |
16.51/16.68	c |       813 |    7049     6945    20182 |     7320      813     37 |  0.830 % |
16.61/16.76	c |      1319 |    7049     6945    20182 |     8052     1319     38 |  0.830 % |
16.81/16.90	c |      2079 |    7049     6945    20182 |     8857     2079     52 |  0.830 % |
17.01/17.11	c |      3220 |    7049     6945    20182 |     9743     3220     48 |  0.830 % |
17.81/18.00	c |      4932 |    7049     6945    20182 |    10717     4932    103 |  0.830 % |
18.51/18.67	c |      7495 |    7049     6945    20182 |    11789     7495     87 |  0.830 % |
19.41/19.56	c |     11341 |    7049     6945    20182 |    12968    11341     81 |  0.830 % |
20.81/20.95	c |     17111 |    7049     6945    20182 |    14265    10508     69 |  0.830 % |
22.80/22.96	c |     25761 |    7049     6945    20182 |    15692    11974     76 |  0.830 % |
26.90/27.01	c |     38737 |    7049     6945    20182 |    17261     8611     96 |  0.830 % |
32.90/33.05	c |     58198 |    7049     6945    20182 |    18987    10414     81 |  0.830 % |
45.59/45.73	c |     87391 |    7049     6945    20182 |    20886    10102    100 |  0.830 % |
66.89/67.07	c |    131180 |    7049     6945    20182 |    22974    11096    173 |  0.831 % |
113.87/114.04	c |    196866 |    7049     6945    20182 |    25272    17949    123 |  0.830 % |
168.05/168.22	c |    295392 |    7049     6945    20182 |    27799    13718    112 |  0.830 % |
247.22/247.49	c |    443181 |    7049     6945    20182 |    30579    19842    102 |  0.830 % |
378.47/378.74	c ===============================================================================
391.96/392.28	c core #986
391.96/392.28	c Core size: 1940	Core Weight: 1	Total Weight: 986
391.96/392.28	c Elapsed CPU time: 388.742 s	Remaining CPU time: 1411.26 s
392.66/392.96	c ============================[ Search Statistics ]==============================
392.66/392.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
392.66/392.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
392.66/392.96	c ===============================================================================
392.66/392.96	c |         0 |    7822     6946    21723 |     5000        0    nan |  0.000 % |
392.76/393.10	c |       102 |    7822     6946    21723 |     5500      102     18 |  0.623 % |
392.87/393.11	c |       252 |    7822     6946    21723 |     6050      252     16 |  0.623 % |
392.87/393.14	c |       478 |    7822     6946    21723 |     6655      478     15 |  0.623 % |
392.87/393.18	c |       815 |    7822     6946    21723 |     7320      815     16 |  0.623 % |
392.96/393.24	c |      1323 |    7822     6946    21723 |     8052     1323     23 |  0.623 % |
393.16/393.41	c |      2082 |    7822     6946    21723 |     8857     2082     22 |  0.623 % |
393.26/393.59	c |      3222 |    7822     6946    21723 |     9743     3222     23 |  0.623 % |
393.96/394.24	c |      4931 |    7822     6946    21723 |    10717     4931     36 |  0.623 % |
394.36/394.63	c |      7495 |    7822     6946    21723 |    11789     7495     45 |  0.623 % |
395.56/395.82	c |     11339 |    7822     6946    21723 |    12968    11339     47 |  0.623 % |
397.66/397.95	c |     17107 |    7822     6946    21723 |    14265    10429     51 |  0.623 % |
400.06/400.38	c |     25760 |    7822     6946    21723 |    15692    11820     45 |  0.623 % |
405.16/405.41	c |     38738 |    7822     6946    21723 |    17261     8764     74 |  0.623 % |
411.55/411.88	c |     58201 |    7822     6946    21723 |    18987    10710    104 |  0.623 % |
424.15/424.42	c |     87393 |    7822     6946    21723 |    20886    11017     53 |  0.623 % |
443.64/443.98	c |    131182 |    7821     6946    21723 |    22974    12444     40 |  0.635 % |
475.03/475.38	c |    196868 |    7821     6946    21723 |    25272    19926     45 |  0.635 % |
535.71/536.05	c |    295395 |    7821     6946    21723 |    27799    15633     67 |  0.635 % |
541.51/541.85	c ===============================================================================
547.31/547.68	c core #987
547.31/547.68	c Core size: 1794	Core Weight: 1	Total Weight: 987
547.31/547.68	c Elapsed CPU time: 542.942 s	Remaining CPU time: 1257.06 s
547.71/548.08	c ============================[ Search Statistics ]==============================
547.71/548.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
547.71/548.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
547.71/548.08	c ===============================================================================
547.71/548.08	c |         0 |    8529     6947    23137 |     5000        0    nan |  0.000 % |
547.81/548.17	c |       100 |    8529     6947    23137 |     5500      100     20 |  0.571 % |
547.81/548.19	c |       251 |    8529     6947    23137 |     6050      251     18 |  0.571 % |
547.90/548.24	c |       476 |    8529     6947    23137 |     6655      476     27 |  0.571 % |
548.01/548.32	c |       813 |    8529     6947    23137 |     7320      813     32 |  0.571 % |
548.01/548.39	c |      1319 |    8529     6947    23137 |     8052     1319     36 |  0.571 % |
548.21/548.53	c |      2078 |    8529     6947    23137 |     8857     2078     35 |  0.571 % |
548.40/548.73	c |      3224 |    8529     6947    23137 |     9743     3224     53 |  0.571 % |
548.80/549.19	c |      4933 |    8529     6947    23137 |    10717     4933     51 |  0.571 % |
549.91/550.29	c |      7495 |    8529     6947    23137 |    11789     7495     66 |  0.571 % |
551.00/551.36	c |     11339 |    8529     6947    23137 |    12968    11339     97 |  0.571 % |
552.71/553.08	c |     17106 |    8529     6947    23137 |    14265    10443    113 |  0.571 % |
556.10/556.44	c |     25755 |    8529     6947    23137 |    15692    11584    124 |  0.571 % |
562.30/562.67	c |     38731 |    8529     6947    23137 |    17261     8348     97 |  0.571 % |
570.30/570.63	c |     58192 |    8529     6947    23137 |    18987     9893    100 |  0.571 % |
585.19/585.55	c |     87387 |    8529     6947    23137 |    20886    19360    137 |  0.571 % |
610.18/610.58	c |    131180 |    8529     6947    23137 |    22974    20434    125 |  0.571 % |
642.27/642.62	c |    196865 |    8529     6947    23137 |    25272    13942    210 |  0.571 % |
708.64/709.01	c |    295391 |    8529     6947    23137 |    27799    19237    146 |  0.571 % |
794.82/795.28	c |    443183 |    8529     6947    23137 |    30579    28173    194 |  0.571 % |
955.96/956.43	c |    664868 |    8529     6947    23137 |    33637    24142    168 |  0.571 % |
1206.46/1207.06	c |    997393 |    8529     6947    23137 |    37001    16028    182 |  0.571 % |

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-1875703-1245143201/watcher-1875703-1245143201 -o /tmp/evaluation-result-1875703-1245143201/solver-1875703-1245143201 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875703-1245143201.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.85 0.97 0.99 2/64 7308
/proc/meminfo: memFree=1948536/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=2648 CPUtime=0
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 181920777 2711552 189 1992294400 134512640 135709839 4294956240 18446744073709551615 134971615 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 662 189 118 292 0 339 0

[startup+0.0645289 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 7308
/proc/meminfo: memFree=1948536/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=3512 CPUtime=0.05
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 483 0 0 0 5 0 0 0 18 0 1 0 181920777 3596288 439 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 878 439 133 292 0 583 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3512

[startup+0.102535 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 7308
/proc/meminfo: memFree=1948536/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=3556 CPUtime=0.09
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 506 0 0 0 9 0 0 0 18 0 1 0 181920777 3641344 462 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 889 462 133 292 0 594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3556

[startup+0.301569 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 7308
/proc/meminfo: memFree=1948536/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=3724 CPUtime=0.29
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 588 0 0 0 29 0 0 0 19 0 1 0 181920777 3813376 476 1992294400 134512640 135709839 4294956240 18446744073709551615 134605349 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 931 476 133 292 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3724

[startup+0.702642 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 7308
/proc/meminfo: memFree=1948536/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=3860 CPUtime=0.69
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 815 0 0 0 69 0 0 0 22 0 1 0 181920777 3952640 545 1992294400 134512640 135709839 4294956240 18446744073709551615 135182886 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 965 545 133 292 0 670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3860

[startup+1.50179 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1946480/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=4728 CPUtime=1.48
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 1184 0 0 0 148 0 0 0 25 0 1 0 181920777 4841472 730 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 1182 730 133 292 0 887 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4728

[startup+3.10107 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1944880/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=6760 CPUtime=3.07
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 2212 0 0 0 306 1 0 0 25 0 1 0 181920777 6922240 1271 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 1690 1271 133 292 0 1395 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 6760

[startup+6.30165 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1939632/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=13648 CPUtime=6.23
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 5091 0 0 0 619 4 0 0 25 0 1 0 181920777 13975552 2965 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 3412 2965 134 292 0 3117 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13648

[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1930360/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=21136 CPUtime=12.61
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 7185 0 0 0 1240 21 0 0 25 0 1 0 181920777 21643264 4850 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 5284 4850 136 292 0 4989 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 21136

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1912824/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=38260 CPUtime=25.4
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 11462 0 0 0 2499 41 0 0 25 0 1 0 181920777 39178240 9127 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 9565 9127 136 292 0 9270 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 38260

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1868664/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=82896 CPUtime=50.99
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 22619 0 0 0 5021 78 0 0 25 0 1 0 181920777 84885504 20284 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 20724 20284 136 292 0 20429 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 82896

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1793144/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=157300 CPUtime=102.17
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 41186 0 0 0 10104 113 0 0 25 0 1 0 181920777 161075200 38851 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 39325 38851 136 292 0 39030 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 157300

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 7309
/proc/meminfo: memFree=1713720/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=237596 CPUtime=162.15
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 61255 0 0 0 16048 167 0 0 25 0 1 0 181920777 243298304 58920 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 59399 58920 136 292 0 59104 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 237596

[startup+222.301 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 7309
/proc/meminfo: memFree=1632184/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=317996 CPUtime=222.13
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 81348 0 0 0 21992 221 0 0 25 0 1 0 181920777 325627904 79013 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 79499 79013 136 292 0 79204 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 317996

[startup+282.301 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1562296/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=388692 CPUtime=282.11
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 99011 0 0 0 27946 265 0 0 25 0 1 0 181920777 398020608 96676 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 97173 96676 136 292 0 96878 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 388692

[startup+342.302 s]
/proc/loadavg: 1.08 1.01 1.00 2/65 7309
/proc/meminfo: memFree=1489528/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=460432 CPUtime=342.08
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 116927 0 0 0 33905 303 0 0 25 0 1 0 181920777 471482368 114592 1992294400 134512640 135709839 4294956240 18446744073709551615 134573900 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 115108 114592 136 292 0 114813 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 460432

[startup+402.302 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 7309
/proc/meminfo: memFree=1432504/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=517008 CPUtime=402.06
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 131078 0 0 0 39862 344 0 0 25 0 1 0 181920777 529416192 128743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573734 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 129252 128743 136 292 0 128957 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 517008

[startup+462.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 7309
/proc/meminfo: memFree=1432504/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=517008 CPUtime=462.03
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 131078 0 0 0 45805 398 0 0 25 0 1 0 181920777 529416192 128743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 129252 128743 136 292 0 128957 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 517008

[startup+522.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 7309
/proc/meminfo: memFree=1432440/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=517008 CPUtime=522.02
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 131079 0 0 0 51763 439 0 0 25 0 1 0 181920777 529416192 128744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 129252 128744 136 292 0 128957 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 517008

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7309
/proc/meminfo: memFree=1432312/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=517008 CPUtime=581.99
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 131116 0 0 0 57718 481 0 0 25 0 1 0 181920777 529416192 128781 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 129252 128781 136 292 0 128957 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 517008

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1357880/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=591080 CPUtime=641.97
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 149674 0 0 0 63652 545 0 0 25 0 1 0 181920777 605265920 147339 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 147770 147339 136 292 0 147475 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 591080

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1288440/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=660960 CPUtime=701.95
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 167135 0 0 0 69600 595 0 0 25 0 1 0 181920777 676823040 164800 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 165240 164800 136 292 0 164945 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 660960

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1204344/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=744444 CPUtime=761.93
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 187967 0 0 0 75546 647 0 0 25 0 1 0 181920777 762310656 185632 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 186111 185632 136 292 0 185816 0
Current children cumulated CPU time (s) 761.93
Current children cumulated vsize (KiB) 744444

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1111096/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=838664 CPUtime=821.9
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 211517 0 0 0 81486 704 0 0 25 0 1 0 181920777 858791936 209182 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 209666 209182 136 292 0 209371 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 838664

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=1013304/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=935008 CPUtime=881.88
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 235620 0 0 0 87442 746 0 0 25 0 1 0 181920777 957448192 233285 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 233752 233285 136 292 0 233457 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 935008

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=928568/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1020944 CPUtime=941.86
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 257081 0 0 0 93393 793 0 0 25 0 1 0 181920777 1045446656 254746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 255236 254746 136 292 0 254941 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 1020944

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=830520/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1117900 CPUtime=1001.84
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 281305 0 0 0 99330 854 0 0 25 0 1 0 181920777 1144729600 278970 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 279475 278970 136 292 0 279180 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 1117900

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=740024/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1208820 CPUtime=1061.82
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 304015 0 0 0 105284 898 0 0 25 0 1 0 181920777 1237831680 301680 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 302205 301680 136 292 0 301910 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 1208820

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=653624/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1294572 CPUtime=1121.8
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 325437 0 0 0 111238 942 0 0 25 0 1 0 181920777 1325641728 323102 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 323643 323102 136 292 0 323348 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 1294572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=575352/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1373392 CPUtime=1181.77
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 345139 0 0 0 117193 984 0 0 25 0 1 0 181920777 1406353408 342804 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 343348 342804 136 292 0 343053 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1373392

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=501816/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1445836 CPUtime=1241.75
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 363257 0 0 0 123149 1026 0 0 25 0 1 0 181920777 1480536064 360922 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 361459 360922 136 292 0 361164 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 1445836

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=432888/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1514232 CPUtime=1301.73
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 380337 0 0 0 129110 1063 0 0 25 0 1 0 181920777 1550573568 378002 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 378558 378002 136 292 0 378263 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 1514232

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=373304/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1574300 CPUtime=1361.71
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 395307 0 0 0 135074 1097 0 0 25 0 1 0 181920777 1612083200 392972 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 393575 392972 136 292 0 393280 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 1574300

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=317880/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1629388 CPUtime=1421.69
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 409051 0 0 0 141042 1127 0 0 25 0 1 0 181920777 1668493312 406716 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 407347 406716 136 292 0 407052 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1629388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=263416/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1684288 CPUtime=1481.67
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 422758 0 0 0 147014 1153 0 0 25 0 1 0 181920777 1724710912 420423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 421072 420423 136 292 0 420777 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 1684288

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=201272/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1746196 CPUtime=1541.65
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 438212 0 0 0 152980 1185 0 0 25 0 1 0 181920777 1788104704 435877 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 436549 435877 136 292 0 436254 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1746196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=144120/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1803352 CPUtime=1601.62
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 452490 0 0 0 158949 1213 0 0 25 0 1 0 181920777 1846632448 450155 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 450838 450155 136 292 0 450543 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1803352



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1638.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=103608/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=1843208 CPUtime=1637.92
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4194304 462451 0 0 0 162557 1235 0 0 25 0 1 0 181920777 1887444992 460116 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 460802 460116 136 292 0 460507 0
Current children cumulated CPU time (s) 1637.92
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1638.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7309
/proc/meminfo: memFree=103608/2055920 swapFree=4180860/4192956
[pid=7308] ppid=7306 vsize=0 CPUtime=1638.11
/proc/7308/stat : 7308 (wbo) R 7306 7308 7265 0 -1 4195332 462451 0 0 0 162557 1254 0 0 25 0 1 0 181920777 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/7308/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1638.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1638.88
CPU time (s): 1638.2
CPU user time (s): 1625.58
CPU system time (s): 12.6291
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1843208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1625.58
system time used= 12.6291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462451
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= 3
involuntary context switches= 3851

runsolver used 1.57376 second user time and 3.05253 second system time

The end

Launcher Data 

Begin job on node12 at 2009-06-16 11:06:41
IDJOB=1875703
IDBENCH=1979
IDSOLVER=698
FILE ID=node12/1875703-1245143201
PBS_JOBID= 9363743
Free space on /tmp= 66236 MiB

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

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

MD5SUM BENCH= e19b588c94d7a5fd177e87fa7a6307a3
RANDOM SEED=1522202501

node12.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.281
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.281
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:       1949208 kB
Buffers:         10896 kB
Cached:          46896 kB
SwapCached:       6264 kB
Active:          35912 kB
Inactive:        30116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1949208 kB
SwapTotal:     4192956 kB
SwapFree:      4180860 kB
Dirty:            2560 kB
Writeback:           0 kB
Mapped:          13356 kB
Slab:            26676 kB
Committed_AS:   166932 kB
PageTables:       1380 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-1875703-1245143201.opb

Free space on /tmp at the end= 66232 MiB
End job on node12 at 2009-06-16 11:34:02