Trace number 1875688

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.3 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
MD5SUM192e079d91d386374bed5b6f1f3b1921
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark507
Best CPU time to get the best result obtained on this benchmark1797.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 507
Optimality of the best value was proved NO
Number of variables1632
Total number of constraints6924
Number of constraints which are clauses6924
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 constraint8
Number of terms in the objective function 1632
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 1632
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 1632
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-1875688-1245153040.opb.
0.00/0.00	c Instance file HOME/instance-1875688-1245153040.opb
0.00/0.00	c File size is 185568 bytes.
0.00/0.02	c Highest Coefficient sum: 9
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:      1632                                                |
0.00/0.02	c |  Number Clauses:        8556                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c core #1
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #2
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 2
0.00/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #3
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 3
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #4
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 4
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #5
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 5
0.00/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #6
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #7
0.00/0.05	c Core size: 3	Core Weight: 1	Total Weight: 7
0.00/0.05	c Elapsed CPU time: 0.049992 s	Remaining CPU time: 1799.95 s
0.05/0.05	c core #8
0.05/0.05	c Core size: 3	Core Weight: 1	Total Weight: 8
0.05/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.05/0.06	c core #9
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 9
0.05/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.05/0.06	c core #10
0.05/0.06	c Core size: 3	Core Weight: 1	Total Weight: 10
0.05/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.05/0.07	c core #11
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 11
0.05/0.07	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
0.05/0.07	c core #12
0.05/0.07	c Core size: 3	Core Weight: 1	Total Weight: 12
0.05/0.07	c Elapsed CPU time: 0.073988 s	Remaining CPU time: 1799.93 s
0.05/0.08	c core #13
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 13
0.05/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.05/0.08	c core #14
0.05/0.08	c Core size: 3	Core Weight: 1	Total Weight: 14
0.05/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.05/0.09	c core #15
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 15
0.05/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.05/0.09	c core #16
0.05/0.09	c Core size: 3	Core Weight: 1	Total Weight: 16
0.05/0.09	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 1799.91 s
0.05/0.10	c core #17
0.05/0.10	c Core size: 3	Core Weight: 1	Total Weight: 17
0.05/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #18
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 18
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #19
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 19
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #20
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 20
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #21
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 21
0.09/0.11	c Elapsed CPU time: 0.114982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #22
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 22
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #23
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 23
0.09/0.12	c Elapsed CPU time: 0.124981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #24
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 24
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #25
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.13	c Elapsed CPU time: 0.133979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #26
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.14	c Elapsed CPU time: 0.138978 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #27
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.14	c Elapsed CPU time: 0.143978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #28
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #29
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #30
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #31
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.16	c Elapsed CPU time: 0.162975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #32
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.17	c Elapsed CPU time: 0.167974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #33
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.17	c Elapsed CPU time: 0.172973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #34
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.18	c Elapsed CPU time: 0.177972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #35
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 35
0.09/0.18	c Elapsed CPU time: 0.182972 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #36
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 36
0.09/0.19	c Elapsed CPU time: 0.187971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #37
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 37
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.09/0.20	c core #38
0.09/0.20	c Core size: 3	Core Weight: 1	Total Weight: 38
0.09/0.20	c Elapsed CPU time: 0.19697 s	Remaining CPU time: 1799.8 s
0.19/0.20	c core #39
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 39
0.19/0.20	c Elapsed CPU time: 0.201969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #40
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 40
0.19/0.21	c Elapsed CPU time: 0.206968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #41
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 41
0.19/0.21	c Elapsed CPU time: 0.211967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #42
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 42
0.19/0.22	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #43
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 43
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #44
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 44
0.19/0.23	c Elapsed CPU time: 0.225965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #45
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 45
0.19/0.23	c Elapsed CPU time: 0.230964 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #46
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 46
0.19/0.23	c Elapsed CPU time: 0.235964 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #47
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 47
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #48
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 48
0.19/0.24	c Elapsed CPU time: 0.244962 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #49
0.19/0.25	c Core size: 9	Core Weight: 1	Total Weight: 49
0.19/0.25	c Elapsed CPU time: 0.249962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #50
0.19/0.25	c Core size: 9	Core Weight: 1	Total Weight: 50
0.19/0.25	c Elapsed CPU time: 0.254961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #51
0.19/0.26	c Core size: 9	Core Weight: 1	Total Weight: 51
0.19/0.26	c Elapsed CPU time: 0.25896 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #52
0.19/0.26	c Core size: 9	Core Weight: 1	Total Weight: 52
0.19/0.26	c Elapsed CPU time: 0.263959 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #53
0.19/0.27	c Core size: 9	Core Weight: 1	Total Weight: 53
0.19/0.27	c Elapsed CPU time: 0.268959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #54
0.19/0.27	c Core size: 9	Core Weight: 1	Total Weight: 54
0.19/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #55
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 55
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #56
0.19/0.28	c Core size: 7	Core Weight: 1	Total Weight: 56
0.19/0.28	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #57
0.19/0.29	c Core size: 7	Core Weight: 1	Total Weight: 57
0.19/0.29	c Elapsed CPU time: 0.288956 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #58
0.19/0.29	c Core size: 7	Core Weight: 1	Total Weight: 58
0.19/0.29	c Elapsed CPU time: 0.293955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #59
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 59
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #60
0.29/0.30	c Core size: 7	Core Weight: 1	Total Weight: 60
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #61
0.29/0.31	c Core size: 7	Core Weight: 1	Total Weight: 61
0.29/0.31	c Elapsed CPU time: 0.308953 s	Remaining CPU time: 1799.69 s
0.29/0.31	c core #62
0.29/0.31	c Core size: 7	Core Weight: 1	Total Weight: 62
0.29/0.31	c Elapsed CPU time: 0.313952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #63
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 63
0.29/0.32	c Elapsed CPU time: 0.318951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #64
0.29/0.32	c Core size: 7	Core Weight: 1	Total Weight: 64
0.29/0.32	c Elapsed CPU time: 0.32495 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #65
0.29/0.33	c Core size: 7	Core Weight: 1	Total Weight: 65
0.29/0.33	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #66
0.29/0.33	c Core size: 7	Core Weight: 1	Total Weight: 66
0.29/0.33	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #67
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 67
0.29/0.34	c Elapsed CPU time: 0.338948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #68
0.29/0.34	c Core size: 7	Core Weight: 1	Total Weight: 68
0.29/0.34	c Elapsed CPU time: 0.344947 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #69
0.29/0.35	c Core size: 7	Core Weight: 1	Total Weight: 69
0.29/0.35	c Elapsed CPU time: 0.349946 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #70
0.29/0.35	c Core size: 7	Core Weight: 1	Total Weight: 70
0.29/0.35	c Elapsed CPU time: 0.354946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #71
0.29/0.36	c Core size: 7	Core Weight: 1	Total Weight: 71
0.29/0.36	c Elapsed CPU time: 0.359945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #72
0.29/0.36	c Core size: 7	Core Weight: 1	Total Weight: 72
0.29/0.36	c Elapsed CPU time: 0.364944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #73
0.29/0.37	c Core size: 7	Core Weight: 1	Total Weight: 73
0.29/0.37	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #74
0.29/0.37	c Core size: 7	Core Weight: 1	Total Weight: 74
0.29/0.37	c Elapsed CPU time: 0.375942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #75
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 75
0.29/0.38	c Elapsed CPU time: 0.380942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #76
0.29/0.38	c Core size: 7	Core Weight: 1	Total Weight: 76
0.29/0.38	c Elapsed CPU time: 0.385941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #77
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 77
0.29/0.39	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #78
0.29/0.39	c Core size: 7	Core Weight: 1	Total Weight: 78
0.29/0.39	c Elapsed CPU time: 0.395939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #79
0.39/0.40	c Core size: 7	Core Weight: 1	Total Weight: 79
0.39/0.40	c Elapsed CPU time: 0.400939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #80
0.39/0.40	c Core size: 7	Core Weight: 1	Total Weight: 80
0.39/0.40	c Elapsed CPU time: 0.405938 s	Remaining CPU time: 1799.59 s
0.39/0.41	c core #81
0.39/0.41	c Core size: 7	Core Weight: 1	Total Weight: 81
0.39/0.41	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #82
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 82
0.39/0.42	c Elapsed CPU time: 0.415936 s	Remaining CPU time: 1799.58 s
0.39/0.42	c core #83
0.39/0.42	c Core size: 7	Core Weight: 1	Total Weight: 83
0.39/0.42	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #84
0.39/0.43	c Core size: 7	Core Weight: 1	Total Weight: 84
0.39/0.43	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #85
0.39/0.43	c Core size: 7	Core Weight: 1	Total Weight: 85
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #86
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 86
0.39/0.44	c Elapsed CPU time: 0.436933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #87
0.39/0.44	c Core size: 7	Core Weight: 1	Total Weight: 87
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #88
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 88
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #89
0.39/0.45	c Core size: 7	Core Weight: 1	Total Weight: 89
0.39/0.45	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #90
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 90
0.39/0.46	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #91
0.39/0.46	c Core size: 7	Core Weight: 1	Total Weight: 91
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #92
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 92
0.39/0.47	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #93
0.39/0.47	c Core size: 7	Core Weight: 1	Total Weight: 93
0.39/0.47	c Elapsed CPU time: 0.472928 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #94
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 94
0.39/0.48	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 1799.52 s
0.39/0.48	c core #95
0.39/0.48	c Core size: 7	Core Weight: 1	Total Weight: 95
0.39/0.48	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #96
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 96
0.39/0.49	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 1799.51 s
0.39/0.49	c core #97
0.39/0.49	c Core size: 7	Core Weight: 1	Total Weight: 97
0.39/0.49	c Elapsed CPU time: 0.492925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #98
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 98
0.49/0.50	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #99
0.49/0.50	c Core size: 7	Core Weight: 1	Total Weight: 99
0.49/0.50	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #100
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 100
0.49/0.51	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #101
0.49/0.51	c Core size: 7	Core Weight: 1	Total Weight: 101
0.49/0.51	c Elapsed CPU time: 0.513921 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #102
0.49/0.52	c Core size: 7	Core Weight: 1	Total Weight: 102
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #103
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 103
0.49/0.53	c Elapsed CPU time: 0.52392 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #104
0.49/0.53	c Core size: 7	Core Weight: 1	Total Weight: 104
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #105
0.49/0.54	c Core size: 7	Core Weight: 1	Total Weight: 105
0.49/0.54	c Elapsed CPU time: 0.534918 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #106
0.49/0.54	c Core size: 7	Core Weight: 1	Total Weight: 106
0.49/0.54	c Elapsed CPU time: 0.539917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #107
0.49/0.55	c Core size: 7	Core Weight: 1	Total Weight: 107
0.49/0.55	c Elapsed CPU time: 0.544917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #108
0.49/0.55	c Core size: 7	Core Weight: 1	Total Weight: 108
0.49/0.55	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #109
0.49/0.56	c Core size: 7	Core Weight: 1	Total Weight: 109
0.49/0.56	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #110
0.49/0.56	c Core size: 7	Core Weight: 1	Total Weight: 110
0.49/0.56	c Elapsed CPU time: 0.561914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #111
0.49/0.57	c Core size: 7	Core Weight: 1	Total Weight: 111
0.49/0.57	c Elapsed CPU time: 0.566913 s	Remaining CPU time: 1799.43 s
0.49/0.57	c core #112
0.49/0.57	c Core size: 7	Core Weight: 1	Total Weight: 112
0.49/0.57	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #113
0.49/0.58	c Core size: 7	Core Weight: 1	Total Weight: 113
0.49/0.58	c Elapsed CPU time: 0.576912 s	Remaining CPU time: 1799.42 s
0.49/0.58	c core #114
0.49/0.58	c Core size: 7	Core Weight: 1	Total Weight: 114
0.49/0.58	c Elapsed CPU time: 0.582911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #115
0.49/0.59	c Core size: 7	Core Weight: 1	Total Weight: 115
0.49/0.59	c Elapsed CPU time: 0.58791 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #116
0.49/0.60	c Core size: 7	Core Weight: 1	Total Weight: 116
0.49/0.60	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #117
0.59/0.60	c Core size: 7	Core Weight: 1	Total Weight: 117
0.59/0.60	c Elapsed CPU time: 0.598908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #118
0.59/0.61	c Core size: 7	Core Weight: 1	Total Weight: 118
0.59/0.61	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #119
0.59/0.61	c Core size: 7	Core Weight: 1	Total Weight: 119
0.59/0.61	c Elapsed CPU time: 0.609907 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #120
0.59/0.62	c Core size: 7	Core Weight: 1	Total Weight: 120
0.59/0.62	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #121
0.59/0.62	c Core size: 7	Core Weight: 1	Total Weight: 121
0.59/0.62	c Elapsed CPU time: 0.620905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #122
0.59/0.63	c Core size: 7	Core Weight: 1	Total Weight: 122
0.59/0.63	c Elapsed CPU time: 0.625904 s	Remaining CPU time: 1799.37 s
0.59/0.63	c core #123
0.59/0.63	c Core size: 7	Core Weight: 1	Total Weight: 123
0.59/0.63	c Elapsed CPU time: 0.631903 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #124
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 124
0.59/0.64	c Elapsed CPU time: 0.636903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #125
0.59/0.64	c Core size: 7	Core Weight: 1	Total Weight: 125
0.59/0.64	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #126
0.59/0.65	c Core size: 7	Core Weight: 1	Total Weight: 126
0.59/0.65	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 1799.35 s
0.59/0.65	c core #127
0.59/0.65	c Core size: 7	Core Weight: 1	Total Weight: 127
0.59/0.65	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #128
0.59/0.66	c Core size: 7	Core Weight: 1	Total Weight: 128
0.59/0.66	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #129
0.59/0.67	c Core size: 7	Core Weight: 1	Total Weight: 129
0.59/0.67	c Elapsed CPU time: 0.663899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #130
0.59/0.67	c Core size: 7	Core Weight: 1	Total Weight: 130
0.59/0.67	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #131
0.59/0.68	c Core size: 7	Core Weight: 1	Total Weight: 131
0.59/0.68	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #132
0.59/0.68	c Core size: 7	Core Weight: 1	Total Weight: 132
0.59/0.68	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #133
0.59/0.69	c Core size: 7	Core Weight: 1	Total Weight: 133
0.59/0.69	c Elapsed CPU time: 0.686895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #134
0.59/0.69	c Core size: 7	Core Weight: 1	Total Weight: 134
0.59/0.69	c Elapsed CPU time: 0.692894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #135
0.69/0.70	c Core size: 7	Core Weight: 1	Total Weight: 135
0.69/0.70	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.69/0.70	c core #136
0.69/0.70	c Core size: 7	Core Weight: 1	Total Weight: 136
0.69/0.70	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #137
0.69/0.71	c Core size: 7	Core Weight: 1	Total Weight: 137
0.69/0.71	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #138
0.69/0.72	c Core size: 7	Core Weight: 1	Total Weight: 138
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #139
0.69/0.72	c Core size: 7	Core Weight: 1	Total Weight: 139
0.69/0.72	c Elapsed CPU time: 0.72089 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #140
0.69/0.73	c Core size: 7	Core Weight: 1	Total Weight: 140
0.69/0.73	c Elapsed CPU time: 0.725889 s	Remaining CPU time: 1799.27 s
0.69/0.73	c core #141
0.69/0.73	c Core size: 7	Core Weight: 1	Total Weight: 141
0.69/0.73	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #142
0.69/0.74	c Core size: 7	Core Weight: 1	Total Weight: 142
0.69/0.74	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 1799.26 s
0.69/0.74	c core #143
0.69/0.74	c Core size: 7	Core Weight: 1	Total Weight: 143
0.69/0.74	c Elapsed CPU time: 0.742887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #144
0.69/0.75	c Core size: 7	Core Weight: 1	Total Weight: 144
0.69/0.75	c Elapsed CPU time: 0.748886 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #145
0.69/0.76	c Core size: 7	Core Weight: 1	Total Weight: 145
0.69/0.76	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #146
0.69/0.76	c Core size: 7	Core Weight: 1	Total Weight: 146
0.69/0.76	c Elapsed CPU time: 0.758884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #147
0.69/0.77	c Core size: 7	Core Weight: 1	Total Weight: 147
0.69/0.77	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #148
0.69/0.77	c Core size: 7	Core Weight: 1	Total Weight: 148
0.69/0.77	c Elapsed CPU time: 0.769882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #149
0.69/0.78	c Core size: 7	Core Weight: 1	Total Weight: 149
0.69/0.78	c Elapsed CPU time: 0.775882 s	Remaining CPU time: 1799.22 s
0.69/0.78	c core #150
0.69/0.78	c Core size: 7	Core Weight: 1	Total Weight: 150
0.69/0.78	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #151
0.69/0.79	c Core size: 7	Core Weight: 1	Total Weight: 151
0.69/0.79	c Elapsed CPU time: 0.78688 s	Remaining CPU time: 1799.21 s
0.69/0.79	c core #152
0.69/0.79	c Core size: 7	Core Weight: 1	Total Weight: 152
0.69/0.79	c Elapsed CPU time: 0.792879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #153
0.79/0.80	c Core size: 7	Core Weight: 1	Total Weight: 153
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #154
0.79/0.81	c Core size: 7	Core Weight: 1	Total Weight: 154
0.79/0.81	c Elapsed CPU time: 0.803877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #155
0.79/0.81	c Core size: 7	Core Weight: 1	Total Weight: 155
0.79/0.81	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #156
0.79/0.82	c Core size: 7	Core Weight: 1	Total Weight: 156
0.79/0.82	c Elapsed CPU time: 0.814876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #157
0.79/0.82	c Core size: 7	Core Weight: 1	Total Weight: 157
0.79/0.82	c Elapsed CPU time: 0.820875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #158
0.79/0.83	c Core size: 7	Core Weight: 1	Total Weight: 158
0.79/0.83	c Elapsed CPU time: 0.826874 s	Remaining CPU time: 1799.17 s
0.79/0.83	c core #159
0.79/0.83	c Core size: 7	Core Weight: 1	Total Weight: 159
0.79/0.83	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #160
0.79/0.84	c Core size: 7	Core Weight: 1	Total Weight: 160
0.79/0.84	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #161
0.79/0.85	c Core size: 7	Core Weight: 1	Total Weight: 161
0.79/0.85	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #162
0.79/0.85	c Core size: 7	Core Weight: 1	Total Weight: 162
0.79/0.85	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #163
0.79/0.86	c Core size: 7	Core Weight: 1	Total Weight: 163
0.79/0.86	c Elapsed CPU time: 0.85487 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #164
0.79/0.86	c Core size: 7	Core Weight: 1	Total Weight: 164
0.79/0.86	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #165
0.79/0.87	c Core size: 7	Core Weight: 1	Total Weight: 165
0.79/0.87	c Elapsed CPU time: 0.866868 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #166
0.79/0.88	c Core size: 7	Core Weight: 1	Total Weight: 166
0.79/0.88	c Elapsed CPU time: 0.872867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #167
0.79/0.88	c Core size: 7	Core Weight: 1	Total Weight: 167
0.79/0.88	c Elapsed CPU time: 0.878866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #168
0.79/0.89	c Core size: 7	Core Weight: 1	Total Weight: 168
0.79/0.89	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #169
0.79/0.89	c Core size: 7	Core Weight: 1	Total Weight: 169
0.79/0.89	c Elapsed CPU time: 0.890864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #170
0.89/0.90	c Core size: 7	Core Weight: 1	Total Weight: 170
0.89/0.90	c Elapsed CPU time: 0.896863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #171
0.89/0.91	c Core size: 7	Core Weight: 1	Total Weight: 171
0.89/0.91	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #172
0.89/0.91	c Core size: 7	Core Weight: 1	Total Weight: 172
0.89/0.91	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #173
0.89/0.92	c Core size: 7	Core Weight: 1	Total Weight: 173
0.89/0.92	c Elapsed CPU time: 0.91486 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #174
0.89/0.92	c Core size: 7	Core Weight: 1	Total Weight: 174
0.89/0.92	c Elapsed CPU time: 0.92086 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #175
0.89/0.93	c Core size: 13	Core Weight: 1	Total Weight: 175
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #176
0.89/0.94	c Core size: 22	Core Weight: 1	Total Weight: 176
0.89/0.94	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #177
0.89/0.94	c Core size: 22	Core Weight: 1	Total Weight: 177
0.89/0.94	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #178
0.89/0.95	c Core size: 21	Core Weight: 1	Total Weight: 178
0.89/0.95	c Elapsed CPU time: 0.944856 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #179
0.89/0.95	c Core size: 22	Core Weight: 1	Total Weight: 179
0.89/0.95	c Elapsed CPU time: 0.950855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #180
0.89/0.96	c Core size: 22	Core Weight: 1	Total Weight: 180
0.89/0.96	c Elapsed CPU time: 0.957854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #181
0.89/0.97	c Core size: 22	Core Weight: 1	Total Weight: 181
0.89/0.97	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #182
0.89/0.97	c Core size: 22	Core Weight: 1	Total Weight: 182
0.89/0.97	c Elapsed CPU time: 0.968852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #183
0.89/0.98	c Core size: 21	Core Weight: 1	Total Weight: 183
0.89/0.98	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 1799.03 s
0.89/0.99	c core #184
0.89/0.99	c Core size: 20	Core Weight: 1	Total Weight: 184
0.89/0.99	c Elapsed CPU time: 0.98185 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #185
0.89/0.99	c Core size: 20	Core Weight: 1	Total Weight: 185
0.89/0.99	c Elapsed CPU time: 0.987849 s	Remaining CPU time: 1799.01 s
0.89/1.00	c core #186
0.89/1.00	c Core size: 20	Core Weight: 1	Total Weight: 186
0.89/1.00	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.99/1.01	c core #187
0.99/1.01	c Core size: 22	Core Weight: 1	Total Weight: 187
0.99/1.01	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #188
0.99/1.01	c Core size: 20	Core Weight: 1	Total Weight: 188
0.99/1.01	c Elapsed CPU time: 1.00485 s	Remaining CPU time: 1799 s
0.99/1.02	c core #189
0.99/1.02	c Core size: 20	Core Weight: 1	Total Weight: 189
0.99/1.02	c Elapsed CPU time: 1.01185 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #190
0.99/1.02	c Core size: 21	Core Weight: 1	Total Weight: 190
0.99/1.02	c Elapsed CPU time: 1.01784 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #191
0.99/1.03	c Core size: 21	Core Weight: 1	Total Weight: 191
0.99/1.03	c Elapsed CPU time: 1.02484 s	Remaining CPU time: 1798.98 s
0.99/1.04	c core #192
0.99/1.04	c Core size: 21	Core Weight: 1	Total Weight: 192
0.99/1.04	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #193
0.99/1.04	c Core size: 20	Core Weight: 1	Total Weight: 193
0.99/1.04	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #194
0.99/1.05	c Core size: 20	Core Weight: 1	Total Weight: 194
0.99/1.05	c Elapsed CPU time: 1.04484 s	Remaining CPU time: 1798.96 s
0.99/1.06	c core #195
0.99/1.06	c Core size: 19	Core Weight: 1	Total Weight: 195
0.99/1.06	c Elapsed CPU time: 1.05084 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #196
0.99/1.06	c Core size: 21	Core Weight: 1	Total Weight: 196
0.99/1.06	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #197
0.99/1.07	c Core size: 22	Core Weight: 1	Total Weight: 197
0.99/1.07	c Elapsed CPU time: 1.06384 s	Remaining CPU time: 1798.94 s
0.99/1.08	c core #198
0.99/1.08	c Core size: 21	Core Weight: 1	Total Weight: 198
0.99/1.08	c Elapsed CPU time: 1.07084 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #199
0.99/1.08	c Core size: 21	Core Weight: 1	Total Weight: 199
0.99/1.08	c Elapsed CPU time: 1.07684 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #200
0.99/1.09	c Core size: 21	Core Weight: 1	Total Weight: 200
0.99/1.09	c Elapsed CPU time: 1.08384 s	Remaining CPU time: 1798.92 s
0.99/1.10	c core #201
0.99/1.10	c Core size: 21	Core Weight: 1	Total Weight: 201
0.99/1.10	c Elapsed CPU time: 1.08883 s	Remaining CPU time: 1798.91 s
1.10/1.10	c core #202
1.10/1.10	c Core size: 22	Core Weight: 1	Total Weight: 202
1.10/1.10	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 1798.91 s
1.10/1.11	c core #203
1.10/1.11	c Core size: 21	Core Weight: 1	Total Weight: 203
1.10/1.11	c Elapsed CPU time: 1.10183 s	Remaining CPU time: 1798.9 s
1.10/1.12	c core #204
1.10/1.12	c Core size: 13	Core Weight: 1	Total Weight: 204
1.10/1.12	c Elapsed CPU time: 1.10783 s	Remaining CPU time: 1798.89 s
1.10/1.12	c core #205
1.10/1.12	c Core size: 22	Core Weight: 1	Total Weight: 205
1.10/1.12	c Elapsed CPU time: 1.11383 s	Remaining CPU time: 1798.89 s
1.10/1.13	c core #206
1.10/1.13	c Core size: 22	Core Weight: 1	Total Weight: 206
1.10/1.13	c Elapsed CPU time: 1.12083 s	Remaining CPU time: 1798.88 s
1.10/1.14	c core #207
1.10/1.14	c Core size: 21	Core Weight: 1	Total Weight: 207
1.10/1.14	c Elapsed CPU time: 1.12783 s	Remaining CPU time: 1798.87 s
1.10/1.14	c core #208
1.10/1.14	c Core size: 22	Core Weight: 1	Total Weight: 208
1.10/1.14	c Elapsed CPU time: 1.13483 s	Remaining CPU time: 1798.87 s
1.10/1.15	c core #209
1.10/1.15	c Core size: 22	Core Weight: 1	Total Weight: 209
1.10/1.15	c Elapsed CPU time: 1.14083 s	Remaining CPU time: 1798.86 s
1.10/1.16	c core #210
1.10/1.16	c Core size: 22	Core Weight: 1	Total Weight: 210
1.10/1.16	c Elapsed CPU time: 1.14682 s	Remaining CPU time: 1798.85 s
1.10/1.16	c core #211
1.10/1.16	c Core size: 22	Core Weight: 1	Total Weight: 211
1.10/1.16	c Elapsed CPU time: 1.15382 s	Remaining CPU time: 1798.85 s
1.10/1.17	c core #212
1.10/1.17	c Core size: 21	Core Weight: 1	Total Weight: 212
1.10/1.17	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 1798.84 s
1.10/1.18	c core #213
1.10/1.18	c Core size: 20	Core Weight: 1	Total Weight: 213
1.10/1.18	c Elapsed CPU time: 1.16682 s	Remaining CPU time: 1798.83 s
1.10/1.19	c core #214
1.10/1.19	c Core size: 20	Core Weight: 1	Total Weight: 214
1.10/1.19	c Elapsed CPU time: 1.17382 s	Remaining CPU time: 1798.83 s
1.10/1.19	c core #215
1.10/1.19	c Core size: 20	Core Weight: 1	Total Weight: 215
1.10/1.19	c Elapsed CPU time: 1.18082 s	Remaining CPU time: 1798.82 s
1.19/1.20	c core #216
1.19/1.20	c Core size: 22	Core Weight: 1	Total Weight: 216
1.19/1.20	c Elapsed CPU time: 1.18782 s	Remaining CPU time: 1798.81 s
1.19/1.21	c core #217
1.19/1.21	c Core size: 20	Core Weight: 1	Total Weight: 217
1.19/1.21	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 1798.81 s
1.19/1.21	c core #218
1.19/1.21	c Core size: 20	Core Weight: 1	Total Weight: 218
1.19/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.22	c core #219
1.19/1.22	c Core size: 21	Core Weight: 1	Total Weight: 219
1.19/1.22	c Elapsed CPU time: 1.20882 s	Remaining CPU time: 1798.79 s
1.19/1.23	c core #220
1.19/1.23	c Core size: 21	Core Weight: 1	Total Weight: 220
1.19/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #221
1.19/1.23	c Core size: 21	Core Weight: 1	Total Weight: 221
1.19/1.24	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 1798.78 s
1.19/1.24	c core #222
1.19/1.24	c Core size: 20	Core Weight: 1	Total Weight: 222
1.19/1.24	c Elapsed CPU time: 1.23081 s	Remaining CPU time: 1798.77 s
1.19/1.25	c core #223
1.19/1.25	c Core size: 20	Core Weight: 1	Total Weight: 223
1.19/1.25	c Elapsed CPU time: 1.23781 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #224
1.19/1.26	c Core size: 19	Core Weight: 1	Total Weight: 224
1.19/1.26	c Elapsed CPU time: 1.24481 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #225
1.19/1.26	c Core size: 21	Core Weight: 1	Total Weight: 225
1.19/1.26	c Elapsed CPU time: 1.25181 s	Remaining CPU time: 1798.75 s
1.19/1.27	c core #226
1.19/1.27	c Core size: 22	Core Weight: 1	Total Weight: 226
1.19/1.27	c Elapsed CPU time: 1.25981 s	Remaining CPU time: 1798.74 s
1.19/1.28	c core #227
1.19/1.28	c Core size: 21	Core Weight: 1	Total Weight: 227
1.19/1.28	c Elapsed CPU time: 1.26581 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #228
1.19/1.29	c Core size: 21	Core Weight: 1	Total Weight: 228
1.19/1.29	c Elapsed CPU time: 1.27281 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #229
1.19/1.29	c Core size: 21	Core Weight: 1	Total Weight: 229
1.19/1.29	c Elapsed CPU time: 1.2808 s	Remaining CPU time: 1798.72 s
1.29/1.30	c core #230
1.29/1.30	c Core size: 21	Core Weight: 1	Total Weight: 230
1.29/1.30	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #231
1.29/1.31	c Core size: 22	Core Weight: 1	Total Weight: 231
1.29/1.31	c Elapsed CPU time: 1.2938 s	Remaining CPU time: 1798.71 s
1.29/1.32	c core #232
1.29/1.32	c Core size: 21	Core Weight: 1	Total Weight: 232
1.29/1.32	c Elapsed CPU time: 1.3008 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #233
1.29/1.32	c Core size: 13	Core Weight: 1	Total Weight: 233
1.29/1.32	c Elapsed CPU time: 1.3078 s	Remaining CPU time: 1798.69 s
1.29/1.33	c core #234
1.29/1.33	c Core size: 22	Core Weight: 1	Total Weight: 234
1.29/1.33	c Elapsed CPU time: 1.3158 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #235
1.29/1.34	c Core size: 22	Core Weight: 1	Total Weight: 235
1.29/1.34	c Elapsed CPU time: 1.3228 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #236
1.29/1.34	c Core size: 21	Core Weight: 1	Total Weight: 236
1.29/1.34	c Elapsed CPU time: 1.3298 s	Remaining CPU time: 1798.67 s
1.29/1.35	c core #237
1.29/1.35	c Core size: 22	Core Weight: 1	Total Weight: 237
1.29/1.35	c Elapsed CPU time: 1.3378 s	Remaining CPU time: 1798.66 s
1.29/1.36	c core #238
1.29/1.36	c Core size: 22	Core Weight: 1	Total Weight: 238
1.29/1.36	c Elapsed CPU time: 1.34479 s	Remaining CPU time: 1798.66 s
1.29/1.37	c core #239
1.29/1.37	c Core size: 22	Core Weight: 1	Total Weight: 239
1.29/1.37	c Elapsed CPU time: 1.35279 s	Remaining CPU time: 1798.65 s
1.29/1.37	c core #240
1.29/1.37	c Core size: 22	Core Weight: 1	Total Weight: 240
1.29/1.37	c Elapsed CPU time: 1.35879 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #241
1.29/1.38	c Core size: 21	Core Weight: 1	Total Weight: 241
1.29/1.38	c Elapsed CPU time: 1.36679 s	Remaining CPU time: 1798.63 s
1.29/1.39	c core #242
1.29/1.39	c Core size: 20	Core Weight: 1	Total Weight: 242
1.29/1.39	c Elapsed CPU time: 1.37479 s	Remaining CPU time: 1798.63 s
1.39/1.40	c core #243
1.39/1.40	c Core size: 20	Core Weight: 1	Total Weight: 243
1.39/1.40	c Elapsed CPU time: 1.38179 s	Remaining CPU time: 1798.62 s
1.39/1.41	c core #244
1.39/1.41	c Core size: 20	Core Weight: 1	Total Weight: 244
1.39/1.41	c Elapsed CPU time: 1.38879 s	Remaining CPU time: 1798.61 s
1.39/1.41	c core #245
1.39/1.41	c Core size: 22	Core Weight: 1	Total Weight: 245
1.39/1.41	c Elapsed CPU time: 1.39679 s	Remaining CPU time: 1798.6 s
1.39/1.42	c core #246
1.39/1.42	c Core size: 20	Core Weight: 1	Total Weight: 246
1.39/1.42	c Elapsed CPU time: 1.40379 s	Remaining CPU time: 1798.6 s
1.39/1.43	c core #247
1.39/1.43	c Core size: 20	Core Weight: 1	Total Weight: 247
1.39/1.43	c Elapsed CPU time: 1.41179 s	Remaining CPU time: 1798.59 s
1.39/1.44	c core #248
1.39/1.44	c Core size: 21	Core Weight: 1	Total Weight: 248
1.39/1.44	c Elapsed CPU time: 1.41978 s	Remaining CPU time: 1798.58 s
1.39/1.44	c core #249
1.39/1.44	c Core size: 21	Core Weight: 1	Total Weight: 249
1.39/1.44	c Elapsed CPU time: 1.42678 s	Remaining CPU time: 1798.57 s
1.39/1.45	c core #250
1.39/1.45	c Core size: 21	Core Weight: 1	Total Weight: 250
1.39/1.45	c Elapsed CPU time: 1.43478 s	Remaining CPU time: 1798.57 s
1.39/1.46	c core #251
1.39/1.46	c Core size: 20	Core Weight: 1	Total Weight: 251
1.39/1.46	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 1798.56 s
1.39/1.47	c core #252
1.39/1.47	c Core size: 20	Core Weight: 1	Total Weight: 252
1.39/1.47	c Elapsed CPU time: 1.44978 s	Remaining CPU time: 1798.55 s
1.39/1.47	c core #253
1.39/1.47	c Core size: 19	Core Weight: 1	Total Weight: 253
1.39/1.47	c Elapsed CPU time: 1.45778 s	Remaining CPU time: 1798.54 s
1.39/1.48	c core #254
1.39/1.48	c Core size: 21	Core Weight: 1	Total Weight: 254
1.39/1.48	c Elapsed CPU time: 1.46578 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #255
1.39/1.49	c Core size: 22	Core Weight: 1	Total Weight: 255
1.39/1.49	c Elapsed CPU time: 1.47278 s	Remaining CPU time: 1798.53 s
1.48/1.50	c core #256
1.48/1.50	c Core size: 21	Core Weight: 1	Total Weight: 256
1.48/1.50	c Elapsed CPU time: 1.47978 s	Remaining CPU time: 1798.52 s
1.48/1.51	c core #257
1.48/1.51	c Core size: 21	Core Weight: 1	Total Weight: 257
1.48/1.51	c Elapsed CPU time: 1.48677 s	Remaining CPU time: 1798.51 s
1.48/1.51	c core #258
1.48/1.51	c Core size: 21	Core Weight: 1	Total Weight: 258
1.48/1.51	c Elapsed CPU time: 1.49477 s	Remaining CPU time: 1798.51 s
1.48/1.52	c core #259
1.48/1.52	c Core size: 21	Core Weight: 1	Total Weight: 259
1.48/1.52	c Elapsed CPU time: 1.50177 s	Remaining CPU time: 1798.5 s
1.48/1.53	c core #260
1.48/1.53	c Core size: 22	Core Weight: 1	Total Weight: 260
1.48/1.53	c Elapsed CPU time: 1.50977 s	Remaining CPU time: 1798.49 s
1.48/1.54	c core #261
1.48/1.54	c Core size: 21	Core Weight: 1	Total Weight: 261
1.48/1.54	c Elapsed CPU time: 1.51777 s	Remaining CPU time: 1798.48 s
1.48/1.55	c core #262
1.48/1.55	c Core size: 13	Core Weight: 1	Total Weight: 262
1.48/1.55	c Elapsed CPU time: 1.52577 s	Remaining CPU time: 1798.47 s
1.48/1.55	c core #263
1.48/1.55	c Core size: 22	Core Weight: 1	Total Weight: 263
1.48/1.55	c Elapsed CPU time: 1.53377 s	Remaining CPU time: 1798.47 s
1.48/1.56	c core #264
1.48/1.56	c Core size: 22	Core Weight: 1	Total Weight: 264
1.48/1.56	c Elapsed CPU time: 1.54177 s	Remaining CPU time: 1798.46 s
1.48/1.57	c core #265
1.48/1.57	c Core size: 21	Core Weight: 1	Total Weight: 265
1.48/1.57	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 1798.45 s
1.48/1.58	c core #266
1.48/1.58	c Core size: 22	Core Weight: 1	Total Weight: 266
1.48/1.58	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 1798.44 s
1.48/1.59	c core #267
1.48/1.59	c Core size: 22	Core Weight: 1	Total Weight: 267
1.48/1.59	c Elapsed CPU time: 1.56576 s	Remaining CPU time: 1798.43 s
1.48/1.59	c core #268
1.48/1.59	c Core size: 22	Core Weight: 1	Total Weight: 268
1.48/1.59	c Elapsed CPU time: 1.57376 s	Remaining CPU time: 1798.43 s
1.58/1.60	c core #269
1.58/1.60	c Core size: 22	Core Weight: 1	Total Weight: 269
1.58/1.60	c Elapsed CPU time: 1.58176 s	Remaining CPU time: 1798.42 s
1.58/1.61	c core #270
1.58/1.61	c Core size: 21	Core Weight: 1	Total Weight: 270
1.58/1.61	c Elapsed CPU time: 1.58976 s	Remaining CPU time: 1798.41 s
1.58/1.62	c core #271
1.58/1.62	c Core size: 20	Core Weight: 1	Total Weight: 271
1.58/1.62	c Elapsed CPU time: 1.59776 s	Remaining CPU time: 1798.4 s
1.58/1.63	c core #272
1.58/1.63	c Core size: 20	Core Weight: 1	Total Weight: 272
1.58/1.63	c Elapsed CPU time: 1.60576 s	Remaining CPU time: 1798.39 s
1.58/1.63	c core #273
1.58/1.63	c Core size: 20	Core Weight: 1	Total Weight: 273
1.58/1.63	c Elapsed CPU time: 1.61375 s	Remaining CPU time: 1798.39 s
1.58/1.64	c core #274
1.58/1.64	c Core size: 22	Core Weight: 1	Total Weight: 274
1.58/1.64	c Elapsed CPU time: 1.62275 s	Remaining CPU time: 1798.38 s
1.58/1.65	c core #275
1.58/1.65	c Core size: 20	Core Weight: 1	Total Weight: 275
1.58/1.65	c Elapsed CPU time: 1.63075 s	Remaining CPU time: 1798.37 s
1.58/1.66	c core #276
1.58/1.66	c Core size: 20	Core Weight: 1	Total Weight: 276
1.58/1.66	c Elapsed CPU time: 1.63875 s	Remaining CPU time: 1798.36 s
1.58/1.67	c core #277
1.58/1.67	c Core size: 21	Core Weight: 1	Total Weight: 277
1.58/1.67	c Elapsed CPU time: 1.64675 s	Remaining CPU time: 1798.35 s
1.58/1.68	c core #278
1.58/1.68	c Core size: 21	Core Weight: 1	Total Weight: 278
1.58/1.68	c Elapsed CPU time: 1.65475 s	Remaining CPU time: 1798.35 s
1.58/1.68	c core #279
1.58/1.68	c Core size: 21	Core Weight: 1	Total Weight: 279
1.58/1.68	c Elapsed CPU time: 1.66275 s	Remaining CPU time: 1798.34 s
1.58/1.69	c core #280
1.58/1.69	c Core size: 20	Core Weight: 1	Total Weight: 280
1.58/1.69	c Elapsed CPU time: 1.67175 s	Remaining CPU time: 1798.33 s
1.68/1.70	c core #281
1.68/1.70	c Core size: 20	Core Weight: 1	Total Weight: 281
1.68/1.70	c Elapsed CPU time: 1.67974 s	Remaining CPU time: 1798.32 s
1.68/1.71	c core #282
1.68/1.71	c Core size: 19	Core Weight: 1	Total Weight: 282
1.68/1.71	c Elapsed CPU time: 1.68774 s	Remaining CPU time: 1798.31 s
1.68/1.72	c core #283
1.68/1.72	c Core size: 21	Core Weight: 1	Total Weight: 283
1.68/1.72	c Elapsed CPU time: 1.69674 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #284
1.68/1.73	c Core size: 22	Core Weight: 1	Total Weight: 284
1.68/1.73	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 1798.3 s
1.68/1.73	c core #285
1.68/1.73	c Core size: 21	Core Weight: 1	Total Weight: 285
1.68/1.73	c Elapsed CPU time: 1.71274 s	Remaining CPU time: 1798.29 s
1.68/1.74	c core #286
1.68/1.74	c Core size: 21	Core Weight: 1	Total Weight: 286
1.68/1.74	c Elapsed CPU time: 1.72074 s	Remaining CPU time: 1798.28 s
1.68/1.75	c core #287
1.68/1.75	c Core size: 21	Core Weight: 1	Total Weight: 287
1.68/1.75	c Elapsed CPU time: 1.72874 s	Remaining CPU time: 1798.27 s
1.68/1.76	c core #288
1.68/1.76	c Core size: 21	Core Weight: 1	Total Weight: 288
1.68/1.76	c Elapsed CPU time: 1.73673 s	Remaining CPU time: 1798.26 s
1.68/1.77	c core #289
1.68/1.77	c Core size: 22	Core Weight: 1	Total Weight: 289
1.68/1.77	c Elapsed CPU time: 1.74473 s	Remaining CPU time: 1798.26 s
1.68/1.78	c core #290
1.68/1.78	c Core size: 21	Core Weight: 1	Total Weight: 290
1.68/1.78	c Elapsed CPU time: 1.75273 s	Remaining CPU time: 1798.25 s
1.68/1.78	c core #291
1.68/1.78	c Core size: 13	Core Weight: 1	Total Weight: 291
1.68/1.78	c Elapsed CPU time: 1.76073 s	Remaining CPU time: 1798.24 s
1.68/1.79	c core #292
1.68/1.79	c Core size: 22	Core Weight: 1	Total Weight: 292
1.68/1.79	c Elapsed CPU time: 1.76873 s	Remaining CPU time: 1798.23 s
1.78/1.80	c core #293
1.78/1.80	c Core size: 22	Core Weight: 1	Total Weight: 293
1.78/1.80	c Elapsed CPU time: 1.77673 s	Remaining CPU time: 1798.22 s
1.78/1.81	c core #294
1.78/1.81	c Core size: 21	Core Weight: 1	Total Weight: 294
1.78/1.81	c Elapsed CPU time: 1.78573 s	Remaining CPU time: 1798.21 s
1.78/1.82	c core #295
1.78/1.82	c Core size: 22	Core Weight: 1	Total Weight: 295
1.78/1.82	c Elapsed CPU time: 1.79373 s	Remaining CPU time: 1798.21 s
1.78/1.83	c core #296
1.78/1.83	c Core size: 22	Core Weight: 1	Total Weight: 296
1.78/1.83	c Elapsed CPU time: 1.80273 s	Remaining CPU time: 1798.2 s
1.78/1.83	c core #297
1.78/1.83	c Core size: 22	Core Weight: 1	Total Weight: 297
1.78/1.83	c Elapsed CPU time: 1.81072 s	Remaining CPU time: 1798.19 s
1.78/1.84	c core #298
1.78/1.84	c Core size: 22	Core Weight: 1	Total Weight: 298
1.78/1.84	c Elapsed CPU time: 1.81972 s	Remaining CPU time: 1798.18 s
1.78/1.85	c core #299
1.78/1.85	c Core size: 21	Core Weight: 1	Total Weight: 299
1.78/1.85	c Elapsed CPU time: 1.82772 s	Remaining CPU time: 1798.17 s
1.78/1.86	c core #300
1.78/1.86	c Core size: 20	Core Weight: 1	Total Weight: 300
1.78/1.86	c Elapsed CPU time: 1.83672 s	Remaining CPU time: 1798.16 s
1.78/1.87	c core #301
1.78/1.87	c Core size: 20	Core Weight: 1	Total Weight: 301
1.78/1.87	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.78/1.88	c core #302
1.78/1.88	c Core size: 20	Core Weight: 1	Total Weight: 302
1.78/1.88	c Elapsed CPU time: 1.85372 s	Remaining CPU time: 1798.15 s
1.78/1.89	c core #303
1.78/1.89	c Core size: 22	Core Weight: 1	Total Weight: 303
1.78/1.89	c Elapsed CPU time: 1.86172 s	Remaining CPU time: 1798.14 s
1.78/1.90	c core #304
1.78/1.90	c Core size: 20	Core Weight: 1	Total Weight: 304
1.78/1.90	c Elapsed CPU time: 1.87072 s	Remaining CPU time: 1798.13 s
1.88/1.90	c core #305
1.88/1.90	c Core size: 20	Core Weight: 1	Total Weight: 305
1.88/1.90	c Elapsed CPU time: 1.87871 s	Remaining CPU time: 1798.12 s
1.88/1.91	c core #306
1.88/1.91	c Core size: 21	Core Weight: 1	Total Weight: 306
1.88/1.91	c Elapsed CPU time: 1.88671 s	Remaining CPU time: 1798.11 s
1.88/1.92	c core #307
1.88/1.92	c Core size: 21	Core Weight: 1	Total Weight: 307
1.88/1.92	c Elapsed CPU time: 1.89571 s	Remaining CPU time: 1798.1 s
1.88/1.93	c core #308
1.88/1.93	c Core size: 21	Core Weight: 1	Total Weight: 308
1.88/1.93	c Elapsed CPU time: 1.90371 s	Remaining CPU time: 1798.1 s
1.88/1.94	c core #309
1.88/1.94	c Core size: 20	Core Weight: 1	Total Weight: 309
1.88/1.94	c Elapsed CPU time: 1.91271 s	Remaining CPU time: 1798.09 s
1.88/1.95	c core #310
1.88/1.95	c Core size: 20	Core Weight: 1	Total Weight: 310
1.88/1.95	c Elapsed CPU time: 1.92071 s	Remaining CPU time: 1798.08 s
1.88/1.96	c core #311
1.88/1.96	c Core size: 19	Core Weight: 1	Total Weight: 311
1.88/1.96	c Elapsed CPU time: 1.92771 s	Remaining CPU time: 1798.07 s
1.88/1.97	c core #312
1.88/1.97	c Core size: 21	Core Weight: 1	Total Weight: 312
1.88/1.97	c Elapsed CPU time: 1.93771 s	Remaining CPU time: 1798.06 s
1.88/1.97	c core #313
1.88/1.97	c Core size: 22	Core Weight: 1	Total Weight: 313
1.88/1.97	c Elapsed CPU time: 1.9457 s	Remaining CPU time: 1798.05 s
1.88/1.98	c core #314
1.88/1.98	c Core size: 21	Core Weight: 1	Total Weight: 314
1.88/1.98	c Elapsed CPU time: 1.9547 s	Remaining CPU time: 1798.05 s
1.88/1.99	c core #315
1.88/1.99	c Core size: 21	Core Weight: 1	Total Weight: 315
1.88/1.99	c Elapsed CPU time: 1.9637 s	Remaining CPU time: 1798.04 s
1.97/2.00	c core #316
1.97/2.00	c Core size: 21	Core Weight: 1	Total Weight: 316
1.97/2.00	c Elapsed CPU time: 1.9717 s	Remaining CPU time: 1798.03 s
1.97/2.01	c core #317
1.97/2.01	c Core size: 21	Core Weight: 1	Total Weight: 317
1.97/2.01	c Elapsed CPU time: 1.9807 s	Remaining CPU time: 1798.02 s
1.97/2.02	c core #318
1.97/2.02	c Core size: 22	Core Weight: 1	Total Weight: 318
1.97/2.02	c Elapsed CPU time: 1.9897 s	Remaining CPU time: 1798.01 s
1.97/2.03	c core #319
1.97/2.03	c Core size: 21	Core Weight: 1	Total Weight: 319
1.97/2.03	c Elapsed CPU time: 1.9987 s	Remaining CPU time: 1798 s
1.97/2.04	c core #320
1.97/2.04	c Core size: 13	Core Weight: 1	Total Weight: 320
1.97/2.04	c Elapsed CPU time: 2.00769 s	Remaining CPU time: 1797.99 s
1.97/2.04	c core #321
1.97/2.04	c Core size: 22	Core Weight: 1	Total Weight: 321
1.97/2.04	c Elapsed CPU time: 2.01569 s	Remaining CPU time: 1797.98 s
1.97/2.05	c core #322
1.97/2.05	c Core size: 22	Core Weight: 1	Total Weight: 322
1.97/2.05	c Elapsed CPU time: 2.02369 s	Remaining CPU time: 1797.98 s
1.97/2.06	c core #323
1.97/2.06	c Core size: 21	Core Weight: 1	Total Weight: 323
1.97/2.06	c Elapsed CPU time: 2.03269 s	Remaining CPU time: 1797.97 s
1.97/2.07	c core #324
1.97/2.07	c Core size: 22	Core Weight: 1	Total Weight: 324
1.97/2.07	c Elapsed CPU time: 2.04169 s	Remaining CPU time: 1797.96 s
1.97/2.08	c core #325
1.97/2.08	c Core size: 22	Core Weight: 1	Total Weight: 325
1.97/2.08	c Elapsed CPU time: 2.05069 s	Remaining CPU time: 1797.95 s
1.97/2.09	c core #326
1.97/2.09	c Core size: 22	Core Weight: 1	Total Weight: 326
1.97/2.09	c Elapsed CPU time: 2.05869 s	Remaining CPU time: 1797.94 s
1.97/2.10	c core #327
1.97/2.10	c Core size: 22	Core Weight: 1	Total Weight: 327
1.97/2.10	c Elapsed CPU time: 2.06768 s	Remaining CPU time: 1797.93 s
2.07/2.11	c core #328
2.07/2.11	c Core size: 21	Core Weight: 1	Total Weight: 328
2.07/2.11	c Elapsed CPU time: 2.07568 s	Remaining CPU time: 1797.92 s
2.07/2.12	c core #329
2.07/2.12	c Core size: 20	Core Weight: 1	Total Weight: 329
2.07/2.12	c Elapsed CPU time: 2.08468 s	Remaining CPU time: 1797.92 s
2.07/2.13	c core #330
2.07/2.13	c Core size: 20	Core Weight: 1	Total Weight: 330
2.07/2.13	c Elapsed CPU time: 2.09268 s	Remaining CPU time: 1797.91 s
2.07/2.13	c core #331
2.07/2.13	c Core size: 20	Core Weight: 1	Total Weight: 331
2.07/2.13	c Elapsed CPU time: 2.10168 s	Remaining CPU time: 1797.9 s
2.07/2.14	c core #332
2.07/2.14	c Core size: 22	Core Weight: 1	Total Weight: 332
2.07/2.14	c Elapsed CPU time: 2.11168 s	Remaining CPU time: 1797.89 s
2.07/2.15	c core #333
2.07/2.15	c Core size: 20	Core Weight: 1	Total Weight: 333
2.07/2.15	c Elapsed CPU time: 2.12068 s	Remaining CPU time: 1797.88 s
2.07/2.16	c core #334
2.07/2.16	c Core size: 20	Core Weight: 1	Total Weight: 334
2.07/2.16	c Elapsed CPU time: 2.12968 s	Remaining CPU time: 1797.87 s
2.07/2.17	c core #335
2.07/2.17	c Core size: 21	Core Weight: 1	Total Weight: 335
2.07/2.17	c Elapsed CPU time: 2.13967 s	Remaining CPU time: 1797.86 s
2.07/2.18	c core #336
2.07/2.18	c Core size: 21	Core Weight: 1	Total Weight: 336
2.07/2.18	c Elapsed CPU time: 2.14867 s	Remaining CPU time: 1797.85 s
2.07/2.19	c core #337
2.07/2.19	c Core size: 21	Core Weight: 1	Total Weight: 337
2.07/2.19	c Elapsed CPU time: 2.15767 s	Remaining CPU time: 1797.84 s
2.07/2.20	c core #338
2.07/2.20	c Core size: 20	Core Weight: 1	Total Weight: 338
2.07/2.20	c Elapsed CPU time: 2.16667 s	Remaining CPU time: 1797.83 s
2.18/2.21	c core #339
2.18/2.21	c Core size: 20	Core Weight: 1	Total Weight: 339
2.18/2.21	c Elapsed CPU time: 2.17667 s	Remaining CPU time: 1797.82 s
2.18/2.22	c core #340
2.18/2.22	c Core size: 19	Core Weight: 1	Total Weight: 340
2.18/2.22	c Elapsed CPU time: 2.18467 s	Remaining CPU time: 1797.82 s
2.18/2.23	c core #341
2.18/2.23	c Core size: 21	Core Weight: 1	Total Weight: 341
2.18/2.23	c Elapsed CPU time: 2.19367 s	Remaining CPU time: 1797.81 s
2.18/2.24	c core #342
2.18/2.24	c Core size: 22	Core Weight: 1	Total Weight: 342
2.18/2.24	c Elapsed CPU time: 2.20366 s	Remaining CPU time: 1797.8 s
2.18/2.25	c core #343
2.18/2.25	c Core size: 21	Core Weight: 1	Total Weight: 343
2.18/2.25	c Elapsed CPU time: 2.21266 s	Remaining CPU time: 1797.79 s
2.18/2.26	c core #344
2.18/2.26	c Core size: 21	Core Weight: 1	Total Weight: 344
2.18/2.26	c Elapsed CPU time: 2.22166 s	Remaining CPU time: 1797.78 s
2.18/2.27	c core #345
2.18/2.27	c Core size: 21	Core Weight: 1	Total Weight: 345
2.18/2.27	c Elapsed CPU time: 2.23166 s	Remaining CPU time: 1797.77 s
2.18/2.27	c core #346
2.18/2.27	c Core size: 21	Core Weight: 1	Total Weight: 346
2.18/2.27	c Elapsed CPU time: 2.24066 s	Remaining CPU time: 1797.76 s
2.18/2.28	c core #347
2.18/2.28	c Core size: 22	Core Weight: 1	Total Weight: 347
2.18/2.28	c Elapsed CPU time: 2.25066 s	Remaining CPU time: 1797.75 s
2.18/2.29	c core #348
2.18/2.29	c Core size: 21	Core Weight: 1	Total Weight: 348
2.18/2.29	c Elapsed CPU time: 2.25966 s	Remaining CPU time: 1797.74 s
2.28/2.30	c core #349
2.28/2.30	c Core size: 121	Core Weight: 1	Total Weight: 349
2.28/2.30	c Elapsed CPU time: 2.26965 s	Remaining CPU time: 1797.73 s
2.28/2.31	c core #350
2.28/2.31	c Core size: 7	Core Weight: 1	Total Weight: 350
2.28/2.31	c Elapsed CPU time: 2.27865 s	Remaining CPU time: 1797.72 s
2.28/2.32	c core #351
2.28/2.32	c Core size: 7	Core Weight: 1	Total Weight: 351
2.28/2.32	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.28/2.33	c core #352
2.28/2.33	c Core size: 7	Core Weight: 1	Total Weight: 352
2.28/2.33	c Elapsed CPU time: 2.29865 s	Remaining CPU time: 1797.7 s
2.28/2.34	c core #353
2.28/2.34	c Core size: 7	Core Weight: 1	Total Weight: 353
2.28/2.34	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 1797.69 s
2.28/2.35	c core #354
2.28/2.35	c Core size: 7	Core Weight: 1	Total Weight: 354
2.28/2.35	c Elapsed CPU time: 2.31865 s	Remaining CPU time: 1797.68 s
2.28/2.36	c core #355
2.28/2.36	c Core size: 69	Core Weight: 1	Total Weight: 355
2.28/2.36	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 1797.67 s
2.28/2.37	c core #356
2.28/2.37	c Core size: 91	Core Weight: 1	Total Weight: 356
2.28/2.37	c Elapsed CPU time: 2.33864 s	Remaining CPU time: 1797.66 s
2.28/2.38	c ============================[ Search Statistics ]==============================
2.28/2.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.28/2.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.28/2.38	c ===============================================================================
2.28/2.38	c |         0 |    3270     8912    20304 |     5000        0    nan |  0.000 % |
2.28/2.38	c ===============================================================================
2.28/2.38	c core #357
2.28/2.38	c Core size: 36	Core Weight: 1	Total Weight: 357
2.28/2.38	c Elapsed CPU time: 2.34864 s	Remaining CPU time: 1797.65 s
2.28/2.39	c ============================[ Search Statistics ]==============================
2.28/2.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.28/2.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.28/2.39	c ===============================================================================
2.28/2.39	c |         0 |    3286     8913    20336 |     5000        0    nan |  0.000 % |
2.28/2.39	c ===============================================================================
2.28/2.39	c core #358
2.28/2.39	c Core size: 17	Core Weight: 1	Total Weight: 358
2.28/2.39	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 1797.64 s
2.38/2.40	c ============================[ Search Statistics ]==============================
2.38/2.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.40	c ===============================================================================
2.38/2.41	c |         0 |    3294     8914    20352 |     5000        0    nan |  0.000 % |
2.38/2.41	c ===============================================================================
2.38/2.41	c core #359
2.38/2.41	c Core size: 13	Core Weight: 1	Total Weight: 359
2.38/2.41	c Elapsed CPU time: 2.36964 s	Remaining CPU time: 1797.63 s
2.38/2.42	c ============================[ Search Statistics ]==============================
2.38/2.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.42	c ===============================================================================
2.38/2.42	c |         0 |    3300     8915    20364 |     5000        0    nan |  0.000 % |
2.38/2.42	c ===============================================================================
2.38/2.42	c core #360
2.38/2.42	c Core size: 41	Core Weight: 1	Total Weight: 360
2.38/2.42	c Elapsed CPU time: 2.37964 s	Remaining CPU time: 1797.62 s
2.38/2.43	c ============================[ Search Statistics ]==============================
2.38/2.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.43	c ===============================================================================
2.38/2.43	c |         0 |    3308     8916    20380 |     5000        0    nan |  0.000 % |
2.38/2.43	c ===============================================================================
2.38/2.43	c core #361
2.38/2.43	c Core size: 38	Core Weight: 1	Total Weight: 361
2.38/2.43	c Elapsed CPU time: 2.39064 s	Remaining CPU time: 1797.61 s
2.38/2.44	c Learning 1 hard constraints
2.38/2.44	c ============================[ Search Statistics ]==============================
2.38/2.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.44	c ===============================================================================
2.38/2.44	c |         0 |    3314     8918    20397 |     5000        0    nan |  0.000 % |
2.38/2.44	c ===============================================================================
2.38/2.44	c core #362
2.38/2.44	c Core size: 40	Core Weight: 1	Total Weight: 362
2.38/2.44	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 1797.6 s
2.38/2.45	c ============================[ Search Statistics ]==============================
2.38/2.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.45	c ===============================================================================
2.38/2.45	c |         0 |    3323     8919    20415 |     5000        0    nan |  0.000 % |
2.38/2.45	c ===============================================================================
2.38/2.45	c core #363
2.38/2.45	c Core size: 38	Core Weight: 1	Total Weight: 363
2.38/2.45	c Elapsed CPU time: 2.41163 s	Remaining CPU time: 1797.59 s
2.38/2.46	c Learning 1 hard constraints
2.38/2.46	c ============================[ Search Statistics ]==============================
2.38/2.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.46	c ===============================================================================
2.38/2.46	c |         0 |    3329     8921    20431 |     5000        0    nan |  0.000 % |
2.38/2.46	c ===============================================================================
2.38/2.46	c core #364
2.38/2.46	c Core size: 43	Core Weight: 1	Total Weight: 364
2.38/2.46	c Elapsed CPU time: 2.42163 s	Remaining CPU time: 1797.58 s
2.38/2.47	c Learning 1 hard constraints
2.38/2.47	c ============================[ Search Statistics ]==============================
2.38/2.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.47	c ===============================================================================
2.38/2.47	c |         0 |    3337     8923    20451 |     5000        0    nan |  0.000 % |
2.38/2.47	c ===============================================================================
2.38/2.47	c core #365
2.38/2.47	c Core size: 48	Core Weight: 1	Total Weight: 365
2.38/2.47	c Elapsed CPU time: 2.43163 s	Remaining CPU time: 1797.57 s
2.38/2.48	c Learning 1 hard constraints
2.38/2.48	c ============================[ Search Statistics ]==============================
2.38/2.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.48	c ===============================================================================
2.38/2.48	c |         0 |    3344     8925    20469 |     5000        0    nan |  0.000 % |
2.38/2.48	c ===============================================================================
2.38/2.48	c core #366
2.38/2.48	c Core size: 36	Core Weight: 1	Total Weight: 366
2.38/2.48	c Elapsed CPU time: 2.44263 s	Remaining CPU time: 1797.56 s
2.38/2.49	c ============================[ Search Statistics ]==============================
2.38/2.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.38/2.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.38/2.49	c ===============================================================================
2.38/2.49	c |         0 |    3354     8926    20489 |     5000        0    nan |  0.000 % |
2.38/2.50	c ===============================================================================
2.38/2.50	c core #367
2.38/2.50	c Core size: 13	Core Weight: 1	Total Weight: 367
2.38/2.50	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 1797.55 s
2.47/2.50	c ============================[ Search Statistics ]==============================
2.47/2.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.51	c ===============================================================================
2.47/2.51	c |         0 |    3360     8927    20501 |     5000        0    nan |  0.000 % |
2.47/2.51	c ===============================================================================
2.47/2.51	c core #368
2.47/2.51	c Core size: 13	Core Weight: 1	Total Weight: 368
2.47/2.51	c Elapsed CPU time: 2.46362 s	Remaining CPU time: 1797.54 s
2.47/2.52	c ============================[ Search Statistics ]==============================
2.47/2.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.52	c ===============================================================================
2.47/2.52	c |         0 |    3366     8928    20513 |     5000        0    nan |  0.000 % |
2.47/2.52	c ===============================================================================
2.47/2.52	c core #369
2.47/2.52	c Core size: 37	Core Weight: 1	Total Weight: 369
2.47/2.52	c Elapsed CPU time: 2.47462 s	Remaining CPU time: 1797.53 s
2.47/2.53	c ============================[ Search Statistics ]==============================
2.47/2.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.53	c ===============================================================================
2.47/2.53	c |         0 |    3377     8929    20535 |     5000        0    nan |  0.000 % |
2.47/2.53	c ===============================================================================
2.47/2.53	c core #370
2.47/2.53	c Core size: 13	Core Weight: 1	Total Weight: 370
2.47/2.53	c Elapsed CPU time: 2.48562 s	Remaining CPU time: 1797.51 s
2.47/2.54	c ============================[ Search Statistics ]==============================
2.47/2.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.54	c ===============================================================================
2.47/2.54	c |         0 |    3383     8930    20547 |     5000        0    nan |  0.000 % |
2.47/2.54	c ===============================================================================
2.47/2.54	c core #371
2.47/2.54	c Core size: 38	Core Weight: 1	Total Weight: 371
2.47/2.54	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.47/2.55	c Learning 1 hard constraints
2.47/2.55	c ============================[ Search Statistics ]==============================
2.47/2.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.55	c ===============================================================================
2.47/2.55	c |         0 |    3390     8932    20565 |     5000        0    nan |  0.000 % |
2.47/2.55	c ===============================================================================
2.47/2.55	c core #372
2.47/2.55	c Core size: 40	Core Weight: 1	Total Weight: 372
2.47/2.55	c Elapsed CPU time: 2.50762 s	Remaining CPU time: 1797.49 s
2.47/2.56	c ============================[ Search Statistics ]==============================
2.47/2.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.56	c ===============================================================================
2.47/2.56	c |         0 |    3398     8933    20581 |     5000        0    nan |  0.000 % |
2.47/2.57	c ===============================================================================
2.47/2.57	c core #373
2.47/2.57	c Core size: 44	Core Weight: 1	Total Weight: 373
2.47/2.57	c Elapsed CPU time: 2.51862 s	Remaining CPU time: 1797.48 s
2.47/2.58	c Learning 1 hard constraints
2.47/2.58	c ============================[ Search Statistics ]==============================
2.47/2.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.58	c ===============================================================================
2.47/2.58	c |         0 |    3407     8935    20604 |     5000        0    nan |  0.000 % |
2.47/2.58	c ===============================================================================
2.47/2.58	c core #374
2.47/2.58	c Core size: 40	Core Weight: 1	Total Weight: 374
2.47/2.58	c Elapsed CPU time: 2.53062 s	Remaining CPU time: 1797.47 s
2.47/2.59	c Learning 1 hard constraints
2.47/2.59	c ============================[ Search Statistics ]==============================
2.47/2.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.47/2.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.47/2.59	c ===============================================================================
2.47/2.59	c |         0 |    3414     8937    20623 |     5000        0    nan |  0.000 % |
2.47/2.59	c ===============================================================================
2.47/2.59	c core #375
2.47/2.59	c Core size: 46	Core Weight: 1	Total Weight: 375
2.47/2.59	c Elapsed CPU time: 2.54361 s	Remaining CPU time: 1797.46 s
2.56/2.60	c Learning 1 hard constraints
2.56/2.60	c ============================[ Search Statistics ]==============================
2.56/2.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.60	c ===============================================================================
2.56/2.60	c |         0 |    3424     8939    20648 |     5000        0    nan |  0.000 % |
2.56/2.60	c ===============================================================================
2.56/2.60	c core #376
2.56/2.60	c Core size: 38	Core Weight: 1	Total Weight: 376
2.56/2.60	c Elapsed CPU time: 2.55561 s	Remaining CPU time: 1797.44 s
2.56/2.61	c Learning 2 hard constraints
2.56/2.61	c ============================[ Search Statistics ]==============================
2.56/2.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.61	c ===============================================================================
2.56/2.61	c |         0 |    3435     8942    20680 |     5000        0    nan |  0.000 % |
2.56/2.62	c ===============================================================================
2.56/2.62	c core #377
2.56/2.62	c Core size: 46	Core Weight: 1	Total Weight: 377
2.56/2.62	c Elapsed CPU time: 2.56661 s	Remaining CPU time: 1797.43 s
2.56/2.63	c Learning 1 hard constraints
2.56/2.63	c ============================[ Search Statistics ]==============================
2.56/2.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.63	c ===============================================================================
2.56/2.63	c |         0 |    3453     8944    20722 |     5000        0    nan |  0.000 % |
2.56/2.63	c ===============================================================================
2.56/2.63	c core #378
2.56/2.63	c Core size: 17	Core Weight: 1	Total Weight: 378
2.56/2.63	c Elapsed CPU time: 2.57961 s	Remaining CPU time: 1797.42 s
2.56/2.64	c Learning 2 hard constraints
2.56/2.64	c ============================[ Search Statistics ]==============================
2.56/2.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.64	c ===============================================================================
2.56/2.64	c |         0 |    3461     8947    20745 |     5000        0    nan |  0.000 % |
2.56/2.64	c ===============================================================================
2.56/2.64	c core #379
2.56/2.64	c Core size: 17	Core Weight: 1	Total Weight: 379
2.56/2.64	c Elapsed CPU time: 2.59161 s	Remaining CPU time: 1797.41 s
2.56/2.65	c ============================[ Search Statistics ]==============================
2.56/2.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.65	c ===============================================================================
2.56/2.65	c |         0 |    3469     8948    20761 |     5000        0    nan |  0.000 % |
2.56/2.65	c ===============================================================================
2.56/2.65	c core #380
2.56/2.65	c Core size: 17	Core Weight: 1	Total Weight: 380
2.56/2.65	c Elapsed CPU time: 2.6036 s	Remaining CPU time: 1797.4 s
2.56/2.66	c ============================[ Search Statistics ]==============================
2.56/2.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.66	c ===============================================================================
2.56/2.66	c |         0 |    3477     8949    20777 |     5000        0    nan |  0.000 % |
2.56/2.67	c ===============================================================================
2.56/2.67	c core #381
2.56/2.67	c Core size: 19	Core Weight: 1	Total Weight: 381
2.56/2.67	c Elapsed CPU time: 2.6166 s	Remaining CPU time: 1797.38 s
2.56/2.68	c ============================[ Search Statistics ]==============================
2.56/2.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.68	c ===============================================================================
2.56/2.68	c |         0 |    3486     8950    20795 |     5000        0    nan |  0.000 % |
2.56/2.68	c ===============================================================================
2.56/2.68	c core #382
2.56/2.68	c Core size: 75	Core Weight: 1	Total Weight: 382
2.56/2.68	c Elapsed CPU time: 2.6296 s	Remaining CPU time: 1797.37 s
2.56/2.69	c Learning 2 hard constraints
2.56/2.69	c ============================[ Search Statistics ]==============================
2.56/2.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.56/2.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.56/2.69	c ===============================================================================
2.56/2.69	c |         0 |    3503     8953    20838 |     5000        0    nan |  0.000 % |
2.56/2.69	c ===============================================================================
2.56/2.69	c core #383
2.56/2.69	c Core size: 26	Core Weight: 1	Total Weight: 383
2.56/2.69	c Elapsed CPU time: 2.6416 s	Remaining CPU time: 1797.36 s
2.66/2.70	c ============================[ Search Statistics ]==============================
2.66/2.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.70	c ===============================================================================
2.66/2.70	c |         0 |    3514     8954    20860 |     5000        0    nan |  0.000 % |
2.66/2.70	c ===============================================================================
2.66/2.70	c core #384
2.66/2.70	c Core size: 51	Core Weight: 1	Total Weight: 384
2.66/2.70	c Elapsed CPU time: 2.6536 s	Remaining CPU time: 1797.35 s
2.66/2.71	c ============================[ Search Statistics ]==============================
2.66/2.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.71	c ===============================================================================
2.66/2.71	c |         0 |    3527     8955    20886 |     5000        0    nan |  0.000 % |
2.66/2.72	c ===============================================================================
2.66/2.72	c core #385
2.66/2.72	c Core size: 15	Core Weight: 1	Total Weight: 385
2.66/2.72	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 1797.33 s
2.66/2.73	c ============================[ Search Statistics ]==============================
2.66/2.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.73	c ===============================================================================
2.66/2.73	c |         0 |    3534     8956    20900 |     5000        0    nan |  0.000 % |
2.66/2.73	c ===============================================================================
2.66/2.73	c core #386
2.66/2.73	c Core size: 37	Core Weight: 1	Total Weight: 386
2.66/2.73	c Elapsed CPU time: 2.67759 s	Remaining CPU time: 1797.32 s
2.66/2.74	c Learning 2 hard constraints
2.66/2.74	c ============================[ Search Statistics ]==============================
2.66/2.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.74	c ===============================================================================
2.66/2.74	c |         0 |    3546     8959    20932 |     5000        0    nan |  0.000 % |
2.66/2.74	c ===============================================================================
2.66/2.74	c core #387
2.66/2.74	c Core size: 38	Core Weight: 1	Total Weight: 387
2.66/2.74	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 1797.31 s
2.66/2.75	c Learning 1 hard constraints
2.66/2.75	c ============================[ Search Statistics ]==============================
2.66/2.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.75	c ===============================================================================
2.66/2.75	c |         0 |    3552     8961    20947 |     5000        0    nan |  0.000 % |
2.66/2.75	c ===============================================================================
2.66/2.75	c core #388
2.66/2.75	c Core size: 54	Core Weight: 1	Total Weight: 388
2.66/2.76	c Elapsed CPU time: 2.70159 s	Remaining CPU time: 1797.3 s
2.66/2.77	c ============================[ Search Statistics ]==============================
2.66/2.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.77	c ===============================================================================
2.66/2.77	c |         0 |    3567     8962    20977 |     5000        0    nan |  0.000 % |
2.66/2.77	c ===============================================================================
2.66/2.77	c core #389
2.66/2.77	c Core size: 41	Core Weight: 1	Total Weight: 389
2.66/2.77	c Elapsed CPU time: 2.71459 s	Remaining CPU time: 1797.29 s
2.66/2.78	c ============================[ Search Statistics ]==============================
2.66/2.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.78	c ===============================================================================
2.66/2.78	c |         0 |    3574     8963    20991 |     5000        0    nan |  0.000 % |
2.66/2.78	c ===============================================================================
2.66/2.78	c core #390
2.66/2.78	c Core size: 36	Core Weight: 1	Total Weight: 390
2.66/2.78	c Elapsed CPU time: 2.72659 s	Remaining CPU time: 1797.27 s
2.66/2.79	c Learning 1 hard constraints
2.66/2.79	c ============================[ Search Statistics ]==============================
2.66/2.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.66/2.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.66/2.79	c ===============================================================================
2.66/2.79	c |         0 |    3580     8965    21006 |     5000        0    nan |  0.000 % |
2.66/2.79	c ===============================================================================
2.66/2.79	c core #391
2.66/2.79	c Core size: 47	Core Weight: 1	Total Weight: 391
2.66/2.79	c Elapsed CPU time: 2.73958 s	Remaining CPU time: 1797.26 s
2.76/2.80	c Learning 2 hard constraints
2.76/2.80	c ============================[ Search Statistics ]==============================
2.76/2.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.80	c ===============================================================================
2.76/2.80	c |         0 |    3590     8968    21037 |     5000        0    nan |  0.000 % |
2.76/2.81	c ===============================================================================
2.76/2.81	c core #392
2.76/2.81	c Core size: 31	Core Weight: 1	Total Weight: 392
2.76/2.81	c Elapsed CPU time: 2.74958 s	Remaining CPU time: 1797.25 s
2.76/2.82	c ============================[ Search Statistics ]==============================
2.76/2.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.82	c ===============================================================================
2.76/2.82	c |         0 |    3603     8969    21063 |     5000        0    nan |  0.000 % |
2.76/2.82	c ===============================================================================
2.76/2.82	c core #393
2.76/2.82	c Core size: 54	Core Weight: 1	Total Weight: 393
2.76/2.82	c Elapsed CPU time: 2.76158 s	Remaining CPU time: 1797.24 s
2.76/2.83	c ============================[ Search Statistics ]==============================
2.76/2.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.83	c ===============================================================================
2.76/2.83	c |         0 |    3616     8970    21089 |     5000        0    nan |  0.000 % |
2.76/2.83	c ===============================================================================
2.76/2.83	c core #394
2.76/2.83	c Core size: 48	Core Weight: 1	Total Weight: 394
2.76/2.83	c Elapsed CPU time: 2.77458 s	Remaining CPU time: 1797.23 s
2.76/2.84	c Learning 2 hard constraints
2.76/2.84	c ============================[ Search Statistics ]==============================
2.76/2.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.84	c ===============================================================================
2.76/2.84	c |         0 |    3627     8973    21120 |     5000        0    nan |  0.000 % |
2.76/2.85	c ===============================================================================
2.76/2.85	c core #395
2.76/2.85	c Core size: 50	Core Weight: 1	Total Weight: 395
2.76/2.85	c Elapsed CPU time: 2.78558 s	Remaining CPU time: 1797.21 s
2.76/2.86	c Learning 2 hard constraints
2.76/2.86	c ============================[ Search Statistics ]==============================
2.76/2.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.86	c ===============================================================================
2.76/2.86	c |         0 |    3637     8976    21150 |     5000        0    nan |  0.000 % |
2.76/2.86	c ===============================================================================
2.76/2.86	c core #396
2.76/2.86	c Core size: 33	Core Weight: 1	Total Weight: 396
2.76/2.86	c Elapsed CPU time: 2.79757 s	Remaining CPU time: 1797.2 s
2.76/2.87	c ============================[ Search Statistics ]==============================
2.76/2.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.87	c ===============================================================================
2.76/2.87	c |         0 |    3646     8977    21168 |     5000        0    nan |  0.000 % |
2.76/2.87	c ===============================================================================
2.76/2.87	c core #397
2.76/2.87	c Core size: 50	Core Weight: 1	Total Weight: 397
2.76/2.87	c Elapsed CPU time: 2.80957 s	Remaining CPU time: 1797.19 s
2.76/2.88	c ============================[ Search Statistics ]==============================
2.76/2.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.88	c ===============================================================================
2.76/2.88	c |         0 |    3655     8978    21186 |     5000        0    nan |  0.000 % |
2.76/2.88	c ===============================================================================
2.76/2.88	c core #398
2.76/2.88	c Core size: 47	Core Weight: 1	Total Weight: 398
2.76/2.88	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.76/2.89	c ============================[ Search Statistics ]==============================
2.76/2.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.76/2.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.76/2.89	c ===============================================================================
2.76/2.89	c |         0 |    3664     8979    21204 |     5000        0    nan |  0.000 % |
2.86/2.90	c ===============================================================================
2.86/2.90	c core #399
2.86/2.90	c Core size: 39	Core Weight: 1	Total Weight: 399
2.86/2.90	c Elapsed CPU time: 2.83457 s	Remaining CPU time: 1797.17 s
2.86/2.91	c ============================[ Search Statistics ]==============================
2.86/2.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.91	c ===============================================================================
2.86/2.91	c |         0 |    3672     8980    21220 |     5000        0    nan |  0.000 % |
2.86/2.91	c ===============================================================================
2.86/2.91	c core #400
2.86/2.91	c Core size: 60	Core Weight: 1	Total Weight: 400
2.86/2.91	c Elapsed CPU time: 2.84757 s	Remaining CPU time: 1797.15 s
2.86/2.92	c Learning 3 hard constraints
2.86/2.92	c ============================[ Search Statistics ]==============================
2.86/2.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.92	c ===============================================================================
2.86/2.92	c |         0 |    3687     8984    21261 |     5000        0    nan |  0.000 % |
2.86/2.92	c ===============================================================================
2.86/2.92	c core #401
2.86/2.92	c Core size: 46	Core Weight: 1	Total Weight: 401
2.86/2.92	c Elapsed CPU time: 2.85956 s	Remaining CPU time: 1797.14 s
2.86/2.93	c Learning 1 hard constraints
2.86/2.93	c ============================[ Search Statistics ]==============================
2.86/2.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.93	c ===============================================================================
2.86/2.93	c |         0 |    3696     8986    21282 |     5000        0    nan |  0.000 % |
2.86/2.94	c ===============================================================================
2.86/2.94	c core #402
2.86/2.94	c Core size: 38	Core Weight: 1	Total Weight: 402
2.86/2.94	c Elapsed CPU time: 2.87156 s	Remaining CPU time: 1797.13 s
2.86/2.95	c ============================[ Search Statistics ]==============================
2.86/2.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.95	c ===============================================================================
2.86/2.95	c |         0 |    3715     8987    21320 |     5000        0    nan |  0.000 % |
2.86/2.95	c ===============================================================================
2.86/2.95	c core #403
2.86/2.95	c Core size: 31	Core Weight: 1	Total Weight: 403
2.86/2.95	c Elapsed CPU time: 2.88456 s	Remaining CPU time: 1797.12 s
2.86/2.96	c ============================[ Search Statistics ]==============================
2.86/2.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.96	c ===============================================================================
2.86/2.96	c |         0 |    3723     8988    21336 |     5000        0    nan |  0.000 % |
2.86/2.96	c ===============================================================================
2.86/2.96	c core #404
2.86/2.96	c Core size: 47	Core Weight: 1	Total Weight: 404
2.86/2.96	c Elapsed CPU time: 2.89756 s	Remaining CPU time: 1797.1 s
2.86/2.97	c Learning 3 hard constraints
2.86/2.97	c ============================[ Search Statistics ]==============================
2.86/2.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.97	c ===============================================================================
2.86/2.97	c |         0 |    3739     8992    21385 |     5000        0    nan |  0.000 % |
2.86/2.97	c ===============================================================================
2.86/2.97	c core #405
2.86/2.97	c Core size: 43	Core Weight: 1	Total Weight: 405
2.86/2.97	c Elapsed CPU time: 2.91056 s	Remaining CPU time: 1797.09 s
2.86/2.99	c Learning 1 hard constraints
2.86/2.99	c ============================[ Search Statistics ]==============================
2.86/2.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.86/2.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.86/2.99	c ===============================================================================
2.86/2.99	c |         0 |    3751     8994    21412 |     5000        0    nan |  0.000 % |
2.86/2.99	c ===============================================================================
2.86/2.99	c core #406
2.86/2.99	c Core size: 39	Core Weight: 1	Total Weight: 406
2.86/2.99	c Elapsed CPU time: 2.92156 s	Remaining CPU time: 1797.08 s
2.96/3.00	c ============================[ Search Statistics ]==============================
2.96/3.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.00	c ===============================================================================
2.96/3.00	c |         0 |    3757     8995    21424 |     5000        0    nan |  0.000 % |
2.96/3.00	c ===============================================================================
2.96/3.00	c core #407
2.96/3.00	c Core size: 53	Core Weight: 1	Total Weight: 407
2.96/3.00	c Elapsed CPU time: 2.93455 s	Remaining CPU time: 1797.07 s
2.96/3.01	c ============================[ Search Statistics ]==============================
2.96/3.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.01	c ===============================================================================
2.96/3.01	c |         0 |    3769     8996    21448 |     5000        0    nan |  0.000 % |
2.96/3.01	c ===============================================================================
2.96/3.01	c core #408
2.96/3.01	c Core size: 50	Core Weight: 1	Total Weight: 408
2.96/3.01	c Elapsed CPU time: 2.94755 s	Remaining CPU time: 1797.05 s
2.96/3.02	c ============================[ Search Statistics ]==============================
2.96/3.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.02	c ===============================================================================
2.96/3.02	c |         0 |    3779     8997    21468 |     5000        0    nan |  0.000 % |
2.96/3.03	c ===============================================================================
2.96/3.03	c core #409
2.96/3.03	c Core size: 45	Core Weight: 1	Total Weight: 409
2.96/3.03	c Elapsed CPU time: 2.96055 s	Remaining CPU time: 1797.04 s
2.96/3.04	c Learning 1 hard constraints
2.96/3.04	c ============================[ Search Statistics ]==============================
2.96/3.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.04	c ===============================================================================
2.96/3.04	c |         0 |    3787     8999    21487 |     5000        0    nan |  0.000 % |
2.96/3.04	c ===============================================================================
2.96/3.04	c core #410
2.96/3.04	c Core size: 59	Core Weight: 1	Total Weight: 410
2.96/3.04	c Elapsed CPU time: 2.97455 s	Remaining CPU time: 1797.03 s
2.96/3.05	c Learning 1 hard constraints
2.96/3.05	c ============================[ Search Statistics ]==============================
2.96/3.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.05	c ===============================================================================
2.96/3.05	c |         0 |    3803     9001    21523 |     5000        0    nan |  0.000 % |
2.96/3.05	c ===============================================================================
2.96/3.05	c core #411
2.96/3.05	c Core size: 17	Core Weight: 1	Total Weight: 411
2.96/3.05	c Elapsed CPU time: 2.98754 s	Remaining CPU time: 1797.01 s
2.96/3.06	c ============================[ Search Statistics ]==============================
2.96/3.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.06	c ===============================================================================
2.96/3.06	c |         0 |    3811     9002    21539 |     5000        0    nan |  0.000 % |
2.96/3.07	c ===============================================================================
2.96/3.07	c core #412
2.96/3.07	c Core size: 68	Core Weight: 1	Total Weight: 412
2.96/3.07	c Elapsed CPU time: 3.00154 s	Remaining CPU time: 1797 s
2.96/3.08	c ============================[ Search Statistics ]==============================
2.96/3.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.08	c ===============================================================================
2.96/3.08	c |         0 |    3836     9003    21589 |     5000        0    nan |  0.000 % |
2.96/3.08	c ===============================================================================
2.96/3.08	c core #413
2.96/3.08	c Core size: 15	Core Weight: 1	Total Weight: 413
2.96/3.08	c Elapsed CPU time: 3.01454 s	Remaining CPU time: 1796.99 s
2.96/3.09	c ============================[ Search Statistics ]==============================
2.96/3.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.96/3.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.96/3.09	c ===============================================================================
2.96/3.09	c |         0 |    3843     9004    21603 |     5000        0    nan |  0.000 % |
2.96/3.09	c ===============================================================================
2.96/3.09	c core #414
2.96/3.09	c Core size: 13	Core Weight: 1	Total Weight: 414
2.96/3.09	c Elapsed CPU time: 3.02754 s	Remaining CPU time: 1796.97 s
3.06/3.11	c ============================[ Search Statistics ]==============================
3.06/3.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.11	c ===============================================================================
3.06/3.11	c |         0 |    3849     9005    21615 |     5000        0    nan |  0.000 % |
3.06/3.11	c ===============================================================================
3.06/3.11	c core #415
3.06/3.11	c Core size: 71	Core Weight: 1	Total Weight: 415
3.06/3.11	c Elapsed CPU time: 3.04154 s	Remaining CPU time: 1796.96 s
3.06/3.12	c Learning 1 hard constraints
3.06/3.12	c ============================[ Search Statistics ]==============================
3.06/3.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.12	c ===============================================================================
3.06/3.12	c |         0 |    3867     9007    21655 |     5000        0    nan |  0.000 % |
3.06/3.12	c ===============================================================================
3.06/3.12	c core #416
3.06/3.12	c Core size: 17	Core Weight: 1	Total Weight: 416
3.06/3.12	c Elapsed CPU time: 3.05553 s	Remaining CPU time: 1796.94 s
3.06/3.13	c Learning 3 hard constraints
3.06/3.13	c ============================[ Search Statistics ]==============================
3.06/3.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.13	c ===============================================================================
3.06/3.13	c |         0 |    3875     9011    21678 |     5000        0    nan |  0.000 % |
3.06/3.14	c ===============================================================================
3.06/3.14	c core #417
3.06/3.14	c Core size: 55	Core Weight: 1	Total Weight: 417
3.06/3.14	c Elapsed CPU time: 3.06953 s	Remaining CPU time: 1796.93 s
3.06/3.15	c Learning 1 hard constraints
3.06/3.15	c ============================[ Search Statistics ]==============================
3.06/3.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.15	c ===============================================================================
3.06/3.15	c |         0 |    3891     9013    21715 |     5000        0    nan |  0.000 % |
3.06/3.15	c ===============================================================================
3.06/3.15	c core #418
3.06/3.15	c Core size: 14	Core Weight: 1	Total Weight: 418
3.06/3.15	c Elapsed CPU time: 3.08453 s	Remaining CPU time: 1796.92 s
3.06/3.16	c ============================[ Search Statistics ]==============================
3.06/3.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.16	c ===============================================================================
3.06/3.16	c |         0 |    3898     9014    21729 |     5000        0    nan |  0.000 % |
3.06/3.17	c ===============================================================================
3.06/3.17	c core #419
3.06/3.17	c Core size: 38	Core Weight: 1	Total Weight: 419
3.06/3.17	c Elapsed CPU time: 3.09853 s	Remaining CPU time: 1796.9 s
3.06/3.18	c ============================[ Search Statistics ]==============================
3.06/3.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.18	c ===============================================================================
3.06/3.18	c |         0 |    3906     9015    21745 |     5000        0    nan |  0.000 % |
3.06/3.18	c ===============================================================================
3.06/3.18	c core #420
3.06/3.18	c Core size: 38	Core Weight: 1	Total Weight: 420
3.06/3.18	c Elapsed CPU time: 3.11353 s	Remaining CPU time: 1796.89 s
3.06/3.19	c Learning 1 hard constraints
3.06/3.19	c ============================[ Search Statistics ]==============================
3.06/3.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.06/3.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.06/3.19	c ===============================================================================
3.06/3.19	c |         0 |    3912     9017    21760 |     5000        0    nan |  0.000 % |
3.06/3.20	c ===============================================================================
3.06/3.20	c core #421
3.06/3.20	c Core size: 46	Core Weight: 1	Total Weight: 421
3.06/3.20	c Elapsed CPU time: 3.12652 s	Remaining CPU time: 1796.87 s
3.16/3.21	c Learning 4 hard constraints
3.16/3.21	c ============================[ Search Statistics ]==============================
3.16/3.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.21	c ===============================================================================
3.16/3.21	c |         0 |    3922     9022    21800 |     5000        0    nan |  0.000 % |
3.16/3.21	c ===============================================================================
3.16/3.21	c core #422
3.16/3.21	c Core size: 39	Core Weight: 1	Total Weight: 422
3.16/3.21	c Elapsed CPU time: 3.13852 s	Remaining CPU time: 1796.86 s
3.16/3.22	c Learning 1 hard constraints
3.16/3.22	c ============================[ Search Statistics ]==============================
3.16/3.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.22	c ===============================================================================
3.16/3.22	c |         0 |    3929     9024    21818 |     5000        0    nan |  0.000 % |
3.16/3.23	c ===============================================================================
3.16/3.23	c core #423
3.16/3.23	c Core size: 43	Core Weight: 1	Total Weight: 423
3.16/3.23	c Elapsed CPU time: 3.15452 s	Remaining CPU time: 1796.85 s
3.16/3.24	c Learning 4 hard constraints
3.16/3.24	c ============================[ Search Statistics ]==============================
3.16/3.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.24	c ===============================================================================
3.16/3.24	c |         0 |    3938     9029    21856 |     5000        0    nan |  0.000 % |
3.16/3.25	c ===============================================================================
3.16/3.25	c core #424
3.16/3.25	c Core size: 52	Core Weight: 1	Total Weight: 424
3.16/3.25	c Elapsed CPU time: 3.16952 s	Remaining CPU time: 1796.83 s
3.16/3.26	c Learning 1 hard constraints
3.16/3.26	c ============================[ Search Statistics ]==============================
3.16/3.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.26	c ===============================================================================
3.16/3.26	c |         0 |    3950     9031    21883 |     5000        0    nan |  0.000 % |
3.16/3.26	c ===============================================================================
3.16/3.26	c core #425
3.16/3.26	c Core size: 62	Core Weight: 1	Total Weight: 425
3.16/3.26	c Elapsed CPU time: 3.18352 s	Remaining CPU time: 1796.82 s
3.16/3.27	c Learning 1 hard constraints
3.16/3.27	c ============================[ Search Statistics ]==============================
3.16/3.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.27	c ===============================================================================
3.16/3.27	c |         0 |    3966     9033    21920 |     5000        0    nan |  0.000 % |
3.16/3.28	c ===============================================================================
3.16/3.28	c core #426
3.16/3.28	c Core size: 105	Core Weight: 1	Total Weight: 426
3.16/3.28	c Elapsed CPU time: 3.20051 s	Remaining CPU time: 1796.8 s
3.16/3.29	c Learning 3 hard constraints
3.16/3.29	c ============================[ Search Statistics ]==============================
3.16/3.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.16/3.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.16/3.29	c ===============================================================================
3.16/3.29	c |         0 |    3987     9037    21975 |     5000        0    nan |  0.000 % |
3.16/3.29	c ===============================================================================
3.16/3.29	c core #427
3.16/3.29	c Core size: 76	Core Weight: 1	Total Weight: 427
3.16/3.29	c Elapsed CPU time: 3.21651 s	Remaining CPU time: 1796.78 s
3.26/3.31	c Learning 5 hard constraints
3.26/3.31	c ============================[ Search Statistics ]==============================
3.26/3.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.26/3.31	c ===============================================================================
3.26/3.31	c |         0 |    4006     9043    22041 |     5000        0    nan |  0.000 % |
3.26/3.31	c ===============================================================================
3.26/3.31	c core #428
3.26/3.31	c Core size: 161	Core Weight: 1	Total Weight: 428
3.26/3.31	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.26/3.32	c Learning 6 hard constraints
3.26/3.32	c ============================[ Search Statistics ]==============================
3.26/3.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.26/3.32	c ===============================================================================
3.26/3.32	c |         0 |    4036     9050    22123 |     5000        0    nan |  0.000 % |
3.26/3.33	c ===============================================================================
3.26/3.33	c core #429
3.26/3.33	c Core size: 188	Core Weight: 1	Total Weight: 429
3.26/3.33	c Elapsed CPU time: 3.25351 s	Remaining CPU time: 1796.75 s
3.26/3.35	c Learning 6 hard constraints
3.26/3.35	c ============================[ Search Statistics ]==============================
3.26/3.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.26/3.35	c ===============================================================================
3.26/3.35	c |         0 |    4082     9057    22246 |     5000        0    nan |  0.000 % |
3.26/3.35	c ===============================================================================
3.26/3.35	c core #430
3.26/3.35	c Core size: 118	Core Weight: 1	Total Weight: 430
3.26/3.35	c Elapsed CPU time: 3.2725 s	Remaining CPU time: 1796.73 s
3.26/3.37	c Learning 5 hard constraints
3.26/3.37	c ============================[ Search Statistics ]==============================
3.26/3.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.26/3.37	c ===============================================================================
3.26/3.37	c |         0 |    4103     9063    22306 |     5000        0    nan |  0.000 % |
3.26/3.37	c ===============================================================================
3.26/3.38	c core #431
3.26/3.38	c Core size: 74	Core Weight: 1	Total Weight: 431
3.26/3.38	c Elapsed CPU time: 3.2925 s	Remaining CPU time: 1796.71 s
3.26/3.39	c Learning 5 hard constraints
3.26/3.39	c ============================[ Search Statistics ]==============================
3.26/3.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.26/3.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.26/3.39	c ===============================================================================
3.26/3.39	c |         0 |    4122     9069    22367 |     5000        0    nan |  0.000 % |
3.26/3.39	c ===============================================================================
3.26/3.39	c core #432
3.26/3.39	c Core size: 108	Core Weight: 1	Total Weight: 432
3.26/3.39	c Elapsed CPU time: 3.3095 s	Remaining CPU time: 1796.69 s
3.35/3.41	c Learning 1 hard constraints
3.35/3.41	c ============================[ Search Statistics ]==============================
3.35/3.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.41	c ===============================================================================
3.35/3.41	c |         0 |    4147     9071    22420 |     5000        0    nan |  0.000 % |
3.35/3.41	c ===============================================================================
3.35/3.41	c core #433
3.35/3.41	c Core size: 157	Core Weight: 1	Total Weight: 433
3.35/3.41	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 1796.67 s
3.35/3.42	c Learning 2 hard constraints
3.35/3.42	c ============================[ Search Statistics ]==============================
3.35/3.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.42	c ===============================================================================
3.35/3.42	c |         0 |    4185     9074    22508 |     5000        0    nan |  0.000 % |
3.35/3.43	c ===============================================================================
3.35/3.43	c core #434
3.35/3.43	c Core size: 101	Core Weight: 1	Total Weight: 434
3.35/3.43	c Elapsed CPU time: 3.34549 s	Remaining CPU time: 1796.65 s
3.35/3.44	c Learning 1 hard constraints
3.35/3.44	c ============================[ Search Statistics ]==============================
3.35/3.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.44	c ===============================================================================
3.35/3.44	c |         0 |    4212     9076    22569 |     5000        0    nan |  0.000 % |
3.35/3.45	c ===============================================================================
3.35/3.45	c core #435
3.35/3.45	c Core size: 180	Core Weight: 1	Total Weight: 435
3.35/3.45	c Elapsed CPU time: 3.36549 s	Remaining CPU time: 1796.63 s
3.35/3.46	c Learning 3 hard constraints
3.35/3.46	c ============================[ Search Statistics ]==============================
3.35/3.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.46	c ===============================================================================
3.35/3.46	c |         0 |    4252     9080    22667 |     5000        0    nan |  0.000 % |
3.35/3.47	c ===============================================================================
3.35/3.47	c core #436
3.35/3.47	c Core size: 247	Core Weight: 1	Total Weight: 436
3.35/3.47	c Elapsed CPU time: 3.38348 s	Remaining CPU time: 1796.62 s
3.35/3.48	c Learning 1 hard constraints
3.35/3.48	c ============================[ Search Statistics ]==============================
3.35/3.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.35/3.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.35/3.48	c ===============================================================================
3.35/3.48	c |         0 |    4316     9082    22804 |     5000        0    nan |  0.000 % |
3.35/3.49	c ===============================================================================
3.35/3.49	c core #437
3.35/3.49	c Core size: 254	Core Weight: 1	Total Weight: 437
3.35/3.49	c Elapsed CPU time: 3.40748 s	Remaining CPU time: 1796.59 s
3.46/3.51	c Learning 3 hard constraints
3.46/3.51	c ============================[ Search Statistics ]==============================
3.46/3.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.46/3.51	c ===============================================================================
3.46/3.51	c |         0 |    4384     9086    22958 |     5000        0    nan |  0.000 % |
3.46/3.51	c |       100 |    4384     9086    22958 |     5500      100     13 |  0.274 % |
3.46/3.52	c ===============================================================================
3.46/3.52	c core #438
3.46/3.52	c Core size: 227	Core Weight: 1	Total Weight: 438
3.46/3.52	c Elapsed CPU time: 3.43248 s	Remaining CPU time: 1796.57 s
3.46/3.53	c Learning 6 hard constraints
3.46/3.53	c ============================[ Search Statistics ]==============================
3.46/3.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.46/3.53	c ===============================================================================
3.46/3.53	c |         0 |    4431     9093    23104 |     5000        0    nan |  0.000 % |
3.46/3.54	c |       101 |    4431     9093    23104 |     5500      101     15 |  0.271 % |
3.46/3.55	c ===============================================================================
3.46/3.55	c core #439
3.46/3.55	c Core size: 182	Core Weight: 1	Total Weight: 439
3.46/3.55	c Elapsed CPU time: 3.45747 s	Remaining CPU time: 1796.54 s
3.46/3.56	c Learning 7 hard constraints
3.46/3.56	c ============================[ Search Statistics ]==============================
3.46/3.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.46/3.56	c ===============================================================================
3.46/3.56	c |         0 |    4466     9101    23221 |     5000        0    nan |  0.000 % |
3.46/3.57	c |       102 |    4466     9101    23221 |     5500      102     18 |  0.269 % |
3.46/3.57	c ===============================================================================
3.46/3.57	c core #440
3.46/3.57	c Core size: 266	Core Weight: 1	Total Weight: 440
3.46/3.57	c Elapsed CPU time: 3.48347 s	Remaining CPU time: 1796.52 s
3.46/3.59	c Learning 3 hard constraints
3.46/3.59	c ============================[ Search Statistics ]==============================
3.46/3.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.46/3.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.46/3.59	c ===============================================================================
3.46/3.59	c |         0 |    4521     9105    23352 |     5000        0    nan |  0.000 % |
3.46/3.59	c |       101 |    4521     9105    23352 |     5500      101     21 |  0.265 % |
3.55/3.60	c ===============================================================================
3.55/3.60	c core #441
3.55/3.60	c Core size: 279	Core Weight: 1	Total Weight: 441
3.55/3.60	c Elapsed CPU time: 3.51347 s	Remaining CPU time: 1796.49 s
3.55/3.62	c Learning 9 hard constraints
3.55/3.62	c ============================[ Search Statistics ]==============================
3.55/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.55/3.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.55/3.62	c ===============================================================================
3.55/3.62	c |         0 |    4582     9115    23548 |     5000        0    nan |  0.000 % |
3.55/3.62	c |       100 |    4582     9115    23548 |     5500      100     19 |  0.262 % |
3.55/3.63	c ===============================================================================
3.55/3.63	c core #442
3.55/3.63	c Core size: 255	Core Weight: 1	Total Weight: 442
3.55/3.63	c Elapsed CPU time: 3.54246 s	Remaining CPU time: 1796.46 s
3.55/3.65	c Learning 3 hard constraints
3.55/3.65	c ============================[ Search Statistics ]==============================
3.55/3.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.55/3.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.55/3.65	c ===============================================================================
3.55/3.65	c |         0 |    4644     9119    23692 |     5000        0    nan |  0.000 % |
3.55/3.65	c |       103 |    4644     9119    23692 |     5500      103     24 |  0.258 % |
3.55/3.67	c |       253 |    4629     9119    23692 |     6050      246     14 |  0.601 % |
3.55/3.67	c ===============================================================================
3.55/3.67	c core #443
3.55/3.67	c Core size: 338	Core Weight: 1	Total Weight: 443
3.55/3.67	c Elapsed CPU time: 3.58146 s	Remaining CPU time: 1796.42 s
3.55/3.69	c Learning 17 hard constraints
3.55/3.69	c ============================[ Search Statistics ]==============================
3.55/3.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.55/3.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.55/3.69	c ===============================================================================
3.55/3.69	c |         0 |    4706     9137    23917 |     5000        0    nan |  0.000 % |
3.66/3.70	c |       104 |    4704     9137    23917 |     5500      104      8 |  0.339 % |
3.66/3.71	c ===============================================================================
3.66/3.71	c core #444
3.66/3.71	c Core size: 271	Core Weight: 1	Total Weight: 444
3.66/3.71	c Elapsed CPU time: 3.61145 s	Remaining CPU time: 1796.39 s
3.66/3.72	c Learning 6 hard constraints
3.66/3.72	c ============================[ Search Statistics ]==============================
3.66/3.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.66/3.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.66/3.72	c ===============================================================================
3.66/3.72	c |         0 |    4761     9144    24063 |     5000        0    nan |  0.000 % |
3.66/3.73	c |       101 |    4761     9144    24063 |     5500      101     16 |  0.252 % |
3.66/3.74	c |       251 |    4759     9144    24063 |     6050      251     14 |  0.293 % |
3.66/3.76	c ===============================================================================
3.66/3.76	c core #445
3.66/3.76	c Core size: 417	Core Weight: 1	Total Weight: 445
3.66/3.76	c Elapsed CPU time: 3.66144 s	Remaining CPU time: 1796.34 s
3.66/3.77	c Learning 9 hard constraints
3.66/3.77	c ============================[ Search Statistics ]==============================
3.66/3.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.66/3.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.66/3.77	c ===============================================================================
3.66/3.77	c |         0 |    4846     9154    24291 |     5000        0    nan |  0.000 % |
3.66/3.78	c |       100 |    4846     9154    24291 |     5500      100     21 |  0.248 % |
3.66/3.79	c |       251 |    4841     9154    24291 |     6050      245     13 |  0.371 % |
3.75/3.80	c ===============================================================================
3.75/3.80	c core #446
3.75/3.80	c Core size: 259	Core Weight: 1	Total Weight: 446
3.75/3.80	c Elapsed CPU time: 3.70144 s	Remaining CPU time: 1796.3 s
3.75/3.81	c Learning 23 hard constraints
3.75/3.81	c ============================[ Search Statistics ]==============================
3.75/3.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.75/3.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.75/3.81	c ===============================================================================
3.75/3.81	c |         0 |    4903     9178    24536 |     5000        0    nan |  0.000 % |
3.75/3.82	c |       100 |    4903     9178    24536 |     5500      100     19 |  0.245 % |
3.75/3.84	c |       250 |    4893     9178    24536 |     6050      246     11 |  0.509 % |
3.75/3.84	c ===============================================================================
3.75/3.84	c core #447
3.75/3.84	c Core size: 322	Core Weight: 1	Total Weight: 447
3.75/3.84	c Elapsed CPU time: 3.74043 s	Remaining CPU time: 1796.26 s
3.75/3.86	c Learning 21 hard constraints
3.75/3.86	c ============================[ Search Statistics ]==============================
3.75/3.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.75/3.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.75/3.86	c ===============================================================================
3.75/3.86	c |         0 |    4963     9200    24790 |     5000        0    nan |  0.000 % |
3.75/3.86	c |       103 |    4963     9200    24790 |     5500      103     21 |  0.242 % |
3.75/3.88	c |       253 |    4953     9200    24790 |     6050      248     14 |  0.442 % |
3.75/3.89	c ===============================================================================
3.75/3.89	c core #448
3.75/3.89	c Core size: 293	Core Weight: 1	Total Weight: 448
3.75/3.89	c Elapsed CPU time: 3.78742 s	Remaining CPU time: 1796.21 s
3.85/3.90	c Learning 10 hard constraints
3.85/3.90	c ============================[ Search Statistics ]==============================
3.85/3.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.85/3.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.85/3.90	c ===============================================================================
3.85/3.90	c |         0 |    5026     9211    24982 |     5000        0    nan |  0.000 % |
3.85/3.91	c |       102 |    5026     9211    24982 |     5500      102     23 |  0.239 % |
3.85/3.93	c |       252 |    5025     9211    24982 |     6050      249     18 |  0.258 % |
3.85/3.94	c |       478 |    5023     9211    24982 |     6655      468     17 |  0.298 % |
3.85/3.97	c |       817 |    5018     9211    24982 |     7320      807     14 |  0.397 % |
3.85/3.97	c ===============================================================================
3.85/3.98	c core #449
3.85/3.98	c Core size: 612	Core Weight: 1	Total Weight: 449
3.85/3.98	c Elapsed CPU time: 3.86641 s	Remaining CPU time: 1796.13 s
3.85/3.99	c Learning 23 hard constraints
3.85/3.99	c ============================[ Search Statistics ]==============================
3.85/3.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.85/3.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.85/3.99	c ===============================================================================
3.85/3.99	c |         0 |    5161     9235    25370 |     5000        0    nan |  0.000 % |
3.95/4.01	c |       102 |    5156     9235    25370 |     5500      102      7 |  0.387 % |
3.95/4.02	c |       253 |    5131     9235    25370 |     6050      239      9 |  2.842 % |
3.95/4.03	c ===============================================================================
3.95/4.03	c core #450
3.95/4.03	c Core size: 337	Core Weight: 1	Total Weight: 450
3.95/4.03	c Elapsed CPU time: 3.9154 s	Remaining CPU time: 1796.08 s
3.95/4.04	c Learning 12 hard constraints
3.95/4.04	c ============================[ Search Statistics ]==============================
3.95/4.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.95/4.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.95/4.04	c ===============================================================================
3.95/4.04	c |         0 |    5224     9248    25566 |     5000        0    nan |  0.000 % |
3.95/4.05	c |       101 |    5224     9248    25566 |     5500      101     22 |  0.230 % |
3.95/4.06	c |       251 |    5221     9248    25566 |     6050      235     15 |  0.306 % |
3.95/4.08	c ===============================================================================
3.95/4.08	c core #451
3.95/4.08	c Core size: 396	Core Weight: 1	Total Weight: 451
3.95/4.08	c Elapsed CPU time: 3.9584 s	Remaining CPU time: 1796.04 s
3.95/4.09	c Learning 16 hard constraints
3.95/4.09	c ============================[ Search Statistics ]==============================
3.95/4.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.95/4.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.95/4.09	c ===============================================================================
3.95/4.09	c |         0 |    5308     9265    25834 |     5000        0    nan |  0.000 % |
4.05/4.10	c |       100 |    5308     9265    25834 |     5500      100     18 |  0.226 % |
4.05/4.11	c |       250 |    5306     9265    25834 |     6050      248     18 |  0.263 % |
4.05/4.13	c |       475 |    5306     9265    25834 |     6655      473     19 |  0.263 % |
4.05/4.15	c |       814 |    5304     9265    25834 |     7320      792     21 |  0.301 % |
4.05/4.19	c |      1321 |    5276     9265    25834 |     8052     1261     23 |  3.553 % |
4.15/4.20	c ===============================================================================
4.15/4.21	c core #452
4.15/4.21	c Core size: 364	Core Weight: 1	Total Weight: 452
4.15/4.21	c Elapsed CPU time: 4.08238 s	Remaining CPU time: 1795.92 s
4.15/4.22	c Learning 10 hard constraints
4.15/4.22	c ============================[ Search Statistics ]==============================
4.15/4.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.15/4.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.15/4.22	c ===============================================================================
4.15/4.22	c |         0 |    5388     9276    26049 |     5000        0    nan |  0.000 % |
4.15/4.23	c |       100 |    5388     9276    26049 |     5500      100     39 |  0.223 % |
4.15/4.24	c |       251 |    5388     9276    26049 |     6050      251     27 |  0.222 % |
4.15/4.26	c |       480 |    5388     9276    26049 |     6655      480     27 |  0.222 % |
4.15/4.28	c |       819 |    5388     9276    26049 |     7320      819     26 |  0.222 % |
4.25/4.33	c |      1327 |    5386     9276    26049 |     8052     1283     24 |  0.296 % |
4.25/4.40	c |      2087 |    5382     9276    26049 |     8857     1911     26 |  0.333 % |
4.36/4.42	c ===============================================================================
4.36/4.43	c core #453
4.36/4.43	c Core size: 604	Core Weight: 1	Total Weight: 453
4.36/4.43	c Elapsed CPU time: 4.29035 s	Remaining CPU time: 1795.71 s
4.36/4.45	c Learning 40 hard constraints
4.36/4.45	c ============================[ Search Statistics ]==============================
4.36/4.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.36/4.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.36/4.45	c ===============================================================================
4.36/4.45	c |         0 |    5510     9317    26515 |     5000        0    nan |  0.000 % |
4.36/4.46	c |       103 |    5510     9317    26515 |     5500      103     34 |  0.218 % |
4.36/4.47	c |       253 |    5508     9317    26515 |     6050      243     23 |  0.254 % |
4.36/4.49	c |       478 |    5499     9317    26515 |     6655      437     18 |  0.435 % |
4.45/4.50	c ===============================================================================
4.45/4.50	c core #454
4.45/4.50	c Core size: 223	Core Weight: 1	Total Weight: 454
4.45/4.50	c Elapsed CPU time: 4.35534 s	Remaining CPU time: 1795.64 s
4.45/4.52	c Learning 26 hard constraints
4.45/4.52	c ============================[ Search Statistics ]==============================
4.45/4.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.45/4.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.45/4.52	c ===============================================================================
4.45/4.52	c |         0 |    5552     9344    26773 |     5000        0    nan |  0.000 % |
4.45/4.52	c |       105 |    5552     9344    26773 |     5500      105     23 |  0.216 % |
4.45/4.54	c |       256 |    5548     9344    26773 |     6050      250     15 |  0.288 % |
4.45/4.55	c |       481 |    5546     9344    26773 |     6655      475     14 |  0.360 % |
4.45/4.56	c ===============================================================================
4.45/4.57	c core #455
4.45/4.57	c Core size: 383	Core Weight: 1	Total Weight: 455
4.45/4.57	c Elapsed CPU time: 4.41133 s	Remaining CPU time: 1795.59 s
4.45/4.58	c Learning 25 hard constraints
4.45/4.58	c ============================[ Search Statistics ]==============================
4.45/4.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.45/4.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.45/4.58	c ===============================================================================
4.45/4.58	c |         0 |    5623     9370    27056 |     5000        0    nan |  0.000 % |
4.45/4.59	c |       100 |    5622     9370    27056 |     5500      100     10 |  0.248 % |
4.55/4.60	c |       252 |    5622     9370    27056 |     6050      252     15 |  0.248 % |
4.55/4.62	c |       479 |    5621     9370    27056 |     6655      478     19 |  0.248 % |
4.55/4.64	c |       819 |    5613     9370    27056 |     7320      728     15 |  0.390 % |
4.55/4.65	c ===============================================================================
4.55/4.65	c core #456
4.55/4.65	c Core size: 340	Core Weight: 1	Total Weight: 456
4.55/4.65	c Elapsed CPU time: 4.48832 s	Remaining CPU time: 1795.51 s
4.55/4.66	c Learning 8 hard constraints
4.55/4.66	c ============================[ Search Statistics ]==============================
4.55/4.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.55/4.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.55/4.66	c ===============================================================================
4.55/4.66	c |         0 |    5694     9379    27241 |     5000        0    nan |  0.000 % |
4.55/4.67	c |       100 |    5694     9379    27241 |     5500      100     15 |  0.211 % |
4.55/4.68	c |       253 |    5686     9379    27241 |     6050      244     15 |  0.351 % |
4.65/4.70	c |       478 |    5684     9379    27241 |     6655      469     18 |  0.456 % |
4.65/4.72	c |       816 |    5680     9379    27241 |     7320      803     18 |  0.456 % |
4.65/4.75	c |      1322 |    5674     9379    27241 |     8052      916     16 |  0.561 % |
4.65/4.77	c ===============================================================================
4.65/4.78	c core #457
4.65/4.78	c Core size: 342	Core Weight: 1	Total Weight: 457
4.65/4.78	c Elapsed CPU time: 4.6123 s	Remaining CPU time: 1795.39 s
4.65/4.79	c Learning 15 hard constraints
4.65/4.79	c ============================[ Search Statistics ]==============================
4.65/4.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.65/4.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.65/4.79	c ===============================================================================
4.65/4.79	c |         0 |    5769     9395    27477 |     5000        0    nan |  0.000 % |
4.75/4.81	c |       101 |    5767     9395    27477 |     5500      101      9 |  0.259 % |
4.75/4.82	c |       251 |    5767     9395    27477 |     6050      251     12 |  0.259 % |
4.75/4.83	c |       476 |    5764     9395    27477 |     6655      445     15 |  0.294 % |
4.75/4.86	c |       814 |    5759     9395    27477 |     7320      783     17 |  0.398 % |
4.75/4.89	c |      1321 |    5757     9395    27477 |     8052     1277     20 |  0.432 % |
4.84/4.96	c |      2081 |    5739     9395    27477 |     8857     2011     23 |  3.252 % |
4.95/5.09	c |      3220 |    5471     9395    27477 |     9743     1204     20 |  5.362 % |
5.05/5.10	c ===============================================================================
5.05/5.12	c core #458
5.05/5.12	c Core size: 462	Core Weight: 1	Total Weight: 458
5.05/5.12	c Elapsed CPU time: 4.94625 s	Remaining CPU time: 1795.05 s
5.05/5.14	c Learning 24 hard constraints
5.05/5.14	c ============================[ Search Statistics ]==============================
5.05/5.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.05/5.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.05/5.14	c ===============================================================================
5.05/5.14	c |         0 |    5872     9420    27807 |     5000        0    nan |  0.000 % |
5.05/5.16	c |       100 |    5871     9420    27807 |     5500      100     10 |  0.238 % |
5.05/5.17	c |       251 |    5871     9420    27807 |     6050      251     13 |  0.238 % |
5.05/5.18	c |       478 |    5870     9420    27807 |     6655      477     13 |  0.238 % |
5.15/5.20	c |       818 |    5870     9420    27807 |     7320      817     13 |  0.238 % |
5.15/5.23	c |      1327 |    5870     9420    27807 |     8052     1326     17 |  0.238 % |
5.15/5.29	c |      2089 |    5864     9420    27807 |     8857     2075     18 |  0.340 % |
5.24/5.37	c |      3228 |    5861     9420    27807 |     9743     3164     21 |  0.391 % |
5.35/5.44	c ===============================================================================
5.35/5.46	c core #459
5.35/5.46	c Core size: 565	Core Weight: 1	Total Weight: 459
5.35/5.46	c Elapsed CPU time: 5.2572 s	Remaining CPU time: 1794.74 s
5.35/5.47	c Learning 58 hard constraints
5.35/5.47	c ============================[ Search Statistics ]==============================
5.35/5.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.35/5.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.35/5.47	c ===============================================================================
5.35/5.47	c |         0 |    6004     9479    28437 |     5000        0    nan |  0.000 % |
5.35/5.49	c |       100 |    6004     9479    28437 |     5500      100     36 |  0.200 % |
5.35/5.50	c |       250 |    6004     9479    28437 |     6050      250     24 |  0.199 % |
5.44/5.51	c |       476 |    6002     9479    28437 |     6655      471     23 |  0.233 % |
5.44/5.54	c |       813 |    6002     9479    28437 |     7320      808     25 |  0.233 % |
5.44/5.58	c |      1319 |    6000     9479    28437 |     8052     1295     26 |  0.266 % |
5.54/5.63	c |      2079 |    5995     9479    28437 |     8857     2052     26 |  0.349 % |
5.64/5.75	c |      3218 |    5995     9479    28437 |     9743     3191     32 |  0.349 % |
5.75/5.82	c ===============================================================================
5.75/5.84	c core #460
5.75/5.84	c Core size: 476	Core Weight: 1	Total Weight: 460
5.75/5.84	c Elapsed CPU time: 5.62014 s	Remaining CPU time: 1794.38 s
5.75/5.86	c Learning 43 hard constraints
5.75/5.86	c ============================[ Search Statistics ]==============================
5.75/5.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.75/5.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.75/5.86	c ===============================================================================
5.75/5.86	c |         0 |    6104     9523    28901 |     5000        0    nan |  0.000 % |
5.75/5.87	c |       100 |    6104     9523    28901 |     5500      100     17 |  0.197 % |
5.75/5.87	c |       250 |    6104     9523    28901 |     6050      250     18 |  0.196 % |
5.75/5.89	c |       475 |    6104     9523    28901 |     6655      475     17 |  0.196 % |
5.84/5.91	c |       814 |    6104     9523    28901 |     7320      814     19 |  0.196 % |
5.84/5.94	c |      1320 |    6104     9523    28901 |     8052     1320     21 |  0.196 % |
5.94/6.00	c |      2080 |    6104     9523    28901 |     8857     2080     21 |  0.197 % |
5.94/6.08	c |      3220 |    6102     9523    28901 |     9743     2716     23 |  0.229 % |
6.14/6.23	c |      4930 |    6099     9523    28901 |    10717     4363     26 |  0.294 % |
6.44/6.52	c |      7492 |    6096     9523    28901 |    11789     6717     28 |  0.327 % |
6.44/6.53	c ===============================================================================
6.44/6.57	c core #461
6.44/6.57	c Core size: 412	Core Weight: 1	Total Weight: 461
6.44/6.57	c Elapsed CPU time: 6.32704 s	Remaining CPU time: 1793.67 s
6.44/6.59	c Learning 33 hard constraints
6.44/6.59	c ============================[ Search Statistics ]==============================
6.44/6.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.44/6.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.44/6.59	c ===============================================================================
6.44/6.59	c |         0 |    6201     9557    29295 |     5000        0    nan |  0.000 % |
6.55/6.60	c |       100 |    6201     9557    29295 |     5500      100     12 |  0.193 % |
6.55/6.61	c |       253 |    6201     9557    29295 |     6050      253     18 |  0.193 % |
6.55/6.63	c |       480 |    6199     9557    29295 |     6655      426     18 |  0.225 % |
6.55/6.65	c |       818 |    6199     9557    29295 |     7320      764     21 |  0.225 % |
6.55/6.68	c |      1324 |    6199     9557    29295 |     8052     1270     21 |  0.225 % |
6.63/6.71	c ===============================================================================
6.63/6.72	c core #462
6.63/6.72	c Core size: 538	Core Weight: 1	Total Weight: 462
6.63/6.72	c Elapsed CPU time: 6.47401 s	Remaining CPU time: 1793.53 s
6.63/6.74	c Learning 42 hard constraints
6.63/6.74	c ============================[ Search Statistics ]==============================
6.63/6.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.63/6.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.63/6.74	c ===============================================================================
6.63/6.74	c |         0 |    6314     9600    29754 |     5000        0    nan |  0.000 % |
6.63/6.75	c |       101 |    6314     9600    29754 |     5500      101     13 |  0.190 % |
6.63/6.76	c |       251 |    6314     9600    29754 |     6050      251     15 |  0.190 % |
6.63/6.78	c |       477 |    6314     9600    29754 |     6655      477     18 |  0.190 % |
6.74/6.80	c |       815 |    6314     9600    29754 |     7320      815     17 |  0.190 % |
6.74/6.84	c |      1322 |    6312     9600    29754 |     8052     1321     19 |  0.221 % |
6.74/6.89	c |      2082 |    6307     9600    29754 |     8857     2080     21 |  0.316 % |
6.83/6.98	c |      3221 |    6306     9600    29754 |     9743     3219     25 |  0.316 % |
7.04/7.13	c |      4929 |    6304     9600    29754 |    10717     4893     25 |  0.348 % |
7.33/7.41	c |      7492 |    6301     9600    29754 |    11789     7454     29 |  0.411 % |
7.93/8.04	c |     11340 |    6298     9600    29754 |    12968     7691     27 |  0.443 % |
8.04/8.15	c ===============================================================================
8.13/8.21	c core #463
8.13/8.21	c Core size: 420	Core Weight: 1	Total Weight: 463
8.13/8.21	c Elapsed CPU time: 7.9218 s	Remaining CPU time: 1792.08 s
8.13/8.24	c Learning 22 hard constraints
8.13/8.24	c ============================[ Search Statistics ]==============================
8.13/8.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.13/8.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.13/8.24	c ===============================================================================
8.13/8.24	c |         0 |    6411     9623    30075 |     5000        0    nan |  0.000 % |
8.13/8.26	c |       100 |    6411     9623    30075 |     5500      100     19 |  0.187 % |
8.13/8.27	c |       252 |    6407     9623    30075 |     6050      248     20 |  0.249 % |
8.13/8.28	c |       479 |    6407     9623    30075 |     6655      475     23 |  0.249 % |
8.23/8.31	c |       816 |    6407     9623    30075 |     7320      808     30 |  0.249 % |
8.23/8.34	c |      1322 |    6405     9623    30075 |     8052     1312     29 |  0.280 % |
8.23/8.39	c |      2081 |    6405     9623    30075 |     8857     2071     31 |  0.281 % |
8.34/8.48	c |      3221 |    6405     9623    30075 |     9743     3211     34 |  0.280 % |
8.53/8.63	c |      4929 |    6405     9623    30075 |    10717     4919     32 |  0.280 % |
8.74/8.88	c |      7495 |    6405     9623    30075 |    11789     7485     32 |  0.280 % |
8.94/9.01	c ===============================================================================
8.94/9.04	c core #464
8.94/9.04	c Core size: 374	Core Weight: 1	Total Weight: 464
8.94/9.04	c Elapsed CPU time: 8.73567 s	Remaining CPU time: 1791.26 s
8.94/9.06	c Learning 41 hard constraints
8.94/9.06	c ============================[ Search Statistics ]==============================
8.94/9.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.94/9.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.94/9.06	c ===============================================================================
8.94/9.06	c |         0 |    6486     9665    30458 |     5000        0    nan |  0.000 % |
8.94/9.08	c |       101 |    6486     9665    30458 |     5500      101     25 |  0.185 % |
8.94/9.09	c |       253 |    6486     9665    30458 |     6050      253     20 |  0.185 % |
9.03/9.10	c |       481 |    6486     9665    30458 |     6655      481     22 |  0.185 % |
9.03/9.13	c |       819 |    6486     9665    30458 |     7320      819     24 |  0.185 % |
9.03/9.16	c |      1325 |    6486     9665    30458 |     8052     1325     25 |  0.185 % |
9.13/9.24	c |      2086 |    6486     9665    30458 |     8857     2086     29 |  0.185 % |
9.23/9.36	c |      3232 |    6486     9665    30458 |     9743     3232     35 |  0.185 % |
9.44/9.53	c |      4945 |    6486     9665    30458 |    10717     4945     35 |  0.185 % |
9.73/9.85	c |      7507 |    6486     9665    30458 |    11789     7507     37 |  0.185 % |
10.13/10.28	c |     11353 |    6486     9665    30458 |    12968    11353     36 |  0.185 % |
11.03/11.10	c |     17121 |    6486     9665    30458 |    14265    10421     38 |  0.185 % |
12.44/12.58	c |     25773 |    6484     9665    30458 |    15692    11661     45 |  0.215 % |
15.63/15.72	c |     38748 |    6482     9665    30458 |    17261    16368     49 |  0.246 % |
19.52/19.66	c ===============================================================================
19.93/20.07	c core #465
19.93/20.07	c Core size: 817	Core Weight: 1	Total Weight: 465
19.93/20.07	c Elapsed CPU time: 19.632 s	Remaining CPU time: 1780.37 s
20.03/20.14	c Learning 9 hard constraints
20.03/20.14	c ============================[ Search Statistics ]==============================
20.03/20.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.03/20.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
20.03/20.14	c ===============================================================================
20.03/20.14	c |         0 |    6650     9675    30828 |     5000        0    nan |  0.000 % |
20.03/20.17	c |       102 |    6650     9675    30828 |     5500      102     18 |  0.180 % |
20.03/20.18	c |       257 |    6650     9675    30828 |     6050      257     23 |  0.180 % |
20.03/20.19	c |       483 |    6650     9675    30828 |     6655      483     29 |  0.180 % |
20.13/20.21	c |       820 |    6650     9675    30828 |     7320      820     34 |  0.180 % |
20.13/20.25	c |      1326 |    6650     9675    30828 |     8052     1326     31 |  0.180 % |
20.23/20.32	c |      2085 |    6650     9675    30828 |     8857     2085     34 |  0.180 % |
20.33/20.41	c |      3225 |    6650     9675    30828 |     9743     3225     35 |  0.180 % |
20.42/20.56	c |      4939 |    6648     9675    30828 |    10717     4100     34 |  0.210 % |
20.73/20.85	c |      7504 |    6648     9675    30828 |    11789     6665     40 |  0.210 % |
21.12/21.29	c |     11348 |    6646     9675    30828 |    12968    10498     42 |  0.240 % |
21.73/21.90	c |     17114 |    6646     9675    30828 |    14265     9426     40 |  0.240 % |
23.93/24.01	c |     25765 |    6646     9675    30828 |    15692    10288     42 |  0.240 % |
26.62/26.71	c |     38741 |    6644     9675    30828 |    17261    14886     51 |  0.270 % |
32.42/32.59	c |     58202 |    6642     9675    30828 |    18987    16340     57 |  0.300 % |
41.72/41.85	c |     87394 |    6374     9675    30828 |    20886     3122     53 |  4.323 % |
42.01/42.12	c ===============================================================================
42.52/42.67	c core #466
42.52/42.67	c Core size: 463	Core Weight: 1	Total Weight: 466
42.52/42.67	c Elapsed CPU time: 42.0246 s	Remaining CPU time: 1757.98 s
42.62/42.77	c ============================[ Search Statistics ]==============================
42.62/42.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.62/42.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.62/42.77	c ===============================================================================
42.62/42.77	c |         0 |    6770     9676    31068 |     5000        0    nan |  0.000 % |
42.62/42.80	c |       100 |    6770     9676    31068 |     5500      100     24 |  0.177 % |
42.72/42.81	c |       252 |    6770     9676    31068 |     6050      252     20 |  0.177 % |
42.72/42.82	c |       477 |    6770     9676    31068 |     6655      477     23 |  0.177 % |
42.72/42.84	c |       814 |    6770     9676    31068 |     7320      814     22 |  0.177 % |
42.72/42.88	c |      1321 |    6770     9676    31068 |     8052     1321     22 |  0.177 % |
42.82/42.92	c |      2080 |    6770     9676    31068 |     8857     2080     21 |  0.177 % |
42.92/43.03	c |      3221 |    6770     9676    31068 |     9743     3221     25 |  0.177 % |
43.11/43.23	c |      4931 |    6768     9676    31068 |    10717     4881     27 |  0.207 % |
43.32/43.49	c |      7493 |    6766     9676    31068 |    11789     7365     28 |  0.236 % |
43.92/44.01	c |     11337 |    6764     9676    31068 |    12968    10963     31 |  0.265 % |
45.01/45.17	c |     17103 |    6764     9676    31068 |    14265    10034     36 |  0.265 % |
46.21/46.32	c ===============================================================================
46.41/46.52	c core #467
46.41/46.52	c Core size: 635	Core Weight: 1	Total Weight: 467
46.41/46.52	c Elapsed CPU time: 45.821 s	Remaining CPU time: 1754.18 s
46.41/46.57	c Learning 11 hard constraints
46.41/46.57	c ============================[ Search Statistics ]==============================
46.41/46.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.41/46.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
46.41/46.57	c ===============================================================================
46.41/46.57	c |         0 |    6926     9688    31422 |     5000        0    nan |  0.000 % |
46.41/46.59	c |       100 |    6926     9688    31422 |     5500      100     26 |  0.173 % |
46.51/46.60	c |       251 |    6926     9688    31422 |     6050      251     18 |  0.173 % |
46.51/46.62	c |       477 |    6926     9688    31422 |     6655      477     17 |  0.173 % |
46.51/46.64	c |       816 |    6926     9688    31422 |     7320      816     21 |  0.173 % |
46.51/46.68	c |      1323 |    6926     9688    31422 |     8052     1323     24 |  0.173 % |
46.61/46.74	c |      2083 |    6926     9688    31422 |     8857     2083     24 |  0.173 % |
46.71/46.83	c |      3222 |    6926     9688    31422 |     9743     3222     25 |  0.173 % |
46.82/46.99	c |      4930 |    6926     9688    31422 |    10717     4930     32 |  0.173 % |
47.12/47.26	c |      7492 |    6926     9688    31422 |    11789     7492     38 |  0.173 % |
47.61/47.79	c |     11336 |    6926     9688    31422 |    12968    11336     40 |  0.173 % |
48.91/49.02	c |     17103 |    6926     9688    31422 |    14265    10029     49 |  0.173 % |
50.21/50.37	c |     25752 |    6926     9688    31422 |    15692    11234     52 |  0.173 % |
53.82/53.96	c |     38727 |    6926     9688    31422 |    17261    16042     57 |  0.173 % |
59.21/59.32	c |     58192 |    6926     9688    31422 |    18987    17217     71 |  0.173 % |
67.20/67.33	c |     87384 |    6926     9688    31422 |    20886    17030     54 |  0.173 % |
82.89/83.03	c |    131174 |    6926     9688    31422 |    22974    17741    106 |  0.173 % |
100.68/100.88	c |    196860 |    6926     9688    31422 |    25272    12625     80 |  0.173 % |
136.27/136.48	c |    295389 |    6926     9688    31422 |    27799    19556     70 |  0.173 % |
174.55/174.72	c ===============================================================================
175.55/175.70	c core #468
175.55/175.70	c Core size: 1486	Core Weight: 1	Total Weight: 468
175.55/175.70	c Elapsed CPU time: 173.745 s	Remaining CPU time: 1626.26 s
175.95/176.10	c Learning 125 hard constraints
175.95/176.10	c ============================[ Search Statistics ]==============================
175.95/176.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
175.95/176.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
175.95/176.10	c ===============================================================================
175.95/176.10	c |         0 |    7149     9814    32415 |     5000        0    nan |  0.000 % |
175.95/176.18	c |       100 |    7149     9814    32415 |     5500      100     18 |  0.168 % |
175.95/176.19	c |       252 |    7149     9814    32415 |     6050      252     17 |  0.168 % |
176.04/176.22	c |       477 |    7149     9814    32415 |     6655      477     23 |  0.168 % |
176.04/176.24	c |       815 |    7149     9814    32415 |     7320      815     28 |  0.168 % |
176.04/176.29	c |      1323 |    7147     9814    32415 |     8052     1322     29 |  0.196 % |
176.14/176.37	c |      2085 |    7147     9814    32415 |     8857     2084     36 |  0.196 % |
176.24/176.47	c |      3224 |    7147     9814    32415 |     9743     3223     37 |  0.196 % |
176.45/176.64	c |      4934 |    7147     9814    32415 |    10717     4933     42 |  0.196 % |
176.85/177.03	c |      7497 |    7147     9814    32415 |    11789     7496     46 |  0.196 % |
177.34/177.59	c |     11341 |    7147     9814    32415 |    12968    11340     50 |  0.196 % |
178.44/178.69	c |     17110 |    7147     9814    32415 |    14265    10122     52 |  0.196 % |
180.33/180.56	c |     25759 |    7147     9814    32415 |    15692    11053     57 |  0.196 % |
182.33/182.59	c |     38734 |    7147     9814    32415 |    17261    15715     46 |  0.196 % |
185.43/185.63	c |     58195 |    7145     9814    32415 |    18987    16761     47 |  0.223 % |
190.93/191.19	c |     87387 |    7145     9814    32415 |    20886    16011     60 |  0.223 % |
203.73/203.92	c |    131177 |    7145     9814    32415 |    22974    16550     54 |  0.223 % |
236.80/237.07	c |    196864 |    7145     9814    32415 |    25272    21776     95 |  0.223 % |
268.69/268.93	c |    295391 |    7052     9814    32415 |    27799    17881     53 |  1.522 % |
269.48/269.72	c ===============================================================================
270.78/271.08	c core #469
270.78/271.08	c Core size: 858	Core Weight: 1	Total Weight: 469
270.78/271.08	c Elapsed CPU time: 268.351 s	Remaining CPU time: 1531.65 s
271.18/271.42	c Learning 28 hard constraints
271.18/271.42	c ============================[ Search Statistics ]==============================
271.18/271.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
271.18/271.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
271.18/271.42	c ===============================================================================
271.18/271.42	c |         0 |    7302     9843    32862 |     5000        0    nan |  0.000 % |
271.18/271.48	c |       100 |    7302     9843    32862 |     5500      100     26 |  0.164 % |
271.28/271.50	c |       251 |    7302     9843    32862 |     6050      251     34 |  0.164 % |
271.28/271.53	c |       479 |    7302     9843    32862 |     6655      479     34 |  0.164 % |
271.28/271.56	c |       817 |    7302     9843    32862 |     7320      817     28 |  0.164 % |
271.38/271.61	c |      1326 |    7302     9843    32862 |     8052     1326     34 |  0.164 % |
271.38/271.66	c |      2087 |    7302     9843    32862 |     8857     2087     33 |  0.164 % |
271.49/271.76	c |      3228 |    7302     9843    32862 |     9743     3228     34 |  0.164 % |
271.68/271.95	c |      4936 |    7302     9843    32862 |    10717     4936     41 |  0.164 % |
271.88/272.17	c |      7498 |    7300     9843    32862 |    11789     7462     36 |  0.191 % |
272.28/272.55	c |     11344 |    7298     9843    32862 |    12968     9870     35 |  0.219 % |
273.68/273.91	c |     17111 |    7298     9843    32862 |    14265     8424     58 |  0.219 % |
276.88/277.16	c |     25762 |    7298     9843    32862 |    15692     9737     78 |  0.219 % |
280.88/281.12	c |     38740 |    7298     9843    32862 |    17261    13921     56 |  0.219 % |
294.58/294.81	c |     58202 |    7296     9843    32862 |    18987    14957     65 |  0.246 % |
305.77/306.07	c |     87395 |    7296     9843    32862 |    20886    14419     78 |  0.246 % |
319.66/319.96	c |    131185 |    7294     9843    32862 |    22974    21250     71 |  0.273 % |
346.45/346.77	c |    196870 |    7064     9843    32862 |    25272    15033     58 |  3.418 % |
347.26/347.56	c ===============================================================================
348.75/349.01	c core #470
348.75/349.01	c Core size: 629	Core Weight: 1	Total Weight: 470
348.75/349.01	c Elapsed CPU time: 345.798 s	Remaining CPU time: 1454.2 s
348.95/349.27	c Learning 6 hard constraints
348.95/349.27	c ============================[ Search Statistics ]==============================
348.95/349.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
348.95/349.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
348.95/349.27	c ===============================================================================
348.95/349.27	c |         0 |    7483     9850    33260 |     5000        0    nan |  0.000 % |
349.05/349.31	c |       100 |    7483     9850    33260 |     5500      100     27 |  0.160 % |
349.05/349.34	c |       251 |    7483     9850    33260 |     6050      251     24 |  0.160 % |
349.05/349.36	c |       477 |    7483     9850    33260 |     6655      477     26 |  0.160 % |
349.05/349.39	c |       815 |    7483     9850    33260 |     7320      815     29 |  0.160 % |
349.15/349.43	c |      1323 |    7483     9850    33260 |     8052     1323     29 |  0.160 % |
349.24/349.53	c |      2082 |    7483     9850    33260 |     8857     2082     36 |  0.160 % |
349.34/349.61	c |      3227 |    7483     9850    33260 |     9743     3227     37 |  0.160 % |
349.45/349.74	c |      4937 |    7483     9850    33260 |    10717     4937     36 |  0.160 % |
349.75/350.08	c |      7502 |    7483     9850    33260 |    11789     7502     40 |  0.160 % |
350.34/350.60	c |     11346 |    7483     9850    33260 |    12968    11346     43 |  0.160 % |
351.15/351.44	c |     17113 |    7483     9850    33260 |    14265     9597     45 |  0.160 % |
352.95/353.23	c |     25765 |    7483     9850    33260 |    15692    10497     44 |  0.160 % |
354.94/355.22	c |     38740 |    7479     9850    33260 |    17261    14404     41 |  0.214 % |
360.04/360.35	c |     58201 |    7477     9850    33260 |    18987    15488     49 |  0.240 % |
367.34/367.62	c |     87394 |    7269     9850    33260 |    20886     8770     44 |  3.015 % |
370.54/370.87	c ===============================================================================
371.83/372.14	c core #471
371.83/372.14	c Core size: 556	Core Weight: 1	Total Weight: 471
371.83/372.14	c Elapsed CPU time: 368.694 s	Remaining CPU time: 1431.31 s
372.03/372.31	c Learning 4 hard constraints
372.03/372.31	c ============================[ Search Statistics ]==============================
372.03/372.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
372.03/372.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
372.03/372.31	c ===============================================================================
372.03/372.31	c |         0 |    7630     9855    33575 |     5000        0    nan |  0.000 % |
372.03/372.37	c |       100 |    7630     9855    33575 |     5500      100     16 |  0.157 % |
372.03/372.38	c |       252 |    7630     9855    33575 |     6050      252     23 |  0.157 % |
372.13/372.40	c |       479 |    7630     9855    33575 |     6655      479     24 |  0.157 % |
372.13/372.44	c |       816 |    7630     9855    33575 |     7320      816     37 |  0.157 % |
372.13/372.49	c |      1322 |    7628     9855    33575 |     8052     1321     33 |  0.183 % |
372.24/372.55	c |      2081 |    7628     9855    33575 |     8857     2080     37 |  0.183 % |
372.33/372.65	c |      3220 |    7628     9855    33575 |     9743     3219     36 |  0.183 % |
372.54/372.84	c |      4928 |    7628     9855    33575 |    10717     4927     39 |  0.183 % |
372.94/373.28	c |      7491 |    7628     9855    33575 |    11789     7490     43 |  0.183 % |
373.43/373.77	c |     11335 |    7628     9855    33575 |    12968    11334     44 |  0.183 % |
374.53/374.84	c |     17106 |    7628     9855    33575 |    14265    10163     52 |  0.183 % |
376.94/377.27	c |     25755 |    7628     9855    33575 |    15692    11026     49 |  0.183 % |
378.73/379.06	c |     38729 |    7628     9855    33575 |    17261    15462     61 |  0.183 % |
385.93/386.21	c |     58190 |    7628     9855    33575 |    18987    16519     86 |  0.183 % |
396.12/396.43	c |     87383 |    7628     9855    33575 |    20886    14899     67 |  0.183 % |
410.12/410.45	c |    131176 |    7624     9855    33575 |    22974    13272     43 |  0.236 % |
455.29/455.70	c |    196861 |    7624     9855    33575 |    25272    17141     95 |  0.236 % |
496.28/496.63	c |    295391 |    7620     9855    33575 |    27799    13258     63 |  0.288 % |
576.84/577.29	c ===============================================================================
578.04/578.40	c core #472
578.04/578.40	c Core size: 543	Core Weight: 1	Total Weight: 472
578.04/578.40	c Elapsed CPU time: 573.67 s	Remaining CPU time: 1226.33 s
578.44/578.88	c Learning 3 hard constraints
578.44/578.88	c ============================[ Search Statistics ]==============================
578.44/578.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
578.44/578.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
578.44/578.88	c ===============================================================================
578.44/578.88	c |         0 |    7770     9859    33865 |     5000        0    nan |  0.000 % |
578.54/578.99	c |       101 |    7770     9859    33865 |     5500      101     35 |  0.154 % |
578.64/579.01	c |       254 |    7770     9859    33865 |     6050      254     36 |  0.154 % |
578.64/579.03	c |       482 |    7770     9859    33865 |     6655      482     39 |  0.154 % |
578.64/579.06	c |       820 |    7770     9859    33865 |     7320      820     33 |  0.154 % |
578.74/579.10	c |      1326 |    7770     9859    33865 |     8052     1326     36 |  0.154 % |
578.74/579.18	c |      2087 |    7770     9859    33865 |     8857     2087     45 |  0.154 % |
578.94/579.31	c |      3227 |    7770     9859    33865 |     9743     3227     48 |  0.154 % |
579.14/579.55	c |      4937 |    7770     9859    33865 |    10717     4937     52 |  0.154 % |
579.54/579.98	c |      7505 |    7770     9859    33865 |    11789     7505     58 |  0.154 % |
580.24/580.69	c |     11350 |    7770     9859    33865 |    12968    11350     65 |  0.154 % |
581.45/581.87	c |     17117 |    7770     9859    33865 |    14265    10255     88 |  0.154 % |
583.84/584.28	c |     25766 |    7770     9859    33865 |    15692    11022     85 |  0.154 % |
587.54/587.97	c |     38748 |    7770     9859    33865 |    17261    15559    109 |  0.154 % |
594.03/594.49	c |     58209 |    7770     9859    33865 |    18987    16338     57 |  0.154 % |
606.43/606.85	c |     87402 |    7770     9859    33865 |    20886    14697     71 |  0.154 % |
620.52/620.98	c |    131191 |    7770     9859    33865 |    22974    14194    101 |  0.154 % |
653.70/654.15	c |    196880 |    7770     9859    33865 |    25272    20419     94 |  0.154 % |
714.58/715.02	c |    295407 |    7770     9859    33865 |    27799    19248     89 |  0.154 % |
817.33/817.86	c |    443196 |    7770     9859    33865 |    30579    14964    120 |  0.154 % |
928.58/929.12	c |    664880 |    7770     9859    33865 |    33637    22831     68 |  0.154 % |
1087.80/1088.42	c |    997406 |    7770     9859    33865 |    37001    24267    106 |  0.154 % |
1512.71/1513.59	c |   1496199 |    7770     9859    33865 |    40701    32958    150 |  0.154 % |

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-1875688-1245153040/watcher-1875688-1245153040 -o /tmp/evaluation-result-1875688-1245153040/solver-1875688-1245153040 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875688-1245153040.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: 1.00 1.00 1.00 3/64 3078
/proc/meminfo: memFree=1547296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=2992 CPUtime=0
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 182904556 3063808 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 748 246 128 292 0 407 0

[startup+0.053645 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3078
/proc/meminfo: memFree=1547296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=3612 CPUtime=0.05
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 529 0 0 0 5 0 0 0 18 0 1 0 182904556 3698688 467 1992294400 134512640 135709839 4294956240 18446744073709551615 135183317 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 903 467 133 292 0 608 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3612

[startup+0.101656 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3078
/proc/meminfo: memFree=1547296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=3612 CPUtime=0.09
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 530 0 0 0 9 0 0 0 18 0 1 0 182904556 3698688 468 1992294400 134512640 135709839 4294956240 18446744073709551615 134605372 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 903 468 133 292 0 608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3612

[startup+0.301698 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3078
/proc/meminfo: memFree=1547296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=3708 CPUtime=0.29
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 559 0 0 0 29 0 0 0 19 0 1 0 182904556 3796992 497 1992294400 134512640 135709839 4294956240 18446744073709551615 135182873 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 927 497 133 292 0 632 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3708

[startup+0.701782 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3078
/proc/meminfo: memFree=1547296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=4048 CPUtime=0.69
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 639 0 0 0 69 0 0 0 23 0 1 0 182904556 4145152 567 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 1012 567 133 292 0 717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4048

[startup+1.50195 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1545176/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=5108 CPUtime=1.48
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 1191 0 0 0 147 1 0 0 25 0 1 0 182904556 5230592 838 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 1277 838 133 292 0 982 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5108

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1543704/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=8564 CPUtime=3.06
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 2536 0 0 0 303 3 0 0 25 0 1 0 182904556 8769536 1709 1992294400 134512640 135709839 4294956240 18446744073709551615 135171013 0 0 4096 3 0 0 0 17 1 0 0
/proc/3078/statm: 2141 1709 135 292 0 1846 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8564

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1536280/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=13820 CPUtime=6.24
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 4087 0 0 0 606 18 0 0 25 0 1 0 182904556 14151680 2985 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 3455 2985 136 292 0 3160 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13820

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1528032/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=22724 CPUtime=12.63
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 6437 0 0 0 1232 31 0 0 25 0 1 0 182904556 23269376 5225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 5681 5225 136 292 0 5386 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 22724

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1512416/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=36900 CPUtime=25.42
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 9972 0 0 0 2497 45 0 0 25 0 1 0 182904556 37785600 8760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 9225 8760 136 292 0 8930 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 36900

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1489952/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=59352 CPUtime=51.01
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 15599 0 0 0 5032 69 0 0 25 0 1 0 182904556 60776448 14387 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 14838 14387 136 292 0 14543 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 59352

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3079
/proc/meminfo: memFree=1406752/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=142500 CPUtime=102.18
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 36373 0 0 0 10102 116 0 0 25 0 1 0 182904556 145920000 35161 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 35625 35161 136 292 0 35330 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 142500

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1318048/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=231992 CPUtime=162.15
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 58736 0 0 0 16044 171 0 0 25 0 1 0 182904556 237559808 57524 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 57998 57524 136 292 0 57703 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 231992

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1299616/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=249060 CPUtime=222.12
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 63030 0 0 0 21995 217 0 0 25 0 1 0 182904556 255037440 61818 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 62265 61818 136 292 0 61970 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 249060

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1255584/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=293076 CPUtime=282.07
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 74013 0 0 0 27946 261 0 0 25 0 1 0 182904556 300109824 72801 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 73269 72801 136 292 0 72974 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 293076

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1231392/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=317656 CPUtime=342.04
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 80145 0 0 0 33913 291 0 0 25 0 1 0 182904556 325279744 78933 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 79414 78933 136 292 0 79119 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 317656

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1191520/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=357812 CPUtime=402.02
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 90209 0 0 0 39854 348 0 0 25 0 1 0 182904556 366399488 88997 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 89453 88997 136 292 0 89158 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 357812

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1143840/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=405336 CPUtime=461.99
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 102028 0 0 0 45822 377 0 0 25 0 1 0 182904556 415064064 100816 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 101334 100816 136 292 0 101039 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 405336

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1080672/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=468932 CPUtime=521.97
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 117873 0 0 0 51783 414 0 0 25 0 1 0 182904556 480186368 116661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 117233 116661 136 292 0 116938 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 468932

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3081
/proc/meminfo: memFree=1034528/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=514416 CPUtime=581.94
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 129159 0 0 0 57750 444 0 0 25 0 1 0 182904556 526761984 127947 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 128604 127947 136 292 0 128309 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 514416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=1000224/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=547656 CPUtime=641.92
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 137673 0 0 0 63711 481 0 0 25 0 1 0 182904556 560799744 136461 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 136914 136461 136 292 0 136619 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 547656

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=785056/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=763780 CPUtime=881.8
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 191489 0 0 0 87571 609 0 0 25 0 1 0 182904556 782110720 190277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 190945 190277 136 292 0 190650 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 763780

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=734880/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=814732 CPUtime=941.77
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 204142 0 0 0 93539 638 0 0 25 0 1 0 182904556 834285568 202930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 203683 202930 136 292 0 203388 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 814732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=669408/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=879580 CPUtime=1001.75
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 220335 0 0 0 99501 674 0 0 25 0 1 0 182904556 900689920 219123 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 219895 219123 136 292 0 219600 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 879580

[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 3087
/proc/meminfo: memFree=603680/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=946500 CPUtime=1061.72
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 237001 0 0 0 105461 711 0 0 25 0 1 0 182904556 969216000 235789 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 236625 235789 136 292 0 236330 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 946500

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 3087
/proc/meminfo: memFree=534944/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1014140 CPUtime=1121.7
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 253885 0 0 0 111424 746 0 0 25 0 1 0 182904556 1038479360 252673 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 253535 252673 136 292 0 253240 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 1014140

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=499296/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1049940 CPUtime=1181.66
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 262794 0 0 0 117402 764 0 0 25 0 1 0 182904556 1075138560 261582 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 262485 261582 136 292 0 262190 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 1049940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=454240/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1094844 CPUtime=1241.64
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 273982 0 0 0 123375 789 0 0 25 0 1 0 182904556 1121120256 272770 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 273711 272770 136 292 0 273416 0
Current children cumulated CPU time (s) 1241.64
Current children cumulated vsize (KiB) 1094844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=408608/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1140200 CPUtime=1301.61
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 285302 0 0 0 129347 814 0 0 25 0 1 0 182904556 1167564800 284090 1992294400 134512640 135709839 4294956240 18446744073709551615 134573772 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 285050 284090 136 292 0 284755 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 1140200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=363488/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1185620 CPUtime=1361.58
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 296645 0 0 0 135316 842 0 0 25 0 1 0 182904556 1214074880 295433 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 296405 295433 136 292 0 296110 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 1185620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=323232/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1225728 CPUtime=1421.55
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 306636 0 0 0 141292 863 0 0 25 0 1 0 182904556 1255145472 305424 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 306432 305424 136 292 0 306137 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 1225728

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=269984/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1279668 CPUtime=1481.51
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 320096 0 0 0 147260 891 0 0 25 0 1 0 182904556 1310380032 318884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 319917 318885 136 292 0 319622 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 1279668

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=224032/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1324932 CPUtime=1541.49
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 331378 0 0 0 153235 914 0 0 25 0 1 0 182904556 1356730368 330166 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 331233 330166 136 292 0 330938 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 1324932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=194976/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1354388 CPUtime=1601.47
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 338680 0 0 0 159214 933 0 0 25 0 1 0 182904556 1386893312 337468 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 338597 337468 136 292 0 338302 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 1354388

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=164192/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1385024 CPUtime=1661.44
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 346300 0 0 0 165194 950 0 0 25 0 1 0 182904556 1418264576 345088 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 346256 345088 136 292 0 345961 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 1385024

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=140192/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1409064 CPUtime=1721.4
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 352304 0 0 0 171175 965 0 0 25 0 1 0 182904556 1442881536 351092 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 352266 351092 136 292 0 351971 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 1409064

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=120736/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1428892 CPUtime=1781.39
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 357241 0 0 0 177161 978 0 0 25 0 1 0 182904556 1463185408 356029 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 357223 356029 136 292 0 356928 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (KiB) 1428892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=111392/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=1437684 CPUtime=1800.08
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4194304 359444 0 0 0 179025 983 0 0 25 0 1 0 182904556 1472188416 358232 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 359421 358232 136 292 0 359126 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1437684

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

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

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3087
/proc/meminfo: memFree=111392/2055920 swapFree=4192812/4192956
[pid=3078] ppid=3076 vsize=0 CPUtime=1800.28
/proc/3078/stat : 3078 (wbo) R 3076 3078 2848 0 -1 4195332 359444 0 0 0 179025 1003 0 0 25 0 1 0 182904556 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/3078/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.3
CPU user time (s): 1790.25
CPU system time (s): 10.0465
CPU usage (%): 99.949
Max. virtual memory (cumulated for all children) (KiB): 1437684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.25
system time used= 10.0465
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 8259

runsolver used 1.87071 second user time and 4.76927 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-16 13:50:40
IDJOB=1875688
IDBENCH=2099
IDSOLVER=698
FILE ID=node13/1875688-1245153040
PBS_JOBID= 9363778
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= 192e079d91d386374bed5b6f1f3b1921
RANDOM SEED=1960587791

node13.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1547784 kB
Buffers:         70836 kB
Cached:         343480 kB
SwapCached:        144 kB
Active:          56632 kB
Inactive:       371740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1547784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2556 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            65628 kB
Committed_AS:   162540 kB
PageTables:       1460 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-1875688-1245153040.opb

Free space on /tmp at the end= 66272 MiB
End job on node13 at 2009-06-16 14:20:43