Trace number 2680623

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) 885.806 886.082

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8b3.opb
MD5SUM192e079d91d386374bed5b6f1f3b1921
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark507
Best CPU time to get the best result obtained on this benchmark21.6037
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 507
Optimality of the best value was proved NO
Number of variables1632
Total number of constraints6924
Number of constraints which are clauses6924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 1632
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 1632
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 1632
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-2680623-1277453520.opb.
0.00/0.00	c Instance file HOME/instance-2680623-1277453520.opb
0.00/0.00	c File size is 185568 bytes.
0.00/0.02	c Highest Coefficient sum: 9
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.03         s                                      |
0.00/0.02	c |  Number Variables:      1632                                                |
0.00/0.02	c |  Number Clauses:        6924                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    1632     6924    15408 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 669
0.09/0.12	o 669
0.09/0.12	c Elapsed CPU time: 0.116982 s	Remaining CPU time: 179.883 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         4 |    1632     6925    17040 |     5000        4     10 |  0.000 % |
0.09/0.14	c |       106 |    1632     6925    17040 |     5500      106    586 |  0.000 % |
0.09/0.17	c |       256 |    1632     6925    17040 |     6050      256    631 |  0.004 % |
0.19/0.22	c |       481 |    1632     6925    17040 |     6655      481    650 |  0.003 % |
0.29/0.30	c |       818 |    1632     6925    17040 |     7320      818    661 |  0.004 % |
0.39/0.44	c |      1325 |    1632     6925    17040 |     8052     1325    664 |  0.005 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 639
0.39/0.44	o 639
0.39/0.44	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 179.567 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |      1327 |    1632     6926    18672 |     5000     1327    663 |  0.005 % |
0.39/0.46	c |      1428 |    1632     6926    18672 |     5500     1428    662 |  0.005 % |
0.50/0.50	c |      1578 |    1632     6926    18672 |     6050     1578    659 |  0.005 % |
0.50/0.56	c |      1803 |    1632     6926    18672 |     6655     1803    657 |  0.004 % |
0.59/0.64	c |      2141 |    1632     6926    18672 |     7320     2141    655 |  0.003 % |
0.70/0.77	c |      2647 |    1632     6926    18672 |     8052     2647    652 |  0.004 % |
0.70/0.77	c ===============================================================================
0.70/0.77	c New solution: 594
0.70/0.77	o 594
0.70/0.77	c Elapsed CPU time: 0.752885 s	Remaining CPU time: 179.247 s
0.70/0.77	c ===============================================================================
0.70/0.77	c |      2648 |    1632     6927    20304 |     5000     2648    652 |  0.004 % |
0.70/0.77	c ===============================================================================
0.70/0.77	c New solution: 588
0.70/0.77	o 588
0.70/0.77	c Elapsed CPU time: 0.756884 s	Remaining CPU time: 179.243 s
0.70/0.77	c ===============================================================================
0.70/0.77	c |      2648 |    1632     6928    21936 |     5000     2648    652 |  0.004 % |
0.79/0.80	c |      2749 |    1632     6928    21936 |     5500     2749    649 |  0.001 % |
0.79/0.84	c |      2900 |    1632     6928    21936 |     6050     2900    647 |  0.003 % |
0.89/0.90	c |      3127 |    1632     6928    21936 |     6655     3127    636 |  0.006 % |
0.89/0.99	c |      3465 |    1632     6928    21936 |     7320     3465    632 |  0.005 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: 573
0.89/0.99	o 573
0.89/0.99	c Elapsed CPU time: 0.968852 s	Remaining CPU time: 179.031 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |      3465 |    1632     6929    23568 |     5000     3465    632 |  0.005 % |
1.00/1.01	c |      3566 |    1632     6929    23568 |     5500     3566    630 |  0.001 % |
1.00/1.06	c |      3716 |    1632     6929    23568 |     6050     3716    626 |  0.005 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: 520
1.00/1.10	o 520
1.00/1.10	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 178.925 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |      3811 |    1632     6930    25200 |     5000     3811    623 |  0.005 % |
1.09/1.13	c |      3912 |    1632     6930    25200 |     5500     3912    619 |  0.007 % |
1.09/1.18	c |      4062 |    1632     6930    25200 |     6050     4062    614 |  0.001 % |
1.19/1.26	c |      4288 |    1632     6930    25200 |     6655     4288    607 |  0.001 % |
1.29/1.34	c |      4626 |    1632     6930    25200 |     7320     4626    601 |  0.004 % |
1.39/1.48	c |      5132 |    1632     6930    25200 |     8052     5132    594 |  0.007 % |
1.69/1.71	c |      5892 |    1632     6930    25200 |     8857     5892    584 |  0.001 % |
1.99/2.04	c |      7031 |    1632     6930    25200 |     9743     7031    573 |  0.001 % |
2.49/2.55	c |      8740 |    1632     6930    25200 |    10717     8740    563 |  0.004 % |
3.39/3.40	c |     11302 |    1632     6930    25200 |    11789    11302    549 |  0.006 % |
4.90/5.00	c |     15146 |    1632     6930    25200 |    12968     8904    506 |  0.000 % |
6.79/6.81	c |     20913 |    1632     6930    25200 |    14265     7561    502 |  0.001 % |
9.99/10.02	c |     29562 |    1632     6930    25200 |    15692     8667    484 |  0.000 % |
14.49/14.51	c |     42537 |    1632     6930    25200 |    17261    13127    514 |  0.000 % |
22.88/22.90	c |     61999 |    1632     6930    25200 |    18987    14433    512 |  0.000 % |
34.88/34.99	c |     91192 |    1632     6930    25200 |    20886    13217    520 |  0.004 % |
54.48/54.54	c |    134982 |    1632     6930    25200 |    22974    12911    503 |  0.000 % |
87.07/87.17	c |    200667 |    1632     6930    25200 |    25272    12418    521 |  0.006 % |
139.66/139.75	c |    299194 |    1632     6930    25200 |    27799    18767    521 |  0.006 % |
182.14/182.23	c There are 0 assigned variables. 0 in cost function.
183.34/183.44	c core #1
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 1
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #2
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 2
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #3
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 3
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #4
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 4
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #5
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 5
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #6
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 6
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #7
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 7
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #8
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 8
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #9
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 9
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #10
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 10
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #11
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 11
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #12
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 12
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #13
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 13
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #14
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 14
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #15
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 15
183.34/183.44	c
183.34/183.44	c
183.34/183.44	c core #16
183.34/183.44	c 
183.34/183.44	c 
183.34/183.44	c Core size: 3	Core Weight: 1	Total Weight: 16
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #17
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 17
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #18
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 18
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #19
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 19
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #20
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 20
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #21
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 21
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #22
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 22
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #23
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 23
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #24
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 24
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #25
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 25
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #26
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 26
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #27
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 27
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #28
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 28
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #29
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 29
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #30
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 30
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #31
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 31
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #32
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 32
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #33
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 33
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #34
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 34
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #35
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 35
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #36
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 36
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #37
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 37
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #38
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 38
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #39
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 39
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #40
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 40
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #41
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 41
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #42
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 42
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #43
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 43
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #44
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 44
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #45
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 45
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #46
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 46
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #47
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 47
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #48
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 3	Core Weight: 1	Total Weight: 48
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #49
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 49
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #50
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 50
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #51
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 51
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #52
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 52
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #53
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 53
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #54
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 9	Core Weight: 1	Total Weight: 54
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #55
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 55
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #56
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 56
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #57
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 57
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #58
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 58
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #59
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 59
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #60
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 60
183.34/183.45	c
183.34/183.45	c
183.34/183.45	c core #61
183.34/183.45	c 
183.34/183.45	c 
183.34/183.45	c Core size: 7	Core Weight: 1	Total Weight: 61
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #62
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 62
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #63
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 63
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #64
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 64
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #65
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 65
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #66
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 66
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #67
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 67
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #68
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 68
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #69
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 69
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #70
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 70
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #71
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 71
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #72
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 72
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #73
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 73
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #74
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 74
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #75
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 75
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #76
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 76
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #77
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 77
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #78
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 78
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #79
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 79
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #80
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 80
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #81
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 81
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #82
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 82
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #83
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 83
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #84
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 84
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #85
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 85
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #86
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 86
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #87
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 87
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #88
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 88
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #89
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 89
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #90
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 90
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #91
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 91
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #92
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 92
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #93
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 93
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #94
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 94
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #95
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 95
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #96
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 96
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #97
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 97
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #98
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 98
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #99
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 99
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #100
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 100
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #101
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 101
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #102
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 102
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #103
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 103
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #104
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 104
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #105
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 105
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #106
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 106
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #107
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 107
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #108
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 108
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #109
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 109
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #110
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 110
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #111
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 111
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #112
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 112
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #113
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 113
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #114
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 114
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #115
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 115
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #116
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 116
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #117
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 117
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #118
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 118
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #119
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 119
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #120
184.24/184.34	c 
184.24/184.34	c 
184.24/184.34	c Core size: 7	Core Weight: 1	Total Weight: 120
184.24/184.34	c
184.24/184.34	c
184.24/184.34	c core #121
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 121
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #122
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 122
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #123
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 123
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #124
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 124
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #125
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 125
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #126
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 126
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #127
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 127
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #128
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 128
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #129
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 129
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #130
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 130
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #131
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 131
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #132
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 132
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #133
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 133
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #134
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 134
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #135
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 135
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #136
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 136
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #137
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 137
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #138
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 138
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #139
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 139
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #140
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 140
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #141
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 141
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #142
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 142
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #143
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 143
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #144
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 144
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #145
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 145
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #146
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 146
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #147
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 147
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #148
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 148
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #149
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 149
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #150
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 150
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #151
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 151
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #152
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 152
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #153
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 153
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #154
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 154
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #155
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 155
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #156
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 156
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #157
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 157
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #158
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 158
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #159
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 159
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #160
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 160
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #161
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 161
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #162
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 162
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #163
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 163
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #164
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 164
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #165
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 165
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #166
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 166
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #167
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 167
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #168
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 168
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #169
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 169
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #170
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 170
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #171
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 171
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #172
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 172
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #173
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 173
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #174
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 7	Core Weight: 1	Total Weight: 174
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #175
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 13	Core Weight: 1	Total Weight: 175
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #176
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 22	Core Weight: 1	Total Weight: 176
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #177
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 22	Core Weight: 1	Total Weight: 177
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #178
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 21	Core Weight: 1	Total Weight: 178
185.14/185.29	c
185.14/185.29	c
185.14/185.29	c core #179
185.14/185.29	c 
185.14/185.29	c 
185.14/185.29	c Core size: 22	Core Weight: 1	Total Weight: 179
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #180
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 180
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #181
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 181
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #182
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 182
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #183
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 183
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #184
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 184
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #185
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 185
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #186
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 186
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #187
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 187
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #188
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 188
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #189
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 189
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #190
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 190
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #191
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 191
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #192
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 192
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #193
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 193
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #194
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 194
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #195
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 19	Core Weight: 1	Total Weight: 195
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #196
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 196
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #197
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 197
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #198
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 198
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #199
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 199
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #200
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 200
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #201
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 201
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #202
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 202
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #203
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 203
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #204
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 13	Core Weight: 1	Total Weight: 204
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #205
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 205
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #206
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 206
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #207
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 207
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #208
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 208
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #209
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 209
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #210
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 210
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #211
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 211
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #212
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 212
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #213
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 213
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #214
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 214
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #215
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 215
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #216
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 216
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #217
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 217
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #218
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 218
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #219
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 219
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #220
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 220
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #221
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 221
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #222
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 222
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #223
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 20	Core Weight: 1	Total Weight: 223
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #224
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 19	Core Weight: 1	Total Weight: 224
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #225
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 225
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #226
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 226
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #227
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 227
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #228
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 228
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #229
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 229
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #230
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 230
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #231
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 231
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #232
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 232
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #233
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 13	Core Weight: 1	Total Weight: 233
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #234
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 234
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #235
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 22	Core Weight: 1	Total Weight: 235
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #236
186.34/186.41	c 
186.34/186.41	c 
186.34/186.41	c Core size: 21	Core Weight: 1	Total Weight: 236
186.34/186.41	c
186.34/186.41	c
186.34/186.41	c core #237
186.34/186.41	c 
186.34/186.41	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 237
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #238
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 238
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #239
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 239
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #240
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 240
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #241
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 241
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #242
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 242
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #243
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 243
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #244
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 244
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #245
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 245
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #246
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 246
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #247
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 247
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #248
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 248
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #249
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 249
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #250
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 250
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #251
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 251
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #252
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 252
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #253
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 19	Core Weight: 1	Total Weight: 253
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #254
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 254
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #255
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 255
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #256
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 256
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #257
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 257
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #258
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 258
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #259
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 259
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #260
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 260
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #261
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 261
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #262
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 13	Core Weight: 1	Total Weight: 262
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #263
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 263
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #264
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 264
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #265
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 265
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #266
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 266
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #267
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 267
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #268
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 268
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #269
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 269
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #270
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 270
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #271
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 271
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #272
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 272
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #273
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 273
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #274
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 274
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #275
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 275
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #276
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 276
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #277
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 277
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #278
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 278
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #279
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 279
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #280
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 280
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #281
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 20	Core Weight: 1	Total Weight: 281
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #282
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 19	Core Weight: 1	Total Weight: 282
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #283
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 283
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #284
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 284
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #285
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 285
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #286
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 286
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #287
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 287
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #288
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 288
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #289
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 289
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #290
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 290
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #291
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 13	Core Weight: 1	Total Weight: 291
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #292
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 292
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #293
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 22	Core Weight: 1	Total Weight: 293
187.33/187.45	c
187.33/187.45	c
187.33/187.45	c core #294
187.33/187.45	c 
187.33/187.45	c 
187.33/187.45	c Core size: 21	Core Weight: 1	Total Weight: 294
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #295
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 22	Core Weight: 1	Total Weight: 295
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #296
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 22	Core Weight: 1	Total Weight: 296
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #297
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 22	Core Weight: 1	Total Weight: 297
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #298
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 22	Core Weight: 1	Total Weight: 298
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #299
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 21	Core Weight: 1	Total Weight: 299
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #300
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 300
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #301
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 301
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #302
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 302
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #303
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 22	Core Weight: 1	Total Weight: 303
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #304
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 304
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #305
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 305
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #306
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 21	Core Weight: 1	Total Weight: 306
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #307
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 21	Core Weight: 1	Total Weight: 307
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #308
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 21	Core Weight: 1	Total Weight: 308
188.54/188.62	c
188.54/188.62	c
188.54/188.62	c core #309
188.54/188.62	c 
188.54/188.62	c 
188.54/188.62	c Core size: 20	Core Weight: 1	Total Weight: 309
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #310
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 310
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #311
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 19	Core Weight: 1	Total Weight: 311
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #312
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 312
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #313
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 313
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #314
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 314
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #315
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 315
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #316
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 316
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #317
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 317
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #318
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 318
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #319
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 319
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #320
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 13	Core Weight: 1	Total Weight: 320
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #321
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 321
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #322
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 322
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #323
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 323
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #324
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 324
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #325
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 325
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #326
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 326
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #327
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 327
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #328
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 328
188.54/188.63	c
188.54/188.63	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: 20	Core Weight: 1	Total Weight: 329
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #330
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 330
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #331
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 331
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #332
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 332
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #333
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 333
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #334
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 334
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #335
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 335
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #336
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 336
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #337
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 337
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #338
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 338
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #339
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 20	Core Weight: 1	Total Weight: 339
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #340
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 19	Core Weight: 1	Total Weight: 340
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #341
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 341
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #342
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 342
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #343
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 343
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #344
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 344
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #345
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 345
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #346
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 346
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #347
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 22	Core Weight: 1	Total Weight: 347
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #348
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 21	Core Weight: 1	Total Weight: 348
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #349
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 121	Core Weight: 1	Total Weight: 349
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #350
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 7	Core Weight: 1	Total Weight: 350
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #351
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 7	Core Weight: 1	Total Weight: 351
188.54/188.63	c
188.54/188.63	c
188.54/188.63	c core #352
188.54/188.63	c 
188.54/188.63	c 
188.54/188.63	c Core size: 7	Core Weight: 1	Total Weight: 352
188.64/188.79	c
188.64/188.79	c
188.64/188.79	c core #353
188.64/188.79	c 
188.64/188.79	c 
188.64/188.79	c Core size: 7	Core Weight: 1	Total Weight: 353
188.64/188.79	c
188.64/188.79	c
188.64/188.79	c core #354
188.64/188.79	c 
188.64/188.79	c 
188.64/188.79	c Core size: 603	Core Weight: 1	Total Weight: 354
188.64/188.79	c
188.64/188.79	c
188.64/188.79	c core #355
188.64/188.79	c 
188.64/188.79	c 
188.64/188.79	c Core size: 60	Core Weight: 1	Total Weight: 355
188.64/188.79	c
188.64/188.79	c
188.64/188.79	c core #356
188.64/188.79	c 
188.64/188.79	c 
188.64/188.79	c Core size: 10	Core Weight: 1	Total Weight: 356
188.64/188.79	c
188.64/188.79	c
188.64/188.79	c ============================[ Search Statistics ]==============================
188.64/188.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.79	c ===============================================================================
188.64/188.79	c |         0 |    3306     9252    30929 |     5000        0    nan |  0.000 % |
188.74/188.80	c ===============================================================================
188.74/188.82	c core #357
188.74/188.82	c 
188.74/188.82	c 
188.74/188.82	c Core size: 15	Core Weight: 1	Total Weight: 357
188.74/188.82	c
188.74/188.82	c
188.74/188.82	c ============================[ Search Statistics ]==============================
188.74/188.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.82	c ===============================================================================
188.74/188.82	c |         0 |    3314     9253    30945 |     5000        0    nan |  0.000 % |
188.74/188.83	c ===============================================================================
188.74/188.86	c core #358
188.74/188.86	c 
188.74/188.86	c 
188.74/188.86	c Core size: 8	Core Weight: 1	Total Weight: 358
188.74/188.86	c
188.74/188.86	c
188.74/188.86	c ============================[ Search Statistics ]==============================
188.74/188.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.86	c ===============================================================================
188.74/188.86	c |         0 |    3318     9254    30953 |     5000        0    nan |  0.000 % |
188.74/188.86	c ===============================================================================
188.74/188.89	c core #359
188.74/188.89	c 
188.74/188.89	c 
188.74/188.89	c Core size: 15	Core Weight: 1	Total Weight: 359
188.74/188.89	c
188.74/188.89	c
188.74/188.89	c ============================[ Search Statistics ]==============================
188.74/188.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.89	c ===============================================================================
188.74/188.89	c |         0 |    3325     9255    30967 |     5000        0    nan |  0.000 % |
188.84/188.90	c ===============================================================================
188.84/188.92	c core #360
188.84/188.92	c 
188.84/188.92	c 
188.84/188.92	c Core size: 14	Core Weight: 1	Total Weight: 360
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 |    3333     9256    30983 |     5000        0    nan |  0.000 % |
188.84/188.93	c ===============================================================================
188.84/188.96	c core #361
188.84/188.96	c 
188.84/188.96	c 
188.84/188.96	c Core size: 11	Core Weight: 1	Total Weight: 361
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 |    3341     9257    30999 |     5000        0    nan |  0.000 % |
188.84/188.97	c ===============================================================================
188.84/188.99	c core #362
188.84/188.99	c 
188.84/188.99	c 
188.84/188.99	c Core size: 12	Core Weight: 1	Total Weight: 362
188.84/188.99	c
188.84/188.99	c
188.84/188.99	c ============================[ Search Statistics ]==============================
188.84/188.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.84/188.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.84/188.99	c ===============================================================================
188.84/188.99	c |         0 |    3348     9258    31013 |     5000        0    nan |  0.000 % |
188.94/189.00	c ===============================================================================
188.94/189.03	c core #363
188.94/189.03	c 
188.94/189.03	c 
188.94/189.03	c Core size: 10	Core Weight: 1	Total Weight: 363
188.94/189.03	c
188.94/189.03	c
188.94/189.03	c ============================[ Search Statistics ]==============================
188.94/189.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.03	c ===============================================================================
188.94/189.03	c |         0 |    3354     9259    31025 |     5000        0    nan |  0.000 % |
188.94/189.03	c ===============================================================================
188.94/189.06	c core #364
188.94/189.06	c 
188.94/189.06	c 
188.94/189.06	c Core size: 8	Core Weight: 1	Total Weight: 364
188.94/189.06	c
188.94/189.06	c
188.94/189.06	c ============================[ Search Statistics ]==============================
188.94/189.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.06	c ===============================================================================
188.94/189.06	c |         0 |    3358     9260    31033 |     5000        0    nan |  0.000 % |
188.94/189.07	c ===============================================================================
188.94/189.10	c core #365
188.94/189.10	c 
188.94/189.10	c 
188.94/189.10	c Core size: 14	Core Weight: 1	Total Weight: 365
188.94/189.10	c
188.94/189.10	c
188.94/189.10	c ============================[ Search Statistics ]==============================
188.94/189.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.10	c ===============================================================================
188.94/189.10	c |         0 |    3366     9261    31049 |     5000        0    nan |  0.000 % |
189.05/189.11	c ===============================================================================
189.05/189.13	c core #366
189.05/189.13	c 
189.05/189.13	c 
189.05/189.13	c Core size: 12	Core Weight: 1	Total Weight: 366
189.05/189.13	c
189.05/189.13	c
189.05/189.13	c ============================[ Search Statistics ]==============================
189.05/189.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.05/189.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.05/189.13	c ===============================================================================
189.05/189.13	c |         0 |    3373     9262    31063 |     5000        0    nan |  0.000 % |
189.05/189.14	c ===============================================================================
189.05/189.17	c core #367
189.05/189.17	c 
189.05/189.17	c 
189.05/189.17	c Core size: 12	Core Weight: 1	Total Weight: 367
189.05/189.17	c
189.05/189.17	c
189.05/189.17	c ============================[ Search Statistics ]==============================
189.05/189.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.05/189.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.05/189.17	c ===============================================================================
189.05/189.17	c |         0 |    3380     9263    31077 |     5000        0    nan |  0.000 % |
189.05/189.18	c ===============================================================================
189.15/189.21	c core #368
189.15/189.21	c 
189.15/189.21	c 
189.15/189.21	c Core size: 26	Core Weight: 1	Total Weight: 368
189.15/189.21	c
189.15/189.21	c
189.15/189.21	c ============================[ Search Statistics ]==============================
189.15/189.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.15/189.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.15/189.21	c ===============================================================================
189.15/189.21	c |         0 |    3390     9264    31097 |     5000        0    nan |  0.000 % |
189.15/189.22	c ===============================================================================
189.15/189.25	c core #369
189.15/189.25	c 
189.15/189.25	c 
189.15/189.25	c Core size: 10	Core Weight: 1	Total Weight: 369
189.15/189.25	c
189.15/189.25	c
189.15/189.25	c ============================[ Search Statistics ]==============================
189.15/189.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.15/189.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.15/189.25	c ===============================================================================
189.15/189.25	c |         0 |    3396     9265    31109 |     5000        0    nan |  0.000 % |
189.15/189.26	c ===============================================================================
189.15/189.28	c core #370
189.15/189.28	c 
189.15/189.28	c 
189.15/189.28	c Core size: 10	Core Weight: 1	Total Weight: 370
189.15/189.28	c
189.15/189.28	c
189.15/189.28	c ============================[ Search Statistics ]==============================
189.15/189.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.15/189.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.15/189.28	c ===============================================================================
189.15/189.28	c |         0 |    3402     9266    31121 |     5000        0    nan |  0.000 % |
189.15/189.29	c ===============================================================================
189.24/189.32	c core #371
189.24/189.32	c 
189.24/189.32	c 
189.24/189.32	c Core size: 24	Core Weight: 1	Total Weight: 371
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 |    3413     9267    31143 |     5000        0    nan |  0.000 % |
189.24/189.33	c ===============================================================================
189.24/189.36	c core #372
189.24/189.36	c 
189.24/189.36	c 
189.24/189.36	c Core size: 23	Core Weight: 1	Total Weight: 372
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 |    3426     9268    31169 |     5000        0    nan |  0.000 % |
189.24/189.37	c ===============================================================================
189.34/189.40	c core #373
189.34/189.40	c 
189.34/189.40	c 
189.34/189.40	c Core size: 10	Core Weight: 1	Total Weight: 373
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 |    3432     9270    31184 |     5000        0    nan |  0.000 % |
189.34/189.41	c ===============================================================================
189.34/189.44	c core #374
189.34/189.44	c 
189.34/189.44	c 
189.34/189.44	c Core size: 22	Core Weight: 1	Total Weight: 374
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 |    3438     9272    31199 |     5000        0    nan |  0.000 % |
189.34/189.45	c ===============================================================================
189.34/189.48	c core #375
189.34/189.48	c 
189.34/189.48	c 
189.34/189.48	c Core size: 22	Core Weight: 1	Total Weight: 375
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 |    3451     9273    31225 |     5000        0    nan |  0.000 % |
189.34/189.49	c ===============================================================================
189.44/189.52	c core #376
189.44/189.52	c 
189.44/189.52	c 
189.44/189.52	c Core size: 27	Core Weight: 1	Total Weight: 376
189.44/189.52	c
189.44/189.52	c
189.44/189.52	c ============================[ Search Statistics ]==============================
189.44/189.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.44/189.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.44/189.52	c ===============================================================================
189.44/189.52	c |         0 |    3460     9274    31243 |     5000        0    nan |  0.000 % |
189.44/189.53	c ===============================================================================
189.44/189.56	c core #377
189.44/189.56	c 
189.44/189.56	c 
189.44/189.56	c Core size: 8	Core Weight: 1	Total Weight: 377
189.44/189.56	c
189.44/189.56	c
189.44/189.56	c ============================[ Search Statistics ]==============================
189.44/189.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.44/189.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.44/189.56	c ===============================================================================
189.44/189.56	c |         0 |    3464     9275    31251 |     5000        0    nan |  0.000 % |
189.44/189.57	c ===============================================================================
189.44/189.60	c core #378
189.44/189.60	c 
189.44/189.60	c 
189.44/189.60	c Core size: 8	Core Weight: 1	Total Weight: 378
189.44/189.60	c
189.44/189.60	c
189.44/189.60	c ============================[ Search Statistics ]==============================
189.44/189.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.44/189.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.44/189.60	c ===============================================================================
189.44/189.60	c |         0 |    3468     9276    31259 |     5000        0    nan |  0.000 % |
189.54/189.61	c ===============================================================================
189.54/189.64	c core #379
189.54/189.64	c 
189.54/189.64	c 
189.54/189.64	c Core size: 33	Core Weight: 1	Total Weight: 379
189.54/189.64	c
189.54/189.64	c
189.54/189.64	c ============================[ Search Statistics ]==============================
189.54/189.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.54/189.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.54/189.64	c ===============================================================================
189.54/189.64	c |         0 |    3493     9277    31309 |     5000        0    nan |  0.000 % |
189.54/189.65	c ===============================================================================
189.54/189.68	c core #380
189.54/189.68	c 
189.54/189.68	c 
189.54/189.68	c Core size: 10	Core Weight: 1	Total Weight: 380
189.54/189.68	c
189.54/189.68	c
189.54/189.68	c ============================[ Search Statistics ]==============================
189.54/189.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.54/189.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.54/189.68	c ===============================================================================
189.54/189.68	c |         0 |    3498     9278    31319 |     5000        0    nan |  0.000 % |
189.54/189.69	c ===============================================================================
189.64/189.72	c core #381
189.64/189.72	c 
189.64/189.72	c 
189.64/189.72	c Core size: 8	Core Weight: 1	Total Weight: 381
189.64/189.72	c
189.64/189.72	c
189.64/189.72	c ============================[ Search Statistics ]==============================
189.64/189.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.64/189.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.64/189.72	c ===============================================================================
189.64/189.72	c |         0 |    3502     9279    31327 |     5000        0    nan |  0.000 % |
189.64/189.73	c ===============================================================================
189.64/189.76	c core #382
189.64/189.76	c 
189.64/189.76	c 
189.64/189.76	c Core size: 27	Core Weight: 1	Total Weight: 382
189.64/189.76	c
189.64/189.76	c
189.64/189.76	c ============================[ Search Statistics ]==============================
189.64/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.64/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.64/189.76	c ===============================================================================
189.64/189.76	c |         0 |    3517     9280    31357 |     5000        0    nan |  0.000 % |
189.64/189.77	c ===============================================================================
189.74/189.80	c core #383
189.74/189.80	c 
189.74/189.80	c 
189.74/189.80	c Core size: 8	Core Weight: 1	Total Weight: 383
189.74/189.80	c
189.74/189.80	c
189.74/189.80	c ============================[ Search Statistics ]==============================
189.74/189.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.80	c ===============================================================================
189.74/189.80	c |         0 |    3521     9281    31365 |     5000        0    nan |  0.000 % |
189.74/189.81	c ===============================================================================
189.74/189.84	c core #384
189.74/189.84	c 
189.74/189.84	c 
189.74/189.84	c Core size: 13	Core Weight: 1	Total Weight: 384
189.74/189.84	c
189.74/189.84	c
189.74/189.84	c ============================[ Search Statistics ]==============================
189.74/189.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.84	c ===============================================================================
189.74/189.84	c |         0 |    3529     9282    31381 |     5000        0    nan |  0.000 % |
189.74/189.85	c ===============================================================================
189.74/189.88	c core #385
189.74/189.88	c 
189.74/189.88	c 
189.74/189.88	c Core size: 8	Core Weight: 1	Total Weight: 385
189.74/189.88	c
189.74/189.88	c
189.74/189.88	c ============================[ Search Statistics ]==============================
189.74/189.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.88	c ===============================================================================
189.74/189.88	c |         0 |    3533     9283    31389 |     5000        0    nan |  0.000 % |
189.74/189.89	c ===============================================================================
189.84/189.92	c core #386
189.84/189.92	c 
189.84/189.92	c 
189.84/189.92	c Core size: 10	Core Weight: 1	Total Weight: 386
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 |    3539     9284    31401 |     5000        0    nan |  0.000 % |
189.84/189.93	c ===============================================================================
189.84/189.96	c core #387
189.84/189.96	c 
189.84/189.96	c 
189.84/189.96	c Core size: 28	Core Weight: 1	Total Weight: 387
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 |    3547     9285    31417 |     5000        0    nan |  0.000 % |
189.84/189.97	c ===============================================================================
189.94/190.00	c core #388
189.94/190.00	c 
189.94/190.00	c 
189.94/190.00	c Core size: 8	Core Weight: 1	Total Weight: 388
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 |    3551     9286    31425 |     5000        0    nan |  0.000 % |
189.94/190.01	c ===============================================================================
189.94/190.04	c core #389
189.94/190.04	c 
189.94/190.04	c 
189.94/190.04	c Core size: 14	Core Weight: 1	Total Weight: 389
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 |    3559     9287    31441 |     5000        0    nan |  0.000 % |
189.94/190.05	c ===============================================================================
189.94/190.08	c core #390
189.94/190.08	c 
189.94/190.08	c 
189.94/190.08	c Core size: 10	Core Weight: 1	Total Weight: 390
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 |    3565     9288    31453 |     5000        0    nan |  0.000 % |
189.94/190.09	c ===============================================================================
190.04/190.12	c core #391
190.04/190.12	c 
190.04/190.12	c 
190.04/190.12	c Core size: 25	Core Weight: 1	Total Weight: 391
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 |    3572     9289    31467 |     5000        0    nan |  0.000 % |
190.04/190.13	c ===============================================================================
190.04/190.16	c core #392
190.04/190.16	c 
190.04/190.16	c 
190.04/190.16	c Core size: 10	Core Weight: 1	Total Weight: 392
190.04/190.16	c
190.04/190.16	c
190.04/190.16	c ============================[ Search Statistics ]==============================
190.04/190.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.16	c ===============================================================================
190.04/190.16	c |         0 |    3578     9290    31479 |     5000        0    nan |  0.000 % |
190.04/190.18	c ===============================================================================
190.14/190.21	c core #393
190.14/190.21	c 
190.14/190.21	c 
190.14/190.21	c Core size: 23	Core Weight: 1	Total Weight: 393
190.14/190.21	c
190.14/190.21	c
190.14/190.21	c ============================[ Search Statistics ]==============================
190.14/190.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.21	c ===============================================================================
190.14/190.21	c |         0 |    3583     9291    31489 |     5000        0    nan |  0.000 % |
190.14/190.22	c ===============================================================================
190.14/190.25	c core #394
190.14/190.25	c 
190.14/190.25	c 
190.14/190.25	c Core size: 13	Core Weight: 1	Total Weight: 394
190.14/190.25	c
190.14/190.25	c
190.14/190.25	c ============================[ Search Statistics ]==============================
190.14/190.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.25	c ===============================================================================
190.14/190.25	c |         0 |    3588     9292    31499 |     5000        0    nan |  0.000 % |
190.14/190.25	c ===============================================================================
190.14/190.28	c core #395
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 30	Core Weight: 1	Total Weight: 395
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 |    3598     9293    31519 |     5000        0    nan |  0.000 % |
190.14/190.30	c ===============================================================================
190.24/190.33	c core #396
190.24/190.33	c 
190.24/190.33	c 
190.24/190.33	c Core size: 14	Core Weight: 1	Total Weight: 396
190.24/190.33	c
190.24/190.33	c
190.24/190.33	c ============================[ Search Statistics ]==============================
190.24/190.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.33	c ===============================================================================
190.24/190.33	c |         0 |    3605     9294    31533 |     5000        0    nan |  0.000 % |
190.24/190.34	c ===============================================================================
190.24/190.37	c core #397
190.24/190.37	c 
190.24/190.37	c 
190.24/190.37	c Core size: 29	Core Weight: 1	Total Weight: 397
190.24/190.37	c
190.24/190.37	c
190.24/190.37	c ============================[ Search Statistics ]==============================
190.24/190.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.37	c ===============================================================================
190.24/190.37	c |         0 |    3612     9295    31547 |     5000        0    nan |  0.000 % |
190.24/190.37	c ===============================================================================
190.33/190.40	c core #398
190.33/190.40	c 
190.33/190.40	c 
190.33/190.40	c Core size: 25	Core Weight: 1	Total Weight: 398
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 |    3620     9296    31563 |     5000        0    nan |  0.000 % |
190.33/190.41	c ===============================================================================
190.33/190.44	c core #399
190.33/190.44	c 
190.33/190.44	c 
190.33/190.44	c Core size: 27	Core Weight: 1	Total Weight: 399
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 |    3627     9297    31577 |     5000        0    nan |  0.000 % |
190.33/190.45	c ===============================================================================
190.33/190.48	c core #400
190.33/190.48	c 
190.33/190.48	c 
190.33/190.48	c Core size: 33	Core Weight: 1	Total Weight: 400
190.33/190.48	c
190.33/190.48	c
190.33/190.48	c ============================[ Search Statistics ]==============================
190.33/190.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.33/190.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.33/190.48	c ===============================================================================
190.33/190.48	c |         0 |    3641     9298    31605 |     5000        0    nan |  0.000 % |
190.33/190.50	c ===============================================================================
190.43/190.53	c core #401
190.43/190.53	c 
190.43/190.53	c 
190.43/190.53	c Core size: 38	Core Weight: 1	Total Weight: 401
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 |    3659     9299    31641 |     5000        0    nan |  0.000 % |
190.43/190.53	c ===============================================================================
190.43/190.56	c core #402
190.43/190.56	c 
190.43/190.56	c 
190.43/190.56	c Core size: 22	Core Weight: 1	Total Weight: 402
190.43/190.56	c
190.43/190.56	c
190.43/190.56	c ============================[ Search Statistics ]==============================
190.43/190.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.56	c ===============================================================================
190.43/190.56	c |         0 |    3671     9300    31665 |     5000        0    nan |  0.000 % |
190.43/190.57	c ===============================================================================
190.53/190.61	c core #403
190.53/190.61	c 
190.53/190.61	c 
190.53/190.61	c Core size: 8	Core Weight: 1	Total Weight: 403
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 |    3675     9301    31673 |     5000        0    nan |  0.000 % |
190.53/190.61	c ===============================================================================
190.53/190.64	c core #404
190.53/190.64	c 
190.53/190.64	c 
190.53/190.64	c Core size: 8	Core Weight: 1	Total Weight: 404
190.53/190.64	c
190.53/190.64	c
190.53/190.64	c ============================[ Search Statistics ]==============================
190.53/190.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.64	c ===============================================================================
190.53/190.64	c |         0 |    3679     9302    31681 |     5000        0    nan |  0.000 % |
190.53/190.66	c ===============================================================================
190.53/190.69	c core #405
190.53/190.69	c 
190.53/190.69	c 
190.53/190.69	c Core size: 15	Core Weight: 1	Total Weight: 405
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 |    3688     9303    31699 |     5000        0    nan |  0.000 % |
190.63/190.70	c ===============================================================================
190.63/190.73	c core #406
190.63/190.73	c 
190.63/190.73	c 
190.63/190.73	c Core size: 11	Core Weight: 1	Total Weight: 406
190.63/190.73	c
190.63/190.73	c
190.63/190.73	c ============================[ Search Statistics ]==============================
190.63/190.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.73	c ===============================================================================
190.63/190.73	c |         0 |    3695     9304    31713 |     5000        0    nan |  0.000 % |
190.63/190.75	c ===============================================================================
190.63/190.78	c core #407
190.63/190.78	c 
190.63/190.78	c 
190.63/190.78	c Core size: 75	Core Weight: 1	Total Weight: 407
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 |    3725     9305    31773 |     5000        0    nan |  0.000 % |
190.63/190.80	c ===============================================================================
190.73/190.83	c core #408
190.73/190.83	c 
190.73/190.83	c 
190.73/190.83	c Core size: 11	Core Weight: 1	Total Weight: 408
190.73/190.83	c
190.73/190.83	c
190.73/190.83	c ============================[ Search Statistics ]==============================
190.73/190.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.83	c ===============================================================================
190.73/190.83	c |         0 |    3732     9306    31787 |     5000        0    nan |  0.000 % |
190.73/190.84	c ===============================================================================
190.73/190.87	c core #409
190.73/190.87	c 
190.73/190.87	c 
190.73/190.87	c Core size: 16	Core Weight: 1	Total Weight: 409
190.73/190.87	c
190.73/190.87	c
190.73/190.87	c ============================[ Search Statistics ]==============================
190.73/190.87	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 |    3740     9307    31803 |     5000        0    nan |  0.000 % |
190.73/190.88	c ===============================================================================
190.84/190.91	c core #410
190.84/190.91	c 
190.84/190.91	c 
190.84/190.91	c Core size: 35	Core Weight: 1	Total Weight: 410
190.84/190.91	c
190.84/190.91	c
190.84/190.91	c ============================[ Search Statistics ]==============================
190.84/190.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.91	c ===============================================================================
190.84/190.91	c |         0 |    3761     9308    31845 |     5000        0    nan |  0.000 % |
190.84/190.92	c ===============================================================================
190.84/190.95	c core #411
190.84/190.95	c 
190.84/190.95	c 
190.84/190.95	c Core size: 14	Core Weight: 1	Total Weight: 411
190.84/190.95	c
190.84/190.95	c
190.84/190.95	c ============================[ Search Statistics ]==============================
190.84/190.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.95	c ===============================================================================
190.84/190.95	c |         0 |    3769     9309    31861 |     5000        0    nan |  0.000 % |
190.84/190.97	c ===============================================================================
190.94/191.00	c core #412
190.94/191.00	c 
190.94/191.00	c 
190.94/191.00	c Core size: 27	Core Weight: 1	Total Weight: 412
190.94/191.00	c
190.94/191.00	c
190.94/191.00	c ============================[ Search Statistics ]==============================
190.94/191.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.94/191.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.94/191.00	c ===============================================================================
190.94/191.00	c |         0 |    3781     9310    31885 |     5000        0    nan |  0.000 % |
190.94/191.01	c ===============================================================================
190.94/191.04	c core #413
190.94/191.04	c 
190.94/191.04	c 
190.94/191.04	c Core size: 24	Core Weight: 1	Total Weight: 413
190.94/191.04	c
190.94/191.04	c
190.94/191.04	c ============================[ Search Statistics ]==============================
190.94/191.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.94/191.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.94/191.04	c ===============================================================================
190.94/191.04	c |         0 |    3795     9311    31913 |     5000        0    nan |  0.000 % |
190.94/191.05	c ===============================================================================
190.94/191.08	c core #414
190.94/191.08	c 
190.94/191.08	c 
190.94/191.08	c Core size: 17	Core Weight: 1	Total Weight: 414
190.94/191.08	c
190.94/191.08	c
190.94/191.08	c ============================[ Search Statistics ]==============================
190.94/191.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.94/191.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.94/191.08	c ===============================================================================
190.94/191.08	c |         0 |    3811     9312    31945 |     5000        0    nan |  0.000 % |
190.94/191.10	c ===============================================================================
191.04/191.13	c core #415
191.04/191.13	c 
191.04/191.13	c 
191.04/191.13	c Core size: 57	Core Weight: 1	Total Weight: 415
191.04/191.13	c
191.04/191.13	c
191.04/191.13	c ============================[ Search Statistics ]==============================
191.04/191.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.13	c ===============================================================================
191.04/191.13	c |         0 |    3831     9314    31987 |     5000        0    nan |  0.000 % |
191.04/191.14	c ===============================================================================
191.04/191.17	c core #416
191.04/191.17	c 
191.04/191.17	c 
191.04/191.17	c Core size: 17	Core Weight: 1	Total Weight: 416
191.04/191.17	c
191.04/191.17	c
191.04/191.17	c ============================[ Search Statistics ]==============================
191.04/191.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.04/191.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.04/191.17	c ===============================================================================
191.04/191.17	c |         0 |    3844     9315    32013 |     5000        0    nan |  0.000 % |
191.04/191.18	c ===============================================================================
191.14/191.21	c core #417
191.14/191.21	c 
191.14/191.21	c 
191.14/191.21	c Core size: 15	Core Weight: 1	Total Weight: 417
191.14/191.21	c
191.14/191.21	c
191.14/191.21	c ============================[ Search Statistics ]==============================
191.14/191.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.21	c ===============================================================================
191.14/191.21	c |         0 |    3855     9316    32035 |     5000        0    nan |  0.000 % |
191.14/191.23	c ===============================================================================
191.14/191.26	c core #418
191.14/191.26	c 
191.14/191.26	c 
191.14/191.26	c Core size: 20	Core Weight: 1	Total Weight: 418
191.14/191.26	c
191.14/191.26	c
191.14/191.26	c ============================[ Search Statistics ]==============================
191.14/191.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.14/191.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.14/191.26	c ===============================================================================
191.14/191.26	c |         0 |    3865     9317    32055 |     5000        0    nan |  0.000 % |
191.14/191.28	c ===============================================================================
191.24/191.31	c core #419
191.24/191.31	c 
191.24/191.31	c 
191.24/191.31	c Core size: 22	Core Weight: 1	Total Weight: 419
191.24/191.31	c
191.24/191.31	c
191.24/191.31	c ============================[ Search Statistics ]==============================
191.24/191.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.31	c ===============================================================================
191.24/191.31	c |         0 |    3880     9318    32085 |     5000        0    nan |  0.000 % |
191.24/191.33	c ===============================================================================
191.24/191.36	c core #420
191.24/191.36	c 
191.24/191.36	c 
191.24/191.36	c Core size: 78	Core Weight: 1	Total Weight: 420
191.24/191.36	c
191.24/191.36	c
191.24/191.36	c ============================[ Search Statistics ]==============================
191.24/191.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.36	c ===============================================================================
191.24/191.36	c |         0 |    3919     9320    32166 |     5000        0    nan |  0.000 % |
191.24/191.37	c ===============================================================================
191.35/191.40	c core #421
191.35/191.40	c 
191.35/191.40	c 
191.35/191.40	c Core size: 26	Core Weight: 1	Total Weight: 421
191.35/191.40	c
191.35/191.40	c
191.35/191.40	c ============================[ Search Statistics ]==============================
191.35/191.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.40	c ===============================================================================
191.35/191.40	c |         0 |    3934     9321    32196 |     5000        0    nan |  0.000 % |
191.35/191.42	c ===============================================================================
191.35/191.45	c core #422
191.35/191.45	c 
191.35/191.45	c 
191.35/191.45	c Core size: 60	Core Weight: 1	Total Weight: 422
191.35/191.45	c
191.35/191.45	c
191.35/191.45	c ============================[ Search Statistics ]==============================
191.35/191.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.45	c ===============================================================================
191.35/191.45	c |         0 |    3959     9322    32246 |     5000        0    nan |  0.000 % |
191.35/191.47	c ===============================================================================
191.44/191.50	c core #423
191.44/191.50	c 
191.44/191.50	c 
191.44/191.50	c Core size: 22	Core Weight: 1	Total Weight: 423
191.44/191.50	c
191.44/191.50	c
191.44/191.50	c ============================[ Search Statistics ]==============================
191.44/191.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.50	c ===============================================================================
191.44/191.50	c |         0 |    3975     9323    32278 |     5000        0    nan |  0.000 % |
191.44/191.53	c ===============================================================================
191.44/191.56	c core #424
191.44/191.56	c 
191.44/191.56	c 
191.44/191.56	c Core size: 85	Core Weight: 1	Total Weight: 424
191.44/191.56	c
191.44/191.56	c
191.44/191.56	c ============================[ Search Statistics ]==============================
191.44/191.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.56	c ===============================================================================
191.44/191.56	c |         0 |    4006     9324    32340 |     5000        0    nan |  0.000 % |
191.44/191.58	c ===============================================================================
191.54/191.61	c core #425
191.54/191.61	c 
191.54/191.61	c 
191.54/191.61	c Core size: 54	Core Weight: 1	Total Weight: 425
191.54/191.61	c
191.54/191.61	c
191.54/191.61	c ============================[ Search Statistics ]==============================
191.54/191.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.61	c ===============================================================================
191.54/191.61	c |         0 |    4025     9325    32378 |     5000        0    nan |  0.000 % |
191.54/191.63	c ===============================================================================
191.54/191.66	c core #426
191.54/191.66	c 
191.54/191.66	c 
191.54/191.66	c Core size: 35	Core Weight: 1	Total Weight: 426
191.54/191.66	c
191.54/191.66	c
191.54/191.66	c ============================[ Search Statistics ]==============================
191.54/191.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.66	c ===============================================================================
191.54/191.66	c |         0 |    4055     9328    32442 |     5000        0    nan |  0.000 % |
191.54/191.68	c ===============================================================================
191.64/191.71	c core #427
191.64/191.71	c 
191.64/191.71	c 
191.64/191.71	c Core size: 35	Core Weight: 1	Total Weight: 427
191.64/191.71	c
191.64/191.71	c
191.64/191.71	c ============================[ Search Statistics ]==============================
191.64/191.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.71	c ===============================================================================
191.64/191.71	c |         0 |    4070     9329    32472 |     5000        0    nan |  0.000 % |
191.64/191.73	c ===============================================================================
191.64/191.76	c core #428
191.64/191.76	c 
191.64/191.76	c 
191.64/191.76	c Core size: 54	Core Weight: 1	Total Weight: 428
191.64/191.76	c
191.64/191.76	c
191.64/191.76	c ============================[ Search Statistics ]==============================
191.64/191.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.76	c ===============================================================================
191.64/191.76	c |         0 |    4089     9330    32510 |     5000        0    nan |  0.000 % |
191.64/191.77	c ===============================================================================
191.74/191.80	c core #429
191.74/191.80	c 
191.74/191.80	c 
191.74/191.80	c Core size: 12	Core Weight: 1	Total Weight: 429
191.74/191.80	c
191.74/191.80	c
191.74/191.80	c ============================[ Search Statistics ]==============================
191.74/191.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.80	c ===============================================================================
191.74/191.80	c |         0 |    4098     9331    32528 |     5000        0    nan |  0.000 % |
191.74/191.83	c ===============================================================================
191.74/191.86	c core #430
191.74/191.86	c 
191.74/191.86	c 
191.74/191.86	c Core size: 61	Core Weight: 1	Total Weight: 430
191.74/191.86	c
191.74/191.86	c
191.74/191.86	c ============================[ Search Statistics ]==============================
191.74/191.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.86	c ===============================================================================
191.74/191.86	c |         0 |    4129     9333    32593 |     5000        0    nan |  0.000 % |
191.74/191.89	c ===============================================================================
191.84/191.92	c core #431
191.84/191.92	c 
191.84/191.92	c 
191.84/191.92	c Core size: 83	Core Weight: 1	Total Weight: 431
191.84/191.92	c
191.84/191.92	c
191.84/191.92	c ============================[ Search Statistics ]==============================
191.84/191.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.92	c ===============================================================================
191.84/191.92	c |         0 |    4167     9334    32669 |     5000        0    nan |  0.000 % |
191.84/191.95	c ===============================================================================
191.84/191.99	c core #432
191.84/191.99	c 
191.84/191.99	c 
191.84/191.99	c Core size: 73	Core Weight: 1	Total Weight: 432
191.84/191.99	c
191.84/191.99	c
191.84/191.99	c ============================[ Search Statistics ]==============================
191.84/191.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.84/191.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.84/191.99	c ===============================================================================
191.84/191.99	c |         0 |    4209     9336    32755 |     5000        0    nan |  0.000 % |
191.94/192.02	c ===============================================================================
191.94/192.05	c core #433
191.94/192.05	c 
191.94/192.05	c 
191.94/192.05	c Core size: 91	Core Weight: 1	Total Weight: 433
191.94/192.05	c
191.94/192.05	c
191.94/192.05	c ============================[ Search Statistics ]==============================
191.94/192.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.94/192.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.94/192.05	c ===============================================================================
191.94/192.05	c |         0 |    4255     9338    32849 |     5000        0    nan |  0.000 % |
191.94/192.07	c |       100 |    4255     9338    32849 |     5500      100     21 |  0.282 % |
191.94/192.09	c ===============================================================================
192.04/192.12	c core #434
192.04/192.12	c 
192.04/192.12	c 
192.04/192.12	c Core size: 49	Core Weight: 1	Total Weight: 434
192.04/192.12	c
192.04/192.12	c
192.04/192.12	c ============================[ Search Statistics ]==============================
192.04/192.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.12	c ===============================================================================
192.04/192.12	c |         0 |    4273     9340    32887 |     5000        0    nan |  0.000 % |
192.04/192.14	c |       108 |    4273     9340    32887 |     5500      108     22 |  0.281 % |
192.04/192.15	c ===============================================================================
192.04/192.19	c core #435
192.04/192.19	c 
192.04/192.19	c 
192.04/192.19	c Core size: 71	Core Weight: 1	Total Weight: 435
192.04/192.19	c
192.04/192.19	c
192.04/192.19	c ============================[ Search Statistics ]==============================
192.04/192.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.19	c ===============================================================================
192.04/192.19	c |         0 |    4307     9341    32955 |     5000        0    nan |  0.000 % |
192.14/192.20	c |       108 |    4307     9341    32955 |     5500      108     22 |  0.278 % |
192.14/192.23	c ===============================================================================
192.14/192.26	c core #436
192.14/192.26	c 
192.14/192.26	c 
192.14/192.26	c Core size: 133	Core Weight: 1	Total Weight: 436
192.14/192.26	c
192.14/192.26	c
192.14/192.26	c ============================[ Search Statistics ]==============================
192.14/192.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.26	c ===============================================================================
192.14/192.26	c |         0 |    4366     9342    33073 |     5000        0    nan |  0.000 % |
192.14/192.27	c |       108 |    4366     9342    33073 |     5500      108     30 |  0.275 % |
192.24/192.30	c ===============================================================================
192.24/192.34	c core #437
192.24/192.34	c 
192.24/192.34	c 
192.24/192.34	c Core size: 110	Core Weight: 1	Total Weight: 437
192.24/192.34	c
192.24/192.34	c
192.24/192.34	c ============================[ Search Statistics ]==============================
192.24/192.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.34	c ===============================================================================
192.24/192.34	c |         0 |    4423     9343    33187 |     5000        0    nan |  0.000 % |
192.24/192.35	c |       108 |    4423     9343    33187 |     5500      108     37 |  0.271 % |
192.24/192.39	c |       259 |    4409     9343    33187 |     6050      259     25 |  0.633 % |
192.35/192.42	c |       484 |    4131     9343    33187 |     6655      465     24 |  7.756 % |
192.35/192.43	c ===============================================================================
192.35/192.47	c core #438
192.35/192.47	c 
192.35/192.47	c 
192.35/192.47	c Core size: 130	Core Weight: 1	Total Weight: 438
192.35/192.47	c
192.35/192.47	c
192.35/192.47	c ============================[ Search Statistics ]==============================
192.35/192.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.35/192.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.35/192.47	c ===============================================================================
192.35/192.47	c |         0 |    4487     9344    33315 |     5000        0    nan |  0.000 % |
192.35/192.48	c |       108 |    4487     9344    33315 |     5500      108     44 |  0.267 % |
192.44/192.51	c ===============================================================================
192.44/192.55	c core #439
192.44/192.55	c 
192.44/192.55	c 
192.44/192.55	c Core size: 50	Core Weight: 1	Total Weight: 439
192.44/192.55	c
192.44/192.55	c
192.44/192.55	c ============================[ Search Statistics ]==============================
192.44/192.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.55	c ===============================================================================
192.44/192.55	c |         0 |    4525     9345    33391 |     5000        0    nan |  0.000 % |
192.44/192.56	c |       104 |    4525     9345    33391 |     5500      104     42 |  0.265 % |
192.44/192.60	c ===============================================================================
192.54/192.63	c core #440
192.54/192.63	c 
192.54/192.63	c 
192.54/192.63	c Core size: 47	Core Weight: 1	Total Weight: 440
192.54/192.63	c
192.54/192.63	c
192.54/192.63	c ============================[ Search Statistics ]==============================
192.54/192.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.63	c ===============================================================================
192.54/192.63	c |         0 |    4560     9346    33461 |     5000        0    nan |  0.000 % |
192.54/192.64	c |       108 |    4560     9346    33461 |     5500      108     44 |  0.263 % |
192.54/192.69	c |       258 |    4542     9346    33461 |     6050      258     26 |  0.789 % |
192.63/192.71	c ===============================================================================
192.63/192.74	c core #441
192.63/192.74	c 
192.63/192.74	c 
192.63/192.74	c Core size: 111	Core Weight: 1	Total Weight: 441
192.63/192.74	c
192.63/192.74	c
192.63/192.74	c ============================[ Search Statistics ]==============================
192.63/192.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.74	c ===============================================================================
192.63/192.74	c |         0 |    4627     9348    33597 |     5000        0    nan |  0.000 % |
192.63/192.78	c |       101 |    4621     9348    33597 |     5500      101      7 |  0.453 % |
192.63/192.79	c ===============================================================================
192.74/192.83	c core #442
192.74/192.83	c 
192.74/192.83	c 
192.74/192.83	c Core size: 77	Core Weight: 1	Total Weight: 442
192.74/192.83	c
192.74/192.83	c
192.74/192.83	c ============================[ Search Statistics ]==============================
192.74/192.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.74/192.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.74/192.83	c ===============================================================================
192.74/192.83	c |         0 |    4675     9349    33693 |     5000        0    nan |  0.000 % |
192.74/192.84	c |       101 |    4675     9349    33693 |     5500      101     45 |  0.257 % |
192.74/192.89	c ===============================================================================
192.84/192.92	c core #443
192.84/192.92	c 
192.84/192.92	c 
192.84/192.92	c Core size: 119	Core Weight: 1	Total Weight: 443
192.84/192.92	c
192.84/192.92	c
192.84/192.92	c ============================[ Search Statistics ]==============================
192.84/192.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.84/192.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.84/192.92	c ===============================================================================
192.84/192.92	c |         0 |    4744     9351    33833 |     5000        0    nan |  0.000 % |
192.84/192.97	c |       100 |    4733     9351    33833 |     5500      100      5 |  0.631 % |
192.84/192.97	c ===============================================================================
192.94/193.00	c core #444
192.94/193.00	c 
192.94/193.00	c 
192.94/193.00	c Core size: 67	Core Weight: 1	Total Weight: 444
192.94/193.00	c
192.94/193.00	c
192.94/193.00	c ============================[ Search Statistics ]==============================
192.94/193.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.94/193.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.94/193.00	c ===============================================================================
192.94/193.00	c |         0 |    4795     9352    33935 |     5000        0    nan |  0.000 % |
192.94/193.02	c |       100 |    4795     9352    33935 |     5500      100     15 |  0.250 % |
192.94/193.07	c |       250 |    4735     9352    33935 |     6050      231     10 |  4.805 % |
192.94/193.07	c ===============================================================================
193.03/193.10	c core #445
193.03/193.10	c 
193.03/193.10	c 
193.03/193.10	c Core size: 102	Core Weight: 1	Total Weight: 445
193.03/193.10	c
193.03/193.10	c
193.03/193.10	c ============================[ Search Statistics ]==============================
193.03/193.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.10	c ===============================================================================
193.03/193.10	c |         0 |    4853     9355    34056 |     5000        0    nan |  0.000 % |
193.03/193.16	c |       100 |    4842     9355    34056 |     5500      100     10 |  0.493 % |
193.03/193.18	c ===============================================================================
193.13/193.22	c core #446
193.13/193.22	c 
193.13/193.22	c 
193.13/193.22	c Core size: 94	Core Weight: 1	Total Weight: 446
193.13/193.22	c
193.13/193.22	c
193.13/193.22	c ============================[ Search Statistics ]==============================
193.13/193.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.22	c ===============================================================================
193.13/193.22	c |         0 |    4919     9358    34193 |     5000        0    nan |  0.000 % |
193.13/193.24	c |       100 |    4919     9358    34193 |     5500      100     12 |  0.244 % |
193.13/193.27	c ===============================================================================
193.24/193.30	c core #447
193.24/193.30	c 
193.24/193.30	c 
193.24/193.30	c Core size: 77	Core Weight: 1	Total Weight: 447
193.24/193.30	c
193.24/193.30	c
193.24/193.30	c ============================[ Search Statistics ]==============================
193.24/193.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.24/193.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.24/193.30	c ===============================================================================
193.24/193.30	c |         0 |    4965     9360    34287 |     5000        0    nan |  0.000 % |
193.24/193.34	c |       100 |    4965     9360    34287 |     5500      100      7 |  0.242 % |
193.24/193.37	c |       250 |    4958     9360    34287 |     6050      239      6 |  0.402 % |
193.34/193.41	c ===============================================================================
193.34/193.45	c core #448
193.34/193.45	c 
193.34/193.45	c 
193.34/193.45	c Core size: 132	Core Weight: 1	Total Weight: 448
193.34/193.45	c
193.34/193.45	c
193.34/193.45	c ============================[ Search Statistics ]==============================
193.34/193.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.34/193.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.34/193.45	c ===============================================================================
193.34/193.45	c |         0 |    5051     9362    34461 |     5000        0    nan |  0.000 % |
193.34/193.46	c |       100 |    5051     9362    34461 |     5500      100     13 |  0.237 % |
193.44/193.51	c ===============================================================================
193.44/193.54	c core #449
193.44/193.54	c 
193.44/193.54	c 
193.44/193.54	c Core size: 98	Core Weight: 1	Total Weight: 449
193.44/193.54	c
193.44/193.54	c
193.44/193.54	c ============================[ Search Statistics ]==============================
193.44/193.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.44/193.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.44/193.54	c ===============================================================================
193.44/193.54	c |         0 |    5113     9364    34587 |     5000        0    nan |  0.000 % |
193.44/193.56	c |       102 |    5113     9364    34587 |     5500      102     23 |  0.235 % |
193.44/193.58	c |       254 |    5113     9364    34587 |     6050      254     19 |  0.273 % |
193.54/193.60	c ===============================================================================
193.54/193.64	c core #450
193.54/193.64	c 
193.54/193.64	c 
193.54/193.64	c Core size: 81	Core Weight: 1	Total Weight: 450
193.54/193.64	c
193.54/193.64	c
193.54/193.64	c ============================[ Search Statistics ]==============================
193.54/193.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.54/193.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.54/193.64	c ===============================================================================
193.54/193.64	c |         0 |    5164     9365    34689 |     5000        0    nan |  0.000 % |
193.54/193.67	c |       100 |    5164     9365    34689 |     5500      100      8 |  0.232 % |
193.63/193.73	c |       251 |    5158     9365    34689 |     6050      248     40 |  0.387 % |
193.74/193.82	c |       476 |    5132     9365    34689 |     6655      434     61 |  1.256 % |
193.74/193.85	c ===============================================================================
193.74/193.88	c core #451
193.74/193.88	c 
193.74/193.88	c 
193.74/193.88	c Core size: 151	Core Weight: 1	Total Weight: 451
193.74/193.88	c
193.74/193.88	c
193.74/193.88	c ============================[ Search Statistics ]==============================
193.74/193.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.74/193.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.74/193.88	c ===============================================================================
193.74/193.88	c |         0 |    5273     9366    34907 |     5000        0    nan |  0.000 % |
193.84/193.92	c |       104 |    5273     9366    34907 |     5500      104      9 |  0.303 % |
193.84/193.95	c |       254 |    5263     9366    34907 |     6050      241     10 |  0.416 % |
193.84/193.98	c |       481 |    5263     9366    34907 |     6655      468     13 |  0.416 % |
193.93/194.03	c |       818 |    5217     9366    34907 |     7320      796     19 |  4.655 % |
193.93/194.04	c ===============================================================================
193.93/194.08	c core #452
193.93/194.08	c 
193.93/194.08	c 
193.93/194.08	c Core size: 101	Core Weight: 1	Total Weight: 452
193.93/194.08	c
193.93/194.08	c
193.93/194.08	c ============================[ Search Statistics ]==============================
193.93/194.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.93/194.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.93/194.08	c ===============================================================================
193.93/194.08	c |         0 |    5332     9367    35025 |     5000        0    nan |  0.000 % |
194.04/194.11	c |       100 |    5332     9367    35025 |     5500      100      9 |  0.225 % |
194.04/194.15	c |       250 |    5330     9367    35025 |     6050      247      9 |  0.299 % |
194.14/194.22	c |       475 |    5328     9367    35025 |     6655      472     10 |  0.299 % |
194.14/194.28	c ===============================================================================
194.24/194.32	c core #453
194.24/194.32	c 
194.24/194.32	c 
194.24/194.32	c Core size: 158	Core Weight: 1	Total Weight: 453
194.24/194.32	c
194.24/194.32	c
194.24/194.32	c ============================[ Search Statistics ]==============================
194.24/194.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.32	c ===============================================================================
194.24/194.32	c |         0 |    5447     9372    35264 |     5000        0    nan |  0.000 % |
194.24/194.34	c |       100 |    5447     9372    35264 |     5500      100     24 |  0.220 % |
194.24/194.39	c |       250 |    5447     9372    35264 |     6050      250     15 |  0.220 % |
194.33/194.40	c |       477 |    5447     9372    35264 |     6655      477     21 |  0.220 % |
194.33/194.45	c |       816 |    5445     9372    35264 |     7320      813     22 |  0.256 % |
194.44/194.51	c |      1324 |    5441     9372    35264 |     8052     1321     25 |  0.330 % |
194.54/194.61	c |      2084 |    5439     9372    35264 |     8857     2071     30 |  0.366 % |
194.74/194.83	c |      3225 |    5437     9372    35264 |     9743     3184     37 |  0.403 % |
195.03/195.14	c |      4933 |    5408     9372    35264 |    10717     4694     41 |  3.993 % |
195.64/195.72	c |      7497 |    5241     9372    35264 |    11789     7232     44 |  3.993 % |
196.84/196.94	c |     11341 |    5241     9372    35264 |    12968    11076     48 |  3.993 % |
199.23/199.33	c ===============================================================================
199.53/199.63	c core #454
199.53/199.63	c 
199.53/199.63	c 
199.53/199.63	c Core size: 211	Core Weight: 1	Total Weight: 454
199.53/199.63	c
199.53/199.63	c
199.53/199.63	c ============================[ Search Statistics ]==============================
199.53/199.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.53/199.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.53/199.63	c ===============================================================================
199.53/199.63	c |         0 |    5604     9373    35578 |     5000        0    nan |  0.000 % |
199.53/199.67	c |       100 |    5604     9373    35578 |     5500      100     13 |  0.214 % |
199.53/199.69	c |       250 |    5602     9373    35578 |     6050      250     11 |  0.249 % |
199.64/199.73	c |       476 |    5600     9373    35578 |     6655      472     14 |  0.285 % |
199.64/199.78	c |       813 |    5599     9373    35578 |     7320      806     14 |  0.321 % |
199.73/199.87	c |      1319 |    5593     9373    35578 |     8052     1250     14 |  0.427 % |
199.73/199.89	c ===============================================================================
199.83/199.93	c core #455
199.83/199.93	c 
199.83/199.93	c 
199.83/199.93	c Core size: 137	Core Weight: 1	Total Weight: 455
199.83/199.93	c
199.83/199.93	c
199.83/199.93	c ============================[ Search Statistics ]==============================
199.83/199.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.93	c ===============================================================================
199.83/199.93	c |         0 |    5732     9377    35842 |     5000        0    nan |  0.000 % |
199.83/199.97	c |       100 |    5732     9377    35842 |     5500      100     10 |  0.209 % |
199.83/199.98	c |       252 |    5730     9377    35842 |     6050      252     14 |  0.244 % |
199.93/200.07	c |       478 |    5730     9377    35842 |     6655      475     14 |  0.244 % |
200.04/200.12	c |       815 |    5730     9377    35842 |     7320      812     17 |  0.244 % |
200.14/200.25	c |      1321 |    5728     9377    35842 |     8052     1305     19 |  0.279 % |
200.23/200.35	c |      2081 |    5726     9377    35842 |     8857     2033     23 |  0.313 % |
200.34/200.49	c |      3220 |    5724     9377    35842 |     9743     3172     28 |  0.348 % |
200.63/200.70	c |      4929 |    5684     9377    35842 |    10717     4727     36 |  3.743 % |
201.04/201.13	c |      7491 |    5529     9377    35842 |    11789     7048     41 |  3.743 % |
202.04/202.11	c |     11336 |    5529     9377    35842 |    12968    10893     45 |  3.743 % |
203.83/203.91	c |     17104 |    5522     9377    35842 |    14265     9987     56 |  4.231 % |
207.93/208.02	c |     25755 |    5495     9377    35842 |    15692     8516     57 |  4.648 % |
214.33/214.47	c ===============================================================================
215.13/215.25	c core #456
215.13/215.25	c 
215.13/215.25	c 
215.13/215.25	c Core size: 197	Core Weight: 1	Total Weight: 456
215.13/215.25	c
215.13/215.25	c
215.13/215.25	c ============================[ Search Statistics ]==============================
215.13/215.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.13/215.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.13/215.25	c ===============================================================================
215.13/215.25	c |         0 |    5869     9378    36116 |     5000        0    nan |  0.000 % |
215.13/215.29	c |       100 |    5869     9378    36116 |     5500      100     27 |  0.204 % |
215.22/215.34	c |       250 |    5867     9378    36116 |     6050      240     17 |  0.238 % |
215.22/215.35	c |       475 |    5867     9378    36116 |     6655      465     15 |  0.238 % |
215.22/215.38	c |       813 |    5867     9378    36116 |     7320      803     17 |  0.238 % |
215.33/215.45	c |      1319 |    5865     9378    36116 |     8052     1301     19 |  0.272 % |
215.43/215.55	c |      2080 |    5859     9378    36116 |     8857     1917     24 |  0.374 % |
215.54/215.69	c |      3223 |    5840     9378    36116 |     9743     3060     31 |  3.588 % |
215.82/215.96	c |      4934 |    5670     9378    36116 |    10717     4678     36 |  3.588 % |
216.43/216.58	c |      7496 |    5670     9378    36116 |    11789     7240     40 |  3.588 % |
216.63/216.75	c ===============================================================================
216.73/216.89	c core #457
216.73/216.89	c 
216.73/216.89	c 
216.73/216.89	c Core size: 163	Core Weight: 1	Total Weight: 457
216.73/216.89	c
216.73/216.89	c
216.73/216.89	c ============================[ Search Statistics ]==============================
216.73/216.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.73/216.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.73/216.89	c ===============================================================================
216.73/216.89	c |         0 |    5996     9380    36372 |     5000        0    nan |  0.000 % |
216.83/216.92	c |       100 |    5996     9380    36372 |     5500      100     13 |  0.200 % |
216.83/216.95	c |       251 |    5996     9380    36372 |     6050      251     12 |  0.200 % |
216.83/216.99	c |       476 |    5994     9380    36372 |     6655      472     15 |  0.233 % |
216.92/217.07	c |       813 |    5988     9380    36372 |     7320      803     13 |  0.333 % |
217.03/217.13	c |      1319 |    5988     9380    36372 |     8052     1309     19 |  0.334 % |
217.03/217.19	c |      2078 |    5988     9380    36372 |     8857     2062     25 |  0.333 % |
217.23/217.32	c |      3218 |    5796     9380    36372 |     9743     3179     40 |  3.529 % |
217.43/217.58	c |      4926 |    5796     9380    36372 |    10717     4887     50 |  3.529 % |
218.13/218.20	c |      7489 |    5794     9380    36372 |    11789     7449     61 |  3.562 % |
219.13/219.25	c |     11334 |    5794     9380    36372 |    12968    11294     64 |  3.562 % |
220.73/220.80	c |     17106 |    5792     9380    36372 |    14265    10369     70 |  3.595 % |
223.33/223.44	c |     25755 |    5790     9380    36372 |    15692    11673     65 |  3.662 % |
228.43/228.56	c |     38730 |    5788     9380    36372 |    17261     8341     72 |  3.662 % |
238.83/238.90	c |     58193 |    5788     9380    36372 |    18987    10011     75 |  3.662 % |
251.91/252.10	c |     87385 |    5788     9380    36372 |    20886    18256    217 |  3.662 % |
270.71/270.88	c |    131174 |    5786     9380    36372 |    22974    16140    245 |  3.695 % |
308.60/308.75	c |    196858 |    5784     9380    36372 |    25272    14097    253 |  3.762 % |
365.29/365.45	c |    295385 |    5784     9380    36372 |    27799    17483    238 |  3.762 % |
468.46/468.66	c |    443174 |    5781     9380    36372 |    30579    19402    296 |  3.795 % |
591.52/591.70	c |    664857 |    5778     9380    36372 |    33637    31368    154 |  3.828 % |
798.85/799.17	c |    997383 |    5777     9380    36372 |    37001    28974    223 |  3.862 % |

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.82 3/106 23848
/proc/meminfo: memFree=1604864/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=2932 CPUtime=0
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 120955679 3002368 253 1992294400 134512640 135752675 4290578336 18446744073709551615 134560995 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 733 253 140 303 0 382 0

[startup+0.069126 s]
/proc/loadavg: 0.99 0.97 0.82 3/106 23848
/proc/meminfo: memFree=1604864/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=4332 CPUtime=0.06
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 754 0 0 0 6 0 0 0 20 0 1 0 120955679 4435968 627 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 1083 628 141 303 0 778 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4332

[startup+0.101129 s]
/proc/loadavg: 0.99 0.97 0.82 3/106 23848
/proc/meminfo: memFree=1604864/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=4596 CPUtime=0.09
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 828 0 0 0 9 0 0 0 20 0 1 0 120955679 4706304 701 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 1149 701 141 303 0 844 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4596

[startup+0.301152 s]
/proc/loadavg: 0.99 0.97 0.82 3/106 23848
/proc/meminfo: memFree=1604864/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=5364 CPUtime=0.29
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 1031 0 0 0 29 0 0 0 20 0 1 0 120955679 5492736 904 1992294400 134512640 135752675 4290578336 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 1341 904 145 303 0 1036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5364

[startup+0.701198 s]
/proc/loadavg: 0.99 0.97 0.82 3/106 23848
/proc/meminfo: memFree=1604864/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=9596 CPUtime=0.7
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 2091 0 0 0 68 2 0 0 21 0 1 0 120955679 9826304 1964 1992294400 134512640 135752675 4290578336 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 2399 1964 145 303 0 2094 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9596

[startup+1.50129 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23849
/proc/meminfo: memFree=1594688/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=16012 CPUtime=1.49
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 3704 0 0 0 146 3 0 0 23 0 1 0 120955679 16396288 3577 1992294400 134512640 135752675 4290578336 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 4003 3577 145 303 0 3698 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16012

[startup+3.10148 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23849
/proc/meminfo: memFree=1586628/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=27288 CPUtime=3.09
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 6507 0 0 0 303 6 0 0 25 0 1 0 120955679 27942912 6380 1992294400 134512640 135752675 4290578336 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 6822 6380 145 303 0 6517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27288

[startup+6.30185 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23849
/proc/meminfo: memFree=1567284/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=46080 CPUtime=6.29
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 11211 0 0 0 619 10 0 0 25 0 1 0 120955679 47185920 11084 1992294400 134512640 135752675 4290578336 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 11520 11084 145 303 0 11215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46080

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23849
/proc/meminfo: memFree=1526736/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=84388 CPUtime=12.68
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 20789 0 0 0 1248 20 0 0 25 0 1 0 120955679 86413312 20662 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 21097 20662 145 303 0 20792 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84388

[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23851
/proc/meminfo: memFree=1454568/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=153468 CPUtime=25.48
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 38060 0 0 0 2510 38 0 0 25 0 1 0 120955679 157151232 37933 1992294400 134512640 135752675 4290578336 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 38367 37933 145 303 0 38062 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 153468

[startup+51.101 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 23851
/proc/meminfo: memFree=1334908/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=274452 CPUtime=51.07
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 68295 0 0 0 5033 74 0 0 25 0 1 0 120955679 281038848 68168 1992294400 134512640 135752675 4290578336 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 68613 68168 145 303 0 68308 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 274452

[startup+102.308 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 23856
/proc/meminfo: memFree=1093668/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=512072 CPUtime=102.27
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 127656 0 0 0 10093 134 0 0 25 0 1 0 120955679 524361728 127529 1992294400 134512640 135752675 4290578336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 128018 127529 145 303 0 127713 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 512072

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 23856
/proc/meminfo: memFree=874436/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=732468 CPUtime=162.24
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 182731 0 0 0 16028 196 0 0 25 0 1 0 120955679 750047232 182604 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 183117 182604 145 303 0 182812 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 732468

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 23858
/proc/meminfo: memFree=791852/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=812632 CPUtime=222.23
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 202871 0 0 0 21968 255 0 0 25 0 1 0 120955679 832135168 202715 1992294400 134512640 135752675 4290578336 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 203158 202715 146 303 0 202853 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 812632

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 23860
/proc/meminfo: memFree=714848/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=891272 CPUtime=282.21
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 222528 0 0 0 27920 301 0 0 25 0 1 0 120955679 912662528 222372 1992294400 134512640 135752675 4290578336 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 222818 222372 146 303 0 222513 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 891272

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 23862
/proc/meminfo: memFree=611432/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=993000 CPUtime=342.19
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 247934 0 0 0 33873 346 0 0 25 0 1 0 120955679 1016832000 247778 1992294400 134512640 135752675 4290578336 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 248250 247778 146 303 0 247945 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 993000

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 23864
/proc/meminfo: memFree=522772/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1083044 CPUtime=402.17
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 270433 0 0 0 39833 384 0 0 25 0 1 0 120955679 1109037056 270277 1992294400 134512640 135752675 4290578336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 270761 270277 146 303 0 270456 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1083044

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 23864
/proc/meminfo: memFree=418612/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1185928 CPUtime=462.16
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 296121 0 0 0 45789 427 0 0 25 0 1 0 120955679 1214390272 295965 1992294400 134512640 135752675 4290578336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 296482 295965 146 303 0 296177 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1185928

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 23866
/proc/meminfo: memFree=318048/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1287164 CPUtime=522.13
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 321412 0 0 0 51738 475 0 0 25 0 1 0 120955679 1318055936 321256 1992294400 134512640 135752675 4290578336 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 321791 321256 146 303 0 321486 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1287164

[startup+582.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 23868
/proc/meminfo: memFree=247120/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1357420 CPUtime=582.12
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 338974 0 0 0 57699 513 0 0 25 0 1 0 120955679 1389998080 338818 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 339355 338818 146 303 0 339050 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1357420

[startup+642.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 23870
/proc/meminfo: memFree=141844/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1461652 CPUtime=642.11
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 365029 0 0 0 63655 556 0 0 25 0 1 0 120955679 1496731648 364873 1992294400 134512640 135752675 4290578336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 365413 364873 146 303 0 365108 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1461652

[startup+702.3 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 23872
/proc/meminfo: memFree=60500/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1543680 CPUtime=702.08
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 385524 0 0 0 69611 597 0 0 25 0 1 0 120955679 1580728320 385368 1992294400 134512640 135752675 4290578336 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 385920 385368 146 303 0 385615 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 1543680

[startup+762.308 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 23872
/proc/meminfo: memFree=9620/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1627280 CPUtime=762.07
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 406402 0 0 0 75573 634 0 0 25 0 1 0 120955679 1666334720 406246 1992294400 134512640 135752675 4290578336 18446744073709551615 134606974 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 406820 406246 146 303 0 406515 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 1627280

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/107 23874
/proc/meminfo: memFree=10788/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1731132 CPUtime=822.04
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 432376 0 0 0 81525 679 0 0 25 0 1 0 120955679 1772679168 432220 1992294400 134512640 135752675 4290578336 18446744073709551615 134604943 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 432783 432220 146 303 0 432478 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 1731132

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23876
/proc/meminfo: memFree=9212/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1837348 CPUtime=882.02
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 458876 0 0 0 87481 721 0 0 25 0 1 0 120955679 1881444352 458720 1992294400 134512640 135752675 4290578336 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 459337 458720 146 303 0 459032 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 1837348



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+885.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23876
/proc/meminfo: memFree=9372/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=1843420 CPUtime=885.63
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4202496 460388 0 0 0 87840 723 0 0 25 0 1 0 120955679 1887662080 460232 1992294400 134512640 135752675 4290578336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23848/statm: 460855 460232 146 303 0 460550 0
Current children cumulated CPU time (s) 885.63
Current children cumulated vsize (KiB) 1843420

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

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

[startup+886.009 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 23876
/proc/meminfo: memFree=9372/2059040 swapFree=4138920/4192956
[pid=23848] ppid=23846 vsize=0 CPUtime=885.73
/proc/23848/stat : 23848 (wbo1.4b) R 23846 23848 23711 0 -1 4203524 460388 0 0 0 87840 733 0 0 25 0 1 0 120955679 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/23848/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 885.73
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 886.082
CPU time (s): 885.806
CPU user time (s): 878.401
CPU system time (s): 7.40487
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1843420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 878.401
system time used= 7.40487
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460388
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= 41
involuntary context switches= 2873

runsolver used 1.49077 second user time and 4.21036 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-25 10:12:00
IDJOB=2680623
IDBENCH=2099
IDSOLVER=1190
FILE ID=node006/2680623-1277453520
PBS_JOBID= 11188151
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 192e079d91d386374bed5b6f1f3b1921
RANDOM SEED=816603123

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1605392 kB
Buffers:         67496 kB
Cached:         280692 kB
SwapCached:       7012 kB
Active:          31516 kB
Inactive:       330648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1605392 kB
SwapTotal:     4192956 kB
SwapFree:      4138920 kB
Dirty:            2880 kB
Writeback:           8 kB
AnonPages:       12568 kB
Mapped:          11320 kB
Slab:            69484 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182228 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= 62552 MiB
End job on node006 at 2010-06-25 10:26:48