Trace number 2680547

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (MO) 1167.96 1168.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e2.opb
MD5SUM6af59dd0656451189b30414ce106135b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark494
Best CPU time to get the best result obtained on this benchmark19.1611
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 494
Optimality of the best value was proved NO
Number of variables1740
Total number of constraints6991
Number of constraints which are clauses6991
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 1740
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 1740
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 1740
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680547-1277454843.opb.
0.00/0.00	c Instance file HOME/instance-2680547-1277454843.opb
0.00/0.00	c File size is 196075 bytes.
0.01/0.03	c Highest Coefficient sum: 11
0.01/0.03	c ============================[ Problem Statistics ]=============================
0.01/0.03	c |                                                                             |
0.01/0.03	c |  Parsing time:          0.03         s                                      |
0.01/0.03	c |  Number Variables:      1740                                                |
0.01/0.03	c |  Number Clauses:        6991                                                |
0.01/0.03	c |  Number Cardinality:    0                                                   |
0.01/0.03	c |  Number PB Constraints: 0                                                   |
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    1740     6991    16290 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c New solution: 769
0.01/0.09	o 769
0.01/0.09	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.01/0.09	c ===============================================================================
0.01/0.09	c |        19 |    1740     6992    18030 |     5000       19      9 |  0.000 % |
0.09/0.12	c |       119 |    1740     6992    18030 |     5500      119    659 |  0.000 % |
0.09/0.15	c |       269 |    1740     6992    18030 |     6050      269    728 |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 724
0.09/0.16	o 724
0.09/0.16	c Elapsed CPU time: 0.157975 s	Remaining CPU time: 179.842 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |       272 |    1740     6993    19770 |     5000      272    720 |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 713
0.09/0.16	o 713
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 179.839 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |       273 |    1740     6994    21510 |     5000      273    718 |  0.000 % |
0.09/0.19	c |       373 |    1740     6994    21510 |     5500      373    708 |  0.000 % |
0.19/0.22	c |       524 |    1740     6994    21510 |     6050      524    712 |  0.002 % |
0.19/0.28	c |       749 |    1740     6994    21510 |     6655      749    712 |  0.001 % |
0.29/0.37	c |      1087 |    1740     6994    21510 |     7320     1087    716 |  0.000 % |
0.49/0.50	c |      1594 |    1740     6994    21510 |     8052     1594    719 |  0.004 % |
0.69/0.72	c |      2353 |    1740     6994    21510 |     8857     2353    721 |  0.003 % |
1.00/1.02	c |      3492 |    1740     6994    21510 |     9743     3492    723 |  0.000 % |
1.39/1.49	c |      5201 |    1740     6994    21510 |    10717     5201    724 |  0.000 % |
2.20/2.25	c |      7763 |    1740     6994    21510 |    11789     7763    725 |  0.000 % |
3.49/3.58	c |     11608 |    1740     6994    21510 |    12968    11608    725 |  0.000 % |
5.49/5.52	c |     17376 |    1740     6994    21510 |    14265    10086    725 |  0.000 % |
8.88/9.00	c |     26025 |    1740     6994    21510 |    15692    10799    726 |  0.000 % |
8.98/9.00	c ===============================================================================
8.98/9.00	c New solution: 710
8.98/9.00	o 710
8.98/9.00	c Elapsed CPU time: 8.83266 s	Remaining CPU time: 171.167 s
8.98/9.00	c ===============================================================================
8.98/9.00	c |     26027 |    1740     6995    23250 |     5000    10801    726 |  0.000 % |
8.98/9.04	c ===============================================================================
8.98/9.04	c New solution: 688
8.98/9.04	o 688
8.98/9.04	c Elapsed CPU time: 8.86965 s	Remaining CPU time: 171.13 s
8.98/9.04	c ===============================================================================
8.98/9.04	c |     26027 |    1740     6996    24990 |     5000     2701    725 |  0.000 % |
8.98/9.06	c |     26127 |    1740     6996    24990 |     5500     2801    724 |  0.000 % |
9.09/9.11	c |     26277 |    1740     6996    24990 |     6050     2951    720 |  0.001 % |
9.09/9.11	c ===============================================================================
9.09/9.11	c New solution: 683
9.09/9.11	o 683
9.09/9.11	c Elapsed CPU time: 8.94364 s	Remaining CPU time: 171.056 s
9.09/9.11	c ===============================================================================
9.09/9.11	c |     26280 |    1740     6997    26730 |     5000     2954    720 |  0.001 % |
9.09/9.15	c |     26380 |    1740     6997    26730 |     5500     3054    718 |  0.002 % |
9.09/9.19	c |     26530 |    1740     6997    26730 |     6050     3204    715 |  0.003 % |
9.19/9.25	c |     26757 |    1740     6997    26730 |     6655     3431    713 |  0.001 % |
9.29/9.35	c |     27094 |    1740     6997    26730 |     7320     3768    710 |  0.002 % |
9.49/9.50	c |     27600 |    1740     6997    26730 |     8052     4274    708 |  0.002 % |
9.69/9.73	c |     28361 |    1740     6997    26730 |     8857     5035    706 |  0.001 % |
9.99/10.06	c |     29502 |    1740     6997    26730 |     9743     6176    701 |  0.000 % |
10.58/10.64	c |     31211 |    1740     6997    26730 |    10717     7885    698 |  0.000 % |
11.39/11.40	c |     33773 |    1740     6997    26730 |    11789    10447    695 |  0.000 % |
12.69/12.74	c |     37617 |    1740     6997    26730 |    12968     7642    689 |  0.002 % |
14.79/14.84	c |     43383 |    1740     6997    26730 |    14265    13408    689 |  0.000 % |
17.99/18.09	c |     52033 |    1740     6997    26730 |    15692    14230    682 |  0.003 % |
23.39/23.45	c |     65008 |    1740     6997    26730 |    17261     9857    693 |  0.002 % |
30.79/30.90	c |     84469 |    1740     6997    26730 |    18987    10542    696 |  0.000 % |
42.68/42.79	c |    113662 |    1740     6997    26730 |    20886    19316    695 |  0.000 % |
62.08/62.12	c |    157451 |    1740     6997    26730 |    22974    16670    694 |  0.000 % |
92.87/92.94	c |    223137 |    1740     6997    26730 |    25272    16835    698 |  0.000 % |
147.94/148.00	c |    321663 |    1740     6997    26730 |    27799    19951    696 |  0.000 % |
182.34/182.42	c There are 0 assigned variables. 0 in cost function.
183.65/183.73	c core #1
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 1
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #2
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 2
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #3
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 3
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #4
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 4
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #5
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 5
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #6
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 6
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #7
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 7
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #8
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 8
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #9
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 9
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #10
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 10
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #11
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 11
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #12
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 12
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #13
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 13
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #14
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 14
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #15
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 15
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #16
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 16
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #17
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 17
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #18
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 18
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #19
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 19
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #20
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 20
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #21
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 21
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #22
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 22
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #23
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 23
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #24
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 24
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #25
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 25
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #26
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 26
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #27
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 27
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #28
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 28
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #29
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 29
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #30
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 30
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #31
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 31
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #32
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 32
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #33
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 33
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #34
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 34
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #35
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 35
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #36
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 36
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #37
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 37
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #38
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 38
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #39
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 39
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #40
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 40
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #41
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 41
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #42
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 42
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #43
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 43
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #44
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 44
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #45
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 45
183.65/183.73	c
183.65/183.73	c
183.65/183.73	c core #46
183.65/183.73	c 
183.65/183.73	c 
183.65/183.73	c Core size: 3	Core Weight: 1	Total Weight: 46
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #47
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 47
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #48
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 48
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #49
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 49
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #50
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 50
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #51
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 51
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #52
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 52
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #53
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 53
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #54
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 54
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #55
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 55
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #56
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 56
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #57
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 57
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #58
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 58
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #59
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 59
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #60
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 60
183.65/183.74	c
183.65/183.74	c
183.65/183.74	c core #61
183.65/183.74	c 
183.65/183.74	c 
183.65/183.74	c Core size: 3	Core Weight: 1	Total Weight: 61
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #62
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 62
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #63
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 63
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #64
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 64
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #65
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 65
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #66
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 66
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #67
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 67
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #68
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 68
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #69
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 69
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #70
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 70
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #71
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 71
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #72
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 72
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #73
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 73
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #74
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 74
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #75
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 75
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #76
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 76
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #77
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 77
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #78
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 78
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #79
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 79
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #80
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 3	Core Weight: 1	Total Weight: 80
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #81
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 81
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #82
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 82
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #83
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 83
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #84
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 84
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #85
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 85
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #86
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 86
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #87
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 87
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #88
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 88
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #89
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 89
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #90
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 9	Core Weight: 1	Total Weight: 90
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #91
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 91
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #92
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 92
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #93
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 93
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #94
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 94
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #95
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 95
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #96
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 96
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #97
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 97
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #98
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 98
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #99
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 99
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #100
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 100
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #101
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 101
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #102
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 102
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #103
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 103
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #104
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 104
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #105
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 105
184.54/184.62	c
184.54/184.62	c
184.54/184.62	c core #106
184.54/184.62	c 
184.54/184.62	c 
184.54/184.62	c Core size: 11	Core Weight: 1	Total Weight: 106
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #107
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 107
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #108
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 108
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #109
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 109
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #110
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 110
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #111
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 111
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #112
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 112
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #113
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 113
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #114
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 114
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #115
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 115
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #116
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 116
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #117
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 117
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #118
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 118
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #119
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 119
184.54/184.63	c
184.54/184.63	c
184.54/184.63	c core #120
184.54/184.63	c 
184.54/184.63	c 
184.54/184.63	c Core size: 11	Core Weight: 1	Total Weight: 120
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #121
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 121
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #122
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 122
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #123
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 123
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #124
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 124
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #125
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 125
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #126
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 126
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #127
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 127
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #128
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 128
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #129
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 129
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #130
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 130
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #131
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 131
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #132
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 132
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #133
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 133
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #134
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 134
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #135
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 135
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #136
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 136
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #137
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 137
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #138
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 138
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #139
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 139
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #140
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 140
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #141
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 141
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #142
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 142
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #143
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 143
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #144
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 144
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #145
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 145
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #146
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 146
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #147
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 147
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #148
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 148
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #149
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 149
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #150
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 150
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #151
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 151
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #152
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 152
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #153
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 153
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #154
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 154
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #155
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 155
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #156
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 156
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #157
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 157
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #158
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 158
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #159
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 159
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #160
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 160
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #161
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 11	Core Weight: 1	Total Weight: 161
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #162
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 13	Core Weight: 1	Total Weight: 162
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #163
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 163
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #164
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 20	Core Weight: 1	Total Weight: 164
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #165
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 165
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #166
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 166
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #167
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 167
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #168
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 22	Core Weight: 1	Total Weight: 168
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #169
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 169
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #170
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 22	Core Weight: 1	Total Weight: 170
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #171
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 23	Core Weight: 1	Total Weight: 171
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #172
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 23	Core Weight: 1	Total Weight: 172
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #173
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 22	Core Weight: 1	Total Weight: 173
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #174
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 20	Core Weight: 1	Total Weight: 174
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #175
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 21	Core Weight: 1	Total Weight: 175
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #176
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 20	Core Weight: 1	Total Weight: 176
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #177
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 22	Core Weight: 1	Total Weight: 177
185.44/185.56	c
185.44/185.56	c
185.44/185.56	c core #178
185.44/185.56	c 
185.44/185.56	c 
185.44/185.56	c Core size: 13	Core Weight: 1	Total Weight: 178
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #179
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 179
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #180
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 180
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #181
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 181
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #182
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 182
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #183
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 183
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #184
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 184
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #185
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 185
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #186
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 186
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #187
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 187
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #188
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 188
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #189
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 189
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #190
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 190
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #191
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 191
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #192
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 192
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #193
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 193
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #194
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 13	Core Weight: 1	Total Weight: 194
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #195
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 195
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #196
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 196
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #197
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 197
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #198
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 198
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #199
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 199
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #200
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 200
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #201
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 201
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #202
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 202
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #203
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 203
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #204
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 204
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #205
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 205
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #206
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 206
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #207
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 207
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #208
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 208
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #209
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 209
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #210
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 13	Core Weight: 1	Total Weight: 210
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #211
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 211
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #212
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 212
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #213
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 213
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #214
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 214
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #215
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 215
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #216
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 216
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #217
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 217
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #218
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 218
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #219
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 219
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #220
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 220
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #221
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 221
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #222
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 222
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #223
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 223
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #224
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 224
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #225
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 225
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #226
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 13	Core Weight: 1	Total Weight: 226
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #227
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 227
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #228
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 20	Core Weight: 1	Total Weight: 228
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #229
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 229
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #230
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 230
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #231
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 231
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #232
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 232
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #233
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 21	Core Weight: 1	Total Weight: 233
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #234
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 22	Core Weight: 1	Total Weight: 234
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #235
186.44/186.59	c 
186.44/186.59	c 
186.44/186.59	c Core size: 23	Core Weight: 1	Total Weight: 235
186.44/186.59	c
186.44/186.59	c
186.44/186.59	c core #236
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 236
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #237
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 237
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #238
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 238
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #239
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 239
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #240
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 240
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #241
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 241
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #242
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 13	Core Weight: 1	Total Weight: 242
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #243
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 243
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #244
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 244
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #245
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 245
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #246
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 246
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #247
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 247
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #248
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 248
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #249
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 249
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #250
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 250
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #251
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 251
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #252
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 252
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #253
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 253
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #254
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 254
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #255
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 255
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #256
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 256
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #257
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 257
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #258
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 13	Core Weight: 1	Total Weight: 258
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #259
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 259
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #260
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 260
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #261
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 261
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #262
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 262
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #263
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 263
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #264
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 264
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #265
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 265
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #266
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 266
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #267
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 267
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #268
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 268
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #269
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 269
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #270
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 270
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #271
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 271
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #272
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 272
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #273
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 273
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #274
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 13	Core Weight: 1	Total Weight: 274
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #275
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 275
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #276
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 276
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #277
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 277
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #278
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 278
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #279
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 279
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #280
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 280
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #281
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 281
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #282
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 282
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #283
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 283
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #284
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: 284
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #285
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 285
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #286
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 286
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #287
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 287
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #288
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 288
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #289
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 22	Core Weight: 1	Total Weight: 289
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #290
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 13	Core Weight: 1	Total Weight: 290
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #291
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 291
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #292
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: 292
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #293
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 21	Core Weight: 1	Total Weight: 293
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #294
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 294
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #295
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 295
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #296
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 296
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #297
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 297
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #298
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 298
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #299
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 23	Core Weight: 1	Total Weight: 299
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #300
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 23	Core Weight: 1	Total Weight: 300
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #301
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 301
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #302
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 20	Core Weight: 1	Total Weight: 302
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #303
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 303
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #304
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 20	Core Weight: 1	Total Weight: 304
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #305
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 305
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #306
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 13	Core Weight: 1	Total Weight: 306
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #307
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 307
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #308
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 20	Core Weight: 1	Total Weight: 308
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #309
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 309
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #310
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 310
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #311
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 311
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #312
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 312
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #313
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 313
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #314
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 314
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #315
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 23	Core Weight: 1	Total Weight: 315
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #316
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 23	Core Weight: 1	Total Weight: 316
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #317
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 317
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #318
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 20	Core Weight: 1	Total Weight: 318
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #319
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 21	Core Weight: 1	Total Weight: 319
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #320
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 20	Core Weight: 1	Total Weight: 320
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #321
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 22	Core Weight: 1	Total Weight: 321
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #322
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 211	Core Weight: 1	Total Weight: 322
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c core #323
188.34/188.42	c 
188.34/188.42	c 
188.34/188.42	c Core size: 1155	Core Weight: 1	Total Weight: 323
188.34/188.42	c
188.34/188.42	c
188.34/188.42	c ============================[ Search Statistics ]==============================
188.34/188.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.34/188.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.34/188.42	c ===============================================================================
188.34/188.42	c |         0 |    3554     9082    32122 |     5000        0    nan |  0.000 % |
188.34/188.43	c ===============================================================================
188.34/188.45	c core #324
188.34/188.45	c 
188.34/188.45	c 
188.34/188.45	c Core size: 11	Core Weight: 1	Total Weight: 324
188.34/188.45	c
188.34/188.45	c
188.34/188.45	c ============================[ Search Statistics ]==============================
188.34/188.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.34/188.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.34/188.45	c ===============================================================================
188.34/188.45	c |         0 |    3560     9083    32134 |     5000        0    nan |  0.000 % |
188.34/188.46	c ===============================================================================
188.34/188.49	c core #325
188.34/188.49	c 
188.34/188.49	c 
188.34/188.49	c Core size: 21	Core Weight: 1	Total Weight: 325
188.34/188.49	c
188.34/188.49	c
188.34/188.49	c ============================[ Search Statistics ]==============================
188.34/188.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.34/188.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.34/188.49	c ===============================================================================
188.34/188.49	c |         0 |    3566     9084    32146 |     5000        0    nan |  0.000 % |
188.34/188.49	c ===============================================================================
188.44/188.52	c core #326
188.44/188.52	c 
188.44/188.52	c 
188.44/188.52	c Core size: 24	Core Weight: 1	Total Weight: 326
188.44/188.52	c
188.44/188.52	c
188.44/188.52	c ============================[ Search Statistics ]==============================
188.44/188.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.44/188.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.44/188.52	c ===============================================================================
188.44/188.52	c |         0 |    3575     9085    32165 |     5000        0    nan |  0.000 % |
188.44/188.53	c ===============================================================================
188.44/188.56	c core #327
188.44/188.56	c 
188.44/188.56	c 
188.44/188.56	c Core size: 27	Core Weight: 1	Total Weight: 327
188.44/188.56	c
188.44/188.56	c
188.44/188.56	c ============================[ Search Statistics ]==============================
188.44/188.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.44/188.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.44/188.56	c ===============================================================================
188.44/188.56	c |         0 |    3594     9086    32203 |     5000        0    nan |  0.000 % |
188.44/188.56	c ===============================================================================
188.44/188.59	c core #328
188.44/188.59	c 
188.44/188.59	c 
188.44/188.59	c Core size: 21	Core Weight: 1	Total Weight: 328
188.44/188.59	c
188.44/188.59	c
188.44/188.59	c ============================[ Search Statistics ]==============================
188.44/188.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.44/188.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.44/188.59	c ===============================================================================
188.44/188.59	c |         0 |    3600     9087    32215 |     5000        0    nan |  0.000 % |
188.54/188.60	c ===============================================================================
188.54/188.63	c core #329
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 26	Core Weight: 1	Total Weight: 329
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c ============================[ Search Statistics ]==============================
188.54/188.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.54/188.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.54/188.63	c ===============================================================================
188.54/188.63	c |         0 |    3609     9088    32233 |     5000        0    nan |  0.000 % |
188.54/188.63	c ===============================================================================
188.54/188.66	c core #330
188.54/188.66	c 
188.54/188.66	c 
188.54/188.66	c Core size: 10	Core Weight: 1	Total Weight: 330
188.54/188.66	c
188.54/188.66	c
188.54/188.66	c ============================[ Search Statistics ]==============================
188.54/188.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.54/188.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.54/188.66	c ===============================================================================
188.54/188.66	c |         0 |    3615     9089    32245 |     5000        0    nan |  0.000 % |
188.54/188.67	c ===============================================================================
188.64/188.70	c core #331
188.64/188.70	c 
188.64/188.70	c 
188.64/188.70	c Core size: 11	Core Weight: 1	Total Weight: 331
188.64/188.70	c
188.64/188.70	c
188.64/188.70	c ============================[ Search Statistics ]==============================
188.64/188.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.70	c ===============================================================================
188.64/188.70	c |         0 |    3621     9090    32257 |     5000        0    nan |  0.000 % |
188.64/188.70	c ===============================================================================
188.64/188.73	c core #332
188.64/188.73	c 
188.64/188.73	c 
188.64/188.73	c Core size: 24	Core Weight: 1	Total Weight: 332
188.64/188.73	c
188.64/188.73	c
188.64/188.73	c ============================[ Search Statistics ]==============================
188.64/188.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.73	c ===============================================================================
188.64/188.73	c |         0 |    3631     9091    32278 |     5000        0    nan |  0.000 % |
188.64/188.74	c ===============================================================================
188.64/188.77	c core #333
188.64/188.77	c 
188.64/188.77	c 
188.64/188.77	c Core size: 10	Core Weight: 1	Total Weight: 333
188.64/188.77	c
188.64/188.77	c
188.64/188.77	c ============================[ Search Statistics ]==============================
188.64/188.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.77	c ===============================================================================
188.64/188.77	c |         0 |    3637     9092    32290 |     5000        0    nan |  0.000 % |
188.64/188.78	c ===============================================================================
188.74/188.81	c core #334
188.74/188.81	c 
188.74/188.81	c 
188.74/188.81	c Core size: 21	Core Weight: 1	Total Weight: 334
188.74/188.81	c
188.74/188.81	c
188.74/188.81	c ============================[ Search Statistics ]==============================
188.74/188.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.81	c ===============================================================================
188.74/188.81	c |         0 |    3650     9093    32317 |     5000        0    nan |  0.000 % |
188.74/188.81	c ===============================================================================
188.74/188.84	c core #335
188.74/188.84	c 
188.74/188.84	c 
188.74/188.84	c Core size: 10	Core Weight: 1	Total Weight: 335
188.74/188.84	c
188.74/188.84	c
188.74/188.84	c ============================[ Search Statistics ]==============================
188.74/188.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.84	c ===============================================================================
188.74/188.84	c |         0 |    3656     9094    32329 |     5000        0    nan |  0.000 % |
188.74/188.85	c ===============================================================================
188.74/188.88	c core #336
188.74/188.88	c 
188.74/188.88	c 
188.74/188.88	c Core size: 12	Core Weight: 1	Total Weight: 336
188.74/188.88	c
188.74/188.88	c
188.74/188.88	c ============================[ Search Statistics ]==============================
188.74/188.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.88	c ===============================================================================
188.74/188.88	c |         0 |    3663     9095    32343 |     5000        0    nan |  0.000 % |
188.74/188.89	c ===============================================================================
188.84/188.92	c core #337
188.84/188.92	c 
188.84/188.92	c 
188.84/188.92	c Core size: 14	Core Weight: 1	Total Weight: 337
188.84/188.92	c
188.84/188.92	c
188.84/188.92	c ============================[ Search Statistics ]==============================
188.84/188.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.84/188.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.84/188.92	c ===============================================================================
188.84/188.92	c |         0 |    3671     9096    32359 |     5000        0    nan |  0.000 % |
188.84/188.93	c ===============================================================================
188.84/188.96	c core #338
188.84/188.96	c 
188.84/188.96	c 
188.84/188.96	c Core size: 10	Core Weight: 1	Total Weight: 338
188.84/188.96	c
188.84/188.96	c
188.84/188.96	c ============================[ Search Statistics ]==============================
188.84/188.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.84/188.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.84/188.96	c ===============================================================================
188.84/188.96	c |         0 |    3677     9097    32371 |     5000        0    nan |  0.000 % |
188.84/188.97	c ===============================================================================
188.94/189.00	c core #339
188.94/189.00	c 
188.94/189.00	c 
188.94/189.00	c Core size: 26	Core Weight: 1	Total Weight: 339
188.94/189.00	c
188.94/189.00	c
188.94/189.00	c ============================[ Search Statistics ]==============================
188.94/189.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.00	c ===============================================================================
188.94/189.00	c |         0 |    3691     9098    32399 |     5000        0    nan |  0.000 % |
188.94/189.01	c ===============================================================================
188.94/189.04	c core #340
188.94/189.04	c 
188.94/189.04	c 
188.94/189.04	c Core size: 22	Core Weight: 1	Total Weight: 340
188.94/189.04	c
188.94/189.04	c
188.94/189.04	c ============================[ Search Statistics ]==============================
188.94/189.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.04	c ===============================================================================
188.94/189.04	c |         0 |    3701     9099    32419 |     5000        0    nan |  0.000 % |
188.94/189.05	c ===============================================================================
188.94/189.08	c core #341
188.94/189.08	c 
188.94/189.08	c 
188.94/189.08	c Core size: 15	Core Weight: 1	Total Weight: 341
188.94/189.08	c
188.94/189.08	c
188.94/189.08	c ============================[ Search Statistics ]==============================
188.94/189.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.08	c ===============================================================================
188.94/189.08	c |         0 |    3711     9100    32440 |     5000        0    nan |  0.000 % |
188.94/189.09	c ===============================================================================
189.04/189.12	c core #342
189.04/189.12	c 
189.04/189.12	c 
189.04/189.12	c Core size: 20	Core Weight: 1	Total Weight: 342
189.04/189.12	c
189.04/189.12	c
189.04/189.12	c ============================[ Search Statistics ]==============================
189.04/189.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.12	c ===============================================================================
189.04/189.12	c |         0 |    3719     9101    32456 |     5000        0    nan |  0.000 % |
189.04/189.13	c ===============================================================================
189.04/189.16	c core #343
189.04/189.16	c 
189.04/189.16	c 
189.04/189.16	c Core size: 29	Core Weight: 1	Total Weight: 343
189.04/189.16	c
189.04/189.16	c
189.04/189.17	c ============================[ Search Statistics ]==============================
189.04/189.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.17	c ===============================================================================
189.04/189.17	c |         0 |    3734     9102    32486 |     5000        0    nan |  0.000 % |
189.04/189.18	c ===============================================================================
189.14/189.21	c core #344
189.14/189.21	c 
189.14/189.21	c 
189.14/189.21	c Core size: 37	Core Weight: 1	Total Weight: 344
189.14/189.21	c
189.14/189.21	c
189.14/189.21	c ============================[ Search Statistics ]==============================
189.14/189.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.21	c ===============================================================================
189.14/189.21	c |         0 |    3763     9103    32544 |     5000        0    nan |  0.000 % |
189.14/189.22	c ===============================================================================
189.14/189.25	c core #345
189.14/189.25	c 
189.14/189.25	c 
189.14/189.25	c Core size: 18	Core Weight: 1	Total Weight: 345
189.14/189.25	c
189.14/189.25	c
189.14/189.25	c ============================[ Search Statistics ]==============================
189.14/189.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.25	c ===============================================================================
189.14/189.25	c |         0 |    3776     9104    32570 |     5000        0    nan |  0.000 % |
189.14/189.25	c ===============================================================================
189.14/189.28	c core #346
189.14/189.28	c 
189.14/189.28	c 
189.14/189.28	c Core size: 12	Core Weight: 1	Total Weight: 346
189.14/189.28	c
189.14/189.28	c
189.14/189.28	c ============================[ Search Statistics ]==============================
189.14/189.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.28	c ===============================================================================
189.14/189.28	c |         0 |    3783     9105    32584 |     5000        0    nan |  0.000 % |
189.14/189.29	c ===============================================================================
189.24/189.32	c core #347
189.24/189.32	c 
189.24/189.32	c 
189.24/189.32	c Core size: 12	Core Weight: 1	Total Weight: 347
189.24/189.32	c
189.24/189.32	c
189.24/189.32	c ============================[ Search Statistics ]==============================
189.24/189.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.24/189.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.24/189.32	c ===============================================================================
189.24/189.32	c |         0 |    3790     9106    32598 |     5000        0    nan |  0.000 % |
189.24/189.33	c ===============================================================================
189.24/189.36	c core #348
189.24/189.36	c 
189.24/189.36	c 
189.24/189.36	c Core size: 12	Core Weight: 1	Total Weight: 348
189.24/189.36	c
189.24/189.36	c
189.24/189.36	c ============================[ Search Statistics ]==============================
189.24/189.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.24/189.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.24/189.36	c ===============================================================================
189.24/189.36	c |         0 |    3797     9107    32612 |     5000        0    nan |  0.000 % |
189.24/189.37	c ===============================================================================
189.34/189.40	c core #349
189.34/189.40	c 
189.34/189.40	c 
189.34/189.40	c Core size: 26	Core Weight: 1	Total Weight: 349
189.34/189.40	c
189.34/189.40	c
189.34/189.40	c ============================[ Search Statistics ]==============================
189.34/189.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.34/189.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.34/189.40	c ===============================================================================
189.34/189.40	c |         0 |    3811     9109    32643 |     5000        0    nan |  0.000 % |
189.34/189.41	c ===============================================================================
189.34/189.44	c core #350
189.34/189.44	c 
189.34/189.44	c 
189.34/189.44	c Core size: 16	Core Weight: 1	Total Weight: 350
189.34/189.44	c
189.34/189.44	c
189.34/189.44	c ============================[ Search Statistics ]==============================
189.34/189.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.34/189.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.34/189.44	c ===============================================================================
189.34/189.44	c |         0 |    3820     9110    32661 |     5000        0    nan |  0.000 % |
189.34/189.45	c ===============================================================================
189.34/189.48	c core #351
189.34/189.48	c 
189.34/189.48	c 
189.34/189.48	c Core size: 23	Core Weight: 1	Total Weight: 351
189.34/189.48	c
189.34/189.48	c
189.34/189.48	c ============================[ Search Statistics ]==============================
189.34/189.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.34/189.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.34/189.48	c ===============================================================================
189.34/189.48	c |         0 |    3833     9111    32687 |     5000        0    nan |  0.000 % |
189.34/189.49	c ===============================================================================
189.43/189.52	c core #352
189.43/189.52	c 
189.43/189.52	c 
189.43/189.52	c Core size: 30	Core Weight: 1	Total Weight: 352
189.43/189.52	c
189.43/189.52	c
189.43/189.52	c ============================[ Search Statistics ]==============================
189.43/189.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.52	c ===============================================================================
189.43/189.52	c |         0 |    3846     9113    32715 |     5000        0    nan |  0.000 % |
189.43/189.53	c ===============================================================================
189.43/189.56	c core #353
189.43/189.56	c 
189.43/189.56	c 
189.43/189.56	c Core size: 27	Core Weight: 1	Total Weight: 353
189.43/189.56	c
189.43/189.56	c
189.43/189.56	c ============================[ Search Statistics ]==============================
189.43/189.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.56	c ===============================================================================
189.43/189.56	c |         0 |    3852     9114    32727 |     5000        0    nan |  0.000 % |
189.43/189.57	c ===============================================================================
189.53/189.60	c core #354
189.53/189.60	c 
189.53/189.60	c 
189.53/189.60	c Core size: 25	Core Weight: 1	Total Weight: 354
189.53/189.60	c
189.53/189.60	c
189.53/189.60	c ============================[ Search Statistics ]==============================
189.53/189.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.60	c ===============================================================================
189.53/189.60	c |         0 |    3860     9115    32743 |     5000        0    nan |  0.000 % |
189.53/189.61	c ===============================================================================
189.53/189.64	c core #355
189.53/189.64	c 
189.53/189.64	c 
189.53/189.64	c Core size: 23	Core Weight: 1	Total Weight: 355
189.53/189.64	c
189.53/189.64	c
189.53/189.64	c ============================[ Search Statistics ]==============================
189.53/189.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.64	c ===============================================================================
189.53/189.64	c |         0 |    3870     9116    32764 |     5000        0    nan |  0.000 % |
189.53/189.64	c ===============================================================================
189.53/189.67	c core #356
189.53/189.67	c 
189.53/189.67	c 
189.53/189.67	c Core size: 36	Core Weight: 1	Total Weight: 356
189.53/189.67	c
189.53/189.67	c
189.53/189.68	c ============================[ Search Statistics ]==============================
189.53/189.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.68	c ===============================================================================
189.53/189.68	c |         0 |    3885     9117    32794 |     5000        0    nan |  0.000 % |
189.53/189.68	c ===============================================================================
189.63/189.71	c core #357
189.63/189.71	c 
189.63/189.71	c 
189.63/189.71	c Core size: 28	Core Weight: 1	Total Weight: 357
189.63/189.71	c
189.63/189.71	c
189.63/189.71	c ============================[ Search Statistics ]==============================
189.63/189.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.71	c ===============================================================================
189.63/189.71	c |         0 |    3893     9118    32810 |     5000        0    nan |  0.000 % |
189.63/189.72	c ===============================================================================
189.63/189.75	c core #358
189.63/189.75	c 
189.63/189.75	c 
189.63/189.75	c Core size: 31	Core Weight: 1	Total Weight: 358
189.63/189.75	c
189.63/189.75	c
189.63/189.75	c ============================[ Search Statistics ]==============================
189.63/189.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.75	c ===============================================================================
189.63/189.75	c |         0 |    3908     9119    32840 |     5000        0    nan |  0.000 % |
189.63/189.77	c ===============================================================================
189.73/189.80	c core #359
189.73/189.80	c 
189.73/189.80	c 
189.73/189.80	c Core size: 50	Core Weight: 1	Total Weight: 359
189.73/189.80	c
189.73/189.80	c
189.73/189.80	c ============================[ Search Statistics ]==============================
189.73/189.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.80	c ===============================================================================
189.73/189.80	c |         0 |    3937     9120    32898 |     5000        0    nan |  0.000 % |
189.73/189.81	c ===============================================================================
189.73/189.84	c core #360
189.73/189.84	c 
189.73/189.84	c 
189.73/189.84	c Core size: 31	Core Weight: 1	Total Weight: 360
189.73/189.84	c
189.73/189.84	c
189.73/189.84	c ============================[ Search Statistics ]==============================
189.73/189.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.84	c ===============================================================================
189.73/189.84	c |         0 |    3957     9121    32938 |     5000        0    nan |  0.000 % |
189.73/189.85	c ===============================================================================
189.73/189.88	c core #361
189.73/189.88	c 
189.73/189.88	c 
189.73/189.88	c Core size: 12	Core Weight: 1	Total Weight: 361
189.73/189.88	c
189.73/189.88	c
189.73/189.88	c ============================[ Search Statistics ]==============================
189.73/189.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.88	c ===============================================================================
189.73/189.88	c |         0 |    3964     9122    32952 |     5000        0    nan |  0.000 % |
189.73/189.89	c ===============================================================================
189.84/189.92	c core #362
189.84/189.92	c 
189.84/189.92	c 
189.84/189.92	c Core size: 18	Core Weight: 1	Total Weight: 362
189.84/189.92	c
189.84/189.92	c
189.84/189.92	c ============================[ Search Statistics ]==============================
189.84/189.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.92	c ===============================================================================
189.84/189.92	c |         0 |    3974     9123    32972 |     5000        0    nan |  0.000 % |
189.84/189.93	c ===============================================================================
189.84/189.96	c core #363
189.84/189.96	c 
189.84/189.96	c 
189.84/189.96	c Core size: 14	Core Weight: 1	Total Weight: 363
189.84/189.96	c
189.84/189.96	c
189.84/189.96	c ============================[ Search Statistics ]==============================
189.84/189.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.96	c ===============================================================================
189.84/189.96	c |         0 |    3982     9124    32988 |     5000        0    nan |  0.000 % |
189.84/189.97	c ===============================================================================
189.94/190.00	c core #364
189.94/190.00	c 
189.94/190.00	c 
189.94/190.00	c Core size: 27	Core Weight: 1	Total Weight: 364
189.94/190.00	c
189.94/190.00	c
189.94/190.00	c ============================[ Search Statistics ]==============================
189.94/190.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.00	c ===============================================================================
189.94/190.00	c |         0 |    3998     9126    33024 |     5000        0    nan |  0.000 % |
189.94/190.01	c ===============================================================================
189.94/190.04	c core #365
189.94/190.04	c 
189.94/190.04	c 
189.94/190.04	c Core size: 15	Core Weight: 1	Total Weight: 365
189.94/190.04	c
189.94/190.04	c
189.94/190.04	c ============================[ Search Statistics ]==============================
189.94/190.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.04	c ===============================================================================
189.94/190.04	c |         0 |    4008     9127    33044 |     5000        0    nan |  0.000 % |
189.94/190.04	c ===============================================================================
189.94/190.08	c core #366
189.94/190.08	c 
189.94/190.08	c 
189.94/190.08	c Core size: 14	Core Weight: 1	Total Weight: 366
189.94/190.08	c
189.94/190.08	c
189.94/190.08	c ============================[ Search Statistics ]==============================
189.94/190.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.08	c ===============================================================================
189.94/190.08	c |         0 |    4017     9128    33063 |     5000        0    nan |  0.000 % |
189.94/190.08	c ===============================================================================
190.04/190.12	c core #367
190.04/190.12	c 
190.04/190.12	c 
190.04/190.12	c Core size: 30	Core Weight: 1	Total Weight: 367
190.04/190.12	c
190.04/190.12	c
190.04/190.12	c ============================[ Search Statistics ]==============================
190.04/190.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.12	c ===============================================================================
190.04/190.12	c |         0 |    4028     9129    33085 |     5000        0    nan |  0.000 % |
190.04/190.12	c ===============================================================================
190.04/190.15	c core #368
190.04/190.15	c 
190.04/190.15	c 
190.04/190.15	c Core size: 21	Core Weight: 1	Total Weight: 368
190.04/190.15	c
190.04/190.15	c
190.04/190.15	c ============================[ Search Statistics ]==============================
190.04/190.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.15	c ===============================================================================
190.04/190.15	c |         0 |    4033     9131    33098 |     5000        0    nan |  0.000 % |
190.04/190.16	c ===============================================================================
190.04/190.19	c core #369
190.04/190.19	c 
190.04/190.19	c 
190.04/190.19	c Core size: 36	Core Weight: 1	Total Weight: 369
190.04/190.19	c
190.04/190.19	c
190.04/190.19	c ============================[ Search Statistics ]==============================
190.04/190.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.19	c ===============================================================================
190.04/190.19	c |         0 |    4055     9132    33142 |     5000        0    nan |  0.000 % |
190.14/190.21	c ===============================================================================
190.14/190.24	c core #370
190.14/190.24	c 
190.14/190.24	c 
190.14/190.24	c Core size: 22	Core Weight: 1	Total Weight: 370
190.14/190.24	c
190.14/190.24	c
190.14/190.24	c ============================[ Search Statistics ]==============================
190.14/190.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.24	c ===============================================================================
190.14/190.24	c |         0 |    4068     9134    33170 |     5000        0    nan |  0.000 % |
190.14/190.25	c ===============================================================================
190.14/190.28	c core #371
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 23	Core Weight: 1	Total Weight: 371
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c ============================[ Search Statistics ]==============================
190.14/190.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.28	c ===============================================================================
190.14/190.28	c |         0 |    4078     9135    33191 |     5000        0    nan |  0.000 % |
190.14/190.29	c ===============================================================================
190.24/190.32	c core #372
190.24/190.32	c 
190.24/190.32	c 
190.24/190.32	c Core size: 23	Core Weight: 1	Total Weight: 372
190.24/190.32	c
190.24/190.32	c
190.24/190.32	c ============================[ Search Statistics ]==============================
190.24/190.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.32	c ===============================================================================
190.24/190.32	c |         0 |    4085     9137    33208 |     5000        0    nan |  0.000 % |
190.24/190.33	c ===============================================================================
190.24/190.36	c core #373
190.24/190.36	c 
190.24/190.36	c 
190.24/190.36	c Core size: 22	Core Weight: 1	Total Weight: 373
190.24/190.36	c
190.24/190.36	c
190.24/190.36	c ============================[ Search Statistics ]==============================
190.24/190.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.36	c ===============================================================================
190.24/190.36	c |         0 |    4094     9138    33227 |     5000        0    nan |  0.000 % |
190.24/190.37	c ===============================================================================
190.33/190.40	c core #374
190.33/190.40	c 
190.33/190.40	c 
190.33/190.40	c Core size: 22	Core Weight: 1	Total Weight: 374
190.33/190.40	c
190.33/190.40	c
190.33/190.40	c ============================[ Search Statistics ]==============================
190.33/190.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.33/190.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.33/190.40	c ===============================================================================
190.33/190.40	c |         0 |    4100     9140    33242 |     5000        0    nan |  0.000 % |
190.33/190.41	c ===============================================================================
190.33/190.44	c core #375
190.33/190.44	c 
190.33/190.44	c 
190.33/190.44	c Core size: 23	Core Weight: 1	Total Weight: 375
190.33/190.44	c
190.33/190.44	c
190.33/190.44	c ============================[ Search Statistics ]==============================
190.33/190.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.33/190.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.33/190.44	c ===============================================================================
190.33/190.44	c |         0 |    4107     9141    33256 |     5000        0    nan |  0.000 % |
190.33/190.45	c ===============================================================================
190.33/190.49	c core #376
190.33/190.49	c 
190.33/190.49	c 
190.33/190.49	c Core size: 23	Core Weight: 1	Total Weight: 376
190.33/190.49	c
190.33/190.49	c
190.33/190.49	c ============================[ Search Statistics ]==============================
190.33/190.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.33/190.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.33/190.49	c ===============================================================================
190.33/190.49	c |         0 |    4114     9143    33273 |     5000        0    nan |  0.000 % |
190.33/190.49	c ===============================================================================
190.43/190.53	c core #377
190.43/190.53	c 
190.43/190.53	c 
190.43/190.53	c Core size: 25	Core Weight: 1	Total Weight: 377
190.43/190.53	c
190.43/190.53	c
190.43/190.53	c ============================[ Search Statistics ]==============================
190.43/190.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.53	c ===============================================================================
190.43/190.53	c |         0 |    4123     9144    33291 |     5000        0    nan |  0.000 % |
190.43/190.54	c ===============================================================================
190.43/190.57	c core #378
190.43/190.57	c 
190.43/190.57	c 
190.43/190.57	c Core size: 29	Core Weight: 1	Total Weight: 378
190.43/190.57	c
190.43/190.57	c
190.43/190.57	c ============================[ Search Statistics ]==============================
190.43/190.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.57	c ===============================================================================
190.43/190.57	c |         0 |    4134     9145    33313 |     5000        0    nan |  0.000 % |
190.43/190.58	c ===============================================================================
190.53/190.61	c core #379
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 10	Core Weight: 1	Total Weight: 379
190.53/190.61	c
190.53/190.61	c
190.53/190.61	c ============================[ Search Statistics ]==============================
190.53/190.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.61	c ===============================================================================
190.53/190.61	c |         0 |    4140     9146    33325 |     5000        0    nan |  0.000 % |
190.53/190.62	c ===============================================================================
190.53/190.65	c core #380
190.53/190.65	c 
190.53/190.65	c 
190.53/190.65	c Core size: 22	Core Weight: 1	Total Weight: 380
190.53/190.65	c
190.53/190.65	c
190.53/190.65	c ============================[ Search Statistics ]==============================
190.53/190.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.65	c ===============================================================================
190.53/190.65	c |         0 |    4156     9147    33357 |     5000        0    nan |  0.000 % |
190.53/190.66	c ===============================================================================
190.53/190.69	c core #381
190.53/190.69	c 
190.53/190.69	c 
190.53/190.69	c Core size: 23	Core Weight: 1	Total Weight: 381
190.53/190.69	c
190.53/190.69	c
190.53/190.69	c ============================[ Search Statistics ]==============================
190.53/190.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.69	c ===============================================================================
190.53/190.69	c |         0 |    4166     9148    33378 |     5000        0    nan |  0.000 % |
190.63/190.70	c ===============================================================================
190.63/190.74	c core #382
190.63/190.74	c 
190.63/190.74	c 
190.63/190.74	c Core size: 26	Core Weight: 1	Total Weight: 382
190.63/190.74	c
190.63/190.74	c
190.63/190.74	c ============================[ Search Statistics ]==============================
190.63/190.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.74	c ===============================================================================
190.63/190.74	c |         0 |    4176     9149    33398 |     5000        0    nan |  0.000 % |
190.63/190.75	c ===============================================================================
190.63/190.78	c core #383
190.63/190.78	c 
190.63/190.78	c 
190.63/190.78	c Core size: 17	Core Weight: 1	Total Weight: 383
190.63/190.78	c
190.63/190.78	c
190.63/190.78	c ============================[ Search Statistics ]==============================
190.63/190.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.78	c ===============================================================================
190.63/190.78	c |         0 |    4186     9150    33418 |     5000        0    nan |  0.000 % |
190.63/190.79	c ===============================================================================
190.73/190.82	c core #384
190.73/190.82	c 
190.73/190.82	c 
190.73/190.82	c Core size: 24	Core Weight: 1	Total Weight: 384
190.73/190.82	c
190.73/190.82	c
190.73/190.82	c ============================[ Search Statistics ]==============================
190.73/190.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.82	c ===============================================================================
190.73/190.82	c |         0 |    4203     9151    33452 |     5000        0    nan |  0.000 % |
190.73/190.83	c ===============================================================================
190.73/190.86	c core #385
190.73/190.86	c 
190.73/190.86	c 
190.73/190.86	c Core size: 25	Core Weight: 1	Total Weight: 385
190.73/190.86	c
190.73/190.86	c
190.73/190.86	c ============================[ Search Statistics ]==============================
190.73/190.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.87	c ===============================================================================
190.73/190.87	c |         0 |    4210     9152    33466 |     5000        0    nan |  0.000 % |
190.73/190.87	c ===============================================================================
190.83/190.91	c core #386
190.83/190.91	c 
190.83/190.91	c 
190.83/190.91	c Core size: 33	Core Weight: 1	Total Weight: 386
190.83/190.91	c
190.83/190.91	c
190.83/190.91	c ============================[ Search Statistics ]==============================
190.83/190.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.91	c ===============================================================================
190.83/190.91	c |         0 |    4232     9153    33510 |     5000        0    nan |  0.000 % |
190.83/190.92	c ===============================================================================
190.83/190.95	c core #387
190.83/190.95	c 
190.83/190.95	c 
190.83/190.95	c Core size: 17	Core Weight: 1	Total Weight: 387
190.83/190.95	c
190.83/190.95	c
190.83/190.95	c ============================[ Search Statistics ]==============================
190.83/190.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.95	c ===============================================================================
190.83/190.95	c |         0 |    4242     9154    33530 |     5000        0    nan |  0.000 % |
190.83/190.96	c ===============================================================================
190.83/190.99	c core #388
190.83/190.99	c 
190.83/190.99	c 
190.83/190.99	c Core size: 22	Core Weight: 1	Total Weight: 388
190.83/190.99	c
190.83/190.99	c
190.83/190.99	c ============================[ Search Statistics ]==============================
190.83/190.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.99	c ===============================================================================
190.83/190.99	c |         0 |    4250     9155    33546 |     5000        0    nan |  0.000 % |
190.93/191.00	c ===============================================================================
190.93/191.04	c core #389
190.93/191.04	c 
190.93/191.04	c 
190.93/191.04	c Core size: 21	Core Weight: 1	Total Weight: 389
190.93/191.04	c
190.93/191.04	c
190.93/191.04	c ============================[ Search Statistics ]==============================
190.93/191.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.04	c ===============================================================================
190.93/191.04	c |         0 |    4264     9157    33577 |     5000        0    nan |  0.000 % |
190.93/191.05	c ===============================================================================
190.93/191.08	c core #390
190.93/191.08	c 
190.93/191.08	c 
190.93/191.08	c Core size: 42	Core Weight: 1	Total Weight: 390
190.93/191.08	c
190.93/191.08	c
190.93/191.08	c ============================[ Search Statistics ]==============================
190.93/191.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.08	c ===============================================================================
190.93/191.08	c |         0 |    4284     9159    33620 |     5000        0    nan |  0.000 % |
190.93/191.09	c ===============================================================================
191.03/191.13	c core #391
191.03/191.13	c 
191.03/191.13	c 
191.03/191.13	c Core size: 33	Core Weight: 1	Total Weight: 391
191.03/191.13	c
191.03/191.13	c
191.03/191.13	c ============================[ Search Statistics ]==============================
191.03/191.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.13	c ===============================================================================
191.03/191.13	c |         0 |    4306     9161    33666 |     5000        0    nan |  0.000 % |
191.03/191.14	c |       104 |    4305     9161    33666 |     5500      104     10 |  0.325 % |
191.03/191.15	c ===============================================================================
191.03/191.18	c core #392
191.03/191.18	c 
191.03/191.18	c 
191.03/191.18	c Core size: 58	Core Weight: 1	Total Weight: 392
191.03/191.18	c
191.03/191.18	c
191.03/191.18	c ============================[ Search Statistics ]==============================
191.03/191.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.18	c ===============================================================================
191.03/191.18	c |         0 |    4349     9162    33752 |     5000        0    nan |  0.000 % |
191.12/191.20	c ===============================================================================
191.12/191.23	c core #393
191.12/191.23	c 
191.12/191.23	c 
191.12/191.23	c Core size: 23	Core Weight: 1	Total Weight: 393
191.12/191.23	c
191.12/191.23	c
191.12/191.23	c ============================[ Search Statistics ]==============================
191.12/191.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.12/191.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.12/191.23	c ===============================================================================
191.12/191.23	c |         0 |    4357     9163    33768 |     5000        0    nan |  0.000 % |
191.12/191.24	c ===============================================================================
191.12/191.28	c core #394
191.12/191.28	c 
191.12/191.28	c 
191.12/191.28	c Core size: 29	Core Weight: 1	Total Weight: 394
191.12/191.28	c
191.12/191.28	c
191.12/191.28	c ============================[ Search Statistics ]==============================
191.12/191.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.12/191.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.12/191.28	c ===============================================================================
191.12/191.28	c |         0 |    4370     9164    33794 |     5000        0    nan |  0.000 % |
191.23/191.30	c |       100 |    4357     9164    33794 |     5500      100      5 |  2.283 % |
191.23/191.32	c ===============================================================================
191.23/191.36	c core #395
191.23/191.36	c 
191.23/191.36	c 
191.23/191.36	c Core size: 23	Core Weight: 1	Total Weight: 395
191.23/191.36	c
191.23/191.36	c
191.23/191.36	c ============================[ Search Statistics ]==============================
191.23/191.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.23/191.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.23/191.36	c ===============================================================================
191.23/191.36	c |         0 |    4387     9167    33833 |     5000        0    nan |  0.000 % |
191.23/191.37	c ===============================================================================
191.34/191.41	c core #396
191.34/191.41	c 
191.34/191.41	c 
191.34/191.41	c Core size: 27	Core Weight: 1	Total Weight: 396
191.34/191.41	c
191.34/191.41	c
191.34/191.41	c ============================[ Search Statistics ]==============================
191.34/191.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.41	c ===============================================================================
191.34/191.41	c |         0 |    4397     9169    33856 |     5000        0    nan |  0.000 % |
191.34/191.42	c ===============================================================================
191.34/191.45	c core #397
191.34/191.45	c 
191.34/191.45	c 
191.34/191.45	c Core size: 24	Core Weight: 1	Total Weight: 397
191.34/191.45	c
191.34/191.45	c
191.34/191.45	c ============================[ Search Statistics ]==============================
191.34/191.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.45	c ===============================================================================
191.34/191.45	c |         0 |    4412     9170    33886 |     5000        0    nan |  0.000 % |
191.34/191.47	c ===============================================================================
191.43/191.51	c core #398
191.43/191.51	c 
191.43/191.51	c 
191.43/191.51	c Core size: 35	Core Weight: 1	Total Weight: 398
191.43/191.51	c
191.43/191.51	c
191.43/191.51	c ============================[ Search Statistics ]==============================
191.43/191.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.51	c ===============================================================================
191.43/191.51	c |         0 |    4422     9171    33906 |     5000        0    nan |  0.000 % |
191.43/191.53	c ===============================================================================
191.43/191.56	c core #399
191.43/191.56	c 
191.43/191.56	c 
191.43/191.56	c Core size: 15	Core Weight: 1	Total Weight: 399
191.43/191.56	c
191.43/191.56	c
191.43/191.56	c ============================[ Search Statistics ]==============================
191.43/191.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.56	c ===============================================================================
191.43/191.56	c |         0 |    4433     9172    33928 |     5000        0    nan |  0.000 % |
191.43/191.58	c ===============================================================================
191.53/191.62	c core #400
191.53/191.62	c 
191.53/191.62	c 
191.53/191.62	c Core size: 18	Core Weight: 1	Total Weight: 400
191.53/191.62	c
191.53/191.62	c
191.53/191.62	c ============================[ Search Statistics ]==============================
191.53/191.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.62	c ===============================================================================
191.53/191.62	c |         0 |    4443     9173    33948 |     5000        0    nan |  0.000 % |
191.53/191.64	c ===============================================================================
191.53/191.67	c core #401
191.53/191.67	c 
191.53/191.67	c 
191.53/191.67	c Core size: 34	Core Weight: 1	Total Weight: 401
191.53/191.67	c
191.53/191.67	c
191.53/191.67	c ============================[ Search Statistics ]==============================
191.53/191.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.67	c ===============================================================================
191.53/191.67	c |         0 |    4464     9174    33990 |     5000        0    nan |  0.000 % |
191.53/191.69	c ===============================================================================
191.62/191.72	c core #402
191.62/191.72	c 
191.62/191.72	c 
191.62/191.72	c Core size: 28	Core Weight: 1	Total Weight: 402
191.62/191.72	c
191.62/191.72	c
191.62/191.72	c ============================[ Search Statistics ]==============================
191.62/191.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.62/191.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.62/191.72	c ===============================================================================
191.62/191.72	c |         0 |    4478     9176    34021 |     5000        0    nan |  0.000 % |
191.62/191.75	c ===============================================================================
191.62/191.79	c core #403
191.62/191.79	c 
191.62/191.79	c 
191.62/191.79	c Core size: 25	Core Weight: 1	Total Weight: 403
191.62/191.79	c
191.62/191.79	c
191.62/191.79	c ============================[ Search Statistics ]==============================
191.62/191.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.62/191.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.62/191.79	c ===============================================================================
191.62/191.79	c |         0 |    4495     9177    34055 |     5000        0    nan |  0.000 % |
191.72/191.82	c |       100 |    4360     9177    34055 |     5500      100      5 |  6.593 % |
191.72/191.83	c ===============================================================================
191.72/191.87	c core #404
191.72/191.87	c 
191.72/191.87	c 
191.72/191.87	c Core size: 239	Core Weight: 1	Total Weight: 404
191.72/191.87	c
191.72/191.87	c
191.72/191.87	c ============================[ Search Statistics ]==============================
191.72/191.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.72/191.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.72/191.87	c ===============================================================================
191.72/191.87	c |         0 |    4601     9180    34273 |     5000        0    nan |  0.000 % |
191.72/191.88	c ===============================================================================
191.83/191.92	c core #405
191.83/191.92	c 
191.83/191.92	c 
191.83/191.92	c Core size: 24	Core Weight: 1	Total Weight: 405
191.83/191.92	c
191.83/191.92	c
191.83/191.92	c ============================[ Search Statistics ]==============================
191.83/191.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.92	c ===============================================================================
191.83/191.92	c |         0 |    4616     9182    34305 |     5000        0    nan |  0.000 % |
191.83/191.94	c |       101 |    4614     9182    34305 |     5500      101     12 |  0.259 % |
191.83/191.97	c |       253 |    4602     9182    34305 |     6050      253     11 |  0.584 % |
191.83/191.98	c ===============================================================================
191.92/192.02	c core #406
191.92/192.02	c 
191.92/192.02	c 
191.92/192.02	c Core size: 16	Core Weight: 1	Total Weight: 406
191.92/192.02	c
191.92/192.02	c
191.92/192.02	c ============================[ Search Statistics ]==============================
191.92/192.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.92/192.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.92/192.02	c ===============================================================================
191.92/192.02	c |         0 |    4628     9183    34329 |     5000        0    nan |  0.000 % |
191.92/192.04	c ===============================================================================
191.92/192.07	c core #407
191.92/192.07	c 
191.92/192.07	c 
191.92/192.07	c Core size: 15	Core Weight: 1	Total Weight: 407
191.92/192.07	c
191.92/192.07	c
191.92/192.07	c ============================[ Search Statistics ]==============================
191.92/192.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.92/192.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.92/192.07	c ===============================================================================
191.92/192.07	c |         0 |    4640     9184    34353 |     5000        0    nan |  0.000 % |
191.92/192.10	c |       100 |    4636     9184    34353 |     5500      100      9 |  0.344 % |
192.03/192.11	c ===============================================================================
192.03/192.15	c core #408
192.03/192.15	c 
192.03/192.15	c 
192.03/192.15	c Core size: 46	Core Weight: 1	Total Weight: 408
192.03/192.15	c
192.03/192.15	c
192.03/192.15	c ============================[ Search Statistics ]==============================
192.03/192.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.15	c ===============================================================================
192.03/192.15	c |         0 |    4672     9185    34417 |     5000        0    nan |  0.000 % |
192.03/192.18	c |       100 |    4669     9185    34417 |     5500      100      7 |  0.299 % |
192.13/192.21	c ===============================================================================
192.13/192.25	c core #409
192.13/192.25	c 
192.13/192.25	c 
192.13/192.25	c Core size: 25	Core Weight: 1	Total Weight: 409
192.13/192.25	c
192.13/192.25	c
192.13/192.25	c ============================[ Search Statistics ]==============================
192.13/192.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.25	c ===============================================================================
192.13/192.25	c |         0 |    4693     9189    34467 |     5000        0    nan |  0.000 % |
192.13/192.27	c ===============================================================================
192.23/192.30	c core #410
192.23/192.30	c 
192.23/192.30	c 
192.23/192.30	c Core size: 18	Core Weight: 1	Total Weight: 410
192.23/192.30	c
192.23/192.30	c
192.23/192.30	c ============================[ Search Statistics ]==============================
192.23/192.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.30	c ===============================================================================
192.23/192.30	c |         0 |    4706     9190    34493 |     5000        0    nan |  0.000 % |
192.23/192.32	c |       100 |    4702     9190    34493 |     5500      100     10 |  0.297 % |
192.23/192.35	c ===============================================================================
192.23/192.38	c core #411
192.23/192.38	c 
192.23/192.38	c 
192.23/192.38	c Core size: 41	Core Weight: 1	Total Weight: 411
192.23/192.38	c
192.23/192.38	c
192.23/192.38	c ============================[ Search Statistics ]==============================
192.23/192.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.38	c ===============================================================================
192.23/192.38	c |         0 |    4732     9191    34545 |     5000        0    nan |  0.000 % |
192.33/192.41	c |       102 |    4726     9191    34545 |     5500      102     10 |  0.380 % |
192.33/192.42	c |       252 |    4726     9191    34545 |     6050      252     14 |  0.380 % |
192.33/192.44	c ===============================================================================
192.33/192.48	c core #412
192.33/192.48	c 
192.33/192.48	c 
192.33/192.48	c Core size: 112	Core Weight: 1	Total Weight: 412
192.33/192.48	c
192.33/192.48	c
192.33/192.48	c ============================[ Search Statistics ]==============================
192.33/192.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.33/192.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.33/192.48	c ===============================================================================
192.33/192.48	c |         0 |    4811     9193    34706 |     5000        0    nan |  0.000 % |
192.33/192.50	c |       101 |    4806     9193    34706 |     5500      101      6 |  0.332 % |
192.43/192.52	c ===============================================================================
192.43/192.56	c core #413
192.43/192.56	c 
192.43/192.56	c 
192.43/192.56	c Core size: 40	Core Weight: 1	Total Weight: 413
192.43/192.56	c
192.43/192.56	c
192.43/192.56	c ============================[ Search Statistics ]==============================
192.43/192.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.43/192.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.43/192.56	c ===============================================================================
192.43/192.56	c |         0 |    4826     9194    34736 |     5000        0    nan |  0.000 % |
192.43/192.59	c |       100 |    4821     9194    34736 |     5500      100      6 |  0.331 % |
192.53/192.62	c ===============================================================================
192.53/192.65	c core #414
192.53/192.65	c 
192.53/192.65	c 
192.53/192.65	c Core size: 52	Core Weight: 1	Total Weight: 414
192.53/192.65	c
192.53/192.65	c
192.53/192.65	c ============================[ Search Statistics ]==============================
192.53/192.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.65	c ===============================================================================
192.53/192.65	c |         0 |    4854     9199    34803 |     5000        0    nan |  0.000 % |
192.53/192.68	c |       101 |    4819     9199    34803 |     5500      101      6 |  1.891 % |
192.63/192.71	c |       252 |    4758     9199    34803 |     6050      218     10 |  2.344 % |
192.63/192.73	c ===============================================================================
192.63/192.77	c core #415
192.63/192.77	c 
192.63/192.77	c 
192.63/192.77	c Core size: 145	Core Weight: 1	Total Weight: 415
192.63/192.77	c
192.63/192.77	c
192.63/192.77	c ============================[ Search Statistics ]==============================
192.63/192.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.77	c ===============================================================================
192.63/192.77	c |         0 |    4937     9204    34979 |     5000        0    nan |  0.000 % |
192.63/192.79	c ===============================================================================
192.72/192.83	c core #416
192.72/192.83	c 
192.72/192.83	c 
192.72/192.83	c Core size: 25	Core Weight: 1	Total Weight: 416
192.72/192.83	c
192.72/192.83	c
192.72/192.83	c ============================[ Search Statistics ]==============================
192.72/192.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.72/192.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.72/192.83	c ===============================================================================
192.72/192.83	c |         0 |    4953     9206    35014 |     5000        0    nan |  0.000 % |
192.72/192.84	c |       101 |    4953     9206    35014 |     5500      101     15 |  0.202 % |
192.72/192.88	c |       252 |    4815     9206    35014 |     6050      232     11 |  2.982 % |
192.72/192.89	c ===============================================================================
192.82/192.93	c core #417
192.82/192.93	c 
192.82/192.93	c 
192.82/192.93	c Core size: 26	Core Weight: 1	Total Weight: 417
192.82/192.93	c
192.82/192.93	c
192.82/192.93	c ============================[ Search Statistics ]==============================
192.82/192.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.82/192.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.82/192.93	c ===============================================================================
192.82/192.93	c |         0 |    4967     9211    35054 |     5000        0    nan |  0.000 % |
192.82/192.95	c |       101 |    4965     9211    35054 |     5500      101     10 |  0.241 % |
192.82/192.96	c ===============================================================================
192.82/192.99	c core #418
192.82/192.99	c 
192.82/192.99	c 
192.82/192.99	c Core size: 34	Core Weight: 1	Total Weight: 418
192.82/192.99	c
192.82/192.99	c
192.82/192.99	c ============================[ Search Statistics ]==============================
192.82/192.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.82/192.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.82/192.99	c ===============================================================================
192.82/192.99	c |         0 |    4994     9212    35108 |     5000        0    nan |  0.000 % |
192.93/193.01	c |       100 |    4994     9212    35108 |     5500      100     15 |  0.200 % |
192.93/193.03	c ===============================================================================
192.93/193.07	c core #419
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 29	Core Weight: 1	Total Weight: 419
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c ============================[ Search Statistics ]==============================
192.93/193.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.07	c ===============================================================================
192.93/193.07	c |         0 |    5015     9213    35150 |     5000        0    nan |  0.000 % |
192.93/193.08	c ===============================================================================
193.03/193.12	c core #420
193.03/193.12	c 
193.03/193.12	c 
193.03/193.12	c Core size: 16	Core Weight: 1	Total Weight: 420
193.03/193.12	c
193.03/193.12	c
193.03/193.12	c ============================[ Search Statistics ]==============================
193.03/193.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.12	c ===============================================================================
193.03/193.12	c |         0 |    5028     9214    35176 |     5000        0    nan |  0.000 % |
193.03/193.13	c ===============================================================================
193.03/193.17	c core #421
193.03/193.17	c 
193.03/193.17	c 
193.03/193.17	c Core size: 51	Core Weight: 1	Total Weight: 421
193.03/193.17	c
193.03/193.17	c
193.03/193.17	c ============================[ Search Statistics ]==============================
193.03/193.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.17	c ===============================================================================
193.03/193.17	c |         0 |    5066     9215    35252 |     5000        0    nan |  0.000 % |
193.03/193.18	c ===============================================================================
193.12/193.22	c core #422
193.12/193.22	c 
193.12/193.22	c 
193.12/193.22	c Core size: 26	Core Weight: 1	Total Weight: 422
193.12/193.22	c
193.12/193.22	c
193.12/193.22	c ============================[ Search Statistics ]==============================
193.12/193.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.12/193.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.12/193.22	c ===============================================================================
193.12/193.22	c |         0 |    5076     9216    35272 |     5000        0    nan |  0.000 % |
193.12/193.24	c |       100 |    5073     9216    35272 |     5500      100      9 |  0.315 % |
193.12/193.25	c ===============================================================================
193.12/193.28	c core #423
193.12/193.28	c 
193.12/193.28	c 
193.12/193.28	c Core size: 42	Core Weight: 1	Total Weight: 423
193.12/193.28	c
193.12/193.28	c
193.12/193.28	c ============================[ Search Statistics ]==============================
193.12/193.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.12/193.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.12/193.28	c ===============================================================================
193.12/193.28	c |         0 |    5111     9218    35344 |     5000        0    nan |  0.000 % |
193.22/193.31	c |       100 |    5104     9218    35344 |     5500      100      5 |  0.410 % |
193.22/193.32	c ===============================================================================
193.22/193.36	c core #424
193.22/193.36	c 
193.22/193.36	c 
193.22/193.36	c Core size: 63	Core Weight: 1	Total Weight: 424
193.22/193.36	c
193.22/193.36	c
193.22/193.36	c ============================[ Search Statistics ]==============================
193.22/193.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.22/193.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.22/193.36	c ===============================================================================
193.22/193.36	c |         0 |    5170     9220    35464 |     5000        0    nan |  0.000 % |
193.22/193.38	c |       100 |    5170     9220    35464 |     5500      100      8 |  0.232 % |
193.32/193.41	c |       251 |    5042     9220    35464 |     6050      251      8 |  5.077 % |
193.32/193.45	c |       476 |    4823     9220    35464 |     6655      319      8 |  8.880 % |
193.32/193.46	c ===============================================================================
193.43/193.50	c core #425
193.43/193.50	c 
193.43/193.50	c 
193.43/193.50	c Core size: 248	Core Weight: 1	Total Weight: 425
193.43/193.50	c
193.43/193.50	c
193.43/193.50	c ============================[ Search Statistics ]==============================
193.43/193.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.43/193.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.43/193.50	c ===============================================================================
193.43/193.50	c |         0 |    5337     9224    35805 |     5000        0    nan |  0.000 % |
193.43/193.52	c |       100 |    5337     9224    35805 |     5500      100     12 |  0.187 % |
193.43/193.53	c |       251 |    5337     9224    35805 |     6050      251     14 |  0.187 % |
193.53/193.60	c |       476 |    5240     9224    35805 |     6655      475     10 |  4.395 % |
193.53/193.64	c |       813 |    5079     9224    35805 |     7320      725     15 |  5.723 % |
193.53/193.68	c |      1322 |    5037     9224    35805 |     8052     1175     19 |  5.816 % |
193.62/193.72	c ===============================================================================
193.62/193.77	c core #426
193.62/193.77	c 
193.62/193.77	c 
193.62/193.77	c Core size: 281	Core Weight: 1	Total Weight: 426
193.62/193.77	c
193.62/193.77	c
193.62/193.77	c ============================[ Search Statistics ]==============================
193.62/193.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.62/193.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.62/193.77	c ===============================================================================
193.62/193.77	c |         0 |    5530     9226    36194 |     5000        0    nan |  0.000 % |
193.62/193.78	c |       101 |    5530     9226    36194 |     5500      101     14 |  0.181 % |
193.72/193.81	c |       251 |    5526     9226    36194 |     6050      251     10 |  0.253 % |
193.72/193.82	c ===============================================================================
193.72/193.86	c core #427
193.72/193.86	c 
193.72/193.86	c 
193.72/193.86	c Core size: 58	Core Weight: 1	Total Weight: 427
193.72/193.86	c
193.72/193.86	c
193.72/193.86	c ============================[ Search Statistics ]==============================
193.72/193.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.72/193.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.72/193.86	c ===============================================================================
193.72/193.86	c |         0 |    5576     9227    36286 |     5000        0    nan |  0.000 % |
193.72/193.88	c |       101 |    5576     9227    36286 |     5500      101     17 |  0.179 % |
193.83/193.90	c |       253 |    5552     9227    36286 |     6050      253     12 |  1.486 % |
193.83/193.92	c ===============================================================================
193.83/193.96	c core #428
193.83/193.96	c 
193.83/193.96	c 
193.83/193.96	c Core size: 54	Core Weight: 1	Total Weight: 428
193.83/193.96	c
193.83/193.96	c
193.83/193.96	c ============================[ Search Statistics ]==============================
193.83/193.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.83/193.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.83/193.96	c ===============================================================================
193.83/193.96	c |         0 |    5624     9228    36382 |     5000        0    nan |  0.000 % |
193.83/193.97	c |       100 |    5624     9228    36382 |     5500      100     17 |  0.178 % |
193.83/193.99	c |       250 |    5624     9228    36382 |     6050      250     18 |  0.213 % |
193.92/194.04	c |       475 |    5620     9228    36382 |     6655      474     14 |  0.284 % |
193.92/194.07	c |       812 |    5616     9228    36382 |     7320      799     16 |  0.319 % |
193.92/194.09	c ===============================================================================
194.02/194.14	c core #429
194.02/194.14	c 
194.02/194.14	c 
194.02/194.14	c Core size: 47	Core Weight: 1	Total Weight: 429
194.02/194.14	c
194.02/194.14	c
194.02/194.14	c ============================[ Search Statistics ]==============================
194.02/194.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.02/194.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.02/194.14	c ===============================================================================
194.02/194.14	c |         0 |    5665     9232    36471 |     5000        0    nan |  0.000 % |
194.02/194.16	c |       100 |    5663     9232    36471 |     5500      100      8 |  0.212 % |
194.02/194.18	c |       251 |    5640     9232    36471 |     6050      251      9 |  1.322 % |
194.02/194.19	c |       479 |    5594     9232    36471 |     6655      402     12 |  1.428 % |
194.13/194.20	c ===============================================================================
194.13/194.25	c core #430
194.13/194.25	c 
194.13/194.25	c 
194.13/194.25	c Core size: 99	Core Weight: 1	Total Weight: 430
194.13/194.25	c
194.13/194.25	c
194.13/194.25	c ============================[ Search Statistics ]==============================
194.13/194.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.13/194.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.13/194.25	c ===============================================================================
194.13/194.25	c |         0 |    5746     9234    36636 |     5000        0    nan |  0.000 % |
194.13/194.27	c |       106 |    5746     9234    36636 |     5500      106     16 |  0.174 % |
194.13/194.28	c ===============================================================================
194.23/194.32	c core #431
194.23/194.32	c 
194.23/194.32	c 
194.23/194.32	c Core size: 31	Core Weight: 1	Total Weight: 431
194.23/194.32	c
194.23/194.32	c
194.23/194.32	c ============================[ Search Statistics ]==============================
194.23/194.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.23/194.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.23/194.32	c ===============================================================================
194.23/194.32	c |         0 |    5770     9235    36684 |     5000        0    nan |  0.000 % |
194.23/194.34	c |       103 |    5770     9235    36684 |     5500      103     16 |  0.173 % |
194.23/194.37	c |       254 |    5767     9235    36684 |     6050      254     14 |  0.242 % |
194.23/194.39	c |       480 |    5764     9235    36684 |     6655      476     13 |  0.277 % |
194.32/194.42	c |       817 |    5762     9235    36684 |     7320      813     15 |  0.312 % |
194.42/194.51	c |      1326 |    5696     9235    36684 |     8052     1275     15 |  1.488 % |
194.53/194.60	c ===============================================================================
194.53/194.65	c core #432
194.53/194.65	c 
194.53/194.65	c 
194.53/194.65	c Core size: 80	Core Weight: 1	Total Weight: 432
194.53/194.65	c
194.53/194.65	c
194.53/194.65	c ============================[ Search Statistics ]==============================
194.53/194.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.53/194.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.53/194.65	c ===============================================================================
194.53/194.65	c |         0 |    5832     9239    36815 |     5000        0    nan |  0.000 % |
194.53/194.67	c |       101 |    5830     9239    36815 |     5500      101      7 |  0.205 % |
194.53/194.67	c ===============================================================================
194.63/194.71	c core #433
194.63/194.71	c 
194.63/194.71	c 
194.63/194.71	c Core size: 42	Core Weight: 1	Total Weight: 433
194.63/194.71	c
194.63/194.71	c
194.63/194.71	c ============================[ Search Statistics ]==============================
194.63/194.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.63/194.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.63/194.71	c ===============================================================================
194.63/194.71	c |         0 |    5866     9241    36885 |     5000        0    nan |  0.000 % |
194.63/194.74	c |       100 |    5866     9241    36885 |     5500      100      8 |  0.170 % |
194.63/194.76	c |       253 |    5866     9241    36885 |     6050      253     12 |  0.204 % |
194.63/194.78	c |       479 |    5864     9241    36885 |     6655      478     13 |  0.204 % |
194.73/194.82	c |       822 |    5852     9241    36885 |     7320      792     14 |  0.408 % |
194.73/194.88	c ===============================================================================
194.82/194.94	c core #434
194.82/194.94	c 
194.82/194.94	c 
194.82/194.94	c Core size: 146	Core Weight: 1	Total Weight: 434
194.82/194.94	c
194.82/194.94	c
194.82/194.94	c ============================[ Search Statistics ]==============================
194.82/194.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.82/194.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.82/194.94	c ===============================================================================
194.82/194.94	c |         0 |    5987     9247    37140 |     5000        0    nan |  0.000 % |
194.82/194.96	c |       101 |    5987     9247    37140 |     5500      101     19 |  0.167 % |
194.82/194.97	c |       252 |    5987     9247    37140 |     6050      252     21 |  0.167 % |
194.82/194.99	c |       478 |    5987     9247    37140 |     6655      478     17 |  0.167 % |
194.93/195.03	c |       815 |    5980     9247    37140 |     7320      805     15 |  0.300 % |
194.93/195.05	c ===============================================================================
195.02/195.10	c core #435
195.02/195.10	c 
195.02/195.10	c 
195.02/195.10	c Core size: 99	Core Weight: 1	Total Weight: 435
195.02/195.10	c
195.02/195.10	c
195.02/195.10	c ============================[ Search Statistics ]==============================
195.02/195.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.02/195.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.02/195.10	c ===============================================================================
195.02/195.10	c |         0 |    6069     9249    37307 |     5000        0    nan |  0.000 % |
195.02/195.12	c |       102 |    6069     9249    37307 |     5500      102     21 |  0.165 % |
195.02/195.15	c |       252 |    6064     9249    37307 |     6050      252     14 |  0.263 % |
195.02/195.18	c |       477 |    6063     9249    37307 |     6655      473     13 |  0.263 % |
195.12/195.23	c |       814 |    5998     9249    37307 |     7320      773     11 |  1.398 % |
195.12/195.26	c ===============================================================================
195.22/195.31	c core #436
195.22/195.31	c 
195.22/195.31	c 
195.22/195.31	c Core size: 102	Core Weight: 1	Total Weight: 436
195.22/195.31	c
195.22/195.31	c
195.22/195.31	c ============================[ Search Statistics ]==============================
195.22/195.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.22/195.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.22/195.31	c ===============================================================================
195.22/195.31	c |         0 |    6160     9256    37504 |     5000        0    nan |  0.000 % |
195.22/195.33	c |       101 |    6160     9256    37504 |     5500      101     17 |  0.162 % |
195.22/195.34	c |       251 |    6160     9256    37504 |     6050      251     16 |  0.162 % |
195.22/195.38	c |       476 |    6156     9256    37504 |     6655      475     14 |  0.259 % |
195.32/195.42	c |       815 |    6150     9256    37504 |     7320      807     14 |  0.324 % |
195.32/195.44	c ===============================================================================
195.32/195.48	c core #437
195.32/195.48	c 
195.32/195.48	c 
195.32/195.48	c Core size: 87	Core Weight: 1	Total Weight: 437
195.32/195.48	c
195.32/195.48	c
195.32/195.48	c ============================[ Search Statistics ]==============================
195.32/195.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.32/195.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.32/195.48	c ===============================================================================
195.32/195.48	c |         0 |    6227     9262    37652 |     5000        0    nan |  0.000 % |
195.42/195.50	c |       100 |    6227     9262    37652 |     5500      100     14 |  0.161 % |
195.42/195.51	c |       251 |    6227     9262    37652 |     6050      251     15 |  0.160 % |
195.42/195.54	c |       476 |    6227     9262    37652 |     6655      476     14 |  0.160 % |
195.42/195.57	c |       814 |    6225     9262    37652 |     7320      812     14 |  0.193 % |
195.53/195.63	c |      1320 |    6225     9262    37652 |     8052     1318     16 |  0.192 % |
195.53/195.69	c ===============================================================================
195.63/195.75	c core #438
195.63/195.75	c 
195.63/195.75	c 
195.63/195.75	c Core size: 87	Core Weight: 1	Total Weight: 438
195.63/195.75	c
195.63/195.75	c
195.63/195.75	c ============================[ Search Statistics ]==============================
195.63/195.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.63/195.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.63/195.75	c ===============================================================================
195.63/195.75	c |         0 |    6300     9267    37810 |     5000        0    nan |  0.000 % |
195.63/195.77	c |       100 |    6300     9267    37810 |     5500      100     16 |  0.159 % |
195.63/195.79	c |       251 |    6300     9267    37810 |     6050      251     17 |  0.159 % |
195.63/195.80	c |       479 |    6300     9267    37810 |     6655      479     20 |  0.159 % |
195.73/195.83	c |       817 |    6298     9267    37810 |     7320      816     19 |  0.190 % |
195.73/195.87	c |      1323 |    6298     9267    37810 |     8052     1322     17 |  0.190 % |
195.83/195.94	c |      2082 |    6283     9267    37810 |     8857     2064     18 |  0.539 % |
195.83/195.94	c ===============================================================================
195.83/196.00	c core #439
195.83/196.00	c 
195.83/196.00	c 
195.83/196.00	c Core size: 69	Core Weight: 1	Total Weight: 439
195.83/196.00	c
195.83/196.00	c
195.83/196.00	c ============================[ Search Statistics ]==============================
195.83/196.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.83/196.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.83/196.00	c ===============================================================================
195.83/196.00	c |         0 |    6352     9272    37923 |     5000        0    nan |  0.000 % |
195.93/196.02	c |       100 |    6352     9272    37923 |     5500      100     16 |  0.157 % |
195.93/196.03	c |       251 |    6352     9272    37923 |     6050      251     14 |  0.157 % |
195.93/196.05	c |       481 |    6352     9272    37923 |     6655      481     17 |  0.157 % |
195.93/196.08	c |       820 |    6352     9272    37923 |     7320      820     19 |  0.157 % |
196.02/196.12	c |      1329 |    6350     9272    37923 |     8052     1325     18 |  0.189 % |
196.02/196.19	c |      2088 |    6346     9272    37923 |     8857     2077     20 |  0.252 % |
196.22/196.33	c |      3227 |    6345     9272    37923 |     9743     3216     22 |  0.283 % |
196.52/196.61	c ===============================================================================
196.62/196.70	c core #440
196.62/196.70	c 
196.62/196.70	c 
196.62/196.70	c Core size: 101	Core Weight: 1	Total Weight: 440
196.62/196.70	c
196.62/196.70	c
196.62/196.70	c ============================[ Search Statistics ]==============================
196.62/196.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.62/196.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.62/196.70	c ===============================================================================
196.62/196.70	c |         0 |    6446     9282    38135 |     5000        0    nan |  0.000 % |
196.62/196.74	c |       100 |    6444     9282    38135 |     5500      100     15 |  0.186 % |
196.62/196.76	c |       250 |    6426     9282    38135 |     6050      250     16 |  1.084 % |
196.62/196.78	c |       475 |    6381     9282    38135 |     6655      462     17 |  1.177 % |
196.73/196.80	c |       812 |    6381     9282    38135 |     7320      799     17 |  1.177 % |
196.73/196.84	c |      1322 |    6380     9282    38135 |     8052     1306     18 |  1.177 % |
196.83/196.93	c |      2083 |    6371     9282    38135 |     8857     2064     18 |  1.580 % |
196.92/197.04	c |      3222 |    6353     9282    38135 |     9743     3194     19 |  1.611 % |
197.13/197.26	c |      4930 |    6338     9282    38135 |    10717     4899     21 |  1.859 % |
197.62/197.76	c |      7493 |    6277     9282    38135 |    11789     7160     23 |  3.872 % |
198.12/198.21	c ===============================================================================
198.22/198.37	c core #441
198.22/198.37	c 
198.22/198.37	c 
198.22/198.37	c Core size: 97	Core Weight: 1	Total Weight: 441
198.22/198.37	c
198.22/198.37	c
198.22/198.37	c ============================[ Search Statistics ]==============================
198.22/198.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.22/198.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.22/198.37	c ===============================================================================
198.22/198.37	c |         0 |    6531     9286    38312 |     5000        0    nan |  0.000 % |
198.32/198.40	c |       101 |    6531     9286    38312 |     5500      101     18 |  0.153 % |
198.32/198.43	c |       251 |    6531     9286    38312 |     6050      251     15 |  0.153 % |
198.32/198.46	c |       476 |    6476     9286    38312 |     6655      424     12 |  0.994 % |
198.32/198.49	c |       814 |    6472     9286    38312 |     7320      762     14 |  1.085 % |
198.42/198.54	c |      1321 |    6468     9286    38312 |     8052     1266     18 |  1.116 % |
198.52/198.62	c |      2082 |    6431     9286    38312 |     8857     2025     19 |  2.324 % |
198.62/198.78	c |      3223 |    6389     9286    38312 |     9743     3107     22 |  2.324 % |
198.93/199.03	c |      4932 |    6376     9286    38312 |    10717     4815     28 |  2.523 % |
199.32/199.43	c |      7495 |    6374     9286    38312 |    11789     7365     33 |  2.645 % |
199.92/200.08	c |     11341 |    6366     9286    38312 |    12968    11168     35 |  2.675 % |
201.02/201.11	c |     17107 |    6366     9286    38312 |    14265    10195     33 |  2.675 % |
202.92/203.00	c |     25757 |    6351     9286    38312 |    15692    11388     35 |  2.981 % |
205.02/205.19	c ===============================================================================
205.53/205.64	c core #442
205.53/205.64	c 
205.53/205.64	c 
205.53/205.64	c Core size: 356	Core Weight: 1	Total Weight: 442
205.53/205.64	c
205.53/205.64	c
205.53/205.64	c ============================[ Search Statistics ]==============================
205.53/205.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.53/205.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.53/205.64	c ===============================================================================
205.53/205.64	c |         0 |    6818     9323    38975 |     5000        0    nan |  0.000 % |
205.53/205.67	c |       100 |    6818     9323    38975 |     5500      100     19 |  0.147 % |
205.53/205.69	c |       253 |    6818     9323    38975 |     6050      253     17 |  0.146 % |
205.62/205.72	c |       481 |    6818     9323    38975 |     6655      481     15 |  0.146 % |
205.62/205.75	c |       819 |    6818     9323    38975 |     7320      819     17 |  0.146 % |
205.62/205.79	c |      1326 |    6816     9323    38975 |     8052     1324     18 |  0.176 % |
205.82/205.90	c |      2086 |    6810     9323    38975 |     8857     2018     18 |  0.293 % |
205.92/206.02	c |      3227 |    6804     9323    38975 |     9743     3008     21 |  0.352 % |
206.12/206.29	c |      4935 |    6799     9323    38975 |    10717     4591     22 |  0.425 % |
206.62/206.70	c |      7497 |    6792     9323    38975 |    11789     7102     24 |  0.542 % |
206.62/206.74	c ===============================================================================
206.72/206.86	c core #443
206.72/206.86	c 
206.72/206.86	c 
206.72/206.86	c Core size: 224	Core Weight: 1	Total Weight: 443
206.72/206.86	c
206.72/206.86	c
206.72/206.86	c ============================[ Search Statistics ]==============================
206.72/206.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.72/206.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.72/206.86	c ===============================================================================
206.72/206.86	c |         0 |    7031     9339    39439 |     5000        0    nan |  0.000 % |
206.72/206.89	c |       102 |    7031     9339    39439 |     5500      102     11 |  0.142 % |
206.82/206.90	c |       255 |    7031     9339    39439 |     6050      255     18 |  0.142 % |
206.82/206.93	c |       480 |    7031     9339    39439 |     6655      480     19 |  0.142 % |
206.82/206.95	c |       819 |    7031     9339    39439 |     7320      819     23 |  0.142 % |
206.92/207.00	c |      1325 |    7031     9339    39439 |     8052     1325     23 |  0.142 % |
206.92/207.06	c |      2087 |    7031     9339    39439 |     8857     2087     26 |  0.142 % |
207.02/207.18	c |      3226 |    7029     9339    39439 |     9743     3225     29 |  0.170 % |
207.22/207.34	c |      4934 |    7029     9339    39439 |    10717     4933     28 |  0.170 % |
207.62/207.73	c |      7496 |    7024     9339    39439 |    11789     7493     31 |  0.256 % |
208.22/208.39	c |     11341 |    7023     9339    39439 |    12968    11286     34 |  0.256 % |
209.52/209.67	c |     17107 |    7002     9339    39439 |    14265    10113     40 |  1.150 % |
211.62/211.72	c |     25756 |    6952     9339    39439 |    15692    11312     41 |  1.264 % |
214.22/214.34	c |     38730 |    6942     9339    39439 |    17261     8325     63 |  1.463 % |
217.72/217.89	c ===============================================================================
218.32/218.45	c core #444
218.32/218.45	c 
218.32/218.45	c 
218.32/218.45	c Core size: 270	Core Weight: 1	Total Weight: 444
218.32/218.45	c
218.32/218.45	c
218.32/218.45	c ============================[ Search Statistics ]==============================
218.32/218.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.32/218.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.32/218.45	c ===============================================================================
218.32/218.45	c |         0 |    7282     9351    39966 |     5000        0    nan |  0.000 % |
218.32/218.49	c |       100 |    7282     9351    39966 |     5500      100     16 |  0.137 % |
218.42/218.51	c |       250 |    7282     9351    39966 |     6050      250     17 |  0.137 % |
218.42/218.53	c |       476 |    7282     9351    39966 |     6655      476     22 |  0.137 % |
218.42/218.58	c |       815 |    7282     9351    39966 |     7320      815     23 |  0.137 % |
218.52/218.63	c |      1322 |    7282     9351    39966 |     8052     1322     24 |  0.137 % |
218.62/218.70	c |      2082 |    7282     9351    39966 |     8857     2082     26 |  0.137 % |
218.72/218.82	c |      3221 |    7282     9351    39966 |     9743     3221     26 |  0.137 % |
218.91/219.07	c |      4929 |    7282     9351    39966 |    10717     4929     32 |  0.137 % |
219.21/219.32	c |      7491 |    7282     9351    39966 |    11789     7491     31 |  0.137 % |
220.12/220.22	c |     11339 |    7282     9351    39966 |    12968    11339     41 |  0.137 % |
221.41/221.53	c |     17111 |    7282     9351    39966 |    14265    10461     60 |  0.137 % |
223.12/223.20	c |     25763 |    7282     9351    39966 |    15692    11687     57 |  0.137 % |
227.02/227.19	c |     38739 |    7280     9351    39966 |    17261    12351     58 |  0.165 % |
233.81/233.92	c |     58201 |    7280     9351    39966 |    18987    14317     70 |  0.165 % |
243.71/243.84	c |     87395 |    7280     9351    39966 |    20886    14549     60 |  0.165 % |
257.21/257.34	c |    131188 |    7274     9351    39966 |    22974    15740     54 |  0.247 % |
271.80/271.92	c ===============================================================================
273.50/273.61	c core #445
273.50/273.61	c 
273.50/273.61	c 
273.50/273.61	c Core size: 183	Core Weight: 1	Total Weight: 445
273.50/273.61	c
273.50/273.61	c
273.50/273.61	c ============================[ Search Statistics ]==============================
273.50/273.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
273.50/273.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
273.50/273.61	c ===============================================================================
273.50/273.61	c |         0 |    7452     9382    40373 |     5000        0    nan |  0.000 % |
273.50/273.68	c |       100 |    7452     9382    40373 |     5500      100     33 |  0.134 % |
273.50/273.69	c |       250 |    7452     9382    40373 |     6050      250     27 |  0.134 % |
273.60/273.73	c |       476 |    7452     9382    40373 |     6655      476     23 |  0.134 % |
273.60/273.77	c |       815 |    7452     9382    40373 |     7320      815     24 |  0.134 % |
273.70/273.84	c |      1322 |    7452     9382    40373 |     8052     1322     26 |  0.134 % |
273.80/273.92	c |      2081 |    7452     9382    40373 |     8857     2081     32 |  0.134 % |
273.90/274.07	c |      3220 |    7452     9382    40373 |     9743     3220     36 |  0.134 % |
274.20/274.35	c |      4928 |    7452     9382    40373 |    10717     4928     36 |  0.134 % |
274.60/274.76	c |      7490 |    7452     9382    40373 |    11789     7490     42 |  0.134 % |
275.40/275.55	c |     11334 |    7452     9382    40373 |    12968    11334     46 |  0.134 % |
276.40/276.58	c |     17100 |    7452     9382    40373 |    14265     9851     51 |  0.134 % |
278.50/278.64	c |     25749 |    7452     9382    40373 |    15692    11010     63 |  0.134 % |
281.41/281.52	c |     38723 |    7446     9382    40373 |    17261    13759     62 |  0.214 % |
286.40/286.59	c |     58184 |    7434     9382    40373 |    18987    15799     51 |  0.375 % |
293.80/293.90	c |     87376 |    7431     9382    40373 |    20886    14345     61 |  0.456 % |
308.69/308.85	c |    131166 |    7422     9382    40373 |    22974    15006     61 |  0.536 % |
331.49/331.63	c |    196850 |    7412     9382    40373 |    25272    21741     74 |  0.670 % |
362.27/362.46	c |    295377 |    7402     9382    40373 |    27799    17310     61 |  0.831 % |
433.36/433.56	c |    443169 |    7396     9382    40373 |    30579    18798     50 |  0.884 % |
537.13/537.36	c |    664857 |    7388     9382    40373 |    33637    29027     71 |  0.992 % |
726.28/726.60	c ===============================================================================
734.28/734.52	c core #446
734.28/734.52	c 
734.28/734.52	c 
734.28/734.52	c Core size: 448	Core Weight: 1	Total Weight: 446
734.28/734.52	c
734.28/734.52	c
734.28/734.52	c ============================[ Search Statistics ]==============================
734.28/734.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
734.28/734.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
734.28/734.52	c ===============================================================================
734.28/734.52	c |         0 |    7832     9477    41326 |     5000        0    nan |  0.000 % |
734.28/734.58	c |       100 |    7832     9477    41326 |     5500      100     30 |  0.128 % |
734.38/734.61	c |       250 |    7832     9477    41326 |     6050      250     27 |  0.128 % |
734.49/734.71	c |       476 |    7832     9477    41326 |     6655      476     29 |  0.128 % |
734.49/734.75	c |       815 |    7832     9477    41326 |     7320      815     29 |  0.128 % |
734.58/734.84	c |      1322 |    7832     9477    41326 |     8052     1322     34 |  0.128 % |
734.68/734.95	c |      2084 |    7832     9477    41326 |     8857     2084     33 |  0.128 % |
734.78/735.08	c |      3224 |    7832     9477    41326 |     9743     3224     34 |  0.128 % |
735.08/735.32	c |      4932 |    7832     9477    41326 |    10717     4932     38 |  0.128 % |
735.47/735.79	c |      7494 |    7832     9477    41326 |    11789     7494     44 |  0.128 % |
736.18/736.49	c |     11339 |    7832     9477    41326 |    12968    11339     46 |  0.128 % |
737.27/737.52	c |     17106 |    7830     9477    41326 |    14265    10226     43 |  0.153 % |
739.08/739.38	c |     25756 |    7829     9477    41326 |    15692    11525     54 |  0.179 % |
745.18/745.41	c |     38730 |    7828     9477    41326 |    17261     8578     64 |  0.179 % |
750.17/750.44	c |     58191 |    7828     9477    41326 |    18987    10427     60 |  0.179 % |
757.87/758.14	c |     87384 |    7826     9477    41326 |    20886    20222     61 |  0.204 % |
777.67/777.92	c |    131174 |    7822     9477    41326 |    22974    10871     52 |  0.255 % |
798.06/798.36	c |    196859 |    7820     9477    41326 |    25272    13248     94 |  0.281 % |
857.14/857.41	c |    295387 |    7820     9477    41326 |    27799    17112    130 |  0.281 % |
915.93/916.29	c |    443180 |    7820     9477    41326 |    30579    19540    118 |  0.281 % |
1024.59/1024.99	c |    664863 |    7820     9477    41326 |    33637    23647     94 |  0.281 % |

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

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


[startup+0 s]
/proc/loadavg: 1.04 1.03 0.94 3/106 28331
/proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=2940 CPUtime=0
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 86779669 3010560 250 1992294400 134512640 135752675 4287241888 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 735 250 139 303 0 382 0

[startup+0.014037 s]
/proc/loadavg: 1.04 1.03 0.94 3/106 28331
/proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=3076 CPUtime=0.01
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 362 0 0 0 1 0 0 0 20 0 1 0 86779669 3149824 280 1992294400 134512640 135752675 4287241888 18446744073709551615 135119029 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 769 280 149 303 0 416 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3076

[startup+0.101043 s]
/proc/loadavg: 1.04 1.03 0.94 3/106 28331
/proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=4212 CPUtime=0.09
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 760 0 0 0 9 0 0 0 20 0 1 0 86779669 4313088 630 1992294400 134512640 135752675 4287241888 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 1053 630 144 303 0 748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4212

[startup+0.301056 s]
/proc/loadavg: 1.04 1.03 0.94 3/106 28331
/proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=5620 CPUtime=0.29
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 1116 0 0 0 29 0 0 0 20 0 1 0 86779669 5754880 986 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 1405 986 145 303 0 1100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5620

[startup+0.701081 s]
/proc/loadavg: 1.04 1.03 0.94 3/106 28331
/proc/meminfo: memFree=1854760/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=9972 CPUtime=0.69
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 2195 0 0 0 67 2 0 0 21 0 1 0 86779669 10211328 2065 1992294400 134512640 135752675 4287241888 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 2493 2065 145 303 0 2188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9972

[startup+1.50113 s]
/proc/loadavg: 1.04 1.03 0.94 2/107 28332
/proc/meminfo: memFree=1843592/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=18664 CPUtime=1.49
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 4376 0 0 0 145 4 0 0 23 0 1 0 86779669 19111936 4246 1992294400 134512640 135752675 4287241888 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 4666 4246 145 303 0 4361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18664

[startup+3.10124 s]
/proc/loadavg: 1.04 1.03 0.94 2/107 28332
/proc/meminfo: memFree=1831812/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=33780 CPUtime=3.09
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 8143 0 0 0 302 7 0 0 25 0 1 0 86779669 34590720 8013 1992294400 134512640 135752675 4287241888 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 8445 8013 145 303 0 8140 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33780

[startup+6.30144 s]
/proc/loadavg: 1.04 1.03 0.94 2/107 28332
/proc/meminfo: memFree=1802920/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=61660 CPUtime=6.29
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 15099 0 0 0 616 13 0 0 25 0 1 0 86779669 63139840 14969 1992294400 134512640 135752675 4287241888 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 15415 14969 145 303 0 15110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61660

[startup+12.7009 s]
/proc/loadavg: 1.03 1.03 0.94 2/107 28332
/proc/meminfo: memFree=1749352/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=112536 CPUtime=12.69
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 27823 0 0 0 1246 23 0 0 25 0 1 0 86779669 115236864 27693 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 28134 27693 145 303 0 27829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 112536

[startup+25.5007 s]
/proc/loadavg: 1.03 1.03 0.94 2/107 28332
/proc/meminfo: memFree=1651020/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=208064 CPUtime=25.49
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 51724 0 0 0 2507 42 0 0 25 0 1 0 86779669 213057536 51594 1992294400 134512640 135752675 4287241888 18446744073709551615 134638100 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 52016 51594 145 303 0 51711 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 208064

[startup+51.1003 s]
/proc/loadavg: 1.02 1.02 0.94 2/107 28334
/proc/meminfo: memFree=1474692/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=385280 CPUtime=51.08
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 95992 0 0 0 5028 80 0 0 25 0 1 0 86779669 394526720 95862 1992294400 134512640 135752675 4287241888 18446744073709551615 134638875 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 96320 95862 145 303 0 96015 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 385280

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 0.94 2/107 28334
/proc/meminfo: memFree=1154276/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=701812 CPUtime=102.27
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 175134 0 0 0 10078 149 0 0 25 0 1 0 86779669 718655488 175004 1992294400 134512640 135752675 4287241888 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 175453 175004 145 303 0 175148 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 701812

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.94 2/107 28336
/proc/meminfo: memFree=851468/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1007312 CPUtime=162.24
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 251461 0 0 0 16011 213 0 0 25 0 1 0 86779669 1031487488 251331 1992294400 134512640 135752675 4287241888 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 251828 251331 145 303 0 251523 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1007312

[startup+222.3 s]
/proc/loadavg: 1.05 1.02 0.94 2/107 28338
/proc/meminfo: memFree=743340/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1111024 CPUtime=222.22
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 277474 0 0 0 21921 301 0 0 25 0 1 0 86779669 1137688576 277315 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 277756 277315 146 303 0 277451 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1111024

[startup+282.3 s]
/proc/loadavg: 1.02 1.02 0.94 2/107 28340
/proc/meminfo: memFree=707380/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1147440 CPUtime=282.2
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 286569 0 0 0 27848 372 0 0 25 0 1 0 86779669 1174978560 286410 1992294400 134512640 135752675 4287241888 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 286860 286410 146 303 0 286555 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1147440

[startup+342.3 s]
/proc/loadavg: 1.00 1.01 0.94 2/107 28340
/proc/meminfo: memFree=646000/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1208856 CPUtime=342.18
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 301894 0 0 0 33770 448 0 0 25 0 1 0 86779669 1237868544 301735 1992294400 134512640 135752675 4287241888 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 302214 301736 146 303 0 301909 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1208856

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 0.94 2/107 28342
/proc/meminfo: memFree=587844/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1267104 CPUtime=402.17
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 316425 0 0 0 39713 504 0 0 25 0 1 0 86779669 1297514496 316266 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 316776 316266 146 303 0 316471 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1267104

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/107 28344
/proc/meminfo: memFree=533036/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1321352 CPUtime=462.15
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 329954 0 0 0 45660 555 0 0 25 0 1 0 86779669 1353064448 329795 1992294400 134512640 135752675 4287241888 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 330338 329795 146 303 0 330033 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1321352

[startup+522.301 s]
/proc/loadavg: 1.05 1.01 0.95 2/107 28346
/proc/meminfo: memFree=484304/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1370668 CPUtime=522.14
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 342248 0 0 0 51608 606 0 0 25 0 1 0 86779669 1403564032 342089 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 342667 342089 146 303 0 342362 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1370668

[startup+582.301 s]
/proc/loadavg: 1.07 1.02 0.95 2/107 28348
/proc/meminfo: memFree=430488/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1424044 CPUtime=582.12
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 355586 0 0 0 57554 658 0 0 25 0 1 0 86779669 1458221056 355427 1992294400 134512640 135752675 4287241888 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 356011 355427 146 303 0 355706 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1424044

[startup+642.301 s]
/proc/loadavg: 1.11 1.05 0.96 2/107 28348
/proc/meminfo: memFree=387460/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1466688 CPUtime=642.11
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 366190 0 0 0 63516 695 0 0 25 0 1 0 86779669 1501888512 366031 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 366672 366031 146 303 0 366367 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1466688

[startup+702.3 s]
/proc/loadavg: 1.04 1.04 0.96 2/107 28350
/proc/meminfo: memFree=339100/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1515408 CPUtime=702.09
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 378372 0 0 0 69471 738 0 0 25 0 1 0 86779669 1551777792 378213 1992294400 134512640 135752675 4287241888 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 378852 378213 146 303 0 378547 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1515408

[startup+762.308 s]
/proc/loadavg: 1.01 1.03 0.96 2/107 28352
/proc/meminfo: memFree=305620/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1547892 CPUtime=762.08
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 386593 0 0 0 75413 795 0 0 25 0 1 0 86779669 1585041408 386346 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 386973 386346 146 303 0 386668 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1547892

[startup+822.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/107 28354
/proc/meminfo: memFree=279332/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1574284 CPUtime=822.06
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 393340 0 0 0 81356 850 0 0 25 0 1 0 86779669 1612066816 393093 1992294400 134512640 135752675 4287241888 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 393571 393093 146 303 0 393266 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1574284

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/107 28356
/proc/meminfo: memFree=237172/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1616084 CPUtime=882.03
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 403757 0 0 0 87311 892 0 0 25 0 1 0 86779669 1654870016 403510 1992294400 134512640 135752675 4287241888 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 404021 403510 146 303 0 403716 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 1616084

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/107 28356
/proc/meminfo: memFree=194392/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1659320 CPUtime=942.02
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 414523 0 0 0 93261 941 0 0 25 0 1 0 86779669 1699143680 414276 1992294400 134512640 135752675 4287241888 18446744073709551615 134642701 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 414830 414276 146 303 0 414525 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1659320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28358
/proc/meminfo: memFree=154092/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1699192 CPUtime=1002
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 424483 0 0 0 99206 994 0 0 25 0 1 0 86779669 1739972608 424236 1992294400 134512640 135752675 4287241888 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 424798 424236 146 303 0 424493 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1699192

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28360
/proc/meminfo: memFree=106600/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1746880 CPUtime=1061.99
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 436373 0 0 0 105161 1038 0 0 25 0 1 0 86779669 1788805120 436126 1992294400 134512640 135752675 4287241888 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 436720 436126 146 303 0 436415 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1746880

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28362
/proc/meminfo: memFree=56380/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1797100 CPUtime=1121.97
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 448889 0 0 0 111111 1086 0 0 25 0 1 0 86779669 1840230400 448642 1992294400 134512640 135752675 4287241888 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 449275 448642 146 303 0 448970 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1797100



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1168.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28362
/proc/meminfo: memFree=9756/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=1843268 CPUtime=1167.78
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4202496 460397 0 0 0 115648 1130 0 0 25 0 1 0 86779669 1887506432 460150 1992294400 134512640 135752675 4287241888 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28331/statm: 460817 460150 146 303 0 460512 0
Current children cumulated CPU time (s) 1167.78
Current children cumulated vsize (KiB) 1843268

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

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

[startup+1168.22 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 28362
/proc/meminfo: memFree=9756/2059040 swapFree=4140556/4192956
[pid=28331] ppid=28329 vsize=0 CPUtime=1167.88
/proc/28331/stat : 28331 (wbo1.4b) R 28329 28331 28100 0 -1 4203524 460397 0 0 0 115648 1140 0 0 25 0 1 0 86779669 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28331/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1167.88
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1168.29
CPU time (s): 1167.96
CPU user time (s): 1156.48
CPU system time (s): 11.4733
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1843268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1156.48
system time used= 11.4733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460397
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= 57
involuntary context switches= 14171

runsolver used 2.11868 second user time and 5.38418 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-25 10:34:03
IDJOB=2680547
IDBENCH=2209
IDSOLVER=1190
FILE ID=node030/2680547-1277454843
PBS_JOBID= 11188135
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-ii8e2.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680547-1277454843/watcher-2680547-1277454843 -o /tmp/evaluation-result-2680547-1277454843/solver-2680547-1277454843 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680547-1277454843.opb

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

MD5SUM BENCH= 6af59dd0656451189b30414ce106135b
RANDOM SEED=1779119596

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
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.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855288 kB
Buffers:         24016 kB
Cached:          74768 kB
SwapCached:       5752 kB
Active:          25548 kB
Inactive:        86984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855288 kB
SwapTotal:     4192956 kB
SwapFree:      4140556 kB
Dirty:            2884 kB
Writeback:           0 kB
AnonPages:       11992 kB
Mapped:          12288 kB
Slab:            69008 kB
PageTables:       4208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181792 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 node030 at 2010-06-25 10:53:33