Trace number 1875525

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.27 1801.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM8fb889bdb08324a2b9780b5ff988846e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints5250
Number of constraints which are clauses5250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2000
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 2000
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 2000
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-1875525-1245151247.opb.
0.00/0.00	c Instance file HOME/instance-1875525-1245151247.opb
0.00/0.00	c File size is 179470 bytes.
0.00/0.02	c Highest Coefficient sum: 4
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.02         s                                      |
0.00/0.02	c |  Number Variables:      2000                                                |
0.00/0.02	c |  Number Clauses:        7250                                                |
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: 4	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #3
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #4
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #5
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #6
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #7
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #8
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #9
0.00/0.05	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #10
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #11
0.00/0.06	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.00/0.07	c core #12
0.00/0.07	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.07/0.07	c core #13
0.07/0.07	c Core size: 4	Core Weight: 1	Total Weight: 13
0.07/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.07/0.07	c core #14
0.07/0.07	c Core size: 4	Core Weight: 1	Total Weight: 14
0.07/0.07	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #15
0.07/0.08	c Core size: 4	Core Weight: 1	Total Weight: 15
0.07/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.07/0.08	c core #16
0.07/0.08	c Core size: 4	Core Weight: 1	Total Weight: 16
0.07/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.07/0.09	c core #17
0.07/0.09	c Core size: 4	Core Weight: 1	Total Weight: 17
0.07/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.07/0.09	c core #18
0.07/0.09	c Core size: 4	Core Weight: 1	Total Weight: 18
0.07/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.07/0.10	c core #19
0.07/0.10	c Core size: 4	Core Weight: 1	Total Weight: 19
0.07/0.10	c Elapsed CPU time: 0.097985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #20
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 20
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #21
0.09/0.10	c Core size: 4	Core Weight: 1	Total Weight: 21
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #22
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 22
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #23
0.09/0.11	c Core size: 4	Core Weight: 1	Total Weight: 23
0.09/0.11	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #24
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 24
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #25
0.09/0.12	c Core size: 4	Core Weight: 1	Total Weight: 25
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #26
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 26
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #27
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 27
0.09/0.13	c Elapsed CPU time: 0.131979 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #28
0.09/0.13	c Core size: 4	Core Weight: 1	Total Weight: 28
0.09/0.13	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #29
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 29
0.09/0.14	c Elapsed CPU time: 0.139978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #30
0.09/0.14	c Core size: 4	Core Weight: 1	Total Weight: 30
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #31
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 31
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #32
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 32
0.09/0.15	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #33
0.09/0.15	c Core size: 4	Core Weight: 1	Total Weight: 33
0.09/0.15	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #34
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 34
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #35
0.09/0.16	c Core size: 4	Core Weight: 1	Total Weight: 35
0.09/0.16	c Elapsed CPU time: 0.165974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #36
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 36
0.09/0.17	c Elapsed CPU time: 0.169974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #37
0.09/0.17	c Core size: 4	Core Weight: 1	Total Weight: 37
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #38
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 38
0.09/0.18	c Elapsed CPU time: 0.177972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #39
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 39
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #40
0.09/0.18	c Core size: 4	Core Weight: 1	Total Weight: 40
0.09/0.18	c Elapsed CPU time: 0.186971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #41
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 41
0.09/0.19	c Elapsed CPU time: 0.19097 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #42
0.09/0.19	c Core size: 4	Core Weight: 1	Total Weight: 42
0.09/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #43
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 43
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #44
0.19/0.20	c Core size: 4	Core Weight: 1	Total Weight: 44
0.19/0.20	c Elapsed CPU time: 0.203968 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #45
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 45
0.19/0.21	c Elapsed CPU time: 0.207968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #46
0.19/0.21	c Core size: 4	Core Weight: 1	Total Weight: 46
0.19/0.21	c Elapsed CPU time: 0.212967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #47
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 47
0.19/0.22	c Elapsed CPU time: 0.216967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #48
0.19/0.22	c Core size: 4	Core Weight: 1	Total Weight: 48
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #49
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 49
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #50
0.19/0.23	c Core size: 4	Core Weight: 1	Total Weight: 50
0.19/0.23	c Elapsed CPU time: 0.229965 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #51
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 51
0.19/0.24	c Elapsed CPU time: 0.233964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #52
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 52
0.19/0.24	c Elapsed CPU time: 0.237963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #53
0.19/0.24	c Core size: 4	Core Weight: 1	Total Weight: 53
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #54
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 54
0.19/0.25	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #55
0.19/0.25	c Core size: 4	Core Weight: 1	Total Weight: 55
0.19/0.25	c Elapsed CPU time: 0.250961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #56
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 56
0.19/0.26	c Elapsed CPU time: 0.255961 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #57
0.19/0.26	c Core size: 4	Core Weight: 1	Total Weight: 57
0.19/0.26	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #58
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 58
0.19/0.27	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #59
0.19/0.27	c Core size: 4	Core Weight: 1	Total Weight: 59
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #60
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 60
0.19/0.28	c Elapsed CPU time: 0.272958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #61
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 61
0.19/0.28	c Elapsed CPU time: 0.277957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #62
0.19/0.28	c Core size: 4	Core Weight: 1	Total Weight: 62
0.19/0.28	c Elapsed CPU time: 0.281957 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #63
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 63
0.19/0.29	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #64
0.19/0.29	c Core size: 4	Core Weight: 1	Total Weight: 64
0.19/0.29	c Elapsed CPU time: 0.290955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #65
0.29/0.30	c Core size: 4	Core Weight: 1	Total Weight: 65
0.29/0.30	c Elapsed CPU time: 0.294955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #66
0.29/0.30	c Core size: 4	Core Weight: 1	Total Weight: 66
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #67
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 67
0.29/0.31	c Elapsed CPU time: 0.303953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #68
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 68
0.29/0.31	c Elapsed CPU time: 0.307953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #69
0.29/0.31	c Core size: 4	Core Weight: 1	Total Weight: 69
0.29/0.31	c Elapsed CPU time: 0.312952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #70
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 70
0.29/0.32	c Elapsed CPU time: 0.316951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #71
0.29/0.32	c Core size: 4	Core Weight: 1	Total Weight: 71
0.29/0.32	c Elapsed CPU time: 0.321951 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #72
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 72
0.29/0.33	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #73
0.29/0.33	c Core size: 4	Core Weight: 1	Total Weight: 73
0.29/0.33	c Elapsed CPU time: 0.330949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #74
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 74
0.29/0.34	c Elapsed CPU time: 0.334949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #75
0.29/0.34	c Core size: 4	Core Weight: 1	Total Weight: 75
0.29/0.34	c Elapsed CPU time: 0.339948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #76
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 76
0.29/0.35	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #77
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 77
0.29/0.35	c Elapsed CPU time: 0.347947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #78
0.29/0.35	c Core size: 4	Core Weight: 1	Total Weight: 78
0.29/0.35	c Elapsed CPU time: 0.352946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #79
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 79
0.29/0.36	c Elapsed CPU time: 0.356945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #80
0.29/0.36	c Core size: 4	Core Weight: 1	Total Weight: 80
0.29/0.36	c Elapsed CPU time: 0.361944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #81
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 81
0.29/0.37	c Elapsed CPU time: 0.365944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #82
0.29/0.37	c Core size: 4	Core Weight: 1	Total Weight: 82
0.29/0.37	c Elapsed CPU time: 0.370943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #83
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 83
0.29/0.38	c Elapsed CPU time: 0.374943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #84
0.29/0.38	c Core size: 4	Core Weight: 1	Total Weight: 84
0.29/0.38	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #85
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 85
0.29/0.39	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #86
0.29/0.39	c Core size: 4	Core Weight: 1	Total Weight: 86
0.29/0.39	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.29/0.40	c core #87
0.29/0.40	c Core size: 4	Core Weight: 1	Total Weight: 87
0.29/0.40	c Elapsed CPU time: 0.39294 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #88
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 88
0.39/0.40	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #89
0.39/0.40	c Core size: 4	Core Weight: 1	Total Weight: 89
0.39/0.40	c Elapsed CPU time: 0.401938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #90
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 90
0.39/0.41	c Elapsed CPU time: 0.406938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #91
0.39/0.41	c Core size: 4	Core Weight: 1	Total Weight: 91
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #92
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 92
0.39/0.42	c Elapsed CPU time: 0.415936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #93
0.39/0.42	c Core size: 4	Core Weight: 1	Total Weight: 93
0.39/0.42	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #94
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 94
0.39/0.43	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #95
0.39/0.43	c Core size: 4	Core Weight: 1	Total Weight: 95
0.39/0.43	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #96
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 96
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #97
0.39/0.44	c Core size: 4	Core Weight: 1	Total Weight: 97
0.39/0.44	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #98
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 98
0.39/0.45	c Elapsed CPU time: 0.443932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #99
0.39/0.45	c Core size: 4	Core Weight: 1	Total Weight: 99
0.39/0.45	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #100
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 100
0.39/0.46	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #101
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 101
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #102
0.39/0.46	c Core size: 4	Core Weight: 1	Total Weight: 102
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #103
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 103
0.39/0.47	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #104
0.39/0.47	c Core size: 4	Core Weight: 1	Total Weight: 104
0.39/0.47	c Elapsed CPU time: 0.471928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #105
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 105
0.39/0.48	c Elapsed CPU time: 0.476927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #106
0.39/0.48	c Core size: 4	Core Weight: 1	Total Weight: 106
0.39/0.48	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #107
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 107
0.39/0.49	c Elapsed CPU time: 0.486925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #108
0.39/0.49	c Core size: 4	Core Weight: 1	Total Weight: 108
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #109
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 109
0.49/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #110
0.49/0.50	c Core size: 4	Core Weight: 1	Total Weight: 110
0.49/0.50	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #111
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 111
0.49/0.51	c Elapsed CPU time: 0.505923 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #112
0.49/0.51	c Core size: 4	Core Weight: 1	Total Weight: 112
0.49/0.51	c Elapsed CPU time: 0.510922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #113
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 113
0.49/0.52	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #114
0.49/0.52	c Core size: 4	Core Weight: 1	Total Weight: 114
0.49/0.52	c Elapsed CPU time: 0.52092 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #115
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 115
0.49/0.53	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 1799.47 s
0.49/0.53	c core #116
0.49/0.53	c Core size: 4	Core Weight: 1	Total Weight: 116
0.49/0.53	c Elapsed CPU time: 0.530919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #117
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 117
0.49/0.54	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #118
0.49/0.54	c Core size: 4	Core Weight: 1	Total Weight: 118
0.49/0.54	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #119
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 119
0.49/0.55	c Elapsed CPU time: 0.544917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #120
0.49/0.55	c Core size: 4	Core Weight: 1	Total Weight: 120
0.49/0.55	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #121
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 121
0.49/0.56	c Elapsed CPU time: 0.554915 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #122
0.49/0.56	c Core size: 4	Core Weight: 1	Total Weight: 122
0.49/0.56	c Elapsed CPU time: 0.559914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #123
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 123
0.49/0.57	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #124
0.49/0.57	c Core size: 4	Core Weight: 1	Total Weight: 124
0.49/0.57	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #125
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 125
0.49/0.58	c Elapsed CPU time: 0.574912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #126
0.49/0.58	c Core size: 4	Core Weight: 1	Total Weight: 126
0.49/0.58	c Elapsed CPU time: 0.579911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #127
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 127
0.49/0.59	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #128
0.49/0.59	c Core size: 4	Core Weight: 1	Total Weight: 128
0.49/0.59	c Elapsed CPU time: 0.58991 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #129
0.59/0.60	c Core size: 4	Core Weight: 1	Total Weight: 129
0.59/0.60	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #130
0.59/0.60	c Core size: 4	Core Weight: 1	Total Weight: 130
0.59/0.60	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #131
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 131
0.59/0.61	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #132
0.59/0.61	c Core size: 4	Core Weight: 1	Total Weight: 132
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #133
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 133
0.59/0.62	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #134
0.59/0.62	c Core size: 4	Core Weight: 1	Total Weight: 134
0.59/0.62	c Elapsed CPU time: 0.619905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #135
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 135
0.59/0.63	c Elapsed CPU time: 0.624905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #136
0.59/0.63	c Core size: 4	Core Weight: 1	Total Weight: 136
0.59/0.63	c Elapsed CPU time: 0.629904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #137
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 137
0.59/0.64	c Elapsed CPU time: 0.634903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #138
0.59/0.64	c Core size: 4	Core Weight: 1	Total Weight: 138
0.59/0.64	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #139
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 139
0.59/0.65	c Elapsed CPU time: 0.644901 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #140
0.59/0.65	c Core size: 4	Core Weight: 1	Total Weight: 140
0.59/0.65	c Elapsed CPU time: 0.649901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #141
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 141
0.59/0.66	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #142
0.59/0.66	c Core size: 4	Core Weight: 1	Total Weight: 142
0.59/0.66	c Elapsed CPU time: 0.659899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #143
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 143
0.59/0.67	c Elapsed CPU time: 0.664898 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #144
0.59/0.67	c Core size: 4	Core Weight: 1	Total Weight: 144
0.59/0.67	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #145
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 145
0.59/0.68	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #146
0.59/0.68	c Core size: 4	Core Weight: 1	Total Weight: 146
0.59/0.68	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #147
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 147
0.59/0.69	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #148
0.59/0.69	c Core size: 4	Core Weight: 1	Total Weight: 148
0.59/0.69	c Elapsed CPU time: 0.690894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #149
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 149
0.69/0.70	c Elapsed CPU time: 0.695894 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #150
0.69/0.70	c Core size: 4	Core Weight: 1	Total Weight: 150
0.69/0.70	c Elapsed CPU time: 0.700893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #151
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 151
0.69/0.71	c Elapsed CPU time: 0.705892 s	Remaining CPU time: 1799.29 s
0.69/0.71	c core #152
0.69/0.71	c Core size: 4	Core Weight: 1	Total Weight: 152
0.69/0.71	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #153
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 153
0.69/0.72	c Elapsed CPU time: 0.715891 s	Remaining CPU time: 1799.28 s
0.69/0.72	c core #154
0.69/0.72	c Core size: 4	Core Weight: 1	Total Weight: 154
0.69/0.72	c Elapsed CPU time: 0.72189 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #155
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: 155
0.69/0.73	c Elapsed CPU time: 0.726889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #156
0.69/0.73	c Core size: 4	Core Weight: 1	Total Weight: 156
0.69/0.73	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #157
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 157
0.69/0.74	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #158
0.69/0.74	c Core size: 4	Core Weight: 1	Total Weight: 158
0.69/0.74	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #159
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 159
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.75	c core #160
0.69/0.75	c Core size: 4	Core Weight: 1	Total Weight: 160
0.69/0.75	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #161
0.69/0.76	c Core size: 4	Core Weight: 1	Total Weight: 161
0.69/0.76	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 1799.24 s
0.69/0.76	c core #162
0.69/0.76	c Core size: 4	Core Weight: 1	Total Weight: 162
0.69/0.76	c Elapsed CPU time: 0.761884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #163
0.69/0.77	c Core size: 4	Core Weight: 1	Total Weight: 163
0.69/0.77	c Elapsed CPU time: 0.767883 s	Remaining CPU time: 1799.23 s
0.69/0.77	c core #164
0.69/0.77	c Core size: 4	Core Weight: 1	Total Weight: 164
0.69/0.77	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #165
0.69/0.78	c Core size: 4	Core Weight: 1	Total Weight: 165
0.69/0.78	c Elapsed CPU time: 0.777881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #166
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 166
0.69/0.79	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #167
0.69/0.79	c Core size: 4	Core Weight: 1	Total Weight: 167
0.69/0.79	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #168
0.69/0.80	c Core size: 4	Core Weight: 1	Total Weight: 168
0.69/0.80	c Elapsed CPU time: 0.792879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #169
0.79/0.80	c Core size: 4	Core Weight: 1	Total Weight: 169
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #170
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 170
0.79/0.81	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #171
0.79/0.81	c Core size: 4	Core Weight: 1	Total Weight: 171
0.79/0.81	c Elapsed CPU time: 0.807877 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #172
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 172
0.79/0.82	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #173
0.79/0.82	c Core size: 4	Core Weight: 1	Total Weight: 173
0.79/0.82	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #174
0.79/0.83	c Core size: 4	Core Weight: 1	Total Weight: 174
0.79/0.83	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #175
0.79/0.83	c Core size: 4	Core Weight: 1	Total Weight: 175
0.79/0.83	c Elapsed CPU time: 0.828873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #176
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 176
0.79/0.84	c Elapsed CPU time: 0.833873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #177
0.79/0.84	c Core size: 4	Core Weight: 1	Total Weight: 177
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #178
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 178
0.79/0.85	c Elapsed CPU time: 0.844871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #179
0.79/0.85	c Core size: 4	Core Weight: 1	Total Weight: 179
0.79/0.85	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #180
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 180
0.79/0.86	c Elapsed CPU time: 0.85487 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #181
0.79/0.86	c Core size: 4	Core Weight: 1	Total Weight: 181
0.79/0.86	c Elapsed CPU time: 0.859869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #182
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 182
0.79/0.87	c Elapsed CPU time: 0.864868 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #183
0.79/0.87	c Core size: 4	Core Weight: 1	Total Weight: 183
0.79/0.87	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #184
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 184
0.79/0.88	c Elapsed CPU time: 0.875866 s	Remaining CPU time: 1799.12 s
0.79/0.88	c core #185
0.79/0.88	c Core size: 4	Core Weight: 1	Total Weight: 185
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #186
0.79/0.89	c Core size: 4	Core Weight: 1	Total Weight: 186
0.79/0.89	c Elapsed CPU time: 0.885865 s	Remaining CPU time: 1799.11 s
0.79/0.89	c core #187
0.79/0.89	c Core size: 4	Core Weight: 1	Total Weight: 187
0.79/0.89	c Elapsed CPU time: 0.891864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #188
0.89/0.90	c Core size: 4	Core Weight: 1	Total Weight: 188
0.89/0.90	c Elapsed CPU time: 0.896863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #189
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 189
0.89/0.91	c Elapsed CPU time: 0.901862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #190
0.89/0.91	c Core size: 4	Core Weight: 1	Total Weight: 190
0.89/0.91	c Elapsed CPU time: 0.906862 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #191
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 191
0.89/0.92	c Elapsed CPU time: 0.912861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #192
0.89/0.92	c Core size: 4	Core Weight: 1	Total Weight: 192
0.89/0.92	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #193
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 193
0.89/0.93	c Elapsed CPU time: 0.921859 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #194
0.89/0.93	c Core size: 4	Core Weight: 1	Total Weight: 194
0.89/0.93	c Elapsed CPU time: 0.927858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #195
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 195
0.89/0.94	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #196
0.89/0.94	c Core size: 4	Core Weight: 1	Total Weight: 196
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #197
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 197
0.89/0.95	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #198
0.89/0.95	c Core size: 4	Core Weight: 1	Total Weight: 198
0.89/0.95	c Elapsed CPU time: 0.948855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #199
0.89/0.96	c Core size: 4	Core Weight: 1	Total Weight: 199
0.89/0.96	c Elapsed CPU time: 0.954854 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #200
0.89/0.96	c Core size: 4	Core Weight: 1	Total Weight: 200
0.89/0.96	c Elapsed CPU time: 0.959854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #201
0.89/0.97	c Core size: 4	Core Weight: 1	Total Weight: 201
0.89/0.97	c Elapsed CPU time: 0.964853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #202
0.89/0.97	c Core size: 4	Core Weight: 1	Total Weight: 202
0.89/0.97	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #203
0.89/0.98	c Core size: 4	Core Weight: 1	Total Weight: 203
0.89/0.98	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #204
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: 204
0.89/0.99	c Elapsed CPU time: 0.98185 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #205
0.89/0.99	c Core size: 4	Core Weight: 1	Total Weight: 205
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #206
0.99/1.00	c Core size: 4	Core Weight: 1	Total Weight: 206
0.99/1.00	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #207
0.99/1.00	c Core size: 4	Core Weight: 1	Total Weight: 207
0.99/1.00	c Elapsed CPU time: 0.997848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #208
0.99/1.01	c Core size: 4	Core Weight: 1	Total Weight: 208
0.99/1.01	c Elapsed CPU time: 1.00385 s	Remaining CPU time: 1799 s
0.99/1.01	c core #209
0.99/1.01	c Core size: 4	Core Weight: 1	Total Weight: 209
0.99/1.01	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #210
0.99/1.02	c Core size: 4	Core Weight: 1	Total Weight: 210
0.99/1.02	c Elapsed CPU time: 1.01484 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #211
0.99/1.02	c Core size: 4	Core Weight: 1	Total Weight: 211
0.99/1.02	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #212
0.99/1.03	c Core size: 4	Core Weight: 1	Total Weight: 212
0.99/1.03	c Elapsed CPU time: 1.02484 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #213
0.99/1.03	c Core size: 4	Core Weight: 1	Total Weight: 213
0.99/1.03	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #214
0.99/1.04	c Core size: 4	Core Weight: 1	Total Weight: 214
0.99/1.04	c Elapsed CPU time: 1.03684 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #215
0.99/1.05	c Core size: 4	Core Weight: 1	Total Weight: 215
0.99/1.05	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #216
0.99/1.05	c Core size: 4	Core Weight: 1	Total Weight: 216
0.99/1.05	c Elapsed CPU time: 1.04684 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #217
0.99/1.06	c Core size: 4	Core Weight: 1	Total Weight: 217
0.99/1.06	c Elapsed CPU time: 1.05284 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #218
0.99/1.06	c Core size: 4	Core Weight: 1	Total Weight: 218
0.99/1.06	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #219
0.99/1.07	c Core size: 4	Core Weight: 1	Total Weight: 219
0.99/1.07	c Elapsed CPU time: 1.06384 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #220
0.99/1.07	c Core size: 4	Core Weight: 1	Total Weight: 220
0.99/1.07	c Elapsed CPU time: 1.06884 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #221
0.99/1.08	c Core size: 4	Core Weight: 1	Total Weight: 221
0.99/1.08	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 1798.93 s
0.99/1.09	c core #222
0.99/1.09	c Core size: 4	Core Weight: 1	Total Weight: 222
0.99/1.09	c Elapsed CPU time: 1.08083 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #223
0.99/1.09	c Core size: 4	Core Weight: 1	Total Weight: 223
0.99/1.09	c Elapsed CPU time: 1.08683 s	Remaining CPU time: 1798.91 s
0.99/1.10	c core #224
0.99/1.10	c Core size: 4	Core Weight: 1	Total Weight: 224
0.99/1.10	c Elapsed CPU time: 1.09183 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #225
1.09/1.10	c Core size: 4	Core Weight: 1	Total Weight: 225
1.09/1.10	c Elapsed CPU time: 1.09783 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #226
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: 226
1.09/1.11	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #227
1.09/1.11	c Core size: 4	Core Weight: 1	Total Weight: 227
1.09/1.11	c Elapsed CPU time: 1.10883 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #228
1.09/1.12	c Core size: 4	Core Weight: 1	Total Weight: 228
1.09/1.12	c Elapsed CPU time: 1.11483 s	Remaining CPU time: 1798.89 s
1.09/1.13	c core #229
1.09/1.13	c Core size: 4	Core Weight: 1	Total Weight: 229
1.09/1.13	c Elapsed CPU time: 1.11983 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #230
1.09/1.13	c Core size: 4	Core Weight: 1	Total Weight: 230
1.09/1.13	c Elapsed CPU time: 1.12583 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #231
1.09/1.14	c Core size: 4	Core Weight: 1	Total Weight: 231
1.09/1.14	c Elapsed CPU time: 1.13183 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #232
1.09/1.14	c Core size: 4	Core Weight: 1	Total Weight: 232
1.09/1.14	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #233
1.09/1.15	c Core size: 4	Core Weight: 1	Total Weight: 233
1.09/1.15	c Elapsed CPU time: 1.14283 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #234
1.09/1.15	c Core size: 4	Core Weight: 1	Total Weight: 234
1.09/1.15	c Elapsed CPU time: 1.14882 s	Remaining CPU time: 1798.85 s
1.09/1.16	c core #235
1.09/1.16	c Core size: 4	Core Weight: 1	Total Weight: 235
1.09/1.16	c Elapsed CPU time: 1.15482 s	Remaining CPU time: 1798.85 s
1.09/1.17	c core #236
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: 236
1.09/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #237
1.09/1.17	c Core size: 4	Core Weight: 1	Total Weight: 237
1.09/1.17	c Elapsed CPU time: 1.16682 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #238
1.09/1.18	c Core size: 4	Core Weight: 1	Total Weight: 238
1.09/1.18	c Elapsed CPU time: 1.17282 s	Remaining CPU time: 1798.83 s
1.09/1.18	c core #239
1.09/1.18	c Core size: 4	Core Weight: 1	Total Weight: 239
1.09/1.18	c Elapsed CPU time: 1.17782 s	Remaining CPU time: 1798.82 s
1.09/1.19	c core #240
1.09/1.19	c Core size: 4	Core Weight: 1	Total Weight: 240
1.09/1.19	c Elapsed CPU time: 1.18482 s	Remaining CPU time: 1798.82 s
1.09/1.20	c core #241
1.09/1.20	c Core size: 4	Core Weight: 1	Total Weight: 241
1.09/1.20	c Elapsed CPU time: 1.18982 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #242
1.19/1.20	c Core size: 4	Core Weight: 1	Total Weight: 242
1.19/1.20	c Elapsed CPU time: 1.19582 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #243
1.19/1.21	c Core size: 4	Core Weight: 1	Total Weight: 243
1.19/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.21	c core #244
1.19/1.21	c Core size: 4	Core Weight: 1	Total Weight: 244
1.19/1.21	c Elapsed CPU time: 1.20682 s	Remaining CPU time: 1798.79 s
1.19/1.22	c core #245
1.19/1.22	c Core size: 4	Core Weight: 1	Total Weight: 245
1.19/1.22	c Elapsed CPU time: 1.21281 s	Remaining CPU time: 1798.79 s
1.19/1.23	c core #246
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: 246
1.19/1.23	c Elapsed CPU time: 1.21881 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #247
1.19/1.23	c Core size: 4	Core Weight: 1	Total Weight: 247
1.19/1.23	c Elapsed CPU time: 1.22581 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #248
1.19/1.24	c Core size: 4	Core Weight: 1	Total Weight: 248
1.19/1.24	c Elapsed CPU time: 1.23181 s	Remaining CPU time: 1798.77 s
1.19/1.24	c core #249
1.19/1.24	c Core size: 4	Core Weight: 1	Total Weight: 249
1.19/1.24	c Elapsed CPU time: 1.23681 s	Remaining CPU time: 1798.76 s
1.19/1.25	c core #250
1.19/1.25	c Core size: 4	Core Weight: 1	Total Weight: 250
1.19/1.25	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #251
1.19/1.26	c Core size: 4	Core Weight: 1	Total Weight: 251
1.19/1.26	c Elapsed CPU time: 1.24881 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #252
1.19/1.26	c Core size: 4	Core Weight: 1	Total Weight: 252
1.19/1.26	c Elapsed CPU time: 1.25481 s	Remaining CPU time: 1798.75 s
1.19/1.27	c core #253
1.19/1.27	c Core size: 4	Core Weight: 1	Total Weight: 253
1.19/1.27	c Elapsed CPU time: 1.26081 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #254
1.19/1.27	c Core size: 4	Core Weight: 1	Total Weight: 254
1.19/1.27	c Elapsed CPU time: 1.26781 s	Remaining CPU time: 1798.73 s
1.19/1.28	c core #255
1.19/1.28	c Core size: 4	Core Weight: 1	Total Weight: 255
1.19/1.28	c Elapsed CPU time: 1.27381 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #256
1.19/1.29	c Core size: 4	Core Weight: 1	Total Weight: 256
1.19/1.29	c Elapsed CPU time: 1.27981 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #257
1.19/1.29	c Core size: 4	Core Weight: 1	Total Weight: 257
1.19/1.29	c Elapsed CPU time: 1.2858 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #258
1.29/1.30	c Core size: 4	Core Weight: 1	Total Weight: 258
1.29/1.30	c Elapsed CPU time: 1.2918 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #259
1.29/1.30	c Core size: 4	Core Weight: 1	Total Weight: 259
1.29/1.30	c Elapsed CPU time: 1.2978 s	Remaining CPU time: 1798.7 s
1.29/1.31	c core #260
1.29/1.31	c Core size: 4	Core Weight: 1	Total Weight: 260
1.29/1.31	c Elapsed CPU time: 1.3038 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #261
1.29/1.32	c Core size: 4	Core Weight: 1	Total Weight: 261
1.29/1.32	c Elapsed CPU time: 1.3098 s	Remaining CPU time: 1798.69 s
1.29/1.32	c core #262
1.29/1.32	c Core size: 4	Core Weight: 1	Total Weight: 262
1.29/1.32	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #263
1.29/1.33	c Core size: 4	Core Weight: 1	Total Weight: 263
1.29/1.33	c Elapsed CPU time: 1.3218 s	Remaining CPU time: 1798.68 s
1.29/1.33	c core #264
1.29/1.33	c Core size: 4	Core Weight: 1	Total Weight: 264
1.29/1.33	c Elapsed CPU time: 1.3278 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #265
1.29/1.34	c Core size: 4	Core Weight: 1	Total Weight: 265
1.29/1.34	c Elapsed CPU time: 1.3338 s	Remaining CPU time: 1798.67 s
1.29/1.35	c core #266
1.29/1.35	c Core size: 4	Core Weight: 1	Total Weight: 266
1.29/1.35	c Elapsed CPU time: 1.3398 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #267
1.29/1.35	c Core size: 4	Core Weight: 1	Total Weight: 267
1.29/1.35	c Elapsed CPU time: 1.34679 s	Remaining CPU time: 1798.65 s
1.29/1.36	c core #268
1.29/1.36	c Core size: 4	Core Weight: 1	Total Weight: 268
1.29/1.36	c Elapsed CPU time: 1.35279 s	Remaining CPU time: 1798.65 s
1.29/1.37	c core #269
1.29/1.37	c Core size: 4	Core Weight: 1	Total Weight: 269
1.29/1.37	c Elapsed CPU time: 1.35879 s	Remaining CPU time: 1798.64 s
1.29/1.37	c core #270
1.29/1.37	c Core size: 4	Core Weight: 1	Total Weight: 270
1.29/1.37	c Elapsed CPU time: 1.36479 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #271
1.29/1.38	c Core size: 4	Core Weight: 1	Total Weight: 271
1.29/1.38	c Elapsed CPU time: 1.37079 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #272
1.29/1.38	c Core size: 4	Core Weight: 1	Total Weight: 272
1.29/1.38	c Elapsed CPU time: 1.37779 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #273
1.29/1.39	c Core size: 4	Core Weight: 1	Total Weight: 273
1.29/1.39	c Elapsed CPU time: 1.38379 s	Remaining CPU time: 1798.62 s
1.38/1.40	c core #274
1.38/1.40	c Core size: 4	Core Weight: 1	Total Weight: 274
1.38/1.40	c Elapsed CPU time: 1.38979 s	Remaining CPU time: 1798.61 s
1.38/1.40	c core #275
1.38/1.40	c Core size: 4	Core Weight: 1	Total Weight: 275
1.38/1.40	c Elapsed CPU time: 1.39679 s	Remaining CPU time: 1798.6 s
1.38/1.41	c core #276
1.38/1.41	c Core size: 4	Core Weight: 1	Total Weight: 276
1.38/1.41	c Elapsed CPU time: 1.40379 s	Remaining CPU time: 1798.6 s
1.38/1.42	c core #277
1.38/1.42	c Core size: 4	Core Weight: 1	Total Weight: 277
1.38/1.42	c Elapsed CPU time: 1.41078 s	Remaining CPU time: 1798.59 s
1.38/1.42	c core #278
1.38/1.42	c Core size: 4	Core Weight: 1	Total Weight: 278
1.38/1.42	c Elapsed CPU time: 1.41678 s	Remaining CPU time: 1798.58 s
1.38/1.43	c core #279
1.38/1.43	c Core size: 4	Core Weight: 1	Total Weight: 279
1.38/1.43	c Elapsed CPU time: 1.42278 s	Remaining CPU time: 1798.58 s
1.38/1.44	c core #280
1.38/1.44	c Core size: 4	Core Weight: 1	Total Weight: 280
1.38/1.44	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 1798.57 s
1.38/1.44	c core #281
1.38/1.44	c Core size: 4	Core Weight: 1	Total Weight: 281
1.38/1.44	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.38/1.45	c core #282
1.38/1.45	c Core size: 4	Core Weight: 1	Total Weight: 282
1.38/1.45	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.38/1.46	c core #283
1.38/1.46	c Core size: 4	Core Weight: 1	Total Weight: 283
1.38/1.46	c Elapsed CPU time: 1.44978 s	Remaining CPU time: 1798.55 s
1.38/1.46	c core #284
1.38/1.46	c Core size: 4	Core Weight: 1	Total Weight: 284
1.38/1.46	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 1798.54 s
1.38/1.47	c core #285
1.38/1.47	c Core size: 4	Core Weight: 1	Total Weight: 285
1.38/1.47	c Elapsed CPU time: 1.46278 s	Remaining CPU time: 1798.54 s
1.38/1.48	c core #286
1.38/1.48	c Core size: 4	Core Weight: 1	Total Weight: 286
1.38/1.48	c Elapsed CPU time: 1.46978 s	Remaining CPU time: 1798.53 s
1.38/1.48	c core #287
1.38/1.48	c Core size: 4	Core Weight: 1	Total Weight: 287
1.38/1.48	c Elapsed CPU time: 1.47677 s	Remaining CPU time: 1798.52 s
1.38/1.49	c core #288
1.38/1.49	c Core size: 4	Core Weight: 1	Total Weight: 288
1.38/1.49	c Elapsed CPU time: 1.48377 s	Remaining CPU time: 1798.52 s
1.48/1.50	c core #289
1.48/1.50	c Core size: 4	Core Weight: 1	Total Weight: 289
1.48/1.50	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 1798.51 s
1.48/1.50	c core #290
1.48/1.50	c Core size: 4	Core Weight: 1	Total Weight: 290
1.48/1.50	c Elapsed CPU time: 1.49577 s	Remaining CPU time: 1798.5 s
1.48/1.51	c core #291
1.48/1.51	c Core size: 4	Core Weight: 1	Total Weight: 291
1.48/1.51	c Elapsed CPU time: 1.50277 s	Remaining CPU time: 1798.5 s
1.48/1.52	c core #292
1.48/1.52	c Core size: 4	Core Weight: 1	Total Weight: 292
1.48/1.52	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 1798.49 s
1.48/1.52	c core #293
1.48/1.52	c Core size: 4	Core Weight: 1	Total Weight: 293
1.48/1.52	c Elapsed CPU time: 1.51577 s	Remaining CPU time: 1798.48 s
1.48/1.53	c core #294
1.48/1.53	c Core size: 4	Core Weight: 1	Total Weight: 294
1.48/1.53	c Elapsed CPU time: 1.52277 s	Remaining CPU time: 1798.48 s
1.48/1.54	c core #295
1.48/1.54	c Core size: 4	Core Weight: 1	Total Weight: 295
1.48/1.54	c Elapsed CPU time: 1.52877 s	Remaining CPU time: 1798.47 s
1.48/1.54	c core #296
1.48/1.54	c Core size: 4	Core Weight: 1	Total Weight: 296
1.48/1.54	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 1798.46 s
1.48/1.55	c core #297
1.48/1.55	c Core size: 4	Core Weight: 1	Total Weight: 297
1.48/1.55	c Elapsed CPU time: 1.54177 s	Remaining CPU time: 1798.46 s
1.48/1.56	c core #298
1.48/1.56	c Core size: 4	Core Weight: 1	Total Weight: 298
1.48/1.56	c Elapsed CPU time: 1.54876 s	Remaining CPU time: 1798.45 s
1.48/1.56	c core #299
1.48/1.56	c Core size: 4	Core Weight: 1	Total Weight: 299
1.48/1.56	c Elapsed CPU time: 1.55576 s	Remaining CPU time: 1798.44 s
1.48/1.57	c core #300
1.48/1.57	c Core size: 4	Core Weight: 1	Total Weight: 300
1.48/1.57	c Elapsed CPU time: 1.56276 s	Remaining CPU time: 1798.44 s
1.48/1.58	c core #301
1.48/1.58	c Core size: 4	Core Weight: 1	Total Weight: 301
1.48/1.58	c Elapsed CPU time: 1.56876 s	Remaining CPU time: 1798.43 s
1.48/1.58	c core #302
1.48/1.58	c Core size: 4	Core Weight: 1	Total Weight: 302
1.48/1.58	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 1798.42 s
1.48/1.59	c core #303
1.48/1.59	c Core size: 4	Core Weight: 1	Total Weight: 303
1.48/1.59	c Elapsed CPU time: 1.58276 s	Remaining CPU time: 1798.42 s
1.48/1.60	c core #304
1.48/1.60	c Core size: 4	Core Weight: 1	Total Weight: 304
1.48/1.60	c Elapsed CPU time: 1.58976 s	Remaining CPU time: 1798.41 s
1.58/1.60	c core #305
1.58/1.60	c Core size: 4	Core Weight: 1	Total Weight: 305
1.58/1.60	c Elapsed CPU time: 1.59676 s	Remaining CPU time: 1798.4 s
1.58/1.61	c core #306
1.58/1.61	c Core size: 4	Core Weight: 1	Total Weight: 306
1.58/1.61	c Elapsed CPU time: 1.60276 s	Remaining CPU time: 1798.4 s
1.58/1.62	c core #307
1.58/1.62	c Core size: 4	Core Weight: 1	Total Weight: 307
1.58/1.62	c Elapsed CPU time: 1.60976 s	Remaining CPU time: 1798.39 s
1.58/1.62	c core #308
1.58/1.62	c Core size: 4	Core Weight: 1	Total Weight: 308
1.58/1.62	c Elapsed CPU time: 1.61675 s	Remaining CPU time: 1798.38 s
1.58/1.63	c core #309
1.58/1.63	c Core size: 4	Core Weight: 1	Total Weight: 309
1.58/1.63	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 1798.38 s
1.58/1.64	c core #310
1.58/1.64	c Core size: 4	Core Weight: 1	Total Weight: 310
1.58/1.64	c Elapsed CPU time: 1.62875 s	Remaining CPU time: 1798.37 s
1.58/1.64	c core #311
1.58/1.64	c Core size: 4	Core Weight: 1	Total Weight: 311
1.58/1.64	c Elapsed CPU time: 1.63475 s	Remaining CPU time: 1798.37 s
1.58/1.65	c core #312
1.58/1.65	c Core size: 4	Core Weight: 1	Total Weight: 312
1.58/1.65	c Elapsed CPU time: 1.64175 s	Remaining CPU time: 1798.36 s
1.58/1.66	c core #313
1.58/1.66	c Core size: 4	Core Weight: 1	Total Weight: 313
1.58/1.66	c Elapsed CPU time: 1.64875 s	Remaining CPU time: 1798.35 s
1.58/1.67	c core #314
1.58/1.67	c Core size: 4	Core Weight: 1	Total Weight: 314
1.58/1.67	c Elapsed CPU time: 1.65575 s	Remaining CPU time: 1798.34 s
1.58/1.67	c core #315
1.58/1.67	c Core size: 4	Core Weight: 1	Total Weight: 315
1.58/1.67	c Elapsed CPU time: 1.66375 s	Remaining CPU time: 1798.34 s
1.58/1.68	c core #316
1.58/1.68	c Core size: 4	Core Weight: 1	Total Weight: 316
1.58/1.68	c Elapsed CPU time: 1.67075 s	Remaining CPU time: 1798.33 s
1.58/1.69	c core #317
1.58/1.69	c Core size: 4	Core Weight: 1	Total Weight: 317
1.58/1.69	c Elapsed CPU time: 1.67774 s	Remaining CPU time: 1798.32 s
1.58/1.69	c core #318
1.58/1.69	c Core size: 4	Core Weight: 1	Total Weight: 318
1.58/1.69	c Elapsed CPU time: 1.68474 s	Remaining CPU time: 1798.32 s
1.69/1.70	c core #319
1.69/1.70	c Core size: 4	Core Weight: 1	Total Weight: 319
1.69/1.70	c Elapsed CPU time: 1.69274 s	Remaining CPU time: 1798.31 s
1.69/1.71	c core #320
1.69/1.71	c Core size: 4	Core Weight: 1	Total Weight: 320
1.69/1.71	c Elapsed CPU time: 1.69974 s	Remaining CPU time: 1798.3 s
1.69/1.72	c core #321
1.69/1.72	c Core size: 4	Core Weight: 1	Total Weight: 321
1.69/1.72	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 1798.29 s
1.69/1.72	c core #322
1.69/1.72	c Core size: 4	Core Weight: 1	Total Weight: 322
1.69/1.72	c Elapsed CPU time: 1.71374 s	Remaining CPU time: 1798.29 s
1.69/1.73	c core #323
1.69/1.73	c Core size: 4	Core Weight: 1	Total Weight: 323
1.69/1.73	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.69/1.74	c core #324
1.69/1.74	c Core size: 4	Core Weight: 1	Total Weight: 324
1.69/1.74	c Elapsed CPU time: 1.72774 s	Remaining CPU time: 1798.27 s
1.69/1.74	c core #325
1.69/1.74	c Core size: 4	Core Weight: 1	Total Weight: 325
1.69/1.74	c Elapsed CPU time: 1.73474 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #326
1.69/1.75	c Core size: 4	Core Weight: 1	Total Weight: 326
1.69/1.75	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 1798.26 s
1.69/1.76	c core #327
1.69/1.76	c Core size: 4	Core Weight: 1	Total Weight: 327
1.69/1.76	c Elapsed CPU time: 1.74973 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #328
1.69/1.77	c Core size: 4	Core Weight: 1	Total Weight: 328
1.69/1.77	c Elapsed CPU time: 1.75673 s	Remaining CPU time: 1798.24 s
1.69/1.77	c core #329
1.69/1.77	c Core size: 4	Core Weight: 1	Total Weight: 329
1.69/1.77	c Elapsed CPU time: 1.76373 s	Remaining CPU time: 1798.24 s
1.69/1.78	c core #330
1.69/1.78	c Core size: 4	Core Weight: 1	Total Weight: 330
1.69/1.78	c Elapsed CPU time: 1.77073 s	Remaining CPU time: 1798.23 s
1.69/1.79	c core #331
1.69/1.79	c Core size: 4	Core Weight: 1	Total Weight: 331
1.69/1.79	c Elapsed CPU time: 1.77873 s	Remaining CPU time: 1798.22 s
1.69/1.80	c core #332
1.69/1.80	c Core size: 4	Core Weight: 1	Total Weight: 332
1.69/1.80	c Elapsed CPU time: 1.78573 s	Remaining CPU time: 1798.21 s
1.79/1.80	c core #333
1.79/1.80	c Core size: 4	Core Weight: 1	Total Weight: 333
1.79/1.80	c Elapsed CPU time: 1.79273 s	Remaining CPU time: 1798.21 s
1.79/1.81	c core #334
1.79/1.81	c Core size: 4	Core Weight: 1	Total Weight: 334
1.79/1.81	c Elapsed CPU time: 1.80073 s	Remaining CPU time: 1798.2 s
1.79/1.82	c core #335
1.79/1.82	c Core size: 4	Core Weight: 1	Total Weight: 335
1.79/1.82	c Elapsed CPU time: 1.80773 s	Remaining CPU time: 1798.19 s
1.79/1.82	c core #336
1.79/1.82	c Core size: 4	Core Weight: 1	Total Weight: 336
1.79/1.82	c Elapsed CPU time: 1.81472 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #337
1.79/1.83	c Core size: 4	Core Weight: 1	Total Weight: 337
1.79/1.83	c Elapsed CPU time: 1.82172 s	Remaining CPU time: 1798.18 s
1.79/1.84	c core #338
1.79/1.84	c Core size: 4	Core Weight: 1	Total Weight: 338
1.79/1.84	c Elapsed CPU time: 1.82972 s	Remaining CPU time: 1798.17 s
1.79/1.85	c core #339
1.79/1.85	c Core size: 4	Core Weight: 1	Total Weight: 339
1.79/1.85	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.79/1.85	c core #340
1.79/1.85	c Core size: 4	Core Weight: 1	Total Weight: 340
1.79/1.85	c Elapsed CPU time: 1.84372 s	Remaining CPU time: 1798.16 s
1.79/1.86	c core #341
1.79/1.86	c Core size: 4	Core Weight: 1	Total Weight: 341
1.79/1.86	c Elapsed CPU time: 1.85072 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #342
1.79/1.87	c Core size: 4	Core Weight: 1	Total Weight: 342
1.79/1.87	c Elapsed CPU time: 1.85872 s	Remaining CPU time: 1798.14 s
1.79/1.87	c core #343
1.79/1.87	c Core size: 4	Core Weight: 1	Total Weight: 343
1.79/1.87	c Elapsed CPU time: 1.86572 s	Remaining CPU time: 1798.13 s
1.79/1.88	c core #344
1.79/1.88	c Core size: 4	Core Weight: 1	Total Weight: 344
1.79/1.88	c Elapsed CPU time: 1.87271 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #345
1.79/1.89	c Core size: 4	Core Weight: 1	Total Weight: 345
1.79/1.89	c Elapsed CPU time: 1.88071 s	Remaining CPU time: 1798.12 s
1.89/1.90	c core #346
1.89/1.90	c Core size: 4	Core Weight: 1	Total Weight: 346
1.89/1.90	c Elapsed CPU time: 1.88771 s	Remaining CPU time: 1798.11 s
1.89/1.90	c core #347
1.89/1.90	c Core size: 4	Core Weight: 1	Total Weight: 347
1.89/1.90	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.89/1.91	c core #348
1.89/1.91	c Core size: 4	Core Weight: 1	Total Weight: 348
1.89/1.91	c Elapsed CPU time: 1.90271 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #349
1.89/1.92	c Core size: 4	Core Weight: 1	Total Weight: 349
1.89/1.92	c Elapsed CPU time: 1.91071 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #350
1.89/1.93	c Core size: 4	Core Weight: 1	Total Weight: 350
1.89/1.93	c Elapsed CPU time: 1.91771 s	Remaining CPU time: 1798.08 s
1.89/1.93	c core #351
1.89/1.93	c Core size: 4	Core Weight: 1	Total Weight: 351
1.89/1.93	c Elapsed CPU time: 1.92471 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #352
1.89/1.94	c Core size: 4	Core Weight: 1	Total Weight: 352
1.89/1.94	c Elapsed CPU time: 1.93171 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #353
1.89/1.95	c Core size: 4	Core Weight: 1	Total Weight: 353
1.89/1.95	c Elapsed CPU time: 1.93971 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #354
1.89/1.96	c Core size: 4	Core Weight: 1	Total Weight: 354
1.89/1.96	c Elapsed CPU time: 1.9467 s	Remaining CPU time: 1798.05 s
1.89/1.96	c core #355
1.89/1.96	c Core size: 4	Core Weight: 1	Total Weight: 355
1.89/1.96	c Elapsed CPU time: 1.9547 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #356
1.89/1.97	c Core size: 4	Core Weight: 1	Total Weight: 356
1.89/1.97	c Elapsed CPU time: 1.9607 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #357
1.89/1.98	c Core size: 4	Core Weight: 1	Total Weight: 357
1.89/1.98	c Elapsed CPU time: 1.9687 s	Remaining CPU time: 1798.03 s
1.89/1.99	c core #358
1.89/1.99	c Core size: 4	Core Weight: 1	Total Weight: 358
1.89/1.99	c Elapsed CPU time: 1.9757 s	Remaining CPU time: 1798.02 s
1.89/1.99	c core #359
1.89/1.99	c Core size: 4	Core Weight: 1	Total Weight: 359
1.89/1.99	c Elapsed CPU time: 1.9837 s	Remaining CPU time: 1798.02 s
1.99/2.00	c core #360
1.99/2.00	c Core size: 4	Core Weight: 1	Total Weight: 360
1.99/2.00	c Elapsed CPU time: 1.9907 s	Remaining CPU time: 1798.01 s
1.99/2.01	c core #361
1.99/2.01	c Core size: 4	Core Weight: 1	Total Weight: 361
1.99/2.01	c Elapsed CPU time: 1.9977 s	Remaining CPU time: 1798 s
1.99/2.02	c core #362
1.99/2.02	c Core size: 4	Core Weight: 1	Total Weight: 362
1.99/2.02	c Elapsed CPU time: 2.00569 s	Remaining CPU time: 1797.99 s
1.99/2.02	c core #363
1.99/2.02	c Core size: 4	Core Weight: 1	Total Weight: 363
1.99/2.02	c Elapsed CPU time: 2.01269 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #364
1.99/2.03	c Core size: 4	Core Weight: 1	Total Weight: 364
1.99/2.03	c Elapsed CPU time: 2.01969 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #365
1.99/2.04	c Core size: 4	Core Weight: 1	Total Weight: 365
1.99/2.04	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.99/2.04	c core #366
1.99/2.04	c Core size: 4	Core Weight: 1	Total Weight: 366
1.99/2.04	c Elapsed CPU time: 2.03469 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #367
1.99/2.05	c Core size: 4	Core Weight: 1	Total Weight: 367
1.99/2.05	c Elapsed CPU time: 2.04069 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #368
1.99/2.06	c Core size: 4	Core Weight: 1	Total Weight: 368
1.99/2.06	c Elapsed CPU time: 2.04869 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #369
1.99/2.07	c Core size: 4	Core Weight: 1	Total Weight: 369
1.99/2.07	c Elapsed CPU time: 2.05569 s	Remaining CPU time: 1797.94 s
1.99/2.07	c core #370
1.99/2.07	c Core size: 4	Core Weight: 1	Total Weight: 370
1.99/2.07	c Elapsed CPU time: 2.06369 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #371
1.99/2.08	c Core size: 4	Core Weight: 1	Total Weight: 371
1.99/2.08	c Elapsed CPU time: 2.07069 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #372
1.99/2.09	c Core size: 4	Core Weight: 1	Total Weight: 372
1.99/2.09	c Elapsed CPU time: 2.07868 s	Remaining CPU time: 1797.92 s
1.99/2.10	c core #373
1.99/2.10	c Core size: 4	Core Weight: 1	Total Weight: 373
1.99/2.10	c Elapsed CPU time: 2.08668 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #374
2.09/2.11	c Core size: 4	Core Weight: 1	Total Weight: 374
2.09/2.11	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 1797.91 s
2.09/2.11	c core #375
2.09/2.11	c Core size: 4	Core Weight: 1	Total Weight: 375
2.09/2.11	c Elapsed CPU time: 2.10268 s	Remaining CPU time: 1797.9 s
2.09/2.12	c core #376
2.09/2.12	c Core size: 4	Core Weight: 1	Total Weight: 376
2.09/2.12	c Elapsed CPU time: 2.11068 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #377
2.09/2.13	c Core size: 4	Core Weight: 1	Total Weight: 377
2.09/2.13	c Elapsed CPU time: 2.11868 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #378
2.09/2.14	c Core size: 4	Core Weight: 1	Total Weight: 378
2.09/2.14	c Elapsed CPU time: 2.12568 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #379
2.09/2.15	c Core size: 4	Core Weight: 1	Total Weight: 379
2.09/2.15	c Elapsed CPU time: 2.13267 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #380
2.09/2.15	c Core size: 4	Core Weight: 1	Total Weight: 380
2.09/2.15	c Elapsed CPU time: 2.14067 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #381
2.09/2.16	c Core size: 4	Core Weight: 1	Total Weight: 381
2.09/2.16	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #382
2.09/2.17	c Core size: 4	Core Weight: 1	Total Weight: 382
2.09/2.17	c Elapsed CPU time: 2.15667 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #383
2.09/2.18	c Core size: 4	Core Weight: 1	Total Weight: 383
2.09/2.18	c Elapsed CPU time: 2.16467 s	Remaining CPU time: 1797.84 s
2.09/2.19	c core #384
2.09/2.19	c Core size: 4	Core Weight: 1	Total Weight: 384
2.09/2.19	c Elapsed CPU time: 2.17267 s	Remaining CPU time: 1797.83 s
2.09/2.19	c core #385
2.09/2.19	c Core size: 4	Core Weight: 1	Total Weight: 385
2.09/2.19	c Elapsed CPU time: 2.18067 s	Remaining CPU time: 1797.82 s
2.19/2.20	c core #386
2.19/2.20	c Core size: 4	Core Weight: 1	Total Weight: 386
2.19/2.20	c Elapsed CPU time: 2.18867 s	Remaining CPU time: 1797.81 s
2.19/2.21	c core #387
2.19/2.21	c Core size: 4	Core Weight: 1	Total Weight: 387
2.19/2.21	c Elapsed CPU time: 2.19667 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #388
2.19/2.22	c Core size: 4	Core Weight: 1	Total Weight: 388
2.19/2.22	c Elapsed CPU time: 2.20466 s	Remaining CPU time: 1797.8 s
2.19/2.23	c core #389
2.19/2.23	c Core size: 4	Core Weight: 1	Total Weight: 389
2.19/2.23	c Elapsed CPU time: 2.21266 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #390
2.19/2.23	c Core size: 4	Core Weight: 1	Total Weight: 390
2.19/2.23	c Elapsed CPU time: 2.22066 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #391
2.19/2.24	c Core size: 4	Core Weight: 1	Total Weight: 391
2.19/2.24	c Elapsed CPU time: 2.22866 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #392
2.19/2.25	c Core size: 4	Core Weight: 1	Total Weight: 392
2.19/2.25	c Elapsed CPU time: 2.23566 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #393
2.19/2.26	c Core size: 4	Core Weight: 1	Total Weight: 393
2.19/2.26	c Elapsed CPU time: 2.24266 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #394
2.19/2.26	c Core size: 4	Core Weight: 1	Total Weight: 394
2.19/2.26	c Elapsed CPU time: 2.24966 s	Remaining CPU time: 1797.75 s
2.19/2.27	c core #395
2.19/2.27	c Core size: 4	Core Weight: 1	Total Weight: 395
2.19/2.27	c Elapsed CPU time: 2.25766 s	Remaining CPU time: 1797.74 s
2.19/2.28	c core #396
2.19/2.28	c Core size: 4	Core Weight: 1	Total Weight: 396
2.19/2.28	c Elapsed CPU time: 2.26465 s	Remaining CPU time: 1797.74 s
2.19/2.29	c core #397
2.19/2.29	c Core size: 4	Core Weight: 1	Total Weight: 397
2.19/2.29	c Elapsed CPU time: 2.27265 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #398
2.19/2.29	c Core size: 4	Core Weight: 1	Total Weight: 398
2.19/2.29	c Elapsed CPU time: 2.28065 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #399
2.29/2.30	c Core size: 4	Core Weight: 1	Total Weight: 399
2.29/2.30	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #400
2.29/2.31	c Core size: 4	Core Weight: 1	Total Weight: 400
2.29/2.31	c Elapsed CPU time: 2.29665 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #401
2.29/2.32	c Core size: 4	Core Weight: 1	Total Weight: 401
2.29/2.32	c Elapsed CPU time: 2.30365 s	Remaining CPU time: 1797.7 s
2.29/2.33	c core #402
2.29/2.33	c Core size: 4	Core Weight: 1	Total Weight: 402
2.29/2.33	c Elapsed CPU time: 2.31165 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #403
2.29/2.33	c Core size: 4	Core Weight: 1	Total Weight: 403
2.29/2.33	c Elapsed CPU time: 2.31965 s	Remaining CPU time: 1797.68 s
2.29/2.34	c core #404
2.29/2.34	c Core size: 4	Core Weight: 1	Total Weight: 404
2.29/2.34	c Elapsed CPU time: 2.32765 s	Remaining CPU time: 1797.67 s
2.29/2.35	c core #405
2.29/2.35	c Core size: 4	Core Weight: 1	Total Weight: 405
2.29/2.35	c Elapsed CPU time: 2.33564 s	Remaining CPU time: 1797.66 s
2.29/2.36	c core #406
2.29/2.36	c Core size: 4	Core Weight: 1	Total Weight: 406
2.29/2.36	c Elapsed CPU time: 2.34364 s	Remaining CPU time: 1797.66 s
2.29/2.37	c core #407
2.29/2.37	c Core size: 4	Core Weight: 1	Total Weight: 407
2.29/2.37	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 1797.65 s
2.29/2.37	c core #408
2.29/2.37	c Core size: 4	Core Weight: 1	Total Weight: 408
2.29/2.37	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #409
2.29/2.38	c Core size: 4	Core Weight: 1	Total Weight: 409
2.29/2.38	c Elapsed CPU time: 2.36564 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #410
2.29/2.39	c Core size: 4	Core Weight: 1	Total Weight: 410
2.29/2.39	c Elapsed CPU time: 2.37364 s	Remaining CPU time: 1797.63 s
2.38/2.40	c core #411
2.38/2.40	c Core size: 4	Core Weight: 1	Total Weight: 411
2.38/2.40	c Elapsed CPU time: 2.37964 s	Remaining CPU time: 1797.62 s
2.38/2.41	c core #412
2.38/2.41	c Core size: 4	Core Weight: 1	Total Weight: 412
2.38/2.41	c Elapsed CPU time: 2.38764 s	Remaining CPU time: 1797.61 s
2.38/2.41	c core #413
2.38/2.41	c Core size: 4	Core Weight: 1	Total Weight: 413
2.38/2.41	c Elapsed CPU time: 2.39563 s	Remaining CPU time: 1797.6 s
2.38/2.42	c core #414
2.38/2.42	c Core size: 4	Core Weight: 1	Total Weight: 414
2.38/2.42	c Elapsed CPU time: 2.40363 s	Remaining CPU time: 1797.6 s
2.38/2.43	c core #415
2.38/2.43	c Core size: 4	Core Weight: 1	Total Weight: 415
2.38/2.43	c Elapsed CPU time: 2.41163 s	Remaining CPU time: 1797.59 s
2.38/2.44	c core #416
2.38/2.44	c Core size: 4	Core Weight: 1	Total Weight: 416
2.38/2.44	c Elapsed CPU time: 2.41963 s	Remaining CPU time: 1797.58 s
2.38/2.45	c core #417
2.38/2.45	c Core size: 4	Core Weight: 1	Total Weight: 417
2.38/2.45	c Elapsed CPU time: 2.42763 s	Remaining CPU time: 1797.57 s
2.38/2.45	c core #418
2.38/2.45	c Core size: 4	Core Weight: 1	Total Weight: 418
2.38/2.45	c Elapsed CPU time: 2.43563 s	Remaining CPU time: 1797.56 s
2.38/2.46	c core #419
2.38/2.46	c Core size: 4	Core Weight: 1	Total Weight: 419
2.38/2.46	c Elapsed CPU time: 2.44263 s	Remaining CPU time: 1797.56 s
2.38/2.47	c core #420
2.38/2.47	c Core size: 4	Core Weight: 1	Total Weight: 420
2.38/2.47	c Elapsed CPU time: 2.45063 s	Remaining CPU time: 1797.55 s
2.38/2.48	c core #421
2.38/2.48	c Core size: 4	Core Weight: 1	Total Weight: 421
2.38/2.48	c Elapsed CPU time: 2.45863 s	Remaining CPU time: 1797.54 s
2.38/2.49	c core #422
2.38/2.49	c Core size: 4	Core Weight: 1	Total Weight: 422
2.38/2.49	c Elapsed CPU time: 2.46663 s	Remaining CPU time: 1797.53 s
2.38/2.49	c core #423
2.38/2.49	c Core size: 4	Core Weight: 1	Total Weight: 423
2.38/2.49	c Elapsed CPU time: 2.47362 s	Remaining CPU time: 1797.53 s
2.48/2.50	c core #424
2.48/2.50	c Core size: 4	Core Weight: 1	Total Weight: 424
2.48/2.50	c Elapsed CPU time: 2.48162 s	Remaining CPU time: 1797.52 s
2.48/2.51	c core #425
2.48/2.51	c Core size: 4	Core Weight: 1	Total Weight: 425
2.48/2.51	c Elapsed CPU time: 2.48962 s	Remaining CPU time: 1797.51 s
2.48/2.52	c core #426
2.48/2.52	c Core size: 4	Core Weight: 1	Total Weight: 426
2.48/2.52	c Elapsed CPU time: 2.49762 s	Remaining CPU time: 1797.5 s
2.48/2.53	c core #427
2.48/2.53	c Core size: 4	Core Weight: 1	Total Weight: 427
2.48/2.53	c Elapsed CPU time: 2.50562 s	Remaining CPU time: 1797.49 s
2.48/2.53	c core #428
2.48/2.53	c Core size: 4	Core Weight: 1	Total Weight: 428
2.48/2.53	c Elapsed CPU time: 2.51362 s	Remaining CPU time: 1797.49 s
2.48/2.54	c core #429
2.48/2.54	c Core size: 4	Core Weight: 1	Total Weight: 429
2.48/2.54	c Elapsed CPU time: 2.52162 s	Remaining CPU time: 1797.48 s
2.48/2.55	c core #430
2.48/2.55	c Core size: 4	Core Weight: 1	Total Weight: 430
2.48/2.55	c Elapsed CPU time: 2.52961 s	Remaining CPU time: 1797.47 s
2.48/2.56	c core #431
2.48/2.56	c Core size: 4	Core Weight: 1	Total Weight: 431
2.48/2.56	c Elapsed CPU time: 2.53761 s	Remaining CPU time: 1797.46 s
2.48/2.57	c core #432
2.48/2.57	c Core size: 4	Core Weight: 1	Total Weight: 432
2.48/2.57	c Elapsed CPU time: 2.54561 s	Remaining CPU time: 1797.45 s
2.48/2.58	c core #433
2.48/2.58	c Core size: 4	Core Weight: 1	Total Weight: 433
2.48/2.58	c Elapsed CPU time: 2.55361 s	Remaining CPU time: 1797.45 s
2.48/2.58	c core #434
2.48/2.58	c Core size: 4	Core Weight: 1	Total Weight: 434
2.48/2.58	c Elapsed CPU time: 2.56161 s	Remaining CPU time: 1797.44 s
2.48/2.59	c core #435
2.48/2.59	c Core size: 4	Core Weight: 1	Total Weight: 435
2.48/2.59	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 1797.43 s
2.58/2.60	c core #436
2.58/2.60	c Core size: 4	Core Weight: 1	Total Weight: 436
2.58/2.60	c Elapsed CPU time: 2.57761 s	Remaining CPU time: 1797.42 s
2.58/2.61	c core #437
2.58/2.61	c Core size: 4	Core Weight: 1	Total Weight: 437
2.58/2.61	c Elapsed CPU time: 2.58561 s	Remaining CPU time: 1797.41 s
2.58/2.62	c core #438
2.58/2.62	c Core size: 4	Core Weight: 1	Total Weight: 438
2.58/2.62	c Elapsed CPU time: 2.59361 s	Remaining CPU time: 1797.41 s
2.58/2.62	c core #439
2.58/2.62	c Core size: 4	Core Weight: 1	Total Weight: 439
2.58/2.62	c Elapsed CPU time: 2.6006 s	Remaining CPU time: 1797.4 s
2.58/2.63	c core #440
2.58/2.63	c Core size: 4	Core Weight: 1	Total Weight: 440
2.58/2.63	c Elapsed CPU time: 2.6096 s	Remaining CPU time: 1797.39 s
2.58/2.64	c core #441
2.58/2.64	c Core size: 4	Core Weight: 1	Total Weight: 441
2.58/2.64	c Elapsed CPU time: 2.6176 s	Remaining CPU time: 1797.38 s
2.58/2.65	c core #442
2.58/2.65	c Core size: 4	Core Weight: 1	Total Weight: 442
2.58/2.65	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 1797.37 s
2.58/2.66	c core #443
2.58/2.66	c Core size: 4	Core Weight: 1	Total Weight: 443
2.58/2.66	c Elapsed CPU time: 2.6336 s	Remaining CPU time: 1797.37 s
2.58/2.67	c core #444
2.58/2.67	c Core size: 4	Core Weight: 1	Total Weight: 444
2.58/2.67	c Elapsed CPU time: 2.6416 s	Remaining CPU time: 1797.36 s
2.58/2.68	c core #445
2.58/2.68	c Core size: 4	Core Weight: 1	Total Weight: 445
2.58/2.68	c Elapsed CPU time: 2.6496 s	Remaining CPU time: 1797.35 s
2.58/2.68	c core #446
2.58/2.68	c Core size: 4	Core Weight: 1	Total Weight: 446
2.58/2.68	c Elapsed CPU time: 2.6576 s	Remaining CPU time: 1797.34 s
2.58/2.69	c core #447
2.58/2.69	c Core size: 4	Core Weight: 1	Total Weight: 447
2.58/2.69	c Elapsed CPU time: 2.66659 s	Remaining CPU time: 1797.33 s
2.69/2.70	c core #448
2.69/2.70	c Core size: 4	Core Weight: 1	Total Weight: 448
2.69/2.70	c Elapsed CPU time: 2.67359 s	Remaining CPU time: 1797.33 s
2.69/2.71	c core #449
2.69/2.71	c Core size: 4	Core Weight: 1	Total Weight: 449
2.69/2.71	c Elapsed CPU time: 2.68259 s	Remaining CPU time: 1797.32 s
2.69/2.72	c core #450
2.69/2.72	c Core size: 4	Core Weight: 1	Total Weight: 450
2.69/2.72	c Elapsed CPU time: 2.69059 s	Remaining CPU time: 1797.31 s
2.69/2.73	c core #451
2.69/2.73	c Core size: 4	Core Weight: 1	Total Weight: 451
2.69/2.73	c Elapsed CPU time: 2.69759 s	Remaining CPU time: 1797.3 s
2.69/2.73	c core #452
2.69/2.73	c Core size: 4	Core Weight: 1	Total Weight: 452
2.69/2.73	c Elapsed CPU time: 2.70559 s	Remaining CPU time: 1797.29 s
2.69/2.74	c core #453
2.69/2.74	c Core size: 4	Core Weight: 1	Total Weight: 453
2.69/2.74	c Elapsed CPU time: 2.71359 s	Remaining CPU time: 1797.29 s
2.69/2.75	c core #454
2.69/2.75	c Core size: 4	Core Weight: 1	Total Weight: 454
2.69/2.75	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 1797.28 s
2.69/2.76	c core #455
2.69/2.76	c Core size: 4	Core Weight: 1	Total Weight: 455
2.69/2.76	c Elapsed CPU time: 2.73058 s	Remaining CPU time: 1797.27 s
2.69/2.77	c core #456
2.69/2.77	c Core size: 4	Core Weight: 1	Total Weight: 456
2.69/2.77	c Elapsed CPU time: 2.73958 s	Remaining CPU time: 1797.26 s
2.69/2.78	c core #457
2.69/2.78	c Core size: 4	Core Weight: 1	Total Weight: 457
2.69/2.78	c Elapsed CPU time: 2.74758 s	Remaining CPU time: 1797.25 s
2.69/2.78	c core #458
2.69/2.78	c Core size: 4	Core Weight: 1	Total Weight: 458
2.69/2.78	c Elapsed CPU time: 2.75658 s	Remaining CPU time: 1797.24 s
2.69/2.79	c core #459
2.69/2.79	c Core size: 4	Core Weight: 1	Total Weight: 459
2.69/2.79	c Elapsed CPU time: 2.76558 s	Remaining CPU time: 1797.23 s
2.78/2.80	c core #460
2.78/2.80	c Core size: 4	Core Weight: 1	Total Weight: 460
2.78/2.80	c Elapsed CPU time: 2.77358 s	Remaining CPU time: 1797.23 s
2.78/2.81	c core #461
2.78/2.81	c Core size: 4	Core Weight: 1	Total Weight: 461
2.78/2.81	c Elapsed CPU time: 2.78258 s	Remaining CPU time: 1797.22 s
2.78/2.82	c core #462
2.78/2.82	c Core size: 4	Core Weight: 1	Total Weight: 462
2.78/2.82	c Elapsed CPU time: 2.79058 s	Remaining CPU time: 1797.21 s
2.78/2.83	c core #463
2.78/2.83	c Core size: 4	Core Weight: 1	Total Weight: 463
2.78/2.83	c Elapsed CPU time: 2.79957 s	Remaining CPU time: 1797.2 s
2.78/2.84	c core #464
2.78/2.84	c Core size: 4	Core Weight: 1	Total Weight: 464
2.78/2.84	c Elapsed CPU time: 2.80857 s	Remaining CPU time: 1797.19 s
2.78/2.84	c core #465
2.78/2.84	c Core size: 4	Core Weight: 1	Total Weight: 465
2.78/2.85	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 1797.18 s
2.78/2.85	c core #466
2.78/2.85	c Core size: 4	Core Weight: 1	Total Weight: 466
2.78/2.85	c Elapsed CPU time: 2.82457 s	Remaining CPU time: 1797.18 s
2.78/2.86	c core #467
2.78/2.86	c Core size: 4	Core Weight: 1	Total Weight: 467
2.78/2.86	c Elapsed CPU time: 2.83257 s	Remaining CPU time: 1797.17 s
2.78/2.87	c core #468
2.78/2.87	c Core size: 4	Core Weight: 1	Total Weight: 468
2.78/2.87	c Elapsed CPU time: 2.84157 s	Remaining CPU time: 1797.16 s
2.78/2.88	c core #469
2.78/2.88	c Core size: 4	Core Weight: 1	Total Weight: 469
2.78/2.88	c Elapsed CPU time: 2.84957 s	Remaining CPU time: 1797.15 s
2.78/2.89	c core #470
2.78/2.89	c Core size: 4	Core Weight: 1	Total Weight: 470
2.78/2.89	c Elapsed CPU time: 2.85857 s	Remaining CPU time: 1797.14 s
2.78/2.90	c core #471
2.78/2.90	c Core size: 4	Core Weight: 1	Total Weight: 471
2.78/2.90	c Elapsed CPU time: 2.86656 s	Remaining CPU time: 1797.13 s
2.88/2.91	c core #472
2.88/2.91	c Core size: 4	Core Weight: 1	Total Weight: 472
2.88/2.91	c Elapsed CPU time: 2.87556 s	Remaining CPU time: 1797.12 s
2.88/2.91	c core #473
2.88/2.91	c Core size: 4	Core Weight: 1	Total Weight: 473
2.88/2.91	c Elapsed CPU time: 2.88356 s	Remaining CPU time: 1797.12 s
2.88/2.92	c core #474
2.88/2.92	c Core size: 4	Core Weight: 1	Total Weight: 474
2.88/2.92	c Elapsed CPU time: 2.89256 s	Remaining CPU time: 1797.11 s
2.88/2.93	c core #475
2.88/2.93	c Core size: 4	Core Weight: 1	Total Weight: 475
2.88/2.93	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.88/2.94	c core #476
2.88/2.94	c Core size: 4	Core Weight: 1	Total Weight: 476
2.88/2.94	c Elapsed CPU time: 2.90856 s	Remaining CPU time: 1797.09 s
2.88/2.95	c core #477
2.88/2.95	c Core size: 4	Core Weight: 1	Total Weight: 477
2.88/2.95	c Elapsed CPU time: 2.91656 s	Remaining CPU time: 1797.08 s
2.88/2.96	c core #478
2.88/2.96	c Core size: 4	Core Weight: 1	Total Weight: 478
2.88/2.96	c Elapsed CPU time: 2.92455 s	Remaining CPU time: 1797.08 s
2.88/2.97	c core #479
2.88/2.97	c Core size: 4	Core Weight: 1	Total Weight: 479
2.88/2.97	c Elapsed CPU time: 2.93355 s	Remaining CPU time: 1797.07 s
2.88/2.97	c core #480
2.88/2.97	c Core size: 4	Core Weight: 1	Total Weight: 480
2.88/2.97	c Elapsed CPU time: 2.94155 s	Remaining CPU time: 1797.06 s
2.88/2.98	c core #481
2.88/2.98	c Core size: 4	Core Weight: 1	Total Weight: 481
2.88/2.98	c Elapsed CPU time: 2.94955 s	Remaining CPU time: 1797.05 s
2.88/2.99	c core #482
2.88/2.99	c Core size: 4	Core Weight: 1	Total Weight: 482
2.88/2.99	c Elapsed CPU time: 2.95855 s	Remaining CPU time: 1797.04 s
2.98/3.00	c core #483
2.98/3.00	c Core size: 4	Core Weight: 1	Total Weight: 483
2.98/3.00	c Elapsed CPU time: 2.96655 s	Remaining CPU time: 1797.03 s
2.98/3.01	c core #484
2.98/3.01	c Core size: 4	Core Weight: 1	Total Weight: 484
2.98/3.01	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 1797.02 s
2.98/3.02	c core #485
2.98/3.02	c Core size: 4	Core Weight: 1	Total Weight: 485
2.98/3.02	c Elapsed CPU time: 2.98455 s	Remaining CPU time: 1797.02 s
2.98/3.03	c core #486
2.98/3.03	c Core size: 4	Core Weight: 1	Total Weight: 486
2.98/3.03	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 1797.01 s
2.98/3.04	c core #487
2.98/3.04	c Core size: 4	Core Weight: 1	Total Weight: 487
2.98/3.04	c Elapsed CPU time: 3.00154 s	Remaining CPU time: 1797 s
2.98/3.04	c core #488
2.98/3.04	c Core size: 4	Core Weight: 1	Total Weight: 488
2.98/3.04	c Elapsed CPU time: 3.01054 s	Remaining CPU time: 1796.99 s
2.98/3.05	c core #489
2.98/3.05	c Core size: 4	Core Weight: 1	Total Weight: 489
2.98/3.05	c Elapsed CPU time: 3.01854 s	Remaining CPU time: 1796.98 s
2.98/3.06	c core #490
2.98/3.06	c Core size: 4	Core Weight: 1	Total Weight: 490
2.98/3.06	c Elapsed CPU time: 3.02754 s	Remaining CPU time: 1796.97 s
2.98/3.07	c core #491
2.98/3.07	c Core size: 4	Core Weight: 1	Total Weight: 491
2.98/3.07	c Elapsed CPU time: 3.03654 s	Remaining CPU time: 1796.96 s
2.98/3.08	c core #492
2.98/3.08	c Core size: 4	Core Weight: 1	Total Weight: 492
2.98/3.08	c Elapsed CPU time: 3.04454 s	Remaining CPU time: 1796.96 s
2.98/3.09	c core #493
2.98/3.09	c Core size: 4	Core Weight: 1	Total Weight: 493
2.98/3.09	c Elapsed CPU time: 3.05253 s	Remaining CPU time: 1796.95 s
3.08/3.10	c core #494
3.08/3.10	c Core size: 4	Core Weight: 1	Total Weight: 494
3.08/3.10	c Elapsed CPU time: 3.06153 s	Remaining CPU time: 1796.94 s
3.08/3.11	c core #495
3.08/3.11	c Core size: 4	Core Weight: 1	Total Weight: 495
3.08/3.11	c Elapsed CPU time: 3.07053 s	Remaining CPU time: 1796.93 s
3.08/3.12	c core #496
3.08/3.12	c Core size: 4	Core Weight: 1	Total Weight: 496
3.08/3.12	c Elapsed CPU time: 3.07953 s	Remaining CPU time: 1796.92 s
3.08/3.12	c core #497
3.08/3.12	c Core size: 4	Core Weight: 1	Total Weight: 497
3.08/3.12	c Elapsed CPU time: 3.08853 s	Remaining CPU time: 1796.91 s
3.08/3.13	c core #498
3.08/3.13	c Core size: 4	Core Weight: 1	Total Weight: 498
3.08/3.13	c Elapsed CPU time: 3.09753 s	Remaining CPU time: 1796.9 s
3.08/3.14	c core #499
3.08/3.14	c Core size: 4	Core Weight: 1	Total Weight: 499
3.08/3.14	c Elapsed CPU time: 3.10653 s	Remaining CPU time: 1796.89 s
3.08/3.15	c core #500
3.08/3.15	c Core size: 4	Core Weight: 1	Total Weight: 500
3.08/3.15	c Elapsed CPU time: 3.11553 s	Remaining CPU time: 1796.88 s
3.08/3.16	c core #501
3.08/3.16	c Core size: 4	Core Weight: 1	Total Weight: 501
3.08/3.16	c Elapsed CPU time: 3.12453 s	Remaining CPU time: 1796.88 s
3.08/3.17	c core #502
3.08/3.17	c Core size: 7	Core Weight: 1	Total Weight: 502
3.08/3.17	c Elapsed CPU time: 3.13352 s	Remaining CPU time: 1796.87 s
3.08/3.18	c core #503
3.08/3.18	c Core size: 10	Core Weight: 1	Total Weight: 503
3.08/3.18	c Elapsed CPU time: 3.14252 s	Remaining CPU time: 1796.86 s
3.08/3.19	c core #504
3.08/3.19	c Core size: 7	Core Weight: 1	Total Weight: 504
3.08/3.19	c Elapsed CPU time: 3.15152 s	Remaining CPU time: 1796.85 s
3.08/3.20	c core #505
3.08/3.20	c Core size: 7	Core Weight: 1	Total Weight: 505
3.08/3.20	c Elapsed CPU time: 3.16052 s	Remaining CPU time: 1796.84 s
3.18/3.21	c core #506
3.18/3.21	c Core size: 7	Core Weight: 1	Total Weight: 506
3.18/3.21	c Elapsed CPU time: 3.16952 s	Remaining CPU time: 1796.83 s
3.18/3.22	c core #507
3.18/3.22	c Core size: 13	Core Weight: 1	Total Weight: 507
3.18/3.22	c Elapsed CPU time: 3.17852 s	Remaining CPU time: 1796.82 s
3.18/3.23	c core #508
3.18/3.23	c Core size: 7	Core Weight: 1	Total Weight: 508
3.18/3.23	c Elapsed CPU time: 3.18751 s	Remaining CPU time: 1796.81 s
3.18/3.23	c core #509
3.18/3.23	c Core size: 7	Core Weight: 1	Total Weight: 509
3.18/3.23	c Elapsed CPU time: 3.19651 s	Remaining CPU time: 1796.8 s
3.18/3.24	c core #510
3.18/3.24	c Core size: 10	Core Weight: 1	Total Weight: 510
3.18/3.24	c Elapsed CPU time: 3.20551 s	Remaining CPU time: 1796.79 s
3.18/3.25	c core #511
3.18/3.25	c Core size: 13	Core Weight: 1	Total Weight: 511
3.18/3.25	c Elapsed CPU time: 3.21451 s	Remaining CPU time: 1796.79 s
3.18/3.26	c core #512
3.18/3.26	c Core size: 7	Core Weight: 1	Total Weight: 512
3.18/3.26	c Elapsed CPU time: 3.22351 s	Remaining CPU time: 1796.78 s
3.18/3.27	c core #513
3.18/3.27	c Core size: 10	Core Weight: 1	Total Weight: 513
3.18/3.27	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.18/3.28	c core #514
3.18/3.28	c Core size: 7	Core Weight: 1	Total Weight: 514
3.18/3.28	c Elapsed CPU time: 3.24251 s	Remaining CPU time: 1796.76 s
3.18/3.29	c core #515
3.18/3.29	c Core size: 7	Core Weight: 1	Total Weight: 515
3.18/3.29	c Elapsed CPU time: 3.25251 s	Remaining CPU time: 1796.75 s
3.18/3.30	c core #516
3.18/3.30	c Core size: 7	Core Weight: 1	Total Weight: 516
3.18/3.30	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 1796.74 s
3.28/3.31	c core #517
3.28/3.31	c Core size: 16	Core Weight: 1	Total Weight: 517
3.28/3.31	c Elapsed CPU time: 3.2705 s	Remaining CPU time: 1796.73 s
3.28/3.32	c core #518
3.28/3.32	c Core size: 7	Core Weight: 1	Total Weight: 518
3.28/3.32	c Elapsed CPU time: 3.2805 s	Remaining CPU time: 1796.72 s
3.28/3.33	c core #519
3.28/3.33	c Core size: 25	Core Weight: 1	Total Weight: 519
3.28/3.33	c Elapsed CPU time: 3.2895 s	Remaining CPU time: 1796.71 s
3.28/3.34	c core #520
3.28/3.34	c Core size: 16	Core Weight: 1	Total Weight: 520
3.28/3.34	c Elapsed CPU time: 3.2995 s	Remaining CPU time: 1796.7 s
3.28/3.35	c core #521
3.28/3.35	c Core size: 10	Core Weight: 1	Total Weight: 521
3.28/3.35	c Elapsed CPU time: 3.3085 s	Remaining CPU time: 1796.69 s
3.28/3.36	c core #522
3.28/3.36	c Core size: 7	Core Weight: 1	Total Weight: 522
3.28/3.36	c Elapsed CPU time: 3.31849 s	Remaining CPU time: 1796.68 s
3.28/3.37	c core #523
3.28/3.37	c Core size: 16	Core Weight: 1	Total Weight: 523
3.28/3.37	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.28/3.38	c core #524
3.28/3.38	c Core size: 7	Core Weight: 1	Total Weight: 524
3.28/3.38	c Elapsed CPU time: 3.33749 s	Remaining CPU time: 1796.66 s
3.28/3.39	c core #525
3.28/3.39	c Core size: 7	Core Weight: 1	Total Weight: 525
3.28/3.39	c Elapsed CPU time: 3.34749 s	Remaining CPU time: 1796.65 s
3.28/3.40	c core #526
3.28/3.40	c Core size: 25	Core Weight: 1	Total Weight: 526
3.28/3.40	c Elapsed CPU time: 3.35749 s	Remaining CPU time: 1796.64 s
3.37/3.41	c core #527
3.37/3.41	c Core size: 10	Core Weight: 1	Total Weight: 527
3.37/3.41	c Elapsed CPU time: 3.36749 s	Remaining CPU time: 1796.63 s
3.37/3.42	c core #528
3.37/3.42	c Core size: 47	Core Weight: 1	Total Weight: 528
3.37/3.42	c Elapsed CPU time: 3.37749 s	Remaining CPU time: 1796.62 s
3.37/3.43	c core #529
3.37/3.43	c Core size: 16	Core Weight: 1	Total Weight: 529
3.37/3.43	c Elapsed CPU time: 3.38748 s	Remaining CPU time: 1796.61 s
3.37/3.44	c core #530
3.37/3.44	c Core size: 13	Core Weight: 1	Total Weight: 530
3.37/3.44	c Elapsed CPU time: 3.39648 s	Remaining CPU time: 1796.6 s
3.37/3.45	c core #531
3.37/3.45	c Core size: 46	Core Weight: 1	Total Weight: 531
3.37/3.45	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 1796.59 s
3.37/3.46	c core #532
3.37/3.46	c Core size: 107	Core Weight: 1	Total Weight: 532
3.37/3.46	c Elapsed CPU time: 3.41548 s	Remaining CPU time: 1796.58 s
3.37/3.47	c core #533
3.37/3.47	c Core size: 7	Core Weight: 1	Total Weight: 533
3.37/3.47	c Elapsed CPU time: 3.42448 s	Remaining CPU time: 1796.58 s
3.37/3.48	c core #534
3.37/3.48	c Core size: 203	Core Weight: 1	Total Weight: 534
3.37/3.48	c Elapsed CPU time: 3.43548 s	Remaining CPU time: 1796.56 s
3.37/3.49	c core #535
3.37/3.49	c Core size: 106	Core Weight: 1	Total Weight: 535
3.37/3.49	c Elapsed CPU time: 3.44548 s	Remaining CPU time: 1796.55 s
3.37/3.50	c core #536
3.37/3.50	c Core size: 184	Core Weight: 1	Total Weight: 536
3.37/3.50	c Elapsed CPU time: 3.45547 s	Remaining CPU time: 1796.54 s
3.47/3.51	c core #537
3.47/3.51	c Core size: 147	Core Weight: 1	Total Weight: 537
3.47/3.51	c Elapsed CPU time: 3.46547 s	Remaining CPU time: 1796.53 s
3.47/3.52	c core #538
3.47/3.52	c Core size: 70	Core Weight: 1	Total Weight: 538
3.47/3.52	c Elapsed CPU time: 3.47547 s	Remaining CPU time: 1796.52 s
3.47/3.53	c core #539
3.47/3.53	c Core size: 25	Core Weight: 1	Total Weight: 539
3.47/3.53	c Elapsed CPU time: 3.48647 s	Remaining CPU time: 1796.51 s
3.47/3.54	c ============================[ Search Statistics ]==============================
3.47/3.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.47/3.54	c ===============================================================================
3.47/3.54	c |         0 |    3856     7789    20376 |     5000        0    nan |  0.000 % |
3.47/3.54	c ===============================================================================
3.47/3.54	c core #540
3.47/3.54	c Core size: 105	Core Weight: 1	Total Weight: 540
3.47/3.54	c Elapsed CPU time: 3.49847 s	Remaining CPU time: 1796.5 s
3.47/3.55	c ============================[ Search Statistics ]==============================
3.47/3.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.47/3.55	c ===============================================================================
3.47/3.55	c |         0 |    3929     7790    20525 |     5000        0    nan |  0.000 % |
3.47/3.55	c ===============================================================================
3.47/3.55	c core #541
3.47/3.55	c Core size: 25	Core Weight: 1	Total Weight: 541
3.47/3.55	c Elapsed CPU time: 3.51147 s	Remaining CPU time: 1796.49 s
3.47/3.56	c ============================[ Search Statistics ]==============================
3.47/3.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.47/3.56	c ===============================================================================
3.47/3.56	c |         0 |    3947     7791    20565 |     5000        0    nan |  0.000 % |
3.47/3.57	c ===============================================================================
3.47/3.57	c core #542
3.47/3.57	c Core size: 58	Core Weight: 1	Total Weight: 542
3.47/3.57	c Elapsed CPU time: 3.52446 s	Remaining CPU time: 1796.48 s
3.47/3.58	c ============================[ Search Statistics ]==============================
3.47/3.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.47/3.58	c ===============================================================================
3.47/3.58	c |         0 |    3985     7792    20649 |     5000        0    nan |  0.000 % |
3.47/3.58	c ===============================================================================
3.47/3.58	c core #543
3.47/3.58	c Core size: 126	Core Weight: 1	Total Weight: 543
3.47/3.58	c Elapsed CPU time: 3.53746 s	Remaining CPU time: 1796.46 s
3.47/3.59	c ============================[ Search Statistics ]==============================
3.47/3.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.47/3.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.47/3.59	c ===============================================================================
3.47/3.59	c |         0 |    4063     7793    20817 |     5000        0    nan |  0.000 % |
3.47/3.60	c ===============================================================================
3.47/3.60	c core #544
3.47/3.60	c Core size: 249	Core Weight: 1	Total Weight: 544
3.47/3.60	c Elapsed CPU time: 3.55346 s	Remaining CPU time: 1796.45 s
3.57/3.61	c ============================[ Search Statistics ]==============================
3.57/3.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/3.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.57/3.61	c ===============================================================================
3.57/3.61	c |         0 |    4207     7794    21120 |     5000        0    nan |  0.000 % |
3.57/3.61	c ===============================================================================
3.57/3.61	c core #545
3.57/3.61	c Core size: 111	Core Weight: 1	Total Weight: 545
3.57/3.61	c Elapsed CPU time: 3.56746 s	Remaining CPU time: 1796.43 s
3.57/3.62	c ============================[ Search Statistics ]==============================
3.57/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/3.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.57/3.62	c ===============================================================================
3.57/3.62	c |         0 |    4271     7795    21257 |     5000        0    nan |  0.000 % |
3.57/3.62	c ===============================================================================
3.57/3.62	c core #546
3.57/3.62	c Core size: 74	Core Weight: 1	Total Weight: 546
3.57/3.62	c Elapsed CPU time: 3.58146 s	Remaining CPU time: 1796.42 s
3.57/3.64	c ============================[ Search Statistics ]==============================
3.57/3.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/3.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.57/3.64	c ===============================================================================
3.57/3.64	c |         0 |    4315     7796    21348 |     5000        0    nan |  0.000 % |
3.57/3.64	c ===============================================================================
3.57/3.65	c core #547
3.57/3.65	c Core size: 384	Core Weight: 1	Total Weight: 547
3.57/3.65	c Elapsed CPU time: 3.60245 s	Remaining CPU time: 1796.4 s
3.57/3.66	c ============================[ Search Statistics ]==============================
3.57/3.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/3.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.57/3.66	c ===============================================================================
3.57/3.66	c |         0 |    4499     7797    21722 |     5000        0    nan |  0.000 % |
3.57/3.67	c ===============================================================================
3.57/3.67	c core #548
3.57/3.67	c Core size: 588	Core Weight: 1	Total Weight: 548
3.57/3.67	c Elapsed CPU time: 3.62445 s	Remaining CPU time: 1796.38 s
3.57/3.68	c ============================[ Search Statistics ]==============================
3.57/3.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.57/3.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.57/3.68	c ===============================================================================
3.57/3.68	c |         0 |    4786     7798    22305 |     5000        0    nan |  0.000 % |
3.57/3.69	c |       100 |    4786     7798    22305 |     5500      100     49 |  0.354 % |
3.67/3.72	c |       250 |    4786     7798    22305 |     6050      250     37 |  0.354 % |
3.67/3.76	c |       475 |    4784     7798    22305 |     6655      474     30 |  0.396 % |
3.77/3.82	c |       812 |    4784     7798    22305 |     7320      811     26 |  0.396 % |
3.77/3.84	c ===============================================================================
3.77/3.85	c core #549
3.77/3.85	c Core size: 2057	Core Weight: 1	Total Weight: 549
3.77/3.85	c Elapsed CPU time: 3.80842 s	Remaining CPU time: 1796.19 s
3.77/3.87	c ============================[ Search Statistics ]==============================
3.77/3.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.77/3.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.77/3.87	c ===============================================================================
3.77/3.87	c |         0 |    5629     7799    24001 |     5000        0    nan |  0.000 % |
3.77/3.89	c |       103 |    5629     7799    24001 |     5500      103     90 |  0.124 % |
3.87/3.93	c |       257 |    5629     7799    24001 |     6050      257     57 |  0.124 % |
3.87/3.99	c |       484 |    5629     7799    24001 |     6655      484     40 |  0.124 % |
3.97/4.07	c |       824 |    5629     7799    24001 |     7320      824     31 |  0.124 % |
4.17/4.21	c |      1330 |    5629     7799    24001 |     8052     1330     29 |  0.124 % |
4.28/4.40	c |      2093 |    5629     7799    24001 |     8857     2093     27 |  0.124 % |
4.57/4.66	c |      3233 |    5629     7799    24001 |     9743     3233     27 |  0.124 % |
4.97/5.07	c |      4941 |    5629     7799    24001 |    10717     4941     27 |  0.124 % |
5.67/5.77	c |      7505 |    5629     7799    24001 |    11789     7505     26 |  0.124 % |
6.77/6.81	c |     11349 |    5620     7799    24001 |    12968     3227     15 |  0.284 % |
6.77/6.82	c ===============================================================================
6.87/6.99	c core #550
6.87/6.99	c Core size: 5133	Core Weight: 1	Total Weight: 550
6.87/6.99	c Elapsed CPU time: 6.90895 s	Remaining CPU time: 1793.09 s
6.97/7.01	c Learning 10 hard constraints
6.97/7.01	c ============================[ Search Statistics ]==============================
6.97/7.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.97/7.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.97/7.01	c ===============================================================================
6.97/7.01	c |         0 |    7262     7810    27317 |     5000        0    nan |  0.000 % |
6.97/7.04	c |       101 |    7262     7810    27317 |     5500      101     27 |  0.014 % |
7.07/7.12	c |       251 |    7262     7810    27317 |     6050      251     26 |  0.014 % |
7.17/7.22	c |       476 |    7262     7810    27317 |     6655      476     22 |  0.014 % |
7.27/7.34	c |       813 |    7262     7810    27317 |     7320      813     31 |  0.014 % |
7.37/7.47	c |      1319 |    7262     7810    27317 |     8052     1319     37 |  0.014 % |
7.57/7.66	c |      2078 |    7262     7810    27317 |     8857     2078     41 |  0.014 % |
8.07/8.10	c |      3218 |    7262     7810    27317 |     9743     3218     35 |  0.014 % |
9.07/9.11	c |      4926 |    7262     7810    27317 |    10717     4926     37 |  0.014 % |
10.66/10.73	c |      7489 |    7262     7810    27317 |    11789     7489     40 |  0.014 % |
12.67/12.74	c |     11334 |    7262     7810    27317 |    12968    11334     43 |  0.014 % |
16.07/16.13	c |     17103 |    7262     7810    27317 |    14265    10561     48 |  0.014 % |
21.97/22.06	c |     25752 |    7262     7810    27317 |    15692    12019     57 |  0.014 % |
30.66/30.72	c |     38727 |    7262     7810    27317 |    17261     9152     56 |  0.014 % |
41.95/42.04	c |     58191 |    7262     7810    27317 |    18987    11123     75 |  0.014 % |
64.85/64.92	c |     87385 |    7262     7810    27317 |    20886    11452     84 |  0.014 % |
112.13/112.22	c |    131174 |    7260     7810    27317 |    22974    12170    157 |  0.041 % |
162.40/162.54	c ===============================================================================
165.01/165.17	c core #551
165.01/165.17	c Core size: 5425	Core Weight: 1	Total Weight: 551
165.01/165.17	c Elapsed CPU time: 164.303 s	Remaining CPU time: 1635.7 s
165.21/165.37	c Learning 7 hard constraints
165.21/165.37	c ============================[ Search Statistics ]==============================
165.21/165.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
165.21/165.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
165.21/165.37	c ===============================================================================
165.21/165.37	c |         0 |    8919     7818    30654 |     5000        0    nan |  0.000 % |
165.30/165.45	c |       100 |    8919     7818    30654 |     5500      100    327 |  0.011 % |
165.40/165.51	c |       253 |    8919     7818    30654 |     6050      253    207 |  0.011 % |
165.40/165.56	c |       478 |    8919     7818    30654 |     6655      478    134 |  0.011 % |
165.50/165.62	c |       817 |    8919     7818    30654 |     7320      817     98 |  0.011 % |
165.60/165.72	c |      1324 |    8919     7818    30654 |     8052     1324     81 |  0.011 % |
165.70/165.84	c |      2084 |    8919     7818    30654 |     8857     2084     71 |  0.011 % |
165.91/166.07	c |      3223 |    8919     7818    30654 |     9743     3223     67 |  0.011 % |
166.30/166.43	c |      4931 |    8919     7818    30654 |    10717     4931     62 |  0.011 % |
167.00/167.20	c |      7494 |    8919     7818    30654 |    11789     7494     60 |  0.011 % |
168.40/168.59	c |     11338 |    8919     7818    30654 |    12968    11338     59 |  0.011 % |
170.20/170.39	c |     17104 |    8919     7818    30654 |    14265    10535     55 |  0.011 % |
173.50/173.68	c |     25755 |    8919     7818    30654 |    15692    11934     55 |  0.011 % |
179.29/179.48	c |     38730 |    8919     7818    30654 |    17261     9038     60 |  0.011 % |
189.28/189.42	c |     58191 |    8919     7818    30654 |    18987    11051     59 |  0.011 % |
206.28/206.45	c |     87385 |    8919     7818    30654 |    20886    11471     60 |  0.011 % |
232.46/232.69	c |    131177 |    8919     7818    30654 |    22974    13187     59 |  0.011 % |
272.74/272.98	c |    196861 |    8919     7818    30654 |    25272    21010     60 |  0.011 % |
337.33/337.54	c |    295390 |    8919     7818    30654 |    27799    16568     63 |  0.011 % |
437.27/437.58	c |    443179 |    8919     7818    30654 |    30579    12872     64 |  0.011 % |
608.21/608.52	c |    664867 |    8919     7818    30654 |    33637    22059     66 |  0.011 % |
875.30/875.74	c |    997392 |    8919     7818    30654 |    37001    25566     62 |  0.011 % |
1288.81/1289.46	c |   1496180 |    8919     7818    30654 |    40701    26442     60 |  0.011 % |

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-1875525-1245151247/watcher-1875525-1245151247 -o /tmp/evaluation-result-1875525-1245151247/solver-1875525-1245151247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875525-1245151247.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.99 0.97 0.98 3/64 4135
/proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=3028 CPUtime=0
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 182724748 3100672 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 757 255 127 292 0 418 0

[startup+0.0734981 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4135
/proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=3544 CPUtime=0.07
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 524 0 0 0 7 0 0 0 18 0 1 0 182724748 3629056 464 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 886 464 133 292 0 591 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3544

[startup+0.101501 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4135
/proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=3544 CPUtime=0.09
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 526 0 0 0 9 0 0 0 18 0 1 0 182724748 3629056 466 1992294400 134512640 135709839 4294956240 18446744073709551615 134530387 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 886 466 133 292 0 591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3544

[startup+0.301522 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4135
/proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=3676 CPUtime=0.29
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 541 0 0 0 29 0 0 0 19 0 1 0 182724748 3764224 481 1992294400 134512640 135709839 4294956240 18446744073709551615 134530416 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 919 481 133 292 0 624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3676

[startup+0.701566 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 4135
/proc/meminfo: memFree=1858904/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=4052 CPUtime=0.69
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 665 0 0 0 69 0 0 0 23 0 1 0 182724748 4149248 573 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 1013 573 133 292 0 718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4052

[startup+1.50165 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1856784/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=4920 CPUtime=1.48
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 1029 0 0 0 148 0 0 0 25 0 1 0 182724748 5038080 804 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 1230 804 133 292 0 935 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 4920

[startup+3.10182 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1855504/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=6376 CPUtime=3.08
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 1886 0 0 0 306 2 0 0 25 0 1 0 182724748 6529024 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 135166249 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 1594 1164 133 292 0 1299 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6376

[startup+6.30117 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1850896/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=11296 CPUtime=6.27
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 3407 0 0 0 622 5 0 0 25 0 1 0 182724748 11567104 2394 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 2824 2394 136 292 0 2529 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 11296

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1846864/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=14740 CPUtime=12.67
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 4235 0 0 0 1258 9 0 0 25 0 1 0 182724748 15093760 3222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 3685 3222 136 292 0 3390 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14740

[startup+25.5012 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1835984/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=25368 CPUtime=25.46
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 6910 0 0 0 2531 15 0 0 25 0 1 0 182724748 25976832 5897 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 6342 5897 136 292 0 6047 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25368

[startup+51.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1811664/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=49804 CPUtime=51.05
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 12999 0 0 0 5075 30 0 0 25 0 1 0 182724748 50999296 11986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 12451 11986 136 292 0 12156 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 49804

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1766736/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=94120 CPUtime=102.23
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 24084 0 0 0 10169 54 0 0 25 0 1 0 182724748 96378880 23071 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 23530 23071 136 292 0 23235 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 94120

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1716304/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=144932 CPUtime=162.2
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 36763 0 0 0 16143 77 0 0 25 0 1 0 182724748 148410368 35750 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 36233 35750 136 292 0 35938 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 144932

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1684688/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=176052 CPUtime=222.16
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 44627 0 0 0 22111 105 0 0 25 0 1 0 182724748 180277248 43571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 44013 43571 136 292 0 43718 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 176052

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1607248/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=253936 CPUtime=282.14
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 64106 0 0 0 28073 141 0 0 25 0 1 0 182724748 260030464 63050 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 63484 63050 136 292 0 63189 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 253936

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1532432/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=328040 CPUtime=342.12
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 82631 0 0 0 34038 174 0 0 25 0 1 0 182724748 335912960 81575 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 82010 81575 136 292 0 81715 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 328040

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1460368/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=400640 CPUtime=402.1
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 100756 0 0 0 40002 208 0 0 25 0 1 0 182724748 410255360 99700 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 100160 99700 136 292 0 99865 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 400640

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1390800/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=469432 CPUtime=462.07
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 117953 0 0 0 45969 238 0 0 25 0 1 0 182724748 480698368 116897 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 117358 116897 136 292 0 117063 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 469432

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1328272/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=532700 CPUtime=522.04
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 133771 0 0 0 51940 264 0 0 25 0 1 0 182724748 545484800 132715 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 133175 132715 136 292 0 132880 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 532700

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1265232/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=594888 CPUtime=582.02
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 149324 0 0 0 57911 291 0 0 25 0 1 0 182724748 609165312 148268 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 148722 148268 136 292 0 148427 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 594888

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=1203344/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=656172 CPUtime=641.99
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 164635 0 0 0 63881 318 0 0 25 0 1 0 182724748 671920128 163579 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 164043 163579 136 292 0 163748 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 656172

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=972688/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=886356 CPUtime=881.89
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 222186 0 0 0 87768 421 0 0 25 0 1 0 182724748 907628544 221130 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 221589 221130 136 292 0 221294 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 886356

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=916432/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=943012 CPUtime=941.86
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 236350 0 0 0 93736 450 0 0 25 0 1 0 182724748 965644288 235294 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 235753 235294 136 292 0 235458 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 943012

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=857552/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1001356 CPUtime=1001.83
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 250930 0 0 0 99704 479 0 0 25 0 1 0 182724748 1025388544 249874 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 250339 249874 136 292 0 250044 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 1001356

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=798544/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1061416 CPUtime=1061.81
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 265930 0 0 0 105674 507 0 0 25 0 1 0 182724748 1086889984 264874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 265354 264874 136 292 0 265059 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 1061416

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=742608/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1116100 CPUtime=1121.78
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 279614 0 0 0 111648 530 0 0 25 0 1 0 182724748 1142886400 278558 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 279025 278558 136 292 0 278730 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 1116100

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=687120/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1171944 CPUtime=1181.76
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 293558 0 0 0 117617 559 0 0 25 0 1 0 182724748 1200070656 292502 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 292986 292502 136 292 0 292691 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 1171944

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=630032/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1228340 CPUtime=1241.74
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 307662 0 0 0 123587 587 0 0 25 0 1 0 182724748 1257820160 306606 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 307085 306606 136 292 0 306790 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 1228340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=568976/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1288972 CPUtime=1301.71
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 322808 0 0 0 129557 614 0 0 25 0 1 0 182724748 1319907328 321752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 322243 321752 136 292 0 321948 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1288972

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=513232/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1344984 CPUtime=1361.68
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 336825 0 0 0 135528 640 0 0 25 0 1 0 182724748 1377263616 335769 1992294400 134512640 135709839 4294956240 18446744073709551615 134574213 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 336246 335769 136 292 0 335951 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 1344984

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=463504/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1394236 CPUtime=1421.66
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 349143 0 0 0 141504 662 0 0 25 0 1 0 182724748 1427697664 348087 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 348559 348087 136 292 0 348264 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 1394236

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=417872/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1440712 CPUtime=1481.63
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 360720 0 0 0 147476 687 0 0 25 0 1 0 182724748 1475289088 359664 1992294400 134512640 135709839 4294956240 18446744073709551615 134574267 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 360178 359664 136 292 0 359883 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 1440712

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=363984/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1493712 CPUtime=1541.61
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 373975 0 0 0 153447 714 0 0 25 0 1 0 182724748 1529561088 372919 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 373428 372919 136 292 0 373133 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 1493712

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=313296/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1544832 CPUtime=1601.59
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 386746 0 0 0 159419 740 0 0 25 0 1 0 182724748 1581907968 385690 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 386208 385690 136 292 0 385913 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 1544832

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=265680/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1592100 CPUtime=1661.57
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 398555 0 0 0 165394 763 0 0 25 0 1 0 182724748 1630310400 397499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 398025 397499 136 292 0 397730 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1592100

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=211920/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1645956 CPUtime=1721.54
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 412031 0 0 0 171366 788 0 0 25 0 1 0 182724748 1685458944 410975 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 411489 410975 136 292 0 411194 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 1645956

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=163216/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1693872 CPUtime=1781.51
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 424024 0 0 0 177340 811 0 0 25 0 1 0 182724748 1734524928 422968 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 423468 422968 136 292 0 423173 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 1693872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=147664/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=1709316 CPUtime=1800.01
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4194304 427866 0 0 0 179183 818 0 0 25 0 1 0 182724748 1750339584 426810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 427329 426810 136 292 0 427034 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1709316

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4136
/proc/meminfo: memFree=147664/2055920 swapFree=4182492/4192956
[pid=4135] ppid=4133 vsize=0 CPUtime=1800.21
/proc/4135/stat : 4135 (wbo) R 4133 4135 4038 0 -1 4195332 427866 0 0 0 179183 838 0 0 25 0 1 0 182724748 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/4135/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.05
CPU time (s): 1800.27
CPU user time (s): 1791.84
CPU system time (s): 8.43072
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 1709316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.84
system time used= 8.43072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 6939

runsolver used 1.61775 second user time and 4.98824 second system time

The end

Launcher Data 

Begin job on node21 at 2009-06-16 13:20:47
IDJOB=1875525
IDBENCH=2075
IDSOLVER=698
FILE ID=node21/1875525-1245151247
PBS_JOBID= 9363787
Free space on /tmp= 66092 MiB

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

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

MD5SUM BENCH= 8fb889bdb08324a2b9780b5ff988846e
RANDOM SEED=18699108

node21.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.239
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.239
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:       1859392 kB
Buffers:         33456 kB
Cached:          87748 kB
SwapCached:       4256 kB
Active:          28008 kB
Inactive:       100488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859392 kB
SwapTotal:     4192956 kB
SwapFree:      4182492 kB
Dirty:            2560 kB
Writeback:           0 kB
Mapped:          13360 kB
Slab:            54104 kB
Committed_AS:   169520 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-1875525-1245151247.opb

Free space on /tmp at the end= 66088 MiB
End job on node21 at 2009-06-16 13:50:50