Trace number 1875593

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.23 1801.12

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
MD5SUM86a5a0860b111dc876591f0b93da0f3c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark525
Best CPU time to get the best result obtained on this benchmark1796.98
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 525
Optimality of the best value was proved NO
Number of variables1900
Total number of constraints7639
Number of constraints which are clauses7639
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 constraint10
Number of terms in the objective function 1900
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 1900
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 1900
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-1875593-1245151546.opb.
0.00/0.00	c Instance file HOME/instance-1875593-1245151546.opb
0.00/0.00	c File size is 210046 bytes.
0.01/0.02	c Highest Coefficient sum: 11
0.01/0.02	c ============================[ Problem Statistics ]=============================
0.01/0.02	c |                                                                             |
0.01/0.02	c |  Parsing time:          0.02         s                                      |
0.01/0.02	c |  Number Variables:      1900                                                |
0.01/0.02	c |  Number Clauses:        9539                                                |
0.01/0.02	c |  Number Cardinality:    0                                                   |
0.01/0.02	c |  Number PB Constraints: 0                                                   |
0.01/0.02	c core #1
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 1
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.03	c core #2
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 2
0.01/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #3
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 3
0.01/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.01/0.04	c core #4
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 4
0.01/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #5
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 5
0.01/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.01/0.05	c core #6
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 6
0.01/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #7
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 7
0.01/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.01/0.06	c core #8
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 8
0.01/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #9
0.01/0.06	c Core size: 3	Core Weight: 1	Total Weight: 9
0.01/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.01/0.07	c core #10
0.01/0.07	c Core size: 3	Core Weight: 1	Total Weight: 10
0.01/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c core #11
0.01/0.07	c Core size: 3	Core Weight: 1	Total Weight: 11
0.01/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.01/0.08	c core #12
0.01/0.08	c Core size: 3	Core Weight: 1	Total Weight: 12
0.01/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.01/0.09	c core #13
0.01/0.09	c Core size: 3	Core Weight: 1	Total Weight: 13
0.01/0.09	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c core #14
0.01/0.09	c Core size: 3	Core Weight: 1	Total Weight: 14
0.01/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.01/0.10	c core #15
0.01/0.10	c Core size: 3	Core Weight: 1	Total Weight: 15
0.01/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 1799.9 s
0.09/0.10	c core #16
0.09/0.10	c Core size: 3	Core Weight: 1	Total Weight: 16
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c core #17
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 17
0.09/0.11	c Elapsed CPU time: 0.106983 s	Remaining CPU time: 1799.89 s
0.09/0.11	c core #18
0.09/0.11	c Core size: 3	Core Weight: 1	Total Weight: 18
0.09/0.11	c Elapsed CPU time: 0.111982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #19
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 19
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 1799.88 s
0.09/0.12	c core #20
0.09/0.12	c Core size: 3	Core Weight: 1	Total Weight: 20
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c core #21
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 21
0.09/0.13	c Elapsed CPU time: 0.12698 s	Remaining CPU time: 1799.87 s
0.09/0.13	c core #22
0.09/0.13	c Core size: 3	Core Weight: 1	Total Weight: 22
0.09/0.13	c Elapsed CPU time: 0.132979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c core #23
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 23
0.09/0.14	c Elapsed CPU time: 0.137979 s	Remaining CPU time: 1799.86 s
0.09/0.14	c core #24
0.09/0.14	c Core size: 3	Core Weight: 1	Total Weight: 24
0.09/0.14	c Elapsed CPU time: 0.142978 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #25
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 25
0.09/0.15	c Elapsed CPU time: 0.147977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c core #26
0.09/0.15	c Core size: 3	Core Weight: 1	Total Weight: 26
0.09/0.15	c Elapsed CPU time: 0.153976 s	Remaining CPU time: 1799.85 s
0.09/0.16	c core #27
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 27
0.09/0.16	c Elapsed CPU time: 0.158975 s	Remaining CPU time: 1799.84 s
0.09/0.16	c core #28
0.09/0.16	c Core size: 3	Core Weight: 1	Total Weight: 28
0.09/0.16	c Elapsed CPU time: 0.163975 s	Remaining CPU time: 1799.84 s
0.09/0.17	c core #29
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 29
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.17	c core #30
0.09/0.17	c Core size: 3	Core Weight: 1	Total Weight: 30
0.09/0.17	c Elapsed CPU time: 0.173973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c core #31
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 31
0.09/0.18	c Elapsed CPU time: 0.178972 s	Remaining CPU time: 1799.82 s
0.09/0.18	c core #32
0.09/0.18	c Core size: 3	Core Weight: 1	Total Weight: 32
0.09/0.18	c Elapsed CPU time: 0.184971 s	Remaining CPU time: 1799.82 s
0.09/0.19	c core #33
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 33
0.09/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 1799.81 s
0.09/0.19	c core #34
0.09/0.19	c Core size: 3	Core Weight: 1	Total Weight: 34
0.09/0.19	c Elapsed CPU time: 0.19497 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #35
0.19/0.20	c Core size: 3	Core Weight: 1	Total Weight: 35
0.19/0.20	c Elapsed CPU time: 0.199969 s	Remaining CPU time: 1799.8 s
0.19/0.21	c core #36
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 36
0.19/0.21	c Elapsed CPU time: 0.205968 s	Remaining CPU time: 1799.79 s
0.19/0.21	c core #37
0.19/0.21	c Core size: 3	Core Weight: 1	Total Weight: 37
0.19/0.21	c Elapsed CPU time: 0.210967 s	Remaining CPU time: 1799.79 s
0.19/0.22	c core #38
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 38
0.19/0.22	c Elapsed CPU time: 0.215967 s	Remaining CPU time: 1799.78 s
0.19/0.22	c core #39
0.19/0.22	c Core size: 3	Core Weight: 1	Total Weight: 39
0.19/0.22	c Elapsed CPU time: 0.220966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c core #40
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 40
0.19/0.23	c Elapsed CPU time: 0.226965 s	Remaining CPU time: 1799.77 s
0.19/0.23	c core #41
0.19/0.23	c Core size: 3	Core Weight: 1	Total Weight: 41
0.19/0.23	c Elapsed CPU time: 0.231964 s	Remaining CPU time: 1799.77 s
0.19/0.24	c core #42
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 42
0.19/0.24	c Elapsed CPU time: 0.236963 s	Remaining CPU time: 1799.76 s
0.19/0.24	c core #43
0.19/0.24	c Core size: 3	Core Weight: 1	Total Weight: 43
0.19/0.24	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c core #44
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 44
0.19/0.25	c Elapsed CPU time: 0.246962 s	Remaining CPU time: 1799.75 s
0.19/0.25	c core #45
0.19/0.25	c Core size: 3	Core Weight: 1	Total Weight: 45
0.19/0.25	c Elapsed CPU time: 0.251961 s	Remaining CPU time: 1799.75 s
0.19/0.26	c core #46
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 46
0.19/0.26	c Elapsed CPU time: 0.25796 s	Remaining CPU time: 1799.74 s
0.19/0.26	c core #47
0.19/0.26	c Core size: 3	Core Weight: 1	Total Weight: 47
0.19/0.26	c Elapsed CPU time: 0.26296 s	Remaining CPU time: 1799.74 s
0.19/0.27	c core #48
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 48
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.19/0.27	c core #49
0.19/0.27	c Core size: 3	Core Weight: 1	Total Weight: 49
0.19/0.27	c Elapsed CPU time: 0.273958 s	Remaining CPU time: 1799.73 s
0.19/0.28	c core #50
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 50
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.19/0.28	c core #51
0.19/0.28	c Core size: 3	Core Weight: 1	Total Weight: 51
0.19/0.28	c Elapsed CPU time: 0.283956 s	Remaining CPU time: 1799.72 s
0.19/0.29	c core #52
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 52
0.19/0.29	c Elapsed CPU time: 0.289955 s	Remaining CPU time: 1799.71 s
0.19/0.29	c core #53
0.19/0.29	c Core size: 3	Core Weight: 1	Total Weight: 53
0.19/0.29	c Elapsed CPU time: 0.294955 s	Remaining CPU time: 1799.71 s
0.29/0.30	c core #54
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 54
0.29/0.30	c Elapsed CPU time: 0.299954 s	Remaining CPU time: 1799.7 s
0.29/0.30	c core #55
0.29/0.30	c Core size: 3	Core Weight: 1	Total Weight: 55
0.29/0.30	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 1799.7 s
0.29/0.31	c core #56
0.29/0.31	c Core size: 3	Core Weight: 1	Total Weight: 56
0.29/0.31	c Elapsed CPU time: 0.310952 s	Remaining CPU time: 1799.69 s
0.29/0.32	c core #57
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 57
0.29/0.32	c Elapsed CPU time: 0.315951 s	Remaining CPU time: 1799.68 s
0.29/0.32	c core #58
0.29/0.32	c Core size: 3	Core Weight: 1	Total Weight: 58
0.29/0.32	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 1799.68 s
0.29/0.33	c core #59
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 59
0.29/0.33	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 1799.67 s
0.29/0.33	c core #60
0.29/0.33	c Core size: 3	Core Weight: 1	Total Weight: 60
0.29/0.33	c Elapsed CPU time: 0.331949 s	Remaining CPU time: 1799.67 s
0.29/0.34	c core #61
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 61
0.29/0.34	c Elapsed CPU time: 0.336948 s	Remaining CPU time: 1799.66 s
0.29/0.34	c core #62
0.29/0.34	c Core size: 3	Core Weight: 1	Total Weight: 62
0.29/0.34	c Elapsed CPU time: 0.341948 s	Remaining CPU time: 1799.66 s
0.29/0.35	c core #63
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 63
0.29/0.35	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 1799.65 s
0.29/0.35	c core #64
0.29/0.35	c Core size: 3	Core Weight: 1	Total Weight: 64
0.29/0.35	c Elapsed CPU time: 0.352946 s	Remaining CPU time: 1799.65 s
0.29/0.36	c core #65
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 65
0.29/0.36	c Elapsed CPU time: 0.357945 s	Remaining CPU time: 1799.64 s
0.29/0.36	c core #66
0.29/0.36	c Core size: 3	Core Weight: 1	Total Weight: 66
0.29/0.36	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 1799.64 s
0.29/0.37	c core #67
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 67
0.29/0.37	c Elapsed CPU time: 0.367944 s	Remaining CPU time: 1799.63 s
0.29/0.37	c core #68
0.29/0.37	c Core size: 3	Core Weight: 1	Total Weight: 68
0.29/0.37	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.29/0.38	c core #69
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 69
0.29/0.38	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 1799.62 s
0.29/0.38	c core #70
0.29/0.38	c Core size: 3	Core Weight: 1	Total Weight: 70
0.29/0.38	c Elapsed CPU time: 0.382941 s	Remaining CPU time: 1799.62 s
0.29/0.39	c core #71
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 71
0.29/0.39	c Elapsed CPU time: 0.387941 s	Remaining CPU time: 1799.61 s
0.29/0.39	c core #72
0.29/0.39	c Core size: 3	Core Weight: 1	Total Weight: 72
0.29/0.39	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 1799.61 s
0.39/0.40	c core #73
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 73
0.39/0.40	c Elapsed CPU time: 0.398939 s	Remaining CPU time: 1799.6 s
0.39/0.40	c core #74
0.39/0.40	c Core size: 3	Core Weight: 1	Total Weight: 74
0.39/0.40	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 1799.6 s
0.39/0.41	c core #75
0.39/0.41	c Core size: 3	Core Weight: 1	Total Weight: 75
0.39/0.41	c Elapsed CPU time: 0.409937 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #76
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 76
0.39/0.42	c Elapsed CPU time: 0.414936 s	Remaining CPU time: 1799.59 s
0.39/0.42	c core #77
0.39/0.42	c Core size: 3	Core Weight: 1	Total Weight: 77
0.39/0.42	c Elapsed CPU time: 0.419936 s	Remaining CPU time: 1799.58 s
0.39/0.43	c core #78
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 78
0.39/0.43	c Elapsed CPU time: 0.425935 s	Remaining CPU time: 1799.57 s
0.39/0.43	c core #79
0.39/0.43	c Core size: 3	Core Weight: 1	Total Weight: 79
0.39/0.43	c Elapsed CPU time: 0.430934 s	Remaining CPU time: 1799.57 s
0.39/0.44	c core #80
0.39/0.44	c Core size: 3	Core Weight: 1	Total Weight: 80
0.39/0.44	c Elapsed CPU time: 0.435933 s	Remaining CPU time: 1799.56 s
0.39/0.44	c core #81
0.39/0.44	c Core size: 9	Core Weight: 1	Total Weight: 81
0.39/0.44	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 1799.56 s
0.39/0.45	c core #82
0.39/0.45	c Core size: 9	Core Weight: 1	Total Weight: 82
0.39/0.45	c Elapsed CPU time: 0.446932 s	Remaining CPU time: 1799.55 s
0.39/0.45	c core #83
0.39/0.45	c Core size: 9	Core Weight: 1	Total Weight: 83
0.39/0.45	c Elapsed CPU time: 0.451931 s	Remaining CPU time: 1799.55 s
0.39/0.46	c core #84
0.39/0.46	c Core size: 9	Core Weight: 1	Total Weight: 84
0.39/0.46	c Elapsed CPU time: 0.45793 s	Remaining CPU time: 1799.54 s
0.39/0.46	c core #85
0.39/0.46	c Core size: 9	Core Weight: 1	Total Weight: 85
0.39/0.46	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.47	c core #86
0.39/0.47	c Core size: 9	Core Weight: 1	Total Weight: 86
0.39/0.47	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 1799.53 s
0.39/0.47	c core #87
0.39/0.47	c Core size: 9	Core Weight: 1	Total Weight: 87
0.39/0.47	c Elapsed CPU time: 0.473927 s	Remaining CPU time: 1799.53 s
0.39/0.48	c core #88
0.39/0.48	c Core size: 9	Core Weight: 1	Total Weight: 88
0.39/0.48	c Elapsed CPU time: 0.479927 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #89
0.39/0.49	c Core size: 9	Core Weight: 1	Total Weight: 89
0.39/0.49	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 1799.52 s
0.39/0.49	c core #90
0.39/0.49	c Core size: 9	Core Weight: 1	Total Weight: 90
0.39/0.49	c Elapsed CPU time: 0.490925 s	Remaining CPU time: 1799.51 s
0.49/0.50	c core #91
0.49/0.50	c Core size: 11	Core Weight: 1	Total Weight: 91
0.49/0.50	c Elapsed CPU time: 0.495924 s	Remaining CPU time: 1799.5 s
0.49/0.50	c core #92
0.49/0.50	c Core size: 11	Core Weight: 1	Total Weight: 92
0.49/0.50	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 1799.5 s
0.49/0.51	c core #93
0.49/0.51	c Core size: 11	Core Weight: 1	Total Weight: 93
0.49/0.51	c Elapsed CPU time: 0.506922 s	Remaining CPU time: 1799.49 s
0.49/0.51	c core #94
0.49/0.51	c Core size: 11	Core Weight: 1	Total Weight: 94
0.49/0.51	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 1799.49 s
0.49/0.52	c core #95
0.49/0.52	c Core size: 11	Core Weight: 1	Total Weight: 95
0.49/0.52	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 1799.48 s
0.49/0.52	c core #96
0.49/0.52	c Core size: 11	Core Weight: 1	Total Weight: 96
0.49/0.52	c Elapsed CPU time: 0.52392 s	Remaining CPU time: 1799.48 s
0.49/0.53	c core #97
0.49/0.53	c Core size: 11	Core Weight: 1	Total Weight: 97
0.49/0.53	c Elapsed CPU time: 0.529919 s	Remaining CPU time: 1799.47 s
0.49/0.54	c core #98
0.49/0.54	c Core size: 11	Core Weight: 1	Total Weight: 98
0.49/0.54	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 1799.46 s
0.49/0.54	c core #99
0.49/0.54	c Core size: 11	Core Weight: 1	Total Weight: 99
0.49/0.54	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 1799.46 s
0.49/0.55	c core #100
0.49/0.55	c Core size: 11	Core Weight: 1	Total Weight: 100
0.49/0.55	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 1799.45 s
0.49/0.55	c core #101
0.49/0.55	c Core size: 11	Core Weight: 1	Total Weight: 101
0.49/0.55	c Elapsed CPU time: 0.551916 s	Remaining CPU time: 1799.45 s
0.49/0.56	c core #102
0.49/0.56	c Core size: 11	Core Weight: 1	Total Weight: 102
0.49/0.56	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 1799.44 s
0.49/0.56	c core #103
0.49/0.56	c Core size: 11	Core Weight: 1	Total Weight: 103
0.49/0.56	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 1799.44 s
0.49/0.57	c core #104
0.49/0.57	c Core size: 11	Core Weight: 1	Total Weight: 104
0.49/0.57	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #105
0.49/0.58	c Core size: 11	Core Weight: 1	Total Weight: 105
0.49/0.58	c Elapsed CPU time: 0.574912 s	Remaining CPU time: 1799.43 s
0.49/0.58	c core #106
0.49/0.58	c Core size: 11	Core Weight: 1	Total Weight: 106
0.49/0.58	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 1799.42 s
0.49/0.59	c core #107
0.49/0.59	c Core size: 11	Core Weight: 1	Total Weight: 107
0.49/0.59	c Elapsed CPU time: 0.58691 s	Remaining CPU time: 1799.41 s
0.49/0.60	c core #108
0.49/0.60	c Core size: 11	Core Weight: 1	Total Weight: 108
0.49/0.60	c Elapsed CPU time: 0.593909 s	Remaining CPU time: 1799.41 s
0.59/0.60	c core #109
0.59/0.60	c Core size: 11	Core Weight: 1	Total Weight: 109
0.59/0.60	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c core #110
0.59/0.61	c Core size: 11	Core Weight: 1	Total Weight: 110
0.59/0.61	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 1799.39 s
0.59/0.61	c core #111
0.59/0.61	c Core size: 11	Core Weight: 1	Total Weight: 111
0.59/0.61	c Elapsed CPU time: 0.611906 s	Remaining CPU time: 1799.39 s
0.59/0.62	c core #112
0.59/0.62	c Core size: 11	Core Weight: 1	Total Weight: 112
0.59/0.62	c Elapsed CPU time: 0.617906 s	Remaining CPU time: 1799.38 s
0.59/0.62	c core #113
0.59/0.62	c Core size: 11	Core Weight: 1	Total Weight: 113
0.59/0.62	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.59/0.63	c core #114
0.59/0.63	c Core size: 11	Core Weight: 1	Total Weight: 114
0.59/0.63	c Elapsed CPU time: 0.629904 s	Remaining CPU time: 1799.37 s
0.59/0.64	c core #115
0.59/0.64	c Core size: 11	Core Weight: 1	Total Weight: 115
0.59/0.64	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 1799.36 s
0.59/0.64	c core #116
0.59/0.64	c Core size: 11	Core Weight: 1	Total Weight: 116
0.59/0.64	c Elapsed CPU time: 0.641902 s	Remaining CPU time: 1799.36 s
0.59/0.65	c core #117
0.59/0.65	c Core size: 11	Core Weight: 1	Total Weight: 117
0.59/0.65	c Elapsed CPU time: 0.647901 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #118
0.59/0.66	c Core size: 11	Core Weight: 1	Total Weight: 118
0.59/0.66	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 1799.35 s
0.59/0.66	c core #119
0.59/0.66	c Core size: 11	Core Weight: 1	Total Weight: 119
0.59/0.66	c Elapsed CPU time: 0.659899 s	Remaining CPU time: 1799.34 s
0.59/0.67	c core #120
0.59/0.67	c Core size: 11	Core Weight: 1	Total Weight: 120
0.59/0.67	c Elapsed CPU time: 0.666898 s	Remaining CPU time: 1799.33 s
0.59/0.67	c core #121
0.59/0.67	c Core size: 11	Core Weight: 1	Total Weight: 121
0.59/0.67	c Elapsed CPU time: 0.672897 s	Remaining CPU time: 1799.33 s
0.59/0.68	c core #122
0.59/0.68	c Core size: 11	Core Weight: 1	Total Weight: 122
0.59/0.68	c Elapsed CPU time: 0.679896 s	Remaining CPU time: 1799.32 s
0.59/0.69	c core #123
0.59/0.69	c Core size: 11	Core Weight: 1	Total Weight: 123
0.59/0.69	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 1799.31 s
0.59/0.69	c core #124
0.59/0.69	c Core size: 11	Core Weight: 1	Total Weight: 124
0.59/0.69	c Elapsed CPU time: 0.691894 s	Remaining CPU time: 1799.31 s
0.69/0.70	c core #125
0.69/0.70	c Core size: 11	Core Weight: 1	Total Weight: 125
0.69/0.70	c Elapsed CPU time: 0.697893 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #126
0.69/0.71	c Core size: 11	Core Weight: 1	Total Weight: 126
0.69/0.71	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 1799.3 s
0.69/0.71	c core #127
0.69/0.71	c Core size: 11	Core Weight: 1	Total Weight: 127
0.69/0.71	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 1799.29 s
0.69/0.72	c core #128
0.69/0.72	c Core size: 11	Core Weight: 1	Total Weight: 128
0.69/0.72	c Elapsed CPU time: 0.714891 s	Remaining CPU time: 1799.29 s
0.69/0.73	c core #129
0.69/0.73	c Core size: 11	Core Weight: 1	Total Weight: 129
0.69/0.73	c Elapsed CPU time: 0.72089 s	Remaining CPU time: 1799.28 s
0.69/0.73	c core #130
0.69/0.73	c Core size: 11	Core Weight: 1	Total Weight: 130
0.69/0.73	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #131
0.69/0.74	c Core size: 11	Core Weight: 1	Total Weight: 131
0.69/0.74	c Elapsed CPU time: 0.733888 s	Remaining CPU time: 1799.27 s
0.69/0.74	c core #132
0.69/0.74	c Core size: 11	Core Weight: 1	Total Weight: 132
0.69/0.74	c Elapsed CPU time: 0.740887 s	Remaining CPU time: 1799.26 s
0.69/0.75	c core #133
0.69/0.75	c Core size: 11	Core Weight: 1	Total Weight: 133
0.69/0.75	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #134
0.69/0.76	c Core size: 11	Core Weight: 1	Total Weight: 134
0.69/0.76	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 1799.25 s
0.69/0.76	c core #135
0.69/0.76	c Core size: 11	Core Weight: 1	Total Weight: 135
0.69/0.76	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 1799.24 s
0.69/0.77	c core #136
0.69/0.77	c Core size: 11	Core Weight: 1	Total Weight: 136
0.69/0.77	c Elapsed CPU time: 0.766883 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #137
0.69/0.78	c Core size: 11	Core Weight: 1	Total Weight: 137
0.69/0.78	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 1799.23 s
0.69/0.78	c core #138
0.69/0.78	c Core size: 11	Core Weight: 1	Total Weight: 138
0.69/0.78	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 1799.22 s
0.69/0.79	c core #139
0.69/0.79	c Core size: 11	Core Weight: 1	Total Weight: 139
0.69/0.79	c Elapsed CPU time: 0.78588 s	Remaining CPU time: 1799.21 s
0.69/0.80	c core #140
0.69/0.80	c Core size: 11	Core Weight: 1	Total Weight: 140
0.69/0.80	c Elapsed CPU time: 0.791879 s	Remaining CPU time: 1799.21 s
0.79/0.80	c core #141
0.79/0.80	c Core size: 11	Core Weight: 1	Total Weight: 141
0.79/0.80	c Elapsed CPU time: 0.797878 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #142
0.79/0.81	c Core size: 11	Core Weight: 1	Total Weight: 142
0.79/0.81	c Elapsed CPU time: 0.803877 s	Remaining CPU time: 1799.2 s
0.79/0.81	c core #143
0.79/0.81	c Core size: 11	Core Weight: 1	Total Weight: 143
0.79/0.81	c Elapsed CPU time: 0.809876 s	Remaining CPU time: 1799.19 s
0.79/0.82	c core #144
0.79/0.82	c Core size: 11	Core Weight: 1	Total Weight: 144
0.79/0.82	c Elapsed CPU time: 0.816875 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #145
0.79/0.83	c Core size: 11	Core Weight: 1	Total Weight: 145
0.79/0.83	c Elapsed CPU time: 0.822874 s	Remaining CPU time: 1799.18 s
0.79/0.83	c core #146
0.79/0.83	c Core size: 11	Core Weight: 1	Total Weight: 146
0.79/0.83	c Elapsed CPU time: 0.828873 s	Remaining CPU time: 1799.17 s
0.79/0.84	c core #147
0.79/0.84	c Core size: 11	Core Weight: 1	Total Weight: 147
0.79/0.84	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #148
0.79/0.85	c Core size: 11	Core Weight: 1	Total Weight: 148
0.79/0.85	c Elapsed CPU time: 0.841872 s	Remaining CPU time: 1799.16 s
0.79/0.85	c core #149
0.79/0.85	c Core size: 11	Core Weight: 1	Total Weight: 149
0.79/0.85	c Elapsed CPU time: 0.847871 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #150
0.79/0.86	c Core size: 11	Core Weight: 1	Total Weight: 150
0.79/0.86	c Elapsed CPU time: 0.85487 s	Remaining CPU time: 1799.15 s
0.79/0.86	c core #151
0.79/0.86	c Core size: 11	Core Weight: 1	Total Weight: 151
0.79/0.86	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 1799.14 s
0.79/0.87	c core #152
0.79/0.87	c Core size: 11	Core Weight: 1	Total Weight: 152
0.79/0.87	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #153
0.79/0.88	c Core size: 11	Core Weight: 1	Total Weight: 153
0.79/0.88	c Elapsed CPU time: 0.873867 s	Remaining CPU time: 1799.13 s
0.79/0.88	c core #154
0.79/0.88	c Core size: 11	Core Weight: 1	Total Weight: 154
0.79/0.88	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 1799.12 s
0.79/0.89	c core #155
0.79/0.89	c Core size: 11	Core Weight: 1	Total Weight: 155
0.79/0.89	c Elapsed CPU time: 0.886865 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #156
0.89/0.90	c Core size: 11	Core Weight: 1	Total Weight: 156
0.89/0.90	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 1799.11 s
0.89/0.90	c core #157
0.89/0.90	c Core size: 11	Core Weight: 1	Total Weight: 157
0.89/0.90	c Elapsed CPU time: 0.899863 s	Remaining CPU time: 1799.1 s
0.89/0.91	c core #158
0.89/0.91	c Core size: 11	Core Weight: 1	Total Weight: 158
0.89/0.91	c Elapsed CPU time: 0.906862 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #159
0.89/0.92	c Core size: 11	Core Weight: 1	Total Weight: 159
0.89/0.92	c Elapsed CPU time: 0.913861 s	Remaining CPU time: 1799.09 s
0.89/0.92	c core #160
0.89/0.92	c Core size: 11	Core Weight: 1	Total Weight: 160
0.89/0.92	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 1799.08 s
0.89/0.93	c core #161
0.89/0.93	c Core size: 11	Core Weight: 1	Total Weight: 161
0.89/0.93	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #162
0.89/0.94	c Core size: 11	Core Weight: 1	Total Weight: 162
0.89/0.94	c Elapsed CPU time: 0.933858 s	Remaining CPU time: 1799.07 s
0.89/0.94	c core #163
0.89/0.94	c Core size: 11	Core Weight: 1	Total Weight: 163
0.89/0.94	c Elapsed CPU time: 0.939857 s	Remaining CPU time: 1799.06 s
0.89/0.95	c core #164
0.89/0.95	c Core size: 11	Core Weight: 1	Total Weight: 164
0.89/0.95	c Elapsed CPU time: 0.946856 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #165
0.89/0.96	c Core size: 11	Core Weight: 1	Total Weight: 165
0.89/0.96	c Elapsed CPU time: 0.952855 s	Remaining CPU time: 1799.05 s
0.89/0.96	c core #166
0.89/0.96	c Core size: 11	Core Weight: 1	Total Weight: 166
0.89/0.96	c Elapsed CPU time: 0.959854 s	Remaining CPU time: 1799.04 s
0.89/0.97	c core #167
0.89/0.97	c Core size: 11	Core Weight: 1	Total Weight: 167
0.89/0.97	c Elapsed CPU time: 0.966853 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #168
0.89/0.98	c Core size: 11	Core Weight: 1	Total Weight: 168
0.89/0.98	c Elapsed CPU time: 0.972852 s	Remaining CPU time: 1799.03 s
0.89/0.98	c core #169
0.89/0.98	c Core size: 11	Core Weight: 1	Total Weight: 169
0.89/0.98	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 1799.02 s
0.89/0.99	c core #170
0.89/0.99	c Core size: 16	Core Weight: 1	Total Weight: 170
0.89/0.99	c Elapsed CPU time: 0.986849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #171
0.99/1.00	c Core size: 20	Core Weight: 1	Total Weight: 171
0.99/1.00	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 1799.01 s
0.99/1.00	c core #172
0.99/1.00	c Core size: 22	Core Weight: 1	Total Weight: 172
0.99/1.00	c Elapsed CPU time: 0.999848 s	Remaining CPU time: 1799 s
0.99/1.01	c core #173
0.99/1.01	c Core size: 19	Core Weight: 1	Total Weight: 173
0.99/1.01	c Elapsed CPU time: 1.00685 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #174
0.99/1.02	c Core size: 22	Core Weight: 1	Total Weight: 174
0.99/1.02	c Elapsed CPU time: 1.01385 s	Remaining CPU time: 1798.99 s
0.99/1.02	c core #175
0.99/1.02	c Core size: 22	Core Weight: 1	Total Weight: 175
0.99/1.02	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 1798.98 s
0.99/1.03	c core #176
0.99/1.03	c Core size: 19	Core Weight: 1	Total Weight: 176
0.99/1.03	c Elapsed CPU time: 1.02784 s	Remaining CPU time: 1798.97 s
0.99/1.04	c core #177
0.99/1.04	c Core size: 22	Core Weight: 1	Total Weight: 177
0.99/1.04	c Elapsed CPU time: 1.03384 s	Remaining CPU time: 1798.97 s
0.99/1.05	c core #178
0.99/1.05	c Core size: 22	Core Weight: 1	Total Weight: 178
0.99/1.05	c Elapsed CPU time: 1.04084 s	Remaining CPU time: 1798.96 s
0.99/1.05	c core #179
0.99/1.05	c Core size: 21	Core Weight: 1	Total Weight: 179
0.99/1.05	c Elapsed CPU time: 1.04784 s	Remaining CPU time: 1798.95 s
0.99/1.06	c core #180
0.99/1.06	c Core size: 22	Core Weight: 1	Total Weight: 180
0.99/1.06	c Elapsed CPU time: 1.05584 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #181
0.99/1.07	c Core size: 21	Core Weight: 1	Total Weight: 181
0.99/1.07	c Elapsed CPU time: 1.06184 s	Remaining CPU time: 1798.94 s
0.99/1.07	c core #182
0.99/1.07	c Core size: 20	Core Weight: 1	Total Weight: 182
0.99/1.07	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 1798.93 s
0.99/1.08	c core #183
0.99/1.08	c Core size: 22	Core Weight: 1	Total Weight: 183
0.99/1.08	c Elapsed CPU time: 1.07584 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #184
0.99/1.09	c Core size: 21	Core Weight: 1	Total Weight: 184
0.99/1.09	c Elapsed CPU time: 1.08283 s	Remaining CPU time: 1798.92 s
0.99/1.09	c core #185
0.99/1.09	c Core size: 21	Core Weight: 1	Total Weight: 185
0.99/1.09	c Elapsed CPU time: 1.08983 s	Remaining CPU time: 1798.91 s
1.09/1.10	c core #186
1.09/1.10	c Core size: 21	Core Weight: 1	Total Weight: 186
1.09/1.10	c Elapsed CPU time: 1.09683 s	Remaining CPU time: 1798.9 s
1.09/1.11	c core #187
1.09/1.11	c Core size: 21	Core Weight: 1	Total Weight: 187
1.09/1.11	c Elapsed CPU time: 1.10283 s	Remaining CPU time: 1798.9 s
1.09/1.12	c core #188
1.09/1.12	c Core size: 21	Core Weight: 1	Total Weight: 188
1.09/1.12	c Elapsed CPU time: 1.10983 s	Remaining CPU time: 1798.89 s
1.09/1.12	c core #189
1.09/1.12	c Core size: 16	Core Weight: 1	Total Weight: 189
1.09/1.12	c Elapsed CPU time: 1.11583 s	Remaining CPU time: 1798.88 s
1.09/1.13	c core #190
1.09/1.13	c Core size: 20	Core Weight: 1	Total Weight: 190
1.09/1.13	c Elapsed CPU time: 1.12383 s	Remaining CPU time: 1798.88 s
1.09/1.14	c core #191
1.09/1.14	c Core size: 22	Core Weight: 1	Total Weight: 191
1.09/1.14	c Elapsed CPU time: 1.13083 s	Remaining CPU time: 1798.87 s
1.09/1.14	c core #192
1.09/1.14	c Core size: 19	Core Weight: 1	Total Weight: 192
1.09/1.14	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 1798.86 s
1.09/1.15	c core #193
1.09/1.15	c Core size: 22	Core Weight: 1	Total Weight: 193
1.09/1.15	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 1798.86 s
1.09/1.16	c core #194
1.09/1.16	c Core size: 22	Core Weight: 1	Total Weight: 194
1.09/1.16	c Elapsed CPU time: 1.15082 s	Remaining CPU time: 1798.85 s
1.09/1.17	c core #195
1.09/1.17	c Core size: 19	Core Weight: 1	Total Weight: 195
1.09/1.17	c Elapsed CPU time: 1.15782 s	Remaining CPU time: 1798.84 s
1.09/1.17	c core #196
1.09/1.17	c Core size: 22	Core Weight: 1	Total Weight: 196
1.09/1.17	c Elapsed CPU time: 1.16482 s	Remaining CPU time: 1798.84 s
1.09/1.18	c core #197
1.09/1.18	c Core size: 22	Core Weight: 1	Total Weight: 197
1.09/1.18	c Elapsed CPU time: 1.17282 s	Remaining CPU time: 1798.83 s
1.09/1.19	c core #198
1.09/1.19	c Core size: 21	Core Weight: 1	Total Weight: 198
1.09/1.19	c Elapsed CPU time: 1.17982 s	Remaining CPU time: 1798.82 s
1.09/1.20	c core #199
1.09/1.20	c Core size: 22	Core Weight: 1	Total Weight: 199
1.09/1.20	c Elapsed CPU time: 1.18682 s	Remaining CPU time: 1798.81 s
1.19/1.20	c core #200
1.19/1.20	c Core size: 21	Core Weight: 1	Total Weight: 200
1.19/1.20	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 1798.81 s
1.19/1.21	c core #201
1.19/1.21	c Core size: 20	Core Weight: 1	Total Weight: 201
1.19/1.21	c Elapsed CPU time: 1.20182 s	Remaining CPU time: 1798.8 s
1.19/1.22	c core #202
1.19/1.22	c Core size: 22	Core Weight: 1	Total Weight: 202
1.19/1.22	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 1798.79 s
1.19/1.23	c core #203
1.19/1.23	c Core size: 21	Core Weight: 1	Total Weight: 203
1.19/1.23	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 1798.78 s
1.19/1.23	c core #204
1.19/1.23	c Core size: 21	Core Weight: 1	Total Weight: 204
1.19/1.23	c Elapsed CPU time: 1.22481 s	Remaining CPU time: 1798.78 s
1.19/1.24	c core #205
1.19/1.24	c Core size: 21	Core Weight: 1	Total Weight: 205
1.19/1.24	c Elapsed CPU time: 1.23181 s	Remaining CPU time: 1798.77 s
1.19/1.25	c core #206
1.19/1.25	c Core size: 21	Core Weight: 1	Total Weight: 206
1.19/1.25	c Elapsed CPU time: 1.23981 s	Remaining CPU time: 1798.76 s
1.19/1.26	c core #207
1.19/1.26	c Core size: 21	Core Weight: 1	Total Weight: 207
1.19/1.26	c Elapsed CPU time: 1.24681 s	Remaining CPU time: 1798.75 s
1.19/1.26	c core #208
1.19/1.26	c Core size: 16	Core Weight: 1	Total Weight: 208
1.19/1.26	c Elapsed CPU time: 1.25581 s	Remaining CPU time: 1798.74 s
1.19/1.27	c core #209
1.19/1.27	c Core size: 20	Core Weight: 1	Total Weight: 209
1.19/1.27	c Elapsed CPU time: 1.26281 s	Remaining CPU time: 1798.74 s
1.19/1.28	c core #210
1.19/1.28	c Core size: 22	Core Weight: 1	Total Weight: 210
1.19/1.28	c Elapsed CPU time: 1.27081 s	Remaining CPU time: 1798.73 s
1.19/1.29	c core #211
1.19/1.29	c Core size: 19	Core Weight: 1	Total Weight: 211
1.19/1.29	c Elapsed CPU time: 1.2788 s	Remaining CPU time: 1798.72 s
1.19/1.29	c core #212
1.19/1.29	c Core size: 22	Core Weight: 1	Total Weight: 212
1.19/1.29	c Elapsed CPU time: 1.2868 s	Remaining CPU time: 1798.71 s
1.29/1.30	c core #213
1.29/1.30	c Core size: 22	Core Weight: 1	Total Weight: 213
1.29/1.30	c Elapsed CPU time: 1.2948 s	Remaining CPU time: 1798.71 s
1.29/1.31	c core #214
1.29/1.31	c Core size: 19	Core Weight: 1	Total Weight: 214
1.29/1.31	c Elapsed CPU time: 1.3028 s	Remaining CPU time: 1798.7 s
1.29/1.32	c core #215
1.29/1.32	c Core size: 22	Core Weight: 1	Total Weight: 215
1.29/1.32	c Elapsed CPU time: 1.3108 s	Remaining CPU time: 1798.69 s
1.29/1.33	c core #216
1.29/1.33	c Core size: 22	Core Weight: 1	Total Weight: 216
1.29/1.33	c Elapsed CPU time: 1.3188 s	Remaining CPU time: 1798.68 s
1.29/1.34	c core #217
1.29/1.34	c Core size: 21	Core Weight: 1	Total Weight: 217
1.29/1.34	c Elapsed CPU time: 1.3268 s	Remaining CPU time: 1798.67 s
1.29/1.34	c core #218
1.29/1.34	c Core size: 22	Core Weight: 1	Total Weight: 218
1.29/1.34	c Elapsed CPU time: 1.3358 s	Remaining CPU time: 1798.66 s
1.29/1.35	c core #219
1.29/1.35	c Core size: 21	Core Weight: 1	Total Weight: 219
1.29/1.35	c Elapsed CPU time: 1.3438 s	Remaining CPU time: 1798.66 s
1.29/1.36	c core #220
1.29/1.36	c Core size: 20	Core Weight: 1	Total Weight: 220
1.29/1.36	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 1798.65 s
1.29/1.37	c core #221
1.29/1.37	c Core size: 22	Core Weight: 1	Total Weight: 221
1.29/1.37	c Elapsed CPU time: 1.35979 s	Remaining CPU time: 1798.64 s
1.29/1.38	c core #222
1.29/1.38	c Core size: 21	Core Weight: 1	Total Weight: 222
1.29/1.38	c Elapsed CPU time: 1.36879 s	Remaining CPU time: 1798.63 s
1.29/1.38	c core #223
1.29/1.38	c Core size: 21	Core Weight: 1	Total Weight: 223
1.29/1.38	c Elapsed CPU time: 1.37679 s	Remaining CPU time: 1798.62 s
1.29/1.39	c core #224
1.29/1.39	c Core size: 21	Core Weight: 1	Total Weight: 224
1.29/1.39	c Elapsed CPU time: 1.38579 s	Remaining CPU time: 1798.61 s
1.39/1.40	c core #225
1.39/1.40	c Core size: 21	Core Weight: 1	Total Weight: 225
1.39/1.40	c Elapsed CPU time: 1.39379 s	Remaining CPU time: 1798.61 s
1.39/1.41	c core #226
1.39/1.41	c Core size: 21	Core Weight: 1	Total Weight: 226
1.39/1.41	c Elapsed CPU time: 1.40179 s	Remaining CPU time: 1798.6 s
1.39/1.42	c core #227
1.39/1.42	c Core size: 16	Core Weight: 1	Total Weight: 227
1.39/1.42	c Elapsed CPU time: 1.41078 s	Remaining CPU time: 1798.59 s
1.39/1.43	c core #228
1.39/1.43	c Core size: 20	Core Weight: 1	Total Weight: 228
1.39/1.43	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 1798.58 s
1.39/1.44	c core #229
1.39/1.44	c Core size: 22	Core Weight: 1	Total Weight: 229
1.39/1.44	c Elapsed CPU time: 1.42778 s	Remaining CPU time: 1798.57 s
1.39/1.44	c core #230
1.39/1.44	c Core size: 19	Core Weight: 1	Total Weight: 230
1.39/1.44	c Elapsed CPU time: 1.43578 s	Remaining CPU time: 1798.56 s
1.39/1.45	c core #231
1.39/1.45	c Core size: 22	Core Weight: 1	Total Weight: 231
1.39/1.45	c Elapsed CPU time: 1.44478 s	Remaining CPU time: 1798.56 s
1.39/1.46	c core #232
1.39/1.46	c Core size: 22	Core Weight: 1	Total Weight: 232
1.39/1.46	c Elapsed CPU time: 1.45378 s	Remaining CPU time: 1798.55 s
1.39/1.47	c core #233
1.39/1.47	c Core size: 19	Core Weight: 1	Total Weight: 233
1.39/1.47	c Elapsed CPU time: 1.46078 s	Remaining CPU time: 1798.54 s
1.39/1.48	c core #234
1.39/1.48	c Core size: 22	Core Weight: 1	Total Weight: 234
1.39/1.48	c Elapsed CPU time: 1.46978 s	Remaining CPU time: 1798.53 s
1.39/1.49	c core #235
1.39/1.49	c Core size: 22	Core Weight: 1	Total Weight: 235
1.39/1.49	c Elapsed CPU time: 1.47877 s	Remaining CPU time: 1798.52 s
1.39/1.50	c core #236
1.39/1.50	c Core size: 21	Core Weight: 1	Total Weight: 236
1.39/1.50	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 1798.51 s
1.49/1.51	c core #237
1.49/1.51	c Core size: 22	Core Weight: 1	Total Weight: 237
1.49/1.51	c Elapsed CPU time: 1.49677 s	Remaining CPU time: 1798.5 s
1.49/1.51	c core #238
1.49/1.51	c Core size: 21	Core Weight: 1	Total Weight: 238
1.49/1.51	c Elapsed CPU time: 1.50477 s	Remaining CPU time: 1798.5 s
1.49/1.52	c core #239
1.49/1.52	c Core size: 20	Core Weight: 1	Total Weight: 239
1.49/1.52	c Elapsed CPU time: 1.51377 s	Remaining CPU time: 1798.49 s
1.49/1.53	c core #240
1.49/1.53	c Core size: 22	Core Weight: 1	Total Weight: 240
1.49/1.53	c Elapsed CPU time: 1.52277 s	Remaining CPU time: 1798.48 s
1.49/1.54	c core #241
1.49/1.54	c Core size: 21	Core Weight: 1	Total Weight: 241
1.49/1.54	c Elapsed CPU time: 1.53177 s	Remaining CPU time: 1798.47 s
1.49/1.55	c core #242
1.49/1.55	c Core size: 21	Core Weight: 1	Total Weight: 242
1.49/1.55	c Elapsed CPU time: 1.54076 s	Remaining CPU time: 1798.46 s
1.49/1.56	c core #243
1.49/1.56	c Core size: 21	Core Weight: 1	Total Weight: 243
1.49/1.56	c Elapsed CPU time: 1.55076 s	Remaining CPU time: 1798.45 s
1.49/1.57	c core #244
1.49/1.57	c Core size: 21	Core Weight: 1	Total Weight: 244
1.49/1.57	c Elapsed CPU time: 1.55976 s	Remaining CPU time: 1798.44 s
1.49/1.58	c core #245
1.49/1.58	c Core size: 21	Core Weight: 1	Total Weight: 245
1.49/1.58	c Elapsed CPU time: 1.56876 s	Remaining CPU time: 1798.43 s
1.49/1.59	c core #246
1.49/1.59	c Core size: 16	Core Weight: 1	Total Weight: 246
1.49/1.59	c Elapsed CPU time: 1.57776 s	Remaining CPU time: 1798.42 s
1.49/1.60	c core #247
1.49/1.60	c Core size: 20	Core Weight: 1	Total Weight: 247
1.49/1.60	c Elapsed CPU time: 1.58676 s	Remaining CPU time: 1798.41 s
1.59/1.61	c core #248
1.59/1.61	c Core size: 22	Core Weight: 1	Total Weight: 248
1.59/1.61	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 1798.4 s
1.59/1.61	c core #249
1.59/1.61	c Core size: 19	Core Weight: 1	Total Weight: 249
1.59/1.61	c Elapsed CPU time: 1.60576 s	Remaining CPU time: 1798.39 s
1.59/1.62	c core #250
1.59/1.62	c Core size: 22	Core Weight: 1	Total Weight: 250
1.59/1.62	c Elapsed CPU time: 1.61475 s	Remaining CPU time: 1798.39 s
1.59/1.63	c core #251
1.59/1.63	c Core size: 22	Core Weight: 1	Total Weight: 251
1.59/1.63	c Elapsed CPU time: 1.62475 s	Remaining CPU time: 1798.38 s
1.59/1.64	c core #252
1.59/1.64	c Core size: 19	Core Weight: 1	Total Weight: 252
1.59/1.64	c Elapsed CPU time: 1.63475 s	Remaining CPU time: 1798.37 s
1.59/1.65	c core #253
1.59/1.65	c Core size: 22	Core Weight: 1	Total Weight: 253
1.59/1.65	c Elapsed CPU time: 1.64475 s	Remaining CPU time: 1798.36 s
1.59/1.66	c core #254
1.59/1.66	c Core size: 22	Core Weight: 1	Total Weight: 254
1.59/1.66	c Elapsed CPU time: 1.65475 s	Remaining CPU time: 1798.35 s
1.59/1.67	c core #255
1.59/1.67	c Core size: 21	Core Weight: 1	Total Weight: 255
1.59/1.67	c Elapsed CPU time: 1.66375 s	Remaining CPU time: 1798.34 s
1.59/1.68	c core #256
1.59/1.68	c Core size: 22	Core Weight: 1	Total Weight: 256
1.59/1.68	c Elapsed CPU time: 1.67375 s	Remaining CPU time: 1798.33 s
1.59/1.69	c core #257
1.59/1.69	c Core size: 21	Core Weight: 1	Total Weight: 257
1.59/1.69	c Elapsed CPU time: 1.68374 s	Remaining CPU time: 1798.32 s
1.69/1.70	c core #258
1.69/1.70	c Core size: 20	Core Weight: 1	Total Weight: 258
1.69/1.70	c Elapsed CPU time: 1.69374 s	Remaining CPU time: 1798.31 s
1.69/1.71	c core #259
1.69/1.71	c Core size: 22	Core Weight: 1	Total Weight: 259
1.69/1.71	c Elapsed CPU time: 1.70374 s	Remaining CPU time: 1798.3 s
1.69/1.72	c core #260
1.69/1.72	c Core size: 21	Core Weight: 1	Total Weight: 260
1.69/1.72	c Elapsed CPU time: 1.71374 s	Remaining CPU time: 1798.29 s
1.69/1.73	c core #261
1.69/1.73	c Core size: 21	Core Weight: 1	Total Weight: 261
1.69/1.73	c Elapsed CPU time: 1.72374 s	Remaining CPU time: 1798.28 s
1.69/1.74	c core #262
1.69/1.74	c Core size: 21	Core Weight: 1	Total Weight: 262
1.69/1.74	c Elapsed CPU time: 1.73274 s	Remaining CPU time: 1798.27 s
1.69/1.75	c core #263
1.69/1.75	c Core size: 21	Core Weight: 1	Total Weight: 263
1.69/1.75	c Elapsed CPU time: 1.74373 s	Remaining CPU time: 1798.26 s
1.69/1.76	c core #264
1.69/1.76	c Core size: 21	Core Weight: 1	Total Weight: 264
1.69/1.76	c Elapsed CPU time: 1.75373 s	Remaining CPU time: 1798.25 s
1.69/1.77	c core #265
1.69/1.77	c Core size: 16	Core Weight: 1	Total Weight: 265
1.69/1.77	c Elapsed CPU time: 1.76273 s	Remaining CPU time: 1798.24 s
1.69/1.78	c core #266
1.69/1.78	c Core size: 20	Core Weight: 1	Total Weight: 266
1.69/1.78	c Elapsed CPU time: 1.77273 s	Remaining CPU time: 1798.23 s
1.69/1.79	c core #267
1.69/1.79	c Core size: 22	Core Weight: 1	Total Weight: 267
1.69/1.79	c Elapsed CPU time: 1.78373 s	Remaining CPU time: 1798.22 s
1.79/1.80	c core #268
1.79/1.80	c Core size: 19	Core Weight: 1	Total Weight: 268
1.79/1.80	c Elapsed CPU time: 1.79373 s	Remaining CPU time: 1798.21 s
1.79/1.81	c core #269
1.79/1.81	c Core size: 22	Core Weight: 1	Total Weight: 269
1.79/1.81	c Elapsed CPU time: 1.80373 s	Remaining CPU time: 1798.2 s
1.79/1.82	c core #270
1.79/1.82	c Core size: 22	Core Weight: 1	Total Weight: 270
1.79/1.82	c Elapsed CPU time: 1.81372 s	Remaining CPU time: 1798.19 s
1.79/1.83	c core #271
1.79/1.83	c Core size: 19	Core Weight: 1	Total Weight: 271
1.79/1.83	c Elapsed CPU time: 1.82472 s	Remaining CPU time: 1798.18 s
1.79/1.85	c core #272
1.79/1.85	c Core size: 22	Core Weight: 1	Total Weight: 272
1.79/1.85	c Elapsed CPU time: 1.83472 s	Remaining CPU time: 1798.17 s
1.79/1.86	c core #273
1.79/1.86	c Core size: 22	Core Weight: 1	Total Weight: 273
1.79/1.86	c Elapsed CPU time: 1.84572 s	Remaining CPU time: 1798.15 s
1.79/1.87	c core #274
1.79/1.87	c Core size: 21	Core Weight: 1	Total Weight: 274
1.79/1.87	c Elapsed CPU time: 1.85672 s	Remaining CPU time: 1798.14 s
1.79/1.88	c core #275
1.79/1.88	c Core size: 22	Core Weight: 1	Total Weight: 275
1.79/1.88	c Elapsed CPU time: 1.86672 s	Remaining CPU time: 1798.13 s
1.79/1.89	c core #276
1.79/1.89	c Core size: 21	Core Weight: 1	Total Weight: 276
1.79/1.89	c Elapsed CPU time: 1.87771 s	Remaining CPU time: 1798.12 s
1.89/1.90	c core #277
1.89/1.90	c Core size: 20	Core Weight: 1	Total Weight: 277
1.89/1.90	c Elapsed CPU time: 1.88771 s	Remaining CPU time: 1798.11 s
1.89/1.91	c core #278
1.89/1.91	c Core size: 22	Core Weight: 1	Total Weight: 278
1.89/1.91	c Elapsed CPU time: 1.89871 s	Remaining CPU time: 1798.1 s
1.89/1.92	c core #279
1.89/1.92	c Core size: 21	Core Weight: 1	Total Weight: 279
1.89/1.92	c Elapsed CPU time: 1.90971 s	Remaining CPU time: 1798.09 s
1.89/1.93	c core #280
1.89/1.93	c Core size: 21	Core Weight: 1	Total Weight: 280
1.89/1.93	c Elapsed CPU time: 1.91971 s	Remaining CPU time: 1798.08 s
1.89/1.94	c core #281
1.89/1.94	c Core size: 21	Core Weight: 1	Total Weight: 281
1.89/1.94	c Elapsed CPU time: 1.93071 s	Remaining CPU time: 1798.07 s
1.89/1.95	c core #282
1.89/1.95	c Core size: 21	Core Weight: 1	Total Weight: 282
1.89/1.95	c Elapsed CPU time: 1.9407 s	Remaining CPU time: 1798.06 s
1.89/1.96	c core #283
1.89/1.96	c Core size: 21	Core Weight: 1	Total Weight: 283
1.89/1.96	c Elapsed CPU time: 1.9517 s	Remaining CPU time: 1798.05 s
1.89/1.97	c core #284
1.89/1.97	c Core size: 16	Core Weight: 1	Total Weight: 284
1.89/1.97	c Elapsed CPU time: 1.9627 s	Remaining CPU time: 1798.04 s
1.89/1.98	c core #285
1.89/1.98	c Core size: 20	Core Weight: 1	Total Weight: 285
1.89/1.98	c Elapsed CPU time: 1.9737 s	Remaining CPU time: 1798.03 s
1.89/2.00	c core #286
1.89/2.00	c Core size: 22	Core Weight: 1	Total Weight: 286
1.89/2.00	c Elapsed CPU time: 1.9837 s	Remaining CPU time: 1798.02 s
1.99/2.01	c core #287
1.99/2.01	c Core size: 19	Core Weight: 1	Total Weight: 287
1.99/2.01	c Elapsed CPU time: 1.9947 s	Remaining CPU time: 1798.01 s
1.99/2.02	c core #288
1.99/2.02	c Core size: 22	Core Weight: 1	Total Weight: 288
1.99/2.02	c Elapsed CPU time: 2.00569 s	Remaining CPU time: 1797.99 s
1.99/2.03	c core #289
1.99/2.03	c Core size: 22	Core Weight: 1	Total Weight: 289
1.99/2.03	c Elapsed CPU time: 2.01669 s	Remaining CPU time: 1797.98 s
1.99/2.04	c core #290
1.99/2.04	c Core size: 19	Core Weight: 1	Total Weight: 290
1.99/2.04	c Elapsed CPU time: 2.02769 s	Remaining CPU time: 1797.97 s
1.99/2.05	c core #291
1.99/2.05	c Core size: 22	Core Weight: 1	Total Weight: 291
1.99/2.05	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 1797.96 s
1.99/2.06	c core #292
1.99/2.06	c Core size: 22	Core Weight: 1	Total Weight: 292
1.99/2.06	c Elapsed CPU time: 2.04969 s	Remaining CPU time: 1797.95 s
1.99/2.07	c core #293
1.99/2.07	c Core size: 21	Core Weight: 1	Total Weight: 293
1.99/2.07	c Elapsed CPU time: 2.06069 s	Remaining CPU time: 1797.94 s
1.99/2.08	c core #294
1.99/2.08	c Core size: 22	Core Weight: 1	Total Weight: 294
1.99/2.08	c Elapsed CPU time: 2.07168 s	Remaining CPU time: 1797.93 s
1.99/2.09	c core #295
1.99/2.09	c Core size: 21	Core Weight: 1	Total Weight: 295
1.99/2.09	c Elapsed CPU time: 2.08268 s	Remaining CPU time: 1797.92 s
2.09/2.11	c core #296
2.09/2.11	c Core size: 20	Core Weight: 1	Total Weight: 296
2.09/2.11	c Elapsed CPU time: 2.09368 s	Remaining CPU time: 1797.91 s
2.09/2.12	c core #297
2.09/2.12	c Core size: 22	Core Weight: 1	Total Weight: 297
2.09/2.12	c Elapsed CPU time: 2.10568 s	Remaining CPU time: 1797.89 s
2.09/2.13	c core #298
2.09/2.13	c Core size: 21	Core Weight: 1	Total Weight: 298
2.09/2.13	c Elapsed CPU time: 2.11668 s	Remaining CPU time: 1797.88 s
2.09/2.14	c core #299
2.09/2.14	c Core size: 21	Core Weight: 1	Total Weight: 299
2.09/2.14	c Elapsed CPU time: 2.12768 s	Remaining CPU time: 1797.87 s
2.09/2.15	c core #300
2.09/2.15	c Core size: 21	Core Weight: 1	Total Weight: 300
2.09/2.15	c Elapsed CPU time: 2.13967 s	Remaining CPU time: 1797.86 s
2.09/2.16	c core #301
2.09/2.16	c Core size: 21	Core Weight: 1	Total Weight: 301
2.09/2.16	c Elapsed CPU time: 2.15067 s	Remaining CPU time: 1797.85 s
2.09/2.17	c core #302
2.09/2.17	c Core size: 21	Core Weight: 1	Total Weight: 302
2.09/2.17	c Elapsed CPU time: 2.16167 s	Remaining CPU time: 1797.84 s
2.09/2.18	c core #303
2.09/2.18	c Core size: 16	Core Weight: 1	Total Weight: 303
2.09/2.18	c Elapsed CPU time: 2.17367 s	Remaining CPU time: 1797.83 s
2.09/2.20	c core #304
2.09/2.20	c Core size: 20	Core Weight: 1	Total Weight: 304
2.09/2.20	c Elapsed CPU time: 2.18467 s	Remaining CPU time: 1797.82 s
2.19/2.21	c core #305
2.19/2.21	c Core size: 22	Core Weight: 1	Total Weight: 305
2.19/2.21	c Elapsed CPU time: 2.19567 s	Remaining CPU time: 1797.8 s
2.19/2.22	c core #306
2.19/2.22	c Core size: 19	Core Weight: 1	Total Weight: 306
2.19/2.22	c Elapsed CPU time: 2.20766 s	Remaining CPU time: 1797.79 s
2.19/2.23	c core #307
2.19/2.23	c Core size: 22	Core Weight: 1	Total Weight: 307
2.19/2.23	c Elapsed CPU time: 2.21866 s	Remaining CPU time: 1797.78 s
2.19/2.24	c core #308
2.19/2.24	c Core size: 22	Core Weight: 1	Total Weight: 308
2.19/2.24	c Elapsed CPU time: 2.23066 s	Remaining CPU time: 1797.77 s
2.19/2.25	c core #309
2.19/2.25	c Core size: 19	Core Weight: 1	Total Weight: 309
2.19/2.25	c Elapsed CPU time: 2.24166 s	Remaining CPU time: 1797.76 s
2.19/2.26	c core #310
2.19/2.26	c Core size: 22	Core Weight: 1	Total Weight: 310
2.19/2.26	c Elapsed CPU time: 2.25366 s	Remaining CPU time: 1797.75 s
2.19/2.28	c core #311
2.19/2.28	c Core size: 22	Core Weight: 1	Total Weight: 311
2.19/2.28	c Elapsed CPU time: 2.26565 s	Remaining CPU time: 1797.73 s
2.19/2.29	c core #312
2.19/2.29	c Core size: 21	Core Weight: 1	Total Weight: 312
2.19/2.29	c Elapsed CPU time: 2.27665 s	Remaining CPU time: 1797.72 s
2.29/2.30	c core #313
2.29/2.30	c Core size: 22	Core Weight: 1	Total Weight: 313
2.29/2.30	c Elapsed CPU time: 2.28865 s	Remaining CPU time: 1797.71 s
2.29/2.31	c core #314
2.29/2.31	c Core size: 21	Core Weight: 1	Total Weight: 314
2.29/2.31	c Elapsed CPU time: 2.29965 s	Remaining CPU time: 1797.7 s
2.29/2.32	c core #315
2.29/2.32	c Core size: 20	Core Weight: 1	Total Weight: 315
2.29/2.32	c Elapsed CPU time: 2.31165 s	Remaining CPU time: 1797.69 s
2.29/2.33	c core #316
2.29/2.33	c Core size: 22	Core Weight: 1	Total Weight: 316
2.29/2.33	c Elapsed CPU time: 2.32365 s	Remaining CPU time: 1797.68 s
2.29/2.35	c core #317
2.29/2.35	c Core size: 21	Core Weight: 1	Total Weight: 317
2.29/2.35	c Elapsed CPU time: 2.33365 s	Remaining CPU time: 1797.67 s
2.29/2.36	c core #318
2.29/2.36	c Core size: 21	Core Weight: 1	Total Weight: 318
2.29/2.36	c Elapsed CPU time: 2.34464 s	Remaining CPU time: 1797.66 s
2.29/2.37	c core #319
2.29/2.37	c Core size: 21	Core Weight: 1	Total Weight: 319
2.29/2.37	c Elapsed CPU time: 2.35664 s	Remaining CPU time: 1797.64 s
2.29/2.38	c core #320
2.29/2.38	c Core size: 21	Core Weight: 1	Total Weight: 320
2.29/2.38	c Elapsed CPU time: 2.36764 s	Remaining CPU time: 1797.63 s
2.29/2.39	c core #321
2.29/2.39	c Core size: 21	Core Weight: 1	Total Weight: 321
2.29/2.39	c Elapsed CPU time: 2.37964 s	Remaining CPU time: 1797.62 s
2.39/2.40	c core #322
2.39/2.40	c Core size: 16	Core Weight: 1	Total Weight: 322
2.39/2.40	c Elapsed CPU time: 2.39064 s	Remaining CPU time: 1797.61 s
2.39/2.42	c core #323
2.39/2.42	c Core size: 20	Core Weight: 1	Total Weight: 323
2.39/2.42	c Elapsed CPU time: 2.40263 s	Remaining CPU time: 1797.6 s
2.39/2.43	c core #324
2.39/2.43	c Core size: 22	Core Weight: 1	Total Weight: 324
2.39/2.43	c Elapsed CPU time: 2.41463 s	Remaining CPU time: 1797.59 s
2.39/2.44	c core #325
2.39/2.44	c Core size: 19	Core Weight: 1	Total Weight: 325
2.39/2.44	c Elapsed CPU time: 2.42563 s	Remaining CPU time: 1797.57 s
2.39/2.45	c core #326
2.39/2.45	c Core size: 22	Core Weight: 1	Total Weight: 326
2.39/2.45	c Elapsed CPU time: 2.43663 s	Remaining CPU time: 1797.56 s
2.39/2.46	c core #327
2.39/2.46	c Core size: 22	Core Weight: 1	Total Weight: 327
2.39/2.46	c Elapsed CPU time: 2.44863 s	Remaining CPU time: 1797.55 s
2.39/2.47	c core #328
2.39/2.47	c Core size: 19	Core Weight: 1	Total Weight: 328
2.39/2.47	c Elapsed CPU time: 2.46062 s	Remaining CPU time: 1797.54 s
2.39/2.49	c core #329
2.39/2.49	c Core size: 22	Core Weight: 1	Total Weight: 329
2.39/2.49	c Elapsed CPU time: 2.47162 s	Remaining CPU time: 1797.53 s
2.49/2.50	c core #330
2.49/2.50	c Core size: 22	Core Weight: 1	Total Weight: 330
2.49/2.50	c Elapsed CPU time: 2.48462 s	Remaining CPU time: 1797.52 s
2.49/2.51	c core #331
2.49/2.51	c Core size: 21	Core Weight: 1	Total Weight: 331
2.49/2.51	c Elapsed CPU time: 2.49662 s	Remaining CPU time: 1797.5 s
2.49/2.52	c core #332
2.49/2.52	c Core size: 22	Core Weight: 1	Total Weight: 332
2.49/2.52	c Elapsed CPU time: 2.50862 s	Remaining CPU time: 1797.49 s
2.49/2.53	c core #333
2.49/2.53	c Core size: 21	Core Weight: 1	Total Weight: 333
2.49/2.53	c Elapsed CPU time: 2.52062 s	Remaining CPU time: 1797.48 s
2.49/2.55	c core #334
2.49/2.55	c Core size: 20	Core Weight: 1	Total Weight: 334
2.49/2.55	c Elapsed CPU time: 2.53161 s	Remaining CPU time: 1797.47 s
2.49/2.56	c core #335
2.49/2.56	c Core size: 22	Core Weight: 1	Total Weight: 335
2.49/2.56	c Elapsed CPU time: 2.54261 s	Remaining CPU time: 1797.46 s
2.49/2.57	c core #336
2.49/2.57	c Core size: 21	Core Weight: 1	Total Weight: 336
2.49/2.57	c Elapsed CPU time: 2.55361 s	Remaining CPU time: 1797.45 s
2.49/2.58	c core #337
2.49/2.58	c Core size: 21	Core Weight: 1	Total Weight: 337
2.49/2.58	c Elapsed CPU time: 2.56561 s	Remaining CPU time: 1797.43 s
2.49/2.59	c core #338
2.49/2.59	c Core size: 21	Core Weight: 1	Total Weight: 338
2.49/2.59	c Elapsed CPU time: 2.57761 s	Remaining CPU time: 1797.42 s
2.59/2.61	c core #339
2.59/2.61	c Core size: 21	Core Weight: 1	Total Weight: 339
2.59/2.61	c Elapsed CPU time: 2.58961 s	Remaining CPU time: 1797.41 s
2.59/2.62	c core #340
2.59/2.62	c Core size: 21	Core Weight: 1	Total Weight: 340
2.59/2.62	c Elapsed CPU time: 2.6016 s	Remaining CPU time: 1797.4 s
2.59/2.63	c core #341
2.59/2.63	c Core size: 16	Core Weight: 1	Total Weight: 341
2.59/2.63	c Elapsed CPU time: 2.6136 s	Remaining CPU time: 1797.39 s
2.59/2.64	c core #342
2.59/2.64	c Core size: 20	Core Weight: 1	Total Weight: 342
2.59/2.64	c Elapsed CPU time: 2.6256 s	Remaining CPU time: 1797.37 s
2.59/2.65	c core #343
2.59/2.65	c Core size: 22	Core Weight: 1	Total Weight: 343
2.59/2.65	c Elapsed CPU time: 2.6376 s	Remaining CPU time: 1797.36 s
2.59/2.67	c core #344
2.59/2.67	c Core size: 19	Core Weight: 1	Total Weight: 344
2.59/2.67	c Elapsed CPU time: 2.6486 s	Remaining CPU time: 1797.35 s
2.59/2.68	c core #345
2.59/2.68	c Core size: 22	Core Weight: 1	Total Weight: 345
2.59/2.68	c Elapsed CPU time: 2.66059 s	Remaining CPU time: 1797.34 s
2.59/2.69	c core #346
2.59/2.69	c Core size: 22	Core Weight: 1	Total Weight: 346
2.59/2.69	c Elapsed CPU time: 2.67259 s	Remaining CPU time: 1797.33 s
2.69/2.70	c core #347
2.69/2.70	c Core size: 19	Core Weight: 1	Total Weight: 347
2.69/2.70	c Elapsed CPU time: 2.68459 s	Remaining CPU time: 1797.32 s
2.69/2.71	c core #348
2.69/2.71	c Core size: 22	Core Weight: 1	Total Weight: 348
2.69/2.71	c Elapsed CPU time: 2.69659 s	Remaining CPU time: 1797.3 s
2.69/2.73	c core #349
2.69/2.73	c Core size: 22	Core Weight: 1	Total Weight: 349
2.69/2.73	c Elapsed CPU time: 2.70859 s	Remaining CPU time: 1797.29 s
2.69/2.74	c core #350
2.69/2.74	c Core size: 21	Core Weight: 1	Total Weight: 350
2.69/2.74	c Elapsed CPU time: 2.72059 s	Remaining CPU time: 1797.28 s
2.69/2.75	c core #351
2.69/2.75	c Core size: 22	Core Weight: 1	Total Weight: 351
2.69/2.75	c Elapsed CPU time: 2.73358 s	Remaining CPU time: 1797.27 s
2.69/2.76	c core #352
2.69/2.76	c Core size: 21	Core Weight: 1	Total Weight: 352
2.69/2.76	c Elapsed CPU time: 2.74658 s	Remaining CPU time: 1797.25 s
2.69/2.78	c core #353
2.69/2.78	c Core size: 20	Core Weight: 1	Total Weight: 353
2.69/2.78	c Elapsed CPU time: 2.75858 s	Remaining CPU time: 1797.24 s
2.69/2.79	c core #354
2.69/2.79	c Core size: 22	Core Weight: 1	Total Weight: 354
2.69/2.79	c Elapsed CPU time: 2.77158 s	Remaining CPU time: 1797.23 s
2.79/2.80	c core #355
2.79/2.80	c Core size: 21	Core Weight: 1	Total Weight: 355
2.79/2.80	c Elapsed CPU time: 2.78358 s	Remaining CPU time: 1797.22 s
2.79/2.82	c core #356
2.79/2.82	c Core size: 21	Core Weight: 1	Total Weight: 356
2.79/2.82	c Elapsed CPU time: 2.79557 s	Remaining CPU time: 1797.2 s
2.79/2.83	c core #357
2.79/2.83	c Core size: 21	Core Weight: 1	Total Weight: 357
2.79/2.83	c Elapsed CPU time: 2.80857 s	Remaining CPU time: 1797.19 s
2.79/2.84	c core #358
2.79/2.84	c Core size: 21	Core Weight: 1	Total Weight: 358
2.79/2.84	c Elapsed CPU time: 2.82157 s	Remaining CPU time: 1797.18 s
2.79/2.85	c core #359
2.79/2.85	c Core size: 21	Core Weight: 1	Total Weight: 359
2.79/2.85	c Elapsed CPU time: 2.83357 s	Remaining CPU time: 1797.17 s
2.79/2.87	c core #360
2.79/2.87	c Core size: 191	Core Weight: 1	Total Weight: 360
2.79/2.87	c Elapsed CPU time: 2.84757 s	Remaining CPU time: 1797.15 s
2.79/2.88	c core #361
2.79/2.88	c Core size: 181	Core Weight: 1	Total Weight: 361
2.79/2.88	c Elapsed CPU time: 2.85956 s	Remaining CPU time: 1797.14 s
2.79/2.89	c ============================[ Search Statistics ]==============================
2.79/2.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.79/2.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.79/2.89	c ===============================================================================
2.79/2.89	c |         0 |    3760     9900    22770 |     5000        0    nan |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c core #362
2.79/2.89	c Core size: 17	Core Weight: 1	Total Weight: 362
2.79/2.89	c Elapsed CPU time: 2.87356 s	Remaining CPU time: 1797.13 s
2.89/2.90	c ============================[ Search Statistics ]==============================
2.89/2.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.90	c ===============================================================================
2.89/2.90	c |         0 |    3768     9901    22786 |     5000        0    nan |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c core #363
2.89/2.91	c Core size: 15	Core Weight: 1	Total Weight: 363
2.89/2.91	c Elapsed CPU time: 2.88756 s	Remaining CPU time: 1797.11 s
2.89/2.92	c ============================[ Search Statistics ]==============================
2.89/2.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.92	c ===============================================================================
2.89/2.92	c |         0 |    3775     9902    22800 |     5000        0    nan |  0.000 % |
2.89/2.92	c ===============================================================================
2.89/2.92	c core #364
2.89/2.92	c Core size: 13	Core Weight: 1	Total Weight: 364
2.89/2.92	c Elapsed CPU time: 2.90056 s	Remaining CPU time: 1797.1 s
2.89/2.93	c ============================[ Search Statistics ]==============================
2.89/2.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.93	c ===============================================================================
2.89/2.93	c |         0 |    3781     9903    22812 |     5000        0    nan |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c core #365
2.89/2.93	c Core size: 37	Core Weight: 1	Total Weight: 365
2.89/2.93	c Elapsed CPU time: 2.91456 s	Remaining CPU time: 1797.09 s
2.89/2.95	c ============================[ Search Statistics ]==============================
2.89/2.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.95	c ===============================================================================
2.89/2.95	c |         0 |    3788     9904    22826 |     5000        0    nan |  0.000 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c core #366
2.89/2.95	c Core size: 15	Core Weight: 1	Total Weight: 366
2.89/2.95	c Elapsed CPU time: 2.92855 s	Remaining CPU time: 1797.07 s
2.89/2.96	c ============================[ Search Statistics ]==============================
2.89/2.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.96	c ===============================================================================
2.89/2.96	c |         0 |    3795     9905    22840 |     5000        0    nan |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c core #367
2.89/2.96	c Core size: 13	Core Weight: 1	Total Weight: 367
2.89/2.96	c Elapsed CPU time: 2.94155 s	Remaining CPU time: 1797.06 s
2.89/2.97	c ============================[ Search Statistics ]==============================
2.89/2.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.97	c ===============================================================================
2.89/2.97	c |         0 |    3801     9906    22852 |     5000        0    nan |  0.000 % |
2.89/2.97	c ===============================================================================
2.89/2.97	c core #368
2.89/2.97	c Core size: 15	Core Weight: 1	Total Weight: 368
2.89/2.97	c Elapsed CPU time: 2.95455 s	Remaining CPU time: 1797.05 s
2.89/2.99	c ============================[ Search Statistics ]==============================
2.89/2.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.89/2.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.89/2.99	c ===============================================================================
2.89/2.99	c |         0 |    3808     9907    22866 |     5000        0    nan |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c core #369
2.89/2.99	c Core size: 13	Core Weight: 1	Total Weight: 369
2.89/2.99	c Elapsed CPU time: 2.96755 s	Remaining CPU time: 1797.03 s
2.99/3.00	c ============================[ Search Statistics ]==============================
2.99/3.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.00	c ===============================================================================
2.99/3.00	c |         0 |    3814     9908    22878 |     5000        0    nan |  0.000 % |
2.99/3.00	c ===============================================================================
2.99/3.00	c core #370
2.99/3.00	c Core size: 41	Core Weight: 1	Total Weight: 370
2.99/3.00	c Elapsed CPU time: 2.97955 s	Remaining CPU time: 1797.02 s
2.99/3.01	c Learning 1 hard constraints
2.99/3.01	c ============================[ Search Statistics ]==============================
2.99/3.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.01	c ===============================================================================
2.99/3.01	c |         0 |    3822     9910    22897 |     5000        0    nan |  0.000 % |
2.99/3.01	c ===============================================================================
2.99/3.01	c core #371
2.99/3.01	c Core size: 48	Core Weight: 1	Total Weight: 371
2.99/3.01	c Elapsed CPU time: 2.99354 s	Remaining CPU time: 1797.01 s
2.99/3.03	c ============================[ Search Statistics ]==============================
2.99/3.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.03	c ===============================================================================
2.99/3.03	c |         0 |    3832     9911    22917 |     5000        0    nan |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c core #372
2.99/3.03	c Core size: 43	Core Weight: 1	Total Weight: 372
2.99/3.03	c Elapsed CPU time: 3.00754 s	Remaining CPU time: 1796.99 s
2.99/3.04	c ============================[ Search Statistics ]==============================
2.99/3.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.04	c ===============================================================================
2.99/3.04	c |         0 |    3839     9912    22931 |     5000        0    nan |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c core #373
2.99/3.04	c Core size: 54	Core Weight: 1	Total Weight: 373
2.99/3.04	c Elapsed CPU time: 3.02154 s	Remaining CPU time: 1796.98 s
2.99/3.05	c Learning 1 hard constraints
2.99/3.05	c ============================[ Search Statistics ]==============================
2.99/3.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.05	c ===============================================================================
2.99/3.05	c |         0 |    3851     9914    22958 |     5000        0    nan |  0.000 % |
2.99/3.06	c ===============================================================================
2.99/3.06	c core #374
2.99/3.06	c Core size: 13	Core Weight: 1	Total Weight: 374
2.99/3.06	c Elapsed CPU time: 3.03454 s	Remaining CPU time: 1796.97 s
2.99/3.07	c ============================[ Search Statistics ]==============================
2.99/3.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.07	c ===============================================================================
2.99/3.07	c |         0 |    3857     9915    22970 |     5000        0    nan |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c core #375
2.99/3.07	c Core size: 17	Core Weight: 1	Total Weight: 375
2.99/3.07	c Elapsed CPU time: 3.04954 s	Remaining CPU time: 1796.95 s
2.99/3.08	c ============================[ Search Statistics ]==============================
2.99/3.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.08	c ===============================================================================
2.99/3.08	c |         0 |    3865     9916    22986 |     5000        0    nan |  0.000 % |
2.99/3.08	c ===============================================================================
2.99/3.08	c core #376
2.99/3.08	c Core size: 19	Core Weight: 1	Total Weight: 376
2.99/3.08	c Elapsed CPU time: 3.06353 s	Remaining CPU time: 1796.94 s
2.99/3.10	c Learning 2 hard constraints
2.99/3.10	c ============================[ Search Statistics ]==============================
2.99/3.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.10	c ===============================================================================
2.99/3.10	c |         0 |    3874     9919    23011 |     5000        0    nan |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c core #377
3.09/3.10	c Core size: 13	Core Weight: 1	Total Weight: 377
3.09/3.10	c Elapsed CPU time: 3.07653 s	Remaining CPU time: 1796.92 s
3.09/3.11	c ============================[ Search Statistics ]==============================
3.09/3.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.11	c ===============================================================================
3.09/3.11	c |         0 |    3880     9920    23023 |     5000        0    nan |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c core #378
3.09/3.11	c Core size: 13	Core Weight: 1	Total Weight: 378
3.09/3.11	c Elapsed CPU time: 3.08953 s	Remaining CPU time: 1796.91 s
3.09/3.12	c ============================[ Search Statistics ]==============================
3.09/3.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.12	c ===============================================================================
3.09/3.12	c |         0 |    3886     9921    23035 |     5000        0    nan |  0.000 % |
3.09/3.13	c ===============================================================================
3.09/3.13	c core #379
3.09/3.13	c Core size: 13	Core Weight: 1	Total Weight: 379
3.09/3.13	c Elapsed CPU time: 3.10353 s	Remaining CPU time: 1796.9 s
3.09/3.14	c ============================[ Search Statistics ]==============================
3.09/3.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.14	c ===============================================================================
3.09/3.14	c |         0 |    3892     9922    23047 |     5000        0    nan |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c core #380
3.09/3.14	c Core size: 32	Core Weight: 1	Total Weight: 380
3.09/3.14	c Elapsed CPU time: 3.11753 s	Remaining CPU time: 1796.88 s
3.09/3.15	c ============================[ Search Statistics ]==============================
3.09/3.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.15	c ===============================================================================
3.09/3.15	c |         0 |    3900     9923    23063 |     5000        0    nan |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c core #381
3.09/3.15	c Core size: 41	Core Weight: 1	Total Weight: 381
3.09/3.15	c Elapsed CPU time: 3.13252 s	Remaining CPU time: 1796.87 s
3.09/3.17	c Learning 1 hard constraints
3.09/3.17	c ============================[ Search Statistics ]==============================
3.09/3.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.17	c ===============================================================================
3.09/3.17	c |         0 |    3905     9925    23080 |     5000        0    nan |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c core #382
3.09/3.17	c Core size: 15	Core Weight: 1	Total Weight: 382
3.09/3.17	c Elapsed CPU time: 3.14652 s	Remaining CPU time: 1796.85 s
3.09/3.18	c ============================[ Search Statistics ]==============================
3.09/3.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.18	c ===============================================================================
3.09/3.18	c |         0 |    3912     9926    23094 |     5000        0    nan |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c core #383
3.09/3.18	c Core size: 15	Core Weight: 1	Total Weight: 383
3.09/3.18	c Elapsed CPU time: 3.16152 s	Remaining CPU time: 1796.84 s
3.09/3.19	c ============================[ Search Statistics ]==============================
3.09/3.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.09/3.19	c ===============================================================================
3.09/3.19	c |         0 |    3919     9927    23108 |     5000        0    nan |  0.000 % |
3.19/3.20	c ===============================================================================
3.19/3.20	c core #384
3.19/3.20	c Core size: 13	Core Weight: 1	Total Weight: 384
3.19/3.20	c Elapsed CPU time: 3.17552 s	Remaining CPU time: 1796.82 s
3.19/3.21	c ============================[ Search Statistics ]==============================
3.19/3.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.21	c ===============================================================================
3.19/3.21	c |         0 |    3925     9928    23120 |     5000        0    nan |  0.000 % |
3.19/3.21	c ===============================================================================
3.19/3.21	c core #385
3.19/3.21	c Core size: 37	Core Weight: 1	Total Weight: 385
3.19/3.21	c Elapsed CPU time: 3.18952 s	Remaining CPU time: 1796.81 s
3.19/3.22	c ============================[ Search Statistics ]==============================
3.19/3.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.22	c ===============================================================================
3.19/3.22	c |         0 |    3933     9929    23136 |     5000        0    nan |  0.000 % |
3.19/3.23	c ===============================================================================
3.19/3.23	c core #386
3.19/3.23	c Core size: 40	Core Weight: 1	Total Weight: 386
3.19/3.23	c Elapsed CPU time: 3.20351 s	Remaining CPU time: 1796.8 s
3.19/3.24	c ============================[ Search Statistics ]==============================
3.19/3.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.24	c ===============================================================================
3.19/3.24	c |         0 |    3943     9930    23156 |     5000        0    nan |  0.000 % |
3.19/3.24	c ===============================================================================
3.19/3.24	c core #387
3.19/3.24	c Core size: 38	Core Weight: 1	Total Weight: 387
3.19/3.24	c Elapsed CPU time: 3.21851 s	Remaining CPU time: 1796.78 s
3.19/3.25	c Learning 1 hard constraints
3.19/3.25	c ============================[ Search Statistics ]==============================
3.19/3.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.25	c ===============================================================================
3.19/3.25	c |         0 |    3951     9932    23176 |     5000        0    nan |  0.000 % |
3.19/3.26	c ===============================================================================
3.19/3.26	c core #388
3.19/3.26	c Core size: 59	Core Weight: 1	Total Weight: 388
3.19/3.26	c Elapsed CPU time: 3.23351 s	Remaining CPU time: 1796.77 s
3.19/3.27	c Learning 1 hard constraints
3.19/3.27	c ============================[ Search Statistics ]==============================
3.19/3.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.27	c ===============================================================================
3.19/3.27	c |         0 |    3963     9934    23206 |     5000        0    nan |  0.000 % |
3.19/3.27	c ===============================================================================
3.19/3.27	c core #389
3.19/3.27	c Core size: 13	Core Weight: 1	Total Weight: 389
3.19/3.27	c Elapsed CPU time: 3.24851 s	Remaining CPU time: 1796.75 s
3.19/3.28	c ============================[ Search Statistics ]==============================
3.19/3.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.28	c ===============================================================================
3.19/3.28	c |         0 |    3969     9935    23218 |     5000        0    nan |  0.000 % |
3.19/3.29	c ===============================================================================
3.19/3.29	c core #390
3.19/3.29	c Core size: 61	Core Weight: 1	Total Weight: 390
3.19/3.29	c Elapsed CPU time: 3.2615 s	Remaining CPU time: 1796.74 s
3.19/3.30	c ============================[ Search Statistics ]==============================
3.19/3.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.30	c ===============================================================================
3.19/3.30	c |         0 |    3984     9936    23248 |     5000        0    nan |  0.000 % |
3.19/3.30	c ===============================================================================
3.19/3.30	c core #391
3.19/3.30	c Core size: 65	Core Weight: 1	Total Weight: 391
3.19/3.30	c Elapsed CPU time: 3.2765 s	Remaining CPU time: 1796.72 s
3.29/3.31	c Learning 2 hard constraints
3.29/3.31	c ============================[ Search Statistics ]==============================
3.29/3.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.31	c ===============================================================================
3.29/3.31	c |         0 |    4003     9939    23299 |     5000        0    nan |  0.000 % |
3.29/3.31	c ===============================================================================
3.29/3.31	c core #392
3.29/3.31	c Core size: 22	Core Weight: 1	Total Weight: 392
3.29/3.31	c Elapsed CPU time: 3.2915 s	Remaining CPU time: 1796.71 s
3.29/3.33	c ============================[ Search Statistics ]==============================
3.29/3.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.33	c ===============================================================================
3.29/3.33	c |         0 |    4014     9940    23321 |     5000        0    nan |  0.000 % |
3.29/3.33	c ===============================================================================
3.29/3.33	c core #393
3.29/3.33	c Core size: 37	Core Weight: 1	Total Weight: 393
3.29/3.33	c Elapsed CPU time: 3.3045 s	Remaining CPU time: 1796.7 s
3.29/3.34	c Learning 1 hard constraints
3.29/3.34	c ============================[ Search Statistics ]==============================
3.29/3.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.34	c ===============================================================================
3.29/3.34	c |         0 |    4021     9942    23341 |     5000        0    nan |  0.000 % |
3.29/3.34	c ===============================================================================
3.29/3.34	c core #394
3.29/3.34	c Core size: 40	Core Weight: 1	Total Weight: 394
3.29/3.34	c Elapsed CPU time: 3.31849 s	Remaining CPU time: 1796.68 s
3.29/3.36	c ============================[ Search Statistics ]==============================
3.29/3.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.36	c ===============================================================================
3.29/3.36	c |         0 |    4030     9943    23359 |     5000        0    nan |  0.000 % |
3.29/3.36	c ===============================================================================
3.29/3.36	c core #395
3.29/3.36	c Core size: 35	Core Weight: 1	Total Weight: 395
3.29/3.36	c Elapsed CPU time: 3.33249 s	Remaining CPU time: 1796.67 s
3.29/3.37	c Learning 1 hard constraints
3.29/3.37	c ============================[ Search Statistics ]==============================
3.29/3.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.37	c ===============================================================================
3.29/3.37	c |         0 |    4040     9945    23386 |     5000        0    nan |  0.000 % |
3.29/3.37	c ===============================================================================
3.29/3.37	c core #396
3.29/3.37	c Core size: 50	Core Weight: 1	Total Weight: 396
3.29/3.37	c Elapsed CPU time: 3.34749 s	Remaining CPU time: 1796.65 s
3.29/3.39	c Learning 1 hard constraints
3.29/3.39	c ============================[ Search Statistics ]==============================
3.29/3.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.29/3.39	c ===============================================================================
3.29/3.39	c |         0 |    4054     9947    23418 |     5000        0    nan |  0.000 % |
3.29/3.39	c ===============================================================================
3.29/3.39	c core #397
3.29/3.39	c Core size: 75	Core Weight: 1	Total Weight: 397
3.29/3.39	c Elapsed CPU time: 3.36249 s	Remaining CPU time: 1796.64 s
3.39/3.40	c Learning 3 hard constraints
3.39/3.40	c ============================[ Search Statistics ]==============================
3.39/3.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.40	c ===============================================================================
3.39/3.40	c |         0 |    4069     9951    23464 |     5000        0    nan |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c core #398
3.39/3.40	c Core size: 22	Core Weight: 1	Total Weight: 398
3.39/3.40	c Elapsed CPU time: 3.37749 s	Remaining CPU time: 1796.62 s
3.39/3.42	c Learning 1 hard constraints
3.39/3.42	c ============================[ Search Statistics ]==============================
3.39/3.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.42	c ===============================================================================
3.39/3.42	c |         0 |    4080     9953    23492 |     5000        0    nan |  0.000 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c core #399
3.39/3.42	c Core size: 19	Core Weight: 1	Total Weight: 399
3.39/3.42	c Elapsed CPU time: 3.39248 s	Remaining CPU time: 1796.61 s
3.39/3.43	c ============================[ Search Statistics ]==============================
3.39/3.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.43	c ===============================================================================
3.39/3.43	c |         0 |    4089     9954    23510 |     5000        0    nan |  0.000 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c core #400
3.39/3.43	c Core size: 15	Core Weight: 1	Total Weight: 400
3.39/3.43	c Elapsed CPU time: 3.40548 s	Remaining CPU time: 1796.59 s
3.39/3.45	c ============================[ Search Statistics ]==============================
3.39/3.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.45	c ===============================================================================
3.39/3.45	c |         0 |    4096     9955    23524 |     5000        0    nan |  0.000 % |
3.39/3.45	c ===============================================================================
3.39/3.45	c core #401
3.39/3.45	c Core size: 35	Core Weight: 1	Total Weight: 401
3.39/3.45	c Elapsed CPU time: 3.42148 s	Remaining CPU time: 1796.58 s
3.39/3.46	c Learning 1 hard constraints
3.39/3.46	c ============================[ Search Statistics ]==============================
3.39/3.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.46	c ===============================================================================
3.39/3.46	c |         0 |    4106     9957    23550 |     5000        0    nan |  0.000 % |
3.39/3.46	c ===============================================================================
3.39/3.46	c core #402
3.39/3.46	c Core size: 19	Core Weight: 1	Total Weight: 402
3.39/3.46	c Elapsed CPU time: 3.43548 s	Remaining CPU time: 1796.56 s
3.39/3.48	c ============================[ Search Statistics ]==============================
3.39/3.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.48	c ===============================================================================
3.39/3.48	c |         0 |    4115     9958    23568 |     5000        0    nan |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c core #403
3.39/3.48	c Core size: 27	Core Weight: 1	Total Weight: 403
3.39/3.48	c Elapsed CPU time: 3.45047 s	Remaining CPU time: 1796.55 s
3.39/3.49	c ============================[ Search Statistics ]==============================
3.39/3.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.39/3.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.39/3.49	c ===============================================================================
3.39/3.49	c |         0 |    4127     9959    23592 |     5000        0    nan |  0.000 % |
3.39/3.49	c ===============================================================================
3.39/3.49	c core #404
3.39/3.49	c Core size: 17	Core Weight: 1	Total Weight: 404
3.39/3.49	c Elapsed CPU time: 3.46447 s	Remaining CPU time: 1796.54 s
3.49/3.51	c ============================[ Search Statistics ]==============================
3.49/3.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.51	c ===============================================================================
3.49/3.51	c |         0 |    4135     9960    23608 |     5000        0    nan |  0.000 % |
3.49/3.51	c ===============================================================================
3.49/3.51	c core #405
3.49/3.51	c Core size: 37	Core Weight: 1	Total Weight: 405
3.49/3.51	c Elapsed CPU time: 3.47947 s	Remaining CPU time: 1796.52 s
3.49/3.52	c ============================[ Search Statistics ]==============================
3.49/3.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.52	c ===============================================================================
3.49/3.52	c |         0 |    4143     9961    23624 |     5000        0    nan |  0.000 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c core #406
3.49/3.52	c Core size: 35	Core Weight: 1	Total Weight: 406
3.49/3.52	c Elapsed CPU time: 3.49347 s	Remaining CPU time: 1796.51 s
3.49/3.53	c ============================[ Search Statistics ]==============================
3.49/3.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.53	c ===============================================================================
3.49/3.53	c |         0 |    4153     9962    23644 |     5000        0    nan |  0.000 % |
3.49/3.54	c ===============================================================================
3.49/3.54	c core #407
3.49/3.54	c Core size: 52	Core Weight: 1	Total Weight: 407
3.49/3.54	c Elapsed CPU time: 3.50847 s	Remaining CPU time: 1796.49 s
3.49/3.55	c ============================[ Search Statistics ]==============================
3.49/3.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.55	c ===============================================================================
3.49/3.55	c |         0 |    4166     9963    23670 |     5000        0    nan |  0.000 % |
3.49/3.55	c ===============================================================================
3.49/3.55	c core #408
3.49/3.55	c Core size: 51	Core Weight: 1	Total Weight: 408
3.49/3.55	c Elapsed CPU time: 3.52246 s	Remaining CPU time: 1796.48 s
3.49/3.56	c Learning 3 hard constraints
3.49/3.56	c ============================[ Search Statistics ]==============================
3.49/3.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.56	c ===============================================================================
3.49/3.56	c |         0 |    4174     9967    23699 |     5000        0    nan |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c core #409
3.49/3.57	c Core size: 66	Core Weight: 1	Total Weight: 409
3.49/3.57	c Elapsed CPU time: 3.53846 s	Remaining CPU time: 1796.46 s
3.49/3.58	c ============================[ Search Statistics ]==============================
3.49/3.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.58	c ===============================================================================
3.49/3.58	c |         0 |    4193     9968    23737 |     5000        0    nan |  0.000 % |
3.49/3.58	c ===============================================================================
3.49/3.58	c core #410
3.49/3.58	c Core size: 25	Core Weight: 1	Total Weight: 410
3.49/3.58	c Elapsed CPU time: 3.55246 s	Remaining CPU time: 1796.45 s
3.49/3.59	c ============================[ Search Statistics ]==============================
3.49/3.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.49/3.59	c ===============================================================================
3.49/3.59	c |         0 |    4205     9969    23761 |     5000        0    nan |  0.000 % |
3.49/3.60	c ===============================================================================
3.49/3.60	c core #411
3.49/3.60	c Core size: 19	Core Weight: 1	Total Weight: 411
3.49/3.60	c Elapsed CPU time: 3.56746 s	Remaining CPU time: 1796.43 s
3.59/3.61	c ============================[ Search Statistics ]==============================
3.59/3.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.61	c ===============================================================================
3.59/3.61	c |         0 |    4214     9970    23779 |     5000        0    nan |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c core #412
3.59/3.61	c Core size: 15	Core Weight: 1	Total Weight: 412
3.59/3.61	c Elapsed CPU time: 3.58245 s	Remaining CPU time: 1796.42 s
3.59/3.62	c ============================[ Search Statistics ]==============================
3.59/3.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.62	c ===============================================================================
3.59/3.62	c |         0 |    4221     9971    23793 |     5000        0    nan |  0.000 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c core #413
3.59/3.63	c Core size: 38	Core Weight: 1	Total Weight: 413
3.59/3.63	c Elapsed CPU time: 3.59645 s	Remaining CPU time: 1796.4 s
3.59/3.64	c ============================[ Search Statistics ]==============================
3.59/3.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.64	c ===============================================================================
3.59/3.64	c |         0 |    4231     9972    23813 |     5000        0    nan |  0.000 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c core #414
3.59/3.64	c Core size: 50	Core Weight: 1	Total Weight: 414
3.59/3.64	c Elapsed CPU time: 3.61145 s	Remaining CPU time: 1796.39 s
3.59/3.65	c ============================[ Search Statistics ]==============================
3.59/3.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.65	c ===============================================================================
3.59/3.65	c |         0 |    4242     9973    23835 |     5000        0    nan |  0.000 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c core #415
3.59/3.66	c Core size: 59	Core Weight: 1	Total Weight: 415
3.59/3.66	c Elapsed CPU time: 3.62645 s	Remaining CPU time: 1796.37 s
3.59/3.67	c Learning 1 hard constraints
3.59/3.67	c ============================[ Search Statistics ]==============================
3.59/3.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.67	c ===============================================================================
3.59/3.67	c |         0 |    4255     9975    23865 |     5000        0    nan |  0.000 % |
3.59/3.67	c ===============================================================================
3.59/3.67	c core #416
3.59/3.67	c Core size: 29	Core Weight: 1	Total Weight: 416
3.59/3.67	c Elapsed CPU time: 3.64145 s	Remaining CPU time: 1796.36 s
3.59/3.68	c ============================[ Search Statistics ]==============================
3.59/3.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.59/3.68	c ===============================================================================
3.59/3.68	c |         0 |    4268     9976    23891 |     5000        0    nan |  0.000 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c core #417
3.59/3.69	c Core size: 52	Core Weight: 1	Total Weight: 417
3.59/3.69	c Elapsed CPU time: 3.65644 s	Remaining CPU time: 1796.34 s
3.69/3.70	c Learning 1 hard constraints
3.69/3.70	c ============================[ Search Statistics ]==============================
3.69/3.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.70	c ===============================================================================
3.69/3.70	c |         0 |    4276     9978    23911 |     5000        0    nan |  0.000 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c core #418
3.69/3.70	c Core size: 55	Core Weight: 1	Total Weight: 418
3.69/3.70	c Elapsed CPU time: 3.67044 s	Remaining CPU time: 1796.33 s
3.69/3.71	c ============================[ Search Statistics ]==============================
3.69/3.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.71	c ===============================================================================
3.69/3.71	c |         0 |    4289     9979    23937 |     5000        0    nan |  0.000 % |
3.69/3.72	c ===============================================================================
3.69/3.72	c core #419
3.69/3.72	c Core size: 17	Core Weight: 1	Total Weight: 419
3.69/3.72	c Elapsed CPU time: 3.68544 s	Remaining CPU time: 1796.31 s
3.69/3.73	c ============================[ Search Statistics ]==============================
3.69/3.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.73	c ===============================================================================
3.69/3.73	c |         0 |    4297     9980    23953 |     5000        0    nan |  0.000 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c core #420
3.69/3.73	c Core size: 15	Core Weight: 1	Total Weight: 420
3.69/3.73	c Elapsed CPU time: 3.69944 s	Remaining CPU time: 1796.3 s
3.69/3.74	c ============================[ Search Statistics ]==============================
3.69/3.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.74	c ===============================================================================
3.69/3.74	c |         0 |    4304     9981    23967 |     5000        0    nan |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c core #421
3.69/3.74	c Core size: 13	Core Weight: 1	Total Weight: 421
3.69/3.74	c Elapsed CPU time: 3.71443 s	Remaining CPU time: 1796.29 s
3.69/3.76	c ============================[ Search Statistics ]==============================
3.69/3.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.76	c ===============================================================================
3.69/3.76	c |         0 |    4310     9982    23979 |     5000        0    nan |  0.000 % |
3.69/3.76	c ===============================================================================
3.69/3.76	c core #422
3.69/3.76	c Core size: 39	Core Weight: 1	Total Weight: 422
3.69/3.76	c Elapsed CPU time: 3.72843 s	Remaining CPU time: 1796.27 s
3.69/3.77	c ============================[ Search Statistics ]==============================
3.69/3.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.77	c ===============================================================================
3.69/3.77	c |         0 |    4320     9983    23999 |     5000        0    nan |  0.000 % |
3.69/3.77	c ===============================================================================
3.69/3.77	c core #423
3.69/3.77	c Core size: 17	Core Weight: 1	Total Weight: 423
3.69/3.77	c Elapsed CPU time: 3.74343 s	Remaining CPU time: 1796.26 s
3.69/3.79	c ============================[ Search Statistics ]==============================
3.69/3.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.69/3.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.69/3.79	c ===============================================================================
3.69/3.79	c |         0 |    4328     9984    24015 |     5000        0    nan |  0.000 % |
3.69/3.79	c ===============================================================================
3.69/3.79	c core #424
3.69/3.79	c Core size: 39	Core Weight: 1	Total Weight: 424
3.69/3.79	c Elapsed CPU time: 3.75843 s	Remaining CPU time: 1796.24 s
3.79/3.80	c Learning 2 hard constraints
3.79/3.80	c ============================[ Search Statistics ]==============================
3.79/3.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.80	c ===============================================================================
3.79/3.80	c |         0 |    4339     9987    24044 |     5000        0    nan |  0.000 % |
3.79/3.80	c ===============================================================================
3.79/3.80	c core #425
3.79/3.80	c Core size: 13	Core Weight: 1	Total Weight: 425
3.79/3.80	c Elapsed CPU time: 3.77343 s	Remaining CPU time: 1796.23 s
3.79/3.82	c ============================[ Search Statistics ]==============================
3.79/3.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.82	c ===============================================================================
3.79/3.82	c |         0 |    4345     9988    24056 |     5000        0    nan |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c core #426
3.79/3.82	c Core size: 49	Core Weight: 1	Total Weight: 426
3.79/3.82	c Elapsed CPU time: 3.78842 s	Remaining CPU time: 1796.21 s
3.79/3.83	c Learning 2 hard constraints
3.79/3.83	c ============================[ Search Statistics ]==============================
3.79/3.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.83	c ===============================================================================
3.79/3.83	c |         0 |    4356     9991    24086 |     5000        0    nan |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c core #427
3.79/3.83	c Core size: 49	Core Weight: 1	Total Weight: 427
3.79/3.83	c Elapsed CPU time: 3.80342 s	Remaining CPU time: 1796.2 s
3.79/3.85	c ============================[ Search Statistics ]==============================
3.79/3.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.85	c ===============================================================================
3.79/3.85	c |         0 |    4364     9992    24102 |     5000        0    nan |  0.000 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c core #428
3.79/3.85	c Core size: 57	Core Weight: 1	Total Weight: 428
3.79/3.85	c Elapsed CPU time: 3.81942 s	Remaining CPU time: 1796.18 s
3.79/3.86	c Learning 1 hard constraints
3.79/3.86	c ============================[ Search Statistics ]==============================
3.79/3.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.86	c ===============================================================================
3.79/3.86	c |         0 |    4377     9994    24133 |     5000        0    nan |  0.000 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c core #429
3.79/3.87	c Core size: 60	Core Weight: 1	Total Weight: 429
3.79/3.87	c Elapsed CPU time: 3.83442 s	Remaining CPU time: 1796.17 s
3.79/3.88	c ============================[ Search Statistics ]==============================
3.79/3.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.88	c ===============================================================================
3.79/3.88	c |         0 |    4396     9995    24171 |     5000        0    nan |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c core #430
3.79/3.88	c Core size: 36	Core Weight: 1	Total Weight: 430
3.79/3.88	c Elapsed CPU time: 3.84941 s	Remaining CPU time: 1796.15 s
3.79/3.89	c ============================[ Search Statistics ]==============================
3.79/3.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.79/3.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.79/3.89	c ===============================================================================
3.79/3.89	c |         0 |    4407     9996    24193 |     5000        0    nan |  0.000 % |
3.79/3.90	c ===============================================================================
3.79/3.90	c core #431
3.79/3.90	c Core size: 13	Core Weight: 1	Total Weight: 431
3.79/3.90	c Elapsed CPU time: 3.86441 s	Remaining CPU time: 1796.14 s
3.89/3.91	c ============================[ Search Statistics ]==============================
3.89/3.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.91	c ===============================================================================
3.89/3.91	c |         0 |    4413     9997    24205 |     5000        0    nan |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c core #432
3.89/3.91	c Core size: 17	Core Weight: 1	Total Weight: 432
3.89/3.91	c Elapsed CPU time: 3.87941 s	Remaining CPU time: 1796.12 s
3.89/3.92	c ============================[ Search Statistics ]==============================
3.89/3.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.92	c ===============================================================================
3.89/3.92	c |         0 |    4421     9998    24221 |     5000        0    nan |  0.000 % |
3.89/3.92	c ===============================================================================
3.89/3.92	c core #433
3.89/3.92	c Core size: 38	Core Weight: 1	Total Weight: 433
3.89/3.92	c Elapsed CPU time: 3.89441 s	Remaining CPU time: 1796.11 s
3.89/3.94	c Learning 1 hard constraints
3.89/3.94	c ============================[ Search Statistics ]==============================
3.89/3.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.94	c ===============================================================================
3.89/3.94	c |         0 |    4428    10000    24239 |     5000        0    nan |  0.000 % |
3.89/3.94	c ===============================================================================
3.89/3.94	c core #434
3.89/3.94	c Core size: 48	Core Weight: 1	Total Weight: 434
3.89/3.94	c Elapsed CPU time: 3.90941 s	Remaining CPU time: 1796.09 s
3.89/3.95	c ============================[ Search Statistics ]==============================
3.89/3.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.95	c ===============================================================================
3.89/3.95	c |         0 |    4438    10001    24259 |     5000        0    nan |  0.000 % |
3.89/3.96	c ===============================================================================
3.89/3.96	c core #435
3.89/3.96	c Core size: 50	Core Weight: 1	Total Weight: 435
3.89/3.96	c Elapsed CPU time: 3.9244 s	Remaining CPU time: 1796.08 s
3.89/3.97	c ============================[ Search Statistics ]==============================
3.89/3.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.97	c ===============================================================================
3.89/3.97	c |         0 |    4451    10002    24285 |     5000        0    nan |  0.000 % |
3.89/3.97	c ===============================================================================
3.89/3.97	c core #436
3.89/3.97	c Core size: 51	Core Weight: 1	Total Weight: 436
3.89/3.97	c Elapsed CPU time: 3.9404 s	Remaining CPU time: 1796.06 s
3.89/3.98	c Learning 1 hard constraints
3.89/3.98	c ============================[ Search Statistics ]==============================
3.89/3.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.98	c ===============================================================================
3.89/3.98	c |         0 |    4463    10004    24314 |     5000        0    nan |  0.000 % |
3.89/3.99	c ===============================================================================
3.89/3.99	c core #437
3.89/3.99	c Core size: 13	Core Weight: 1	Total Weight: 437
3.89/3.99	c Elapsed CPU time: 3.9554 s	Remaining CPU time: 1796.04 s
3.99/4.00	c ============================[ Search Statistics ]==============================
3.99/4.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.00	c ===============================================================================
3.99/4.00	c |         0 |    4469    10005    24326 |     5000        0    nan |  0.000 % |
3.99/4.00	c ===============================================================================
3.99/4.00	c core #438
3.99/4.00	c Core size: 62	Core Weight: 1	Total Weight: 438
3.99/4.00	c Elapsed CPU time: 3.9714 s	Remaining CPU time: 1796.03 s
3.99/4.02	c Learning 2 hard constraints
3.99/4.02	c ============================[ Search Statistics ]==============================
3.99/4.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.02	c ===============================================================================
3.99/4.02	c |         0 |    4485    10008    24369 |     5000        0    nan |  0.000 % |
3.99/4.02	c ===============================================================================
3.99/4.02	c core #439
3.99/4.02	c Core size: 17	Core Weight: 1	Total Weight: 439
3.99/4.02	c Elapsed CPU time: 3.98639 s	Remaining CPU time: 1796.01 s
3.99/4.03	c ============================[ Search Statistics ]==============================
3.99/4.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.03	c ===============================================================================
3.99/4.03	c |         0 |    4493    10009    24385 |     5000        0    nan |  0.000 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c core #440
3.99/4.03	c Core size: 35	Core Weight: 1	Total Weight: 440
3.99/4.03	c Elapsed CPU time: 4.00039 s	Remaining CPU time: 1796 s
3.99/4.05	c ============================[ Search Statistics ]==============================
3.99/4.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.05	c ===============================================================================
3.99/4.05	c |         0 |    4503    10010    24405 |     5000        0    nan |  0.000 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c core #441
3.99/4.05	c Core size: 15	Core Weight: 1	Total Weight: 441
3.99/4.05	c Elapsed CPU time: 4.01539 s	Remaining CPU time: 1795.98 s
3.99/4.06	c ============================[ Search Statistics ]==============================
3.99/4.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.06	c ===============================================================================
3.99/4.06	c |         0 |    4510    10011    24419 |     5000        0    nan |  0.000 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c core #442
3.99/4.06	c Core size: 13	Core Weight: 1	Total Weight: 442
3.99/4.06	c Elapsed CPU time: 4.03039 s	Remaining CPU time: 1795.97 s
3.99/4.08	c ============================[ Search Statistics ]==============================
3.99/4.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.08	c ===============================================================================
3.99/4.08	c |         0 |    4516    10012    24431 |     5000        0    nan |  0.000 % |
3.99/4.08	c ===============================================================================
3.99/4.08	c core #443
3.99/4.08	c Core size: 37	Core Weight: 1	Total Weight: 443
3.99/4.08	c Elapsed CPU time: 4.04538 s	Remaining CPU time: 1795.95 s
3.99/4.09	c ============================[ Search Statistics ]==============================
3.99/4.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.09	c ===============================================================================
3.99/4.09	c |         0 |    4527    10013    24453 |     5000        0    nan |  0.000 % |
3.99/4.09	c ===============================================================================
3.99/4.09	c core #444
3.99/4.09	c Core size: 15	Core Weight: 1	Total Weight: 444
3.99/4.09	c Elapsed CPU time: 4.06038 s	Remaining CPU time: 1795.94 s
4.09/4.11	c ============================[ Search Statistics ]==============================
4.09/4.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.11	c ===============================================================================
4.09/4.11	c |         0 |    4534    10014    24467 |     5000        0    nan |  0.000 % |
4.09/4.11	c ===============================================================================
4.09/4.11	c core #445
4.09/4.11	c Core size: 37	Core Weight: 1	Total Weight: 445
4.09/4.11	c Elapsed CPU time: 4.07538 s	Remaining CPU time: 1795.92 s
4.09/4.12	c ============================[ Search Statistics ]==============================
4.09/4.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.12	c ===============================================================================
4.09/4.12	c |         0 |    4542    10015    24483 |     5000        0    nan |  0.000 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c core #446
4.09/4.12	c Core size: 27	Core Weight: 1	Total Weight: 446
4.09/4.12	c Elapsed CPU time: 4.09038 s	Remaining CPU time: 1795.91 s
4.09/4.14	c ============================[ Search Statistics ]==============================
4.09/4.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.14	c ===============================================================================
4.09/4.14	c |         0 |    4554    10016    24507 |     5000        0    nan |  0.000 % |
4.09/4.14	c ===============================================================================
4.09/4.14	c core #447
4.09/4.14	c Core size: 15	Core Weight: 1	Total Weight: 447
4.09/4.14	c Elapsed CPU time: 4.10538 s	Remaining CPU time: 1795.89 s
4.09/4.15	c ============================[ Search Statistics ]==============================
4.09/4.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.15	c ===============================================================================
4.09/4.15	c |         0 |    4561    10017    24521 |     5000        0    nan |  0.000 % |
4.09/4.15	c ===============================================================================
4.09/4.15	c core #448
4.09/4.15	c Core size: 39	Core Weight: 1	Total Weight: 448
4.09/4.15	c Elapsed CPU time: 4.12037 s	Remaining CPU time: 1795.88 s
4.09/4.17	c ============================[ Search Statistics ]==============================
4.09/4.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.17	c ===============================================================================
4.09/4.17	c |         0 |    4569    10018    24537 |     5000        0    nan |  0.000 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c core #449
4.09/4.17	c Core size: 71	Core Weight: 1	Total Weight: 449
4.09/4.17	c Elapsed CPU time: 4.13637 s	Remaining CPU time: 1795.86 s
4.09/4.18	c Learning 1 hard constraints
4.09/4.18	c ============================[ Search Statistics ]==============================
4.09/4.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.18	c ===============================================================================
4.09/4.18	c |         0 |    4587    10020    24579 |     5000        0    nan |  0.000 % |
4.09/4.18	c ===============================================================================
4.09/4.18	c core #450
4.09/4.18	c Core size: 13	Core Weight: 1	Total Weight: 450
4.09/4.18	c Elapsed CPU time: 4.15137 s	Remaining CPU time: 1795.85 s
4.09/4.20	c ============================[ Search Statistics ]==============================
4.09/4.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.09/4.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.09/4.20	c ===============================================================================
4.09/4.20	c |         0 |    4593    10021    24591 |     5000        0    nan |  0.000 % |
4.19/4.20	c ===============================================================================
4.19/4.20	c core #451
4.19/4.20	c Core size: 13	Core Weight: 1	Total Weight: 451
4.19/4.20	c Elapsed CPU time: 4.16637 s	Remaining CPU time: 1795.83 s
4.19/4.21	c ============================[ Search Statistics ]==============================
4.19/4.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.21	c ===============================================================================
4.19/4.21	c |         0 |    4599    10022    24603 |     5000        0    nan |  0.000 % |
4.19/4.21	c ===============================================================================
4.19/4.21	c core #452
4.19/4.21	c Core size: 13	Core Weight: 1	Total Weight: 452
4.19/4.21	c Elapsed CPU time: 4.18036 s	Remaining CPU time: 1795.82 s
4.19/4.23	c ============================[ Search Statistics ]==============================
4.19/4.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.23	c ===============================================================================
4.19/4.23	c |         0 |    4605    10023    24615 |     5000        0    nan |  0.000 % |
4.19/4.23	c ===============================================================================
4.19/4.23	c core #453
4.19/4.23	c Core size: 43	Core Weight: 1	Total Weight: 453
4.19/4.23	c Elapsed CPU time: 4.19536 s	Remaining CPU time: 1795.8 s
4.19/4.24	c Learning 4 hard constraints
4.19/4.24	c ============================[ Search Statistics ]==============================
4.19/4.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.24	c ===============================================================================
4.19/4.24	c |         0 |    4617    10028    24663 |     5000        0    nan |  0.000 % |
4.19/4.25	c ===============================================================================
4.19/4.25	c core #454
4.19/4.25	c Core size: 52	Core Weight: 1	Total Weight: 454
4.19/4.25	c Elapsed CPU time: 4.21036 s	Remaining CPU time: 1795.79 s
4.19/4.26	c ============================[ Search Statistics ]==============================
4.19/4.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.26	c ===============================================================================
4.19/4.26	c |         0 |    4630    10029    24689 |     5000        0    nan |  0.000 % |
4.19/4.26	c ===============================================================================
4.19/4.26	c core #455
4.19/4.26	c Core size: 59	Core Weight: 1	Total Weight: 455
4.19/4.26	c Elapsed CPU time: 4.22736 s	Remaining CPU time: 1795.77 s
4.19/4.27	c Learning 2 hard constraints
4.19/4.27	c ============================[ Search Statistics ]==============================
4.19/4.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.27	c ===============================================================================
4.19/4.27	c |         0 |    4646    10032    24728 |     5000        0    nan |  0.000 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c core #456
4.19/4.28	c Core size: 65	Core Weight: 1	Total Weight: 456
4.19/4.28	c Elapsed CPU time: 4.24235 s	Remaining CPU time: 1795.76 s
4.19/4.29	c Learning 1 hard constraints
4.19/4.29	c ============================[ Search Statistics ]==============================
4.19/4.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.19/4.29	c ===============================================================================
4.19/4.29	c |         0 |    4664    10034    24768 |     5000        0    nan |  0.000 % |
4.19/4.30	c ===============================================================================
4.19/4.30	c core #457
4.19/4.30	c Core size: 56	Core Weight: 1	Total Weight: 457
4.19/4.30	c Elapsed CPU time: 4.26035 s	Remaining CPU time: 1795.74 s
4.29/4.31	c Learning 2 hard constraints
4.29/4.31	c ============================[ Search Statistics ]==============================
4.29/4.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.31	c ===============================================================================
4.29/4.31	c |         0 |    4677    10037    24803 |     5000        0    nan |  0.000 % |
4.29/4.31	c ===============================================================================
4.29/4.31	c core #458
4.29/4.31	c Core size: 13	Core Weight: 1	Total Weight: 458
4.29/4.31	c Elapsed CPU time: 4.27435 s	Remaining CPU time: 1795.73 s
4.29/4.32	c ============================[ Search Statistics ]==============================
4.29/4.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.32	c ===============================================================================
4.29/4.32	c |         0 |    4683    10038    24815 |     5000        0    nan |  0.000 % |
4.29/4.33	c ===============================================================================
4.29/4.33	c core #459
4.29/4.33	c Core size: 13	Core Weight: 1	Total Weight: 459
4.29/4.33	c Elapsed CPU time: 4.28935 s	Remaining CPU time: 1795.71 s
4.29/4.34	c ============================[ Search Statistics ]==============================
4.29/4.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.34	c ===============================================================================
4.29/4.34	c |         0 |    4689    10039    24827 |     5000        0    nan |  0.000 % |
4.29/4.34	c ===============================================================================
4.29/4.34	c core #460
4.29/4.34	c Core size: 13	Core Weight: 1	Total Weight: 460
4.29/4.34	c Elapsed CPU time: 4.30434 s	Remaining CPU time: 1795.7 s
4.29/4.35	c ============================[ Search Statistics ]==============================
4.29/4.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.35	c ===============================================================================
4.29/4.35	c |         0 |    4695    10040    24839 |     5000        0    nan |  0.000 % |
4.29/4.36	c ===============================================================================
4.29/4.36	c core #461
4.29/4.36	c Core size: 12	Core Weight: 1	Total Weight: 461
4.29/4.36	c Elapsed CPU time: 4.31934 s	Remaining CPU time: 1795.68 s
4.29/4.37	c ============================[ Search Statistics ]==============================
4.29/4.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.37	c ===============================================================================
4.29/4.37	c |         0 |    4701    10041    24851 |     5000        0    nan |  0.000 % |
4.29/4.37	c ===============================================================================
4.29/4.37	c core #462
4.29/4.37	c Core size: 15	Core Weight: 1	Total Weight: 462
4.29/4.37	c Elapsed CPU time: 4.33534 s	Remaining CPU time: 1795.66 s
4.29/4.39	c ============================[ Search Statistics ]==============================
4.29/4.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.29/4.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.29/4.39	c ===============================================================================
4.29/4.39	c |         0 |    4708    10042    24865 |     5000        0    nan |  0.000 % |
4.29/4.39	c ===============================================================================
4.29/4.39	c core #463
4.29/4.39	c Core size: 80	Core Weight: 1	Total Weight: 463
4.29/4.39	c Elapsed CPU time: 4.35234 s	Remaining CPU time: 1795.65 s
4.40/4.40	c ============================[ Search Statistics ]==============================
4.40/4.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.40	c ===============================================================================
4.40/4.40	c |         0 |    4734    10043    24917 |     5000        0    nan |  0.000 % |
4.40/4.40	c ===============================================================================
4.40/4.40	c core #464
4.40/4.40	c Core size: 29	Core Weight: 1	Total Weight: 464
4.40/4.40	c Elapsed CPU time: 4.36734 s	Remaining CPU time: 1795.63 s
4.40/4.42	c ============================[ Search Statistics ]==============================
4.40/4.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.42	c ===============================================================================
4.40/4.42	c |         0 |    4741    10044    24931 |     5000        0    nan |  0.000 % |
4.40/4.42	c ===============================================================================
4.40/4.42	c core #465
4.40/4.42	c Core size: 53	Core Weight: 1	Total Weight: 465
4.40/4.42	c Elapsed CPU time: 4.38233 s	Remaining CPU time: 1795.62 s
4.40/4.43	c ============================[ Search Statistics ]==============================
4.40/4.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.43	c ===============================================================================
4.40/4.43	c |         0 |    4753    10045    24955 |     5000        0    nan |  0.000 % |
4.40/4.44	c ===============================================================================
4.40/4.44	c core #466
4.40/4.44	c Core size: 51	Core Weight: 1	Total Weight: 466
4.40/4.44	c Elapsed CPU time: 4.39633 s	Remaining CPU time: 1795.6 s
4.40/4.45	c ============================[ Search Statistics ]==============================
4.40/4.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.45	c ===============================================================================
4.40/4.45	c |         0 |    4764    10046    24977 |     5000        0    nan |  0.000 % |
4.40/4.45	c ===============================================================================
4.40/4.45	c core #467
4.40/4.45	c Core size: 38	Core Weight: 1	Total Weight: 467
4.40/4.45	c Elapsed CPU time: 4.41133 s	Remaining CPU time: 1795.59 s
4.40/4.46	c Learning 1 hard constraints
4.40/4.46	c ============================[ Search Statistics ]==============================
4.40/4.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.46	c ===============================================================================
4.40/4.46	c |         0 |    4771    10048    24995 |     5000        0    nan |  0.000 % |
4.40/4.47	c ===============================================================================
4.40/4.47	c core #468
4.40/4.47	c Core size: 52	Core Weight: 1	Total Weight: 468
4.40/4.47	c Elapsed CPU time: 4.42933 s	Remaining CPU time: 1795.57 s
4.40/4.48	c Learning 1 hard constraints
4.40/4.48	c ============================[ Search Statistics ]==============================
4.40/4.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.40/4.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.40/4.48	c ===============================================================================
4.40/4.48	c |         0 |    4784    10050    25025 |     5000        0    nan |  0.000 % |
4.40/4.49	c ===============================================================================
4.40/4.49	c core #469
4.40/4.49	c Core size: 58	Core Weight: 1	Total Weight: 469
4.40/4.49	c Elapsed CPU time: 4.44832 s	Remaining CPU time: 1795.55 s
4.49/4.50	c Learning 5 hard constraints
4.49/4.50	c ============================[ Search Statistics ]==============================
4.49/4.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.50	c ===============================================================================
4.49/4.50	c |         0 |    4792    10056    25067 |     5000        0    nan |  0.000 % |
4.49/4.51	c ===============================================================================
4.49/4.51	c core #470
4.49/4.51	c Core size: 83	Core Weight: 1	Total Weight: 470
4.49/4.51	c Elapsed CPU time: 4.46632 s	Remaining CPU time: 1795.53 s
4.49/4.52	c Learning 1 hard constraints
4.49/4.52	c ============================[ Search Statistics ]==============================
4.49/4.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.52	c ===============================================================================
4.49/4.52	c |         0 |    4814    10058    25118 |     5000        0    nan |  0.000 % |
4.49/4.52	c ===============================================================================
4.49/4.52	c core #471
4.49/4.52	c Core size: 45	Core Weight: 1	Total Weight: 471
4.49/4.52	c Elapsed CPU time: 4.48232 s	Remaining CPU time: 1795.52 s
4.49/4.54	c ============================[ Search Statistics ]==============================
4.49/4.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.54	c ===============================================================================
4.49/4.54	c |         0 |    4826    10059    25142 |     5000        0    nan |  0.000 % |
4.49/4.55	c ===============================================================================
4.49/4.55	c core #472
4.49/4.55	c Core size: 57	Core Weight: 1	Total Weight: 472
4.49/4.55	c Elapsed CPU time: 4.50432 s	Remaining CPU time: 1795.5 s
4.49/4.56	c Learning 7 hard constraints
4.49/4.56	c ============================[ Search Statistics ]==============================
4.49/4.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.56	c ===============================================================================
4.49/4.56	c |         0 |    4841    10067    25214 |     5000        0    nan |  0.000 % |
4.49/4.57	c |       100 |    4692    10067    25214 |     5500      100      3 |  7.139 % |
4.49/4.57	c ===============================================================================
4.49/4.58	c core #473
4.49/4.58	c Core size: 450	Core Weight: 1	Total Weight: 473
4.49/4.58	c Elapsed CPU time: 4.53231 s	Remaining CPU time: 1795.47 s
4.49/4.59	c Learning 21 hard constraints
4.49/4.59	c ============================[ Search Statistics ]==============================
4.49/4.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.49/4.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.49/4.59	c ===============================================================================
4.49/4.59	c |         0 |    4939    10089    25543 |     5000        0    nan |  0.000 % |
4.59/4.60	c |       100 |    4852    10089    25543 |     5500      100      4 |  4.779 % |
4.59/4.61	c ===============================================================================
4.59/4.61	c core #474
4.59/4.61	c Core size: 635	Core Weight: 1	Total Weight: 474
4.59/4.61	c Elapsed CPU time: 4.56331 s	Remaining CPU time: 1795.44 s
4.59/4.62	c Learning 9 hard constraints
4.59/4.62	c ============================[ Search Statistics ]==============================
4.59/4.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.62	c ===============================================================================
4.59/4.62	c |         0 |    5057    10099    25878 |     5000        0    nan |  0.000 % |
4.59/4.63	c |       100 |    5003    10099    25878 |     5500      100      5 |  2.561 % |
4.59/4.63	c ===============================================================================
4.59/4.63	c core #475
4.59/4.63	c Core size: 74	Core Weight: 1	Total Weight: 475
4.59/4.63	c Elapsed CPU time: 4.5903 s	Remaining CPU time: 1795.41 s
4.59/4.65	c Learning 11 hard constraints
4.59/4.65	c ============================[ Search Statistics ]==============================
4.59/4.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.65	c ===============================================================================
4.59/4.65	c |         0 |    5079    10111    25983 |     5000        0    nan |  0.000 % |
4.59/4.66	c |       100 |    5037    10111    25983 |     5500      100      5 |  2.569 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c core #476
4.59/4.66	c Core size: 63	Core Weight: 1	Total Weight: 476
4.59/4.66	c Elapsed CPU time: 4.6183 s	Remaining CPU time: 1795.38 s
4.59/4.68	c Learning 17 hard constraints
4.59/4.68	c ============================[ Search Statistics ]==============================
4.59/4.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.68	c ===============================================================================
4.59/4.68	c |         0 |    5093    10129    26109 |     5000        0    nan |  0.000 % |
4.59/4.68	c |       100 |    5091    10129    26109 |     5500      100     10 |  0.509 % |
4.69/4.70	c |       252 |    4960    10129    26109 |     6050      220      8 |  3.012 % |
4.69/4.70	c ===============================================================================
4.69/4.71	c core #477
4.69/4.71	c Core size: 748	Core Weight: 1	Total Weight: 477
4.69/4.71	c Elapsed CPU time: 4.65829 s	Remaining CPU time: 1795.34 s
4.69/4.72	c Learning 25 hard constraints
4.69/4.72	c ============================[ Search Statistics ]==============================
4.69/4.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.72	c ===============================================================================
4.69/4.72	c |         0 |    5252    10155    26548 |     5000        0    nan |  0.000 % |
4.69/4.73	c |       100 |    5232    10155    26548 |     5500      100      5 |  0.835 % |
4.69/4.75	c |       250 |    5138    10155    26548 |     6050      201      5 |  4.780 % |
4.69/4.75	c ===============================================================================
4.69/4.75	c core #478
4.69/4.75	c Core size: 617	Core Weight: 1	Total Weight: 478
4.69/4.75	c Elapsed CPU time: 4.70029 s	Remaining CPU time: 1795.3 s
4.69/4.77	c Learning 23 hard constraints
4.69/4.77	c ============================[ Search Statistics ]==============================
4.69/4.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.69/4.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.69/4.77	c ===============================================================================
4.69/4.77	c |         0 |    5399    10179    27017 |     5000        0    nan |  0.000 % |
4.69/4.78	c |       101 |    5389    10179    27017 |     5500      101      6 |  0.701 % |
4.69/4.79	c |       251 |    5384    10179    27017 |     6050      251      7 |  0.775 % |
4.69/4.80	c ===============================================================================
4.69/4.80	c core #479
4.69/4.80	c Core size: 137	Core Weight: 1	Total Weight: 479
4.69/4.80	c Elapsed CPU time: 4.74428 s	Remaining CPU time: 1795.26 s
4.79/4.81	c Learning 24 hard constraints
4.79/4.81	c ============================[ Search Statistics ]==============================
4.79/4.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.81	c ===============================================================================
4.79/4.81	c |         0 |    5432    10204    27206 |     5000        0    nan |  0.000 % |
4.79/4.82	c |       101 |    5430    10204    27206 |     5500      101     10 |  0.404 % |
4.79/4.84	c |       251 |    5425    10204    27206 |     6050      225     10 |  0.550 % |
4.79/4.86	c |       480 |    5412    10204    27206 |     6655      426     11 |  0.734 % |
4.79/4.88	c ===============================================================================
4.79/4.88	c core #480
4.79/4.88	c Core size: 713	Core Weight: 1	Total Weight: 480
4.79/4.88	c Elapsed CPU time: 4.82627 s	Remaining CPU time: 1795.17 s
4.79/4.90	c Learning 16 hard constraints
4.79/4.90	c ============================[ Search Statistics ]==============================
4.79/4.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.79/4.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.79/4.90	c ===============================================================================
4.79/4.90	c |         0 |    5617    10221    27654 |     5000        0    nan |  0.000 % |
4.89/4.91	c |       100 |    5616    10221    27654 |     5500      100     12 |  0.390 % |
4.89/4.93	c |       252 |    5599    10221    27654 |     6050      237     12 |  0.674 % |
4.89/4.95	c |       478 |    5599    10221    27654 |     6655      463     13 |  0.674 % |
4.89/4.98	c ===============================================================================
4.89/4.99	c core #481
4.89/4.99	c Core size: 679	Core Weight: 1	Total Weight: 481
4.89/4.99	c Elapsed CPU time: 4.92825 s	Remaining CPU time: 1795.07 s
4.98/5.00	c Learning 16 hard constraints
4.98/5.00	c ============================[ Search Statistics ]==============================
4.98/5.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.98/5.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.98/5.00	c ===============================================================================
4.98/5.00	c |         0 |    5792    10238    28082 |     5000        0    nan |  0.000 % |
4.98/5.01	c |       103 |    5792    10238    28082 |     5500      103     20 |  0.344 % |
4.98/5.03	c |       253 |    5792    10238    28082 |     6050      253     14 |  0.344 % |
4.98/5.05	c |       478 |    5792    10238    28082 |     6655      478     15 |  0.344 % |
4.98/5.08	c |       816 |    5779    10238    28082 |     7320      812     14 |  0.602 % |
5.08/5.12	c ===============================================================================
5.08/5.12	c core #482
5.08/5.12	c Core size: 714	Core Weight: 1	Total Weight: 482
5.08/5.12	c Elapsed CPU time: 5.04823 s	Remaining CPU time: 1794.95 s
5.08/5.14	c Learning 63 hard constraints
5.08/5.14	c ============================[ Search Statistics ]==============================
5.08/5.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.08/5.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.08/5.14	c ===============================================================================
5.08/5.14	c |         0 |    5961    10302    28780 |     5000        0    nan |  0.000 % |
5.08/5.14	c |       102 |    5961    10302    28780 |     5500      102     18 |  0.335 % |
5.08/5.16	c |       252 |    5961    10302    28780 |     6050      252     16 |  0.334 % |
5.08/5.17	c |       477 |    5961    10302    28780 |     6655      477     22 |  0.334 % |
5.19/5.21	c |       814 |    5959    10302    28780 |     7320      813     23 |  0.368 % |
5.19/5.26	c |      1321 |    5949    10302    28780 |     8052     1316     20 |  0.535 % |
5.29/5.31	c ===============================================================================
5.29/5.31	c core #483
5.29/5.31	c Core size: 202	Core Weight: 1	Total Weight: 483
5.29/5.31	c Elapsed CPU time: 5.2252 s	Remaining CPU time: 1794.77 s
5.29/5.33	c Learning 52 hard constraints
5.29/5.33	c ============================[ Search Statistics ]==============================
5.29/5.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.29/5.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.29/5.33	c ===============================================================================
5.29/5.33	c |         0 |    6009    10355    29211 |     5000        0    nan |  0.000 % |
5.29/5.34	c |       104 |    6001    10355    29211 |     5500      104      7 |  0.597 % |
5.29/5.35	c |       255 |    5999    10355    29211 |     6050      255     12 |  0.630 % |
5.29/5.38	c |       481 |    5983    10355    29211 |     6655      470     16 |  0.763 % |
5.40/5.41	c |       818 |    5977    10355    29211 |     7320      785     16 |  0.863 % |
5.40/5.46	c |      1325 |    5966    10355    29211 |     8052     1261     16 |  1.095 % |
5.49/5.50	c ===============================================================================
5.49/5.51	c core #484
5.49/5.51	c Core size: 975	Core Weight: 1	Total Weight: 484
5.49/5.51	c Elapsed CPU time: 5.41218 s	Remaining CPU time: 1794.59 s
5.49/5.53	c Learning 27 hard constraints
5.49/5.53	c ============================[ Search Statistics ]==============================
5.49/5.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.53	c ===============================================================================
5.49/5.53	c |         0 |    6254    10383    29855 |     5000        0    nan |  0.000 % |
5.49/5.54	c |       100 |    6253    10383    29855 |     5500      100      9 |  0.351 % |
5.49/5.55	c ===============================================================================
5.49/5.55	c core #485
5.49/5.55	c Core size: 160	Core Weight: 1	Total Weight: 485
5.49/5.55	c Elapsed CPU time: 5.44517 s	Remaining CPU time: 1794.55 s
5.49/5.56	c Learning 4 hard constraints
5.49/5.56	c ============================[ Search Statistics ]==============================
5.49/5.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.49/5.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.49/5.56	c ===============================================================================
5.49/5.56	c |         0 |    6284    10388    29934 |     5000        0    nan |  0.000 % |
5.49/5.57	c |       100 |    6282    10388    29934 |     5500      100     14 |  0.349 % |
5.49/5.59	c |       250 |    6279    10388    29934 |     6050      250     12 |  0.444 % |
5.58/5.61	c |       475 |    6271    10388    29934 |     6655      470     14 |  0.539 % |
5.58/5.65	c |       813 |    6265    10388    29934 |     7320      793     18 |  0.635 % |
5.58/5.69	c |      1320 |    6260    10388    29934 |     8052     1293     20 |  0.698 % |
5.68/5.72	c ===============================================================================
5.68/5.73	c core #486
5.68/5.73	c Core size: 650	Core Weight: 1	Total Weight: 486
5.68/5.73	c Elapsed CPU time: 5.60715 s	Remaining CPU time: 1794.39 s
5.68/5.74	c Learning 15 hard constraints
5.68/5.74	c ============================[ Search Statistics ]==============================
5.68/5.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.68/5.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.68/5.74	c ===============================================================================
5.68/5.74	c |         0 |    6424    10404    30299 |     5000        0    nan |  0.000 % |
5.68/5.76	c |       100 |    6424    10404    30299 |     5500      100     22 |  0.311 % |
5.68/5.78	c |       250 |    6422    10404    30299 |     6050      249     16 |  0.341 % |
5.79/5.80	c |       476 |    6422    10404    30299 |     6655      475     24 |  0.341 % |
5.79/5.84	c |       813 |    6422    10404    30299 |     7320      812     26 |  0.341 % |
5.79/5.89	c |      1322 |    6416    10404    30299 |     8052     1309     26 |  0.435 % |
5.89/5.98	c |      2081 |    6416    10404    30299 |     8857     2043     35 |  0.435 % |
6.09/6.13	c |      3222 |    6409    10404    30299 |     9743     3177     35 |  0.543 % |
6.29/6.30	c |      4930 |    6389    10404    30299 |    10717     4770     30 |  0.854 % |
6.29/6.37	c ===============================================================================
6.29/6.38	c core #487
6.29/6.38	c Core size: 492	Core Weight: 1	Total Weight: 487
6.29/6.38	c Elapsed CPU time: 6.24905 s	Remaining CPU time: 1793.75 s
6.39/6.40	c Learning 56 hard constraints
6.39/6.40	c ============================[ Search Statistics ]==============================
6.39/6.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.39/6.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.39/6.40	c ===============================================================================
6.39/6.40	c |         0 |    6540    10461    30847 |     5000        0    nan |  0.000 % |
6.39/6.41	c |       101 |    6539    10461    30847 |     5500      101     13 |  0.335 % |
6.39/6.43	c |       251 |    6538    10461    30847 |     6050      251     12 |  0.335 % |
6.39/6.45	c |       478 |    6538    10461    30847 |     6655      477     16 |  0.335 % |
6.39/6.47	c |       815 |    6536    10461    30847 |     7320      811     20 |  0.366 % |
6.49/6.52	c |      1322 |    6536    10461    30847 |     8052     1318     25 |  0.366 % |
6.59/6.60	c |      2082 |    6530    10461    30847 |     8857     2050     26 |  0.457 % |
6.68/6.76	c |      3221 |    6528    10461    30847 |     9743     3188     26 |  0.488 % |
6.89/6.91	c |      4931 |    6522    10461    30847 |    10717     4445     25 |  0.579 % |
6.99/7.04	c ===============================================================================
6.99/7.06	c core #488
6.99/7.06	c Core size: 695	Core Weight: 1	Total Weight: 488
6.99/7.06	c Elapsed CPU time: 6.91295 s	Remaining CPU time: 1793.09 s
6.99/7.08	c Learning 56 hard constraints
6.99/7.08	c ============================[ Search Statistics ]==============================
6.99/7.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.99/7.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.99/7.08	c ===============================================================================
6.99/7.08	c |         0 |    6721    10518    31487 |     5000        0    nan |  0.000 % |
6.99/7.09	c |       100 |    6721    10518    31487 |     5500      100     18 |  0.297 % |
7.08/7.10	c |       251 |    6721    10518    31487 |     6050      251     18 |  0.297 % |
7.08/7.12	c |       476 |    6721    10518    31487 |     6655      476     21 |  0.297 % |
7.08/7.15	c |       814 |    6721    10518    31487 |     7320      814     21 |  0.297 % |
7.18/7.21	c |      1321 |    6721    10518    31487 |     8052     1321     24 |  0.297 % |
7.18/7.27	c |      2080 |    6721    10518    31487 |     8857     2080     26 |  0.297 % |
7.39/7.43	c |      3219 |    6721    10518    31487 |     9743     3219     33 |  0.297 % |
7.59/7.65	c |      4928 |    6721    10518    31487 |    10717     4928     39 |  0.297 % |
7.89/7.93	c |      7491 |    6719    10518    31487 |    11789     7012     36 |  0.326 % |
8.59/8.67	c |     11337 |    6717    10518    31487 |    12968    10858     48 |  0.356 % |
9.68/9.75	c |     17103 |    6711    10518    31487 |    14265     9408     58 |  0.475 % |
11.69/11.73	c |     25752 |    6707    10518    31487 |    15692    10360     62 |  0.505 % |
14.09/14.10	c ===============================================================================
14.19/14.24	c core #489
14.19/14.24	c Core size: 1520	Core Weight: 1	Total Weight: 489
14.19/14.24	c Elapsed CPU time: 13.9629 s	Remaining CPU time: 1786.04 s
14.19/14.29	c Learning 72 hard constraints
14.19/14.29	c ============================[ Search Statistics ]==============================
14.19/14.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
14.19/14.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
14.19/14.29	c ===============================================================================
14.19/14.29	c |         0 |    7065    10591    32502 |     5000        0    nan |  0.000 % |
14.29/14.31	c |       100 |    7065    10591    32502 |     5500      100     33 |  0.282 % |
14.29/14.32	c |       252 |    7061    10591    32502 |     6050      229     20 |  0.339 % |
14.29/14.34	c |       477 |    7057    10591    32502 |     6655      454     20 |  0.395 % |
14.29/14.37	c |       820 |    7057    10591    32502 |     7320      792     26 |  0.395 % |
14.38/14.43	c |      1327 |    7057    10591    32502 |     8052     1299     31 |  0.395 % |
14.48/14.51	c |      2088 |    7057    10591    32502 |     8857     2060     33 |  0.395 % |
14.59/14.65	c |      3227 |    7055    10591    32502 |     9743     3196     34 |  0.423 % |
14.79/14.88	c |      4936 |    7051    10591    32502 |    10717     4901     36 |  0.480 % |
15.28/15.32	c |      7498 |    7050    10591    32502 |    11789     7461     40 |  0.508 % |
15.88/15.90	c |     11343 |    7022    10591    32502 |    12968    11305     44 |  1.524 % |
16.78/16.86	c |     17109 |    6974    10591    32502 |    14265     9398     49 |  1.567 % |
18.48/18.60	c |     25760 |    6971    10591    32502 |    15692    13466     46 |  1.623 % |
21.48/21.56	c |     38734 |    6966    10591    32502 |    17261     8791     55 |  1.680 % |
25.48/25.59	c ===============================================================================
25.88/25.91	c core #490
25.88/25.91	c Core size: 1354	Core Weight: 1	Total Weight: 490
25.88/25.91	c Elapsed CPU time: 25.5051 s	Remaining CPU time: 1774.49 s
25.88/25.98	c Learning 15 hard constraints
25.88/25.98	c ============================[ Search Statistics ]==============================
25.88/25.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.88/25.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
25.88/25.98	c ===============================================================================
25.88/25.98	c |         0 |    7412    10607    33252 |     5000        0    nan |  0.000 % |
25.98/26.00	c |       100 |    7412    10607    33252 |     5500      100     15 |  0.269 % |
25.98/26.02	c |       251 |    7412    10607    33252 |     6050      251     13 |  0.269 % |
25.98/26.04	c |       476 |    7410    10607    33252 |     6655      474     15 |  0.296 % |
25.98/26.07	c |       815 |    7410    10607    33252 |     7320      813     20 |  0.296 % |
26.08/26.12	c |      1321 |    7407    10607    33252 |     8052     1314     18 |  0.336 % |
26.08/26.19	c |      2081 |    7405    10607    33252 |     8857     2074     22 |  0.363 % |
26.28/26.32	c |      3221 |    7403    10607    33252 |     9743     3144     22 |  0.390 % |
26.48/26.54	c |      4929 |    7399    10607    33252 |    10717     4761     28 |  0.444 % |
26.87/26.91	c |      7491 |    7397    10607    33252 |    11789     7266     33 |  0.471 % |
27.38/27.46	c |     11338 |    7392    10607    33252 |    12968    11079     38 |  0.538 % |
28.28/28.36	c |     17104 |    7389    10607    33252 |    14265     9441     43 |  0.579 % |
30.58/30.61	c |     25753 |    7224    10607    33252 |    15692    13250     47 |  2.799 % |
30.68/30.75	c ===============================================================================
30.88/30.92	c core #491
30.88/30.92	c Core size: 953	Core Weight: 1	Total Weight: 491
30.88/30.92	c Elapsed CPU time: 30.4224 s	Remaining CPU time: 1769.58 s
30.88/30.96	c Learning 20 hard constraints
30.88/30.96	c ============================[ Search Statistics ]==============================
30.88/30.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.88/30.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
30.88/30.96	c ===============================================================================
30.88/30.96	c |         0 |    7666    10628    33836 |     5000        0    nan |  0.000 % |
30.88/30.98	c |       100 |    7666    10628    33836 |     5500      100     33 |  0.260 % |
30.97/31.01	c |       253 |    7666    10628    33836 |     6050      253     38 |  0.260 % |
30.97/31.02	c |       479 |    7666    10628    33836 |     6655      479     29 |  0.260 % |
30.97/31.05	c |       817 |    7666    10628    33836 |     7320      817     24 |  0.260 % |
30.97/31.09	c |      1324 |    7666    10628    33836 |     8052     1324     24 |  0.260 % |
31.08/31.17	c |      2086 |    7666    10628    33836 |     8857     2086     27 |  0.260 % |
31.28/31.32	c |      3225 |    7666    10628    33836 |     9743     3225     39 |  0.260 % |
31.48/31.55	c |      4933 |    7666    10628    33836 |    10717     4933     43 |  0.260 % |
31.97/32.03	c |      7498 |    7666    10628    33836 |    11789     7498     61 |  0.260 % |
32.57/32.69	c |     11346 |    7666    10628    33836 |    12968    11346     65 |  0.260 % |
33.88/33.91	c |     17115 |    7666    10628    33836 |    14265    10213     58 |  0.260 % |
35.47/35.57	c |     25767 |    7666    10628    33836 |    15692    11534     44 |  0.260 % |
38.17/38.25	c |     38742 |    7666    10628    33836 |    17261    16525     45 |  0.260 % |
43.67/43.74	c |     58203 |    7664    10628    33836 |    18987    17245     50 |  0.286 % |
51.46/51.52	c |     87397 |    7662    10628    33836 |    20886    17354     56 |  0.312 % |
66.75/66.87	c |    131186 |    7662    10628    33836 |    22974    17399     48 |  0.312 % |
106.33/106.42	c |    196870 |    7662    10628    33836 |    25272    21538     87 |  0.312 % |
148.71/148.82	c |    295397 |    7660    10628    33836 |    27799    20544     90 |  0.338 % |
232.57/232.77	c |    443186 |    7660    10628    33836 |    30579    23712     75 |  0.338 % |
361.61/361.84	c |    664872 |    7656    10628    33836 |    33637    17055     62 |  0.390 % |
521.33/521.63	c |    997402 |    7643    10628    33836 |    37001    17225     62 |  0.560 % |
768.51/768.96	c ===============================================================================
771.90/772.39	c core #492
771.90/772.39	c Core size: 1691	Core Weight: 1	Total Weight: 492
771.90/772.39	c Elapsed CPU time: 767.288 s	Remaining CPU time: 1032.71 s
773.20/773.69	c Learning 68 hard constraints
773.20/773.69	c ============================[ Search Statistics ]==============================
773.20/773.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
773.20/773.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
773.20/773.69	c ===============================================================================
773.20/773.69	c |         0 |    8034    10697    34787 |     5000        0    nan |  0.000 % |
773.30/773.75	c |       100 |    8034    10697    34787 |     5500      100     26 |  0.248 % |
773.50/773.97	c |       250 |    8034    10697    34787 |     6050      250     30 |  0.248 % |
773.50/773.99	c |       475 |    8034    10697    34787 |     6655      475     23 |  0.248 % |
773.60/774.03	c |       812 |    8034    10697    34787 |     7320      812     21 |  0.248 % |
773.60/774.08	c |      1318 |    8034    10697    34787 |     8052     1318     22 |  0.248 % |
773.70/774.18	c |      2081 |    8034    10697    34787 |     8857     2081     25 |  0.248 % |
773.90/774.30	c |      3220 |    8034    10697    34787 |     9743     3220     30 |  0.248 % |
774.01/774.48	c |      4928 |    8034    10697    34787 |    10717     4928     29 |  0.248 % |
774.39/774.85	c |      7491 |    8034    10697    34787 |    11789     7491     36 |  0.248 % |
775.10/775.56	c |     11336 |    8034    10697    34787 |    12968    11336     44 |  0.249 % |
777.00/777.41	c |     17104 |    8034    10697    34787 |    14265    10332     64 |  0.248 % |
780.40/780.81	c |     25753 |    8034    10697    34787 |    15692    11565     72 |  0.249 % |
787.49/787.93	c |     38727 |    8034    10697    34787 |    17261     8294     88 |  0.248 % |
797.49/797.96	c |     58188 |    8034    10697    34787 |    18987    10042     74 |  0.249 % |
807.78/808.20	c |     87380 |    8034    10697    34787 |    20886    18771     70 |  0.248 % |
836.77/837.25	c |    131169 |    8034    10697    34787 |    22974    19120     78 |  0.248 % |
874.45/874.96	c |    196858 |    8034    10697    34787 |    25272    23416    116 |  0.248 % |
944.72/945.27	c |    295384 |    8030    10697    34787 |    27799    25958    176 |  0.298 % |
1045.36/1045.95	c |    443173 |    8029    10697    34787 |    30579    14357    204 |  0.310 % |
1225.38/1226.01	c |    664858 |    8027    10697    34787 |    33637    31671    195 |  0.335 % |
1669.56/1670.46	c |    997383 |    8027    10697    34787 |    37001    18162    127 |  0.335 % |

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-1875593-1245151546/watcher-1875593-1245151546 -o /tmp/evaluation-result-1875593-1245151546/solver-1875593-1245151546 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875593-1245151546.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 2336
/proc/meminfo: memFree=1861576/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=3060 CPUtime=0
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 182751019 3133440 251 1992294400 134512640 135709839 4294956240 18446744073709551615 135182879 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 765 252 128 292 0 418 0

[startup+0.013113 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2336
/proc/meminfo: memFree=1861576/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=3060 CPUtime=0.01
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 307 0 0 0 1 0 0 0 18 0 1 0 182751019 3133440 291 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 765 291 144 292 0 418 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3060

[startup+0.10213 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2336
/proc/meminfo: memFree=1861576/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=3688 CPUtime=0.09
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 182751019 3776512 494 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 922 494 133 292 0 627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3688

[startup+0.302167 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2336
/proc/meminfo: memFree=1861576/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=3812 CPUtime=0.29
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 591 0 0 0 29 0 0 0 19 0 1 0 182751019 3903488 523 1992294400 134512640 135709839 4294956240 18446744073709551615 134605569 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 953 523 133 292 0 658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3812

[startup+0.701242 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2336
/proc/meminfo: memFree=1861576/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=4184 CPUtime=0.69
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 757 0 0 0 69 0 0 0 23 0 1 0 182751019 4284416 603 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 1046 603 133 292 0 751 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4184

[startup+1.50139 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1859136/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=5024 CPUtime=1.49
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 1300 0 0 0 148 1 0 0 25 0 1 0 182751019 5144576 827 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 1256 827 133 292 0 961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5024

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1857856/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=6988 CPUtime=3.09
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 2351 0 0 0 307 2 0 0 25 0 1 0 182751019 7155712 1316 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 1747 1316 135 292 0 1452 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6988

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1849728/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=14628 CPUtime=6.29
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 5007 0 0 0 617 12 0 0 23 0 1 0 182751019 14979072 3192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 3657 3192 136 292 0 3362 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14628

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1837592/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=27588 CPUtime=12.68
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 8259 0 0 0 1244 24 0 0 25 0 1 0 182751019 28250112 6444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 6897 6444 136 292 0 6602 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27588

[startup+25.5029 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1822936/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=41008 CPUtime=25.48
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 11592 0 0 0 2509 39 0 0 25 0 1 0 182751019 41992192 9777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 10252 9777 136 292 0 9957 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41008

[startup+51.1027 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1797912/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=66464 CPUtime=51.07
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 17986 0 0 0 5036 71 0 0 25 0 1 0 182751019 68059136 16171 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2336/statm: 16616 16171 136 292 0 16321 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66464

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1747352/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=116320 CPUtime=102.23
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 30405 0 0 0 10123 100 0 0 25 0 1 0 182751019 119111680 28590 1992294400 134512640 135709839 4294956240 18446744073709551615 134573786 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 29080 28590 136 292 0 28785 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 116320

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1677464/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=187140 CPUtime=162.2
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 48070 0 0 0 16082 138 0 0 25 0 1 0 182751019 191631360 46255 1992294400 134512640 135709839 4294956240 18446744073709551615 134573788 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 46785 46255 136 292 0 46490 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 187140

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1616088/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=247880 CPUtime=222.17
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 63198 0 0 0 22046 171 0 0 25 0 1 0 182751019 253829120 61383 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 61970 61383 136 292 0 61675 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 247880

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1556120/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=308000 CPUtime=282.13
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 78182 0 0 0 28014 199 0 0 25 0 1 0 182751019 315392000 76367 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 77000 76367 136 292 0 76705 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 308000

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1481880/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=382020 CPUtime=342.11
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 96684 0 0 0 33967 244 0 0 25 0 1 0 182751019 391188480 94869 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 95505 94869 136 292 0 95210 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 382020

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1414552/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=450388 CPUtime=402.08
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 113735 0 0 0 39929 279 0 0 25 0 1 0 182751019 461197312 111920 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 112597 111920 136 292 0 112302 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 450388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1365656/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=498588 CPUtime=462.06
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 125738 0 0 0 45897 309 0 0 25 0 1 0 182751019 510554112 123923 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 124647 123923 136 292 0 124352 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 498588

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1300376/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=564460 CPUtime=522.03
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 142167 0 0 0 51858 345 0 0 25 0 1 0 182751019 578007040 140352 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 141115 140352 136 292 0 140820 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 564460

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1245720/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=618240 CPUtime=582
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 155572 0 0 0 57819 381 0 0 25 0 1 0 182751019 633077760 153757 1992294400 134512640 135709839 4294956240 18446744073709551615 134573826 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 154560 153757 136 292 0 154265 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 618240

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1191384/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=672216 CPUtime=641.97
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 169027 0 0 0 63787 410 0 0 25 0 1 0 182751019 688349184 167212 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 168054 167212 136 292 0 167759 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 672216

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=1048216/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=814752 CPUtime=941.82
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 205025 0 0 0 93634 548 0 0 25 0 1 0 182751019 834306048 203210 1992294400 134512640 135709839 4294956240 18446744073709551615 134573734 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 203688 203210 136 292 0 203393 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 814752

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=971800/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=890144 CPUtime=1001.79
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 223856 0 0 0 99588 591 0 0 25 0 1 0 182751019 911507456 222041 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 222536 222041 136 292 0 222241 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 890144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=914904/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=946948 CPUtime=1061.76
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 238007 0 0 0 105554 622 0 0 25 0 1 0 182751019 969674752 236192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 236737 236192 136 292 0 236442 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 946948

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=884696/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=977152 CPUtime=1121.73
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 245530 0 0 0 111531 642 0 0 25 0 1 0 182751019 1000603648 243715 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 244288 243715 136 292 0 243993 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 977152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=863512/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=999920 CPUtime=1181.7
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 251183 0 0 0 117509 661 0 0 25 0 1 0 182751019 1023918080 249368 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 249980 249368 136 292 0 249685 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 999920

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=802520/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1059460 CPUtime=1241.67
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 266045 0 0 0 123473 694 0 0 25 0 1 0 182751019 1084887040 264230 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 264865 264231 136 292 0 264570 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 1059460

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=754392/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1107112 CPUtime=1301.65
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 277943 0 0 0 129442 723 0 0 25 0 1 0 182751019 1133682688 276128 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 276778 276128 136 292 0 276483 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 1107112

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=718744/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1143396 CPUtime=1361.6
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 286994 0 0 0 135417 743 0 0 25 0 1 0 182751019 1170837504 285179 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 285849 285179 136 292 0 285554 0
Current children cumulated CPU time (s) 1361.6
Current children cumulated vsize (KiB) 1143396

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=680472/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1181108 CPUtime=1421.59
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 296385 0 0 0 141396 763 0 0 25 0 1 0 182751019 1209454592 294570 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 295277 294570 136 292 0 294982 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 1181108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=654232/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1207716 CPUtime=1481.55
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 303044 0 0 0 147376 779 0 0 25 0 1 0 182751019 1236701184 301229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 301929 301229 136 292 0 301634 0
Current children cumulated CPU time (s) 1481.55
Current children cumulated vsize (KiB) 1207716

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=625496/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1236188 CPUtime=1541.52
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 310140 0 0 0 153356 796 0 0 25 0 1 0 182751019 1265856512 308325 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 309047 308325 136 292 0 308752 0
Current children cumulated CPU time (s) 1541.52
Current children cumulated vsize (KiB) 1236188

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2337
/proc/meminfo: memFree=591448/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1270544 CPUtime=1601.49
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 318729 0 0 0 159335 814 0 0 25 0 1 0 182751019 1301037056 316914 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 317636 316914 136 292 0 317341 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 1270544

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=559320/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1302068 CPUtime=1661.47
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 326583 0 0 0 165316 831 0 0 25 0 1 0 182751019 1333317632 324768 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 325517 324768 136 292 0 325222 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 1302068

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=489240/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1373172 CPUtime=1721.44
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 344324 0 0 0 171278 866 0 0 25 0 1 0 182751019 1406128128 342509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 343293 342509 136 292 0 342998 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 1373172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=425304/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1436188 CPUtime=1781.4
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 360068 0 0 0 177246 894 0 0 25 0 1 0 182751019 1470656512 358253 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 359047 358253 136 292 0 358752 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 1436188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=404888/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=1456344 CPUtime=1800
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4194304 365092 0 0 0 179098 902 0 0 25 0 1 0 182751019 1491296256 363277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 364086 363277 136 292 0 363791 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1456344

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

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

[startup+1801.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=404888/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=0 CPUtime=1800.1
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4195332 365092 0 0 0 179098 912 0 0 25 0 1 0 182751019 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2339
/proc/meminfo: memFree=404888/2055920 swapFree=4182544/4192956
[pid=2336] ppid=2334 vsize=0 CPUtime=1800.2
/proc/2336/stat : 2336 (wbo) R 2334 2336 2293 0 -1 4195332 365092 0 0 0 179098 922 0 0 25 0 1 0 182751019 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/2336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.12
CPU time (s): 1800.23
CPU user time (s): 1790.98
CPU system time (s): 9.24259
CPU usage (%): 99.9505
Max. virtual memory (cumulated for all children) (KiB): 1456344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.98
system time used= 9.24259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365092
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= 12
involuntary context switches= 6142

runsolver used 1.49377 second user time and 5.10822 second system time

The end

Launcher Data 

Begin job on node47 at 2009-06-16 13:25:46
IDJOB=1875593
IDBENCH=2081
IDSOLVER=698
FILE ID=node47/1875593-1245151546
PBS_JOBID= 9363799
Free space on /tmp= 65952 MiB

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

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

MD5SUM BENCH= 86a5a0860b111dc876591f0b93da0f3c
RANDOM SEED=70134113

node47.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.261
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.261
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:       1862128 kB
Buffers:         29156 kB
Cached:          98160 kB
SwapCached:       4196 kB
Active:          41768 kB
Inactive:        93264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862128 kB
SwapTotal:     4192956 kB
SwapFree:      4182544 kB
Dirty:            2616 kB
Writeback:           0 kB
Mapped:          13532 kB
Slab:            44732 kB
Committed_AS:   173404 kB
PageTables:       1448 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-1875593-1245151546.opb

Free space on /tmp at the end= 65948 MiB
End job on node47 at 2009-06-16 13:55:49