Trace number 2680661

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (MO) 1767.59 1768.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
MD5SUMccbbad891f18298525c42c78a48134ce
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark540
Best CPU time to get the best result obtained on this benchmark47.1778
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 540
Optimality of the best value was proved NO
Number of variables1860
Total number of constraints7477
Number of constraints which are clauses7477
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 1860
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 1860
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 1860
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 wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680661-1277453515.opb.
0.00/0.00	c Instance file HOME/instance-2680661-1277453515.opb
0.00/0.00	c File size is 206551 bytes.
0.00/0.03	c Highest Coefficient sum: 11
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      1860                                                |
0.00/0.03	c |  Number Clauses:        7477                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1860     7477    16950 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 730
0.09/0.11	o 730
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        18 |    1860     7478    18810 |     5000       18     14 |  0.000 % |
0.09/0.13	c |       119 |    1860     7478    18810 |     5500      119    593 |  0.000 % |
0.09/0.17	c |       270 |    1860     7478    18810 |     6050      270    674 |  0.002 % |
0.19/0.23	c |       495 |    1860     7478    18810 |     6655      495    705 |  0.002 % |
0.29/0.32	c |       833 |    1860     7478    18810 |     7320      833    720 |  0.003 % |
0.40/0.45	c |      1341 |    1860     7478    18810 |     8052     1341    718 |  0.003 % |
0.59/0.69	c |      2100 |    1860     7478    18810 |     8857     2100    726 |  0.003 % |
1.00/1.00	c |      3239 |    1860     7478    18810 |     9743     3239    731 |  0.000 % |
1.39/1.49	c |      4948 |    1860     7478    18810 |    10717     4948    735 |  0.000 % |
2.29/2.35	c |      7510 |    1860     7478    18810 |    11789     7510    737 |  0.000 % |
3.49/3.58	c |     11355 |    1860     7478    18810 |    12968    11355    738 |  0.000 % |
5.79/5.87	c |     17121 |    1860     7478    18810 |    14265     9861    741 |  0.000 % |
9.39/9.41	c |     25770 |    1860     7478    18810 |    15692    10517    742 |  0.001 % |
14.30/14.34	c |     38745 |    1860     7478    18810 |    17261    14874    740 |  0.000 % |
22.48/22.54	c |     58207 |    1860     7478    18810 |    18987    15467    743 |  0.002 % |
38.18/38.20	c |     87402 |    1860     7478    18810 |    20886    13698    743 |  0.000 % |
60.68/60.71	c |    131192 |    1860     7478    18810 |    22974    22191    744 |  0.000 % |
90.96/91.04	c |    196877 |    1860     7478    18810 |    25272    19362    743 |  0.000 % |
141.04/141.19	c |    295403 |    1860     7478    18810 |    27799    23010    733 |  0.000 % |
182.14/182.22	c There are 0 assigned variables. 0 in cost function.
183.44/183.53	c core #1
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 1
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #2
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 2
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #3
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 3
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #4
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 4
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #5
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 5
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #6
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 6
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #7
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 7
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #8
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 8
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #9
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 9
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #10
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 10
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #11
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 11
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #12
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 12
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #13
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 13
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #14
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 14
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #15
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 15
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #16
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 16
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #17
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 17
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #18
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 18
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #19
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 19
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #20
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 20
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #21
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 21
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #22
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 22
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #23
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 23
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #24
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 24
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #25
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 25
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #26
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 26
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #27
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 27
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #28
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 28
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #29
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 29
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #30
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 30
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #31
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 31
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #32
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 32
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #33
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 33
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #34
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 34
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #35
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 35
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #36
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 36
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #37
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 37
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #38
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 38
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #39
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 39
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #40
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 40
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #41
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 41
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #42
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 42
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #43
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 43
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #44
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 44
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #45
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 45
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #46
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 46
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #47
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 47
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #48
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 48
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #49
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 49
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #50
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 50
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #51
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 51
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #52
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 52
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #53
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 53
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #54
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 54
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #55
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 55
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #56
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 56
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #57
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 57
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #58
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 58
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #59
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 59
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #60
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 60
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c core #61
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 3	Core Weight: 1	Total Weight: 61
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #62
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 62
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #63
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 63
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #64
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 64
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #65
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 65
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #66
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 66
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #67
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 67
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #68
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 68
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #69
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 69
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #70
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 70
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #71
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 71
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #72
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 72
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #73
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 73
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #74
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 74
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #75
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 75
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c core #76
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 3	Core Weight: 1	Total Weight: 76
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #77
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 3	Core Weight: 1	Total Weight: 77
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #78
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 3	Core Weight: 1	Total Weight: 78
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #79
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 3	Core Weight: 1	Total Weight: 79
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #80
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 3	Core Weight: 1	Total Weight: 80
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #81
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 81
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #82
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 82
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #83
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 83
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #84
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 84
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #85
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 85
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #86
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 86
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #87
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 87
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #88
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 88
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #89
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 89
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #90
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 9	Core Weight: 1	Total Weight: 90
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #91
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 91
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #92
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 92
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #93
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 93
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #94
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 94
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #95
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 95
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #96
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 96
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #97
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 97
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #98
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 98
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #99
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 99
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #100
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 100
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #101
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 101
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #102
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 102
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #103
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 103
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #104
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 104
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #105
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 105
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #106
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 106
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #107
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 107
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #108
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 108
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #109
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 109
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #110
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 110
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #111
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 111
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #112
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 112
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #113
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 113
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #114
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 114
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #115
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 115
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #116
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 116
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #117
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 117
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #118
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 118
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #119
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 119
184.33/184.44	c
184.33/184.44	c
184.33/184.44	c core #120
184.33/184.44	c 
184.33/184.44	c 
184.33/184.44	c Core size: 11	Core Weight: 1	Total Weight: 120
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #121
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 121
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #122
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 122
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #123
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 123
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #124
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 124
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #125
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 125
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #126
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 126
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #127
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 127
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #128
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 128
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #129
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 129
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #130
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 130
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #131
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 131
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #132
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 132
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #133
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 133
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #134
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 134
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #135
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 135
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #136
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 136
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #137
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 137
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #138
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 138
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #139
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 139
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #140
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 140
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #141
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 141
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #142
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 142
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #143
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 143
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #144
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 144
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #145
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 145
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #146
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 146
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #147
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 147
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #148
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 148
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #149
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 149
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #150
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 150
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #151
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 151
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #152
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 152
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #153
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 153
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #154
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 154
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #155
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 155
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #156
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 156
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #157
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 157
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #158
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 158
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #159
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 159
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #160
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 160
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #161
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 161
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #162
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 162
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #163
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 163
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #164
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 164
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #165
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 165
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #166
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 166
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #167
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 11	Core Weight: 1	Total Weight: 167
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #168
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 12	Core Weight: 1	Total Weight: 168
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #169
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 20	Core Weight: 1	Total Weight: 169
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #170
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 20	Core Weight: 1	Total Weight: 170
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #171
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 21	Core Weight: 1	Total Weight: 171
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #172
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 19	Core Weight: 1	Total Weight: 172
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #173
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 20	Core Weight: 1	Total Weight: 173
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #174
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 20	Core Weight: 1	Total Weight: 174
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #175
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 21	Core Weight: 1	Total Weight: 175
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #176
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 21	Core Weight: 1	Total Weight: 176
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #177
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 21	Core Weight: 1	Total Weight: 177
185.23/185.40	c
185.23/185.40	c
185.23/185.40	c core #178
185.23/185.40	c 
185.23/185.40	c 
185.23/185.40	c Core size: 21	Core Weight: 1	Total Weight: 178
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #179
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 179
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #180
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 180
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #181
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 181
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #182
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 182
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #183
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 183
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #184
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 23	Core Weight: 1	Total Weight: 184
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #185
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 185
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #186
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 186
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #187
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 187
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #188
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 12	Core Weight: 1	Total Weight: 188
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #189
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 189
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #190
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 190
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #191
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 191
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #192
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 19	Core Weight: 1	Total Weight: 192
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #193
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 193
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #194
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 194
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #195
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 195
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #196
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 196
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #197
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 197
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #198
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 198
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #199
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 199
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #200
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 200
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #201
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 201
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #202
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 202
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #203
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 203
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #204
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 23	Core Weight: 1	Total Weight: 204
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #205
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 205
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #206
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 206
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #207
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 207
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #208
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 12	Core Weight: 1	Total Weight: 208
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #209
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 209
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #210
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 210
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #211
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 211
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #212
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 19	Core Weight: 1	Total Weight: 212
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #213
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 213
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #214
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 214
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #215
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 215
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #216
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 216
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #217
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 217
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #218
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 218
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #219
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 219
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #220
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 220
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #221
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 221
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #222
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 222
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #223
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 223
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #224
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 23	Core Weight: 1	Total Weight: 224
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #225
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 22	Core Weight: 1	Total Weight: 225
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #226
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 226
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #227
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 227
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #228
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 12	Core Weight: 1	Total Weight: 228
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #229
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 229
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #230
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 230
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #231
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 231
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #232
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 19	Core Weight: 1	Total Weight: 232
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #233
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 233
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #234
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 20	Core Weight: 1	Total Weight: 234
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #235
186.34/186.45	c 
186.34/186.45	c 
186.34/186.45	c Core size: 21	Core Weight: 1	Total Weight: 235
186.34/186.45	c
186.34/186.45	c
186.34/186.45	c core #236
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 236
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #237
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 237
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #238
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 238
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #239
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 239
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #240
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 22	Core Weight: 1	Total Weight: 240
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #241
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 241
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #242
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 21	Core Weight: 1	Total Weight: 242
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #243
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 22	Core Weight: 1	Total Weight: 243
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #244
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 23	Core Weight: 1	Total Weight: 244
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #245
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 22	Core Weight: 1	Total Weight: 245
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #246
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 20	Core Weight: 1	Total Weight: 246
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #247
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 20	Core Weight: 1	Total Weight: 247
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #248
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 12	Core Weight: 1	Total Weight: 248
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #249
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 20	Core Weight: 1	Total Weight: 249
187.44/187.58	c
187.44/187.58	c
187.44/187.58	c core #250
187.44/187.58	c 
187.44/187.58	c 
187.44/187.58	c Core size: 20	Core Weight: 1	Total Weight: 250
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #251
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 251
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #252
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 19	Core Weight: 1	Total Weight: 252
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #253
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 253
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #254
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 254
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #255
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 255
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #256
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 256
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #257
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 257
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #258
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 258
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #259
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 259
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #260
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 260
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #261
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 261
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #262
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 262
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #263
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 263
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #264
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 23	Core Weight: 1	Total Weight: 264
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #265
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 265
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #266
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 266
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #267
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 267
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #268
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 12	Core Weight: 1	Total Weight: 268
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #269
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 269
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #270
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 270
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #271
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 271
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #272
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 19	Core Weight: 1	Total Weight: 272
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #273
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 273
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #274
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 274
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #275
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 275
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #276
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 276
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #277
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 277
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #278
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 278
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #279
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 279
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #280
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 280
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #281
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 281
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #282
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 282
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #283
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 283
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #284
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 23	Core Weight: 1	Total Weight: 284
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #285
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 22	Core Weight: 1	Total Weight: 285
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #286
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 286
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #287
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 287
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #288
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 12	Core Weight: 1	Total Weight: 288
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #289
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 289
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #290
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 290
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #291
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 21	Core Weight: 1	Total Weight: 291
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #292
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 19	Core Weight: 1	Total Weight: 292
187.44/187.59	c
187.44/187.59	c
187.44/187.59	c core #293
187.44/187.59	c 
187.44/187.59	c 
187.44/187.59	c Core size: 20	Core Weight: 1	Total Weight: 293
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #294
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 294
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #295
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 295
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #296
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 296
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #297
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 297
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #298
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 298
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #299
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 299
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #300
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 300
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #301
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 301
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #302
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 302
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #303
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 303
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #304
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 23	Core Weight: 1	Total Weight: 304
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #305
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 305
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #306
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 306
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #307
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 307
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #308
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 12	Core Weight: 1	Total Weight: 308
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #309
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 309
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #310
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 310
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #311
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 311
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #312
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 19	Core Weight: 1	Total Weight: 312
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #313
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 313
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #314
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 314
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #315
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 315
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #316
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 316
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #317
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 317
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #318
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 318
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #319
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 319
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #320
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 320
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #321
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 321
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #322
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 322
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #323
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 323
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #324
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 23	Core Weight: 1	Total Weight: 324
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #325
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 325
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #326
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 326
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #327
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 327
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #328
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 12	Core Weight: 1	Total Weight: 328
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #329
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 329
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #330
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 330
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #331
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 331
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #332
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 19	Core Weight: 1	Total Weight: 332
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #333
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 333
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #334
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 334
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #335
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 335
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #336
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 336
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #337
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 337
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #338
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 338
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #339
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 339
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #340
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 340
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #341
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 341
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #342
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 342
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #343
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 343
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #344
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 23	Core Weight: 1	Total Weight: 344
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #345
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 22	Core Weight: 1	Total Weight: 345
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #346
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 346
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #347
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 347
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #348
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 12	Core Weight: 1	Total Weight: 348
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #349
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 349
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #350
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 20	Core Weight: 1	Total Weight: 350
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c core #351
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 21	Core Weight: 1	Total Weight: 351
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #352
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 19	Core Weight: 1	Total Weight: 352
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #353
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 20	Core Weight: 1	Total Weight: 353
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #354
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 20	Core Weight: 1	Total Weight: 354
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #355
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 355
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #356
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 356
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #357
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 357
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #358
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 358
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #359
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 359
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #360
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 22	Core Weight: 1	Total Weight: 360
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #361
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 361
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #362
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 21	Core Weight: 1	Total Weight: 362
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #363
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 22	Core Weight: 1	Total Weight: 363
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #364
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 23	Core Weight: 1	Total Weight: 364
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #365
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 22	Core Weight: 1	Total Weight: 365
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #366
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 20	Core Weight: 1	Total Weight: 366
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #367
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 20	Core Weight: 1	Total Weight: 367
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c core #368
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 211	Core Weight: 1	Total Weight: 368
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c ============================[ Search Statistics ]==============================
189.14/189.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.28	c ===============================================================================
189.14/189.28	c |         0 |    3680     9711    24301 |     5000        0    nan |  0.000 % |
189.14/189.28	c ===============================================================================
189.23/189.30	c core #369
189.23/189.30	c 
189.23/189.30	c 
189.23/189.30	c Core size: 12	Core Weight: 1	Total Weight: 369
189.23/189.30	c
189.23/189.30	c
189.23/189.30	c ============================[ Search Statistics ]==============================
189.23/189.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.30	c ===============================================================================
189.23/189.30	c |         0 |    3687     9712    24315 |     5000        0    nan |  0.000 % |
189.23/189.31	c ===============================================================================
189.23/189.33	c core #370
189.23/189.33	c 
189.23/189.33	c 
189.23/189.33	c Core size: 27	Core Weight: 1	Total Weight: 370
189.23/189.33	c
189.23/189.33	c
189.23/189.33	c ============================[ Search Statistics ]==============================
189.23/189.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.33	c ===============================================================================
189.23/189.33	c |         0 |    3696     9713    24333 |     5000        0    nan |  0.000 % |
189.23/189.33	c ===============================================================================
189.23/189.36	c core #371
189.23/189.36	c 
189.23/189.36	c 
189.23/189.36	c Core size: 10	Core Weight: 1	Total Weight: 371
189.23/189.36	c
189.23/189.36	c
189.23/189.36	c ============================[ Search Statistics ]==============================
189.23/189.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.36	c ===============================================================================
189.23/189.36	c |         0 |    3702     9714    24345 |     5000        0    nan |  0.000 % |
189.23/189.36	c ===============================================================================
189.23/189.38	c core #372
189.23/189.38	c 
189.23/189.38	c 
189.23/189.38	c Core size: 10	Core Weight: 1	Total Weight: 372
189.23/189.38	c
189.23/189.38	c
189.23/189.38	c ============================[ Search Statistics ]==============================
189.23/189.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.38	c ===============================================================================
189.23/189.38	c |         0 |    3708     9715    24357 |     5000        0    nan |  0.000 % |
189.23/189.39	c ===============================================================================
189.33/189.41	c core #373
189.33/189.41	c 
189.33/189.41	c 
189.33/189.41	c Core size: 18	Core Weight: 1	Total Weight: 373
189.33/189.41	c
189.33/189.41	c
189.33/189.41	c ============================[ Search Statistics ]==============================
189.33/189.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.41	c ===============================================================================
189.33/189.41	c |         0 |    3717     9716    24375 |     5000        0    nan |  0.000 % |
189.33/189.42	c ===============================================================================
189.33/189.44	c core #374
189.33/189.44	c 
189.33/189.44	c 
189.33/189.44	c Core size: 10	Core Weight: 1	Total Weight: 374
189.33/189.44	c
189.33/189.44	c
189.33/189.44	c ============================[ Search Statistics ]==============================
189.33/189.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.44	c ===============================================================================
189.33/189.44	c |         0 |    3723     9717    24387 |     5000        0    nan |  0.000 % |
189.33/189.44	c ===============================================================================
189.33/189.47	c core #375
189.33/189.47	c 
189.33/189.47	c 
189.33/189.47	c Core size: 22	Core Weight: 1	Total Weight: 375
189.33/189.47	c
189.33/189.47	c
189.33/189.47	c ============================[ Search Statistics ]==============================
189.33/189.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.47	c ===============================================================================
189.33/189.47	c |         0 |    3733     9718    24407 |     5000        0    nan |  0.000 % |
189.33/189.47	c ===============================================================================
189.33/189.49	c core #376
189.33/189.49	c 
189.33/189.49	c 
189.33/189.49	c Core size: 29	Core Weight: 1	Total Weight: 376
189.33/189.49	c
189.33/189.49	c
189.33/189.49	c ============================[ Search Statistics ]==============================
189.33/189.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.49	c ===============================================================================
189.33/189.49	c |         0 |    3742     9720    24428 |     5000        0    nan |  0.000 % |
189.43/189.50	c ===============================================================================
189.43/189.52	c core #377
189.43/189.52	c 
189.43/189.52	c 
189.43/189.52	c Core size: 24	Core Weight: 1	Total Weight: 377
189.43/189.52	c
189.43/189.52	c
189.43/189.52	c ============================[ Search Statistics ]==============================
189.43/189.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.52	c ===============================================================================
189.43/189.52	c |         0 |    3752     9721    24448 |     5000        0    nan |  0.000 % |
189.43/189.53	c ===============================================================================
189.43/189.55	c core #378
189.43/189.55	c 
189.43/189.55	c 
189.43/189.55	c Core size: 37	Core Weight: 1	Total Weight: 378
189.43/189.55	c
189.43/189.55	c
189.43/189.55	c ============================[ Search Statistics ]==============================
189.43/189.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.55	c ===============================================================================
189.43/189.55	c |         0 |    3765     9722    24474 |     5000        0    nan |  0.000 % |
189.43/189.56	c ===============================================================================
189.43/189.58	c core #379
189.43/189.58	c 
189.43/189.58	c 
189.43/189.58	c Core size: 22	Core Weight: 1	Total Weight: 379
189.43/189.58	c
189.43/189.58	c
189.43/189.58	c ============================[ Search Statistics ]==============================
189.43/189.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.58	c ===============================================================================
189.43/189.58	c |         0 |    3778     9723    24500 |     5000        0    nan |  0.000 % |
189.43/189.59	c ===============================================================================
189.53/189.61	c core #380
189.53/189.61	c 
189.53/189.61	c 
189.53/189.61	c Core size: 12	Core Weight: 1	Total Weight: 380
189.53/189.61	c
189.53/189.61	c
189.53/189.61	c ============================[ Search Statistics ]==============================
189.53/189.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.61	c ===============================================================================
189.53/189.61	c |         0 |    3785     9724    24514 |     5000        0    nan |  0.000 % |
189.53/189.61	c ===============================================================================
189.53/189.64	c core #381
189.53/189.64	c 
189.53/189.64	c 
189.53/189.64	c Core size: 10	Core Weight: 1	Total Weight: 381
189.53/189.64	c
189.53/189.64	c
189.53/189.64	c ============================[ Search Statistics ]==============================
189.53/189.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.64	c ===============================================================================
189.53/189.64	c |         0 |    3791     9725    24526 |     5000        0    nan |  0.000 % |
189.53/189.64	c ===============================================================================
189.53/189.67	c core #382
189.53/189.67	c 
189.53/189.67	c 
189.53/189.67	c Core size: 10	Core Weight: 1	Total Weight: 382
189.53/189.67	c
189.53/189.67	c
189.53/189.67	c ============================[ Search Statistics ]==============================
189.53/189.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.67	c ===============================================================================
189.53/189.67	c |         0 |    3797     9726    24538 |     5000        0    nan |  0.000 % |
189.53/189.67	c ===============================================================================
189.63/189.70	c core #383
189.63/189.70	c 
189.63/189.70	c 
189.63/189.70	c Core size: 10	Core Weight: 1	Total Weight: 383
189.63/189.70	c
189.63/189.70	c
189.63/189.70	c ============================[ Search Statistics ]==============================
189.63/189.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.70	c ===============================================================================
189.63/189.70	c |         0 |    3803     9727    24550 |     5000        0    nan |  0.000 % |
189.63/189.71	c ===============================================================================
189.63/189.73	c core #384
189.63/189.73	c 
189.63/189.73	c 
189.63/189.73	c Core size: 10	Core Weight: 1	Total Weight: 384
189.63/189.73	c
189.63/189.73	c
189.63/189.73	c ============================[ Search Statistics ]==============================
189.63/189.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.73	c ===============================================================================
189.63/189.73	c |         0 |    3809     9728    24562 |     5000        0    nan |  0.000 % |
189.63/189.74	c ===============================================================================
189.63/189.76	c core #385
189.63/189.76	c 
189.63/189.76	c 
189.63/189.76	c Core size: 10	Core Weight: 1	Total Weight: 385
189.63/189.76	c
189.63/189.76	c
189.63/189.76	c ============================[ Search Statistics ]==============================
189.63/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.76	c ===============================================================================
189.63/189.76	c |         0 |    3815     9729    24574 |     5000        0    nan |  0.000 % |
189.63/189.77	c ===============================================================================
189.63/189.79	c core #386
189.63/189.79	c 
189.63/189.79	c 
189.63/189.79	c Core size: 12	Core Weight: 1	Total Weight: 386
189.63/189.79	c
189.63/189.79	c
189.63/189.79	c ============================[ Search Statistics ]==============================
189.63/189.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.79	c ===============================================================================
189.63/189.79	c |         0 |    3822     9730    24588 |     5000        0    nan |  0.000 % |
189.63/189.80	c ===============================================================================
189.73/189.82	c core #387
189.73/189.82	c 
189.73/189.82	c 
189.73/189.82	c Core size: 22	Core Weight: 1	Total Weight: 387
189.73/189.82	c
189.73/189.82	c
189.73/189.82	c ============================[ Search Statistics ]==============================
189.73/189.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.82	c ===============================================================================
189.73/189.82	c |         0 |    3832     9732    24611 |     5000        0    nan |  0.000 % |
189.73/189.83	c ===============================================================================
189.73/189.85	c core #388
189.73/189.85	c 
189.73/189.85	c 
189.73/189.85	c Core size: 33	Core Weight: 1	Total Weight: 388
189.73/189.85	c
189.73/189.85	c
189.73/189.85	c ============================[ Search Statistics ]==============================
189.73/189.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.85	c ===============================================================================
189.73/189.85	c |         0 |    3845     9733    24637 |     5000        0    nan |  0.000 % |
189.73/189.86	c ===============================================================================
189.73/189.88	c core #389
189.73/189.88	c 
189.73/189.88	c 
189.73/189.88	c Core size: 12	Core Weight: 1	Total Weight: 389
189.73/189.88	c
189.73/189.88	c
189.73/189.88	c ============================[ Search Statistics ]==============================
189.73/189.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.88	c ===============================================================================
189.73/189.88	c |         0 |    3852     9735    24654 |     5000        0    nan |  0.000 % |
189.73/189.89	c ===============================================================================
189.84/189.91	c core #390
189.84/189.91	c 
189.84/189.91	c 
189.84/189.91	c Core size: 13	Core Weight: 1	Total Weight: 390
189.84/189.91	c
189.84/189.91	c
189.84/189.91	c ============================[ Search Statistics ]==============================
189.84/189.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.91	c ===============================================================================
189.84/189.91	c |         0 |    3861     9736    24672 |     5000        0    nan |  0.000 % |
189.84/189.92	c ===============================================================================
189.84/189.95	c core #391
189.84/189.95	c 
189.84/189.95	c 
189.84/189.95	c Core size: 26	Core Weight: 1	Total Weight: 391
189.84/189.95	c
189.84/189.95	c
189.84/189.95	c ============================[ Search Statistics ]==============================
189.84/189.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.95	c ===============================================================================
189.84/189.95	c |         0 |    3872     9738    24696 |     5000        0    nan |  0.000 % |
189.84/189.95	c ===============================================================================
189.84/189.98	c core #392
189.84/189.98	c 
189.84/189.98	c 
189.84/189.98	c Core size: 38	Core Weight: 1	Total Weight: 392
189.84/189.98	c
189.84/189.98	c
189.84/189.98	c ============================[ Search Statistics ]==============================
189.84/189.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.98	c ===============================================================================
189.84/189.98	c |         0 |    3885     9739    24722 |     5000        0    nan |  0.000 % |
189.84/189.98	c ===============================================================================
189.94/190.01	c core #393
189.94/190.01	c 
189.94/190.01	c 
189.94/190.01	c Core size: 12	Core Weight: 1	Total Weight: 393
189.94/190.01	c
189.94/190.01	c
189.94/190.01	c ============================[ Search Statistics ]==============================
189.94/190.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.01	c ===============================================================================
189.94/190.01	c |         0 |    3892     9740    24736 |     5000        0    nan |  0.000 % |
189.94/190.02	c ===============================================================================
189.94/190.04	c core #394
189.94/190.04	c 
189.94/190.04	c 
189.94/190.04	c Core size: 10	Core Weight: 1	Total Weight: 394
189.94/190.04	c
189.94/190.04	c
189.94/190.04	c ============================[ Search Statistics ]==============================
189.94/190.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.04	c ===============================================================================
189.94/190.04	c |         0 |    3898     9741    24748 |     5000        0    nan |  0.000 % |
189.94/190.05	c ===============================================================================
189.94/190.07	c core #395
189.94/190.07	c 
189.94/190.07	c 
189.94/190.07	c Core size: 41	Core Weight: 1	Total Weight: 395
189.94/190.07	c
189.94/190.07	c
189.94/190.07	c ============================[ Search Statistics ]==============================
189.94/190.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.07	c ===============================================================================
189.94/190.07	c |         0 |    3925     9743    24804 |     5000        0    nan |  0.000 % |
189.94/190.08	c ===============================================================================
190.04/190.11	c core #396
190.04/190.11	c 
190.04/190.11	c 
190.04/190.11	c Core size: 10	Core Weight: 1	Total Weight: 396
190.04/190.11	c
190.04/190.11	c
190.04/190.11	c ============================[ Search Statistics ]==============================
190.04/190.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.11	c ===============================================================================
190.04/190.11	c |         0 |    3931     9744    24816 |     5000        0    nan |  0.000 % |
190.04/190.11	c ===============================================================================
190.04/190.14	c core #397
190.04/190.14	c 
190.04/190.14	c 
190.04/190.14	c Core size: 10	Core Weight: 1	Total Weight: 397
190.04/190.14	c
190.04/190.14	c
190.04/190.14	c ============================[ Search Statistics ]==============================
190.04/190.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.14	c ===============================================================================
190.04/190.14	c |         0 |    3937     9746    24831 |     5000        0    nan |  0.000 % |
190.04/190.14	c ===============================================================================
190.04/190.17	c core #398
190.04/190.17	c 
190.04/190.17	c 
190.04/190.17	c Core size: 10	Core Weight: 1	Total Weight: 398
190.04/190.17	c
190.04/190.17	c
190.04/190.17	c ============================[ Search Statistics ]==============================
190.04/190.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.17	c ===============================================================================
190.04/190.17	c |         0 |    3943     9747    24843 |     5000        0    nan |  0.000 % |
190.04/190.18	c ===============================================================================
190.15/190.20	c core #399
190.15/190.20	c 
190.15/190.20	c 
190.15/190.20	c Core size: 10	Core Weight: 1	Total Weight: 399
190.15/190.20	c
190.15/190.20	c
190.15/190.20	c ============================[ Search Statistics ]==============================
190.15/190.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.20	c ===============================================================================
190.15/190.20	c |         0 |    3949     9748    24855 |     5000        0    nan |  0.000 % |
190.15/190.21	c ===============================================================================
190.15/190.23	c core #400
190.15/190.23	c 
190.15/190.23	c 
190.15/190.23	c Core size: 23	Core Weight: 1	Total Weight: 400
190.15/190.23	c
190.15/190.23	c
190.15/190.23	c ============================[ Search Statistics ]==============================
190.15/190.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.23	c ===============================================================================
190.15/190.23	c |         0 |    3960     9750    24880 |     5000        0    nan |  0.000 % |
190.15/190.24	c ===============================================================================
190.15/190.27	c core #401
190.15/190.27	c 
190.15/190.27	c 
190.15/190.27	c Core size: 25	Core Weight: 1	Total Weight: 401
190.15/190.27	c
190.15/190.27	c
190.15/190.27	c ============================[ Search Statistics ]==============================
190.15/190.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.27	c ===============================================================================
190.15/190.27	c |         0 |    3969     9751    24898 |     5000        0    nan |  0.000 % |
190.15/190.27	c ===============================================================================
190.15/190.30	c core #402
190.15/190.30	c 
190.15/190.30	c 
190.15/190.30	c Core size: 27	Core Weight: 1	Total Weight: 402
190.15/190.30	c
190.15/190.30	c
190.15/190.30	c ============================[ Search Statistics ]==============================
190.15/190.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.30	c ===============================================================================
190.15/190.30	c |         0 |    3979     9753    24920 |     5000        0    nan |  0.000 % |
190.24/190.31	c ===============================================================================
190.24/190.33	c core #403
190.24/190.33	c 
190.24/190.33	c 
190.24/190.33	c Core size: 26	Core Weight: 1	Total Weight: 403
190.24/190.33	c
190.24/190.33	c
190.24/190.33	c ============================[ Search Statistics ]==============================
190.24/190.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.33	c ===============================================================================
190.24/190.33	c |         0 |    3994     9754    24950 |     5000        0    nan |  0.000 % |
190.24/190.34	c ===============================================================================
190.24/190.36	c core #404
190.24/190.36	c 
190.24/190.36	c 
190.24/190.36	c Core size: 45	Core Weight: 1	Total Weight: 404
190.24/190.36	c
190.24/190.36	c
190.24/190.36	c ============================[ Search Statistics ]==============================
190.24/190.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.36	c ===============================================================================
190.24/190.36	c |         0 |    4015     9755    24992 |     5000        0    nan |  0.000 % |
190.24/190.37	c ===============================================================================
190.24/190.40	c core #405
190.24/190.40	c 
190.24/190.40	c 
190.24/190.40	c Core size: 15	Core Weight: 1	Total Weight: 405
190.24/190.40	c
190.24/190.40	c
190.24/190.40	c ============================[ Search Statistics ]==============================
190.24/190.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.40	c ===============================================================================
190.24/190.40	c |         0 |    4026     9756    25014 |     5000        0    nan |  0.000 % |
190.34/190.40	c ===============================================================================
190.34/190.43	c core #406
190.34/190.43	c 
190.34/190.43	c 
190.34/190.43	c Core size: 24	Core Weight: 1	Total Weight: 406
190.34/190.43	c
190.34/190.43	c
190.34/190.43	c ============================[ Search Statistics ]==============================
190.34/190.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.43	c ===============================================================================
190.34/190.43	c |         0 |    4041     9757    25044 |     5000        0    nan |  0.000 % |
190.34/190.43	c ===============================================================================
190.34/190.46	c core #407
190.34/190.46	c 
190.34/190.46	c 
190.34/190.46	c Core size: 10	Core Weight: 1	Total Weight: 407
190.34/190.46	c
190.34/190.46	c
190.34/190.46	c ============================[ Search Statistics ]==============================
190.34/190.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.46	c ===============================================================================
190.34/190.46	c |         0 |    4047     9758    25056 |     5000        0    nan |  0.000 % |
190.34/190.47	c ===============================================================================
190.34/190.49	c core #408
190.34/190.49	c 
190.34/190.49	c 
190.34/190.49	c Core size: 24	Core Weight: 1	Total Weight: 408
190.34/190.49	c
190.34/190.49	c
190.34/190.49	c ============================[ Search Statistics ]==============================
190.34/190.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.49	c ===============================================================================
190.34/190.49	c |         0 |    4054     9759    25070 |     5000        0    nan |  0.000 % |
190.43/190.50	c ===============================================================================
190.43/190.53	c core #409
190.43/190.53	c 
190.43/190.53	c 
190.43/190.53	c Core size: 26	Core Weight: 1	Total Weight: 409
190.43/190.53	c
190.43/190.53	c
190.43/190.53	c ============================[ Search Statistics ]==============================
190.43/190.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.53	c ===============================================================================
190.43/190.53	c |         0 |    4063     9760    25088 |     5000        0    nan |  0.000 % |
190.43/190.53	c ===============================================================================
190.43/190.56	c core #410
190.43/190.56	c 
190.43/190.56	c 
190.43/190.56	c Core size: 23	Core Weight: 1	Total Weight: 410
190.43/190.56	c
190.43/190.56	c
190.43/190.56	c ============================[ Search Statistics ]==============================
190.43/190.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.56	c ===============================================================================
190.43/190.56	c |         0 |    4072     9761    25106 |     5000        0    nan |  0.000 % |
190.43/190.57	c ===============================================================================
190.43/190.59	c core #411
190.43/190.59	c 
190.43/190.59	c 
190.43/190.59	c Core size: 22	Core Weight: 1	Total Weight: 411
190.43/190.59	c
190.43/190.59	c
190.43/190.59	c ============================[ Search Statistics ]==============================
190.43/190.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.59	c ===============================================================================
190.43/190.59	c |         0 |    4080     9762    25122 |     5000        0    nan |  0.000 % |
190.53/190.60	c ===============================================================================
190.53/190.63	c core #412
190.53/190.63	c 
190.53/190.63	c 
190.53/190.63	c Core size: 28	Core Weight: 1	Total Weight: 412
190.53/190.63	c
190.53/190.63	c
190.53/190.63	c ============================[ Search Statistics ]==============================
190.53/190.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.63	c ===============================================================================
190.53/190.63	c |         0 |    4092     9763    25146 |     5000        0    nan |  0.000 % |
190.53/190.63	c ===============================================================================
190.53/190.66	c core #413
190.53/190.66	c 
190.53/190.66	c 
190.53/190.66	c Core size: 29	Core Weight: 1	Total Weight: 413
190.53/190.66	c
190.53/190.66	c
190.53/190.66	c ============================[ Search Statistics ]==============================
190.53/190.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.66	c ===============================================================================
190.53/190.66	c |         0 |    4104     9764    25170 |     5000        0    nan |  0.000 % |
190.53/190.67	c ===============================================================================
190.53/190.69	c core #414
190.53/190.69	c 
190.53/190.69	c 
190.53/190.69	c Core size: 41	Core Weight: 1	Total Weight: 414
190.53/190.69	c
190.53/190.69	c
190.53/190.69	c ============================[ Search Statistics ]==============================
190.53/190.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.69	c ===============================================================================
190.53/190.69	c |         0 |    4127     9765    25216 |     5000        0    nan |  0.000 % |
190.63/190.70	c ===============================================================================
190.63/190.73	c core #415
190.63/190.73	c 
190.63/190.73	c 
190.63/190.73	c Core size: 10	Core Weight: 1	Total Weight: 415
190.63/190.73	c
190.63/190.73	c
190.63/190.73	c ============================[ Search Statistics ]==============================
190.63/190.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.73	c ===============================================================================
190.63/190.73	c |         0 |    4133     9766    25228 |     5000        0    nan |  0.000 % |
190.63/190.74	c ===============================================================================
190.63/190.76	c core #416
190.63/190.76	c 
190.63/190.76	c 
190.63/190.76	c Core size: 10	Core Weight: 1	Total Weight: 416
190.63/190.76	c
190.63/190.76	c
190.63/190.76	c ============================[ Search Statistics ]==============================
190.63/190.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.76	c ===============================================================================
190.63/190.76	c |         0 |    4139     9767    25240 |     5000        0    nan |  0.000 % |
190.63/190.77	c ===============================================================================
190.73/190.80	c core #417
190.73/190.80	c 
190.73/190.80	c 
190.73/190.80	c Core size: 33	Core Weight: 1	Total Weight: 417
190.73/190.80	c
190.73/190.80	c
190.73/190.80	c ============================[ Search Statistics ]==============================
190.73/190.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.80	c ===============================================================================
190.73/190.80	c |         0 |    4161     9768    25284 |     5000        0    nan |  0.000 % |
190.73/190.80	c ===============================================================================
190.73/190.83	c core #418
190.73/190.83	c 
190.73/190.83	c 
190.73/190.83	c Core size: 10	Core Weight: 1	Total Weight: 418
190.73/190.83	c
190.73/190.83	c
190.73/190.83	c ============================[ Search Statistics ]==============================
190.73/190.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.83	c ===============================================================================
190.73/190.83	c |         0 |    4167     9770    25299 |     5000        0    nan |  0.000 % |
190.73/190.84	c ===============================================================================
190.73/190.86	c core #419
190.73/190.86	c 
190.73/190.86	c 
190.73/190.86	c Core size: 38	Core Weight: 1	Total Weight: 419
190.73/190.86	c
190.73/190.86	c
190.73/190.86	c ============================[ Search Statistics ]==============================
190.73/190.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.86	c ===============================================================================
190.73/190.86	c |         0 |    4189     9771    25343 |     5000        0    nan |  0.000 % |
190.73/190.87	c ===============================================================================
190.83/190.90	c core #420
190.83/190.90	c 
190.83/190.90	c 
190.83/190.90	c Core size: 10	Core Weight: 1	Total Weight: 420
190.83/190.90	c
190.83/190.90	c
190.83/190.90	c ============================[ Search Statistics ]==============================
190.83/190.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.90	c ===============================================================================
190.83/190.90	c |         0 |    4195     9772    25355 |     5000        0    nan |  0.000 % |
190.83/190.90	c ===============================================================================
190.83/190.93	c core #421
190.83/190.93	c 
190.83/190.93	c 
190.83/190.93	c Core size: 10	Core Weight: 1	Total Weight: 421
190.83/190.93	c
190.83/190.93	c
190.83/190.93	c ============================[ Search Statistics ]==============================
190.83/190.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.93	c ===============================================================================
190.83/190.93	c |         0 |    4201     9773    25367 |     5000        0    nan |  0.000 % |
190.83/190.94	c ===============================================================================
190.83/190.96	c core #422
190.83/190.96	c 
190.83/190.96	c 
190.83/190.96	c Core size: 10	Core Weight: 1	Total Weight: 422
190.83/190.96	c
190.83/190.96	c
190.83/190.96	c ============================[ Search Statistics ]==============================
190.83/190.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.96	c ===============================================================================
190.83/190.96	c |         0 |    4207     9774    25379 |     5000        0    nan |  0.000 % |
190.83/190.97	c ===============================================================================
190.93/191.00	c core #423
190.93/191.00	c 
190.93/191.00	c 
190.93/191.00	c Core size: 10	Core Weight: 1	Total Weight: 423
190.93/191.00	c
190.93/191.00	c
190.93/191.00	c ============================[ Search Statistics ]==============================
190.93/191.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.00	c ===============================================================================
190.93/191.00	c |         0 |    4213     9775    25391 |     5000        0    nan |  0.000 % |
190.93/191.00	c ===============================================================================
190.93/191.03	c core #424
190.93/191.03	c 
190.93/191.03	c 
190.93/191.03	c Core size: 10	Core Weight: 1	Total Weight: 424
190.93/191.03	c
190.93/191.03	c
190.93/191.03	c ============================[ Search Statistics ]==============================
190.93/191.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.03	c ===============================================================================
190.93/191.03	c |         0 |    4219     9776    25403 |     5000        0    nan |  0.000 % |
190.93/191.04	c ===============================================================================
190.93/191.06	c core #425
190.93/191.06	c 
190.93/191.06	c 
190.93/191.06	c Core size: 10	Core Weight: 1	Total Weight: 425
190.93/191.06	c
190.93/191.06	c
190.93/191.06	c ============================[ Search Statistics ]==============================
190.93/191.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.06	c ===============================================================================
190.93/191.06	c |         0 |    4225     9777    25415 |     5000        0    nan |  0.000 % |
190.93/191.07	c ===============================================================================
190.93/191.09	c core #426
190.93/191.09	c 
190.93/191.09	c 
190.93/191.09	c Core size: 10	Core Weight: 1	Total Weight: 426
190.93/191.09	c
190.93/191.09	c
190.93/191.09	c ============================[ Search Statistics ]==============================
190.93/191.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.10	c ===============================================================================
190.93/191.10	c |         0 |    4231     9778    25427 |     5000        0    nan |  0.000 % |
191.03/191.10	c ===============================================================================
191.03/191.13	c core #427
191.03/191.13	c 
191.03/191.13	c 
191.03/191.13	c Core size: 10	Core Weight: 1	Total Weight: 427
191.03/191.13	c
191.03/191.13	c
191.03/191.13	c ============================[ Search Statistics ]==============================
191.03/191.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.13	c ===============================================================================
191.03/191.13	c |         0 |    4237     9779    25439 |     5000        0    nan |  0.000 % |
191.03/191.14	c ===============================================================================
191.03/191.16	c core #428
191.03/191.16	c 
191.03/191.16	c 
191.03/191.16	c Core size: 10	Core Weight: 1	Total Weight: 428
191.03/191.16	c
191.03/191.16	c
191.03/191.16	c ============================[ Search Statistics ]==============================
191.03/191.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.16	c ===============================================================================
191.03/191.16	c |         0 |    4243     9780    25451 |     5000        0    nan |  0.000 % |
191.03/191.17	c ===============================================================================
191.03/191.19	c core #429
191.03/191.19	c 
191.03/191.19	c 
191.03/191.19	c Core size: 10	Core Weight: 1	Total Weight: 429
191.03/191.19	c
191.03/191.19	c
191.03/191.19	c ============================[ Search Statistics ]==============================
191.03/191.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.19	c ===============================================================================
191.03/191.19	c |         0 |    4249     9781    25463 |     5000        0    nan |  0.000 % |
191.13/191.20	c ===============================================================================
191.13/191.23	c core #430
191.13/191.23	c 
191.13/191.23	c 
191.13/191.23	c Core size: 10	Core Weight: 1	Total Weight: 430
191.13/191.23	c
191.13/191.23	c
191.13/191.23	c ============================[ Search Statistics ]==============================
191.13/191.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.23	c ===============================================================================
191.13/191.23	c |         0 |    4255     9782    25475 |     5000        0    nan |  0.000 % |
191.13/191.23	c ===============================================================================
191.13/191.26	c core #431
191.13/191.26	c 
191.13/191.26	c 
191.13/191.26	c Core size: 10	Core Weight: 1	Total Weight: 431
191.13/191.26	c
191.13/191.26	c
191.13/191.26	c ============================[ Search Statistics ]==============================
191.13/191.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.26	c ===============================================================================
191.13/191.26	c |         0 |    4261     9783    25487 |     5000        0    nan |  0.000 % |
191.13/191.27	c ===============================================================================
191.13/191.29	c core #432
191.13/191.29	c 
191.13/191.29	c 
191.13/191.29	c Core size: 10	Core Weight: 1	Total Weight: 432
191.13/191.29	c
191.13/191.29	c
191.13/191.29	c ============================[ Search Statistics ]==============================
191.13/191.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.29	c ===============================================================================
191.13/191.29	c |         0 |    4267     9784    25499 |     5000        0    nan |  0.000 % |
191.25/191.30	c ===============================================================================
191.25/191.33	c core #433
191.25/191.33	c 
191.25/191.33	c 
191.25/191.33	c Core size: 10	Core Weight: 1	Total Weight: 433
191.25/191.33	c
191.25/191.33	c
191.25/191.33	c ============================[ Search Statistics ]==============================
191.25/191.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.33	c ===============================================================================
191.25/191.33	c |         0 |    4273     9785    25511 |     5000        0    nan |  0.000 % |
191.25/191.33	c ===============================================================================
191.25/191.36	c core #434
191.25/191.36	c 
191.25/191.36	c 
191.25/191.36	c Core size: 10	Core Weight: 1	Total Weight: 434
191.25/191.36	c
191.25/191.36	c
191.25/191.36	c ============================[ Search Statistics ]==============================
191.25/191.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.36	c ===============================================================================
191.25/191.36	c |         0 |    4279     9786    25523 |     5000        0    nan |  0.000 % |
191.25/191.37	c ===============================================================================
191.25/191.40	c core #435
191.25/191.40	c 
191.25/191.40	c 
191.25/191.40	c Core size: 10	Core Weight: 1	Total Weight: 435
191.25/191.40	c
191.25/191.40	c
191.25/191.40	c ============================[ Search Statistics ]==============================
191.25/191.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.40	c ===============================================================================
191.25/191.40	c |         0 |    4285     9787    25535 |     5000        0    nan |  0.000 % |
191.25/191.40	c ===============================================================================
191.35/191.43	c core #436
191.35/191.43	c 
191.35/191.43	c 
191.35/191.43	c Core size: 10	Core Weight: 1	Total Weight: 436
191.35/191.43	c
191.35/191.43	c
191.35/191.43	c ============================[ Search Statistics ]==============================
191.35/191.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.43	c ===============================================================================
191.35/191.43	c |         0 |    4291     9788    25547 |     5000        0    nan |  0.000 % |
191.35/191.44	c ===============================================================================
191.35/191.46	c core #437
191.35/191.46	c 
191.35/191.46	c 
191.35/191.46	c Core size: 10	Core Weight: 1	Total Weight: 437
191.35/191.46	c
191.35/191.46	c
191.35/191.46	c ============================[ Search Statistics ]==============================
191.35/191.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.46	c ===============================================================================
191.35/191.46	c |         0 |    4297     9789    25559 |     5000        0    nan |  0.000 % |
191.35/191.47	c ===============================================================================
191.44/191.50	c core #438
191.44/191.50	c 
191.44/191.50	c 
191.44/191.50	c Core size: 10	Core Weight: 1	Total Weight: 438
191.44/191.50	c
191.44/191.50	c
191.44/191.50	c ============================[ Search Statistics ]==============================
191.44/191.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.50	c ===============================================================================
191.44/191.50	c |         0 |    4303     9790    25571 |     5000        0    nan |  0.000 % |
191.44/191.50	c ===============================================================================
191.44/191.53	c core #439
191.44/191.53	c 
191.44/191.53	c 
191.44/191.53	c Core size: 10	Core Weight: 1	Total Weight: 439
191.44/191.53	c
191.44/191.53	c
191.44/191.53	c ============================[ Search Statistics ]==============================
191.44/191.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.53	c ===============================================================================
191.44/191.53	c |         0 |    4309     9791    25583 |     5000        0    nan |  0.000 % |
191.44/191.54	c ===============================================================================
191.44/191.56	c core #440
191.44/191.56	c 
191.44/191.56	c 
191.44/191.56	c Core size: 10	Core Weight: 1	Total Weight: 440
191.44/191.56	c
191.44/191.56	c
191.44/191.56	c ============================[ Search Statistics ]==============================
191.44/191.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.56	c ===============================================================================
191.44/191.56	c |         0 |    4315     9792    25595 |     5000        0    nan |  0.000 % |
191.44/191.57	c ===============================================================================
191.54/191.60	c core #441
191.54/191.60	c 
191.54/191.60	c 
191.54/191.60	c Core size: 12	Core Weight: 1	Total Weight: 441
191.54/191.60	c
191.54/191.60	c
191.54/191.60	c ============================[ Search Statistics ]==============================
191.54/191.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.60	c ===============================================================================
191.54/191.60	c |         0 |    4322     9793    25609 |     5000        0    nan |  0.000 % |
191.54/191.60	c ===============================================================================
191.54/191.63	c core #442
191.54/191.63	c 
191.54/191.63	c 
191.54/191.63	c Core size: 12	Core Weight: 1	Total Weight: 442
191.54/191.63	c
191.54/191.63	c
191.54/191.63	c ============================[ Search Statistics ]==============================
191.54/191.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.63	c ===============================================================================
191.54/191.63	c |         0 |    4329     9794    25623 |     5000        0    nan |  0.000 % |
191.54/191.64	c ===============================================================================
191.54/191.67	c core #443
191.54/191.67	c 
191.54/191.67	c 
191.54/191.67	c Core size: 10	Core Weight: 1	Total Weight: 443
191.54/191.67	c
191.54/191.67	c
191.54/191.67	c ============================[ Search Statistics ]==============================
191.54/191.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.67	c ===============================================================================
191.54/191.67	c |         0 |    4335     9795    25635 |     5000        0    nan |  0.000 % |
191.54/191.67	c ===============================================================================
191.64/191.70	c core #444
191.64/191.70	c 
191.64/191.70	c 
191.64/191.70	c Core size: 12	Core Weight: 1	Total Weight: 444
191.64/191.70	c
191.64/191.70	c
191.64/191.70	c ============================[ Search Statistics ]==============================
191.64/191.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.70	c ===============================================================================
191.64/191.70	c |         0 |    4342     9796    25649 |     5000        0    nan |  0.000 % |
191.64/191.71	c ===============================================================================
191.64/191.73	c core #445
191.64/191.73	c 
191.64/191.73	c 
191.64/191.73	c Core size: 23	Core Weight: 1	Total Weight: 445
191.64/191.73	c
191.64/191.73	c
191.64/191.73	c ============================[ Search Statistics ]==============================
191.64/191.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.73	c ===============================================================================
191.64/191.73	c |         0 |    4356     9797    25677 |     5000        0    nan |  0.000 % |
191.64/191.74	c ===============================================================================
191.64/191.77	c core #446
191.64/191.77	c 
191.64/191.77	c 
191.64/191.77	c Core size: 28	Core Weight: 1	Total Weight: 446
191.64/191.77	c
191.64/191.77	c
191.64/191.77	c ============================[ Search Statistics ]==============================
191.64/191.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.77	c ===============================================================================
191.64/191.77	c |         0 |    4369     9798    25703 |     5000        0    nan |  0.000 % |
191.64/191.77	c ===============================================================================
191.74/191.80	c core #447
191.74/191.80	c 
191.74/191.80	c 
191.74/191.80	c Core size: 29	Core Weight: 1	Total Weight: 447
191.74/191.80	c
191.74/191.80	c
191.74/191.80	c ============================[ Search Statistics ]==============================
191.74/191.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.80	c ===============================================================================
191.74/191.80	c |         0 |    4379     9800    25726 |     5000        0    nan |  0.000 % |
191.74/191.81	c ===============================================================================
191.74/191.84	c core #448
191.74/191.84	c 
191.74/191.84	c 
191.74/191.84	c Core size: 14	Core Weight: 1	Total Weight: 448
191.74/191.84	c
191.74/191.84	c
191.74/191.84	c ============================[ Search Statistics ]==============================
191.74/191.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.84	c ===============================================================================
191.74/191.84	c |         0 |    4387     9801    25742 |     5000        0    nan |  0.000 % |
191.74/191.84	c ===============================================================================
191.74/191.87	c core #449
191.74/191.87	c 
191.74/191.87	c 
191.74/191.87	c Core size: 10	Core Weight: 1	Total Weight: 449
191.74/191.87	c
191.74/191.87	c
191.74/191.87	c ============================[ Search Statistics ]==============================
191.74/191.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.87	c ===============================================================================
191.74/191.87	c |         0 |    4393     9802    25754 |     5000        0    nan |  0.000 % |
191.74/191.88	c ===============================================================================
191.83/191.91	c core #450
191.83/191.91	c 
191.83/191.91	c 
191.83/191.91	c Core size: 12	Core Weight: 1	Total Weight: 450
191.83/191.91	c
191.83/191.91	c
191.83/191.91	c ============================[ Search Statistics ]==============================
191.83/191.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.91	c ===============================================================================
191.83/191.91	c |         0 |    4400     9803    25768 |     5000        0    nan |  0.000 % |
191.83/191.91	c ===============================================================================
191.83/191.94	c core #451
191.83/191.94	c 
191.83/191.94	c 
191.83/191.94	c Core size: 12	Core Weight: 1	Total Weight: 451
191.83/191.94	c
191.83/191.94	c
191.83/191.94	c ============================[ Search Statistics ]==============================
191.83/191.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.94	c ===============================================================================
191.83/191.94	c |         0 |    4407     9804    25782 |     5000        0    nan |  0.000 % |
191.83/191.95	c ===============================================================================
191.83/191.98	c core #452
191.83/191.98	c 
191.83/191.98	c 
191.83/191.98	c Core size: 12	Core Weight: 1	Total Weight: 452
191.83/191.98	c
191.83/191.98	c
191.83/191.98	c ============================[ Search Statistics ]==============================
191.83/191.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.98	c ===============================================================================
191.83/191.98	c |         0 |    4414     9805    25796 |     5000        0    nan |  0.000 % |
191.83/191.98	c ===============================================================================
191.93/192.01	c core #453
191.93/192.01	c 
191.93/192.01	c 
191.93/192.01	c Core size: 23	Core Weight: 1	Total Weight: 453
191.93/192.01	c
191.93/192.01	c
191.93/192.01	c ============================[ Search Statistics ]==============================
191.93/192.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.01	c ===============================================================================
191.93/192.01	c |         0 |    4421     9806    25810 |     5000        0    nan |  0.000 % |
191.93/192.02	c ===============================================================================
191.93/192.04	c core #454
191.93/192.04	c 
191.93/192.04	c 
191.93/192.04	c Core size: 25	Core Weight: 1	Total Weight: 454
191.93/192.04	c
191.93/192.04	c
191.93/192.04	c ============================[ Search Statistics ]==============================
191.93/192.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.04	c ===============================================================================
191.93/192.04	c |         0 |    4429     9807    25826 |     5000        0    nan |  0.000 % |
191.93/192.05	c ===============================================================================
191.93/192.08	c core #455
191.93/192.08	c 
191.93/192.08	c 
191.93/192.08	c Core size: 24	Core Weight: 1	Total Weight: 455
191.93/192.08	c
191.93/192.08	c
191.93/192.08	c ============================[ Search Statistics ]==============================
191.93/192.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.08	c ===============================================================================
191.93/192.08	c |         0 |    4444     9808    25856 |     5000        0    nan |  0.000 % |
191.93/192.09	c ===============================================================================
192.03/192.11	c core #456
192.03/192.11	c 
192.03/192.11	c 
192.03/192.11	c Core size: 35	Core Weight: 1	Total Weight: 456
192.03/192.11	c
192.03/192.11	c
192.03/192.11	c ============================[ Search Statistics ]==============================
192.03/192.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.11	c ===============================================================================
192.03/192.11	c |         0 |    4464     9809    25896 |     5000        0    nan |  0.000 % |
192.03/192.12	c ===============================================================================
192.03/192.15	c core #457
192.03/192.15	c 
192.03/192.15	c 
192.03/192.15	c Core size: 10	Core Weight: 1	Total Weight: 457
192.03/192.15	c
192.03/192.15	c
192.03/192.15	c ============================[ Search Statistics ]==============================
192.03/192.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.15	c ===============================================================================
192.03/192.15	c |         0 |    4470     9810    25908 |     5000        0    nan |  0.000 % |
192.03/192.16	c ===============================================================================
192.03/192.19	c core #458
192.03/192.19	c 
192.03/192.19	c 
192.03/192.19	c Core size: 10	Core Weight: 1	Total Weight: 458
192.03/192.19	c
192.03/192.19	c
192.03/192.19	c ============================[ Search Statistics ]==============================
192.03/192.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.19	c ===============================================================================
192.03/192.19	c |         0 |    4476     9811    25920 |     5000        0    nan |  0.000 % |
192.03/192.19	c ===============================================================================
192.13/192.22	c core #459
192.13/192.22	c 
192.13/192.22	c 
192.13/192.22	c Core size: 10	Core Weight: 1	Total Weight: 459
192.13/192.22	c
192.13/192.22	c
192.13/192.22	c ============================[ Search Statistics ]==============================
192.13/192.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.22	c ===============================================================================
192.13/192.22	c |         0 |    4482     9812    25932 |     5000        0    nan |  0.000 % |
192.13/192.23	c ===============================================================================
192.13/192.26	c core #460
192.13/192.26	c 
192.13/192.26	c 
192.13/192.26	c Core size: 24	Core Weight: 1	Total Weight: 460
192.13/192.26	c
192.13/192.26	c
192.13/192.26	c ============================[ Search Statistics ]==============================
192.13/192.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.26	c ===============================================================================
192.13/192.26	c |         0 |    4498     9814    25966 |     5000        0    nan |  0.000 % |
192.13/192.27	c ===============================================================================
192.13/192.29	c core #461
192.13/192.29	c 
192.13/192.29	c 
192.13/192.29	c Core size: 29	Core Weight: 1	Total Weight: 461
192.13/192.29	c
192.13/192.29	c
192.13/192.29	c ============================[ Search Statistics ]==============================
192.13/192.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.29	c ===============================================================================
192.13/192.29	c |         0 |    4507     9816    25987 |     5000        0    nan |  0.000 % |
192.23/192.30	c ===============================================================================
192.23/192.33	c core #462
192.23/192.33	c 
192.23/192.33	c 
192.23/192.33	c Core size: 29	Core Weight: 1	Total Weight: 462
192.23/192.33	c
192.23/192.33	c
192.23/192.33	c ============================[ Search Statistics ]==============================
192.23/192.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.33	c ===============================================================================
192.23/192.33	c |         0 |    4529     9817    26031 |     5000        0    nan |  0.000 % |
192.23/192.34	c ===============================================================================
192.23/192.37	c core #463
192.23/192.37	c 
192.23/192.37	c 
192.23/192.37	c Core size: 12	Core Weight: 1	Total Weight: 463
192.23/192.37	c
192.23/192.37	c
192.23/192.37	c ============================[ Search Statistics ]==============================
192.23/192.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.37	c ===============================================================================
192.23/192.37	c |         0 |    4536     9818    26045 |     5000        0    nan |  0.000 % |
192.23/192.37	c ===============================================================================
192.23/192.40	c core #464
192.23/192.40	c 
192.23/192.40	c 
192.23/192.40	c Core size: 12	Core Weight: 1	Total Weight: 464
192.23/192.40	c
192.23/192.40	c
192.23/192.40	c ============================[ Search Statistics ]==============================
192.23/192.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.40	c ===============================================================================
192.23/192.40	c |         0 |    4543     9819    26059 |     5000        0    nan |  0.000 % |
192.34/192.41	c ===============================================================================
192.34/192.44	c core #465
192.34/192.44	c 
192.34/192.44	c 
192.34/192.44	c Core size: 11	Core Weight: 1	Total Weight: 465
192.34/192.44	c
192.34/192.44	c
192.34/192.44	c ============================[ Search Statistics ]==============================
192.34/192.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.44	c ===============================================================================
192.34/192.44	c |         0 |    4549     9820    26071 |     5000        0    nan |  0.000 % |
192.34/192.44	c ===============================================================================
192.34/192.47	c core #466
192.34/192.47	c 
192.34/192.47	c 
192.34/192.47	c Core size: 10	Core Weight: 1	Total Weight: 466
192.34/192.47	c
192.34/192.47	c
192.34/192.47	c ============================[ Search Statistics ]==============================
192.34/192.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.47	c ===============================================================================
192.34/192.47	c |         0 |    4555     9821    26083 |     5000        0    nan |  0.000 % |
192.34/192.48	c ===============================================================================
192.44/192.51	c core #467
192.44/192.51	c 
192.44/192.51	c 
192.44/192.51	c Core size: 25	Core Weight: 1	Total Weight: 467
192.44/192.51	c
192.44/192.51	c
192.44/192.51	c ============================[ Search Statistics ]==============================
192.44/192.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.51	c ===============================================================================
192.44/192.51	c |         0 |    4563     9822    26099 |     5000        0    nan |  0.000 % |
192.44/192.52	c ===============================================================================
192.44/192.54	c core #468
192.44/192.54	c 
192.44/192.54	c 
192.44/192.54	c Core size: 10	Core Weight: 1	Total Weight: 468
192.44/192.54	c
192.44/192.54	c
192.44/192.54	c ============================[ Search Statistics ]==============================
192.44/192.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.54	c ===============================================================================
192.44/192.54	c |         0 |    4569     9823    26111 |     5000        0    nan |  0.000 % |
192.44/192.55	c ===============================================================================
192.44/192.58	c core #469
192.44/192.58	c 
192.44/192.58	c 
192.44/192.58	c Core size: 10	Core Weight: 1	Total Weight: 469
192.44/192.58	c
192.44/192.58	c
192.44/192.58	c ============================[ Search Statistics ]==============================
192.44/192.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.58	c ===============================================================================
192.44/192.58	c |         0 |    4575     9824    26123 |     5000        0    nan |  0.000 % |
192.44/192.59	c ===============================================================================
192.53/192.61	c core #470
192.53/192.61	c 
192.53/192.61	c 
192.53/192.61	c Core size: 16	Core Weight: 1	Total Weight: 470
192.53/192.61	c
192.53/192.61	c
192.53/192.61	c ============================[ Search Statistics ]==============================
192.53/192.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.61	c ===============================================================================
192.53/192.61	c |         0 |    4585     9825    26143 |     5000        0    nan |  0.000 % |
192.53/192.62	c ===============================================================================
192.53/192.65	c core #471
192.53/192.65	c 
192.53/192.65	c 
192.53/192.65	c Core size: 10	Core Weight: 1	Total Weight: 471
192.53/192.65	c
192.53/192.65	c
192.53/192.65	c ============================[ Search Statistics ]==============================
192.53/192.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.65	c ===============================================================================
192.53/192.65	c |         0 |    4591     9826    26155 |     5000        0    nan |  0.000 % |
192.53/192.66	c ===============================================================================
192.53/192.68	c core #472
192.53/192.68	c 
192.53/192.68	c 
192.53/192.68	c Core size: 27	Core Weight: 1	Total Weight: 472
192.53/192.68	c
192.53/192.68	c
192.53/192.68	c ============================[ Search Statistics ]==============================
192.53/192.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.68	c ===============================================================================
192.53/192.68	c |         0 |    4601     9827    26175 |     5000        0    nan |  0.000 % |
192.53/192.69	c ===============================================================================
192.63/192.72	c core #473
192.63/192.72	c 
192.63/192.72	c 
192.63/192.72	c Core size: 22	Core Weight: 1	Total Weight: 473
192.63/192.72	c
192.63/192.72	c
192.63/192.72	c ============================[ Search Statistics ]==============================
192.63/192.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.72	c ===============================================================================
192.63/192.72	c |         0 |    4608     9828    26189 |     5000        0    nan |  0.000 % |
192.63/192.73	c ===============================================================================
192.63/192.75	c core #474
192.63/192.75	c 
192.63/192.75	c 
192.63/192.75	c Core size: 25	Core Weight: 1	Total Weight: 474
192.63/192.75	c
192.63/192.75	c
192.63/192.75	c ============================[ Search Statistics ]==============================
192.63/192.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.76	c ===============================================================================
192.63/192.76	c |         0 |    4618     9829    26209 |     5000        0    nan |  0.000 % |
192.63/192.76	c ===============================================================================
192.63/192.79	c core #475
192.63/192.79	c 
192.63/192.79	c 
192.63/192.79	c Core size: 27	Core Weight: 1	Total Weight: 475
192.63/192.79	c
192.63/192.79	c
192.63/192.79	c ============================[ Search Statistics ]==============================
192.63/192.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.79	c ===============================================================================
192.63/192.79	c |         0 |    4630     9830    26233 |     5000        0    nan |  0.000 % |
192.73/192.80	c ===============================================================================
192.73/192.83	c core #476
192.73/192.83	c 
192.73/192.83	c 
192.73/192.83	c Core size: 40	Core Weight: 1	Total Weight: 476
192.73/192.83	c
192.73/192.83	c
192.73/192.83	c ============================[ Search Statistics ]==============================
192.73/192.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.83	c ===============================================================================
192.73/192.83	c |         0 |    4653     9831    26279 |     5000        0    nan |  0.000 % |
192.73/192.84	c ===============================================================================
192.73/192.87	c core #477
192.73/192.87	c 
192.73/192.87	c 
192.73/192.87	c Core size: 26	Core Weight: 1	Total Weight: 477
192.73/192.87	c
192.73/192.87	c
192.73/192.87	c ============================[ Search Statistics ]==============================
192.73/192.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.87	c ===============================================================================
192.73/192.87	c |         0 |    4666     9832    26305 |     5000        0    nan |  0.000 % |
192.73/192.87	c ===============================================================================
192.83/192.90	c core #478
192.83/192.90	c 
192.83/192.90	c 
192.83/192.90	c Core size: 12	Core Weight: 1	Total Weight: 478
192.83/192.90	c
192.83/192.90	c
192.83/192.90	c ============================[ Search Statistics ]==============================
192.83/192.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.90	c ===============================================================================
192.83/192.90	c |         0 |    4673     9833    26319 |     5000        0    nan |  0.000 % |
192.83/192.91	c ===============================================================================
192.83/192.94	c core #479
192.83/192.94	c 
192.83/192.94	c 
192.83/192.94	c Core size: 25	Core Weight: 1	Total Weight: 479
192.83/192.94	c
192.83/192.94	c
192.83/192.94	c ============================[ Search Statistics ]==============================
192.83/192.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.94	c ===============================================================================
192.83/192.94	c |         0 |    4680     9836    26339 |     5000        0    nan |  0.000 % |
192.83/192.95	c ===============================================================================
192.83/192.98	c core #480
192.83/192.98	c 
192.83/192.98	c 
192.83/192.98	c Core size: 26	Core Weight: 1	Total Weight: 480
192.83/192.98	c
192.83/192.98	c
192.83/192.98	c ============================[ Search Statistics ]==============================
192.83/192.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.98	c ===============================================================================
192.83/192.98	c |         0 |    4690     9837    26359 |     5000        0    nan |  0.000 % |
192.83/192.99	c ===============================================================================
192.93/193.02	c core #481
192.93/193.02	c 
192.93/193.02	c 
192.93/193.02	c Core size: 45	Core Weight: 1	Total Weight: 481
192.93/193.02	c
192.93/193.02	c
192.93/193.02	c ============================[ Search Statistics ]==============================
192.93/193.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.02	c ===============================================================================
192.93/193.02	c |         0 |    4722     9838    26423 |     5000        0    nan |  0.000 % |
192.93/193.03	c ===============================================================================
192.93/193.06	c core #482
192.93/193.06	c 
192.93/193.06	c 
192.93/193.06	c Core size: 16	Core Weight: 1	Total Weight: 482
192.93/193.06	c
192.93/193.06	c
192.93/193.06	c ============================[ Search Statistics ]==============================
192.93/193.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.06	c ===============================================================================
192.93/193.06	c |         0 |    4731     9839    26441 |     5000        0    nan |  0.000 % |
192.93/193.07	c ===============================================================================
193.03/193.10	c core #483
193.03/193.10	c 
193.03/193.10	c 
193.03/193.10	c Core size: 26	Core Weight: 1	Total Weight: 483
193.03/193.10	c
193.03/193.10	c
193.03/193.10	c ============================[ Search Statistics ]==============================
193.03/193.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.10	c ===============================================================================
193.03/193.10	c |         0 |    4742     9840    26463 |     5000        0    nan |  0.000 % |
193.03/193.11	c ===============================================================================
193.03/193.14	c core #484
193.03/193.14	c 
193.03/193.14	c 
193.03/193.14	c Core size: 27	Core Weight: 1	Total Weight: 484
193.03/193.14	c
193.03/193.14	c
193.03/193.14	c ============================[ Search Statistics ]==============================
193.03/193.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.14	c ===============================================================================
193.03/193.14	c |         0 |    4756     9842    26494 |     5000        0    nan |  0.000 % |
193.03/193.15	c ===============================================================================
193.03/193.18	c core #485
193.03/193.18	c 
193.03/193.18	c 
193.03/193.18	c Core size: 25	Core Weight: 1	Total Weight: 485
193.03/193.18	c
193.03/193.18	c
193.03/193.18	c ============================[ Search Statistics ]==============================
193.03/193.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.18	c ===============================================================================
193.03/193.18	c |         0 |    4773     9844    26530 |     5000        0    nan |  0.000 % |
193.03/193.19	c ===============================================================================
193.13/193.22	c core #486
193.13/193.22	c 
193.13/193.22	c 
193.13/193.22	c Core size: 57	Core Weight: 1	Total Weight: 486
193.13/193.22	c
193.13/193.22	c
193.13/193.22	c ============================[ Search Statistics ]==============================
193.13/193.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.22	c ===============================================================================
193.13/193.22	c |         0 |    4810     9845    26604 |     5000        0    nan |  0.000 % |
193.13/193.23	c ===============================================================================
193.13/193.26	c core #487
193.13/193.26	c 
193.13/193.26	c 
193.13/193.26	c Core size: 60	Core Weight: 1	Total Weight: 487
193.13/193.26	c
193.13/193.26	c
193.13/193.26	c ============================[ Search Statistics ]==============================
193.13/193.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.26	c ===============================================================================
193.13/193.26	c |         0 |    4840     9847    26667 |     5000        0    nan |  0.000 % |
193.13/193.28	c ===============================================================================
193.23/193.30	c core #488
193.23/193.30	c 
193.23/193.30	c 
193.23/193.30	c Core size: 32	Core Weight: 1	Total Weight: 488
193.23/193.30	c
193.23/193.30	c
193.23/193.30	c ============================[ Search Statistics ]==============================
193.23/193.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.23/193.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.23/193.30	c ===============================================================================
193.23/193.30	c |         0 |    4854     9850    26699 |     5000        0    nan |  0.000 % |
193.23/193.31	c ===============================================================================
193.23/193.34	c core #489
193.23/193.34	c 
193.23/193.34	c 
193.23/193.34	c Core size: 29	Core Weight: 1	Total Weight: 489
193.23/193.34	c
193.23/193.34	c
193.23/193.34	c ============================[ Search Statistics ]==============================
193.23/193.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.23/193.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.23/193.34	c ===============================================================================
193.23/193.34	c |         0 |    4871     9852    26736 |     5000        0    nan |  0.000 % |
193.23/193.35	c ===============================================================================
193.23/193.38	c core #490
193.23/193.38	c 
193.23/193.38	c 
193.23/193.38	c Core size: 34	Core Weight: 1	Total Weight: 490
193.23/193.38	c
193.23/193.38	c
193.23/193.38	c ============================[ Search Statistics ]==============================
193.23/193.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.23/193.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.23/193.38	c ===============================================================================
193.23/193.38	c |         0 |    4888     9853    26770 |     5000        0    nan |  0.000 % |
193.32/193.40	c |       101 |    4829     9853    26770 |     5500      101      6 |  2.689 % |
193.32/193.40	c ===============================================================================
193.32/193.43	c core #491
193.32/193.43	c 
193.32/193.43	c 
193.32/193.43	c Core size: 35	Core Weight: 1	Total Weight: 491
193.32/193.43	c
193.32/193.43	c
193.32/193.43	c ============================[ Search Statistics ]==============================
193.32/193.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.32/193.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.32/193.43	c ===============================================================================
193.32/193.43	c |         0 |    4912     9854    26818 |     5000        0    nan |  0.000 % |
193.32/193.45	c |       101 |    4859     9854    26818 |     5500      101      4 |  2.758 % |
193.32/193.45	c ===============================================================================
193.32/193.48	c core #492
193.32/193.48	c 
193.32/193.48	c 
193.32/193.48	c Core size: 72	Core Weight: 1	Total Weight: 492
193.32/193.48	c
193.32/193.48	c
193.32/193.48	c ============================[ Search Statistics ]==============================
193.32/193.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.32/193.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.32/193.48	c ===============================================================================
193.32/193.48	c |         0 |    4975     9856    26946 |     5000        0    nan |  0.000 % |
193.32/193.50	c ===============================================================================
193.43/193.53	c core #493
193.43/193.53	c 
193.43/193.53	c 
193.43/193.53	c Core size: 66	Core Weight: 1	Total Weight: 493
193.43/193.53	c
193.43/193.53	c
193.43/193.53	c ============================[ Search Statistics ]==============================
193.43/193.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.43/193.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.43/193.53	c ===============================================================================
193.43/193.53	c |         0 |    5027     9857    27050 |     5000        0    nan |  0.000 % |
193.43/193.54	c ===============================================================================
193.43/193.57	c core #494
193.43/193.57	c 
193.43/193.57	c 
193.43/193.57	c Core size: 29	Core Weight: 1	Total Weight: 494
193.43/193.57	c
193.43/193.57	c
193.43/193.57	c ============================[ Search Statistics ]==============================
193.43/193.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.43/193.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.43/193.57	c ===============================================================================
193.43/193.57	c |         0 |    5044     9858    27084 |     5000        0    nan |  0.000 % |
193.43/193.58	c ===============================================================================
193.53/193.61	c core #495
193.53/193.61	c 
193.53/193.61	c 
193.53/193.61	c Core size: 23	Core Weight: 1	Total Weight: 495
193.53/193.61	c
193.53/193.61	c
193.53/193.61	c ============================[ Search Statistics ]==============================
193.53/193.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.53/193.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.53/193.61	c ===============================================================================
193.53/193.61	c |         0 |    5060     9860    27118 |     5000        0    nan |  0.000 % |
193.53/193.63	c |       100 |    5043     9860    27118 |     5500      100      5 |  0.788 % |
193.53/193.64	c ===============================================================================
193.53/193.67	c core #496
193.53/193.67	c 
193.53/193.67	c 
193.53/193.67	c Core size: 41	Core Weight: 1	Total Weight: 496
193.53/193.67	c
193.53/193.67	c
193.53/193.67	c ============================[ Search Statistics ]==============================
193.53/193.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.53/193.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.53/193.67	c ===============================================================================
193.53/193.67	c |         0 |    5080     9865    27168 |     5000        0    nan |  0.000 % |
193.53/193.69	c |       100 |    5021     9865    27168 |     5500      100      4 |  2.980 % |
193.63/193.70	c ===============================================================================
193.63/193.74	c core #497
193.63/193.74	c 
193.63/193.74	c 
193.63/193.74	c Core size: 294	Core Weight: 1	Total Weight: 497
193.63/193.74	c
193.63/193.74	c
193.63/193.74	c ============================[ Search Statistics ]==============================
193.63/193.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.63/193.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.63/193.74	c ===============================================================================
193.63/193.74	c |         0 |    5229     9866    27466 |     5000        0    nan |  0.000 % |
193.63/193.76	c |       101 |    5184     9866    27466 |     5500      101      5 |  2.267 % |
193.63/193.79	c ===============================================================================
193.72/193.82	c core #498
193.72/193.82	c 
193.72/193.82	c 
193.72/193.82	c Core size: 41	Core Weight: 1	Total Weight: 498
193.72/193.82	c
193.72/193.82	c
193.72/193.82	c ============================[ Search Statistics ]==============================
193.72/193.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.72/193.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.72/193.82	c ===============================================================================
193.72/193.82	c |         0 |    5257     9871    27533 |     5000        0    nan |  0.000 % |
193.72/193.85	c |       100 |    5250     9871    27533 |     5500      100      8 |  0.606 % |
193.72/193.87	c ===============================================================================
193.82/193.90	c core #499
193.82/193.90	c 
193.82/193.90	c 
193.82/193.90	c Core size: 45	Core Weight: 1	Total Weight: 499
193.82/193.90	c
193.82/193.90	c
193.82/193.90	c ============================[ Search Statistics ]==============================
193.82/193.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.82/193.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.82/193.90	c ===============================================================================
193.82/193.90	c |         0 |    5280     9880    27599 |     5000        0    nan |  0.000 % |
193.82/193.92	c |       100 |    5274     9880    27599 |     5500      100      6 |  0.528 % |
193.82/193.92	c ===============================================================================
193.82/193.95	c core #500
193.82/193.95	c 
193.82/193.95	c 
193.82/193.95	c Core size: 23	Core Weight: 1	Total Weight: 500
193.82/193.95	c
193.82/193.95	c
193.82/193.95	c ============================[ Search Statistics ]==============================
193.82/193.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.82/193.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.82/193.95	c ===============================================================================
193.82/193.95	c |         0 |    5296     9883    27636 |     5000        0    nan |  0.000 % |
193.82/193.97	c |       100 |    5257     9883    27636 |     5500      100      7 |  2.107 % |
193.82/193.99	c ===============================================================================
193.92/194.02	c core #501
193.92/194.02	c 
193.92/194.02	c 
193.92/194.02	c Core size: 32	Core Weight: 1	Total Weight: 501
193.92/194.02	c
193.92/194.02	c
193.92/194.02	c ============================[ Search Statistics ]==============================
193.92/194.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.92/194.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.92/194.02	c ===============================================================================
193.92/194.02	c |         0 |    5315     9884    27674 |     5000        0    nan |  0.000 % |
193.92/194.04	c |       100 |    5307     9884    27674 |     5500      100      9 |  0.750 % |
193.92/194.05	c |       250 |    5296     9884    27674 |     6050      250     10 |  0.975 % |
193.92/194.09	c |       477 |    5232     9884    27674 |     6655      422      9 |  3.149 % |
194.02/194.10	c ===============================================================================
194.02/194.13	c core #502
194.02/194.13	c 
194.02/194.13	c 
194.02/194.13	c Core size: 161	Core Weight: 1	Total Weight: 502
194.02/194.13	c
194.02/194.13	c
194.02/194.13	c ============================[ Search Statistics ]==============================
194.02/194.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.02/194.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.02/194.13	c ===============================================================================
194.02/194.13	c |         0 |    5428     9892    27916 |     5000        0    nan |  0.000 % |
194.02/194.15	c |       100 |    5428     9892    27916 |     5500      100      8 |  0.367 % |
194.02/194.17	c |       250 |    5406     9892    27916 |     6050      218      8 |  0.771 % |
194.12/194.20	c |       475 |    5217     9892    27916 |     6655      411      7 |  6.902 % |
194.12/194.22	c ===============================================================================
194.12/194.25	c core #503
194.12/194.25	c 
194.12/194.25	c 
194.12/194.25	c Core size: 293	Core Weight: 1	Total Weight: 503
194.12/194.25	c
194.12/194.25	c
194.12/194.25	c ============================[ Search Statistics ]==============================
194.12/194.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.12/194.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.12/194.25	c ===============================================================================
194.12/194.25	c |         0 |    5635     9895    28336 |     5000        0    nan |  0.000 % |
194.12/194.26	c ===============================================================================
194.12/194.29	c core #504
194.12/194.29	c 
194.12/194.29	c 
194.12/194.29	c Core size: 39	Core Weight: 1	Total Weight: 504
194.12/194.29	c
194.12/194.29	c
194.12/194.29	c ============================[ Search Statistics ]==============================
194.12/194.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.12/194.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.12/194.29	c ===============================================================================
194.12/194.29	c |         0 |    5657     9896    28380 |     5000        0    nan |  0.000 % |
194.22/194.32	c |       100 |    5655     9896    28380 |     5500      100      8 |  0.458 % |
194.22/194.33	c |       250 |    5645     9896    28380 |     6050      245      8 |  0.564 % |
194.22/194.37	c |       476 |    5619     9896    28380 |     6655      438      9 |  1.867 % |
194.32/194.40	c ===============================================================================
194.32/194.43	c core #505
194.32/194.43	c 
194.32/194.43	c 
194.32/194.43	c Core size: 57	Core Weight: 1	Total Weight: 505
194.32/194.43	c
194.32/194.43	c
194.32/194.43	c ============================[ Search Statistics ]==============================
194.32/194.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.32/194.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.32/194.43	c ===============================================================================
194.32/194.43	c |         0 |    5692     9901    28460 |     5000        0    nan |  0.000 % |
194.32/194.45	c |       100 |    5687     9901    28460 |     5500      100      7 |  0.560 % |
194.32/194.48	c |       250 |    5671     9901    28460 |     6050      243      8 |  0.718 % |
194.42/194.50	c |       476 |    5653     9901    28460 |     6655      461      9 |  1.926 % |
194.42/194.53	c |       815 |    5600     9901    28460 |     7320      636     11 |  1.996 % |
194.42/194.58	c |      1321 |    5478     9901    28460 |     8052     1047     11 |  5.725 % |
194.42/194.58	c ===============================================================================
194.52/194.62	c core #506
194.52/194.62	c 
194.52/194.62	c 
194.52/194.62	c Core size: 191	Core Weight: 1	Total Weight: 506
194.52/194.62	c
194.52/194.62	c
194.52/194.62	c ============================[ Search Statistics ]==============================
194.52/194.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.52/194.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.52/194.62	c ===============================================================================
194.52/194.62	c |         0 |    5829     9905    28742 |     5000        0    nan |  0.000 % |
194.52/194.65	c |       100 |    5828     9905    28742 |     5500      100      9 |  0.376 % |
194.52/194.67	c |       251 |    5828     9905    28742 |     6050      251     12 |  0.376 % |
194.52/194.70	c |       479 |    5827     9905    28742 |     6655      478     13 |  0.376 % |
194.62/194.73	c |       816 |    5825     9905    28742 |     7320      800     14 |  0.410 % |
194.72/194.81	c |      1322 |    5821     9905    28742 |     8052     1291     15 |  0.513 % |
194.81/194.90	c |      2082 |    5816     9905    28742 |     8857     2051     21 |  0.581 % |
195.01/195.11	c |      3221 |    5803     9905    28742 |     9743     3047     29 |  0.786 % |
195.01/195.16	c ===============================================================================
195.12/195.22	c core #507
195.12/195.22	c 
195.12/195.22	c 
195.12/195.22	c Core size: 306	Core Weight: 1	Total Weight: 507
195.12/195.22	c
195.12/195.22	c
195.12/195.22	c ============================[ Search Statistics ]==============================
195.12/195.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.12/195.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.12/195.23	c ===============================================================================
195.12/195.23	c |         0 |    6076     9915    29259 |     5000        0    nan |  0.000 % |
195.12/195.25	c |       103 |    6076     9915    29259 |     5500      103     22 |  0.328 % |
195.12/195.26	c |       256 |    6076     9915    29259 |     6050      256     26 |  0.328 % |
195.12/195.28	c |       481 |    6076     9915    29259 |     6655      481     21 |  0.328 % |
195.21/195.32	c |       820 |    6076     9915    29259 |     7320      820     17 |  0.328 % |
195.21/195.39	c |      1327 |    6076     9915    29259 |     8052     1327     17 |  0.328 % |
195.31/195.49	c |      2087 |    6001     9915    29259 |     8857     2008     19 |  1.559 % |
195.52/195.62	c ===============================================================================
195.52/195.66	c core #508
195.52/195.66	c 
195.52/195.66	c 
195.52/195.66	c Core size: 187	Core Weight: 1	Total Weight: 508
195.52/195.66	c
195.52/195.66	c
195.52/195.66	c ============================[ Search Statistics ]==============================
195.52/195.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.52/195.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.52/195.66	c ===============================================================================
195.52/195.66	c |         0 |    6241     9924    29609 |     5000        0    nan |  0.000 % |
195.52/195.69	c |       101 |    6241     9924    29609 |     5500      101     10 |  0.320 % |
195.52/195.70	c |       254 |    6241     9924    29609 |     6050      254     13 |  0.319 % |
195.62/195.72	c |       484 |    6241     9924    29609 |     6655      484     19 |  0.319 % |
195.62/195.76	c |       824 |    6240     9924    29609 |     7320      821     18 |  0.335 % |
195.72/195.84	c |      1330 |    6238     9924    29609 |     8052     1319     21 |  0.367 % |
195.82/195.94	c |      2089 |    6236     9924    29609 |     8857     2075     21 |  0.399 % |
196.02/196.13	c |      3228 |    6227     9924    29609 |     9743     3149     24 |  0.591 % |
196.31/196.42	c |      4936 |    6207     9924    29609 |    10717     4814     26 |  1.821 % |
196.41/196.52	c ===============================================================================
196.41/196.59	c core #509
196.41/196.59	c 
196.41/196.59	c 
196.41/196.59	c Core size: 301	Core Weight: 1	Total Weight: 509
196.41/196.59	c
196.41/196.59	c
196.41/196.59	c ============================[ Search Statistics ]==============================
196.41/196.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.41/196.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.41/196.59	c ===============================================================================
196.41/196.59	c |         0 |    6502     9940    30165 |     5000        0    nan |  0.000 % |
196.51/196.62	c |       100 |    6502     9940    30165 |     5500      100     16 |  0.307 % |
196.51/196.63	c |       250 |    6502     9940    30165 |     6050      250     17 |  0.307 % |
196.51/196.67	c |       475 |    6498     9940    30165 |     6655      473     18 |  0.368 % |
196.61/196.70	c |       814 |    6498     9940    30165 |     7320      812     17 |  0.368 % |
196.61/196.75	c |      1321 |    6495     9940    30165 |     8052     1318     21 |  0.414 % |
196.72/196.84	c |      2082 |    6484     9940    30165 |     8857     2073     20 |  0.598 % |
196.81/196.97	c |      3221 |    6475     9940    30165 |     9743     3186     20 |  0.751 % |
197.11/197.20	c |      4930 |    6473     9940    30165 |    10717     4890     29 |  0.751 % |
197.51/197.60	c |      7492 |    6389     9940    30165 |    11789     7419     29 |  2.039 % |
198.21/198.34	c |     11336 |    6389     9940    30165 |    12968    11261     34 |  2.039 % |
199.22/199.34	c |     17102 |    6314     9940    30165 |    14265     9937     37 |  3.189 % |
201.51/201.66	c |     25754 |    6312     9940    30165 |    15692    11186     43 |  3.220 % |
203.51/203.66	c ===============================================================================
203.81/203.98	c core #510
203.81/203.98	c 
203.81/203.98	c 
203.81/203.98	c Core size: 395	Core Weight: 1	Total Weight: 510
203.81/203.98	c
203.81/203.98	c
203.81/203.98	c ============================[ Search Statistics ]==============================
203.81/203.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.81/203.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.81/203.98	c ===============================================================================
203.81/203.98	c |         0 |    6833     9967    30889 |     5000        0    nan |  0.000 % |
203.91/204.01	c |       100 |    6833     9967    30889 |     5500      100     20 |  0.292 % |
203.91/204.03	c |       250 |    6833     9967    30889 |     6050      250     19 |  0.292 % |
203.91/204.05	c |       475 |    6833     9967    30889 |     6655      475     19 |  0.292 % |
203.91/204.08	c |       813 |    6833     9967    30889 |     7320      813     23 |  0.292 % |
204.00/204.16	c |      1319 |    6833     9967    30889 |     8052     1319     21 |  0.292 % |
204.11/204.24	c |      2083 |    6833     9967    30889 |     8857     2083     23 |  0.292 % |
204.31/204.43	c |      3222 |    6822     9967    30889 |     9743     3218     26 |  0.467 % |
204.52/204.65	c |      4930 |    6819     9967    30889 |    10717     4926     32 |  0.496 % |
205.00/205.13	c |      7492 |    6819     9967    30889 |    11789     7458     46 |  0.496 % |
205.70/205.82	c |     11337 |    6817     9967    30889 |    12968    11288     43 |  0.525 % |
206.80/206.99	c |     17105 |    6815     9967    30889 |    14265    10195     38 |  0.555 % |
208.81/208.99	c |     25754 |    6809     9967    30889 |    15692    10325     45 |  0.642 % |
211.51/211.64	c |     38733 |    6807     9967    30889 |    17261    15170     47 |  0.671 % |
218.10/218.24	c |     58196 |    6805     9967    30889 |    18987    15587     63 |  0.700 % |
236.90/237.03	c |     87391 |    6701     9967    30889 |    20886    15151     70 |  2.218 % |
275.39/275.56	c |    131180 |    6691     9967    30889 |    22974    16021     82 |  2.364 % |
300.28/300.44	c ===============================================================================
303.39/303.55	c core #511
303.39/303.55	c 
303.39/303.55	c 
303.39/303.55	c Core size: 329	Core Weight: 1	Total Weight: 511
303.39/303.55	c
303.39/303.55	c
303.39/303.55	c ============================[ Search Statistics ]==============================
303.39/303.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
303.39/303.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
303.39/303.55	c ===============================================================================
303.39/303.55	c |         0 |    7105     9975    31447 |     5000        0    nan |  0.000 % |
303.39/303.59	c |       101 |    7105     9975    31447 |     5500      101     15 |  0.281 % |
303.48/303.61	c |       251 |    7104     9975    31447 |     6050      251     13 |  0.309 % |
303.48/303.64	c |       478 |    7104     9975    31447 |     6655      478     15 |  0.309 % |
303.48/303.69	c |       815 |    7103     9975    31447 |     7320      814     15 |  0.309 % |
303.58/303.74	c |      1321 |    7103     9975    31447 |     8052     1320     16 |  0.309 % |
303.67/303.82	c |      2081 |    7101     9975    31447 |     8857     2079     17 |  0.337 % |
303.77/303.98	c |      3225 |    7088     9975    31447 |     9743     3221     25 |  0.590 % |
304.08/304.22	c |      4933 |    7054     9975    31447 |    10717     4865     29 |  1.123 % |
304.49/304.66	c |      7496 |    7053     9975    31447 |    11789     7428     38 |  1.137 % |
305.28/305.42	c |     11340 |    6976     9975    31447 |    12968    11084     40 |  2.091 % |
306.38/306.58	c ===============================================================================
306.58/306.77	c core #512
306.58/306.77	c 
306.58/306.77	c 
306.58/306.77	c Core size: 302	Core Weight: 1	Total Weight: 512
306.58/306.77	c
306.58/306.77	c
306.58/306.77	c ============================[ Search Statistics ]==============================
306.58/306.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
306.58/306.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
306.58/306.77	c ===============================================================================
306.58/306.77	c |         0 |    7379     9998    32045 |     5000        0    nan |  0.000 % |
306.58/306.79	c |       101 |    7379     9998    32045 |     5500      101     20 |  0.270 % |
306.69/306.82	c |       251 |    7379     9998    32045 |     6050      251     14 |  0.270 % |
306.69/306.84	c |       476 |    7379     9998    32045 |     6655      476     13 |  0.270 % |
306.78/306.91	c |       815 |    7379     9998    32045 |     7320      815     29 |  0.270 % |
306.78/306.96	c |      1321 |    7377     9998    32045 |     8052     1320     28 |  0.298 % |
306.88/307.07	c |      2089 |    7377     9998    32045 |     8857     2088     31 |  0.297 % |
307.07/307.21	c |      3229 |    7377     9998    32045 |     9743     3228     31 |  0.297 % |
307.27/307.45	c |      4938 |    7377     9998    32045 |    10717     4937     32 |  0.297 % |
307.68/307.80	c |      7501 |    7377     9998    32045 |    11789     7500     35 |  0.297 % |
308.68/308.83	c |     11345 |    7377     9998    32045 |    12968    11344     46 |  0.297 % |
310.58/310.75	c |     17113 |    7377     9998    32045 |    14265    10289     60 |  0.297 % |
314.07/314.21	c |     25762 |    7377     9998    32045 |    15692    11548     67 |  0.297 % |
318.57/318.71	c |     38738 |    7377     9998    32045 |    17261     8480     75 |  0.297 % |
322.47/322.63	c |     58202 |    7368     9998    32045 |    18987    17814     61 |  0.433 % |
329.27/329.48	c |     87394 |    7357     9998    32045 |    20886    17415     70 |  0.568 % |
345.06/345.22	c |    131186 |    7351     9998    32045 |    22974    17489     75 |  0.649 % |
375.56/375.79	c |    196873 |    7343     9998    32045 |    25272    22330     77 |  0.757 % |
415.05/415.25	c ===============================================================================
416.54/416.77	c core #513
416.54/416.77	c 
416.54/416.77	c 
416.54/416.77	c Core size: 343	Core Weight: 1	Total Weight: 513
416.54/416.77	c
416.54/416.77	c
416.54/416.77	c ============================[ Search Statistics ]==============================
416.54/416.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
416.54/416.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
416.54/416.77	c ===============================================================================
416.54/416.77	c |         0 |    7672    10019    32671 |     5000        0    nan |  0.000 % |
416.65/416.85	c |       101 |    7672    10019    32671 |     5500      101     33 |  0.260 % |
416.65/416.87	c |       251 |    7672    10019    32671 |     6050      251     29 |  0.260 % |
416.65/416.89	c |       477 |    7672    10019    32671 |     6655      477     24 |  0.260 % |
416.75/416.93	c |       816 |    7672    10019    32671 |     7320      816     24 |  0.260 % |
416.75/416.99	c |      1322 |    7670    10019    32671 |     8052     1321     24 |  0.286 % |
416.84/417.07	c |      2081 |    7668    10019    32671 |     8857     2076     24 |  0.312 % |
417.04/417.21	c |      3220 |    7668    10019    32671 |     9743     3215     28 |  0.312 % |
417.24/417.49	c |      4930 |    7668    10019    32671 |    10717     4925     34 |  0.312 % |
418.04/418.23	c |      7495 |    7641    10019    32671 |    11789     7488     69 |  1.170 % |
418.95/419.17	c |     11339 |    7602    10019    32671 |    12968    11187     73 |  1.170 % |
420.64/420.81	c |     17105 |    7602    10019    32671 |    14265     9592    103 |  1.170 % |
422.94/423.19	c |     25754 |    7600    10019    32671 |    15692    10454     85 |  1.196 % |
426.24/426.40	c |     38729 |    7596    10019    32671 |    17261    13942     99 |  1.248 % |
430.14/430.37	c |     58191 |    7596    10019    32671 |    18987    15650     48 |  1.248 % |
430.64/430.88	c ===============================================================================
430.83/431.00	c core #514
430.83/431.00	c 
430.83/431.00	c 
430.83/431.00	c Core size: 30	Core Weight: 1	Total Weight: 514
430.83/431.00	c
430.83/431.00	c
430.83/431.00	c ============================[ Search Statistics ]==============================
430.83/431.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
430.83/431.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
430.83/431.00	c ===============================================================================
430.83/431.00	c |         0 |    7688    10029    32724 |     5000        0    nan |  0.000 % |
430.83/431.05	c |       100 |    7688    10029    32724 |     5500      100     21 |  0.260 % |
430.83/431.06	c |       250 |    7684    10029    32724 |     6050      250     16 |  0.363 % |
430.83/431.09	c |       475 |    7672    10029    32724 |     6655      469     20 |  0.519 % |
430.95/431.13	c |       813 |    7661    10029    32724 |     7320      792     20 |  0.675 % |
430.95/431.20	c |      1319 |    7636    10029    32724 |     8052     1287     28 |  1.531 % |
431.14/431.30	c |      2078 |    7590    10029    32724 |     8857     1971     36 |  1.531 % |
431.24/431.47	c |      3218 |    7588    10029    32724 |     9743     3110     39 |  1.557 % |
431.64/431.85	c |      4927 |    7586    10029    32724 |    10717     4813     67 |  1.583 % |
432.33/432.53	c |      7490 |    7585    10029    32724 |    11789     7371     86 |  1.596 % |
433.14/433.32	c |     11334 |    7585    10029    32724 |    12968    11215     76 |  1.596 % |
434.63/434.86	c |     17105 |    7584    10029    32724 |    14265     9938     94 |  1.609 % |
436.54/436.75	c |     25755 |    7575    10029    32724 |    15692    10861     82 |  1.738 % |
441.63/441.83	c |     38729 |    7562    10029    32724 |    17261    15706    122 |  1.894 % |
452.04/452.27	c |     58197 |    7562    10029    32724 |    18987    17593    144 |  1.894 % |
465.62/465.82	c |     87389 |    7536    10029    32724 |    20886    16694    115 |  2.245 % |
480.92/481.10	c ===============================================================================
481.13/481.33	c core #515
481.13/481.33	c 
481.13/481.33	c 
481.13/481.33	c Core size: 100	Core Weight: 1	Total Weight: 515
481.13/481.33	c
481.13/481.33	c
481.13/481.33	c ============================[ Search Statistics ]==============================
481.13/481.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
481.13/481.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
481.13/481.33	c ===============================================================================
481.13/481.33	c |         0 |    7773    10063    32964 |     5000        0    nan |  0.000 % |
481.13/481.38	c |       100 |    7773    10063    32964 |     5500      100     31 |  0.257 % |
481.22/481.40	c |       250 |    7773    10063    32964 |     6050      250     31 |  0.257 % |
481.22/481.43	c |       475 |    7773    10063    32964 |     6655      475     27 |  0.257 % |
481.22/481.47	c |       812 |    7773    10063    32964 |     7320      812     23 |  0.257 % |
481.32/481.52	c |      1318 |    7771    10063    32964 |     8052     1315     29 |  0.282 % |
481.42/481.62	c |      2077 |    7769    10063    32964 |     8857     2069     27 |  0.308 % |
481.53/481.75	c |      3217 |    7768    10063    32964 |     9743     3209     27 |  0.334 % |
481.71/481.95	c |      4926 |    7767    10063    32964 |    10717     4916     29 |  0.334 % |
482.22/482.40	c |      7489 |    7765    10063    32964 |    11789     7478     41 |  0.359 % |
482.92/483.12	c |     11334 |    7765    10063    32964 |    12968    11323     46 |  0.359 % |
484.32/484.51	c |     17100 |    7765    10063    32964 |    14265    10298     59 |  0.359 % |
485.72/485.99	c |     25752 |    7763    10063    32964 |    15692    11387     54 |  0.385 % |
488.92/489.15	c |     38726 |    7763    10063    32964 |    17261    15160     77 |  0.385 % |
497.41/497.63	c |     58191 |    7763    10063    32964 |    18987    15798    100 |  0.385 % |
507.92/508.11	c |     87385 |    7743    10063    32964 |    20886    15387     54 |  1.232 % |
526.20/526.40	c |    131175 |    7697    10063    32964 |    22974    11710     80 |  1.232 % |
566.49/566.79	c |    196861 |    7697    10063    32964 |    25272    17205     75 |  1.232 % |
657.26/657.57	c |    295391 |    7697    10063    32964 |    27799    21604     93 |  1.232 % |
795.83/796.10	c |    443182 |    7695    10063    32964 |    30579    27409     86 |  1.258 % |
1011.32/1011.88	c |    664868 |    7695    10063    32964 |    33637    18362     98 |  1.258 % |
1350.49/1351.16	c |    997393 |    7689    10063    32964 |    37001    13899     84 |  1.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-2680661-1277453515/watcher-2680661-1277453515 -o /tmp/evaluation-result-2680661-1277453515/solver-2680661-1277453515 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680661-1277453515.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 0.98 0.82 3/106 27063
/proc/meminfo: memFree=1414620/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=3080 CPUtime=0
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 86642494 3153920 261 1992294400 134512640 135752675 4293605648 18446744073709551615 135211759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 770 262 140 303 0 414 0

[startup+0.069614 s]
/proc/loadavg: 1.00 0.98 0.82 3/106 27063
/proc/meminfo: memFree=1414620/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=4336 CPUtime=0.06
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 766 0 0 0 6 0 0 0 20 0 1 0 86642494 4440064 634 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 1084 634 141 303 0 779 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4336

[startup+0.101618 s]
/proc/loadavg: 1.00 0.98 0.82 3/106 27063
/proc/meminfo: memFree=1414620/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=4468 CPUtime=0.09
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 818 0 0 0 9 0 0 0 20 0 1 0 86642494 4575232 686 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 1117 686 141 303 0 812 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4468

[startup+0.301663 s]
/proc/loadavg: 1.00 0.98 0.82 3/106 27063
/proc/meminfo: memFree=1414620/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=5492 CPUtime=0.29
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 1072 0 0 0 29 0 0 0 20 0 1 0 86642494 5623808 940 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 1373 940 145 303 0 1068 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5492

[startup+0.701705 s]
/proc/loadavg: 1.00 0.98 0.82 3/106 27063
/proc/meminfo: memFree=1414620/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=9592 CPUtime=0.69
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 2097 0 0 0 68 1 0 0 21 0 1 0 86642494 9822208 1965 1992294400 134512640 135752675 4293605648 18446744073709551615 134638476 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 2398 1965 145 303 0 2093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9592

[startup+1.50182 s]
/proc/loadavg: 1.00 0.98 0.82 2/107 27064
/proc/meminfo: memFree=1403824/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=18160 CPUtime=1.49
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 4250 0 0 0 146 3 0 0 23 0 1 0 86642494 18595840 4118 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 4540 4118 145 303 0 4235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18160

[startup+3.10105 s]
/proc/loadavg: 1.00 0.98 0.82 2/107 27064
/proc/meminfo: memFree=1392788/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=33264 CPUtime=3.09
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 7998 0 0 0 304 5 0 0 25 0 1 0 86642494 34062336 7866 1992294400 134512640 135752675 4293605648 18446744073709551615 134638325 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 8316 7866 145 303 0 8011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33264

[startup+6.30152 s]
/proc/loadavg: 1.00 0.98 0.82 2/107 27064
/proc/meminfo: memFree=1364640/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=58740 CPUtime=6.29
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 14365 0 0 0 619 10 0 0 25 0 1 0 86642494 60149760 14233 1992294400 134512640 135752675 4293605648 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 14685 14233 145 303 0 14380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58740

[startup+12.7015 s]
/proc/loadavg: 1.00 0.98 0.82 2/107 27064
/proc/meminfo: memFree=1312204/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=108624 CPUtime=12.69
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 26838 0 0 0 1251 18 0 0 25 0 1 0 86642494 111230976 26706 1992294400 134512640 135752675 4293605648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 27156 26706 145 303 0 26851 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108624

[startup+25.5013 s]
/proc/loadavg: 1.00 0.98 0.83 2/107 27064
/proc/meminfo: memFree=1218460/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=199836 CPUtime=25.48
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 49632 0 0 0 2511 37 0 0 25 0 1 0 86642494 204632064 49500 1992294400 134512640 135752675 4293605648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 49959 49500 145 303 0 49654 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 199836

[startup+51.101 s]
/proc/loadavg: 1.00 0.98 0.83 2/107 27064
/proc/meminfo: memFree=1069536/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=349692 CPUtime=51.07
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 87109 0 0 0 5040 67 0 0 25 0 1 0 86642494 358084608 86977 1992294400 134512640 135752675 4293605648 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 87423 86977 145 303 0 87118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 349692

[startup+102.309 s]
/proc/loadavg: 1.00 0.98 0.83 2/107 27066
/proc/meminfo: memFree=748376/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=667132 CPUtime=102.27
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 166435 0 0 0 10093 134 0 0 25 0 1 0 86642494 683143168 166303 1992294400 134512640 135752675 4293605648 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 166783 166303 145 303 0 166478 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 667132

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.84 2/107 27068
/proc/meminfo: memFree=430564/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=985864 CPUtime=162.24
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 246110 0 0 0 16025 199 0 0 25 0 1 0 86642494 1009524736 245978 1992294400 134512640 135752675 4293605648 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 246466 245978 145 303 0 246161 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 985864

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.85 2/107 27070
/proc/meminfo: memFree=353436/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1060504 CPUtime=222.2
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 264850 0 0 0 21949 271 0 0 25 0 1 0 86642494 1085956096 264689 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 265126 264689 146 303 0 264821 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1060504

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.85 2/107 27070
/proc/meminfo: memFree=353312/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1060504 CPUtime=282.19
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 264852 0 0 0 27929 290 0 0 25 0 1 0 86642494 1085956096 264691 1992294400 134512640 135752675 4293605648 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 265126 264691 146 303 0 264821 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1060504

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.86 2/107 27072
/proc/meminfo: memFree=333472/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1080652 CPUtime=342.17
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 269873 0 0 0 33861 356 0 0 25 0 1 0 86642494 1106587648 269712 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 270163 269712 146 303 0 269858 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1080652

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.86 2/107 27074
/proc/meminfo: memFree=289204/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1125400 CPUtime=402.15
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 280997 0 0 0 39818 397 0 0 25 0 1 0 86642494 1152409600 280836 1992294400 134512640 135752675 4293605648 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 281350 280836 146 303 0 281045 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1125400

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.87 2/107 27076
/proc/meminfo: memFree=236628/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1177472 CPUtime=462.12
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 294113 0 0 0 45745 467 0 0 25 0 1 0 86642494 1205731328 293906 1992294400 134512640 135752675 4293605648 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 294368 293906 146 303 0 294063 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1177472

[startup+522.301 s]
/proc/loadavg: 1.00 0.98 0.87 2/107 27078
/proc/meminfo: memFree=185912/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1228672 CPUtime=522.11
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 307009 0 0 0 51677 534 0 0 25 0 1 0 86642494 1258160128 306710 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 307168 306710 146 303 0 306863 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1228672

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.88 2/107 27078
/proc/meminfo: memFree=147100/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1266644 CPUtime=582.09
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 316476 0 0 0 57640 569 0 0 25 0 1 0 86642494 1297043456 316177 1992294400 134512640 135752675 4293605648 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 316661 316177 146 303 0 316356 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1266644

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.89 2/107 27080
/proc/meminfo: memFree=113124/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1300472 CPUtime=642.08
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 324886 0 0 0 63612 596 0 0 25 0 1 0 86642494 1331683328 324587 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 325118 324587 146 303 0 324813 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1300472

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 0.98 0.90 2/107 27086
/proc/meminfo: memFree=20496/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1393500 CPUtime=822.01
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 348058 0 0 0 81519 682 0 0 25 0 1 0 86642494 1426944000 347759 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 348375 347759 146 303 0 348070 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 1393500

[startup+882.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27086
/proc/meminfo: memFree=9968/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1423856 CPUtime=881.97
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 355623 0 0 0 87486 711 0 0 25 0 1 0 86642494 1458028544 355324 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 355964 355324 146 303 0 355659 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 1423856

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27088
/proc/meminfo: memFree=9308/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1450824 CPUtime=941.9
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 362318 0 0 0 93455 735 0 0 25 0 1 0 86642494 1485643776 362019 1992294400 134512640 135752675 4293605648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/27063/statm: 362706 362019 146 303 0 362401 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1450824

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27090
/proc/meminfo: memFree=9712/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1479220 CPUtime=1001.82
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 369382 0 0 0 99423 759 0 0 25 0 1 0 86642494 1514721280 369083 1992294400 134512640 135752675 4293605648 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 369805 369083 146 303 0 369500 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 1479220

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27092
/proc/meminfo: memFree=10300/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1517388 CPUtime=1061.78
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 378900 0 0 0 105385 793 0 0 25 0 1 0 86642494 1553805312 378601 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 379347 378601 146 303 0 379042 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 1517388

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27094
/proc/meminfo: memFree=10604/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1547140 CPUtime=1121.77
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 386321 0 0 0 111357 820 0 0 25 0 1 0 86642494 1584271360 386022 1992294400 134512640 135752675 4293605648 18446744073709551615 134611939 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 386785 386022 146 303 0 386480 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 1547140

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27094
/proc/meminfo: memFree=9628/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1579912 CPUtime=1181.74
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 394498 0 0 0 117327 847 0 0 25 0 1 0 86642494 1617829888 394199 1992294400 134512640 135752675 4293605648 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 394978 394199 146 303 0 394673 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1579912

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 27096
/proc/meminfo: memFree=9148/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1609780 CPUtime=1241.73
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 401958 0 0 0 123299 874 0 0 25 0 1 0 86642494 1648414720 401659 1992294400 134512640 135752675 4293605648 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 402445 401659 146 303 0 402140 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 1609780

[startup+1302.3 s]
/proc/loadavg: 1.07 1.01 0.92 2/107 27098
/proc/meminfo: memFree=9880/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1635404 CPUtime=1301.72
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 408326 0 0 0 129274 898 0 0 25 0 1 0 86642494 1674653696 408027 1992294400 134512640 135752675 4293605648 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 408851 408027 146 303 0 408546 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 1635404

[startup+1362.3 s]
/proc/loadavg: 1.19 1.05 0.94 2/107 27103
/proc/meminfo: memFree=34564/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1662872 CPUtime=1361.69
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 415198 0 0 0 135242 927 0 0 25 0 1 0 86642494 1702780928 414899 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 415718 414899 146 303 0 415413 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1662872

[startup+1422.31 s]
/proc/loadavg: 1.07 1.04 0.94 2/107 27105
/proc/meminfo: memFree=10012/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1687244 CPUtime=1421.68
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 421273 0 0 0 141219 949 0 0 25 0 1 0 86642494 1727737856 420974 1992294400 134512640 135752675 4293605648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 421811 420974 146 303 0 421506 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1687244

[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 0.94 2/107 27105
/proc/meminfo: memFree=10136/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1715632 CPUtime=1481.66
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 428356 0 0 0 147188 978 0 0 25 0 1 0 86642494 1756807168 428057 1992294400 134512640 135752675 4293605648 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 428908 428057 146 303 0 428603 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1715632

[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 0.94 2/107 27107
/proc/meminfo: memFree=10232/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1738316 CPUtime=1541.64
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 433991 0 0 0 153165 999 0 0 25 0 1 0 86642494 1780035584 433692 1992294400 134512640 135752675 4293605648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 434579 433692 146 303 0 434274 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 1738316

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 0.94 2/107 27109
/proc/meminfo: memFree=9524/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1760568 CPUtime=1601.62
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 439566 0 0 0 159142 1020 0 0 25 0 1 0 86642494 1802821632 439267 1992294400 134512640 135752675 4293605648 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27063/statm: 440142 439267 146 303 0 439837 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 1760568

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/107 27111
/proc/meminfo: memFree=9656/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1785452 CPUtime=1661.55
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 445759 0 0 0 165113 1042 0 0 25 0 1 0 86642494 1828302848 445460 1992294400 134512640 135752675 4293605648 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/27063/statm: 446363 445460 146 303 0 446058 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 1785452

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/107 27113
/proc/meminfo: memFree=10412/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1818220 CPUtime=1721.4
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 453939 0 0 0 171069 1071 0 0 25 0 1 0 86642494 1861857280 453640 1992294400 134512640 135752675 4293605648 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/27063/statm: 454555 453640 146 303 0 454250 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 1818220



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1768.4 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 27113
/proc/meminfo: memFree=10580/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=1843208 CPUtime=1767.42
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4202496 460169 0 0 0 175647 1095 0 0 25 0 1 0 86642494 1887444992 459870 1992294400 134512640 135752675 4293605648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/27063/statm: 460802 459870 146 303 0 460497 0
Current children cumulated CPU time (s) 1767.42
Current children cumulated vsize (KiB) 1843208

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

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

[startup+1768.51 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 27113
/proc/meminfo: memFree=10580/2059040 swapFree=4140520/4192956
[pid=27063] ppid=27061 vsize=0 CPUtime=1767.52
/proc/27063/stat : 27063 (wbo1.4b) R 27061 27063 26951 0 -1 4203524 460169 0 0 0 175647 1105 0 0 25 0 1 0 86642494 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/27063/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1767.52
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1768.58
CPU time (s): 1767.59
CPU user time (s): 1756.47
CPU system time (s): 11.1173
CPU usage (%): 99.9443
Max. virtual memory (cumulated for all children) (KiB): 1843208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.47
system time used= 11.1173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460169
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= 47
involuntary context switches= 21775

runsolver used 2.94455 second user time and 8.43272 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-25 10:11:55
IDJOB=2680661
IDBENCH=2056
IDSOLVER=1190
FILE ID=node052/2680661-1277453515
PBS_JOBID= 11188116
Free space on /tmp= 62252 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680661-1277453515/watcher-2680661-1277453515 -o /tmp/evaluation-result-2680661-1277453515/solver-2680661-1277453515 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680661-1277453515.opb

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

MD5SUM BENCH= ccbbad891f18298525c42c78a48134ce
RANDOM SEED=795713866

node052.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.262
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1415148 kB
Buffers:        121912 kB
Cached:         418224 kB
SwapCached:       5612 kB
Active:         188740 kB
Inactive:       364444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1415148 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            2896 kB
Writeback:           0 kB
AnonPages:       11644 kB
Mapped:          11944 kB
Slab:            68884 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182156 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62248 MiB
End job on node052 at 2010-06-25 10:41:25