Trace number 2680483

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)? (TO) 1800.16 1800.6

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM8fb889bdb08324a2b9780b5ff988846e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000
Total number of constraints5250
Number of constraints which are clauses5250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 2000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2000
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680483-1277453517.opb.
0.00/0.00	c Instance file HOME/instance-2680483-1277453517.opb
0.00/0.00	c File size is 179470 bytes.
0.00/0.03	c Highest Coefficient sum: 4
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:      2000                                                |
0.00/0.03	c |  Number Clauses:        5250                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2000     5250    14750 |     5000        0    nan |  0.000 % |
0.00/0.04	c |       100 |    2000     5250    14750 |     5500      100     40 |  0.000 % |
0.00/0.06	c |       250 |    2000     5250    14750 |     6050      250     35 |  0.000 % |
0.06/0.08	c |       476 |    2000     5250    14750 |     6655      476     35 |  0.000 % |
0.09/0.12	c |       813 |    2000     5250    14750 |     7320      813     36 |  0.000 % |
0.09/0.18	c |      1322 |    2000     5250    14750 |     8052     1322     37 |  0.000 % |
0.19/0.28	c |      2083 |    2000     5250    14750 |     8857     2083     37 |  0.000 % |
0.40/0.44	c |      3222 |    2000     5250    14750 |     9743     3222     39 |  0.000 % |
0.69/0.71	c |      4930 |    2000     5250    14750 |    10717     4930     40 |  0.000 % |
1.09/1.17	c |      7492 |    2000     5250    14750 |    11789     7492     41 |  0.000 % |
1.99/2.03	c |     11337 |    2000     5250    14750 |    12968    11337     43 |  0.000 % |
3.39/3.42	c |     17103 |    2000     5250    14750 |    14265    10509     44 |  0.000 % |
5.50/5.59	c |     25752 |    2000     5250    14750 |    15692    11881     40 |  0.000 % |
9.39/9.47	c |     38726 |    2000     5250    14750 |    17261     8956     42 |  0.000 % |
16.28/16.35	c |     58188 |    2000     5250    14750 |    18987    10984     42 |  0.000 % |
28.49/28.57	c |     87380 |    2000     5250    14750 |    20886    11392     40 |  0.000 % |
46.38/46.48	c |    131170 |    2000     5250    14750 |    22974    12973     39 |  0.000 % |
76.78/76.89	c |    196854 |    2000     5250    14750 |    25272    20584     43 |  0.000 % |
128.15/128.28	c |    295382 |    2000     5250    14750 |    27799    15048     42 |  0.000 % |
181.15/181.27	c There are 0 assigned variables. 0 in cost function.
182.04/182.12	c core #1
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 1
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #2
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 2
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #3
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 3
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #4
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 4
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #5
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 5
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #6
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 6
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #7
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 7
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #8
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 8
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #9
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 9
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #10
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 10
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #11
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 11
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #12
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 12
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #13
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 13
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #14
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 14
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #15
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 15
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #16
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 16
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #17
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 17
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #18
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 18
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #19
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 19
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #20
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 20
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #21
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 21
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #22
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 22
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #23
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 23
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #24
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 24
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #25
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 25
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #26
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 26
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #27
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 27
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #28
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 28
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #29
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 29
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #30
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 30
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #31
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 31
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #32
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 32
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #33
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 33
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #34
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 34
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #35
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 35
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #36
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 36
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #37
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 37
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #38
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 38
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #39
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 39
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #40
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 40
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #41
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 41
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #42
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 42
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #43
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 43
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #44
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 44
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #45
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 45
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #46
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 46
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #47
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 47
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #48
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 48
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #49
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 49
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #50
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 50
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #51
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 51
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #52
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 52
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #53
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 53
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #54
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 54
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #55
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 55
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #56
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 56
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #57
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 57
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #58
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 58
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #59
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 59
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #60
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 60
182.04/182.12	c
182.04/182.12	c
182.04/182.12	c core #61
182.04/182.12	c 
182.04/182.12	c 
182.04/182.12	c Core size: 4	Core Weight: 1	Total Weight: 61
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #62
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 62
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #63
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 63
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #64
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 64
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #65
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 65
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #66
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 66
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #67
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 67
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #68
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 68
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #69
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 69
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #70
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 70
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #71
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 71
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #72
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 72
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #73
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 73
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #74
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 74
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #75
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 75
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #76
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 76
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #77
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 77
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #78
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 78
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #79
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 79
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #80
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 80
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #81
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 81
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #82
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 82
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #83
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 83
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #84
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 84
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #85
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 85
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #86
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 86
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #87
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 87
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #88
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 88
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #89
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 89
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #90
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 90
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #91
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 91
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #92
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 92
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #93
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 93
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #94
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 94
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #95
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 95
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #96
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 96
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #97
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 97
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #98
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 98
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #99
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 99
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #100
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 100
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #101
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 101
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #102
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 102
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #103
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 103
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #104
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 104
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #105
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 105
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #106
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 106
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #107
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 107
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #108
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 108
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #109
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 109
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #110
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 110
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #111
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 111
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #112
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 112
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #113
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 113
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #114
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 114
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #115
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 115
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #116
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 116
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #117
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 117
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #118
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 118
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #119
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 119
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #120
182.55/182.66	c 
182.55/182.66	c 
182.55/182.66	c Core size: 4	Core Weight: 1	Total Weight: 120
182.55/182.66	c
182.55/182.66	c
182.55/182.66	c core #121
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 121
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #122
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 122
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #123
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 123
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #124
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 124
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #125
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 125
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #126
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 126
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #127
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 127
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #128
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 128
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #129
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 129
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #130
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 130
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #131
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 131
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #132
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 132
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #133
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 133
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #134
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 134
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #135
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 135
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #136
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 136
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #137
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 137
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #138
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 138
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #139
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 139
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #140
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 140
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #141
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 141
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #142
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 142
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #143
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 143
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #144
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 144
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #145
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 145
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #146
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 146
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #147
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 147
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #148
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 148
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #149
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 149
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #150
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 150
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #151
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 151
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #152
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 152
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #153
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 153
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #154
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 154
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #155
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 155
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #156
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 156
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #157
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 157
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #158
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 158
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #159
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 159
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #160
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 160
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #161
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 161
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #162
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 162
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #163
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 163
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #164
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 164
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #165
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 165
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #166
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 166
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #167
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 167
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #168
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 168
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #169
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 169
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #170
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 170
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #171
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 171
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #172
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 172
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #173
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 173
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #174
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 174
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #175
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 175
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #176
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 176
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #177
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 177
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #178
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 178
183.14/183.22	c
183.14/183.22	c
183.14/183.22	c core #179
183.14/183.22	c 
183.14/183.22	c 
183.14/183.22	c Core size: 4	Core Weight: 1	Total Weight: 179
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #180
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 180
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #181
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 181
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #182
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 182
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #183
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 183
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #184
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 184
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #185
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 185
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #186
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 186
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #187
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 187
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #188
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 188
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #189
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 189
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #190
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 190
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #191
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 191
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #192
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 192
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #193
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 193
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #194
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 194
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #195
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 195
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #196
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 196
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #197
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 197
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #198
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 198
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #199
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 199
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #200
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 200
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #201
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 201
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #202
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 202
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #203
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 203
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #204
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 204
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #205
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 205
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #206
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 206
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #207
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 207
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #208
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 208
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #209
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 209
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #210
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 210
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #211
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 211
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #212
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 212
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #213
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 213
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #214
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 214
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #215
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 215
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #216
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 216
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #217
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 217
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #218
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 218
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #219
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 219
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #220
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 220
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #221
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 221
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #222
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 222
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #223
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 223
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #224
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 224
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #225
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 225
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #226
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 226
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #227
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 227
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #228
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 228
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #229
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 229
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #230
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 230
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #231
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 231
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #232
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 232
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #233
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 233
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #234
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 234
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #235
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 235
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #236
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 236
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #237
183.74/183.82	c 
183.74/183.82	c 
183.74/183.82	c Core size: 4	Core Weight: 1	Total Weight: 237
183.74/183.82	c
183.74/183.82	c
183.74/183.82	c core #238
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 238
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #239
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 239
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #240
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 240
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #241
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 241
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #242
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 242
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #243
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 243
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #244
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 244
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #245
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 245
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #246
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 246
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #247
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 247
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #248
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 248
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #249
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 249
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #250
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 250
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #251
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 251
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #252
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 252
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #253
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 253
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #254
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 254
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #255
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 255
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #256
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 256
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #257
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 257
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #258
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 258
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #259
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 259
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #260
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 260
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #261
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 261
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #262
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 262
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #263
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 263
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #264
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 264
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #265
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 265
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #266
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 266
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #267
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 267
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #268
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 268
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #269
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 269
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #270
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 270
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #271
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 271
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #272
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 272
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #273
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 273
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #274
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 274
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #275
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 275
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #276
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 276
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #277
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 277
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #278
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 278
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #279
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 279
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #280
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 280
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #281
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 281
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #282
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 282
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #283
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 283
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #284
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 284
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #285
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 285
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #286
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 286
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #287
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 287
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #288
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 288
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #289
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 289
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #290
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 290
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #291
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 291
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #292
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 292
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #293
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 293
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #294
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 294
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #295
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 295
184.35/184.45	c
184.35/184.45	c
184.35/184.45	c core #296
184.35/184.45	c 
184.35/184.45	c 
184.35/184.45	c Core size: 4	Core Weight: 1	Total Weight: 296
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #297
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 297
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #298
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 298
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #299
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 299
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #300
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 300
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #301
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 301
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #302
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 302
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #303
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 303
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #304
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 304
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #305
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 305
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #306
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 306
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #307
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 307
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #308
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 308
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #309
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 309
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #310
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 310
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #311
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 311
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #312
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 312
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #313
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 313
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #314
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 314
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #315
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 315
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #316
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 316
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #317
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 317
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #318
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 318
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #319
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 319
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #320
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 320
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #321
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 321
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #322
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 322
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #323
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 323
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #324
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 324
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #325
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 325
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #326
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 326
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #327
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 327
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #328
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 328
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #329
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 329
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #330
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 330
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #331
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 331
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #332
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 332
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #333
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 333
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #334
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 334
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #335
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 335
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #336
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 336
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #337
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 337
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #338
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 338
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #339
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 339
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #340
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 340
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #341
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 341
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #342
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 342
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #343
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 343
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #344
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 344
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #345
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 345
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #346
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 346
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #347
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 347
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #348
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 348
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #349
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 349
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #350
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 350
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #351
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 351
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #352
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 352
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #353
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 353
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #354
185.05/185.13	c 
185.05/185.13	c 
185.05/185.13	c Core size: 4	Core Weight: 1	Total Weight: 354
185.05/185.13	c
185.05/185.13	c
185.05/185.13	c core #355
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 355
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #356
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 356
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #357
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 357
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #358
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 358
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #359
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 359
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #360
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 360
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #361
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 361
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #362
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 362
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #363
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 363
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #364
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 364
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #365
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 365
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #366
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 366
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #367
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 367
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #368
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 368
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #369
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 369
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #370
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 370
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #371
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 371
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #372
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 372
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #373
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 373
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #374
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 374
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #375
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 375
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #376
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 376
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #377
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 377
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #378
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 378
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #379
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 379
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #380
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 380
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #381
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 381
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #382
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 382
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #383
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 383
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #384
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 384
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #385
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 385
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #386
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 386
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #387
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 387
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #388
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 388
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #389
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 389
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #390
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 390
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #391
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 391
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #392
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 392
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #393
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 393
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #394
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 394
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #395
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 395
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #396
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 396
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #397
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 397
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #398
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 398
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #399
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 399
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #400
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 400
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #401
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 401
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #402
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 402
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #403
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 403
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #404
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 404
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #405
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 405
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #406
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 406
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #407
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 407
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #408
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 408
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #409
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 409
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #410
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 410
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #411
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 411
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #412
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 412
185.75/185.84	c
185.75/185.84	c
185.75/185.84	c core #413
185.75/185.84	c 
185.75/185.84	c 
185.75/185.84	c Core size: 4	Core Weight: 1	Total Weight: 413
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #414
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 414
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #415
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 415
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #416
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 416
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #417
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 417
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #418
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 418
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #419
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 419
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #420
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 420
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #421
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 421
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #422
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 422
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #423
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 423
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #424
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 424
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #425
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 425
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #426
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 426
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #427
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 427
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #428
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 428
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #429
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 429
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #430
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 430
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #431
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 431
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #432
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 432
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #433
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 433
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #434
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 434
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #435
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 435
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #436
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 436
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #437
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 437
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #438
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 438
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #439
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 439
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #440
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 440
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #441
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 441
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #442
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 442
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #443
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 443
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #444
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 444
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #445
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 445
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #446
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 446
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #447
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 447
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #448
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 448
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #449
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 449
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #450
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 450
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #451
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 451
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #452
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 452
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #453
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 453
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #454
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 454
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #455
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 455
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #456
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 456
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #457
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 457
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #458
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 458
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #459
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 459
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #460
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 460
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #461
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 461
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #462
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 462
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #463
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 463
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #464
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 464
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #465
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 465
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #466
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 466
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #467
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 467
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #468
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 468
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #469
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 469
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #470
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 470
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #471
186.54/186.62	c 
186.54/186.62	c 
186.54/186.62	c Core size: 4	Core Weight: 1	Total Weight: 471
186.54/186.62	c
186.54/186.62	c
186.54/186.62	c core #472
186.54/186.62	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 472
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #473
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 473
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #474
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 474
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #475
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 475
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #476
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 476
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #477
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 477
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #478
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 478
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #479
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 479
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #480
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 480
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #481
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 481
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #482
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 482
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #483
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 483
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #484
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 484
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #485
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 485
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #486
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 486
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #487
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 487
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #488
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 488
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #489
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 489
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #490
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 490
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #491
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 491
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #492
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 492
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #493
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 493
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #494
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 494
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #495
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 495
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #496
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 496
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #497
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 497
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #498
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 498
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #499
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 499
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #500
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 500
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #501
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 4	Core Weight: 1	Total Weight: 501
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #502
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 502
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #503
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 10	Core Weight: 1	Total Weight: 503
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #504
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 504
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #505
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 505
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #506
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 506
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #507
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 13	Core Weight: 1	Total Weight: 507
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #508
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 508
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #509
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 509
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #510
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 10	Core Weight: 1	Total Weight: 510
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #511
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 13	Core Weight: 1	Total Weight: 511
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #512
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 512
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #513
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 10	Core Weight: 1	Total Weight: 513
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #514
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 514
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #515
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 515
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #516
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 516
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #517
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 16	Core Weight: 1	Total Weight: 517
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #518
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 518
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #519
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 25	Core Weight: 1	Total Weight: 519
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #520
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 16	Core Weight: 1	Total Weight: 520
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #521
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 10	Core Weight: 1	Total Weight: 521
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #522
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 522
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #523
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 16	Core Weight: 1	Total Weight: 523
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #524
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 524
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #525
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 7	Core Weight: 1	Total Weight: 525
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #526
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 25	Core Weight: 1	Total Weight: 526
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #527
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 10	Core Weight: 1	Total Weight: 527
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #528
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 47	Core Weight: 1	Total Weight: 528
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #529
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 16	Core Weight: 1	Total Weight: 529
187.34/187.45	c
187.34/187.45	c
187.34/187.45	c core #530
187.34/187.45	c 
187.34/187.45	c 
187.34/187.45	c Core size: 13	Core Weight: 1	Total Weight: 530
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #531
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 46	Core Weight: 1	Total Weight: 531
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #532
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 107	Core Weight: 1	Total Weight: 532
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #533
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 7	Core Weight: 1	Total Weight: 533
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #534
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 203	Core Weight: 1	Total Weight: 534
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #535
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 106	Core Weight: 1	Total Weight: 535
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #536
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 184	Core Weight: 1	Total Weight: 536
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #537
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 147	Core Weight: 1	Total Weight: 537
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #538
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 70	Core Weight: 1	Total Weight: 538
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c core #539
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 25	Core Weight: 1	Total Weight: 539
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c ============================[ Search Statistics ]==============================
187.54/187.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.62	c ===============================================================================
187.54/187.62	c |         0 |    3857     7823    20480 |     5000        0    nan |  0.000 % |
187.54/187.62	c ===============================================================================
187.54/187.63	c core #540
187.54/187.63	c 
187.54/187.63	c 
187.54/187.63	c Core size: 23	Core Weight: 1	Total Weight: 540
187.54/187.63	c
187.54/187.63	c
187.54/187.63	c ============================[ Search Statistics ]==============================
187.54/187.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.63	c ===============================================================================
187.54/187.63	c |         0 |    3883     7824    20527 |     5000        0    nan |  0.000 % |
187.54/187.64	c ===============================================================================
187.54/187.65	c core #541
187.54/187.65	c 
187.54/187.65	c 
187.54/187.65	c Core size: 49	Core Weight: 1	Total Weight: 541
187.54/187.65	c
187.54/187.65	c
187.54/187.65	c ============================[ Search Statistics ]==============================
187.54/187.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.65	c ===============================================================================
187.54/187.65	c |         0 |    3927     7825    20623 |     5000        0    nan |  0.000 % |
187.54/187.66	c ===============================================================================
187.54/187.67	c core #542
187.54/187.67	c 
187.54/187.67	c 
187.54/187.67	c Core size: 66	Core Weight: 1	Total Weight: 542
187.54/187.67	c
187.54/187.67	c
187.54/187.67	c ============================[ Search Statistics ]==============================
187.54/187.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.67	c ===============================================================================
187.54/187.67	c |         0 |    3986     7826    20753 |     5000        0    nan |  0.000 % |
187.54/187.68	c ===============================================================================
187.54/187.69	c core #543
187.54/187.69	c 
187.54/187.69	c 
187.54/187.69	c Core size: 77	Core Weight: 1	Total Weight: 543
187.54/187.69	c
187.54/187.69	c
187.54/187.69	c ============================[ Search Statistics ]==============================
187.54/187.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.69	c ===============================================================================
187.54/187.69	c |         0 |    4055     7827    20901 |     5000        0    nan |  0.000 % |
187.64/187.70	c ===============================================================================
187.64/187.72	c core #544
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 72	Core Weight: 1	Total Weight: 544
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c ============================[ Search Statistics ]==============================
187.64/187.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.72	c ===============================================================================
187.64/187.72	c |         0 |    4123     7828    21046 |     5000        0    nan |  0.000 % |
187.64/187.73	c ===============================================================================
187.64/187.75	c core #545
187.64/187.75	c 
187.64/187.75	c 
187.64/187.75	c Core size: 335	Core Weight: 1	Total Weight: 545
187.64/187.75	c
187.64/187.75	c
187.64/187.75	c ============================[ Search Statistics ]==============================
187.64/187.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.75	c ===============================================================================
187.64/187.75	c |         0 |    4473     7829    21773 |     5000        0    nan |  0.000 % |
187.64/187.76	c ===============================================================================
187.64/187.78	c core #546
187.64/187.78	c 
187.64/187.78	c 
187.64/187.78	c Core size: 220	Core Weight: 1	Total Weight: 546
187.64/187.78	c
187.64/187.78	c
187.64/187.78	c ============================[ Search Statistics ]==============================
187.64/187.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.78	c ===============================================================================
187.64/187.78	c |         0 |    4688     7830    22211 |     5000        0    nan |  0.000 % |
187.74/187.80	c |       102 |    4688     7830    22211 |     5500      102     18 |  0.361 % |
187.74/187.83	c |       252 |    4688     7830    22211 |     6050      252     14 |  0.361 % |
187.74/187.86	c |       479 |    4688     7830    22211 |     6655      479     13 |  0.361 % |
187.74/187.89	c ===============================================================================
187.84/187.91	c core #547
187.84/187.91	c 
187.84/187.91	c 
187.84/187.91	c Core size: 741	Core Weight: 1	Total Weight: 547
187.84/187.91	c
187.84/187.91	c
187.84/187.91	c ============================[ Search Statistics ]==============================
187.84/187.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.84/187.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.84/187.91	c ===============================================================================
187.84/187.91	c |         0 |    5421     7832    23693 |     5000        0    nan |  0.000 % |
187.84/187.94	c |       101 |    5421     7832    23693 |     5500      101     25 |  0.074 % |
187.84/187.97	c |       257 |    5421     7832    23693 |     6050      257     21 |  0.074 % |
187.96/188.03	c |       484 |    5421     7832    23693 |     6655      484     21 |  0.074 % |
188.05/188.12	c |       821 |    5421     7832    23693 |     7320      821     23 |  0.074 % |
188.15/188.26	c |      1330 |    5421     7832    23693 |     8052     1330     22 |  0.074 % |
188.34/188.45	c |      2089 |    5421     7832    23693 |     8857     2089     21 |  0.074 % |
188.54/188.69	c |      3228 |    5421     7832    23693 |     9743     3228     22 |  0.074 % |
188.95/189.08	c |      4937 |    5421     7832    23693 |    10717     4937     22 |  0.074 % |
189.75/189.82	c |      7500 |    5421     7832    23693 |    11789     7500     22 |  0.074 % |
190.84/190.99	c |     11344 |    5385     7832    23693 |    12968     7754     19 |  0.737 % |
191.05/191.12	c ===============================================================================
191.15/191.29	c core #548
191.15/191.29	c 
191.15/191.29	c 
191.15/191.29	c Core size: 1634	Core Weight: 1	Total Weight: 548
191.15/191.29	c
191.15/191.29	c
191.15/191.29	c ============================[ Search Statistics ]==============================
191.15/191.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.15/191.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.15/191.29	c ===============================================================================
191.15/191.29	c |         0 |    7047     7835    26953 |     5000        0    nan |  0.000 % |
191.25/191.33	c |       101 |    7047     7835    26953 |     5500      101    108 |  0.028 % |
191.25/191.38	c |       251 |    7047     7835    26953 |     6050      251     70 |  0.028 % |
191.35/191.49	c |       476 |    7047     7835    26953 |     6655      476     49 |  0.028 % |
191.54/191.64	c |       814 |    7047     7835    26953 |     7320      814     38 |  0.028 % |
191.74/191.85	c |      1320 |    7047     7835    26953 |     8052     1320     31 |  0.028 % |
192.15/192.25	c |      2079 |    7047     7835    26953 |     8857     2079     28 |  0.028 % |
192.74/192.89	c |      3220 |    7047     7835    26953 |     9743     3220     30 |  0.028 % |
193.64/193.78	c |      4928 |    7047     7835    26953 |    10717     4928     32 |  0.028 % |
195.24/195.39	c |      7490 |    7047     7835    26953 |    11789     7490     34 |  0.028 % |
198.05/198.15	c |     11334 |    7047     7835    26953 |    12968    11334     38 |  0.028 % |
202.35/202.41	c |     17101 |    7047     7835    26953 |    14265    10515     49 |  0.028 % |
208.04/208.19	c |     25750 |    7047     7835    26953 |    15692    11975     50 |  0.028 % |
216.44/216.54	c |     38728 |    7047     7835    26953 |    17261     8958     63 |  0.028 % |
231.64/231.78	c |     58190 |    7047     7835    26953 |    18987    10864     60 |  0.028 % |
256.73/256.89	c |     87383 |    7047     7835    26953 |    20886    11263     57 |  0.028 % |
296.82/296.97	c |    131175 |    7047     7835    26953 |    22974    12537     72 |  0.028 % |
357.31/357.45	c |    196863 |    7045     7835    26953 |    25272    20931     51 |  0.057 % |
419.99/420.11	c ===============================================================================
424.99/425.14	c core #549
424.99/425.14	c 
424.99/425.14	c 
424.99/425.14	c Core size: 1885	Core Weight: 1	Total Weight: 549
424.99/425.14	c
424.99/425.14	c
424.99/425.14	c ============================[ Search Statistics ]==============================
424.99/425.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
424.99/425.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
424.99/425.14	c ===============================================================================
424.99/425.14	c |         0 |    8923     7838    30712 |     5000        0    nan |  0.000 % |
425.08/425.27	c |       101 |    8923     7838    30712 |     5500      101    265 |  0.011 % |
425.18/425.36	c |       251 |    8923     7838    30712 |     6050      251    157 |  0.011 % |
425.38/425.52	c |       477 |    8923     7838    30712 |     6655      477    104 |  0.011 % |
425.50/425.66	c |       815 |    8923     7838    30712 |     7320      815     78 |  0.011 % |
425.69/425.89	c |      1323 |    8923     7838    30712 |     8052     1323     61 |  0.011 % |
426.08/426.21	c |      2087 |    8923     7838    30712 |     8857     2087     63 |  0.011 % |
426.99/427.12	c |      3226 |    8923     7838    30712 |     9743     3226     73 |  0.011 % |
427.98/428.12	c |      4934 |    8923     7838    30712 |    10717     4934     70 |  0.011 % |
429.69/429.84	c |      7496 |    8923     7838    30712 |    11789     7496     74 |  0.011 % |
432.28/432.48	c |     11340 |    8923     7838    30712 |    12968    11340     74 |  0.011 % |
437.08/437.22	c |     17106 |    8923     7838    30712 |    14265    10573     73 |  0.011 % |
443.58/443.79	c |     25757 |    8923     7838    30712 |    15692    12004     67 |  0.011 % |
454.18/454.40	c |     38732 |    8923     7838    30712 |    17261     9211    101 |  0.011 % |
470.48/470.62	c |     58195 |    8923     7838    30712 |    18987    11040    115 |  0.011 % |
504.78/504.91	c |     87389 |    8923     7838    30712 |    20886    11491    159 |  0.011 % |
561.45/561.63	c |    131179 |    8923     7838    30712 |    22974    12752    191 |  0.011 % |
652.44/652.65	c |    196865 |    8923     7838    30712 |    25272    17325    154 |  0.011 % |
792.30/792.57	c |    295391 |    8923     7838    30712 |    27799    22596    140 |  0.011 % |
1034.85/1035.11	c |    443180 |    8923     7838    30712 |    30579    18967    235 |  0.011 % |
1411.55/1411.91	c |    664863 |    8923     7838    30712 |    33637    30622    143 |  0.011 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680483-1277453517/watcher-2680483-1277453517 -o /tmp/evaluation-result-2680483-1277453517/solver-2680483-1277453517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680483-1277453517.opb 

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


[startup+0 s]
/proc/loadavg: 1.10 1.05 0.84 3/107 22265
/proc/meminfo: memFree=1836672/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=3052 CPUtime=0
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 345 0 0 0 0 0 0 0 18 0 1 0 119007473 3125248 263 1992294400 134512640 135752675 4291096352 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 763 264 139 303 0 414 0

[startup+0.0714481 s]
/proc/loadavg: 1.10 1.05 0.84 3/107 22265
/proc/meminfo: memFree=1836672/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=3544 CPUtime=0.06
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 568 0 0 0 6 0 0 0 21 0 1 0 119007473 3629056 442 1992294400 134512640 135752675 4291096352 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 886 442 145 303 0 581 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3544

[startup+0.10145 s]
/proc/loadavg: 1.10 1.05 0.84 3/107 22265
/proc/meminfo: memFree=1836672/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=3544 CPUtime=0.09
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 568 0 0 0 9 0 0 0 21 0 1 0 119007473 3629056 442 1992294400 134512640 135752675 4291096352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 886 442 145 303 0 581 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3544

[startup+0.301468 s]
/proc/loadavg: 1.10 1.05 0.84 3/107 22265
/proc/meminfo: memFree=1836672/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=3676 CPUtime=0.3
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 618 0 0 0 29 1 0 0 21 0 1 0 119007473 3764224 492 1992294400 134512640 135752675 4291096352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 919 492 145 303 0 614 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3676

[startup+0.701503 s]
/proc/loadavg: 1.10 1.05 0.84 3/107 22265
/proc/meminfo: memFree=1836672/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=4468 CPUtime=0.69
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 792 0 0 0 68 1 0 0 22 0 1 0 119007473 4575232 666 1992294400 134512640 135752675 4291096352 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 1117 666 145 303 0 812 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4468

[startup+1.50157 s]
/proc/loadavg: 1.10 1.05 0.84 2/108 22266
/proc/meminfo: memFree=1834060/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=5540 CPUtime=1.49
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 1086 0 0 0 147 2 0 0 25 0 1 0 119007473 5672960 960 1992294400 134512640 135752675 4291096352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 1385 960 145 303 0 1080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5540

[startup+3.10072 s]
/proc/loadavg: 1.10 1.05 0.84 2/108 22266
/proc/meminfo: memFree=1832324/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=7388 CPUtime=3.09
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 1543 0 0 0 306 3 0 0 25 0 1 0 119007473 7565312 1417 1992294400 134512640 135752675 4291096352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 1847 1417 145 303 0 1542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7388

[startup+6.301 s]
/proc/loadavg: 1.10 1.05 0.85 2/108 22266
/proc/meminfo: memFree=1828852/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=10556 CPUtime=6.29
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 2334 0 0 0 621 8 0 0 25 0 1 0 119007473 10809344 2208 1992294400 134512640 135752675 4291096352 18446744073709551615 134612070 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 2639 2208 145 303 0 2334 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10556

[startup+12.7006 s]
/proc/loadavg: 1.09 1.05 0.85 2/108 22266
/proc/meminfo: memFree=1823644/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=15440 CPUtime=12.69
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 3559 0 0 0 1255 14 0 0 25 0 1 0 119007473 15810560 3433 1992294400 134512640 135752675 4291096352 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 3860 3433 145 303 0 3555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15440

[startup+25.5017 s]
/proc/loadavg: 1.07 1.04 0.85 2/108 22266
/proc/meminfo: memFree=1814964/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=24108 CPUtime=25.49
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 5708 0 0 0 2526 23 0 0 25 0 1 0 119007473 24686592 5582 1992294400 134512640 135752675 4291096352 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 6027 5582 145 303 0 5722 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24108

[startup+51.101 s]
/proc/loadavg: 1.04 1.04 0.85 2/108 22268
/proc/meminfo: memFree=1799712/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=39436 CPUtime=51.08
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 9561 0 0 0 5064 44 0 0 25 0 1 0 119007473 40382464 9435 1992294400 134512640 135752675 4291096352 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 9859 9435 145 303 0 9554 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39436

[startup+102.309 s]
/proc/loadavg: 1.02 1.03 0.85 2/108 22268
/proc/meminfo: memFree=1771936/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=66812 CPUtime=102.27
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 16375 0 0 0 10150 77 0 0 25 0 1 0 119007473 68415488 16249 1992294400 134512640 135752675 4291096352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 16703 16249 145 303 0 16398 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66812

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 0.86 2/108 22270
/proc/meminfo: memFree=1744284/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=94500 CPUtime=162.25
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 23292 0 0 0 16113 112 0 0 25 0 1 0 119007473 96768000 23166 1992294400 134512640 135752675 4291096352 18446744073709551615 134650426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 23625 23166 145 303 0 23320 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 94500

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.87 2/108 22272
/proc/meminfo: memFree=1726304/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=112244 CPUtime=222.24
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 27773 0 0 0 22078 146 0 0 25 0 1 0 119007473 114937856 27619 1992294400 134512640 135752675 4291096352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 28061 27619 146 303 0 27756 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 112244

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.87 2/108 22274
/proc/meminfo: memFree=1697784/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=141096 CPUtime=282.22
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 34975 0 0 0 28042 180 0 0 25 0 1 0 119007473 144482304 34821 1992294400 134512640 135752675 4291096352 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 35274 34821 146 303 0 34969 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 141096

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.88 2/108 22276
/proc/meminfo: memFree=1674968/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=163448 CPUtime=342.21
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 40578 0 0 0 34015 206 0 0 25 0 1 0 119007473 167370752 40424 1992294400 134512640 135752675 4291096352 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 40862 40424 146 303 0 40557 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 163448

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/108 22276
/proc/meminfo: memFree=1648804/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=190028 CPUtime=402.2
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 47215 0 0 0 39984 236 0 0 25 0 1 0 119007473 194588672 47061 1992294400 134512640 135752675 4291096352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 47507 47061 146 303 0 47202 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 190028

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.89 2/108 22278
/proc/meminfo: memFree=1632188/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=205748 CPUtime=462.18
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 51163 0 0 0 45953 265 0 0 25 0 1 0 119007473 210685952 51009 1992294400 134512640 135752675 4291096352 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 51437 51009 146 303 0 51132 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 205748

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/108 22280
/proc/meminfo: memFree=1597840/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=240552 CPUtime=522.16
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 59858 0 0 0 51924 292 0 0 25 0 1 0 119007473 246325248 59704 1992294400 134512640 135752675 4291096352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 60138 59704 146 303 0 59833 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 240552

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.90 2/108 22282
/proc/meminfo: memFree=1560516/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=277624 CPUtime=582.15
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 69104 0 0 0 57897 318 0 0 25 0 1 0 119007473 284286976 68950 1992294400 134512640 135752675 4291096352 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 69406 68950 146 303 0 69101 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 277624

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22284
/proc/meminfo: memFree=1530756/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=307092 CPUtime=642.14
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 76453 0 0 0 63875 339 0 0 25 0 1 0 119007473 314462208 76299 1992294400 134512640 135752675 4291096352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 76773 76299 146 303 0 76468 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 307092

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22290
/proc/meminfo: memFree=1402168/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=435612 CPUtime=882.08
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 108532 0 0 0 87779 429 0 0 25 0 1 0 119007473 446066688 108378 1992294400 134512640 135752675 4291096352 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 108903 108378 146 303 0 108598 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 435612

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22292
/proc/meminfo: memFree=1366208/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=471960 CPUtime=942.06
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 117622 0 0 0 93753 453 0 0 25 0 1 0 119007473 483287040 117468 1992294400 134512640 135752675 4291096352 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 117990 117468 146 303 0 117685 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 471960

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22292
/proc/meminfo: memFree=1336820/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=500976 CPUtime=1002.05
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 124855 0 0 0 99731 474 0 0 25 0 1 0 119007473 512999424 124701 1992294400 134512640 135752675 4291096352 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 125244 124701 146 303 0 124939 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 500976

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22294
/proc/meminfo: memFree=1306564/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=531492 CPUtime=1062.03
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 132479 0 0 0 105712 491 0 0 25 0 1 0 119007473 544247808 132325 1992294400 134512640 135752675 4291096352 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 132873 132325 146 303 0 132568 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 531492

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22296
/proc/meminfo: memFree=1277052/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=560424 CPUtime=1122.02
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 139725 0 0 0 111694 508 0 0 25 0 1 0 119007473 573874176 139571 1992294400 134512640 135752675 4291096352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 140106 139571 146 303 0 139801 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 560424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22298
/proc/meminfo: memFree=1240844/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=596948 CPUtime=1182
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 148832 0 0 0 117673 527 0 0 25 0 1 0 119007473 611274752 148678 1992294400 134512640 135752675 4291096352 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 149237 148678 146 303 0 148932 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 596948

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22300
/proc/meminfo: memFree=1206372/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=630968 CPUtime=1241.99
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 157321 0 0 0 123648 551 0 0 25 0 1 0 119007473 646111232 157167 1992294400 134512640 135752675 4291096352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 157742 157167 146 303 0 157437 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 630968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22300
/proc/meminfo: memFree=1176240/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=660780 CPUtime=1301.98
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 164750 0 0 0 129629 569 0 0 25 0 1 0 119007473 676638720 164596 1992294400 134512640 135752675 4291096352 18446744073709551615 134639530 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 165195 164596 146 303 0 164890 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 660780

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22302
/proc/meminfo: memFree=1145860/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=691368 CPUtime=1361.96
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 172396 0 0 0 135605 591 0 0 25 0 1 0 119007473 707960832 172242 1992294400 134512640 135752675 4291096352 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 172842 172242 146 303 0 172537 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 691368

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22304
/proc/meminfo: memFree=1110768/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=726284 CPUtime=1421.95
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 181138 0 0 0 141576 619 0 0 25 0 1 0 119007473 743714816 180984 1992294400 134512640 135752675 4291096352 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 181571 180984 146 303 0 181266 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 726284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22306
/proc/meminfo: memFree=1079148/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=758252 CPUtime=1481.94
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 189120 0 0 0 147551 643 0 0 25 0 1 0 119007473 776450048 188966 1992294400 134512640 135752675 4291096352 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 189563 188966 146 303 0 189258 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 758252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 22308
/proc/meminfo: memFree=1047156/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=789916 CPUtime=1541.91
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 197022 0 0 0 153526 665 0 0 25 0 1 0 119007473 808873984 196868 1992294400 134512640 135752675 4291096352 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 197479 196868 146 303 0 197174 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 789916

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 0.91 2/108 22311
/proc/meminfo: memFree=983984/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=822268 CPUtime=1601.9
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 205074 0 0 0 159504 686 0 0 25 0 1 0 119007473 842002432 204920 1992294400 134512640 135752675 4291096352 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 205567 204920 146 303 0 205262 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 822268

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 0.91 2/108 22313
/proc/meminfo: memFree=949512/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=856528 CPUtime=1661.88
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 213655 0 0 0 165478 710 0 0 25 0 1 0 119007473 877084672 213501 1992294400 134512640 135752675 4291096352 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 214132 213501 146 303 0 213827 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 856528

[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 0.92 2/108 22315
/proc/meminfo: memFree=909708/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=896848 CPUtime=1721.87
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 223711 0 0 0 171453 734 0 0 25 0 1 0 119007473 918372352 223557 1992294400 134512640 135752675 4291096352 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 224212 223557 146 303 0 223907 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 896848

[startup+1782.3 s]
/proc/loadavg: 1.08 1.03 0.93 2/108 22317
/proc/meminfo: memFree=874120/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=932000 CPUtime=1781.85
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 232480 0 0 0 177429 756 0 0 25 0 1 0 119007473 954368000 232326 1992294400 134512640 135752675 4291096352 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 233000 232326 146 303 0 232695 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 932000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.06 1.03 0.93 2/108 22317
/proc/meminfo: memFree=861844/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=944060 CPUtime=1800.06
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 235501 0 0 0 179242 764 0 0 25 0 1 0 119007473 966717440 235347 1992294400 134512640 135752675 4291096352 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 236015 235347 146 303 0 235710 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 944060

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

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

[startup+1800.5 s]
/proc/loadavg: 1.06 1.03 0.93 2/108 22317
/proc/meminfo: memFree=861844/2059040 swapFree=4139780/4192956
[pid=22265] ppid=22263 vsize=944060 CPUtime=1800.06
/proc/22265/stat : 22265 (wbo1.4b) R 22263 22265 22155 0 -1 4202496 235501 0 0 0 179242 764 0 0 25 0 1 0 119007473 966717440 235347 1992294400 134512640 135752675 4291096352 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22265/statm: 236015 235347 146 303 0 235710 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 944060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.6
CPU time (s): 1800.16
CPU user time (s): 1792.42
CPU system time (s): 7.73882
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 944060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.42
system time used= 7.73882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235501
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= 6
involuntary context switches= 23798

runsolver used 2.92056 second user time and 8.59369 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-25 10:11:57
IDJOB=2680483
IDBENCH=2075
IDSOLVER=1190
FILE ID=node025/2680483-1277453517
PBS_JOBID= 11188139
Free space on /tmp= 62324 MiB

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

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

MD5SUM BENCH= 8fb889bdb08324a2b9780b5ff988846e
RANDOM SEED=1504451790

node025.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.242
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.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837440 kB
Buffers:         25080 kB
Cached:          91604 kB
SwapCached:       5912 kB
Active:          22496 kB
Inactive:       107600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837440 kB
SwapTotal:     4192956 kB
SwapFree:      4139780 kB
Dirty:            2764 kB
Writeback:           0 kB
AnonPages:       12208 kB
Mapped:          11916 kB
Slab:            69484 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184900 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= 62324 MiB
End job on node025 at 2010-06-25 10:42:00