Trace number 2680780

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.21 1800.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM5468ba071d8bcc474bd73dc9f24f6990
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark736
Best CPU time to get the best result obtained on this benchmark16.7744
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 736
Optimality of the best value was proved YES
Number of variables1518
Total number of constraints21621
Number of constraints which are clauses21621
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 constraint32
Number of terms in the objective function 1518
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 1518
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 1518
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-2680780-1277453517.opb.
0.00/0.00	c Instance file HOME/instance-2680780-1277453517.opb
0.00/0.00	c File size is 1078491 bytes.
0.09/0.16	c Highest Coefficient sum: 33
0.09/0.16	c ============================[ Problem Statistics ]=============================
0.09/0.16	c |                                                                             |
0.09/0.16	c |  Parsing time:          0.16         s                                      |
0.09/0.16	c |  Number Variables:      1518                                                |
0.09/0.16	c |  Number Clauses:        21621                                               |
0.09/0.16	c |  Number Cardinality:    0                                                   |
0.09/0.16	c |  Number PB Constraints: 0                                                   |
0.29/0.30	c ============================[ Search Statistics ]==============================
0.29/0.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1518    21621   116421 |     7207        0    nan |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 736
0.29/0.30	o 736
0.29/0.30	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 179.701 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |        10 |    1518    21622   117939 |     7207       10     35 |  0.000 % |
0.29/0.33	c |       110 |    1518    21622   117939 |     7928      110     92 |  0.000 % |
0.29/0.36	c |       260 |    1518    21622   117939 |     8720      260     64 |  0.000 % |
0.38/0.42	c |       485 |    1518    21622   117939 |     9592      485     61 |  0.000 % |
0.48/0.51	c |       824 |    1518    21622   117939 |    10552      824     58 |  0.000 % |
0.59/0.65	c |      1332 |    1518    21622   117939 |    11607     1332     54 |  0.000 % |
0.79/0.89	c |      2094 |    1518    21622   117939 |    12768     2094     54 |  0.000 % |
1.19/1.20	c |      3233 |    1518    21622   117939 |    14045     3233    180 |  0.000 % |
1.68/1.75	c |      4942 |    1518    21622   117939 |    15449     4942    353 |  0.000 % |
2.58/2.68	c |      7504 |    1518    21622   117939 |    16994     7504    484 |  0.000 % |
4.29/4.31	c |     11348 |    1516    21622   117939 |    18693    11331    546 |  0.132 % |
6.59/6.66	c |     17114 |    1516    21622   117939 |    20563    17097    609 |  0.132 % |
10.28/10.36	c |     25763 |    1516    21622   117939 |    22619    14400    735 |  0.132 % |
16.88/16.91	c |     38738 |    1516    21622   117939 |    24881    14041    731 |  0.132 % |
31.68/31.78	c |     58200 |    1516    21622   117939 |    27369    18027    736 |  0.132 % |
53.57/53.69	c |     87393 |    1516    21622   117939 |    30106    11417    736 |  0.132 % |
92.16/92.27	c |    131182 |    1516    21622   117939 |    33117    14155    735 |  0.132 % |
147.44/147.52	c |    196867 |    1516    21622   117939 |    36429    32913    736 |  0.132 % |
181.53/181.68	c There are 2 assigned variables. 2 in cost function.
183.83/183.99	c core #1
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 2
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #2
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 3
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #3
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 4
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #4
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 5
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #5
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 6
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #6
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 7
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #7
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 8
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #8
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 9
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #9
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 10
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #10
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 11
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #11
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 12
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #12
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 13
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #13
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 14
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #14
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 15
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #15
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 16
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #16
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 17
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #17
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 18
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #18
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 19
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #19
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 20
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #20
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 21
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #21
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 22
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #22
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 23
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #23
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 24
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #24
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 25
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #25
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 26
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #26
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 27
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #27
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 28
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #28
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 29
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #29
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 30
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #30
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 31
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #31
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 32
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #32
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 33
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #33
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 34
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #34
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 35
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #35
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 36
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #36
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 37
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #37
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 38
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #38
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 39
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #39
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 40
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #40
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 41
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #41
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 42
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #42
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 43
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #43
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 44
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #44
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 45
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #45
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 46
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #46
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 47
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #47
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 48
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #48
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 49
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #49
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 50
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #50
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 51
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #51
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 52
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #52
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 53
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #53
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 54
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #54
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 55
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #55
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 56
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #56
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 57
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #57
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 58
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #58
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 59
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #59
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 60
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #60
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 61
183.83/183.99	c
183.83/183.99	c
183.83/183.99	c core #61
183.83/183.99	c 
183.83/183.99	c 
183.83/183.99	c Core size: 3	Core Weight: 1	Total Weight: 62
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #62
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 63
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #63
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 64
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #64
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 65
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #65
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 66
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #66
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 67
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #67
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 68
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #68
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 69
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #69
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 70
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #70
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 71
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #71
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 72
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #72
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 73
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #73
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 74
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #74
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 75
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #75
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 76
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #76
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 77
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #77
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 78
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #78
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 79
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #79
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 80
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #80
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 81
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #81
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 82
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #82
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 83
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #83
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 84
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #84
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 85
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #85
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 86
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #86
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 87
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #87
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 88
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #88
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 89
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #89
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 90
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #90
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 91
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #91
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 92
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #92
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 93
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #93
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 94
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #94
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 95
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #95
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 96
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #96
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 33	Core Weight: 1	Total Weight: 97
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #97
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 33	Core Weight: 1	Total Weight: 98
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #98
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 33	Core Weight: 1	Total Weight: 99
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #99
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 3	Core Weight: 1	Total Weight: 100
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #100
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 101
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #101
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 102
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #102
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 103
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #103
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 104
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #104
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 105
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #105
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 106
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #106
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 107
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #107
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 108
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #108
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 109
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #109
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 110
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #110
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 111
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #111
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 112
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #112
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 113
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #113
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 114
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #114
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 115
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #115
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 116
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #116
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 117
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #117
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 118
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #118
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 119
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #119
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 120
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #120
186.03/186.10	c 
186.03/186.10	c 
186.03/186.10	c Core size: 4	Core Weight: 1	Total Weight: 121
186.03/186.10	c
186.03/186.10	c
186.03/186.10	c core #121
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 122
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #122
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 123
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #123
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 124
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #124
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 125
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #125
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 126
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #126
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 127
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #127
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 128
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #128
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 129
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #129
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 130
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #130
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 131
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #131
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 132
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #132
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 133
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #133
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 134
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #134
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 135
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #135
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 136
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #136
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 137
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #137
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 138
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #138
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 139
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #139
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 140
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #140
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 141
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #141
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 142
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #142
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 143
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #143
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 144
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #144
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 145
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #145
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 146
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #146
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 147
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #147
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 148
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #148
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 149
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #149
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 150
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #150
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 151
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #151
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 152
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #152
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 153
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #153
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 154
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #154
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 155
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #155
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 156
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #156
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 157
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #157
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 158
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #158
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 159
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #159
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 160
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #160
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 161
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #161
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 162
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #162
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 163
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #163
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 164
188.13/188.30	c
188.13/188.30	c
188.13/188.30	c core #164
188.13/188.30	c 
188.13/188.30	c 
188.13/188.30	c Core size: 4	Core Weight: 1	Total Weight: 165
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #165
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 166
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #166
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 167
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #167
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 168
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #168
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 169
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #169
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 170
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #170
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 171
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #171
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 172
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #172
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 173
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #173
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 174
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #174
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 175
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #175
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 176
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #176
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 177
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #177
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 178
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #178
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 179
188.23/188.30	c
188.23/188.30	c
188.23/188.30	c core #179
188.23/188.30	c 
188.23/188.30	c 
188.23/188.30	c Core size: 4	Core Weight: 1	Total Weight: 180
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #180
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 181
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #181
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 182
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #182
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 183
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #183
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 184
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #184
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 185
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #185
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 186
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #186
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 187
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #187
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 188
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #188
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 189
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #189
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 190
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #190
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 191
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #191
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 192
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #192
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 193
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #193
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 194
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #194
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 195
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #195
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 196
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #196
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 197
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #197
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 198
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #198
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 199
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #199
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 200
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #200
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 201
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #201
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 202
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #202
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 203
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #203
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 204
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #204
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 205
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #205
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 206
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #206
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 207
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #207
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 208
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #208
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 209
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #209
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 210
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #210
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 211
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #211
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 212
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #212
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 213
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #213
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 214
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #214
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 215
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #215
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 216
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #216
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 217
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #217
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 218
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #218
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 219
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #219
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 220
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #220
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 221
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #221
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 222
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #222
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 223
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c core #223
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 4	Core Weight: 1	Total Weight: 224
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #224
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 225
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #225
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 226
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #226
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 227
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #227
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 228
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #228
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 229
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #229
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 230
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #230
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 231
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #231
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 232
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #232
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 233
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #233
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 234
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #234
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 235
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #235
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 236
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #236
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 237
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #237
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 4	Core Weight: 1	Total Weight: 238
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c core #238
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 239
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #239
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 240
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #240
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 241
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #241
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 242
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #242
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 243
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #243
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 244
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #244
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 245
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #245
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 246
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #246
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 247
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #247
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 248
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #248
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 249
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #249
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 250
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #250
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 251
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #251
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 252
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #252
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 253
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #253
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 254
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #254
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 255
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #255
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 256
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #256
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 257
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #257
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 258
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #258
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 259
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #259
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 260
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #260
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 261
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #261
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 262
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #262
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 263
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #263
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 264
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #264
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 265
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #265
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 266
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #266
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 267
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #267
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 268
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #268
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 269
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #269
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 270
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #270
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 271
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #271
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 272
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #272
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 273
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #273
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 274
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #274
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 275
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #275
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 276
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #276
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 277
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #277
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 278
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #278
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 279
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #279
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 280
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #280
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 281
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #281
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 282
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #282
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 283
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #283
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 284
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #284
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 285
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #285
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 286
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #286
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 287
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #287
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 288
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #288
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 4	Core Weight: 1	Total Weight: 289
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #289
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 49	Core Weight: 1	Total Weight: 290
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #290
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 63	Core Weight: 1	Total Weight: 291
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #291
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 67	Core Weight: 1	Total Weight: 292
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #292
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 70	Core Weight: 1	Total Weight: 293
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #293
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 70	Core Weight: 1	Total Weight: 294
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #294
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 68	Core Weight: 1	Total Weight: 295
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #295
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 70	Core Weight: 1	Total Weight: 296
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c core #296
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 69	Core Weight: 1	Total Weight: 297
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #297
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 298
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #298
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 299
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #299
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 67	Core Weight: 1	Total Weight: 300
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #300
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 301
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #301
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 302
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #302
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 303
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #303
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 304
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #304
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 305
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #305
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 67	Core Weight: 1	Total Weight: 306
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #306
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 307
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #307
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 68	Core Weight: 1	Total Weight: 308
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #308
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 309
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #309
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 310
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #310
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 311
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #311
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 312
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #312
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 313
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #313
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 314
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #314
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 315
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #315
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 316
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #316
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 317
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #317
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 318
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #318
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 319
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #319
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 320
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #320
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 50	Core Weight: 1	Total Weight: 321
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #321
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 63	Core Weight: 1	Total Weight: 322
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #322
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 66	Core Weight: 1	Total Weight: 323
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #323
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 324
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #324
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 325
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #325
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 326
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #326
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 73	Core Weight: 1	Total Weight: 327
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #327
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 328
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #328
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 329
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #329
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 330
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #330
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 331
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #331
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 332
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #332
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 333
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #333
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 334
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #334
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 335
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #335
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 336
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #336
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 69	Core Weight: 1	Total Weight: 337
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #337
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 338
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #338
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 70	Core Weight: 1	Total Weight: 339
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #339
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 340
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #340
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 341
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #341
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 342
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #342
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 343
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #343
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 73	Core Weight: 1	Total Weight: 344
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #344
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 345
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #345
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 72	Core Weight: 1	Total Weight: 346
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #346
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 73	Core Weight: 1	Total Weight: 347
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #347
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 348
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #348
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 349
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #349
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 350
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #350
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 71	Core Weight: 1	Total Weight: 351
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #351
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 50	Core Weight: 1	Total Weight: 352
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #352
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 63	Core Weight: 1	Total Weight: 353
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #353
196.13/196.24	c 
196.13/196.24	c 
196.13/196.24	c Core size: 66	Core Weight: 1	Total Weight: 354
196.13/196.24	c
196.13/196.24	c
196.13/196.24	c core #354
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 355
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #355
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 356
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #356
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 357
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #357
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 73	Core Weight: 1	Total Weight: 358
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #358
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 359
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #359
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 360
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #360
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 361
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #361
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 69	Core Weight: 1	Total Weight: 362
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #362
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 363
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #363
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 364
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #364
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 365
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #365
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 366
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #366
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 367
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #367
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 69	Core Weight: 1	Total Weight: 368
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #368
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 369
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #369
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 70	Core Weight: 1	Total Weight: 370
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #370
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 371
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #371
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 372
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #372
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 373
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #373
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 374
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #374
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 73	Core Weight: 1	Total Weight: 375
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #375
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 376
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #376
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 72	Core Weight: 1	Total Weight: 377
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #377
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 73	Core Weight: 1	Total Weight: 378
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #378
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 379
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #379
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 380
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #380
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 381
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #381
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 71	Core Weight: 1	Total Weight: 382
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #382
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 7	Core Weight: 1	Total Weight: 383
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #383
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 7	Core Weight: 1	Total Weight: 384
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c core #384
197.94/198.05	c 
197.94/198.05	c 
197.94/198.05	c Core size: 7	Core Weight: 1	Total Weight: 385
197.94/198.05	c
197.94/198.05	c
197.94/198.05	c ============================[ Search Statistics ]==============================
197.94/198.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.94/198.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.94/198.05	c ===============================================================================
197.94/198.05	c |         0 |    3038    23408   121862 |     7802        0    nan |  0.000 % |
197.94/198.06	c ===============================================================================
198.03/198.10	c core #385
198.03/198.10	c 
198.03/198.10	c 
198.03/198.10	c Core size: 22	Core Weight: 1	Total Weight: 386
198.03/198.10	c
198.03/198.10	c
198.03/198.10	c ============================[ Search Statistics ]==============================
198.03/198.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.03/198.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.03/198.10	c ===============================================================================
198.03/198.10	c |         0 |    3049    23409   121884 |     7803        0    nan |  0.000 % |
198.03/198.11	c ===============================================================================
198.03/198.16	c core #386
198.03/198.16	c 
198.03/198.16	c 
198.03/198.16	c Core size: 73	Core Weight: 1	Total Weight: 387
198.03/198.16	c
198.03/198.16	c
198.03/198.16	c ============================[ Search Statistics ]==============================
198.03/198.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.03/198.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.03/198.16	c ===============================================================================
198.03/198.16	c |         0 |    3063    23410   121912 |     7803        0    nan |  0.000 % |
198.03/198.16	c ===============================================================================
198.13/198.21	c core #387
198.13/198.21	c 
198.13/198.21	c 
198.13/198.21	c Core size: 10	Core Weight: 1	Total Weight: 388
198.13/198.21	c
198.13/198.21	c
198.13/198.21	c ============================[ Search Statistics ]==============================
198.13/198.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.13/198.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.13/198.21	c ===============================================================================
198.13/198.21	c |         0 |    3069    23411   121924 |     7803        0    nan |  0.000 % |
198.13/198.22	c ===============================================================================
198.13/198.26	c core #388
198.13/198.26	c 
198.13/198.26	c 
198.13/198.26	c Core size: 12	Core Weight: 1	Total Weight: 389
198.13/198.26	c
198.13/198.26	c
198.13/198.26	c ============================[ Search Statistics ]==============================
198.13/198.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.13/198.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.13/198.26	c ===============================================================================
198.13/198.26	c |         0 |    3076    23412   121938 |     7804        0    nan |  0.000 % |
198.13/198.27	c ===============================================================================
198.23/198.31	c core #389
198.23/198.31	c 
198.23/198.31	c 
198.23/198.31	c Core size: 10	Core Weight: 1	Total Weight: 390
198.23/198.31	c
198.23/198.31	c
198.23/198.31	c ============================[ Search Statistics ]==============================
198.23/198.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.23/198.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.23/198.31	c ===============================================================================
198.23/198.31	c |         0 |    3082    23413   121950 |     7804        0    nan |  0.000 % |
198.23/198.32	c ===============================================================================
198.23/198.37	c core #390
198.23/198.37	c 
198.23/198.37	c 
198.23/198.37	c Core size: 76	Core Weight: 1	Total Weight: 391
198.23/198.37	c
198.23/198.37	c
198.23/198.37	c ============================[ Search Statistics ]==============================
198.23/198.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.23/198.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.23/198.37	c ===============================================================================
198.23/198.37	c |         0 |    3093    23414   121972 |     7804        0    nan |  0.000 % |
198.23/198.37	c ===============================================================================
198.33/198.42	c core #391
198.33/198.42	c 
198.33/198.42	c 
198.33/198.42	c Core size: 12	Core Weight: 1	Total Weight: 392
198.33/198.42	c
198.33/198.42	c
198.33/198.42	c ============================[ Search Statistics ]==============================
198.33/198.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.33/198.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.33/198.42	c ===============================================================================
198.33/198.42	c |         0 |    3100    23415   121986 |     7805        0    nan |  0.000 % |
198.33/198.43	c ===============================================================================
198.33/198.48	c core #392
198.33/198.48	c 
198.33/198.48	c 
198.33/198.48	c Core size: 30	Core Weight: 1	Total Weight: 393
198.33/198.48	c
198.33/198.48	c
198.33/198.48	c ============================[ Search Statistics ]==============================
198.33/198.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.33/198.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.33/198.48	c ===============================================================================
198.33/198.48	c |         0 |    3116    23416   122018 |     7805        0    nan |  0.000 % |
198.33/198.48	c ===============================================================================
198.43/198.53	c core #393
198.43/198.53	c 
198.43/198.53	c 
198.43/198.53	c Core size: 10	Core Weight: 1	Total Weight: 394
198.43/198.53	c
198.43/198.53	c
198.43/198.53	c ============================[ Search Statistics ]==============================
198.43/198.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.43/198.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.43/198.53	c ===============================================================================
198.43/198.53	c |         0 |    3122    23417   122030 |     7805        0    nan |  0.000 % |
198.43/198.54	c ===============================================================================
198.43/198.58	c core #394
198.43/198.58	c 
198.43/198.58	c 
198.43/198.58	c Core size: 75	Core Weight: 1	Total Weight: 395
198.43/198.58	c
198.43/198.58	c
198.43/198.58	c ============================[ Search Statistics ]==============================
198.43/198.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.43/198.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.43/198.58	c ===============================================================================
198.43/198.58	c |         0 |    3133    23418   122052 |     7806        0    nan |  0.000 % |
198.43/198.59	c ===============================================================================
198.53/198.64	c core #395
198.53/198.64	c 
198.53/198.64	c 
198.53/198.64	c Core size: 12	Core Weight: 1	Total Weight: 396
198.53/198.64	c
198.53/198.64	c
198.53/198.64	c ============================[ Search Statistics ]==============================
198.53/198.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.53/198.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.53/198.64	c ===============================================================================
198.53/198.64	c |         0 |    3140    23419   122066 |     7806        0    nan |  0.000 % |
198.53/198.64	c ===============================================================================
198.53/198.69	c core #396
198.53/198.69	c 
198.53/198.69	c 
198.53/198.69	c Core size: 16	Core Weight: 1	Total Weight: 397
198.53/198.69	c
198.53/198.69	c
198.53/198.69	c ============================[ Search Statistics ]==============================
198.53/198.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.53/198.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.53/198.69	c ===============================================================================
198.53/198.69	c |         0 |    3149    23420   122084 |     7806        0    nan |  0.000 % |
198.63/198.70	c ===============================================================================
198.63/198.75	c core #397
198.63/198.75	c 
198.63/198.75	c 
198.63/198.75	c Core size: 73	Core Weight: 1	Total Weight: 398
198.63/198.75	c
198.63/198.75	c
198.63/198.75	c ============================[ Search Statistics ]==============================
198.63/198.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.63/198.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.63/198.75	c ===============================================================================
198.63/198.75	c |         0 |    3158    23421   122102 |     7807        0    nan |  0.000 % |
198.63/198.75	c ===============================================================================
198.73/198.80	c core #398
198.73/198.80	c 
198.73/198.80	c 
198.73/198.80	c Core size: 10	Core Weight: 1	Total Weight: 399
198.73/198.80	c
198.73/198.80	c
198.73/198.80	c ============================[ Search Statistics ]==============================
198.73/198.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.73/198.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.73/198.80	c ===============================================================================
198.73/198.80	c |         0 |    3164    23422   122114 |     7807        0    nan |  0.000 % |
198.73/198.81	c ===============================================================================
198.73/198.86	c core #399
198.73/198.86	c 
198.73/198.86	c 
198.73/198.86	c Core size: 10	Core Weight: 1	Total Weight: 400
198.73/198.86	c
198.73/198.86	c
198.73/198.86	c ============================[ Search Statistics ]==============================
198.73/198.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.73/198.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.73/198.86	c ===============================================================================
198.73/198.86	c |         0 |    3170    23423   122126 |     7807        0    nan |  0.000 % |
198.73/198.87	c ===============================================================================
198.83/198.91	c core #400
198.83/198.91	c 
198.83/198.91	c 
198.83/198.91	c Core size: 75	Core Weight: 1	Total Weight: 401
198.83/198.91	c
198.83/198.91	c
198.83/198.91	c ============================[ Search Statistics ]==============================
198.83/198.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.83/198.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.83/198.91	c ===============================================================================
198.83/198.91	c |         0 |    3181    23424   122148 |     7808        0    nan |  0.000 % |
198.83/198.92	c ===============================================================================
198.83/198.97	c core #401
198.83/198.97	c 
198.83/198.97	c 
198.83/198.97	c Core size: 10	Core Weight: 1	Total Weight: 402
198.83/198.97	c
198.83/198.97	c
198.83/198.97	c ============================[ Search Statistics ]==============================
198.83/198.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.83/198.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.83/198.97	c ===============================================================================
198.83/198.97	c |         0 |    3187    23425   122160 |     7808        0    nan |  0.000 % |
198.83/198.98	c ===============================================================================
198.94/199.03	c core #402
198.94/199.03	c 
198.94/199.03	c 
198.94/199.03	c Core size: 77	Core Weight: 1	Total Weight: 403
198.94/199.03	c
198.94/199.03	c
198.94/199.03	c ============================[ Search Statistics ]==============================
198.94/199.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.94/199.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.94/199.03	c ===============================================================================
198.94/199.03	c |         0 |    3199    23426   122184 |     7808        0    nan |  0.000 % |
198.94/199.04	c ===============================================================================
198.94/199.08	c core #403
198.94/199.08	c 
198.94/199.08	c 
198.94/199.08	c Core size: 12	Core Weight: 1	Total Weight: 404
198.94/199.08	c
198.94/199.08	c
198.94/199.08	c ============================[ Search Statistics ]==============================
198.94/199.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.94/199.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.94/199.08	c ===============================================================================
198.94/199.08	c |         0 |    3206    23427   122198 |     7809        0    nan |  0.000 % |
198.94/199.09	c ===============================================================================
199.04/199.14	c core #404
199.04/199.14	c 
199.04/199.14	c 
199.04/199.14	c Core size: 77	Core Weight: 1	Total Weight: 405
199.04/199.14	c
199.04/199.14	c
199.04/199.14	c ============================[ Search Statistics ]==============================
199.04/199.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.04/199.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.04/199.14	c ===============================================================================
199.04/199.14	c |         0 |    3219    23428   122224 |     7809        0    nan |  0.000 % |
199.04/199.15	c ===============================================================================
199.13/199.20	c core #405
199.13/199.20	c 
199.13/199.20	c 
199.13/199.20	c Core size: 13	Core Weight: 1	Total Weight: 406
199.13/199.20	c
199.13/199.20	c
199.13/199.20	c ============================[ Search Statistics ]==============================
199.13/199.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.13/199.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.13/199.20	c ===============================================================================
199.13/199.20	c |         0 |    3229    23429   122244 |     7809        0    nan |  0.000 % |
199.13/199.21	c ===============================================================================
199.13/199.26	c core #406
199.13/199.26	c 
199.13/199.26	c 
199.13/199.26	c Core size: 83	Core Weight: 1	Total Weight: 407
199.13/199.26	c
199.13/199.26	c
199.13/199.26	c ============================[ Search Statistics ]==============================
199.13/199.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.13/199.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.13/199.26	c ===============================================================================
199.13/199.26	c |         0 |    3252    23430   122290 |     7810        0    nan |  0.000 % |
199.13/199.27	c ===============================================================================
199.23/199.32	c core #407
199.23/199.32	c 
199.23/199.32	c 
199.23/199.32	c Core size: 75	Core Weight: 1	Total Weight: 408
199.23/199.32	c
199.23/199.32	c
199.23/199.32	c ============================[ Search Statistics ]==============================
199.23/199.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.23/199.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.23/199.32	c ===============================================================================
199.23/199.32	c |         0 |    3267    23431   122320 |     7810        0    nan |  0.000 % |
199.23/199.33	c ===============================================================================
199.23/199.38	c core #408
199.23/199.38	c 
199.23/199.38	c 
199.23/199.38	c Core size: 65	Core Weight: 1	Total Weight: 409
199.23/199.38	c
199.23/199.38	c
199.23/199.38	c ============================[ Search Statistics ]==============================
199.23/199.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.23/199.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.23/199.38	c ===============================================================================
199.23/199.38	c |         0 |    3286    23432   122358 |     7810        0    nan |  0.000 % |
199.23/199.39	c ===============================================================================
199.33/199.44	c core #409
199.33/199.44	c 
199.33/199.44	c 
199.33/199.44	c Core size: 10	Core Weight: 1	Total Weight: 410
199.33/199.44	c
199.33/199.44	c
199.33/199.44	c ============================[ Search Statistics ]==============================
199.33/199.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.33/199.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.33/199.44	c ===============================================================================
199.33/199.44	c |         0 |    3292    23433   122370 |     7811        0    nan |  0.000 % |
199.33/199.45	c ===============================================================================
199.43/199.50	c core #410
199.43/199.50	c 
199.43/199.50	c 
199.43/199.50	c Core size: 10	Core Weight: 1	Total Weight: 411
199.43/199.50	c
199.43/199.50	c
199.43/199.50	c ============================[ Search Statistics ]==============================
199.43/199.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.43/199.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.43/199.50	c ===============================================================================
199.43/199.50	c |         0 |    3298    23434   122382 |     7811        0    nan |  0.000 % |
199.43/199.51	c ===============================================================================
199.43/199.56	c core #411
199.43/199.56	c 
199.43/199.56	c 
199.43/199.56	c Core size: 77	Core Weight: 1	Total Weight: 412
199.43/199.56	c
199.43/199.56	c
199.43/199.56	c ============================[ Search Statistics ]==============================
199.43/199.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.43/199.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.43/199.56	c ===============================================================================
199.43/199.56	c |         0 |    3310    23435   122406 |     7811        0    nan |  0.000 % |
199.43/199.57	c ===============================================================================
199.53/199.62	c core #412
199.53/199.62	c 
199.53/199.62	c 
199.53/199.62	c Core size: 87	Core Weight: 1	Total Weight: 413
199.53/199.62	c
199.53/199.62	c
199.53/199.62	c ============================[ Search Statistics ]==============================
199.53/199.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.53/199.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.53/199.62	c ===============================================================================
199.53/199.62	c |         0 |    3335    23436   122456 |     7812        0    nan |  0.000 % |
199.53/199.63	c ===============================================================================
199.53/199.67	c core #413
199.53/199.67	c 
199.53/199.67	c 
199.53/199.67	c Core size: 40	Core Weight: 1	Total Weight: 414
199.53/199.67	c
199.53/199.67	c
199.53/199.67	c ============================[ Search Statistics ]==============================
199.53/199.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.53/199.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.53/199.67	c ===============================================================================
199.53/199.67	c |         0 |    3342    23437   122470 |     7812        0    nan |  0.000 % |
199.53/199.68	c ===============================================================================
199.63/199.73	c core #414
199.63/199.73	c 
199.63/199.73	c 
199.63/199.73	c Core size: 77	Core Weight: 1	Total Weight: 415
199.63/199.73	c
199.63/199.73	c
199.63/199.73	c ============================[ Search Statistics ]==============================
199.63/199.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.63/199.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.63/199.73	c ===============================================================================
199.63/199.73	c |         0 |    3353    23438   122492 |     7812        0    nan |  0.000 % |
199.63/199.74	c ===============================================================================
199.63/199.79	c core #415
199.63/199.79	c 
199.63/199.79	c 
199.63/199.79	c Core size: 26	Core Weight: 1	Total Weight: 416
199.63/199.79	c
199.63/199.79	c
199.63/199.79	c ============================[ Search Statistics ]==============================
199.63/199.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.63/199.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.63/199.79	c ===============================================================================
199.63/199.79	c |         0 |    3366    23439   122518 |     7813        0    nan |  0.000 % |
199.73/199.80	c ===============================================================================
199.73/199.85	c core #416
199.73/199.85	c 
199.73/199.85	c 
199.73/199.85	c Core size: 77	Core Weight: 1	Total Weight: 417
199.73/199.85	c
199.73/199.85	c
199.73/199.85	c ============================[ Search Statistics ]==============================
199.73/199.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.73/199.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.73/199.85	c ===============================================================================
199.73/199.85	c |         0 |    3379    23440   122544 |     7813        0    nan |  0.000 % |
199.73/199.86	c ===============================================================================
199.83/199.91	c core #417
199.83/199.91	c 
199.83/199.91	c 
199.83/199.91	c Core size: 119	Core Weight: 1	Total Weight: 418
199.83/199.91	c
199.83/199.91	c
199.83/199.91	c ============================[ Search Statistics ]==============================
199.83/199.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.91	c ===============================================================================
199.83/199.91	c |         0 |    3399    23441   122584 |     7813        0    nan |  0.000 % |
199.83/199.93	c ===============================================================================
199.83/199.98	c core #418
199.83/199.98	c 
199.83/199.98	c 
199.83/199.98	c Core size: 77	Core Weight: 1	Total Weight: 419
199.83/199.98	c
199.83/199.98	c
199.83/199.98	c ============================[ Search Statistics ]==============================
199.83/199.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.98	c ===============================================================================
199.83/199.98	c |         0 |    3410    23442   122606 |     7814        0    nan |  0.000 % |
199.83/199.99	c ===============================================================================
199.93/200.04	c core #419
199.93/200.04	c 
199.93/200.04	c 
199.93/200.04	c Core size: 80	Core Weight: 1	Total Weight: 420
199.93/200.04	c
199.93/200.04	c
199.93/200.04	c ============================[ Search Statistics ]==============================
199.93/200.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.93/200.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.93/200.04	c ===============================================================================
199.93/200.04	c |         0 |    3461    23443   122708 |     7814        0    nan |  0.000 % |
199.93/200.05	c ===============================================================================
199.93/200.10	c core #420
199.93/200.10	c 
199.93/200.10	c 
199.93/200.10	c Core size: 10	Core Weight: 1	Total Weight: 421
199.93/200.10	c
199.93/200.10	c
199.93/200.10	c ============================[ Search Statistics ]==============================
199.93/200.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.93/200.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.93/200.10	c ===============================================================================
199.93/200.10	c |         0 |    3467    23444   122720 |     7814        0    nan |  0.000 % |
200.04/200.11	c ===============================================================================
200.04/200.16	c core #421
200.04/200.16	c 
200.04/200.16	c 
200.04/200.16	c Core size: 12	Core Weight: 1	Total Weight: 422
200.04/200.16	c
200.04/200.16	c
200.04/200.16	c ============================[ Search Statistics ]==============================
200.04/200.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.04/200.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.04/200.16	c ===============================================================================
200.04/200.16	c |         0 |    3474    23445   122734 |     7815        0    nan |  0.000 % |
200.04/200.17	c ===============================================================================
200.14/200.22	c core #422
200.14/200.22	c 
200.14/200.22	c 
200.14/200.22	c Core size: 10	Core Weight: 1	Total Weight: 423
200.14/200.22	c
200.14/200.22	c
200.14/200.22	c ============================[ Search Statistics ]==============================
200.14/200.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.14/200.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.14/200.22	c ===============================================================================
200.14/200.22	c |         0 |    3480    23446   122746 |     7815        0    nan |  0.000 % |
200.14/200.24	c ===============================================================================
200.14/200.29	c core #423
200.14/200.29	c 
200.14/200.29	c 
200.14/200.29	c Core size: 12	Core Weight: 1	Total Weight: 424
200.14/200.29	c
200.14/200.29	c
200.14/200.29	c ============================[ Search Statistics ]==============================
200.14/200.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.14/200.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.14/200.29	c ===============================================================================
200.14/200.29	c |         0 |    3487    23447   122760 |     7815        0    nan |  0.000 % |
200.23/200.30	c ===============================================================================
200.23/200.35	c core #424
200.23/200.35	c 
200.23/200.35	c 
200.23/200.35	c Core size: 12	Core Weight: 1	Total Weight: 425
200.23/200.35	c
200.23/200.35	c
200.23/200.35	c ============================[ Search Statistics ]==============================
200.23/200.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.23/200.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.23/200.35	c ===============================================================================
200.23/200.35	c |         0 |    3494    23448   122774 |     7816        0    nan |  0.000 % |
200.23/200.36	c ===============================================================================
200.32/200.41	c core #425
200.32/200.41	c 
200.32/200.41	c 
200.32/200.41	c Core size: 10	Core Weight: 1	Total Weight: 426
200.32/200.41	c
200.32/200.41	c
200.32/200.41	c ============================[ Search Statistics ]==============================
200.32/200.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.32/200.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.32/200.41	c ===============================================================================
200.32/200.41	c |         0 |    3500    23449   122786 |     7816        0    nan |  0.000 % |
200.32/200.43	c ===============================================================================
200.32/200.47	c core #426
200.32/200.47	c 
200.32/200.47	c 
200.32/200.47	c Core size: 16	Core Weight: 1	Total Weight: 427
200.32/200.47	c
200.32/200.47	c
200.32/200.47	c ============================[ Search Statistics ]==============================
200.32/200.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.32/200.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.32/200.47	c ===============================================================================
200.32/200.47	c |         0 |    3509    23450   122804 |     7816        0    nan |  0.000 % |
200.32/200.49	c ===============================================================================
200.42/200.53	c core #427
200.42/200.53	c 
200.42/200.53	c 
200.42/200.53	c Core size: 14	Core Weight: 1	Total Weight: 428
200.42/200.53	c
200.42/200.53	c
200.42/200.53	c ============================[ Search Statistics ]==============================
200.42/200.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.42/200.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.42/200.53	c ===============================================================================
200.42/200.53	c |         0 |    3517    23451   122820 |     7817        0    nan |  0.000 % |
200.42/200.55	c ===============================================================================
200.42/200.59	c core #428
200.42/200.59	c 
200.42/200.59	c 
200.42/200.59	c Core size: 12	Core Weight: 1	Total Weight: 429
200.42/200.59	c
200.42/200.59	c
200.42/200.59	c ============================[ Search Statistics ]==============================
200.42/200.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.42/200.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.42/200.59	c ===============================================================================
200.42/200.60	c |         0 |    3524    23452   122834 |     7817        0    nan |  0.000 % |
200.52/200.61	c ===============================================================================
200.52/200.66	c core #429
200.52/200.66	c 
200.52/200.66	c 
200.52/200.66	c Core size: 14	Core Weight: 1	Total Weight: 430
200.52/200.66	c
200.52/200.66	c
200.52/200.66	c ============================[ Search Statistics ]==============================
200.52/200.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.52/200.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.52/200.66	c ===============================================================================
200.52/200.66	c |         0 |    3532    23453   122850 |     7817        0    nan |  0.000 % |
200.52/200.67	c ===============================================================================
200.62/200.72	c core #430
200.62/200.72	c 
200.62/200.72	c 
200.62/200.72	c Core size: 78	Core Weight: 1	Total Weight: 431
200.62/200.72	c
200.62/200.72	c
200.62/200.72	c ============================[ Search Statistics ]==============================
200.62/200.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.62/200.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.62/200.72	c ===============================================================================
200.62/200.72	c |         0 |    3544    23454   122874 |     7818        0    nan |  0.000 % |
200.62/200.73	c ===============================================================================
200.62/200.78	c core #431
200.62/200.78	c 
200.62/200.78	c 
200.62/200.78	c Core size: 10	Core Weight: 1	Total Weight: 432
200.62/200.78	c
200.62/200.78	c
200.62/200.78	c ============================[ Search Statistics ]==============================
200.62/200.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.62/200.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.62/200.78	c ===============================================================================
200.62/200.78	c |         0 |    3550    23455   122886 |     7818        0    nan |  0.000 % |
200.62/200.79	c ===============================================================================
200.72/200.84	c core #432
200.72/200.84	c 
200.72/200.84	c 
200.72/200.84	c Core size: 16	Core Weight: 1	Total Weight: 433
200.72/200.84	c
200.72/200.84	c
200.72/200.84	c ============================[ Search Statistics ]==============================
200.72/200.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.72/200.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.72/200.84	c ===============================================================================
200.72/200.84	c |         0 |    3559    23456   122904 |     7818        0    nan |  0.000 % |
200.72/200.85	c ===============================================================================
200.82/200.90	c core #433
200.82/200.90	c 
200.82/200.90	c 
200.82/200.90	c Core size: 39	Core Weight: 1	Total Weight: 434
200.82/200.90	c
200.82/200.90	c
200.82/200.90	c ============================[ Search Statistics ]==============================
200.82/200.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.82/200.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.82/200.90	c ===============================================================================
200.82/200.90	c |         0 |    3581    23457   122948 |     7819        0    nan |  0.000 % |
200.82/200.91	c ===============================================================================
200.82/200.96	c core #434
200.82/200.96	c 
200.82/200.96	c 
200.82/200.96	c Core size: 38	Core Weight: 1	Total Weight: 435
200.82/200.96	c
200.82/200.96	c
200.82/200.96	c ============================[ Search Statistics ]==============================
200.82/200.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.82/200.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.82/200.96	c ===============================================================================
200.82/200.96	c |         0 |    3603    23458   122992 |     7819        0    nan |  0.000 % |
200.82/200.97	c ===============================================================================
200.92/201.02	c core #435
200.92/201.02	c 
200.92/201.02	c 
200.92/201.02	c Core size: 15	Core Weight: 1	Total Weight: 436
200.92/201.02	c
200.92/201.02	c
200.92/201.02	c ============================[ Search Statistics ]==============================
200.92/201.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.92/201.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.92/201.02	c ===============================================================================
200.92/201.02	c |         0 |    3612    23459   123010 |     7819        0    nan |  0.000 % |
200.92/201.03	c ===============================================================================
200.92/201.08	c core #436
200.92/201.08	c 
200.92/201.08	c 
200.92/201.08	c Core size: 74	Core Weight: 1	Total Weight: 437
200.92/201.08	c
200.92/201.08	c
200.92/201.08	c ============================[ Search Statistics ]==============================
200.92/201.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.92/201.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.92/201.08	c ===============================================================================
200.92/201.08	c |         0 |    3621    23460   123028 |     7820        0    nan |  0.000 % |
200.92/201.09	c ===============================================================================
201.02/201.14	c core #437
201.02/201.14	c 
201.02/201.14	c 
201.02/201.14	c Core size: 24	Core Weight: 1	Total Weight: 438
201.02/201.14	c
201.02/201.14	c
201.02/201.14	c ============================[ Search Statistics ]==============================
201.02/201.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.02/201.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.02/201.14	c ===============================================================================
201.02/201.14	c |         0 |    3635    23461   123056 |     7820        0    nan |  0.000 % |
201.02/201.15	c ===============================================================================
201.12/201.21	c core #438
201.12/201.21	c 
201.12/201.21	c 
201.12/201.21	c Core size: 25	Core Weight: 1	Total Weight: 439
201.12/201.21	c
201.12/201.21	c
201.12/201.21	c ============================[ Search Statistics ]==============================
201.12/201.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.12/201.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.12/201.21	c ===============================================================================
201.12/201.21	c |         0 |    3650    23462   123086 |     7820        0    nan |  0.000 % |
201.12/201.22	c ===============================================================================
201.12/201.27	c core #439
201.12/201.27	c 
201.12/201.27	c 
201.12/201.27	c Core size: 82	Core Weight: 1	Total Weight: 440
201.12/201.27	c
201.12/201.27	c
201.12/201.27	c ============================[ Search Statistics ]==============================
201.12/201.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.12/201.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.12/201.27	c ===============================================================================
201.12/201.27	c |         0 |    3666    23463   123118 |     7821        0    nan |  0.000 % |
201.12/201.28	c ===============================================================================
201.22/201.33	c core #440
201.22/201.33	c 
201.22/201.33	c 
201.22/201.33	c Core size: 77	Core Weight: 1	Total Weight: 441
201.22/201.33	c
201.22/201.33	c
201.22/201.33	c ============================[ Search Statistics ]==============================
201.22/201.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.22/201.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.22/201.33	c ===============================================================================
201.22/201.33	c |         0 |    3677    23464   123140 |     7821        0    nan |  0.000 % |
201.22/201.34	c ===============================================================================
201.22/201.39	c core #441
201.22/201.39	c 
201.22/201.39	c 
201.22/201.39	c Core size: 12	Core Weight: 1	Total Weight: 442
201.22/201.39	c
201.22/201.39	c
201.22/201.39	c ============================[ Search Statistics ]==============================
201.22/201.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.22/201.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.22/201.39	c ===============================================================================
201.22/201.39	c |         0 |    3684    23465   123154 |     7821        0    nan |  0.000 % |
201.31/201.40	c ===============================================================================
201.31/201.45	c core #442
201.31/201.45	c 
201.31/201.45	c 
201.31/201.45	c Core size: 12	Core Weight: 1	Total Weight: 443
201.31/201.45	c
201.31/201.45	c
201.31/201.45	c ============================[ Search Statistics ]==============================
201.31/201.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.31/201.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.31/201.45	c ===============================================================================
201.31/201.45	c |         0 |    3691    23466   123168 |     7822        0    nan |  0.000 % |
201.31/201.47	c ===============================================================================
201.41/201.52	c core #443
201.41/201.52	c 
201.41/201.52	c 
201.41/201.52	c Core size: 13	Core Weight: 1	Total Weight: 444
201.41/201.52	c
201.41/201.52	c
201.41/201.52	c ============================[ Search Statistics ]==============================
201.41/201.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.41/201.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.41/201.52	c ===============================================================================
201.41/201.52	c |         0 |    3700    23467   123186 |     7822        0    nan |  0.000 % |
201.41/201.53	c ===============================================================================
201.41/201.58	c core #444
201.41/201.58	c 
201.41/201.58	c 
201.41/201.58	c Core size: 14	Core Weight: 1	Total Weight: 445
201.41/201.58	c
201.41/201.58	c
201.41/201.58	c ============================[ Search Statistics ]==============================
201.41/201.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.41/201.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.41/201.58	c ===============================================================================
201.41/201.58	c |         0 |    3708    23468   123202 |     7822        0    nan |  0.000 % |
201.41/201.59	c ===============================================================================
201.51/201.64	c core #445
201.51/201.64	c 
201.51/201.64	c 
201.51/201.64	c Core size: 18	Core Weight: 1	Total Weight: 446
201.51/201.64	c
201.51/201.64	c
201.51/201.64	c ============================[ Search Statistics ]==============================
201.51/201.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.51/201.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.51/201.64	c ===============================================================================
201.51/201.64	c |         0 |    3718    23469   123222 |     7823        0    nan |  0.000 % |
201.51/201.65	c ===============================================================================
201.61/201.70	c core #446
201.61/201.70	c 
201.61/201.70	c 
201.61/201.70	c Core size: 10	Core Weight: 1	Total Weight: 447
201.61/201.70	c
201.61/201.70	c
201.61/201.70	c ============================[ Search Statistics ]==============================
201.61/201.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.61/201.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.61/201.70	c ===============================================================================
201.61/201.70	c |         0 |    3724    23470   123234 |     7823        0    nan |  0.000 % |
201.61/201.71	c ===============================================================================
201.61/201.76	c core #447
201.61/201.76	c 
201.61/201.76	c 
201.61/201.76	c Core size: 12	Core Weight: 1	Total Weight: 448
201.61/201.76	c
201.61/201.76	c
201.61/201.76	c ============================[ Search Statistics ]==============================
201.61/201.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.61/201.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.61/201.76	c ===============================================================================
201.61/201.76	c |         0 |    3731    23471   123248 |     7823        0    nan |  0.000 % |
201.61/201.77	c ===============================================================================
201.71/201.83	c core #448
201.71/201.83	c 
201.71/201.83	c 
201.71/201.83	c Core size: 18	Core Weight: 1	Total Weight: 449
201.71/201.83	c
201.71/201.83	c
201.71/201.83	c ============================[ Search Statistics ]==============================
201.71/201.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.71/201.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.71/201.83	c ===============================================================================
201.71/201.83	c |         0 |    3744    23472   123274 |     7824        0    nan |  0.000 % |
201.71/201.84	c ===============================================================================
201.71/201.89	c core #449
201.71/201.89	c 
201.71/201.89	c 
201.71/201.89	c Core size: 106	Core Weight: 1	Total Weight: 450
201.71/201.89	c
201.71/201.89	c
201.71/201.89	c ============================[ Search Statistics ]==============================
201.71/201.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.71/201.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.71/201.89	c ===============================================================================
201.71/201.89	c |         0 |    3764    23473   123314 |     7824        0    nan |  0.000 % |
201.81/201.90	c ===============================================================================
201.81/201.95	c core #450
201.81/201.95	c 
201.81/201.95	c 
201.81/201.95	c Core size: 10	Core Weight: 1	Total Weight: 451
201.81/201.95	c
201.81/201.95	c
201.81/201.95	c ============================[ Search Statistics ]==============================
201.81/201.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.81/201.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.81/201.95	c ===============================================================================
201.81/201.95	c |         0 |    3770    23474   123326 |     7824        0    nan |  0.000 % |
201.81/201.97	c ===============================================================================
201.91/202.01	c core #451
201.91/202.01	c 
201.91/202.01	c 
201.91/202.01	c Core size: 14	Core Weight: 1	Total Weight: 452
201.91/202.01	c
201.91/202.01	c
201.91/202.01	c ============================[ Search Statistics ]==============================
201.91/202.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.91/202.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.91/202.01	c ===============================================================================
201.91/202.01	c |         0 |    3778    23475   123342 |     7825        0    nan |  0.000 % |
201.91/202.03	c ===============================================================================
201.91/202.08	c core #452
201.91/202.08	c 
201.91/202.08	c 
201.91/202.08	c Core size: 78	Core Weight: 1	Total Weight: 453
201.91/202.08	c
201.91/202.08	c
201.91/202.08	c ============================[ Search Statistics ]==============================
201.91/202.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.91/202.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.91/202.08	c ===============================================================================
201.91/202.08	c |         0 |    3790    23476   123366 |     7825        0    nan |  0.000 % |
201.91/202.09	c ===============================================================================
202.01/202.14	c core #453
202.01/202.14	c 
202.01/202.14	c 
202.01/202.14	c Core size: 10	Core Weight: 1	Total Weight: 454
202.01/202.14	c
202.01/202.14	c
202.01/202.14	c ============================[ Search Statistics ]==============================
202.01/202.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.01/202.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.01/202.14	c ===============================================================================
202.01/202.14	c |         0 |    3796    23477   123378 |     7825        0    nan |  0.000 % |
202.01/202.15	c ===============================================================================
202.11/202.20	c core #454
202.11/202.20	c 
202.11/202.20	c 
202.11/202.20	c Core size: 10	Core Weight: 1	Total Weight: 455
202.11/202.20	c
202.11/202.20	c
202.11/202.20	c ============================[ Search Statistics ]==============================
202.11/202.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.11/202.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.11/202.20	c ===============================================================================
202.11/202.20	c |         0 |    3805    23478   123396 |     7826        0    nan |  0.000 % |
202.11/202.22	c ===============================================================================
202.11/202.27	c core #455
202.11/202.27	c 
202.11/202.27	c 
202.11/202.27	c Core size: 67	Core Weight: 1	Total Weight: 456
202.11/202.27	c
202.11/202.27	c
202.11/202.27	c ============================[ Search Statistics ]==============================
202.11/202.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.11/202.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.11/202.27	c ===============================================================================
202.11/202.27	c |         0 |    3834    23479   123454 |     7826        0    nan |  0.000 % |
202.11/202.28	c ===============================================================================
202.22/202.33	c core #456
202.22/202.33	c 
202.22/202.33	c 
202.22/202.33	c Core size: 83	Core Weight: 1	Total Weight: 457
202.22/202.33	c
202.22/202.33	c
202.22/202.33	c ============================[ Search Statistics ]==============================
202.22/202.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.22/202.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.22/202.33	c ===============================================================================
202.22/202.33	c |         0 |    3851    23480   123488 |     7826        0    nan |  0.000 % |
202.22/202.35	c ===============================================================================
202.22/202.40	c core #457
202.22/202.40	c 
202.22/202.40	c 
202.22/202.40	c Core size: 47	Core Weight: 1	Total Weight: 458
202.22/202.40	c
202.22/202.40	c
202.22/202.40	c ============================[ Search Statistics ]==============================
202.22/202.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.22/202.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.22/202.40	c ===============================================================================
202.22/202.40	c |         0 |    3870    23481   123526 |     7827        0    nan |  0.000 % |
202.32/202.42	c ===============================================================================
202.32/202.47	c core #458
202.32/202.47	c 
202.32/202.47	c 
202.32/202.47	c Core size: 55	Core Weight: 1	Total Weight: 459
202.32/202.47	c
202.32/202.47	c
202.32/202.47	c ============================[ Search Statistics ]==============================
202.32/202.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.32/202.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.32/202.47	c ===============================================================================
202.32/202.47	c |         0 |    3894    23482   123574 |     7827        0    nan |  0.000 % |
202.32/202.48	c ===============================================================================
202.41/202.53	c core #459
202.41/202.53	c 
202.41/202.53	c 
202.41/202.53	c Core size: 77	Core Weight: 1	Total Weight: 460
202.41/202.53	c
202.41/202.53	c
202.41/202.53	c ============================[ Search Statistics ]==============================
202.41/202.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.41/202.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.41/202.53	c ===============================================================================
202.41/202.53	c |         0 |    3905    23483   123596 |     7827        0    nan |  0.000 % |
202.41/202.55	c ===============================================================================
202.51/202.60	c core #460
202.51/202.60	c 
202.51/202.60	c 
202.51/202.60	c Core size: 48	Core Weight: 1	Total Weight: 461
202.51/202.60	c
202.51/202.60	c
202.51/202.60	c ============================[ Search Statistics ]==============================
202.51/202.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.51/202.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.51/202.60	c ===============================================================================
202.51/202.60	c |         0 |    3931    23484   123648 |     7828        0    nan |  0.000 % |
202.51/202.62	c ===============================================================================
202.51/202.68	c core #461
202.51/202.68	c 
202.51/202.68	c 
202.51/202.68	c Core size: 71	Core Weight: 1	Total Weight: 462
202.51/202.68	c
202.51/202.68	c
202.51/202.68	c ============================[ Search Statistics ]==============================
202.51/202.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.51/202.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.51/202.68	c ===============================================================================
202.51/202.68	c |         0 |    3971    23485   123728 |     7828        0    nan |  0.000 % |
202.51/202.69	c ===============================================================================
202.61/202.74	c core #462
202.61/202.74	c 
202.61/202.74	c 
202.61/202.74	c Core size: 82	Core Weight: 1	Total Weight: 463
202.61/202.74	c
202.61/202.74	c
202.61/202.74	c ============================[ Search Statistics ]==============================
202.61/202.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.61/202.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.61/202.74	c ===============================================================================
202.61/202.74	c |         0 |    3994    23486   123774 |     7828        0    nan |  0.000 % |
202.61/202.76	c ===============================================================================
202.70/202.81	c core #463
202.70/202.81	c 
202.70/202.81	c 
202.70/202.81	c Core size: 73	Core Weight: 1	Total Weight: 464
202.70/202.81	c
202.70/202.81	c
202.70/202.81	c ============================[ Search Statistics ]==============================
202.70/202.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.70/202.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.70/202.81	c ===============================================================================
202.70/202.81	c |         0 |    4006    23487   123798 |     7829        0    nan |  0.000 % |
202.70/202.83	c ===============================================================================
202.70/202.88	c core #464
202.70/202.88	c 
202.70/202.88	c 
202.70/202.88	c Core size: 82	Core Weight: 1	Total Weight: 465
202.70/202.88	c
202.70/202.88	c
202.70/202.88	c ============================[ Search Statistics ]==============================
202.70/202.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.70/202.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.70/202.88	c ===============================================================================
202.70/202.88	c |         0 |    4027    23488   123840 |     7829        0    nan |  0.000 % |
202.80/202.90	c |       100 |    4024    23488   123840 |     8612      100     20 |  0.174 % |
202.80/202.93	c |       250 |    4023    23488   123840 |     9473      250     29 |  0.174 % |
202.80/202.97	c |       475 |    4023    23488   123840 |    10420      475     32 |  0.174 % |
202.90/203.05	c |       813 |    4017    23488   123840 |    11462      813     33 |  0.571 % |
202.90/203.06	c ===============================================================================
203.00/203.12	c core #465
203.00/203.12	c 
203.00/203.12	c 
203.00/203.12	c Core size: 153	Core Weight: 1	Total Weight: 466
203.00/203.12	c
203.00/203.12	c
203.00/203.12	c ============================[ Search Statistics ]==============================
203.00/203.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.00/203.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.00/203.12	c ===============================================================================
203.00/203.12	c |         0 |    4165    23489   124116 |     7829        0    nan |  0.000 % |
203.00/203.14	c ===============================================================================
203.00/203.19	c core #466
203.00/203.19	c 
203.00/203.19	c 
203.00/203.19	c Core size: 54	Core Weight: 1	Total Weight: 467
203.00/203.19	c
203.00/203.19	c
203.00/203.19	c ============================[ Search Statistics ]==============================
203.00/203.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.00/203.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.00/203.19	c ===============================================================================
203.00/203.19	c |         0 |    4173    23490   124132 |     7830        0    nan |  0.000 % |
203.10/203.20	c ===============================================================================
203.10/203.25	c core #467
203.10/203.25	c 
203.10/203.25	c 
203.10/203.25	c Core size: 81	Core Weight: 1	Total Weight: 468
203.10/203.25	c
203.10/203.25	c
203.10/203.25	c ============================[ Search Statistics ]==============================
203.10/203.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.10/203.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.10/203.25	c ===============================================================================
203.10/203.25	c |         0 |    4187    23491   124160 |     7830        0    nan |  0.000 % |
203.10/203.28	c ===============================================================================
203.20/203.33	c core #468
203.20/203.33	c 
203.20/203.33	c 
203.20/203.33	c Core size: 35	Core Weight: 1	Total Weight: 469
203.20/203.33	c
203.20/203.33	c
203.20/203.33	c ============================[ Search Statistics ]==============================
203.20/203.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.20/203.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.20/203.33	c ===============================================================================
203.20/203.33	c |         0 |    4201    23493   124191 |     7831        0    nan |  0.000 % |
203.20/203.36	c |       100 |    4195    23493   124191 |     8614      100     20 |  0.214 % |
203.20/203.37	c ===============================================================================
203.32/203.42	c core #469
203.32/203.42	c 
203.32/203.42	c 
203.32/203.42	c Core size: 86	Core Weight: 1	Total Weight: 470
203.32/203.42	c
203.32/203.42	c
203.32/203.42	c ============================[ Search Statistics ]==============================
203.32/203.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.32/203.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.32/203.42	c ===============================================================================
203.32/203.42	c |         0 |    4263    23494   124315 |     7831        0    nan |  0.000 % |
203.32/203.44	c ===============================================================================
203.32/203.49	c core #470
203.32/203.49	c 
203.32/203.49	c 
203.32/203.49	c Core size: 25	Core Weight: 1	Total Weight: 471
203.32/203.49	c
203.32/203.49	c
203.32/203.49	c ============================[ Search Statistics ]==============================
203.32/203.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.32/203.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.32/203.49	c ===============================================================================
203.32/203.49	c |         0 |    4277    23495   124343 |     7831        0    nan |  0.000 % |
203.42/203.52	c |       100 |    4270    23495   124343 |     8614      100     23 |  1.893 % |
203.42/203.53	c ===============================================================================
203.42/203.58	c core #471
203.42/203.58	c 
203.42/203.58	c 
203.42/203.58	c Core size: 41	Core Weight: 1	Total Weight: 472
203.42/203.58	c
203.42/203.58	c
203.42/203.58	c ============================[ Search Statistics ]==============================
203.42/203.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.42/203.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.42/203.58	c ===============================================================================
203.42/203.58	c |         0 |    4297    23496   124383 |     7832        0    nan |  0.000 % |
203.51/203.61	c ===============================================================================
203.51/203.66	c core #472
203.51/203.66	c 
203.51/203.66	c 
203.51/203.66	c Core size: 36	Core Weight: 1	Total Weight: 473
203.51/203.66	c
203.51/203.66	c
203.51/203.66	c ============================[ Search Statistics ]==============================
203.51/203.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.51/203.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.51/203.66	c ===============================================================================
203.51/203.66	c |         0 |    4312    23497   124413 |     7832        0    nan |  0.000 % |
203.51/203.69	c |       100 |    4310    23497   124413 |     8615      100     20 |  0.093 % |
203.60/203.71	c |       250 |    4308    23497   124413 |     9477      250     27 |  0.185 % |
203.60/203.75	c ===============================================================================
203.70/203.81	c core #473
203.70/203.81	c 
203.70/203.81	c 
203.70/203.81	c Core size: 76	Core Weight: 1	Total Weight: 474
203.70/203.81	c
203.70/203.81	c
203.70/203.81	c ============================[ Search Statistics ]==============================
203.70/203.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.70/203.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.70/203.81	c ===============================================================================
203.70/203.81	c |         0 |    4375    23498   124539 |     7832        0    nan |  0.000 % |
203.70/203.84	c |       100 |    4371    23498   124539 |     8615      100     17 |  0.137 % |
203.70/203.86	c ===============================================================================
203.80/203.91	c core #474
203.80/203.91	c 
203.80/203.91	c 
203.80/203.91	c Core size: 71	Core Weight: 1	Total Weight: 475
203.80/203.91	c
203.80/203.91	c
203.80/203.91	c ============================[ Search Statistics ]==============================
203.80/203.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.80/203.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.80/203.91	c ===============================================================================
203.80/203.91	c |         0 |    4410    23499   124609 |     7833        0    nan |  0.000 % |
203.80/203.93	c ===============================================================================
203.80/203.98	c core #475
203.80/203.98	c 
203.80/203.98	c 
203.80/203.98	c Core size: 24	Core Weight: 1	Total Weight: 476
203.80/203.98	c
203.80/203.98	c
203.80/203.98	c ============================[ Search Statistics ]==============================
203.80/203.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.80/203.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.80/203.98	c ===============================================================================
203.80/203.98	c |         0 |    4425    23500   124639 |     7833        0    nan |  0.000 % |
203.90/204.01	c ===============================================================================
203.90/204.06	c core #476
203.90/204.06	c 
203.90/204.06	c 
203.90/204.06	c Core size: 75	Core Weight: 1	Total Weight: 477
203.90/204.06	c
203.90/204.06	c
203.90/204.06	c ============================[ Search Statistics ]==============================
203.90/204.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.90/204.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.90/204.06	c ===============================================================================
203.90/204.06	c |         0 |    4461    23501   124711 |     7833        0    nan |  0.000 % |
203.90/204.08	c |       100 |    4459    23501   124711 |     8617      100     11 |  0.090 % |
203.90/204.09	c ===============================================================================
204.00/204.15	c core #477
204.00/204.15	c 
204.00/204.15	c 
204.00/204.15	c Core size: 50	Core Weight: 1	Total Weight: 478
204.00/204.15	c
204.00/204.15	c
204.00/204.15	c ============================[ Search Statistics ]==============================
204.00/204.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.00/204.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.00/204.15	c ===============================================================================
204.00/204.15	c |         0 |    4494    23502   124777 |     7834        0    nan |  0.000 % |
204.00/204.16	c |       102 |    4494    23502   124777 |     8617      102     19 |  0.045 % |
204.00/204.17	c |       252 |    4494    23502   124777 |     9479      252     20 |  0.044 % |
204.00/204.19	c |       479 |    4494    23502   124777 |    10427      479     20 |  0.045 % |
204.10/204.21	c |       817 |    4494    23502   124777 |    11469      817     21 |  0.044 % |
204.10/204.27	c |      1324 |    4494    23502   124777 |    12616     1324     23 |  0.044 % |
204.20/204.37	c |      2083 |    4488    23502   124777 |    13878     2082     26 |  0.223 % |
204.30/204.42	c ===============================================================================
204.30/204.49	c core #478
204.30/204.49	c 
204.30/204.49	c 
204.30/204.49	c Core size: 76	Core Weight: 1	Total Weight: 479
204.30/204.49	c
204.30/204.49	c
204.30/204.49	c ============================[ Search Statistics ]==============================
204.30/204.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.30/204.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.30/204.49	c ===============================================================================
204.30/204.49	c |         0 |    4544    23503   124877 |     7834        0    nan |  0.000 % |
204.41/204.51	c |       101 |    4544    23503   124877 |     8617      101     13 |  0.088 % |
204.41/204.52	c ===============================================================================
204.41/204.58	c core #479
204.41/204.58	c 
204.41/204.58	c 
204.41/204.58	c Core size: 57	Core Weight: 1	Total Weight: 480
204.41/204.58	c
204.41/204.58	c
204.41/204.58	c ============================[ Search Statistics ]==============================
204.41/204.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.41/204.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.41/204.58	c ===============================================================================
204.41/204.58	c |         0 |    4584    23504   124957 |     7834        0    nan |  0.000 % |
204.41/204.60	c |       100 |    4584    23504   124957 |     8618      100     26 |  0.044 % |
204.50/204.61	c |       250 |    4584    23504   124957 |     9479      250     23 |  0.044 % |
204.50/204.64	c |       475 |    4584    23504   124957 |    10427      475     25 |  0.044 % |
204.50/204.69	c |       812 |    4584    23504   124957 |    11470      812     28 |  0.044 % |
204.59/204.79	c |      1318 |    4569    23504   124957 |    12617     1289     30 |  0.480 % |
204.69/204.83	c ===============================================================================
204.79/204.90	c core #480
204.79/204.90	c 
204.79/204.90	c 
204.79/204.90	c Core size: 90	Core Weight: 1	Total Weight: 481
204.79/204.90	c
204.79/204.90	c
204.79/204.90	c ============================[ Search Statistics ]==============================
204.79/204.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
204.79/204.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
204.79/204.90	c ===============================================================================
204.79/204.90	c |         0 |    4655    23505   125099 |     7835        0    nan |  0.000 % |
204.79/204.98	c |       101 |    4654    23505   125099 |     8618      101     38 |  0.087 % |
204.89/205.05	c |       253 |    4646    23505   125099 |     9480      253     36 |  0.408 % |
205.00/205.10	c ===============================================================================
205.00/205.15	c core #481
205.00/205.15	c 
205.00/205.15	c 
205.00/205.15	c Core size: 112	Core Weight: 1	Total Weight: 482
205.00/205.15	c
205.00/205.15	c
205.00/205.15	c ============================[ Search Statistics ]==============================
205.00/205.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.00/205.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.00/205.15	c ===============================================================================
205.00/205.15	c |         0 |    4670    23506   125129 |     7835        0    nan |  0.000 % |
205.00/205.17	c |       100 |    4670    23506   125129 |     8618      100     35 |  0.043 % |
205.00/205.18	c |       251 |    4670    23506   125129 |     9480      251     31 |  0.043 % |
205.10/205.21	c |       479 |    4670    23506   125129 |    10428      479     28 |  0.043 % |
205.10/205.24	c |       817 |    4670    23506   125129 |    11471      817     27 |  0.043 % |
205.10/205.29	c |      1323 |    4670    23506   125129 |    12618     1323     29 |  0.043 % |
205.19/205.38	c |      2086 |    4670    23506   125129 |    13880     2086     30 |  0.043 % |
205.29/205.45	c ===============================================================================
205.39/205.51	c core #482
205.39/205.51	c 
205.39/205.51	c 
205.39/205.51	c Core size: 72	Core Weight: 1	Total Weight: 483
205.39/205.51	c
205.39/205.51	c
205.39/205.51	c ============================[ Search Statistics ]==============================
205.39/205.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.39/205.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.39/205.51	c ===============================================================================
205.39/205.51	c |         0 |    4722    23507   125233 |     7835        0    nan |  0.000 % |
205.39/205.57	c |       100 |    4722    23507   125233 |     8619      100     37 |  0.085 % |
205.50/205.62	c |       251 |    4721    23507   125233 |     9481      251     50 |  0.085 % |
205.50/205.66	c ===============================================================================
205.61/205.72	c core #483
205.61/205.72	c 
205.61/205.72	c 
205.61/205.72	c Core size: 96	Core Weight: 1	Total Weight: 484
205.61/205.72	c
205.61/205.72	c
205.61/205.72	c ============================[ Search Statistics ]==============================
205.61/205.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.61/205.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.61/205.72	c ===============================================================================
205.61/205.72	c |         0 |    4790    23508   125369 |     7836        0    nan |  0.000 % |
205.61/205.78	c |       104 |    4790    23508   125369 |     8619      104     35 |  0.042 % |
205.70/205.87	c |       254 |    4790    23508   125369 |     9481      254     40 |  0.042 % |
205.80/205.98	c |       479 |    4790    23508   125369 |    10429      479     41 |  0.042 % |
205.99/206.18	c |       816 |    4785    23508   125369 |    11472      813     37 |  0.209 % |
206.09/206.24	c ===============================================================================
206.09/206.29	c core #484
206.09/206.29	c 
206.09/206.29	c 
206.09/206.29	c Core size: 66	Core Weight: 1	Total Weight: 485
206.09/206.29	c
206.09/206.29	c
206.09/206.29	c ============================[ Search Statistics ]==============================
206.09/206.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.09/206.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.09/206.30	c ===============================================================================
206.09/206.30	c |         0 |    4828    23511   125451 |     7837        0    nan |  0.000 % |
206.19/206.35	c |       102 |    4828    23511   125451 |     8620      102     30 |  0.042 % |
206.29/206.40	c |       252 |    4827    23511   125451 |     9482      252     41 |  0.083 % |
206.39/206.53	c |       477 |    4827    23511   125451 |    10431      477     46 |  0.083 % |
206.60/206.72	c |       815 |    4826    23511   125451 |    11474      813     50 |  0.083 % |
206.79/206.99	c |      1325 |    4824    23511   125451 |    12621     1319     53 |  0.166 % |
207.29/207.43	c |      2085 |    4817    23511   125451 |    13883     1998     50 |  0.290 % |
207.99/208.11	c |      3226 |    4790    23511   125451 |    15272     3110     50 |  0.932 % |
208.39/208.58	c ===============================================================================
208.49/208.65	c core #485
208.49/208.65	c 
208.49/208.65	c 
208.49/208.65	c Core size: 248	Core Weight: 1	Total Weight: 486
208.49/208.65	c
208.49/208.65	c
208.49/208.65	c ============================[ Search Statistics ]==============================
208.49/208.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.49/208.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.49/208.65	c ===============================================================================
208.49/208.65	c |         0 |    4923    23516   125650 |     7838        0    nan |  0.000 % |
208.49/208.67	c |       100 |    4923    23516   125650 |     8622      100     27 |  0.041 % |
208.49/208.69	c |       250 |    4923    23516   125650 |     9484      250     21 |  0.041 % |
208.59/208.72	c |       475 |    4920    23516   125650 |    10433      475     22 |  0.122 % |
208.59/208.76	c |       813 |    4918    23516   125650 |    11476      813     25 |  0.203 % |
208.59/208.77	c ===============================================================================
208.69/208.83	c core #486
208.69/208.83	c 
208.69/208.83	c 
208.69/208.83	c Core size: 132	Core Weight: 1	Total Weight: 487
208.69/208.83	c
208.69/208.83	c
208.69/208.83	c ============================[ Search Statistics ]==============================
208.69/208.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.69/208.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.69/208.83	c ===============================================================================
208.69/208.83	c |         0 |    4966    23517   125736 |     7839        0    nan |  0.000 % |
208.69/208.85	c ===============================================================================
208.80/208.91	c core #487
208.80/208.91	c 
208.80/208.91	c 
208.80/208.91	c Core size: 24	Core Weight: 1	Total Weight: 488
208.80/208.91	c
208.80/208.91	c
208.80/208.91	c ============================[ Search Statistics ]==============================
208.80/208.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.80/208.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.80/208.91	c ===============================================================================
208.80/208.91	c |         0 |    4987    23518   125778 |     7839        0    nan |  0.000 % |
208.80/208.93	c |       101 |    4987    23518   125778 |     8623      101     26 |  0.041 % |
208.80/208.93	c |       251 |    4987    23518   125778 |     9485      251     26 |  0.040 % |
208.80/208.95	c |       477 |    4987    23518   125778 |    10434      477     24 |  0.040 % |
208.80/209.00	c |       814 |    4987    23518   125778 |    11477      814     25 |  0.040 % |
209.19/209.32	c |      1323 |    4985    23518   125778 |    12625     1319     31 |  0.080 % |
209.49/209.68	c |      2082 |    4980    23518   125778 |    13887     2070     39 |  0.241 % |
210.19/210.36	c |      3222 |    4963    23518   125778 |    15276     3180     44 |  0.521 % |
210.79/210.98	c ===============================================================================
210.89/211.05	c core #488
210.89/211.05	c 
210.89/211.05	c 
210.89/211.05	c Core size: 136	Core Weight: 1	Total Weight: 489
210.89/211.05	c
210.89/211.05	c
210.89/211.05	c ============================[ Search Statistics ]==============================
210.89/211.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.89/211.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.89/211.05	c ===============================================================================
210.89/211.05	c |         0 |    5026    23522   125864 |     7840        0    nan |  0.000 % |
210.99/211.11	c |       102 |    5026    23522   125864 |     8624      102     26 |  0.040 % |
210.99/211.19	c |       257 |    5026    23522   125864 |     9487      257     40 |  0.040 % |
211.09/211.29	c |       482 |    5026    23522   125864 |    10435      482     38 |  0.040 % |
211.28/211.47	c |       821 |    5021    23522   125864 |    11479      820     43 |  0.139 % |
211.58/211.73	c |      1327 |    5021    23522   125864 |    12627     1326     47 |  0.139 % |
211.98/212.16	c |      2086 |    5021    23522   125864 |    13890     2085     47 |  0.139 % |
212.68/212.80	c |      3225 |    5021    23522   125864 |    15279     3224     48 |  0.139 % |
213.58/213.72	c ===============================================================================
213.68/213.80	c core #489
213.68/213.80	c 
213.68/213.80	c 
213.68/213.80	c Core size: 98	Core Weight: 1	Total Weight: 490
213.68/213.80	c
213.68/213.80	c
213.68/213.80	c ============================[ Search Statistics ]==============================
213.68/213.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.68/213.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.68/213.80	c ===============================================================================
213.68/213.80	c |         0 |    5059    23535   125962 |     7845        0    nan |  0.000 % |
213.78/213.90	c |       101 |    5058    23535   125962 |     8629      101     30 |  0.079 % |
213.78/213.98	c |       253 |    5057    23535   125962 |     9492      253     40 |  0.079 % |
213.98/214.10	c |       478 |    5057    23535   125962 |    10441      478     51 |  0.079 % |
214.19/214.32	c |       815 |    5055    23535   125962 |    11485      814     54 |  0.158 % |
214.48/214.65	c |      1321 |    5055    23535   125962 |    12634     1320     52 |  0.158 % |
214.88/215.09	c |      2081 |    5051    23535   125962 |    13897     2074     52 |  0.198 % |
215.68/215.84	c |      3221 |    5048    23535   125962 |    15287     3214     51 |  0.375 % |
216.68/216.87	c ===============================================================================
216.78/216.95	c core #490
216.78/216.95	c 
216.78/216.95	c 
216.78/216.95	c Core size: 73	Core Weight: 1	Total Weight: 491
216.78/216.95	c
216.78/216.95	c
216.78/216.95	c ============================[ Search Statistics ]==============================
216.78/216.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.78/216.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.78/216.95	c ===============================================================================
216.78/216.95	c |         0 |    5084    23549   126047 |     7849        0    nan |  0.000 % |
216.88/217.01	c |       100 |    5082    23549   126047 |     8634      100     30 |  0.118 % |
216.88/217.09	c |       250 |    5081    23549   126047 |     9498      250     41 |  0.216 % |
217.08/217.23	c |       477 |    5081    23549   126047 |    10447      477     50 |  0.216 % |
217.28/217.41	c |       814 |    5073    23549   126047 |    11492      810     50 |  0.295 % |
217.38/217.58	c ===============================================================================
217.48/217.64	c core #491
217.48/217.64	c 
217.48/217.64	c 
217.48/217.64	c Core size: 58	Core Weight: 1	Total Weight: 492
217.48/217.64	c
217.48/217.64	c
217.48/217.64	c ============================[ Search Statistics ]==============================
217.48/217.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.48/217.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.48/217.64	c ===============================================================================
217.48/217.64	c |         0 |    5111    23550   126101 |     7850        0    nan |  0.000 % |
217.48/217.70	c |       104 |    5111    23550   126101 |     8635      104     32 |  0.040 % |
217.59/217.78	c |       254 |    5111    23550   126101 |     9498      254     42 |  0.039 % |
217.78/217.94	c |       485 |    5111    23550   126101 |    10448      485     45 |  0.039 % |
218.08/218.21	c |       822 |    5111    23550   126101 |    11493      822     51 |  0.039 % |
218.38/218.53	c |      1329 |    5111    23550   126101 |    12642     1329     51 |  0.039 % |
218.88/219.03	c |      2089 |    5099    23550   126101 |    13906     2042     48 |  0.391 % |
219.58/219.79	c |      3229 |    5084    23550   126101 |    15297     3138     49 |  0.802 % |
220.18/220.30	c ===============================================================================
220.18/220.37	c core #492
220.18/220.37	c 
220.18/220.37	c 
220.18/220.37	c Core size: 148	Core Weight: 1	Total Weight: 493
220.18/220.37	c
220.18/220.37	c
220.18/220.37	c ============================[ Search Statistics ]==============================
220.18/220.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.18/220.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.18/220.37	c ===============================================================================
220.18/220.37	c |         0 |    5137    23562   126180 |     7854        0    nan |  0.000 % |
220.28/220.43	c |       101 |    5137    23562   126180 |     8639      101     32 |  0.078 % |
220.38/220.50	c |       251 |    5136    23562   126180 |     9503      251     43 |  0.078 % |
220.48/220.63	c |       476 |    5136    23562   126180 |    10453      476     51 |  0.078 % |
220.57/220.79	c |       813 |    5131    23562   126180 |    11499      812     53 |  0.234 % |
220.89/221.05	c |      1319 |    5123    23562   126180 |    12648     1288     50 |  0.311 % |
221.28/221.49	c |      2080 |    5116    23562   126180 |    13913     2046     48 |  0.467 % |
221.98/222.18	c |      3219 |    5108    23562   126180 |    15305     3182     48 |  0.701 % |
222.78/222.94	c ===============================================================================
222.87/223.01	c core #493
222.87/223.01	c 
222.87/223.01	c 
222.87/223.01	c Core size: 194	Core Weight: 1	Total Weight: 494
222.87/223.01	c
222.87/223.01	c
222.87/223.01	c ============================[ Search Statistics ]==============================
222.87/223.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
222.87/223.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
222.87/223.01	c ===============================================================================
222.87/223.01	c |         0 |    5166    23575   126268 |     7858        0    nan |  0.000 % |
222.87/223.07	c |       100 |    5166    23575   126268 |     8644      100     49 |  0.039 % |
222.98/223.13	c |       250 |    5166    23575   126268 |     9508      250     46 |  0.039 % |
223.09/223.30	c |       478 |    5166    23575   126268 |    10459      478     47 |  0.039 % |
223.38/223.50	c |       817 |    5166    23575   126268 |    11505      817     48 |  0.039 % |
223.68/223.81	c |      1323 |    5166    23575   126268 |    12655     1323     48 |  0.039 % |
224.18/224.32	c |      2082 |    5166    23575   126268 |    13921     2082     47 |  0.039 % |
225.08/225.20	c |      3221 |    5164    23575   126268 |    15313     3211     48 |  0.077 % |
226.08/226.27	c ===============================================================================
226.18/226.33	c core #494
226.18/226.33	c 
226.18/226.33	c 
226.18/226.33	c Core size: 134	Core Weight: 1	Total Weight: 495
226.18/226.33	c
226.18/226.33	c
226.18/226.33	c ============================[ Search Statistics ]==============================
226.18/226.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
226.18/226.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
226.18/226.33	c ===============================================================================
226.18/226.33	c |         0 |    5186    23577   126310 |     7859        0    nan |  0.000 % |
226.18/226.39	c |       104 |    5186    23577   126310 |     8644      104     35 |  0.039 % |
226.28/226.46	c |       258 |    5186    23577   126310 |     9509      258     36 |  0.039 % |
226.38/226.59	c |       485 |    5186    23577   126310 |    10460      485     48 |  0.039 % |
226.57/226.79	c |       823 |    5186    23577   126310 |    11506      823     50 |  0.039 % |
226.87/227.08	c |      1329 |    5186    23577   126310 |    12656     1329     51 |  0.039 % |
227.38/227.54	c |      2089 |    5186    23577   126310 |    13922     2089     52 |  0.039 % |
228.08/228.20	c |      3229 |    5186    23577   126310 |    15314     3229     51 |  0.039 % |
229.18/229.32	c |      4940 |    5186    23577   126310 |    16846     4940     48 |  0.039 % |
229.98/230.11	c ===============================================================================
229.98/230.18	c core #495
229.98/230.18	c 
229.98/230.18	c 
229.98/230.18	c Core size: 42	Core Weight: 1	Total Weight: 496
229.98/230.18	c
229.98/230.18	c
229.98/230.18	c ============================[ Search Statistics ]==============================
229.98/230.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
229.98/230.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
229.98/230.18	c ===============================================================================
229.98/230.18	c |         0 |    5207    23586   126373 |     7862        0    nan |  0.000 % |
230.08/230.22	c |       100 |    5207    23586   126373 |     8648      100     21 |  0.039 % |
230.08/230.23	c ===============================================================================
230.08/230.28	c core #496
230.08/230.28	c 
230.08/230.28	c 
230.08/230.28	c Core size: 80	Core Weight: 1	Total Weight: 497
230.08/230.28	c
230.08/230.28	c
230.08/230.28	c ============================[ Search Statistics ]==============================
230.08/230.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
230.08/230.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
230.08/230.28	c ===============================================================================
230.08/230.28	c |         0 |    5222    23588   126405 |     7862        0    nan |  0.000 % |
230.18/230.35	c |       102 |    5222    23588   126405 |     8648      102     28 |  0.077 % |
230.28/230.43	c |       252 |    5220    23588   126405 |     9513      252     36 |  0.115 % |
230.37/230.59	c |       478 |    5216    23588   126405 |    10465      473     45 |  0.153 % |
230.67/230.81	c |       818 |    5215    23588   126405 |    11511      813     49 |  0.191 % |
230.97/231.12	c |      1324 |    5214    23588   126405 |    12662     1292     53 |  0.191 % |
231.37/231.56	c |      2084 |    5214    23588   126405 |    13929     2052     52 |  0.191 % |
232.18/232.39	c |      3229 |    5212    23588   126405 |    15322     3185     52 |  0.230 % |
233.47/233.67	c |      4939 |    5212    23588   126405 |    16854     4895     50 |  0.230 % |
234.68/234.86	c ===============================================================================
234.78/234.95	c core #497
234.78/234.95	c 
234.78/234.95	c 
234.78/234.95	c Core size: 137	Core Weight: 1	Total Weight: 498
234.78/234.95	c
234.78/234.95	c
234.78/234.95	c ============================[ Search Statistics ]==============================
234.78/234.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.78/234.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.78/234.95	c ===============================================================================
234.78/234.95	c |         0 |    5245    23604   126493 |     7868        0    nan |  0.000 % |
234.78/234.99	c |       103 |    5245    23604   126493 |     8654      103     37 |  0.039 % |
234.87/235.06	c |       254 |    5245    23604   126493 |     9520      254     38 |  0.038 % |
234.97/235.17	c |       479 |    5245    23604   126493 |    10472      479     40 |  0.038 % |
235.18/235.35	c |       817 |    5245    23604   126493 |    11519      817     43 |  0.038 % |
235.37/235.59	c |      1324 |    5245    23604   126493 |    12671     1324     43 |  0.038 % |
235.77/235.97	c |      2087 |    5245    23604   126493 |    13938     2087     46 |  0.038 % |
236.47/236.64	c |      3226 |    5245    23604   126493 |    15332     3226     48 |  0.038 % |
237.48/237.66	c |      4934 |    5240    23604   126493 |    16865     4925     48 |  0.191 % |
238.27/238.46	c ===============================================================================
238.37/238.54	c core #498
238.37/238.54	c 
238.37/238.54	c 
238.37/238.54	c Core size: 52	Core Weight: 1	Total Weight: 499
238.37/238.54	c
238.37/238.54	c
238.37/238.54	c ============================[ Search Statistics ]==============================
238.37/238.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.37/238.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.37/238.54	c ===============================================================================
238.37/238.54	c |         0 |    5264    23605   126531 |     7868        0    nan |  0.000 % |
238.37/238.60	c |       100 |    5264    23605   126531 |     8655      100     33 |  0.039 % |
238.48/238.67	c |       254 |    5264    23605   126531 |     9520      254     41 |  0.038 % |
238.67/238.80	c |       480 |    5264    23605   126531 |    10472      480     48 |  0.038 % |
238.87/239.01	c |       819 |    5264    23605   126531 |    11520      819     49 |  0.038 % |
239.17/239.36	c |      1326 |    5264    23605   126531 |    12672     1326     50 |  0.038 % |
239.68/239.84	c |      2087 |    5264    23605   126531 |    13939     2087     49 |  0.038 % |
240.46/240.62	c |      3226 |    5264    23605   126531 |    15333     3226     47 |  0.038 % |
241.67/241.89	c |      4936 |    5264    23605   126531 |    16866     4936     45 |  0.038 % |
242.26/242.45	c ===============================================================================
242.36/242.51	c core #499
242.36/242.51	c 
242.36/242.51	c 
242.36/242.51	c Core size: 196	Core Weight: 1	Total Weight: 500
242.36/242.51	c
242.36/242.51	c
242.36/242.51	c ============================[ Search Statistics ]==============================
242.36/242.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
242.36/242.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
242.36/242.51	c ===============================================================================
242.36/242.51	c |         0 |    5287    23615   126600 |     7871        0    nan |  0.000 % |
242.36/242.57	c |       101 |    5287    23615   126600 |     8658      101     35 |  0.038 % |
242.46/242.61	c |       251 |    5287    23615   126600 |     9524      251     42 |  0.038 % |
242.56/242.70	c |       476 |    5287    23615   126600 |    10477      476     42 |  0.038 % |
242.67/242.89	c |       813 |    5287    23615   126600 |    11524      813     45 |  0.038 % |
242.97/243.17	c |      1322 |    5287    23615   126600 |    12677     1322     45 |  0.038 % |
243.46/243.62	c |      2082 |    5287    23615   126600 |    13945     2082     45 |  0.038 % |
244.08/244.28	c |      3221 |    5287    23615   126600 |    15339     3221     47 |  0.038 % |
244.76/244.92	c |      4929 |    5287    23615   126600 |    16873     4929     81 |  0.038 % |
246.46/246.63	c |      7492 |    5271    23615   126600 |    18560     7277     70 |  0.340 % |
246.86/247.03	c ===============================================================================
246.96/247.10	c core #500
246.96/247.10	c 
246.96/247.10	c 
246.96/247.10	c Core size: 145	Core Weight: 1	Total Weight: 501
246.96/247.10	c
246.96/247.10	c
246.96/247.10	c ============================[ Search Statistics ]==============================
246.96/247.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
246.96/247.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
246.96/247.10	c ===============================================================================
246.96/247.10	c |         0 |    5298    23633   126665 |     7877        0    nan |  0.000 % |
246.96/247.16	c |       100 |    5298    23633   126665 |     8665      100     29 |  0.038 % |
247.06/247.20	c |       250 |    5298    23633   126665 |     9531      250     35 |  0.038 % |
247.16/247.34	c |       476 |    5298    23633   126665 |    10485      476     44 |  0.038 % |
247.37/247.55	c |       813 |    5298    23633   126665 |    11533      813     47 |  0.038 % |
247.66/247.86	c |      1320 |    5298    23633   126665 |    12687     1320     51 |  0.038 % |
248.16/248.33	c |      2082 |    5298    23633   126665 |    13955     2082     52 |  0.038 % |
248.87/249.06	c |      3225 |    5298    23633   126665 |    15351     3225     49 |  0.038 % |
250.06/250.25	c |      4933 |    5298    23633   126665 |    16886     4933     50 |  0.038 % |
250.96/251.16	c ===============================================================================
251.06/251.24	c core #501
251.06/251.24	c 
251.06/251.24	c 
251.06/251.24	c Core size: 105	Core Weight: 1	Total Weight: 502
251.06/251.24	c
251.06/251.24	c
251.06/251.24	c ============================[ Search Statistics ]==============================
251.06/251.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
251.06/251.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
251.06/251.24	c ===============================================================================
251.06/251.24	c |         0 |    5328    23636   126731 |     7878        0    nan |  0.000 % |
251.17/251.30	c |       100 |    5328    23636   126731 |     8666      100     37 |  0.038 % |
251.17/251.37	c |       250 |    5328    23636   126731 |     9533      250     41 |  0.038 % |
251.36/251.51	c |       475 |    5328    23636   126731 |    10486      475     49 |  0.038 % |
251.56/251.72	c |       812 |    5328    23636   126731 |    11535      812     51 |  0.038 % |
251.86/252.01	c |      1318 |    5328    23636   126731 |    12688     1318     53 |  0.038 % |
252.26/252.46	c |      2078 |    5328    23636   126731 |    13957     2078     52 |  0.038 % |
253.06/253.21	c |      3221 |    5328    23636   126731 |    15353     3221     49 |  0.038 % |
254.26/254.42	c |      4930 |    5326    23636   126731 |    16888     4925     47 |  0.075 % |
256.26/256.49	c |      7496 |    5324    23636   126731 |    18577     7483     45 |  0.113 % |
256.36/256.57	c ===============================================================================
256.46/256.64	c core #502
256.46/256.64	c 
256.46/256.64	c 
256.46/256.64	c Core size: 38	Core Weight: 1	Total Weight: 503
256.46/256.64	c
256.46/256.64	c
256.46/256.64	c ============================[ Search Statistics ]==============================
256.46/256.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
256.46/256.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
256.46/256.64	c ===============================================================================
256.46/256.64	c |         0 |    5345    23649   126796 |     7883        0    nan |  0.000 % |
256.46/256.69	c |       100 |    5345    23649   126796 |     8671      100     33 |  0.038 % |
256.56/256.78	c |       252 |    5345    23649   126796 |     9538      252     36 |  0.037 % |
256.66/256.88	c |       479 |    5345    23649   126796 |    10492      479     39 |  0.037 % |
256.86/257.05	c |       816 |    5345    23649   126796 |    11541      816     45 |  0.037 % |
257.16/257.33	c |      1324 |    5345    23649   126796 |    12695     1324     47 |  0.037 % |
257.56/257.79	c |      2083 |    5343    23649   126796 |    13965     2080     50 |  0.075 % |
258.36/258.54	c |      3222 |    5341    23649   126796 |    15361     3209     52 |  0.112 % |
259.56/259.73	c |      4930 |    5341    23649   126796 |    16897     4917     48 |  0.112 % |
259.76/259.91	c ===============================================================================
259.76/259.99	c core #503
259.76/259.99	c 
259.76/259.99	c 
259.76/259.99	c Core size: 47	Core Weight: 1	Total Weight: 504
259.76/259.99	c
259.76/259.99	c
259.76/259.99	c ============================[ Search Statistics ]==============================
259.76/259.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
259.76/259.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
259.76/259.99	c ===============================================================================
259.76/259.99	c |         0 |    5367    23659   126862 |     7886        0    nan |  0.000 % |
259.85/260.05	c |       101 |    5367    23659   126862 |     8674      101     40 |  0.038 % |
259.95/260.12	c |       256 |    5367    23659   126862 |     9542      256     41 |  0.037 % |
260.05/260.26	c |       484 |    5367    23659   126862 |    10496      484     52 |  0.037 % |
260.25/260.45	c |       821 |    5367    23659   126862 |    11546      821     51 |  0.037 % |
260.56/260.73	c |      1327 |    5367    23659   126862 |    12701     1327     47 |  0.037 % |
260.86/261.07	c ===============================================================================
260.96/261.14	c core #504
260.96/261.14	c 
260.96/261.14	c 
260.96/261.14	c Core size: 74	Core Weight: 1	Total Weight: 505
260.96/261.14	c
260.96/261.14	c
260.96/261.14	c ============================[ Search Statistics ]==============================
260.96/261.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
260.96/261.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
260.96/261.14	c ===============================================================================
260.96/261.14	c |         0 |    5381    23665   126904 |     7888        0    nan |  0.000 % |
261.06/261.21	c |       100 |    5381    23665   126904 |     8677      100     27 |  0.038 % |
261.06/261.28	c |       250 |    5381    23665   126904 |     9544      250     38 |  0.074 % |
261.25/261.41	c |       478 |    5380    23665   126904 |    10499      478     45 |  0.074 % |
261.35/261.58	c |       815 |    5379    23665   126904 |    11549      814     50 |  0.074 % |
261.66/261.88	c |      1327 |    5379    23665   126904 |    12704     1326     54 |  0.074 % |
262.15/262.34	c |      2087 |    5377    23665   126904 |    13974     2085     52 |  0.111 % |
262.95/263.13	c |      3227 |    5377    23665   126904 |    15372     3225     50 |  0.111 % |
264.15/264.34	c |      4936 |    5367    23665   126904 |    16909     4933     49 |  0.297 % |
265.15/265.35	c |      7499 |    5367    23665   126904 |    18600     7496     55 |  0.297 % |
266.55/266.74	c ===============================================================================
266.65/266.84	c core #505
266.65/266.84	c 
266.65/266.84	c 
266.65/266.84	c Core size: 103	Core Weight: 1	Total Weight: 506
266.65/266.84	c
266.65/266.84	c
266.65/266.84	c ============================[ Search Statistics ]==============================
266.65/266.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
266.65/266.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
266.65/266.84	c ===============================================================================
266.65/266.84	c |         0 |    5417    23673   126995 |     7891        0    nan |  0.000 % |
266.65/266.89	c |       100 |    5417    23673   126995 |     8680      100     31 |  0.037 % |
266.75/266.95	c |       250 |    5417    23673   126995 |     9548      250     41 |  0.037 % |
266.85/267.04	c |       476 |    5417    23673   126995 |    10502      476     48 |  0.037 % |
266.95/267.17	c |       814 |    5417    23673   126995 |    11553      814     48 |  0.037 % |
267.25/267.42	c |      1320 |    5413    23673   126995 |    12708     1313     51 |  0.148 % |
267.55/267.77	c |      2079 |    5413    23673   126995 |    13979     2072     49 |  0.148 % |
268.16/268.39	c |      3219 |    5411    23673   126995 |    15377     3205     51 |  0.148 % |
269.26/269.47	c |      4927 |    5405    23673   126995 |    16915     4897     52 |  0.388 % |
271.15/271.30	c ===============================================================================
271.15/271.39	c core #506
271.15/271.39	c 
271.15/271.39	c 
271.15/271.39	c Core size: 157	Core Weight: 1	Total Weight: 507
271.15/271.39	c
271.15/271.39	c
271.15/271.39	c ============================[ Search Statistics ]==============================
271.15/271.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
271.15/271.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
271.15/271.39	c ===============================================================================
271.15/271.39	c |         0 |    5448    23696   127117 |     7898        0    nan |  0.000 % |
271.25/271.44	c |       103 |    5448    23696   127117 |     8688      103     37 |  0.037 % |
271.35/271.52	c |       253 |    5448    23696   127117 |     9557      253     45 |  0.037 % |
271.46/271.64	c |       479 |    5448    23696   127117 |    10513      479     50 |  0.037 % |
271.65/271.85	c |       818 |    5448    23696   127117 |    11564      818     54 |  0.037 % |
271.95/272.15	c |      1324 |    5448    23696   127117 |    12720     1324     55 |  0.037 % |
272.45/272.65	c |      2089 |    5448    23696   127117 |    13992     2089     54 |  0.037 % |
273.25/273.40	c |      3231 |    5442    23696   127117 |    15392     3229     54 |  0.165 % |
274.55/274.75	c |      4942 |    5439    23696   127117 |    16931     4923     54 |  0.202 % |
275.45/275.61	c ===============================================================================
275.55/275.70	c core #507
275.55/275.70	c 
275.55/275.70	c 
275.55/275.70	c Core size: 22	Core Weight: 1	Total Weight: 508
275.55/275.70	c
275.55/275.70	c
275.55/275.70	c ============================[ Search Statistics ]==============================
275.55/275.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
275.55/275.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
275.55/275.70	c ===============================================================================
275.55/275.70	c |         0 |    5464    23702   127163 |     7900        0    nan |  0.000 % |
275.55/275.76	c |       101 |    5464    23702   127163 |     8690      101     35 |  0.073 % |
275.65/275.84	c |       251 |    5463    23702   127163 |     9559      251     44 |  0.073 % |
275.75/275.95	c |       482 |    5463    23702   127163 |    10515      482     51 |  0.073 % |
275.95/276.14	c |       821 |    5462    23702   127163 |    11567      820     52 |  0.073 % |
276.25/276.41	c |      1329 |    5462    23702   127163 |    12724     1328     49 |  0.073 % |
276.64/276.82	c |      2088 |    5462    23702   127163 |    13996     2087     51 |  0.073 % |
277.34/277.58	c |      3227 |    5462    23702   127163 |    15396     3226     51 |  0.073 % |
278.54/278.71	c |      4936 |    5462    23702   127163 |    16935     4935     49 |  0.073 % |
279.55/279.72	c |      7498 |    5462    23702   127163 |    18629     7497     71 |  0.073 % |
280.54/280.75	c ===============================================================================
280.64/280.83	c core #508
280.64/280.83	c 
280.64/280.83	c 
280.64/280.83	c Core size: 97	Core Weight: 1	Total Weight: 509
280.64/280.83	c
280.64/280.83	c
280.64/280.83	c ============================[ Search Statistics ]==============================
280.64/280.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
280.64/280.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
280.64/280.83	c ===============================================================================
280.64/280.83	c |         0 |    5477    23716   127219 |     7905        0    nan |  0.000 % |
280.74/280.90	c |       103 |    5477    23716   127219 |     8695      103     30 |  0.037 % |
280.84/281.00	c |       253 |    5477    23716   127219 |     9565      253     43 |  0.037 % |
280.94/281.13	c |       479 |    5477    23716   127219 |    10521      479     47 |  0.037 % |
281.14/281.32	c |       817 |    5477    23716   127219 |    11574      817     49 |  0.037 % |
281.45/281.63	c |      1324 |    5477    23716   127219 |    12731     1324     47 |  0.037 % |
281.95/282.13	c |      2086 |    5477    23716   127219 |    14004     2086     47 |  0.037 % |
282.64/282.81	c |      3228 |    5477    23716   127219 |    15405     3228     51 |  0.037 % |
283.95/284.11	c |      4937 |    5473    23716   127219 |    16945     4935     52 |  0.146 % |
286.24/286.45	c |      7501 |    5469    23716   127219 |    18640     7480     50 |  0.183 % |
286.34/286.50	c ===============================================================================
286.34/286.59	c core #509
286.34/286.59	c 
286.34/286.59	c 
286.34/286.59	c Core size: 36	Core Weight: 1	Total Weight: 510
286.34/286.59	c
286.34/286.59	c
286.34/286.59	c ============================[ Search Statistics ]==============================
286.34/286.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
286.34/286.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
286.34/286.59	c ===============================================================================
286.34/286.59	c |         0 |    5498    23736   127316 |     7912        0    nan |  0.000 % |
286.44/286.65	c |       101 |    5498    23736   127316 |     8703      101     40 |  0.037 % |
286.54/286.70	c |       254 |    5498    23736   127316 |     9573      254     37 |  0.036 % |
286.64/286.81	c |       481 |    5498    23736   127316 |    10530      481     40 |  0.036 % |
286.74/286.97	c |       821 |    5498    23736   127316 |    11583      821     43 |  0.036 % |
287.04/287.24	c |      1330 |    5498    23736   127316 |    12742     1330     47 |  0.036 % |
287.44/287.69	c |      2089 |    5498    23736   127316 |    14016     2089     47 |  0.036 % |
288.24/288.41	c |      3230 |    5498    23736   127316 |    15418     3230     46 |  0.036 % |
289.23/289.49	c |      4940 |    5498    23736   127316 |    16960     4940     45 |  0.036 % |
289.94/290.12	c ===============================================================================
290.04/290.20	c core #510
290.04/290.20	c 
290.04/290.20	c 
290.04/290.20	c Core size: 45	Core Weight: 1	Total Weight: 511
290.04/290.20	c
290.04/290.20	c
290.04/290.20	c ============================[ Search Statistics ]==============================
290.04/290.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
290.04/290.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
290.04/290.20	c ===============================================================================
290.04/290.20	c |         0 |    5523    23743   127382 |     7914        0    nan |  0.000 % |
290.04/290.27	c |       100 |    5523    23743   127382 |     8705      100     29 |  0.072 % |
290.14/290.34	c |       252 |    5522    23743   127382 |     9576      252     37 |  0.072 % |
290.24/290.47	c |       478 |    5522    23743   127382 |    10533      478     42 |  0.072 % |
290.44/290.67	c |       818 |    5521    23743   127382 |    11587      817     46 |  0.072 % |
290.74/290.98	c |      1324 |    5521    23743   127382 |    12746     1323     49 |  0.072 % |
291.25/291.44	c |      2083 |    5521    23743   127382 |    14020     2082     48 |  0.072 % |
291.93/292.19	c |      3225 |    5521    23743   127382 |    15422     3224     48 |  0.072 % |
293.14/293.39	c |      4934 |    5521    23743   127382 |    16965     4933     47 |  0.072 % |
294.74/294.93	c ===============================================================================
294.84/295.01	c core #511
294.84/295.01	c 
294.84/295.01	c 
294.84/295.01	c Core size: 103	Core Weight: 1	Total Weight: 512
294.84/295.01	c
294.84/295.01	c
294.84/295.01	c ============================[ Search Statistics ]==============================
294.84/295.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
294.84/295.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
294.84/295.01	c ===============================================================================
294.84/295.01	c |         0 |    5544    23762   127474 |     7920        0    nan |  0.000 % |
294.84/295.08	c |       100 |    5544    23762   127474 |     8712      100     31 |  0.037 % |
294.94/295.13	c |       251 |    5544    23762   127474 |     9584      251     34 |  0.036 % |
295.04/295.24	c |       478 |    5544    23762   127474 |    10542      478     34 |  0.036 % |
295.23/295.42	c |       816 |    5544    23762   127474 |    11596      816     41 |  0.036 % |
295.53/295.71	c |      1322 |    5544    23762   127474 |    12756     1322     45 |  0.036 % |
295.93/296.18	c |      2081 |    5544    23762   127474 |    14031     2081     46 |  0.036 % |
296.63/296.85	c |      3222 |    5544    23762   127474 |    15435     3222     44 |  0.036 % |
297.83/298.06	c |      4930 |    5544    23762   127474 |    16978     4930     41 |  0.036 % |
298.13/298.30	c ===============================================================================
298.13/298.36	c core #512
298.13/298.36	c 
298.13/298.36	c 
298.13/298.36	c Core size: 116	Core Weight: 1	Total Weight: 513
298.13/298.36	c
298.13/298.36	c
298.13/298.36	c ============================[ Search Statistics ]==============================
298.13/298.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
298.13/298.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
298.13/298.36	c ===============================================================================
298.13/298.36	c |         0 |    5563    23767   127521 |     7922        0    nan |  0.000 % |
298.23/298.42	c |       100 |    5563    23767   127521 |     8714      100     35 |  0.036 % |
298.23/298.49	c |       251 |    5563    23767   127521 |     9586      251     38 |  0.036 % |
298.43/298.61	c |       477 |    5563    23767   127521 |    10544      477     45 |  0.036 % |
298.63/298.81	c |       816 |    5563    23767   127521 |    11599      816     48 |  0.036 % |
298.83/299.10	c |      1324 |    5563    23767   127521 |    12758     1324     48 |  0.036 % |
299.32/299.58	c |      2083 |    5563    23767   127521 |    14034     2083     48 |  0.036 % |
300.14/300.32	c |      3225 |    5563    23767   127521 |    15438     3225     47 |  0.036 % |
301.43/301.65	c |      4933 |    5563    23767   127521 |    16982     4933     47 |  0.036 % |
302.73/302.97	c |      7495 |    5563    23767   127521 |    18680     7495     55 |  0.036 % |
304.32/304.50	c |     11339 |    5563    23767   127521 |    20548    11339     73 |  0.036 % |
306.92/307.18	c |     17105 |    5563    23767   127521 |    22603    17105     90 |  0.036 % |
310.72/310.94	c |     25755 |    5563    23767   127521 |    24863    12166     85 |  0.036 % |
317.82/318.05	c |     38730 |    5563    23767   127521 |    27350    25141     76 |  0.036 % |
334.01/334.22	c |     58192 |    5563    23767   127521 |    30085    26346    141 |  0.036 % |
359.01/359.27	c |     87385 |    5563    23767   127521 |    33093    13616    219 |  0.036 % |
395.40/395.65	c |    131175 |    5563    23767   127521 |    36402    33521     80 |  0.036 % |
446.19/446.48	c |    196860 |    5543    23767   127521 |    40043    19725     57 |  0.557 % |
534.16/534.45	c |    295386 |    5543    23767   127521 |    44047    26100    140 |  0.557 % |
671.82/672.12	c |    443175 |    5534    23767   127521 |    48452    35841     53 |  0.557 % |
881.14/881.53	c |    664859 |    5534    23767   127521 |    53297    24191     63 |  0.557 % |
925.83/926.29	c ===============================================================================
926.53/926.99	c core #513
926.53/926.99	c 
926.53/926.99	c 
926.53/926.99	c Core size: 162	Core Weight: 1	Total Weight: 514
926.53/926.99	c
926.53/926.99	c
926.53/926.99	c ============================[ Search Statistics ]==============================
926.53/926.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
926.53/926.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
926.53/926.99	c ===============================================================================
926.53/926.99	c |         0 |    5602    23774   127612 |     7924        0    nan |  0.000 % |
926.72/927.16	c |       104 |    5602    23774   127612 |     8717      104     19 |  0.036 % |
926.72/927.19	c |       257 |    5602    23774   127612 |     9588      257     33 |  0.036 % |
926.83/927.25	c |       482 |    5602    23774   127612 |    10547      482     45 |  0.036 % |
926.94/927.34	c |       820 |    5602    23774   127612 |    11602      820     48 |  0.036 % |
927.03/927.48	c |      1326 |    5602    23774   127612 |    12762     1326     50 |  0.036 % |
927.32/927.70	c |      2091 |    5602    23774   127612 |    14039     2091     48 |  0.036 % |
927.73/928.10	c |      3230 |    5602    23774   127612 |    15442     3230     48 |  0.036 % |
928.32/928.78	c |      4938 |    5602    23774   127612 |    16987     4938     48 |  0.036 % |
929.43/929.87	c ===============================================================================
929.52/929.94	c core #514
929.52/929.94	c 
929.52/929.94	c 
929.52/929.94	c Core size: 131	Core Weight: 1	Total Weight: 515
929.52/929.94	c
929.52/929.94	c
929.52/929.94	c ============================[ Search Statistics ]==============================
929.52/929.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
929.52/929.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
929.52/929.94	c ===============================================================================
929.52/929.94	c |         0 |    5624    23793   127710 |     7931        0    nan |  0.000 % |
929.62/930.00	c |       100 |    5624    23793   127710 |     8724      100     45 |  0.036 % |
929.72/930.10	c |       250 |    5624    23793   127710 |     9596      250     47 |  0.036 % |
929.83/930.23	c |       475 |    5624    23793   127710 |    10556      475     48 |  0.036 % |
930.03/930.44	c |       813 |    5624    23793   127710 |    11611      813     50 |  0.036 % |
930.32/930.76	c |      1319 |    5624    23793   127710 |    12772     1319     46 |  0.036 % |
930.82/931.25	c |      2078 |    5624    23793   127710 |    14050     2078     47 |  0.036 % |
931.62/932.05	c |      3217 |    5624    23793   127710 |    15455     3217     47 |  0.036 % |
932.72/933.14	c |      4925 |    5624    23793   127710 |    17000     4925     46 |  0.036 % |
933.53/933.95	c ===============================================================================
933.62/934.02	c core #515
933.62/934.02	c 
933.62/934.02	c 
933.62/934.02	c Core size: 48	Core Weight: 1	Total Weight: 516
933.62/934.02	c
933.62/934.02	c
933.62/934.02	c ============================[ Search Statistics ]==============================
933.62/934.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
933.62/934.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
933.62/934.02	c ===============================================================================
933.62/934.02	c |         0 |    5661    23805   127816 |     7935        0    nan |  0.000 % |
933.62/934.09	c |       101 |    5661    23805   127816 |     8728      101     35 |  0.036 % |
933.72/934.14	c |       251 |    5661    23805   127816 |     9601      251     39 |  0.035 % |
933.82/934.25	c |       476 |    5661    23805   127816 |    10561      476     40 |  0.035 % |
934.02/934.43	c |       814 |    5661    23805   127816 |    11617      814     42 |  0.035 % |
934.32/934.71	c |      1324 |    5661    23805   127816 |    12779     1324     42 |  0.035 % |
934.63/935.02	c |      2084 |    5659    23805   127816 |    14057     2081     42 |  0.071 % |
935.32/935.71	c |      3223 |    5659    23805   127816 |    15463     3220     44 |  0.071 % |
936.52/936.93	c |      4931 |    5659    23805   127816 |    17009     4928     44 |  0.071 % |
937.02/937.48	c ===============================================================================
937.12/937.56	c core #516
937.12/937.56	c 
937.12/937.56	c 
937.12/937.56	c Core size: 93	Core Weight: 1	Total Weight: 517
937.12/937.56	c
937.12/937.56	c
937.12/937.56	c ============================[ Search Statistics ]==============================
937.12/937.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
937.12/937.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
937.12/937.56	c ===============================================================================
937.12/937.56	c |         0 |    5697    23825   127942 |     7941        0    nan |  0.000 % |
937.22/937.62	c |       101 |    5697    23825   127942 |     8735      101     25 |  0.041 % |
937.22/937.67	c |       252 |    5697    23825   127942 |     9609      252     32 |  0.035 % |
937.42/937.82	c |       477 |    5696    23825   127942 |    10570      477     40 |  0.070 % |
937.62/938.04	c |       814 |    5694    23825   127942 |    11627      811     44 |  0.105 % |
937.93/938.36	c |      1320 |    5694    23825   127942 |    12790     1317     50 |  0.105 % |
938.42/938.87	c |      2079 |    5693    23825   127942 |    14069     2075     54 |  0.105 % |
939.21/939.64	c |      3220 |    5693    23825   127942 |    15476     3216     51 |  0.105 % |
940.52/940.91	c |      4930 |    5693    23825   127942 |    17023     4926     51 |  0.105 % |
941.31/941.70	c ===============================================================================
941.31/941.78	c core #517
941.31/941.78	c 
941.31/941.78	c 
941.31/941.78	c Core size: 27	Core Weight: 1	Total Weight: 518
941.31/941.78	c
941.31/941.78	c
941.31/941.78	c ============================[ Search Statistics ]==============================
941.31/941.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
941.31/941.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
941.31/941.78	c ===============================================================================
941.31/941.78	c |         0 |    5712    23839   128010 |     7946        0    nan |  0.000 % |
941.41/941.84	c |       100 |    5712    23839   128010 |     8740      100     45 |  0.070 % |
941.51/941.90	c |       252 |    5712    23839   128010 |     9615      252     41 |  0.070 % |
941.61/942.02	c |       477 |    5712    23839   128010 |    10576      477     47 |  0.070 % |
941.71/942.18	c |       814 |    5712    23839   128010 |    11634      814     48 |  0.070 % |
942.02/942.43	c |      1320 |    5712    23839   128010 |    12797     1320     44 |  0.070 % |
942.42/942.85	c |      2081 |    5712    23839   128010 |    14077     2081     44 |  0.070 % |
943.12/943.52	c |      3221 |    5708    23839   128010 |    15485     3216     45 |  0.175 % |
943.61/944.09	c ===============================================================================
943.71/944.16	c core #518
943.71/944.16	c 
943.71/944.16	c 
943.71/944.16	c Core size: 110	Core Weight: 1	Total Weight: 519
943.71/944.16	c
943.71/944.16	c
943.71/944.16	c ============================[ Search Statistics ]==============================
943.71/944.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
943.71/944.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
943.71/944.16	c ===============================================================================
943.71/944.16	c |         0 |    5728    23842   128047 |     7947        0    nan |  0.000 % |
943.81/944.22	c |       100 |    5728    23842   128047 |     8742      100     40 |  0.070 % |
943.81/944.28	c |       250 |    5728    23842   128047 |     9616      250     41 |  0.070 % |
944.01/944.43	c |       476 |    5728    23842   128047 |    10577      476     47 |  0.070 % |
944.21/944.69	c |       813 |    5728    23842   128047 |    11635      813     50 |  0.070 % |
944.62/945.02	c |      1320 |    5728    23842   128047 |    12799     1320     49 |  0.070 % |
945.12/945.54	c |      2079 |    5728    23842   128047 |    14079     2079     49 |  0.070 % |
945.91/946.30	c |      3219 |    5728    23842   128047 |    15487     3219     46 |  0.070 % |
947.21/947.66	c |      4927 |    5728    23842   128047 |    17035     4927     45 |  0.070 % |
948.32/948.74	c ===============================================================================
948.42/948.82	c core #519
948.42/948.82	c 
948.42/948.82	c 
948.42/948.82	c Core size: 45	Core Weight: 1	Total Weight: 520
948.42/948.82	c
948.42/948.82	c
948.42/948.82	c ============================[ Search Statistics ]==============================
948.42/948.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
948.42/948.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
948.42/948.82	c ===============================================================================
948.42/948.82	c |         0 |    5765    23850   128141 |     7950        0    nan |  0.000 % |
948.42/948.89	c |       100 |    5765    23850   128141 |     8745      100     37 |  0.070 % |
948.52/948.93	c |       250 |    5765    23850   128141 |     9619      250     38 |  0.069 % |
948.62/949.05	c |       475 |    5765    23850   128141 |    10581      475     41 |  0.069 % |
948.82/949.23	c |       812 |    5765    23850   128141 |    11639      812     44 |  0.069 % |
949.01/949.48	c |      1319 |    5765    23850   128141 |    12803     1319     43 |  0.069 % |
949.52/949.94	c |      2078 |    5765    23850   128141 |    14083     2078     43 |  0.069 % |
950.22/950.66	c |      3220 |    5765    23850   128141 |    15492     3220     42 |  0.069 % |
951.32/951.78	c |      4929 |    5765    23850   128141 |    17041     4929     41 |  0.070 % |
951.61/952.08	c |      7492 |    5765    23850   128141 |    18745     7492     38 |  0.069 % |
952.12/952.51	c ===============================================================================
952.22/952.63	c core #520
952.22/952.63	c 
952.22/952.63	c 
952.22/952.63	c Core size: 151	Core Weight: 1	Total Weight: 521
952.22/952.63	c
952.22/952.63	c
952.22/952.63	c ============================[ Search Statistics ]==============================
952.22/952.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
952.22/952.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
952.22/952.63	c ===============================================================================
952.22/952.63	c |         0 |    5812    23868   128283 |     7956        0    nan |  0.000 % |
952.22/952.66	c |       103 |    5812    23868   128283 |     8751      103     15 |  0.069 % |
952.31/952.73	c |       253 |    5812    23868   128283 |     9626      253     31 |  0.069 % |
952.41/952.84	c |       478 |    5812    23868   128283 |    10589      478     35 |  0.069 % |
952.61/953.04	c |       815 |    5812    23868   128283 |    11648      815     43 |  0.069 % |
952.91/953.36	c |      1322 |    5812    23868   128283 |    12813     1322     46 |  0.069 % |
953.41/953.85	c |      2084 |    5812    23868   128283 |    14094     2084     51 |  0.069 % |
954.21/954.63	c |      3225 |    5812    23868   128283 |    15503     3225     49 |  0.069 % |
955.51/955.97	c |      4936 |    5812    23868   128283 |    17054     4936     47 |  0.069 % |
957.51/958.00	c |      7498 |    5812    23868   128283 |    18759     7498     46 |  0.069 % |
957.61/958.04	c ===============================================================================
957.71/958.13	c core #521
957.71/958.13	c 
957.71/958.13	c 
957.71/958.13	c Core size: 35	Core Weight: 1	Total Weight: 522
957.71/958.13	c
957.71/958.13	c
957.71/958.13	c ============================[ Search Statistics ]==============================
957.71/958.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
957.71/958.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
957.71/958.13	c ===============================================================================
957.71/958.13	c |         0 |    5839    23893   128409 |     7964        0    nan |  0.000 % |
957.71/958.19	c |       100 |    5839    23893   128409 |     8760      100     35 |  0.069 % |
957.81/958.25	c |       250 |    5839    23893   128409 |     9636      250     31 |  0.068 % |
957.90/958.37	c |       476 |    5839    23893   128409 |    10600      476     36 |  0.068 % |
958.10/958.55	c |       814 |    5839    23893   128409 |    11660      814     40 |  0.068 % |
958.41/958.83	c |      1321 |    5839    23893   128409 |    12826     1321     41 |  0.068 % |
958.82/959.29	c |      2080 |    5839    23893   128409 |    14109     2080     41 |  0.068 % |
959.61/960.01	c |      3219 |    5839    23893   128409 |    15520     3219     41 |  0.068 % |
960.80/961.24	c |      4927 |    5839    23893   128409 |    17072     4927     43 |  0.068 % |
961.41/961.88	c ===============================================================================
961.51/961.96	c core #522
961.51/961.96	c 
961.51/961.96	c 
961.51/961.96	c Core size: 254	Core Weight: 1	Total Weight: 523
961.51/961.96	c
961.51/961.96	c
961.51/961.96	c ============================[ Search Statistics ]==============================
961.51/961.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
961.51/961.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
961.51/961.96	c ===============================================================================
961.51/961.96	c |         0 |    5870    23910   128519 |     7970        0    nan |  0.000 % |
961.61/962.01	c |       100 |    5870    23910   128519 |     8767      100     40 |  0.069 % |
961.61/962.09	c |       250 |    5870    23910   128519 |     9643      250     38 |  0.068 % |
961.80/962.25	c |       475 |    5870    23910   128519 |    10608      475     39 |  0.068 % |
962.01/962.46	c |       812 |    5870    23910   128519 |    11668      812     42 |  0.068 % |
962.31/962.78	c |      1321 |    5870    23910   128519 |    12835     1321     43 |  0.068 % |
962.81/963.24	c |      2082 |    5870    23910   128519 |    14119     2082     41 |  0.068 % |
963.60/964.03	c |      3223 |    5870    23910   128519 |    15531     3223     44 |  0.068 % |
964.61/965.05	c |      4932 |    5870    23910   128519 |    17084     4932     44 |  0.068 % |
965.70/966.10	c |      7495 |    5870    23910   128519 |    18792     7495     72 |  0.068 % |
967.30/967.70	c |     11339 |    5870    23910   128519 |    20672    11339    119 |  0.068 % |
969.71/970.13	c |     17105 |    5870    23910   128519 |    22739    17105    147 |  0.068 % |
974.11/974.60	c |     25755 |    5870    23910   128519 |    25013    11901    198 |  0.068 % |
981.20/981.65	c |     38730 |    5870    23910   128519 |    27514    24876    125 |  0.068 % |
993.69/994.13	c |     58191 |    5870    23910   128519 |    30266    25887    156 |  0.068 % |
1010.39/1010.83	c |     87384 |    5865    23910   128519 |    33292    12846     63 |  0.153 % |
1040.68/1041.11	c |    131174 |    5859    23910   128519 |    36621    32582     31 |  0.358 % |
1100.26/1100.76	c |    196858 |    5853    23910   128519 |    40284    16364    127 |  0.358 % |
1196.74/1197.28	c |    295384 |    5853    23910   128519 |    44312    22371    110 |  0.358 % |
1373.18/1373.71	c |    443174 |    5853    23910   128519 |    48743    30900    240 |  0.358 % |
1624.11/1624.75	c |    664857 |    5853    23910   128519 |    53618    17857     79 |  0.358 % |

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-2680780-1277453517/watcher-2680780-1277453517 -o /tmp/evaluation-result-2680780-1277453517/solver-2680780-1277453517 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680780-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: 0.91 0.95 0.81 3/106 27715
/proc/meminfo: memFree=1551056/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=3800 CPUtime=0
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 316 0 0 0 0 0 0 0 21 0 1 0 86644547 3891200 235 1992294400 134512640 135752675 4291681360 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 950 235 135 303 0 381 0

[startup+0.015675 s]
/proc/loadavg: 0.91 0.95 0.81 3/106 27715
/proc/meminfo: memFree=1551056/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=3800 CPUtime=0.01
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 327 0 0 0 1 0 0 0 21 0 1 0 86644547 3891200 246 1992294400 134512640 135752675 4291681360 18446744073709551615 134559966 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 950 246 146 303 0 381 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3800

[startup+0.101684 s]
/proc/loadavg: 0.91 0.95 0.81 3/106 27715
/proc/meminfo: memFree=1551056/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=4196 CPUtime=0.09
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 555 0 0 0 9 0 0 0 21 0 1 0 86644547 4296704 474 1992294400 134512640 135752675 4291681360 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 1049 474 283 303 0 480 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4196

[startup+0.301705 s]
/proc/loadavg: 0.91 0.95 0.81 3/106 27715
/proc/meminfo: memFree=1551056/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=5644 CPUtime=0.29
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 1297 0 0 0 29 0 0 0 22 0 1 0 86644547 5779456 952 1992294400 134512640 135752675 4291681360 18446744073709551615 135200859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 1411 952 141 303 0 1106 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5644

[startup+0.701749 s]
/proc/loadavg: 0.91 0.95 0.81 3/106 27715
/proc/meminfo: memFree=1551056/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=5644 CPUtime=0.69
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 1301 0 0 0 68 1 0 0 23 0 1 0 86644547 5779456 956 1992294400 134512640 135752675 4291681360 18446744073709551615 134612083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 1411 956 145 303 0 1106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5644

[startup+1.50184 s]
/proc/loadavg: 0.91 0.95 0.81 2/107 27716
/proc/meminfo: memFree=1547700/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=9744 CPUtime=1.49
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 2333 0 0 0 147 2 0 0 25 0 1 0 86644547 9977856 1988 1992294400 134512640 135752675 4291681360 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 2436 1988 145 303 0 2131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9744

[startup+3.10201 s]
/proc/loadavg: 0.91 0.95 0.81 2/107 27716
/proc/meminfo: memFree=1538028/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=21648 CPUtime=3.09
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 5304 0 0 0 305 4 0 0 25 0 1 0 86644547 22167552 4959 1992294400 134512640 135752675 4291681360 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 5412 4959 145 303 0 5107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21648

[startup+6.30136 s]
/proc/loadavg: 0.92 0.95 0.82 3/107 27718
/proc/meminfo: memFree=1514096/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=44900 CPUtime=6.29
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 11108 0 0 0 621 8 0 0 25 0 1 0 86644547 45977600 10763 1992294400 134512640 135752675 4291681360 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 11225 10763 145 303 0 10920 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44900

[startup+12.7011 s]
/proc/loadavg: 0.93 0.95 0.82 2/107 27718
/proc/meminfo: memFree=1467100/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=89944 CPUtime=12.68
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 22367 0 0 0 1252 16 0 0 25 0 1 0 86644547 92102656 22022 1992294400 134512640 135752675 4291681360 18446744073709551615 134638032 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 22486 22022 145 303 0 22181 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89944

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.82 2/107 27718
/proc/meminfo: memFree=1407704/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=146092 CPUtime=25.48
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 36402 0 0 0 2520 28 0 0 25 0 1 0 86644547 149598208 36057 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 36523 36057 145 303 0 36218 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 146092

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.82 2/107 27718
/proc/meminfo: memFree=1304288/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=249940 CPUtime=51.07
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 62362 0 0 0 5054 53 0 0 25 0 1 0 86644547 255938560 62017 1992294400 134512640 135752675 4291681360 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 62485 62017 145 303 0 62180 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 249940

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.83 2/107 27720
/proc/meminfo: memFree=1110476/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=442128 CPUtime=102.26
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 110401 0 0 0 10125 101 0 0 25 0 1 0 86644547 452739072 110056 1992294400 134512640 135752675 4291681360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 110532 110056 145 303 0 110227 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 442128

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 27722
/proc/meminfo: memFree=906372/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=647836 CPUtime=162.24
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 161798 0 0 0 16077 147 0 0 25 0 1 0 86644547 663384064 161453 1992294400 134512640 135752675 4291681360 18446744073709551615 134638888 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 161959 161453 145 303 0 161654 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 647836

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.84 3/107 27722
/proc/meminfo: memFree=838048/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=713220 CPUtime=222.18
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 178250 0 0 0 22037 181 0 0 25 0 1 0 86644547 730337280 177867 1992294400 134512640 135752675 4291681360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 178305 177867 146 303 0 178000 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 713220

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 27724
/proc/meminfo: memFree=837924/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=713220 CPUtime=282.14
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 178250 0 0 0 28000 214 0 0 25 0 1 0 86644547 730337280 177867 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 178305 177867 146 303 0 178000 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 713220

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 27726
/proc/meminfo: memFree=837800/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=713220 CPUtime=342.11
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 178254 0 0 0 33970 241 0 0 25 0 1 0 86644547 730337280 177871 1992294400 134512640 135752675 4291681360 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 178305 177871 146 303 0 178000 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 713220

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 27728
/proc/meminfo: memFree=831848/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=719880 CPUtime=402.1
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 179885 0 0 0 39947 263 0 0 25 0 1 0 86644547 737157120 179502 1992294400 134512640 135752675 4291681360 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 179970 179502 146 303 0 179665 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 719880

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 27730
/proc/meminfo: memFree=811264/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=740196 CPUtime=462.08
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 184915 0 0 0 45916 292 0 0 25 0 1 0 86644547 757960704 184532 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 185049 184532 146 303 0 184744 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 740196

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 27730
/proc/meminfo: memFree=784604/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=767268 CPUtime=522.06
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 191658 0 0 0 51887 319 0 0 25 0 1 0 86644547 785682432 191275 1992294400 134512640 135752675 4291681360 18446744073709551615 134603352 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 191817 191275 146 303 0 191512 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 767268

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 27732
/proc/meminfo: memFree=758192/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=793488 CPUtime=582.04
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 198189 0 0 0 57860 344 0 0 25 0 1 0 86644547 812531712 197806 1992294400 134512640 135752675 4291681360 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 198372 197806 146 303 0 198067 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 793488

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 27734
/proc/meminfo: memFree=739840/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=811388 CPUtime=642.03
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 202655 0 0 0 63834 369 0 0 25 0 1 0 86644547 830861312 202272 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 202847 202272 146 303 0 202542 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 811388

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/107 27740
/proc/meminfo: memFree=627620/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=923712 CPUtime=881.94
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 230666 0 0 0 87720 474 0 0 25 0 1 0 86644547 945881088 230283 1992294400 134512640 135752675 4291681360 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 230928 230283 146 303 0 230623 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 923712

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27742
/proc/meminfo: memFree=610012/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=940992 CPUtime=941.91
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 235087 0 0 0 93687 504 0 0 25 0 1 0 86644547 963575808 234650 1992294400 134512640 135752675 4291681360 18446744073709551615 134611994 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 235248 234650 146 303 0 234943 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 940992

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27744
/proc/meminfo: memFree=575416/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=975008 CPUtime=1001.89
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 243720 0 0 0 99643 546 0 0 25 0 1 0 86644547 998408192 243283 1992294400 134512640 135752675 4291681360 18446744073709551615 134611939 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 243752 243283 146 303 0 243447 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 975008

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27746
/proc/meminfo: memFree=550368/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1000332 CPUtime=1061.88
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 250030 0 0 0 105615 573 0 0 25 0 1 0 86644547 1024339968 249593 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 250083 249593 146 303 0 249778 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1000332

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27746
/proc/meminfo: memFree=517260/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1033340 CPUtime=1121.86
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 258252 0 0 0 111586 600 0 0 25 0 1 0 86644547 1058140160 257815 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 258335 257815 146 303 0 258030 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1033340

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27748
/proc/meminfo: memFree=492212/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1058484 CPUtime=1181.84
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 264514 0 0 0 117557 627 0 0 25 0 1 0 86644547 1083887616 264077 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 264621 264077 146 303 0 264316 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1058484

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27753
/proc/meminfo: memFree=443792/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1106208 CPUtime=1241.82
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 276449 0 0 0 123525 657 0 0 25 0 1 0 86644547 1132756992 276012 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 276552 276012 146 303 0 276247 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1106208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27755
/proc/meminfo: memFree=398532/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1150912 CPUtime=1301.81
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 287629 0 0 0 129496 685 0 0 25 0 1 0 86644547 1178533888 287192 1992294400 134512640 135752675 4291681360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 287728 287192 146 303 0 287423 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1150912

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27757
/proc/meminfo: memFree=351536/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1198492 CPUtime=1361.79
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 299525 0 0 0 135466 713 0 0 25 0 1 0 86644547 1227255808 299088 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 299623 299088 146 303 0 299318 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1198492

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27757
/proc/meminfo: memFree=324504/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1225020 CPUtime=1421.77
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 306127 0 0 0 141439 738 0 0 25 0 1 0 86644547 1254420480 305690 1992294400 134512640 135752675 4291681360 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 306255 305690 146 303 0 305950 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1225020

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27759
/proc/meminfo: memFree=309128/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1240620 CPUtime=1481.75
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 309996 0 0 0 147418 757 0 0 25 0 1 0 86644547 1270394880 309559 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 310155 309559 146 303 0 309850 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1240620

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27761
/proc/meminfo: memFree=290528/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1259308 CPUtime=1541.73
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 314690 0 0 0 153390 783 0 0 25 0 1 0 86644547 1289531392 314253 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 314827 314253 146 303 0 314522 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1259308

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27763
/proc/meminfo: memFree=273664/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1276400 CPUtime=1601.72
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 318937 0 0 0 159367 805 0 0 25 0 1 0 86644547 1307033600 318500 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 319100 318500 146 303 0 318795 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1276400

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27765
/proc/meminfo: memFree=245020/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1304964 CPUtime=1661.7
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 326084 0 0 0 165338 832 0 0 25 0 1 0 86644547 1336283136 325647 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 326241 325647 146 303 0 325936 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1304964

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27765
/proc/meminfo: memFree=217244/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1333160 CPUtime=1721.68
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 333100 0 0 0 171311 857 0 0 25 0 1 0 86644547 1365155840 332663 1992294400 134512640 135752675 4291681360 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 333290 332663 146 303 0 332985 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1333160

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27767
/proc/meminfo: memFree=198768/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1351156 CPUtime=1781.66
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 337573 0 0 0 177289 877 0 0 25 0 1 0 86644547 1383583744 337136 1992294400 134512640 135752675 4291681360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 337789 337136 146 303 0 337484 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 1351156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27767
/proc/meminfo: memFree=194552/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=1355196 CPUtime=1800.07
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4202496 338594 0 0 0 179125 882 0 0 25 0 1 0 86644547 1387720704 338157 1992294400 134512640 135752675 4291681360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27715/statm: 338799 338157 146 303 0 338494 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1355196

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27767
/proc/meminfo: memFree=194552/2059040 swapFree=4140192/4192956
[pid=27715] ppid=27713 vsize=0 CPUtime=1800.16
/proc/27715/stat : 27715 (wbo1.4b) R 27713 27715 27605 0 -1 4203524 338594 0 0 0 179125 891 0 0 25 0 1 0 86644547 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27715/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.84
CPU time (s): 1800.21
CPU user time (s): 1791.25
CPU system time (s): 8.95364
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 1355196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.25
system time used= 8.95364
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 338594
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= 22
involuntary context switches= 3820

runsolver used 3.24051 second user time and 8.35273 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-25 10:11:57
IDJOB=2680780
IDBENCH=2071
IDSOLVER=1190
FILE ID=node037/2680780-1277453517
PBS_JOBID= 11188129
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= 5468ba071d8bcc474bd73dc9f24f6990
RANDOM SEED=623027128

node037.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.248
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.49
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.248
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.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1551584 kB
Buffers:        121704 kB
Cached:         282096 kB
SwapCached:       5668 kB
Active:          31072 kB
Inactive:       385808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1551584 kB
SwapTotal:     4192956 kB
SwapFree:      4140192 kB
Dirty:            3736 kB
Writeback:           0 kB
AnonPages:       11548 kB
Mapped:          11916 kB
Slab:            68624 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182064 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= 62492 MiB
End job on node037 at 2010-06-25 10:42:00