Trace number 2680538

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.28 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8c2.opb
MD5SUM86a5a0860b111dc876591f0b93da0f3c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark525
Best CPU time to get the best result obtained on this benchmark26.7209
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 525
Optimality of the best value was proved NO
Number of variables1900
Total number of constraints7639
Number of constraints which are clauses7639
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 1900
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 1900
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 1900
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-2680538-1277453518.opb.
0.00/0.00	c Instance file HOME/instance-2680538-1277453518.opb
0.00/0.00	c File size is 210046 bytes.
0.00/0.03	c Highest Coefficient sum: 11
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      1900                                                |
0.00/0.03	c |  Number Clauses:        7639                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 0                                                   |
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    1900     7639    17170 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 730
0.09/0.12	o 730
0.09/0.12	c Elapsed CPU time: 0.121981 s	Remaining CPU time: 179.878 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |        13 |    1900     7640    19070 |     5000       13     35 |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 708
0.09/0.13	o 708
0.09/0.13	c Elapsed CPU time: 0.123981 s	Remaining CPU time: 179.876 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |        15 |    1900     7641    20970 |     5000       15     33 |  0.000 % |
0.09/0.15	c |       115 |    1900     7641    20970 |     5500      115    599 |  0.000 % |
0.09/0.20	c |       265 |    1900     7641    20970 |     6050      265    659 |  0.001 % |
0.19/0.25	c |       491 |    1900     7641    20970 |     6655      491    688 |  0.000 % |
0.28/0.34	c |       828 |    1900     7641    20970 |     7320      828    683 |  0.002 % |
0.28/0.35	c ===============================================================================
0.28/0.35	c New solution: 706
0.28/0.35	o 706
0.28/0.35	c Elapsed CPU time: 0.337948 s	Remaining CPU time: 179.662 s
0.28/0.35	c ===============================================================================
0.28/0.35	c |       828 |    1900     7642    22870 |     5000      828    683 |  0.002 % |
0.28/0.38	c |       928 |    1900     7642    22870 |     5500      928    687 |  0.003 % |
0.39/0.42	c |      1078 |    1900     7642    22870 |     6050     1078    674 |  0.002 % |
0.39/0.49	c |      1304 |    1900     7642    22870 |     6655     1304    680 |  0.000 % |
0.49/0.59	c |      1642 |    1900     7642    22870 |     7320     1642    687 |  0.003 % |
0.68/0.75	c |      2149 |    1900     7642    22870 |     8052     2149    692 |  0.003 % |
0.89/0.97	c |      2909 |    1900     7642    22870 |     8857     2909    698 |  0.000 % |
1.29/1.31	c |      4049 |    1900     7642    22870 |     9743     4049    704 |  0.000 % |
1.79/1.82	c |      5757 |    1900     7642    22870 |    10717     5757    702 |  0.000 % |
2.58/2.69	c |      8321 |    1900     7642    22870 |    11789     8321    703 |  0.000 % |
3.98/4.05	c |     12166 |    1900     7642    22870 |    12968    12166    707 |  0.000 % |
6.18/6.24	c |     17932 |    1900     7642    22870 |    14265    10656    715 |  0.000 % |
9.59/9.63	c |     26581 |    1900     7642    22870 |    15692    11340    718 |  0.000 % |
14.38/14.42	c |     39555 |    1900     7642    22870 |    17261    15714    710 |  0.000 % |
22.28/22.32	c |     59016 |    1900     7642    22870 |    18987    16396    716 |  0.000 % |
34.98/35.06	c |     88208 |    1900     7642    22870 |    20886    14852    717 |  0.002 % |
56.87/56.98	c |    131998 |    1900     7642    22870 |    22974    12015    717 |  0.000 % |
96.77/96.86	c |    197683 |    1900     7642    22870 |    25272    22771    719 |  0.000 % |
167.54/167.68	c |    296209 |    1900     7642    22870 |    27799    25835    719 |  0.000 % |
182.03/182.12	c There are 0 assigned variables. 0 in cost function.
183.14/183.24	c core #1
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 1
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #2
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 2
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #3
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 3
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #4
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 4
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #5
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 5
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #6
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 6
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #7
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 7
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #8
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 8
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #9
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 9
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #10
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 10
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #11
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 11
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #12
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 12
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #13
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 13
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #14
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 14
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #15
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 15
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #16
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 16
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #17
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 17
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #18
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 18
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #19
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 19
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #20
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 20
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #21
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 21
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #22
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 22
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #23
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 23
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #24
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 24
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #25
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 25
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #26
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 26
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #27
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 27
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #28
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 28
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #29
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 29
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #30
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 30
183.14/183.24	c
183.14/183.24	c
183.14/183.24	c core #31
183.14/183.24	c 
183.14/183.24	c 
183.14/183.24	c Core size: 3	Core Weight: 1	Total Weight: 31
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #32
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 32
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #33
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 33
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #34
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 34
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #35
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 35
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #36
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 36
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #37
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 37
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #38
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 38
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #39
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 39
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #40
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 40
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #41
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 41
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #42
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 42
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #43
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 43
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #44
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 44
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #45
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 45
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #46
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 46
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #47
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 47
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #48
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 48
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #49
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 49
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #50
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 50
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #51
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 51
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #52
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 52
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #53
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 53
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #54
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 54
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #55
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 55
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #56
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 56
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #57
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 57
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #58
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 58
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #59
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 59
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #60
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 60
183.14/183.25	c
183.14/183.25	c
183.14/183.25	c core #61
183.14/183.25	c 
183.14/183.25	c 
183.14/183.25	c Core size: 3	Core Weight: 1	Total Weight: 61
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #62
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 62
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #63
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 63
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #64
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 64
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #65
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 65
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #66
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 66
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #67
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 67
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #68
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 68
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #69
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 69
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #70
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 70
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #71
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 71
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #72
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 72
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #73
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 73
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #74
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 74
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #75
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 75
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #76
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 76
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #77
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 77
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #78
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 78
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #79
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 79
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #80
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 3	Core Weight: 1	Total Weight: 80
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #81
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 81
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #82
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 82
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #83
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 83
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #84
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 84
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #85
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 85
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #86
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 86
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #87
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 87
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #88
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 88
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #89
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 89
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #90
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 9	Core Weight: 1	Total Weight: 90
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #91
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 91
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #92
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 92
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #93
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 93
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #94
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 94
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #95
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 95
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #96
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 96
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #97
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 97
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #98
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 98
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #99
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 99
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #100
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 100
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #101
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 101
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #102
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 102
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #103
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 103
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #104
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 104
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #105
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 105
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #106
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 106
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #107
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 107
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #108
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 108
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #109
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 109
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #110
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 110
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #111
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 111
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #112
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 112
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #113
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 113
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #114
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 114
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #115
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 115
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #116
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 116
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #117
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 117
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #118
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 118
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #119
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 119
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c core #120
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 11	Core Weight: 1	Total Weight: 120
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #121
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 121
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #122
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 122
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #123
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 123
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #124
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 124
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #125
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 125
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #126
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 126
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #127
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 127
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #128
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 128
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #129
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 129
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #130
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 130
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #131
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 131
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #132
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 132
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #133
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 133
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #134
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 134
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #135
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 135
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #136
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 136
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #137
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 137
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #138
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 138
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #139
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 139
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #140
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 140
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #141
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 141
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #142
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 142
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #143
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 143
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #144
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 144
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #145
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 145
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #146
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 146
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #147
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 147
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #148
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 148
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #149
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 149
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #150
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 150
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #151
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 151
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #152
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 152
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #153
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 153
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #154
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 154
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #155
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 155
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #156
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 156
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #157
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 157
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #158
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 158
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #159
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 159
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #160
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 160
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #161
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 161
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #162
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 162
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #163
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 163
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #164
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 164
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #165
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 165
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #166
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 166
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #167
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 167
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #168
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 168
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #169
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 11	Core Weight: 1	Total Weight: 169
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #170
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 16	Core Weight: 1	Total Weight: 170
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #171
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 20	Core Weight: 1	Total Weight: 171
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #172
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 22	Core Weight: 1	Total Weight: 172
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #173
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 19	Core Weight: 1	Total Weight: 173
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #174
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 22	Core Weight: 1	Total Weight: 174
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #175
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 22	Core Weight: 1	Total Weight: 175
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #176
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 19	Core Weight: 1	Total Weight: 176
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #177
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 22	Core Weight: 1	Total Weight: 177
184.74/184.89	c
184.74/184.89	c
184.74/184.89	c core #178
184.74/184.89	c 
184.74/184.89	c 
184.74/184.89	c Core size: 22	Core Weight: 1	Total Weight: 178
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #179
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 179
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #180
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 180
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #181
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 181
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #182
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 20	Core Weight: 1	Total Weight: 182
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #183
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 183
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #184
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 184
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #185
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 185
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #186
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 186
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #187
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 187
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #188
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 188
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #189
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 16	Core Weight: 1	Total Weight: 189
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #190
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 20	Core Weight: 1	Total Weight: 190
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #191
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 191
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #192
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 19	Core Weight: 1	Total Weight: 192
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #193
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 193
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #194
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 194
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #195
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 19	Core Weight: 1	Total Weight: 195
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #196
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 196
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #197
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 197
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #198
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 198
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #199
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 199
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #200
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 200
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #201
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 20	Core Weight: 1	Total Weight: 201
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #202
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 202
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #203
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 203
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #204
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 204
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #205
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 205
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #206
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 206
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #207
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 207
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #208
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 16	Core Weight: 1	Total Weight: 208
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #209
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 20	Core Weight: 1	Total Weight: 209
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #210
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 210
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #211
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 19	Core Weight: 1	Total Weight: 211
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #212
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 212
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #213
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 213
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #214
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 19	Core Weight: 1	Total Weight: 214
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #215
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 215
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #216
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 216
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #217
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 217
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #218
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 218
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #219
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 21	Core Weight: 1	Total Weight: 219
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #220
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 20	Core Weight: 1	Total Weight: 220
185.74/185.86	c
185.74/185.86	c
185.74/185.86	c core #221
185.74/185.86	c 
185.74/185.86	c 
185.74/185.86	c Core size: 22	Core Weight: 1	Total Weight: 221
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #222
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 21	Core Weight: 1	Total Weight: 222
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #223
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 21	Core Weight: 1	Total Weight: 223
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #224
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 21	Core Weight: 1	Total Weight: 224
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #225
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 21	Core Weight: 1	Total Weight: 225
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #226
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 21	Core Weight: 1	Total Weight: 226
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #227
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 16	Core Weight: 1	Total Weight: 227
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #228
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 20	Core Weight: 1	Total Weight: 228
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #229
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 22	Core Weight: 1	Total Weight: 229
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #230
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 19	Core Weight: 1	Total Weight: 230
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #231
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 22	Core Weight: 1	Total Weight: 231
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #232
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 22	Core Weight: 1	Total Weight: 232
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #233
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 19	Core Weight: 1	Total Weight: 233
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #234
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 22	Core Weight: 1	Total Weight: 234
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #235
185.74/185.87	c 
185.74/185.87	c 
185.74/185.87	c Core size: 22	Core Weight: 1	Total Weight: 235
185.74/185.87	c
185.74/185.87	c
185.74/185.87	c core #236
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 236
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #237
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 237
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #238
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 238
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #239
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 239
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #240
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 240
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #241
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 241
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #242
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 242
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #243
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 243
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #244
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 244
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #245
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 245
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #246
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 16	Core Weight: 1	Total Weight: 246
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #247
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 247
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #248
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 248
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #249
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 249
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #250
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 250
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #251
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 251
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #252
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 252
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #253
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 253
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #254
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 254
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #255
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 255
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #256
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 256
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #257
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 257
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #258
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 258
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #259
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 259
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #260
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 260
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #261
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 261
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #262
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 262
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #263
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 263
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #264
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 264
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #265
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 16	Core Weight: 1	Total Weight: 265
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #266
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 266
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #267
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 267
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #268
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 268
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #269
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 269
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #270
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 270
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #271
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 271
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #272
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 272
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #273
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 273
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #274
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 274
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #275
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 275
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #276
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 276
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #277
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 277
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #278
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 278
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #279
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 279
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #280
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 280
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #281
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 281
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #282
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 282
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #283
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 283
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #284
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 16	Core Weight: 1	Total Weight: 284
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #285
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 20	Core Weight: 1	Total Weight: 285
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #286
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 286
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #287
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 287
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #288
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 288
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #289
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 289
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #290
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 19	Core Weight: 1	Total Weight: 290
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #291
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 291
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #292
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 22	Core Weight: 1	Total Weight: 292
186.84/186.96	c
186.84/186.96	c
186.84/186.96	c core #293
186.84/186.96	c 
186.84/186.96	c 
186.84/186.96	c Core size: 21	Core Weight: 1	Total Weight: 293
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #294
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 294
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #295
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 295
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #296
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 296
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #297
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 297
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #298
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 298
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #299
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 299
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #300
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 300
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #301
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 301
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #302
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 302
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #303
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 16	Core Weight: 1	Total Weight: 303
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #304
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 304
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #305
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 305
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #306
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 306
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #307
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 307
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #308
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 308
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #309
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 309
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #310
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 310
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #311
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 311
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #312
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 312
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #313
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 313
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #314
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 314
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #315
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 315
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #316
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 316
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #317
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 317
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #318
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 318
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #319
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 319
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #320
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 320
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #321
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 321
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #322
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 16	Core Weight: 1	Total Weight: 322
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #323
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 323
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #324
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 324
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #325
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 325
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #326
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 326
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #327
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 327
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #328
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 328
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #329
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 329
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #330
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 330
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #331
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 331
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #332
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 332
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #333
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 333
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #334
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 334
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #335
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 335
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #336
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 336
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #337
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 337
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #338
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 338
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #339
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 339
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #340
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 340
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #341
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 16	Core Weight: 1	Total Weight: 341
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #342
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 20	Core Weight: 1	Total Weight: 342
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #343
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 343
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #344
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 344
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #345
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 345
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #346
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 346
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #347
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 19	Core Weight: 1	Total Weight: 347
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #348
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 348
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #349
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 349
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #350
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 21	Core Weight: 1	Total Weight: 350
188.13/188.20	c
188.13/188.20	c
188.13/188.20	c core #351
188.13/188.20	c 
188.13/188.20	c 
188.13/188.20	c Core size: 22	Core Weight: 1	Total Weight: 351
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #352
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 352
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #353
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 20	Core Weight: 1	Total Weight: 353
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #354
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 22	Core Weight: 1	Total Weight: 354
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #355
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 355
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #356
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 356
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #357
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 357
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #358
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 358
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #359
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 21	Core Weight: 1	Total Weight: 359
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #360
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 191	Core Weight: 1	Total Weight: 360
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c core #361
188.33/188.45	c 
188.33/188.45	c 
188.33/188.45	c Core size: 181	Core Weight: 1	Total Weight: 361
188.33/188.45	c
188.33/188.45	c
188.33/188.45	c ============================[ Search Statistics ]==============================
188.33/188.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.33/188.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.33/188.45	c ===============================================================================
188.33/188.45	c |         0 |    3760     9910    28484 |     5000        0    nan |  0.000 % |
188.33/188.46	c ===============================================================================
188.33/188.48	c core #362
188.33/188.48	c 
188.33/188.48	c 
188.33/188.48	c Core size: 14	Core Weight: 1	Total Weight: 362
188.33/188.48	c
188.33/188.48	c
188.33/188.48	c ============================[ Search Statistics ]==============================
188.33/188.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.33/188.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.33/188.48	c ===============================================================================
188.33/188.48	c |         0 |    3768     9911    28500 |     5000        0    nan |  0.000 % |
188.33/188.49	c ===============================================================================
188.43/188.51	c core #363
188.43/188.51	c 
188.43/188.51	c 
188.43/188.51	c Core size: 10	Core Weight: 1	Total Weight: 363
188.43/188.51	c
188.43/188.51	c
188.43/188.51	c ============================[ Search Statistics ]==============================
188.43/188.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.51	c ===============================================================================
188.43/188.51	c |         0 |    3774     9912    28512 |     5000        0    nan |  0.000 % |
188.43/188.52	c ===============================================================================
188.43/188.54	c core #364
188.43/188.54	c 
188.43/188.54	c 
188.43/188.54	c Core size: 12	Core Weight: 1	Total Weight: 364
188.43/188.54	c
188.43/188.54	c
188.43/188.54	c ============================[ Search Statistics ]==============================
188.43/188.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.54	c ===============================================================================
188.43/188.54	c |         0 |    3781     9913    28526 |     5000        0    nan |  0.000 % |
188.43/188.54	c ===============================================================================
188.43/188.57	c core #365
188.43/188.57	c 
188.43/188.57	c 
188.43/188.57	c Core size: 10	Core Weight: 1	Total Weight: 365
188.43/188.57	c
188.43/188.57	c
188.43/188.57	c ============================[ Search Statistics ]==============================
188.43/188.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.57	c ===============================================================================
188.43/188.57	c |         0 |    3787     9914    28538 |     5000        0    nan |  0.000 % |
188.43/188.57	c ===============================================================================
188.53/188.60	c core #366
188.53/188.60	c 
188.53/188.60	c 
188.53/188.60	c Core size: 14	Core Weight: 1	Total Weight: 366
188.53/188.60	c
188.53/188.60	c
188.53/188.60	c ============================[ Search Statistics ]==============================
188.53/188.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.60	c ===============================================================================
188.53/188.60	c |         0 |    3795     9915    28554 |     5000        0    nan |  0.000 % |
188.53/188.60	c ===============================================================================
188.53/188.63	c core #367
188.53/188.63	c 
188.53/188.63	c 
188.53/188.63	c Core size: 27	Core Weight: 1	Total Weight: 367
188.53/188.63	c
188.53/188.63	c
188.53/188.63	c ============================[ Search Statistics ]==============================
188.53/188.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.63	c ===============================================================================
188.53/188.63	c |         0 |    3805     9916    28574 |     5000        0    nan |  0.000 % |
188.53/188.63	c ===============================================================================
188.53/188.66	c core #368
188.53/188.66	c 
188.53/188.66	c 
188.53/188.66	c Core size: 10	Core Weight: 1	Total Weight: 368
188.53/188.66	c
188.53/188.66	c
188.53/188.66	c ============================[ Search Statistics ]==============================
188.53/188.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.66	c ===============================================================================
188.53/188.66	c |         0 |    3811     9917    28586 |     5000        0    nan |  0.000 % |
188.53/188.66	c ===============================================================================
188.53/188.69	c core #369
188.53/188.69	c 
188.53/188.69	c 
188.53/188.69	c Core size: 25	Core Weight: 1	Total Weight: 369
188.53/188.69	c
188.53/188.69	c
188.53/188.69	c ============================[ Search Statistics ]==============================
188.53/188.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.69	c ===============================================================================
188.53/188.69	c |         0 |    3820     9918    28604 |     5000        0    nan |  0.000 % |
188.53/188.69	c ===============================================================================
188.63/188.72	c core #370
188.63/188.72	c 
188.63/188.72	c 
188.63/188.72	c Core size: 28	Core Weight: 1	Total Weight: 370
188.63/188.72	c
188.63/188.72	c
188.63/188.72	c ============================[ Search Statistics ]==============================
188.63/188.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.63/188.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.63/188.72	c ===============================================================================
188.63/188.72	c |         0 |    3831     9919    28626 |     5000        0    nan |  0.000 % |
188.63/188.72	c ===============================================================================
188.63/188.75	c core #371
188.63/188.75	c 
188.63/188.75	c 
188.63/188.75	c Core size: 11	Core Weight: 1	Total Weight: 371
188.63/188.75	c
188.63/188.75	c
188.63/188.75	c ============================[ Search Statistics ]==============================
188.63/188.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.63/188.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.63/188.75	c ===============================================================================
188.63/188.75	c |         0 |    3839     9920    28642 |     5000        0    nan |  0.000 % |
188.63/188.76	c ===============================================================================
188.63/188.78	c core #372
188.63/188.78	c 
188.63/188.78	c 
188.63/188.78	c Core size: 14	Core Weight: 1	Total Weight: 372
188.63/188.78	c
188.63/188.78	c
188.63/188.78	c ============================[ Search Statistics ]==============================
188.63/188.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.63/188.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.63/188.78	c ===============================================================================
188.63/188.78	c |         0 |    3847     9921    28658 |     5000        0    nan |  0.000 % |
188.63/188.79	c ===============================================================================
188.73/188.81	c core #373
188.73/188.81	c 
188.73/188.81	c 
188.73/188.81	c Core size: 12	Core Weight: 1	Total Weight: 373
188.73/188.81	c
188.73/188.81	c
188.73/188.81	c ============================[ Search Statistics ]==============================
188.73/188.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.81	c ===============================================================================
188.73/188.81	c |         0 |    3854     9922    28672 |     5000        0    nan |  0.000 % |
188.73/188.82	c ===============================================================================
188.73/188.84	c core #374
188.73/188.84	c 
188.73/188.84	c 
188.73/188.84	c Core size: 14	Core Weight: 1	Total Weight: 374
188.73/188.84	c
188.73/188.84	c
188.73/188.84	c ============================[ Search Statistics ]==============================
188.73/188.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.84	c ===============================================================================
188.73/188.84	c |         0 |    3862     9923    28688 |     5000        0    nan |  0.000 % |
188.73/188.85	c ===============================================================================
188.73/188.88	c core #375
188.73/188.88	c 
188.73/188.88	c 
188.73/188.88	c Core size: 26	Core Weight: 1	Total Weight: 375
188.73/188.88	c
188.73/188.88	c
188.73/188.88	c ============================[ Search Statistics ]==============================
188.73/188.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.88	c ===============================================================================
188.73/188.88	c |         0 |    3870     9924    28704 |     5000        0    nan |  0.000 % |
188.73/188.88	c ===============================================================================
188.83/188.91	c core #376
188.83/188.91	c 
188.83/188.91	c 
188.83/188.91	c Core size: 10	Core Weight: 1	Total Weight: 376
188.83/188.91	c
188.83/188.91	c
188.83/188.91	c ============================[ Search Statistics ]==============================
188.83/188.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.91	c ===============================================================================
188.83/188.91	c |         0 |    3876     9925    28716 |     5000        0    nan |  0.000 % |
188.83/188.91	c ===============================================================================
188.83/188.94	c core #377
188.83/188.94	c 
188.83/188.94	c 
188.83/188.94	c Core size: 14	Core Weight: 1	Total Weight: 377
188.83/188.94	c
188.83/188.94	c
188.83/188.94	c ============================[ Search Statistics ]==============================
188.83/188.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.94	c ===============================================================================
188.83/188.94	c |         0 |    3884     9926    28732 |     5000        0    nan |  0.000 % |
188.83/188.95	c ===============================================================================
188.83/188.97	c core #378
188.83/188.97	c 
188.83/188.97	c 
188.83/188.97	c Core size: 12	Core Weight: 1	Total Weight: 378
188.83/188.97	c
188.83/188.97	c
188.83/188.97	c ============================[ Search Statistics ]==============================
188.83/188.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.97	c ===============================================================================
188.83/188.97	c |         0 |    3891     9927    28746 |     5000        0    nan |  0.000 % |
188.83/188.98	c ===============================================================================
188.93/189.01	c core #379
188.93/189.01	c 
188.93/189.01	c 
188.93/189.01	c Core size: 12	Core Weight: 1	Total Weight: 379
188.93/189.01	c
188.93/189.01	c
188.93/189.01	c ============================[ Search Statistics ]==============================
188.93/189.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.93/189.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.93/189.01	c ===============================================================================
188.93/189.01	c |         0 |    3898     9928    28760 |     5000        0    nan |  0.000 % |
188.93/189.01	c ===============================================================================
188.93/189.04	c core #380
188.93/189.04	c 
188.93/189.04	c 
188.93/189.04	c Core size: 20	Core Weight: 1	Total Weight: 380
188.93/189.04	c
188.93/189.04	c
188.93/189.04	c ============================[ Search Statistics ]==============================
188.93/189.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.93/189.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.93/189.04	c ===============================================================================
188.93/189.04	c |         0 |    3909     9929    28782 |     5000        0    nan |  0.000 % |
188.93/189.05	c ===============================================================================
188.93/189.08	c core #381
188.93/189.08	c 
188.93/189.08	c 
188.93/189.08	c Core size: 29	Core Weight: 1	Total Weight: 381
188.93/189.08	c
188.93/189.08	c
188.93/189.08	c ============================[ Search Statistics ]==============================
188.93/189.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.93/189.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.93/189.08	c ===============================================================================
188.93/189.08	c |         0 |    3919     9931    28804 |     5000        0    nan |  0.000 % |
188.93/189.08	c ===============================================================================
189.04/189.11	c core #382
189.04/189.11	c 
189.04/189.11	c 
189.04/189.11	c Core size: 14	Core Weight: 1	Total Weight: 382
189.04/189.11	c
189.04/189.11	c
189.04/189.11	c ============================[ Search Statistics ]==============================
189.04/189.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.11	c ===============================================================================
189.04/189.11	c |         0 |    3927     9932    28820 |     5000        0    nan |  0.000 % |
189.04/189.12	c ===============================================================================
189.04/189.15	c core #383
189.04/189.15	c 
189.04/189.15	c 
189.04/189.15	c Core size: 28	Core Weight: 1	Total Weight: 383
189.04/189.15	c
189.04/189.15	c
189.04/189.15	c ============================[ Search Statistics ]==============================
189.04/189.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.15	c ===============================================================================
189.04/189.15	c |         0 |    3940     9933    28846 |     5000        0    nan |  0.000 % |
189.04/189.15	c ===============================================================================
189.04/189.18	c core #384
189.04/189.18	c 
189.04/189.18	c 
189.04/189.18	c Core size: 12	Core Weight: 1	Total Weight: 384
189.04/189.18	c
189.04/189.18	c
189.04/189.18	c ============================[ Search Statistics ]==============================
189.04/189.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.18	c ===============================================================================
189.04/189.18	c |         0 |    3947     9934    28860 |     5000        0    nan |  0.000 % |
189.04/189.19	c ===============================================================================
189.14/189.21	c core #385
189.14/189.21	c 
189.14/189.21	c 
189.14/189.21	c Core size: 10	Core Weight: 1	Total Weight: 385
189.14/189.21	c
189.14/189.21	c
189.14/189.21	c ============================[ Search Statistics ]==============================
189.14/189.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.21	c ===============================================================================
189.14/189.21	c |         0 |    3953     9935    28872 |     5000        0    nan |  0.000 % |
189.14/189.22	c ===============================================================================
189.14/189.25	c core #386
189.14/189.25	c 
189.14/189.25	c 
189.14/189.25	c Core size: 19	Core Weight: 1	Total Weight: 386
189.14/189.25	c
189.14/189.25	c
189.14/189.25	c ============================[ Search Statistics ]==============================
189.14/189.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.25	c ===============================================================================
189.14/189.25	c |         0 |    3965     9938    28902 |     5000        0    nan |  0.000 % |
189.14/189.26	c ===============================================================================
189.14/189.29	c core #387
189.14/189.29	c 
189.14/189.29	c 
189.14/189.29	c Core size: 14	Core Weight: 1	Total Weight: 387
189.14/189.29	c
189.14/189.29	c
189.14/189.29	c ============================[ Search Statistics ]==============================
189.14/189.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.29	c ===============================================================================
189.14/189.29	c |         0 |    3973     9939    28918 |     5000        0    nan |  0.000 % |
189.14/189.30	c ===============================================================================
189.23/189.32	c core #388
189.23/189.32	c 
189.23/189.32	c 
189.23/189.32	c Core size: 26	Core Weight: 1	Total Weight: 388
189.23/189.32	c
189.23/189.32	c
189.23/189.32	c ============================[ Search Statistics ]==============================
189.23/189.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.32	c ===============================================================================
189.23/189.32	c |         0 |    3997     9940    28966 |     5000        0    nan |  0.000 % |
189.23/189.33	c ===============================================================================
189.23/189.36	c core #389
189.23/189.36	c 
189.23/189.36	c 
189.23/189.36	c Core size: 12	Core Weight: 1	Total Weight: 389
189.23/189.36	c
189.23/189.36	c
189.23/189.36	c ============================[ Search Statistics ]==============================
189.23/189.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.36	c ===============================================================================
189.23/189.36	c |         0 |    4004     9941    28980 |     5000        0    nan |  0.000 % |
189.23/189.36	c ===============================================================================
189.23/189.39	c core #390
189.23/189.39	c 
189.23/189.39	c 
189.23/189.39	c Core size: 14	Core Weight: 1	Total Weight: 390
189.23/189.39	c
189.23/189.39	c
189.23/189.39	c ============================[ Search Statistics ]==============================
189.23/189.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.39	c ===============================================================================
189.23/189.39	c |         0 |    4012     9942    28996 |     5000        0    nan |  0.000 % |
189.33/189.40	c ===============================================================================
189.33/189.43	c core #391
189.33/189.43	c 
189.33/189.43	c 
189.33/189.43	c Core size: 12	Core Weight: 1	Total Weight: 391
189.33/189.43	c
189.33/189.43	c
189.33/189.43	c ============================[ Search Statistics ]==============================
189.33/189.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.43	c ===============================================================================
189.33/189.43	c |         0 |    4019     9943    29010 |     5000        0    nan |  0.000 % |
189.33/189.43	c ===============================================================================
189.33/189.46	c core #392
189.33/189.46	c 
189.33/189.46	c 
189.33/189.46	c Core size: 14	Core Weight: 1	Total Weight: 392
189.33/189.46	c
189.33/189.46	c
189.33/189.46	c ============================[ Search Statistics ]==============================
189.33/189.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.46	c ===============================================================================
189.33/189.46	c |         0 |    4027     9944    29026 |     5000        0    nan |  0.000 % |
189.33/189.47	c ===============================================================================
189.43/189.50	c core #393
189.43/189.50	c 
189.43/189.50	c 
189.43/189.50	c Core size: 12	Core Weight: 1	Total Weight: 393
189.43/189.50	c
189.43/189.50	c
189.43/189.50	c ============================[ Search Statistics ]==============================
189.43/189.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.50	c ===============================================================================
189.43/189.50	c |         0 |    4034     9945    29040 |     5000        0    nan |  0.000 % |
189.43/189.50	c ===============================================================================
189.43/189.53	c core #394
189.43/189.53	c 
189.43/189.53	c 
189.43/189.53	c Core size: 13	Core Weight: 1	Total Weight: 394
189.43/189.53	c
189.43/189.53	c
189.43/189.53	c ============================[ Search Statistics ]==============================
189.43/189.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.53	c ===============================================================================
189.43/189.53	c |         0 |    4043     9946    29058 |     5000        0    nan |  0.000 % |
189.43/189.54	c ===============================================================================
189.43/189.57	c core #395
189.43/189.57	c 
189.43/189.57	c 
189.43/189.57	c Core size: 10	Core Weight: 1	Total Weight: 395
189.43/189.57	c
189.43/189.57	c
189.43/189.57	c ============================[ Search Statistics ]==============================
189.43/189.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.57	c ===============================================================================
189.43/189.57	c |         0 |    4049     9947    29070 |     5000        0    nan |  0.000 % |
189.43/189.58	c ===============================================================================
189.53/189.61	c core #396
189.53/189.61	c 
189.53/189.61	c 
189.53/189.61	c Core size: 25	Core Weight: 1	Total Weight: 396
189.53/189.61	c
189.53/189.61	c
189.53/189.61	c ============================[ Search Statistics ]==============================
189.53/189.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.61	c ===============================================================================
189.53/189.61	c |         0 |    4062     9948    29096 |     5000        0    nan |  0.000 % |
189.53/189.62	c ===============================================================================
189.53/189.65	c core #397
189.53/189.65	c 
189.53/189.65	c 
189.53/189.65	c Core size: 32	Core Weight: 1	Total Weight: 397
189.53/189.65	c
189.53/189.65	c
189.53/189.65	c ============================[ Search Statistics ]==============================
189.53/189.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.65	c ===============================================================================
189.53/189.65	c |         0 |    4076     9949    29124 |     5000        0    nan |  0.000 % |
189.53/189.65	c ===============================================================================
189.53/189.68	c core #398
189.53/189.68	c 
189.53/189.68	c 
189.53/189.68	c Core size: 25	Core Weight: 1	Total Weight: 398
189.53/189.68	c
189.53/189.68	c
189.53/189.68	c ============================[ Search Statistics ]==============================
189.53/189.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.68	c ===============================================================================
189.53/189.68	c |         0 |    4085     9950    29142 |     5000        0    nan |  0.000 % |
189.53/189.69	c ===============================================================================
189.63/189.72	c core #399
189.63/189.72	c 
189.63/189.72	c 
189.63/189.72	c Core size: 12	Core Weight: 1	Total Weight: 399
189.63/189.72	c
189.63/189.72	c
189.63/189.72	c ============================[ Search Statistics ]==============================
189.63/189.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.72	c ===============================================================================
189.63/189.72	c |         0 |    4092     9951    29156 |     5000        0    nan |  0.000 % |
189.63/189.73	c ===============================================================================
189.63/189.76	c core #400
189.63/189.76	c 
189.63/189.76	c 
189.63/189.76	c Core size: 45	Core Weight: 1	Total Weight: 400
189.63/189.76	c
189.63/189.76	c
189.63/189.76	c ============================[ Search Statistics ]==============================
189.63/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.76	c ===============================================================================
189.63/189.76	c |         0 |    4120     9952    29212 |     5000        0    nan |  0.000 % |
189.63/189.77	c ===============================================================================
189.63/189.79	c core #401
189.63/189.79	c 
189.63/189.79	c 
189.63/189.79	c Core size: 10	Core Weight: 1	Total Weight: 401
189.63/189.79	c
189.63/189.79	c
189.63/189.79	c ============================[ Search Statistics ]==============================
189.63/189.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.79	c ===============================================================================
189.63/189.79	c |         0 |    4126     9953    29224 |     5000        0    nan |  0.000 % |
189.74/189.80	c ===============================================================================
189.74/189.83	c core #402
189.74/189.83	c 
189.74/189.83	c 
189.74/189.83	c Core size: 12	Core Weight: 1	Total Weight: 402
189.74/189.83	c
189.74/189.83	c
189.74/189.83	c ============================[ Search Statistics ]==============================
189.74/189.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.83	c ===============================================================================
189.74/189.83	c |         0 |    4133     9954    29238 |     5000        0    nan |  0.000 % |
189.74/189.84	c ===============================================================================
189.74/189.87	c core #403
189.74/189.87	c 
189.74/189.87	c 
189.74/189.87	c Core size: 12	Core Weight: 1	Total Weight: 403
189.74/189.87	c
189.74/189.87	c
189.74/189.87	c ============================[ Search Statistics ]==============================
189.74/189.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.87	c ===============================================================================
189.74/189.87	c |         0 |    4140     9955    29252 |     5000        0    nan |  0.000 % |
189.74/189.87	c ===============================================================================
189.84/189.90	c core #404
189.84/189.90	c 
189.84/189.90	c 
189.84/189.90	c Core size: 12	Core Weight: 1	Total Weight: 404
189.84/189.90	c
189.84/189.90	c
189.84/189.90	c ============================[ Search Statistics ]==============================
189.84/189.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.90	c ===============================================================================
189.84/189.90	c |         0 |    4147     9956    29266 |     5000        0    nan |  0.000 % |
189.84/189.91	c ===============================================================================
189.84/189.94	c core #405
189.84/189.94	c 
189.84/189.94	c 
189.84/189.94	c Core size: 12	Core Weight: 1	Total Weight: 405
189.84/189.94	c
189.84/189.94	c
189.84/189.94	c ============================[ Search Statistics ]==============================
189.84/189.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.94	c ===============================================================================
189.84/189.94	c |         0 |    4154     9957    29280 |     5000        0    nan |  0.000 % |
189.84/189.95	c ===============================================================================
189.84/189.98	c core #406
189.84/189.98	c 
189.84/189.98	c 
189.84/189.98	c Core size: 12	Core Weight: 1	Total Weight: 406
189.84/189.98	c
189.84/189.98	c
189.84/189.98	c ============================[ Search Statistics ]==============================
189.84/189.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.84/189.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.84/189.98	c ===============================================================================
189.84/189.98	c |         0 |    4161     9958    29294 |     5000        0    nan |  0.000 % |
189.84/189.99	c ===============================================================================
189.94/190.02	c core #407
189.94/190.02	c 
189.94/190.02	c 
189.94/190.02	c Core size: 27	Core Weight: 1	Total Weight: 407
189.94/190.02	c
189.94/190.02	c
189.94/190.02	c ============================[ Search Statistics ]==============================
189.94/190.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.02	c ===============================================================================
189.94/190.02	c |         0 |    4172     9959    29316 |     5000        0    nan |  0.000 % |
189.94/190.02	c ===============================================================================
189.94/190.05	c core #408
189.94/190.05	c 
189.94/190.05	c 
189.94/190.05	c Core size: 24	Core Weight: 1	Total Weight: 408
189.94/190.05	c
189.94/190.05	c
189.94/190.05	c ============================[ Search Statistics ]==============================
189.94/190.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.05	c ===============================================================================
189.94/190.05	c |         0 |    4178     9960    29328 |     5000        0    nan |  0.000 % |
189.94/190.06	c ===============================================================================
189.94/190.09	c core #409
189.94/190.09	c 
189.94/190.09	c 
189.94/190.09	c Core size: 12	Core Weight: 1	Total Weight: 409
189.94/190.09	c
189.94/190.09	c
189.94/190.09	c ============================[ Search Statistics ]==============================
189.94/190.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.09	c ===============================================================================
189.94/190.09	c |         0 |    4185     9961    29342 |     5000        0    nan |  0.000 % |
190.04/190.10	c ===============================================================================
190.04/190.13	c core #410
190.04/190.13	c 
190.04/190.13	c 
190.04/190.13	c Core size: 12	Core Weight: 1	Total Weight: 410
190.04/190.13	c
190.04/190.13	c
190.04/190.13	c ============================[ Search Statistics ]==============================
190.04/190.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.13	c ===============================================================================
190.04/190.13	c |         0 |    4192     9962    29356 |     5000        0    nan |  0.000 % |
190.04/190.13	c ===============================================================================
190.04/190.16	c core #411
190.04/190.16	c 
190.04/190.16	c 
190.04/190.16	c Core size: 26	Core Weight: 1	Total Weight: 411
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 |    4200     9963    29372 |     5000        0    nan |  0.000 % |
190.04/190.17	c ===============================================================================
190.14/190.20	c core #412
190.14/190.20	c 
190.14/190.20	c 
190.14/190.20	c Core size: 14	Core Weight: 1	Total Weight: 412
190.14/190.20	c
190.14/190.20	c
190.14/190.20	c ============================[ Search Statistics ]==============================
190.14/190.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.20	c ===============================================================================
190.14/190.20	c |         0 |    4207     9964    29386 |     5000        0    nan |  0.000 % |
190.14/190.21	c ===============================================================================
190.14/190.24	c core #413
190.14/190.24	c 
190.14/190.24	c 
190.14/190.24	c Core size: 27	Core Weight: 1	Total Weight: 413
190.14/190.24	c
190.14/190.24	c
190.14/190.24	c ============================[ Search Statistics ]==============================
190.14/190.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.24	c ===============================================================================
190.14/190.24	c |         0 |    4216     9965    29404 |     5000        0    nan |  0.000 % |
190.14/190.24	c ===============================================================================
190.14/190.27	c core #414
190.14/190.27	c 
190.14/190.27	c 
190.14/190.27	c Core size: 26	Core Weight: 1	Total Weight: 414
190.14/190.27	c
190.14/190.27	c
190.14/190.27	c ============================[ Search Statistics ]==============================
190.14/190.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.27	c ===============================================================================
190.14/190.27	c |         0 |    4229     9966    29430 |     5000        0    nan |  0.000 % |
190.14/190.28	c ===============================================================================
190.24/190.31	c core #415
190.24/190.31	c 
190.24/190.31	c 
190.24/190.31	c Core size: 20	Core Weight: 1	Total Weight: 415
190.24/190.31	c
190.24/190.31	c
190.24/190.31	c ============================[ Search Statistics ]==============================
190.24/190.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.31	c ===============================================================================
190.24/190.31	c |         0 |    4242     9967    29456 |     5000        0    nan |  0.000 % |
190.24/190.32	c ===============================================================================
190.24/190.35	c core #416
190.24/190.35	c 
190.24/190.35	c 
190.24/190.35	c Core size: 20	Core Weight: 1	Total Weight: 416
190.24/190.35	c
190.24/190.35	c
190.24/190.35	c ============================[ Search Statistics ]==============================
190.24/190.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.35	c ===============================================================================
190.24/190.35	c |         0 |    4254     9968    29480 |     5000        0    nan |  0.000 % |
190.24/190.36	c ===============================================================================
190.24/190.39	c core #417
190.24/190.39	c 
190.24/190.39	c 
190.24/190.39	c Core size: 13	Core Weight: 1	Total Weight: 417
190.24/190.39	c
190.24/190.39	c
190.24/190.39	c ============================[ Search Statistics ]==============================
190.24/190.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.39	c ===============================================================================
190.24/190.39	c |         0 |    4263     9969    29498 |     5000        0    nan |  0.000 % |
190.24/190.39	c ===============================================================================
190.34/190.42	c core #418
190.34/190.42	c 
190.34/190.42	c 
190.34/190.42	c Core size: 28	Core Weight: 1	Total Weight: 418
190.34/190.42	c
190.34/190.42	c
190.34/190.42	c ============================[ Search Statistics ]==============================
190.34/190.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.42	c ===============================================================================
190.34/190.42	c |         0 |    4271     9970    29514 |     5000        0    nan |  0.000 % |
190.34/190.43	c ===============================================================================
190.34/190.46	c core #419
190.34/190.46	c 
190.34/190.46	c 
190.34/190.46	c Core size: 29	Core Weight: 1	Total Weight: 419
190.34/190.46	c
190.34/190.46	c
190.34/190.46	c ============================[ Search Statistics ]==============================
190.34/190.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.46	c ===============================================================================
190.34/190.46	c |         0 |    4280     9971    29532 |     5000        0    nan |  0.000 % |
190.34/190.48	c ===============================================================================
190.43/190.51	c core #420
190.43/190.51	c 
190.43/190.51	c 
190.43/190.51	c Core size: 18	Core Weight: 1	Total Weight: 420
190.43/190.51	c
190.43/190.51	c
190.43/190.51	c ============================[ Search Statistics ]==============================
190.43/190.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.51	c ===============================================================================
190.43/190.51	c |         0 |    4291     9972    29554 |     5000        0    nan |  0.000 % |
190.43/190.52	c ===============================================================================
190.43/190.55	c core #421
190.43/190.55	c 
190.43/190.55	c 
190.43/190.55	c Core size: 10	Core Weight: 1	Total Weight: 421
190.43/190.55	c
190.43/190.55	c
190.43/190.55	c ============================[ Search Statistics ]==============================
190.43/190.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.55	c ===============================================================================
190.43/190.55	c |         0 |    4297     9973    29566 |     5000        0    nan |  0.000 % |
190.43/190.55	c ===============================================================================
190.43/190.58	c core #422
190.43/190.58	c 
190.43/190.58	c 
190.43/190.58	c Core size: 10	Core Weight: 1	Total Weight: 422
190.43/190.58	c
190.43/190.58	c
190.43/190.58	c ============================[ Search Statistics ]==============================
190.43/190.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.58	c ===============================================================================
190.43/190.58	c |         0 |    4303     9974    29578 |     5000        0    nan |  0.000 % |
190.43/190.59	c ===============================================================================
190.53/190.62	c core #423
190.53/190.62	c 
190.53/190.62	c 
190.53/190.62	c Core size: 15	Core Weight: 1	Total Weight: 423
190.53/190.62	c
190.53/190.62	c
190.53/190.62	c ============================[ Search Statistics ]==============================
190.53/190.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.62	c ===============================================================================
190.53/190.62	c |         0 |    4312     9975    29596 |     5000        0    nan |  0.000 % |
190.53/190.63	c ===============================================================================
190.53/190.66	c core #424
190.53/190.66	c 
190.53/190.66	c 
190.53/190.66	c Core size: 14	Core Weight: 1	Total Weight: 424
190.53/190.66	c
190.53/190.66	c
190.53/190.66	c ============================[ Search Statistics ]==============================
190.53/190.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.66	c ===============================================================================
190.53/190.66	c |         0 |    4320     9976    29612 |     5000        0    nan |  0.000 % |
190.53/190.67	c ===============================================================================
190.63/190.70	c core #425
190.63/190.70	c 
190.63/190.70	c 
190.63/190.70	c Core size: 14	Core Weight: 1	Total Weight: 425
190.63/190.70	c
190.63/190.70	c
190.63/190.70	c ============================[ Search Statistics ]==============================
190.63/190.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.70	c ===============================================================================
190.63/190.70	c |         0 |    4328     9977    29628 |     5000        0    nan |  0.000 % |
190.63/190.71	c ===============================================================================
190.63/190.74	c core #426
190.63/190.74	c 
190.63/190.74	c 
190.63/190.74	c Core size: 10	Core Weight: 1	Total Weight: 426
190.63/190.74	c
190.63/190.74	c
190.63/190.74	c ============================[ Search Statistics ]==============================
190.63/190.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.74	c ===============================================================================
190.63/190.74	c |         0 |    4334     9978    29640 |     5000        0    nan |  0.000 % |
190.63/190.75	c ===============================================================================
190.63/190.78	c core #427
190.63/190.78	c 
190.63/190.78	c 
190.63/190.78	c Core size: 31	Core Weight: 1	Total Weight: 427
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 |    4345     9979    29662 |     5000        0    nan |  0.000 % |
190.63/190.79	c ===============================================================================
190.73/190.82	c core #428
190.73/190.82	c 
190.73/190.82	c 
190.73/190.82	c Core size: 30	Core Weight: 1	Total Weight: 428
190.73/190.82	c
190.73/190.82	c
190.73/190.82	c ============================[ Search Statistics ]==============================
190.73/190.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.82	c ===============================================================================
190.73/190.82	c |         0 |    4354     9980    29680 |     5000        0    nan |  0.000 % |
190.73/190.83	c ===============================================================================
190.73/190.86	c core #429
190.73/190.86	c 
190.73/190.86	c 
190.73/190.86	c Core size: 23	Core Weight: 1	Total Weight: 429
190.73/190.86	c
190.73/190.86	c
190.73/190.86	c ============================[ Search Statistics ]==============================
190.73/190.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.86	c ===============================================================================
190.73/190.86	c |         0 |    4362     9981    29696 |     5000        0    nan |  0.000 % |
190.73/190.86	c ===============================================================================
190.73/190.90	c core #430
190.73/190.90	c 
190.73/190.90	c 
190.73/190.90	c Core size: 33	Core Weight: 1	Total Weight: 430
190.73/190.90	c
190.73/190.90	c
190.73/190.90	c ============================[ Search Statistics ]==============================
190.73/190.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.90	c ===============================================================================
190.73/190.90	c |         0 |    4373     9982    29718 |     5000        0    nan |  0.000 % |
190.83/190.90	c ===============================================================================
190.83/190.93	c core #431
190.83/190.93	c 
190.83/190.93	c 
190.83/190.93	c Core size: 28	Core Weight: 1	Total Weight: 431
190.83/190.93	c
190.83/190.93	c
190.83/190.93	c ============================[ Search Statistics ]==============================
190.83/190.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.93	c ===============================================================================
190.83/190.93	c |         0 |    4387     9983    29746 |     5000        0    nan |  0.000 % |
190.83/190.94	c ===============================================================================
190.83/190.97	c core #432
190.83/190.97	c 
190.83/190.97	c 
190.83/190.97	c Core size: 27	Core Weight: 1	Total Weight: 432
190.83/190.97	c
190.83/190.97	c
190.83/190.97	c ============================[ Search Statistics ]==============================
190.83/190.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.97	c ===============================================================================
190.83/190.97	c |         0 |    4396     9984    29764 |     5000        0    nan |  0.000 % |
190.83/190.98	c ===============================================================================
190.93/191.01	c core #433
190.93/191.01	c 
190.93/191.01	c 
190.93/191.01	c Core size: 27	Core Weight: 1	Total Weight: 433
190.93/191.01	c
190.93/191.01	c
190.93/191.01	c ============================[ Search Statistics ]==============================
190.93/191.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.01	c ===============================================================================
190.93/191.01	c |         0 |    4405     9985    29782 |     5000        0    nan |  0.000 % |
190.93/191.02	c ===============================================================================
190.93/191.05	c core #434
190.93/191.05	c 
190.93/191.05	c 
190.93/191.05	c Core size: 12	Core Weight: 1	Total Weight: 434
190.93/191.05	c
190.93/191.05	c
190.93/191.05	c ============================[ Search Statistics ]==============================
190.93/191.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.05	c ===============================================================================
190.93/191.05	c |         0 |    4412     9986    29796 |     5000        0    nan |  0.000 % |
190.93/191.06	c ===============================================================================
190.93/191.09	c core #435
190.93/191.09	c 
190.93/191.09	c 
190.93/191.09	c Core size: 10	Core Weight: 1	Total Weight: 435
190.93/191.09	c
190.93/191.09	c
190.93/191.09	c ============================[ Search Statistics ]==============================
190.93/191.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.09	c ===============================================================================
190.93/191.09	c |         0 |    4418     9987    29808 |     5000        0    nan |  0.000 % |
191.03/191.10	c ===============================================================================
191.03/191.13	c core #436
191.03/191.13	c 
191.03/191.13	c 
191.03/191.13	c Core size: 26	Core Weight: 1	Total Weight: 436
191.03/191.13	c
191.03/191.13	c
191.03/191.13	c ============================[ Search Statistics ]==============================
191.03/191.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.13	c ===============================================================================
191.03/191.13	c |         0 |    4428     9988    29828 |     5000        0    nan |  0.000 % |
191.03/191.14	c ===============================================================================
191.03/191.17	c core #437
191.03/191.17	c 
191.03/191.17	c 
191.03/191.17	c Core size: 10	Core Weight: 1	Total Weight: 437
191.03/191.17	c
191.03/191.17	c
191.03/191.17	c ============================[ Search Statistics ]==============================
191.03/191.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.17	c ===============================================================================
191.03/191.17	c |         0 |    4434     9989    29840 |     5000        0    nan |  0.000 % |
191.03/191.18	c ===============================================================================
191.13/191.21	c core #438
191.13/191.21	c 
191.13/191.21	c 
191.13/191.21	c Core size: 12	Core Weight: 1	Total Weight: 438
191.13/191.21	c
191.13/191.21	c
191.13/191.21	c ============================[ Search Statistics ]==============================
191.13/191.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.21	c ===============================================================================
191.13/191.21	c |         0 |    4441     9991    29857 |     5000        0    nan |  0.000 % |
191.13/191.22	c ===============================================================================
191.13/191.25	c core #439
191.13/191.25	c 
191.13/191.25	c 
191.13/191.25	c Core size: 25	Core Weight: 1	Total Weight: 439
191.13/191.25	c
191.13/191.25	c
191.13/191.25	c ============================[ Search Statistics ]==============================
191.13/191.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.25	c ===============================================================================
191.13/191.25	c |         0 |    4452     9992    29879 |     5000        0    nan |  0.000 % |
191.13/191.26	c ===============================================================================
191.13/191.29	c core #440
191.13/191.29	c 
191.13/191.29	c 
191.13/191.29	c Core size: 21	Core Weight: 1	Total Weight: 440
191.13/191.29	c
191.13/191.29	c
191.13/191.29	c ============================[ Search Statistics ]==============================
191.13/191.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.29	c ===============================================================================
191.13/191.29	c |         0 |    4466     9994    29909 |     5000        0    nan |  0.000 % |
191.24/191.30	c ===============================================================================
191.24/191.33	c core #441
191.24/191.33	c 
191.24/191.33	c 
191.24/191.33	c Core size: 27	Core Weight: 1	Total Weight: 441
191.24/191.33	c
191.24/191.33	c
191.24/191.33	c ============================[ Search Statistics ]==============================
191.24/191.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.33	c ===============================================================================
191.24/191.33	c |         0 |    4474     9996    29928 |     5000        0    nan |  0.000 % |
191.24/191.34	c ===============================================================================
191.24/191.37	c core #442
191.24/191.37	c 
191.24/191.37	c 
191.24/191.37	c Core size: 31	Core Weight: 1	Total Weight: 442
191.24/191.37	c
191.24/191.37	c
191.24/191.37	c ============================[ Search Statistics ]==============================
191.24/191.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.37	c ===============================================================================
191.24/191.37	c |         0 |    4485     9997    29950 |     5000        0    nan |  0.000 % |
191.24/191.38	c ===============================================================================
191.34/191.41	c core #443
191.34/191.41	c 
191.34/191.41	c 
191.34/191.41	c Core size: 24	Core Weight: 1	Total Weight: 443
191.34/191.41	c
191.34/191.41	c
191.34/191.41	c ============================[ Search Statistics ]==============================
191.34/191.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.41	c ===============================================================================
191.34/191.41	c |         0 |    4503     9999    29989 |     5000        0    nan |  0.000 % |
191.34/191.42	c ===============================================================================
191.34/191.45	c core #444
191.34/191.45	c 
191.34/191.45	c 
191.34/191.45	c Core size: 12	Core Weight: 1	Total Weight: 444
191.34/191.45	c
191.34/191.45	c
191.34/191.45	c ============================[ Search Statistics ]==============================
191.34/191.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.45	c ===============================================================================
191.34/191.45	c |         0 |    4510    10000    30003 |     5000        0    nan |  0.000 % |
191.34/191.46	c ===============================================================================
191.34/191.49	c core #445
191.34/191.49	c 
191.34/191.49	c 
191.34/191.49	c Core size: 44	Core Weight: 1	Total Weight: 445
191.34/191.49	c
191.34/191.49	c
191.34/191.49	c ============================[ Search Statistics ]==============================
191.34/191.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.49	c ===============================================================================
191.34/191.49	c |         0 |    4539    10001    30061 |     5000        0    nan |  0.000 % |
191.43/191.50	c ===============================================================================
191.43/191.53	c core #446
191.43/191.53	c 
191.43/191.53	c 
191.43/191.53	c Core size: 12	Core Weight: 1	Total Weight: 446
191.43/191.53	c
191.43/191.53	c
191.43/191.53	c ============================[ Search Statistics ]==============================
191.43/191.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.53	c ===============================================================================
191.43/191.53	c |         0 |    4546    10002    30075 |     5000        0    nan |  0.000 % |
191.43/191.54	c ===============================================================================
191.43/191.57	c core #447
191.43/191.57	c 
191.43/191.57	c 
191.43/191.57	c Core size: 14	Core Weight: 1	Total Weight: 447
191.43/191.57	c
191.43/191.57	c
191.43/191.57	c ============================[ Search Statistics ]==============================
191.43/191.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.57	c ===============================================================================
191.43/191.57	c |         0 |    4554    10003    30091 |     5000        0    nan |  0.000 % |
191.43/191.58	c ===============================================================================
191.53/191.61	c core #448
191.53/191.61	c 
191.53/191.61	c 
191.53/191.61	c Core size: 10	Core Weight: 1	Total Weight: 448
191.53/191.61	c
191.53/191.61	c
191.53/191.61	c ============================[ Search Statistics ]==============================
191.53/191.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.61	c ===============================================================================
191.53/191.61	c |         0 |    4560    10004    30103 |     5000        0    nan |  0.000 % |
191.53/191.62	c ===============================================================================
191.53/191.65	c core #449
191.53/191.65	c 
191.53/191.65	c 
191.53/191.65	c Core size: 31	Core Weight: 1	Total Weight: 449
191.53/191.65	c
191.53/191.65	c
191.53/191.65	c ============================[ Search Statistics ]==============================
191.53/191.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.65	c ===============================================================================
191.53/191.65	c |         0 |    4569    10005    30121 |     5000        0    nan |  0.000 % |
191.53/191.65	c ===============================================================================
191.53/191.69	c core #450
191.53/191.69	c 
191.53/191.69	c 
191.53/191.69	c Core size: 24	Core Weight: 1	Total Weight: 450
191.53/191.69	c
191.53/191.69	c
191.53/191.69	c ============================[ Search Statistics ]==============================
191.53/191.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.69	c ===============================================================================
191.53/191.69	c |         0 |    4574    10006    30131 |     5000        0    nan |  0.000 % |
191.53/191.70	c ===============================================================================
191.63/191.73	c core #451
191.63/191.73	c 
191.63/191.73	c 
191.63/191.73	c Core size: 31	Core Weight: 1	Total Weight: 451
191.63/191.73	c
191.63/191.73	c
191.63/191.73	c ============================[ Search Statistics ]==============================
191.63/191.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.63/191.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.63/191.73	c ===============================================================================
191.63/191.73	c |         0 |    4596    10007    30175 |     5000        0    nan |  0.000 % |
191.63/191.73	c ===============================================================================
191.63/191.77	c core #452
191.63/191.77	c 
191.63/191.77	c 
191.63/191.77	c Core size: 22	Core Weight: 1	Total Weight: 452
191.63/191.77	c
191.63/191.77	c
191.63/191.77	c ============================[ Search Statistics ]==============================
191.63/191.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.63/191.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.63/191.77	c ===============================================================================
191.63/191.77	c |         0 |    4607    10008    30197 |     5000        0    nan |  0.000 % |
191.63/191.77	c ===============================================================================
191.73/191.81	c core #453
191.73/191.81	c 
191.73/191.81	c 
191.73/191.81	c Core size: 28	Core Weight: 1	Total Weight: 453
191.73/191.81	c
191.73/191.81	c
191.73/191.81	c ============================[ Search Statistics ]==============================
191.73/191.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.73/191.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.73/191.81	c ===============================================================================
191.73/191.81	c |         0 |    4617    10009    30217 |     5000        0    nan |  0.000 % |
191.73/191.81	c ===============================================================================
191.73/191.84	c core #454
191.73/191.84	c 
191.73/191.84	c 
191.73/191.84	c Core size: 10	Core Weight: 1	Total Weight: 454
191.73/191.84	c
191.73/191.84	c
191.73/191.84	c ============================[ Search Statistics ]==============================
191.73/191.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.73/191.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.73/191.84	c ===============================================================================
191.73/191.84	c |         0 |    4623    10010    30229 |     5000        0    nan |  0.000 % |
191.73/191.85	c ===============================================================================
191.73/191.88	c core #455
191.73/191.88	c 
191.73/191.88	c 
191.73/191.88	c Core size: 12	Core Weight: 1	Total Weight: 455
191.73/191.88	c
191.73/191.88	c
191.73/191.88	c ============================[ Search Statistics ]==============================
191.73/191.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.73/191.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.73/191.88	c ===============================================================================
191.73/191.88	c |         0 |    4630    10011    30243 |     5000        0    nan |  0.000 % |
191.73/191.89	c ===============================================================================
191.83/191.92	c core #456
191.83/191.92	c 
191.83/191.92	c 
191.83/191.92	c Core size: 15	Core Weight: 1	Total Weight: 456
191.83/191.92	c
191.83/191.92	c
191.83/191.92	c ============================[ Search Statistics ]==============================
191.83/191.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.92	c ===============================================================================
191.83/191.92	c |         0 |    4640    10012    30263 |     5000        0    nan |  0.000 % |
191.83/191.93	c ===============================================================================
191.83/191.96	c core #457
191.83/191.96	c 
191.83/191.96	c 
191.83/191.96	c Core size: 14	Core Weight: 1	Total Weight: 457
191.83/191.96	c
191.83/191.96	c
191.83/191.96	c ============================[ Search Statistics ]==============================
191.83/191.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.96	c ===============================================================================
191.83/191.96	c |         0 |    4648    10013    30279 |     5000        0    nan |  0.000 % |
191.83/191.97	c ===============================================================================
191.93/192.00	c core #458
191.93/192.00	c 
191.93/192.00	c 
191.93/192.00	c Core size: 26	Core Weight: 1	Total Weight: 458
191.93/192.00	c
191.93/192.00	c
191.93/192.00	c ============================[ Search Statistics ]==============================
191.93/192.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.00	c ===============================================================================
191.93/192.00	c |         0 |    4665    10014    30313 |     5000        0    nan |  0.000 % |
191.93/192.01	c ===============================================================================
191.93/192.04	c core #459
191.93/192.04	c 
191.93/192.04	c 
191.93/192.04	c Core size: 36	Core Weight: 1	Total Weight: 459
191.93/192.04	c
191.93/192.04	c
191.93/192.04	c ============================[ Search Statistics ]==============================
191.93/192.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.04	c ===============================================================================
191.93/192.04	c |         0 |    4684    10016    30354 |     5000        0    nan |  0.000 % |
191.93/192.05	c ===============================================================================
191.93/192.08	c core #460
191.93/192.08	c 
191.93/192.08	c 
191.93/192.08	c Core size: 14	Core Weight: 1	Total Weight: 460
191.93/192.08	c
191.93/192.08	c
191.93/192.08	c ============================[ Search Statistics ]==============================
191.93/192.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.08	c ===============================================================================
191.93/192.08	c |         0 |    4692    10017    30370 |     5000        0    nan |  0.000 % |
191.93/192.09	c ===============================================================================
192.04/192.12	c core #461
192.04/192.12	c 
192.04/192.12	c 
192.04/192.12	c Core size: 21	Core Weight: 1	Total Weight: 461
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 |    4702    10018    30390 |     5000        0    nan |  0.000 % |
192.04/192.14	c ===============================================================================
192.04/192.17	c core #462
192.04/192.17	c 
192.04/192.17	c 
192.04/192.17	c Core size: 21	Core Weight: 1	Total Weight: 462
192.04/192.17	c
192.04/192.17	c
192.04/192.17	c ============================[ Search Statistics ]==============================
192.04/192.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.04/192.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.04/192.17	c ===============================================================================
192.04/192.17	c |         0 |    4707    10021    30405 |     5000        0    nan |  0.000 % |
192.04/192.18	c ===============================================================================
192.14/192.21	c core #463
192.14/192.21	c 
192.14/192.21	c 
192.14/192.21	c Core size: 10	Core Weight: 1	Total Weight: 463
192.14/192.21	c
192.14/192.21	c
192.14/192.21	c ============================[ Search Statistics ]==============================
192.14/192.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.21	c ===============================================================================
192.14/192.21	c |         0 |    4713    10022    30417 |     5000        0    nan |  0.000 % |
192.14/192.22	c ===============================================================================
192.14/192.25	c core #464
192.14/192.25	c 
192.14/192.25	c 
192.14/192.25	c Core size: 19	Core Weight: 1	Total Weight: 464
192.14/192.25	c
192.14/192.25	c
192.14/192.25	c ============================[ Search Statistics ]==============================
192.14/192.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.25	c ===============================================================================
192.14/192.25	c |         0 |    4722    10023    30435 |     5000        0    nan |  0.000 % |
192.14/192.26	c ===============================================================================
192.14/192.29	c core #465
192.14/192.29	c 
192.14/192.29	c 
192.14/192.29	c Core size: 22	Core Weight: 1	Total Weight: 465
192.14/192.29	c
192.14/192.29	c
192.14/192.29	c ============================[ Search Statistics ]==============================
192.14/192.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.14/192.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.14/192.29	c ===============================================================================
192.14/192.29	c |         0 |    4729    10025    30452 |     5000        0    nan |  0.000 % |
192.24/192.30	c ===============================================================================
192.24/192.33	c core #466
192.24/192.33	c 
192.24/192.33	c 
192.24/192.33	c Core size: 29	Core Weight: 1	Total Weight: 466
192.24/192.33	c
192.24/192.33	c
192.24/192.33	c ============================[ Search Statistics ]==============================
192.24/192.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.33	c ===============================================================================
192.24/192.33	c |         0 |    4746    10026    30486 |     5000        0    nan |  0.000 % |
192.24/192.34	c ===============================================================================
192.24/192.37	c core #467
192.24/192.37	c 
192.24/192.37	c 
192.24/192.37	c Core size: 19	Core Weight: 1	Total Weight: 467
192.24/192.37	c
192.24/192.37	c
192.24/192.37	c ============================[ Search Statistics ]==============================
192.24/192.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.24/192.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.24/192.37	c ===============================================================================
192.24/192.37	c |         0 |    4759    10027    30512 |     5000        0    nan |  0.000 % |
192.24/192.38	c ===============================================================================
192.34/192.41	c core #468
192.34/192.41	c 
192.34/192.41	c 
192.34/192.41	c Core size: 24	Core Weight: 1	Total Weight: 468
192.34/192.41	c
192.34/192.41	c
192.34/192.41	c ============================[ Search Statistics ]==============================
192.34/192.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.41	c ===============================================================================
192.34/192.41	c |         0 |    4775    10028    30544 |     5000        0    nan |  0.000 % |
192.34/192.42	c ===============================================================================
192.34/192.46	c core #469
192.34/192.46	c 
192.34/192.46	c 
192.34/192.46	c Core size: 37	Core Weight: 1	Total Weight: 469
192.34/192.46	c
192.34/192.46	c
192.34/192.46	c ============================[ Search Statistics ]==============================
192.34/192.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.46	c ===============================================================================
192.34/192.46	c |         0 |    4795    10029    30584 |     5000        0    nan |  0.000 % |
192.34/192.47	c ===============================================================================
192.34/192.50	c core #470
192.34/192.50	c 
192.34/192.50	c 
192.34/192.50	c Core size: 26	Core Weight: 1	Total Weight: 470
192.34/192.50	c
192.34/192.50	c
192.34/192.50	c ============================[ Search Statistics ]==============================
192.34/192.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.50	c ===============================================================================
192.34/192.50	c |         0 |    4807    10031    30610 |     5000        0    nan |  0.000 % |
192.44/192.51	c ===============================================================================
192.44/192.55	c core #471
192.44/192.55	c 
192.44/192.55	c 
192.44/192.55	c Core size: 42	Core Weight: 1	Total Weight: 471
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 |    4843    10032    30682 |     5000        0    nan |  0.000 % |
192.44/192.56	c ===============================================================================
192.44/192.59	c core #472
192.44/192.59	c 
192.44/192.59	c 
192.44/192.59	c Core size: 27	Core Weight: 1	Total Weight: 472
192.44/192.59	c
192.44/192.59	c
192.44/192.59	c ============================[ Search Statistics ]==============================
192.44/192.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.59	c ===============================================================================
192.44/192.59	c |         0 |    4857    10033    30710 |     5000        0    nan |  0.000 % |
192.54/192.60	c ===============================================================================
192.54/192.63	c core #473
192.54/192.63	c 
192.54/192.63	c 
192.54/192.63	c Core size: 43	Core Weight: 1	Total Weight: 473
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 |    4882    10034    30760 |     5000        0    nan |  0.000 % |
192.54/192.64	c ===============================================================================
192.54/192.68	c core #474
192.54/192.68	c 
192.54/192.68	c 
192.54/192.68	c Core size: 38	Core Weight: 1	Total Weight: 474
192.54/192.68	c
192.54/192.68	c
192.54/192.68	c ============================[ Search Statistics ]==============================
192.54/192.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.68	c ===============================================================================
192.54/192.68	c |         0 |    4900    10035    30796 |     5000        0    nan |  0.000 % |
192.54/192.69	c ===============================================================================
192.64/192.73	c core #475
192.64/192.73	c 
192.64/192.73	c 
192.64/192.73	c Core size: 26	Core Weight: 1	Total Weight: 475
192.64/192.73	c
192.64/192.73	c
192.64/192.73	c ============================[ Search Statistics ]==============================
192.64/192.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.64/192.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.64/192.73	c ===============================================================================
192.64/192.73	c |         0 |    4911    10037    30821 |     5000        0    nan |  0.000 % |
192.64/192.74	c ===============================================================================
192.64/192.77	c core #476
192.64/192.77	c 
192.64/192.77	c 
192.64/192.77	c Core size: 36	Core Weight: 1	Total Weight: 476
192.64/192.77	c
192.64/192.77	c
192.64/192.77	c ============================[ Search Statistics ]==============================
192.64/192.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.64/192.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.64/192.77	c ===============================================================================
192.64/192.77	c |         0 |    4931    10038    30861 |     5000        0    nan |  0.000 % |
192.64/192.79	c ===============================================================================
192.73/192.82	c core #477
192.73/192.82	c 
192.73/192.82	c 
192.73/192.82	c Core size: 28	Core Weight: 1	Total Weight: 477
192.73/192.82	c
192.73/192.82	c
192.73/192.82	c ============================[ Search Statistics ]==============================
192.73/192.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.82	c ===============================================================================
192.73/192.82	c |         0 |    4944    10040    30889 |     5000        0    nan |  0.000 % |
192.73/192.84	c |       103 |    4931    10040    30889 |     5500      103      5 |  0.886 % |
192.73/192.85	c ===============================================================================
192.73/192.89	c core #478
192.73/192.89	c 
192.73/192.89	c 
192.73/192.89	c Core size: 33	Core Weight: 1	Total Weight: 478
192.73/192.89	c
192.73/192.89	c
192.73/192.89	c ============================[ Search Statistics ]==============================
192.73/192.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.89	c ===============================================================================
192.73/192.89	c |         0 |    4962    10041    30925 |     5000        0    nan |  0.000 % |
192.83/192.90	c ===============================================================================
192.83/192.94	c core #479
192.83/192.94	c 
192.83/192.94	c 
192.83/192.94	c Core size: 20	Core Weight: 1	Total Weight: 479
192.83/192.94	c
192.83/192.94	c
192.83/192.94	c ============================[ Search Statistics ]==============================
192.83/192.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.94	c ===============================================================================
192.83/192.94	c |         0 |    4977    10042    30955 |     5000        0    nan |  0.000 % |
192.83/192.96	c |       100 |    4913    10042    30955 |     5500      100      4 |  2.882 % |
192.83/192.98	c ===============================================================================
192.93/193.01	c core #480
192.93/193.01	c 
192.93/193.01	c 
192.93/193.01	c Core size: 230	Core Weight: 1	Total Weight: 480
192.93/193.01	c
192.93/193.01	c
192.93/193.01	c ============================[ Search Statistics ]==============================
192.93/193.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.01	c ===============================================================================
192.93/193.01	c |         0 |    5085    10050    31191 |     5000        0    nan |  0.000 % |
192.93/193.04	c ===============================================================================
192.93/193.07	c core #481
192.93/193.07	c 
192.93/193.07	c 
192.93/193.07	c Core size: 23	Core Weight: 1	Total Weight: 481
192.93/193.07	c
192.93/193.07	c
192.93/193.07	c ============================[ Search Statistics ]==============================
192.93/193.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.07	c ===============================================================================
192.93/193.07	c |         0 |    5097    10053    31219 |     5000        0    nan |  0.000 % |
193.03/193.11	c |       101 |    5074    10053    31219 |     5500      101      4 |  1.427 % |
193.03/193.12	c ===============================================================================
193.03/193.15	c core #482
193.03/193.15	c 
193.03/193.15	c 
193.03/193.15	c Core size: 140	Core Weight: 1	Total Weight: 482
193.03/193.15	c
193.03/193.15	c
193.03/193.15	c ============================[ Search Statistics ]==============================
193.03/193.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.15	c ===============================================================================
193.03/193.15	c |         0 |    5195    10061    31431 |     5000        0    nan |  0.000 % |
193.03/193.17	c |       100 |    5186    10061    31431 |     5500      100      7 |  0.710 % |
193.14/193.20	c |       250 |    5133    10061    31431 |     6050      250      6 |  3.106 % |
193.14/193.24	c ===============================================================================
193.14/193.28	c core #483
193.14/193.28	c 
193.14/193.28	c 
193.14/193.28	c Core size: 256	Core Weight: 1	Total Weight: 483
193.14/193.28	c
193.14/193.28	c
193.14/193.28	c ============================[ Search Statistics ]==============================
193.14/193.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.14/193.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.14/193.28	c ===============================================================================
193.14/193.28	c |         0 |    5386    10066    31823 |     5000        0    nan |  0.000 % |
193.14/193.30	c |       100 |    5383    10066    31823 |     5500      100      7 |  0.426 % |
193.23/193.32	c |       250 |    5374    10066    31823 |     6050      227      8 |  0.610 % |
193.23/193.37	c ===============================================================================
193.33/193.41	c core #484
193.33/193.41	c 
193.33/193.41	c 
193.33/193.41	c Core size: 218	Core Weight: 1	Total Weight: 484
193.33/193.41	c
193.33/193.41	c
193.33/193.41	c ============================[ Search Statistics ]==============================
193.33/193.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.33/193.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.33/193.41	c ===============================================================================
193.33/193.41	c |         0 |    5553    10071    32166 |     5000        0    nan |  0.000 % |
193.33/193.43	c |       101 |    5549    10071    32166 |     5500      101     10 |  0.431 % |
193.33/193.47	c |       251 |    5547    10071    32166 |     6050      251     10 |  0.467 % |
193.44/193.51	c |       476 |    5529    10071    32166 |     6655      445     11 |  0.790 % |
193.44/193.58	c |       814 |    5456    10071    32166 |     7320      693     12 |  2.099 % |
193.44/193.58	c ===============================================================================
193.54/193.62	c core #485
193.54/193.62	c 
193.54/193.62	c 
193.54/193.62	c Core size: 237	Core Weight: 1	Total Weight: 485
193.54/193.62	c
193.54/193.62	c
193.54/193.62	c ============================[ Search Statistics ]==============================
193.54/193.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.54/193.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.54/193.62	c ===============================================================================
193.54/193.62	c |         0 |    5738    10081    32558 |     5000        0    nan |  0.000 % |
193.54/193.64	c |       100 |    5736    10081    32558 |     5500      100     14 |  0.382 % |
193.54/193.66	c |       252 |    5736    10081    32558 |     6050      252     18 |  0.382 % |
193.54/193.68	c |       477 |    5736    10081    32558 |     6655      476     22 |  0.382 % |
193.63/193.71	c |       815 |    5736    10081    32558 |     7320      814     25 |  0.382 % |
193.63/193.76	c |      1321 |    5736    10081    32558 |     8052     1320     26 |  0.382 % |
193.73/193.89	c |      2080 |    5709    10081    32558 |     8857      733     10 |  1.754 % |
193.93/194.00	c ===============================================================================
193.93/194.06	c core #486
193.93/194.06	c 
193.93/194.06	c 
193.93/194.06	c Core size: 311	Core Weight: 1	Total Weight: 486
193.93/194.06	c
193.93/194.06	c
193.93/194.06	c ============================[ Search Statistics ]==============================
193.93/194.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.93/194.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.93/194.06	c ===============================================================================
193.93/194.06	c |         0 |    5971    10084    33029 |     5000        0    nan |  0.000 % |
194.03/194.11	c |       100 |    5970    10084    33029 |     5500      100     14 |  0.367 % |
194.03/194.12	c |       250 |    5970    10084    33029 |     6050      250     13 |  0.367 % |
194.03/194.16	c |       475 |    5969    10084    33029 |     6655      474     13 |  0.367 % |
194.13/194.21	c |       815 |    5943    10084    33029 |     7320      763     12 |  0.801 % |
194.23/194.30	c |      1323 |    5936    10084    33029 |     8052     1238     14 |  0.968 % |
194.33/194.40	c ===============================================================================
194.33/194.46	c core #487
194.33/194.46	c 
194.33/194.46	c 
194.33/194.46	c Core size: 295	Core Weight: 1	Total Weight: 487
194.33/194.46	c
194.33/194.46	c
194.33/194.46	c ============================[ Search Statistics ]==============================
194.33/194.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.33/194.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.33/194.46	c ===============================================================================
194.33/194.46	c |         0 |    6204    10091    33507 |     5000        0    nan |  0.000 % |
194.43/194.50	c |       100 |    6202    10091    33507 |     5500      100     10 |  0.353 % |
194.43/194.53	c |       251 |    6202    10091    33507 |     6050      250     13 |  0.353 % |
194.43/194.56	c |       477 |    6200    10091    33507 |     6655      425     13 |  0.386 % |
194.54/194.61	c |       817 |    6187    10091    33507 |     7320      765     19 |  0.691 % |
194.54/194.70	c |      1323 |    6179    10091    33507 |     8052     1256     22 |  0.723 % |
194.74/194.82	c |      2084 |    6153    10091    33507 |     8857     2010     21 |  1.864 % |
194.93/195.05	c |      3224 |    6105    10091    33507 |     9743     3133     29 |  1.928 % |
195.33/195.42	c |      4934 |    6103    10091    33507 |    10717     4841     37 |  1.960 % |
195.83/195.94	c |      7499 |    6100    10091    33507 |    11789     6644     36 |  1.992 % |
196.84/196.96	c |     11343 |    6094    10091    33507 |    12968    10401     43 |  2.089 % |
197.03/197.14	c ===============================================================================
197.13/197.27	c core #488
197.13/197.27	c 
197.13/197.27	c 
197.13/197.27	c Core size: 366	Core Weight: 1	Total Weight: 488
197.13/197.27	c
197.13/197.27	c
197.13/197.27	c ============================[ Search Statistics ]==============================
197.13/197.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.13/197.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.13/197.27	c ===============================================================================
197.13/197.27	c |         0 |    6541    10108    34220 |     5000        0    nan |  0.000 % |
197.13/197.29	c |       100 |    6539    10108    34220 |     5500      100     19 |  0.335 % |
197.23/197.31	c |       251 |    6539    10108    34220 |     6050      250     16 |  0.335 % |
197.23/197.35	c |       476 |    6530    10108    34220 |     6655      474     15 |  0.594 % |
197.34/197.45	c |       813 |    6520    10108    34220 |     7320      797     18 |  0.625 % |
197.43/197.51	c |      1320 |    6520    10108    34220 |     8052     1301     22 |  0.625 % |
197.53/197.61	c |      2079 |    6518    10108    34220 |     8857     2059     22 |  0.655 % |
197.63/197.78	c |      3221 |    6499    10108    34220 |     9743     3171     24 |  1.463 % |
197.94/198.04	c |      4929 |    6457    10108    34220 |    10717     4814     26 |  1.616 % |
198.43/198.53	c |      7492 |    6449    10108    34220 |    11789     7364     33 |  1.738 % |
199.23/199.33	c |     11337 |    6436    10108    34220 |    12968    10901     38 |  1.905 % |
200.63/200.74	c |     17104 |    6301    10108    34220 |    14265     8974     55 |  3.963 % |
204.13/204.20	c |     25754 |    6299    10108    34220 |    15692    10095     65 |  3.993 % |
206.64/206.71	c ===============================================================================
206.93/207.09	c core #489
206.93/207.09	c 
206.93/207.09	c 
206.93/207.09	c Core size: 368	Core Weight: 1	Total Weight: 489
206.93/207.09	c
206.93/207.09	c
206.93/207.09	c ============================[ Search Statistics ]==============================
206.93/207.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.93/207.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.93/207.09	c ===============================================================================
206.93/207.09	c |         0 |    6852    10117    34858 |     5000        0    nan |  0.000 % |
207.03/207.12	c |       100 |    6851    10117    34858 |     5500      100     13 |  0.320 % |
207.03/207.14	c |       251 |    6850    10117    34858 |     6050      250     13 |  0.320 % |
207.03/207.18	c |       476 |    6844    10117    34858 |     6655      474     12 |  0.407 % |
207.13/207.23	c |       815 |    6839    10117    34858 |     7320      803     16 |  0.509 % |
207.23/207.30	c |      1323 |    6831    10117    34858 |     8052     1300     17 |  0.597 % |
207.33/207.41	c |      2082 |    6827    10117    34858 |     8857     2052     21 |  0.655 % |
207.53/207.62	c |      3224 |    6824    10117    34858 |     9743     3181     32 |  0.713 % |
207.84/207.97	c |      4936 |    6800    10117    34858 |    10717     4819     33 |  1.761 % |
208.43/208.54	c |      7499 |    6745    10117    34858 |    11789     7239     40 |  1.848 % |
209.53/209.69	c |     11344 |    6745    10117    34858 |    12968    11084     54 |  1.848 % |
210.93/211.02	c |     17110 |    6623    10117    34858 |    14265     8376     55 |  3.623 % |
214.93/215.02	c |     25760 |    6621    10117    34858 |    15692     9618     80 |  3.653 % |
223.13/223.27	c |     38734 |    6619    10117    34858 |    17261    14530     83 |  3.682 % |
234.32/234.42	c |     58195 |    6619    10117    34858 |    18987    16158     80 |  3.711 % |
255.62/255.70	c |     87389 |    6613    10117    34858 |    20886    15945     80 |  3.769 % |
287.41/287.51	c |    131178 |    6612    10117    34858 |    22974    16606     87 |  3.783 % |
351.69/351.85	c |    196862 |    6604    10117    34858 |    25272    22985     86 |  3.900 % |
437.47/437.66	c ===============================================================================
442.77/442.95	c core #490
442.77/442.95	c 
442.77/442.95	c 
442.77/442.95	c Core size: 234	Core Weight: 1	Total Weight: 490
442.77/442.95	c
442.77/442.95	c
442.77/442.95	c ============================[ Search Statistics ]==============================
442.77/442.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
442.77/442.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
442.77/442.95	c ===============================================================================
442.77/442.95	c |         0 |    7024    10120    35206 |     5000        0    nan |  0.000 % |
442.86/443.00	c |       102 |    7024    10120    35206 |     5500      102     19 |  0.284 % |
442.86/443.03	c |       253 |    7012    10120    35206 |     6050      252     14 |  0.539 % |
442.86/443.06	c |       478 |    6999    10120    35206 |     6655      467     16 |  0.653 % |
442.96/443.14	c |       815 |    6999    10120    35206 |     7320      804     18 |  0.653 % |
443.07/443.22	c |      1324 |    6982    10120    35206 |     8052     1310     19 |  0.937 % |
443.17/443.32	c |      2083 |    6978    10120    35206 |     8857     2050     33 |  0.937 % |
443.26/443.45	c |      3226 |    6978    10120    35206 |     9743     3193     29 |  0.937 % |
443.56/443.72	c |      4934 |    6971    10120    35206 |    10717     4900     29 |  1.036 % |
443.96/444.18	c |      7498 |    6967    10120    35206 |    11789     7455     33 |  1.093 % |
444.76/444.98	c |     11342 |    6897    10120    35206 |    12968    10947     37 |  2.101 % |
447.56/447.72	c |     17108 |    6894    10120    35206 |    14265     9486     67 |  2.129 % |
450.96/451.10	c |     25758 |    6862    10120    35206 |    15692    10246     56 |  3.861 % |
457.26/457.49	c |     38735 |    6736    10120    35206 |    17261    14810     71 |  5.622 % |
470.46/470.64	c |     58199 |    6648    10120    35206 |    18987    15913     70 |  5.622 % |
491.85/492.08	c |     87396 |    6638    10120    35206 |    20886    15475     81 |  5.764 % |
506.34/506.54	c ===============================================================================
508.55/508.70	c core #491
508.55/508.70	c 
508.55/508.70	c 
508.55/508.70	c Core size: 328	Core Weight: 1	Total Weight: 491
508.55/508.70	c
508.55/508.70	c
508.55/508.70	c ============================[ Search Statistics ]==============================
508.55/508.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
508.55/508.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
508.55/508.70	c ===============================================================================
508.55/508.70	c |         0 |    7283    10128    35738 |     5000        0    nan |  0.000 % |
508.55/508.75	c |       102 |    7283    10128    35738 |     5500      102     24 |  0.274 % |
508.55/508.78	c |       252 |    7283    10128    35738 |     6050      252     21 |  0.274 % |
508.65/508.82	c |       479 |    7283    10128    35738 |     6655      479     20 |  0.274 % |
508.65/508.87	c |       816 |    7283    10128    35738 |     7320      816     23 |  0.274 % |
508.75/508.93	c |      1322 |    7283    10128    35738 |     8052     1322     25 |  0.274 % |
508.84/509.05	c |      2081 |    7283    10128    35738 |     8857     2081     28 |  0.274 % |
509.05/509.24	c |      3222 |    7281    10128    35738 |     9743     3219     32 |  0.301 % |
509.25/509.49	c |      4937 |    7279    10128    35738 |    10717     4504     29 |  0.329 % |
509.64/509.90	c |      7502 |    7277    10128    35738 |    11789     6996     35 |  0.356 % |
510.44/510.68	c |     11346 |    7268    10128    35738 |    12968    10795     42 |  0.548 % |
512.04/512.26	c |     17114 |    7257    10128    35738 |    14265     9498     53 |  0.630 % |
514.24/514.43	c |     25765 |    7240    10128    35738 |    15692    10605     50 |  1.356 % |
518.64/518.88	c |     38739 |    7201    10128    35738 |    17261    12758     68 |  1.411 % |
530.84/531.02	c |     58204 |    7200    10128    35738 |    18987    13742     94 |  1.410 % |
542.83/543.01	c |     87397 |    7196    10128    35738 |    20886    13417     93 |  1.465 % |
587.13/587.36	c |    131188 |    7162    10128    35738 |    22974    14127     99 |  3.108 % |
626.01/626.22	c |    196877 |    7076    10128    35738 |    25272    20125    100 |  3.108 % |
723.09/723.36	c |    295404 |    7076    10128    35738 |    27799    14668    113 |  3.108 % |
906.24/906.55	c |    443194 |    7074    10128    35738 |    30579    27537    116 |  3.136 % |
1070.19/1070.55	c ===============================================================================
1081.48/1081.88	c core #492
1081.48/1081.88	c 
1081.48/1081.88	c 
1081.48/1081.88	c Core size: 295	Core Weight: 1	Total Weight: 492
1081.48/1081.88	c
1081.48/1081.88	c
1081.48/1081.88	c ============================[ Search Statistics ]==============================
1081.48/1081.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1081.48/1081.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1081.48/1081.88	c ===============================================================================
1081.48/1081.88	c |         0 |    7528    10135    36240 |     5000        0    nan |  0.000 % |
1081.58/1081.95	c |       101 |    7528    10135    36240 |     5500      101     26 |  0.265 % |
1081.68/1082.01	c |       251 |    7528    10135    36240 |     6050      251     24 |  0.265 % |
1081.68/1082.07	c |       476 |    7528    10135    36240 |     6655      476     22 |  0.265 % |
1081.79/1082.11	c |       815 |    7528    10135    36240 |     7320      815     29 |  0.265 % |
1081.79/1082.17	c |      1323 |    7528    10135    36240 |     8052     1323     29 |  0.265 % |
1081.88/1082.29	c |      2082 |    7523    10135    36240 |     8857     2078     28 |  0.331 % |
1082.09/1082.48	c |      3221 |    7523    10135    36240 |     9743     3214     36 |  0.331 % |
1082.38/1082.76	c |      4929 |    7521    10135    36240 |    10717     4921     38 |  0.358 % |
1082.78/1083.17	c |      7491 |    7521    10135    36240 |    11789     7483     38 |  0.358 % |
1083.68/1084.02	c |     11335 |    7521    10135    36240 |    12968    11327     44 |  0.358 % |
1084.89/1085.29	c |     17102 |    7513    10135    36240 |    14265    10320     44 |  0.464 % |
1086.58/1086.98	c ===============================================================================
1086.78/1087.15	c core #493
1086.78/1087.15	c 
1086.78/1087.15	c 
1086.78/1087.15	c Core size: 310	Core Weight: 1	Total Weight: 493
1086.78/1087.15	c
1086.78/1087.15	c
1086.78/1087.15	c ============================[ Search Statistics ]==============================
1086.78/1087.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1086.78/1087.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1086.78/1087.15	c ===============================================================================
1086.78/1087.15	c |         0 |    7789    10142    36779 |     5000        0    nan |  0.000 % |
1086.78/1087.19	c |       102 |    7789    10142    36779 |     5500      102     40 |  0.256 % |
1086.89/1087.21	c |       252 |    7789    10142    36779 |     6050      252     36 |  0.256 % |
1086.89/1087.26	c |       477 |    7789    10142    36779 |     6655      477     30 |  0.256 % |
1086.98/1087.30	c |       814 |    7789    10142    36779 |     7320      814     30 |  0.256 % |
1086.98/1087.37	c |      1322 |    7789    10142    36779 |     8052     1322     28 |  0.256 % |
1087.08/1087.49	c |      2082 |    7789    10142    36779 |     8857     2082     43 |  0.256 % |
1087.28/1087.68	c |      3223 |    7789    10142    36779 |     9743     3223     39 |  0.256 % |
1087.58/1087.95	c |      4931 |    7789    10142    36779 |    10717     4931     42 |  0.256 % |
1087.98/1088.32	c |      7493 |    7789    10142    36779 |    11789     7493     37 |  0.256 % |
1088.88/1089.24	c |     11338 |    7789    10142    36779 |    12968    11338     55 |  0.256 % |
1090.38/1090.70	c |     17105 |    7789    10142    36779 |    14265     9977     59 |  0.256 % |
1092.68/1093.09	c |     25754 |    7789    10142    36779 |    15692    10815     64 |  0.256 % |
1096.08/1096.40	c |     38728 |    7789    10142    36779 |    17261    15506     49 |  0.256 % |
1103.77/1104.17	c |     58189 |    7789    10142    36779 |    18987    16770    113 |  0.256 % |
1114.38/1114.71	c |     87382 |    7789    10142    36779 |    20886    15516     88 |  0.256 % |
1139.07/1139.47	c |    131173 |    7783    10142    36779 |    22974    14512     87 |  0.333 % |
1161.36/1161.73	c |    196860 |    7781    10142    36779 |    25272    17453     81 |  0.359 % |
1219.04/1219.48	c |    295386 |    7769    10142    36779 |    27799    20498    102 |  0.538 % |
1347.81/1348.21	c |    443178 |    7763    10142    36779 |    30579    20240    116 |  0.589 % |
1507.26/1507.70	c |    664867 |    7635    10142    36779 |    33637    18862    109 |  2.228 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 29107
/proc/meminfo: memFree=1783492/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=2952 CPUtime=0
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 333 0 0 0 0 0 0 0 18 0 1 0 86643190 3022848 252 1992294400 134512640 135752675 4293150256 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 738 252 134 303 0 381 0

[startup+0.073663 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 29107
/proc/meminfo: memFree=1783492/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=4344 CPUtime=0.06
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 790 0 0 0 6 0 0 0 19 0 1 0 86643190 4448256 657 1992294400 134512640 135752675 4293150256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 1086 658 141 303 0 781 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4344

[startup+0.100665 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 29107
/proc/meminfo: memFree=1783492/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=4608 CPUtime=0.09
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 845 0 0 0 9 0 0 0 19 0 1 0 86643190 4718592 712 1992294400 134512640 135752675 4293150256 18446744073709551615 135211731 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 1152 712 141 303 0 847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4608

[startup+0.300714 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 29107
/proc/meminfo: memFree=1783492/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=5128 CPUtime=0.28
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 989 0 0 0 28 0 0 0 19 0 1 0 86643190 5251072 856 1992294400 134512640 135752675 4293150256 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 1282 856 145 303 0 977 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5128

[startup+0.70074 s]
/proc/loadavg: 1.00 0.97 0.82 3/105 29107
/proc/meminfo: memFree=1783492/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=8976 CPUtime=0.68
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 1955 0 0 0 67 1 0 0 19 0 1 0 86643190 9191424 1822 1992294400 134512640 135752675 4293150256 18446744073709551615 134642818 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 2244 1822 145 303 0 1939 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8976

[startup+1.50084 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29108
/proc/meminfo: memFree=1773688/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=16808 CPUtime=1.48
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 3911 0 0 0 145 3 0 0 21 0 1 0 86643190 17211392 3778 1992294400 134512640 135752675 4293150256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 4202 3778 145 303 0 3897 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16808

[startup+3.10104 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29108
/proc/meminfo: memFree=1763148/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=30976 CPUtime=3.09
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 7435 0 0 0 303 6 0 0 25 0 1 0 86643190 31719424 7302 1992294400 134512640 135752675 4293150256 18446744073709551615 134639424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 7744 7302 145 303 0 7439 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30976

[startup+6.30044 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29108
/proc/meminfo: memFree=1736116/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=55900 CPUtime=6.29
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 13681 0 0 0 617 12 0 0 25 0 1 0 86643190 57241600 13548 1992294400 134512640 135752675 4293150256 18446744073709551615 134638342 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 13975 13548 145 303 0 13670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55900

[startup+12.7012 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29108
/proc/meminfo: memFree=1684408/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=105548 CPUtime=12.69
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 26079 0 0 0 1246 23 0 0 25 0 1 0 86643190 108081152 25946 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 26387 25946 145 303 0 26082 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105548

[startup+25.5008 s]
/proc/loadavg: 1.00 0.97 0.82 2/106 29108
/proc/meminfo: memFree=1587936/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=198964 CPUtime=25.48
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 49428 0 0 0 2503 45 0 0 25 0 1 0 86643190 203739136 49295 1992294400 134512640 135752675 4293150256 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 49741 49295 145 303 0 49436 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 198964

[startup+51.1011 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 29110
/proc/meminfo: memFree=1434424/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=353968 CPUtime=51.07
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 88176 0 0 0 5028 79 0 0 25 0 1 0 86643190 362463232 88043 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 88492 88043 145 303 0 88187 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 353968

[startup+102.308 s]
/proc/loadavg: 1.00 0.97 0.83 2/106 29110
/proc/meminfo: memFree=1172412/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=612344 CPUtime=102.27
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 152758 0 0 0 10092 135 0 0 25 0 1 0 86643190 627040256 152625 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 153086 152626 145 303 0 152781 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 612344

[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 29112
/proc/meminfo: memFree=940408/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=846432 CPUtime=162.24
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 211261 0 0 0 16040 184 0 0 25 0 1 0 86643190 866746368 211128 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 211608 211128 145 303 0 211303 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 846432

[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.84 2/106 29114
/proc/meminfo: memFree=830048/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=953160 CPUtime=222.22
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 238005 0 0 0 21981 241 0 0 25 0 1 0 86643190 976035840 237843 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 238290 237843 146 303 0 237985 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 953160

[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 29116
/proc/meminfo: memFree=825460/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=958220 CPUtime=282.2
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 239269 0 0 0 27956 264 0 0 25 0 1 0 86643190 981217280 239107 1992294400 134512640 135752675 4293150256 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 239555 239107 146 303 0 239250 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 958220

[startup+342.301 s]
/proc/loadavg: 1.00 0.97 0.85 2/106 29118
/proc/meminfo: memFree=798676/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=984768 CPUtime=342.19
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 245867 0 0 0 33929 290 0 0 25 0 1 0 86643190 1008402432 245705 1992294400 134512640 135752675 4293150256 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 246192 245705 146 303 0 245887 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 984768

[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.86 2/106 29118
/proc/meminfo: memFree=775116/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1008836 CPUtime=402.18
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 251840 0 0 0 39902 316 0 0 25 0 1 0 86643190 1033048064 251678 1992294400 134512640 135752675 4293150256 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 252209 251678 146 303 0 251904 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1008836

[startup+462.301 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 29120
/proc/meminfo: memFree=750440/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1032604 CPUtime=462.16
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 257844 0 0 0 45868 348 0 0 25 0 1 0 86643190 1057386496 257682 1992294400 134512640 135752675 4293150256 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 258151 257682 146 303 0 257846 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1032604

[startup+522.301 s]
/proc/loadavg: 1.00 0.97 0.87 2/106 29122
/proc/meminfo: memFree=729732/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1054212 CPUtime=522.15
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 263286 0 0 0 51828 387 0 0 25 0 1 0 86643190 1079513088 263082 1992294400 134512640 135752675 4293150256 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 263553 263082 146 303 0 263248 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1054212

[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 29124
/proc/meminfo: memFree=693648/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1089584 CPUtime=582.13
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 272091 0 0 0 57794 419 0 0 25 0 1 0 86643190 1115734016 271887 1992294400 134512640 135752675 4293150256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 272396 271887 146 303 0 272091 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1089584

[startup+642.301 s]
/proc/loadavg: 1.00 0.97 0.88 2/106 29126
/proc/meminfo: memFree=652604/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1130484 CPUtime=642.12
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 282321 0 0 0 63758 454 0 0 25 0 1 0 86643190 1157615616 282117 1992294400 134512640 135752675 4293150256 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 282621 282117 146 303 0 282316 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1130484

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29132
/proc/meminfo: memFree=530092/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1253164 CPUtime=882.04
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 312855 0 0 0 87650 554 0 0 25 0 1 0 86643190 1283239936 312651 1992294400 134512640 135752675 4293150256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 313291 312651 146 303 0 312986 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1253164

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29134
/proc/meminfo: memFree=503928/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1279424 CPUtime=942.02
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 319415 0 0 0 93626 576 0 0 25 0 1 0 86643190 1310130176 319211 1992294400 134512640 135752675 4293150256 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 319856 319211 146 303 0 319551 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1279424

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29134
/proc/meminfo: memFree=475780/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1307376 CPUtime=1002.01
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 326417 0 0 0 99599 602 0 0 25 0 1 0 86643190 1338753024 326213 1992294400 134512640 135752675 4293150256 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 326844 326213 146 303 0 326539 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1307376

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29136
/proc/meminfo: memFree=447880/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1335308 CPUtime=1061.98
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 333388 0 0 0 105569 629 0 0 25 0 1 0 86643190 1367355392 333184 1992294400 134512640 135752675 4293150256 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 333827 333184 146 303 0 333522 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1335308

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29138
/proc/meminfo: memFree=430148/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1351980 CPUtime=1121.97
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 337800 0 0 0 111514 683 0 0 25 0 1 0 86643190 1384427520 337553 1992294400 134512640 135752675 4293150256 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 337995 337553 146 303 0 337690 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1351980

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.91 2/106 29140
/proc/meminfo: memFree=389724/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1392664 CPUtime=1181.96
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 347940 0 0 0 117467 729 0 0 25 0 1 0 86643190 1426087936 347693 1992294400 134512640 135752675 4293150256 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 348166 347693 146 303 0 347861 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1392664

[startup+1242.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/106 29145
/proc/meminfo: memFree=305752/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1433216 CPUtime=1241.94
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 358033 0 0 0 123429 765 0 0 25 0 1 0 86643190 1467613184 357786 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 358304 357786 146 303 0 357999 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1433216

[startup+1302.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/106 29145
/proc/meminfo: memFree=268800/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1470076 CPUtime=1301.92
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 367212 0 0 0 129396 796 0 0 25 0 1 0 86643190 1505357824 366965 1992294400 134512640 135752675 4293150256 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 367519 366965 146 303 0 367214 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1470076

[startup+1362.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/106 29147
/proc/meminfo: memFree=239288/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1499888 CPUtime=1361.9
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 374610 0 0 0 135365 825 0 0 25 0 1 0 86643190 1535885312 374363 1992294400 134512640 135752675 4293150256 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 374972 374363 146 303 0 374667 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1499888

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29149
/proc/meminfo: memFree=200476/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1538544 CPUtime=1421.9
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 384277 0 0 0 141329 861 0 0 25 0 1 0 86643190 1575469056 384030 1992294400 134512640 135752675 4293150256 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 384636 384030 146 303 0 384331 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1538544

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29151
/proc/meminfo: memFree=161540/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1578012 CPUtime=1481.87
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 394097 0 0 0 147293 894 0 0 25 0 1 0 86643190 1615884288 393850 1992294400 134512640 135752675 4293150256 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 394503 393850 146 303 0 394198 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1578012

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29153
/proc/meminfo: memFree=122480/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1616616 CPUtime=1541.85
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 403730 0 0 0 153260 925 0 0 25 0 1 0 86643190 1655414784 403483 1992294400 134512640 135752675 4293150256 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 404154 403483 146 303 0 403849 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1616616

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29153
/proc/meminfo: memFree=79204/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1660112 CPUtime=1601.84
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 414622 0 0 0 159226 958 0 0 25 0 1 0 86643190 1699954688 414375 1992294400 134512640 135752675 4293150256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 415028 414375 146 303 0 414723 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1660112

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29155
/proc/meminfo: memFree=46840/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1692216 CPUtime=1661.82
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 422633 0 0 0 165198 984 0 0 25 0 1 0 86643190 1732829184 422386 1992294400 134512640 135752675 4293150256 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 423054 422386 146 303 0 422749 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1692216

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29157
/proc/meminfo: memFree=10488/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1737144 CPUtime=1721.8
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 433828 0 0 0 171164 1016 0 0 25 0 1 0 86643190 1778835456 433581 1992294400 134512640 135752675 4293150256 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 434286 433581 146 303 0 433981 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1737144

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29159
/proc/meminfo: memFree=10356/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1773072 CPUtime=1781.78
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 442828 0 0 0 177131 1047 0 0 25 0 1 0 86643190 1815625728 442581 1992294400 134512640 135752675 4293150256 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 443268 442581 146 303 0 442963 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1773072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29159
/proc/meminfo: memFree=10184/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=1784392 CPUtime=1800.09
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4202496 445638 0 0 0 178954 1055 0 0 25 0 1 0 86643190 1827217408 445391 1992294400 134512640 135752675 4293150256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29107/statm: 446098 445391 146 303 0 445793 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1784392

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 0.99 0.91 2/106 29159
/proc/meminfo: memFree=10184/2059040 swapFree=4140268/4192956
[pid=29107] ppid=29105 vsize=0 CPUtime=1800.19
/proc/29107/stat : 29107 (wbo1.4b) R 29105 29107 28970 0 -1 4203524 445638 0 0 0 178954 1065 0 0 25 0 1 0 86643190 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/29107/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.28
CPU user time (s): 1789.55
CPU system time (s): 10.7324
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1784392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.55
system time used= 10.7324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445638
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= 64
involuntary context switches= 3078

runsolver used 3.23451 second user time and 8.29674 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-25 10:11:58
IDJOB=2680538
IDBENCH=2081
IDSOLVER=1190
FILE ID=node054/2680538-1277453518
PBS_JOBID= 11188115
Free space on /tmp= 62504 MiB

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

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

MD5SUM BENCH= 86a5a0860b111dc876591f0b93da0f3c
RANDOM SEED=2083987929

node054.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.217
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.43
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.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1784672 kB
Buffers:         77700 kB
Cached:          91116 kB
SwapCached:       5568 kB
Active:          23076 kB
Inactive:       158700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1784672 kB
SwapTotal:     4192956 kB
SwapFree:      4140268 kB
Dirty:            2872 kB
Writeback:           0 kB
AnonPages:       11672 kB
Mapped:          11860 kB
Slab:            70824 kB
PageTables:       4124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node054 at 2010-06-25 10:42:01