Trace number 2680542

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) 1279.03 1279.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b4.opb
MD5SUMbad507f566306ee26a0781c0a8fac473
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark654
Best CPU time to get the best result obtained on this benchmark54.2567
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 654
Optimality of the best value was proved NO
Number of variables2136
Total number of constraints9282
Number of constraints which are clauses9282
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 2136
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 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680542-1277454750.opb.
0.00/0.00	c Instance file HOME/instance-2680542-1277454750.opb
0.00/0.00	c File size is 249640 bytes.
0.00/0.03	c Highest Coefficient sum: 9
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:      2136                                                |
0.00/0.03	c |  Number Clauses:        9282                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |    2136     9282    20580 |     5000        0    nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c New solution: 858
0.09/0.18	o 858
0.09/0.18	c Elapsed CPU time: 0.183972 s	Remaining CPU time: 179.816 s
0.09/0.18	c ===============================================================================
0.09/0.18	c |         4 |    2136     9283    22716 |     5000        4     11 |  0.000 % |
0.19/0.21	c |       104 |    2136     9283    22716 |     5500      104    738 |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c New solution: 816
0.19/0.21	o 816
0.19/0.21	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 179.786 s
0.19/0.21	c ===============================================================================
0.19/0.21	c |       105 |    2136     9284    24852 |     5000      105    731 |  0.000 % |
0.19/0.24	c |       206 |    2136     9284    24852 |     5500      206    776 |  0.006 % |
0.19/0.29	c |       358 |    2136     9284    24852 |     6050      358    793 |  0.000 % |
0.29/0.35	c |       583 |    2136     9284    24852 |     6655      583    802 |  0.003 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: 812
0.29/0.35	o 812
0.29/0.35	c Elapsed CPU time: 0.348946 s	Remaining CPU time: 179.651 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |       583 |    2136     9285    26988 |     5000      583    802 |  0.003 % |
0.29/0.38	c |       683 |    2136     9285    26988 |     5500      683    804 |  0.003 % |
0.39/0.43	c |       834 |    2136     9285    26988 |     6050      834    806 |  0.004 % |
0.39/0.49	c |      1059 |    2136     9285    26988 |     6655     1059    808 |  0.000 % |
0.49/0.59	c |      1397 |    2136     9285    26988 |     7320     1397    810 |  0.000 % |
0.70/0.72	c |      1904 |    2136     9285    26988 |     8052     1904    813 |  0.003 % |
0.89/0.96	c |      2663 |    2136     9285    26988 |     8857     2663    804 |  0.000 % |
1.29/1.33	c |      3803 |    2136     9285    26988 |     9743     3803    806 |  0.003 % |
1.79/1.86	c |      5511 |    2136     9285    26988 |    10717     5511    808 |  0.000 % |
2.70/2.72	c |      8073 |    2136     9285    26988 |    11789     8073    811 |  0.004 % |
3.89/3.99	c |     11917 |    2136     9285    26988 |    12968    11917    813 |  0.005 % |
5.79/5.87	c |     17684 |    2136     9285    26988 |    14265    10233    818 |  0.000 % |
8.99/9.04	c |     26333 |    2136     9285    26988 |    15692    10823    818 |  0.000 % |
14.39/14.41	c |     39308 |    2136     9285    26988 |    17261    15077    816 |  0.000 % |
22.08/22.16	c |     58770 |    2136     9285    26988 |    18987    15531    818 |  0.000 % |
36.48/36.58	c |     87962 |    2136     9285    26988 |    20886    13676    818 |  0.000 % |
59.97/60.03	c |    131751 |    2136     9285    26988 |    22974    21827    818 |  0.003 % |
96.26/96.38	c |    197435 |    2136     9285    26988 |    25272    16909    818 |  0.005 % |
158.26/158.36	c |    295961 |    2136     9285    26988 |    27799    17604    818 |  0.000 % |
182.14/182.23	c There are 0 assigned variables. 0 in cost function.
183.34/183.40	c core #1
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 1
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #2
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 2
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #3
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 3
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #4
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 4
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #5
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 5
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #6
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 6
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #7
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 7
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #8
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 8
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #9
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 9
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #10
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 10
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #11
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 11
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #12
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 12
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #13
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 13
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #14
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 14
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #15
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 15
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #16
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 16
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #17
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 17
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #18
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 18
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #19
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 19
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #20
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 20
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #21
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 21
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #22
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 22
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #23
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 23
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #24
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 24
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #25
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 25
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #26
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 26
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #27
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 27
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #28
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 28
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #29
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 29
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #30
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 30
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #31
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 31
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #32
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 32
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #33
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 33
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #34
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 34
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #35
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 35
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #36
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 36
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #37
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 37
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #38
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 38
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #39
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 39
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #40
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 40
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #41
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 41
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #42
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 42
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #43
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 43
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #44
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 44
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #45
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 45
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #46
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 46
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #47
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 47
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #48
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 3	Core Weight: 1	Total Weight: 48
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #49
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 49
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #50
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 50
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #51
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 51
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #52
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 52
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #53
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 53
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #54
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 9	Core Weight: 1	Total Weight: 54
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #55
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 55
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #56
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 56
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #57
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 57
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #58
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 58
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #59
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 59
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #60
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 60
183.34/183.40	c
183.34/183.40	c
183.34/183.40	c core #61
183.34/183.40	c 
183.34/183.40	c 
183.34/183.40	c Core size: 7	Core Weight: 1	Total Weight: 61
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #62
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 62
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #63
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 63
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #64
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 64
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #65
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 65
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #66
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 66
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #67
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 67
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #68
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 68
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #69
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 69
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #70
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 70
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #71
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 71
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #72
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 72
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #73
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 73
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #74
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 74
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #75
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 75
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #76
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 76
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #77
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 77
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #78
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 78
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #79
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 79
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #80
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 80
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #81
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 81
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #82
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 82
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #83
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 83
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #84
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 84
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #85
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 85
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #86
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 86
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #87
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 87
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #88
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 88
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #89
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 89
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #90
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 90
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #91
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 91
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #92
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 92
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #93
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 93
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #94
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 94
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #95
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 95
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #96
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 96
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #97
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 97
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #98
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 98
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #99
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 99
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #100
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 100
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #101
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 101
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #102
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 102
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #103
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 103
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #104
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 104
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #105
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 105
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #106
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 106
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #107
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 107
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #108
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 108
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #109
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 109
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #110
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 110
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #111
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 111
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #112
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 112
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #113
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 113
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #114
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 114
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #115
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 115
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #116
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 116
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #117
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 117
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #118
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 118
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #119
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 119
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #120
184.15/184.28	c 
184.15/184.28	c 
184.15/184.28	c Core size: 7	Core Weight: 1	Total Weight: 120
184.15/184.28	c
184.15/184.28	c
184.15/184.28	c core #121
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 121
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #122
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 122
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #123
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 123
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #124
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 124
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #125
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 125
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #126
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 126
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #127
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 127
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #128
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 128
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #129
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 129
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #130
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 130
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #131
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 131
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #132
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 132
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #133
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 133
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #134
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 134
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #135
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 135
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #136
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 136
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #137
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 137
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #138
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 138
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #139
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 139
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #140
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 140
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #141
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 141
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #142
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 142
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #143
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 143
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #144
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 144
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #145
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 145
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #146
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 146
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #147
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 147
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #148
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 148
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #149
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 149
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #150
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 150
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #151
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 151
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #152
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 152
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #153
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 153
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #154
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 154
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #155
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 155
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #156
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 156
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #157
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 157
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #158
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 158
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #159
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 159
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #160
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 160
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #161
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 161
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #162
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 162
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #163
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 163
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #164
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 164
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #165
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 165
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #166
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 166
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #167
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 167
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #168
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 168
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #169
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 169
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #170
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 170
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #171
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 171
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #172
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 172
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #173
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 173
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #174
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 174
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #175
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 175
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #176
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 176
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #177
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 177
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #178
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 178
185.15/185.24	c
185.15/185.24	c
185.15/185.24	c core #179
185.15/185.24	c 
185.15/185.24	c 
185.15/185.24	c Core size: 7	Core Weight: 1	Total Weight: 179
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #180
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 180
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #181
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 181
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #182
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 182
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #183
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 183
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #184
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 184
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #185
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 185
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #186
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 186
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #187
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 187
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #188
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 188
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #189
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 189
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #190
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 190
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #191
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 191
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #192
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 192
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #193
186.15/186.25	c 
186.15/186.25	c 
186.15/186.25	c Core size: 7	Core Weight: 1	Total Weight: 193
186.15/186.25	c
186.15/186.25	c
186.15/186.25	c core #194
186.15/186.25	c 
186.15/186.25	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 194
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #195
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 195
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #196
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 196
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #197
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 197
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #198
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 198
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #199
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 199
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #200
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 200
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #201
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 201
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #202
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 202
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #203
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 203
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #204
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 204
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #205
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 205
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #206
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 206
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #207
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 207
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #208
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 208
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #209
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 209
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #210
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 210
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #211
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 211
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #212
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 212
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #213
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 213
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #214
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 214
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #215
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 215
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #216
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 7	Core Weight: 1	Total Weight: 216
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #217
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 13	Core Weight: 1	Total Weight: 217
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #218
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 218
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #219
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 219
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #220
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 21	Core Weight: 1	Total Weight: 220
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #221
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 221
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #222
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 222
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #223
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 223
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #224
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 224
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #225
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 21	Core Weight: 1	Total Weight: 225
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #226
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 226
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #227
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 227
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #228
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 228
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #229
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 22	Core Weight: 1	Total Weight: 229
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #230
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 230
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #231
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 231
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #232
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 21	Core Weight: 1	Total Weight: 232
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #233
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 21	Core Weight: 1	Total Weight: 233
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #234
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 21	Core Weight: 1	Total Weight: 234
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #235
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 235
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #236
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 20	Core Weight: 1	Total Weight: 236
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c core #237
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 19	Core Weight: 1	Total Weight: 237
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #238
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 238
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #239
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 22	Core Weight: 1	Total Weight: 239
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #240
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 240
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #241
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 241
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #242
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 242
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #243
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 243
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #244
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 22	Core Weight: 1	Total Weight: 244
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #245
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 245
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #246
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 20	Core Weight: 1	Total Weight: 246
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #247
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 247
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #248
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 248
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #249
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 23	Core Weight: 1	Total Weight: 249
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #250
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 19	Core Weight: 1	Total Weight: 250
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #251
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 21	Core Weight: 1	Total Weight: 251
187.24/187.37	c
187.24/187.37	c
187.24/187.37	c core #252
187.24/187.37	c 
187.24/187.37	c 
187.24/187.37	c Core size: 22	Core Weight: 1	Total Weight: 252
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #253
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 253
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #254
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 254
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #255
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 255
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #256
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 256
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #257
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 13	Core Weight: 1	Total Weight: 257
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #258
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 258
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #259
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 259
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #260
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 260
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #261
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 261
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #262
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 262
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #263
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 263
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #264
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 264
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #265
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 265
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #266
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 266
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #267
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 267
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #268
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 268
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #269
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 269
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #270
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 270
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #271
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 271
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #272
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 272
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #273
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 273
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #274
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 274
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #275
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 275
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #276
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 276
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #277
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 19	Core Weight: 1	Total Weight: 277
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #278
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 278
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #279
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 279
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #280
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 280
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #281
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 281
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #282
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 282
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #283
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 283
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #284
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 284
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #285
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 285
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #286
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 286
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #287
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 287
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #288
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 288
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #289
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 23	Core Weight: 1	Total Weight: 289
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #290
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 19	Core Weight: 1	Total Weight: 290
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #291
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 291
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #292
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 22	Core Weight: 1	Total Weight: 292
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #293
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 20	Core Weight: 1	Total Weight: 293
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #294
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 294
187.24/187.38	c
187.24/187.38	c
187.24/187.38	c core #295
187.24/187.38	c 
187.24/187.38	c 
187.24/187.38	c Core size: 21	Core Weight: 1	Total Weight: 295
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #296
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 296
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #297
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 13	Core Weight: 1	Total Weight: 297
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #298
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 298
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #299
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 299
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #300
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 300
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #301
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 301
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #302
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 302
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #303
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 303
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #304
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 304
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #305
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 305
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #306
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 306
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #307
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 307
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #308
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 308
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #309
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 309
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #310
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 310
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #311
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 311
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #312
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 312
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #313
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 313
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #314
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 314
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #315
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 315
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #316
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 316
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #317
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 19	Core Weight: 1	Total Weight: 317
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #318
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 318
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #319
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 319
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #320
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 320
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #321
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 321
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #322
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 322
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #323
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 323
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #324
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 324
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #325
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 325
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #326
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 326
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #327
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 327
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #328
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 328
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #329
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 23	Core Weight: 1	Total Weight: 329
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #330
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 19	Core Weight: 1	Total Weight: 330
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #331
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 331
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #332
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 332
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #333
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 333
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #334
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 334
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #335
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 335
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #336
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 336
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #337
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 13	Core Weight: 1	Total Weight: 337
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #338
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 338
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #339
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 339
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #340
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 340
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #341
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 341
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #342
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 342
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #343
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 343
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #344
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 344
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #345
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 345
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #346
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 346
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #347
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 347
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #348
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 348
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #349
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 22	Core Weight: 1	Total Weight: 349
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #350
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 350
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #351
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 20	Core Weight: 1	Total Weight: 351
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #352
188.54/188.61	c 
188.54/188.61	c 
188.54/188.61	c Core size: 21	Core Weight: 1	Total Weight: 352
188.54/188.61	c
188.54/188.61	c
188.54/188.61	c core #353
188.54/188.61	c 
188.54/188.61	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 353
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #354
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 354
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #355
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 355
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #356
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 356
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #357
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 19	Core Weight: 1	Total Weight: 357
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #358
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 358
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #359
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 359
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #360
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 360
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #361
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 361
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #362
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 362
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #363
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 363
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #364
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 364
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #365
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 365
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #366
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 366
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #367
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 367
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #368
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 368
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #369
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 23	Core Weight: 1	Total Weight: 369
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #370
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 19	Core Weight: 1	Total Weight: 370
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #371
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 371
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #372
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 372
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #373
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 373
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #374
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 374
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #375
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 375
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #376
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 376
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #377
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 13	Core Weight: 1	Total Weight: 377
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #378
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 378
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #379
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 379
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #380
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 380
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #381
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 381
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #382
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 382
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #383
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 383
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #384
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 384
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #385
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 385
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #386
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 386
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #387
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 387
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #388
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 388
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #389
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 389
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #390
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 390
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #391
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 391
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #392
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 392
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #393
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 393
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #394
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 394
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #395
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 395
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #396
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 396
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #397
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 19	Core Weight: 1	Total Weight: 397
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #398
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 398
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #399
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 399
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #400
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 400
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #401
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 401
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #402
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 402
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #403
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 403
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #404
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 22	Core Weight: 1	Total Weight: 404
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #405
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 405
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #406
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 20	Core Weight: 1	Total Weight: 406
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #407
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 407
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #408
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 21	Core Weight: 1	Total Weight: 408
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #409
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 23	Core Weight: 1	Total Weight: 409
189.84/189.93	c
189.84/189.93	c
189.84/189.93	c core #410
189.84/189.93	c 
189.84/189.93	c 
189.84/189.93	c Core size: 19	Core Weight: 1	Total Weight: 410
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #411
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 411
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #412
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 412
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #413
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 413
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #414
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 414
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #415
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 415
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #416
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 416
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #417
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 13	Core Weight: 1	Total Weight: 417
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #418
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 418
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #419
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 419
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #420
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 420
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #421
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 421
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #422
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 422
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #423
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 423
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #424
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 424
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #425
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 425
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #426
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 426
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #427
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 427
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #428
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 428
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #429
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 429
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #430
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 430
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #431
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 431
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #432
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 432
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #433
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 433
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #434
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 434
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #435
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 435
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #436
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 436
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #437
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 19	Core Weight: 1	Total Weight: 437
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #438
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 438
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #439
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 439
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #440
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 440
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #441
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 441
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #442
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 442
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #443
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 443
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #444
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 444
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #445
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 445
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #446
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 446
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #447
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 447
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #448
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 448
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #449
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 23	Core Weight: 1	Total Weight: 449
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #450
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 19	Core Weight: 1	Total Weight: 450
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #451
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 451
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #452
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 452
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #453
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 20	Core Weight: 1	Total Weight: 453
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #454
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 454
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #455
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 21	Core Weight: 1	Total Weight: 455
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #456
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 22	Core Weight: 1	Total Weight: 456
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #457
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 127	Core Weight: 1	Total Weight: 457
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c core #458
191.04/191.19	c 
191.04/191.19	c 
191.04/191.19	c Core size: 1333	Core Weight: 1	Total Weight: 458
191.04/191.19	c
191.04/191.19	c
191.04/191.19	c ============================[ Search Statistics ]==============================
191.04/191.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.19	c ===============================================================================
191.04/191.19	c |         0 |    4314    11881    33472 |     5000        0    nan |  0.000 % |
191.14/191.20	c ===============================================================================
191.14/191.23	c core #459
191.14/191.23	c 
191.14/191.23	c 
191.14/191.23	c Core size: 24	Core Weight: 1	Total Weight: 459
191.14/191.23	c
191.14/191.23	c
191.14/191.23	c ============================[ Search Statistics ]==============================
191.14/191.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.23	c ===============================================================================
191.14/191.23	c |         0 |    4321    11882    33486 |     5000        0    nan |  0.000 % |
191.14/191.23	c ===============================================================================
191.14/191.26	c core #460
191.14/191.26	c 
191.14/191.26	c 
191.14/191.26	c Core size: 27	Core Weight: 1	Total Weight: 460
191.14/191.26	c
191.14/191.26	c
191.14/191.26	c ============================[ Search Statistics ]==============================
191.14/191.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.26	c ===============================================================================
191.14/191.26	c |         0 |    4331    11883    33506 |     5000        0    nan |  0.000 % |
191.14/191.26	c ===============================================================================
191.14/191.29	c core #461
191.14/191.29	c 
191.14/191.29	c 
191.14/191.29	c Core size: 14	Core Weight: 1	Total Weight: 461
191.14/191.29	c
191.14/191.29	c
191.14/191.29	c ============================[ Search Statistics ]==============================
191.14/191.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.29	c ===============================================================================
191.14/191.29	c |         0 |    4339    11884    33522 |     5000        0    nan |  0.000 % |
191.25/191.30	c ===============================================================================
191.25/191.33	c core #462
191.25/191.33	c 
191.25/191.33	c 
191.25/191.33	c Core size: 10	Core Weight: 1	Total Weight: 462
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 |    4345    11885    33534 |     5000        0    nan |  0.000 % |
191.25/191.33	c ===============================================================================
191.25/191.36	c core #463
191.25/191.36	c 
191.25/191.36	c 
191.25/191.36	c Core size: 31	Core Weight: 1	Total Weight: 463
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 |    4357    11886    33558 |     5000        0    nan |  0.000 % |
191.25/191.37	c ===============================================================================
191.25/191.40	c core #464
191.25/191.40	c 
191.25/191.40	c 
191.25/191.40	c Core size: 10	Core Weight: 1	Total Weight: 464
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 |    4363    11887    33570 |     5000        0    nan |  0.000 % |
191.35/191.40	c ===============================================================================
191.35/191.43	c core #465
191.35/191.43	c 
191.35/191.43	c 
191.35/191.43	c Core size: 15	Core Weight: 1	Total Weight: 465
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 |    4372    11889    33591 |     5000        0    nan |  0.000 % |
191.35/191.44	c ===============================================================================
191.35/191.47	c core #466
191.35/191.47	c 
191.35/191.47	c 
191.35/191.47	c Core size: 10	Core Weight: 1	Total Weight: 466
191.35/191.47	c
191.35/191.47	c
191.35/191.47	c ============================[ Search Statistics ]==============================
191.35/191.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.47	c ===============================================================================
191.35/191.47	c |         0 |    4378    11890    33603 |     5000        0    nan |  0.000 % |
191.35/191.48	c ===============================================================================
191.44/191.50	c core #467
191.44/191.50	c 
191.44/191.50	c 
191.44/191.50	c Core size: 22	Core Weight: 1	Total Weight: 467
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 |    4393    11891    33633 |     5000        0    nan |  0.000 % |
191.44/191.51	c ===============================================================================
191.44/191.54	c core #468
191.44/191.54	c 
191.44/191.54	c 
191.44/191.54	c Core size: 28	Core Weight: 1	Total Weight: 468
191.44/191.54	c
191.44/191.54	c
191.44/191.54	c ============================[ Search Statistics ]==============================
191.44/191.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.54	c ===============================================================================
191.44/191.54	c |         0 |    4409    11893    33668 |     5000        0    nan |  0.000 % |
191.44/191.55	c ===============================================================================
191.44/191.57	c core #469
191.44/191.57	c 
191.44/191.57	c 
191.44/191.57	c Core size: 23	Core Weight: 1	Total Weight: 469
191.44/191.57	c
191.44/191.57	c
191.44/191.57	c ============================[ Search Statistics ]==============================
191.44/191.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.57	c ===============================================================================
191.44/191.57	c |         0 |    4416    11894    33682 |     5000        0    nan |  0.000 % |
191.44/191.58	c ===============================================================================
191.54/191.61	c core #470
191.54/191.61	c 
191.54/191.61	c 
191.54/191.61	c Core size: 22	Core Weight: 1	Total Weight: 470
191.54/191.61	c
191.54/191.61	c
191.54/191.61	c ============================[ Search Statistics ]==============================
191.54/191.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.61	c ===============================================================================
191.54/191.61	c |         0 |    4422    11896    33697 |     5000        0    nan |  0.000 % |
191.54/191.62	c ===============================================================================
191.54/191.65	c core #471
191.54/191.65	c 
191.54/191.65	c 
191.54/191.65	c Core size: 24	Core Weight: 1	Total Weight: 471
191.54/191.65	c
191.54/191.65	c
191.54/191.65	c ============================[ Search Statistics ]==============================
191.54/191.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.65	c ===============================================================================
191.54/191.65	c |         0 |    4430    11897    33713 |     5000        0    nan |  0.000 % |
191.54/191.66	c ===============================================================================
191.54/191.69	c core #472
191.54/191.69	c 
191.54/191.69	c 
191.54/191.69	c Core size: 27	Core Weight: 1	Total Weight: 472
191.54/191.69	c
191.54/191.69	c
191.54/191.69	c ============================[ Search Statistics ]==============================
191.54/191.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.69	c ===============================================================================
191.54/191.69	c |         0 |    4439    11898    33731 |     5000        0    nan |  0.000 % |
191.54/191.69	c ===============================================================================
191.64/191.72	c core #473
191.64/191.72	c 
191.64/191.72	c 
191.64/191.72	c Core size: 26	Core Weight: 1	Total Weight: 473
191.64/191.72	c
191.64/191.72	c
191.64/191.72	c ============================[ Search Statistics ]==============================
191.64/191.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.72	c ===============================================================================
191.64/191.72	c |         0 |    4450    11899    33753 |     5000        0    nan |  0.000 % |
191.64/191.73	c ===============================================================================
191.64/191.76	c core #474
191.64/191.76	c 
191.64/191.76	c 
191.64/191.76	c Core size: 23	Core Weight: 1	Total Weight: 474
191.64/191.76	c
191.64/191.76	c
191.64/191.76	c ============================[ Search Statistics ]==============================
191.64/191.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.76	c ===============================================================================
191.64/191.76	c |         0 |    4465    11900    33783 |     5000        0    nan |  0.000 % |
191.64/191.77	c ===============================================================================
191.74/191.80	c core #475
191.74/191.80	c 
191.74/191.80	c 
191.74/191.80	c Core size: 24	Core Weight: 1	Total Weight: 475
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 |    4472    11901    33797 |     5000        0    nan |  0.000 % |
191.74/191.81	c ===============================================================================
191.74/191.84	c core #476
191.74/191.84	c 
191.74/191.84	c 
191.74/191.84	c Core size: 24	Core Weight: 1	Total Weight: 476
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 |    4481    11902    33815 |     5000        0    nan |  0.000 % |
191.74/191.84	c ===============================================================================
191.74/191.87	c core #477
191.74/191.87	c 
191.74/191.87	c 
191.74/191.87	c Core size: 25	Core Weight: 1	Total Weight: 477
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 |    4489    11903    33831 |     5000        0    nan |  0.000 % |
191.74/191.88	c ===============================================================================
191.84/191.91	c core #478
191.84/191.91	c 
191.84/191.91	c 
191.84/191.91	c Core size: 12	Core Weight: 1	Total Weight: 478
191.84/191.91	c
191.84/191.91	c
191.84/191.91	c ============================[ Search Statistics ]==============================
191.84/191.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.91	c ===============================================================================
191.84/191.91	c |         0 |    4496    11904    33845 |     5000        0    nan |  0.000 % |
191.84/191.92	c ===============================================================================
191.84/191.95	c core #479
191.84/191.95	c 
191.84/191.95	c 
191.84/191.95	c Core size: 10	Core Weight: 1	Total Weight: 479
191.84/191.95	c
191.84/191.95	c
191.84/191.95	c ============================[ Search Statistics ]==============================
191.84/191.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.95	c ===============================================================================
191.84/191.95	c |         0 |    4502    11905    33857 |     5000        0    nan |  0.000 % |
191.84/191.96	c ===============================================================================
191.84/191.99	c core #480
191.84/191.99	c 
191.84/191.99	c 
191.84/191.99	c Core size: 24	Core Weight: 1	Total Weight: 480
191.84/191.99	c
191.84/191.99	c
191.84/191.99	c ============================[ Search Statistics ]==============================
191.84/191.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.99	c ===============================================================================
191.84/191.99	c |         0 |    4509    11906    33871 |     5000        0    nan |  0.000 % |
191.94/192.00	c ===============================================================================
191.94/192.03	c core #481
191.94/192.03	c 
191.94/192.03	c 
191.94/192.03	c Core size: 12	Core Weight: 1	Total Weight: 481
191.94/192.03	c
191.94/192.03	c
191.94/192.03	c ============================[ Search Statistics ]==============================
191.94/192.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.94/192.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.94/192.03	c ===============================================================================
191.94/192.03	c |         0 |    4516    11907    33885 |     5000        0    nan |  0.000 % |
191.94/192.04	c ===============================================================================
191.94/192.07	c core #482
191.94/192.07	c 
191.94/192.07	c 
191.94/192.07	c Core size: 22	Core Weight: 1	Total Weight: 482
191.94/192.07	c
191.94/192.07	c
191.94/192.07	c ============================[ Search Statistics ]==============================
191.94/192.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.94/192.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.94/192.07	c ===============================================================================
191.94/192.07	c |         0 |    4523    11908    33899 |     5000        0    nan |  0.000 % |
191.94/192.08	c ===============================================================================
192.04/192.11	c core #483
192.04/192.11	c 
192.04/192.11	c 
192.04/192.11	c Core size: 25	Core Weight: 1	Total Weight: 483
192.04/192.11	c
192.04/192.11	c
192.04/192.11	c ============================[ Search Statistics ]==============================
192.04/192.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.11	c ===============================================================================
192.04/192.11	c |         0 |    4531    11909    33915 |     5000        0    nan |  0.000 % |
192.04/192.12	c ===============================================================================
192.04/192.15	c core #484
192.04/192.15	c 
192.04/192.15	c 
192.04/192.15	c Core size: 21	Core Weight: 1	Total Weight: 484
192.04/192.15	c
192.04/192.15	c
192.04/192.15	c ============================[ Search Statistics ]==============================
192.04/192.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.15	c ===============================================================================
192.04/192.15	c |         0 |    4536    11911    33928 |     5000        0    nan |  0.000 % |
192.04/192.16	c ===============================================================================
192.04/192.19	c core #485
192.04/192.19	c 
192.04/192.19	c 
192.04/192.19	c Core size: 21	Core Weight: 1	Total Weight: 485
192.04/192.19	c
192.04/192.19	c
192.04/192.19	c ============================[ Search Statistics ]==============================
192.04/192.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.19	c ===============================================================================
192.04/192.19	c |         0 |    4541    11913    33941 |     5000        0    nan |  0.000 % |
192.14/192.20	c ===============================================================================
192.14/192.23	c core #486
192.14/192.23	c 
192.14/192.23	c 
192.14/192.23	c Core size: 21	Core Weight: 1	Total Weight: 486
192.14/192.23	c
192.14/192.23	c
192.14/192.23	c ============================[ Search Statistics ]==============================
192.14/192.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.23	c ===============================================================================
192.14/192.23	c |         0 |    4546    11915    33954 |     5000        0    nan |  0.000 % |
192.14/192.24	c ===============================================================================
192.14/192.27	c core #487
192.14/192.27	c 
192.14/192.27	c 
192.14/192.27	c Core size: 23	Core Weight: 1	Total Weight: 487
192.14/192.27	c
192.14/192.27	c
192.14/192.27	c ============================[ Search Statistics ]==============================
192.14/192.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.27	c ===============================================================================
192.14/192.27	c |         0 |    4553    11916    33968 |     5000        0    nan |  0.000 % |
192.14/192.28	c ===============================================================================
192.24/192.32	c core #488
192.24/192.32	c 
192.24/192.32	c 
192.24/192.32	c Core size: 21	Core Weight: 1	Total Weight: 488
192.24/192.32	c
192.24/192.32	c
192.24/192.32	c ============================[ Search Statistics ]==============================
192.24/192.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.32	c ===============================================================================
192.24/192.32	c |         0 |    4558    11918    33981 |     5000        0    nan |  0.000 % |
192.24/192.33	c ===============================================================================
192.24/192.36	c core #489
192.24/192.36	c 
192.24/192.36	c 
192.24/192.36	c Core size: 21	Core Weight: 1	Total Weight: 489
192.24/192.36	c
192.24/192.36	c
192.24/192.36	c ============================[ Search Statistics ]==============================
192.24/192.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.36	c ===============================================================================
192.24/192.36	c |         0 |    4563    11920    33994 |     5000        0    nan |  0.000 % |
192.24/192.37	c ===============================================================================
192.34/192.40	c core #490
192.34/192.40	c 
192.34/192.40	c 
192.34/192.40	c Core size: 20	Core Weight: 1	Total Weight: 490
192.34/192.40	c
192.34/192.40	c
192.34/192.40	c ============================[ Search Statistics ]==============================
192.34/192.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.40	c ===============================================================================
192.34/192.40	c |         0 |    4573    11921    34014 |     5000        0    nan |  0.000 % |
192.34/192.42	c ===============================================================================
192.34/192.45	c core #491
192.34/192.45	c 
192.34/192.45	c 
192.34/192.45	c Core size: 24	Core Weight: 1	Total Weight: 491
192.34/192.45	c
192.34/192.45	c
192.34/192.45	c ============================[ Search Statistics ]==============================
192.34/192.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.45	c ===============================================================================
192.34/192.45	c |         0 |    4581    11922    34030 |     5000        0    nan |  0.000 % |
192.34/192.46	c ===============================================================================
192.34/192.49	c core #492
192.34/192.49	c 
192.34/192.49	c 
192.34/192.49	c Core size: 25	Core Weight: 1	Total Weight: 492
192.34/192.49	c
192.34/192.49	c
192.34/192.49	c ============================[ Search Statistics ]==============================
192.34/192.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.49	c ===============================================================================
192.34/192.49	c |         0 |    4588    11924    34047 |     5000        0    nan |  0.000 % |
192.44/192.51	c ===============================================================================
192.44/192.54	c core #493
192.44/192.54	c 
192.44/192.54	c 
192.44/192.54	c Core size: 40	Core Weight: 1	Total Weight: 493
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 |    4600    11925    34071 |     5000        0    nan |  0.000 % |
192.44/192.55	c ===============================================================================
192.44/192.58	c core #494
192.44/192.58	c 
192.44/192.58	c 
192.44/192.58	c Core size: 21	Core Weight: 1	Total Weight: 494
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 |    4605    11927    34084 |     5000        0    nan |  0.000 % |
192.55/192.60	c ===============================================================================
192.55/192.63	c core #495
192.55/192.63	c 
192.55/192.63	c 
192.55/192.63	c Core size: 21	Core Weight: 1	Total Weight: 495
192.55/192.63	c
192.55/192.63	c
192.55/192.63	c ============================[ Search Statistics ]==============================
192.55/192.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.55/192.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.55/192.63	c ===============================================================================
192.55/192.63	c |         0 |    4610    11929    34097 |     5000        0    nan |  0.000 % |
192.55/192.65	c ===============================================================================
192.55/192.68	c core #496
192.55/192.68	c 
192.55/192.68	c 
192.55/192.68	c Core size: 21	Core Weight: 1	Total Weight: 496
192.55/192.68	c
192.55/192.68	c
192.55/192.68	c ============================[ Search Statistics ]==============================
192.55/192.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.55/192.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.55/192.68	c ===============================================================================
192.55/192.68	c |         0 |    4615    11931    34110 |     5000        0    nan |  0.000 % |
192.55/192.69	c ===============================================================================
192.65/192.73	c core #497
192.65/192.73	c 
192.65/192.73	c 
192.65/192.73	c Core size: 21	Core Weight: 1	Total Weight: 497
192.65/192.73	c
192.65/192.73	c
192.65/192.73	c ============================[ Search Statistics ]==============================
192.65/192.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.65/192.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.65/192.73	c ===============================================================================
192.65/192.73	c |         0 |    4620    11933    34123 |     5000        0    nan |  0.000 % |
192.65/192.74	c ===============================================================================
192.65/192.78	c core #498
192.65/192.78	c 
192.65/192.78	c 
192.65/192.78	c Core size: 28	Core Weight: 1	Total Weight: 498
192.65/192.78	c
192.65/192.78	c
192.65/192.78	c ============================[ Search Statistics ]==============================
192.65/192.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.65/192.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.65/192.78	c ===============================================================================
192.65/192.78	c |         0 |    4629    11934    34141 |     5000        0    nan |  0.000 % |
192.65/192.79	c ===============================================================================
192.74/192.82	c core #499
192.74/192.82	c 
192.74/192.82	c 
192.74/192.82	c Core size: 10	Core Weight: 1	Total Weight: 499
192.74/192.82	c
192.74/192.82	c
192.74/192.82	c ============================[ Search Statistics ]==============================
192.74/192.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.82	c ===============================================================================
192.74/192.82	c |         0 |    4635    11935    34153 |     5000        0    nan |  0.000 % |
192.74/192.84	c ===============================================================================
192.74/192.87	c core #500
192.74/192.87	c 
192.74/192.87	c 
192.74/192.87	c Core size: 10	Core Weight: 1	Total Weight: 500
192.74/192.87	c
192.74/192.87	c
192.74/192.87	c ============================[ Search Statistics ]==============================
192.74/192.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.87	c ===============================================================================
192.74/192.87	c |         0 |    4641    11936    34165 |     5000        0    nan |  0.000 % |
192.74/192.89	c ===============================================================================
192.84/192.92	c core #501
192.84/192.92	c 
192.84/192.92	c 
192.84/192.92	c Core size: 10	Core Weight: 1	Total Weight: 501
192.84/192.92	c
192.84/192.92	c
192.84/192.92	c ============================[ Search Statistics ]==============================
192.84/192.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.92	c ===============================================================================
192.84/192.92	c |         0 |    4647    11937    34177 |     5000        0    nan |  0.000 % |
192.84/192.93	c ===============================================================================
192.84/192.96	c core #502
192.84/192.96	c 
192.84/192.96	c 
192.84/192.96	c Core size: 23	Core Weight: 1	Total Weight: 502
192.84/192.96	c
192.84/192.96	c
192.84/192.96	c ============================[ Search Statistics ]==============================
192.84/192.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.96	c ===============================================================================
192.84/192.96	c |         0 |    4654    11939    34194 |     5000        0    nan |  0.000 % |
192.84/192.98	c ===============================================================================
192.94/193.01	c core #503
192.94/193.01	c 
192.94/193.01	c 
192.94/193.01	c Core size: 22	Core Weight: 1	Total Weight: 503
192.94/193.01	c
192.94/193.01	c
192.94/193.01	c ============================[ Search Statistics ]==============================
192.94/193.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.01	c ===============================================================================
192.94/193.01	c |         0 |    4660    11941    34209 |     5000        0    nan |  0.000 % |
192.94/193.02	c ===============================================================================
192.94/193.06	c core #504
192.94/193.06	c 
192.94/193.06	c 
192.94/193.06	c Core size: 21	Core Weight: 1	Total Weight: 504
192.94/193.06	c
192.94/193.06	c
192.94/193.06	c ============================[ Search Statistics ]==============================
192.94/193.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.06	c ===============================================================================
192.94/193.06	c |         0 |    4665    11943    34222 |     5000        0    nan |  0.000 % |
192.94/193.07	c ===============================================================================
193.04/193.10	c core #505
193.04/193.10	c 
193.04/193.10	c 
193.04/193.10	c Core size: 23	Core Weight: 1	Total Weight: 505
193.04/193.10	c
193.04/193.10	c
193.04/193.10	c ============================[ Search Statistics ]==============================
193.04/193.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.10	c ===============================================================================
193.04/193.10	c |         0 |    4672    11944    34236 |     5000        0    nan |  0.000 % |
193.04/193.12	c ===============================================================================
193.04/193.15	c core #506
193.04/193.15	c 
193.04/193.15	c 
193.04/193.15	c Core size: 23	Core Weight: 1	Total Weight: 506
193.04/193.15	c
193.04/193.15	c
193.04/193.15	c ============================[ Search Statistics ]==============================
193.04/193.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.15	c ===============================================================================
193.04/193.15	c |         0 |    4679    11945    34250 |     5000        0    nan |  0.000 % |
193.04/193.16	c ===============================================================================
193.04/193.20	c core #507
193.04/193.20	c 
193.04/193.20	c 
193.04/193.20	c Core size: 22	Core Weight: 1	Total Weight: 507
193.04/193.20	c
193.04/193.20	c
193.04/193.20	c ============================[ Search Statistics ]==============================
193.04/193.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.04/193.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.04/193.20	c ===============================================================================
193.04/193.20	c |         0 |    4685    11947    34265 |     5000        0    nan |  0.000 % |
193.14/193.21	c ===============================================================================
193.14/193.25	c core #508
193.14/193.25	c 
193.14/193.25	c 
193.14/193.25	c Core size: 23	Core Weight: 1	Total Weight: 508
193.14/193.25	c
193.14/193.25	c
193.14/193.25	c ============================[ Search Statistics ]==============================
193.14/193.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.14/193.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.14/193.25	c ===============================================================================
193.14/193.25	c |         0 |    4692    11948    34279 |     5000        0    nan |  0.000 % |
193.14/193.26	c ===============================================================================
193.14/193.29	c core #509
193.14/193.29	c 
193.14/193.29	c 
193.14/193.29	c Core size: 24	Core Weight: 1	Total Weight: 509
193.14/193.29	c
193.14/193.29	c
193.14/193.29	c ============================[ Search Statistics ]==============================
193.14/193.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.14/193.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.14/193.29	c ===============================================================================
193.14/193.29	c |         0 |    4700    11949    34295 |     5000        0    nan |  0.000 % |
193.24/193.30	c ===============================================================================
193.24/193.34	c core #510
193.24/193.34	c 
193.24/193.34	c 
193.24/193.34	c Core size: 22	Core Weight: 1	Total Weight: 510
193.24/193.34	c
193.24/193.34	c
193.24/193.34	c ============================[ Search Statistics ]==============================
193.24/193.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.24/193.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.24/193.34	c ===============================================================================
193.24/193.34	c |         0 |    4706    11951    34310 |     5000        0    nan |  0.000 % |
193.24/193.36	c ===============================================================================
193.24/193.39	c core #511
193.24/193.39	c 
193.24/193.39	c 
193.24/193.39	c Core size: 26	Core Weight: 1	Total Weight: 511
193.24/193.39	c
193.24/193.39	c
193.24/193.39	c ============================[ Search Statistics ]==============================
193.24/193.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.24/193.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.24/193.39	c ===============================================================================
193.24/193.39	c |         0 |    4719    11952    34336 |     5000        0    nan |  0.000 % |
193.34/193.40	c ===============================================================================
193.34/193.43	c core #512
193.34/193.43	c 
193.34/193.43	c 
193.34/193.43	c Core size: 23	Core Weight: 1	Total Weight: 512
193.34/193.43	c
193.34/193.43	c
193.34/193.43	c ============================[ Search Statistics ]==============================
193.34/193.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.34/193.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.34/193.43	c ===============================================================================
193.34/193.43	c |         0 |    4726    11953    34350 |     5000        0    nan |  0.000 % |
193.34/193.45	c ===============================================================================
193.34/193.48	c core #513
193.34/193.48	c 
193.34/193.48	c 
193.34/193.48	c Core size: 56	Core Weight: 1	Total Weight: 513
193.34/193.48	c
193.34/193.48	c
193.34/193.48	c ============================[ Search Statistics ]==============================
193.34/193.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.34/193.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.34/193.48	c ===============================================================================
193.34/193.48	c |         0 |    4754    11954    34406 |     5000        0    nan |  0.000 % |
193.34/193.49	c ===============================================================================
193.45/193.53	c core #514
193.45/193.53	c 
193.45/193.53	c 
193.45/193.53	c Core size: 31	Core Weight: 1	Total Weight: 514
193.45/193.53	c
193.45/193.53	c
193.45/193.53	c ============================[ Search Statistics ]==============================
193.45/193.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.53	c ===============================================================================
193.45/193.53	c |         0 |    4768    11955    34434 |     5000        0    nan |  0.000 % |
193.45/193.54	c ===============================================================================
193.45/193.58	c core #515
193.45/193.58	c 
193.45/193.58	c 
193.45/193.58	c Core size: 16	Core Weight: 1	Total Weight: 515
193.45/193.58	c
193.45/193.58	c
193.45/193.58	c ============================[ Search Statistics ]==============================
193.45/193.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.58	c ===============================================================================
193.45/193.58	c |         0 |    4781    11956    34460 |     5000        0    nan |  0.000 % |
193.45/193.59	c ===============================================================================
193.55/193.62	c core #516
193.55/193.62	c 
193.55/193.62	c 
193.55/193.62	c Core size: 22	Core Weight: 1	Total Weight: 516
193.55/193.62	c
193.55/193.62	c
193.55/193.62	c ============================[ Search Statistics ]==============================
193.55/193.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.55/193.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.55/193.62	c ===============================================================================
193.55/193.62	c |         0 |    4788    11958    34477 |     5000        0    nan |  0.000 % |
193.55/193.63	c ===============================================================================
193.55/193.67	c core #517
193.55/193.67	c 
193.55/193.67	c 
193.55/193.67	c Core size: 25	Core Weight: 1	Total Weight: 517
193.55/193.67	c
193.55/193.67	c
193.55/193.67	c ============================[ Search Statistics ]==============================
193.55/193.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.55/193.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.55/193.67	c ===============================================================================
193.55/193.67	c |         0 |    4795    11959    34491 |     5000        0    nan |  0.000 % |
193.55/193.69	c ===============================================================================
193.64/193.72	c core #518
193.64/193.72	c 
193.64/193.72	c 
193.64/193.72	c Core size: 21	Core Weight: 1	Total Weight: 518
193.64/193.72	c
193.64/193.72	c
193.64/193.72	c ============================[ Search Statistics ]==============================
193.64/193.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.64/193.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.64/193.72	c ===============================================================================
193.64/193.72	c |         0 |    4800    11962    34507 |     5000        0    nan |  0.000 % |
193.64/193.74	c ===============================================================================
193.64/193.78	c core #519
193.64/193.78	c 
193.64/193.78	c 
193.64/193.78	c Core size: 21	Core Weight: 1	Total Weight: 519
193.64/193.78	c
193.64/193.78	c
193.64/193.78	c ============================[ Search Statistics ]==============================
193.64/193.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.64/193.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.64/193.78	c ===============================================================================
193.64/193.78	c |         0 |    4805    11964    34520 |     5000        0    nan |  0.000 % |
193.64/193.79	c ===============================================================================
193.74/193.83	c core #520
193.74/193.83	c 
193.74/193.83	c 
193.74/193.83	c Core size: 26	Core Weight: 1	Total Weight: 520
193.74/193.83	c
193.74/193.83	c
193.74/193.83	c ============================[ Search Statistics ]==============================
193.74/193.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.74/193.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.74/193.83	c ===============================================================================
193.74/193.83	c |         0 |    4815    11966    34543 |     5000        0    nan |  0.000 % |
193.74/193.84	c ===============================================================================
193.74/193.87	c core #521
193.74/193.87	c 
193.74/193.87	c 
193.74/193.87	c Core size: 25	Core Weight: 1	Total Weight: 521
193.74/193.87	c
193.74/193.87	c
193.74/193.87	c ============================[ Search Statistics ]==============================
193.74/193.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.74/193.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.74/193.87	c ===============================================================================
193.74/193.87	c |         0 |    4826    11967    34565 |     5000        0    nan |  0.000 % |
193.74/193.88	c ===============================================================================
193.84/193.92	c core #522
193.84/193.92	c 
193.84/193.92	c 
193.84/193.92	c Core size: 25	Core Weight: 1	Total Weight: 522
193.84/193.92	c
193.84/193.92	c
193.84/193.92	c ============================[ Search Statistics ]==============================
193.84/193.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.84/193.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.84/193.92	c ===============================================================================
193.84/193.92	c |         0 |    4836    11968    34585 |     5000        0    nan |  0.000 % |
193.84/193.93	c ===============================================================================
193.84/193.97	c core #523
193.84/193.97	c 
193.84/193.97	c 
193.84/193.97	c Core size: 27	Core Weight: 1	Total Weight: 523
193.84/193.97	c
193.84/193.97	c
193.84/193.97	c ============================[ Search Statistics ]==============================
193.84/193.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.84/193.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.84/193.97	c ===============================================================================
193.84/193.97	c |         0 |    4846    11969    34605 |     5000        0    nan |  0.000 % |
193.84/193.99	c ===============================================================================
193.94/194.03	c core #524
193.94/194.03	c 
193.94/194.03	c 
193.94/194.03	c Core size: 79	Core Weight: 1	Total Weight: 524
193.94/194.03	c
193.94/194.03	c
193.94/194.03	c ============================[ Search Statistics ]==============================
193.94/194.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.94/194.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.94/194.03	c ===============================================================================
193.94/194.03	c |         0 |    4893    11971    34702 |     5000        0    nan |  0.000 % |
193.94/194.04	c ===============================================================================
193.94/194.07	c core #525
193.94/194.07	c 
193.94/194.07	c 
193.94/194.07	c Core size: 24	Core Weight: 1	Total Weight: 525
193.94/194.07	c
193.94/194.07	c
193.94/194.07	c ============================[ Search Statistics ]==============================
193.94/194.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.94/194.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.94/194.07	c ===============================================================================
193.94/194.07	c |         0 |    4901    11972    34718 |     5000        0    nan |  0.000 % |
193.94/194.08	c ===============================================================================
194.04/194.12	c core #526
194.04/194.12	c 
194.04/194.12	c 
194.04/194.12	c Core size: 32	Core Weight: 1	Total Weight: 526
194.04/194.12	c
194.04/194.12	c
194.04/194.12	c ============================[ Search Statistics ]==============================
194.04/194.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.04/194.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.04/194.12	c ===============================================================================
194.04/194.12	c |         0 |    4914    11973    34744 |     5000        0    nan |  0.000 % |
194.04/194.13	c ===============================================================================
194.04/194.17	c core #527
194.04/194.17	c 
194.04/194.17	c 
194.04/194.17	c Core size: 30	Core Weight: 1	Total Weight: 527
194.04/194.17	c
194.04/194.17	c
194.04/194.17	c ============================[ Search Statistics ]==============================
194.04/194.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.04/194.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.04/194.17	c ===============================================================================
194.04/194.17	c |         0 |    4931    11974    34778 |     5000        0    nan |  0.000 % |
194.04/194.18	c ===============================================================================
194.14/194.21	c core #528
194.14/194.21	c 
194.14/194.21	c 
194.14/194.21	c Core size: 15	Core Weight: 1	Total Weight: 528
194.14/194.21	c
194.14/194.21	c
194.14/194.21	c ============================[ Search Statistics ]==============================
194.14/194.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.14/194.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.14/194.21	c ===============================================================================
194.14/194.21	c |         0 |    4942    11975    34800 |     5000        0    nan |  0.000 % |
194.14/194.23	c ===============================================================================
194.14/194.26	c core #529
194.14/194.26	c 
194.14/194.26	c 
194.14/194.26	c Core size: 24	Core Weight: 1	Total Weight: 529
194.14/194.26	c
194.14/194.26	c
194.14/194.26	c ============================[ Search Statistics ]==============================
194.14/194.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.14/194.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.14/194.26	c ===============================================================================
194.14/194.26	c |         0 |    4953    11976    34822 |     5000        0    nan |  0.000 % |
194.14/194.28	c ===============================================================================
194.24/194.31	c core #530
194.24/194.31	c 
194.24/194.31	c 
194.24/194.31	c Core size: 29	Core Weight: 1	Total Weight: 530
194.24/194.31	c
194.24/194.31	c
194.24/194.31	c ============================[ Search Statistics ]==============================
194.24/194.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.31	c ===============================================================================
194.24/194.31	c |         0 |    4964    11978    34846 |     5000        0    nan |  0.000 % |
194.24/194.35	c ===============================================================================
194.24/194.38	c core #531
194.24/194.38	c 
194.24/194.38	c 
194.24/194.38	c Core size: 76	Core Weight: 1	Total Weight: 531
194.24/194.38	c
194.24/194.38	c
194.24/194.38	c ============================[ Search Statistics ]==============================
194.24/194.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.38	c ===============================================================================
194.24/194.38	c |         0 |    4994    11983    34917 |     5000        0    nan |  0.000 % |
194.34/194.41	c ===============================================================================
194.34/194.44	c core #532
194.34/194.44	c 
194.34/194.44	c 
194.34/194.44	c Core size: 69	Core Weight: 1	Total Weight: 532
194.34/194.44	c
194.34/194.44	c
194.34/194.44	c ============================[ Search Statistics ]==============================
194.34/194.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.34/194.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.34/194.44	c ===============================================================================
194.34/194.44	c |         0 |    5017    11987    34971 |     5000        0    nan |  0.000 % |
194.34/194.47	c ===============================================================================
194.44/194.51	c core #533
194.44/194.51	c 
194.44/194.51	c 
194.44/194.51	c Core size: 73	Core Weight: 1	Total Weight: 533
194.44/194.51	c
194.44/194.51	c
194.44/194.51	c ============================[ Search Statistics ]==============================
194.44/194.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.44/194.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.44/194.51	c ===============================================================================
194.44/194.51	c |         0 |    5045    11993    35039 |     5000        0    nan |  0.000 % |
194.44/194.53	c ===============================================================================
194.44/194.57	c core #534
194.44/194.57	c 
194.44/194.57	c 
194.44/194.57	c Core size: 47	Core Weight: 1	Total Weight: 534
194.44/194.57	c
194.44/194.57	c
194.44/194.57	c ============================[ Search Statistics ]==============================
194.44/194.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.44/194.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.44/194.57	c ===============================================================================
194.44/194.57	c |         0 |    5061    11997    35078 |     5000        0    nan |  0.000 % |
194.44/194.58	c ===============================================================================
194.55/194.62	c core #535
194.55/194.62	c 
194.55/194.62	c 
194.55/194.62	c Core size: 21	Core Weight: 1	Total Weight: 535
194.55/194.62	c
194.55/194.62	c
194.55/194.62	c ============================[ Search Statistics ]==============================
194.55/194.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.55/194.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.55/194.62	c ===============================================================================
194.55/194.62	c |         0 |    5072    11998    35100 |     5000        0    nan |  0.000 % |
194.55/194.65	c ===============================================================================
194.55/194.68	c core #536
194.55/194.68	c 
194.55/194.68	c 
194.55/194.68	c Core size: 32	Core Weight: 1	Total Weight: 536
194.55/194.68	c
194.55/194.68	c
194.55/194.68	c ============================[ Search Statistics ]==============================
194.55/194.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.55/194.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.55/194.68	c ===============================================================================
194.55/194.68	c |         0 |    5084    12001    35128 |     5000        0    nan |  0.000 % |
194.65/194.72	c ===============================================================================
194.65/194.75	c core #537
194.65/194.75	c 
194.65/194.75	c 
194.65/194.75	c Core size: 53	Core Weight: 1	Total Weight: 537
194.65/194.75	c
194.65/194.75	c
194.65/194.75	c ============================[ Search Statistics ]==============================
194.65/194.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.65/194.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.65/194.75	c ===============================================================================
194.65/194.75	c |         0 |    5111    12003    35184 |     5000        0    nan |  0.000 % |
194.65/194.78	c ===============================================================================
194.74/194.81	c core #538
194.74/194.81	c 
194.74/194.81	c 
194.74/194.81	c Core size: 34	Core Weight: 1	Total Weight: 538
194.74/194.81	c
194.74/194.81	c
194.74/194.81	c ============================[ Search Statistics ]==============================
194.74/194.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.74/194.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.74/194.81	c ===============================================================================
194.74/194.81	c |         0 |    5123    12005    35210 |     5000        0    nan |  0.000 % |
194.74/194.83	c ===============================================================================
194.74/194.87	c core #539
194.74/194.87	c 
194.74/194.87	c 
194.74/194.87	c Core size: 34	Core Weight: 1	Total Weight: 539
194.74/194.87	c
194.74/194.87	c
194.74/194.87	c ============================[ Search Statistics ]==============================
194.74/194.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.74/194.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.74/194.87	c ===============================================================================
194.74/194.87	c |         0 |    5135    12006    35234 |     5000        0    nan |  0.000 % |
194.74/194.90	c ===============================================================================
194.84/194.93	c core #540
194.84/194.93	c 
194.84/194.93	c 
194.84/194.93	c Core size: 45	Core Weight: 1	Total Weight: 540
194.84/194.93	c
194.84/194.93	c
194.84/194.93	c ============================[ Search Statistics ]==============================
194.84/194.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.84/194.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.84/194.93	c ===============================================================================
194.84/194.93	c |         0 |    5159    12010    35289 |     5000        0    nan |  0.000 % |
194.84/194.95	c ===============================================================================
194.84/194.99	c core #541
194.84/194.99	c 
194.84/194.99	c 
194.84/194.99	c Core size: 19	Core Weight: 1	Total Weight: 541
194.84/194.99	c
194.84/194.99	c
194.84/194.99	c ============================[ Search Statistics ]==============================
194.84/194.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.84/194.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.84/194.99	c ===============================================================================
194.84/194.99	c |         0 |    5175    12011    35321 |     5000        0    nan |  0.000 % |
194.94/195.01	c ===============================================================================
194.94/195.05	c core #542
194.94/195.05	c 
194.94/195.05	c 
194.94/195.05	c Core size: 36	Core Weight: 1	Total Weight: 542
194.94/195.05	c
194.94/195.05	c
194.94/195.05	c ============================[ Search Statistics ]==============================
194.94/195.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.94/195.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.94/195.05	c ===============================================================================
194.94/195.05	c |         0 |    5188    12012    35347 |     5000        0    nan |  0.000 % |
194.94/195.07	c ===============================================================================
195.04/195.11	c core #543
195.04/195.11	c 
195.04/195.11	c 
195.04/195.11	c Core size: 35	Core Weight: 1	Total Weight: 543
195.04/195.11	c
195.04/195.11	c
195.04/195.11	c ============================[ Search Statistics ]==============================
195.04/195.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.04/195.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.04/195.11	c ===============================================================================
195.04/195.11	c |         0 |    5202    12013    35375 |     5000        0    nan |  0.000 % |
195.04/195.14	c ===============================================================================
195.04/195.18	c core #544
195.04/195.18	c 
195.04/195.18	c 
195.04/195.18	c Core size: 40	Core Weight: 1	Total Weight: 544
195.04/195.18	c
195.04/195.18	c
195.04/195.18	c ============================[ Search Statistics ]==============================
195.04/195.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.04/195.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.04/195.18	c ===============================================================================
195.04/195.18	c |         0 |    5221    12017    35420 |     5000        0    nan |  0.000 % |
195.14/195.21	c ===============================================================================
195.14/195.24	c core #545
195.14/195.24	c 
195.14/195.24	c 
195.14/195.24	c Core size: 38	Core Weight: 1	Total Weight: 545
195.14/195.24	c
195.14/195.24	c
195.14/195.24	c ============================[ Search Statistics ]==============================
195.14/195.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.14/195.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.14/195.24	c ===============================================================================
195.14/195.24	c |         0 |    5237    12020    35457 |     5000        0    nan |  0.000 % |
195.14/195.26	c ===============================================================================
195.14/195.29	c core #546
195.14/195.29	c 
195.14/195.29	c 
195.14/195.29	c Core size: 15	Core Weight: 1	Total Weight: 546
195.14/195.29	c
195.14/195.29	c
195.14/195.29	c ============================[ Search Statistics ]==============================
195.14/195.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.14/195.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.14/195.29	c ===============================================================================
195.14/195.29	c |         0 |    5250    12021    35483 |     5000        0    nan |  0.000 % |
195.24/195.32	c ===============================================================================
195.24/195.36	c core #547
195.24/195.36	c 
195.24/195.36	c 
195.24/195.36	c Core size: 39	Core Weight: 1	Total Weight: 547
195.24/195.36	c
195.24/195.36	c
195.24/195.36	c ============================[ Search Statistics ]==============================
195.24/195.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.24/195.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.24/195.36	c ===============================================================================
195.24/195.36	c |         0 |    5268    12022    35519 |     5000        0    nan |  0.000 % |
195.24/195.39	c ===============================================================================
195.34/195.42	c core #548
195.34/195.42	c 
195.34/195.42	c 
195.34/195.42	c Core size: 51	Core Weight: 1	Total Weight: 548
195.34/195.42	c
195.34/195.42	c
195.34/195.42	c ============================[ Search Statistics ]==============================
195.34/195.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.34/195.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.34/195.42	c ===============================================================================
195.34/195.42	c |         0 |    5286    12023    35555 |     5000        0    nan |  0.000 % |
195.34/195.45	c ===============================================================================
195.34/195.49	c core #549
195.34/195.49	c 
195.34/195.49	c 
195.34/195.49	c Core size: 57	Core Weight: 1	Total Weight: 549
195.34/195.49	c
195.34/195.49	c
195.34/195.49	c ============================[ Search Statistics ]==============================
195.34/195.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.34/195.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.34/195.49	c ===============================================================================
195.34/195.49	c |         0 |    5313    12024    35609 |     5000        0    nan |  0.000 % |
195.44/195.51	c ===============================================================================
195.44/195.55	c core #550
195.44/195.55	c 
195.44/195.55	c 
195.44/195.55	c Core size: 54	Core Weight: 1	Total Weight: 550
195.44/195.55	c
195.44/195.55	c
195.44/195.55	c ============================[ Search Statistics ]==============================
195.44/195.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.44/195.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.44/195.55	c ===============================================================================
195.44/195.55	c |         0 |    5329    12025    35641 |     5000        0    nan |  0.000 % |
195.44/195.59	c ===============================================================================
195.54/195.63	c core #551
195.54/195.63	c 
195.54/195.63	c 
195.54/195.63	c Core size: 44	Core Weight: 1	Total Weight: 551
195.54/195.63	c
195.54/195.63	c
195.54/195.63	c ============================[ Search Statistics ]==============================
195.54/195.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.54/195.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.54/195.63	c ===============================================================================
195.54/195.63	c |         0 |    5353    12028    35693 |     5000        0    nan |  0.000 % |
195.54/195.66	c ===============================================================================
195.54/195.70	c core #552
195.54/195.70	c 
195.54/195.70	c 
195.54/195.70	c Core size: 45	Core Weight: 1	Total Weight: 552
195.54/195.70	c
195.54/195.70	c
195.54/195.70	c ============================[ Search Statistics ]==============================
195.54/195.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.54/195.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.54/195.70	c ===============================================================================
195.54/195.70	c |         0 |    5377    12030    35743 |     5000        0    nan |  0.000 % |
195.65/195.72	c ===============================================================================
195.65/195.76	c core #553
195.65/195.76	c 
195.65/195.76	c 
195.65/195.76	c Core size: 47	Core Weight: 1	Total Weight: 553
195.65/195.76	c
195.65/195.76	c
195.65/195.76	c ============================[ Search Statistics ]==============================
195.65/195.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.65/195.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.65/195.76	c ===============================================================================
195.65/195.76	c |         0 |    5403    12031    35795 |     5000        0    nan |  0.000 % |
195.65/195.79	c ===============================================================================
195.75/195.83	c core #554
195.75/195.83	c 
195.75/195.83	c 
195.75/195.83	c Core size: 57	Core Weight: 1	Total Weight: 554
195.75/195.83	c
195.75/195.83	c
195.75/195.83	c ============================[ Search Statistics ]==============================
195.75/195.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.75/195.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.75/195.83	c ===============================================================================
195.75/195.83	c |         0 |    5431    12033    35853 |     5000        0    nan |  0.000 % |
195.75/195.85	c ===============================================================================
195.75/195.89	c core #555
195.75/195.89	c 
195.75/195.89	c 
195.75/195.89	c Core size: 45	Core Weight: 1	Total Weight: 555
195.75/195.89	c
195.75/195.89	c
195.75/195.89	c ============================[ Search Statistics ]==============================
195.75/195.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.75/195.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.75/195.89	c ===============================================================================
195.75/195.89	c |         0 |    5464    12034    35919 |     5000        0    nan |  0.000 % |
195.84/195.92	c ===============================================================================
195.84/195.96	c core #556
195.84/195.96	c 
195.84/195.96	c 
195.84/195.96	c Core size: 28	Core Weight: 1	Total Weight: 556
195.84/195.96	c
195.84/195.96	c
195.84/195.96	c ============================[ Search Statistics ]==============================
195.84/195.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.84/195.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.84/195.96	c ===============================================================================
195.84/195.96	c |         0 |    5474    12035    35939 |     5000        0    nan |  0.000 % |
195.84/195.99	c ===============================================================================
195.94/196.03	c core #557
195.94/196.03	c 
195.94/196.03	c 
195.94/196.03	c Core size: 70	Core Weight: 1	Total Weight: 557
195.94/196.03	c
195.94/196.03	c
195.94/196.03	c ============================[ Search Statistics ]==============================
195.94/196.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.94/196.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.94/196.03	c ===============================================================================
195.94/196.03	c |         0 |    5522    12037    36037 |     5000        0    nan |  0.000 % |
195.94/196.05	c ===============================================================================
195.94/196.09	c core #558
195.94/196.09	c 
195.94/196.09	c 
195.94/196.09	c Core size: 56	Core Weight: 1	Total Weight: 558
195.94/196.09	c
195.94/196.09	c
195.94/196.09	c ============================[ Search Statistics ]==============================
195.94/196.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.94/196.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.94/196.09	c ===============================================================================
195.94/196.09	c |         0 |    5552    12038    36097 |     5000        0    nan |  0.000 % |
196.04/196.11	c |       101 |    5552    12038    36097 |     5500      101     11 |  0.216 % |
196.04/196.13	c ===============================================================================
196.04/196.17	c core #559
196.04/196.17	c 
196.04/196.17	c 
196.04/196.17	c Core size: 95	Core Weight: 1	Total Weight: 559
196.04/196.17	c
196.04/196.17	c
196.04/196.17	c ============================[ Search Statistics ]==============================
196.04/196.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.04/196.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.04/196.17	c ===============================================================================
196.04/196.17	c |         0 |    5591    12040    36178 |     5000        0    nan |  0.000 % |
196.04/196.19	c |       101 |    5591    12040    36178 |     5500      101      9 |  0.215 % |
196.04/196.19	c ===============================================================================
196.14/196.23	c core #560
196.14/196.23	c 
196.14/196.23	c 
196.14/196.23	c Core size: 16	Core Weight: 1	Total Weight: 560
196.14/196.23	c
196.14/196.23	c
196.14/196.23	c ============================[ Search Statistics ]==============================
196.14/196.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.14/196.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.14/196.23	c ===============================================================================
196.14/196.23	c |         0 |    5602    12043    36205 |     5000        0    nan |  0.000 % |
196.14/196.25	c ===============================================================================
196.14/196.29	c core #561
196.14/196.29	c 
196.14/196.29	c 
196.14/196.29	c Core size: 28	Core Weight: 1	Total Weight: 561
196.14/196.29	c
196.14/196.29	c
196.14/196.29	c ============================[ Search Statistics ]==============================
196.14/196.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.14/196.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.14/196.29	c ===============================================================================
196.14/196.29	c |         0 |    5623    12044    36247 |     5000        0    nan |  0.000 % |
196.24/196.32	c ===============================================================================
196.24/196.36	c core #562
196.24/196.36	c 
196.24/196.36	c 
196.24/196.36	c Core size: 75	Core Weight: 1	Total Weight: 562
196.24/196.36	c
196.24/196.36	c
196.24/196.36	c ============================[ Search Statistics ]==============================
196.24/196.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.24/196.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.24/196.36	c ===============================================================================
196.24/196.36	c |         0 |    5653    12046    36309 |     5000        0    nan |  0.000 % |
196.24/196.39	c ===============================================================================
196.34/196.43	c core #563
196.34/196.43	c 
196.34/196.43	c 
196.34/196.43	c Core size: 38	Core Weight: 1	Total Weight: 563
196.34/196.43	c
196.34/196.43	c
196.34/196.43	c ============================[ Search Statistics ]==============================
196.34/196.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.34/196.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.34/196.43	c ===============================================================================
196.34/196.43	c |         0 |    5674    12049    36356 |     5000        0    nan |  0.000 % |
196.34/196.47	c |       100 |    5640    12049    36356 |     5500      100      9 |  5.470 % |
196.34/196.47	c ===============================================================================
196.44/196.51	c core #564
196.44/196.51	c 
196.44/196.51	c 
196.44/196.51	c Core size: 87	Core Weight: 1	Total Weight: 564
196.44/196.51	c
196.44/196.51	c
196.44/196.51	c ============================[ Search Statistics ]==============================
196.44/196.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.44/196.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.44/196.51	c ===============================================================================
196.44/196.51	c |         0 |    5712    12050    36432 |     5000        0    nan |  0.000 % |
196.44/196.54	c ===============================================================================
196.44/196.58	c core #565
196.44/196.58	c 
196.44/196.58	c 
196.44/196.58	c Core size: 47	Core Weight: 1	Total Weight: 565
196.44/196.58	c
196.44/196.58	c
196.44/196.58	c ============================[ Search Statistics ]==============================
196.44/196.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.44/196.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.44/196.58	c ===============================================================================
196.44/196.58	c |         0 |    5736    12051    36480 |     5000        0    nan |  0.000 % |
196.54/196.60	c |       101 |    5726    12051    36480 |     5500      101     10 |  0.765 % |
196.54/196.61	c ===============================================================================
196.54/196.65	c core #566
196.54/196.65	c 
196.54/196.65	c 
196.54/196.65	c Core size: 83	Core Weight: 1	Total Weight: 566
196.54/196.65	c
196.54/196.65	c
196.54/196.65	c ============================[ Search Statistics ]==============================
196.54/196.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.54/196.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.54/196.65	c ===============================================================================
196.54/196.65	c |         0 |    5792    12054    36598 |     5000        0    nan |  0.000 % |
196.54/196.68	c ===============================================================================
196.64/196.72	c core #567
196.64/196.72	c 
196.64/196.72	c 
196.64/196.72	c Core size: 41	Core Weight: 1	Total Weight: 567
196.64/196.72	c
196.64/196.72	c
196.64/196.72	c ============================[ Search Statistics ]==============================
196.64/196.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.64/196.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.64/196.72	c ===============================================================================
196.64/196.72	c |         0 |    5825    12055    36664 |     5000        0    nan |  0.000 % |
196.64/196.74	c ===============================================================================
196.64/196.78	c core #568
196.64/196.78	c 
196.64/196.78	c 
196.64/196.78	c Core size: 18	Core Weight: 1	Total Weight: 568
196.64/196.78	c
196.64/196.78	c
196.64/196.78	c ============================[ Search Statistics ]==============================
196.64/196.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.64/196.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.64/196.78	c ===============================================================================
196.64/196.78	c |         0 |    5836    12056    36686 |     5000        0    nan |  0.000 % |
196.75/196.81	c |       101 |    5829    12056    36686 |     5500      101     10 |  0.343 % |
196.75/196.82	c |       253 |    5807    12056    36686 |     6050      253     14 |  5.198 % |
196.75/196.83	c ===============================================================================
196.75/196.87	c core #569
196.75/196.87	c 
196.75/196.87	c 
196.75/196.87	c Core size: 91	Core Weight: 1	Total Weight: 569
196.75/196.87	c
196.75/196.87	c
196.75/196.87	c ============================[ Search Statistics ]==============================
196.75/196.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.75/196.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.75/196.87	c ===============================================================================
196.75/196.87	c |         0 |    5884    12057    36782 |     5000        0    nan |  0.000 % |
196.75/196.90	c ===============================================================================
196.85/196.94	c core #570
196.85/196.94	c 
196.85/196.94	c 
196.85/196.94	c Core size: 74	Core Weight: 1	Total Weight: 570
196.85/196.94	c
196.85/196.94	c
196.85/196.94	c ============================[ Search Statistics ]==============================
196.85/196.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.85/196.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.85/196.94	c ===============================================================================
196.85/196.94	c |         0 |    5926    12060    36872 |     5000        0    nan |  0.000 % |
196.85/196.98	c ===============================================================================
196.94/197.02	c core #571
196.94/197.02	c 
196.94/197.02	c 
196.94/197.02	c Core size: 84	Core Weight: 1	Total Weight: 571
196.94/197.02	c
196.94/197.02	c
196.94/197.02	c ============================[ Search Statistics ]==============================
196.94/197.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.94/197.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.94/197.02	c ===============================================================================
196.94/197.02	c |         0 |    5978    12061    36976 |     5000        0    nan |  0.000 % |
196.94/197.05	c |       101 |    5939    12061    36976 |     5500      101     10 |  5.142 % |
196.94/197.05	c ===============================================================================
196.94/197.09	c core #572
196.94/197.09	c 
196.94/197.09	c 
196.94/197.09	c Core size: 39	Core Weight: 1	Total Weight: 572
196.94/197.09	c
196.94/197.09	c
196.94/197.09	c ============================[ Search Statistics ]==============================
196.94/197.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.94/197.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.94/197.09	c ===============================================================================
196.94/197.09	c |         0 |    5999    12062    37018 |     5000        0    nan |  0.000 % |
197.04/197.13	c ===============================================================================
197.04/197.17	c core #573
197.04/197.17	c 
197.04/197.17	c 
197.04/197.17	c Core size: 67	Core Weight: 1	Total Weight: 573
197.04/197.17	c
197.04/197.17	c
197.04/197.17	c ============================[ Search Statistics ]==============================
197.04/197.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.04/197.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.04/197.17	c ===============================================================================
197.04/197.17	c |         0 |    6049    12063    37118 |     5000        0    nan |  0.000 % |
197.04/197.19	c ===============================================================================
197.14/197.23	c core #574
197.14/197.23	c 
197.14/197.23	c 
197.14/197.23	c Core size: 19	Core Weight: 1	Total Weight: 574
197.14/197.23	c
197.14/197.23	c
197.14/197.23	c ============================[ Search Statistics ]==============================
197.14/197.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.14/197.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.14/197.23	c ===============================================================================
197.14/197.23	c |         0 |    6065    12064    37150 |     5000        0    nan |  0.000 % |
197.14/197.26	c |       101 |    6059    12064    37150 |     5500      101      8 |  0.329 % |
197.14/197.28	c |       253 |    6057    12064    37150 |     6050      253     17 |  0.329 % |
197.14/197.29	c ===============================================================================
197.24/197.33	c core #575
197.24/197.33	c 
197.24/197.33	c 
197.24/197.33	c Core size: 102	Core Weight: 1	Total Weight: 575
197.24/197.33	c
197.24/197.33	c
197.24/197.33	c ============================[ Search Statistics ]==============================
197.24/197.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.24/197.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.24/197.33	c ===============================================================================
197.24/197.33	c |         0 |    6123    12065    37266 |     5000        0    nan |  0.000 % |
197.24/197.34	c |       101 |    6122    12065    37266 |     5500      101     29 |  0.228 % |
197.24/197.39	c ===============================================================================
197.34/197.43	c core #576
197.34/197.43	c 
197.34/197.43	c 
197.34/197.43	c Core size: 61	Core Weight: 1	Total Weight: 576
197.34/197.43	c
197.34/197.43	c
197.34/197.43	c ============================[ Search Statistics ]==============================
197.34/197.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.34/197.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.34/197.43	c ===============================================================================
197.34/197.43	c |         0 |    6171    12066    37362 |     5000        0    nan |  0.000 % |
197.34/197.46	c |       101 |    6159    12066    37362 |     5500      101      9 |  4.949 % |
197.34/197.46	c ===============================================================================
197.44/197.50	c core #577
197.44/197.50	c 
197.44/197.50	c 
197.44/197.50	c Core size: 54	Core Weight: 1	Total Weight: 577
197.44/197.50	c
197.44/197.50	c
197.44/197.50	c ============================[ Search Statistics ]==============================
197.44/197.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.44/197.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.44/197.50	c ===============================================================================
197.44/197.50	c |         0 |    6203    12067    37426 |     5000        0    nan |  0.000 % |
197.44/197.52	c |       100 |    6203    12067    37426 |     5500      100     24 |  0.193 % |
197.44/197.56	c |       250 |    6199    12067    37426 |     6050      250     16 |  0.290 % |
197.44/197.60	c |       476 |    6197    12067    37426 |     6655      467     16 |  0.290 % |
197.54/197.67	c |       813 |    6196    12067    37426 |     7320      798     16 |  0.306 % |
197.64/197.75	c ===============================================================================
197.74/197.81	c core #578
197.74/197.81	c 
197.74/197.81	c 
197.74/197.81	c Core size: 123	Core Weight: 1	Total Weight: 578
197.74/197.81	c
197.74/197.81	c
197.74/197.81	c ============================[ Search Statistics ]==============================
197.74/197.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.74/197.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.74/197.81	c ===============================================================================
197.74/197.81	c |         0 |    6310    12069    37643 |     5000        0    nan |  0.000 % |
197.74/197.84	c |       101 |    6298    12069    37643 |     5500      101     12 |  0.380 % |
197.74/197.86	c |       255 |    6294    12069    37643 |     6050      233     16 |  0.444 % |
197.74/197.88	c |       480 |    6270    12069    37643 |     6655      458     24 |  4.619 % |
197.85/197.91	c |       819 |    6269    12069    37643 |     7320      797     31 |  4.650 % |
197.85/197.97	c |      1325 |    6028    12069    37643 |     8052     1286     37 |  4.650 % |
197.95/198.07	c ===============================================================================
198.04/198.13	c core #579
198.04/198.13	c 
198.04/198.13	c 
198.04/198.13	c Core size: 136	Core Weight: 1	Total Weight: 579
198.04/198.13	c
198.04/198.13	c
198.04/198.13	c ============================[ Search Statistics ]==============================
198.04/198.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.04/198.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.04/198.13	c ===============================================================================
198.04/198.13	c |         0 |    6386    12070    37795 |     5000        0    nan |  0.000 % |
198.04/198.17	c |       103 |    6375    12070    37795 |     5500      103      8 |  0.375 % |
198.04/198.18	c ===============================================================================
198.14/198.22	c core #580
198.14/198.22	c 
198.14/198.22	c 
198.14/198.22	c Core size: 68	Core Weight: 1	Total Weight: 580
198.14/198.22	c
198.14/198.22	c
198.14/198.22	c ============================[ Search Statistics ]==============================
198.14/198.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.14/198.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.14/198.22	c ===============================================================================
198.14/198.22	c |         0 |    6419    12071    37861 |     5000        0    nan |  0.000 % |
198.14/198.26	c |       100 |    6405    12071    37861 |     5500      100      8 |  0.421 % |
198.14/198.27	c ===============================================================================
198.24/198.31	c core #581
198.24/198.31	c 
198.24/198.31	c 
198.24/198.31	c Core size: 87	Core Weight: 1	Total Weight: 581
198.24/198.31	c
198.24/198.31	c
198.24/198.31	c ============================[ Search Statistics ]==============================
198.24/198.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.24/198.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.24/198.31	c ===============================================================================
198.24/198.31	c |         0 |    6468    12072    37959 |     5000        0    nan |  0.000 % |
198.24/198.34	c |       103 |    6466    12072    37959 |     5500      103     14 |  0.216 % |
198.24/198.36	c |       253 |    6458    12072    37959 |     6050      253     16 |  0.340 % |
198.24/198.37	c |       478 |    6455    12072    37959 |     6655      470     19 |  0.401 % |
198.24/198.39	c |       815 |    6455    12072    37959 |     7320      807     23 |  0.401 % |
198.34/198.43	c |      1327 |    6455    12072    37959 |     8052     1319     22 |  0.401 % |
198.44/198.50	c |      2086 |    6454    12072    37959 |     8857     2074     29 |  0.401 % |
198.54/198.63	c |      3225 |    6432    12072    37959 |     9743     3213     32 |  4.537 % |
198.64/198.70	c ===============================================================================
198.64/198.79	c core #582
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 107	Core Weight: 1	Total Weight: 582
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c ============================[ Search Statistics ]==============================
198.64/198.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.64/198.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.64/198.79	c ===============================================================================
198.64/198.79	c |         0 |    6534    12073    38091 |     5000        0    nan |  0.000 % |
198.74/198.83	c |       101 |    6525    12073    38091 |     5500      101     11 |  0.336 % |
198.74/198.85	c |       252 |    6238    12073    38091 |     6050      199     15 |  4.736 % |
198.74/198.86	c |       478 |    6236    12073    38091 |     6655      425     24 |  4.797 % |
198.74/198.88	c |       815 |    6236    12073    38091 |     7320      762     35 |  4.797 % |
198.84/198.93	c |      1321 |    6232    12073    38091 |     8052     1255     42 |  4.827 % |
198.95/199.01	c |      2081 |    6232    12073    38091 |     8857     2015     44 |  4.827 % |
199.14/199.20	c |      3220 |    6230    12073    38091 |     9743     3153     44 |  4.827 % |
199.54/199.66	c |      4929 |    6230    12073    38091 |    10717     4862     46 |  4.843 % |
200.34/200.42	c |      7492 |    6229    12073    38091 |    11789     7424     47 |  4.843 % |
202.13/202.24	c |     11337 |    6229    12073    38091 |    12968    11269     49 |  4.873 % |
204.54/204.61	c ===============================================================================
204.84/204.95	c core #583
204.84/204.95	c 
204.84/204.95	c 
204.84/204.95	c Core size: 107	Core Weight: 1	Total Weight: 583
204.84/204.95	c
204.84/204.95	c
204.84/204.95	c ============================[ Search Statistics ]==============================
204.84/204.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.84/204.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.84/204.95	c ===============================================================================
204.84/204.95	c |         0 |    6589    12074    38201 |     5000        0    nan |  0.000 % |
204.84/204.99	c |       101 |    6589    12074    38201 |     5500      101     27 |  0.182 % |
204.93/205.01	c ===============================================================================
204.93/205.05	c core #584
204.93/205.05	c 
204.93/205.05	c 
204.93/205.05	c Core size: 50	Core Weight: 1	Total Weight: 584
204.93/205.05	c
204.93/205.05	c
204.93/205.05	c ============================[ Search Statistics ]==============================
204.93/205.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.93/205.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.93/205.05	c ===============================================================================
204.93/205.05	c |         0 |    6623    12075    38269 |     5000        0    nan |  0.000 % |
204.93/205.09	c |       100 |    6585    12075    38269 |     5500      100      6 |  4.582 % |
204.93/205.09	c ===============================================================================
205.03/205.14	c core #585
205.03/205.14	c 
205.03/205.14	c 
205.03/205.14	c Core size: 84	Core Weight: 1	Total Weight: 585
205.03/205.14	c
205.03/205.14	c
205.03/205.14	c ============================[ Search Statistics ]==============================
205.03/205.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.03/205.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.03/205.14	c ===============================================================================
205.03/205.14	c |         0 |    6667    12076    38357 |     5000        0    nan |  0.000 % |
205.03/205.18	c |       102 |    6663    12076    38357 |     5500      102      5 |  0.299 % |
205.14/205.20	c ===============================================================================
205.14/205.24	c core #586
205.14/205.24	c 
205.14/205.24	c 
205.14/205.24	c Core size: 87	Core Weight: 1	Total Weight: 586
205.14/205.24	c
205.14/205.24	c
205.14/205.24	c ============================[ Search Statistics ]==============================
205.14/205.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.14/205.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.14/205.24	c ===============================================================================
205.14/205.24	c |         0 |    6739    12081    38511 |     5000        0    nan |  0.000 % |
205.14/205.26	c |       101 |    6739    12081    38511 |     5500      101     28 |  0.178 % |
205.14/205.29	c |       251 |    6731    12081    38511 |     6050      251     17 |  0.296 % |
205.24/205.31	c ===============================================================================
205.24/205.36	c core #587
205.24/205.36	c 
205.24/205.36	c 
205.24/205.36	c Core size: 39	Core Weight: 1	Total Weight: 587
205.24/205.36	c
205.24/205.36	c
205.24/205.36	c ============================[ Search Statistics ]==============================
205.24/205.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.24/205.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.24/205.36	c ===============================================================================
205.24/205.36	c |         0 |    6771    12083    38577 |     5000        0    nan |  0.000 % |
205.24/205.39	c |       100 |    6771    12083    38577 |     5500      100     12 |  0.177 % |
205.34/205.40	c |       250 |    6767    12083    38577 |     6050      250     11 |  0.236 % |
205.34/205.41	c |       477 |    6763    12083    38577 |     6655      458     12 |  0.325 % |
205.34/205.41	c ===============================================================================
205.34/205.46	c core #588
205.34/205.46	c 
205.34/205.46	c 
205.34/205.46	c Core size: 61	Core Weight: 1	Total Weight: 588
205.34/205.46	c
205.34/205.46	c
205.34/205.46	c ============================[ Search Statistics ]==============================
205.34/205.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.34/205.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.34/205.46	c ===============================================================================
205.34/205.46	c |         0 |    6823    12084    38681 |     5000        0    nan |  0.000 % |
205.34/205.49	c |       100 |    6823    12084    38681 |     5500      100     17 |  0.176 % |
205.44/205.51	c |       250 |    6823    12084    38681 |     6050      250     16 |  0.176 % |
205.44/205.52	c |       476 |    6823    12084    38681 |     6655      476     16 |  0.176 % |
205.44/205.57	c |       814 |    6811    12084    38681 |     7320      808     14 |  0.380 % |
205.44/205.58	c ===============================================================================
205.54/205.63	c core #589
205.54/205.63	c 
205.54/205.63	c 
205.54/205.63	c Core size: 84	Core Weight: 1	Total Weight: 589
205.54/205.63	c
205.54/205.63	c
205.54/205.63	c ============================[ Search Statistics ]==============================
205.54/205.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.54/205.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.54/205.63	c ===============================================================================
205.54/205.63	c |         0 |    6899    12087    38837 |     5000        0    nan |  0.000 % |
205.54/205.66	c |       100 |    6898    12087    38837 |     5500      100      9 |  0.203 % |
205.54/205.68	c |       251 |    6777    12087    38837 |     6050      218     10 |  1.968 % |
205.54/205.70	c |       479 |    6773    12087    38837 |     6655      446     11 |  1.997 % |
205.54/205.70	c ===============================================================================
205.65/205.75	c core #590
205.65/205.75	c 
205.65/205.75	c 
205.65/205.75	c Core size: 101	Core Weight: 1	Total Weight: 590
205.65/205.75	c
205.65/205.75	c
205.65/205.75	c ============================[ Search Statistics ]==============================
205.65/205.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.65/205.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.65/205.75	c ===============================================================================
205.65/205.75	c |         0 |    6960    12091    38966 |     5000        0    nan |  0.000 % |
205.65/205.79	c |       100 |    6959    12091    38966 |     5500      100      7 |  0.201 % |
205.74/205.81	c |       250 |    6956    12091    38966 |     6050      250     12 |  0.258 % |
205.74/205.85	c |       476 |    6948    12091    38966 |     6655      465     11 |  0.345 % |
205.74/205.89	c ===============================================================================
205.84/205.94	c core #591
205.84/205.94	c 
205.84/205.94	c 
205.84/205.94	c Core size: 109	Core Weight: 1	Total Weight: 591
205.84/205.94	c
205.84/205.94	c
205.84/205.94	c ============================[ Search Statistics ]==============================
205.84/205.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.84/205.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.84/205.94	c ===============================================================================
205.84/205.94	c |         0 |    7025    12092    39096 |     5000        0    nan |  0.000 % |
205.84/205.97	c |       100 |    7025    12092    39096 |     5500      100      7 |  0.171 % |
205.94/206.00	c ===============================================================================
205.94/206.04	c core #592
205.94/206.04	c 
205.94/206.04	c 
205.94/206.04	c Core size: 97	Core Weight: 1	Total Weight: 592
205.94/206.04	c
205.94/206.04	c
205.94/206.04	c ============================[ Search Statistics ]==============================
205.94/206.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.94/206.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.94/206.04	c ===============================================================================
205.94/206.04	c |         0 |    7090    12094    39228 |     5000        0    nan |  0.000 % |
205.94/206.07	c |       104 |    7090    12094    39228 |     5500      104      8 |  0.169 % |
205.94/206.09	c |       255 |    7080    12094    39228 |     6050      255     13 |  0.310 % |
206.04/206.12	c ===============================================================================
206.04/206.17	c core #593
206.04/206.17	c 
206.04/206.17	c 
206.04/206.17	c Core size: 96	Core Weight: 1	Total Weight: 593
206.04/206.17	c
206.04/206.17	c
206.04/206.17	c ============================[ Search Statistics ]==============================
206.04/206.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.04/206.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.04/206.17	c ===============================================================================
206.04/206.17	c |         0 |    7159    12095    39366 |     5000        0    nan |  0.000 % |
206.14/206.21	c |       100 |    7155    12095    39366 |     5500      100     12 |  0.223 % |
206.14/206.23	c |       253 |    7153    12095    39366 |     6050      253     14 |  0.251 % |
206.14/206.25	c |       478 |    7148    12095    39366 |     6655      464     20 |  0.390 % |
206.14/206.28	c |       815 |    7148    12095    39366 |     7320      801     22 |  0.390 % |
206.24/206.32	c |      1321 |    7143    12095    39366 |     8052     1299     28 |  0.391 % |
206.24/206.38	c |      2081 |    7141    12095    39366 |     8857     2058     29 |  0.419 % |
206.43/206.51	c |      3224 |    7140    12095    39366 |     9743     3201     32 |  0.447 % |
206.64/206.71	c |      4932 |    7138    12095    39366 |    10717     4846     37 |  0.475 % |
207.14/207.22	c |      7494 |    7138    12095    39366 |    11789     7408     39 |  0.502 % |
208.14/208.25	c |     11339 |    7128    12095    39366 |    12968    11250     44 |  0.669 % |
210.04/210.18	c ===============================================================================
210.34/210.47	c core #594
210.34/210.47	c 
210.34/210.47	c 
210.34/210.47	c Core size: 166	Core Weight: 1	Total Weight: 594
210.34/210.47	c
210.34/210.47	c
210.34/210.47	c ============================[ Search Statistics ]==============================
210.34/210.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.34/210.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.34/210.47	c ===============================================================================
210.34/210.47	c |         0 |    7280    12100    39619 |     5000        0    nan |  0.000 % |
210.43/210.51	c |       101 |    7280    12100    39619 |     5500      101     13 |  0.165 % |
210.43/210.54	c ===============================================================================
210.43/210.58	c core #595
210.43/210.58	c 
210.43/210.58	c 
210.43/210.58	c Core size: 23	Core Weight: 1	Total Weight: 595
210.43/210.58	c
210.43/210.58	c
210.43/210.58	c ============================[ Search Statistics ]==============================
210.43/210.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.43/210.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.43/210.58	c ===============================================================================
210.43/210.58	c |         0 |    7299    12101    39657 |     5000        0    nan |  0.000 % |
210.54/210.61	c |       101 |    7299    12101    39657 |     5500      101     11 |  0.164 % |
210.54/210.63	c |       251 |    7289    12101    39657 |     6050      245     11 |  3.967 % |
210.54/210.64	c ===============================================================================
210.54/210.68	c core #596
210.54/210.68	c 
210.54/210.68	c 
210.54/210.68	c Core size: 120	Core Weight: 1	Total Weight: 596
210.54/210.68	c
210.54/210.68	c
210.54/210.68	c ============================[ Search Statistics ]==============================
210.54/210.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.54/210.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.54/210.68	c ===============================================================================
210.54/210.68	c |         0 |    7378    12102    39815 |     5000        0    nan |  0.000 % |
210.64/210.71	c |       103 |    7376    12102    39815 |     5500      103     13 |  0.189 % |
210.64/210.75	c |       253 |    7371    12102    39815 |     6050      247     10 |  0.257 % |
210.64/210.76	c ===============================================================================
210.73/210.80	c core #597
210.73/210.80	c 
210.73/210.80	c 
210.73/210.80	c Core size: 99	Core Weight: 1	Total Weight: 597
210.73/210.80	c
210.73/210.80	c
210.73/210.80	c ============================[ Search Statistics ]==============================
210.73/210.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.73/210.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.73/210.80	c ===============================================================================
210.73/210.80	c |         0 |    7442    12104    39945 |     5000        0    nan |  0.000 % |
210.73/210.83	c |       100 |    7442    12104    39945 |     5500      100      9 |  0.161 % |
210.73/210.85	c |       250 |    7440    12104    39945 |     6050      250     11 |  0.188 % |
210.73/210.88	c |       478 |    7438    12104    39945 |     6655      477     13 |  0.242 % |
210.84/210.96	c |       817 |    7434    12104    39945 |     7320      791     12 |  0.268 % |
210.84/210.97	c ===============================================================================
210.94/211.03	c core #598
210.94/211.03	c 
210.94/211.03	c 
210.94/211.03	c Core size: 124	Core Weight: 1	Total Weight: 598
210.94/211.03	c
210.94/211.03	c
210.94/211.03	c ============================[ Search Statistics ]==============================
210.94/211.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.94/211.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.94/211.03	c ===============================================================================
210.94/211.03	c |         0 |    7536    12108    40140 |     5000        0    nan |  0.000 % |
210.94/211.07	c |       100 |    7536    12108    40140 |     5500      100     10 |  0.159 % |
210.94/211.09	c |       250 |    7534    12108    40140 |     6050      249     12 |  0.186 % |
211.04/211.12	c |       478 |    7532    12108    40140 |     6655      477     14 |  0.212 % |
211.04/211.14	c ===============================================================================
211.04/211.19	c core #599
211.04/211.19	c 
211.04/211.19	c 
211.04/211.19	c Core size: 55	Core Weight: 1	Total Weight: 599
211.04/211.19	c
211.04/211.19	c
211.04/211.19	c ============================[ Search Statistics ]==============================
211.04/211.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.04/211.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.04/211.19	c ===============================================================================
211.04/211.19	c |         0 |    7583    12112    40240 |     5000        0    nan |  0.000 % |
211.14/211.22	c |       101 |    7581    12112    40240 |     5500      101     11 |  0.184 % |
211.14/211.23	c |       251 |    7581    12112    40240 |     6050      251     15 |  0.184 % |
211.14/211.27	c |       478 |    7579    12112    40240 |     6655      475     14 |  0.211 % |
211.23/211.32	c |       815 |    7577    12112    40240 |     7320      809     17 |  0.237 % |
211.23/211.36	c |      1322 |    7575    12112    40240 |     8052     1291     18 |  0.263 % |
211.34/211.44	c |      2081 |    7546    12112    40240 |     8857     2046     18 |  3.805 % |
211.43/211.51	c ===============================================================================
211.43/211.57	c core #600
211.43/211.57	c 
211.43/211.57	c 
211.43/211.57	c Core size: 162	Core Weight: 1	Total Weight: 600
211.43/211.57	c
211.43/211.57	c
211.43/211.57	c ============================[ Search Statistics ]==============================
211.43/211.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.43/211.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.43/211.57	c ===============================================================================
211.43/211.57	c |         0 |    7695    12117    40474 |     5000        0    nan |  0.000 % |
211.53/211.60	c |       102 |    7695    12117    40474 |     5500      102     13 |  0.156 % |
211.53/211.62	c |       252 |    7695    12117    40474 |     6050      252     14 |  0.156 % |
211.53/211.65	c |       478 |    7689    12117    40474 |     6655      475     14 |  0.234 % |
211.53/211.68	c |       815 |    7687    12117    40474 |     7320      808     18 |  0.260 % |
211.63/211.72	c ===============================================================================
211.63/211.77	c core #601
211.63/211.77	c 
211.63/211.77	c 
211.63/211.77	c Core size: 158	Core Weight: 1	Total Weight: 601
211.63/211.77	c
211.63/211.77	c
211.63/211.77	c ============================[ Search Statistics ]==============================
211.63/211.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.63/211.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.63/211.77	c ===============================================================================
211.63/211.77	c |         0 |    7800    12120    40689 |     5000        0    nan |  0.000 % |
211.74/211.81	c |       101 |    7798    12120    40689 |     5500      101      9 |  0.179 % |
211.74/211.83	c |       251 |    7798    12120    40689 |     6050      251     14 |  0.179 % |
211.74/211.85	c |       476 |    7798    12120    40689 |     6655      475     20 |  0.179 % |
211.74/211.88	c |       815 |    7798    12120    40689 |     7320      814     21 |  0.179 % |
211.84/211.95	c |      1321 |    7796    12120    40689 |     8052     1317     22 |  0.205 % |
211.93/212.02	c |      2082 |    7796    12120    40689 |     8857     2078     38 |  0.205 % |
212.04/212.14	c |      3227 |    7796    12120    40689 |     9743     3223     36 |  0.205 % |
212.24/212.30	c |      4938 |    7796    12120    40689 |    10717     4934     34 |  0.205 % |
212.44/212.53	c |      7500 |    7794    12120    40689 |    11789     7493     31 |  0.230 % |
212.94/213.09	c |     11345 |    7794    12120    40689 |    12968    11338     34 |  0.230 % |
213.94/214.07	c |     17114 |    7794    12120    40689 |    14265     9952     54 |  0.231 % |
215.73/215.86	c |     25765 |    7794    12120    40689 |    15692    11053     43 |  0.230 % |
218.13/218.26	c |     38741 |    7790    12120    40689 |    17261    16077     52 |  0.282 % |
221.74/221.84	c |     58203 |    7739    12120    40689 |    18987    17613     58 |  3.840 % |
233.53/233.63	c |     87397 |    7506    12120    40689 |    20886    17682     70 |  3.943 % |
236.33/236.42	c ===============================================================================
237.63/237.75	c core #602
237.63/237.75	c 
237.63/237.75	c 
237.63/237.75	c Core size: 223	Core Weight: 1	Total Weight: 602
237.63/237.75	c
237.63/237.75	c
237.63/237.75	c ============================[ Search Statistics ]==============================
237.63/237.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
237.63/237.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
237.63/237.75	c ===============================================================================
237.63/237.75	c |         0 |    7979    12123    41051 |     5000        0    nan |  0.000 % |
237.73/237.81	c |       100 |    7979    12123    41051 |     5500      100     13 |  0.150 % |
237.73/237.82	c |       250 |    7979    12123    41051 |     6050      250     18 |  0.150 % |
237.73/237.85	c |       477 |    7975    12123    41051 |     6655      470     18 |  0.200 % |
237.73/237.88	c |       814 |    7975    12123    41051 |     7320      807     26 |  0.200 % |
237.83/237.93	c |      1321 |    7975    12123    41051 |     8052     1312     28 |  0.200 % |
237.83/237.98	c |      2081 |    7973    12123    41051 |     8857     2069     30 |  0.225 % |
238.03/238.14	c |      3220 |    7973    12123    41051 |     9743     3208     39 |  0.225 % |
238.33/238.42	c |      4931 |    7971    12123    41051 |    10717     4918     42 |  0.250 % |
238.73/238.82	c |      7493 |    7697    12123    41051 |    11789     7253     41 |  3.692 % |
239.63/239.72	c |     11340 |    7697    12123    41051 |    12968    11100     44 |  3.692 % |
240.33/240.44	c ===============================================================================
240.53/240.61	c core #603
240.53/240.61	c 
240.53/240.61	c 
240.53/240.61	c Core size: 130	Core Weight: 1	Total Weight: 603
240.53/240.61	c
240.53/240.61	c
240.53/240.61	c ============================[ Search Statistics ]==============================
240.53/240.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
240.53/240.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
240.53/240.61	c ===============================================================================
240.53/240.61	c |         0 |    8064    12125    41223 |     5000        0    nan |  0.000 % |
240.53/240.64	c |       101 |    8064    12125    41223 |     5500      101     20 |  0.149 % |
240.53/240.67	c |       253 |    8064    12125    41223 |     6050      253     20 |  0.149 % |
240.53/240.68	c |       478 |    8064    12125    41223 |     6655      478     23 |  0.149 % |
240.62/240.72	c |       815 |    8064    12125    41223 |     7320      815     19 |  0.149 % |
240.62/240.79	c |      1327 |    8064    12125    41223 |     8052     1327     26 |  0.149 % |
240.74/240.86	c |      2088 |    8064    12125    41223 |     8857     2088     31 |  0.149 % |
240.83/240.95	c |      3228 |    8064    12125    41223 |     9743     3228     31 |  0.149 % |
241.13/241.23	c |      4937 |    8062    12125    41223 |    10717     4868     35 |  0.173 % |
241.42/241.59	c |      7499 |    8062    12125    41223 |    11789     7430     40 |  0.173 % |
241.93/242.08	c |     11343 |    8060    12125    41223 |    12968    10823     39 |  0.198 % |
242.73/242.89	c |     17112 |    8060    12125    41223 |    14265    10028     45 |  0.198 % |
244.63/244.78	c |     25762 |    8058    12125    41223 |    15692    11269     53 |  0.223 % |
247.13/247.23	c |     38739 |    8055    12125    41223 |    17261    16068     57 |  0.297 % |
254.03/254.18	c |     58205 |    7791    12125    41223 |    18987    12614     58 |  3.529 % |
266.22/266.37	c |     87398 |    7791    12125    41223 |    20886    12582     53 |  3.529 % |
285.42/285.59	c |    131188 |    7789    12125    41223 |    22974    13435     61 |  3.554 % |
302.01/302.11	c ===============================================================================
303.42/303.54	c core #604
303.42/303.54	c 
303.42/303.54	c 
303.42/303.54	c Core size: 251	Core Weight: 1	Total Weight: 604
303.42/303.54	c
303.42/303.54	c
303.42/303.54	c ============================[ Search Statistics ]==============================
303.42/303.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
303.42/303.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
303.42/303.54	c ===============================================================================
303.42/303.54	c |         0 |    8274    12135    41661 |     5000        0    nan |  0.000 % |
303.52/303.62	c |       100 |    8272    12135    41661 |     5500      100      8 |  0.169 % |
303.52/303.64	c |       253 |    8272    12135    41661 |     6050      253     18 |  0.169 % |
303.52/303.67	c |       479 |    8270    12135    41661 |     6655      478     20 |  0.193 % |
303.61/303.71	c |       817 |    8270    12135    41661 |     7320      816     19 |  0.193 % |
303.61/303.75	c |      1323 |    8270    12135    41661 |     8052     1320     23 |  0.193 % |
303.72/303.82	c |      2083 |    8268    12135    41661 |     8857     2079     22 |  0.217 % |
303.81/303.92	c |      3222 |    8267    12135    41661 |     9743     3218     23 |  0.241 % |
304.02/304.18	c |      4931 |    8266    12135    41661 |    10717     4921     23 |  0.241 % |
304.42/304.52	c ===============================================================================
304.52/304.62	c core #605
304.52/304.62	c 
304.52/304.62	c 
304.52/304.62	c Core size: 150	Core Weight: 1	Total Weight: 605
304.52/304.62	c
304.52/304.62	c
304.52/304.62	c ============================[ Search Statistics ]==============================
304.52/304.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
304.52/304.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
304.52/304.62	c ===============================================================================
304.52/304.62	c |         0 |    8393    12140    41908 |     5000        0    nan |  0.000 % |
304.52/304.65	c |       102 |    8393    12140    41908 |     5500      102     10 |  0.143 % |
304.52/304.67	c |       252 |    8393    12140    41908 |     6050      252     12 |  0.143 % |
304.52/304.70	c |       482 |    8393    12140    41908 |     6655      482     13 |  0.143 % |
304.62/304.73	c |       820 |    8393    12140    41908 |     7320      820     15 |  0.143 % |
304.72/304.84	c |      1327 |    8393    12140    41908 |     8052     1327     15 |  0.143 % |
304.81/304.96	c |      2086 |    8393    12140    41908 |     8857     2086     17 |  0.143 % |
304.91/305.06	c |      3225 |    8393    12140    41908 |     9743     3225     21 |  0.143 % |
305.21/305.34	c |      4934 |    8393    12140    41908 |    10717     4934     22 |  0.143 % |
305.72/305.88	c |      7499 |    8387    12140    41908 |    11789     7458     23 |  0.214 % |
307.51/307.62	c |     11344 |    8387    12140    41908 |    12968    11086    148 |  0.214 % |
308.71/308.87	c ===============================================================================
308.92/309.01	c core #606
308.92/309.01	c 
308.92/309.01	c 
308.92/309.01	c Core size: 328	Core Weight: 1	Total Weight: 606
308.92/309.01	c
308.92/309.01	c
308.92/309.01	c ============================[ Search Statistics ]==============================
308.92/309.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
308.92/309.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
308.92/309.01	c ===============================================================================
308.92/309.01	c |         0 |    8654    12149    42452 |     5000        0    nan |  0.000 % |
308.92/309.05	c |       101 |    8654    12149    42452 |     5500      101     14 |  0.139 % |
308.92/309.07	c |       252 |    8654    12149    42452 |     6050      252     19 |  0.138 % |
308.92/309.09	c |       478 |    8654    12149    42452 |     6655      478     17 |  0.138 % |
309.02/309.12	c |       816 |    8654    12149    42452 |     7320      816     19 |  0.138 % |
309.02/309.17	c |      1322 |    8652    12149    42452 |     8052     1321     21 |  0.162 % |
309.11/309.25	c |      2085 |    8652    12149    42452 |     8857     2084     25 |  0.162 % |
309.21/309.39	c |      3224 |    8652    12149    42452 |     9743     3223     25 |  0.162 % |
309.51/309.60	c |      4932 |    8650    12149    42452 |    10717     4634     25 |  0.185 % |
309.51/309.68	c ===============================================================================
309.61/309.75	c core #607
309.61/309.75	c 
309.61/309.75	c 
309.61/309.75	c Core size: 199	Core Weight: 1	Total Weight: 607
309.61/309.75	c
309.61/309.75	c
309.61/309.75	c ============================[ Search Statistics ]==============================
309.61/309.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
309.61/309.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
309.61/309.75	c ===============================================================================
309.61/309.75	c |         0 |    8811    12153    42772 |     5000        0    nan |  0.000 % |
309.61/309.77	c |       101 |    8811    12153    42772 |     5500      101     19 |  0.136 % |
309.61/309.78	c |       252 |    8811    12153    42772 |     6050      252     16 |  0.136 % |
309.71/309.82	c |       477 |    8811    12153    42772 |     6655      477     14 |  0.136 % |
309.71/309.85	c |       818 |    8811    12153    42772 |     7320      818     20 |  0.136 % |
309.71/309.88	c |      1324 |    8811    12153    42772 |     8052     1324     20 |  0.136 % |
309.81/309.93	c |      2083 |    8809    12153    42772 |     8857     2082     20 |  0.159 % |
309.91/310.02	c |      3223 |    8809    12153    42772 |     9743     3222     20 |  0.159 % |
310.11/310.23	c |      4935 |    8809    12153    42772 |    10717     4934     22 |  0.159 % |
310.41/310.55	c |      7497 |    8809    12153    42772 |    11789     7496     23 |  0.159 % |
311.01/311.11	c ===============================================================================
311.12/311.28	c core #608
311.12/311.28	c 
311.12/311.28	c 
311.12/311.28	c Core size: 116	Core Weight: 1	Total Weight: 608
311.12/311.28	c
311.12/311.28	c
311.12/311.28	c ============================[ Search Statistics ]==============================
311.12/311.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
311.12/311.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
311.12/311.28	c ===============================================================================
311.12/311.28	c |         0 |    8909    12155    42971 |     5000        0    nan |  0.000 % |
311.22/311.32	c |       101 |    8909    12155    42971 |     5500      101     18 |  0.135 % |
311.22/311.34	c |       253 |    8909    12155    42971 |     6050      253     27 |  0.135 % |
311.22/311.37	c |       478 |    8909    12155    42971 |     6655      478     22 |  0.135 % |
311.22/311.40	c |       816 |    8909    12155    42971 |     7320      816     19 |  0.135 % |
311.32/311.43	c |      1323 |    8909    12155    42971 |     8052     1323     20 |  0.135 % |
311.41/311.50	c |      2083 |    8909    12155    42971 |     8857     2083     21 |  0.135 % |
311.41/311.59	c |      3223 |    8909    12155    42971 |     9743     3223     28 |  0.135 % |
311.61/311.77	c |      4931 |    8909    12155    42971 |    10717     4931     32 |  0.135 % |
312.02/312.12	c |      7493 |    8909    12155    42971 |    11789     7493     38 |  0.135 % |
312.41/312.52	c |     11338 |    8909    12155    42971 |    12968    11338     37 |  0.135 % |
313.71/313.88	c |     17104 |    8907    12155    42971 |    14265     9891     47 |  0.157 % |
315.01/315.11	c |     25754 |    8907    12155    42971 |    15692    10610     47 |  0.157 % |
317.31/317.48	c |     38735 |    8907    12155    42971 |    17261    15108     49 |  0.157 % |
323.60/323.73	c |     58197 |    8907    12155    42971 |    18987    15445     69 |  0.157 % |
334.21/334.32	c |     87390 |    8907    12155    42971 |    20886    13551     85 |  0.157 % |
355.40/355.52	c |    131183 |    8905    12155    42971 |    22974    12596     90 |  0.179 % |
389.69/389.87	c |    196868 |    8903    12155    42971 |    25272    17106     82 |  0.202 % |
448.97/449.15	c |    295398 |    8903    12155    42971 |    27799    22701     77 |  0.202 % |
505.56/505.72	c |    443187 |    8903    12155    42971 |    30579    21239     90 |  0.202 % |
661.12/661.34	c |    664870 |    8899    12155    42971 |    33637    20800    138 |  0.247 % |
879.36/879.69	c |    997401 |    8631    12155    42971 |    37001    32290     71 |  3.251 % |
1093.31/1093.64	c ===============================================================================
1102.91/1103.30	c core #609
1102.91/1103.30	c 
1102.91/1103.30	c 
1102.91/1103.30	c Core size: 317	Core Weight: 1	Total Weight: 609
1102.91/1103.30	c
1102.91/1103.30	c
1102.91/1103.30	c ============================[ Search Statistics ]==============================
1102.91/1103.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1102.91/1103.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1102.91/1103.30	c ===============================================================================
1102.91/1103.30	c |         0 |    9170    12178    43537 |     5000        0    nan |  0.000 % |
1103.01/1103.38	c |       101 |    9170    12178    43537 |     5500      101     18 |  0.131 % |
1103.10/1103.40	c |       252 |    9170    12178    43537 |     6050      252     19 |  0.131 % |
1103.10/1103.47	c |       480 |    9170    12178    43537 |     6655      480     19 |  0.131 % |
1103.20/1103.52	c |       817 |    9170    12178    43537 |     7320      817     23 |  0.131 % |
1103.20/1103.56	c |      1325 |    9168    12178    43537 |     8052     1322     26 |  0.152 % |
1103.41/1103.70	c |      2084 |    9166    12178    43537 |     8857     2080     24 |  0.174 % |
1103.50/1103.85	c |      3226 |    9166    12178    43537 |     9743     3222     27 |  0.174 % |
1103.70/1104.00	c |      4935 |    9166    12178    43537 |    10717     4931     33 |  0.174 % |
1103.90/1104.28	c |      7501 |    9166    12178    43537 |    11789     7497     34 |  0.174 % |
1104.71/1105.09	c |     11349 |    9166    12178    43537 |    12968    11345     52 |  0.174 % |
1105.70/1106.04	c |     17117 |    9134    12178    43537 |    14265    10383     60 |  3.158 % |
1110.10/1110.44	c |     25766 |    9134    12178    43537 |    15692    11646     96 |  3.158 % |
1116.60/1116.97	c |     38741 |    8892    12178    43537 |    17261     8310    100 |  3.158 % |
1128.31/1128.65	c |     58202 |    8892    12178    43537 |    18987     9786    102 |  3.158 % |
1148.00/1148.31	c |     87394 |    8892    12178    43537 |    20886    19289    140 |  3.158 % |
1171.98/1172.35	c |    131185 |    8892    12178    43537 |    22974    19752    118 |  3.158 % |
1218.38/1218.72	c |    196870 |    8892    12178    43537 |    25272    14633    111 |  3.158 % |

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-2680542-1277454750/watcher-2680542-1277454750 -o /tmp/evaluation-result-2680542-1277454750/solver-2680542-1277454750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680542-1277454750.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.95 0.90 3/105 26938
/proc/meminfo: memFree=1853784/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=3120 CPUtime=0
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 347 0 0 0 0 0 0 0 25 0 1 0 86768567 3194880 265 1992294400 134512640 135752675 4291821904 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 780 267 140 303 0 414 0

[startup+0.0502679 s]
/proc/loadavg: 0.92 0.95 0.90 3/105 26938
/proc/meminfo: memFree=1853784/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=4380 CPUtime=0.04
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 782 0 0 0 4 0 0 0 25 0 1 0 86768567 4485120 639 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 1095 639 141 303 0 790 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4380

[startup+0.101273 s]
/proc/loadavg: 0.92 0.95 0.90 3/105 26938
/proc/meminfo: memFree=1853784/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=5172 CPUtime=0.09
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 981 0 0 0 9 0 0 0 25 0 1 0 86768567 5296128 838 1992294400 134512640 135752675 4291821904 18446744073709551615 134697681 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 1293 838 141 303 0 988 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5172

[startup+0.301295 s]
/proc/loadavg: 0.92 0.95 0.90 3/105 26938
/proc/meminfo: memFree=1853784/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=5700 CPUtime=0.29
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 1127 0 0 0 29 0 0 0 25 0 1 0 86768567 5836800 984 1992294400 134512640 135752675 4291821904 18446744073709551615 134605441 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 1425 984 145 303 0 1120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5700

[startup+0.701339 s]
/proc/loadavg: 0.92 0.95 0.90 3/105 26938
/proc/meminfo: memFree=1853784/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=9540 CPUtime=0.7
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 2083 0 0 0 68 2 0 0 25 0 1 0 86768567 9768960 1940 1992294400 134512640 135752675 4291821904 18446744073709551615 134639988 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 2385 1940 145 303 0 2080 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9540

[startup+1.50143 s]
/proc/loadavg: 0.92 0.95 0.90 2/106 26939
/proc/meminfo: memFree=1843360/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=17860 CPUtime=1.49
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 4159 0 0 0 146 3 0 0 25 0 1 0 86768567 18288640 4016 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 4465 4016 145 303 0 4160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17860

[startup+3.1016 s]
/proc/loadavg: 0.92 0.95 0.90 2/106 26939
/proc/meminfo: memFree=1831704/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=34208 CPUtime=3.09
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 8238 0 0 0 303 6 0 0 25 0 1 0 86768567 35028992 8095 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 8552 8095 145 303 0 8247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34208

[startup+6.30096 s]
/proc/loadavg: 0.93 0.95 0.90 2/106 26941
/proc/meminfo: memFree=1797604/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=66676 CPUtime=6.29
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 16370 0 0 0 616 13 0 0 25 0 1 0 86768567 68276224 16227 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 16669 16227 145 303 0 16364 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66676

[startup+12.7017 s]
/proc/loadavg: 0.93 0.96 0.91 2/106 26942
/proc/meminfo: memFree=1739636/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=120884 CPUtime=12.69
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 29920 0 0 0 1245 24 0 0 25 0 1 0 86768567 123785216 29777 1992294400 134512640 135752675 4291821904 18446744073709551615 134639393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 30221 29777 145 303 0 29916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120884

[startup+25.5011 s]
/proc/loadavg: 0.95 0.96 0.91 2/106 26942
/proc/meminfo: memFree=1631880/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=225220 CPUtime=25.48
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 56001 0 0 0 2503 45 0 0 25 0 1 0 86768567 230625280 55858 1992294400 134512640 135752675 4291821904 18446744073709551615 134638097 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 56305 55858 145 303 0 56000 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 225220

[startup+51.1009 s]
/proc/loadavg: 0.96 0.96 0.91 2/106 26942
/proc/meminfo: memFree=1469316/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=388924 CPUtime=51.08
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 96909 0 0 0 5031 77 0 0 25 0 1 0 86768567 398258176 96766 1992294400 134512640 135752675 4291821904 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 97231 96766 145 303 0 96926 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 388924

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.91 2/106 26944
/proc/meminfo: memFree=1152620/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=702144 CPUtime=102.27
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 175221 0 0 0 10091 136 0 0 25 0 1 0 86768567 718995456 175078 1992294400 134512640 135752675 4291821904 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 175536 175078 145 303 0 175231 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 702144

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26946
/proc/meminfo: memFree=840512/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1019348 CPUtime=162.25
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 254475 0 0 0 16028 197 0 0 25 0 1 0 86768567 1043812352 254332 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 254837 254332 145 303 0 254532 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1019348

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26948
/proc/meminfo: memFree=721224/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1132048 CPUtime=222.23
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 282754 0 0 0 21959 264 0 0 25 0 1 0 86768567 1159217152 282582 1992294400 134512640 135752675 4291821904 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 283012 282582 146 303 0 282707 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1132048

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26948
/proc/meminfo: memFree=721100/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1132048 CPUtime=282.22
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 282755 0 0 0 27909 313 0 0 25 0 1 0 86768567 1159217152 282583 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 283012 282583 146 303 0 282707 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1132048

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26950
/proc/meminfo: memFree=686628/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1166600 CPUtime=342.2
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 291505 0 0 0 33839 381 0 0 25 0 1 0 86768567 1194598400 291206 1992294400 134512640 135752675 4291821904 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 291650 291206 146 303 0 291345 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1166600

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26952
/proc/meminfo: memFree=642608/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1211304 CPUtime=402.18
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 302607 0 0 0 39796 422 0 0 25 0 1 0 86768567 1240375296 302308 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 302826 302308 146 303 0 302521 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1211304

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26954
/proc/meminfo: memFree=580980/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1272952 CPUtime=462.17
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 317970 0 0 0 45744 473 0 0 25 0 1 0 86768567 1303502848 317671 1992294400 134512640 135752675 4291821904 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 318238 317671 146 303 0 317933 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1272952

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26954
/proc/meminfo: memFree=514640/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1339240 CPUtime=522.16
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 334520 0 0 0 51685 531 0 0 25 0 1 0 86768567 1371381760 334221 1992294400 134512640 135752675 4291821904 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 334810 334221 146 303 0 334505 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1339240

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26956
/proc/meminfo: memFree=469504/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1384124 CPUtime=582.14
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 345722 0 0 0 57648 566 0 0 25 0 1 0 86768567 1417342976 345423 1992294400 134512640 135752675 4291821904 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 346031 345423 146 303 0 345726 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1384124

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26958
/proc/meminfo: memFree=419904/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1433196 CPUtime=642.13
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 357967 0 0 0 63608 605 0 0 25 0 1 0 86768567 1467592704 357668 1992294400 134512640 135752675 4291821904 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 358299 357668 146 303 0 357994 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1433196

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26960
/proc/meminfo: memFree=367204/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1485996 CPUtime=702.11
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 371142 0 0 0 69560 651 0 0 25 0 1 0 86768567 1521659904 370843 1992294400 134512640 135752675 4291821904 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 371499 370843 146 303 0 371194 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1485996

[startup+762.308 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26962
/proc/meminfo: memFree=326532/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1526516 CPUtime=762.1
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 381205 0 0 0 75520 690 0 0 25 0 1 0 86768567 1563152384 380906 1992294400 134512640 135752675 4291821904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 381629 380906 146 303 0 381324 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1526516

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26962
/proc/meminfo: memFree=290324/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1562844 CPUtime=822.07
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 390299 0 0 0 81485 722 0 0 25 0 1 0 86768567 1600352256 390000 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 390711 390000 146 303 0 390406 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 1562844

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26964
/proc/meminfo: memFree=260068/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1593128 CPUtime=882.06
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 397823 0 0 0 87456 750 0 0 25 0 1 0 86768567 1631363072 397524 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 398282 397524 146 303 0 397977 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1593128

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26966
/proc/meminfo: memFree=215552/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1638032 CPUtime=942.04
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 409025 0 0 0 93417 787 0 0 25 0 1 0 86768567 1677344768 408726 1992294400 134512640 135752675 4291821904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 409508 408726 146 303 0 409203 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1638032

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26968
/proc/meminfo: memFree=178228/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1674796 CPUtime=1002.03
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 418220 0 0 0 99384 819 0 0 25 0 1 0 86768567 1714991104 417921 1992294400 134512640 135752675 4291821904 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 418699 417921 146 303 0 418394 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1674796

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26970
/proc/meminfo: memFree=134084/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1719384 CPUtime=1062.01
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 429355 0 0 0 105345 856 0 0 25 0 1 0 86768567 1760649216 429056 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 429846 429056 146 303 0 429541 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1719384

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26970
/proc/meminfo: memFree=101348/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1751596 CPUtime=1122
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 437346 0 0 0 111310 890 0 0 25 0 1 0 86768567 1793634304 437047 1992294400 134512640 135752675 4291821904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 437899 437047 146 303 0 437594 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1751596

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26972
/proc/meminfo: memFree=84236/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1768156 CPUtime=1181.98
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 441813 0 0 0 117271 927 0 0 25 0 1 0 86768567 1810591744 441514 1992294400 134512640 135752675 4291821904 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 442039 441514 146 303 0 441734 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1768156

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 26974
/proc/meminfo: memFree=39596/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1811956 CPUtime=1241.97
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 452749 0 0 0 123235 962 0 0 25 0 1 0 86768567 1855442944 452450 1992294400 134512640 135752675 4291821904 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 452989 452450 146 303 0 452684 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1811956



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1279.2 s]
/proc/loadavg: 1.07 0.99 0.91 2/106 26976
/proc/meminfo: memFree=10264/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=1843252 CPUtime=1278.87
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4202496 460532 0 0 0 126897 990 0 0 25 0 1 0 86768567 1887490048 460233 1992294400 134512640 135752675 4291821904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26938/statm: 460813 460233 146 303 0 460508 0
Current children cumulated CPU time (s) 1278.87
Current children cumulated vsize (KiB) 1843252

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

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

[startup+1279.32 s]
/proc/loadavg: 1.07 0.99 0.91 2/106 26976
/proc/meminfo: memFree=10264/2059040 swapFree=4139944/4192956
[pid=26938] ppid=26936 vsize=0 CPUtime=1278.97
/proc/26938/stat : 26938 (wbo1.4b) R 26936 26938 26658 0 -1 4203524 460532 0 0 0 126897 1000 0 0 25 0 1 0 86768567 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26938/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1278.97
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1279.38
CPU time (s): 1279.03
CPU user time (s): 1268.97
CPU system time (s): 10.0595
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1843252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1268.97
system time used= 10.0595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460532
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= 75
involuntary context switches= 4374

runsolver used 2.16067 second user time and 6.06908 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-25 10:32:30
IDJOB=2680542
IDBENCH=2207
IDSOLVER=1190
FILE ID=node087/2680542-1277454750
PBS_JOBID= 11188103
Free space on /tmp= 62460 MiB

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

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

MD5SUM BENCH= bad507f566306ee26a0781c0a8fac473
RANDOM SEED=283579043

node087.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.213
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.42
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.213
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854312 kB
Buffers:         29672 kB
Cached:          82480 kB
SwapCached:       5436 kB
Active:          23892 kB
Inactive:       101308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854312 kB
SwapTotal:     4192956 kB
SwapFree:      4139944 kB
Dirty:            3152 kB
Writeback:           4 kB
AnonPages:       11668 kB
Mapped:          12000 kB
Slab:            57532 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182212 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= 62456 MiB
End job on node087 at 2010-06-25 10:53:52